seeding with 600830695 family NEQ 48 benchmarks, all go to division pool 0 easySAT, 0 hardSAT, 35 easyUNSAT, 13 hardUNSAT [to division pool] family PEQ 43 benchmarks, all go to division pool 0 easySAT, 0 hardSAT, 27 easyUNSAT, 16 hardUNSAT [to division pool] family QG-classification/loops6 448 benchmarks 31 easySAT, 129 hardSAT, 0 easyUNSAT, 288 hardUNSAT [eligible non-check] 31 easySAT, 85 hardSAT, 0 easyUNSAT, 84 hardUNSAT [to division pool] family QG-classification/qg5 5286 benchmarks 5 easySAT,1946 hardSAT, 22 easyUNSAT,3313 hardUNSAT [eligible non-check] 5 easySAT, 86 hardSAT, 22 easyUNSAT, 87 hardUNSAT [to division pool] family QG-classification/qg6 244 benchmarks 66 easySAT, 56 hardSAT, 0 easyUNSAT, 122 hardUNSAT [eligible non-check] 66 easySAT, 56 hardSAT, 0 easyUNSAT, 78 hardUNSAT [to division pool] family QG-classification/qg7 426 benchmarks 94 easySAT, 218 hardSAT, 2 easyUNSAT, 112 hardUNSAT [eligible non-check] 66 easySAT, 66 hardSAT, 2 easyUNSAT, 66 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, 947 benchmarks in pool 180 easySAT, 293 hardSAT, 124 easyUNSAT, 350 hardUNSAT [pool totals] 0 industr, 947 crafted, 0 random [pool totals] 0 easySAT, 0 hardSAT, 0 easyUNSAT, 0 hardUNSAT [industrial] 180 easySAT, 293 hardSAT, 124 easyUNSAT, 350 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] 180 easySAT, 293 hardSAT, 124 easyUNSAT, 350 hardUNSAT [cat 1 avail] 50 easySAT, 50 hardSAT, 50 easyUNSAT, 50 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, 44 easyUNSAT, 16 hardUNSAT [to division pool] family scheduling 71 benchmarks, all go to division pool 32 easySAT, 7 hardSAT, 28 easyUNSAT, 4 hardUNSAT [to division pool] family skdmxa 4 benchmarks, all go to division pool 0 easySAT, 0 hardSAT, 2 easyUNSAT, 2 hardUNSAT [to division pool] family skdmxa2 32 benchmarks, all go to division pool 0 easySAT, 16 hardSAT, 7 easyUNSAT, 9 hardUNSAT [to division pool] division QF_RDL, 167 benchmarks in pool 32 easySAT, 23 hardSAT, 81 easyUNSAT, 31 hardUNSAT [pool totals] 96 industr, 71 crafted, 0 random [pool totals] 0 easySAT, 16 hardSAT, 53 easyUNSAT, 27 hardUNSAT [industrial] 32 easySAT, 7 hardSAT, 28 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: 71 slots for crafted: 104 random in dpool: 0 slots for random: 0 0 easySAT, 16 hardSAT, 53 easyUNSAT, 27 hardUNSAT [cat 0 avail] 0 easySAT, 16 hardSAT, 53 easyUNSAT, 27 hardUNSAT [cat 0 allotment] 32 easySAT, 7 hardSAT, 28 easyUNSAT, 4 hardUNSAT [cat 1 avail] 32 easySAT, 7 hardSAT, 28 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, 35 easyUNSAT, 1 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 73 benchmarks, all go to division pool 35 easySAT, 27 hardSAT, 9 easyUNSAT, 2 hardUNSAT [to division pool] family mathsat/fischer 117 benchmarks, all go to division pool 11 easySAT, 3 hardSAT, 99 easyUNSAT, 4 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 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 22 easySAT, 14 hardSAT, 11 easyUNSAT, 25 hardUNSAT [to division pool] family queens_bench/n_queen 99 benchmarks, all go to division pool 79 easySAT, 18 hardSAT, 2 easyUNSAT, 0 hardUNSAT [to division pool] family queens_bench/super_queen 99 benchmarks, all go to division pool 81 easySAT, 10 hardSAT, 8 easyUNSAT, 0 hardUNSAT [to division pool] family queens_bench/toroidal_bench 99 benchmarks, all go to division pool 8 easySAT, 24 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 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, 1093 benchmarks in pool 452 easySAT, 96 hardSAT, 454 easyUNSAT, 91 hardUNSAT [pool totals] 627 industr, 406 crafted, 60 random [pool totals] 217 easySAT, 17 hardSAT, 364 easyUNSAT, 29 hardUNSAT [industrial] 203 easySAT, 79 hardSAT, 62 easyUNSAT, 62 hardUNSAT [crafted] 32 easySAT, 0 hardSAT, 28 easyUNSAT, 0 hardUNSAT [random] 170 industr, 20 crafted, 10 random [slot allotments] 217 easySAT, 17 hardSAT, 364 easyUNSAT, 29 hardUNSAT [cat 0 avail] 62 easySAT, 17 hardSAT, 62 easyUNSAT, 29 hardUNSAT [cat 0 allotment] 203 easySAT, 79 hardSAT, 62 easyUNSAT, 62 hardUNSAT [cat 1 avail] 5 easySAT, 5 hardSAT, 5 easyUNSAT, 5 hardUNSAT [cat 1 allotment] 32 easySAT, 0 hardSAT, 28 easyUNSAT, 0 hardUNSAT [cat 2 avail] 5 easySAT, 0 hardSAT, 5 easyUNSAT, 0 hardUNSAT [cat 2 allotment] 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, 210 easyUNSAT, 0 hardUNSAT [eligible non-check] 0 easySAT, 0 hardSAT, 200 easyUNSAT, 0 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, 33 easyUNSAT, 4 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, 4 easyUNSAT, 7 hardUNSAT [to division pool] division QF_UFIDL, 387 benchmarks in pool 106 easySAT, 0 hardSAT, 270 easyUNSAT, 11 hardUNSAT [pool totals] 387 industr, 0 crafted, 0 random [pool totals] 106 easySAT, 0 hardSAT, 270 easyUNSAT, 11 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] 106 easySAT, 0 hardSAT, 270 easyUNSAT, 11 hardUNSAT [cat 0 avail] 94 easySAT, 0 hardSAT, 94 easyUNSAT, 11 hardUNSAT [cat 0 allotmentx] 95 easySAT, 0 hardSAT, 94 easyUNSAT, 11 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 wisas 108 benchmarks, all go to division pool 77 easySAT, 5 hardSAT, 20 easyUNSAT, 6 hardUNSAT [to division pool] division QF_UFLIA, 108 benchmarks in pool 77 easySAT, 5 hardSAT, 20 easyUNSAT, 6 hardUNSAT [pool totals] 108 industr, 0 crafted, 0 random [pool totals] 77 easySAT, 5 hardSAT, 20 easyUNSAT, 6 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] CANNOT DO THIS DIVISION - NOT ENOUGH BENCHMARKS industrial in dpool: 108 slots for industrial: 200 crafted in dpool: 0 slots for crafted: 0 random in dpool: 0 slots for random: 0 77 easySAT, 5 hardSAT, 20 easyUNSAT, 6 hardUNSAT [cat 0 avail] 77 easySAT, 5 hardSAT, 20 easyUNSAT, 6 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 clock_synchro 36 benchmarks, all go to division pool 0 easySAT, 0 hardSAT, 28 easyUNSAT, 8 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 27 easySAT, 81 hardSAT, 5 easyUNSAT, 31 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 19 easySAT, 5 hardSAT, 1 easyUNSAT, 0 hardUNSAT [to division pool] family tta_startup 72 benchmarks, all go to division pool 19 easySAT, 5 hardSAT, 40 easyUNSAT, 8 hardUNSAT [to division pool] family uart 73 benchmarks, all go to division pool 36 easySAT, 0 hardSAT, 22 easyUNSAT, 15 hardUNSAT [to division pool] division QF_LRA, 499 benchmarks in pool 112 easySAT, 91 hardSAT, 234 easyUNSAT, 62 hardUNSAT [pool totals] 499 industr, 0 crafted, 0 random [pool totals] 112 easySAT, 91 hardSAT, 234 easyUNSAT, 62 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] 112 easySAT, 91 hardSAT, 234 easyUNSAT, 62 hardUNSAT [cat 0 avail] 50 easySAT, 50 hardSAT, 50 easyUNSAT, 50 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 CIRC/multiplier 17 benchmarks, all go to division pool 0 easySAT, 1 hardSAT, 7 easyUNSAT, 9 hardUNSAT [to division pool] family CIRC/multiplier_prime 17 benchmarks, all go to division pool 14 easySAT, 3 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 19 easySAT, 2 hardSAT, 93 easyUNSAT, 7 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, 1 easyUNSAT, 1 hardUNSAT [to division pool] division QF_LIA, 198 benchmarks in pool 47 easySAT, 6 hardSAT, 118 easyUNSAT, 27 hardUNSAT [pool totals] 198 industr, 0 crafted, 0 random [pool totals] 47 easySAT, 6 hardSAT, 118 easyUNSAT, 27 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] CANNOT DO THIS DIVISION - NOT ENOUGH BENCHMARKS industrial in dpool: 198 slots for industrial: 200 crafted in dpool: 0 slots for crafted: 0 random in dpool: 0 slots for random: 0 47 easySAT, 6 hardSAT, 118 easyUNSAT, 27 hardUNSAT [cat 0 avail] 47 easySAT, 6 hardSAT, 118 easyUNSAT, 27 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 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, 3 easyUNSAT, 1 hardUNSAT [to division pool] family cvc 25 benchmarks, all go to division pool 1 easySAT, 0 hardSAT, 24 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 21 benchmarks, all go to division pool 0 easySAT, 0 hardSAT, 21 easyUNSAT, 0 hardUNSAT [to division pool] family qlock2 52 benchmarks, all go to division pool 41 easySAT, 1 hardSAT, 10 easyUNSAT, 0 hardUNSAT [to division pool] family storecomm 2030 benchmarks 961 easySAT, 0 hardSAT,1069 easyUNSAT, 0 hardUNSAT [eligible non-check] 100 easySAT, 0 hardSAT, 100 easyUNSAT, 0 hardUNSAT [to division pool] family storeinv 172 benchmarks, all go to division pool 72 easySAT, 0 hardSAT, 100 easyUNSAT, 0 hardUNSAT [to division pool] family swap 1368 benchmarks 600 easySAT, 0 hardSAT, 760 easyUNSAT, 8 hardUNSAT [eligible non-check] 96 easySAT, 0 hardSAT, 96 easyUNSAT, 8 hardUNSAT [to division pool] division QF_AUFLIA, 725 benchmarks in pool 323 easySAT, 1 hardSAT, 392 easyUNSAT, 9 hardUNSAT [pool totals] 120 industr, 605 crafted, 0 random [pool totals] 55 easySAT, 1 hardSAT, 63 easyUNSAT, 1 hardUNSAT [industrial] 268 easySAT, 0 hardSAT, 329 easyUNSAT, 8 hardUNSAT [crafted] 0 easySAT, 0 hardSAT, 0 easyUNSAT, 0 hardUNSAT [random] 120 industr, 80 crafted, 0 random [slot allotments] 55 easySAT, 1 hardSAT, 63 easyUNSAT, 1 hardUNSAT [cat 0 avail] 55 easySAT, 1 hardSAT, 63 easyUNSAT, 1 hardUNSAT [cat 0 allotment] 268 easySAT, 0 hardSAT, 329 easyUNSAT, 8 hardUNSAT [cat 1 avail] 36 easySAT, 0 hardSAT, 36 easyUNSAT, 8 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 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 5 easySAT, 14 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_selection_sort 12 benchmarks, all go to division pool 1 easySAT, 5 hardSAT, 1 easyUNSAT, 5 hardUNSAT [to division pool] family platania/prim 9 benchmarks, all go to division pool 0 easySAT, 0 hardSAT, 7 easyUNSAT, 2 hardUNSAT [to division pool] family platania/selection_sort 18 benchmarks, all go to division pool 0 easySAT, 0 hardSAT, 15 easyUNSAT, 3 hardUNSAT [to division pool] family platania/strcmp 20 benchmarks, all go to division pool 9 easySAT, 11 hardSAT, 0 easyUNSAT, 0 hardUNSAT [to division pool] family stp 36 benchmarks, all go to division pool 1 easySAT, 26 hardSAT, 0 easyUNSAT, 9 hardUNSAT [to division pool] division QF_AUFBV, 482 benchmarks in pool 241 easySAT, 57 hardSAT, 160 easyUNSAT, 24 hardUNSAT [pool totals] 482 industr, 0 crafted, 0 random [pool totals] 241 easySAT, 57 hardSAT, 160 easyUNSAT, 24 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] 241 easySAT, 57 hardSAT, 160 easyUNSAT, 24 hardUNSAT [cat 0 avail] 59 easySAT, 57 hardSAT, 59 easyUNSAT, 24 hardUNSAT [cat 0 allotmentx] 60 easySAT, 57 hardSAT, 59 easyUNSAT, 24 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 boogie 908 benchmarks 0 easySAT, 0 hardSAT, 244 easyUNSAT, 664 hardUNSAT [eligible non-check] 0 easySAT, 0 hardSAT, 100 easyUNSAT, 100 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 simplify 833 benchmarks 0 easySAT, 0 hardSAT, 812 easyUNSAT, 21 hardUNSAT [eligible non-check] 0 easySAT, 0 hardSAT, 179 easyUNSAT, 21 hardUNSAT [to division pool] family simplify2/front_end_suite 2319 benchmarks 0 easySAT, 0 hardSAT,1944 easyUNSAT, 375 hardUNSAT [eligible non-check] 0 easySAT, 0 hardSAT, 100 easyUNSAT, 100 hardUNSAT [to division pool] family simplify2/small_suite 10 benchmarks, all go to division pool 0 easySAT, 0 hardSAT, 4 easyUNSAT, 6 hardUNSAT [to division pool] division AUFLIA, 708 benchmarks in pool 0 easySAT, 9 hardSAT, 472 easyUNSAT, 227 hardUNSAT [pool totals] 682 industr, 26 crafted, 0 random [pool totals] 0 easySAT, 1 hardSAT, 454 easyUNSAT, 227 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, 454 easyUNSAT, 227 hardUNSAT [cat 0 avail] 0 easySAT, 1 hardSAT, 89 easyUNSAT, 89 hardUNSAT [cat 0 allotmentx] 0 easySAT, 1 hardSAT, 90 easyUNSAT, 89 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 1575 benchmarks 0 easySAT, 0 hardSAT,1575 easyUNSAT, 0 hardUNSAT [eligible non-check] 0 easySAT, 0 hardSAT, 200 easyUNSAT, 0 hardUNSAT [to division pool] family nasa/fol_simplify_arithmetics 1027 benchmarks 0 easySAT, 0 hardSAT,1027 easyUNSAT, 0 hardUNSAT [eligible non-check] 0 easySAT, 0 hardSAT, 200 easyUNSAT, 0 hardUNSAT [to division pool] family nasa/fol_simplify_array 1591 benchmarks 0 easySAT, 0 hardSAT,1591 easyUNSAT, 0 hardUNSAT [eligible non-check] 0 easySAT, 0 hardSAT, 200 easyUNSAT, 0 hardUNSAT [to division pool] family nasa/fol_simplify_array_only 14396 benchmarks 0 easySAT, 0 hardSAT,14396 easyUNSAT, 0 hardUNSAT [eligible non-check] 0 easySAT, 0 hardSAT, 200 easyUNSAT, 0 hardUNSAT [to division pool] family nasa/fol_simplify_structure_forall 6072 benchmarks 0 easySAT, 0 hardSAT,6072 easyUNSAT, 0 hardUNSAT [eligible non-check] 0 easySAT, 0 hardSAT, 200 easyUNSAT, 0 hardUNSAT [to division pool] family nasa/fol_simplify_structure_prop 1415 benchmarks 0 easySAT, 0 hardSAT,1415 easyUNSAT, 0 hardUNSAT [eligible non-check] 0 easySAT, 0 hardSAT, 200 easyUNSAT, 0 hardUNSAT [to division pool] family nasa/vc_normalize_subst 335 benchmarks 0 easySAT, 0 hardSAT, 335 easyUNSAT, 0 hardUNSAT [eligible non-check] 0 easySAT, 0 hardSAT, 200 easyUNSAT, 0 hardUNSAT [to division pool] family why 1202 benchmarks 0 easySAT, 0 hardSAT,1202 easyUNSAT, 0 hardUNSAT [eligible non-check] 0 easySAT, 0 hardSAT, 200 easyUNSAT, 0 hardUNSAT [to division pool] division AUFLIRA, 1607 benchmarks in pool 0 easySAT, 7 hardSAT,1600 easyUNSAT, 0 hardUNSAT [pool totals] 1600 industr, 7 crafted, 0 random [pool totals] 0 easySAT, 0 hardSAT,1600 easyUNSAT, 0 hardUNSAT [industrial] 0 easySAT, 7 hardSAT, 0 easyUNSAT, 0 hardUNSAT [crafted] 0 easySAT, 0 hardSAT, 0 easyUNSAT, 0 hardUNSAT [random] 193 industr, 7 crafted, 0 random [slot allotments] 0 easySAT, 0 hardSAT,1600 easyUNSAT, 0 hardUNSAT [cat 0 avail] 0 easySAT, 0 hardSAT, 193 easyUNSAT, 0 hardUNSAT [cat 0 allotment] 0 easySAT, 7 hardSAT, 0 easyUNSAT, 0 hardUNSAT [cat 1 avail] 0 easySAT, 7 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 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 crafted 22 benchmarks, all go to division pool 2 easySAT, 0 hardSAT, 20 easyUNSAT, 0 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/inn_v2.4.3 171 benchmarks, all go to division pool 156 easySAT, 15 hardSAT, 0 easyUNSAT, 0 hardUNSAT [to division pool] family spear/openldap_v2.3.35 3 benchmarks, all go to division pool 3 easySAT, 0 hardSAT, 0 easyUNSAT, 0 hardUNSAT [to division pool] family spear/samba_v3.0.24 1381 benchmarks 1360 easySAT, 8 hardSAT, 13 easyUNSAT, 0 hardUNSAT [eligible non-check] 179 easySAT, 8 hardSAT, 13 easyUNSAT, 0 hardUNSAT [to division pool] family spear/wget_v1.10.2 36 benchmarks, all go to division pool 30 easySAT, 6 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 spear/zebra_v0.95a 9 benchmarks, all go to division pool 9 easySAT, 0 hardSAT, 0 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 3 benchmarks, all go to division pool 3 easySAT, 0 hardSAT, 0 easyUNSAT, 0 hardUNSAT [to division pool] division QF_BV, 676 benchmarks in pool 606 easySAT, 30 hardSAT, 40 easyUNSAT, 0 hardUNSAT [pool totals] 654 industr, 22 crafted, 0 random [pool totals] 604 easySAT, 30 hardSAT, 20 easyUNSAT, 0 hardUNSAT [industrial] 2 easySAT, 0 hardSAT, 20 easyUNSAT, 0 hardUNSAT [crafted] 0 easySAT, 0 hardSAT, 0 easyUNSAT, 0 hardUNSAT [random] 180 industr, 20 crafted, 0 random [slot allotments] 604 easySAT, 30 hardSAT, 20 easyUNSAT, 0 hardUNSAT [cat 0 avail] 130 easySAT, 30 hardSAT, 20 easyUNSAT, 0 hardUNSAT [cat 0 allotment] 2 easySAT, 0 hardSAT, 20 easyUNSAT, 0 hardUNSAT [cat 1 avail] 2 easySAT, 0 hardSAT, 18 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]