@RELATION SAT12-HAND-FeatureRuntime

@ATTRIBUTE instance_id STRING
@ATTRIBUTE repetition NUMERIC
@ATTRIBUTE KLB NUMERIC
@ATTRIBUTE cl NUMERIC
@ATTRIBUTE lobjois NUMERIC
@ATTRIBUTE DIAMETER NUMERIC
@ATTRIBUTE CG NUMERIC
@ATTRIBUTE Pre NUMERIC
@ATTRIBUTE sp NUMERIC
@ATTRIBUTE ls_gsat NUMERIC
@ATTRIBUTE Basic NUMERIC
@ATTRIBUTE ls_saps NUMERIC

@DATA
SAT_Competition2011/SAT03/handmade/anton/UNSAT/SGI_30_80_17_90_7-log.shuffled-as.sat03-190.cnf,1,0.02,2.01,2.0,0.24,22.58,0.12,0.85,2.07,0.01,2.07
SAT_Competition2009/CRAFTED/Hard/contest05/phnf/phnf-size10-exclusive-philo.used-as.sat04-988.sat05-4195.reshuffled-07.cnf,1,4.01,2.0,2.17,2.55,22.34,9.76,6.41,3.48,0.33,3.49
SAT_Competition2009/CRAFTED/edgematching/all/em_7_4_8_all.cnf,1,0.01,2.0,2.0,1.6,9.89,0.13,0.24,2.21,0.0,2.09
SAT_Competition2009/CRAFTED/Difficult/contest05/QG/QG6-gensys-icl001.sat05-2695.reshuffled-07.cnf,1,0.01,1.99,2.0,0.8,20.92,0.05,0.56,2.43,0.0,2.16
SAT_Competition2011/SAT03/handmade/anton/UNSAT/SGI_30_70_26_40_6-dir.shuffled-as.sat03-163.cnf,1,0.01,1.99,2.0,2.01,20.01,0.4,1.91,2.08,0.01,2.09
SAT_Competition2007/crafted/spence/medium/s93-100.cnf,1,0.0,1.99,1.01,0.0,0.0,0.0,0.0,0.59,0.0,0.34
SAT_Competition2011/SAT09/CRAFTED/rbsat/random/unforced/rbsat-v945c61409g4.cnf,1,0.01,2.0,2.0,1.92,20.06,0.25,1.92,2.1,0.01,2.09
SAT_Competition2009/CRAFTED/edgematching/compact/em_9_3_5_cmp.cnf,1,0.04,2.0,2.0,2.01,20.01,0.12,0.58,2.33,0.01,2.1
SAT_Competition2007/crafted/Difficult/contest-02-03-04/contest03-SGI_30_50_30_20_1-dir.sat05-439.reshuffled-07.cnf,1,0.02,2.0,2.0,2.01,20.01,0.64,2.15,2.09,0.01,2.08
SAT_Competition2011/SAT11/crafted/kullmann/GreenTao/GreenTaok1k2/GreenTao_2-3-5_527.cnf,1,0.0,1.99,2.0,0.11,20.01,0.04,0.15,2.2,0.01,2.12
SAT_Competition2011/SAT09/CRAFTED/rbsat/random/unforced/rbsat-v2100c215164g9.cnf,1,0.09,2.0,2.02,2.01,20.02,1.28,2.53,2.18,0.04,2.18
SAT_Competition2011/SAT11/crafted/spence/sgen/sgen3-n220-s24359701-sat.cnf,1,0.0,1.99,1.84,0.0,0.0,0.0,0.01,2.29,0.0,1.43
SAT_Competition2009/CRAFTED/edgematching/all/em_14_7_3_all.cnf,1,1.64,2.0,2.0,2.09,24.63,21.35,4.7,3.18,0.27,3.2
SAT_Competition2011/SAT11/crafted/mosoi/289/289-sat-6x20.cnf,1,0.0,0.39,2.0,0.26,20.02,0.09,0.39,2.06,0.0,2.05
SAT_Competition2007/crafted/Hard/contest05/counting-clq/unsat-set-a-clqcolor-30-19-20.sat05-1256.reshuffled-07.cnf,1,0.15,2.0,2.04,2.01,40.61,2.92,3.33,2.26,0.03,2.21
SAT_Competition2007/crafted/Medium/contest05/jarvisalo/mod2-rand3bip-sat-210-1.sat05-2158.reshuffled-07.cnf,1,0.0,1.99,2.0,0.01,0.01,0.0,0.01,2.41,0.0,1.74
SAT_Competition2009/CRAFTED/Difficult/contest05/jarvisalo/mod2c-rand3bip-unsat-120-3.sat05-2340.reshuffled-07.cnf,1,0.0,1.99,1.36,0.0,0.01,0.0,0.01,1.52,0.0,0.89
SAT_Competition2011/SAT09/CRAFTED/rbsat/crafted/unforced/rbsat-v760c43649g2.cnf,1,0.01,2.01,2.0,1.4,20.03,0.14,1.47,2.09,0.01,2.06
SAT_Competition2007/crafted/Hard/contest02/ezfact64_5.sat05-452.reshuffled-07.cnf,1,0.03,1.99,2.0,2.01,1.95,0.04,0.25,2.19,0.0,2.09
SAT_Competition2009/CRAFTED/Medium/contest05/pebbling/unsat-pbl-00080.sat05-1325.reshuffled-07.cnf,1,0.0,1.57,2.0,0.16,20.03,0.09,1.28,2.1,0.0,2.06
SAT_Competition2009/CRAFTED/edgematching/explicit/em_7_3_6_exp.cnf,1,0.01,2.0,2.0,0.9,3.6,0.05,0.2,2.23,0.0,2.13
SAT_Competition2011/SAT07/crafted/spence/hard/s113-100.cnf,1,0.0,2.0,1.08,0.0,0.0,0.0,0.0,0.76,0.0,0.45
SAT_Competition2009/CRAFTED/Medium/contest05/jarvisalo/mod2-3cage-unsat-9-14.sat05-2589.reshuffled-07.cnf,1,0.0,1.99,1.25,0.0,0.0,0.0,0.0,0.42,0.0,0.28
SAT_Competition2007/crafted/Medium/contest05/others/QG7-gensys-icl001.sat05-2926.reshuffled-07.cnf,1,0.0,2.0,2.0,0.21,4.42,0.03,0.19,2.13,0.01,2.07
SAT_Competition2007/crafted/Difficult/contest05/jarvisalo/mod2c-3cage-unsat-10-3.sat05-2568.reshuffled-07.cnf,1,0.0,1.99,1.17,0.0,0.01,0.0,0.01,1.26,0.0,0.73
SAT_Competition2009/CRAFTED/Hard/contest04/others/ramsey.sat05-511.reshuffled-07.cnf,1,0.0,2.0,2.0,0.05,20.01,0.01,0.13,2.12,0.0,2.07
SAT_Competition2011/SAT02/handmade/zhang-lintao/xor-chain/x1_80.shuffled.cnf,1,0.0,1.99,2.0,0.0,0.01,0.0,0.01,1.34,0.0,0.88
SAT_Competition2007/crafted/Medium/contest05/sabharwal/counting-easier-php-012-010.sat05-1172.reshuffled-07.cnf,1,0.0,2.0,2.0,0.01,0.07,0.0,0.01,1.32,0.0,0.91
SAT_Competition2011/SAT11/crafted/mosoi/289/289-unsat-17x30.cnf,1,0.16,2.02,2.09,2.03,20.02,9.13,3.2,2.35,0.05,2.32
SAT_Competition2007/crafted/Medium/contest05/sabharwal/sat-strips-gripper-10t19.sat05-1143.reshuffled-07.cnf,1,0.02,2.0,2.0,2.01,13.65,0.19,1.19,2.13,0.0,2.1
SAT_Competition2007/crafted/Hard/contest03/looksrandom/hidden-k3-s0-r5-n700-01-S2069048075.sat05-488.reshuffled-07.cnf,1,0.0,2.0,2.0,0.1,0.08,0.0,0.02,2.4,0.0,2.24
SAT_Competition2009/CRAFTED/edgematching/explicit/em_11_3_4_exp.cnf,1,0.22,2.0,2.01,2.01,20.83,2.55,2.7,2.31,0.06,2.28
SAT_Competition2007/crafted/Medium/contest05/pebbling/sat-pbl-00400.sat05-1322.reshuffled-07.cnf,1,0.04,2.0,2.0,2.01,20.67,1.49,2.51,2.16,0.02,2.15
SAT_Competition2011/SAT09/CRAFTED/rbsat/random/forced/rbsat-v2100c215164gyes7.cnf,1,0.08,1.99,2.01,2.01,21.64,1.19,2.4,2.21,0.04,2.19
SAT_Competition2007/crafted/Medium/contest05/others/QG-gensys-brn008.sat05-2685.reshuffled-07.cnf,1,0.01,2.0,2.0,0.74,20.36,0.05,0.54,2.33,0.0,2.13
SAT_Competition2009/CRAFTED/Medium/contest05/others/QG8-gensys-ukn005.sat05-3584.reshuffled-07.cnf,1,0.02,2.0,2.0,2.01,21.6,0.25,1.27,2.14,0.0,2.1
SAT_Competition2011/SAT04/handmade/hirsch03/hgen8-n320-01-S1432474240.shuffled-as.sat03-890.used-as.sat04-841.cnf,1,0.0,1.99,2.0,0.0,0.0,0.0,0.01,1.5,0.0,1.08
SAT_Competition2011/SAT09/CRAFTED/rbsat/crafted/forced/rbsat-v760c43649gyes5.cnf,1,0.01,2.0,2.0,1.23,20.19,0.15,1.28,2.07,0.01,2.07
SAT_Competition2009/CRAFTED/Hard/contest02/hgen2-v500-s1216665065.sat05-467.reshuffled-07.cnf,1,0.0,2.0,2.0,0.04,0.02,0.0,0.01,2.44,0.0,2.23
SAT_Competition2011/SAT11/crafted/skvortsov/automata-synchronization/crn_11_100_s.cnf,1,0.0,2.0,2.0,0.05,0.08,0.01,0.03,2.42,0.0,2.18
SAT_Competition2009/CRAFTED/rbsat/random/forced/rbsat-v760c43649gyes1.cnf,1,0.01,2.0,2.0,1.42,20.13,0.15,1.35,2.1,0.01,2.08
SAT_Competition2007/crafted/Hard/contest05/counting-clq/unsat-set-a-clqcolor-16-10-11.sat05-1253.reshuffled-07.cnf,1,0.01,2.0,2.0,0.36,20.01,0.07,0.88,2.11,0.0,2.06
SAT_Competition2011/SAT05/crafted/jarvisalo05/mod2c-rand3bip-sat/mod2c-rand3bip-sat-230-3.shuffled-as.sat05-2505.cnf,1,0.0,2.0,2.0,0.04,0.23,0.0,0.08,2.35,0.0,2.17
SAT_Competition2011/SAT11/crafted/mosoi/289/289-sat-6x9.cnf,1,0.0,0.36,2.0,0.02,5.12,0.0,0.05,1.59,0.0,1.85
SAT_Competition2011/SAT11/crafted/spence/sgen/sgen3-n180-s34713902-sat.cnf,1,0.0,2.0,1.41,0.0,0.0,0.0,0.01,1.69,0.0,1.03
SAT_Competition2011/SAT11/crafted/mosoi/289/289-sat-14x8.cnf,1,0.0,0.38,2.0,0.2,20.01,0.07,0.38,2.09,0.0,2.09
SAT_Competition2011/SAT05/crafted/sabharwal05/counting/php/unsat/harder/php-020-019.shuffled-as.sat05-1190.cnf,1,0.0,2.0,2.0,0.06,2.23,0.01,0.1,2.24,0.0,2.19
SAT_Competition2011/SAT09/CRAFTED/rbsat/random/forced/rbsat-v2640c305320gyes10.cnf,1,0.13,2.0,2.09,2.02,20.02,2.04,2.75,2.27,0.05,2.26
SAT_Competition2009/CRAFTED/rbsat/crafted/forced/rbsat-v1820c171155gyes6.cnf,1,0.05,2.0,2.01,2.01,21.61,0.85,2.33,2.17,0.03,2.15
SAT_Competition2007/crafted/Difficult/contest05/QG/QG6-gensys-icl004.sat05-2716.reshuffled-07.cnf,1,0.01,2.0,2.0,0.82,20.79,0.05,0.62,2.44,0.0,2.17
SAT_Competition2007/crafted/Hard/contest05/QG/QG7a-gensys-icl001.sat05-3822.reshuffled-07.cnf,1,0.03,2.0,2.0,2.01,20.01,0.08,0.6,2.56,0.0,2.17
SAT_Competition2011/SAT11/crafted/mosoi/289/289-unsat-21x39.cnf,1,0.37,1.99,2.19,2.13,20.08,33.12,3.93,2.86,0.11,2.85
SAT_Competition2007/crafted/spence/hard/s97-100.cnf,1,0.0,1.99,0.93,0.0,0.0,0.0,0.0,0.62,0.0,0.37
SAT_Competition2009/CRAFTED/Hard/contest04/connamacher/connm-ue-csp-sat-n1200-d-0.02-s383740539.sat05-534.reshuffled-07.cnf,1,0.0,1.99,2.0,0.52,3.79,0.09,0.1,2.16,0.0,2.11
SAT_Competition2009/CRAFTED/Difficult/contest-02-03-04/contest02-Mat26.sat05-457.reshuffled-07.cnf,1,0.0,2.0,2.0,0.04,0.38,0.01,0.02,2.39,0.0,2.18
SAT_Competition2007/crafted/Difficult/contest05/jarvisalo/mod2c-rand3bip-sat-210-3.sat05-2475.reshuffled-07.cnf,1,0.0,1.99,2.0,0.04,0.29,0.0,0.07,2.26,0.0,2.13
SAT_Competition2011/SAT09/CRAFTED/rbsat/random/forced/rbsat-v1820c171155gyes3.cnf,1,0.05,2.0,2.02,2.01,20.01,0.83,2.29,2.15,0.02,2.15
SAT_Competition2009/CRAFTED/sgi/new-difficult-28-302-26-75.cnf,1,0.01,2.0,2.0,0.92,20.01,0.11,1.2,2.08,0.01,2.07
SAT_Competition2009/CRAFTED/edgematching/compact/em_8_4_5_cmp.cnf,1,0.02,2.0,2.0,1.71,12.84,0.06,0.35,2.37,0.0,2.15
SAT_Competition2009/CRAFTED/rbsat/random/unforced/rbsat-v2640c305320g2.cnf,1,0.13,2.0,2.0,2.02,21.17,2.2,2.83,2.28,0.07,2.26
SAT_Competition2011/SAT11/crafted/skvortsov/battleship/battleship-12-12-unsat.cnf,1,0.0,1.99,2.0,0.01,0.08,0.0,0.01,2.21,0.0,1.36
SAT_Competition2009/CRAFTED/sgen/unsat/sgen1-unsat-127-100.cnf,1,0.0,1.99,1.28,0.0,0.0,0.0,0.0,0.96,0.0,0.58
SAT_Competition2011/SAT11/crafted/kullmann/VanDerWaerden/VanderWaerden3k/VanDerWaerden_2-3-13_160.cnf,1,0.0,2.0,2.0,0.05,20.01,0.0,0.16,2.11,0.0,2.09
SAT_Competition2007/crafted/Difficult/contest05/jarvisalo/mod2c-rand3bip-unsat-120-3.sat05-2340.reshuffled-07.cnf,1,0.0,2.0,1.35,0.0,0.01,0.0,0.01,1.5,0.0,0.86
SAT_Competition2009/CRAFTED/Medium/contest05/pebbling/unsat-pbl-00090.sat05-1326.reshuffled-07.cnf,1,0.0,1.74,2.0,0.15,20.18,0.1,0.74,2.11,0.0,2.05
SAT_Competition2009/CRAFTED/sgi/satsgi-n28himBHm30-p0-q333.cnf,1,0.01,0.03,2.0,0.62,20.03,0.06,1.55,2.11,0.0,2.1
SAT_Competition2009/CRAFTED/edgematching/explicit/em_9_3_5_exp.cnf,1,0.05,2.01,2.0,2.01,20.01,0.47,1.05,2.13,0.01,2.09
SAT_Competition2009/CRAFTED/rbsat/crafted/forced/rbsat-v945c61409gyes8.cnf,1,0.02,1.99,2.0,2.01,20.08,0.24,2.05,2.12,0.0,2.11
SAT_Competition2007/crafted/spence/medium/s69-100.cnf,1,0.0,1.99,0.69,0.0,0.0,0.0,0.0,0.43,0.0,0.26
SAT_Competition2007/crafted/Hard/contest05/QG/QG7-dead-dnd001.sat05-3419.reshuffled-07.cnf,1,0.0,1.99,2.0,0.5,7.68,0.04,0.21,2.25,0.01,2.11
SAT_Competition2011/SAT09/CRAFTED/rbsat/random/forced/rbsat-v1375c111739gyes10.cnf,1,0.03,2.01,2.0,2.01,20.29,0.54,2.3,2.13,0.03,2.11
SAT_Competition2009/CRAFTED/rbsat/random/unforced/rbsat-v760c43649g8.cnf,1,0.01,2.0,2.0,1.3,20.17,0.14,1.21,2.09,0.01,2.07
SAT_Competition2009/CRAFTED/edgematching/explicit/em_8_4_5_exp.cnf,1,0.02,2.0,2.0,2.01,19.44,0.2,0.46,2.16,0.01,2.09
SAT_Competition2011/SAT11/crafted/mosoi/289/289-unsat-21x40.cnf,1,0.42,2.01,2.23,2.04,20.06,40.86,4.17,2.93,0.15,2.9
SAT_Competition2009/CRAFTED/Hard/contest04/others/CompositeRSA576.sat05-509.reshuffled-07.cnf,1,70.08,2.01,2.04,2.29,20.4,8.49,12.99,5.3,0.54,4.77
SAT_Competition2011/SAT11/crafted/mosoi/289/289-unsat-5x41.cnf,1,0.02,2.0,2.0,1.26,20.03,0.34,1.17,2.11,0.0,2.07
SAT_Competition2009/CRAFTED/rbsat/random/unforced/rbsat-v760c43649g4.cnf,1,0.01,2.01,2.0,1.08,20.01,0.13,1.14,2.11,0.01,2.09
SAT_Competition2007/crafted/Medium/contest05/sabharwal/gt-ordering-unsat-gt-030.sat05-1307.reshuffled-07.cnf,1,0.0,2.0,2.0,0.9,12.99,0.03,0.15,2.15,0.01,2.08
SAT_Competition2011/SAT11/crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/VanDerWaerden_pd_2-3-19_348.cnf,1,0.0,2.0,2.0,0.14,20.01,0.02,0.57,2.06,0.0,2.06
SAT_Competition2009/CRAFTED/parity-games/instance_n6_i6_pp_ci_ce.cnf,1,0.08,2.0,2.0,2.01,20.01,0.22,1.18,2.23,0.01,2.11
SAT_Competition2007/crafted/Hard/contest03/looksrandom/hgen7-n390-02-S178568232.sat05-479.reshuffled-07.cnf,1,0.0,2.0,2.0,0.03,0.02,0.0,0.01,2.34,0.0,2.13
SAT_Competition2009/CRAFTED/edgematching/all/em_8_4_5_all.cnf,1,0.03,2.0,2.0,2.01,20.01,0.2,0.47,2.25,0.0,2.11
SAT_Competition2011/SAT03/handmade/anton/UNSAT/SGI_30_70_18_80_10-dir.shuffled-as.sat03-140.cnf,1,0.02,2.01,2.0,1.28,20.01,0.3,1.25,2.07,0.0,2.07
SAT_Competition2009/CRAFTED/sgi/satsgi-n25himBHm27-p0-q251.cnf,1,0.0,0.02,2.0,0.3,20.03,0.04,0.77,2.17,0.0,2.12
SAT_Competition2009/CRAFTED/sgi/satsgi-n22himBHm25-p0-q229.cnf,1,0.01,0.02,2.0,0.18,14.64,0.02,0.37,2.1,0.0,2.09
SAT_Competition2011/SAT09/CRAFTED/modcircuits/mod4block_3vars_7gates.cnf,1,0.01,2.0,2.0,0.95,20.2,1.63,1.47,2.09,0.0,2.08
SAT_Competition2007/crafted/Hard/contest03/others/color-11-3.sat05-445.reshuffled-07.cnf,1,0.0,2.0,2.0,0.13,20.01,0.11,0.15,2.1,0.0,2.06
SAT_Competition2011/SAT11/crafted/manthey/sudoku-single-hard/sudoku_81x81_unknown.cnf,1,0.84,2.0,2.0,2.01,11.23,0.8,1.45,2.39,0.05,2.22
SAT_Competition2011/SAT11/crafted/spence/sgen/sgen3-n180-s33098896-unsat.cnf,1,0.0,2.0,1.96,0.0,0.0,0.0,0.0,1.33,0.0,0.87
SAT_Competition2007/crafted/Medium/contest05/jarvisalo/mod2-rand3bip-sat-220-1.sat05-2173.reshuffled-07.cnf,1,0.0,1.99,2.0,0.0,0.01,0.0,0.01,2.49,0.0,1.79
SAT_Competition2009/CRAFTED/edgematching/all/em_12_2_4_all.cnf,1,0.46,2.0,2.05,2.04,21.44,5.84,3.23,2.5,0.14,2.49
SAT_Competition2009/CRAFTED/sgen/sat/sgen1-sat-230-100.cnf,1,0.0,1.99,1.76,0.0,0.0,0.0,0.01,2.3,0.0,1.47
SAT_Competition2011/SAT11/crafted/mosoi/289/289-unsat-6x34.cnf,1,0.02,2.01,2.0,1.77,20.02,0.4,1.21,2.11,0.0,2.1
SAT_Competition2009/CRAFTED/edgematching/compact/em_7_3_6_cmp.cnf,1,0.0,1.99,2.0,0.55,2.87,0.02,0.19,2.36,0.01,2.18
SAT_Competition2009/CRAFTED/Hard/contest05/QG/QG7a-gensys-icl004.sat05-3825.reshuffled-07.cnf,1,0.02,2.0,2.0,2.01,20.01,0.07,0.64,2.57,0.0,2.16
SAT_Competition2007/crafted/Hard/contest05/counting-php/harder-fphp-035-034.sat05-1235.reshuffled-07.cnf,1,0.01,2.01,2.0,1.95,20.26,0.18,1.12,2.13,0.01,2.09
SAT_Competition2011/SAT09/CRAFTED/ramseycube/Q3inK10.cnf,1,0.08,0.32,2.02,0.45,150.47,0.36,2.63,2.17,0.01,2.17
SAT_Competition2009/CRAFTED/ramseycube/Q3inK09.cnf,1,0.01,0.06,2.0,0.05,24.02,0.06,0.36,2.04,0.01,2.04
SAT_Competition2009/CRAFTED/Medium/contest05/others/QG7a-gensys-brn004.sat05-3669.reshuffled-07.cnf,1,0.02,1.99,2.0,2.01,20.01,0.08,0.64,2.62,0.0,2.14
SAT_Competition2007/crafted/Medium/contest05/jarvisalo/mod2-3cage-unsat-9-12.sat05-2587.reshuffled-07.cnf,1,0.0,1.99,1.23,0.0,0.0,0.0,0.0,0.4,0.0,0.27
SAT_Competition2011/SAT11/crafted/mosoi/289/289-sat-4x35.cnf,1,0.01,0.05,2.0,0.33,20.01,0.15,0.45,2.1,0.0,2.07
SAT_Competition2011/SAT11/crafted/spence/sgen/sgen3-n120-s55656844-unsat.cnf,1,0.0,2.0,1.17,0.0,0.0,0.0,0.0,0.82,0.0,0.49
SAT_Competition2011/SAT11/crafted/mosoi/289/289-unsat-7x39.cnf,1,0.02,2.01,2.01,2.01,20.05,0.87,2.23,2.14,0.01,2.09
SAT_Competition2009/CRAFTED/parity-games/instance_n7_i8_pp.cnf,1,0.28,2.02,2.0,2.01,20.01,0.53,2.37,2.25,0.02,2.14
SAT_Competition2007/crafted/Hard/contest05/phnf/phnf-size10-exclusive-philo.used-as.sat04-988.sat05-4195.reshuffled-07.cnf,1,4.35,2.01,2.03,2.29,23.32,10.62,7.0,3.52,0.36,3.58
SAT_Competition2011/SAT05/crafted/sabharwal05/counting/php/unsat/harder/php-040-039.shuffled-as.sat05-1194.cnf,1,0.02,2.0,2.0,2.01,20.01,0.28,1.55,2.14,0.01,2.11
SAT_Competition2009/CRAFTED/sgen/unsat/sgen1-unsat-103-100.cnf,1,0.0,1.99,1.03,0.0,0.0,0.0,0.0,0.75,0.0,0.43
SAT_Competition2007/crafted/Hard/contest05/others/strips-gripper-12t22.sat05-1151.reshuffled-07.cnf,1,0.05,2.0,2.0,2.01,20.06,0.45,2.18,2.14,0.01,2.1
SAT_Competition2009/CRAFTED/sgen/sat/sgen1-sat-260-100.cnf,1,0.0,2.0,1.95,0.0,0.0,0.0,0.01,2.75,0.0,1.8
SAT_Competition2009/CRAFTED/edgematching/all/em_7_3_6_all.cnf,1,0.0,2.0,2.0,1.12,6.68,0.07,0.21,2.18,0.01,2.11
SAT_Competition2009/CRAFTED/Hard/contest05/phnf/phnf-size10-exclusive-equilarge_m3.used-as.sat04-900.sat05-4186.reshuffled-07.cnf,1,1.37,2.0,2.29,2.12,20.07,10.49,6.16,3.0,0.22,2.99
SAT_Competition2011/SAT02/handmade/pehoushek/plainoldcnf/5cnf_4300_4300_170.shuffled.cnf,1,0.0,2.0,2.0,0.03,5.88,0.0,0.05,2.12,0.0,2.07
SAT_Competition2007/crafted/Difficult/contest05/others/pmg-12-UNSAT.sat05-3940.reshuffled-07.cnf,1,0.0,1.99,0.51,0.0,0.0,0.0,0.01,2.34,0.0,1.43
SAT_Competition2009/CRAFTED/modcircuits/mod3block_4vars_11gates_b2.cnf,1,0.13,2.01,2.02,2.01,20.15,29.55,3.01,2.44,0.08,2.45
SAT_Competition2007/crafted/Hard/contest05/QG/QG7-gensys-icl100.sat05-3226.reshuffled-07.cnf,1,0.01,2.0,2.0,1.13,20.02,0.05,0.39,2.25,0.0,2.1
SAT_Competition2007/crafted/spence/hard/s109-100.cnf,1,0.0,1.99,1.04,0.0,0.0,0.0,0.0,0.76,0.0,0.46
SAT_Competition2011/SAT11/crafted/skvortsov/automata-synchronization/crn_20_360_u.cnf,1,0.04,1.99,2.0,2.01,1.62,0.12,0.21,2.5,0.0,2.14
SAT_Competition2011/SAT05/crafted/sorge05/QG7a/gensys-ukn006.shuffled-as.sat05-3846.cnf,1,0.03,2.0,2.0,2.01,20.02,0.13,0.88,2.34,0.01,2.12
SAT_Competition2011/SAT02/handmade/simon/satex-challenges/par32-3.shuffled.cnf,1,0.0,1.99,2.0,0.26,8.62,0.03,0.06,2.37,0.0,2.19
SAT_Competition2009/CRAFTED/modcircuits/mod3block_2vars_9gates_u2_autoenc.cnf,1,0.01,2.0,2.0,0.91,20.31,1.44,1.93,2.1,0.01,2.07
SAT_Competition2007/crafted/Medium/contest05/jarvisalo/mod2c-rand3bip-sat-190-3.sat05-2445.reshuffled-07.cnf,1,0.0,2.0,2.0,0.03,0.2,0.0,0.07,2.37,0.0,2.17
SAT_Competition2011/SAT03/handmade/stanion/hwb/hwb-n32-02-S1478512323.shuffled-as.sat03-1638.cnf,1,0.0,1.99,2.0,0.0,0.07,0.0,0.02,1.99,0.0,1.56
SAT_Competition2009/CRAFTED/rbsat/random/forced/rbsat-v945c61409gyes4.cnf,1,0.02,1.99,2.0,2.01,20.17,0.29,1.93,2.1,0.01,2.12
SAT_Competition2011/SAT11/crafted/spence/sgen/sgen3-n300-s12830984-sat.cnf,1,0.0,1.99,2.0,0.01,0.0,0.0,0.0,2.58,0.0,2.21
SAT_Competition2011/SAT11/crafted/anton/SRHD-SGI/srhd-sgi-m37-q505.75-n35-p30-s59841049.cnf,1,0.04,2.01,2.0,2.01,20.01,0.7,2.33,2.12,0.03,2.11
SAT_Competition2011/SAT11/crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/VanDerWaerden_pd_2-3-23_507.cnf,1,0.01,2.0,2.0,0.41,20.03,0.06,1.42,2.09,0.01,2.06
SAT_Competition2011/SAT11/crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/VanDerWaerden_pd_2-3-22_464.cnf,1,0.01,2.0,2.0,0.33,20.03,0.05,1.26,2.08,0.0,2.08
SAT_Competition2007/crafted/spence/medium/s73-100.cnf,1,0.0,2.0,0.72,0.0,0.0,0.0,0.0,0.45,0.0,0.27
SAT_Competition2009/CRAFTED/edgematching/compact/em_11_3_4_cmp.cnf,1,0.23,2.01,2.0,2.01,20.01,0.5,1.35,2.37,0.02,2.16
SAT_Competition2009/CRAFTED/sgi/sgi-difficult7.cnf,1,0.0,0.05,2.0,0.68,20.21,0.06,0.79,2.11,0.01,2.08
SAT_Competition2011/SAT09/CRAFTED/rbsat/random/unforced/rbsat-v2100c215164g4.cnf,1,0.09,2.0,2.02,2.01,20.02,1.43,2.58,2.2,0.06,2.2
SAT_Competition2009/CRAFTED/Hard/contest05/others/sgp_9-8-8.sat05-2674.reshuffled-07.cnf,1,17.71,2.0,3.5,2.26,20.14,14.44,9.03,4.25,0.62,4.16
SAT_Competition2011/SAT09/CRAFTED/edgematching/compact/em_7_3_6_cmp.cnf,1,0.0,1.99,2.0,0.58,2.92,0.02,0.2,2.39,0.01,2.19
SAT_Competition2011/SAT11/crafted/anton/SRHD-SGI/srhd-sgi-m32-q369.75-n30-p15-s59317012.cnf,1,0.02,2.01,2.0,2.01,20.61,0.35,2.15,2.1,0.01,2.09
SAT_Competition2011/SAT09/CRAFTED/rbsat/crafted/forced/rbsat-v2640c305320gyes3.cnf,1,0.12,2.01,2.04,2.02,21.94,1.97,2.77,2.27,0.05,2.28
SAT_Competition2009/CRAFTED/sgen/unsat/sgen1-unsat-85-100.cnf,1,0.0,2.0,0.91,0.0,0.0,0.0,0.0,0.53,0.0,0.32
SAT_Competition2007/crafted/Hard/contest05/counting-php/easier-fphp-035-029.sat05-1221.reshuffled-07.cnf,1,0.01,2.01,2.0,1.48,20.02,0.13,0.82,2.12,0.0,2.1
SAT_Competition2011/SAT11/crafted/skvortsov/battleship/battleship-6-9-unsat.cnf,1,0.0,1.52,0.65,0.0,0.0,0.0,0.0,0.45,0.0,0.26
SAT_Competition2009/CRAFTED/edgematching/fbcolors/em_11_3_4_fbc.cnf,1,0.21,2.0,2.01,2.01,20.01,0.56,1.94,2.19,0.02,2.12
SAT_Competition2011/SAT11/crafted/spence/sgen/sgen3-n120-s12930489-sat.cnf,1,0.0,1.99,0.95,0.0,0.0,0.0,0.0,1.0,0.0,0.62
SAT_Competition2009/CRAFTED/edgematching/fbcolors/em_12_2_4_fbc.cnf,1,0.43,2.01,2.0,2.01,20.17,1.05,2.43,2.29,0.04,2.19
SAT_Competition2011/SAT11/crafted/mosoi/289/289-sat-7x6.cnf,1,0.0,0.01,2.0,0.01,1.6,0.0,0.03,0.96,0.0,1.08
SAT_Competition2007/crafted/Hard/contest04/connamacher/connm-ue-csp-sat-n1200-d0.00-s1875077647.sat05-530.reshuffled-07.cnf,1,0.0,2.0,2.0,0.55,4.81,0.08,0.11,2.21,0.01,2.12
SAT_Competition2011/SAT11/crafted/spence/sgen/sgen3-n140-s18527668-sat.cnf,1,0.0,2.0,1.1,0.0,0.0,0.0,0.0,1.29,0.0,0.76
SAT_Competition2009/CRAFTED/rbsat/crafted/unforced/rbsat-v2400c266431g5.cnf,1,0.1,2.0,2.01,2.01,20.03,1.67,3.29,2.26,0.04,2.23
SAT_Competition2011/SAT09/CRAFTED/rbsat/random/unforced/rbsat-v760c43649g5.cnf,1,0.01,2.0,2.0,1.31,20.01,0.13,1.25,2.07,0.0,2.06
SAT_Competition2007/crafted/Medium/contest05/sabharwal/unsat-logistics-rotate-09t5.sat05-1139.reshuffled-07.cnf,1,0.06,2.0,2.01,2.01,20.01,0.7,1.36,2.16,0.03,2.16
SAT_Competition2007/crafted/Medium/contest05/jarvisalo/mod2-rand3bip-sat-240-3.sat05-2205.reshuffled-07.cnf,1,0.0,1.99,2.0,0.01,0.01,0.0,0.0,2.39,0.0,2.1
SAT_Competition2011/SAT11/crafted/anton/SRHD-SGI/srhd-sgi-m27-q255-n25-p30-s39712998.cnf,1,0.01,2.0,2.0,1.05,21.25,0.12,1.11,2.1,0.01,2.07
SAT_Competition2011/SAT11/crafted/anton/SRHD-SGI/srhd-sgi-m52-q1041.25-n50-p15-s99099953.cnf,1,0.18,2.0,2.02,2.03,20.03,2.72,4.69,2.37,0.06,2.37
SAT_Competition2011/SAT11/crafted/mosoi/289/289-unsat-21x14.cnf,1,0.03,2.01,2.0,2.01,20.27,1.14,2.42,2.13,0.02,2.11
SAT_Competition2009/CRAFTED/ramseycube/Q3inK10.cnf,1,0.07,0.33,2.01,0.47,152.81,0.38,2.62,2.17,0.01,2.17
SAT_Competition2007/crafted/Hard/contest03/looksrandom/hgen7-n390-01-S248216171.sat05-478.reshuffled-07.cnf,1,0.0,1.99,2.0,0.03,0.02,0.0,0.01,2.62,0.0,2.28
SAT_Competition2007/crafted/Hard/contest04/others/Composite-048BitPrimes-0.sat05-503.reshuffled-07.cnf,1,0.05,2.0,2.0,2.01,20.01,0.1,1.13,2.23,0.01,2.11
SAT_Competition2009/CRAFTED/Hard/contest05/counting-clq/unsat-set-a-clqcolor-16-10-11.sat05-1253.reshuffled-07.cnf,1,0.01,2.0,2.0,0.34,20.19,0.07,0.89,2.14,0.0,2.06
SAT_Competition2011/SAT05/crafted/sorge05/QG7a/gensys-brn002.shuffled-as.sat05-3935.cnf,1,0.02,2.01,2.0,2.01,20.01,0.07,0.63,2.36,0.0,2.11
SAT_Competition2007/crafted/Difficult/contest05/sabharwal/gt-ordering-sat-gt-040.sat05-1297.reshuffled-07.cnf,1,0.02,2.0,2.0,2.01,20.02,0.08,0.33,2.13,0.01,2.08
SAT_Competition2011/SAT09/CRAFTED/rbsat/random/unforced/rbsat-v945c61409g7.cnf,1,0.02,2.0,2.0,1.95,20.26,0.29,1.93,2.09,0.0,2.08
SAT_Competition2009/CRAFTED/Hard/contest05/counting-clq/unsat-set-b-fclqcolor-10-07-09.sat05-1282.reshuffled-07.cnf,1,0.0,1.99,2.0,0.05,20.03,0.01,0.09,2.15,0.0,2.08
SAT_Competition2011/SAT11/crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/VanDerWaerden_pd_2-3-24_567.cnf,1,0.02,2.01,2.0,0.52,20.01,0.11,1.85,2.07,0.01,2.07
SAT_Competition2009/CRAFTED/rbsat/crafted/unforced/rbsat-v1375c111739g6.cnf,1,0.04,2.0,2.0,2.01,20.02,0.53,2.29,2.12,0.01,2.12
SAT_Competition2007/crafted/Difficult/contest05/jarvisalo/mod2-rand3bip-sat-270-2.sat05-2249.reshuffled-07.cnf,1,0.0,1.99,2.0,0.01,0.01,0.0,0.01,2.22,0.0,2.17
SAT_Competition2007/crafted/Hard/contest05/QG/QG7-dead-dnd005.sat05-3111.reshuffled-07.cnf,1,0.0,1.99,2.0,0.15,7.14,0.02,0.27,2.28,0.0,2.17
SAT_Competition2011/SAT11/crafted/anton/SRHD-SGI/srhd-sgi-m32-q369.75-n30-p30-s25693430.cnf,1,0.02,2.01,2.0,2.01,20.01,0.28,2.31,2.11,0.01,2.1
SAT_Competition2007/crafted/Difficult/contest05/others/sgp_6-6-10.sat05-2670.reshuffled-07.cnf,1,6.83,2.01,2.39,2.22,20.69,10.4,6.69,3.07,0.37,3.04
SAT_Competition2007/crafted/Hard/contest05/counting-php/harder-fphp-016-015.sat05-1230.reshuffled-07.cnf,1,0.0,2.01,2.0,0.03,1.0,0.0,0.06,2.24,0.0,2.17
SAT_Competition2011/SAT09/CRAFTED/edgematching/compact/em_11_3_4_cmp.cnf,1,0.22,2.01,2.0,2.01,20.02,0.47,1.31,2.36,0.01,2.14
SAT_Competition2011/SAT11/crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/VanDerWaerden_pd_2-3-20_381.cnf,1,0.01,2.0,2.0,0.16,20.02,0.03,0.66,2.07,0.0,2.04
SAT_Competition2007/crafted/Difficult/contest-02-03-04/contest03-SGI_30_50_30_20_3-dir.sat05-440.reshuffled-07.cnf,1,0.03,2.0,2.0,2.01,20.01,0.46,2.31,2.09,0.01,2.08
SAT_Competition2007/crafted/Hard/contest03/looksrandom/hgen6-4-24-n650-03-S528656311.sat05-477.reshuffled-07.cnf,1,0.0,2.0,2.0,0.07,0.04,0.0,0.02,2.29,0.0,2.15
SAT_Competition2011/SAT09/CRAFTED/rbsat/random/unforced/rbsat-v1375c111739g6.cnf,1,0.04,1.99,2.0,2.01,20.01,0.52,2.32,2.12,0.02,2.11
SAT_Competition2011/SAT11/crafted/kullmann/VanDerWaerden/VanderWaerden3k/VanDerWaerden_2-3-17_279.cnf,1,0.01,2.0,2.0,0.28,20.03,0.03,0.68,2.09,0.0,2.08
SAT_Competition2007/crafted/Hard/contest05/QG/QG7a-gensys-ukn002.sat05-3842.reshuffled-07.cnf,1,0.03,2.01,2.0,2.01,20.01,0.08,1.28,2.47,0.0,2.11
SAT_Competition2011/SAT05/crafted/jarvisalo05/mod2c-rand3bip-sat/mod2c-rand3bip-sat-240-2.shuffled-as.sat05-2519.cnf,1,0.0,1.99,2.0,0.04,0.22,0.0,0.08,2.18,0.0,2.09
SAT_Competition2011/SAT09/CRAFTED/rbsat/crafted/forced/rbsat-v945c61409gyes10.cnf,1,0.01,2.01,2.0,2.01,20.2,0.21,2.05,2.08,0.01,2.09
SAT_Competition2011/SAT11/crafted/spence/sgen/sgen3-n160-s40283905-sat.cnf,1,0.0,2.0,1.31,0.0,0.0,0.0,0.0,1.51,0.0,0.91
SAT_Competition2009/CRAFTED/sgi/new-difficult-21-168-19-90.cnf,1,0.0,2.01,2.0,0.21,20.24,0.03,0.29,2.07,0.0,2.06
SAT_Competition2007/crafted/Difficult/contest05/jarvisalo/mod2-rand3bip-sat-280-1.sat05-2263.reshuffled-07.cnf,1,0.0,1.99,2.0,0.01,0.01,0.0,0.01,2.47,0.0,2.25
SAT_Competition2009/CRAFTED/Hard/contest05/others/mod2c-rand3bip-sat-220-2.sat05-2489.reshuffled-07.cnf,1,0.0,1.99,2.0,0.04,0.22,0.0,0.07,2.3,0.0,2.18
SAT_Competition2007/crafted/Hard/contest04/others/equilarge_l3.sat05-520.reshuffled-07.cnf,1,0.03,2.0,2.0,2.01,20.01,0.08,0.21,2.39,0.0,2.11
SAT_Competition2009/CRAFTED/Hard/contest02/hgen3-v400-s553296708.sat05-471.reshuffled-07.cnf,1,0.0,2.0,2.0,0.03,0.01,0.0,0.01,2.52,0.0,2.23
SAT_Competition2011/SAT03/handmade/stanion/hwb/hwb-n28-02-S818962541.shuffled-as.sat03-1628.cnf,1,0.0,1.99,2.0,0.0,0.07,0.0,0.01,1.6,0.0,1.18
SAT_Competition2007/crafted/Medium/contest05/others/QG7a-gensys-ukn001.sat05-3841.reshuffled-07.cnf,1,0.02,2.0,2.0,2.01,20.01,0.08,1.19,2.57,0.01,2.14
SAT_Competition2009/CRAFTED/Difficult/contest05/jarvisalo/mod2c-3cage-unsat-10-3.sat05-2568.reshuffled-07.cnf,1,0.0,1.99,1.19,0.0,0.01,0.0,0.01,1.27,0.0,0.74
SAT_Competition2011/SAT09/CRAFTED/modcircuits/mod4block_2vars_8gates_u2.cnf,1,0.01,2.01,2.0,0.46,21.07,0.8,1.38,2.09,0.01,2.05
SAT_Competition2009/CRAFTED/parity-games/instance_n7_i8_pp_ci_ce.cnf,1,0.31,2.01,2.0,2.01,20.02,0.52,2.4,2.23,0.04,2.15
SAT_Competition2007/crafted/Hard/contest02/pyhala-braun-unsat-40-4-02.sat05-459.reshuffled-07.cnf,1,0.03,2.0,2.0,2.01,0.53,0.15,0.11,2.42,0.0,2.11
SAT_Competition2011/SAT11/crafted/anton/SRHD-SGI/srhd-sgi-m37-q446.25-n35-p15-s25120921.cnf,1,0.03,2.0,2.01,2.01,21.84,0.5,2.38,2.12,0.02,2.11
SAT_Competition2009/CRAFTED/parity-games/instance_n6_i7_pp.cnf,1,0.09,2.0,2.0,2.01,20.01,0.21,1.29,2.28,0.01,2.13
SAT_Competition2011/SAT11/crafted/skvortsov/battleship/battleship-7-13-sat.cnf,1,0.0,0.0,1.23,0.0,0.01,0.0,0.0,0.63,0.0,0.52
SAT_Competition2009/CRAFTED/Hard/contest04/others/Composite-096BitPrimes-0.sat05-507.reshuffled-07.cnf,1,0.94,2.01,2.0,2.05,20.03,0.61,2.77,2.33,0.03,2.22
SAT_Competition2009/CRAFTED/Difficult/contest05/jarvisalo/mod2c-rand3bip-sat-210-3.sat05-2475.reshuffled-07.cnf,1,0.0,2.0,2.0,0.03,0.25,0.0,0.08,2.32,0.0,2.14
SAT_Competition2011/SAT03/handmade/anton/UNSAT/SGI_30_70_27_50_3-dir.shuffled-as.sat03-169.cnf,1,0.02,2.01,2.0,2.01,20.01,0.37,1.89,2.09,0.02,2.07
SAT_Competition2007/crafted/spence/medium/s85-100.cnf,1,0.0,2.0,0.9,0.0,0.0,0.0,0.0,0.55,0.0,0.32
SAT_Competition2007/crafted/Hard/contest04/connamacher/connm-ue-csp-sat-n800-d-0.02-s1542454144.sat05-533.reshuffled-07.cnf,1,0.0,2.0,2.0,0.23,2.79,0.05,0.07,2.12,0.0,2.1
SAT_Competition2009/CRAFTED/Medium/contest05/others/QG7a-gensys-ukn005.sat05-3845.reshuffled-07.cnf,1,0.02,2.01,2.0,2.01,20.01,0.08,1.2,2.42,0.01,2.12
SAT_Competition2009/CRAFTED/Difficult/contest05/QG/QG6-gensys-icl008.sat05-2720.reshuffled-07.cnf,1,0.01,1.99,2.0,0.85,20.34,0.05,0.47,2.49,0.0,2.16
SAT_Competition2011/SAT09/CRAFTED/edgematching/compact/em_12_2_4_cmp.cnf,1,0.43,2.0,2.0,2.01,20.02,0.86,2.24,2.29,0.03,2.16
SAT_Competition2011/SAT11/crafted/skvortsov/automata-synchronization/rnd_150_29_u.cnf,1,0.01,2.0,2.0,0.79,20.05,0.11,0.14,2.44,0.0,2.17
SAT_Competition2011/SAT04/handmade/kexu/frb-0.6/frb80-14-2.used-as.sat04-880.cnf,1,0.01,1.99,2.0,1.59,20.03,0.15,0.88,2.09,0.02,2.08
SAT_Competition2011/SAT09/CRAFTED/rbsat/random/forced/rbsat-v945c61409gyes5.cnf,1,0.02,2.0,2.0,1.89,20.55,0.21,1.94,2.1,0.0,2.1
SAT_Competition2009/CRAFTED/Hard/contest04/connamacher/connm-ue-csp-sat-n800-d0.02-s925928766.sat05-538.reshuffled-07.cnf,1,0.0,2.0,2.0,0.18,3.11,0.07,0.07,2.13,0.01,2.07
SAT_Competition2007/crafted/Hard/contest05/counting-php/harder-fphp-050-049.sat05-1238.reshuffled-07.cnf,1,0.05,2.0,2.0,2.01,20.01,1.18,2.61,2.15,0.02,2.13
SAT_Competition2007/crafted/Hard/contest05/QG/QG7a-gensys-icl004.sat05-3825.reshuffled-07.cnf,1,0.02,1.99,2.0,2.01,20.01,0.08,0.67,2.44,0.0,2.13
SAT_Competition2009/CRAFTED/sgi/satsgi-n19himBHm22-p0-q181.cnf,1,0.0,0.01,2.0,0.1,6.53,0.01,0.21,2.14,0.0,2.11
SAT_Competition2009/CRAFTED/parity-games/instance_n2_i2_pp.cnf,1,?,?,?,?,?,0.0,?,?,?,?
SAT_Competition2007/crafted/Medium/contest05/pebbling/sat-grid-pbl-0200.sat05-1339.reshuffled-07.cnf,1,0.0,?,?,?,0.0,0.3,?,?,0.0,?
SAT_Competition2007/crafted/Difficult/contest05/sabharwal/counting-easier-fphp-014-012.sat05-1215.reshuffled-07.cnf,1,0.0,2.0,2.0,0.01,0.31,0.0,0.03,2.3,0.0,2.14
SAT_Competition2009/CRAFTED/sgi/new-difficult-24-193-22-70.cnf,1,0.0,2.02,2.0,0.44,20.01,0.08,0.78,2.08,0.01,2.06
SAT_Competition2011/SAT09/CRAFTED/rbsat/crafted/forced/rbsat-v760c43649gyes6.cnf,1,0.01,2.0,2.0,1.09,20.06,0.15,1.31,2.09,0.0,2.08
SAT_Competition2011/SAT03/handmade/anton/UNSAT/SGI_30_70_15_90_1-log.shuffled-as.sat03-137.cnf,1,0.01,1.99,2.0,0.15,21.52,0.11,0.72,2.06,0.0,2.07
SAT_Competition2007/crafted/Difficult/contest05/jarvisalo/mod2c-rand3bip-unsat-135-2.sat05-2354.reshuffled-07.cnf,1,0.0,2.0,1.5,0.01,0.01,0.0,0.0,1.76,0.0,1.06
SAT_Competition2009/CRAFTED/edgematching/all/em_11_3_4_all.cnf,1,0.24,2.02,2.13,2.01,21.0,2.88,2.6,2.3,0.1,2.28
SAT_Competition2007/crafted/Hard/contest05/others/mod2c-rand3bip-sat-220-1.sat05-2488.reshuffled-07.cnf,1,0.0,1.99,2.0,0.03,0.23,0.0,0.08,2.26,0.0,2.15
SAT_Competition2011/SAT09/CRAFTED/rbsat/crafted/forced/rbsat-v2640c305320gyes10.cnf,1,0.12,2.0,2.0,2.03,21.27,1.99,2.8,2.29,0.07,2.29
SAT_Competition2009/CRAFTED/Medium/contest05/jarvisalo/mod2c-rand3bip-sat-190-3.sat05-2445.reshuffled-07.cnf,1,0.0,2.0,2.0,0.03,0.2,0.0,0.07,2.34,0.0,2.18
SAT_Competition2007/crafted/Hard/contest03/others/hwb-n28-01-S136611085.sat05-491.reshuffled-07.cnf,1,0.0,2.0,2.0,0.01,0.05,0.0,0.01,1.58,0.0,1.16
SAT_Competition2009/CRAFTED/modcircuits/mod3block_3vars_9gates_restr.cnf,1,0.0,0.52,2.0,0.23,20.01,0.17,0.28,2.09,0.0,2.05
SAT_Competition2011/SAT05/crafted/sorge05/QG7/iso-ukn004.shuffled-as.sat05-3385.cnf,1,0.0,0.01,2.0,0.1,0.42,0.03,0.04,2.57,0.0,2.26
SAT_Competition2009/CRAFTED/rbsat/random/unforced/rbsat-v1150c84314g2.cnf,1,0.02,2.0,2.0,2.01,20.01,0.33,2.17,2.09,0.01,2.09
SAT_Competition2007/crafted/Hard/contest03/looksrandom/hgen8-n320-01-S1432474240.sat05-483.reshuffled-07.cnf,1,0.0,1.99,2.0,0.0,0.0,0.0,0.01,1.46,0.0,1.04
SAT_Competition2011/SAT11/crafted/mosoi/289/289-unsat-13x32.cnf,1,0.07,2.0,2.03,2.01,20.51,3.43,2.49,2.24,0.02,2.22
SAT_Competition2009/CRAFTED/Difficult/contest-02-03-04/contest03-SGI_30_50_30_20_3-dir.sat05-440.reshuffled-07.cnf,1,0.03,2.0,2.0,2.01,20.01,0.48,2.12,2.1,0.01,2.08
SAT_Competition2007/crafted/spence/medium/s81-100.cnf,1,0.0,1.99,0.84,0.0,0.0,0.0,0.0,0.52,0.0,0.31
SAT_Competition2009/CRAFTED/rbsat/random/unforced/rbsat-v945c61409g10.cnf,1,0.02,2.01,2.0,1.92,20.25,0.22,1.95,2.13,0.0,2.09
SAT_Competition2009/CRAFTED/Hard/contest02/ezfact64_3.sat05-450.reshuffled-07.cnf,1,0.03,2.0,2.0,2.01,1.69,0.03,0.21,2.28,0.0,2.11
SAT_Competition2007/crafted/Hard/contest03/looksrandom/hgen8-n260-03-S722413478.sat05-482.reshuffled-07.cnf,1,0.0,2.0,1.57,0.0,0.0,0.0,0.01,1.12,0.0,0.75
SAT_Competition2009/CRAFTED/sgen/sat/sgen1-sat-180-100.cnf,1,0.0,2.0,1.32,0.0,0.0,0.0,0.0,1.69,0.0,1.03
SAT_Competition2007/crafted/Medium/contest05/jarvisalo/mod2-rand3bip-sat-250-3.sat05-2220.reshuffled-07.cnf,1,0.0,1.99,2.0,0.02,0.01,0.0,0.0,2.47,0.0,2.15
SAT_Competition2009/CRAFTED/edgematching/compact/em_12_2_4_cmp.cnf,1,0.43,2.01,2.0,2.01,20.01,0.85,2.19,2.24,0.02,2.16
SAT_Competition2011/SAT05/crafted/sorge05/QG6/dead-dnd002.shuffled-as.sat05-2713.cnf,1,0.01,2.0,2.0,0.57,20.66,0.04,0.54,2.4,0.0,2.15
SAT_Competition2011/SAT05/crafted/jarvisalo05/mod2-rand3bip-sat/mod2-rand3bip-sat-270-1.shuffled-as.sat05-2248.cnf,1,0.0,1.99,2.0,0.01,0.01,0.0,0.01,2.47,0.0,2.31
SAT_Competition2011/SAT09/CRAFTED/rbsat/crafted/forced/rbsat-v760c43649gyes8.cnf,1,0.01,2.0,2.0,1.19,20.05,0.16,1.27,2.09,0.0,2.08
SAT_Competition2011/SAT11/crafted/skvortsov/battleship/battleship-10-17-sat.cnf,1,0.0,1.99,2.0,0.0,0.08,0.0,0.02,2.16,0.0,1.44
SAT_Competition2009/CRAFTED/Medium/contest05/jarvisalo/mod2-3cage-unsat-9-12.sat05-2587.reshuffled-07.cnf,1,0.0,1.99,1.25,0.0,0.0,0.0,0.0,0.4,0.0,0.27
SAT_Competition2007/crafted/Medium/contest05/sabharwal/gt-ordering-unsat-gt-025.sat05-1306.reshuffled-07.cnf,1,0.0,2.0,2.0,0.35,5.06,0.01,0.11,2.14,0.01,2.09
SAT_Competition2011/SAT11/crafted/skvortsov/battleship/battleship-7-12-unsat.cnf,1,0.0,1.99,1.18,0.01,0.0,0.0,0.0,0.79,0.0,0.47
SAT_Competition2011/SAT11/crafted/mosoi/289/289-sat-12x14.cnf,1,0.01,0.45,2.0,0.68,20.03,0.26,0.82,2.07,0.0,2.07
SAT_Competition2011/SAT09/CRAFTED/parity-games/instance_n8_i8_pp_ci_ce.cnf,1,0.62,2.0,2.01,2.03,20.04,0.89,2.64,2.3,0.05,2.3
SAT_Competition2009/CRAFTED/parity-games/instance_n4_i4_pp_ci_ce.cnf,1,0.01,0.02,2.0,0.4,1.12,0.02,0.1,2.3,0.0,2.15
SAT_Competition2007/crafted/Hard/contest05/counting-clq/unsat-set-a-clqcolor-12-07-08.sat05-1251.reshuffled-07.cnf,1,0.0,2.0,2.0,0.05,20.01,0.01,0.15,2.23,0.0,2.11
SAT_Competition2007/crafted/Medium/contest05/pebbling/unsat-pbl-00090.sat05-1326.reshuffled-07.cnf,1,0.0,1.89,2.0,0.16,20.34,0.14,0.74,2.12,0.01,2.05
SAT_Competition2009/CRAFTED/Hard/contest03/others/color-18-4.sat05-443.reshuffled-07.cnf,1,0.04,2.0,2.01,2.01,20.1,3.29,2.13,2.14,0.03,2.14
SAT_Competition2011/SAT11/crafted/skvortsov/automata-synchronization/crn_40_1521_s.cnf,1,2.48,1.99,2.01,2.01,20.01,0.78,1.83,2.21,0.02,2.17
SAT_Competition2011/SAT11/crafted/kullmann/GreenTao/GreenTaok1k2/GreenTao_2-5-5_34309.cnf,1,3.63,2.0,2.45,2.07,20.04,2.08,5.55,2.93,0.15,2.91
SAT_Competition2011/SAT11/crafted/spence/sgen/sgen3-n160-s73223945-unsat.cnf,1,0.0,2.0,1.75,0.0,0.0,0.0,0.0,1.13,0.0,0.71
SAT_Competition2007/crafted/Medium/contest05/others/QG8-gensys-ukn005.sat05-3584.reshuffled-07.cnf,1,0.03,2.0,2.0,2.01,22.13,0.31,1.37,2.12,0.01,2.1
SAT_Competition2009/CRAFTED/rbsat/crafted/unforced/rbsat-v1375c111739g2.cnf,1,0.04,1.99,2.0,2.01,20.01,0.54,2.4,2.12,0.03,2.11
SAT_Competition2009/CRAFTED/rbsat/crafted/forced/rbsat-v760c43649gyes1.cnf,1,0.01,2.0,2.0,1.14,20.13,0.14,1.25,2.07,0.01,2.06
SAT_Competition2011/SAT11/crafted/skvortsov/battleship/battleship-13-13-unsat.cnf,1,0.0,2.0,2.0,0.0,0.14,0.0,0.02,2.31,0.0,1.77
SAT_Competition2009/CRAFTED/modcircuits/mod4block_2vars_8gates_u2_autoenc.cnf,1,0.01,2.01,2.0,0.64,20.59,0.95,1.42,2.09,0.01,2.08
SAT_Competition2007/crafted/Hard/contest04/others/CompositeRSA576.sat05-509.reshuffled-07.cnf,1,68.3,2.02,2.07,2.47,20.47,7.33,11.02,4.84,0.64,4.8
SAT_Competition2011/SAT11/crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/VanDerWaerden_pd_2-3-21_406.cnf,1,0.0,2.0,2.0,0.19,20.02,0.03,0.92,2.06,0.01,2.06
SAT_Competition2009/CRAFTED/sgi/new-difficult-22-173-20-80.cnf,1,0.01,2.0,2.0,0.28,20.3,0.04,0.4,2.14,0.0,2.1
SAT_Competition2007/crafted/Hard/contest05/counting-clq/unsat-set-a-fclqcolor-20-13-14.sat05-1278.reshuffled-07.cnf,1,0.02,2.0,2.0,2.01,20.01,0.31,1.65,2.1,0.0,2.09
SAT_Competition2009/CRAFTED/Hard/contest04/others/equilarge_l3.sat05-520.reshuffled-07.cnf,1,0.03,1.99,2.0,2.01,20.02,0.09,0.23,2.49,0.0,2.14
SAT_Competition2009/CRAFTED/parity-games/instance_n5_i6_pp_ci_ce.cnf,1,0.03,2.01,2.0,2.01,14.32,0.09,0.44,2.32,0.0,2.12
SAT_Competition2011/SAT11/crafted/skvortsov/battleship/battleship-15-15-unsat.cnf,1,0.0,1.99,2.0,0.02,0.32,0.0,0.04,2.42,0.0,2.27
SAT_Competition2011/SAT11/crafted/anton/SRHD-SGI/srhd-sgi-m47-q742.5-n45-p30-s17570390.cnf,1,0.13,1.99,2.04,2.01,20.03,2.17,3.75,2.3,0.06,2.31
SAT_Competition2011/SAT11/crafted/kullmann/VanDerWaerden/VanderWaerden3k/VanDerWaerden_2-3-14_186.cnf,1,0.01,2.0,2.0,0.07,20.01,0.01,0.24,2.12,0.0,2.09
SAT_Competition2007/crafted/Hard/contest05/others/linvrinv6.sat05-565.reshuffled-07.cnf,1,0.0,1.99,2.0,0.04,0.26,0.01,0.02,2.49,0.0,2.27
SAT_Competition2011/SAT11/crafted/skvortsov/automata-synchronization/crn_20_361_s.cnf,1,0.04,2.0,2.0,2.01,1.62,0.07,0.19,2.85,0.0,2.17
SAT_Competition2009/CRAFTED/Difficult/contest-02-03-04/contest02-ezfact64_10.sat05-449.reshuffled-07.cnf,1,0.02,2.01,2.0,2.01,2.03,0.03,0.25,2.36,0.01,2.13
SAT_Competition2011/SAT11/crafted/mosoi/289/289-sat-4x8.cnf,1,0.0,0.0,2.0,0.01,0.38,0.0,0.01,0.57,0.0,0.65
SAT_Competition2009/CRAFTED/edgematching/fbcolors/em_14_7_3_fbc.cnf,1,1.55,1.99,2.02,2.01,20.11,2.67,2.69,2.57,0.06,2.32
SAT_Competition2011/SAT11/crafted/anton/SRHD-SGI/srhd-sgi-m62-q1327.5-n60-p30-s52708253.cnf,1,0.51,2.01,2.34,2.09,20.09,11.48,8.07,2.88,0.19,2.91
SAT_Competition2009/CRAFTED/sgi/satsgi-n25himBHm29-p0-q290.cnf,1,0.01,0.02,2.0,0.37,20.02,0.05,0.64,2.11,0.0,2.1
SAT_Competition2011/SAT09/CRAFTED/rbsat/random/unforced/rbsat-v2400c266431g3.cnf,1,0.09,2.0,2.0,2.02,20.03,1.54,3.16,2.23,0.05,2.24
SAT_Competition2011/SAT11/crafted/skvortsov/automata-synchronization/crn_11_99_u.cnf,1,0.0,1.99,2.0,0.05,0.08,0.01,0.02,2.53,0.0,2.3
SAT_Competition2011/SAT11/crafted/kullmann/GreenTao/GreenTaok1k2/GreenTao_2-3-6_2071.cnf,1,0.04,2.01,2.0,2.01,20.16,1.67,2.31,2.16,0.01,2.14
SAT_Competition2009/CRAFTED/parity-games/instance_n5_i5_pp.cnf,1,0.01,0.52,2.0,2.01,9.12,0.07,0.38,2.18,0.01,2.08
SAT_Competition2011/SAT11/crafted/skvortsov/automata-synchronization/rnd_100_32_s.cnf,1,0.01,2.01,2.0,0.43,20.01,0.06,0.19,2.7,0.0,2.18
SAT_Competition2007/crafted/Hard/contest04/connamacher/connm-ue-csp-sat-n800-d0.02-s111845174.sat05-536.reshuffled-07.cnf,1,0.01,2.0,2.0,0.27,3.4,0.05,0.08,2.22,0.0,2.13
SAT_Competition2011/SAT09/CRAFTED/rbsat/random/unforced/rbsat-v760c43649g7.cnf,1,0.01,2.01,2.0,1.17,20.01,0.14,1.19,2.07,0.01,2.07
SAT_Competition2011/SAT05/crafted/sabharwal05/counting/php/unsat/easier/php-010-008.shuffled-as.sat05-1171.cnf,1,0.0,1.99,1.22,0.0,0.02,0.0,0.0,0.8,0.0,0.52
SAT_Competition2007/crafted/Hard/contest02/ezfact64_3.sat05-450.reshuffled-07.cnf,1,0.03,2.0,2.0,2.01,1.73,0.03,0.23,2.35,0.0,2.16
SAT_Competition2011/SAT11/crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/VanDerWaerden_pd_2-3-22_443.cnf,1,0.0,2.01,2.0,0.26,20.01,0.03,1.05,2.1,0.01,2.06
SAT_Competition2011/SAT11/crafted/mosoi/289/289-sat-9x13.cnf,1,0.0,0.43,2.0,0.26,20.01,0.08,0.39,2.07,0.0,2.04
SAT_Competition2009/CRAFTED/rbsat/random/unforced/rbsat-v760c43649g10.cnf,1,0.01,2.01,2.0,1.49,20.01,0.15,1.26,2.09,0.01,2.07
SAT_Competition2007/crafted/Difficult/contest05/QG/QG6-gensys-ukn003.sat05-2726.reshuffled-07.cnf,1,0.01,2.0,2.0,0.91,20.63,0.08,0.5,2.27,0.0,2.1
SAT_Competition2011/SAT11/crafted/kullmann/GreenTao/GreenTaok1k2/GreenTao_2-4-5_4232.cnf,1,0.07,2.0,2.0,2.01,20.01,0.21,1.56,2.3,0.01,2.14
SAT_Competition2009/CRAFTED/modcircuits/mod4block_2vars_9gates_u2_autoenc.cnf,1,0.02,2.01,2.0,1.14,20.4,1.5,2.19,2.1,0.01,2.1
SAT_Competition2009/CRAFTED/Hard/contest02/hgen3-v400-s344840348.sat05-470.reshuffled-07.cnf,1,0.0,1.99,2.0,0.02,0.01,0.0,0.01,2.73,0.0,2.31
SAT_Competition2007/crafted/Hard/contest05/counting-clq/unsat-set-b-clqcolor-16-11-14.sat05-1261.reshuffled-07.cnf,1,0.01,2.01,2.0,0.75,21.02,0.17,2.07,2.12,0.0,2.06
SAT_Competition2011/SAT11/crafted/skvortsov/battleship/battleship-10-10-unsat.cnf,1,0.0,1.99,1.64,0.0,0.03,0.0,0.01,1.22,0.0,0.82
SAT_Competition2007/crafted/Hard/contest03/others/bqwh.60.1080.sat05-436.reshuffled-07.cnf,1,0.11,2.0,2.0,2.01,0.72,0.19,0.29,2.14,0.01,2.09
SAT_Competition2009/CRAFTED/Difficult/contest05/jarvisalo/mod2-rand3bip-sat-280-2.sat05-2264.reshuffled-07.cnf,1,0.0,2.0,2.0,0.01,0.01,0.0,0.01,2.23,0.0,2.15
SAT_Competition2011/SAT04/handmade/anton/l4k4/lksat-n900-m6174-k4-l4-s819398222.used-as.sat04-929.cnf,1,0.0,2.0,2.0,0.18,0.75,0.0,0.07,2.34,0.0,2.15
SAT_Competition2009/CRAFTED/Hard/contest04/connamacher/connm-ue-csp-sat-n1200-d0.02-s1099787414.sat05-542.reshuffled-07.cnf,1,0.0,2.0,2.0,0.62,4.59,0.09,0.12,2.21,0.0,2.17
SAT_Competition2007/crafted/Hard/contest02/ezfact64_4.sat05-451.reshuffled-07.cnf,1,0.03,2.01,2.0,2.01,1.97,0.07,0.3,2.38,0.0,2.15
SAT_Competition2011/SAT11/crafted/skvortsov/battleship/battleship-16-31-sat.cnf,1,0.0,1.99,2.0,0.09,1.74,0.0,0.13,2.24,0.0,2.18
SAT_Competition2007/crafted/Hard/contest03/looksrandom/hidden-k3-s0-r5-n700-02-S350203913.sat05-486.reshuffled-07.cnf,1,0.0,2.0,2.0,0.1,0.07,0.0,0.03,2.77,0.0,2.25
SAT_Competition2011/SAT11/crafted/anton/SRHD-SGI/srhd-sgi-m37-q505.75-n35-p15-s48276711.cnf,1,0.04,2.0,2.01,2.01,20.18,0.62,2.54,2.13,0.03,2.11
SAT_Competition2011/SAT03/handmade/gomes/bqwh/bqwh.50.825.shuffled-as.sat03-1648.cnf,1,0.07,2.0,2.0,2.01,0.65,0.1,0.26,2.11,0.0,2.1
SAT_Competition2009/CRAFTED/modcircuits/mod4block_3vars_7gates.cnf,1,0.01,2.0,2.0,0.82,20.17,1.66,1.36,2.09,0.01,2.09
SAT_Competition2011/SAT11/crafted/kullmann/GreenTao/GreenTaok1k2/GreenTao_2-4-4_511.cnf,1,0.0,2.01,2.0,0.05,0.88,0.0,0.05,2.38,0.0,2.18
SAT_Competition2007/crafted/Hard/contest05/counting-php/easier-php-035-029.sat05-1179.reshuffled-07.cnf,1,0.01,2.01,2.0,1.06,20.03,0.13,0.82,2.14,0.0,2.1
SAT_Competition2009/CRAFTED/parity-games/instance_n3_i3_pp_ci_ce.cnf,1,0.0,0.01,2.0,0.03,0.08,0.0,0.02,2.54,0.0,2.31
SAT_Competition2011/SAT11/crafted/spence/sgen/sgen3-n200-s39840374-sat.cnf,1,0.0,1.99,1.67,0.0,0.0,0.0,0.0,1.98,0.0,1.25
SAT_Competition2009/CRAFTED/edgematching/compact/em_7_4_9_cmp.cnf,1,0.01,2.0,2.0,0.83,3.37,0.03,0.19,2.28,0.0,2.13
SAT_Competition2007/crafted/Hard/contest04/others/Composite-048BitPrimes-1.sat05-504.reshuffled-07.cnf,1,0.08,2.01,2.0,2.01,20.03,0.12,0.92,2.21,0.01,2.1
SAT_Competition2007/crafted/Hard/contest02/hgen3-v400-s344840348.sat05-470.reshuffled-07.cnf,1,0.0,1.99,2.0,0.03,0.01,0.0,0.01,2.87,0.0,2.36
SAT_Competition2011/SAT05/crafted/jarvisalo05/mod2c-rand3bip-sat/mod2c-rand3bip-sat-250-2.shuffled-as.sat05-2534.cnf,1,0.0,1.99,2.0,0.05,0.29,0.0,0.09,2.14,0.0,2.1
SAT_Competition2011/SAT11/crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/VanDerWaerden_pd_2-3-23_505.cnf,1,0.01,2.0,2.0,0.37,20.01,0.05,1.44,2.06,0.0,2.06
SAT_Competition2009/CRAFTED/Difficult/contest05/sabharwal/counting-harder-php-014-013.sat05-1187.reshuffled-07.cnf,1,0.0,1.99,2.0,0.0,0.25,0.0,0.02,2.2,0.0,1.69
SAT_Competition2011/SAT03/handmade/anton/UNSAT/SGI_30_70_19_80_8-log.shuffled-as.sat03-143.cnf,1,0.02,2.01,2.0,0.32,23.46,0.14,1.01,2.08,0.01,2.07
SAT_Competition2009/CRAFTED/Hard/contest02/hgen3-v500-s1349121860.sat05-473.reshuffled-07.cnf,1,0.0,2.0,2.0,0.03,0.02,0.0,0.02,2.61,0.0,2.34
SAT_Competition2011/SAT11/crafted/skvortsov/automata-synchronization/rnd_100_28_s.cnf,1,0.0,2.0,2.0,0.21,20.05,0.06,0.08,2.71,0.0,2.2
SAT_Competition2009/CRAFTED/Difficult/contest05/QG/QG6-gensys-icl009.sat05-2721.reshuffled-07.cnf,1,0.01,2.01,2.0,0.77,20.45,0.04,0.52,2.4,0.0,2.19
SAT_Competition2009/CRAFTED/Hard/contest05/others/linvrinv8.sat05-567.reshuffled-07.cnf,1,0.0,2.0,2.0,0.3,0.99,0.02,0.07,2.56,0.0,2.24
SAT_Competition2011/SAT05/crafted/sorge05/QG8/gensys-ukn007.shuffled-as.sat05-3586.cnf,1,0.01,0.14,2.0,1.45,20.06,0.16,0.71,2.09,0.01,2.09
SAT_Competition2007/crafted/Hard/contest04/connamacher/connm-ue-csp-sat-n800-d0.04-s1788334438.sat05-543.reshuffled-07.cnf,1,0.01,2.0,2.0,0.24,3.51,0.06,0.07,2.18,0.0,2.11
SAT_Competition2011/SAT09/CRAFTED/rbsat/crafted/forced/rbsat-v2400c266431gyes3.cnf,1,0.1,2.0,2.03,2.02,21.18,1.58,3.24,2.23,0.04,2.23
SAT_Competition2009/CRAFTED/edgematching/explicit/em_12_2_4_exp.cnf,1,0.47,2.0,2.0,2.02,21.91,5.59,3.04,2.47,0.09,2.47
SAT_Competition2009/CRAFTED/sgen/sat/sgen1-sat-220-100.cnf,1,0.0,2.0,1.65,0.0,0.0,0.0,0.0,2.22,0.0,1.4
SAT_Competition2011/SAT11/crafted/anton/SRHD-SGI/srhd-sgi-m52-q918.75-n50-p30-s52376212.cnf,1,0.17,2.01,2.09,2.02,22.16,3.08,2.98,2.42,0.09,2.42
SAT_Competition2009/CRAFTED/Hard/contest02/pyhala-braun-unsat-40-4-02.sat05-459.reshuffled-07.cnf,1,0.02,2.01,2.0,2.01,0.47,0.08,0.12,2.58,0.0,2.13
SAT_Competition2011/SAT11/crafted/anton/SRHD-SGI/srhd-sgi-m32-q326.25-n30-p15-s44266159.cnf,1,0.02,1.99,2.0,1.71,20.81,0.21,1.83,2.09,0.0,2.07
SAT_Competition2009/CRAFTED/sgen/unsat/sgen1-unsat-61-100.cnf,1,0.0,1.99,0.62,0.0,0.0,0.0,0.0,0.37,0.0,0.23
SAT_Competition2007/crafted/Hard/contest02/ezfact64_6.sat05-453.reshuffled-07.cnf,1,0.02,1.99,2.0,2.01,1.85,0.04,0.22,2.26,0.01,2.11
SAT_Competition2007/crafted/Hard/contest03/others/999999000001nw.sat05-447.reshuffled-07.cnf,1,0.04,2.0,2.0,2.01,1.42,0.07,0.13,2.49,0.0,2.12
SAT_Competition2009/CRAFTED/Hard/contest04/others/equilarge_l2.sat05-519.reshuffled-07.cnf,1,0.02,2.0,2.0,2.01,20.01,0.08,0.23,2.57,0.01,2.16
SAT_Competition2009/CRAFTED/Difficult/contest05/others/linvrinv5.sat05-564.reshuffled-07.cnf,1,0.0,2.0,2.0,0.01,0.11,0.0,0.01,2.37,0.0,2.21
SAT_Competition2009/CRAFTED/Hard/contest05/phnf/phnf-size10-exclusive-myciel6-cn.used-as.sat04-319.sat05-4201.reshuffled-07.cnf,1,1.72,2.01,2.19,2.37,20.07,11.23,7.11,3.03,0.26,3.05
SAT_Competition2011/SAT04/handmade/marijn/equilarge-l/equilarge_l4.used-as.sat04-896.cnf,1,0.03,2.0,2.0,1.68,20.01,0.11,0.25,2.42,0.0,2.13
SAT_Competition2007/crafted/Hard/contest04/others/ramsey.sat05-511.reshuffled-07.cnf,1,0.0,2.0,2.0,0.06,20.02,0.02,0.14,2.11,0.0,2.07
SAT_Competition2011/SAT05/crafted/sorge05/QG7/dead-dnd003.shuffled-as.sat05-3109.cnf,1,0.0,1.99,2.0,0.13,6.99,0.02,0.2,2.24,0.0,2.13
SAT_Competition2011/SAT05/crafted/lynce05/social-golfer-problem/sgp_5-6-8.shuffled-as.sat05-2669.cnf,1,1.1,2.01,2.01,2.08,20.27,3.89,3.44,2.39,0.12,2.32
SAT_Competition2011/SAT11/crafted/kullmann/GreenTao/GreenTaok1k2/GreenTao_2-3-5_528.cnf,1,0.01,1.99,2.0,0.09,20.01,0.04,0.14,2.19,0.0,2.13
SAT_Competition2011/SAT11/crafted/kullmann/VanDerWaerden/VanderWaerden3k/VanDerWaerden_2-3-20_388.cnf,1,0.02,2.0,2.0,0.72,20.03,0.06,1.55,2.08,0.01,2.06
SAT_Competition2009/CRAFTED/modcircuits/mod3block_4vars_12gates_b2.cnf,1,0.17,2.01,2.03,2.03,28.79,41.03,4.17,2.58,0.08,2.71
SAT_Competition2011/SAT11/crafted/anton/SRHD-SGI/srhd-sgi-m52-q1041.25-n50-p30-s30907550.cnf,1,0.2,2.0,2.13,2.04,32.65,3.24,3.05,2.39,0.09,2.39
SAT_Competition2011/SAT03/handmade/anton/UNSAT/SGI_30_70_15_90_1-dir.shuffled-as.sat03-136.cnf,1,0.01,1.99,2.0,0.51,20.01,0.17,0.87,2.1,0.0,2.07
SAT_Competition2009/CRAFTED/Difficult/contest05/sabharwal/gt-ordering-unsat-gt-060.sat05-1312.reshuffled-07.cnf,1,0.25,2.0,2.09,2.01,20.01,0.46,1.66,2.2,0.06,2.2
SAT_Competition2007/crafted/Hard/contest02/hgen3-v500-s1349121860.sat05-473.reshuffled-07.cnf,1,0.0,1.99,2.0,0.03,0.02,0.0,0.02,3.05,0.0,2.48
SAT_Competition2007/crafted/Hard/contest02/hgen3-v400-s553296708.sat05-471.reshuffled-07.cnf,1,0.0,1.99,2.0,0.02,0.01,0.0,0.01,2.9,0.0,2.47
SAT_Competition2007/crafted/Hard/contest05/counting-php/harder-fphp-018-017.sat05-1231.reshuffled-07.cnf,1,0.0,2.01,2.0,0.05,1.98,0.0,0.09,2.22,0.0,2.14
SAT_Competition2007/crafted/Medium/contest05/pebbling/unsat-pbl-00070.sat05-1324.reshuffled-07.cnf,1,0.0,1.71,2.0,0.11,20.35,0.04,0.4,2.14,0.0,2.06
SAT_Competition2007/crafted/Difficult/contest05/QG/QG7-gensys-icl006.sat05-3132.reshuffled-07.cnf,1,0.01,2.0,2.0,0.53,14.01,0.05,0.31,2.21,0.0,2.11
SAT_Competition2009/CRAFTED/Hard/contest04/others/equilarge_l4.sat05-521.reshuffled-07.cnf,1,0.02,2.0,2.0,2.01,20.01,0.09,0.23,2.49,0.01,2.15
SAT_Competition2007/crafted/Difficult/contest05/sabharwal/gt-ordering-unsat-gt-060.sat05-1312.reshuffled-07.cnf,1,0.14,2.0,2.06,2.04,20.02,0.37,1.19,2.18,0.03,2.17
SAT_Competition2011/SAT11/crafted/skvortsov/automata-synchronization/rnd_100_27_s.cnf,1,0.0,1.99,2.0,0.25,20.06,0.05,0.15,2.49,0.0,2.18
SAT_Competition2011/SAT03/handmade/anton/UNSAT/SGI_30_80_28_70_8-dir.shuffled-as.sat03-215.cnf,1,0.04,2.0,2.0,2.01,20.02,0.44,2.13,2.1,0.01,2.07
SAT_Competition2007/crafted/Hard/contest05/counting-php/harder-php-025-024.sat05-1191.reshuffled-07.cnf,1,0.01,2.0,2.0,0.19,9.13,0.02,0.25,2.15,0.0,2.13
SAT_Competition2007/crafted/Hard/contest05/QG/QG7a-gensys-icl009.sat05-3830.reshuffled-07.cnf,1,0.03,2.0,2.0,2.01,20.01,0.13,0.66,2.4,0.01,2.16
SAT_Competition2009/CRAFTED/Hard/contest05/counting-clq/unsat-set-b-clqcolor-16-11-14.sat05-1261.reshuffled-07.cnf,1,0.01,2.01,2.0,0.65,20.41,0.14,2.12,2.09,0.0,2.07
SAT_Competition2007/crafted/Hard/contest03/others/hwb-n26-03-S540351185.sat05-490.reshuffled-07.cnf,1,0.0,1.99,1.93,0.0,0.05,0.0,0.02,1.45,0.0,1.08
SAT_Competition2007/crafted/Hard/contest03/looksrandom/hgen8-n320-02-S1127428711.sat05-484.reshuffled-07.cnf,1,0.0,1.99,1.97,0.0,0.0,0.0,0.0,1.65,0.0,1.07
SAT_Competition2009/CRAFTED/Difficult/contest05/QG/QG6-gensys-brn007.sat05-2684.reshuffled-07.cnf,1,0.01,2.0,2.0,0.77,20.3,0.05,0.46,2.38,0.0,2.16
SAT_Competition2007/crafted/Difficult/contest05/sabharwal/counting-easier-php-018-014.sat05-1175.reshuffled-07.cnf,1,0.0,2.0,2.0,0.03,0.8,0.0,0.04,2.42,0.0,2.27
SAT_Competition2011/SAT03/handmade/anton/UNSAT/SGI_30_60_28_40_7-log.shuffled-as.sat03-127.cnf,1,0.05,2.0,2.0,0.91,22.02,0.28,1.58,2.13,0.01,2.13
SAT_Competition2011/SAT03/handmade/anton/UNSAT/SGI_30_70_22_70_7-dir.shuffled-as.sat03-154.cnf,1,0.01,2.0,2.0,1.49,20.01,0.32,1.6,2.07,0.01,2.06
SAT_Competition2009/CRAFTED/Difficult/contest05/others/pmg-14-UNSAT.sat05-3942.reshuffled-07.cnf,1,0.0,1.99,1.35,0.07,0.02,0.0,0.02,2.48,0.0,2.25
SAT_Competition2009/CRAFTED/Hard/contest05/others/strips-gripper-18t35.sat05-1147.reshuffled-07.cnf,1,0.27,2.0,2.07,2.05,20.02,1.81,2.58,2.27,0.05,2.24
SAT_Competition2009/CRAFTED/Difficult/contest-02-03-04/contest04-lksat-n1100-m7545-k4-l4-s310659001.sat05-524.reshuffled-07.cnf,1,0.01,2.01,2.0,0.37,0.95,0.0,0.09,2.42,0.0,2.16
SAT_Competition2009/CRAFTED/edgematching/compact/em_7_4_8_cmp.cnf,1,0.01,2.0,2.0,0.82,3.72,0.03,0.17,2.46,0.0,2.21
SAT_Competition2009/CRAFTED/modcircuits/mod4block_2vars_10gates_u2_autoenc.cnf,1,0.02,2.02,2.0,1.68,20.34,2.08,2.34,2.12,0.02,2.12
SAT_Competition2009/CRAFTED/Hard/contest05/QG/QG7a-gensys-ukn009.sat05-3849.reshuffled-07.cnf,1,0.03,2.0,2.0,2.01,20.01,0.09,0.89,2.54,0.01,2.17
SAT_Competition2007/crafted/Difficult/contest05/jarvisalo/mod2-rand3bip-sat-280-3.sat05-2265.reshuffled-07.cnf,1,0.0,1.99,2.0,0.01,0.01,0.0,0.01,2.53,0.0,2.29
SAT_Competition2011/SAT11/crafted/skvortsov/battleship/battleship-9-17-sat.cnf,1,0.0,0.06,2.0,0.0,0.05,0.0,0.01,1.66,0.0,1.15
SAT_Competition2009/CRAFTED/parity-games/instance_n4_i5_pp.cnf,1,0.01,0.76,2.0,0.57,1.67,0.03,0.13,2.31,0.0,2.13
SAT_Competition2011/SAT09/CRAFTED/rbsat/random/unforced/rbsat-v1150c84314g7.cnf,1,0.02,1.99,2.0,2.01,20.02,0.33,2.14,2.11,0.01,2.1
SAT_Competition2009/CRAFTED/Difficult/contest05/sabharwal/grid-pebbling-unsat-grid-pbl-0300.sat05-1350.sat05-1350.reshuffled-07.cnf,1,0.0,2.0,2.0,0.17,0.03,2.43,0.02,2.54,0.0,2.35
SAT_Competition2009/CRAFTED/sgen/sat/sgen1-sat-300-100.cnf,1,0.0,2.0,2.0,0.01,0.0,0.0,0.0,2.55,0.0,2.22
SAT_Competition2009/CRAFTED/sgen/unsat/sgen1-unsat-109-100.cnf,1,0.0,1.99,1.06,0.0,0.0,0.0,0.0,0.84,0.0,0.49
SAT_Competition2011/SAT11/crafted/skvortsov/battleship/battleship-11-11-unsat.cnf,1,0.0,2.0,2.0,0.0,0.05,0.0,0.01,1.6,0.0,1.07
SAT_Competition2007/crafted/Difficult/contest-02-03-04/contest02-Mat26.sat05-457.reshuffled-07.cnf,1,0.0,1.99,2.0,0.03,0.31,0.01,0.02,2.54,0.0,2.22
SAT_Competition2007/crafted/Hard/contest05/others/sgp_9-8-8.sat05-2674.reshuffled-07.cnf,1,17.11,2.01,2.66,2.23,20.82,13.5,8.29,4.05,0.6,4.01
SAT_Competition2009/CRAFTED/parity-games/instance_n6_i7_pp_ci_ce.cnf,1,0.09,2.0,2.0,2.01,20.01,0.24,1.34,2.26,0.01,2.14
SAT_Competition2009/CRAFTED/rbsat/random/forced/rbsat-v760c43649gyes10.cnf,1,0.01,2.01,2.0,1.14,20.01,0.13,1.2,2.11,0.01,2.09
SAT_Competition2011/SAT05/crafted/sorge05/QG7a/gensys-icl005.shuffled-as.sat05-3826.cnf,1,0.03,2.01,2.0,2.01,20.01,0.12,0.84,2.44,0.01,2.15
SAT_Competition2007/crafted/Medium/contest05/jarvisalo/mod2-rand3bip-sat-230-2.sat05-2189.reshuffled-07.cnf,1,0.0,1.99,2.0,0.01,0.0,0.0,0.01,2.51,0.0,1.95
SAT_Competition2011/SAT11/crafted/skvortsov/battleship/battleship-14-27-sat.cnf,1,0.0,2.0,2.0,0.04,0.74,0.0,0.08,2.44,0.0,2.28
SAT_Competition2009/CRAFTED/modcircuits/mod5block_1var_7gates.cnf,1,0.01,0.53,2.0,0.26,20.17,0.5,1.05,2.08,0.0,2.07
SAT_Competition2009/CRAFTED/Hard/contest04/connamacher/connm-ue-csp-sat-n1200-d0.00-s1875077647.sat05-530.reshuffled-07.cnf,1,0.0,2.0,2.0,0.6,4.83,0.09,0.11,2.23,0.0,2.18
SAT_Competition2011/SAT11/crafted/mosoi/289/289-unsat-21x33.cnf,1,0.33,2.0,2.28,2.09,20.04,24.47,4.5,2.63,0.1,2.63
SAT_Competition2011/SAT09/CRAFTED/rbsat/crafted/forced/rbsat-v2400c266431gyes2.cnf,1,0.09,2.0,2.04,2.02,20.47,1.58,3.23,2.23,0.04,2.23
SAT_Competition2011/SAT09/CRAFTED/rbsat/random/forced/rbsat-v2100c215164gyes2.cnf,1,0.09,1.99,2.03,2.01,21.48,1.39,2.58,2.21,0.04,2.22
SAT_Competition2011/SAT11/crafted/kullmann/GreenTao/GreenTaok1k2/GreenTao_2-4-5_4231.cnf,1,0.07,1.99,2.0,2.01,20.01,0.23,1.6,2.25,0.02,2.15
SAT_Competition2011/SAT11/crafted/anton/SRHD-SGI/srhd-sgi-m42-q585-n40-p30-s19690873.cnf,1,0.07,2.01,2.02,2.01,21.96,1.23,2.98,2.2,0.04,2.19
SAT_Competition2011/SAT09/CRAFTED/sgi/new-difficult-23-189-21-75.cnf,1,0.01,2.0,2.0,0.3,20.29,0.05,0.47,2.06,0.0,2.06
SAT_Competition2009/CRAFTED/parity-games/instance_n8_i8_pp_ci_ce.cnf,1,0.63,2.0,2.01,2.01,20.02,0.82,2.58,2.31,0.05,2.24
SAT_Competition2011/SAT03/handmade/bevan/cnf/marg3x3add8.shuffled-as.sat03-1449.cnf,1,0.0,1.15,1.03,0.0,0.01,0.0,0.01,0.32,0.0,0.2
SAT_Competition2011/SAT02/handmade/zhang-lintao/xor-chain/x1_40.shuffled.cnf,1,0.0,2.0,1.39,0.0,0.0,0.0,0.01,0.56,0.0,0.33
SAT_Competition2009/CRAFTED/sgi/satsgi-n18himBHm21-p0-q167.cnf,1,0.0,0.01,2.0,0.07,4.34,0.01,0.18,2.11,0.0,2.1
SAT_Competition2011/SAT09/CRAFTED/rbsat/crafted/forced/rbsat-v945c61409gyes7.cnf,1,0.01,2.0,2.0,2.01,20.36,0.23,2.06,2.09,0.01,2.1
SAT_Competition2011/SAT11/crafted/anton/SRHD-SGI/srhd-sgi-m27-q225-n25-p30-s70617701.cnf,1,0.01,2.0,2.0,0.94,20.32,0.16,1.46,2.08,0.0,2.08
SAT_Competition2011/SAT05/crafted/sorge05/QG8/iso-ukn009.shuffled-as.sat05-3632.cnf,1,0.0,0.01,2.0,0.06,0.25,0.05,0.03,2.45,0.0,2.25
SAT_Competition2009/CRAFTED/Hard/contest05/QG/QG7-dead-dnd005.sat05-3111.reshuffled-07.cnf,1,0.0,1.99,2.0,0.14,7.13,0.02,0.26,2.2,0.0,2.13
SAT_Competition2009/CRAFTED/parity-games/instance_n7_i7_pp_ci_ce.cnf,1,0.25,2.01,2.02,2.02,20.03,0.54,2.39,2.25,0.03,2.15
SAT_Competition2009/CRAFTED/rbsat/crafted/forced/rbsat-v2640c305320gyes8.cnf,1,0.14,2.0,2.01,2.02,21.2,2.3,2.92,2.28,0.06,2.28
SAT_Competition2009/CRAFTED/parity-games/instance_n9_i9_pp_ci_ce.cnf,1,1.52,2.0,2.05,2.04,20.07,1.67,3.32,2.46,0.09,2.4
SAT_Competition2011/SAT11/crafted/anton/SRHD-SGI/srhd-sgi-m47-q841.5-n45-p15-s16393788.cnf,1,0.09,2.0,2.03,2.02,20.02,1.25,2.52,2.26,0.05,2.23
SAT_Competition2007/crafted/Hard/contest05/counting-clq/unsat-set-a-clqcolor-10-06-07.sat05-1250.reshuffled-07.cnf,1,0.0,1.99,2.0,0.01,8.28,0.01,0.07,2.21,0.0,2.12
SAT_Competition2011/SAT04/handmade/marijn/equilarge-l/equilarge_l2.used-as.sat04-894.cnf,1,0.02,2.0,2.0,1.66,20.01,0.07,0.3,2.6,0.0,2.22
SAT_Competition2007/crafted/Medium/contest05/others/pmg-11-UNSAT.sat05-3939.reshuffled-07.cnf,1,0.0,2.0,0.47,0.0,0.0,0.0,0.01,1.94,0.0,1.19
SAT_Competition2009/CRAFTED/rbsat/crafted/forced/rbsat-v945c61409gyes2.cnf,1,0.02,2.0,2.0,2.01,20.57,0.24,2.11,2.08,0.0,2.09
SAT_Competition2009/CRAFTED/sgen/sat/sgen1-sat-290-100.cnf,1,0.0,1.99,2.0,0.01,0.0,0.0,0.0,2.53,0.0,2.1
SAT_Competition2011/SAT11/crafted/kullmann/VanDerWaerden/VanderWaerden3k/VanDerWaerden_2-3-16_238.cnf,1,0.01,2.01,2.0,0.17,20.01,0.02,0.46,2.08,0.0,2.08
SAT_Competition2011/SAT11/crafted/kullmann/VanDerWaerden/VanderWaerden3k/VanDerWaerden_2-3-15_218.cnf,1,0.0,2.0,2.0,0.13,20.01,0.02,0.37,2.06,0.0,2.06
SAT_Competition2009/CRAFTED/Hard/contest05/counting-clq/unsat-set-b-fclqcolor-25-18-23.sat05-1287.reshuffled-07.cnf,1,0.1,2.0,2.0,2.01,20.11,2.79,2.71,2.21,0.03,2.2
SAT_Competition2007/crafted/Hard/contest04/connamacher/connm-ue-csp-sat-n1200-d0.02-s1099787414.sat05-542.reshuffled-07.cnf,1,0.0,2.0,2.0,0.55,4.53,0.08,0.11,2.22,0.01,2.12
SAT_Competition2009/CRAFTED/Hard/contest05/others/linvrinv9.sat05-568.reshuffled-07.cnf,1,0.01,2.0,2.0,0.61,1.72,0.07,0.1,2.48,0.0,2.2
SAT_Competition2011/SAT11/crafted/skvortsov/automata-synchronization/crn_40_1520_u.cnf,1,2.47,2.0,2.05,2.01,20.01,0.77,1.84,2.23,0.02,2.17
SAT_Competition2011/SAT05/crafted/sorge05/QG7a/gensys-ukn009.shuffled-as.sat05-3849.cnf,1,0.03,2.01,2.0,2.01,20.01,0.09,0.87,2.6,0.0,2.14
SAT_Competition2009/CRAFTED/modcircuits/mod4block_2vars_11gates_u2_autoenc.cnf,1,0.03,1.99,2.0,2.01,20.85,3.09,2.39,2.15,0.02,2.14
SAT_Competition2009/CRAFTED/Hard/contest03/others/999999000001nw.sat05-447.reshuffled-07.cnf,1,0.04,2.0,2.0,2.01,1.42,0.07,0.13,2.48,0.0,2.11
SAT_Competition2007/crafted/Medium/contest05/others/QG7a-gensys-ukn005.sat05-3845.reshuffled-07.cnf,1,0.03,1.99,2.0,2.01,20.01,0.09,1.18,2.44,0.0,2.11
SAT_Competition2011/SAT11/crafted/mosoi/289/289-sat-6x8.cnf,1,0.0,0.02,2.0,0.02,3.03,0.0,0.04,1.2,0.0,1.39
SAT_Competition2011/SAT09/CRAFTED/edgematching/fbcolors/em_8_4_5_fbc.cnf,1,0.02,2.01,2.0,2.01,20.01,0.09,0.35,2.34,0.0,2.15
SAT_Competition2009/CRAFTED/parity-games/instance_n3_i3_pp.cnf,1,0.0,0.01,2.0,0.03,0.08,0.0,0.02,2.47,0.0,2.27
SAT_Competition2011/SAT09/CRAFTED/rbsat/random/forced/rbsat-v2400c266431gyes6.cnf,1,0.09,2.0,2.12,2.01,20.03,1.48,3.35,2.24,0.04,2.22
SAT_Competition2011/SAT05/crafted/jarvisalo05/mod2c-rand3bip-sat/mod2c-rand3bip-sat-250-1.shuffled-as.sat05-2533.cnf,1,0.0,1.99,2.0,0.04,0.23,0.0,0.08,2.16,0.0,2.11
SAT_Competition2011/SAT11/crafted/skvortsov/battleship/battleship-5-8-unsat.cnf,1,0.0,0.07,0.46,0.0,0.0,0.0,0.0,0.31,0.0,0.18
SAT_Competition2009/CRAFTED/Difficult/contest05/QG/QG6-dead-dnd002.sat05-2713.reshuffled-07.cnf,1,0.02,1.99,2.0,0.57,20.71,0.06,0.42,2.45,0.0,2.17
SAT_Competition2009/CRAFTED/sgen/unsat/sgen1-unsat-73-100.cnf,1,0.0,2.0,0.74,0.0,0.0,0.0,0.0,0.49,0.0,0.28
SAT_Competition2009/CRAFTED/Difficult/contest05/sabharwal/counting-easier-php-018-014.sat05-1175.reshuffled-07.cnf,1,0.0,2.0,2.0,0.02,0.79,0.0,0.05,2.3,0.0,2.23
SAT_Competition2007/crafted/Medium/contest05/sabharwal/gt-ordering-sat-gt-030.sat05-1295.reshuffled-07.cnf,1,0.01,2.0,2.0,0.88,12.94,0.03,0.16,2.13,0.0,2.07
SAT_Competition2011/SAT02/handmade/pehoushek/plainoldcnf/5cnf_3900_3900_220.shuffled.cnf,1,0.0,2.01,2.0,0.03,5.85,0.0,0.05,2.23,0.0,2.17
SAT_Competition2007/crafted/Hard/contest05/others/eulcbip-8-UNSAT.sat05-3937.reshuffled-07.cnf,1,0.0,1.99,1.39,0.01,0.02,0.0,0.01,2.17,0.0,1.29
SAT_Competition2007/crafted/Hard/contest05/others/mod2c-rand3bip-sat-220-2.sat05-2489.reshuffled-07.cnf,1,0.0,2.0,2.0,0.03,0.2,0.0,0.08,2.34,0.0,2.14
SAT_Competition2009/CRAFTED/Difficult/contest05/others/sgp_5-5-6.sat05-2675.reshuffled-07.cnf,1,0.1,1.99,2.0,2.01,20.04,0.54,0.89,2.22,0.01,2.11
SAT_Competition2011/SAT03/handmade/anton/UNSAT/SGI_30_60_20_50_3-dir.shuffled-as.sat03-114.cnf,1,0.02,2.0,2.0,1.3,20.02,0.25,1.3,2.07,0.0,2.06
SAT_Competition2009/CRAFTED/parity-games/instance_n8_i9_pp.cnf,1,0.78,2.01,2.0,2.02,20.03,0.83,2.61,2.36,0.03,2.27
SAT_Competition2011/SAT11/crafted/mosoi/289/289-unsat-17x27.cnf,1,0.07,2.0,2.01,2.03,20.13,4.83,3.09,2.28,0.03,2.27
SAT_Competition2009/CRAFTED/Difficult/contest05/sabharwal/grid-pebbling-sat-grid-pbl-0300.sat05-1341.sat05-1341.reshuffled-07.cnf,1,0.0,?,?,?,0.0,1.23,?,?,0.0,?
SAT_Competition2007/crafted/Medium/contest05/pebbling/unsat-pbl-00080.sat05-1325.reshuffled-07.cnf,1,0.0,1.62,2.0,0.16,20.12,0.09,1.29,2.07,0.0,2.05
SAT_Competition2011/SAT11/crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/VanDerWaerden_pd_2-3-21_401.cnf,1,0.0,2.0,2.0,0.19,20.01,0.03,0.81,2.09,0.01,2.08
SAT_Competition2007/crafted/Medium/contest05/others/gensys-ukn002.sat05-2744.reshuffled-07.cnf,1,0.01,1.99,2.0,1.01,20.15,0.06,0.57,2.34,0.0,2.14
SAT_Competition2007/crafted/Hard/contest02/ezfact256_1.sat05-464.reshuffled-07.cnf,1,6.35,2.01,2.0,2.19,20.02,1.52,4.11,2.47,0.13,2.48
SAT_Competition2009/CRAFTED/sgen/sat/sgen1-sat-140-100.cnf,1,0.0,1.99,1.01,0.0,0.0,0.0,0.0,1.25,0.0,0.74
SAT_Competition2011/SAT03/handmade/anton/UNSAT/SGI_30_50_30_20_3-log.shuffled-as.sat03-109.cnf,1,0.05,2.0,2.0,0.74,23.8,0.29,1.57,2.12,0.01,2.13
SAT_Competition2009/CRAFTED/Medium/contest05/sabharwal/counting-easier-php-012-010.sat05-1172.reshuffled-07.cnf,1,0.0,1.99,2.0,0.0,0.07,0.0,0.01,1.27,0.0,0.91
SAT_Competition2009/CRAFTED/Difficult/contest05/jarvisalo/mod2-rand3bip-sat-280-3.sat05-2265.reshuffled-07.cnf,1,0.0,1.99,2.0,0.01,0.01,0.0,0.01,2.22,0.0,2.16
SAT_Competition2009/CRAFTED/Hard/contest03/others/hwb-n28-01-S136611085.sat05-491.reshuffled-07.cnf,1,0.0,2.0,2.0,0.01,0.05,0.0,0.01,1.67,0.0,1.15
SAT_Competition2009/CRAFTED/Medium/contest05/jarvisalo/mod2-rand3bip-sat-250-3.sat05-2220.reshuffled-07.cnf,1,0.0,1.99,2.0,0.01,0.01,0.0,0.0,2.25,0.0,2.18
SAT_Competition2011/SAT11/crafted/skvortsov/automata-synchronization/rnd_100_28_u.cnf,1,0.0,2.0,2.0,0.32,20.02,0.1,0.15,2.52,0.0,2.18
SAT_Competition2009/CRAFTED/Hard/contest04/connamacher/connm-ue-csp-sat-n1200-d0.00-s1756632460.sat05-526.reshuffled-07.cnf,1,0.0,1.99,2.0,0.5,4.66,0.09,0.1,2.13,0.0,2.1
SAT_Competition2011/SAT04/handmade/connamacher/connm-d0.02/connm-ue-csp-sat-n800-d0.02-s111845174.used-as.sat04-958.cnf,1,0.01,2.0,2.0,0.2,3.06,0.05,0.06,2.19,0.0,2.1
SAT_Competition2007/crafted/Difficult/contest05/jarvisalo/mod2c-3cage-unsat-10-2.sat05-2567.reshuffled-07.cnf,1,0.0,2.0,1.27,0.0,0.01,0.0,0.01,1.28,0.0,0.72
SAT_Competition2007/crafted/Difficult/contest05/QG/QG6-dead-dnd001.sat05-2742.reshuffled-07.cnf,1,0.01,2.0,2.0,0.79,20.18,0.05,0.48,2.35,0.0,2.14
SAT_Competition2007/crafted/Hard/contest04/connamacher/connm-ue-csp-sat-n1200-d0.00-s1756632460.sat05-526.reshuffled-07.cnf,1,0.0,2.0,2.0,0.6,4.91,0.11,0.11,2.15,0.0,2.09
SAT_Competition2009/CRAFTED/modcircuits/mod4block_2vars_9gates_u2.cnf,1,0.01,2.0,2.0,0.74,22.11,1.2,1.97,2.09,0.01,2.08
SAT_Competition2011/SAT03/handmade/anton/UNSAT/SGI_30_70_20_60_10-dir.shuffled-as.sat03-144.cnf,1,0.02,2.0,2.0,1.27,20.01,0.29,1.61,2.07,0.0,2.07
SAT_Competition2009/CRAFTED/ramseycube/Q32inK10.cnf,1,0.04,2.01,2.0,0.21,20.01,0.17,2.4,2.1,0.01,2.1
SAT_Competition2011/SAT03/handmade/anton/UNSAT/SGI_30_50_30_20_1-log.shuffled-as.sat03-107.cnf,1,0.03,2.0,2.0,0.76,20.9,0.24,1.55,2.13,0.01,2.12
SAT_Competition2011/SAT09/CRAFTED/rbsat/random/forced/rbsat-v2400c266431gyes1.cnf,1,0.09,2.0,2.01,2.01,20.02,1.57,3.11,2.22,0.04,2.22
SAT_Competition2009/CRAFTED/parity-games/instance_n3_i4_pp_ci_ce.cnf,1,0.0,0.01,2.0,0.05,0.14,0.0,0.03,2.25,0.0,2.13
SAT_Competition2009/CRAFTED/Difficult/contest05/others/pmg-12-UNSAT.sat05-3940.reshuffled-07.cnf,1,0.0,2.0,0.49,0.0,0.0,0.0,0.01,2.3,0.0,1.4
SAT_Competition2009/CRAFTED/Medium/contest05/jarvisalo/mod2-rand3bip-sat-230-2.sat05-2189.reshuffled-07.cnf,1,0.0,2.0,2.0,0.01,0.0,0.0,0.01,2.57,0.0,2.01
SAT_Competition2009/CRAFTED/Difficult/contest-02-03-04/contest04-connm-ue-csp-sat-n800-d0.04-s362703357.sat05-548.reshuffled-07.cnf,1,0.01,2.0,2.0,0.27,3.79,0.06,0.08,2.21,0.0,2.09
SAT_Competition2011/SAT03/handmade/anton/UNSAT/SGI_30_70_26_60_1-dir.shuffled-as.sat03-167.cnf,1,0.02,2.0,2.0,2.01,20.01,0.52,2.29,2.08,0.01,2.09
SAT_Competition2007/crafted/spence/hard/s113-100.cnf,1,0.0,1.99,1.09,0.0,0.0,0.0,0.0,0.87,0.0,0.46
SAT_Competition2011/SAT09/CRAFTED/rbsat/crafted/forced/rbsat-v945c61409gyes1.cnf,1,0.02,2.0,2.0,1.93,20.45,0.22,2.07,2.09,0.0,2.09
SAT_Competition2009/CRAFTED/Hard/contest03/looksrandom/hidden-k3-s0-r5-n700-02-S350203913.sat05-486.reshuffled-07.cnf,1,0.0,1.99,2.0,0.1,0.07,0.0,0.03,2.36,0.0,2.23
SAT_Competition2007/crafted/Hard/contest05/counting-clq/unsat-set-b-fclqcolor-10-07-09.sat05-1282.reshuffled-07.cnf,1,0.0,2.0,2.0,0.04,20.01,0.01,0.09,2.19,0.0,2.09
SAT_Competition2009/CRAFTED/ramseycube/Q3inK12.cnf,1,1.67,2.01,2.13,2.02,16874.06,4.21,12.52,4.02,0.25,3.72
SAT_Competition2011/SAT04/handmade/anton/l5k3/lksat-n1100-m4103-k3-l5-s558351420.used-as.sat04-934.cnf,1,0.0,2.0,2.0,0.15,0.08,0.0,0.04,2.51,0.0,2.16
SAT_Competition2011/SAT05/crafted/sabharwal05/counting/fphp/unsat/harder/fphp-030-029.shuffled-as.sat05-1234.cnf,1,0.01,2.0,2.0,0.86,20.01,0.13,0.64,2.11,0.01,2.08
SAT_Competition2009/CRAFTED/Hard/contest03/others/color-11-3.sat05-445.reshuffled-07.cnf,1,0.0,2.0,2.0,0.13,20.01,0.09,0.15,2.12,0.0,2.09
SAT_Competition2009/CRAFTED/Medium/contest05/sabharwal/sat-strips-gripper-12t23.sat05-1144.reshuffled-07.cnf,1,0.05,2.0,2.0,2.01,20.01,0.42,2.2,2.2,0.01,2.1
SAT_Competition2009/CRAFTED/modcircuits/owp_4vars_5gates.cnf,1,0.0,0.22,2.0,0.07,20.16,0.15,0.28,2.1,0.01,2.09
SAT_Competition2007/crafted/Hard/contest04/others/equilarge_l5.sat05-522.reshuffled-07.cnf,1,0.03,2.0,2.0,2.01,20.01,0.08,0.22,2.47,0.0,2.13
SAT_Competition2009/CRAFTED/sgen/unsat/sgen1-unsat-139-100.cnf,1,0.0,2.0,1.48,0.0,0.0,0.0,0.0,0.99,0.0,0.62
SAT_Competition2007/crafted/Medium/contest05/sabharwal/counting-easier-fphp-012-010.sat05-1214.reshuffled-07.cnf,1,0.0,2.0,2.0,0.0,0.11,0.0,0.01,1.7,0.0,1.13
SAT_Competition2009/CRAFTED/edgematching/compact/em_14_7_3_cmp.cnf,1,1.61,1.99,2.0,2.04,20.13,2.51,2.74,2.45,0.09,2.34
SAT_Competition2009/CRAFTED/sgen/unsat/sgen1-unsat-145-100.cnf,1,0.0,1.99,1.44,0.0,0.0,0.0,0.0,1.01,0.0,0.62
SAT_Competition2011/SAT09/CRAFTED/rbsat/random/forced/rbsat-v2640c305320gyes2.cnf,1,0.13,2.0,2.09,2.04,24.76,2.06,2.78,2.26,0.05,2.28
SAT_Competition2011/SAT02/handmade/simon/satex-challenges/f600.shuffled.cnf,1,0.0,2.0,2.0,0.06,0.04,0.0,0.03,2.59,0.0,2.31
SAT_Competition2011/SAT11/crafted/spence/sgen/sgen3-n150-s89334302-unsat.cnf,1,0.0,1.99,1.66,0.0,0.0,0.0,0.0,1.1,0.0,0.68
SAT_Competition2007/crafted/Hard/contest05/others/linvrinv8.sat05-567.reshuffled-07.cnf,1,0.0,2.0,2.0,0.35,1.01,0.03,0.07,2.35,0.0,2.18
SAT_Competition2007/crafted/Medium/contest05/pebbling/unsat-grid-pbl-0080.sat05-1344.reshuffled-07.cnf,1,0.01,1.95,2.0,0.18,0.03,0.13,0.02,2.89,0.0,2.39
SAT_Competition2009/CRAFTED/parity-games/instance_n8_i8_pp.cnf,1,0.63,2.01,2.0,2.02,20.03,0.76,2.58,2.3,0.04,2.23
SAT_Competition2011/SAT05/crafted/sorge05/QG7a/gensys-ukn003.shuffled-as.sat05-3843.cnf,1,0.03,2.01,2.0,2.01,20.01,0.08,0.84,2.5,0.0,2.14
SAT_Competition2011/SAT11/crafted/anton/SRHD-SGI/srhd-sgi-m47-q841.5-n45-p30-s84954709.cnf,1,0.11,2.01,2.01,2.02,27.39,1.78,3.31,2.26,0.05,2.28
SAT_Competition2009/CRAFTED/modcircuits/mod3block_2vars_10gates_u2_autoenc.cnf,1,0.02,2.0,2.0,1.48,20.22,1.92,2.36,2.12,0.01,2.12
SAT_Competition2009/CRAFTED/parity-games/instance_n6_i6_pp.cnf,1,0.07,2.0,2.0,2.01,20.01,0.24,1.09,2.22,0.0,2.11
SAT_Competition2009/CRAFTED/sgi/satsgi-n23himBHm27-p0-q251.cnf,1,0.0,0.02,2.0,0.26,20.01,0.03,0.47,2.13,0.01,2.1
SAT_Competition2009/CRAFTED/ramseycube/Q32inK09.cnf,1,0.0,1.99,2.0,0.02,20.01,0.04,1.86,2.04,0.01,2.04
SAT_Competition2009/CRAFTED/modcircuits/mod3block_4vars_11gates_b2_restricted.cnf,1,0.01,2.01,2.0,1.38,20.04,0.52,1.04,2.11,0.01,2.07
SAT_Competition2007/crafted/Medium/contest05/jarvisalo/mod2-rand3bip-sat-210-2.sat05-2159.reshuffled-07.cnf,1,0.0,1.99,2.0,0.01,0.0,0.0,0.01,2.68,0.0,1.71
SAT_Competition2009/CRAFTED/Hard/contest02/ezfact256_1.sat05-464.reshuffled-07.cnf,1,6.06,2.01,2.0,2.05,20.03,0.97,3.47,2.39,0.07,2.34
SAT_Competition2007/crafted/Difficult/contest-02-03-04/contest03-hwb-n26-01-S1957858365.sat05-500.reshuffled-07.cnf,1,0.0,2.0,2.0,0.0,0.06,0.0,0.01,1.49,0.0,1.14
SAT_Competition2009/CRAFTED/Hard/contest05/phnf/phnf-size10-exclusive-equilarge_l1.used-as.sat04-893.sat05-4187.reshuffled-07.cnf,1,3.39,2.02,2.78,3.08,20.19,34.52,10.3,4.43,0.5,4.45
SAT_Competition2009/CRAFTED/Difficult/contest05/QG/QG7-gensys-icl006.sat05-3132.reshuffled-07.cnf,1,0.0,2.0,2.0,0.47,13.37,0.04,0.3,2.25,0.0,2.11
SAT_Competition2007/crafted/Hard/contest02/hgen2-v500-s1216665065.sat05-467.reshuffled-07.cnf,1,0.0,2.0,2.0,0.03,0.02,0.0,0.02,2.77,0.0,2.39
SAT_Competition2011/SAT11/crafted/skvortsov/battleship/battleship-24-57-sat.cnf,1,0.02,2.0,2.0,0.81,20.03,0.02,0.92,2.12,0.0,2.09
SAT_Competition2011/SAT09/CRAFTED/rbsat/crafted/unforced/rbsat-v760c43649g9.cnf,1,0.01,2.0,2.0,1.65,20.19,0.16,1.39,2.09,0.02,2.08
SAT_Competition2009/CRAFTED/Hard/contest05/phnf/phnf-size10-exclusive-all.used-as.sat04-986.sat05-4198.reshuffled-07.cnf,1,10.08,2.02,2.0,2.76,20.17,20.62,12.6,4.89,0.63,4.96
SAT_Competition2009/CRAFTED/rbsat/random/unforced/rbsat-v760c43649g1.cnf,1,0.01,2.01,2.0,1.28,20.09,0.18,1.29,2.08,0.01,2.08
SAT_Competition2011/SAT05/crafted/jarvisalo05/mod2c-rand3bip-sat/mod2c-rand3bip-sat-220-3.shuffled-as.sat05-2490.cnf,1,0.0,2.0,2.0,0.04,0.19,0.0,0.07,2.25,0.0,2.13
SAT_Competition2007/crafted/Hard/contest03/others/hwb-n28-02-S818962541.sat05-492.reshuffled-07.cnf,1,0.0,1.99,2.0,0.01,0.05,0.0,0.01,1.56,0.0,1.28
SAT_Competition2011/SAT11/crafted/anton/SRHD-SGI/srhd-sgi-m27-q255-n25-p15-s2076598.cnf,1,0.01,2.01,2.0,0.36,20.52,0.05,0.44,2.1,0.0,2.07
SAT_Competition2007/crafted/Hard/contest05/others/linvrinv9.sat05-568.reshuffled-07.cnf,1,0.01,2.0,2.0,0.55,1.73,0.07,0.11,2.38,0.0,2.15
SAT_Competition2009/CRAFTED/edgematching/fbcolors/em_9_3_5_fbc.cnf,1,0.05,2.01,2.0,2.01,20.01,0.18,0.68,2.19,0.01,2.1
SAT_Competition2011/SAT11/crafted/skvortsov/battleship/battleship-10-19-sat.cnf,1,0.0,1.35,2.0,0.01,0.09,0.0,0.02,1.78,0.0,1.62
SAT_Competition2007/crafted/Difficult/contest-02-03-04/contest02-ezfact64_10.sat05-449.reshuffled-07.cnf,1,0.03,2.01,2.0,2.01,1.92,0.03,0.23,2.16,0.0,2.08
SAT_Competition2011/SAT11/crafted/anton/SRHD-SGI/srhd-sgi-m27-q225-n25-p15-s58217873.cnf,1,0.01,2.0,2.0,0.57,20.01,0.09,0.66,2.09,0.0,2.08
SAT_Competition2011/SAT03/handmade/anton/UNSAT/SGI_30_70_29_50_3-dir.shuffled-as.sat03-179.cnf,1,0.02,2.0,2.0,2.01,20.01,0.55,2.27,2.1,0.01,2.1
SAT_Competition2009/CRAFTED/rbsat/random/forced/rbsat-v760c43649gyes4.cnf,1,0.01,2.0,2.0,1.3,20.04,0.14,1.16,2.1,0.02,2.08
SAT_Competition2011/SAT05/crafted/roussel05/visbmc-PHNF/phnf-size10-exclusive-philo.used-as.sat04-988.shuffled-as.sat05-4195.cnf,1,4.59,2.0,2.01,2.73,20.63,11.98,7.59,3.67,0.4,3.76
SAT_Competition2011/SAT04/handmade/andrew/composite/Composite-024BitPrimes-1.used-as.sat04-861.cnf,1,0.0,2.0,2.0,0.38,20.01,0.02,0.16,2.14,0.0,2.05
SAT_Competition2011/SAT11/crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/VanDerWaerden_pd_2-3-23_508.cnf,1,0.01,2.0,2.0,0.38,20.02,0.05,1.58,2.07,0.01,2.08
SAT_Competition2009/CRAFTED/sgi/new-difficult-23-189-21-75.cnf,1,0.01,2.01,2.0,0.33,20.01,0.05,0.47,2.1,0.0,2.07
SAT_Competition2011/SAT11/crafted/anton/SRHD-SGI/srhd-sgi-m47-q742.5-n45-p15-s28972035.cnf,1,0.13,2.0,2.07,2.01,20.04,2.46,3.65,2.31,0.05,2.31
SAT_Competition2009/CRAFTED/Hard/contest03/others/hwb-n32-01-S1491788039.sat05-497.reshuffled-07.cnf,1,0.0,2.0,2.0,0.01,0.1,0.0,0.01,1.99,0.0,1.51
SAT_Competition2011/SAT11/crafted/spence/sgen/sgen3-n130-s30940966-unsat.cnf,1,0.0,1.99,1.3,0.0,0.0,0.0,0.0,0.9,0.0,0.58
SAT_Competition2009/CRAFTED/parity-games/instance_n5_i6_pp.cnf,1,0.03,1.99,2.0,2.01,14.41,0.11,0.49,2.32,0.0,2.14
SAT_Competition2007/crafted/Difficult/contest05/others/pmg-14-UNSAT.sat05-3942.reshuffled-07.cnf,1,0.0,2.0,1.27,0.05,0.01,0.0,0.02,2.79,0.0,2.33
SAT_Competition2011/SAT11/crafted/skvortsov/battleship/battleship-14-26-sat.cnf,1,0.0,2.0,2.0,0.03,0.71,0.0,0.07,2.37,0.0,2.28
SAT_Competition2007/crafted/Difficult/contest05/sabharwal/gt-ordering-unsat-gt-045.sat05-1310.reshuffled-07.cnf,1,0.03,1.99,2.0,2.01,20.02,0.15,0.49,2.09,0.01,2.09
SAT_Competition2009/CRAFTED/edgematching/fbcolors/em_7_4_9_fbc.cnf,1,0.02,2.0,2.0,1.43,8.79,0.06,0.3,2.32,0.0,2.14
SAT_Competition2009/CRAFTED/rbsat/random/forced/rbsat-v2100c215164gyes2.cnf,1,0.09,1.99,2.01,2.02,20.44,1.28,2.5,2.21,0.04,2.21
SAT_Competition2011/SAT11/crafted/spence/sgen/sgen3-n170-s56409011-unsat.cnf,1,0.0,2.0,1.92,0.0,0.0,0.0,0.0,1.22,0.0,0.81
SAT_Competition2009/CRAFTED/sgen/sat/sgen1-sat-200-100.cnf,1,0.0,1.99,1.48,0.0,0.0,0.0,0.0,1.93,0.0,1.2
SAT_Competition2011/SAT11/crafted/kullmann/GreenTao/GreenTaok1k2/GreenTao_2-5-5_34308.cnf,1,4.53,2.0,2.52,2.09,20.04,2.34,5.57,2.87,0.27,3.05
SAT_Competition2009/CRAFTED/rbsat/random/forced/rbsat-v760c43649gyes6.cnf,1,0.01,1.99,2.0,1.06,20.05,0.14,1.17,2.08,0.01,2.1
SAT_Competition2009/CRAFTED/sgen/unsat/sgen1-unsat-115-100.cnf,1,0.0,1.99,1.13,0.0,0.0,0.0,0.0,0.79,0.0,0.46
SAT_Competition2011/SAT09/CRAFTED/rbsat/random/unforced/rbsat-v1150c84314g1.cnf,1,0.02,2.0,2.0,2.01,20.01,0.33,2.15,2.12,0.01,2.1
SAT_Competition2011/SAT11/crafted/mosoi/289/289-unsat-6x40.cnf,1,0.02,1.99,2.0,2.01,20.03,0.61,1.41,2.11,0.01,2.09
SAT_Competition2009/CRAFTED/Hard/contest05/QG/QG7-dead-dnd001.sat05-3419.reshuffled-07.cnf,1,0.0,1.99,2.0,0.45,7.82,0.05,0.2,2.25,0.0,2.08
SAT_Competition2009/CRAFTED/Difficult/contest05/jarvisalo/mod2-rand3bip-sat-270-2.sat05-2249.reshuffled-07.cnf,1,0.0,2.0,2.0,0.01,0.01,0.0,0.01,2.32,0.0,2.25
SAT_Competition2007/crafted/Medium/contest05/others/QG-gensys-icl003.sat05-2715.reshuffled-07.cnf,1,0.01,2.0,2.0,0.7,20.57,0.04,0.48,2.38,0.0,2.19
SAT_Competition2007/crafted/Hard/contest04/connamacher/connm-ue-csp-sat-n1200-d0.04-s736572600.sat05-546.reshuffled-07.cnf,1,0.0,2.0,2.0,0.54,5.2,0.09,0.1,2.17,0.0,2.11
SAT_Competition2011/SAT09/CRAFTED/rbsat/crafted/forced/rbsat-v2100c215164gyes4.cnf,1,0.09,2.0,2.05,2.04,20.02,1.34,2.58,2.21,0.04,2.2
SAT_Competition2009/CRAFTED/Medium/contest05/others/QG-gensys-icl003.sat05-2715.reshuffled-07.cnf,1,0.01,2.0,2.0,0.73,20.22,0.04,0.49,2.44,0.0,2.19
SAT_Competition2009/CRAFTED/sgen/sat/sgen1-sat-250-100.cnf,1,0.0,1.99,1.87,0.0,0.0,0.0,0.01,2.47,0.0,1.74
SAT_Competition2009/CRAFTED/Hard/contest03/looksrandom/hidden-k3-s0-r5-n700-01-S2069048075.sat05-488.reshuffled-07.cnf,1,0.0,2.0,2.0,0.13,0.11,0.0,0.03,2.57,0.0,2.2
SAT_Competition2009/CRAFTED/edgematching/fbcolors/em_7_3_6_fbc.cnf,1,0.01,2.0,2.0,0.81,5.55,0.04,0.22,2.37,0.0,2.16
SAT_Competition2009/CRAFTED/Hard/contest03/looksrandom/hgen7-n390-02-S178568232.sat05-479.reshuffled-07.cnf,1,0.0,1.99,2.0,0.03,0.02,0.0,0.01,2.37,0.0,2.2
SAT_Competition2009/CRAFTED/Difficult/contest05/QG/QG6-gensys-icl004.sat05-2716.reshuffled-07.cnf,1,0.01,2.0,2.0,0.88,20.39,0.05,0.63,2.36,0.0,2.17
SAT_Competition2007/crafted/Hard/contest03/looksrandom/hidden-k3-s0-r5-n700-03-S1609878926.sat05-487.reshuffled-07.cnf,1,0.0,2.0,2.0,0.1,0.07,0.0,0.03,2.65,0.0,2.26
SAT_Competition2009/CRAFTED/modcircuits/mod4block_2vars_8gates_u2.cnf,1,0.01,2.01,2.0,0.55,20.19,0.77,1.4,2.09,0.01,2.09
SAT_Competition2009/CRAFTED/ramseycube/Q3inK11.cnf,1,0.49,1.27,2.01,2.01,2232.44,1.36,4.19,2.57,0.08,2.57
SAT_Competition2007/crafted/spence/hard/s101-100.cnf,1,0.0,1.99,0.96,0.0,0.0,0.0,0.0,0.73,0.0,0.39
SAT_Competition2007/crafted/spence/medium/s77-100.cnf,1,0.0,2.0,0.81,0.0,0.0,0.0,0.0,0.48,0.0,0.28
SAT_Competition2009/CRAFTED/Difficult/contest05/QG/QG6-gensys-ukn003.sat05-2726.reshuffled-07.cnf,1,0.01,2.0,2.0,0.92,20.52,0.05,0.5,2.35,0.0,2.15
SAT_Competition2007/crafted/Difficult/contest05/QG/QG6-dead-dnd002.sat05-2713.reshuffled-07.cnf,1,0.01,2.0,2.0,0.67,20.04,0.04,0.43,2.34,0.0,2.18
SAT_Competition2011/SAT03/handmade/anton/UNSAT/SGI_30_70_21_60_7-log.shuffled-as.sat03-151.cnf,1,0.03,2.0,2.0,0.48,22.3,0.17,1.17,2.11,0.01,2.09
SAT_Competition2007/crafted/Medium/contest05/pebbling/sat-grid-pbl-0070.sat05-1334.reshuffled-07.cnf,1,0.0,?,?,?,0.0,0.03,?,?,0.0,?
SAT_Competition2007/crafted/Hard/contest04/others/equilarge_l2.sat05-519.reshuffled-07.cnf,1,0.03,2.0,2.0,2.01,20.01,0.13,0.24,2.34,0.0,2.11
SAT_Competition2011/SAT09/CRAFTED/parity-games/instance_n9_i9_pp.cnf,1,1.51,2.01,2.0,2.01,20.03,1.4,3.09,2.45,0.07,2.42
SAT_Competition2007/crafted/spence/medium/s61-100.cnf,1,0.0,1.99,0.61,0.0,0.0,0.0,0.0,0.37,0.0,0.22
SAT_Competition2011/SAT11/crafted/mosoi/289/289-unsat-9x32.cnf,1,0.04,2.01,2.01,2.01,20.01,1.18,2.35,2.13,0.02,2.11
SAT_Competition2009/CRAFTED/Difficult/contest05/sabharwal/gt-ordering-sat-gt-040.sat05-1297.reshuffled-07.cnf,1,0.03,1.99,2.0,2.01,20.01,0.1,0.44,2.14,0.01,2.1
SAT_Competition2009/CRAFTED/Hard/contest05/QG/QG7a-gensys-ukn002.sat05-3842.reshuffled-07.cnf,1,0.03,2.01,2.0,2.01,20.01,0.08,1.27,2.58,0.01,2.14
SAT_Competition2007/crafted/Hard/contest04/connamacher/connm-ue-csp-sat-n1200-d-0.02-s383740539.sat05-534.reshuffled-07.cnf,1,0.0,1.99,2.0,0.53,3.81,0.09,0.12,2.14,0.0,2.11
SAT_Competition2011/SAT11/crafted/skvortsov/battleship/battleship-12-23-sat.cnf,1,0.0,1.78,2.0,0.02,0.29,0.0,0.03,2.24,0.0,2.15
SAT_Competition2011/SAT04/handmade/kexu/frb-0.8/frb45-21-1.used-as.sat04-883.cnf,1,0.02,1.99,2.0,1.97,20.01,0.23,2.02,2.09,0.0,2.09
SAT_Competition2011/SAT02/handmade/pehoushek/twentyvars/7cnf20_90000_90000_7.shuffled.cnf,1,0.0,0.02,2.0,0.0,20.06,0.0,0.05,1.42,0.0,0.91
SAT_Competition2007/crafted/Hard/contest04/others/Composite-096BitPrimes-0.sat05-507.reshuffled-07.cnf,1,0.92,2.01,2.0,2.02,20.05,0.54,2.57,2.32,0.04,2.23
SAT_Competition2007/crafted/Medium/contest05/pebbling/unsat-pbl-00250.sat05-1330.reshuffled-07.cnf,1,0.02,1.99,2.0,2.01,20.19,0.2,1.95,2.12,0.0,2.07
SAT_Competition2009/CRAFTED/Medium/contest05/others/pmg-11-UNSAT.sat05-3939.reshuffled-07.cnf,1,0.0,1.99,0.48,0.0,0.0,0.0,0.01,1.98,0.0,1.24
SAT_Competition2009/CRAFTED/parity-games/instance_n7_i7_pp.cnf,1,0.22,1.99,2.0,2.01,20.02,0.42,2.26,2.27,0.02,2.13
SAT_Competition2011/SAT11/crafted/kullmann/GreenTao/GreenTaok1k2/GreenTao_2-3-6_2072.cnf,1,0.06,2.01,2.01,2.01,20.06,2.8,2.38,2.18,0.02,2.13
SAT_Competition2009/CRAFTED/parity-games/instance_n4_i4_pp.cnf,1,0.01,0.07,2.0,0.34,1.05,0.02,0.1,2.32,0.0,2.13
SAT_Competition2009/CRAFTED/sgen/unsat/sgen1-unsat-151-100.cnf,1,0.0,1.99,1.59,0.0,0.0,0.0,0.0,1.1,0.0,0.72
SAT_Competition2011/SAT09/CRAFTED/rbsat/random/unforced/rbsat-v1375c111739g4.cnf,1,0.04,2.0,2.0,2.01,20.01,0.51,2.27,2.14,0.02,2.11
SAT_Competition2011/SAT03/handmade/stanion/hwb/hwb-n28-01-S136611085.shuffled-as.sat03-1627.cnf,1,0.0,1.99,2.0,0.01,0.06,0.0,0.01,1.62,0.0,1.16
SAT_Competition2009/CRAFTED/rbsat/random/forced/rbsat-v945c61409gyes9.cnf,1,0.02,2.0,2.0,2.01,20.29,0.23,2.0,2.1,0.01,2.07
SAT_Competition2009/CRAFTED/Difficult/contest-02-03-04/contest04-connm-ue-csp-sat-n600-d0.02-s1676244754.sat05-535.reshuffled-07.cnf,1,0.0,1.99,2.0,0.13,2.35,0.04,0.05,2.13,0.0,2.14
SAT_Competition2009/CRAFTED/Medium/contest05/sabharwal/counting-clqcolor-unsat-set-b-clqcolor-08-06-07.sat05-1257.reshuffled-07.cnf,1,0.0,2.0,2.0,0.01,2.7,0.0,0.03,1.76,0.0,1.53
SAT_Competition2011/SAT09/CRAFTED/edgematching/all/em_8_4_5_all.cnf,1,0.02,2.0,2.0,2.01,20.01,0.21,0.43,2.23,0.01,2.11
SAT_Competition2007/crafted/Hard/contest05/counting-clq/unsat-set-b-fclqcolor-25-18-23.sat05-1287.reshuffled-07.cnf,1,0.12,2.0,2.07,2.03,20.05,3.55,2.87,2.22,0.03,2.22
SAT_Competition2009/CRAFTED/rbsat/crafted/forced/rbsat-v1560c133795gyes9.cnf,1,0.05,2.0,2.03,2.02,20.01,0.75,2.62,2.14,0.03,2.13
SAT_Competition2007/crafted/Hard/contest04/connamacher/connm-ue-csp-sat-n1200-d-0.02-s405595518.sat05-531.reshuffled-07.cnf,1,0.01,2.0,2.0,0.47,3.9,0.12,0.1,2.2,0.0,2.14
SAT_Competition2011/SAT03/handmade/bevan/cnf/marg3x3add8ch.shuffled-as.sat03-1448.cnf,1,0.0,2.0,1.25,0.01,0.05,0.0,0.0,0.36,0.0,0.21
SAT_Competition2011/SAT11/crafted/spence/sgen/sgen3-n140-s20078956-unsat.cnf,1,0.0,2.0,1.41,0.0,0.0,0.0,0.0,0.97,0.0,0.61
SAT_Competition2007/crafted/Difficult/contest05/jarvisalo/mod2-rand3bip-sat-270-1.sat05-2248.reshuffled-07.cnf,1,0.0,1.99,2.0,0.01,0.01,0.0,0.01,2.36,0.0,2.25
SAT_Competition2007/crafted/Medium/contest05/jarvisalo/mod2-rand3bip-sat-220-2.sat05-2174.reshuffled-07.cnf,1,0.0,1.99,2.0,0.01,0.01,0.0,0.01,2.38,0.0,1.76
SAT_Competition2007/crafted/Hard/contest03/others/bqwh.40.reg.520.sat05-433.reshuffled-07.cnf,1,0.01,2.0,2.0,1.32,0.13,0.03,0.08,2.17,0.0,2.11
SAT_Competition2011/SAT11/crafted/anton/SRHD-SGI/srhd-sgi-m42-q663-n40-p15-s72490337.cnf,1,0.09,2.0,2.05,2.01,27.05,1.09,2.81,2.21,0.03,2.2
SAT_Competition2009/CRAFTED/modcircuits/mod3block_2vars_11gates_u2_autoenc.cnf,1,0.04,2.0,2.0,2.01,20.41,3.83,2.55,2.14,0.02,2.14
SAT_Competition2007/crafted/Difficult/contest05/QG/QG6-gensys-icl006.sat05-2718.reshuffled-07.cnf,1,0.01,2.0,2.0,0.65,20.21,0.04,0.44,2.34,0.0,2.16
SAT_Competition2011/SAT03/handmade/markstrom/UNSATISFIABLE/mm-2x2-6-6-s.1.shuffled-as.sat03-1499.cnf,1,0.0,2.0,2.0,0.04,0.32,0.0,0.03,2.48,0.0,2.23
SAT_Competition2007/crafted/Difficult/contest05/sabharwal/counting-harder-php-014-013.sat05-1187.reshuffled-07.cnf,1,0.0,2.0,2.0,0.01,0.23,0.0,0.02,2.27,0.0,1.69
SAT_Competition2009/CRAFTED/Hard/contest05/phnf/phnf-size10-exclusive-FIFO.used-as.sat04-991.sat05-4192.reshuffled-07.cnf,1,9.78,2.02,2.0,2.1,23.96,29.58,16.65,5.43,0.8,5.43
SAT_Competition2007/crafted/Hard/contest03/others/mm-2x3-8-8-sb.1.sat05-475.reshuffled-07.cnf,1,0.04,2.0,2.0,2.01,20.07,0.26,2.24,2.18,0.01,2.12
SAT_Competition2007/crafted/Medium/contest05/pebbling/unsat-pbl-00150.sat05-1328.reshuffled-07.cnf,1,0.01,1.99,2.0,1.15,20.21,0.26,2.16,2.1,0.01,2.07
SAT_Competition2009/CRAFTED/sgi/satsgi-n23himBHm25-p0-q219.cnf,1,0.0,0.02,2.0,0.21,17.36,0.02,0.4,2.17,0.01,2.15
SAT_Competition2011/SAT11/crafted/mosoi/289/289-sat-5x8.cnf,1,0.0,0.0,2.0,0.01,1.22,0.0,0.02,0.85,0.0,0.96
SAT_Competition2007/crafted/Hard/contest05/phnf/phnf-size10-exclusive-FIFO.used-as.sat04-991.sat05-4192.reshuffled-07.cnf,1,7.68,2.01,2.08,2.96,22.8,24.59,13.32,5.1,0.8,5.24
SAT_Competition2011/SAT11/crafted/anton/SRHD-SGI/srhd-sgi-m37-q446.25-n35-p30-s33692332.cnf,1,0.05,1.99,2.01,2.01,24.23,0.64,2.67,2.15,0.02,2.15
SAT_Competition2009/CRAFTED/Medium/contest05/pebbling/unsat-grid-pbl-0080.sat05-1344.reshuffled-07.cnf,1,0.0,1.91,2.0,0.14,0.03,0.08,0.02,3.05,0.0,2.36
SAT_Competition2009/CRAFTED/Difficult/contest05/sabharwal/counting-harder-php-018-017.sat05-1189.reshuffled-07.cnf,1,0.0,2.0,2.0,0.03,1.17,0.0,0.06,2.27,0.0,2.22
SAT_Competition2011/SAT02/handmade/simon/satex-challenges/c6288.shuffled.cnf,1,0.02,2.0,2.0,0.85,0.95,0.06,0.1,2.47,0.0,2.18
SAT_Competition2009/CRAFTED/edgematching/explicit/em_7_4_8_exp.cnf,1,0.01,2.0,2.0,1.21,4.56,0.06,0.2,2.24,0.0,2.14
SAT_Competition2011/SAT03/handmade/anton/UNSAT/SGI_30_60_29_30_6-dir.shuffled-as.sat03-130.cnf,1,0.02,2.01,2.01,2.01,20.01,0.38,2.15,2.08,0.02,2.08
SAT_Competition2009/CRAFTED/sgen/sat/sgen1-sat-160-100.cnf,1,0.0,1.99,1.2,0.0,0.0,0.0,0.0,1.47,0.0,0.92
SAT_Competition2009/CRAFTED/Difficult/contest-02-03-04/contest03-SGI_30_50_30_20_1-dir.sat05-439.reshuffled-07.cnf,1,0.02,2.0,2.0,2.01,20.01,0.65,2.18,2.09,0.01,2.09
SAT_Competition2007/crafted/spence/hard/s105-100.cnf,1,0.0,1.99,0.99,0.0,0.0,0.0,0.0,0.77,0.0,0.46
SAT_Competition2011/SAT02/handmade/pehoushek/plainoldcnf/5cnf_3900_3900_060.shuffled.cnf,1,0.0,1.99,2.0,0.0,1.26,0.0,0.02,1.38,0.0,0.88
SAT_Competition2007/crafted/spence/medium/s89-100.cnf,1,0.0,2.0,0.94,0.0,0.0,0.0,0.0,0.57,0.0,0.32
SAT_Competition2007/crafted/Difficult/contest05/others/pmg-13-UNSAT.sat05-3941.reshuffled-07.cnf,1,0.0,1.99,1.03,0.02,0.01,0.0,0.01,2.83,0.0,2.32
SAT_Competition2011/SAT11/crafted/spence/sgen/sgen3-n280-s93756482-sat.cnf,1,0.0,2.0,2.0,0.01,0.0,0.0,0.0,2.97,0.0,2.13
SAT_Competition2011/SAT11/crafted/kullmann/GreenTao/GreenTaok1k2/GreenTao_2-4-4_512.cnf,1,0.0,2.0,2.0,0.05,0.83,0.0,0.05,2.38,0.0,2.16
SAT_Competition2011/SAT11/crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/VanDerWaerden_pd_2-3-20_390.cnf,1,0.01,2.0,2.0,0.16,20.01,0.03,0.8,2.06,0.0,2.07
SAT_Competition2011/SAT05/crafted/markstrom05/eulcbip/eulcbip-7-UNSAT.shuffled-as.sat05-3936.cnf,1,0.0,2.0,1.07,0.0,0.02,0.0,0.01,1.72,0.0,0.94
SAT_Competition2009/CRAFTED/rbsat/crafted/forced/rbsat-v1150c84314gyes2.cnf,1,0.02,2.01,2.0,2.01,20.31,0.32,2.22,2.12,0.01,2.1
SAT_Competition2007/crafted/spence/medium/s57-100.cnf,1,0.0,1.99,0.57,0.0,0.0,0.0,0.0,0.35,0.0,0.2
SAT_Competition2009/CRAFTED/Hard/contest03/others/bqwh.40.reg.520.sat05-433.reshuffled-07.cnf,1,0.01,2.0,2.0,1.34,0.13,0.03,0.08,2.15,0.0,2.13
SAT_Competition2011/SAT04/handmade/kexu/frb-0.8/frb59-26-2.used-as.sat04-892.cnf,1,0.05,2.0,2.02,2.01,20.02,0.73,2.53,2.16,0.03,2.13
SAT_Competition2011/SAT09/CRAFTED/sgi/satsgi-n26himBHm28-p0-q293.cnf,1,0.01,0.02,2.0,0.37,20.09,0.06,1.19,2.15,0.0,2.15
SAT_Competition2011/SAT05/crafted/sabharwal05/planning/logistics/unsat/logistics-rotate-07t5.shuffled-as.sat05-1137.cnf,1,0.02,2.0,2.0,2.01,20.02,0.37,0.67,2.11,0.03,2.09
SAT_Competition2011/SAT09/CRAFTED/rbsat/crafted/forced/rbsat-v1560c133795gyes1.cnf,1,0.05,2.0,2.0,2.01,21.6,0.68,2.57,2.12,0.03,2.14
SAT_Competition2009/CRAFTED/sgi/satsgi-n23himBHm26-p0-q248.cnf,1,0.0,0.02,2.0,0.21,18.19,0.03,0.42,2.08,0.0,2.08
SAT_Competition2009/CRAFTED/Hard/contest05/QG/QG7-gensys-ukn003.sat05-3346.reshuffled-07.cnf,1,0.01,2.01,2.0,0.68,15.21,0.05,0.25,2.19,0.0,2.08
SAT_Competition2011/SAT05/crafted/sabharwal05/counting/fphp/unsat/harder/fphp-020-019.shuffled-as.sat05-1232.cnf,1,0.0,2.0,2.0,0.1,4.03,0.01,0.12,2.16,0.0,2.16
SAT_Competition2011/SAT11/crafted/kullmann/VanDerWaerden/VanderWaerden3k/VanDerWaerden_2-3-20_389.cnf,1,0.02,2.0,2.0,1.06,20.02,0.08,1.6,2.07,0.0,2.06
SAT_Competition2011/SAT09/CRAFTED/rbsat/random/forced/rbsat-v2640c305320gyes5.cnf,1,0.15,1.99,2.06,2.04,20.03,2.31,2.83,2.3,0.08,2.3
SAT_Competition2011/SAT11/crafted/mosoi/289/289-sat-11x9.cnf,1,0.0,0.38,2.0,0.15,20.02,0.04,0.66,2.08,0.01,2.07
SAT_Competition2011/SAT11/crafted/skvortsov/battleship/battleship-11-21-sat.cnf,1,0.0,1.99,2.0,0.01,0.17,0.0,0.03,2.18,0.0,2.1
SAT_Competition2009/CRAFTED/parity-games/instance_n8_i9_pp_ci_ce.cnf,1,0.78,2.02,2.02,2.02,20.02,0.9,2.64,2.39,0.04,2.26
SAT_Competition2011/SAT03/handmade/anton/SAT/SGI_30_80_15_90_4-dir.shuffled-as.sat03-6.cnf,1,0.01,2.0,2.0,0.48,20.87,0.07,0.52,2.11,0.0,2.1
SAT_Competition2011/SAT11/crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/VanDerWaerden_pd_2-3-22_445.cnf,1,0.01,1.99,2.0,0.28,20.02,0.05,1.07,2.08,0.0,2.06
SAT_Competition2011/SAT02/handmade/pehoushek/plainoldcnf/5cnf_4300_4300_110.shuffled.cnf,1,0.0,2.0,2.0,0.01,3.6,0.0,0.02,2.19,0.0,1.96
SAT_Competition2011/SAT11/crafted/skvortsov/automata-synchronization/rnd_150_42_s.cnf,1,0.01,2.01,2.0,1.43,20.06,0.11,0.19,2.53,0.01,2.13
SAT_Competition2011/SAT11/crafted/spence/sgen/sgen3-n240-s78945233-sat.cnf,1,0.0,2.0,2.0,0.0,0.0,0.0,0.01,2.5,0.0,1.58
SAT_Competition2011/SAT11/crafted/kullmann/VanDerWaerden/VanderWaerden3k/VanDerWaerden_2-3-12_135.cnf,1,0.0,2.01,2.0,0.02,20.06,0.0,0.1,2.12,0.0,2.09
SAT_Competition2011/SAT04/handmade/kexu/frb-0.8/frb59-26-1.used-as.sat04-891.cnf,1,0.04,2.01,2.0,2.01,20.12,0.58,2.36,2.13,0.03,2.12
SAT_Competition2011/SAT11/crafted/skvortsov/battleship/battleship-10-18-sat.cnf,1,0.0,2.0,2.0,0.0,0.08,0.0,0.02,2.1,0.0,1.51
SAT_Competition2009/CRAFTED/Hard/contest03/looksrandom/hgen6-4-24-n650-03-S528656311.sat05-477.reshuffled-07.cnf,1,0.0,1.99,2.0,0.07,0.04,0.0,0.02,2.28,0.0,2.15
SAT_Competition2011/SAT05/crafted/sorge05/QG7a/gensys-ukn004.shuffled-as.sat05-3844.cnf,1,0.03,2.0,2.0,2.01,20.01,0.1,0.84,2.52,0.0,2.15
SAT_Competition2007/crafted/Hard/contest03/others/color-18-4.sat05-443.reshuffled-07.cnf,1,0.04,2.01,2.0,2.01,20.1,2.81,2.02,2.15,0.02,2.2
SAT_Competition2009/CRAFTED/sgen/sat/sgen1-sat-270-100.cnf,1,0.0,1.99,2.0,0.0,0.0,0.0,0.01,2.4,0.0,1.78
SAT_Competition2009/CRAFTED/rbsat/crafted/unforced/rbsat-v1820c171155g4.cnf,1,0.06,2.01,2.02,2.01,20.01,0.95,2.42,2.15,0.02,2.15
SAT_Competition2009/CRAFTED/Hard/contest05/phnf/phnf-size10-exclusive-luckySeven.used-as.sat04-990.sat05-4196.reshuffled-07.cnf,1,2.41,2.0,2.06,2.12,20.86,7.31,6.21,3.01,0.28,2.99
SAT_Competition2009/CRAFTED/Hard/contest04/connamacher/connm-ue-csp-sat-n800-d0.02-s111845174.sat05-536.reshuffled-07.cnf,1,0.0,2.0,2.0,0.23,3.32,0.09,0.07,2.17,0.0,2.12
SAT_Competition2007/crafted/Hard/contest05/phnf/phnf-size10-exclusive-all.used-as.sat04-986.sat05-4198.reshuffled-07.cnf,1,10.37,2.01,2.04,3.0,20.32,20.95,12.74,5.0,0.69,4.98
SAT_Competition2009/CRAFTED/ramseycube/Q3inK13.cnf,1,?,?,512.0,?,?,?,?,?,?,?
SAT_Competition2009/CRAFTED/sgi/new-difficult-20-152-18-95.cnf,1,0.0,2.0,2.0,0.16,20.03,0.02,0.26,2.09,0.01,2.07
SAT_Competition2009/CRAFTED/ramseycube/Q3inK08.cnf,1,0.0,0.0,2.0,0.01,20.02,0.0,0.04,0.49,0.0,0.56
SAT_Competition2009/CRAFTED/sgi/new-difficult-26-243-24-70.cnf,1,0.01,2.0,2.01,0.7,20.09,0.1,0.98,2.08,0.0,2.07
SAT_Competition2011/SAT03/handmade/anton/UNSAT/SGI_30_70_20_70_1-dir.shuffled-as.sat03-146.cnf,1,0.01,2.01,2.0,1.32,20.16,0.25,1.26,2.08,0.0,2.06
SAT_Competition2011/SAT09/CRAFTED/rbsat/random/unforced/rbsat-v945c61409g6.cnf,1,0.02,2.0,2.0,2.01,20.47,0.22,1.98,2.12,0.0,2.11
SAT_Competition2009/CRAFTED/Medium/contest05/others/QG7-gensys-icl001.sat05-2926.reshuffled-07.cnf,1,0.0,2.0,2.0,0.2,4.26,0.02,0.18,2.13,0.01,2.08
SAT_Competition2007/crafted/Medium/contest05/pebbling/unsat-pbl-00200.sat05-1329.reshuffled-07.cnf,1,0.01,2.0,2.0,1.06,20.41,0.24,2.09,2.11,0.0,2.05
SAT_Competition2007/crafted/Hard/contest05/QG/QG7-gensys-ukn003.sat05-3346.reshuffled-07.cnf,1,0.0,2.0,2.0,0.62,14.68,0.04,0.24,2.22,0.0,2.1
SAT_Competition2011/SAT04/handmade/anton/l5k3/lksat-n900-m3357-k3-l5-s950595579.used-as.sat04-938.cnf,1,0.0,2.0,2.0,0.11,0.06,0.0,0.03,2.66,0.0,2.29
SAT_Competition2011/SAT11/crafted/spence/sgen/sgen3-n200-s00813792-unsat.cnf,1,0.0,2.0,2.0,0.01,0.0,0.0,0.0,1.52,0.0,1.0
SAT_Competition2007/crafted/Difficult/contest05/QG/QG6-gensys-icl001.sat05-2695.reshuffled-07.cnf,1,0.01,2.0,2.0,0.95,20.82,0.05,0.56,2.33,0.0,2.15
SAT_Competition2011/SAT11/crafted/kullmann/VanDerWaerden/VanderWaerden3k/VanDerWaerden_2-3-18_312.cnf,1,0.01,2.0,2.0,0.45,20.02,0.04,0.95,2.09,0.01,2.08
SAT_Competition2009/CRAFTED/Hard/contest04/others/Composite-048BitPrimes-0.sat05-503.reshuffled-07.cnf,1,0.06,2.0,2.0,2.01,20.01,0.12,0.95,2.24,0.01,2.11
SAT_Competition2009/CRAFTED/sgi/sgi-difficult4.cnf,1,0.0,0.02,2.0,0.2,20.01,0.03,0.35,2.09,0.0,2.08
SAT_Competition2009/CRAFTED/modcircuits/mod3block_4vars_12gates_b2_restricted.cnf,1,0.01,2.0,2.0,2.01,20.02,0.69,1.29,2.09,0.01,2.09
SAT_Competition2009/CRAFTED/Hard/contest05/counting-php/easier-fphp-035-029.sat05-1221.reshuffled-07.cnf,1,0.01,2.0,2.0,1.52,20.03,0.18,0.84,2.11,0.0,2.09
SAT_Competition2011/SAT04/handmade/connamacher/connm-d-0.02/connm-ue-csp-sat-n1200-d-0.02-s405595518.used-as.sat04-950.cnf,1,0.0,2.01,2.0,0.4,3.55,0.06,0.09,2.21,0.01,2.15
SAT_Competition2009/CRAFTED/rbsat/crafted/forced/rbsat-v1150c84314gyes1.cnf,1,0.04,2.0,2.0,2.01,20.36,0.37,2.26,2.11,0.01,2.09
SAT_Competition2007/crafted/Difficult/contest05/QG/QG6-gensys-icl008.sat05-2720.reshuffled-07.cnf,1,0.01,2.0,2.0,0.96,20.35,0.05,0.49,2.32,0.0,2.15
SAT_Competition2007/crafted/Difficult/contest05/others/sgp_5-5-6.sat05-2675.reshuffled-07.cnf,1,0.09,2.0,2.0,2.01,20.01,0.53,0.91,2.26,0.02,2.12
SAT_Competition2009/CRAFTED/sgen/unsat/sgen1-unsat-133-100.cnf,1,0.0,1.99,1.38,0.0,0.0,0.0,0.0,0.93,0.0,0.56
SAT_Competition2011/SAT11/crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/VanDerWaerden_pd_2-3-21_399.cnf,1,0.01,2.01,2.0,0.17,20.02,0.02,0.81,2.07,0.0,2.06
SAT_Competition2009/CRAFTED/Hard/contest03/looksrandom/hgen8-n320-01-S1432474240.sat05-483.reshuffled-07.cnf,1,0.0,2.0,2.0,0.0,0.0,0.0,0.01,1.53,0.0,1.02
SAT_Competition2009/CRAFTED/Difficult/contest05/others/pmg-13-UNSAT.sat05-3941.reshuffled-07.cnf,1,0.0,2.0,0.91,0.02,0.01,0.0,0.01,2.57,0.0,2.22
SAT_Competition2011/SAT09/CRAFTED/rbsat/crafted/unforced/rbsat-v2400c266431g6.cnf,1,0.09,2.0,2.01,2.02,23.21,1.58,3.22,2.25,0.05,2.23
SAT_Competition2011/SAT11/crafted/mosoi/289/289-sat-6x19.cnf,1,0.0,0.31,2.0,0.2,20.03,0.07,0.39,2.08,0.0,2.09
SAT_Competition2007/crafted/Medium/contest05/sabharwal/gt-ordering-unsat-gt-035.sat05-1308.reshuffled-07.cnf,1,0.01,2.01,2.0,2.01,20.01,0.05,0.22,2.14,0.01,2.09
SAT_Competition2009/CRAFTED/Medium/contest05/jarvisalo/mod2-rand3bip-sat-220-1.sat05-2173.reshuffled-07.cnf,1,0.0,2.0,2.0,0.0,0.01,0.0,0.01,2.34,0.0,1.84
SAT_Competition2009/CRAFTED/modcircuits/mod3_4vars_6gates.cnf,1,0.0,2.0,2.0,0.09,20.43,0.29,0.4,2.1,0.0,2.06
SAT_Competition2009/CRAFTED/Medium/contest05/others/QG-gensys-brn008.sat05-2685.reshuffled-07.cnf,1,0.01,2.0,2.0,0.74,20.2,0.05,0.53,2.32,0.0,2.14
SAT_Competition2011/SAT11/crafted/skvortsov/battleship/battleship-8-15-sat.cnf,1,0.0,0.0,1.91,0.0,0.02,0.0,0.01,0.94,0.0,0.75
SAT_Competition2009/CRAFTED/rbsat/random/forced/rbsat-v1150c84314gyes3.cnf,1,0.02,1.99,2.0,2.01,20.42,0.35,2.22,2.09,0.02,2.1
SAT_Competition2011/SAT11/crafted/spence/sgen/sgen3-n260-s62321009-sat.cnf,1,0.0,1.99,2.0,0.01,0.0,0.0,0.0,2.48,0.0,1.81
SAT_Competition2007/crafted/Hard/contest05/counting-php/harder-php-045-044.sat05-1195.reshuffled-07.cnf,1,0.04,2.0,2.0,2.01,20.01,0.52,2.19,2.1,0.01,2.11
SAT_Competition2009/CRAFTED/sgi/satsgi-n22himBHm24-p0-q209.cnf,1,0.01,0.02,2.0,0.16,13.28,0.02,0.35,2.08,0.0,2.08
SAT_Competition2011/SAT11/crafted/skvortsov/battleship/battleship-16-16-unsat.cnf,1,0.0,2.0,2.0,0.02,0.48,0.0,0.05,2.26,0.0,2.19
SAT_Competition2007/crafted/Difficult/contest05/QG/QG6-gensys-brn007.sat05-2684.reshuffled-07.cnf,1,0.01,2.0,2.0,0.73,20.66,0.04,0.46,2.36,0.0,2.16
SAT_Competition2009/CRAFTED/rbsat/random/unforced/rbsat-v1820c171155g3.cnf,1,0.06,2.0,2.02,2.01,20.91,0.86,2.31,2.17,0.03,2.15
SAT_Competition2007/crafted/Difficult/contest05/others/linvrinv5.sat05-564.reshuffled-07.cnf,1,0.0,2.0,2.0,0.01,0.11,0.0,0.02,2.71,0.0,2.43
SAT_Competition2009/CRAFTED/Hard/contest05/others/eulcbip-8-UNSAT.sat05-3937.reshuffled-07.cnf,1,0.0,1.99,1.26,0.01,0.02,0.0,0.01,2.21,0.0,1.23
SAT_Competition2009/CRAFTED/modcircuits/mod5block_2vars_12gates.cnf,1,0.1,2.0,2.02,2.01,21.5,11.83,2.86,2.31,0.06,2.31
SAT_Competition2009/CRAFTED/sgi/satsgi-n17himBHm20-p0-q146.cnf,1,0.0,0.0,2.0,0.06,3.24,0.01,0.14,2.14,0.0,2.12
SAT_Competition2011/SAT11/crafted/mosoi/289/289-unsat-6x30.cnf,1,0.01,2.0,2.0,0.89,20.01,0.24,1.0,2.07,0.01,2.07
SAT_Competition2009/CRAFTED/edgematching/all/em_7_4_9_all.cnf,1,0.01,2.0,2.0,1.83,10.1,0.11,0.23,2.14,0.0,2.1
SAT_Competition2011/SAT11/crafted/anton/SRHD-SGI/srhd-sgi-m62-q1504.5-n60-p30-s88600538.cnf,1,0.35,2.0,2.12,2.03,21.15,5.69,5.64,2.66,0.12,2.66
SAT_Competition2009/CRAFTED/edgematching/explicit/em_7_4_9_exp.cnf,1,0.01,2.01,2.0,1.26,4.23,0.06,0.21,2.24,0.0,2.14
SAT_Competition2009/CRAFTED/parity-games/instance_n2_i3_pp.cnf,1,0.0,0.0,0.01,0.0,0.0,0.0,0.0,0.03,0.0,3.33
SAT_Competition2009/CRAFTED/Hard/contest05/others/sgp_5-6-8.sat05-2669.reshuffled-07.cnf,1,1.01,2.01,2.07,2.06,20.24,2.87,2.88,2.42,0.09,2.32
SAT_Competition2007/crafted/Hard/contest05/counting-php/harder-fphp-070-069.sat05-1240.reshuffled-07.cnf,1,0.37,2.0,2.06,2.01,20.89,7.53,4.64,2.28,0.08,2.27
SAT_Competition2011/SAT11/crafted/mosoi/289/289-sat-11x10.cnf,1,0.0,0.38,2.0,0.21,20.01,0.07,0.37,2.06,0.0,2.05
SAT_Competition2007/crafted/Hard/contest03/others/hwb-n32-01-S1491788039.sat05-497.reshuffled-07.cnf,1,0.0,2.0,2.0,0.01,0.06,0.0,0.01,2.09,0.0,1.63
SAT_Competition2011/SAT05/crafted/sabharwal05/counting/php/unsat/easier/php-045-035.shuffled-as.sat05-1181.cnf,1,0.03,2.0,2.0,2.01,20.16,0.31,1.8,2.12,0.0,2.1
SAT_Competition2007/crafted/Difficult/contest05/sabharwal/counting-harder-php-018-017.sat05-1189.reshuffled-07.cnf,1,0.0,2.0,2.0,0.03,1.23,0.01,0.06,2.28,0.0,2.22
SAT_Competition2011/SAT11/crafted/mosoi/289/289-unsat-14x38.cnf,1,0.17,2.0,2.07,2.04,20.04,10.27,3.53,2.4,0.06,2.38
SAT_Competition2011/SAT11/crafted/kullmann/VanDerWaerden/VanderWaerden3k/VanDerWaerden_2-3-19_349.cnf,1,0.01,2.0,2.0,0.69,20.01,0.06,1.25,2.1,0.01,2.08
SAT_Competition2007/crafted/Medium/contest05/others/QG7a-gensys-brn004.sat05-3669.reshuffled-07.cnf,1,0.02,2.0,2.0,2.01,20.01,0.08,0.66,2.33,0.0,2.1
SAT_Competition2009/CRAFTED/Medium/contest05/jarvisalo/mod2-rand3bip-sat-210-2.sat05-2159.reshuffled-07.cnf,1,0.0,1.99,2.0,0.0,0.01,0.0,0.01,2.38,0.0,1.69
SAT_Competition2009/CRAFTED/Medium/contest05/others/QG7a-gensys-ukn001.sat05-3841.reshuffled-07.cnf,1,0.03,2.0,2.0,2.01,20.01,0.09,1.29,2.33,0.0,2.11
SAT_Competition2009/CRAFTED/Difficult/contest05/jarvisalo/mod2-rand3bip-sat-270-1.sat05-2248.reshuffled-07.cnf,1,0.0,1.99,2.0,0.02,0.01,0.0,0.01,2.24,0.0,2.18
SAT_Competition2007/crafted/Hard/contest05/counting-php/easier-fphp-020-015.sat05-1218.reshuffled-07.cnf,1,0.0,2.0,2.0,0.05,2.15,0.0,0.07,2.18,0.0,2.15
SAT_Competition2011/SAT03/handmade/anton/UNSAT/SGI_30_50_30_20_5-log.shuffled-as.sat03-111.cnf,1,0.03,1.99,2.0,0.68,22.17,0.25,1.58,2.1,0.01,2.13
SAT_Competition2007/crafted/spence/hard/s117-100.cnf,1,0.0,1.99,1.13,0.0,0.0,0.0,0.0,0.79,0.0,0.51
SAT_Competition2011/SAT11/crafted/anton/SRHD-SGI/srhd-sgi-m62-q1504.5-n60-p15-s80450670.cnf,1,0.37,2.0,2.19,2.01,42.25,6.79,6.13,2.73,0.15,2.75
SAT_Competition2007/crafted/Hard/contest05/QG/QG7-dead-dnd002.sat05-3108.reshuffled-07.cnf,1,0.01,2.0,2.0,1.03,9.01,0.05,0.71,2.4,0.0,2.17
SAT_Competition2011/SAT09/CRAFTED/rbsat/crafted/unforced/rbsat-v2400c266431g9.cnf,1,0.1,2.0,2.03,2.01,25.03,1.55,3.24,2.23,0.04,2.24
SAT_Competition2009/CRAFTED/Difficult/contest05/sabharwal/gt-ordering-unsat-gt-045.sat05-1310.reshuffled-07.cnf,1,0.03,1.99,2.0,2.01,20.01,0.15,0.45,2.12,0.03,2.09
SAT_Competition2007/crafted/Hard/contest03/looksrandom/hgen8-n320-03-S1572374531.sat05-485.reshuffled-07.cnf,1,0.0,1.99,1.99,0.0,0.0,0.0,0.01,1.65,0.0,1.07
SAT_Competition2007/crafted/Difficult/contest05/jarvisalo/mod2-rand3bip-sat-280-2.sat05-2264.reshuffled-07.cnf,1,0.0,1.99,2.0,0.01,0.01,0.0,0.01,2.51,0.0,2.27
SAT_Competition2011/SAT11/crafted/anton/SRHD-SGI/srhd-sgi-m62-q1327.5-n60-p15-s1351253.cnf,1,0.46,2.02,2.72,2.01,20.15,14.47,8.26,2.95,0.17,2.91
SAT_Competition2011/SAT09/CRAFTED/rbsat/crafted/unforced/rbsat-v1820c171155g5.cnf,1,0.06,2.0,2.04,2.02,21.65,0.98,2.48,2.16,0.03,2.17
SAT_Competition2011/SAT02/handmade/pehoushek/plainoldcnf/5cnf_3500_3500_30f1.shuffled.cnf,1,0.0,0.01,1.22,0.0,0.34,0.0,0.01,0.59,0.0,0.35
SAT_Competition2009/CRAFTED/Hard/contest04/others/Composite-064BitPrimes-1.sat05-506.reshuffled-07.cnf,1,0.24,2.0,2.0,2.02,20.01,0.24,2.0,2.33,0.01,2.14
SAT_Competition2011/SAT05/crafted/sorge05/QG7/gensys-icl007.shuffled-as.sat05-3133.cnf,1,0.0,2.0,2.0,0.53,14.18,0.05,0.27,2.18,0.0,2.11
SAT_Competition2009/CRAFTED/sgen/unsat/sgen1-unsat-97-100.cnf,1,0.0,2.0,0.98,0.0,0.0,0.0,0.0,0.63,0.0,0.36
SAT_Competition2011/SAT11/crafted/skvortsov/battleship/battleship-17-33-sat.cnf,1,0.0,2.0,2.0,0.11,2.55,0.0,0.16,2.21,0.0,2.16
SAT_Competition2011/SAT03/handmade/gomes/bqwh/bqwh.60.1152.shuffled-as.sat03-1650.cnf,1,0.17,2.0,2.0,2.01,1.37,0.18,0.57,2.15,0.02,2.09
SAT_Competition2011/SAT11/crafted/spence/sgen/sgen3-n190-s29985700-unsat.cnf,1,0.0,2.0,2.0,0.0,0.0,0.0,0.0,1.4,0.0,0.91
SAT_Competition2011/SAT11/crafted/mosoi/289/289-sat-12x15.cnf,1,0.01,0.45,2.0,0.86,20.02,0.25,0.96,2.08,0.01,2.06
SAT_Competition2011/SAT11/crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/VanDerWaerden_pd_2-3-21_404.cnf,1,0.01,2.0,2.0,0.18,20.02,0.03,0.89,2.05,0.0,2.06
SAT_Competition2007/crafted/spence/medium/s65-100.cnf,1,0.0,1.99,0.67,0.0,0.0,0.0,0.0,0.41,0.0,0.24
SAT_Competition2011/SAT11/crafted/anton/SRHD-SGI/srhd-sgi-m32-q326.25-n30-p30-s48700942.cnf,1,0.03,2.0,2.0,2.01,20.01,0.34,2.23,2.09,0.01,2.08
SAT_Competition2011/SAT05/crafted/sabharwal05/ordering/gt-ordering/sat/gt-030.shuffled-as.sat05-1295.cnf,1,0.01,2.0,2.0,1.07,13.4,0.03,0.15,2.09,0.0,2.07
SAT_Competition2007/crafted/Hard/contest04/connamacher/connm-ue-csp-sat-n800-d0.02-s925928766.sat05-538.reshuffled-07.cnf,1,0.01,1.99,2.0,0.22,3.13,0.05,0.07,2.1,0.0,2.09
SAT_Competition2007/crafted/Hard/contest04/others/equilarge_l4.sat05-521.reshuffled-07.cnf,1,0.02,2.0,2.0,2.01,20.02,0.08,0.22,2.33,0.0,2.11
SAT_Competition2011/SAT05/crafted/sabharwal05/pebbling/grid-pebbling/unsat/grid-pbl-0250.shuffled-as.sat05-1349.shuffled-as.sat05-1349.cnf,1,0.0,2.01,2.0,0.16,0.03,1.26,0.02,2.85,0.0,2.35
SAT_Competition2011/SAT11/crafted/skvortsov/battleship/battleship-14-14-unsat.cnf,1,0.0,1.99,2.0,0.0,0.22,0.0,0.03,2.39,0.0,2.13
SAT_Competition2011/SAT09/CRAFTED/rbsat/random/forced/rbsat-v1150c84314gyes1.cnf,1,0.04,1.99,2.0,2.01,20.36,0.35,2.2,2.12,0.01,2.1
SAT_Competition2009/CRAFTED/edgematching/fbcolors/em_8_4_5_fbc.cnf,1,0.02,2.01,2.0,2.01,20.01,0.08,0.37,2.33,0.0,2.15
SAT_Competition2007/crafted/Hard/contest05/others/sgp_5-6-8.sat05-2669.reshuffled-07.cnf,1,0.98,2.0,2.15,2.07,20.11,2.79,2.79,2.41,0.08,2.32
SAT_Competition2009/CRAFTED/Hard/contest04/others/Composite-048BitPrimes-1.sat05-504.reshuffled-07.cnf,1,0.06,2.01,2.0,2.01,20.02,0.11,0.91,2.24,0.01,2.09
SAT_Competition2009/CRAFTED/Difficult/contest05/others/sgp_6-6-10.sat05-2670.reshuffled-07.cnf,1,6.5,2.01,2.53,2.46,20.09,8.33,5.83,2.93,0.29,2.97
SAT_Competition2011/SAT09/CRAFTED/rbsat/random/unforced/rbsat-v2400c266431g10.cnf,1,0.1,1.99,2.07,2.01,20.02,1.66,3.27,2.23,0.04,2.25
SAT_Competition2009/CRAFTED/Hard/contest04/connamacher/connm-ue-csp-sat-n1200-d0.04-s736572600.sat05-546.reshuffled-07.cnf,1,0.01,2.0,2.0,0.52,5.2,0.13,0.11,2.13,0.0,2.13
SAT_Competition2011/SAT11/crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/VanDerWaerden_pd_2-3-23_506.cnf,1,0.01,2.0,2.0,0.35,20.01,0.05,1.49,2.07,0.0,2.07
SAT_Competition2009/CRAFTED/rbsat/crafted/unforced/rbsat-v2640c305320g4.cnf,1,0.12,2.01,2.05,2.01,20.47,1.91,2.69,2.27,0.04,2.27
SAT_Competition2011/SAT09/CRAFTED/rbsat/crafted/unforced/rbsat-v945c61409g3.cnf,1,0.01,2.0,2.0,2.01,20.16,0.25,2.13,2.1,0.01,2.08
SAT_Competition2011/SAT05/crafted/jarvisalo05/mod2c-rand3bip-sat/mod2c-rand3bip-sat-250-3.shuffled-as.sat05-2535.cnf,1,0.0,2.0,2.0,0.05,0.23,0.0,0.08,2.25,0.0,2.13
SAT_Competition2009/CRAFTED/sgen/sat/sgen1-sat-240-100.cnf,1,0.0,1.99,1.81,0.0,0.0,0.0,0.01,2.43,0.0,1.56
SAT_Competition2007/crafted/Hard/contest05/QG/QG7a-gensys-ukn009.sat05-3849.reshuffled-07.cnf,1,0.03,2.01,2.0,2.01,20.01,0.08,0.85,2.38,0.01,2.13
SAT_Competition2007/crafted/Hard/contest05/counting-clq/unsat-set-b-clqcolor-30-20-26.sat05-1264.reshuffled-07.cnf,1,0.32,2.0,2.0,2.08,86.13,7.2,4.19,2.37,0.06,2.34
SAT_Competition2009/CRAFTED/Hard/contest05/phnf/phnf-size10-exclusive-gigamax.used-as.sat04-984.sat05-4194.reshuffled-07.cnf,1,2.33,2.01,2.0,2.31,21.81,4.21,4.35,2.72,0.17,2.74
SAT_Competition2011/SAT09/CRAFTED/rbsat/random/forced/rbsat-v2640c305320gyes3.cnf,1,0.15,2.0,2.03,2.03,20.03,2.25,2.94,2.29,0.07,2.31
SAT_Competition2011/SAT11/crafted/anton/SRHD-SGI/srhd-sgi-m42-q663-n40-p30-s67876261.cnf,1,0.07,2.0,2.06,2.01,20.76,1.04,2.82,2.19,0.03,2.18
SAT_Competition2011/SAT11/crafted/anton/SRHD-SGI/srhd-sgi-m42-q585-n40-p15-s54275047.cnf,1,0.08,2.0,2.01,2.01,21.71,1.38,3.38,2.22,0.03,2.2
SAT_Competition2009/CRAFTED/Difficult/contest05/jarvisalo/mod2-rand3bip-sat-280-1.sat05-2263.reshuffled-07.cnf,1,0.0,2.0,2.0,0.01,0.01,0.0,0.01,2.49,0.0,2.3
SAT_Competition2007/crafted/Hard/contest05/others/strips-gripper-18t35.sat05-1147.reshuffled-07.cnf,1,0.45,2.0,2.12,2.11,20.03,2.98,2.96,2.26,0.1,2.27
SAT_Competition2011/SAT05/crafted/jarvisalo05/mod2c-rand3bip-sat/mod2c-rand3bip-sat-240-3.shuffled-as.sat05-2520.cnf,1,0.0,2.0,2.0,0.05,0.23,0.0,0.08,2.31,0.0,2.14
SAT_Competition2007/crafted/Medium/contest05/others/QG7a-gensys-brn100.sat05-3765.reshuffled-07.cnf,1,0.03,2.0,2.0,2.01,20.01,0.08,0.81,2.58,0.01,2.15
SAT_Competition2011/SAT11/crafted/skvortsov/battleship/battleship-15-29-sat.cnf,1,0.0,2.0,2.0,0.06,1.16,0.0,0.09,2.35,0.0,2.22
SAT_Competition2007/crafted/Difficult/contest05/QG/QG6-gensys-icl009.sat05-2721.reshuffled-07.cnf,1,0.01,2.0,2.0,0.73,20.71,0.04,0.52,2.35,0.0,2.12
SAT_Competition2009/CRAFTED/Hard/contest05/others/mod2c-rand3bip-sat-220-1.sat05-2488.reshuffled-07.cnf,1,0.0,1.99,2.0,0.03,0.23,0.0,0.08,2.24,0.0,2.13
SAT_Competition2011/SAT02/handmade/chu-min-li/urquhart/urquhart3_25bis.shuffled.cnf,1,0.0,1.99,1.28,0.0,0.0,0.0,0.01,0.53,0.0,0.32
SAT_Competition2011/SAT09/CRAFTED/rbsat/random/unforced/rbsat-v945c61409g3.cnf,1,0.01,2.01,2.0,2.01,20.13,0.21,1.98,2.09,0.01,2.08
SAT_Competition2007/crafted/Hard/contest04/others/Composite-064BitPrimes-1.sat05-506.reshuffled-07.cnf,1,0.2,2.0,2.0,2.01,20.01,0.25,1.78,2.29,0.02,2.14
SAT_Competition2009/CRAFTED/ramseycube/Q32inK11.cnf,1,0.13,2.0,2.02,1.08,20.01,0.63,3.32,2.28,0.03,2.29
SAT_Competition2009/CRAFTED/Hard/contest05/QG/QG7-gensys-icl100.sat05-3226.reshuffled-07.cnf,1,0.01,2.0,2.0,1.06,20.01,0.05,0.39,2.32,0.0,2.13
SAT_Competition2007/crafted/Medium/contest05/jarvisalo/mod2-3cage-unsat-9-14.sat05-2589.reshuffled-07.cnf,1,0.0,1.99,1.26,0.0,0.0,0.0,0.0,0.41,0.0,0.27
SAT_Competition2009/CRAFTED/rbsat/random/unforced/rbsat-v2640c305320g6.cnf,1,0.14,2.0,2.06,2.04,20.03,2.1,2.81,2.29,0.05,2.29
SAT_Competition2009/CRAFTED/sgen/sat/sgen1-sat-280-100.cnf,1,0.0,1.99,2.01,0.01,0.0,0.0,0.0,2.75,0.0,1.96
SAT_Competition2009/CRAFTED/edgematching/fbcolors/em_7_4_8_fbc.cnf,1,0.01,2.0,2.0,1.15,8.5,0.05,0.22,2.28,0.0,2.09
SAT_Competition2009/CRAFTED/Hard/contest03/looksrandom/hgen8-n320-02-S1127428711.sat05-484.reshuffled-07.cnf,1,0.0,1.99,1.93,0.0,0.0,0.0,0.01,1.57,0.0,1.04
SAT_Competition2011/SAT09/CRAFTED/rbsat/crafted/unforced/rbsat-v760c43649g7.cnf,1,0.01,2.0,2.0,1.4,20.01,0.14,1.33,2.1,0.01,2.09
SAT_Competition2011/SAT11/crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/VanDerWaerden_pd_2-3-22_462.cnf,1,0.01,2.0,2.0,0.3,20.01,0.05,1.23,2.07,0.0,2.07
SAT_Competition2009/CRAFTED/Difficult/contest-02-03-04/contest04-lksat-n1000-m6860-k4-l4-s1935114289.sat05-523.reshuffled-07.cnf,1,0.01,2.0,2.0,0.34,0.92,0.01,0.09,2.22,0.0,2.11
SAT_Competition2011/SAT04/handmade/connamacher/connm-d0.04/connm-ue-csp-sat-n800-d0.04-s1788334438.used-as.sat04-976.cnf,1,0.0,2.0,2.0,0.2,3.24,0.05,0.07,2.16,0.01,2.1
SAT_Competition2011/SAT11/crafted/mosoi/289/289-sat-11x4.cnf,1,0.0,0.01,2.0,0.02,1.53,0.0,0.02,1.01,0.0,1.18
SAT_Competition2009/CRAFTED/sgen/unsat/sgen1-unsat-121-100.cnf,1,0.0,1.99,1.16,0.0,0.0,0.0,0.0,0.81,0.0,0.5
SAT_Competition2011/SAT03/handmade/anton/UNSAT/SGI_30_60_24_40_2-log.shuffled-as.sat03-119.cnf,1,0.03,2.0,2.01,0.66,21.56,0.21,1.4,2.1,0.01,2.11
SAT_Competition2011/SAT11/crafted/mosoi/289/289-unsat-14x34.cnf,1,0.09,2.01,2.02,2.01,20.58,4.96,3.23,2.28,0.04,2.27
SAT_Competition2009/CRAFTED/parity-games/instance_n9_i9_pp.cnf,1,1.49,2.02,2.03,2.04,20.04,1.46,3.1,2.46,0.08,2.4
SAT_Competition2011/SAT11/crafted/anton/SRHD-SGI/srhd-sgi-m52-q918.75-n50-p15-s98191766.cnf,1,0.2,2.01,2.07,2.01,20.06,4.12,3.21,2.43,0.1,2.46
SAT_Competition2011/SAT09/CRAFTED/modcircuits/mod3block_2vars_11gates_u2_autoenc.cnf,1,0.02,2.0,2.01,2.01,20.79,2.61,2.41,2.15,0.02,2.14
SAT_Competition2011/SAT04/handmade/kexu/frb-0.6/frb75-13-2.used-as.sat04-878.cnf,1,0.01,2.0,2.0,1.07,20.01,0.09,0.59,2.09,0.0,2.09
SAT_Competition2011/SAT09/CRAFTED/rbsat/random/forced/rbsat-v2400c266431gyes7.cnf,1,0.13,2.01,2.0,2.01,20.02,1.75,3.12,2.25,0.04,2.25
SAT_Competition2007/crafted/Medium/contest05/sabharwal/sat-strips-gripper-12t23.sat05-1144.reshuffled-07.cnf,1,0.05,2.0,2.0,2.01,20.01,0.45,2.17,2.2,0.01,2.1
SAT_Competition2007/crafted/Hard/contest05/counting-clq/unsat-set-a-fclqcolor-10-06-07.sat05-1274.reshuffled-07.cnf,1,0.0,2.0,2.0,0.02,9.1,0.01,0.06,2.27,0.0,2.13
SAT_Competition2011/SAT03/handmade/stanion/hwb/hwb-n30-02-S77299857.shuffled-as.sat03-1633.cnf,1,0.0,2.0,2.0,0.01,0.06,0.0,0.01,1.73,0.0,1.34