File: best_features-kissat.txt

package info (click to toggle)
cryptominisat 5.11.21%2Bdfsg1-2
  • links: PTS, VCS
  • area: main
  • in suites: trixie
  • size: 4,488 kB
  • sloc: cpp: 55,562; ansic: 7,786; python: 7,485; sh: 813; sql: 403; xml: 34; makefile: 22; javascript: 17
file content (16 lines) | stat: -rw-r--r-- 320 bytes parent folder | download | duplicates (3) 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
 
#ranking
rdb0.sum_uip1_per_time_ranking_rel
rdb0.sum_props_per_time_ranking_rel
rdb0.uip1_ranking_rel
rdb0.prop_ranking_rel
#
# discounted and raw
rdb0.props_made
rdb0.uip1_used
rdb0.discounted_props_made
rdb0.discounted_props_made2
rdb0.discounted_uip1_used
rdb0.discounted_uip1_used2

rdb0.glue
rdb0.last_touched_diff