1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
|
rdb0.sum_props_per_time_ranking
rdb0.act_ranking_rel
rdb0_common.avg_props
rdb0.discounted_props_made3
rdb0_common.glueHistLT_avg
(rdb0.sum_props_made/cl.time_inside_solver)
rdb0.uip1_ranking_rel
(rdb0.props_made/rdb0_common.avg_props)
rdb0.discounted_props_made
rdb0.sum_uip1_per_time_ranking_rel
rdb0_common.avg_uip1_used
rdb0.prop_ranking_rel
rdb0.sum_props_per_time_ranking_rel
(cl.glueHist_longterm_avg/cl.glue_before_minim)
rdb0.discounted_uip1_used3
rdb0.discounted_props_made2
rdb0.props_made
rdb0.discounted_uip1_used
rdb0.discounted_uip1_used2
rdb0.uip1_used
|
