seeding with 97892241 family eq_diamond 85 benchmarks, all go to division pool 0 easySAT, 0 hardSAT, 10 easyUNSAT, 75 hardUNSAT [to division pool] family NEQ 38 benchmarks, all go to division pool 0 easySAT, 0 hardSAT, 34 easyUNSAT, 4 hardUNSAT [to division pool] family PEQ 31 benchmarks, all go to division pool 0 easySAT, 0 hardSAT, 23 easyUNSAT, 8 hardUNSAT [to division pool] family QG-classification/qg5 30 benchmarks, all go to division pool 0 easySAT, 0 hardSAT, 30 easyUNSAT, 0 hardUNSAT [to division pool] family QG-classification/qg6 88 benchmarks, all go to division pool 0 easySAT, 0 hardSAT, 88 easyUNSAT, 0 hardUNSAT [to division pool] family QG-classification/qg7 42 benchmarks, all go to division pool 8 easySAT, 0 hardSAT, 34 easyUNSAT, 0 hardUNSAT [to division pool] family SEQ 20 benchmarks, all go to division pool 1 easySAT, 0 hardSAT, 17 easyUNSAT, 2 hardUNSAT [to division pool] division QF_UF, 334 benchmarks in pool 9 easySAT, 0 hardSAT, 236 easyUNSAT, 89 hardUNSAT [pool totals] 0 industr, 334 crafted, 0 random [pool totals] 0 easySAT, 0 hardSAT, 0 easyUNSAT, 0 hardUNSAT [industrial] 9 easySAT, 0 hardSAT, 236 easyUNSAT, 89 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] 9 easySAT, 0 hardSAT, 236 easyUNSAT, 89 hardUNSAT [cat 1 avail] 9 easySAT, 0 hardSAT, 102 easyUNSAT, 89 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, 60 easyUNSAT, 0 hardUNSAT [to division pool] family scheduling 72 benchmarks, all go to division pool 38 easySAT, 2 hardSAT, 30 easyUNSAT, 2 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, 168 benchmarks in pool 54 easySAT, 2 hardSAT, 110 easyUNSAT, 2 hardUNSAT [pool totals] 96 industr, 72 crafted, 0 random [pool totals] 16 easySAT, 0 hardSAT, 80 easyUNSAT, 0 hardUNSAT [industrial] 38 easySAT, 2 hardSAT, 30 easyUNSAT, 2 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: 72 slots for crafted: 104 random in dpool: 0 slots for random: 0 16 easySAT, 0 hardSAT, 80 easyUNSAT, 0 hardUNSAT [cat 0 avail] 16 easySAT, 0 hardSAT, 80 easyUNSAT, 0 hardUNSAT [cat 0 allotment] 38 easySAT, 2 hardSAT, 30 easyUNSAT, 2 hardUNSAT [cat 1 avail] 38 easySAT, 2 hardSAT, 30 easyUNSAT, 2 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/buble_sort 1 benchmarks, all go to division pool 1 easySAT, 0 hardSAT, 0 easyUNSAT, 0 hardUNSAT [to division pool] family Averest/sorting_network 4 benchmarks, all go to division pool 4 easySAT, 0 hardSAT, 0 easyUNSAT, 0 hardUNSAT [to division pool] family cellar 1 benchmarks, all go to division pool 0 easySAT, 0 hardSAT, 1 easyUNSAT, 0 hardUNSAT [to division pool] family diamonds 11 benchmarks, all go to division pool 0 easySAT, 0 hardSAT, 11 easyUNSAT, 0 hardUNSAT [to division pool] family job_shop 39 benchmarks, all go to division pool 30 easySAT, 5 hardSAT, 3 easyUNSAT, 1 hardUNSAT [to division pool] family mathsat/fischer 18 benchmarks, all go to division pool 3 easySAT, 0 hardSAT, 12 easyUNSAT, 3 hardUNSAT [to division pool] family parity 189 benchmarks, all go to division pool 122 easySAT, 0 hardSAT, 67 easyUNSAT, 0 hardUNSAT [to division pool] family qlock 38 benchmarks, all go to division pool 11 easySAT, 0 hardSAT, 15 easyUNSAT, 12 hardUNSAT [to division pool] family queens_bench/n_queen 41 benchmarks, all go to division pool 41 easySAT, 0 hardSAT, 0 easyUNSAT, 0 hardUNSAT [to division pool] family queens_bench/super_queen 44 benchmarks, all go to division pool 44 easySAT, 0 hardSAT, 0 easyUNSAT, 0 hardUNSAT [to division pool] family queens_bench/toroidal_bench 84 benchmarks, all go to division pool 5 easySAT, 20 hardSAT, 2 easyUNSAT, 57 hardUNSAT [to division pool] family schedulingIDL 218 benchmarks 196 easySAT, 1 hardSAT, 21 easyUNSAT, 0 hardUNSAT [eligible non-check] 178 easySAT, 1 hardSAT, 21 easyUNSAT, 0 hardUNSAT [to division pool] division QF_IDL, 670 benchmarks in pool 439 easySAT, 26 hardSAT, 132 easyUNSAT, 73 hardUNSAT [pool totals] 62 industr, 608 crafted, 0 random [pool totals] 19 easySAT, 0 hardSAT, 28 easyUNSAT, 15 hardUNSAT [industrial] 420 easySAT, 26 hardSAT, 104 easyUNSAT, 58 hardUNSAT [crafted] 0 easySAT, 0 hardSAT, 0 easyUNSAT, 0 hardUNSAT [random] 62 industr, 138 crafted, 0 random [slot allotments] 19 easySAT, 0 hardSAT, 28 easyUNSAT, 15 hardUNSAT [cat 0 avail] 19 easySAT, 0 hardSAT, 28 easyUNSAT, 15 hardUNSAT [cat 0 allotment] 420 easySAT, 26 hardSAT, 104 easyUNSAT, 58 hardUNSAT [cat 1 avail] 37 easySAT, 26 hardSAT, 37 easyUNSAT, 37 hardUNSAT [cat 1 allotmentx] 38 easySAT, 26 hardSAT, 37 easyUNSAT, 37 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 bcnscheduling 11 benchmarks, all go to division pool 4 easySAT, 0 hardSAT, 3 easyUNSAT, 4 hardUNSAT [to division pool] family mathsat/EufLaArithmetic/vhard 16 benchmarks, all go to division pool 0 easySAT, 0 hardSAT, 16 easyUNSAT, 0 hardUNSAT [to division pool] family pete 21 benchmarks, all go to division pool 2 easySAT, 0 hardSAT, 19 easyUNSAT, 0 hardUNSAT [to division pool] family pete2 175 benchmarks, all go to division pool 0 easySAT, 0 hardSAT, 175 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 12 benchmarks, all go to division pool 9 easySAT, 0 hardSAT, 3 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 15 benchmarks, all go to division pool 0 easySAT, 0 hardSAT, 13 easyUNSAT, 2 hardUNSAT [to division pool] family UCLID-pred/bakery 10 benchmarks, all go to division pool 9 easySAT, 0 hardSAT, 1 easyUNSAT, 0 hardUNSAT [to division pool] family UCLID-pred/DLX 3 benchmarks, all go to division pool 2 easySAT, 0 hardSAT, 1 easyUNSAT, 0 hardUNSAT [to division pool] family UCLID-pred/ibm_cache 11 benchmarks, all go to division pool 10 easySAT, 0 hardSAT, 1 easyUNSAT, 0 hardUNSAT [to division pool] family UCLID-pred/OOO 7 benchmarks, all go to division pool 6 easySAT, 0 hardSAT, 1 easyUNSAT, 0 hardUNSAT [to division pool] family uclid2 12 benchmarks, all go to division pool 1 easySAT, 0 hardSAT, 11 easyUNSAT, 0 hardUNSAT [to division pool] division QF_UFIDL, 300 benchmarks in pool 49 easySAT, 0 hardSAT, 245 easyUNSAT, 6 hardUNSAT [pool totals] 273 industr, 27 crafted, 0 random [pool totals] 45 easySAT, 0 hardSAT, 226 easyUNSAT, 2 hardUNSAT [industrial] 4 easySAT, 0 hardSAT, 19 easyUNSAT, 4 hardUNSAT [crafted] 0 easySAT, 0 hardSAT, 0 easyUNSAT, 0 hardUNSAT [random] 180 industr, 20 crafted, 0 random [slot allotments] 45 easySAT, 0 hardSAT, 226 easyUNSAT, 2 hardUNSAT [cat 0 avail] 45 easySAT, 0 hardSAT, 133 easyUNSAT, 2 hardUNSAT [cat 0 allotment] 4 easySAT, 0 hardSAT, 19 easyUNSAT, 4 hardUNSAT [cat 1 avail] 4 easySAT, 0 hardSAT, 12 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 clock_synchro 17 benchmarks, all go to division pool 0 easySAT, 0 hardSAT, 16 easyUNSAT, 1 hardUNSAT [to division pool] family miplib 41 benchmarks, all go to division pool 8 easySAT, 14 hardSAT, 10 easyUNSAT, 9 hardUNSAT [to division pool] family sal/pursuit 10 benchmarks, all go to division pool 0 easySAT, 0 hardSAT, 10 easyUNSAT, 0 hardUNSAT [to division pool] family sal/tgc 2 benchmarks, all go to division pool 2 easySAT, 0 hardSAT, 0 easyUNSAT, 0 hardUNSAT [to division pool] family sc 109 benchmarks, all go to division pool 75 easySAT, 0 hardSAT, 34 easyUNSAT, 0 hardUNSAT [to division pool] family TM 17 benchmarks, all go to division pool 16 easySAT, 0 hardSAT, 1 easyUNSAT, 0 hardUNSAT [to division pool] family tta_startup 42 benchmarks, all go to division pool 22 easySAT, 0 hardSAT, 19 easyUNSAT, 1 hardUNSAT [to division pool] family uart 62 benchmarks, all go to division pool 28 easySAT, 0 hardSAT, 34 easyUNSAT, 0 hardUNSAT [to division pool] division QF_LRA, 300 benchmarks in pool 151 easySAT, 14 hardSAT, 124 easyUNSAT, 11 hardUNSAT [pool totals] 300 industr, 0 crafted, 0 random [pool totals] 151 easySAT, 14 hardSAT, 124 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] 151 easySAT, 14 hardSAT, 124 easyUNSAT, 11 hardUNSAT [cat 0 avail] 87 easySAT, 14 hardSAT, 87 easyUNSAT, 11 hardUNSAT [cat 0 allotmentx] 87 easySAT, 14 hardSAT, 88 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 Averest/parallel_prefix_sum 5 benchmarks, all go to division pool 5 easySAT, 0 hardSAT, 0 easyUNSAT, 0 hardUNSAT [to division pool] family CIRC/multiplier 15 benchmarks, all go to division pool 1 easySAT, 0 hardSAT, 5 easyUNSAT, 9 hardUNSAT [to division pool] family CIRC/multiplier_prime 11 benchmarks, all go to division pool 11 easySAT, 0 hardSAT, 0 easyUNSAT, 0 hardUNSAT [to division pool] family CIRC/simplebitadder 12 benchmarks, all go to division pool 0 easySAT, 0 hardSAT, 3 easyUNSAT, 9 hardUNSAT [to division pool] family mathsat 40 benchmarks, all go to division pool 6 easySAT, 0 hardSAT, 34 easyUNSAT, 0 hardUNSAT [to division pool] family nec-smt/large/bftpd_login 293 benchmarks 0 easySAT, 0 hardSAT, 120 easyUNSAT, 173 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 25 easySAT, 2 hardSAT, 141 easyUNSAT, 24 hardUNSAT [to division pool] family nec-smt/large/checkpass_pwd 642 benchmarks 449 easySAT, 43 hardSAT, 68 easyUNSAT, 82 hardUNSAT [eligible non-check] 52 easySAT, 43 hardSAT, 53 easyUNSAT, 52 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, 17 easyUNSAT, 18 hardUNSAT [to division pool] family nec-smt/large/getoption_group 355 benchmarks 170 easySAT, 11 hardSAT, 101 easyUNSAT, 73 hardUNSAT [eligible non-check] 63 easySAT, 11 hardSAT, 63 easyUNSAT, 63 hardUNSAT [to division pool] family nec-smt/large/getoption_user 108 benchmarks, all go to division pool 22 easySAT, 33 hardSAT, 0 easyUNSAT, 53 hardUNSAT [to division pool] family nec-smt/large/handler_sigchld 130 benchmarks, all go to division pool 14 easySAT, 1 hardSAT, 111 easyUNSAT, 4 hardUNSAT [to division pool] family nec-smt/large/int_from_list 173 benchmarks, all go to division pool 49 easySAT, 0 hardSAT, 124 easyUNSAT, 0 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 16 easySAT, 23 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 109 benchmarks, all go to division pool 11 easySAT, 0 hardSAT, 98 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 5 benchmarks, all go to division pool 5 easySAT, 0 hardSAT, 0 easyUNSAT, 0 hardUNSAT [to division pool] family nec-smt/small/checkpass_pwd 8 benchmarks, all go to division pool 6 easySAT, 0 hardSAT, 2 easyUNSAT, 0 hardUNSAT [to division pool] family nec-smt/small/config_read_line 1 benchmarks, all go to division pool 1 easySAT, 0 hardSAT, 0 easyUNSAT, 0 hardUNSAT [to division pool] family nec-smt/small/int_from_list 1 benchmarks, all go to division pool 0 easySAT, 0 hardSAT, 1 easyUNSAT, 0 hardUNSAT [to division pool] family rings 282 benchmarks 0 easySAT, 0 hardSAT, 96 easyUNSAT, 186 hardUNSAT [eligible non-check] 0 easySAT, 0 hardSAT, 96 easyUNSAT, 104 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, 1959 benchmarks in pool 488 easySAT, 113 hardSAT, 922 easyUNSAT, 436 hardUNSAT [pool totals] 1759 industr, 200 crafted, 0 random [pool totals] 488 easySAT, 113 hardSAT, 826 easyUNSAT, 332 hardUNSAT [industrial] 0 easySAT, 0 hardSAT, 96 easyUNSAT, 104 hardUNSAT [crafted] 0 easySAT, 0 hardSAT, 0 easyUNSAT, 0 hardUNSAT [random] 180 industr, 20 crafted, 0 random [slot allotments] 488 easySAT, 113 hardSAT, 826 easyUNSAT, 332 hardUNSAT [cat 0 avail] 45 easySAT, 45 hardSAT, 45 easyUNSAT, 45 hardUNSAT [cat 0 allotment] 0 easySAT, 0 hardSAT, 96 easyUNSAT, 104 hardUNSAT [cat 1 avail] 0 easySAT, 0 hardSAT, 10 easyUNSAT, 10 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 153 benchmarks, all go to division pool 0 easySAT, 79 hardSAT, 0 easyUNSAT, 74 hardUNSAT [to division pool] family mathsat/RandomDecoupled 147 benchmarks, all go to division pool 0 easySAT, 139 hardSAT, 0 easyUNSAT, 8 hardUNSAT [to division pool] division QF_UFLRA, 300 benchmarks in pool 0 easySAT, 218 hardSAT, 0 easyUNSAT, 82 hardUNSAT [pool totals] 0 industr, 0 crafted, 300 random [pool totals] 0 easySAT, 0 hardSAT, 0 easyUNSAT, 0 hardUNSAT [industrial] 0 easySAT, 0 hardSAT, 0 easyUNSAT, 0 hardUNSAT [crafted] 0 easySAT, 218 hardSAT, 0 easyUNSAT, 82 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] 0 easySAT, 218 hardSAT, 0 easyUNSAT, 82 hardUNSAT [cat 2 avail] 0 easySAT, 118 hardSAT, 0 easyUNSAT, 82 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 833 benchmarks 0 easySAT, 0 hardSAT, 833 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] division AUFLIA+p, 725 benchmarks in pool 0 easySAT, 9 hardSAT, 711 easyUNSAT, 5 hardUNSAT [pool totals] 699 industr, 26 crafted, 0 random [pool totals] 0 easySAT, 1 hardSAT, 693 easyUNSAT, 5 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, 693 easyUNSAT, 5 hardUNSAT [cat 0 avail] 0 easySAT, 1 hardSAT, 174 easyUNSAT, 5 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 833 benchmarks 0 easySAT, 0 hardSAT, 833 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] division AUFLIA-p, 725 benchmarks in pool 0 easySAT, 9 hardSAT, 711 easyUNSAT, 5 hardUNSAT [pool totals] 699 industr, 26 crafted, 0 random [pool totals] 0 easySAT, 1 hardSAT, 693 easyUNSAT, 5 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, 693 easyUNSAT, 5 hardUNSAT [cat 0 avail] 0 easySAT, 1 hardSAT, 174 easyUNSAT, 5 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 4 benchmarks, all go to division pool 0 easySAT, 4 hardSAT, 0 easyUNSAT, 0 hardUNSAT [to division pool] family nasa/fol_simplify_arithmetics 4 benchmarks, all go to division pool 0 easySAT, 0 hardSAT, 0 easyUNSAT, 4 hardUNSAT [to division pool] family nasa/fol_simplify_array 4 benchmarks, all go to division pool 0 easySAT, 0 hardSAT, 0 easyUNSAT, 4 hardUNSAT [to division pool] family nasa/fol_simplify_array_only 4 benchmarks, all go to division pool 0 easySAT, 0 hardSAT, 2 easyUNSAT, 2 hardUNSAT [to division pool] family nasa/fol_simplify_structure_forall 4 benchmarks, all go to division pool 0 easySAT, 0 hardSAT, 2 easyUNSAT, 2 hardUNSAT [to division pool] family nasa/fol_simplify_structure_prop 4 benchmarks, all go to division pool 0 easySAT, 0 hardSAT, 2 easyUNSAT, 2 hardUNSAT [to division pool] family nasa/vc_normalize_subst 1 benchmarks, all go to division pool 0 easySAT, 0 hardSAT, 1 easyUNSAT, 0 hardUNSAT [to division pool] family peter 159 benchmarks, all go to division pool 74 easySAT, 85 hardSAT, 0 easyUNSAT, 0 hardUNSAT [to division pool] family why 116 benchmarks, all go to division pool 0 easySAT, 0 hardSAT, 116 easyUNSAT, 0 hardUNSAT [to division pool] division AUFLIRA, 300 benchmarks in pool 74 easySAT, 89 hardSAT, 123 easyUNSAT, 14 hardUNSAT [pool totals] 137 industr, 163 crafted, 0 random [pool totals] 0 easySAT, 0 hardSAT, 123 easyUNSAT, 14 hardUNSAT [industrial] 74 easySAT, 89 hardSAT, 0 easyUNSAT, 0 hardUNSAT [crafted] 0 easySAT, 0 hardSAT, 0 easyUNSAT, 0 hardUNSAT [random] 137 industr, 63 crafted, 0 random [slot allotments] 0 easySAT, 0 hardSAT, 123 easyUNSAT, 14 hardUNSAT [cat 0 avail] 0 easySAT, 0 hardSAT, 123 easyUNSAT, 14 hardUNSAT [cat 0 allotment] 74 easySAT, 89 hardSAT, 0 easyUNSAT, 0 hardUNSAT [cat 1 avail] 31 easySAT, 31 hardSAT, 0 easyUNSAT, 0 hardUNSAT [cat 1 allotmentx] 31 easySAT, 32 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 mathsat/EufLaArithmetic/hard 16 benchmarks, all go to division pool 0 easySAT, 0 hardSAT, 16 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 139 benchmarks, all go to division pool 136 easySAT, 0 hardSAT, 3 easyUNSAT, 0 hardUNSAT [to division pool] family mathsat/Wisa 42 benchmarks, all go to division pool 29 easySAT, 0 hardSAT, 13 easyUNSAT, 0 hardUNSAT [to division pool] family wisas 87 benchmarks, all go to division pool 73 easySAT, 0 hardSAT, 14 easyUNSAT, 0 hardUNSAT [to division pool] division QF_UFLIA, 300 benchmarks in pool 238 easySAT, 0 hardSAT, 62 easyUNSAT, 0 hardUNSAT [pool totals] 129 industr, 171 crafted, 0 random [pool totals] 102 easySAT, 0 hardSAT, 27 easyUNSAT, 0 hardUNSAT [industrial] 136 easySAT, 0 hardSAT, 35 easyUNSAT, 0 hardUNSAT [crafted] 0 easySAT, 0 hardSAT, 0 easyUNSAT, 0 hardUNSAT [random] 129 industr, 71 crafted, 0 random [slot allotments] 102 easySAT, 0 hardSAT, 27 easyUNSAT, 0 hardUNSAT [cat 0 avail] 102 easySAT, 0 hardSAT, 27 easyUNSAT, 0 hardUNSAT [cat 0 allotment] 136 easySAT, 0 hardSAT, 35 easyUNSAT, 0 hardUNSAT [cat 1 avail] 36 easySAT, 0 hardSAT, 35 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 cvc 1 benchmarks, all go to division pool 0 easySAT, 0 hardSAT, 1 easyUNSAT, 0 hardUNSAT [to division pool] family storecomm 626 benchmarks 313 easySAT, 0 hardSAT, 313 easyUNSAT, 0 hardUNSAT [eligible non-check] 100 easySAT, 0 hardSAT, 100 easyUNSAT, 0 hardUNSAT [to division pool] family storeinv 96 benchmarks, all go to division pool 36 easySAT, 0 hardSAT, 60 easyUNSAT, 0 hardUNSAT [to division pool] family swap 762 benchmarks 300 easySAT, 0 hardSAT, 462 easyUNSAT, 0 hardUNSAT [eligible non-check] 100 easySAT, 0 hardSAT, 100 easyUNSAT, 0 hardUNSAT [to division pool] division QF_AX, 497 benchmarks in pool 236 easySAT, 0 hardSAT, 261 easyUNSAT, 0 hardUNSAT [pool totals] 0 industr, 497 crafted, 0 random [pool totals] 0 easySAT, 0 hardSAT, 0 easyUNSAT, 0 hardUNSAT [industrial] 236 easySAT, 0 hardSAT, 261 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] 236 easySAT, 0 hardSAT, 261 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/pointer 3 benchmarks, all go to division pool 0 easySAT, 0 hardSAT, 3 easyUNSAT, 0 hardUNSAT [to division pool] family array_benchmarks/qlock 8 benchmarks, all go to division pool 5 easySAT, 0 hardSAT, 3 easyUNSAT, 0 hardUNSAT [to division pool] family cvc 3 benchmarks, all go to division pool 0 easySAT, 0 hardSAT, 3 easyUNSAT, 0 hardUNSAT [to division pool] family qlock2 44 benchmarks, all go to division pool 34 easySAT, 0 hardSAT, 10 easyUNSAT, 0 hardUNSAT [to division pool] family storecomm 96 benchmarks, all go to division pool 47 easySAT, 0 hardSAT, 49 easyUNSAT, 0 hardUNSAT [to division pool] family storeinv 14 benchmarks, all go to division pool 0 easySAT, 0 hardSAT, 14 easyUNSAT, 0 hardUNSAT [to division pool] family swap 132 benchmarks, all go to division pool 12 easySAT, 0 hardSAT, 120 easyUNSAT, 0 hardUNSAT [to division pool] division QF_AUFLIA, 300 benchmarks in pool 98 easySAT, 0 hardSAT, 202 easyUNSAT, 0 hardUNSAT [pool totals] 58 industr, 242 crafted, 0 random [pool totals] 39 easySAT, 0 hardSAT, 19 easyUNSAT, 0 hardUNSAT [industrial] 59 easySAT, 0 hardSAT, 183 easyUNSAT, 0 hardUNSAT [crafted] 0 easySAT, 0 hardSAT, 0 easyUNSAT, 0 hardUNSAT [random] 58 industr, 142 crafted, 0 random [slot allotments] 39 easySAT, 0 hardSAT, 19 easyUNSAT, 0 hardUNSAT [cat 0 avail] 39 easySAT, 0 hardSAT, 19 easyUNSAT, 0 hardUNSAT [cat 0 allotment] 59 easySAT, 0 hardSAT, 183 easyUNSAT, 0 hardUNSAT [cat 1 avail] 59 easySAT, 0 hardSAT, 83 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 brummayerbiere 10 benchmarks, all go to division pool 0 easySAT, 0 hardSAT, 2 easyUNSAT, 8 hardUNSAT [to division pool] family brummayerbiere2 54 benchmarks, all go to division pool 3 easySAT, 4 hardSAT, 17 easyUNSAT, 30 hardUNSAT [to division pool] family spear/cvs_v1.11.22 4 benchmarks, all go to division pool 0 easySAT, 0 hardSAT, 4 easyUNSAT, 0 hardUNSAT [to division pool] family spear/openldap_v2.3.35 5 benchmarks, all go to division pool 0 easySAT, 5 hardSAT, 0 easyUNSAT, 0 hardUNSAT [to division pool] family spear/samba_v3.0.24 4 benchmarks, all go to division pool 4 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 5 benchmarks, all go to division pool 3 easySAT, 0 hardSAT, 2 easyUNSAT, 0 hardUNSAT [to division pool] family uclid/catchconv 382 benchmarks 140 easySAT, 107 hardSAT, 135 easyUNSAT, 0 hardUNSAT [eligible non-check] 67 easySAT, 66 hardSAT, 67 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] division QF_BV, 285 benchmarks in pool 77 easySAT, 76 hardSAT, 94 easyUNSAT, 38 hardUNSAT [pool totals] 275 industr, 10 crafted, 0 random [pool totals] 77 easySAT, 76 hardSAT, 92 easyUNSAT, 30 hardUNSAT [industrial] 0 easySAT, 0 hardSAT, 2 easyUNSAT, 8 hardUNSAT [crafted] 0 easySAT, 0 hardSAT, 0 easyUNSAT, 0 hardUNSAT [random] 190 industr, 10 crafted, 0 random [slot allotments] 77 easySAT, 76 hardSAT, 92 easyUNSAT, 30 hardUNSAT [cat 0 avail] 53 easySAT, 53 hardSAT, 53 easyUNSAT, 30 hardUNSAT [cat 0 allotmentx] 54 easySAT, 53 hardSAT, 53 easyUNSAT, 30 hardUNSAT [cat 0 allotment] 0 easySAT, 0 hardSAT, 2 easyUNSAT, 8 hardUNSAT [cat 1 avail] 0 easySAT, 0 hardSAT, 2 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 brummayerbiere 288 benchmarks 52 easySAT, 85 hardSAT, 73 easyUNSAT, 78 hardUNSAT [eligible non-check] 50 easySAT, 50 hardSAT, 50 easyUNSAT, 50 hardUNSAT [to division pool] family platania/bellford 16 benchmarks, all go to division pool 0 easySAT, 0 hardSAT, 16 easyUNSAT, 0 hardUNSAT [to division pool] family platania/bubble_sort 10 benchmarks, all go to division pool 0 easySAT, 0 hardSAT, 10 easyUNSAT, 0 hardUNSAT [to division pool] family platania/copy_array 15 benchmarks, all go to division pool 15 easySAT, 0 hardSAT, 0 easyUNSAT, 0 hardUNSAT [to division pool] family platania/no_init_bubble_sort 10 benchmarks, all go to division pool 3 easySAT, 2 hardSAT, 1 easyUNSAT, 4 hardUNSAT [to division pool] family platania/no_init_selection_sort 9 benchmarks, all go to division pool 4 easySAT, 0 hardSAT, 1 easyUNSAT, 4 hardUNSAT [to division pool] family platania/prim 7 benchmarks, all go to division pool 0 easySAT, 0 hardSAT, 7 easyUNSAT, 0 hardUNSAT [to division pool] family platania/selection_sort 11 benchmarks, all go to division pool 0 easySAT, 0 hardSAT, 11 easyUNSAT, 0 hardUNSAT [to division pool] family stp 30 benchmarks, all go to division pool 22 easySAT, 3 hardSAT, 4 easyUNSAT, 1 hardUNSAT [to division pool] division QF_AUFBV, 308 benchmarks in pool 94 easySAT, 55 hardSAT, 100 easyUNSAT, 59 hardUNSAT [pool totals] 108 industr, 200 crafted, 0 random [pool totals] 44 easySAT, 5 hardSAT, 50 easyUNSAT, 9 hardUNSAT [industrial] 50 easySAT, 50 hardSAT, 50 easyUNSAT, 50 hardUNSAT [crafted] 0 easySAT, 0 hardSAT, 0 easyUNSAT, 0 hardUNSAT [random] 108 industr, 92 crafted, 0 random [slot allotments] 44 easySAT, 5 hardSAT, 50 easyUNSAT, 9 hardUNSAT [cat 0 avail] 44 easySAT, 5 hardSAT, 50 easyUNSAT, 9 hardUNSAT [cat 0 allotment] 50 easySAT, 50 hardSAT, 50 easyUNSAT, 50 hardUNSAT [cat 1 avail] 23 easySAT, 23 hardSAT, 23 easyUNSAT, 23 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]