seeding with 64416297 family NEQ 48 benchmarks, all go to division pool 0 easySAT, 0 hardSAT, 43 easyUNSAT, 5 hardUNSAT [to division pool] family PEQ 45 benchmarks, all go to division pool 0 easySAT, 0 hardSAT, 31 easyUNSAT, 14 hardUNSAT [to division pool] family QG-classification/loops6 448 benchmarks 160 easySAT, 0 hardSAT, 288 easyUNSAT, 0 hardUNSAT [eligible non-check] 100 easySAT, 0 hardSAT, 100 easyUNSAT, 0 hardUNSAT [to division pool] family QG-classification/qg5 5286 benchmarks 1951 easySAT, 0 hardSAT,3335 easyUNSAT, 0 hardUNSAT [eligible non-check] 100 easySAT, 0 hardSAT, 100 easyUNSAT, 0 hardUNSAT [to division pool] family QG-classification/qg6 244 benchmarks 111 easySAT, 11 hardSAT, 103 easyUNSAT, 19 hardUNSAT [eligible non-check] 85 easySAT, 11 hardSAT, 85 easyUNSAT, 19 hardUNSAT [to division pool] family QG-classification/qg7 426 benchmarks 312 easySAT, 0 hardSAT, 107 easyUNSAT, 7 hardUNSAT [eligible non-check] 97 easySAT, 0 hardSAT, 96 easyUNSAT, 7 hardUNSAT [to division pool] family SEQ 56 benchmarks, all go to division pool 12 easySAT, 0 hardSAT, 38 easyUNSAT, 6 hardUNSAT [to division pool] division QF_UF, 949 benchmarks in pool 394 easySAT, 11 hardSAT, 493 easyUNSAT, 51 hardUNSAT [pool totals] 0 industr, 949 crafted, 0 random [pool totals] 0 easySAT, 0 hardSAT, 0 easyUNSAT, 0 hardUNSAT [industrial] 394 easySAT, 11 hardSAT, 493 easyUNSAT, 51 hardUNSAT [crafted] 0 easySAT, 0 hardSAT, 0 easyUNSAT, 0 hardUNSAT [random] 0 industr, 200 crafted, 0 random [slot allotments] 0 easySAT, 0 hardSAT, 0 easyUNSAT, 0 hardUNSAT [cat 0 avail] 0 easySAT, 0 hardSAT, 0 easyUNSAT, 0 hardUNSAT [cat 0 allotment] 394 easySAT, 11 hardSAT, 493 easyUNSAT, 51 hardUNSAT [cat 1 avail] 69 easySAT, 11 hardSAT, 69 easyUNSAT, 51 hardUNSAT [cat 1 allotment] 0 easySAT, 0 hardSAT, 0 easyUNSAT, 0 hardUNSAT [cat 2 avail] 0 easySAT, 0 hardSAT, 0 easyUNSAT, 0 hardUNSAT [cat 2 allotment] family sal 60 benchmarks, all go to division pool 0 easySAT, 0 hardSAT, 59 easyUNSAT, 1 hardUNSAT [to division pool] family scheduling 77 benchmarks, all go to division pool 39 easySAT, 4 hardSAT, 30 easyUNSAT, 4 hardUNSAT [to division pool] family skdmxa 4 benchmarks, all go to division pool 0 easySAT, 0 hardSAT, 4 easyUNSAT, 0 hardUNSAT [to division pool] family skdmxa2 32 benchmarks, all go to division pool 16 easySAT, 0 hardSAT, 16 easyUNSAT, 0 hardUNSAT [to division pool] division QF_RDL, 173 benchmarks in pool 55 easySAT, 4 hardSAT, 109 easyUNSAT, 5 hardUNSAT [pool totals] 96 industr, 77 crafted, 0 random [pool totals] 16 easySAT, 0 hardSAT, 79 easyUNSAT, 1 hardUNSAT [industrial] 39 easySAT, 4 hardSAT, 30 easyUNSAT, 4 hardUNSAT [crafted] 0 easySAT, 0 hardSAT, 0 easyUNSAT, 0 hardUNSAT [random] 96 industr, 104 crafted, 0 random [slot allotments] CANNOT DO THIS DIVISION - NOT ENOUGH BENCHMARKS industrial in dpool: 96 slots for industrial: 96 crafted in dpool: 77 slots for crafted: 104 random in dpool: 0 slots for random: 0 16 easySAT, 0 hardSAT, 79 easyUNSAT, 1 hardUNSAT [cat 0 avail] 16 easySAT, 0 hardSAT, 79 easyUNSAT, 1 hardUNSAT [cat 0 allotment] 39 easySAT, 4 hardSAT, 30 easyUNSAT, 4 hardUNSAT [cat 1 avail] 39 easySAT, 4 hardSAT, 30 easyUNSAT, 4 hardUNSAT [cat 1 allotment] 0 easySAT, 0 hardSAT, 0 easyUNSAT, 0 hardUNSAT [cat 2 avail] 0 easySAT, 0 hardSAT, 0 easyUNSAT, 0 hardUNSAT [cat 2 allotment] family Averest/binary_search 12 benchmarks, all go to division pool 7 easySAT, 0 hardSAT, 5 easyUNSAT, 0 hardUNSAT [to division pool] family Averest/buble_sort 52 benchmarks, all go to division pool 31 easySAT, 0 hardSAT, 21 easyUNSAT, 0 hardUNSAT [to division pool] family Averest/fast_max 7 benchmarks, all go to division pool 4 easySAT, 0 hardSAT, 3 easyUNSAT, 0 hardUNSAT [to division pool] family Averest/insertion_sort 34 benchmarks, all go to division pool 25 easySAT, 0 hardSAT, 9 easyUNSAT, 0 hardUNSAT [to division pool] family Averest/linear_search 11 benchmarks, all go to division pool 9 easySAT, 0 hardSAT, 2 easyUNSAT, 0 hardUNSAT [to division pool] family Averest/min_max 12 benchmarks, all go to division pool 7 easySAT, 0 hardSAT, 5 easyUNSAT, 0 hardUNSAT [to division pool] family Averest/parallel_prefix_sum 2 benchmarks, all go to division pool 1 easySAT, 0 hardSAT, 1 easyUNSAT, 0 hardUNSAT [to division pool] family Averest/parallel_search 7 benchmarks, all go to division pool 4 easySAT, 0 hardSAT, 3 easyUNSAT, 0 hardUNSAT [to division pool] family Averest/partition 19 benchmarks, all go to division pool 12 easySAT, 0 hardSAT, 7 easyUNSAT, 0 hardUNSAT [to division pool] family Averest/selection_sort 47 benchmarks, all go to division pool 28 easySAT, 0 hardSAT, 19 easyUNSAT, 0 hardUNSAT [to division pool] family Averest/sorting_network 49 benchmarks, all go to division pool 29 easySAT, 0 hardSAT, 20 easyUNSAT, 0 hardUNSAT [to division pool] family cellar 14 benchmarks, all go to division pool 0 easySAT, 0 hardSAT, 14 easyUNSAT, 0 hardUNSAT [to division pool] family diamonds 36 benchmarks, all go to division pool 0 easySAT, 0 hardSAT, 36 easyUNSAT, 0 hardUNSAT [to division pool] family DTP 60 benchmarks, all go to division pool 32 easySAT, 0 hardSAT, 28 easyUNSAT, 0 hardUNSAT [to division pool] family job_shop 85 benchmarks, all go to division pool 70 easySAT, 3 hardSAT, 11 easyUNSAT, 1 hardUNSAT [to division pool] family mathsat/fischer 119 benchmarks, all go to division pool 14 easySAT, 0 hardSAT, 102 easyUNSAT, 3 hardUNSAT [to division pool] family mathsat/post_office 27 benchmarks, all go to division pool 2 easySAT, 0 hardSAT, 25 easyUNSAT, 0 hardUNSAT [to division pool] family parity 248 benchmarks 136 easySAT, 0 hardSAT, 112 easyUNSAT, 0 hardUNSAT [eligible non-check] 100 easySAT, 0 hardSAT, 100 easyUNSAT, 0 hardUNSAT [to division pool] family planning 45 benchmarks, all go to division pool 2 easySAT, 0 hardSAT, 43 easyUNSAT, 0 hardUNSAT [to division pool] family qlock 72 benchmarks, all go to division pool 36 easySAT, 0 hardSAT, 20 easyUNSAT, 16 hardUNSAT [to division pool] family queens_bench/n_queen 99 benchmarks, all go to division pool 97 easySAT, 0 hardSAT, 2 easyUNSAT, 0 hardUNSAT [to division pool] family queens_bench/super_queen 99 benchmarks, all go to division pool 91 easySAT, 0 hardSAT, 8 easyUNSAT, 0 hardUNSAT [to division pool] family queens_bench/toroidal_bench 99 benchmarks, all go to division pool 11 easySAT, 21 hardSAT, 8 easyUNSAT, 59 hardUNSAT [to division pool] family RTCL/b01_tf_15 1 benchmarks, all go to division pool 0 easySAT, 0 hardSAT, 1 easyUNSAT, 0 hardUNSAT [to division pool] family RTCL/b01_tf_20 1 benchmarks, all go to division pool 0 easySAT, 0 hardSAT, 1 easyUNSAT, 0 hardUNSAT [to division pool] family RTCL/b02_tf_15 1 benchmarks, all go to division pool 0 easySAT, 0 hardSAT, 1 easyUNSAT, 0 hardUNSAT [to division pool] family RTCL/b02_tf_20 1 benchmarks, all go to division pool 0 easySAT, 0 hardSAT, 1 easyUNSAT, 0 hardUNSAT [to division pool] family RTCL/b13_tf_10 5 benchmarks, all go to division pool 0 easySAT, 0 hardSAT, 5 easyUNSAT, 0 hardUNSAT [to division pool] family RTCL/b13_tf_12_PROP4 1 benchmarks, all go to division pool 1 easySAT, 0 hardSAT, 0 easyUNSAT, 0 hardUNSAT [to division pool] family RTCL/b13_tf_13_PROP40 1 benchmarks, all go to division pool 1 easySAT, 0 hardSAT, 0 easyUNSAT, 0 hardUNSAT [to division pool] family RTCL/b13_tf_15 5 benchmarks, all go to division pool 0 easySAT, 0 hardSAT, 5 easyUNSAT, 0 hardUNSAT [to division pool] family RTCL/b13_tf_20 5 benchmarks, all go to division pool 0 easySAT, 0 hardSAT, 5 easyUNSAT, 0 hardUNSAT [to division pool] family RTCL/b13_tf_25 5 benchmarks, all go to division pool 0 easySAT, 0 hardSAT, 5 easyUNSAT, 0 hardUNSAT [to division pool] family RTCL/b13_tf_30 5 benchmarks, all go to division pool 0 easySAT, 0 hardSAT, 5 easyUNSAT, 0 hardUNSAT [to division pool] family RTCL/b13_tf_9_PROP14 1 benchmarks, all go to division pool 1 easySAT, 0 hardSAT, 0 easyUNSAT, 0 hardUNSAT [to division pool] family RTCL/b13_tf_9_PROP7 1 benchmarks, all go to division pool 1 easySAT, 0 hardSAT, 0 easyUNSAT, 0 hardUNSAT [to division pool] family sal/bakery 30 benchmarks, all go to division pool 8 easySAT, 0 hardSAT, 22 easyUNSAT, 0 hardUNSAT [to division pool] family sal/lpsat 20 benchmarks, all go to division pool 2 easySAT, 0 hardSAT, 18 easyUNSAT, 0 hardUNSAT [to division pool] family schedulingIDL 278 benchmarks 243 easySAT, 4 hardSAT, 30 easyUNSAT, 1 hardUNSAT [eligible non-check] 165 easySAT, 4 hardSAT, 30 easyUNSAT, 1 hardUNSAT [to division pool] family sep/hardware 8 benchmarks, all go to division pool 0 easySAT, 0 hardSAT, 8 easyUNSAT, 0 hardUNSAT [to division pool] family sep/misc 4 benchmarks, all go to division pool 4 easySAT, 0 hardSAT, 0 easyUNSAT, 0 hardUNSAT [to division pool] family sep/railroad 5 benchmarks, all go to division pool 5 easySAT, 0 hardSAT, 0 easyUNSAT, 0 hardUNSAT [to division pool] division QF_IDL, 1507 benchmarks in pool 800 easySAT, 28 hardSAT, 599 easyUNSAT, 80 hardUNSAT [pool totals] 629 industr, 818 crafted, 60 random [pool totals] 234 easySAT, 0 hardSAT, 376 easyUNSAT, 19 hardUNSAT [industrial] 534 easySAT, 28 hardSAT, 195 easyUNSAT, 61 hardUNSAT [crafted] 32 easySAT, 0 hardSAT, 28 easyUNSAT, 0 hardUNSAT [random] 85 industr, 10 crafted, 5 random [slot allotments] 234 easySAT, 0 hardSAT, 376 easyUNSAT, 19 hardUNSAT [cat 0 avail] 33 easySAT, 0 hardSAT, 33 easyUNSAT, 19 hardUNSAT [cat 0 allotment] 534 easySAT, 28 hardSAT, 195 easyUNSAT, 61 hardUNSAT [cat 1 avail] 2 easySAT, 2 hardSAT, 2 easyUNSAT, 2 hardUNSAT [cat 1 allotmentx] 3 easySAT, 3 hardSAT, 2 easyUNSAT, 2 hardUNSAT [cat 1 allotment] 32 easySAT, 0 hardSAT, 28 easyUNSAT, 0 hardUNSAT [cat 2 avail] 2 easySAT, 0 hardSAT, 2 easyUNSAT, 0 hardUNSAT [cat 2 allotmentx] 2 easySAT, 0 hardSAT, 3 easyUNSAT, 0 hardUNSAT [cat 2 allotment] family bcnscheduling 11 benchmarks, all go to division pool 3 easySAT, 1 hardSAT, 2 easyUNSAT, 5 hardUNSAT [to division pool] family mathsat/EufLaArithmetic/vhard 19 benchmarks, all go to division pool 0 easySAT, 0 hardSAT, 19 easyUNSAT, 0 hardUNSAT [to division pool] family pete 23 benchmarks, all go to division pool 2 easySAT, 0 hardSAT, 21 easyUNSAT, 0 hardUNSAT [to division pool] family pete2 210 benchmarks 0 easySAT, 0 hardSAT, 206 easyUNSAT, 4 hardUNSAT [eligible non-check] 0 easySAT, 0 hardSAT, 196 easyUNSAT, 4 hardUNSAT [to division pool] family pete3 6 benchmarks, all go to division pool 6 easySAT, 0 hardSAT, 0 easyUNSAT, 0 hardUNSAT [to division pool] family RDS 28 benchmarks, all go to division pool 24 easySAT, 0 hardSAT, 4 easyUNSAT, 0 hardUNSAT [to division pool] family RTCL/b13_tf_100 1 benchmarks, all go to division pool 0 easySAT, 0 hardSAT, 1 easyUNSAT, 0 hardUNSAT [to division pool] family uclid 37 benchmarks, all go to division pool 0 easySAT, 0 hardSAT, 34 easyUNSAT, 3 hardUNSAT [to division pool] family UCLID-pred/aodv 7 benchmarks, all go to division pool 6 easySAT, 0 hardSAT, 1 easyUNSAT, 0 hardUNSAT [to division pool] family UCLID-pred/bakery 19 benchmarks, all go to division pool 18 easySAT, 0 hardSAT, 1 easyUNSAT, 0 hardUNSAT [to division pool] family UCLID-pred/BRP 9 benchmarks, all go to division pool 8 easySAT, 0 hardSAT, 1 easyUNSAT, 0 hardUNSAT [to division pool] family UCLID-pred/DLX 6 benchmarks, all go to division pool 5 easySAT, 0 hardSAT, 1 easyUNSAT, 0 hardUNSAT [to division pool] family UCLID-pred/ibm_cache 28 benchmarks, all go to division pool 26 easySAT, 0 hardSAT, 2 easyUNSAT, 0 hardUNSAT [to division pool] family UCLID-pred/OOO 10 benchmarks, all go to division pool 9 easySAT, 0 hardSAT, 1 easyUNSAT, 0 hardUNSAT [to division pool] family uclid2 13 benchmarks, all go to division pool 2 easySAT, 0 hardSAT, 8 easyUNSAT, 3 hardUNSAT [to division pool] division QF_UFIDL, 417 benchmarks in pool 109 easySAT, 1 hardSAT, 292 easyUNSAT, 15 hardUNSAT [pool totals] 387 industr, 30 crafted, 0 random [pool totals] 106 easySAT, 0 hardSAT, 271 easyUNSAT, 10 hardUNSAT [industrial] 3 easySAT, 1 hardSAT, 21 easyUNSAT, 5 hardUNSAT [crafted] 0 easySAT, 0 hardSAT, 0 easyUNSAT, 0 hardUNSAT [random] 180 industr, 20 crafted, 0 random [slot allotments] 106 easySAT, 0 hardSAT, 271 easyUNSAT, 10 hardUNSAT [cat 0 avail] 85 easySAT, 0 hardSAT, 85 easyUNSAT, 10 hardUNSAT [cat 0 allotment] 3 easySAT, 1 hardSAT, 21 easyUNSAT, 5 hardUNSAT [cat 1 avail] 3 easySAT, 1 hardSAT, 11 easyUNSAT, 5 hardUNSAT [cat 1 allotment] 0 easySAT, 0 hardSAT, 0 easyUNSAT, 0 hardUNSAT [cat 2 avail] 0 easySAT, 0 hardSAT, 0 easyUNSAT, 0 hardUNSAT [cat 2 allotment] family mathsat/EufLaArithmetic/hard 17 benchmarks, all go to division pool 0 easySAT, 0 hardSAT, 17 easyUNSAT, 0 hardUNSAT [to division pool] family mathsat/EufLaArithmetic/medium 16 benchmarks, all go to division pool 0 easySAT, 0 hardSAT, 16 easyUNSAT, 0 hardUNSAT [to division pool] family mathsat/Hash 198 benchmarks, all go to division pool 144 easySAT, 0 hardSAT, 54 easyUNSAT, 0 hardUNSAT [to division pool] family mathsat/Wisa 223 benchmarks 169 easySAT, 0 hardSAT, 54 easyUNSAT, 0 hardUNSAT [eligible non-check] 146 easySAT, 0 hardSAT, 54 easyUNSAT, 0 hardUNSAT [to division pool] family wisas 108 benchmarks, all go to division pool 81 easySAT, 1 hardSAT, 25 easyUNSAT, 1 hardUNSAT [to division pool] division QF_UFLIA, 539 benchmarks in pool 371 easySAT, 1 hardSAT, 166 easyUNSAT, 1 hardUNSAT [pool totals] 308 industr, 231 crafted, 0 random [pool totals] 227 easySAT, 1 hardSAT, 79 easyUNSAT, 1 hardUNSAT [industrial] 144 easySAT, 0 hardSAT, 87 easyUNSAT, 0 hardUNSAT [crafted] 0 easySAT, 0 hardSAT, 0 easyUNSAT, 0 hardUNSAT [random] 180 industr, 20 crafted, 0 random [slot allotments] 227 easySAT, 1 hardSAT, 79 easyUNSAT, 1 hardUNSAT [cat 0 avail] 99 easySAT, 1 hardSAT, 79 easyUNSAT, 1 hardUNSAT [cat 0 allotment] 144 easySAT, 0 hardSAT, 87 easyUNSAT, 0 hardUNSAT [cat 1 avail] 10 easySAT, 0 hardSAT, 10 easyUNSAT, 0 hardUNSAT [cat 1 allotment] 0 easySAT, 0 hardSAT, 0 easyUNSAT, 0 hardUNSAT [cat 2 avail] 0 easySAT, 0 hardSAT, 0 easyUNSAT, 0 hardUNSAT [cat 2 allotment] family mathsat/RandomCoupled 324 benchmarks 150 easySAT, 0 hardSAT, 174 easyUNSAT, 0 hardUNSAT [eligible non-check] 100 easySAT, 0 hardSAT, 100 easyUNSAT, 0 hardUNSAT [to division pool] family mathsat/RandomDecoupled 492 benchmarks 259 easySAT, 0 hardSAT, 233 easyUNSAT, 0 hardUNSAT [eligible non-check] 100 easySAT, 0 hardSAT, 100 easyUNSAT, 0 hardUNSAT [to division pool] division QF_UFLRA, 400 benchmarks in pool 200 easySAT, 0 hardSAT, 200 easyUNSAT, 0 hardUNSAT [pool totals] 0 industr, 0 crafted, 400 random [pool totals] 0 easySAT, 0 hardSAT, 0 easyUNSAT, 0 hardUNSAT [industrial] 0 easySAT, 0 hardSAT, 0 easyUNSAT, 0 hardUNSAT [crafted] 200 easySAT, 0 hardSAT, 200 easyUNSAT, 0 hardUNSAT [random] 0 industr, 0 crafted, 200 random [slot allotments] 0 easySAT, 0 hardSAT, 0 easyUNSAT, 0 hardUNSAT [cat 0 avail] 0 easySAT, 0 hardSAT, 0 easyUNSAT, 0 hardUNSAT [cat 0 allotment] 0 easySAT, 0 hardSAT, 0 easyUNSAT, 0 hardUNSAT [cat 1 avail] 0 easySAT, 0 hardSAT, 0 easyUNSAT, 0 hardUNSAT [cat 1 allotment] 200 easySAT, 0 hardSAT, 200 easyUNSAT, 0 hardUNSAT [cat 2 avail] 100 easySAT, 0 hardSAT, 100 easyUNSAT, 0 hardUNSAT [cat 2 allotment] family clock_synchro 36 benchmarks, all go to division pool 0 easySAT, 0 hardSAT, 35 easyUNSAT, 1 hardUNSAT [to division pool] family miplib 42 benchmarks, all go to division pool 9 easySAT, 13 hardSAT, 11 easyUNSAT, 9 hardUNSAT [to division pool] family sal/carpark 12 benchmarks, all go to division pool 2 easySAT, 0 hardSAT, 10 easyUNSAT, 0 hardUNSAT [to division pool] family sal/gasburner 20 benchmarks, all go to division pool 0 easySAT, 0 hardSAT, 20 easyUNSAT, 0 hardUNSAT [to division pool] family sal/pursuit 20 benchmarks, all go to division pool 0 easySAT, 0 hardSAT, 20 easyUNSAT, 0 hardUNSAT [to division pool] family sal/tgc 27 benchmarks, all go to division pool 5 easySAT, 0 hardSAT, 22 easyUNSAT, 0 hardUNSAT [to division pool] family sal/windowreal 28 benchmarks, all go to division pool 4 easySAT, 0 hardSAT, 24 easyUNSAT, 0 hardUNSAT [to division pool] family sc 144 benchmarks, all go to division pool 108 easySAT, 0 hardSAT, 36 easyUNSAT, 0 hardUNSAT [to division pool] family spider_benchmarks 42 benchmarks, all go to division pool 0 easySAT, 0 hardSAT, 42 easyUNSAT, 0 hardUNSAT [to division pool] family TM 25 benchmarks, all go to division pool 24 easySAT, 0 hardSAT, 1 easyUNSAT, 0 hardUNSAT [to division pool] family tta_startup 72 benchmarks, all go to division pool 24 easySAT, 0 hardSAT, 46 easyUNSAT, 2 hardUNSAT [to division pool] family uart 73 benchmarks, all go to division pool 36 easySAT, 0 hardSAT, 37 easyUNSAT, 0 hardUNSAT [to division pool] division QF_LRA, 541 benchmarks in pool 212 easySAT, 13 hardSAT, 304 easyUNSAT, 12 hardUNSAT [pool totals] 541 industr, 0 crafted, 0 random [pool totals] 212 easySAT, 13 hardSAT, 304 easyUNSAT, 12 hardUNSAT [industrial] 0 easySAT, 0 hardSAT, 0 easyUNSAT, 0 hardUNSAT [crafted] 0 easySAT, 0 hardSAT, 0 easyUNSAT, 0 hardUNSAT [random] 200 industr, 0 crafted, 0 random [slot allotments] 212 easySAT, 13 hardSAT, 304 easyUNSAT, 12 hardUNSAT [cat 0 avail] 87 easySAT, 13 hardSAT, 87 easyUNSAT, 12 hardUNSAT [cat 0 allotmentx] 87 easySAT, 13 hardSAT, 88 easyUNSAT, 12 hardUNSAT [cat 0 allotment] 0 easySAT, 0 hardSAT, 0 easyUNSAT, 0 hardUNSAT [cat 1 avail] 0 easySAT, 0 hardSAT, 0 easyUNSAT, 0 hardUNSAT [cat 1 allotment] 0 easySAT, 0 hardSAT, 0 easyUNSAT, 0 hardUNSAT [cat 2 avail] 0 easySAT, 0 hardSAT, 0 easyUNSAT, 0 hardUNSAT [cat 2 allotment] family Averest/parallel_prefix_sum 19 benchmarks, all go to division pool 9 easySAT, 0 hardSAT, 10 easyUNSAT, 0 hardUNSAT [to division pool] family bofill-scheduling/SMT_random_LIA 251 benchmarks 156 easySAT, 0 hardSAT, 95 easyUNSAT, 0 hardUNSAT [eligible non-check] 105 easySAT, 0 hardSAT, 95 easyUNSAT, 0 hardUNSAT [to division pool] family bofill-scheduling/SMT_real_LIA 391 benchmarks 209 easySAT, 32 hardSAT, 149 easyUNSAT, 1 hardUNSAT [eligible non-check] 83 easySAT, 32 hardSAT, 84 easyUNSAT, 1 hardUNSAT [to division pool] family calypto 27 benchmarks, all go to division pool 12 easySAT, 2 hardSAT, 13 easyUNSAT, 0 hardUNSAT [to division pool] family CIRC/multiplier 17 benchmarks, all go to division pool 1 easySAT, 0 hardSAT, 7 easyUNSAT, 9 hardUNSAT [to division pool] family CIRC/multiplier_prime 17 benchmarks, all go to division pool 17 easySAT, 0 hardSAT, 0 easyUNSAT, 0 hardUNSAT [to division pool] family CIRC/simplebitadder 17 benchmarks, all go to division pool 0 easySAT, 0 hardSAT, 7 easyUNSAT, 10 hardUNSAT [to division pool] family mathsat 121 benchmarks, all go to division pool 20 easySAT, 1 hardSAT, 100 easyUNSAT, 0 hardUNSAT [to division pool] family nec-smt/large/bftpd_login 293 benchmarks 0 easySAT, 0 hardSAT, 187 easyUNSAT, 106 hardUNSAT [eligible non-check] 0 easySAT, 0 hardSAT, 100 easyUNSAT, 100 hardUNSAT [to division pool] family nec-smt/large/checkpass 192 benchmarks, all go to division pool 18 easySAT, 9 hardSAT, 28 easyUNSAT, 137 hardUNSAT [to division pool] family nec-smt/large/checkpass_pwd 642 benchmarks 321 easySAT, 171 hardSAT, 22 easyUNSAT, 128 hardUNSAT [eligible non-check] 59 easySAT, 60 hardSAT, 22 easyUNSAT, 59 hardUNSAT [to division pool] family nec-smt/large/getoption 20 benchmarks, all go to division pool 13 easySAT, 0 hardSAT, 7 easyUNSAT, 0 hardUNSAT [to division pool] family nec-smt/large/getoption_directories 45 benchmarks, all go to division pool 10 easySAT, 0 hardSAT, 0 easyUNSAT, 35 hardUNSAT [to division pool] family nec-smt/large/getoption_group 355 benchmarks 107 easySAT, 74 hardSAT, 8 easyUNSAT, 166 hardUNSAT [eligible non-check] 64 easySAT, 64 hardSAT, 8 easyUNSAT, 64 hardUNSAT [to division pool] family nec-smt/large/getoption_user 108 benchmarks, all go to division pool 5 easySAT, 50 hardSAT, 4 easyUNSAT, 49 hardUNSAT [to division pool] family nec-smt/large/handler_sigchld 130 benchmarks, all go to division pool 15 easySAT, 0 hardSAT, 115 easyUNSAT, 0 hardUNSAT [to division pool] family nec-smt/large/int_from_list 173 benchmarks, all go to division pool 49 easySAT, 0 hardSAT, 123 easyUNSAT, 1 hardUNSAT [to division pool] family nec-smt/large/mygetpwnam 8 benchmarks, all go to division pool 7 easySAT, 0 hardSAT, 1 easyUNSAT, 0 hardUNSAT [to division pool] family nec-smt/large/user_is_in_group 39 benchmarks, all go to division pool 1 easySAT, 38 hardSAT, 0 easyUNSAT, 0 hardUNSAT [to division pool] family nec-smt/med/checkpass_pwd 215 benchmarks 171 easySAT, 0 hardSAT, 44 easyUNSAT, 0 hardUNSAT [eligible non-check] 156 easySAT, 0 hardSAT, 44 easyUNSAT, 0 hardUNSAT [to division pool] family nec-smt/med/config_read_line 28 benchmarks, all go to division pool 8 easySAT, 0 hardSAT, 20 easyUNSAT, 0 hardUNSAT [to division pool] family nec-smt/med/getoption_group 2 benchmarks, all go to division pool 2 easySAT, 0 hardSAT, 0 easyUNSAT, 0 hardUNSAT [to division pool] family nec-smt/med/int_from_list 111 benchmarks, all go to division pool 11 easySAT, 0 hardSAT, 100 easyUNSAT, 0 hardUNSAT [to division pool] family nec-smt/med/mygetpwnam 2 benchmarks, all go to division pool 2 easySAT, 0 hardSAT, 0 easyUNSAT, 0 hardUNSAT [to division pool] family nec-smt/med/print_file 6 benchmarks, all go to division pool 6 easySAT, 0 hardSAT, 0 easyUNSAT, 0 hardUNSAT [to division pool] family nec-smt/small/checkpass_pwd 14 benchmarks, all go to division pool 12 easySAT, 0 hardSAT, 2 easyUNSAT, 0 hardUNSAT [to division pool] family nec-smt/small/config_read_line 2 benchmarks, all go to division pool 2 easySAT, 0 hardSAT, 0 easyUNSAT, 0 hardUNSAT [to division pool] family nec-smt/small/int_from_list 15 benchmarks, all go to division pool 0 easySAT, 0 hardSAT, 15 easyUNSAT, 0 hardUNSAT [to division pool] family nec-smt/small/print_file 4 benchmarks, all go to division pool 4 easySAT, 0 hardSAT, 0 easyUNSAT, 0 hardUNSAT [to division pool] family rings 294 benchmarks 0 easySAT, 0 hardSAT, 121 easyUNSAT, 173 hardUNSAT [eligible non-check] 0 easySAT, 0 hardSAT, 100 easyUNSAT, 100 hardUNSAT [to division pool] family RTCL/b04_tf_15 1 benchmarks, all go to division pool 1 easySAT, 0 hardSAT, 0 easyUNSAT, 0 hardUNSAT [to division pool] family RTCL/b04_tf_20 1 benchmarks, all go to division pool 1 easySAT, 0 hardSAT, 0 easyUNSAT, 0 hardUNSAT [to division pool] family wisa 5 benchmarks, all go to division pool 3 easySAT, 0 hardSAT, 2 easyUNSAT, 0 hardUNSAT [to division pool] division QF_LIA, 2524 benchmarks in pool 696 easySAT, 256 hardSAT,1007 easyUNSAT, 565 hardUNSAT [pool totals] 2124 industr, 200 crafted, 200 random [pool totals] 591 easySAT, 256 hardSAT, 812 easyUNSAT, 465 hardUNSAT [industrial] 0 easySAT, 0 hardSAT, 100 easyUNSAT, 100 hardUNSAT [crafted] 105 easySAT, 0 hardSAT, 95 easyUNSAT, 0 hardUNSAT [random] 170 industr, 20 crafted, 10 random [slot allotments] 591 easySAT, 256 hardSAT, 812 easyUNSAT, 465 hardUNSAT [cat 0 avail] 42 easySAT, 42 hardSAT, 42 easyUNSAT, 42 hardUNSAT [cat 0 allotmentx] 43 easySAT, 42 hardSAT, 42 easyUNSAT, 43 hardUNSAT [cat 0 allotment] 0 easySAT, 0 hardSAT, 100 easyUNSAT, 100 hardUNSAT [cat 1 avail] 0 easySAT, 0 hardSAT, 10 easyUNSAT, 10 hardUNSAT [cat 1 allotment] 105 easySAT, 0 hardSAT, 95 easyUNSAT, 0 hardUNSAT [cat 2 avail] 5 easySAT, 0 hardSAT, 5 easyUNSAT, 0 hardUNSAT [cat 2 allotment] family cvc 1 benchmarks, all go to division pool 0 easySAT, 0 hardSAT, 1 easyUNSAT, 0 hardUNSAT [to division pool] family storecomm 210 benchmarks 105 easySAT, 0 hardSAT, 105 easyUNSAT, 0 hardUNSAT [eligible non-check] 100 easySAT, 0 hardSAT, 100 easyUNSAT, 0 hardUNSAT [to division pool] family storeinv 39 benchmarks, all go to division pool 18 easySAT, 0 hardSAT, 21 easyUNSAT, 0 hardUNSAT [to division pool] family swap 302 benchmarks 149 easySAT, 0 hardSAT, 153 easyUNSAT, 0 hardUNSAT [eligible non-check] 100 easySAT, 0 hardSAT, 100 easyUNSAT, 0 hardUNSAT [to division pool] division QF_AX, 440 benchmarks in pool 218 easySAT, 0 hardSAT, 222 easyUNSAT, 0 hardUNSAT [pool totals] 0 industr, 440 crafted, 0 random [pool totals] 0 easySAT, 0 hardSAT, 0 easyUNSAT, 0 hardUNSAT [industrial] 218 easySAT, 0 hardSAT, 222 easyUNSAT, 0 hardUNSAT [crafted] 0 easySAT, 0 hardSAT, 0 easyUNSAT, 0 hardUNSAT [random] 0 industr, 200 crafted, 0 random [slot allotments] 0 easySAT, 0 hardSAT, 0 easyUNSAT, 0 hardUNSAT [cat 0 avail] 0 easySAT, 0 hardSAT, 0 easyUNSAT, 0 hardUNSAT [cat 0 allotment] 218 easySAT, 0 hardSAT, 222 easyUNSAT, 0 hardUNSAT [cat 1 avail] 100 easySAT, 0 hardSAT, 100 easyUNSAT, 0 hardUNSAT [cat 1 allotment] 0 easySAT, 0 hardSAT, 0 easyUNSAT, 0 hardUNSAT [cat 2 avail] 0 easySAT, 0 hardSAT, 0 easyUNSAT, 0 hardUNSAT [cat 2 allotment] family array_benchmarks/misc 6 benchmarks, all go to division pool 2 easySAT, 0 hardSAT, 4 easyUNSAT, 0 hardUNSAT [to division pool] family array_benchmarks/pointer 8 benchmarks, all go to division pool 4 easySAT, 0 hardSAT, 4 easyUNSAT, 0 hardUNSAT [to division pool] family array_benchmarks/qlock 11 benchmarks, all go to division pool 7 easySAT, 0 hardSAT, 4 easyUNSAT, 0 hardUNSAT [to division pool] family cvc 24 benchmarks, all go to division pool 1 easySAT, 0 hardSAT, 23 easyUNSAT, 0 hardUNSAT [to division pool] family ios 30 benchmarks, all go to division pool 0 easySAT, 0 hardSAT, 30 easyUNSAT, 0 hardUNSAT [to division pool] family piVC 15 benchmarks, all go to division pool 0 easySAT, 0 hardSAT, 15 easyUNSAT, 0 hardUNSAT [to division pool] family qlock2 52 benchmarks, all go to division pool 42 easySAT, 0 hardSAT, 10 easyUNSAT, 0 hardUNSAT [to division pool] family storecomm 648 benchmarks 324 easySAT, 0 hardSAT, 324 easyUNSAT, 0 hardUNSAT [eligible non-check] 100 easySAT, 0 hardSAT, 100 easyUNSAT, 0 hardUNSAT [to division pool] family storeinv 38 benchmarks, all go to division pool 18 easySAT, 0 hardSAT, 20 easyUNSAT, 0 hardUNSAT [to division pool] family swap 302 benchmarks 149 easySAT, 0 hardSAT, 153 easyUNSAT, 0 hardUNSAT [eligible non-check] 100 easySAT, 0 hardSAT, 100 easyUNSAT, 0 hardUNSAT [to division pool] division QF_AUFLIA, 584 benchmarks in pool 274 easySAT, 0 hardSAT, 310 easyUNSAT, 0 hardUNSAT [pool totals] 114 industr, 470 crafted, 0 random [pool totals] 56 easySAT, 0 hardSAT, 58 easyUNSAT, 0 hardUNSAT [industrial] 218 easySAT, 0 hardSAT, 252 easyUNSAT, 0 hardUNSAT [crafted] 0 easySAT, 0 hardSAT, 0 easyUNSAT, 0 hardUNSAT [random] 114 industr, 86 crafted, 0 random [slot allotments] 56 easySAT, 0 hardSAT, 58 easyUNSAT, 0 hardUNSAT [cat 0 avail] 56 easySAT, 0 hardSAT, 58 easyUNSAT, 0 hardUNSAT [cat 0 allotment] 218 easySAT, 0 hardSAT, 252 easyUNSAT, 0 hardUNSAT [cat 1 avail] 43 easySAT, 0 hardSAT, 43 easyUNSAT, 0 hardUNSAT [cat 1 allotment] 0 easySAT, 0 hardSAT, 0 easyUNSAT, 0 hardUNSAT [cat 2 avail] 0 easySAT, 0 hardSAT, 0 easyUNSAT, 0 hardUNSAT [cat 2 allotment] family bench_ab 288 benchmarks 288 easySAT, 0 hardSAT, 0 easyUNSAT, 0 hardUNSAT [eligible non-check] 200 easySAT, 0 hardSAT, 0 easyUNSAT, 0 hardUNSAT [to division pool] family brummayerbiere 52 benchmarks, all go to division pool 0 easySAT, 0 hardSAT, 26 easyUNSAT, 26 hardUNSAT [to division pool] family brummayerbiere2 65 benchmarks, all go to division pool 7 easySAT, 3 hardSAT, 16 easyUNSAT, 39 hardUNSAT [to division pool] family brummayerbiere3 79 benchmarks, all go to division pool 6 easySAT, 0 hardSAT, 21 easyUNSAT, 52 hardUNSAT [to division pool] family bruttomesso/core 672 benchmarks 0 easySAT, 0 hardSAT, 172 easyUNSAT, 500 hardUNSAT [eligible non-check] 0 easySAT, 0 hardSAT, 100 easyUNSAT, 100 hardUNSAT [to division pool] family bruttomesso/lfsr 240 benchmarks 0 easySAT, 0 hardSAT, 142 easyUNSAT, 98 hardUNSAT [eligible non-check] 0 easySAT, 0 hardSAT, 102 easyUNSAT, 98 hardUNSAT [to division pool] family bruttomesso/simple_processor 64 benchmarks, all go to division pool 0 easySAT, 0 hardSAT, 25 easyUNSAT, 39 hardUNSAT [to division pool] family calypto 11 benchmarks, all go to division pool 4 easySAT, 0 hardSAT, 3 easyUNSAT, 4 hardUNSAT [to division pool] family crafted 22 benchmarks, all go to division pool 2 easySAT, 0 hardSAT, 20 easyUNSAT, 0 hardUNSAT [to division pool] family galois 4 benchmarks, all go to division pool 0 easySAT, 0 hardSAT, 1 easyUNSAT, 3 hardUNSAT [to division pool] family sage/app1 2676 benchmarks 473 easySAT, 122 hardSAT,1437 easyUNSAT, 644 hardUNSAT [eligible non-check] 50 easySAT, 50 hardSAT, 50 easyUNSAT, 50 hardUNSAT [to division pool] family sage/app10 52 benchmarks, all go to division pool 0 easySAT, 0 hardSAT, 52 easyUNSAT, 0 hardUNSAT [to division pool] family sage/app11 612 benchmarks 0 easySAT, 0 hardSAT, 0 easyUNSAT, 612 hardUNSAT [eligible non-check] 0 easySAT, 0 hardSAT, 0 easyUNSAT, 200 hardUNSAT [to division pool] family sage/app12 5758 benchmarks 2511 easySAT, 429 hardSAT,2459 easyUNSAT, 359 hardUNSAT [eligible non-check] 50 easySAT, 50 hardSAT, 50 easyUNSAT, 50 hardUNSAT [to division pool] family sage/app2 1293 benchmarks 165 easySAT, 17 hardSAT, 311 easyUNSAT, 800 hardUNSAT [eligible non-check] 61 easySAT, 17 hardSAT, 61 easyUNSAT, 61 hardUNSAT [to division pool] family sage/app5 1309 benchmarks 545 easySAT, 13 hardSAT, 655 easyUNSAT, 96 hardUNSAT [eligible non-check] 62 easySAT, 13 hardSAT, 63 easyUNSAT, 62 hardUNSAT [to division pool] family sage/app6 246 benchmarks 221 easySAT, 0 hardSAT, 25 easyUNSAT, 0 hardUNSAT [eligible non-check] 175 easySAT, 0 hardSAT, 25 easyUNSAT, 0 hardUNSAT [to division pool] family sage/app7 8662 benchmarks 1739 easySAT, 21 hardSAT,5178 easyUNSAT,1724 hardUNSAT [eligible non-check] 60 easySAT, 21 hardSAT, 59 easyUNSAT, 60 hardUNSAT [to division pool] family sage/app8 3842 benchmarks 1135 easySAT, 261 hardSAT,1715 easyUNSAT, 731 hardUNSAT [eligible non-check] 50 easySAT, 50 hardSAT, 50 easyUNSAT, 50 hardUNSAT [to division pool] family sage/app9 3301 benchmarks 897 easySAT, 225 hardSAT,1461 easyUNSAT, 718 hardUNSAT [eligible non-check] 50 easySAT, 50 hardSAT, 50 easyUNSAT, 50 hardUNSAT [to division pool] family spear/cvs_v1.11.22 29 benchmarks, all go to division pool 24 easySAT, 0 hardSAT, 5 easyUNSAT, 0 hardUNSAT [to division pool] family spear/openldap_v2.3.35 5 benchmarks, all go to division pool 2 easySAT, 3 hardSAT, 0 easyUNSAT, 0 hardUNSAT [to division pool] family spear/samba_v3.0.24 192 benchmarks, all go to division pool 179 easySAT, 0 hardSAT, 13 easyUNSAT, 0 hardUNSAT [to division pool] family spear/wget_v1.10.2 13 benchmarks, all go to division pool 13 easySAT, 0 hardSAT, 0 easyUNSAT, 0 hardUNSAT [to division pool] family spear/xinetd_v2.3.14 2 benchmarks, all go to division pool 0 easySAT, 0 hardSAT, 2 easyUNSAT, 0 hardUNSAT [to division pool] family stp 1 benchmarks, all go to division pool 0 easySAT, 1 hardSAT, 0 easyUNSAT, 0 hardUNSAT [to division pool] family tacas07 5 benchmarks, all go to division pool 3 easySAT, 0 hardSAT, 0 easyUNSAT, 2 hardUNSAT [to division pool] family uclid/catchconv 414 benchmarks 262 easySAT, 0 hardSAT, 152 easyUNSAT, 0 hardUNSAT [eligible non-check] 100 easySAT, 0 hardSAT, 100 easyUNSAT, 0 hardUNSAT [to division pool] family uclid/tcas 2 benchmarks, all go to division pool 0 easySAT, 0 hardSAT, 2 easyUNSAT, 0 hardUNSAT [to division pool] family uclid_contrib_smtcomp09 7 benchmarks, all go to division pool 0 easySAT, 0 hardSAT, 2 easyUNSAT, 5 hardUNSAT [to division pool] family VS3 10 benchmarks, all go to division pool 0 easySAT, 9 hardSAT, 0 easyUNSAT, 1 hardUNSAT [to division pool] family wienand-cav2008/Booth 2 benchmarks, all go to division pool 0 easySAT, 0 hardSAT, 2 easyUNSAT, 0 hardUNSAT [to division pool] family wienand-cav2008/Commute 6 benchmarks, all go to division pool 0 easySAT, 0 hardSAT, 1 easyUNSAT, 5 hardUNSAT [to division pool] family wienand-cav2008/Distrib 6 benchmarks, all go to division pool 0 easySAT, 0 hardSAT, 1 easyUNSAT, 5 hardUNSAT [to division pool] division QF_BV, 3229 benchmarks in pool 1098 easySAT, 267 hardSAT, 902 easyUNSAT, 962 hardUNSAT [pool totals] 2594 industr, 635 crafted, 0 random [pool totals] 1090 easySAT, 267 hardSAT, 603 easyUNSAT, 634 hardUNSAT [industrial] 8 easySAT, 0 hardSAT, 299 easyUNSAT, 328 hardUNSAT [crafted] 0 easySAT, 0 hardSAT, 0 easyUNSAT, 0 hardUNSAT [random] 180 industr, 20 crafted, 0 random [slot allotments] 1090 easySAT, 267 hardSAT, 603 easyUNSAT, 634 hardUNSAT [cat 0 avail] 45 easySAT, 45 hardSAT, 45 easyUNSAT, 45 hardUNSAT [cat 0 allotment] 8 easySAT, 0 hardSAT, 299 easyUNSAT, 328 hardUNSAT [cat 1 avail] 6 easySAT, 0 hardSAT, 6 easyUNSAT, 6 hardUNSAT [cat 1 allotmentx] 7 easySAT, 0 hardSAT, 6 easyUNSAT, 7 hardUNSAT [cat 1 allotment] 0 easySAT, 0 hardSAT, 0 easyUNSAT, 0 hardUNSAT [cat 2 avail] 0 easySAT, 0 hardSAT, 0 easyUNSAT, 0 hardUNSAT [cat 2 allotment] family bench_ab 122 benchmarks, all go to division pool 120 easySAT, 0 hardSAT, 2 easyUNSAT, 0 hardUNSAT [to division pool] family brummayerbiere 293 benchmarks 110 easySAT, 27 hardSAT, 92 easyUNSAT, 64 hardUNSAT [eligible non-check] 58 easySAT, 27 hardSAT, 57 easyUNSAT, 58 hardUNSAT [to division pool] family brummayerbiere2 22 benchmarks, all go to division pool 8 easySAT, 8 hardSAT, 2 easyUNSAT, 4 hardUNSAT [to division pool] family brummayerbiere3 10 benchmarks, all go to division pool 0 easySAT, 10 hardSAT, 0 easyUNSAT, 0 hardUNSAT [to division pool] family egt 7882 benchmarks 4600 easySAT, 0 hardSAT,3282 easyUNSAT, 0 hardUNSAT [eligible non-check] 100 easySAT, 0 hardSAT, 100 easyUNSAT, 0 hardUNSAT [to division pool] family platania/bellford 19 benchmarks, all go to division pool 0 easySAT, 0 hardSAT, 19 easyUNSAT, 0 hardUNSAT [to division pool] family platania/bubble_sort 15 benchmarks, all go to division pool 0 easySAT, 0 hardSAT, 15 easyUNSAT, 0 hardUNSAT [to division pool] family platania/copy_array 19 benchmarks, all go to division pool 19 easySAT, 0 hardSAT, 0 easyUNSAT, 0 hardUNSAT [to division pool] family platania/no_init_bubble_sort 12 benchmarks, all go to division pool 5 easySAT, 1 hardSAT, 1 easyUNSAT, 5 hardUNSAT [to division pool] family platania/no_init_extract_sublist 39 benchmarks, all go to division pool 0 easySAT, 0 hardSAT, 39 easyUNSAT, 0 hardUNSAT [to division pool] family platania/no_init_multi_delete 9 benchmarks, all go to division pool 9 easySAT, 0 hardSAT, 0 easyUNSAT, 0 hardUNSAT [to division pool] family platania/no_init_multi_member 24 benchmarks, all go to division pool 24 easySAT, 0 hardSAT, 0 easyUNSAT, 0 hardUNSAT [to division pool] family platania/no_init_selection_sort 12 benchmarks, all go to division pool 4 easySAT, 2 hardSAT, 1 easyUNSAT, 5 hardUNSAT [to division pool] family platania/no_init_simple_delete 18 benchmarks, all go to division pool 18 easySAT, 0 hardSAT, 0 easyUNSAT, 0 hardUNSAT [to division pool] family platania/no_init_simple_member 39 benchmarks, all go to division pool 39 easySAT, 0 hardSAT, 0 easyUNSAT, 0 hardUNSAT [to division pool] family platania/prim 9 benchmarks, all go to division pool 0 easySAT, 0 hardSAT, 9 easyUNSAT, 0 hardUNSAT [to division pool] family platania/selection_sort 18 benchmarks, all go to division pool 0 easySAT, 0 hardSAT, 18 easyUNSAT, 0 hardUNSAT [to division pool] family platania/strcmp 20 benchmarks, all go to division pool 20 easySAT, 0 hardSAT, 0 easyUNSAT, 0 hardUNSAT [to division pool] family stp 36 benchmarks, all go to division pool 24 easySAT, 3 hardSAT, 8 easyUNSAT, 1 hardUNSAT [to division pool] division QF_AUFBV, 843 benchmarks in pool 448 easySAT, 51 hardSAT, 271 easyUNSAT, 73 hardUNSAT [pool totals] 611 industr, 232 crafted, 0 random [pool totals] 382 easySAT, 6 hardSAT, 212 easyUNSAT, 11 hardUNSAT [industrial] 66 easySAT, 45 hardSAT, 59 easyUNSAT, 62 hardUNSAT [crafted] 0 easySAT, 0 hardSAT, 0 easyUNSAT, 0 hardUNSAT [random] 180 industr, 20 crafted, 0 random [slot allotments] 382 easySAT, 6 hardSAT, 212 easyUNSAT, 11 hardUNSAT [cat 0 avail] 81 easySAT, 6 hardSAT, 81 easyUNSAT, 11 hardUNSAT [cat 0 allotmentx] 82 easySAT, 6 hardSAT, 81 easyUNSAT, 11 hardUNSAT [cat 0 allotment] 66 easySAT, 45 hardSAT, 59 easyUNSAT, 62 hardUNSAT [cat 1 avail] 5 easySAT, 5 hardSAT, 5 easyUNSAT, 5 hardUNSAT [cat 1 allotment] 0 easySAT, 0 hardSAT, 0 easyUNSAT, 0 hardUNSAT [cat 2 avail] 0 easySAT, 0 hardSAT, 0 easyUNSAT, 0 hardUNSAT [cat 2 allotment] family boogie 908 benchmarks 0 easySAT, 0 hardSAT, 906 easyUNSAT, 2 hardUNSAT [eligible non-check] 0 easySAT, 0 hardSAT, 198 easyUNSAT, 2 hardUNSAT [to division pool] family Burns 14 benchmarks, all go to division pool 0 easySAT, 0 hardSAT, 14 easyUNSAT, 0 hardUNSAT [to division pool] family misc 28 benchmarks, all go to division pool 0 easySAT, 8 hardSAT, 20 easyUNSAT, 0 hardUNSAT [to division pool] family piVC 42 benchmarks, all go to division pool 0 easySAT, 1 hardSAT, 41 easyUNSAT, 0 hardUNSAT [to division pool] family RicartAgrawala 14 benchmarks, all go to division pool 0 easySAT, 0 hardSAT, 14 easyUNSAT, 0 hardUNSAT [to division pool] family sexpr 17 benchmarks, all go to division pool 0 easySAT, 0 hardSAT, 17 easyUNSAT, 0 hardUNSAT [to division pool] family simplify 831 benchmarks 0 easySAT, 0 hardSAT, 831 easyUNSAT, 0 hardUNSAT [eligible non-check] 0 easySAT, 0 hardSAT, 200 easyUNSAT, 0 hardUNSAT [to division pool] family simplify2/front_end_suite 2322 benchmarks 0 easySAT, 0 hardSAT,2320 easyUNSAT, 2 hardUNSAT [eligible non-check] 0 easySAT, 0 hardSAT, 198 easyUNSAT, 2 hardUNSAT [to division pool] family simplify2/small_suite 10 benchmarks, all go to division pool 0 easySAT, 0 hardSAT, 9 easyUNSAT, 1 hardUNSAT [to division pool] family tokeneer/admin 38 benchmarks, all go to division pool 0 easySAT, 0 hardSAT, 38 easyUNSAT, 0 hardUNSAT [to division pool] family tokeneer/admintoken 12 benchmarks, all go to division pool 0 easySAT, 0 hardSAT, 12 easyUNSAT, 0 hardUNSAT [to division pool] family tokeneer/admintoken/readandcheck 27 benchmarks, all go to division pool 0 easySAT, 0 hardSAT, 27 easyUNSAT, 0 hardUNSAT [to division pool] family tokeneer/alarm 2 benchmarks, all go to division pool 0 easySAT, 0 hardSAT, 2 easyUNSAT, 0 hardUNSAT [to division pool] family tokeneer/auditlog 168 benchmarks, all go to division pool 0 easySAT, 0 hardSAT, 168 easyUNSAT, 0 hardUNSAT [to division pool] family tokeneer/auditlog/addelementtologfile 15 benchmarks, all go to division pool 0 easySAT, 0 hardSAT, 15 easyUNSAT, 0 hardUNSAT [to division pool] family tokeneer/auditlog/addelementtologfile/addelementtonextfile 4 benchmarks, all go to division pool 0 easySAT, 0 hardSAT, 4 easyUNSAT, 0 hardUNSAT [to division pool] family tokeneer/auditlog/init 7 benchmarks, all go to division pool 0 easySAT, 0 hardSAT, 7 easyUNSAT, 0 hardUNSAT [to division pool] family tokeneer/auditlog/init/setfiledetails 13 benchmarks, all go to division pool 0 easySAT, 0 hardSAT, 13 easyUNSAT, 0 hardUNSAT [to division pool] family tokeneer/bio 18 benchmarks, all go to division pool 0 easySAT, 0 hardSAT, 18 easyUNSAT, 0 hardUNSAT [to division pool] family tokeneer/cert 1 benchmarks, all go to division pool 0 easySAT, 0 hardSAT, 1 easyUNSAT, 0 hardUNSAT [to division pool] family tokeneer/certificatestore 33 benchmarks, all go to division pool 0 easySAT, 0 hardSAT, 33 easyUNSAT, 0 hardUNSAT [to division pool] family tokeneer/certificatestore/getnextserialnumber 3 benchmarks, all go to division pool 0 easySAT, 0 hardSAT, 3 easyUNSAT, 0 hardUNSAT [to division pool] family tokeneer/cert_/attr_/auth 13 benchmarks, all go to division pool 0 easySAT, 0 hardSAT, 13 easyUNSAT, 0 hardUNSAT [to division pool] family tokeneer/cert_/attr_/auth/construct 2 benchmarks, all go to division pool 0 easySAT, 0 hardSAT, 2 easyUNSAT, 0 hardUNSAT [to division pool] family tokeneer/cert_/attr_/ianda 4 benchmarks, all go to division pool 0 easySAT, 0 hardSAT, 4 easyUNSAT, 0 hardUNSAT [to division pool] family tokeneer/cert_/attr_/priv 7 benchmarks, all go to division pool 0 easySAT, 0 hardSAT, 7 easyUNSAT, 0 hardUNSAT [to division pool] family tokeneer/cert_/id 11 benchmarks, all go to division pool 0 easySAT, 0 hardSAT, 11 easyUNSAT, 0 hardUNSAT [to division pool] family tokeneer/clock 18 benchmarks, all go to division pool 0 easySAT, 0 hardSAT, 17 easyUNSAT, 1 hardUNSAT [to division pool] family tokeneer/configdata 107 benchmarks, all go to division pool 0 easySAT, 0 hardSAT, 106 easyUNSAT, 1 hardUNSAT [to division pool] family tokeneer/configdata/init 13 benchmarks, all go to division pool 0 easySAT, 0 hardSAT, 13 easyUNSAT, 0 hardUNSAT [to division pool] family tokeneer/configdata/validatefile 102 benchmarks, all go to division pool 0 easySAT, 0 hardSAT, 102 easyUNSAT, 0 hardUNSAT [to division pool] family tokeneer/configdata/writefile 2 benchmarks, all go to division pool 0 easySAT, 0 hardSAT, 2 easyUNSAT, 0 hardUNSAT [to division pool] family tokeneer/configuration 6 benchmarks, all go to division pool 0 easySAT, 0 hardSAT, 6 easyUNSAT, 0 hardUNSAT [to division pool] family tokeneer/display 42 benchmarks, all go to division pool 0 easySAT, 0 hardSAT, 42 easyUNSAT, 0 hardUNSAT [to division pool] family tokeneer/door 33 benchmarks, all go to division pool 0 easySAT, 0 hardSAT, 33 easyUNSAT, 0 hardUNSAT [to division pool] family tokeneer/enclave 92 benchmarks, all go to division pool 0 easySAT, 0 hardSAT, 92 easyUNSAT, 0 hardUNSAT [to division pool] family tokeneer/enclave/archivelogop 19 benchmarks, all go to division pool 0 easySAT, 0 hardSAT, 19 easyUNSAT, 0 hardUNSAT [to division pool] family tokeneer/enclave/startadminactivity 12 benchmarks, all go to division pool 0 easySAT, 0 hardSAT, 12 easyUNSAT, 0 hardUNSAT [to division pool] family tokeneer/enrolment 33 benchmarks, all go to division pool 0 easySAT, 0 hardSAT, 33 easyUNSAT, 0 hardUNSAT [to division pool] family tokeneer/enrolment/validate 21 benchmarks, all go to division pool 0 easySAT, 0 hardSAT, 21 easyUNSAT, 0 hardUNSAT [to division pool] family tokeneer/keyboard 3 benchmarks, all go to division pool 0 easySAT, 0 hardSAT, 3 easyUNSAT, 0 hardUNSAT [to division pool] family tokeneer/keystore 367 benchmarks 0 easySAT, 0 hardSAT, 367 easyUNSAT, 0 hardUNSAT [eligible non-check] 0 easySAT, 0 hardSAT, 200 easyUNSAT, 0 hardUNSAT [to division pool] family tokeneer/keystore/digest 6 benchmarks, all go to division pool 0 easySAT, 0 hardSAT, 6 easyUNSAT, 0 hardUNSAT [to division pool] family tokeneer/latch 17 benchmarks, all go to division pool 0 easySAT, 0 hardSAT, 17 easyUNSAT, 0 hardUNSAT [to division pool] family tokeneer/poll 1 benchmarks, all go to division pool 0 easySAT, 0 hardSAT, 1 easyUNSAT, 0 hardUNSAT [to division pool] family tokeneer/screen 106 benchmarks, all go to division pool 0 easySAT, 0 hardSAT, 106 easyUNSAT, 0 hardUNSAT [to division pool] family tokeneer/stats 9 benchmarks, all go to division pool 0 easySAT, 0 hardSAT, 6 easyUNSAT, 3 hardUNSAT [to division pool] family tokeneer/tismain 18 benchmarks, all go to division pool 0 easySAT, 0 hardSAT, 18 easyUNSAT, 0 hardUNSAT [to division pool] family tokeneer/tismain/processing 1 benchmarks, all go to division pool 0 easySAT, 0 hardSAT, 1 easyUNSAT, 0 hardUNSAT [to division pool] family tokeneer/tokenreader 112 benchmarks, all go to division pool 0 easySAT, 0 hardSAT, 112 easyUNSAT, 0 hardUNSAT [to division pool] family tokeneer/tokenreader/init 1 benchmarks, all go to division pool 0 easySAT, 0 hardSAT, 1 easyUNSAT, 0 hardUNSAT [to division pool] family tokeneer/tokenreader/poll 31 benchmarks, all go to division pool 0 easySAT, 0 hardSAT, 31 easyUNSAT, 0 hardUNSAT [to division pool] family tokeneer/tokenreader/poll/checkcardstate 2 benchmarks, all go to division pool 0 easySAT, 0 hardSAT, 2 easyUNSAT, 0 hardUNSAT [to division pool] family tokeneer/tokenreader/poll/processreaderstatechange 2 benchmarks, all go to division pool 0 easySAT, 0 hardSAT, 2 easyUNSAT, 0 hardUNSAT [to division pool] family tokeneer/updates 2 benchmarks, all go to division pool 0 easySAT, 0 hardSAT, 2 easyUNSAT, 0 hardUNSAT [to division pool] family tokeneer/userentry 92 benchmarks, all go to division pool 0 easySAT, 0 hardSAT, 92 easyUNSAT, 0 hardUNSAT [to division pool] family tokeneer/usertoken 40 benchmarks, all go to division pool 0 easySAT, 0 hardSAT, 40 easyUNSAT, 0 hardUNSAT [to division pool] family tokeneer/usertoken/readandcheck 33 benchmarks, all go to division pool 0 easySAT, 0 hardSAT, 33 easyUNSAT, 0 hardUNSAT [to division pool] family tokeneer/usertoken/readandcheckauthcert 30 benchmarks, all go to division pool 0 easySAT, 0 hardSAT, 27 easyUNSAT, 3 hardUNSAT [to division pool] division AUFLIA+p, 2309 benchmarks in pool 0 easySAT, 9 hardSAT,2287 easyUNSAT, 13 hardUNSAT [pool totals] 2283 industr, 26 crafted, 0 random [pool totals] 0 easySAT, 1 hardSAT,2269 easyUNSAT, 13 hardUNSAT [industrial] 0 easySAT, 8 hardSAT, 18 easyUNSAT, 0 hardUNSAT [crafted] 0 easySAT, 0 hardSAT, 0 easyUNSAT, 0 hardUNSAT [random] 180 industr, 20 crafted, 0 random [slot allotments] 0 easySAT, 1 hardSAT,2269 easyUNSAT, 13 hardUNSAT [cat 0 avail] 0 easySAT, 1 hardSAT, 166 easyUNSAT, 13 hardUNSAT [cat 0 allotment] 0 easySAT, 8 hardSAT, 18 easyUNSAT, 0 hardUNSAT [cat 1 avail] 0 easySAT, 8 hardSAT, 12 easyUNSAT, 0 hardUNSAT [cat 1 allotment] 0 easySAT, 0 hardSAT, 0 easyUNSAT, 0 hardUNSAT [cat 2 avail] 0 easySAT, 0 hardSAT, 0 easyUNSAT, 0 hardUNSAT [cat 2 allotment] family boogie 908 benchmarks 0 easySAT, 0 hardSAT, 906 easyUNSAT, 2 hardUNSAT [eligible non-check] 0 easySAT, 0 hardSAT, 198 easyUNSAT, 2 hardUNSAT [to division pool] family Burns 14 benchmarks, all go to division pool 0 easySAT, 0 hardSAT, 14 easyUNSAT, 0 hardUNSAT [to division pool] family misc 28 benchmarks, all go to division pool 0 easySAT, 8 hardSAT, 20 easyUNSAT, 0 hardUNSAT [to division pool] family piVC 42 benchmarks, all go to division pool 0 easySAT, 1 hardSAT, 41 easyUNSAT, 0 hardUNSAT [to division pool] family RicartAgrawala 14 benchmarks, all go to division pool 0 easySAT, 0 hardSAT, 14 easyUNSAT, 0 hardUNSAT [to division pool] family sexpr 17 benchmarks, all go to division pool 0 easySAT, 0 hardSAT, 17 easyUNSAT, 0 hardUNSAT [to division pool] family simplify 831 benchmarks 0 easySAT, 0 hardSAT, 831 easyUNSAT, 0 hardUNSAT [eligible non-check] 0 easySAT, 0 hardSAT, 200 easyUNSAT, 0 hardUNSAT [to division pool] family simplify2/front_end_suite 2322 benchmarks 0 easySAT, 0 hardSAT,2320 easyUNSAT, 2 hardUNSAT [eligible non-check] 0 easySAT, 0 hardSAT, 198 easyUNSAT, 2 hardUNSAT [to division pool] family simplify2/small_suite 10 benchmarks, all go to division pool 0 easySAT, 0 hardSAT, 9 easyUNSAT, 1 hardUNSAT [to division pool] family tokeneer/admin 38 benchmarks, all go to division pool 0 easySAT, 0 hardSAT, 38 easyUNSAT, 0 hardUNSAT [to division pool] family tokeneer/admintoken 12 benchmarks, all go to division pool 0 easySAT, 0 hardSAT, 12 easyUNSAT, 0 hardUNSAT [to division pool] family tokeneer/admintoken/readandcheck 27 benchmarks, all go to division pool 0 easySAT, 0 hardSAT, 27 easyUNSAT, 0 hardUNSAT [to division pool] family tokeneer/alarm 2 benchmarks, all go to division pool 0 easySAT, 0 hardSAT, 2 easyUNSAT, 0 hardUNSAT [to division pool] family tokeneer/auditlog 168 benchmarks, all go to division pool 0 easySAT, 0 hardSAT, 168 easyUNSAT, 0 hardUNSAT [to division pool] family tokeneer/auditlog/addelementtologfile 15 benchmarks, all go to division pool 0 easySAT, 0 hardSAT, 15 easyUNSAT, 0 hardUNSAT [to division pool] family tokeneer/auditlog/addelementtologfile/addelementtonextfile 4 benchmarks, all go to division pool 0 easySAT, 0 hardSAT, 4 easyUNSAT, 0 hardUNSAT [to division pool] family tokeneer/auditlog/init 7 benchmarks, all go to division pool 0 easySAT, 0 hardSAT, 7 easyUNSAT, 0 hardUNSAT [to division pool] family tokeneer/auditlog/init/setfiledetails 13 benchmarks, all go to division pool 0 easySAT, 0 hardSAT, 13 easyUNSAT, 0 hardUNSAT [to division pool] family tokeneer/bio 18 benchmarks, all go to division pool 0 easySAT, 0 hardSAT, 18 easyUNSAT, 0 hardUNSAT [to division pool] family tokeneer/cert 1 benchmarks, all go to division pool 0 easySAT, 0 hardSAT, 1 easyUNSAT, 0 hardUNSAT [to division pool] family tokeneer/certificatestore 33 benchmarks, all go to division pool 0 easySAT, 0 hardSAT, 33 easyUNSAT, 0 hardUNSAT [to division pool] family tokeneer/certificatestore/getnextserialnumber 3 benchmarks, all go to division pool 0 easySAT, 0 hardSAT, 3 easyUNSAT, 0 hardUNSAT [to division pool] family tokeneer/cert_/attr_/auth 13 benchmarks, all go to division pool 0 easySAT, 0 hardSAT, 13 easyUNSAT, 0 hardUNSAT [to division pool] family tokeneer/cert_/attr_/auth/construct 2 benchmarks, all go to division pool 0 easySAT, 0 hardSAT, 2 easyUNSAT, 0 hardUNSAT [to division pool] family tokeneer/cert_/attr_/ianda 4 benchmarks, all go to division pool 0 easySAT, 0 hardSAT, 4 easyUNSAT, 0 hardUNSAT [to division pool] family tokeneer/cert_/attr_/priv 7 benchmarks, all go to division pool 0 easySAT, 0 hardSAT, 7 easyUNSAT, 0 hardUNSAT [to division pool] family tokeneer/cert_/id 11 benchmarks, all go to division pool 0 easySAT, 0 hardSAT, 11 easyUNSAT, 0 hardUNSAT [to division pool] family tokeneer/clock 18 benchmarks, all go to division pool 0 easySAT, 0 hardSAT, 17 easyUNSAT, 1 hardUNSAT [to division pool] family tokeneer/configdata 107 benchmarks, all go to division pool 0 easySAT, 0 hardSAT, 106 easyUNSAT, 1 hardUNSAT [to division pool] family tokeneer/configdata/init 13 benchmarks, all go to division pool 0 easySAT, 0 hardSAT, 13 easyUNSAT, 0 hardUNSAT [to division pool] family tokeneer/configdata/validatefile 102 benchmarks, all go to division pool 0 easySAT, 0 hardSAT, 102 easyUNSAT, 0 hardUNSAT [to division pool] family tokeneer/configdata/writefile 2 benchmarks, all go to division pool 0 easySAT, 0 hardSAT, 2 easyUNSAT, 0 hardUNSAT [to division pool] family tokeneer/configuration 6 benchmarks, all go to division pool 0 easySAT, 0 hardSAT, 6 easyUNSAT, 0 hardUNSAT [to division pool] family tokeneer/display 42 benchmarks, all go to division pool 0 easySAT, 0 hardSAT, 42 easyUNSAT, 0 hardUNSAT [to division pool] family tokeneer/door 33 benchmarks, all go to division pool 0 easySAT, 0 hardSAT, 33 easyUNSAT, 0 hardUNSAT [to division pool] family tokeneer/enclave 92 benchmarks, all go to division pool 0 easySAT, 0 hardSAT, 92 easyUNSAT, 0 hardUNSAT [to division pool] family tokeneer/enclave/archivelogop 19 benchmarks, all go to division pool 0 easySAT, 0 hardSAT, 19 easyUNSAT, 0 hardUNSAT [to division pool] family tokeneer/enclave/startadminactivity 12 benchmarks, all go to division pool 0 easySAT, 0 hardSAT, 12 easyUNSAT, 0 hardUNSAT [to division pool] family tokeneer/enrolment 33 benchmarks, all go to division pool 0 easySAT, 0 hardSAT, 33 easyUNSAT, 0 hardUNSAT [to division pool] family tokeneer/enrolment/validate 21 benchmarks, all go to division pool 0 easySAT, 0 hardSAT, 21 easyUNSAT, 0 hardUNSAT [to division pool] family tokeneer/keyboard 3 benchmarks, all go to division pool 0 easySAT, 0 hardSAT, 3 easyUNSAT, 0 hardUNSAT [to division pool] family tokeneer/keystore 367 benchmarks 0 easySAT, 0 hardSAT, 367 easyUNSAT, 0 hardUNSAT [eligible non-check] 0 easySAT, 0 hardSAT, 200 easyUNSAT, 0 hardUNSAT [to division pool] family tokeneer/keystore/digest 6 benchmarks, all go to division pool 0 easySAT, 0 hardSAT, 6 easyUNSAT, 0 hardUNSAT [to division pool] family tokeneer/latch 17 benchmarks, all go to division pool 0 easySAT, 0 hardSAT, 17 easyUNSAT, 0 hardUNSAT [to division pool] family tokeneer/poll 1 benchmarks, all go to division pool 0 easySAT, 0 hardSAT, 1 easyUNSAT, 0 hardUNSAT [to division pool] family tokeneer/screen 106 benchmarks, all go to division pool 0 easySAT, 0 hardSAT, 106 easyUNSAT, 0 hardUNSAT [to division pool] family tokeneer/stats 9 benchmarks, all go to division pool 0 easySAT, 0 hardSAT, 6 easyUNSAT, 3 hardUNSAT [to division pool] family tokeneer/tismain 18 benchmarks, all go to division pool 0 easySAT, 0 hardSAT, 18 easyUNSAT, 0 hardUNSAT [to division pool] family tokeneer/tismain/processing 1 benchmarks, all go to division pool 0 easySAT, 0 hardSAT, 1 easyUNSAT, 0 hardUNSAT [to division pool] family tokeneer/tokenreader 112 benchmarks, all go to division pool 0 easySAT, 0 hardSAT, 112 easyUNSAT, 0 hardUNSAT [to division pool] family tokeneer/tokenreader/init 1 benchmarks, all go to division pool 0 easySAT, 0 hardSAT, 1 easyUNSAT, 0 hardUNSAT [to division pool] family tokeneer/tokenreader/poll 31 benchmarks, all go to division pool 0 easySAT, 0 hardSAT, 31 easyUNSAT, 0 hardUNSAT [to division pool] family tokeneer/tokenreader/poll/checkcardstate 2 benchmarks, all go to division pool 0 easySAT, 0 hardSAT, 2 easyUNSAT, 0 hardUNSAT [to division pool] family tokeneer/tokenreader/poll/processreaderstatechange 2 benchmarks, all go to division pool 0 easySAT, 0 hardSAT, 2 easyUNSAT, 0 hardUNSAT [to division pool] family tokeneer/updates 2 benchmarks, all go to division pool 0 easySAT, 0 hardSAT, 2 easyUNSAT, 0 hardUNSAT [to division pool] family tokeneer/userentry 92 benchmarks, all go to division pool 0 easySAT, 0 hardSAT, 92 easyUNSAT, 0 hardUNSAT [to division pool] family tokeneer/usertoken 40 benchmarks, all go to division pool 0 easySAT, 0 hardSAT, 40 easyUNSAT, 0 hardUNSAT [to division pool] family tokeneer/usertoken/readandcheck 33 benchmarks, all go to division pool 0 easySAT, 0 hardSAT, 33 easyUNSAT, 0 hardUNSAT [to division pool] family tokeneer/usertoken/readandcheckauthcert 30 benchmarks, all go to division pool 0 easySAT, 0 hardSAT, 27 easyUNSAT, 3 hardUNSAT [to division pool] division AUFLIA-p, 2309 benchmarks in pool 0 easySAT, 9 hardSAT,2287 easyUNSAT, 13 hardUNSAT [pool totals] 2283 industr, 26 crafted, 0 random [pool totals] 0 easySAT, 1 hardSAT,2269 easyUNSAT, 13 hardUNSAT [industrial] 0 easySAT, 8 hardSAT, 18 easyUNSAT, 0 hardUNSAT [crafted] 0 easySAT, 0 hardSAT, 0 easyUNSAT, 0 hardUNSAT [random] 180 industr, 20 crafted, 0 random [slot allotments] 0 easySAT, 1 hardSAT,2269 easyUNSAT, 13 hardUNSAT [cat 0 avail] 0 easySAT, 1 hardSAT, 166 easyUNSAT, 13 hardUNSAT [cat 0 allotment] 0 easySAT, 8 hardSAT, 18 easyUNSAT, 0 hardUNSAT [cat 1 avail] 0 easySAT, 8 hardSAT, 12 easyUNSAT, 0 hardUNSAT [cat 1 allotment] 0 easySAT, 0 hardSAT, 0 easyUNSAT, 0 hardUNSAT [cat 2 avail] 0 easySAT, 0 hardSAT, 0 easyUNSAT, 0 hardUNSAT [cat 2 allotment] family misc 7 benchmarks, all go to division pool 0 easySAT, 7 hardSAT, 0 easyUNSAT, 0 hardUNSAT [to division pool] family nasa/fol_simplify 1581 benchmarks 0 easySAT, 0 hardSAT,1575 easyUNSAT, 6 hardUNSAT [eligible non-check] 0 easySAT, 0 hardSAT, 194 easyUNSAT, 6 hardUNSAT [to division pool] family nasa/fol_simplify_arithmetics 879 benchmarks 0 easySAT, 0 hardSAT, 875 easyUNSAT, 4 hardUNSAT [eligible non-check] 0 easySAT, 0 hardSAT, 196 easyUNSAT, 4 hardUNSAT [to division pool] family nasa/fol_simplify_array 791 benchmarks 0 easySAT, 0 hardSAT, 787 easyUNSAT, 4 hardUNSAT [eligible non-check] 0 easySAT, 0 hardSAT, 196 easyUNSAT, 4 hardUNSAT [to division pool] family nasa/fol_simplify_array_only 14400 benchmarks 0 easySAT, 0 hardSAT,14396 easyUNSAT, 4 hardUNSAT [eligible non-check] 0 easySAT, 0 hardSAT, 196 easyUNSAT, 4 hardUNSAT [to division pool] family nasa/fol_simplify_structure_forall 4559 benchmarks 0 easySAT, 0 hardSAT,4555 easyUNSAT, 4 hardUNSAT [eligible non-check] 0 easySAT, 0 hardSAT, 196 easyUNSAT, 4 hardUNSAT [to division pool] family nasa/fol_simplify_structure_prop 1413 benchmarks 0 easySAT, 0 hardSAT,1409 easyUNSAT, 4 hardUNSAT [eligible non-check] 0 easySAT, 0 hardSAT, 196 easyUNSAT, 4 hardUNSAT [to division pool] family nasa/vc_normalize_subst 326 benchmarks 0 easySAT, 0 hardSAT, 326 easyUNSAT, 0 hardUNSAT [eligible non-check] 0 easySAT, 0 hardSAT, 200 easyUNSAT, 0 hardUNSAT [to division pool] family peter 198 benchmarks, all go to division pool 0 easySAT, 98 hardSAT, 100 easyUNSAT, 0 hardUNSAT [to division pool] family why 1291 benchmarks 0 easySAT, 0 hardSAT,1288 easyUNSAT, 3 hardUNSAT [eligible non-check] 0 easySAT, 0 hardSAT, 197 easyUNSAT, 3 hardUNSAT [to division pool] division AUFLIRA, 1805 benchmarks in pool 0 easySAT, 105 hardSAT,1671 easyUNSAT, 29 hardUNSAT [pool totals] 1600 industr, 205 crafted, 0 random [pool totals] 0 easySAT, 0 hardSAT,1571 easyUNSAT, 29 hardUNSAT [industrial] 0 easySAT, 105 hardSAT, 100 easyUNSAT, 0 hardUNSAT [crafted] 0 easySAT, 0 hardSAT, 0 easyUNSAT, 0 hardUNSAT [random] 180 industr, 20 crafted, 0 random [slot allotments] 0 easySAT, 0 hardSAT,1571 easyUNSAT, 29 hardUNSAT [cat 0 avail] 0 easySAT, 0 hardSAT, 151 easyUNSAT, 29 hardUNSAT [cat 0 allotment] 0 easySAT, 105 hardSAT, 100 easyUNSAT, 0 hardUNSAT [cat 1 avail] 0 easySAT, 10 hardSAT, 10 easyUNSAT, 0 hardUNSAT [cat 1 allotment] 0 easySAT, 0 hardSAT, 0 easyUNSAT, 0 hardUNSAT [cat 2 avail] 0 easySAT, 0 hardSAT, 0 easyUNSAT, 0 hardUNSAT [cat 2 allotment] family scholl-smt08/model 144 benchmarks, all go to division pool 0 easySAT, 144 hardSAT, 0 easyUNSAT, 0 hardUNSAT [to division pool] family scholl-smt08/RND 82 benchmarks, all go to division pool 1 easySAT, 81 hardSAT, 0 easyUNSAT, 0 hardUNSAT [to division pool] family scholl-smt08/RNDPRE 106 benchmarks, all go to division pool 0 easySAT, 106 hardSAT, 0 easyUNSAT, 0 hardUNSAT [to division pool] division LRA, 332 benchmarks in pool 1 easySAT, 331 hardSAT, 0 easyUNSAT, 0 hardUNSAT [pool totals] 144 industr, 0 crafted, 188 random [pool totals] 0 easySAT, 144 hardSAT, 0 easyUNSAT, 0 hardUNSAT [industrial] 0 easySAT, 0 hardSAT, 0 easyUNSAT, 0 hardUNSAT [crafted] 1 easySAT, 187 hardSAT, 0 easyUNSAT, 0 hardUNSAT [random] 144 industr, 0 crafted, 56 random [slot allotments] 0 easySAT, 144 hardSAT, 0 easyUNSAT, 0 hardUNSAT [cat 0 avail] 0 easySAT, 144 hardSAT, 0 easyUNSAT, 0 hardUNSAT [cat 0 allotment] 0 easySAT, 0 hardSAT, 0 easyUNSAT, 0 hardUNSAT [cat 1 avail] 0 easySAT, 0 hardSAT, 0 easyUNSAT, 0 hardUNSAT [cat 1 allotment] 1 easySAT, 187 hardSAT, 0 easyUNSAT, 0 hardUNSAT [cat 2 avail] 1 easySAT, 55 hardSAT, 0 easyUNSAT, 0 hardUNSAT [cat 2 allotment] family calypto 248 benchmarks 4 easySAT, 106 hardSAT, 138 easyUNSAT, 0 hardUNSAT [eligible non-check] 4 easySAT, 98 hardSAT, 98 easyUNSAT, 0 hardUNSAT [to division pool] family leipzig 167 benchmarks, all go to division pool 0 easySAT, 162 hardSAT, 1 easyUNSAT, 4 hardUNSAT [to division pool] division QF_NIA, 367 benchmarks in pool 4 easySAT, 260 hardSAT, 99 easyUNSAT, 4 hardUNSAT [pool totals] 200 industr, 167 crafted, 0 random [pool totals] 4 easySAT, 98 hardSAT, 98 easyUNSAT, 0 hardUNSAT [industrial] 0 easySAT, 162 hardSAT, 1 easyUNSAT, 4 hardUNSAT [crafted] 0 easySAT, 0 hardSAT, 0 easyUNSAT, 0 hardUNSAT [random] 180 industr, 20 crafted, 0 random [slot allotments] 4 easySAT, 98 hardSAT, 98 easyUNSAT, 0 hardUNSAT [cat 0 avail] 4 easySAT, 88 hardSAT, 88 easyUNSAT, 0 hardUNSAT [cat 0 allotment] 0 easySAT, 162 hardSAT, 1 easyUNSAT, 4 hardUNSAT [cat 1 avail] 0 easySAT, 15 hardSAT, 1 easyUNSAT, 4 hardUNSAT [cat 1 allotment] 0 easySAT, 0 hardSAT, 0 easyUNSAT, 0 hardUNSAT [cat 2 avail] 0 easySAT, 0 hardSAT, 0 easyUNSAT, 0 hardUNSAT [cat 2 allotment] family cas 15 benchmarks, all go to division pool 0 easySAT, 15 hardSAT, 0 easyUNSAT, 0 hardUNSAT [to division pool] division QF_UFNRA, 15 benchmarks in pool 0 easySAT, 15 hardSAT, 0 easyUNSAT, 0 hardUNSAT [pool totals] 15 industr, 0 crafted, 0 random [pool totals] 0 easySAT, 15 hardSAT, 0 easyUNSAT, 0 hardUNSAT [industrial] 0 easySAT, 0 hardSAT, 0 easyUNSAT, 0 hardUNSAT [crafted] 0 easySAT, 0 hardSAT, 0 easyUNSAT, 0 hardUNSAT [random] 15 industr, 0 crafted, 185 random [slot allotments] WARNING: failed check: dpool.category.nc[RANDOM] >= cslots[RANDOM] 0 easySAT, 15 hardSAT, 0 easyUNSAT, 0 hardUNSAT [cat 0 avail] 0 easySAT, 15 hardSAT, 0 easyUNSAT, 0 hardUNSAT [cat 0 allotment] 0 easySAT, 0 hardSAT, 0 easyUNSAT, 0 hardUNSAT [cat 1 avail] 0 easySAT, 0 hardSAT, 0 easyUNSAT, 0 hardUNSAT [cat 1 allotment] 0 easySAT, 0 hardSAT, 0 easyUNSAT, 0 hardUNSAT [cat 2 avail] 0 easySAT, 0 hardSAT, 0 easyUNSAT, 0 hardUNSAT [cat 2 allotmentx] 0 easySAT, 0 hardSAT, 0 easyUNSAT, 0 hardUNSAT [cat 2 allotment] family lahiri-cav09-storm-queries 291 benchmarks 0 easySAT, 0 hardSAT, 58 easyUNSAT, 233 hardUNSAT [eligible non-check] 0 easySAT, 0 hardSAT, 58 easyUNSAT, 142 hardUNSAT [to division pool] family spec_sharp 445 benchmarks 0 easySAT, 0 hardSAT, 315 easyUNSAT, 130 hardUNSAT [eligible non-check] 0 easySAT, 0 hardSAT, 100 easyUNSAT, 100 hardUNSAT [to division pool] family vcc-havoc 941 benchmarks 0 easySAT, 0 hardSAT, 650 easyUNSAT, 291 hardUNSAT [eligible non-check] 0 easySAT, 0 hardSAT, 100 easyUNSAT, 100 hardUNSAT [to division pool] division UFNIA, 600 benchmarks in pool 0 easySAT, 0 hardSAT, 258 easyUNSAT, 342 hardUNSAT [pool totals] 600 industr, 0 crafted, 0 random [pool totals] 0 easySAT, 0 hardSAT, 258 easyUNSAT, 342 hardUNSAT [industrial] 0 easySAT, 0 hardSAT, 0 easyUNSAT, 0 hardUNSAT [crafted] 0 easySAT, 0 hardSAT, 0 easyUNSAT, 0 hardUNSAT [random] 200 industr, 0 crafted, 0 random [slot allotments] 0 easySAT, 0 hardSAT, 258 easyUNSAT, 342 hardUNSAT [cat 0 avail] 0 easySAT, 0 hardSAT, 100 easyUNSAT, 100 hardUNSAT [cat 0 allotment] 0 easySAT, 0 hardSAT, 0 easyUNSAT, 0 hardUNSAT [cat 1 avail] 0 easySAT, 0 hardSAT, 0 easyUNSAT, 0 hardUNSAT [cat 1 allotment] 0 easySAT, 0 hardSAT, 0 easyUNSAT, 0 hardUNSAT [cat 2 avail] 0 easySAT, 0 hardSAT, 0 easyUNSAT, 0 hardUNSAT [cat 2 allotment] family nasa/fol_simplify 404 benchmarks 0 easySAT, 0 hardSAT, 0 easyUNSAT, 404 hardUNSAT [eligible non-check] 0 easySAT, 0 hardSAT, 0 easyUNSAT, 200 hardUNSAT [to division pool] family nasa/fol_simplify_arithmetics 24 benchmarks, all go to division pool 0 easySAT, 0 hardSAT, 0 easyUNSAT, 24 hardUNSAT [to division pool] family nasa/fol_simplify_array 24 benchmarks, all go to division pool 0 easySAT, 0 hardSAT, 0 easyUNSAT, 24 hardUNSAT [to division pool] family nasa/fol_simplify_array_only 505 benchmarks 0 easySAT, 0 hardSAT, 0 easyUNSAT, 505 hardUNSAT [eligible non-check] 0 easySAT, 0 hardSAT, 0 easyUNSAT, 200 hardUNSAT [to division pool] family nasa/fol_simplify_structure_forall 95 benchmarks, all go to division pool 0 easySAT, 0 hardSAT, 0 easyUNSAT, 95 hardUNSAT [to division pool] family nasa/fol_simplify_structure_prop 25 benchmarks, all go to division pool 0 easySAT, 0 hardSAT, 0 easyUNSAT, 25 hardUNSAT [to division pool] family nasa/vc_normalize_subst 6 benchmarks, all go to division pool 0 easySAT, 0 hardSAT, 0 easyUNSAT, 6 hardUNSAT [to division pool] division AUFNIRA, 574 benchmarks in pool 0 easySAT, 0 hardSAT, 0 easyUNSAT, 574 hardUNSAT [pool totals] 574 industr, 0 crafted, 0 random [pool totals] 0 easySAT, 0 hardSAT, 0 easyUNSAT, 574 hardUNSAT [industrial] 0 easySAT, 0 hardSAT, 0 easyUNSAT, 0 hardUNSAT [crafted] 0 easySAT, 0 hardSAT, 0 easyUNSAT, 0 hardUNSAT [random] 200 industr, 0 crafted, 0 random [slot allotments] 0 easySAT, 0 hardSAT, 0 easyUNSAT, 574 hardUNSAT [cat 0 avail] 0 easySAT, 0 hardSAT, 0 easyUNSAT, 200 hardUNSAT [cat 0 allotment] 0 easySAT, 0 hardSAT, 0 easyUNSAT, 0 hardUNSAT [cat 1 avail] 0 easySAT, 0 hardSAT, 0 easyUNSAT, 0 hardUNSAT [cat 1 allotment] 0 easySAT, 0 hardSAT, 0 easyUNSAT, 0 hardUNSAT [cat 2 avail] 0 easySAT, 0 hardSAT, 0 easyUNSAT, 0 hardUNSAT [cat 2 allotment]