HARD SAT09/APPLICATIONS/edgematching/compact/em_11_3_4_cmp.cnf UNKNOWN HARD SAT09/APPLICATIONS/edgematching/compact/em_12_2_4_cmp.cnf UNKNOWN HARD SAT09/APPLICATIONS/edgematching/compact/em_14_7_3_cmp.cnf UNKNOWN HARD SAT09/APPLICATIONS/edgematching/compact/em_7_3_6_cmp.cnf SAT HARD SAT09/APPLICATIONS/edgematching/compact/em_7_4_8_cmp.cnf SAT HARD SAT09/APPLICATIONS/edgematching/compact/em_9_3_5_cmp.cnf SAT HARD SAT09/APPLICATIONS/edgematching/fbcolors/em_11_3_4_fbc.cnf UNKNOWN HARD SAT09/APPLICATIONS/edgematching/fbcolors/em_12_2_4_fbc.cnf UNKNOWN HARD SAT09/APPLICATIONS/edgematching/fbcolors/em_14_7_3_fbc.cnf SAT HARD SAT09/APPLICATIONS/edgematching/fbcolors/em_7_4_8_fbc.cnf SAT HARD SAT09/APPLICATIONS/edgematching/fbcolors/em_8_4_5_fbc.cnf SAT HARD SAT09/APPLICATIONS/edgematching/fbcolors/em_9_3_5_fbc.cnf UNKNOWN HARD SAT09/CRAFTED/modcircuits/mod3block_2vars_10gates_u2_autoenc.cnf UNKNOWN HARD SAT09/CRAFTED/modcircuits/mod3block_2vars_11gates_u2_autoenc.cnf UNKNOWN HARD SAT09/CRAFTED/modcircuits/mod3block_2vars_9gates_u2_autoenc.cnf UNKNOWN HARD SAT09/CRAFTED/modcircuits/mod3block_4vars_11gates_b2.cnf UNKNOWN HARD SAT09/CRAFTED/modcircuits/mod3block_4vars_11gates_b2_restricted.cnf UNKNOWN HARD SAT09/CRAFTED/modcircuits/mod3block_4vars_12gates_b2.cnf UNKNOWN HARD SAT09/CRAFTED/modcircuits/mod3block_4vars_12gates_b2_restricted.cnf UNKNOWN HARD SAT09/CRAFTED/modcircuits/mod4block_2vars_8gates_u2_autoenc.cnf UNKNOWN HARD SAT09/CRAFTED/modcircuits/mod4block_2vars_8gates_u2.cnf UNKNOWN HARD SAT09/CRAFTED/modcircuits/mod4block_2vars_9gates_u2_autoenc.cnf UNKNOWN HARD SAT09/CRAFTED/modcircuits/mod4block_2vars_9gates_u2.cnf UNKNOWN HARD SAT09/CRAFTED/modcircuits/mod4block_3vars_7gates.cnf UNKNOWN HARD SAT09/CRAFTED/modcircuits/mod5block_2vars_12gates.cnf UNKNOWN HARD SAT09/CRAFTED/parity-games/instance_n7_i8_pp_ci_ce.cnf UNKNOWN HARD SAT09/CRAFTED/parity-games/instance_n8_i8_pp_ci_ce.cnf ADDED DLB UNKNOWN HARD SAT09/CRAFTED/parity-games/instance_n8_i8_pp.cnf ADDED DLB UNKNOWN HARD SAT09/CRAFTED/parity-games/instance_n8_i9_pp_ci_ce.cnf ADDED DLB UNKNOWN HARD SAT09/CRAFTED/parity-games/instance_n8_i9_pp.cnf ADDED DLB UNKNOWN HARD SAT09/CRAFTED/parity-games/instance_n9_i9_pp_ci_ce.cnf UNKNOWN ADDED DLB UNKNOWN HARD SAT09/CRAFTED/parity-games/instance_n9_i9_pp.cnf ADDED DLB UNKNOWN HARD SAT09/CRAFTED/ramseycube/Q3inK13.cnf UNKNOWN HARD SAT09/CRAFTED/rbsat/crafted/forced/rbsat-v1150c84314gyes1.cnf UNKNOWN HARD SAT09/CRAFTED/rbsat/crafted/forced/rbsat-v1150c84314gyes2.cnf UNKNOWN HARD SAT09/CRAFTED/rbsat/crafted/forced/rbsat-v1560c133795gyes9.cnf UNKNOWN HARD SAT09/CRAFTED/rbsat/crafted/forced/rbsat-v1820c171155gyes6.cnf UNKNOWN HARD SAT09/CRAFTED/rbsat/crafted/forced/rbsat-v2640c305320gyes8.cnf UNKNOWN HARD SAT09/CRAFTED/rbsat/crafted/forced/rbsat-v945c61409gyes2.cnf UNKNOWN HARD SAT09/CRAFTED/rbsat/crafted/forced/rbsat-v945c61409gyes8.cnf UNKNOWN HARD SAT09/CRAFTED/rbsat/crafted/unforced/rbsat-v1375c111739g2.cnf UNKNOWN HARD SAT09/CRAFTED/rbsat/crafted/unforced/rbsat-v1375c111739g6.cnf UNKNOWN HARD SAT09/CRAFTED/rbsat/crafted/unforced/rbsat-v1820c171155g4.cnf UNKNOWN HARD SAT09/CRAFTED/rbsat/crafted/unforced/rbsat-v2400c266431g5.cnf UNKNOWN HARD SAT09/CRAFTED/rbsat/crafted/unforced/rbsat-v2640c305320g4.cnf UNKNOWN HARD SAT09/CRAFTED/rbsat/random/forced/rbsat-v1150c84314gyes3.cnf UNKNOWN HARD SAT09/CRAFTED/rbsat/random/forced/rbsat-v2100c215164gyes2.cnf UNKNOWN HARD SAT09/CRAFTED/rbsat/random/unforced/rbsat-v1150c84314g2.cnf UNKNOWN HARD SAT09/CRAFTED/rbsat/random/unforced/rbsat-v1820c171155g3.cnf UNKNOWN HARD SAT09/CRAFTED/rbsat/random/unforced/rbsat-v2640c305320g2.cnf UNKNOWN HARD SAT09/CRAFTED/rbsat/random/unforced/rbsat-v2640c305320g6.cnf UNKNOWN HARD SAT09/CRAFTED/sgen/sat/sgen1-sat-230-100.cnf ADDED DLB UNKNOWN HARD SAT09/CRAFTED/sgen/sat/sgen1-sat-240-100.cnf UNKNOWN HARD SAT09/CRAFTED/sgen/sat/sgen1-sat-250-100.cnf ADDED DLB UNKNOWN HARD SAT09/CRAFTED/sgen/sat/sgen1-sat-260-100.cnf UNKNOWN HARD SAT09/CRAFTED/sgen/sat/sgen1-sat-270-100.cnf ADDED DLB UNKNOWN HARD SAT09/CRAFTED/sgen/sat/sgen1-sat-280-100.cnf UNKNOWN HARD SAT09/CRAFTED/sgen/sat/sgen1-sat-290-100.cnf ADDED DLB UNKNOWN HARD SAT09/CRAFTED/sgen/sat/sgen1-sat-300-100.cnf UNKNOWN HARD SAT09/CRAFTED/sgen/unsat/sgen1-unsat-103-100.cnf ADDED DLB UNKNOWN HARD SAT09/CRAFTED/sgen/unsat/sgen1-unsat-109-100.cnf UNKNOWN HARD SAT09/CRAFTED/sgen/unsat/sgen1-unsat-115-100.cnf ADDED DLB UNKNOWN HARD SAT09/CRAFTED/sgen/unsat/sgen1-unsat-121-100.cnf UNKNOWN HARD SAT09/CRAFTED/sgen/unsat/sgen1-unsat-127-100.cnf ADDED DLB UNKNOWN HARD SAT09/CRAFTED/sgen/unsat/sgen1-unsat-133-100.cnf UNKNOWN HARD SAT09/CRAFTED/sgen/unsat/sgen1-unsat-139-100.cnf ADDED DLB UNKNOWN HARD SAT09/CRAFTED/sgen/unsat/sgen1-unsat-145-100.cnf UNKNOWN HARD SAT09/CRAFTED/sgen/unsat/sgen1-unsat-151-100.cnf ADDED DLB UNKNOWN HARD SAT09/CRAFTED/sgen/unsat/sgen1-unsat-97-100.cnf UNKNOWN HARD SAT09/CRAFTED/sgi/new-difficult-20-152-18-95.cnf ADDED DLB UNKNOWN HARD SAT09/CRAFTED/sgi/new-difficult-21-168-19-90.cnf ADDED DLB UNKNOWN HARD SAT09/CRAFTED/sgi/new-difficult-22-173-20-80.cnf ADDED DLB UNKNOWN HARD SAT09/CRAFTED/sgi/new-difficult-23-189-21-75.cnf ADDED DLB UNKNOWN HARD SAT09/CRAFTED/sgi/new-difficult-24-193-22-70.cnf ADDED DLB UNKNOWN HARD SAT09/CRAFTED/sgi/new-difficult-26-243-24-70.cnf ADDED DLB UNKNOWN HARD SAT09/CRAFTED/sgi/new-difficult-28-302-26-75.cnf ADDED DLB UNKNOWN MEDIUM SAT09/APPLICATIONS/edgematching/all/em_11_3_4_all.cnf SAT MEDIUM SAT09/APPLICATIONS/edgematching/all/em_12_2_4_all.cnf SAT MEDIUM SAT09/APPLICATIONS/edgematching/all/em_14_7_3_all.cnf SAT MEDIUM SAT09/APPLICATIONS/edgematching/all/em_7_3_6_all.cnf SAT MEDIUM SAT09/APPLICATIONS/edgematching/all/em_7_4_8_all.cnf SAT MEDIUM SAT09/APPLICATIONS/edgematching/all/em_7_4_9_all.cnf SAT MEDIUM SAT09/APPLICATIONS/edgematching/all/em_8_4_5_all.cnf SAT MEDIUM SAT09/APPLICATIONS/edgematching/compact/em_7_4_9_cmp.cnf SAT MEDIUM SAT09/APPLICATIONS/edgematching/compact/em_8_4_5_cmp.cnf SAT MEDIUM SAT09/APPLICATIONS/edgematching/explicit/em_11_3_4_exp.cnf SAT MEDIUM SAT09/APPLICATIONS/edgematching/explicit/em_12_2_4_exp.cnf SAT MEDIUM SAT09/APPLICATIONS/edgematching/explicit/em_7_3_6_exp.cnf SAT MEDIUM SAT09/APPLICATIONS/edgematching/explicit/em_7_4_8_exp.cnf SAT MEDIUM SAT09/APPLICATIONS/edgematching/explicit/em_7_4_9_exp.cnf SAT MEDIUM SAT09/APPLICATIONS/edgematching/explicit/em_8_4_5_exp.cnf SAT MEDIUM SAT09/APPLICATIONS/edgematching/explicit/em_9_3_5_exp.cnf SAT MEDIUM SAT09/APPLICATIONS/edgematching/fbcolors/em_7_3_6_fbc.cnf SAT MEDIUM SAT09/APPLICATIONS/edgematching/fbcolors/em_7_4_9_fbc.cnf SAT MEDIUM SAT09/CRAFTED/modcircuits/mod3_4vars_6gates.cnf UNSAT MEDIUM SAT09/CRAFTED/modcircuits/mod3block_3vars_9gates_restr.cnf SAT MEDIUM SAT09/CRAFTED/modcircuits/mod4block_2vars_10gates_u2_autoenc.cnf SAT MEDIUM SAT09/CRAFTED/modcircuits/mod4block_2vars_11gates_u2_autoenc.cnf SAT MEDIUM SAT09/CRAFTED/modcircuits/mod5block_1var_7gates.cnf SAT MEDIUM SAT09/CRAFTED/parity-games/instance_n5_i6_pp_ci_ce.cnf UNSAT MEDIUM SAT09/CRAFTED/parity-games/instance_n5_i6_pp.cnf SAT MEDIUM SAT09/CRAFTED/parity-games/instance_n6_i6_pp_ci_ce.cnf SAT MEDIUM SAT09/CRAFTED/parity-games/instance_n6_i6_pp.cnf SAT MEDIUM SAT09/CRAFTED/parity-games/instance_n6_i7_pp_ci_ce.cnf UNSAT MEDIUM SAT09/CRAFTED/parity-games/instance_n6_i7_pp.cnf SAT MEDIUM SAT09/CRAFTED/parity-games/instance_n7_i7_pp_ci_ce.cnf SAT MEDIUM SAT09/CRAFTED/parity-games/instance_n7_i7_pp.cnf SAT MEDIUM SAT09/CRAFTED/parity-games/instance_n7_i8_pp.cnf SAT MEDIUM SAT09/CRAFTED/ramseycube/Q32inK09.cnf UNSAT MEDIUM SAT09/CRAFTED/ramseycube/Q32inK10.cnf UNSAT MEDIUM SAT09/CRAFTED/ramseycube/Q32inK11.cnf UNSAT MEDIUM SAT09/CRAFTED/ramseycube/Q3inK09.cnf SAT MEDIUM SAT09/CRAFTED/ramseycube/Q3inK10.cnf SAT MEDIUM SAT09/CRAFTED/ramseycube/Q3inK11.cnf SAT MEDIUM SAT09/CRAFTED/ramseycube/Q3inK12.cnf SAT MEDIUM SAT09/CRAFTED/rbsat/crafted/forced/rbsat-v760c43649gyes1.cnf SAT MEDIUM SAT09/CRAFTED/rbsat/random/forced/rbsat-v760c43649gyes10.cnf SAT MEDIUM SAT09/CRAFTED/rbsat/random/forced/rbsat-v760c43649gyes1.cnf SAT MEDIUM SAT09/CRAFTED/rbsat/random/forced/rbsat-v760c43649gyes4.cnf SAT MEDIUM SAT09/CRAFTED/rbsat/random/forced/rbsat-v760c43649gyes6.cnf SAT MEDIUM SAT09/CRAFTED/rbsat/random/forced/rbsat-v945c61409gyes4.cnf SAT MEDIUM SAT09/CRAFTED/rbsat/random/forced/rbsat-v945c61409gyes9.cnf SAT MEDIUM SAT09/CRAFTED/rbsat/random/unforced/rbsat-v760c43649g10.cnf SAT MEDIUM SAT09/CRAFTED/rbsat/random/unforced/rbsat-v760c43649g1.cnf SAT MEDIUM SAT09/CRAFTED/rbsat/random/unforced/rbsat-v760c43649g4.cnf UNSAT MEDIUM SAT09/CRAFTED/rbsat/random/unforced/rbsat-v760c43649g8.cnf SAT MEDIUM SAT09/CRAFTED/rbsat/random/unforced/rbsat-v945c61409g10.cnf SAT MEDIUM SAT09/CRAFTED/sgen/sat/sgen1-sat-160-100.cnf SAT MEDIUM SAT09/CRAFTED/sgen/sat/sgen1-sat-180-100.cnf SAT MEDIUM SAT09/CRAFTED/sgen/sat/sgen1-sat-200-100.cnf SAT MEDIUM SAT09/CRAFTED/sgen/sat/sgen1-sat-220-100.cnf SAT MEDIUM SAT09/CRAFTED/sgen/unsat/sgen1-unsat-73-100.cnf UNSAT MEDIUM SAT09/CRAFTED/sgen/unsat/sgen1-unsat-85-100.cnf UNSAT MEDIUM SAT09/CRAFTED/sgi/sgi-difficult7.cnf SAT EASY SAT09/CRAFTED/modcircuits/owp_4vars_5gates.cnf UNSAT EASY SAT09/CRAFTED/parity-games/instance_n2_i2_pp.cnf UNSAT EASY SAT09/CRAFTED/parity-games/instance_n2_i3_pp.cnf UNSAT EASY SAT09/CRAFTED/parity-games/instance_n3_i3_pp_ci_ce.cnf SAT EASY SAT09/CRAFTED/parity-games/instance_n3_i3_pp.cnf SAT EASY SAT09/CRAFTED/parity-games/instance_n3_i4_pp_ci_ce.cnf UNSAT EASY SAT09/CRAFTED/parity-games/instance_n4_i4_pp_ci_ce.cnf SAT EASY SAT09/CRAFTED/parity-games/instance_n4_i4_pp.cnf SAT EASY SAT09/CRAFTED/parity-games/instance_n4_i5_pp.cnf UNSAT EASY SAT09/CRAFTED/parity-games/instance_n5_i5_pp.cnf SAT EASY SAT09/CRAFTED/ramseycube/Q3inK08.cnf SAT EASY SAT09/CRAFTED/sgen/sat/sgen1-sat-140-100.cnf SAT EASY SAT09/CRAFTED/sgen/unsat/sgen1-unsat-61-100.cnf UNSAT EASY SAT09/CRAFTED/sgi/satsgi-n17himBHm20-p0-q146.cnf SAT EASY SAT09/CRAFTED/sgi/satsgi-n18himBHm21-p0-q167.cnf SAT EASY SAT09/CRAFTED/sgi/satsgi-n19himBHm22-p0-q181.cnf SAT EASY SAT09/CRAFTED/sgi/satsgi-n22himBHm24-p0-q209.cnf SAT EASY SAT09/CRAFTED/sgi/satsgi-n22himBHm25-p0-q229.cnf SAT EASY SAT09/CRAFTED/sgi/satsgi-n23himBHm25-p0-q219.cnf SAT EASY SAT09/CRAFTED/sgi/satsgi-n23himBHm26-p0-q248.cnf SAT EASY SAT09/CRAFTED/sgi/satsgi-n23himBHm27-p0-q251.cnf SAT EASY SAT09/CRAFTED/sgi/satsgi-n25himBHm27-p0-q251.cnf SAT EASY SAT09/CRAFTED/sgi/satsgi-n25himBHm29-p0-q290.cnf SAT EASY SAT09/CRAFTED/sgi/satsgi-n28himBHm30-p0-q333.cnf SAT EASY SAT09/CRAFTED/sgi/sgi-difficult4.cnf SAT HARD SAT07/crafted/Difficult/contest-02-03-04/contest02-ezfact64_10.sat05-449.reshuffled-07.cnf SAT HARD SAT07/crafted/Difficult/contest-02-03-04/contest03-SGI_30_50_30_20_1-dir.sat05-439.reshuffled-07.cnf UNSAT HARD SAT07/crafted/Difficult/contest-02-03-04/contest03-SGI_30_50_30_20_3-dir.sat05-440.reshuffled-07.cnf UNSAT HARD SAT07/crafted/Difficult/contest-02-03-04/contest04-lksat-n1000-m6860-k4-l4-s1935114289.sat05-523.reshuffled-07.cnf UNSAT HARD SAT07/crafted/Difficult/contest05/jarvisalo/mod2c-3cage-unsat-10-3.sat05-2568.reshuffled-07.cnf UNSAT HARD SAT07/crafted/Difficult/contest05/others/pmg-12-UNSAT.sat05-3940.reshuffled-07.cnf miscellaneous UNKNOWN HARD SAT07/crafted/Difficult/contest05/others/pmg-13-UNSAT.sat05-3941.reshuffled-07.cnf miscellaneous UNKNOWN HARD SAT07/crafted/Difficult/contest05/others/pmg-14-UNSAT.sat05-3942.reshuffled-07.cnf miscellaneous UNKNOWN HARD SAT07/crafted/Difficult/contest05/others/sgp_5-5-6.sat05-2675.reshuffled-07.cnf miscellaneous UNKNOWN HARD SAT07/crafted/Difficult/contest05/sabharwal/counting-easier-php-018-014.sat05-1175.reshuffled-07.cnf UNSAT HARD SAT07/crafted/Difficult/contest05/sabharwal/counting-harder-php-014-013.sat05-1187.reshuffled-07.cnf UNSAT HARD SAT07/crafted/Difficult/contest05/sabharwal/counting-harder-php-018-017.sat05-1189.reshuffled-07.cnf UNSAT HARD SAT07/crafted/Hard/contest02/ezfact256_1.sat05-464.reshuffled-07.cnf UNKNOWN HARD SAT07/crafted/Hard/contest02/ezfact64_3.sat05-450.reshuffled-07.cnf SAT HARD SAT07/crafted/Hard/contest02/hgen2-v500-s1216665065.sat05-467.reshuffled-07.cnf UNKNOWN HARD SAT07/crafted/Hard/contest02/hgen3-v400-s344840348.sat05-470.reshuffled-07.cnf UNKNOWN HARD SAT07/crafted/Hard/contest02/hgen3-v400-s553296708.sat05-471.reshuffled-07.cnf UNKNOWN HARD SAT07/crafted/Hard/contest02/hgen3-v500-s1349121860.sat05-473.reshuffled-07.cnf UNKNOWN HARD SAT07/crafted/Hard/contest03/looksrandom/hgen6-4-24-n650-03-S528656311.sat05-477.reshuffled-07.cnf UNKNOWN HARD SAT07/crafted/Hard/contest03/looksrandom/hgen7-n390-02-S178568232.sat05-479.reshuffled-07.cnf UNKNOWN HARD SAT07/crafted/Hard/contest03/looksrandom/hgen8-n320-01-S1432474240.sat05-483.reshuffled-07.cnf UNKNOWN HARD SAT07/crafted/Hard/contest03/looksrandom/hgen8-n320-02-S1127428711.sat05-484.reshuffled-07.cnf UNKNOWN HARD SAT07/crafted/Hard/contest03/looksrandom/hidden-k3-s0-r5-n700-01-S2069048075.sat05-488.reshuffled-07.cnf UNKNOWN HARD SAT07/crafted/Hard/contest03/looksrandom/hidden-k3-s0-r5-n700-02-S350203913.sat05-486.reshuffled-07.cnf UNKNOWN HARD SAT07/crafted/Hard/contest03/others/bqwh.40.reg.520.sat05-433.reshuffled-07.cnf UNKNOWN HARD SAT07/crafted/Hard/contest03/others/color-11-3.sat05-445.reshuffled-07.cnf UNKNOWN HARD SAT07/crafted/Hard/contest03/others/color-18-4.sat05-443.reshuffled-07.cnf UNKNOWN HARD SAT07/crafted/Hard/contest03/others/hwb-n28-01-S136611085.sat05-491.reshuffled-07.cnf UNKNOWN HARD SAT07/crafted/Hard/contest03/others/hwb-n32-01-S1491788039.sat05-497.reshuffled-07.cnf UNKNOWN HARD SAT07/crafted/Hard/contest04/connamacher/connm-ue-csp-sat-n1200-d0.00-s1756632460.sat05-526.reshuffled-07.cnf UNKNOWN HARD SAT07/crafted/Hard/contest04/connamacher/connm-ue-csp-sat-n1200-d0.00-s1875077647.sat05-530.reshuffled-07.cnf UNKNOWN HARD SAT07/crafted/Hard/contest04/connamacher/connm-ue-csp-sat-n1200-d0.02-s1099787414.sat05-542.reshuffled-07.cnf UNKNOWN HARD SAT07/crafted/Hard/contest04/connamacher/connm-ue-csp-sat-n1200-d-0.02-s383740539.sat05-534.reshuffled-07.cnf SAT HARD SAT07/crafted/Hard/contest04/connamacher/connm-ue-csp-sat-n1200-d0.04-s736572600.sat05-546.reshuffled-07.cnf UNKNOWN HARD SAT07/crafted/Hard/contest04/connamacher/connm-ue-csp-sat-n800-d0.02-s111845174.sat05-536.reshuffled-07.cnf UNKNOWN HARD SAT07/crafted/Hard/contest04/connamacher/connm-ue-csp-sat-n800-d0.02-s925928766.sat05-538.reshuffled-07.cnf UNKNOWN HARD SAT07/crafted/Hard/contest04/others/Composite-048BitPrimes-0.sat05-503.reshuffled-07.cnf UNKNOWN HARD SAT07/crafted/Hard/contest04/others/Composite-048BitPrimes-1.sat05-504.reshuffled-07.cnf UNKNOWN HARD SAT07/crafted/Hard/contest04/others/Composite-064BitPrimes-1.sat05-506.reshuffled-07.cnf UNKNOWN HARD SAT07/crafted/Hard/contest04/others/Composite-096BitPrimes-0.sat05-507.reshuffled-07.cnf UNKNOWN HARD SAT07/crafted/Hard/contest04/others/CompositeRSA576.sat05-509.reshuffled-07.cnf UNKNOWN HARD SAT07/crafted/Hard/contest04/others/equilarge_l2.sat05-519.reshuffled-07.cnf UNKNOWN HARD SAT07/crafted/Hard/contest04/others/equilarge_l3.sat05-520.reshuffled-07.cnf UNKNOWN HARD SAT07/crafted/Hard/contest04/others/ramsey.sat05-511.reshuffled-07.cnf UNKNOWN HARD SAT07/crafted/Hard/contest05/counting-clq/unsat-set-a-clqcolor-16-10-11.sat05-1253.reshuffled-07.cnf sabharwal UNKNOWN HARD SAT07/crafted/Hard/contest05/counting-clq/unsat-set-b-clqcolor-16-11-14.sat05-1261.reshuffled-07.cnf sabharwal UNKNOWN HARD SAT07/crafted/Hard/contest05/counting-clq/unsat-set-b-fclqcolor-10-07-09.sat05-1282.reshuffled-07.cnf sabharwal UNKNOWN HARD SAT07/crafted/Hard/contest05/counting-clq/unsat-set-b-fclqcolor-25-18-23.sat05-1287.reshuffled-07.cnf sabharwal UNKNOWN HARD SAT07/crafted/Hard/contest05/counting-php/easier-fphp-035-029.sat05-1221.reshuffled-07.cnf sabharwal UNKNOWN HARD SAT07/crafted/Hard/contest05/others/eulcbip-8-UNSAT.sat05-3937.reshuffled-07.cnf miscellaneous UNKNOWN HARD SAT07/crafted/Hard/contest05/others/linvrinv8.sat05-567.reshuffled-07.cnf miscellaneous UNKNOWN HARD SAT07/crafted/Hard/contest05/others/linvrinv9.sat05-568.reshuffled-07.cnf miscellaneous UNKNOWN HARD SAT07/crafted/Hard/contest05/others/sgp_5-6-8.sat05-2669.reshuffled-07.cnf miscellaneous UNKNOWN HARD SAT07/crafted/Hard/contest05/others/sgp_9-8-8.sat05-2674.reshuffled-07.cnf miscellaneous UNKNOWN HARD SAT07/crafted/Hard/contest05/others/strips-gripper-18t35.sat05-1147.reshuffled-07.cnf sabharwal SAT HARD SAT07/crafted/Hard/contest05/phnf/phnf-size10-exclusive-all.used-as.sat04-986.sat05-4198.reshuffled-07.cnf UNKNOWN HARD SAT07/crafted/Hard/contest05/phnf/phnf-size10-exclusive-equilarge_l1.used-as.sat04-893.sat05-4187.reshuffled-07.cnf UNKNOWN HARD SAT07/crafted/Hard/contest05/phnf/phnf-size10-exclusive-equilarge_m3.used-as.sat04-900.sat05-4186.reshuffled-07.cnf UNKNOWN HARD SAT07/crafted/Hard/contest05/phnf/phnf-size10-exclusive-FIFO.used-as.sat04-991.sat05-4192.reshuffled-07.cnf UNKNOWN HARD SAT07/crafted/Hard/contest05/phnf/phnf-size10-exclusive-luckySeven.used-as.sat04-990.sat05-4196.reshuffled-07.cnf UNSAT HARD SAT07/crafted/Hard/contest05/phnf/phnf-size10-exclusive-myciel6-cn.used-as.sat04-319.sat05-4201.reshuffled-07.cnf UNKNOWN HARD SAT07/crafted/Hard/contest05/phnf/phnf-size10-exclusive-philo.used-as.sat04-988.sat05-4195.reshuffled-07.cnf UNKNOWN HARD SAT07/crafted/Hard/contest05/QG/QG7a-gensys-ukn002.sat05-3842.reshuffled-07.cnf UNKNOWN HARD SAT07/crafted/Hard/contest05/QG/QG7a-gensys-ukn009.sat05-3849.reshuffled-07.cnf UNKNOWN HARD SAT07/crafted/Hard/contest05/QG/QG7-dead-dnd001.sat05-3419.reshuffled-07.cnf UNSAT HARD SAT07/crafted/Hard/contest05/QG/QG7-gensys-icl100.sat05-3226.reshuffled-07.cnf UNKNOWN HARD SAT07/crafted/Hard/contest05/QG/QG7-gensys-ukn003.sat05-3346.reshuffled-07.cnf UNKNOWN MEDIUM SAT07/crafted/Difficult/contest-02-03-04/contest02-Mat26.sat05-457.reshuffled-07.cnf UNSAT MEDIUM SAT07/crafted/Difficult/contest-02-03-04/contest04-connm-ue-csp-sat-n600-d0.02-s1676244754.sat05-535.reshuffled-07.cnf UNSAT MEDIUM SAT07/crafted/Difficult/contest-02-03-04/contest04-connm-ue-csp-sat-n800-d0.04-s362703357.sat05-548.reshuffled-07.cnf UNSAT MEDIUM SAT07/crafted/Difficult/contest-02-03-04/contest04-lksat-n1100-m7545-k4-l4-s310659001.sat05-524.reshuffled-07.cnf UNSAT MEDIUM SAT07/crafted/Difficult/contest05/jarvisalo/mod2c-rand3bip-sat-210-3.sat05-2475.reshuffled-07.cnf SAT MEDIUM SAT07/crafted/Difficult/contest05/jarvisalo/mod2c-rand3bip-unsat-120-3.sat05-2340.reshuffled-07.cnf UNSAT MEDIUM SAT07/crafted/Difficult/contest05/jarvisalo/mod2-rand3bip-sat-270-1.sat05-2248.reshuffled-07.cnf SAT MEDIUM SAT07/crafted/Difficult/contest05/jarvisalo/mod2-rand3bip-sat-270-2.sat05-2249.reshuffled-07.cnf SAT MEDIUM SAT07/crafted/Difficult/contest05/jarvisalo/mod2-rand3bip-sat-280-1.sat05-2263.reshuffled-07.cnf SAT MEDIUM SAT07/crafted/Difficult/contest05/jarvisalo/mod2-rand3bip-sat-280-2.sat05-2264.reshuffled-07.cnf SAT MEDIUM SAT07/crafted/Difficult/contest05/jarvisalo/mod2-rand3bip-sat-280-3.sat05-2265.reshuffled-07.cnf SAT MEDIUM SAT07/crafted/Difficult/contest05/others/linvrinv5.sat05-564.reshuffled-07.cnf miscellaneous UNSAT MEDIUM SAT07/crafted/Difficult/contest05/others/sgp_6-6-10.sat05-2670.reshuffled-07.cnf miscellaneous SAT MEDIUM SAT07/crafted/Difficult/contest05/QG/QG6-dead-dnd002.sat05-2713.reshuffled-07.cnf UNSAT MEDIUM SAT07/crafted/Difficult/contest05/QG/QG6-gensys-brn007.sat05-2684.reshuffled-07.cnf UNSAT MEDIUM SAT07/crafted/Difficult/contest05/QG/QG6-gensys-icl001.sat05-2695.reshuffled-07.cnf UNSAT MEDIUM SAT07/crafted/Difficult/contest05/QG/QG6-gensys-icl004.sat05-2716.reshuffled-07.cnf UNSAT MEDIUM SAT07/crafted/Difficult/contest05/QG/QG6-gensys-icl008.sat05-2720.reshuffled-07.cnf UNSAT MEDIUM SAT07/crafted/Difficult/contest05/QG/QG6-gensys-icl009.sat05-2721.reshuffled-07.cnf UNSAT MEDIUM SAT07/crafted/Difficult/contest05/QG/QG6-gensys-ukn003.sat05-2726.reshuffled-07.cnf UNSAT MEDIUM SAT07/crafted/Difficult/contest05/QG/QG7-gensys-icl006.sat05-3132.reshuffled-07.cnf UNSAT MEDIUM SAT07/crafted/Difficult/contest05/sabharwal/grid-pebbling-sat-grid-pbl-0300.sat05-1341.sat05-1341.reshuffled-07.cnf SAT MEDIUM SAT07/crafted/Difficult/contest05/sabharwal/grid-pebbling-unsat-grid-pbl-0300.sat05-1350.sat05-1350.reshuffled-07.cnf UNSAT MEDIUM SAT07/crafted/Difficult/contest05/sabharwal/gt-ordering-sat-gt-040.sat05-1297.reshuffled-07.cnf UNSAT MEDIUM SAT07/crafted/Difficult/contest05/sabharwal/gt-ordering-unsat-gt-045.sat05-1310.reshuffled-07.cnf UNSAT MEDIUM SAT07/crafted/Difficult/contest05/sabharwal/gt-ordering-unsat-gt-060.sat05-1312.reshuffled-07.cnf UNSAT MEDIUM SAT07/crafted/Hard/contest02/pyhala-braun-unsat-40-4-02.sat05-459.reshuffled-07.cnf UNSAT MEDIUM SAT07/crafted/Hard/contest03/others/999999000001nw.sat05-447.reshuffled-07.cnf UNSAT MEDIUM SAT07/crafted/Hard/contest04/others/equilarge_l4.sat05-521.reshuffled-07.cnf UNSAT MEDIUM SAT07/crafted/Hard/contest05/others/mod2c-rand3bip-sat-220-1.sat05-2488.reshuffled-07.cnf miscellaneous SAT MEDIUM SAT07/crafted/Hard/contest05/others/mod2c-rand3bip-sat-220-2.sat05-2489.reshuffled-07.cnf miscellaneous SAT MEDIUM SAT07/crafted/Hard/contest05/phnf/phnf-size10-exclusive-gigamax.used-as.sat04-984.sat05-4194.reshuffled-07.cnf UNSAT MEDIUM SAT07/crafted/Hard/contest05/QG/QG7a-gensys-icl004.sat05-3825.reshuffled-07.cnf UNSAT MEDIUM SAT07/crafted/Hard/contest05/QG/QG7-dead-dnd005.sat05-3111.reshuffled-07.cnf UNSAT MEDIUM SAT07/crafted/Medium/contest05/jarvisalo/mod2-3cage-unsat-9-12.sat05-2587.reshuffled-07.cnf UNSAT MEDIUM SAT07/crafted/Medium/contest05/jarvisalo/mod2-3cage-unsat-9-14.sat05-2589.reshuffled-07.cnf UNSAT MEDIUM SAT07/crafted/Medium/contest05/jarvisalo/mod2c-rand3bip-sat-190-3.sat05-2445.reshuffled-07.cnf SAT MEDIUM SAT07/crafted/Medium/contest05/jarvisalo/mod2-rand3bip-sat-210-2.sat05-2159.reshuffled-07.cnf SAT MEDIUM SAT07/crafted/Medium/contest05/jarvisalo/mod2-rand3bip-sat-220-1.sat05-2173.reshuffled-07.cnf SAT MEDIUM SAT07/crafted/Medium/contest05/jarvisalo/mod2-rand3bip-sat-230-2.sat05-2189.reshuffled-07.cnf SAT MEDIUM SAT07/crafted/Medium/contest05/jarvisalo/mod2-rand3bip-sat-250-3.sat05-2220.reshuffled-07.cnf SAT MEDIUM SAT07/crafted/Medium/contest05/others/pmg-11-UNSAT.sat05-3939.reshuffled-07.cnf miscellaneous UNSAT MEDIUM SAT07/crafted/Medium/contest05/others/QG7a-gensys-brn004.sat05-3669.reshuffled-07.cnf SAT MEDIUM SAT07/crafted/Medium/contest05/others/QG7a-gensys-ukn001.sat05-3841.reshuffled-07.cnf SAT MEDIUM SAT07/crafted/Medium/contest05/others/QG7a-gensys-ukn005.sat05-3845.reshuffled-07.cnf SAT MEDIUM SAT07/crafted/Medium/contest05/others/QG7-gensys-icl001.sat05-2926.reshuffled-07.cnf UNSAT MEDIUM SAT07/crafted/Medium/contest05/others/QG8-gensys-ukn005.sat05-3584.reshuffled-07.cnf UNSAT MEDIUM SAT07/crafted/Medium/contest05/others/QG-gensys-brn008.sat05-2685.reshuffled-07.cnf UNSAT MEDIUM SAT07/crafted/Medium/contest05/others/QG-gensys-icl003.sat05-2715.reshuffled-07.cnf UNSAT MEDIUM SAT07/crafted/Medium/contest05/pebbling/unsat-grid-pbl-0080.sat05-1344.reshuffled-07.cnf sabharwal UNSAT MEDIUM SAT07/crafted/Medium/contest05/pebbling/unsat-pbl-00080.sat05-1325.reshuffled-07.cnf sabharwal UNSAT MEDIUM SAT07/crafted/Medium/contest05/pebbling/unsat-pbl-00090.sat05-1326.reshuffled-07.cnf sabharwal UNSAT MEDIUM SAT07/crafted/Medium/contest05/sabharwal/counting-clqcolor-unsat-set-b-clqcolor-08-06-07.sat05-1257.reshuffled-07.cnf UNSAT MEDIUM SAT07/crafted/Medium/contest05/sabharwal/counting-easier-php-012-010.sat05-1172.reshuffled-07.cnf UNSAT MEDIUM SAT07/crafted/Medium/contest05/sabharwal/sat-strips-gripper-12t23.sat05-1144.reshuffled-07.cnf SAT