@RELATION SAT12-INDU-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_Competition2009/APPLICATION/SAT07/industrial/anbulagan/hard-unsat/total-10-19-u.cnf,1,21.17,2.0,2.05,2.1,20.05,6.9,3.74,2.47,0.1,2.52
SAT_RACE2008/simon-s02b-r4b1k1.2.cnf,1,0.01,2.0,2.0,1.53,10.74,0.12,0.24,2.35,0.0,2.16
SAT_Competition2011/SAT11/application/kullmann/AES/Benchmarks/128/aes_128_2_keyfind_1.cnf,1,0.01,2.0,2.0,1.54,20.01,0.05,0.46,2.37,0.0,2.15
SAT_Competition2007/industrial/industrial/babic/hsatv17/hsat_vc11773.cnf,1,?,?,?,?,?,4.31,?,?,?,?
SAT_RACE2008/velev-vliw-sat-4.0-b4.cnf,1,573.76,2.03,2.22,2.54,281.13,134.5,149.34,13.12,2.11,13.39
SAT_RACE2006/SAT-Race_TS_1/velev-sss-1.0-cl.cnf,1,0.0,0.23,2.0,0.4,20.03,0.03,0.24,2.14,0.01,2.12
SAT_RACE2006/SAT-Race-Benchmarks/mizh-sha0-35-5.cnf,1,0.98,2.0,2.0,2.01,5.0,0.69,1.19,2.35,0.02,2.12
SAT-Race-2010-CNF/hardware-verification/manolios/c10idw_i.cnf,1,2.7,2.01,2.0,2.02,20.02,2.75,2.69,2.35,0.04,2.26
SAT_RACE2006/SAT-Race_TS_1/velev-fvp-sat-3.0-12.cnf,1,2.67,2.01,2.08,2.02,20.79,3.29,4.8,2.94,0.33,2.99
SAT_RACE2008/velev-vliw-uns-4.0-9.cnf,1,18.6,2.02,2.03,2.08,21.93,12.99,12.46,3.6,0.39,3.51
SAT_Competition2011/SAT11/application/fuhs/slp-synthesis-AES/slp-synthesis-aes-top21.cnf,1,0.86,2.0,2.0,2.01,20.02,0.84,1.68,2.31,0.02,2.14
SAT_Competition2011/SAT03/industrial/schuppan/l2s/dme-03-1-k247-unsat.shuffled-as.sat03-407.cnf,1,8.08,2.01,2.05,2.12,31.92,11.83,3.3,2.39,0.13,2.51
SAT_Competition2009/APPLICATION/SAT09/APPLICATIONS/aprove09/AProVE09-06.cnf,1,3.43,2.0,2.01,2.02,20.01,1.55,2.04,2.28,0.03,2.19
SAT-Race-2010-CNF/mixed/anbulagan/dated-10-19-u.cnf,1,11.48,1.99,2.01,2.04,16.04,5.11,3.14,2.36,0.07,2.34
SAT-Race-2010-CNF/software-verification/bitverif/minxorminand128.cnf,1,0.54,2.0,2.0,2.02,20.07,9.06,2.91,2.31,0.03,2.21
SAT_Competition2009/APPLICATION/SAT09/APPLICATIONS/bitverif/minor/minor064.cnf,1,0.02,2.01,2.0,1.72,20.01,0.39,0.85,2.27,0.0,2.12
SAT_Competition2011/SAT07/industrial/anbulagan/hard-sat/partial-10-17-s.cnf,1,54.77,2.01,2.26,2.16,20.07,6.94,3.94,2.71,0.15,2.73
SAT_Competition2007/industrial/industrial/babic/dspam/dspam_dump_vc1080.cnf,1,?,?,?,?,?,1.56,?,?,?,?
SAT_RACE2008/fuhs-aprove-15.cnf,1,0.1,2.0,2.0,2.01,3.67,0.44,0.37,2.38,0.0,2.09
SAT_Competition2011/SAT11/application/leberre/2dimensionalstrippacking/E02F17.cnf,1,0.09,2.0,2.0,2.01,20.91,0.23,1.85,2.07,0.0,2.09
SAT_Competition2011/SAT07/industrial/anbulagan/hard-unsat/dated-5-13-u.cnf,1,4.77,2.0,2.0,2.03,4.73,2.8,2.58,2.27,0.03,2.22
SAT_Competition2011/SAT07/industrial/anbulagan/medium-unsat/dated-5-11-u.cnf,1,2.91,2.0,2.01,2.01,2.99,2.1,2.22,2.26,0.03,2.14
SAT-Race-2010-CNF/hardware-verification/velev/2dlx_ca_bp_f_liveness.cnf,1,87.38,2.0,2.13,2.15,21.1,22.14,30.09,5.54,0.65,5.57
SAT_RACE2006/SAT-Race_TS_2/velev-pipe-sat-1.1-03.cnf,1,19.05,2.02,2.33,2.12,22.16,21.58,38.39,5.84,0.79,5.97
SAT-Race-2010-CNF/software-verification/nec/hard-0-U-7061.cnf,1,4.89,1.9,2.0,2.03,20.07,6.74,2.85,2.31,0.05,2.25
SAT_RACE2008/ibm-2002-18r-k90.cnf,1,7.13,1.99,2.0,2.02,20.03,4.16,3.09,2.44,0.06,2.38
SAT_Competition2007/industrial/industrial/anbulagan/hard-unsat/dated-5-13-u.cnf,1,4.89,2.0,2.02,2.01,4.81,4.5,2.69,2.26,0.08,2.19
SAT_Competition2007/industrial/industrial/anbulagan/hard-unsat/partial-5-15-u.cnf,1,27.74,2.01,2.0,2.05,13.04,4.63,3.34,2.53,0.09,2.52
SAT_Competition2007/industrial/industrial/babic/xinetd/itox_vc1044.cnf,1,2.22,2.0,2.0,2.01,21.35,3.86,2.47,2.27,0.03,2.16
SAT_RACE2006/SAT-Race_TS_1/velev-pipe-1.1-05.cnf,1,18.59,2.02,2.42,2.09,35.79,18.32,36.42,5.92,0.69,5.99
SAT_Competition2011/SAT11/application/kullmann/AES/Benchmarks/32/aes_32_3_keyfind_1.cnf,1,0.0,2.0,2.0,0.04,0.1,0.0,0.03,2.95,0.0,2.39
SAT_Competition2011/SAT11/application/jarvisalo/HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k50-eijkbs6669-tseitin.cnf,1,8.2,2.0,2.02,2.02,9.78,2.21,2.75,2.29,0.04,2.26
SAT_Competition2011/SAT11/application/kullmann/AES/Benchmarks/32/aes_32_4_keyfind_1.cnf,1,0.0,2.0,2.0,0.07,0.09,0.0,0.04,2.75,0.0,2.29
SAT_Competition2011/SAT11/application/rintanen/SATPlanning/blocks-blocks-36-0.170-NOTKNOWN.cnf,1,746.55,2.03,2.06,2.2,20.67,21.85,52.22,8.29,1.82,8.64
SAT_Competition2009/APPLICATION/SAT07/industrial/anbulagan/hard-sat/partial-10-15-s.cnf,1,38.39,2.0,2.06,2.19,17.93,7.64,4.12,2.7,0.25,2.7
SAT_Competition2011/SAT11/application/manthey/traffic/traffic_r_uc_sat.cnf,1,495.37,2.01,2.18,2.67,20.27,11.75,15.65,6.84,0.75,6.9
SAT_Competition2007/industrial/industrial/anbulagan/hard-sat/partial-5-17-s.cnf,1,41.62,2.0,2.06,2.05,20.06,6.06,4.15,2.63,0.16,2.64
SAT-Race-2010-CNF/mixed/anbulagan/dated-5-11-u.cnf,1,2.89,1.99,2.01,2.02,3.12,2.23,2.36,2.26,0.03,2.16
SAT-Race-2010-CNF/software-verification/nec/hard-2-U-9007.cnf,1,11.3,2.0,2.01,2.08,20.21,23.46,5.16,2.48,0.09,2.46
SAT_RACE2006/SAT-Race_TS_1/velev-vliw-sat-2.0-04.cnf,1,101.88,2.02,2.01,2.85,50.42,26.45,32.61,8.93,1.27,8.97
SAT-Race-2010-CNF/cryptography/mizh/md5_48_3.cnf,1,1.74,2.0,2.0,2.03,8.01,0.96,1.77,2.25,0.02,2.17
SAT_RACE2008/post-c32s-gcdm16-22.cnf,1,0.52,2.0,2.0,2.01,20.01,2.49,1.63,2.36,0.01,2.17
SAT_RACE2008/post-c32s-ss-8.cnf,1,0.48,1.99,2.0,2.01,10.04,1.01,2.25,2.33,0.01,2.1
SAT_Competition2011/SAT11/application/manthey/traffic/traffic_kkb_unknown.cnf,1,2.57,2.0,2.0,2.04,20.05,1.69,3.68,2.79,0.12,2.69
SAT-Race-2010-CNF/mixed/bioinf/q_query_3_l48_lambda.cnf,1,0.18,2.0,2.0,2.01,20.01,0.69,0.78,2.34,0.01,2.1
SAT_Competition2007/industrial/industrial/manolios/manol-pipe-g10bidw.cnf,1,3.85,2.0,2.0,2.04,20.03,3.64,3.16,2.41,0.06,2.33
SAT_RACE2006/SAT-Race-Benchmarks/manol-pipe-c7bidw_i.cnf,1,1.27,2.0,2.0,2.01,20.02,1.85,2.59,2.28,0.03,2.19
SAT_Competition2009/APPLICATION/SAT07/industrial/grieu/vmpc_24.cnf,1,0.01,1.99,2.0,1.22,20.39,0.09,0.35,2.1,0.01,2.08
SAT_RACE2006/SAT-Race_TS_1/simon-mixed-s02bis-01.cnf,1,0.02,2.0,2.0,1.53,10.27,0.17,0.25,2.18,0.01,2.09
SAT_Competition2011/SAT-Race-2010-CNF/software-verification/nec/hard-25-U-7061.cnf,1,?,?,?,?,?,12.66,?,?,?,?
SAT_Competition2011/SAT09/APPLICATIONS/satComp09_BioInstances/rbcl_xits_08_UNSAT.cnf,1,0.02,1.99,2.0,2.01,22.85,0.34,2.29,2.09,0.01,2.07
SAT_RACE2006/SAT-Race-Benchmarks/ibm-2004-1_31_2-k25.cnf,1,0.18,2.0,2.0,2.01,12.4,0.39,0.85,2.19,0.01,2.09
SAT_Competition2011/SAT11/application/manthey/traffic/traffic_f_unknown.cnf,1,2.59,2.0,2.02,2.01,20.05,1.86,4.03,2.84,0.13,2.78
SAT_Competition2009/APPLICATION/SAT_RACE06/manol-pipe-c6nidw_i.cnf,1,0.7,2.0,2.0,2.02,20.01,1.36,2.5,2.28,0.02,2.15
SAT_Competition2007/industrial/industrial/anbulagan/medium-sat/total-5-17-s.cnf,1,20.31,2.0,2.06,2.05,17.41,6.38,3.79,2.48,0.14,2.48
SAT_RACE2006/SAT-Race-Benchmarks/manol-pipe-f10ni.cnf,1,7.88,2.01,2.02,2.07,20.03,5.26,3.48,2.54,0.08,2.5
SAT_Competition2011/SAT11/application/jarvisalo/HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k50-bc57sensorsp2-tseitin.cnf,1,0.76,0.82,2.0,2.01,20.02,2.03,2.34,2.35,0.01,2.13
SAT_RACE2008/velev-vliw-uns-4.0-9-i1.cnf,1,47.59,2.01,2.21,2.33,36.42,23.68,25.79,5.06,0.87,4.65
SAT_Competition2011/SAT07/industrial/anbulagan/hard-unsat/partial-5-11-u.cnf,1,14.7,2.0,2.06,2.02,6.74,3.41,2.98,2.34,0.06,2.32
SAT_RACE2008/post-cbmc-aes-d-r2.cnf,1,0.14,2.01,2.01,2.01,20.07,22.32,2.88,2.46,0.04,2.46
SAT_Competition2009/APPLICATION/SAT09/APPLICATIONS/satComp09_BioInstances/ndhf_xits_11_UNSAT.cnf,1,0.1,1.99,2.04,2.02,47.62,2.07,2.47,2.22,0.04,2.22
SAT_Competition2011/SAT11/application/kullmann/AES/Benchmarks/32/aes_32_5_keyfind_1.cnf,1,0.0,2.0,2.0,0.11,0.15,0.01,0.04,2.9,0.0,2.3
SAT_Competition2007/industrial/industrial/palacios/uts/uts-l06-ipc5-h29-unknown.cnf,1,0.91,2.0,2.0,2.05,20.12,8.31,11.79,2.63,0.09,2.62
SAT-Race-2010-CNF/mixed/jarvisalo/eq.atree.braun.12.unsat.cnf,1,0.0,2.0,2.0,0.22,0.06,0.01,0.04,2.65,0.0,2.22
SAT_Competition2007/industrial/industrial/anbulagan/hard-unsat/partial-10-17-u.cnf,1,55.54,2.02,2.06,2.03,20.08,7.31,4.21,2.71,0.21,2.75
SAT_Competition2007/industrial/industrial/anbulagan/medium-unsat/dated-5-11-u.cnf,1,2.92,2.0,2.01,2.01,2.99,2.17,2.26,2.24,0.03,2.14
SAT_Competition2011/SAT02/industrial/nam/fpga-routing/k2fix_gr_rcs_w8.shuffled.cnf,1,0.44,2.0,2.07,2.02,20.1,1.52,2.94,2.34,0.08,2.28
SAT_RACE2006/SAT-Race-Benchmarks/simon-s03-fifo8-400.cnf,1,2.3,2.0,2.0,2.01,4.03,3.71,2.47,2.26,0.02,2.14
SAT_Competition2011/SAT11/application/jarvisalo/smtqfbv-aigs/smtlib-qfbv-aigs-lfsr_008_079_112-tseitin.cnf,1,0.15,2.0,2.0,2.01,20.33,252.7,2.32,2.21,0.02,2.12
SAT_Competition2009/APPLICATION/SAT_RACE06/velev-pipe-o-uns-1.1-6.cnf,1,0.45,2.0,2.02,2.01,20.28,1.16,2.66,2.26,0.06,2.27
SAT_Competition2011/SAT07/industrial/IBM_FV_2002_13_rule_1/SAT_dat.k80.cnf,1,0.78,2.0,2.0,2.01,20.04,0.96,2.35,2.52,0.04,2.14
SAT_Competition2011/SAT11/application/fuhs/slp-synthesis-AES/slp-synthesis-aes-bottom15.cnf,1,0.27,2.0,2.0,2.01,20.01,0.41,1.27,2.31,0.01,2.1
SAT_Competition2011/SAT11/application/manthey/traffic/traffic_b_unsat.cnf,1,1.78,2.0,2.08,2.03,20.05,1.74,3.94,2.83,0.11,2.77
SAT_RACE2008/babic-dspam-vc973.cnf,1,?,?,?,?,?,3.37,?,?,?,?
SAT_RACE2006/SAT-Race-Benchmarks/ibm-2002-26r-k45.cnf,1,19.33,2.0,2.0,2.04,20.36,6.41,4.61,2.81,0.14,2.77
SAT_Competition2009/APPLICATION/SAT09/APPLICATIONS/satComp09_BioInstances/rbcl_xits_12_UNKNOWN.cnf,1,0.04,2.0,2.0,2.01,20.64,0.63,2.51,2.12,0.03,2.11
SAT_RACE2008/ibm-2004-29-k25.cnf,1,0.16,2.0,2.0,2.01,9.29,0.3,0.81,2.17,0.0,2.07
SAT_Competition2009/APPLICATION/SAT09/APPLICATIONS/aprove09/AProVE09-03.cnf,1,0.06,0.05,2.0,2.01,20.12,0.93,0.9,2.19,0.0,2.79
SAT_Competition2009/APPLICATION/SAT07/industrial/anbulagan/hard-unsat/dated-5-17-u.cnf,1,9.02,2.0,2.07,2.07,10.35,4.72,3.08,2.36,0.1,2.31
SAT_Competition2011/SAT11/application/fuhs/slp-synthesis-AES/slp-synthesis-aes-top22.cnf,1,1.03,2.0,2.0,2.01,20.01,0.86,1.75,2.25,0.01,2.11
SAT-Race-2010-CNF/software-verification/nec/hard-11-U-7061.cnf,1,?,?,?,?,?,16.4,?,?,?,?
SAT_Competition2009/APPLICATION/SAT07/industrial/palacios/hard/safe-50-h49-unsat.cnf,1,2.5,2.0,2.01,2.24,29.19,250.31,17.59,3.66,0.25,3.67
SAT_Competition2011/SAT11/application/jarvisalo/AAAI2010-SATPlanning/aaai10-planning-ipc5-pipesworld-18-step15.cnf,1,38.5,2.01,2.22,2.04,20.14,4.51,12.49,3.73,0.37,3.75
SAT_Competition2009/APPLICATION/SAT09/APPLICATIONS/aprove09/AProVE09-15.cnf,1,3.56,2.0,2.0,2.03,20.02,1.9,2.17,2.25,0.04,2.19
SAT_RACE2006/SAT-Race_TS_2/manol-pipe-c7_i.cnf,1,0.02,1.3,2.01,1.62,8.39,0.16,0.39,2.24,0.0,2.1
SAT_RACE2006/SAT-Race_TS_2/manol-pipe-f6nid.cnf,1,1.16,2.0,2.0,2.01,20.01,2.0,2.52,2.38,0.03,2.27
SAT_Competition2007/industrial/industrial/fuhs/medium/AProVE07-15.cnf,1,0.1,2.0,2.0,2.01,3.63,0.37,0.38,2.19,0.0,2.07
SAT_Competition2009/APPLICATION/SAT09/APPLICATIONS/bioinfo/q_query_3_L100_coli.sat.cnf,1,5.81,2.0,2.0,2.06,20.05,14.98,3.68,2.57,0.08,2.52
SAT_Competition2011/SAT11/application/rintanen/SATPlanning/openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_1.025-NOTKNOWN.cnf,1,2.23,2.0,2.0,2.01,20.01,1.22,2.37,2.38,0.04,2.15
SAT_Competition2007/industrial/industrial/babic/xinetd/itox_vc1033.cnf,1,2.4,2.01,2.0,2.02,20.66,3.11,2.42,2.22,0.02,2.14
SAT_RACE2008/mizh-md5-48-2.cnf,1,1.74,2.0,2.0,2.01,7.98,0.96,1.66,2.3,0.02,2.16
SAT_RACE2006/SAT-Race_TS_2/miza-sr06-md5-47-03.cnf,1,1.67,2.0,2.0,2.01,7.69,0.94,1.6,2.25,0.02,2.14
SAT-Race-2010-CNF/software-verification/babic/dspam_dump_vc972.cnf,1,57.1,2.0,2.02,2.05,20.06,4.02,3.89,2.57,0.11,2.59
SAT_RACE2008/manol-pipe-f7nidw.cnf,1,5.16,2.01,2.0,2.01,20.04,4.47,3.12,2.42,0.06,2.38
SAT_Competition2007/industrial/industrial/babic/hsatv17/hsat_vc12070.cnf,1,?,?,?,?,?,3.06,?,?,?,?
SAT_Competition2007/industrial/industrial/babic/xinetd/itox_vc909.cnf,1,2.38,2.0,2.0,2.01,20.23,2.63,2.47,2.24,0.02,2.16
SAT_RACE2006/SAT-Race_TS_1/narai-vpn-10s.cnf,1,940.81,2.01,3.53,3.27,140.93,468.13,23.95,6.81,2.0,6.85
SAT_Competition2011/SAT11/application/jarvisalo/HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k50-bjrb07amba2andenv-tseitin.cnf,1,0.69,2.0,2.01,2.01,20.01,1.3,2.34,2.15,0.02,2.14
SAT_Competition2011/SAT11/application/jarvisalo/AAAI2010-SATPlanning/aaai10-planning-ipc5-pipesworld-12-step15.cnf,1,8.05,2.0,2.03,2.09,20.06,2.14,4.79,2.66,0.13,2.62
SAT_Competition2009/APPLICATION/SAT09/APPLICATIONS/bitverif/icbrt/icbrt1_32.cnf,1,0.08,2.0,2.0,2.01,7.26,0.18,0.24,2.4,0.0,2.09
SAT-Race-2010-CNF/mixed/diagnosis/UCG-20-10p1.cnf,1,47.39,2.02,2.0,2.03,20.07,6.73,4.31,2.83,0.18,2.86
SAT_Competition2011/SAT07/industrial/babic/hsatv17/hsat_vc12062.cnf,1,?,?,?,?,?,2.69,?,?,?,?
SAT_RACE2008/velev-vliw-uns-2.0-iq1.cnf,1,0.77,2.0,2.02,2.01,20.16,1.46,3.04,2.24,0.03,2.22
SAT_RACE2006/SAT-Race_TS_1/velev-pipe-1.1-03.cnf,1,19.32,2.02,2.17,2.18,21.74,21.14,38.12,6.09,0.73,5.71
SAT_Competition2009/APPLICATION/SAT09/APPLICATIONS/satComp09_BioInstances/rpoc_xits_12_UNKNOWN.cnf,1,0.05,2.01,2.01,2.01,29.6,1.03,2.58,2.13,0.02,2.14
SAT_Competition2009/APPLICATION/SAT_RACE06/manol-pipe-f10ni.cnf,1,7.84,2.0,2.02,2.05,20.05,5.73,3.43,2.53,0.09,2.51
SAT_Competition2011/SAT11/application/jarvisalo/smtqfbv-aigs/smtlib-qfbv-aigs-ext_con_032_008_0256-tseitin.cnf,1,?,?,?,?,?,0.4,?,?,?,?
SAT_Competition2009/APPLICATION/SAT07/industrial/palacios/uts/uts-l05-ipc5-h27-unknown.cnf,1,0.45,2.01,2.0,2.03,20.02,6.71,5.05,2.42,0.05,2.38
SAT-Race-2010-CNF/cryptography/mizh/sha0_36_5.cnf,1,1.04,1.99,2.0,2.01,5.4,0.71,1.25,2.34,0.01,2.13
SAT_Competition2011/SAT_RACE06/ibm-2002-21r-k95.cnf,1,8.34,2.0,2.0,2.03,20.04,4.74,3.52,2.48,0.06,2.41
SAT_Competition2011/SAT09/APPLICATIONS/bitverif/countbitsrotate/countbitsrotate032.cnf,1,0.05,1.99,2.0,2.01,0.75,0.15,0.17,2.41,0.0,2.11
SAT_Competition2007/industrial/industrial/babic/hsatv17/hsat_vc11803.cnf,1,?,?,?,?,?,4.83,?,?,?,?
SAT_Competition2011/SAT-Race-2010-CNF/software-verification/nec/hard-18-U-10652.cnf,1,198.25,2.02,2.05,2.31,20.12,254.18,22.3,4.01,0.31,4.03
SAT_Competition2007/industrial/industrial/anbulagan/hard-unsat/partial-5-17-u.cnf,1,40.23,2.0,2.1,2.08,19.82,6.79,4.38,2.6,0.18,2.83
SAT_RACE2006/SAT-Race-Benchmarks/velev-pipe-uns-1.1-7.cnf,1,0.9,2.01,2.03,2.02,20.43,1.89,3.1,2.43,0.07,2.43
SAT_Competition2011/SAT11/application/kullmann/AES/Benchmarks/128/aes_128_3_keyfind_1.cnf,1,0.02,2.01,2.0,2.01,20.01,0.07,0.7,2.25,0.0,2.14
SAT_Competition2007/industrial/industrial/palacios/medium/cube-11-h14-sat.cnf,1,45.49,2.01,2.09,2.11,20.39,13.48,4.19,2.84,0.17,2.84
SAT_RACE2006/SAT-Race_TS_2/manol-pipe-c10nid_s.cnf,1,10.09,2.01,2.01,2.04,20.04,6.03,3.6,2.57,0.15,2.6
SAT_Competition2009/APPLICATION/SAT07/industrial/anbulagan/hard-unsat/partial-10-19-u.cnf,1,68.14,2.01,2.41,2.18,20.07,7.46,4.48,2.83,0.17,2.84
SAT_Competition2009/APPLICATION/SAT09/APPLICATIONS/crypto/desgen/gss-28-s100.cnf,1,0.53,1.99,2.0,2.01,2.54,0.87,1.6,2.19,0.02,2.09
SAT_RACE2006/SAT-Race-Benchmarks/simon-s02b-k2f-gr-rcs-w8.cnf,1,0.52,2.0,2.15,2.01,20.02,2.64,2.77,2.37,0.1,2.29
SAT_Competition2009/APPLICATION/SAT09/APPLICATIONS/diagnosis/UR-15-5p0.cnf,1,17.88,2.0,2.03,2.05,20.05,3.94,3.29,2.45,0.11,2.47
SAT_RACE2006/SAT-Race_TS_1/velev-pipe-uns-1.0-08.cnf,1,2.89,2.01,2.01,2.05,36.39,5.37,7.76,2.99,0.18,3.0
SAT_Competition2007/industrial/industrial/anbulagan/medium-sat/total-5-19-s.cnf,1,22.19,2.0,2.0,2.03,20.05,6.7,3.44,2.55,0.14,2.54
SAT_Competition2011/SAT11/application/leberre/2dimensionalstrippacking/E02F20.cnf,1,0.41,2.02,2.03,2.05,20.51,2.27,4.65,2.57,0.08,2.56
SAT_RACE2008/schup-l2s-bc56s-1-k391.cnf,1,55.74,2.01,2.01,2.06,20.05,10.03,5.27,2.75,0.17,2.82
SAT_Competition2011/SAT09/APPLICATIONS/crypto/desgen/gss-22-s100.cnf,1,0.48,2.01,2.0,2.01,2.52,0.79,1.38,2.3,0.01,2.11
SAT_Competition2007/industrial/industrial/crypto/mizh-md5-47-4.cnf,1,1.68,2.01,2.0,2.02,7.7,0.91,1.64,2.26,0.02,2.15
SAT_RACE2008/babic-dspam-vc1080.cnf,1,?,?,?,?,?,1.52,?,?,?,?
SAT_Competition2007/industrial/industrial/babic/dspam/dspam_dump_vc972.cnf,1,55.79,2.01,2.02,2.01,20.08,4.46,3.76,2.62,0.15,2.64
SAT_RACE2006/SAT-Race_TS_1/velev-fvp-sat-3.0-07.cnf,1,2.51,2.01,2.05,2.03,20.07,3.03,4.38,2.85,0.15,2.84
SAT_RACE2006/SAT-Race_TS_2/manol-pipe-c6ni_s.cnf,1,0.43,2.01,2.0,2.01,20.03,1.01,1.98,2.26,0.01,2.16
SAT_Competition2007/industrial/industrial/anbulagan/hard-sat/partial-10-13-s.cnf,1,31.45,2.0,2.02,2.09,12.84,5.1,3.34,2.52,0.1,2.52
SAT_Competition2009/APPLICATION/SAT07/industrial/anbulagan/hard-unsat/partial-5-15-u.cnf,1,27.74,2.0,2.01,2.02,13.28,4.72,3.49,2.49,0.09,2.47
SAT_Competition2009/APPLICATION/SAT07/industrial/jarvisalo/eq.atree.braun.9.unsat.cnf,1,0.0,2.0,2.0,0.06,0.03,0.0,0.02,2.6,0.0,2.27
SAT_Competition2009/APPLICATION/SAT09/APPLICATIONS/c32sat/post-c32s-gcdm16-22.cnf,1,0.53,2.0,2.0,2.01,20.01,2.94,1.71,2.2,0.02,2.12
SAT_Competition2011/SAT11/application/rintanen/SATPlanning/transport-transport-city-sequential-35nodes-1000size-4degree-100mindistance-4trucks-14packages-2008seed.050-SAT.cnf,1,2758.85,2.06,2.32,2.16,20.41,23.74,103.73,7.5,1.71,7.49
SAT_Competition2009/APPLICATION/SAT07/industrial/palacios/uts/uts-l06-ipc5-h31-unknown.cnf,1,1.25,2.01,2.12,2.06,20.09,13.43,13.42,2.74,0.13,2.76
SAT_Competition2007/industrial/industrial/palacios/medium/cube-9-h11-sat.cnf,1,7.5,2.0,2.02,2.01,20.15,4.27,3.23,2.35,0.06,2.33
SAT_Competition2011/SAT09/APPLICATIONS/bitverif/maxxor/maxxor064.cnf,1,0.84,2.0,2.0,2.01,20.01,0.93,1.32,2.16,0.01,2.11
SAT_RACE2006/SAT-Race_TS_1/goldb-heqc-desmul.cnf,1,1.94,1.99,2.0,2.01,20.1,0.79,2.49,2.25,0.02,2.18
SAT_Competition2009/APPLICATION/SAT09/APPLICATIONS/bitverif/countbitsrotate/countbitsrotate128.cnf,1,14.33,2.0,2.01,2.04,20.03,2.0,2.74,2.27,0.05,2.28
SAT_RACE2006/SAT-Race_TS_2/velev-pipe-sat-1.0-01.cnf,1,32.92,2.01,3.39,3.27,72.43,154.35,65.01,8.5,1.21,8.64
SAT_Competition2009/APPLICATION/SAT07/industrial/palacios/medium/emptyroom-4-h21-unsat.cnf,1,0.87,1.99,2.0,2.01,20.03,1.34,1.46,2.18,0.03,2.14
SAT_Competition2007/industrial/industrial/fuhs/hard/AProVE07-03.cnf,1,0.01,2.01,2.0,0.4,0.69,0.03,0.09,2.38,0.0,2.18
SAT_RACE2006/SAT-Race_TS_1/manol-pipe-f6b.cnf,1,0.08,1.06,2.0,2.01,20.01,0.48,0.83,2.2,0.01,2.09
SAT_RACE2006/SAT-Race_TS_1/simon-mixed-s02bis-05.cnf,1,0.02,2.0,2.0,1.42,10.56,0.12,0.25,2.34,0.0,2.14
SAT_Competition2011/SAT11/application/rintanen/SATPlanning/transport-transport-three-cities-sequential-14nodes-1000size-4degree-100mindistance-4trucks-14packages-2008seed.020-NOTKNOWN.cnf,1,325.2,2.0,2.36,2.14,20.14,8.35,38.39,3.81,0.4,3.85
SAT_Competition2009/APPLICATION/SAT09/APPLICATIONS/bitverif/maxxororand/maxxororand128.cnf,1,22.63,2.01,2.04,2.04,20.04,12.25,4.09,2.53,0.09,2.51
SAT_Competition2009/APPLICATION/SAT07/industrial/jarvisalo/eq.atree.braun.10.unsat.cnf,1,0.0,1.99,2.0,0.09,0.04,0.01,0.03,2.56,0.0,2.24
SAT_Competition2011/SAT11/application/rintanen/SATPlanning/openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_3.025-NOTKNOWN.cnf,1,2.25,2.0,2.01,2.01,20.02,1.29,2.37,2.41,0.03,2.16
SAT_Competition2009/APPLICATION/SAT09/APPLICATIONS/bitverif/maxor/maxor128.cnf,1,12.98,2.0,2.0,2.01,20.04,5.53,3.21,2.33,0.08,2.32
SAT-Race-2010-CNF/software-verification/post/zfcp.cnf,1,?,?,?,?,?,5.78,?,?,?,?
SAT_Competition2007/industrial/industrial/palacios/uts/uts-l06-ipc5-h32-unknown.cnf,1,1.12,2.0,2.05,2.04,20.11,11.03,12.83,2.71,0.11,2.76
SAT_Competition2011/SAT04/industrial/velev/pipe-sat-1-1/12pipe_bug4_q0.used-as.sat04-723.cnf,1,18.23,2.0,2.02,2.37,36.85,18.46,36.18,5.68,0.69,5.69
SAT_Competition2007/industrial/industrial/palacios/hard/safe-50-h49-unsat.cnf,1,2.21,2.01,2.26,2.02,26.96,189.08,16.91,3.6,0.2,3.58
SAT_RACE2006/SAT-Race_TS_2/schup-l2s-s04s2-09.cnf,1,0.06,1.99,2.0,2.01,2.74,0.29,0.67,2.28,0.0,2.08
SAT_Competition2009/APPLICATION/SAT09/APPLICATIONS/bitverif/countbitssrl/countbitssrl128.cnf,1,30.15,2.01,2.02,2.04,20.04,7.63,3.79,2.52,0.11,2.52
SAT_Competition2011/SAT07/industrial/vliw_sat_4.0/9vliw_m_9stages_iq3_C1_bug6.cnf,1,575.31,2.04,2.86,2.51,279.48,132.98,151.02,13.5,2.14,13.53
SAT_Competition2011/SAT11/application/rintanen/SATPlanning/sokoban-sequential-p145-microban-sequential.080-SAT.cnf,1,38.34,2.01,2.09,2.01,20.1,6.43,6.36,3.2,0.25,3.2
SAT_RACE2008/anbul-part-10-13-s.cnf,1,31.45,2.01,2.07,2.02,12.96,5.12,3.34,2.51,0.11,2.51
SAT_Competition2007/industrial/industrial/manolios/manol-pipe-f7idw.cnf,1,4.29,2.0,2.03,2.02,20.03,4.35,3.12,2.41,0.09,2.4
SAT_RACE2006/SAT-Race-Benchmarks/velev-pipe-uns-1.0-9.cnf,1,6.09,2.01,2.1,2.3,45.09,16.59,14.23,3.76,0.37,3.71
SAT_Competition2011/SAT11/application/rintanen/SATPlanning/blocks-blocks-37-1.150-SAT.cnf,1,582.99,2.03,2.06,2.44,20.48,19.88,47.83,7.81,1.34,7.85
SAT_RACE2006/SAT-Race-Benchmarks/schup-l2s-guid-1-k56.cnf,1,2.43,2.0,2.0,2.01,13.12,1.67,2.38,2.35,0.02,2.15
SAT_Competition2007/industrial/industrial/babic/hsatv17/hsat_vc11813.cnf,1,?,?,?,?,?,6.7,?,?,?,?
SAT-Race-2010-CNF/hardware-verification/velev/12pipe_q0_k.cnf,1,18.62,2.02,2.16,2.11,23.44,22.51,36.65,5.47,0.83,5.56
SAT_Competition2011/SAT11/application/fuhs/slp-synthesis-AES/slp-synthesis-aes-bottom22.cnf,1,1.09,2.0,2.0,2.01,20.05,0.92,2.44,2.41,0.02,2.16
SAT_Competition2007/industrial/industrial/anbulagan/hard-unsat/dated-10-17-u.cnf,1,9.6,2.02,2.05,2.02,11.71,5.26,2.79,2.37,0.06,2.36
SAT_Competition2009/APPLICATION/SAT09/APPLICATIONS/bioinfo/q_query_3_L150_coli.sat.cnf,1,20.57,2.02,2.04,2.13,20.07,36.56,4.63,2.98,0.22,2.95
SAT_Competition2009/APPLICATION/SAT09/APPLICATIONS/c32sat/post-c32s-ss-8.cnf,1,0.5,1.99,2.0,2.01,10.32,1.2,2.25,2.32,0.02,2.12
SAT_Competition2011/SAT_RACE08/cnf/manol-pipe-c6bidw_i.cnf,1,0.7,2.0,2.0,2.01,20.01,1.33,2.33,2.32,0.03,2.15
SAT_Competition2007/industrial/industrial/fuhs/hard/AProVE07-08.cnf,1,0.02,1.99,2.0,1.24,2.59,0.07,0.12,2.35,0.0,2.12
SAT_RACE2006/SAT-Race-Benchmarks/ibm-2004-2_14-k45.cnf,1,1.89,1.99,2.0,2.01,20.01,1.15,2.54,2.34,0.02,2.18
SAT_Competition2009/APPLICATION/SAT09/APPLICATIONS/bitverif/countbitsarray/countbitsarray08_32.cnf,1,0.2,2.0,2.0,2.01,0.47,0.3,0.52,2.3,0.01,2.06
SAT_Competition2009/APPLICATION/SAT07/industrial/babic/hsatv17/hsat_vc11803.cnf,1,?,?,?,?,?,5.61,?,?,?,?
SAT_Competition2007/industrial/industrial/anbulagan/hard-unsat/partial-10-15-u.cnf,1,37.2,2.01,2.0,2.1,15.42,5.49,3.66,2.6,0.1,2.57
SAT_Competition2011/SAT11/application/jarvisalo/HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k45-pdtviseisenberg1-tseitin.cnf,1,1.55,2.0,2.0,2.01,20.01,2.02,2.31,2.34,0.02,2.16
SAT_RACE2008/ibm-2002-22r-k60.cnf,1,10.07,1.99,2.0,2.01,20.02,4.55,3.11,2.46,0.07,2.39
SAT_Competition2011/SAT_RACE06/velev-pipe-o-uns-1.1-6.cnf,1,0.43,1.99,2.0,2.02,20.03,1.13,2.61,2.24,0.04,2.24
SAT_Competition2011/SAT11/application/leberre/2dimensionalstrippacking/E02F22.cnf,1,3.05,2.01,2.13,2.18,25.66,22.87,12.37,4.13,0.28,4.15
SAT_Competition2009/APPLICATION/SAT09/APPLICATIONS/bitverif/countbitsarray/countbitsarray02_32.cnf,1,0.01,1.99,2.0,0.95,0.12,0.06,0.12,2.55,0.01,2.18
SAT_RACE2008/cmu-bmc-longmult15.cnf,1,0.0,2.0,2.0,0.7,2.25,0.08,0.15,2.33,0.01,2.12
SAT_Competition2007/industrial/industrial/fuhs/medium/AProVE07-04.cnf,1,0.07,2.01,2.0,2.01,20.19,18.45,2.3,2.13,0.01,2.09
SAT_RACE2008/schup-l2s-motst-2-k315.cnf,1,32.53,2.01,2.0,2.03,20.04,8.27,3.82,2.59,0.09,2.57
SAT_Competition2009/APPLICATION/SAT09/APPLICATIONS/crypto/md5gen/gus-md5-15.cnf,1,2.03,2.01,2.01,2.01,9.47,1.0,1.95,2.29,0.03,2.16
SAT_RACE2006/SAT-Race_TS_2/manol-pipe-cha05-113.cnf,1,0.11,2.01,2.0,2.01,20.01,0.49,0.99,2.28,0.0,2.1
SAT_Competition2009/APPLICATION/SAT07/industrial/anbulagan/hard-unsat/total-5-17-u.cnf,1,19.39,2.01,2.01,2.09,15.22,6.07,3.23,2.46,0.1,2.42
SAT_Competition2007/industrial/industrial/jarvisalo/eq.atree.braun.10.unsat.cnf,1,0.0,2.0,2.0,0.1,0.04,0.01,0.04,2.62,0.0,2.33
SAT_Competition2009/APPLICATION/SAT07/industrial/grieu/vmpc_34.cnf,1,0.03,2.01,2.0,2.01,22.37,0.32,1.03,2.15,0.05,2.15
SAT_Competition2009/APPLICATION/SAT09/APPLICATIONS/satComp09_BioInstances/ndhf_xits_13_UNSAT.cnf,1,0.15,2.01,2.05,2.02,48.83,2.71,3.46,2.26,0.04,2.27
SAT_Competition2009/APPLICATION/SAT_RACE06/velev-pipe-sat-1.0-b7.cnf,1,32.84,2.01,3.04,2.04,73.97,140.68,65.09,8.41,1.31,8.46
SAT_Competition2009/APPLICATION/SAT07/industrial/vliw_unsat_2.0/9dlx_vliw_at_b_iq3.cnf,1,7.62,1.99,2.07,2.12,35.39,7.25,4.8,2.79,0.16,2.78
SAT_Competition2009/APPLICATION/SAT09/APPLICATIONS/aprove09/AProVE09-01.cnf,1,0.11,0.2,2.0,2.01,15.67,1.02,2.07,2.21,0.0,2.1
SAT_Competition2009/APPLICATION/SAT_RACE06/manol-pipe-c10nidw_s.cnf,1,10.15,2.01,2.0,2.08,20.04,6.15,3.75,2.58,0.11,2.53
SAT_RACE2006/SAT-Race_TS_2/miza-sr06-sha0-35-03.cnf,1,0.98,2.0,2.0,2.01,4.98,0.69,1.23,2.3,0.02,2.14
SAT_Competition2011/SAT09/APPLICATIONS/crypto/desgen/gss-16-s100.cnf,1,0.44,2.01,2.0,2.01,2.41,0.82,1.3,2.36,0.0,2.09
SAT_Competition2011/SAT11/application/rintanen/SATPlanning/openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_3.045-NOTKNOWN.cnf,1,18.01,2.0,2.03,2.02,20.04,2.8,3.58,2.44,0.08,2.42
SAT_Competition2007/industrial/industrial/manolios/manol-pipe-c7nidw.cnf,1,1.94,2.0,2.0,2.02,20.02,2.35,2.62,2.4,0.04,2.24
SAT-Race-2010-CNF/hardware-verification/ibm/2004_rb10Sd.k85.cnf,1,20.21,2.0,2.0,2.07,20.05,5.02,3.64,2.55,0.08,2.52
SAT_Competition2007/industrial/industrial/grieu/vmpc_24.cnf,1,0.01,2.0,2.0,1.17,20.18,0.09,0.36,2.1,0.01,2.08
SAT-Race-2010-CNF/mixed/palacios/sortnet-8-ipc5-h19-sat.cnf,1,4.75,2.0,2.09,2.05,20.26,11.61,5.08,2.64,0.1,2.65
SAT_Competition2009/APPLICATION/SAT07/industrial/anbulagan/hard-unsat/partial-5-13-u.cnf,1,18.3,2.0,2.02,2.07,9.42,4.54,3.3,2.44,0.12,2.4
SAT-Race-2010-CNF/hardware-verification/manolios/c8n_i.cnf,1,0.08,2.0,2.0,2.01,20.01,0.44,0.73,2.33,0.01,2.09
SAT-Race-2010-CNF/hardware-verification/velev/1dlx_c_iq60_a.cnf,1,562.18,2.03,3.66,2.86,21.44,61.22,66.81,10.72,1.54,10.84
SAT_Competition2011/SAT11/application/fuhs/AProVE11/AProVE11-16.cnf,1,4.52,2.0,2.0,2.03,20.02,1.84,2.07,2.22,0.05,2.2
SAT_Competition2011/SAT09/APPLICATIONS/crypto/md5gen/gus-md5-12.cnf,1,2.0,2.01,2.0,2.01,9.41,0.94,1.79,2.32,0.02,2.16
SAT_Competition2011/SAT11/application/jarvisalo/AAAI2010-SATPlanning/aaai10-planning-ipc5-TPP-21-step11.cnf,1,23.55,2.01,2.03,2.06,20.06,2.28,3.95,2.57,0.13,2.51
SAT_Competition2009/APPLICATION/SAT09/APPLICATIONS/diagnosis/UR-10-5p0.cnf,1,6.01,2.01,2.0,2.02,10.8,2.64,2.84,2.33,0.05,2.25
SAT_Competition2011/SAT02/industrial/nam/fpga-routing/k2fix_gr_rcs_w9.shuffled.cnf,1,0.54,2.0,2.08,2.06,20.19,1.74,3.11,2.39,0.05,2.3
SAT_Competition2007/industrial/industrial/anbulagan/diag-sat/total-5-15-s.cnf,1,13.13,2.0,2.04,2.09,11.31,4.66,2.95,2.35,0.08,2.35
SAT_Competition2011/SAT11/application/rintanen/SATPlanning/transport-transport-three-cities-sequential-14nodes-1000size-4degree-100mindistance-4trucks-14packages-2008seed.030-NOTKNOWN.cnf,1,1044.71,2.02,2.6,2.31,20.24,14.45,69.45,5.42,0.71,5.45
SAT_Competition2009/APPLICATION/SAT09/APPLICATIONS/satComp09_BioInstances/rpoc_xits_13_UNKNOWN.cnf,1,0.04,2.0,2.0,2.01,27.47,0.96,2.56,2.14,0.03,2.13
SAT_RACE2008/een-tip-sat-vis-eisen.cnf,1,0.01,0.13,2.0,0.87,1.68,0.23,0.15,2.2,0.0,2.11
SAT_RACE2006/SAT-Race_TS_1/hoons-vbmc-s04-07.cnf,1,0.12,1.99,2.0,2.01,20.01,0.69,1.08,2.32,0.02,2.12
SAT_RACE2006/SAT-Race_TS_2/manol-pipe-c6idw_s.cnf,1,0.5,2.0,2.0,2.01,20.01,1.07,2.27,2.26,0.01,2.14
SAT_Competition2007/industrial/industrial/manolios/manol-pipe-c7bidw_i.cnf,1,1.26,1.99,2.0,2.02,20.01,1.79,2.52,2.35,0.02,2.19
SAT_Competition2009/APPLICATION/SAT_RACE08/cnf/manol-pipe-c10nidw.cnf,1,11.56,2.0,2.01,2.01,20.04,6.23,3.81,2.61,0.09,2.6
SAT_RACE2006/SAT-Race_TS_2/miza-sr06-md5-48-01.cnf,1,1.77,2.0,2.0,2.01,8.05,1.32,1.64,2.25,0.02,2.14
SAT_Competition2009/APPLICATION/SAT_RACE08/cnf/manol-pipe-f9b.cnf,1,2.05,2.0,2.0,2.01,20.02,2.57,2.87,2.32,0.04,2.24
SAT_Competition2009/APPLICATION/SAT09/APPLICATIONS/crypto/desgen/gss-16-s100.cnf,1,0.44,2.01,2.01,2.01,2.42,0.79,1.39,2.19,0.01,2.05
SAT_RACE2008/ibm-2004-3_02_3-k95.cnf,1,1.9,2.0,2.0,2.01,20.02,0.99,2.49,2.33,0.03,2.2
SAT_Competition2009/APPLICATION/SAT07/industrial/vliw_unsat_2.0/9dlx_vliw_at_b_iq7.cnf,1,176.69,2.02,2.32,2.75,191.04,51.57,37.6,7.17,1.22,7.18
SAT_RACE2008/post-cbmc-aes-d-r1.cnf,1,0.02,2.0,2.0,2.01,20.02,2.94,1.66,2.1,0.01,2.11
SAT_RACE2006/SAT-Race_TS_1/schup-l2s-s04-abp4.cnf,1,0.06,2.0,2.0,2.01,2.05,0.24,0.74,2.41,0.0,2.11
SAT_Competition2009/APPLICATION/SAT09/APPLICATIONS/crypto/desgen/gss-13-s100.cnf,1,0.43,2.0,2.0,2.01,2.35,0.84,1.45,2.35,0.01,2.09
SAT_Competition2007/industrial/industrial/palacios/uts/uts-l06-ipc5-h34-unknown.cnf,1,1.22,2.0,2.01,2.03,20.08,12.14,13.51,2.79,0.1,2.8
SAT-Race-2010-CNF/cryptography/mizh/sha0_35_3.cnf,1,0.99,2.01,2.0,2.01,4.97,0.62,1.23,2.24,0.02,2.11
SAT_RACE2006/SAT-Race_TS_1/stric-bmc-ibm-10.cnf,1,0.56,1.79,2.0,2.01,20.01,1.01,2.3,2.25,0.02,2.13
SAT-Race-2010-CNF/software-verification/fuhs/AProVE07-08.cnf,1,0.01,2.0,2.0,1.26,2.61,0.07,0.13,2.24,0.0,2.1
SAT_Competition2007/industrial/industrial/palacios/uts/uts-l05-ipc5-h27-unknown.cnf,1,0.47,2.0,2.0,2.01,20.04,4.6,5.11,2.4,0.05,2.38
SAT_RACE2006/SAT-Race_TS_2/narai-vpn-sat05-02s.cnf,1,951.29,2.04,2.33,6.11,188.15,878.13,32.81,8.56,3.26,8.21
SAT-Race-2010-CNF/software-verification/nec/hard-15-U-10652.cnf,1,107.95,2.01,2.08,2.15,20.11,199.05,17.06,3.5,0.27,3.49
SAT_RACE2006/SAT-Race_TS_2/hoons-vbmc-s04-07.cnf,1,0.12,2.01,2.0,2.01,20.01,0.52,1.06,2.32,0.0,2.08
SAT_RACE2006/SAT-Race-Benchmarks/velev-pipe-sat-1.0-b9.cnf,1,34.8,2.02,5.08,2.72,109.56,213.94,66.84,9.18,1.16,9.63
SAT_Competition2011/SAT11/application/jarvisalo/AAAI2010-SATPlanning/aaai10-planning-ipc5-rovers-18-step12.cnf,1,2.1,2.0,2.01,2.02,20.04,1.36,2.7,2.42,0.05,2.27
SAT_Competition2009/APPLICATION/SAT09/APPLICATIONS/bioinfo/q_query_3_l44_lambda.cnf,1,0.15,2.0,2.0,2.01,20.01,0.62,0.69,2.27,0.01,2.11
SAT_RACE2006/SAT-Race_TS_1/manol-pipe-c8b_i.cnf,1,0.08,2.0,2.0,2.01,20.01,0.39,0.79,2.29,0.01,2.09
SAT_RACE2008/ibm-2002-30r-k85.cnf,1,19.14,2.01,2.0,2.01,20.05,3.8,4.04,2.64,0.11,2.6
SAT_Competition2011/SAT02/industrial/aloul/Bart/bart17.shuffled.cnf,1,0.0,0.38,2.0,0.01,0.16,0.0,0.02,1.55,0.0,1.87
SAT_Competition2011/SAT_RACE06/velev-pipe-sat-1.0-b9.cnf,1,32.59,2.03,4.89,2.32,63.84,171.37,64.37,8.49,1.52,8.46
SAT_Competition2011/SAT03/industrial/schuppan/l2s/bc57-sensors-1-k303-unsat.shuffled-as.sat03-406.cnf,1,31.72,2.01,2.15,2.01,20.04,13.47,5.18,2.7,0.2,2.76
SAT_Competition2009/APPLICATION/SAT_RACE08/cnf/schup-l2s-motst-2-k315.cnf,1,32.62,2.01,2.0,2.03,20.04,8.61,3.92,2.62,0.1,2.58
SAT_RACE2006/SAT-Race_TS_1/manol-pipe-c6n.cnf,1,0.09,2.0,2.0,2.01,20.01,0.48,0.88,2.26,0.01,2.1
SAT_Competition2009/APPLICATION/SAT_RACE06/simon-s02b-dp11u10.cnf,1,0.01,2.01,2.0,1.38,0.45,0.09,0.1,2.22,0.01,2.09
SAT_RACE2008/cmu-bmc-longmult13.cnf,1,0.01,2.01,2.0,0.45,1.84,0.06,0.13,2.24,0.0,2.1
SAT_RACE2008/mizh-md5-47-3.cnf,1,1.7,2.0,2.0,2.01,7.64,0.91,1.6,2.28,0.02,2.14
SAT_RACE2006/SAT-Race_TS_2/velev-pipe-sat-1.1-09.cnf,1,18.82,2.01,2.01,2.23,36.8,18.26,36.37,5.64,0.72,5.84
SAT_RACE2006/SAT-Race_TS_1/stric-bmc-ibm-12.cnf,1,0.58,2.02,2.0,2.01,20.01,0.86,2.25,2.32,0.03,2.11
SAT_Competition2009/APPLICATION/SAT09/APPLICATIONS/satComp09_BioInstances/rpoc_xits_08_UNSAT.cnf,1,0.03,2.0,2.0,2.02,20.26,0.69,2.32,2.11,0.01,2.1
SAT_Competition2011/SAT02/industrial/biere/dinphil/dp04s04.shuffled.cnf,1,0.0,0.0,2.0,0.01,0.03,0.23,0.01,2.42,0.0,2.25
SAT_Competition2009/APPLICATION/SAT09/APPLICATIONS/bioinfo/q_query_3_l40_lambda.cnf,1,0.12,2.0,2.0,2.01,20.01,0.55,0.61,2.28,0.0,2.08
SAT_RACE2006/SAT-Race-Benchmarks/goldb-heqc-term1mul.cnf,1,0.03,1.99,2.0,2.01,20.06,0.07,0.32,2.12,0.0,2.07
SAT_Competition2009/APPLICATION/SAT07/industrial/vliw_unsat_2.0/9dlx_vliw_at_b_iq4.cnf,1,17.22,2.01,2.0,2.1,31.29,9.63,7.97,3.28,0.24,3.24
SAT-Race-2010-CNF/hardware-verification/manolios/g9bidw.cnf,1,2.1,2.0,2.0,2.02,20.05,2.49,2.76,2.36,0.04,2.26
SAT_RACE2008/mizh-md5-48-5.cnf,1,1.76,2.01,2.0,2.02,8.07,1.12,1.76,2.35,0.02,2.15
SAT_RACE2006/SAT-Race-Benchmarks/grieu-vmpc-s05-27.cnf,1,0.01,2.01,2.0,2.01,20.51,0.13,0.43,2.1,0.02,2.12
SAT_Competition2011/SAT11/application/leberre/2dimensionalstrippacking/E04N18.cnf,1,0.11,0.42,2.0,2.01,24.3,0.51,2.36,2.1,0.02,2.1
SAT_Competition2009/APPLICATION/SAT09/APPLICATIONS/bitverif/maxand/maxand064.cnf,1,0.01,2.0,2.0,1.89,20.02,0.4,0.85,2.16,0.01,2.1
SAT_Competition2011/SAT11/application/jarvisalo/AAAI2010-SATPlanning/aaai10-planning-ipc5-pipesworld-27-step14.cnf,1,160.77,2.02,2.08,2.2,20.34,146.63,430.51,6.43,0.93,6.47
SAT_Competition2011/SAT11/application/rintanen/SATPlanning/sokoban-sequential-p145-microban-sequential.060-NOTKNOWN.cnf,1,19.98,2.01,2.36,2.12,20.12,4.64,4.66,2.96,0.17,2.9
SAT-Race-2010-CNF/cryptography/mizh/md5_47_4.cnf,1,1.7,2.0,2.0,2.01,7.72,0.94,1.59,2.22,0.02,2.14
SAT_Competition2007/industrial/industrial/palacios/medium/emptyroom-4-h21-unsat.cnf,1,0.84,1.99,2.0,2.01,20.01,1.12,1.31,2.21,0.02,2.12
SAT_Competition2009/APPLICATION/SAT_RACE08/cnf/een-tip-sat-texas-tp-5e.cnf,1,0.0,0.0,0.49,0.0,0.0,0.14,0.0,0.38,0.0,0.32
SAT_Competition2007/industrial/industrial/babic/xinetd/itox_vc979.cnf,1,?,?,?,?,?,2.27,?,?,?,?
SAT_Competition2011/SAT09/APPLICATIONS/satComp09_BioInstances/rbcl_xits_18_SAT.cnf,1,0.08,0.47,2.08,2.02,23.17,1.29,2.85,2.26,0.04,2.21
SAT_Competition2009/APPLICATION/SAT09/APPLICATIONS/diagnosis/UCG-20-10p1.cnf,1,46.73,2.01,2.01,2.12,20.08,8.26,5.18,3.04,0.28,3.01
SAT_Competition2009/APPLICATION/SAT09/APPLICATIONS/bitverif/smulo/smulo128.cnf,1,23.09,2.0,2.07,2.02,20.02,2.68,3.17,2.35,0.07,2.35
SAT_Competition2007/industrial/industrial/fuhs/medium/AProVE07-06.cnf,1,0.08,2.0,2.0,2.01,20.32,36.79,2.07,2.28,0.0,2.1
SAT_Competition2007/industrial/industrial/grieu/vmpc_27.cnf,1,0.01,2.0,2.0,2.01,20.45,0.13,0.45,2.1,0.02,2.1
SAT-Race-2010-CNF/software-verification/nec/hard-12-U-7061.cnf,1,14.43,2.01,2.06,2.03,20.13,18.81,3.15,2.48,0.07,2.49
SAT_Competition2011/SAT02/industrial/goldberg/rand_net/rand_net60-30-1.shuffled.cnf,1,0.02,0.19,2.0,1.0,0.1,0.03,0.2,2.26,0.0,2.12
SAT_Competition2007/industrial/industrial/babic/dspam/dspam_dump_vc949.cnf,1,?,?,?,?,?,1.34,?,?,?,?
SAT_RACE2008/ibm-2002-04r-k80.cnf,1,4.37,2.01,2.0,2.02,20.02,2.07,2.76,2.39,0.05,2.24
SAT_Competition2007/industrial/industrial/anbulagan/hard-sat/partial-10-15-s.cnf,1,37.58,2.0,2.09,2.02,17.02,5.98,3.84,2.58,0.13,2.61
SAT_RACE2006/SAT-Race-Benchmarks/ibm-2004-03-k70.cnf,1,1.6,2.01,2.0,2.01,20.01,1.07,2.33,2.36,0.02,2.16
SAT_Competition2009/APPLICATION/SAT07/industrial/jarvisalo/eq.atree.braun.13.unsat.cnf,1,0.01,2.0,2.0,0.33,0.06,0.02,0.06,2.4,0.0,2.16
SAT-Race-2010-CNF/hardware-verification/velev/1dlx_c_iq46_a.cnf,1,143.48,2.01,3.8,2.13,20.58,27.13,27.2,5.99,0.7,5.99
SAT_RACE2008/post-cbmc-aes-ee-r2.cnf,1,0.13,2.0,2.0,2.01,20.04,23.03,3.86,2.44,0.04,2.4
SAT_Competition2009/APPLICATION/SAT09/APPLICATIONS/diagnosis/UTI-15-10p1.cnf,1,25.82,2.01,2.04,2.05,20.05,4.72,3.66,2.59,0.15,2.62
SAT_Competition2011/SAT11/application/jarvisalo/smtqfbv-aigs/smtlib-qfbv-aigs-src_wget_vc18517-tseitin.cnf,1,8.98,2.01,2.0,2.01,20.03,3.68,2.62,2.27,0.04,2.24
SAT_Competition2009/APPLICATION/SAT09/APPLICATIONS/satComp09_BioInstances/rpoc_xits_17_SAT.cnf,1,0.14,0.59,2.01,2.02,59.58,1.92,2.96,2.2,0.04,2.23
SAT_Competition2011/SAT11/application/jarvisalo/HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k50-nusmvreactorp4-tseitin.cnf,1,0.52,0.16,2.0,2.01,7.12,1.27,1.95,2.23,0.01,2.11
SAT_RACE2006/SAT-Race-Benchmarks/ibm-2002-05r-k90.cnf,1,14.7,2.0,2.0,2.01,20.07,4.35,4.23,2.59,0.09,2.58
SAT_Competition2011/SAT11/application/leberre/2dimensionalstrippacking/E05X15.cnf,1,0.05,2.0,2.0,2.01,21.21,0.2,1.14,2.04,0.01,2.06
SAT_Competition2009/APPLICATION/SAT07/industrial/fuhs/hard/AProVE07-26.cnf,1,0.32,1.99,2.0,2.02,20.01,0.36,0.78,2.33,0.0,2.13
SAT_Competition2011/SAT05/industrial/maris05/Rovers/rovers1_ks99i.renamed-as.sat05-3971.cnf,1,0.0,0.0,2.0,0.01,0.2,0.01,0.02,2.11,0.0,1.73
SAT_Competition2007/industrial/industrial/grieu/vmpc_34.cnf,1,0.02,2.0,2.02,2.01,22.45,0.28,0.93,2.14,0.03,2.14
SAT_Competition2011/SAT11/application/manthey/traffic/traffic_fb_unknown.cnf,1,2.81,2.01,2.02,2.02,20.05,1.75,3.99,2.8,0.11,2.8
SAT_Competition2011/SAT11/application/fuhs/slp-synthesis-AES/slp-synthesis-aes-top30.cnf,1,3.46,2.0,2.01,2.01,20.05,1.55,2.46,2.24,0.03,2.17
SAT_Competition2007/industrial/industrial/fuhs/hard/AProVE07-27.cnf,1,0.04,2.01,2.0,2.01,20.04,0.13,0.23,2.16,0.0,2.08
SAT_Competition2011/SAT-Race-2010-CNF/hardware-verification/velev/11pipe_k.cnf,1,18.86,2.02,2.4,2.28,34.84,67.59,39.91,6.1,0.83,6.17
SAT_Competition2009/APPLICATION/SAT09/APPLICATIONS/satComp09_BioInstances/rbcl_xits_06_UNSAT.cnf,1,0.0,2.01,2.0,0.92,20.61,0.29,0.87,2.05,0.01,2.04
SAT_Competition2009/APPLICATION/SAT09/APPLICATIONS/bioinfo/q_query_3_l41_lambda.cnf,1,0.12,2.01,2.0,2.01,20.01,0.51,0.62,2.28,0.01,2.09
SAT_RACE2006/SAT-Race_TS_2/velev-sss-1.0-05.cnf,1,0.0,0.18,2.0,0.43,20.02,0.03,0.28,2.12,0.01,2.08
SAT_Competition2011/SAT11/application/jarvisalo/HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k45-pdtpmsgoodbakery-tseitin.cnf,1,2.59,2.0,2.0,2.01,15.23,1.46,2.29,2.28,0.03,2.16
SAT_RACE2008/manol-pipe-c8nidw.cnf,1,4.62,2.02,2.0,2.03,20.02,3.8,3.21,2.4,0.06,2.34
SAT_RACE2006/SAT-Race-Benchmarks/ibm-2002-27r-k95.cnf,1,1.54,2.0,2.0,2.01,20.02,1.62,2.67,2.36,0.03,2.18
SAT_RACE2006/SAT-Race_TS_1/manol-pipe-g10idw.cnf,1,2.18,2.0,2.0,2.02,20.03,2.4,2.84,2.36,0.06,2.25
SAT_RACE2008/anbul-dated-5-15-u.cnf,1,5.35,2.0,2.01,2.03,6.47,3.41,2.58,2.28,0.05,2.22
SAT_Competition2011/SAT07/industrial/palacios/hard/sortnet-8-ipc5-h19-sat.cnf,1,4.78,2.01,2.05,2.07,20.23,11.99,5.17,2.71,0.1,2.66
SAT_RACE2006/SAT-Race_TS_1/velev-vliw-uns-2.0-02.cnf,1,2.78,2.01,2.0,2.05,22.88,2.88,3.98,2.44,0.08,2.42
SAT_Competition2011/SAT07/industrial/jarvisalo/eq.atree.braun.11.unsat.cnf,1,0.01,2.0,2.0,0.18,0.07,0.02,0.04,2.28,0.0,2.11
SAT_Competition2009/APPLICATION/SAT07/industrial/palacios/medium/cube-11-h14-sat.cnf,1,44.32,2.02,2.17,2.03,21.82,15.68,4.44,2.84,0.22,2.86
SAT_Competition2011/SAT-Race-2010-CNF/software-verification/nec/hard-6-U-7061.cnf,1,10.13,2.0,2.03,2.01,20.07,12.01,3.32,2.43,0.07,2.37
SAT_RACE2008/cmu-bmc-barrel6.cnf,1,0.01,1.49,2.0,0.11,7.38,0.06,0.34,2.46,0.0,2.25
SAT_Competition2011/SAT11/application/fuhs/AProVE11/AProVE11-10.cnf,1,49.38,2.0,2.0,2.08,20.1,7.97,3.92,2.67,0.24,2.68
SAT_Competition2009/APPLICATION/SAT09/APPLICATIONS/bitverif/minxor/minxor128.cnf,1,0.12,2.01,2.02,2.01,20.03,3.39,2.39,2.25,0.02,2.13
SAT_RACE2008/ibm-2002-22r-k80.cnf,1,10.83,2.01,2.0,2.01,20.04,5.03,3.2,2.5,0.1,2.46
SAT_Competition2011/SAT09/APPLICATIONS/bitverif/maxor/maxor128.cnf,1,12.88,2.0,2.01,2.03,20.03,4.99,3.03,2.31,0.05,2.31
SAT_Competition2011/SAT09/APPLICATIONS/diagnosis/UTI-20-10t0.cnf,1,11.61,2.0,2.0,2.01,20.04,3.74,3.32,2.45,0.08,2.49
SAT_RACE2006/SAT-Race_TS_2/manol-pipe-c8b_i.cnf,1,0.08,1.99,2.0,2.01,20.01,0.4,0.75,2.3,0.01,2.12
SAT_Competition2007/industrial/industrial/fuhs/medium/AProVE07-11.cnf,1,44.34,2.01,2.1,2.08,45.21,98.01,4.39,2.74,0.22,2.78
SAT_RACE2006/SAT-Race_TS_1/velev-eng-uns-1.0-04.cnf,1,0.08,2.0,2.0,2.01,20.03,0.29,1.38,2.12,0.01,2.08
SAT_Competition2009/APPLICATION/SAT09/APPLICATIONS/satComp09_BioInstances/ndhf_xits_14_UNSAT.cnf,1,0.15,1.99,2.01,2.02,28.28,2.89,2.78,2.29,0.05,2.33
SAT_Competition2011/SAT-Race-2010-CNF/hardware-verification/velev/1dlx_c_iq60_a.cnf,1,564.33,2.04,2.64,3.06,21.6,66.52,68.57,10.86,1.63,10.97
SAT_RACE2006/SAT-Race-Benchmarks/maris-s03-gripper11.cnf,1,0.03,2.0,2.0,1.82,0.46,0.06,0.21,2.37,0.0,2.13
SAT_Competition2009/APPLICATION/SAT09/APPLICATIONS/diagnosis/UCG-15-10p1.cnf,1,25.99,2.01,2.04,2.05,20.07,6.4,4.02,2.67,0.19,2.68
SAT_RACE2006/SAT-Race-Benchmarks/mizh-md5-47-5.cnf,1,1.7,2.0,2.0,2.01,7.67,0.92,1.63,2.28,0.01,2.14
SAT_Competition2011/SAT11/application/rintanen/SATPlanning/transport-transport-city-sequential-25nodes-1000size-3degree-100mindistance-3trucks-10packages-2008seed.060-SAT.cnf,1,609.6,2.02,2.02,2.05,20.18,10.28,29.01,4.52,0.79,5.1
SAT-Race-2010-CNF/mixed/diagnosis/UTI-20-10p0.cnf,1,47.76,2.02,2.02,2.1,20.08,8.41,5.21,2.98,0.26,3.0
SAT_Competition2009/APPLICATION/SAT09/APPLICATIONS/diagnosis/UR-20-5p0.cnf,1,36.04,2.0,2.07,2.17,20.09,7.07,4.56,2.91,0.23,2.89
SAT_RACE2006/SAT-Race-Benchmarks/velev-pipe-o-uns-1.0-7.cnf,1,1.3,2.0,2.01,2.02,20.9,2.45,3.57,2.55,0.1,2.55
SAT_Competition2007/industrial/industrial/narain/clauses-8.cnf,1,483.43,2.02,2.35,2.07,158.7,202.63,10.61,4.14,0.45,4.25
SAT_Competition2009/APPLICATION/SAT09/APPLICATIONS/satComp09_BioInstances/rpoc_xits_07_UNSAT.cnf,1,0.02,2.0,2.0,1.79,20.5,0.44,1.96,2.07,0.01,2.07
SAT_Competition2007/industrial/industrial/jarvisalo/eq.atree.braun.11.unsat.cnf,1,0.0,2.0,2.0,0.16,0.05,0.01,0.04,2.44,0.0,2.2
SAT_RACE2008/velev-engi-uns-1.0-4nd.cnf,1,0.08,2.0,2.0,2.01,20.22,0.31,1.38,2.13,0.01,2.09
SAT_Competition2011/SAT09/APPLICATIONS/bitverif/minandmaxor/minandmaxor016.cnf,1,0.01,0.4,2.0,0.43,0.46,0.08,0.11,2.39,0.01,2.18
SAT_Competition2007/industrial/industrial/anbulagan/medium-sat/partial-5-13-s.cnf,1,18.32,2.0,2.01,2.04,9.91,3.95,3.3,2.4,0.08,2.41
SAT_RACE2008/velev-fvp-sat-3.0-b18.cnf,1,2.59,2.01,2.02,2.01,20.06,2.97,4.24,2.78,0.16,2.83
SAT_Competition2009/APPLICATION/SAT07/industrial/grieu/vmpc_33.cnf,1,0.03,2.01,2.0,2.01,21.21,0.31,0.92,2.18,0.03,2.14
SAT_Competition2009/APPLICATION/SAT07/industrial/fuhs/hard/AProVE07-01.cnf,1,0.02,2.0,2.0,2.0,2.26,0.12,0.23,2.29,0.0,2.1
SAT_Competition2011/SAT09/APPLICATIONS/diagnosis/UR-20-10p1.cnf,1,47.31,2.0,2.09,2.06,20.06,6.49,4.16,2.81,0.16,2.82
SAT_Competition2007/industrial/industrial/grieu/vmpc_33.cnf,1,0.03,2.0,2.03,2.01,21.28,0.28,0.96,2.15,0.03,2.15
SAT_RACE2006/SAT-Race-Benchmarks/hoons-vbmc-lucky7.cnf,1,0.02,2.0,2.0,0.78,1.47,0.18,0.15,2.21,0.0,2.11
SAT-Race-2010-CNF/mixed/palacios/safe-30-h30-sat.cnf,1,0.25,2.01,2.01,2.01,20.11,8.73,3.22,2.36,0.03,2.29
SAT_Competition2009/APPLICATION/SAT09/APPLICATIONS/crypto/desgen/gss-17-s100.cnf,1,0.45,2.0,2.0,2.01,2.47,0.84,1.5,2.18,0.01,2.09
SAT_RACE2008/ibm-2002-31_1r3-k30.cnf,1,0.46,1.99,2.0,2.01,20.01,0.78,1.92,2.36,0.02,2.15
SAT_RACE2006/SAT-Race-Benchmarks/manol-pipe-c9.cnf,1,0.03,1.28,2.0,2.01,10.92,0.26,0.41,2.31,0.0,2.11
SAT_RACE2006/SAT-Race_TS_1/manol-pipe-c10ni_s.cnf,1,2.6,1.99,2.0,2.03,20.03,2.96,2.85,2.35,0.03,2.28
SAT_Competition2011/SAT11/application/rintanen/SATPlanning/sokoban-sequential-p145-microban-sequential.070-NOTKNOWN.cnf,1,28.38,2.01,2.22,2.07,20.08,5.83,5.39,3.02,0.22,3.0
SAT_Competition2011/SAT09/APPLICATIONS/bitverif/maxxor/maxxor128.cnf,1,13.19,2.01,2.0,2.01,20.02,5.05,3.02,2.32,0.05,2.3
SAT_Competition2007/industrial/industrial/anbulagan/hard-unsat/dated-5-17-u.cnf,1,8.68,2.01,2.0,2.02,10.15,4.06,2.96,2.32,0.06,2.29
SAT_RACE2006/SAT-Race-Benchmarks/velev-npe-1.0-9dlx-b71.cnf,1,1904.59,2.03,5.83,4.41,21.1,622.9,568.14,15.21,3.03,15.34
SAT_Competition2011/SAT11/application/fuhs/slp-synthesis-AES/slp-synthesis-aes-bottom20.cnf,1,0.75,2.0,2.0,2.01,20.01,0.74,2.28,2.4,0.02,2.13
SAT_Competition2011/SAT09/APPLICATIONS/bitverif/mulhs/mulhs016.cnf,1,0.01,2.0,2.0,1.05,0.15,0.05,0.09,2.51,0.0,2.16
SAT_RACE2006/SAT-Race-Benchmarks/velev-pipe-sat-1.1-b7.cnf,1,19.09,2.02,2.21,2.11,22.28,22.25,37.77,5.92,0.8,5.93
SAT_RACE2008/simon-s02b-r4b1k1.1.cnf,1,0.02,2.0,2.0,1.42,10.4,0.17,0.25,2.31,0.01,2.13
SAT_Competition2009/APPLICATION/SAT07/industrial/palacios/medium/cube-11-h13-unsat.cnf,1,35.52,2.01,2.11,2.05,21.53,14.9,4.16,2.78,0.2,2.78
SAT_RACE2006/SAT-Race_TS_1/velev-pipe-1.0-08.cnf,1,33.09,2.01,4.38,3.41,74.99,139.37,64.68,8.46,1.31,8.63
SAT_Competition2011/SAT-Race-2010-CNF/cryptography/mizh/sha0_36_5.cnf,1,1.04,2.0,2.0,2.01,5.35,0.67,1.31,2.32,0.02,2.11
SAT_RACE2006/SAT-Race_TS_1/velev-live-sat-1.0-03.cnf,1,106.37,2.0,2.09,2.29,27.36,21.75,29.64,4.95,0.59,5.0
SAT_Competition2011/SAT09/APPLICATIONS/c32sat/post-cbmc-zfcp-2.8-u2-noholes.cnf,1,?,?,512.0,?,?,?,?,?,?,?
SAT_Competition2007/industrial/industrial/anbulagan/hard-sat/partial-10-17-s.cnf,1,56.36,2.02,2.34,2.04,20.07,6.98,4.11,2.74,0.18,2.75
SAT_Competition2009/APPLICATION/SAT07/industrial/palacios/hard/sortnet-8-ipc5-h19-sat.cnf,1,4.91,2.0,2.02,2.05,20.07,14.75,5.2,2.64,0.11,2.66
SAT-Race-2010-CNF/mixed/grieu/vmpc_27.cnf,1,0.01,2.0,2.0,2.01,20.05,0.13,0.44,2.09,0.01,2.09
SAT_Competition2011/SAT07/industrial/manolios/manol-pipe-f7idw.cnf,1,4.22,2.0,2.0,2.04,20.03,3.8,3.24,2.38,0.06,2.35
SAT_Competition2009/APPLICATION/SAT09/APPLICATIONS/bitverif/minandmaxor/minandmaxor032.cnf,1,0.08,2.0,2.0,2.02,6.31,0.27,0.46,2.19,0.0,2.08
SAT-Race-2010-CNF/hardware-verification/manolios/c7bidw.cnf,1,1.61,2.0,2.0,2.02,20.03,2.09,2.59,2.33,0.03,2.26
SAT_Competition2011/SAT11/application/jarvisalo/HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k45-bobsm5378d2-tseitin.cnf,1,1.49,2.05,2.0,2.01,5.54,1.14,2.11,2.35,0.02,2.13
SAT_Competition2009/APPLICATION/SAT_RACE06/goldb-heqc-term1mul.cnf,1,0.03,2.01,2.0,2.01,20.05,0.07,0.3,2.11,0.0,2.09
SAT-Race-2010-CNF/software-verification/bitverif/countbitsrotate128.cnf,1,14.37,2.0,2.01,2.04,20.02,1.89,2.77,2.27,0.09,2.26
SAT_Competition2009/APPLICATION/SAT09/APPLICATIONS/satComp09_BioInstances/rpoc_xits_11_UNKNOWN.cnf,1,0.03,2.0,2.01,2.01,24.01,0.76,2.51,2.1,0.03,2.1
SAT_Competition2009/APPLICATION/SAT09/APPLICATIONS/c32sat/post-c32s-col400-16.cnf,1,12.39,2.0,2.0,2.01,6.42,3.43,2.93,2.29,0.05,2.27
SAT_Competition2009/APPLICATION/SAT09/APPLICATIONS/satComp09_BioInstances/rpoc_xits_09_UNSAT.cnf,1,0.03,2.0,2.0,2.01,23.74,0.6,2.24,2.08,0.01,2.11
SAT_Competition2007/industrial/industrial/manolios/manol-pipe-g10nid.cnf,1,3.17,2.01,2.0,2.04,20.03,3.3,2.81,2.39,0.05,2.33
SAT-Race-2010-CNF/cryptography/mizh/md5_48_1.cnf,1,1.74,2.0,2.01,2.04,8.11,0.89,1.88,2.3,0.02,2.22
SAT_RACE2008/mizh-sha0-35-4.cnf,1,0.99,2.0,2.0,2.01,5.0,0.64,1.23,2.27,0.03,2.11
SAT_Competition2009/APPLICATION/SAT_RACE06/velev-live-uns-2.0-ebuf.cnf,1,0.36,2.0,2.0,2.01,20.63,0.92,2.53,2.16,0.03,2.15
SAT_Competition2007/industrial/industrial/anbulagan/medium-unsat/total-5-11-u.cnf,1,6.59,1.99,2.0,2.02,4.57,3.04,2.73,2.26,0.04,2.24
SAT_Competition2007/industrial/industrial/crypto/mizh-md5-48-2.cnf,1,1.73,2.0,2.0,2.02,8.14,0.92,1.66,2.29,0.02,2.13
SAT_RACE2006/SAT-Race-Benchmarks/simon-s02b-dp11u10.cnf,1,0.01,2.01,2.0,1.16,0.39,0.09,0.09,2.41,0.01,2.15
SAT_Competition2007/industrial/industrial/babic/xinetd/itox_vc1138.cnf,1,4.29,2.0,2.0,2.01,20.46,3.45,2.56,2.23,0.04,2.19
SAT_Competition2009/APPLICATION/SAT_RACE06/manol-pipe-g7nidw.cnf,1,0.42,2.0,2.0,2.01,20.01,1.04,2.02,2.34,0.02,2.15
SAT_Competition2011/SAT11/application/rintanen/SATPlanning/blocks-blocks-36-0.160-NOTKNOWN.cnf,1,634.34,2.03,2.16,2.64,20.53,21.65,49.73,8.11,1.49,8.02
SAT_Competition2011/SAT04/industrial/vangelder/cnf-color/myciel6-tr.used-as.sat04-320.cnf,1,0.0,2.0,2.0,0.05,0.33,0.0,0.03,2.3,0.0,2.13
SAT_RACE2006/SAT-Race_TS_1/grieu-vmpc-s05-24s.cnf,1,0.03,2.0,2.0,2.01,20.01,0.12,0.44,2.1,0.01,2.08
SAT_Competition2011/SAT05/industrial/grieu05/vmpc/vmpc_29.renamed-as.sat05-1916.cnf,1,0.02,1.99,2.01,2.01,20.73,0.17,0.55,2.13,0.02,2.12
SAT_Competition2011/SAT11/application/fuhs/slp-synthesis-AES/slp-synthesis-aes-bottom13.cnf,1,0.16,2.0,2.0,2.01,20.02,0.34,1.02,2.44,0.02,2.09
SAT_RACE2006/SAT-Race_TS_2/manol-pipe-c7idw_s.cnf,1,0.76,2.0,2.0,2.01,20.04,1.3,2.32,2.25,0.02,2.14
SAT_Competition2007/industrial/industrial/palacios/medium/sortnet-7-ipc5-h16-sat.cnf,1,0.67,2.0,2.0,2.01,20.12,2.99,2.81,2.23,0.04,2.2
SAT_Competition2011/SAT11/application/rintanen/SATPlanning/blocks-blocks-36-0.180-SAT.cnf,1,841.7,2.03,2.06,2.12,20.76,22.79,55.32,9.71,3.13,9.64
SAT_Competition2011/SAT11/application/jarvisalo/smtqfbv-aigs/smtlib-qfbv-aigs-bin_libmsrpc_vc1225336-tseitin.cnf,1,4.54,1.21,2.0,2.01,20.02,3.99,2.87,2.26,0.04,2.23
SAT_Competition2009/APPLICATION/SAT09/APPLICATIONS/diagnosis/UR-20-5p1.cnf,1,36.36,2.02,2.17,2.18,20.08,7.7,4.48,2.89,0.25,2.9
SAT_Competition2009/APPLICATION/SAT09/APPLICATIONS/crypto/desgen/gss-20-s100.cnf,1,0.48,1.99,2.0,2.01,2.37,0.76,1.39,2.27,0.02,2.09
SAT_Competition2007/industrial/industrial/anbulagan/hard-unsat/total-5-17-u.cnf,1,19.4,2.0,2.05,2.05,15.25,5.62,3.11,2.41,0.08,2.41
SAT_Competition2011/SAT09/APPLICATIONS/diagnosis/UCG-15-10p0.cnf,1,25.03,2.01,2.08,2.02,20.04,4.89,3.47,2.54,0.11,2.52
SAT-Race-2010-CNF/software-verification/fuhs/AProVE07-16.cnf,1,0.75,2.0,2.0,2.01,20.05,1.0,1.21,2.23,0.01,2.11
SAT_Competition2009/APPLICATION/SAT07/industrial/narain/clauses-8.cnf,1,496.73,2.02,2.83,2.13,173.73,237.52,11.33,4.31,0.62,4.4
SAT_RACE2006/SAT-Race-Benchmarks/simon-s02b-r4b1k1.1.cnf,1,0.01,2.01,2.0,1.38,11.29,0.12,0.25,2.33,0.0,2.15
SAT_Competition2009/APPLICATION/SAT09/APPLICATIONS/bitverif/maxxororand/maxxororand032.cnf,1,0.12,2.0,2.0,2.01,13.13,0.41,0.59,2.28,0.0,2.09
SAT_RACE2008/marijn-philips.cnf,1,0.0,2.0,2.0,0.09,0.06,0.01,0.04,2.37,0.0,2.21
SAT_Competition2011/SAT_RACE08/cnf/ibm-2002-30r-k85.cnf,1,18.57,2.01,2.02,2.01,20.04,3.83,3.99,2.62,0.11,2.59
SAT-Race-2010-CNF/software-verification/nec/hard-10-U-9007.cnf,1,18.91,2.01,2.02,2.02,20.19,115.64,23.24,2.71,0.16,2.71
SAT_RACE2006/SAT-Race-Benchmarks/manol-pipe-g7nidw.cnf,1,0.45,2.0,2.0,2.02,20.03,1.21,2.26,2.32,0.03,2.16
SAT_Competition2007/industrial/industrial/grieu/vmpc_26.cnf,1,0.01,2.02,2.0,1.66,20.78,0.16,0.38,2.1,0.02,2.09
SAT_Competition2011/SAT09/APPLICATIONS/diagnosis/ACG-10-10p0.cnf,1,18.15,2.01,2.05,2.03,11.98,3.17,3.17,2.35,0.07,2.33
SAT_Competition2009/APPLICATION/SAT_RACE06/mizh-sha0-36-2.cnf,1,1.04,2.0,2.0,2.01,5.31,0.67,1.28,2.32,0.02,2.12
SAT_RACE2006/SAT-Race_TS_1/velev-npe-1.0-03.cnf,1,22.49,2.0,2.0,2.12,50.94,17.06,17.58,3.15,0.21,3.14
SAT_Competition2007/industrial/industrial/fuhs/medium/AProVE07-22.cnf,1,0.04,2.01,2.0,2.01,3.22,0.27,0.28,2.34,0.01,2.09
SAT_Competition2007/industrial/industrial/palacios/uts/uts-l06-ipc5-h31-unknown.cnf,1,1.04,2.0,2.0,2.04,20.27,9.93,12.66,2.68,0.09,2.67
SAT_Competition2009/APPLICATION/SAT07/industrial/babic/xinetd/xinetd_vc56703.cnf,1,?,?,?,?,?,0.25,?,?,?,?
SAT_RACE2006/SAT-Race_TS_1/velev-eng-uns-1.0-04a.cnf,1,0.07,2.01,2.0,2.01,20.11,0.37,1.37,2.11,0.01,2.07
SAT_RACE2006/SAT-Race_TS_1/velev-pipe-uns-1.1-07.cnf,1,0.88,2.0,2.02,2.01,20.55,1.91,3.01,2.42,0.07,2.43
SAT_Competition2009/APPLICATION/SAT07/industrial/vliw_sat_4.0/9vliw_m_9stages_iq3_C1_bug5.cnf,1,574.38,2.03,2.91,2.65,294.44,133.33,151.26,13.31,2.25,13.3
SAT_Competition2011/SAT11/application/rintanen/SATPlanning/blocks-blocks-37-1.120-NOTKNOWN.cnf,1,316.42,2.02,2.24,2.02,20.5,15.61,34.6,6.16,0.84,6.33
SAT_RACE2008/manol-pipe-c6bidw_i.cnf,1,0.69,2.0,2.0,2.01,20.01,1.45,2.37,2.34,0.02,2.15
SAT_Competition2011/SAT_RACE06/velev-pipe-o-uns-1.0-7.cnf,1,1.31,2.0,2.02,2.06,20.98,2.41,3.59,2.54,0.11,2.57
SAT-Race-2010-CNF/hardware-verification/velev/1dlx_c_iq57_a.cnf,1,432.27,2.01,2.25,2.57,20.8,53.49,57.11,9.49,1.56,9.49
SAT_Competition2011/SAT07/industrial/IBM_FV_2004_30/IBM_FV_2004_rule_batch_30_SAT_dat.k80.cnf,1,14.3,2.01,2.02,2.07,20.03,2.86,3.22,2.46,0.08,2.43
SAT_RACE2006/SAT-Race-Benchmarks/een-pico-prop01-75.cnf,1,0.29,2.0,2.0,2.01,20.01,0.91,2.08,2.47,0.01,2.11
SAT_Competition2011/SAT07/industrial/babic/dspam/dspam_dump_vc949.cnf,1,?,?,?,?,?,1.41,?,?,?,?
SAT_RACE2006/SAT-Race-Benchmarks/vange-col-inithx.i.1-cn-54.cnf,1,2.07,2.0,2.0,2.01,20.62,3.88,2.74,2.22,0.02,2.23
SAT_Competition2011/SAT09/APPLICATIONS/diagnosis/UR-10-10p1.cnf,1,10.35,2.0,2.02,2.03,14.43,3.27,2.89,2.36,0.06,2.31
SAT_Competition2011/SAT-Race-2010-CNF/hardware-verification/velev/1dlx_c_iq57_a.cnf,1,444.16,2.03,2.16,2.32,20.9,58.08,57.02,9.64,1.46,9.6
SAT_Competition2009/APPLICATION/SAT07/industrial/grieu/vmpc_28.cnf,1,0.02,2.0,2.02,2.01,20.82,0.17,0.57,2.1,0.02,2.11
SAT_RACE2006/SAT-Race-Benchmarks/aloul-chnl11-13.cnf,1,0.0,2.0,2.0,0.01,0.25,0.0,0.03,2.25,0.0,2.21
SAT_RACE2006/SAT-Race-Benchmarks/goldb-heqc-dalumul.cnf,1,0.22,2.0,2.01,2.01,20.01,0.15,0.75,2.15,0.01,2.08
SAT_RACE2006/SAT-Race-Benchmarks/simon-s02-w08-18.cnf,1,5.97,2.01,2.03,2.02,20.02,3.41,2.88,2.31,0.06,2.25
SAT_Competition2009/APPLICATION/SAT09/APPLICATIONS/bitverif/minandmaxor/minandmaxor128.cnf,1,14.37,2.0,2.02,2.01,20.03,8.01,3.46,2.41,0.07,2.39
SAT_Competition2009/APPLICATION/SAT09/APPLICATIONS/bioinfo/q_query_3_L200_coli.sat.cnf,1,52.22,2.01,2.06,2.07,20.09,46.78,6.29,3.39,0.22,3.38
SAT_Competition2007/industrial/industrial/fuhs/hard/AProVE07-25.cnf,1,0.03,2.02,2.0,2.01,14.75,0.15,0.22,2.31,0.01,2.11
SAT_Competition2009/APPLICATION/SAT_RACE08/cnf/mizh-md5-47-3.cnf,1,1.68,2.0,2.01,2.01,7.75,0.99,1.64,2.31,0.02,2.16
SAT_Competition2009/APPLICATION/SAT07/industrial/fuhs/medium/AProVE07-09.cnf,1,0.94,2.0,2.0,2.01,20.17,1.06,3.06,2.22,0.02,2.11
SAT_Competition2007/industrial/industrial/anbulagan/hard-unsat/partial-5-13-u.cnf,1,18.16,2.01,2.03,2.01,9.29,4.19,3.35,2.58,0.08,2.42
SAT_Competition2007/industrial/industrial/fuhs/medium/AProVE07-02.cnf,1,0.02,2.0,2.0,1.42,1.83,0.14,0.2,2.44,0.0,2.17
SAT_RACE2006/SAT-Race-Benchmarks/manol-pipe-f9n.cnf,1,2.14,2.0,2.0,2.02,20.02,2.58,2.84,2.3,0.04,2.22
SAT_Competition2011/SAT11/application/rintanen/SATPlanning/transport-transport-city-sequential-35nodes-1000size-4degree-100mindistance-4trucks-14packages-2008seed.040-NOTKNOWN.cnf,1,1613.42,2.02,2.08,2.2,20.31,16.41,75.93,6.16,0.91,6.24
SAT_Competition2011/SAT11/application/jarvisalo/smtqfbv-aigs/smtlib-qfbv-aigs-VS3-benchmark-S2-tseitin.cnf,1,28.06,2.0,2.0,2.01,20.04,3.78,3.28,2.43,0.09,2.44
SAT_Competition2007/industrial/industrial/narain/clauses-10.cnf,1,1197.62,2.02,2.32,2.23,293.65,415.28,18.55,5.43,0.68,5.52
SAT_Competition2011/SAT11/application/jarvisalo/HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k50-pdtswvsam6x8p3-tseitin.cnf,1,1.46,2.01,2.0,2.01,20.02,2.93,2.47,2.3,0.03,2.19
SAT_Competition2007/industrial/industrial/palacios/hard/safe-50-h50-sat.cnf,1,2.38,2.0,2.09,2.05,20.07,211.49,17.81,3.71,0.22,3.64
SAT-Race-2010-CNF/hardware-verification/manolios/c9idw.cnf,1,2.23,2.0,2.0,2.01,20.02,2.9,2.88,2.34,0.04,2.26
SAT_RACE2006/SAT-Race_TS_2/manol-pipe-c10bi_s.cnf,1,1.01,2.01,2.0,2.02,20.02,1.95,2.48,2.25,0.05,2.19
SAT_RACE2006/SAT-Race_TS_2/goldb-heqc-k2mul.cnf,1,0.33,2.0,2.0,2.01,20.38,0.27,1.15,2.15,0.02,2.08
SAT_Competition2009/APPLICATION/SAT07/industrial/palacios/hard/safe-30-h29-unsat.cnf,1,0.29,2.01,2.02,2.02,20.17,12.61,3.45,2.31,0.05,2.27
SAT-Race-2010-CNF/software-verification/fuhs/AProVE07-27.cnf,1,0.04,2.0,2.0,2.01,20.12,0.13,0.24,2.2,0.0,2.09
SAT_Competition2007/industrial/industrial/narain/clauses-6.cnf,1,108.64,2.0,2.01,2.08,33.68,42.79,4.61,2.99,0.2,3.0
SAT_Competition2011/SAT11/application/jarvisalo/HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k45-pdtswvqis8x8p2-tseitin.cnf,1,1.87,2.01,2.0,2.02,20.03,2.77,2.53,2.32,0.04,2.21
SAT_RACE2008/manol-pipe-c9n_i.cnf,1,0.09,1.99,2.0,2.01,20.01,0.44,0.82,2.35,0.01,2.1
SAT_Competition2011/SAT11/application/manthey/traffic/traffic_r_sat.cnf,1,23.65,2.0,2.17,2.23,20.2,7.95,11.0,5.36,0.51,5.5
SAT_Competition2007/industrial/industrial/fuhs/medium/AProVE07-16.cnf,1,0.76,2.0,2.0,2.01,20.1,1.1,1.25,2.2,0.01,2.12
SAT-Race-2010-CNF/hardware-verification/velev/9dlx_vliw_at_b_iq9.cnf,1,379.72,2.03,2.37,2.89,136.11,112.48,59.81,9.94,1.74,10.03
SAT_Competition2009/APPLICATION/SAT_RACE06/simon-s02b-k2f-gr-rcs-w8.cnf,1,0.39,2.01,2.0,2.06,20.04,1.57,2.68,2.34,0.05,2.28
SAT_Competition2011/SAT03/industrial/li/li-test4/li-test4-100.shuffled-as.sat03-370.cnf,1,2.67,2.01,2.0,2.03,17.03,0.72,2.81,2.33,0.03,2.18
SAT_Competition2009/APPLICATION/SAT09/APPLICATIONS/crypto/desgen/gss-24-s100.cnf,1,0.5,2.0,2.0,2.01,2.65,0.81,1.53,2.24,0.01,2.08
SAT_Competition2011/SAT_RACE08/cnf/ibm-2004-23-k100.cnf,1,12.44,2.0,2.0,2.03,20.03,5.0,3.84,2.51,0.08,2.6
SAT_Competition2007/industrial/industrial/manolios/manol-pipe-f9n.cnf,1,2.11,2.0,2.0,2.02,20.02,2.52,2.81,2.32,0.03,2.24
SAT-Race-2010-CNF/cryptography/desgen/gss-20-s100.cnf,1,0.47,2.0,2.0,2.01,2.4,0.77,1.41,2.31,0.0,2.11
SAT_RACE2006/SAT-Race-Benchmarks/ibm-2004-19-k90.cnf,1,11.17,2.0,2.01,2.07,20.03,5.14,3.47,2.5,0.12,2.48
SAT_Competition2011/SAT02/industrial/aloul/Homer/homer17.shuffled.cnf,1,0.0,2.0,2.0,0.01,0.26,0.0,0.03,2.27,0.0,2.27
SAT_Competition2011/SAT11/application/jarvisalo/smtqfbv-aigs/smtlib-qfbv-aigs-bin_libsmbclient_vc1228502-tseitin.cnf,1,5.42,1.2,2.0,2.01,20.02,5.26,2.74,2.31,0.05,2.23
SAT_Competition2009/APPLICATION/SAT09/APPLICATIONS/diagnosis/UTI-20-10p1.cnf,1,48.2,2.01,2.01,2.04,20.07,7.14,4.53,2.92,0.22,2.87
SAT_Competition2009/APPLICATION/SAT09/APPLICATIONS/aprove09/AProVE09-10.cnf,1,2.09,2.0,2.0,2.01,20.08,1.45,2.39,2.25,0.03,2.16
SAT_Competition2011/SAT07/industrial/IBM_FV_2004_30/IBM_FV_2004_rule_batch_30_SAT_dat.k55.cnf,1,6.4,2.0,2.0,2.01,20.03,1.98,2.91,2.37,0.05,2.32
SAT_Competition2009/APPLICATION/SAT_RACE06/velev-pipe-uns-1.0-8.cnf,1,2.98,2.01,2.05,2.09,20.91,5.67,7.99,2.99,0.21,3.03
SAT_Competition2007/industrial/industrial/babic/hsatv17/hsat_vc12072.cnf,1,?,?,?,?,?,3.89,?,?,?,?
SAT_Competition2011/SAT11/application/jarvisalo/HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k45-pdtvissoap1-tseitin.cnf,1,4.23,2.0,2.01,2.01,20.03,2.52,2.74,2.3,0.03,2.21
SAT_RACE2006/SAT-Race-Benchmarks/manol-pipe-g6bi.cnf,1,0.05,1.19,2.0,2.01,13.15,0.29,0.55,2.22,0.01,2.09
SAT_Competition2009/APPLICATION/SAT09/APPLICATIONS/satComp09_BioInstances/rbcl_xits_09_UNKNOWN.cnf,1,0.03,1.99,2.0,2.01,24.79,0.49,2.26,2.07,0.01,2.09
SAT_RACE2006/SAT-Race_TS_1/goldb-heqc-rotmul.cnf,1,0.09,2.0,2.0,2.01,20.01,0.12,0.72,2.16,0.0,2.07
SAT_RACE2006/SAT-Race-Benchmarks/simon-s03-fifo8-300.cnf,1,1.3,2.0,2.0,2.01,3.07,2.7,1.87,2.22,0.02,2.12
SAT_Competition2009/APPLICATION/SAT07/industrial/vliw_unsat_2.0/9dlx_vliw_at_b_iq1.cnf,1,0.76,1.99,2.0,2.02,20.55,1.45,2.5,2.24,0.04,2.22
SAT_Competition2011/SAT03/industrial/maris/CNF/gripper13u.shuffled-as.sat03-395.cnf,1,0.06,2.0,2.0,2.01,1.3,0.12,0.36,2.34,0.01,2.12
SAT_RACE2008/een-tip-sat-nusmv-t5.B.cnf,1,0.28,0.5,2.0,2.01,4.3,0.9,1.04,2.37,0.01,2.09
SAT_Competition2011/SAT09/APPLICATIONS/bitverif/minxorminand/minxorminand128.cnf,1,0.55,2.01,2.0,2.01,20.05,8.77,2.81,2.34,0.03,2.21
SAT_RACE2008/een-pico-prop00-75.cnf,1,2.46,0.45,2.0,2.02,20.01,2.42,2.39,2.36,0.03,2.17
SAT_Competition2009/APPLICATION/SAT07/industrial/vliw_sat_4.0/9vliw_m_9stages_iq3_C1_bug8.cnf,1,574.26,2.02,4.4,2.64,287.75,132.79,150.22,13.12,2.4,13.4
SAT_RACE2006/SAT-Race-Benchmarks/velev-pipe-sat-1.0-b7.cnf,1,33.61,2.02,2.72,3.29,60.2,132.62,65.02,8.41,1.38,8.67
SAT_Competition2011/SAT03/industrial/kukula/addm_bench/am_7_7.shuffled-as.sat03-363.cnf,1,0.04,2.0,2.0,2.01,0.11,0.03,0.13,2.55,0.0,2.15
SAT_Competition2009/APPLICATION/SAT_RACE08/cnf/manol-pipe-g10nid.cnf,1,3.26,2.01,2.0,2.02,20.02,3.21,3.02,2.33,0.05,2.31
SAT_Competition2007/industrial/industrial/babic/dspam/dspam_dump_vc950.cnf,1,?,?,?,?,?,1.3,?,?,?,?
SAT_Competition2011/SAT02/industrial/goldberg/rand_net/rand_net60-25-10.shuffled.cnf,1,0.01,2.0,2.0,0.63,0.1,0.03,0.2,2.22,0.0,2.12
SAT_Competition2007/industrial/industrial/crypto/mizh-sha0-36-2.cnf,1,1.04,2.01,2.0,2.01,5.37,0.7,1.29,2.36,0.01,2.12
SAT_Competition2009/APPLICATION/SAT09/APPLICATIONS/aprove09/AProVE09-24.cnf,1,2.74,2.01,2.0,2.01,20.01,1.15,1.72,2.26,0.04,2.15
SAT_Competition2011/SAT11/application/leberre/2dimensionalstrippacking/korf-18.cnf,1,0.19,2.0,2.01,2.01,20.35,0.9,3.09,2.26,0.05,2.26
SAT_Competition2009/APPLICATION/SAT09/APPLICATIONS/bitverif/countbitssrl/countbitssrl016.cnf,1,0.01,2.0,2.0,0.55,0.54,0.05,0.08,2.5,0.0,2.19
SAT_Competition2011/SAT11/application/fuhs/AProVE11/AProVE11-13.cnf,1,150.45,2.02,2.0,2.03,23.65,12.65,6.53,3.42,0.21,3.5
SAT_RACE2006/SAT-Race-Benchmarks/ibm-2002-11r1-k45.cnf,1,5.18,2.0,2.0,2.01,20.04,3.41,3.0,2.36,0.06,2.31
SAT_RACE2006/SAT-Race-Benchmarks/manol-pipe-g10id.cnf,1,1.8,1.99,2.0,2.03,20.01,2.19,2.54,2.34,0.04,2.21
SAT_Competition2011/SAT-Race-2010-CNF/cryptography/mizh/md5_48_3.cnf,1,1.75,2.01,2.01,2.03,8.04,1.41,1.64,2.3,0.05,2.16
SAT_Competition2009/APPLICATION/SAT09/APPLICATIONS/diagnosis/UCG-15-5p0.cnf,1,18.54,2.0,2.02,2.03,20.07,5.21,3.75,2.55,0.15,2.54
SAT_Competition2009/APPLICATION/SAT07/industrial/palacios/hard/sortnet-8-ipc5-h18-unsat.cnf,1,4.33,2.01,2.0,2.1,20.15,11.31,4.99,2.62,0.1,2.63
SAT_Competition2009/APPLICATION/SAT09/APPLICATIONS/crypto/desgen/gss-22-s100.cnf,1,0.49,2.0,2.0,2.01,2.55,0.81,1.54,2.33,0.01,2.1
SAT_Competition2011/SAT04/industrial/vangelder/cnf-color/abb313GPIA-9-tr.used-as.sat04-321.cnf,1,0.45,2.0,2.07,2.02,20.03,1.76,3.59,2.42,0.07,2.41
SAT_Competition2009/APPLICATION/SAT09/APPLICATIONS/c32sat/post-cbmc-aes-d-r2-noholes.cnf,1,0.15,1.99,2.0,2.02,20.05,23.24,2.99,2.47,0.06,2.43
SAT_Competition2007/industrial/industrial/anbulagan/medium-sat/total-10-17-s.cnf,1,17.72,2.01,2.22,2.09,18.04,7.1,3.44,2.47,0.13,2.45
SAT_Competition2011/SAT11/application/fuhs/AProVE11/AProVE11-06.cnf,1,62.79,2.0,2.06,2.04,20.07,8.4,4.28,2.83,0.16,2.88
SAT_RACE2008/maris-s03-gripper11.cnf,1,0.03,2.0,2.0,1.78,0.46,0.06,0.19,2.55,0.0,2.17
SAT_Competition2009/APPLICATION/SAT09/APPLICATIONS/crypto/desgen/gss-32-s100.cnf,1,0.52,2.0,2.0,2.01,2.64,0.76,1.44,2.25,0.01,2.09
SAT_Competition2007/industrial/industrial/narain/clauses-2.cnf,1,1.12,2.01,2.0,2.01,20.18,1.47,2.27,2.15,0.03,2.1
SAT_RACE2006/SAT-Race_TS_1/manol-pipe-g6bid.cnf,1,0.13,2.01,2.0,2.01,20.01,0.51,1.05,2.36,0.01,2.11
SAT-Race-2010-CNF/mixed/bioinf/q_query_3_l45_lambda.cnf,1,0.15,2.0,2.0,2.01,20.01,0.72,0.73,2.2,0.01,2.09
SAT_Competition2011/SAT_RACE08/cnf/mizh-sha0-36-4.cnf,1,1.05,2.01,2.0,2.01,5.4,0.69,1.27,2.38,0.02,2.12
SAT_Competition2009/APPLICATION/SAT07/industrial/palacios/uts/uts-l06-ipc5-h28-unknown.cnf,1,0.88,2.01,2.02,2.03,20.21,8.31,11.77,2.6,0.09,2.59
SAT_RACE2006/SAT-Race-Benchmarks/manol-pipe-c6nidw_i.cnf,1,0.69,2.0,2.0,2.01,20.01,1.26,2.42,2.35,0.02,2.15
SAT_Competition2011/SAT11/application/jarvisalo/HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k45-pdtswvtms14x8p1-tseitin.cnf,1,0.57,2.0,2.0,2.01,20.01,1.82,2.19,2.27,0.02,2.13
SAT_Competition2011/SAT02/industrial/goldberg/rand_net/rand_net60-40-10.shuffled.cnf,1,0.02,2.01,2.0,2.01,0.13,0.06,0.22,2.62,0.0,2.25
SAT_Competition2011/SAT09/APPLICATIONS/satComp09_BioInstances/ndhf_xits_19_UNKNOWN.cnf,1,0.26,2.01,2.2,2.04,113.47,4.45,3.17,2.46,0.07,2.49
SAT_RACE2006/SAT-Race_TS_1/manol-pipe-c8_i.cnf,1,0.02,1.48,2.0,1.92,10.58,0.23,0.41,2.22,0.0,2.11
SAT_RACE2008/post-cbmc-zfcp-2.8-u2.cnf,1,?,?,512.0,?,?,?,?,?,?,?
SAT_RACE2006/SAT-Race_TS_2/een-pico-sr06-pr02-02.cnf,1,0.27,2.0,2.0,2.01,20.01,0.93,2.16,2.35,0.01,2.13
SAT-Race-2010-CNF/software-verification/nec/hard-9-U-10652.cnf,1,36.36,2.01,2.0,2.09,20.26,132.71,9.58,2.94,0.17,2.88
SAT_RACE2006/SAT-Race-Benchmarks/mizh-sha0-35-2.cnf,1,0.99,2.0,2.0,2.01,5.01,0.73,1.26,2.22,0.02,2.12
SAT_RACE2008/ibm-2004-23-k80.cnf,1,7.84,2.0,2.0,2.02,20.02,3.33,3.56,2.42,0.05,2.39
SAT_Competition2009/APPLICATION/SAT09/APPLICATIONS/diagnosis/UTI-20-5p0.cnf,1,35.67,2.0,2.07,2.02,20.06,5.6,4.19,2.72,0.13,2.71
SAT_RACE2006/SAT-Race-Benchmarks/ibm-2004-04-k100.cnf,1,6.44,2.01,2.0,2.04,20.02,2.19,2.64,2.37,0.05,2.26
SAT_Competition2011/SAT_RACE06/velev-npe-1.0-9dlx-b71.cnf,1,1947.86,2.04,2.88,3.35,20.82,617.74,571.23,14.59,2.49,14.73
SAT_Competition2011/SAT04/industrial/velev/vliw_unsat_2.0/9dlx_vliw_at_b_iq9.used-as.sat04-719.cnf,1,380.15,2.02,3.94,3.03,168.88,114.95,60.55,9.92,1.6,10.08
SAT_Competition2009/APPLICATION/SAT09/APPLICATIONS/bitverif/maxxor/maxxor064.cnf,1,0.85,2.0,2.0,2.01,20.01,1.01,1.43,2.14,0.03,2.11
SAT_RACE2006/SAT-Race-Benchmarks/goldb-heqc-i8mul.cnf,1,0.5,2.02,2.0,2.01,20.07,0.35,1.38,2.18,0.01,2.11
SAT_RACE2008/velev-vliw-uns-2.0-iq2.cnf,1,2.8,2.0,2.0,2.02,22.94,2.81,3.91,2.45,0.08,2.42
SAT_RACE2006/SAT-Race-Benchmarks/mizh-sha0-35-4.cnf,1,1.0,2.0,2.0,2.01,5.03,0.71,1.2,2.28,0.03,2.12
SAT_Competition2011/SAT11/application/fuhs/slp-synthesis-AES/slp-synthesis-aes-bottom24.cnf,1,1.53,2.01,2.0,2.01,20.01,1.14,2.4,2.37,0.02,2.15
SAT_Competition2011/SAT05/industrial/maris05/DriverLog/driverlog3_v01a.renamed-as.sat05-3963.cnf,1,0.0,0.0,1.37,0.01,0.01,0.0,0.0,1.01,0.0,0.97
SAT_RACE2006/SAT-Race-Benchmarks/manol-pipe-f7idw.cnf,1,4.33,2.0,2.0,2.04,20.03,3.71,3.2,2.37,0.04,2.34
SAT-Race-2010-CNF/software-verification/fuhs/AProVE09-20.cnf,1,0.43,2.0,2.0,2.01,11.87,0.58,0.83,2.32,0.01,2.1
SAT_Competition2007/industrial/industrial/anbulagan/hard-unsat/total-10-19-u.cnf,1,22.04,2.0,2.1,2.13,20.07,8.61,3.88,2.55,0.17,2.57
SAT_Competition2007/industrial/industrial/palacios/hard/sortnet-6-ipc5-h11-unsat.cnf,1,0.06,2.0,2.0,2.01,20.14,0.53,1.07,2.12,0.01,2.1
SAT_RACE2006/SAT-Race_TS_2/manol-pipe-cha05-143.cnf,1,1.17,2.0,2.0,2.03,20.02,1.86,2.6,2.38,0.04,2.2
SAT_Competition2011/SAT07/industrial/vliw_sat_4.0/9vliw_m_9stages_iq3_C1_bug5.cnf,1,572.65,2.03,2.06,2.53,281.31,131.51,150.75,13.4,2.16,13.54
SAT_Competition2009/APPLICATION/SAT09/APPLICATIONS/bitverif/countbitssrl/countbitssrl032.cnf,1,0.12,2.0,2.0,2.01,6.45,0.27,0.33,2.32,0.01,2.07
SAT_Competition2007/industrial/industrial/babic/hsatv17/hsat_vc11935.cnf,1,?,?,?,?,?,1.96,?,?,?,?
SAT_Competition2011/SAT09/APPLICATIONS/c32sat/post-c32s-gcdm16-23.cnf,1,0.57,2.0,2.0,2.01,20.01,2.53,1.67,2.35,0.02,2.13
SAT_Competition2011/SAT11/application/fuhs/slp-synthesis-AES/slp-synthesis-aes-bottom17.cnf,1,0.41,2.01,2.0,2.01,20.01,0.53,1.74,2.3,0.01,2.09
SAT_Competition2011/SAT11/application/jarvisalo/AAAI2010-SATPlanning/aaai10-planning-ipc5-pipesworld-27-step13.cnf,1,133.99,2.0,2.09,2.26,20.48,148.12,426.27,6.06,0.87,5.91
SAT_Competition2009/APPLICATION/SAT_RACE08/cnf/simon-s03-w08-15.cnf,1,7.11,2.01,2.0,2.25,20.03,3.67,3.62,2.35,0.07,2.26
SAT_Competition2009/APPLICATION/SAT09/APPLICATIONS/satComp09_BioInstances/rbcl_xits_13_UNKNOWN.cnf,1,0.04,2.0,2.0,2.01,20.78,0.77,2.58,2.14,0.02,2.13
SAT-Race-2010-CNF/hardware-verification/manolios/f7nidw.cnf,1,5.22,2.01,2.0,2.02,20.03,4.56,3.09,2.42,0.06,2.39
SAT_RACE2006/SAT-Race-Benchmarks/manol-pipe-g10b.cnf,1,0.47,2.0,2.0,2.01,20.01,1.1,2.2,2.29,0.01,2.12
SAT-Race-2010-CNF/mixed/grieu/vmpc_28.cnf,1,0.01,2.0,2.0,2.01,20.65,0.15,0.48,2.1,0.01,2.09
SAT-Race-2010-CNF/software-verification/bitverif/countbitsarray02_32.cnf,1,0.02,2.0,2.0,0.85,0.12,0.05,0.11,2.56,0.0,2.2
SAT_Competition2009/APPLICATION/SAT09/APPLICATIONS/crypto/md5gen/gus-md5-04.cnf,1,2.01,1.99,2.01,2.01,9.31,1.01,1.88,2.36,0.03,2.18
SAT_Competition2011/SAT11/application/jarvisalo/HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k45-pdtswvrod6x8p1-tseitin.cnf,1,1.41,2.0,2.0,2.01,20.02,2.89,2.57,2.28,0.03,2.19
SAT_RACE2006/SAT-Race_TS_1/simon-mixed-s02bis-03.cnf,1,0.74,2.01,2.0,2.01,0.76,0.32,1.17,2.37,0.01,2.1
SAT_Competition2011/SAT11/application/rintanen/SATPlanning/openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_1.045-NOTKNOWN.cnf,1,18.34,2.0,2.16,2.01,20.03,3.03,3.54,2.5,0.16,2.41
SAT-Race-2010-CNF/hardware-verification/velev/16pipe_16_ooo.cnf,1,153.51,2.03,2.14,3.77,25.42,151.74,204.67,16.72,2.65,17.06
SAT_Competition2009/APPLICATION/SAT07/industrial/jarvisalo/eq.atree.braun.12.unsat.cnf,1,0.01,2.0,2.0,0.25,0.09,0.02,0.04,2.58,0.0,2.25
SAT_RACE2008/ibm-2004-23-k100.cnf,1,12.4,2.01,2.0,2.14,20.04,4.4,4.17,2.54,0.07,2.53
SAT_Competition2009/APPLICATION/SAT09/APPLICATIONS/diagnosis/UTI-20-10p0.cnf,1,46.82,2.0,2.04,2.09,20.08,8.02,4.77,2.94,0.27,2.97
SAT_RACE2006/SAT-Race-Benchmarks/grieu-vmpc-s05-25.cnf,1,0.01,2.01,2.0,1.36,20.27,0.15,0.38,2.09,0.01,2.08
SAT_Competition2011/SAT11/application/jarvisalo/HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k50-pdtviseisenberg2-tseitin.cnf,1,1.95,2.01,2.0,2.02,20.01,2.31,2.51,2.24,0.04,2.18
SAT_Competition2007/industrial/industrial/anbulagan/hard-unsat/partial-10-11-u.cnf,1,19.56,2.01,2.03,2.05,8.06,4.74,3.35,2.4,0.07,2.38
SAT_Competition2011/SAT11/application/leberre/2dimensionalstrippacking/korf-15.cnf,1,0.05,2.01,2.0,2.01,21.2,0.48,1.3,2.08,0.01,2.06
SAT_Competition2009/APPLICATION/SAT09/APPLICATIONS/satComp09_BioInstances/ndhf_xits_21_SAT.cnf,1,0.58,1.57,2.03,2.02,83.53,6.62,3.67,2.57,0.1,2.57
SAT_Competition2009/APPLICATION/SAT09/APPLICATIONS/satComp09_BioInstances/ndhf_xits_22_SAT.cnf,1,0.5,1.19,2.06,2.04,87.47,6.84,3.91,2.58,0.11,2.58
SAT_Competition2007/industrial/industrial/fuhs/medium/AProVE07-21.cnf,1,0.01,1.99,2.0,0.31,0.37,0.05,0.07,2.21,0.0,2.1
SAT_Competition2007/industrial/industrial/grieu/vmpc_25.cnf,1,0.01,2.0,2.0,1.5,20.6,0.11,0.4,2.1,0.01,2.08
SAT_Competition2011/SAT11/application/jarvisalo/AAAI2010-SATPlanning/aaai10-planning-ipc5-pipesworld-12-step16.cnf,1,9.66,2.02,2.0,2.05,20.06,1.94,4.73,2.73,0.16,2.67
SAT_Competition2009/APPLICATION/SAT09/APPLICATIONS/bioinfo/q_query_3_l45_lambda.cnf,1,0.16,2.01,2.0,2.01,20.01,0.71,0.71,2.24,0.02,2.1
SAT_Competition2011/SAT-Race-2010-CNF/hardware-verification/velev/11pipe_11_ooo.cnf,1,16.97,2.02,2.08,2.14,23.81,21.71,30.29,5.21,0.73,5.26
SAT_RACE2006/SAT-Race_TS_1/velev-live-sat-1.0-01.cnf,1,61.61,2.02,2.17,2.34,20.42,16.2,20.52,4.2,0.43,4.26
SAT_Competition2011/SAT11/application/jarvisalo/AAAI2010-SATPlanning/aaai10-planning-ipc5-pathways-13-step17.cnf,1,0.95,2.0,2.01,2.01,3.17,0.54,2.2,2.37,0.01,2.11
SAT_Competition2009/APPLICATION/SAT09/APPLICATIONS/crypto/desgen/gss-19-s100.cnf,1,0.48,2.01,2.0,2.01,2.5,0.92,1.53,2.32,0.01,2.11
SAT_RACE2008/ibm-2004-29-k55.cnf,1,0.85,2.0,2.0,2.01,20.01,0.71,1.99,2.21,0.01,2.12
SAT_Competition2011/SAT11/application/rintanen/SATPlanning/sokoban-sequential-p145-microban-sequential.040-NOTKNOWN.cnf,1,7.27,2.01,2.01,2.02,20.08,2.99,3.46,2.55,0.1,2.51
SAT_Competition2009/APPLICATION/SAT07/industrial/anbulagan/hard-sat/partial-5-17-s.cnf,1,40.52,2.0,2.03,2.06,20.09,6.76,4.4,2.67,0.21,2.65
SAT_Competition2009/APPLICATION/SAT_RACE08/cnf/velev-vliw-uns-4.0-9-i1.cnf,1,47.08,2.01,2.06,2.11,31.73,21.99,25.35,4.7,0.54,4.74
SAT_Competition2007/industrial/industrial/palacios/medium/blocks-4-ipc5-h22-unknown.cnf,1,1.15,2.0,2.02,2.04,20.15,10.63,14.08,2.79,0.11,2.76
SAT_Competition2009/APPLICATION/SAT_RACE06/manol-pipe-c9.cnf,1,0.02,1.64,2.0,2.01,11.12,0.21,0.43,2.34,0.01,2.13
SAT-Race-2010-CNF/cryptography/md5gen/gus-md5-09.cnf,1,1.99,2.0,2.0,2.01,9.26,0.98,1.76,2.39,0.02,2.15
SAT_Competition2007/industrial/industrial/palacios/uts/uts-l06-ipc5-h35-unknown.cnf,1,1.27,2.0,2.03,2.01,20.1,13.86,13.69,2.81,0.11,2.81
SAT_Competition2011/SAT11/application/fuhs/slp-synthesis-AES/slp-synthesis-aes-bottom19.cnf,1,0.63,2.01,2.0,2.01,20.03,0.66,2.06,2.32,0.02,2.1
SAT_Competition2009/APPLICATION/SAT_RACE06/velev-pipe-o-uns-1.0-7.cnf,1,1.46,2.01,2.05,2.07,20.69,2.82,3.93,2.58,0.18,2.61
SAT-Race-2010-CNF/hardware-verification/manolios/c7bidw_i.cnf,1,1.26,2.0,2.0,2.02,20.02,1.76,2.51,2.27,0.02,2.18
SAT_Competition2007/industrial/industrial/manolios/manol-pipe-f9b.cnf,1,2.04,2.01,2.0,2.02,20.02,2.74,2.9,2.33,0.05,2.25
SAT_Competition2009/APPLICATION/SAT_RACE06/manol-pipe-g6bi.cnf,1,0.06,1.43,2.0,2.01,13.26,0.3,0.59,2.33,0.0,2.11
SAT_Competition2009/APPLICATION/SAT09/APPLICATIONS/crypto/desgen/gss-27-s100.cnf,1,0.52,1.99,2.0,2.01,2.55,0.78,1.44,2.31,0.0,2.1
SAT_Competition2011/SAT11/application/fuhs/AProVE11/AProVE11-02.cnf,1,27.72,1.26,2.01,2.02,20.07,6.02,3.71,2.54,0.14,2.49
SAT_RACE2006/SAT-Race-Benchmarks/manol-pipe-f6bi.cnf,1,0.26,2.0,2.0,2.01,20.01,0.85,1.49,2.3,0.01,2.11
SAT_Competition2011/SAT11/application/rintanen/SATPlanning/transport-transport-three-cities-sequential-14nodes-1000size-4degree-100mindistance-4trucks-14packages-2008seed.040-NOTKNOWN.cnf,1,2183.93,2.04,3.26,2.21,20.53,22.85,101.9,6.85,1.37,6.87
SAT_Competition2009/APPLICATION/SAT09/APPLICATIONS/aprove09/AProVE09-25.cnf,1,0.58,0.33,2.0,2.01,20.01,0.66,0.76,2.2,0.01,2.08
SAT_RACE2006/SAT-Race-Benchmarks/manol-pipe-c9nidw_s.cnf,1,6.88,1.99,2.0,2.03,20.04,4.75,3.48,2.46,0.06,2.43
SAT_RACE2008/velev-npe-1.0-9dlx-b71.cnf,1,1894.39,2.02,2.74,3.25,20.93,615.03,564.03,14.52,2.43,14.66
SAT_Competition2009/APPLICATION/SAT09/APPLICATIONS/diagnosis/UCG-10-5p0.cnf,1,6.03,2.01,2.0,2.01,11.13,2.84,2.96,2.3,0.08,2.29
SAT_Competition2009/APPLICATION/SAT09/APPLICATIONS/bitverif/countbitsarray/countbitsarray32_32.cnf,1,3.26,2.01,2.0,2.01,1.86,1.38,1.88,2.24,0.03,2.15
SAT_Competition2011/SAT_RACE08/Q1/SAT_dat.k80_04.cnf,1,4.38,2.0,2.0,2.01,20.02,2.14,2.8,2.34,0.04,2.24
SAT-Race-2010-CNF/mixed/anbulagan/dated-5-13-u.cnf,1,4.78,2.01,2.0,2.03,4.74,2.85,2.64,2.26,0.04,2.2
SAT_Competition2007/industrial/industrial/palacios/uts/uts-l05-ipc5-h26-unsat.cnf,1,0.43,2.0,2.01,2.02,20.04,4.09,4.98,2.36,0.04,2.35
SAT_Competition2011/SAT11/application/jarvisalo/AAAI2010-SATPlanning/aaai10-planning-ipc5-pathways-17-step21.cnf,1,4.21,2.0,2.01,2.02,8.7,1.17,2.63,2.38,0.05,2.21
SAT_Competition2011/SAT11/application/jarvisalo/HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k45-pdtpmspalu-tseitin.cnf,1,1.14,2.0,2.01,2.01,20.01,1.2,2.29,2.17,0.03,2.15
SAT_RACE2006/SAT-Race_TS_2/manol-pipe-f6i.cnf,1,0.16,1.64,2.0,2.01,20.01,0.63,1.06,2.28,0.01,2.13
SAT_Competition2011/SAT07/industrial/vliw_unsat_2.0/9dlx_vliw_at_b_iq7.cnf,1,170.0,2.01,2.51,2.72,164.34,46.33,35.75,7.0,0.89,7.11
SAT-Race-2010-CNF/hardware-verification/manolios/c9b_i.cnf,1,0.11,2.0,2.0,2.01,20.01,0.47,1.03,2.33,0.0,2.13
SAT_RACE2006/SAT-Race_TS_2/manol-pipe-c10id_s.cnf,1,2.35,2.0,2.0,2.03,20.09,2.52,2.68,2.38,0.04,2.27
SAT_Competition2007/industrial/industrial/crypto/mizh-md5-48-5.cnf,1,1.75,2.0,2.01,2.01,8.05,1.04,1.71,2.26,0.03,2.15
SAT_Competition2009/APPLICATION/SAT09/APPLICATIONS/diagnosis/ACG-20-10p1.cnf,1,151.74,2.02,2.02,2.11,20.07,7.98,5.2,3.01,0.23,3.02
SAT_Competition2009/APPLICATION/SAT_RACE08/cnf/goldb-heqc-alu4mul.cnf,1,0.06,2.0,2.0,2.01,20.01,0.08,0.41,2.14,0.0,2.08
SAT_Competition2007/industrial/industrial/anbulagan/diag-sat/dated-5-15-s.cnf,1,5.37,1.25,2.0,2.02,7.24,3.14,2.6,2.3,0.05,2.22
SAT_Competition2011/SAT11/application/jarvisalo/smtqfbv-aigs/smtlib-qfbv-aigs-servers_slapd_a_vc149789-tseitin.cnf,1,69.91,2.01,2.0,2.27,20.06,4.57,4.01,2.62,0.12,2.65
SAT_RACE2008/ibm-2004-01-k90.cnf,1,3.0,1.99,2.01,2.01,20.02,1.06,2.63,2.25,0.03,2.19
SAT_Competition2011/SAT11/application/jarvisalo/HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k45-bc57sensorsp1-tseitin.cnf,1,0.58,0.38,2.0,2.01,20.04,1.37,2.32,2.29,0.01,2.1
SAT_Competition2009/APPLICATION/SAT_RACE08/cnf/mizh-sha0-36-3.cnf,1,1.05,2.0,2.0,2.01,5.31,0.67,1.28,2.37,0.01,2.13
SAT_Competition2007/industrial/industrial/palacios/medium/blocks-4-ipc5-h21-unknown.cnf,1,1.14,1.99,2.06,2.02,20.83,11.91,14.08,2.78,0.12,2.77
SAT_Competition2009/APPLICATION/SAT09/APPLICATIONS/c32sat/post-cbmc-aes-ele-noholes.cnf,1,0.17,2.0,2.0,2.01,20.06,23.23,3.01,2.4,0.06,2.42
SAT_Competition2011/SAT05/industrial/grieu05/vmpc/vmpc_35.renamed-as.sat05-1921.cnf,1,0.03,2.0,2.0,2.01,21.97,0.35,1.02,2.17,0.04,2.16
SAT_RACE2008/post-c32s-gcdm16-23.cnf,1,0.56,2.0,2.0,2.01,20.01,2.48,1.69,2.23,0.02,2.11
SAT_RACE2006/SAT-Race_TS_2/velev-pipe-uns-1.0-14.cnf,1,0.01,0.77,2.0,2.01,20.3,0.23,0.58,2.09,0.01,2.05
SAT_Competition2011/SAT11/application/leberre/2dimensionalstrippacking/E07N15.cnf,1,?,?,?,?,?,0.02,?,?,?,?
SAT_Competition2009/APPLICATION/SAT_RACE08/cnf/vange-col-abb313GPIA-9-c.cnf,1,0.27,2.0,2.0,2.03,20.05,1.94,3.95,2.82,0.09,2.8
SAT_Competition2007/industrial/industrial/babic/dspam/dspam_dump_vc1081.cnf,1,?,?,?,?,?,1.57,?,?,?,?
SAT_RACE2006/SAT-Race_TS_2/velev-pipe-sat-1.1-01.cnf,1,18.4,2.0,2.18,2.09,24.5,18.53,35.9,5.64,0.69,5.7
SAT_Competition2009/APPLICATION/SAT09/APPLICATIONS/crypto/desgen/gss-31-s100.cnf,1,0.52,1.99,2.01,2.01,2.69,0.78,1.51,2.18,0.01,2.07
SAT_Competition2009/APPLICATION/SAT09/APPLICATIONS/aprove09/AProVE09-22.cnf,1,0.08,0.09,2.0,2.01,3.74,0.22,0.25,2.41,0.0,2.08
SAT_Competition2009/APPLICATION/SAT_RACE06/een-tip-uns-nusmv-t5.B.cnf,1,0.25,0.39,2.0,2.01,4.06,0.82,1.01,2.39,0.01,2.1
SAT_RACE2006/SAT-Race_TS_2/manol-pipe-g8n.cnf,1,0.11,1.99,2.0,2.01,20.01,0.51,0.96,2.31,0.0,2.12
SAT_Competition2011/SAT11/application/kullmann/AES/Benchmarks/32/aes_32_2_keyfind_1.cnf,1,0.0,2.0,2.0,0.02,0.06,0.0,0.02,2.78,0.0,2.36
SAT_Competition2007/industrial/industrial/anbulagan/hard-unsat/dated-5-15-u.cnf,1,5.42,2.0,2.01,2.05,6.57,3.89,2.94,2.25,0.06,2.24
SAT-Race-2010-CNF/software-verification/babic/itox_vc1138.cnf,1,4.24,2.0,2.0,2.01,20.33,3.41,2.56,2.26,0.03,2.19
SAT_Competition2011/SAT11/application/fuhs/slp-synthesis-AES/slp-synthesis-aes-top25.cnf,1,1.68,2.0,2.0,2.01,20.04,1.11,2.29,2.29,0.02,2.14
SAT-Race-2010-CNF/hardware-verification/manolios/f7idw.cnf,1,4.2,2.0,2.0,2.05,20.02,3.85,3.18,2.44,0.06,2.4
SAT-Race-2010-CNF/hardware-verification/manolios/c7n.cnf,1,0.07,2.0,2.0,2.01,20.01,0.36,1.21,2.24,0.0,2.09
SAT_RACE2008/mizh-md5-47-5.cnf,1,1.71,2.01,2.0,2.01,7.83,0.88,1.62,2.3,0.02,2.14
SAT_Competition2011/SAT11/application/leberre/2dimensionalstrippacking/E05F20.cnf,1,0.56,2.01,2.0,2.02,20.08,4.08,4.23,2.73,0.09,2.82
SAT_Competition2007/industrial/industrial/babic/hsatv17/hsat_vc12016.cnf,1,?,?,?,?,?,2.04,?,?,?,?
SAT_Competition2009/APPLICATION/SAT09/APPLICATIONS/bioinfo/q_query_3_l43_lambda.cnf,1,0.14,2.0,2.0,2.01,20.01,0.63,0.7,2.35,0.01,2.08
SAT-Race-2010-CNF/hardware-verification/manolios/c8idw_s.cnf,1,1.17,2.0,2.0,2.02,20.02,1.66,2.45,2.26,0.02,2.18
SAT_RACE2008/manol-pipe-g8nidw.cnf,1,1.01,2.0,2.0,2.01,20.01,1.7,2.49,2.29,0.02,2.18
SAT_Competition2007/industrial/industrial/babic/xinetd/itox_vc1130.cnf,1,4.25,2.01,2.0,2.01,20.95,3.6,2.68,2.23,0.03,2.2
SAT_Competition2011/SAT09/APPLICATIONS/diagnosis/UTI-20-10p0.cnf,1,46.2,2.01,2.02,2.03,20.06,6.38,4.06,2.82,0.15,2.84
SAT_Competition2011/SAT05/industrial/grieu05/vmpc/vmpc_25.renamed-as.sat05-1913.cnf,1,0.0,2.0,2.0,1.42,20.3,0.11,0.39,2.11,0.02,2.07
SAT_Competition2011/SAT07/industrial/anbulagan/hard-unsat/dated-10-17-u.cnf,1,9.44,2.0,2.06,2.05,11.58,4.56,2.92,2.35,0.06,2.31
SAT_Competition2007/industrial/industrial/babic/xinetd/itox_vc1216.cnf,1,?,?,?,?,?,2.65,?,?,?,?
SAT-Race-2010-CNF/mixed/bioinf/ndhf_xits_13_UNSAT.cnf,1,0.18,1.99,2.08,2.01,47.61,2.8,3.46,2.28,0.05,2.3
SAT_RACE2006/SAT-Race_TS_1/velev-pipe-1.0-09.cnf,1,33.69,2.0,4.01,3.64,79.88,143.45,65.3,8.45,1.3,8.48
SAT_RACE2006/SAT-Race_TS_2/aloul-sr06-chnl10-13.cnf,1,0.0,2.0,2.0,0.0,0.2,0.0,0.04,2.36,0.0,2.26
SAT_Competition2009/APPLICATION/SAT09/APPLICATIONS/bitverif/mulhs/mulhs016.cnf,1,0.02,2.01,2.0,1.13,0.15,0.04,0.09,2.52,0.0,2.13
SAT_Competition2009/APPLICATION/SAT07/industrial/grieu/vmpc_30.cnf,1,0.02,2.0,2.0,2.01,21.41,0.19,0.61,2.13,0.02,2.11
SAT_Competition2007/industrial/industrial/anbulagan/hard-sat/partial-10-11-s.cnf,1,19.24,2.0,2.0,2.06,8.68,4.48,3.21,2.4,0.12,2.44
SAT_Competition2011/SAT03/industrial/simon/sat02/6pipe_6_ooo.shuffled-as.sat03-413.cnf,1,1.02,2.01,2.07,2.04,21.68,4.19,3.62,2.45,0.1,2.46
SAT_Competition2011/SAT09/APPLICATIONS/diagnosis/ACG-15-5p1.cnf,1,44.9,2.0,2.02,2.03,16.7,4.24,3.7,2.52,0.11,2.54
SAT-Race-2010-CNF/hardware-verification/ibm/SAT_dat.k45.cnf,1,0.36,0.15,2.0,2.01,5.19,0.78,1.32,2.21,0.01,2.09
SAT_Competition2011/SAT09/APPLICATIONS/bioinfo/q_query_3_l46_lambda.cnf,1,0.16,2.0,2.0,2.01,20.01,0.63,0.73,2.36,0.01,2.1
SAT_Competition2007/industrial/industrial/anbulagan/diag-sat/dated-5-13-s.cnf,1,4.89,2.01,2.0,2.01,5.48,3.03,2.67,2.25,0.04,2.21
SAT_RACE2006/SAT-Race-Benchmarks/velev-pipe-sat-1.0-b10.cnf,1,34.54,2.01,5.44,2.36,69.13,155.96,67.43,8.55,1.22,8.69
SAT-Race-2010-CNF/cryptography/md5gen/gus-md5-07.cnf,1,2.03,2.01,2.0,2.01,9.48,1.03,2.12,2.31,0.02,2.19
SAT_RACE2006/SAT-Race-Benchmarks/ibm-2004-1_11-k25.cnf,1,1.21,2.0,2.0,2.02,20.01,1.27,2.44,2.31,0.02,2.16
SAT_Competition2009/APPLICATION/SAT07/industrial/palacios/medium/blocks-4-ipc5-h22-unknown.cnf,1,1.16,2.0,2.08,2.07,20.2,10.94,14.01,2.78,0.12,2.77
SAT_RACE2008/mizh-sha0-36-4.cnf,1,1.05,2.0,2.0,2.01,5.4,0.67,1.25,2.32,0.02,2.1
SAT_RACE2006/SAT-Race-Benchmarks/velev-vliw-sat-2.0-b6.cnf,1,101.8,2.01,2.24,2.73,47.33,26.01,32.0,8.91,1.23,8.97
SAT-Race-2010-CNF/mixed/grieu/vmpc_31.cnf,1,0.02,2.0,2.01,2.01,21.33,0.2,0.68,2.13,0.03,2.11
SAT_Competition2011/SAT11/application/fuhs/slp-synthesis-AES/slp-synthesis-aes-bottom26.cnf,1,2.08,2.01,2.0,2.01,20.06,1.27,2.38,2.38,0.02,2.18
SAT_RACE2006/SAT-Race-Benchmarks/grieu-vmpc-s05-34.cnf,1,0.03,2.0,2.0,2.01,22.26,0.27,0.88,2.14,0.03,2.14
SAT_RACE2006/SAT-Race_TS_1/een-tipb-sr06-tc6b.cnf,1,0.09,0.07,2.0,2.01,2.45,0.5,0.58,2.41,0.01,2.11
SAT_RACE2008/grieu-vmpc-27.cnf,1,0.01,2.0,2.0,2.01,20.77,0.13,0.43,2.1,0.01,2.09
SAT-Race-2010-CNF/hardware-verification/velev/11pipe_11_ooo.cnf,1,17.1,2.0,2.27,2.01,22.7,18.99,29.53,5.14,0.58,5.18
SAT_Competition2007/industrial/industrial/anbulagan/medium-unsat/total-5-13-u.cnf,1,8.26,2.0,2.0,2.03,6.58,3.82,2.75,2.31,0.06,2.26
SAT_Competition2009/APPLICATION/SAT09/APPLICATIONS/bitverif/minxorminand/minxorminand064.cnf,1,0.07,2.0,2.0,2.01,20.01,1.14,1.99,2.28,0.01,2.13
SAT_Competition2009/APPLICATION/SAT09/APPLICATIONS/bitverif/mulhs/mulhs032.cnf,1,0.29,2.0,2.0,2.01,1.07,0.33,0.45,2.65,0.01,2.09
SAT_Competition2009/APPLICATION/SAT_RACE06/velev-vliw-uns-4.0-9C1.cnf,1,18.24,2.0,2.07,2.06,20.67,11.0,11.67,3.46,0.29,3.48
SAT_Competition2009/APPLICATION/SAT07/industrial/vliw_unsat_2.0/9dlx_vliw_at_b_iq6.cnf,1,69.52,2.0,2.28,2.28,114.05,26.82,20.12,5.0,0.59,4.99
SAT_RACE2006/SAT-Race-Benchmarks/een-pico-prop05-50.cnf,1,0.47,2.0,2.0,2.01,14.31,0.94,2.22,2.43,0.01,2.14
SAT_RACE2006/SAT-Race-Benchmarks/mizh-md5-47-3.cnf,1,1.69,1.99,2.0,2.02,7.93,1.11,1.73,2.28,0.03,2.16
SAT_Competition2011/SAT03/industrial/schuppan/l2s/valves-gates-1-k617-unsat.shuffled-as.sat03-412.cnf,1,155.27,2.02,2.3,2.43,20.08,44.14,11.63,3.96,0.73,4.03
SAT_RACE2008/vange-col-abb313GPIA-9-c.cnf,1,0.26,2.0,2.0,2.02,20.06,1.89,3.98,2.85,0.08,2.84
SAT_Competition2009/APPLICATION/SAT09/APPLICATIONS/diagnosis/UTI-20-5p1.cnf,1,35.98,2.0,2.03,2.08,20.07,6.42,4.5,2.76,0.18,2.76
SAT_Competition2011/SAT09/APPLICATIONS/crypto/desgen/gss-14-s100.cnf,1,0.43,2.0,2.0,2.01,2.28,0.78,1.3,2.21,0.01,2.1
SAT_Competition2007/industrial/industrial/anbulagan/hard-sat/partial-5-19-s.cnf,1,43.85,2.01,2.02,2.16,20.06,6.15,4.36,2.67,0.16,2.67
SAT_Competition2011/SAT11/application/fuhs/AProVE11/AProVE11-15.cnf,1,3.16,2.0,2.0,2.05,13.37,1.84,2.17,2.24,0.06,2.18
SAT_Competition2009/APPLICATION/SAT09/APPLICATIONS/satComp09_BioInstances/ndhf_xits_15_UNKNOWN.cnf,1,0.19,2.0,2.0,2.02,61.6,3.13,3.19,2.33,0.05,2.32
SAT_Competition2011/SAT11/application/rintanen/SATPlanning/grid-strips-grid-y-4.025-NOTKNOWN.cnf,1,86.57,2.0,2.06,2.07,20.11,5.07,20.25,3.2,0.29,3.23
SAT_Competition2011/SAT09/APPLICATIONS/satComp09_BioInstances/rbcl_xits_09_UNKNOWN.cnf,1,0.01,2.0,2.02,2.01,21.65,0.39,2.34,2.09,0.02,2.08
SAT_Competition2011/SAT11/application/jarvisalo/smtqfbv-aigs/smtlib-qfbv-aigs-bin_libsmbsharemodes_vc5759-tseitin.cnf,1,1.95,0.59,2.0,2.01,20.01,3.16,2.5,2.24,0.03,2.15
SAT_RACE2008/narain-vpn-clauses-10.cnf,1,1198.26,2.02,2.37,2.18,259.86,532.95,17.74,5.26,0.8,5.44
SAT_Competition2007/industrial/industrial/anbulagan/hard-unsat/total-10-17-u.cnf,1,17.55,2.0,2.14,2.05,16.34,6.9,3.35,2.47,0.13,2.48
SAT_Competition2007/industrial/industrial/palacios/medium/safe-30-h30-sat.cnf,1,0.26,2.01,2.03,2.01,20.07,9.59,3.24,2.39,0.03,2.3
SAT_Competition2007/industrial/industrial/anbulagan/medium-sat/partial-5-11-s.cnf,1,14.54,2.0,2.03,2.01,7.45,3.51,3.2,2.35,0.07,2.33
SAT_RACE2006/SAT-Race_TS_2/manol-pipe-c6nidw.cnf,1,1.9,1.99,2.0,2.01,20.02,2.39,2.58,2.33,0.04,2.25
SAT_Competition2009/APPLICATION/SAT09/APPLICATIONS/crypto/desgen/gss-23-s100.cnf,1,0.5,2.01,2.0,2.01,2.55,0.84,1.56,2.24,0.02,2.09
SAT_RACE2006/SAT-Race_TS_1/manol-pipe-c8n.cnf,1,0.19,2.0,2.0,2.01,20.02,0.73,1.61,2.27,0.01,2.11
SAT_Competition2009/APPLICATION/SAT07/industrial/fuhs/hard/AProVE07-27.cnf,1,0.03,2.0,2.0,2.01,20.01,0.15,0.23,2.18,0.01,2.09
SAT_RACE2008/ibm-2002-22r-k75.cnf,1,9.14,2.0,2.0,2.02,20.03,4.6,3.62,2.43,0.07,2.42
SAT_Competition2007/industrial/industrial/anbulagan/hard-unsat/total-10-15-u.cnf,1,14.37,2.0,2.02,2.04,11.7,7.23,3.12,2.41,0.14,2.39
SAT_Competition2011/SAT09/APPLICATIONS/bitverif/countbitssrl/countbitssrl064.cnf,1,1.83,2.0,2.01,2.01,20.01,1.29,1.48,2.36,0.01,2.13
SAT_Competition2007/industrial/industrial/anbulagan/hard-unsat/total-5-15-u.cnf,1,13.36,2.01,2.02,2.05,10.19,5.27,3.14,2.35,0.11,2.34
SAT_RACE2006/SAT-Race_TS_2/velev-pipe-sat-1.0-03.cnf,1,32.83,2.02,3.22,2.03,78.55,151.03,65.32,8.44,1.29,8.61
SAT_Competition2011/SAT11/application/manthey/traffic/traffic_3b_unknown.cnf,1,3.25,2.01,2.0,2.01,20.04,1.3,3.25,2.59,0.08,2.52
SAT-Race-2010-CNF/mixed/anbulagan/total-10-19-s.cnf,1,21.45,2.0,2.0,2.04,20.05,7.13,3.68,2.51,0.12,2.52
SAT_Competition2007/industrial/industrial/anbulagan/diag-sat/total-10-11-s.cnf,1,7.23,2.0,2.0,2.02,5.6,4.22,2.77,2.32,0.06,2.24
SAT_RACE2006/SAT-Race-Benchmarks/ibm-2004-2_02_1-k100.cnf,1,1.39,2.0,2.0,2.02,19.18,0.93,2.0,2.3,0.03,2.15
SAT_Competition2011/SAT04/industrial/velev/vliw_unsat_2.0/9dlx_vliw_at_b_iq8.used-as.sat04-718.cnf,1,227.04,2.01,2.77,2.66,91.44,82.96,44.1,8.05,1.24,8.13
SAT_Competition2011/SAT09/APPLICATIONS/crypto/desgen/gss-19-s100.cnf,1,0.47,2.0,2.0,2.01,2.46,0.79,1.34,2.4,0.02,2.1
SAT_Competition2009/APPLICATION/SAT07/industrial/anbulagan/hard-unsat/total-5-15-u.cnf,1,13.27,2.01,2.0,2.06,10.08,5.14,3.07,2.34,0.08,2.34
SAT_Competition2011/SAT11/application/fuhs/slp-synthesis-AES/slp-synthesis-aes-top28.cnf,1,2.61,1.99,2.0,2.01,20.02,1.33,2.46,2.29,0.03,2.18
SAT-Race-2010-CNF/hardware-verification/ibm/SAT_dat.k50.cnf,1,1.6,2.0,2.0,2.02,20.01,1.42,2.53,2.38,0.03,2.18
SAT_RACE2008/ibm-2002-25r-k10.cnf,1,0.64,2.0,2.0,2.01,20.05,1.19,2.32,2.28,0.03,2.15
SAT_Competition2007/industrial/industrial/crypto/mizh-sha0-35-3.cnf,1,1.0,2.0,2.0,2.01,5.07,0.68,1.23,2.32,0.02,2.11
SAT_Competition2011/SAT11/application/rintanen/SATPlanning/sokoban-sequential-p145-microban-sequential.030-NOTKNOWN.cnf,1,3.18,2.0,2.01,2.01,20.04,1.82,3.19,2.41,0.07,2.32
SAT-Race-2010-CNF/cryptography/md5gen/gus-md5-10.cnf,1,1.99,2.0,2.0,2.02,9.29,0.95,1.76,2.3,0.03,2.17
SAT_Competition2011/SAT02/industrial/goldberg/fpga_routing/vda_gr_rcs_w9.shuffled.cnf,1,0.13,0.37,2.0,2.01,20.01,0.53,2.43,2.25,0.03,2.16
SAT_RACE2006/SAT-Race_TS_2/velev-pipe-uns-1.1-03.cnf,1,0.01,0.5,2.0,1.34,20.05,0.15,0.56,2.09,0.01,2.06
SAT_Competition2009/APPLICATION/SAT07/industrial/fuhs/hard/AProVE07-25.cnf,1,0.03,2.01,2.0,2.01,15.09,0.15,0.22,2.27,0.01,2.09
SAT_RACE2008/schup-l2s-abp4-1-k31.cnf,1,0.05,2.0,2.0,2.01,2.07,0.3,0.72,2.21,0.01,2.08
SAT_Competition2009/APPLICATION/SAT_RACE08/cnf/goldb-heqc-x1mul.cnf,1,0.19,2.0,2.0,2.01,20.05,0.16,0.84,2.09,0.01,2.06
SAT_Competition2007/industrial/industrial/grieu/vmpc_31.cnf,1,0.03,2.01,2.0,2.01,21.1,0.23,0.65,2.12,0.02,2.11
SAT-Race-2010-CNF/mixed/bioinf/q_query_2_L324_coli.cnf,1,6.53,2.0,2.02,2.04,20.3,61.62,4.13,2.65,0.12,2.74
SAT_RACE2008/anbul-part-10-15-s.cnf,1,37.73,2.0,2.16,2.09,17.27,5.56,3.98,2.57,0.11,2.58
SAT_RACE2006/SAT-Race_TS_2/grieu-vmpc-s05-05s.cnf,1,0.01,2.0,2.0,2.01,20.01,0.15,0.39,2.13,0.03,2.11
SAT_RACE2008/goldb-heqc-frg1mul.cnf,1,0.04,2.0,2.0,2.01,20.03,0.08,0.21,2.12,0.0,2.08
SAT_Competition2009/APPLICATION/SAT09/APPLICATIONS/satComp09_BioInstances/ndhf_xits_12_UNSAT.cnf,1,0.1,2.0,2.04,2.02,37.93,2.17,2.81,2.22,0.04,2.24
SAT_RACE2006/SAT-Race-Benchmarks/velev-vliw-sat-4.0-b1.cnf,1,573.3,2.04,3.53,2.4,266.56,130.87,151.67,13.19,2.15,13.35
SAT_Competition2007/industrial/industrial/palacios/hard/sortnet-8-ipc5-h19-sat.cnf,1,5.13,2.02,2.08,2.03,20.38,16.1,3.97,2.72,0.19,2.74
SAT_Competition2011/SAT09/APPLICATIONS/diagnosis/UCG-15-10p1.cnf,1,25.46,2.0,2.0,2.05,20.05,4.95,3.8,2.56,0.1,2.52
SAT_Competition2011/SAT11/application/fuhs/slp-synthesis-AES/slp-synthesis-aes-bottom12.cnf,1,0.12,2.0,2.0,2.01,20.01,0.35,0.86,2.42,0.0,2.1
SAT_Competition2009/APPLICATION/SAT09/APPLICATIONS/satComp09_BioInstances/ndhf_xits_10_UNSAT.cnf,1,0.06,2.01,2.02,2.01,36.7,1.71,2.57,2.18,0.02,2.19
SAT_RACE2006/SAT-Race-Benchmarks/velev-pipe-o-uns-1.1-6.cnf,1,0.43,2.0,2.01,2.01,20.03,1.2,2.57,2.25,0.05,2.24
SAT_RACE2006/SAT-Race_TS_2/hoons-vbmc-s04-06.cnf,1,0.03,2.01,2.0,1.66,9.23,0.43,1.77,2.2,0.0,2.08
SAT_RACE2006/SAT-Race-Benchmarks/vange-col-abb313GPIA-9-c.cnf,1,0.3,2.0,2.0,2.01,20.03,1.94,3.91,2.85,0.09,2.79
SAT_RACE2006/SAT-Race_TS_1/manol-pipe-c7idw.cnf,1,0.99,2.01,2.0,2.01,20.01,1.52,2.46,2.27,0.02,2.16
SAT-Race-2010-CNF/software-verification/nec/hard-15-U-8013.cnf,1,60.67,2.01,2.12,2.02,20.07,1268.56,17.92,3.0,0.19,3.0
SAT_RACE2008/palac-uts-l06-ipc5-h34.cnf,1,1.21,2.0,2.06,2.01,20.07,13.59,13.73,2.83,0.1,2.8
SAT_Competition2011/SAT-Race-2010-CNF/hardware-verification/velev/2dlx_ca_bp_f_liveness.cnf,1,90.99,2.01,2.3,2.43,22.16,23.67,31.4,5.55,0.7,5.98
SAT_RACE2006/SAT-Race_TS_1/manol-pipe-c6id.cnf,1,0.53,2.01,2.0,2.01,20.02,1.38,2.41,2.19,0.02,2.16
SAT_RACE2006/SAT-Race_TS_2/schup-l2s-s04-valves.cnf,1,158.3,2.0,2.02,2.05,20.08,17.03,6.08,3.31,0.23,3.32
SAT_RACE2008/simon-s03-w08-15.cnf,1,7.11,2.01,2.02,2.06,20.02,3.73,2.88,2.35,0.08,2.27
SAT_Competition2007/industrial/industrial/fuhs/medium/AProVE07-09.cnf,1,0.94,1.99,2.0,2.02,21.06,1.11,3.14,2.19,0.02,2.12
SAT_Competition2007/industrial/industrial/babic/dspam/dspam_dump_vc1104.cnf,1,58.83,1.34,2.0,2.06,20.05,4.42,3.67,2.62,0.11,2.64
SAT_RACE2008/mizh-sha0-36-1.cnf,1,1.04,1.99,2.0,2.02,5.44,0.68,1.32,2.29,0.01,2.11
SAT_Competition2011/SAT11/application/fuhs/AProVE11/AProVE11-09.cnf,1,2.83,0.58,2.0,2.02,20.03,1.56,1.96,2.33,0.03,2.18
SAT_RACE2006/SAT-Race-Benchmarks/ibm-2004-3_02_3-k95.cnf,1,1.88,2.0,2.0,2.02,20.02,1.01,2.51,2.35,0.03,2.17
SAT_RACE2006/SAT-Race_TS_2/manol-pipe-g8bidw.cnf,1,1.06,1.99,2.0,2.02,20.02,1.66,2.6,2.34,0.02,2.2
SAT_Competition2007/industrial/industrial/anbulagan/diag-sat/dated-5-19-s.cnf,1,11.83,2.01,2.0,2.06,15.92,4.41,3.15,2.37,0.07,2.34
SAT_Competition2009/APPLICATION/SAT09/APPLICATIONS/bitverif/countbitsrotate/countbitsrotate032.cnf,1,0.05,2.0,2.0,2.01,0.86,0.11,0.18,2.29,0.01,2.08
SAT_Competition2011/SAT09/APPLICATIONS/bitverif/maxxororand/maxxororand064.cnf,1,1.54,2.0,2.0,2.01,20.01,1.97,2.45,2.27,0.03,2.15
SAT_RACE2006/SAT-Race_TS_1/velev-pipe-uns-1.1-05.cnf,1,0.16,2.01,2.0,2.01,20.21,0.72,2.7,2.15,0.02,2.13
SAT_Competition2009/APPLICATION/SAT09/APPLICATIONS/diagnosis/UR-15-10p0.cnf,1,25.13,2.01,2.05,2.02,20.05,5.07,3.93,2.57,0.11,2.55
SAT_Competition2009/APPLICATION/SAT09/APPLICATIONS/aprove09/AProVE09-17.cnf,1,0.46,2.01,2.0,2.01,8.39,0.59,0.72,2.23,0.02,2.08
SAT_Competition2007/industrial/industrial/anbulagan/medium-sat/partial-5-15-s.cnf,1,27.43,2.01,2.06,2.07,14.43,4.77,3.69,2.55,0.09,2.49
SAT_Competition2011/SAT02/industrial/aloul/Homer/homer16.shuffled.cnf,1,0.0,1.99,2.0,0.01,0.22,0.0,0.02,2.27,0.0,2.19
SAT_Competition2009/APPLICATION/SAT09/APPLICATIONS/diagnosis/UR-20-10p1.cnf,1,46.03,2.0,2.01,2.01,20.06,6.8,4.39,2.84,0.21,2.87
SAT_Competition2011/SAT11/application/leberre/2dimensionalstrippacking/E04F20.cnf,1,0.58,2.01,2.04,2.02,20.05,5.45,4.61,2.75,0.09,2.77
SAT_Competition2009/APPLICATION/SAT07/industrial/anbulagan/hard-unsat/total-10-17-u.cnf,1,17.42,2.0,2.03,2.03,15.75,6.02,3.32,2.41,0.08,2.44
SAT_Competition2007/industrial/industrial/babic/hsatv17/hsat_vc11944.cnf,1,?,?,?,?,?,2.49,?,?,?,?
SAT_Competition2011/SAT11/application/fuhs/AProVE11/AProVE11-11.cnf,1,6.09,2.0,2.0,2.03,20.02,2.17,2.27,2.29,0.03,2.21
SAT-Race-2010-CNF/hardware-verification/manolios/f6bid.cnf,1,1.16,2.0,2.0,2.01,20.02,1.87,2.58,2.3,0.02,2.2
SAT_RACE2006/SAT-Race_TS_2/velev-dlx-uns-1.0-05.cnf,1,95.62,1.99,2.1,2.06,21.04,22.27,25.88,5.81,0.73,5.93
SAT_RACE2006/SAT-Race-Benchmarks/mizh-md5-47-4.cnf,1,1.7,2.01,2.0,2.02,7.68,0.92,1.61,2.28,0.03,2.15
SAT_RACE2006/SAT-Race-Benchmarks/een-tip-uns-nusmv-t5.B.cnf,1,0.25,0.26,2.0,2.01,4.06,0.86,0.98,2.27,0.01,2.1
SAT_Competition2009/APPLICATION/SAT_RACE08/cnf/mizh-sha0-36-4.cnf,1,1.05,2.01,2.0,2.01,5.52,0.75,1.26,2.21,0.02,2.13
SAT_RACE2008/manol-pipe-c10nid_i.cnf,1,4.32,2.01,2.0,2.02,20.02,3.63,3.01,2.35,0.06,2.34
SAT_Competition2009/APPLICATION/SAT_RACE06/manol-pipe-g10bidw.cnf,1,3.88,2.0,2.01,2.01,20.02,3.34,2.91,2.37,0.04,2.31
SAT_Competition2007/industrial/industrial/anbulagan/diag-sat/dated-5-11-s.cnf,1,2.91,0.72,2.0,2.02,3.35,2.15,2.35,2.25,0.03,2.18
SAT_Competition2009/APPLICATION/SAT09/APPLICATIONS/bitverif/minxorminand/minxorminand128.cnf,1,0.54,2.0,2.01,2.02,20.03,8.82,2.87,2.37,0.03,2.22
SAT-Race-2010-CNF/hardware-verification/manolios/c10id_i.cnf,1,2.58,2.0,2.0,2.01,20.03,2.74,2.98,2.4,0.05,2.27
SAT_Competition2011/SAT09/APPLICATIONS/diagnosis/UTI-20-10t1.cnf,1,11.79,1.99,2.04,2.03,20.04,3.87,3.17,2.46,0.09,2.44
SAT_RACE2006/SAT-Race-Benchmarks/goldb-heqc-desmul.cnf,1,1.94,2.0,2.0,2.01,20.06,0.81,2.5,2.26,0.02,2.17
SAT_Competition2009/APPLICATION/SAT09/APPLICATIONS/satComp09_BioInstances/rpoc_xits_10_UNKNOWN.cnf,1,0.03,1.99,2.0,2.01,23.16,0.68,2.38,2.1,0.01,2.1
SAT_Competition2011/SAT-Race-2010-CNF/hardware-verification/manolios/c10idw_i.cnf,1,2.64,2.0,2.0,2.06,20.03,3.58,2.96,2.42,0.05,2.28
SAT_Competition2009/APPLICATION/SAT_RACE06/manol-pipe-c7nidw.cnf,1,1.95,2.01,2.0,2.02,20.04,2.3,2.67,2.36,0.04,2.24
SAT_Competition2011/SAT11/application/fuhs/AProVE11/AProVE11-07.cnf,1,32.15,2.01,2.0,2.06,20.05,4.61,3.58,2.48,0.08,2.46
SAT_Competition2009/APPLICATION/SAT07/industrial/anbulagan/medium-unsat/total-10-13-u.cnf,1,9.29,2.0,2.0,2.04,7.33,5.12,2.86,2.33,0.09,2.31
SAT_Competition2009/APPLICATION/SAT09/APPLICATIONS/diagnosis/UCG-15-10p0.cnf,1,26.34,2.01,2.09,2.01,20.07,6.09,3.97,2.66,0.19,2.68
SAT_Competition2011/SAT04/industrial/velev/vliw_unsat_2.0/9dlx_vliw_at_b_iq6.used-as.sat04-347.cnf,1,70.36,2.02,2.06,2.48,130.85,31.07,20.49,5.04,0.7,5.07
SAT_Competition2009/APPLICATION/SAT07/industrial/vliw_unsat_2.0/9dlx_vliw_at_b_iq2.cnf,1,2.8,2.01,2.06,2.04,24.06,3.01,4.13,2.45,0.11,2.45
SAT_RACE2006/SAT-Race_TS_2/velev-live-2.0-02.cnf,1,0.35,2.0,2.0,2.01,20.57,0.95,2.29,2.15,0.02,2.15
SAT_RACE2006/SAT-Race_TS_2/simon-mixed-s02bis-05.cnf,1,0.02,2.0,2.0,1.99,0.65,0.19,0.18,2.39,0.0,2.15
SAT_RACE2006/SAT-Race_TS_1/manol-pipe-f6n.cnf,1,0.1,1.4,2.0,2.01,20.01,0.5,0.82,2.18,0.01,2.07
SAT_Competition2009/APPLICATION/SAT09/APPLICATIONS/crypto/md5gen/gus-md5-10.cnf,1,2.0,2.01,2.0,2.01,9.39,1.02,1.94,2.32,0.04,2.16
SAT_Competition2007/industrial/industrial/crypto/mizh-sha0-35-5.cnf,1,0.98,2.0,2.0,2.01,4.98,0.63,1.23,2.37,0.02,2.11
SAT_RACE2006/SAT-Race_TS_2/goldb-heqc-i8mul.cnf,1,0.51,2.01,2.0,2.01,20.1,0.29,1.4,2.15,0.02,2.11
SAT_Competition2009/APPLICATION/SAT09/APPLICATIONS/diagnosis/UTI-10-10p0.cnf,1,10.42,2.0,2.01,2.02,13.6,3.34,3.25,2.4,0.11,2.33
SAT_Competition2009/APPLICATION/SAT09/APPLICATIONS/diagnosis/ACG-15-10p1.cnf,1,65.05,2.0,2.07,2.03,20.07,5.93,4.19,2.72,0.16,2.71
SAT_Competition2007/industrial/industrial/palacios/uts/uts-l06-ipc5-h30-unknown.cnf,1,0.98,2.0,2.01,2.03,20.09,9.03,12.3,2.64,0.08,2.63
SAT_Competition2009/APPLICATION/SAT09/APPLICATIONS/crypto/desgen/gss-14-s100.cnf,1,0.44,2.0,2.0,2.01,2.3,0.8,1.37,2.28,0.0,2.08
SAT-Race-2010-CNF/cryptography/mizh/sha0_35_2.cnf,1,0.98,2.01,2.0,2.02,5.02,0.83,1.38,2.23,0.02,2.12
SAT_RACE2006/SAT-Race_TS_1/hoons-vbmc-s04-05.cnf,1,0.01,2.01,2.0,0.82,1.46,0.11,0.15,2.4,0.0,2.18
SAT_RACE2008/manol-pipe-g10bid_i.cnf,1,4.47,2.01,2.02,2.03,20.02,3.81,3.16,2.42,0.06,2.34
SAT_Competition2011/SAT11/application/leberre/2dimensionalstrippacking/E00N23.cnf,1,4.03,2.02,2.35,2.06,55.31,53.7,26.43,5.85,0.46,5.88
SAT_Competition2007/industrial/industrial/jarvisalo/eq.atree.braun.12.unsat.cnf,1,0.0,2.0,2.0,0.21,0.06,0.01,0.05,2.44,0.0,2.19
SAT_RACE2008/ibm-2002-11r1-k45.cnf,1,5.3,1.99,2.0,2.02,20.05,3.42,3.0,2.37,0.04,2.3
SAT_RACE2006/SAT-Race-Benchmarks/ibm-2004-26-k25.cnf,1,6.25,2.0,2.0,2.04,20.04,4.54,3.29,2.51,0.08,2.49
SAT_Competition2011/SAT04/industrial/hoonsang/vis-bmc/dekker.used-as.sat04-989.cnf,1,0.06,2.01,2.0,2.01,20.03,0.49,2.13,2.3,0.01,2.1
SAT_Competition2011/SAT04/industrial/velev/pipe-sat-1-1/12pipe_bug6_q0.used-as.sat04-725.cnf,1,18.4,2.01,2.34,2.35,32.75,20.02,35.96,5.79,0.7,5.87
SAT_Competition2007/industrial/industrial/anbulagan/diag-sat/total-5-13-s.cnf,1,8.31,1.03,2.0,2.04,7.21,3.46,2.8,2.31,0.05,2.26
SAT_Competition2007/industrial/industrial/babic/hsatv17/hsat_vc12062.cnf,1,?,?,?,?,?,2.74,?,?,?,?
SAT_Competition2009/APPLICATION/SAT09/APPLICATIONS/bioinfo/q_query_3_L80_coli.sat.cnf,1,3.12,2.01,2.0,2.01,20.03,10.31,3.3,2.49,0.06,2.37
SAT-Race-2010-CNF/software-verification/nec/hard-2-U-10652.cnf,1,3.89,0.83,2.0,2.04,20.14,61.2,4.26,2.45,0.09,2.3
SAT_Competition2009/APPLICATION/SAT09/APPLICATIONS/crypto/desgen/gss-21-s100.cnf,1,0.48,2.0,2.0,2.02,2.48,0.81,1.47,2.31,0.01,2.09
SAT_RACE2008/ibm-2004-1_11-k80.cnf,1,19.03,2.0,2.01,2.01,20.04,4.76,3.49,2.52,0.1,2.51
SAT_Competition2009/APPLICATION/SAT09/APPLICATIONS/aprove09/AProVE09-07.cnf,1,0.05,2.01,2.0,2.01,1.46,0.14,0.22,2.27,0.01,2.1
SAT_RACE2008/manol-pipe-g10nid.cnf,1,3.13,2.02,2.02,2.02,20.03,2.99,2.98,2.39,0.05,2.31
SAT_Competition2007/industrial/industrial/babic/dspam/dspam_dump_vc1093.cnf,1,?,?,?,?,?,1.4,?,?,?,?
SAT_Competition2009/APPLICATION/SAT09/APPLICATIONS/crypto/md5gen/gus-md5-09.cnf,1,2.01,2.0,2.0,2.01,9.36,1.08,1.96,2.3,0.04,2.18
SAT_RACE2006/SAT-Race_TS_1/velev-npe-1.0-02.cnf,1,0.03,2.0,2.0,2.01,20.02,0.15,1.53,2.09,0.01,2.09
SAT_Competition2011/SAT09/APPLICATIONS/bitverif/smulo/smulo064.cnf,1,1.44,1.99,2.0,2.01,20.01,0.62,0.92,2.19,0.01,2.12
SAT-Race-2010-CNF/hardware-verification/velev/11pipe_k.cnf,1,19.52,2.01,3.12,2.83,34.72,73.35,39.79,6.18,0.97,6.13
SAT_Competition2007/industrial/industrial/grieu/vmpc_28.cnf,1,0.01,2.0,2.0,2.01,20.91,0.14,0.49,2.1,0.02,2.09
SAT_Competition2011/SAT07/industrial/IBM_FV_2002_13_rule_1/SAT_dat.k45.cnf,1,0.64,2.0,2.0,2.01,20.05,0.7,2.41,2.28,0.01,2.11
SAT_Competition2009/APPLICATION/SAT09/APPLICATIONS/crypto/desgen/gss-15-s100.cnf,1,0.46,2.01,2.0,2.01,2.42,0.83,1.47,2.31,0.02,2.09
SAT_Competition2011/SAT07/industrial/fuhs/medium/AProVE07-21.cnf,1,0.01,2.0,2.0,0.3,0.36,0.04,0.06,2.28,0.0,2.14
SAT_RACE2006/SAT-Race-Benchmarks/ibm-2004-6_02_3-k100.cnf,1,2.24,2.0,2.0,2.02,20.02,1.14,2.55,2.3,0.02,2.18
SAT_Competition2011/SAT07/industrial/anbulagan/hard-unsat/total-10-17-u.cnf,1,17.41,2.0,2.0,2.04,16.09,6.06,3.45,2.41,0.08,2.39
SAT-Race-2010-CNF/hardware-verification/manolios/c10ni_s.cnf,1,2.6,2.01,2.0,2.02,20.02,3.39,2.79,2.34,0.04,2.32
SAT_RACE2008/ibm-2002-20r-k75.cnf,1,5.26,2.0,2.0,2.01,20.03,3.5,3.12,2.39,0.05,2.33
SAT_Competition2009/APPLICATION/SAT09/APPLICATIONS/diagnosis/UTI-15-5p1.cnf,1,18.43,2.01,2.05,2.02,20.07,4.55,4.03,2.62,0.13,2.63
SAT_Competition2007/industrial/industrial/anbulagan/hard-unsat/total-5-19-u.cnf,1,21.96,2.0,2.01,2.02,20.05,6.25,3.57,2.47,0.1,2.5
SAT_Competition2007/industrial/industrial/babic/xinetd/itox_vc965.cnf,1,?,?,?,?,?,0.23,?,?,?,?
SAT_Competition2007/industrial/industrial/palacios/hard/sortnet-8-ipc5-h18-unsat.cnf,1,4.33,2.0,2.03,2.07,20.24,11.74,5.0,2.62,0.11,2.63
SAT_Competition2009/APPLICATION/SAT07/industrial/anbulagan/hard-unsat/partial-5-11-u.cnf,1,14.52,1.99,2.11,2.1,7.01,3.97,3.08,2.4,0.1,2.37
SAT_Competition2009/APPLICATION/SAT09/APPLICATIONS/diagnosis/ACG-20-5p1.cnf,1,116.87,2.02,2.1,2.07,20.08,8.08,5.04,2.96,0.27,3.04
SAT_Competition2009/APPLICATION/SAT07/industrial/babic/hsatv17/hsat_vc11813.cnf,1,?,?,?,?,?,8.32,?,?,?,?
SAT_RACE2006/SAT-Race_TS_2/manol-pipe-f7idw.cnf,1,4.23,2.0,2.0,2.02,20.03,3.71,3.11,2.43,0.05,2.34
SAT_Competition2009/APPLICATION/SAT09/APPLICATIONS/crypto/md5gen/gus-md5-06.cnf,1,2.01,2.01,2.0,2.03,9.6,1.29,2.26,2.33,0.06,2.19
SAT_RACE2006/SAT-Race_TS_2/manol-pipe-c6bid_i.cnf,1,0.59,2.01,2.0,2.01,20.01,1.2,2.27,2.4,0.01,2.14
SAT_Competition2011/SAT09/APPLICATIONS/bitverif/countbitswegner/countbitswegner128.cnf,1,3.37,2.0,2.0,2.01,2.45,2.47,2.5,2.25,0.03,2.16
SAT_Competition2011/SAT11/application/jarvisalo/smtqfbv-aigs/smtlib-qfbv-aigs-lfsr_004_127_112-tseitin.cnf,1,0.04,1.99,2.0,2.01,20.05,1628.31,2.5,2.12,0.01,2.09
SAT_Competition2011/SAT11/application/leberre/2dimensionalstrippacking/E15N15.cnf,1,?,?,?,?,?,0.05,?,?,?,?
SAT_Competition2011/SAT11/application/fuhs/slp-synthesis-AES/slp-synthesis-aes-bottom14.cnf,1,0.2,2.01,2.0,2.01,20.01,0.36,1.17,2.32,0.0,2.09
SAT_RACE2008/manol-pipe-f9b.cnf,1,2.04,2.01,2.0,2.01,20.03,2.49,2.83,2.3,0.05,2.24
SAT_Competition2009/APPLICATION/SAT09/APPLICATIONS/bitverif/minand/minand128.cnf,1,0.12,2.0,2.0,2.01,20.01,2.85,2.22,2.34,0.01,2.13
SAT_Competition2007/industrial/industrial/palacios/hard/safe-30-h29-unsat.cnf,1,0.27,2.01,2.0,2.01,20.04,10.28,3.26,2.3,0.03,2.29
SAT_Competition2011/SAT09/APPLICATIONS/diagnosis/UCG-15-5p0.cnf,1,17.69,2.01,2.04,2.02,20.04,4.22,3.15,2.47,0.09,2.49
SAT_Competition2009/APPLICATION/SAT_RACE08/cnf/goldb-heqc-dalumul.cnf,1,0.23,2.0,2.0,2.01,20.02,0.22,0.75,2.2,0.01,2.1
SAT_Competition2009/APPLICATION/SAT_RACE06/manol-pipe-f9n.cnf,1,2.11,1.99,2.0,2.01,20.03,2.67,2.63,2.35,0.05,2.25
SAT_Competition2007/industrial/industrial/anbulagan/medium-unsat/total-10-11-u.cnf,1,7.25,2.0,2.06,2.05,4.98,3.78,2.82,2.28,0.06,2.25
SAT_Competition2009/APPLICATION/SAT09/APPLICATIONS/satComp09_BioInstances/rbcl_xits_10_UNKNOWN.cnf,1,0.03,2.01,2.0,2.01,22.98,0.48,2.24,2.09,0.02,2.09
SAT_Competition2009/APPLICATION/SAT07/industrial/fuhs/hard/AProVE07-08.cnf,1,0.02,2.01,2.0,1.29,2.64,0.07,0.12,2.28,0.0,2.11
SAT_RACE2008/goldb-heqc-x1mul.cnf,1,0.18,2.0,2.0,2.01,20.07,0.16,0.83,2.08,0.01,2.07
SAT_Competition2011/SAT11/application/jarvisalo/smtqfbv-aigs/smtlib-qfbv-aigs-rfunit_flat-64-tseitin.cnf,1,0.0,0.0,2.0,0.0,2.79,7.98,0.17,0.89,0.0,1.1
SAT_Competition2011/SAT09/APPLICATIONS/bioinfo/q_query_3_L70_coli.sat.cnf,1,2.04,2.01,2.01,2.01,20.03,7.31,3.01,2.42,0.05,2.3
SAT_RACE2006/SAT-Race-Benchmarks/manol-pipe-c10nidw_s.cnf,1,10.05,2.0,2.01,2.05,20.04,5.68,3.52,2.57,0.09,2.52
SAT_Competition2009/APPLICATION/SAT09/APPLICATIONS/crypto/md5gen/gus-md5-05.cnf,1,1.99,2.0,2.0,2.01,9.6,1.16,2.13,2.35,0.05,2.19
SAT_Competition2009/APPLICATION/SAT09/APPLICATIONS/diagnosis/UTI-15-5p0.cnf,1,17.92,2.01,2.04,2.03,20.05,4.2,3.32,2.49,0.11,2.46
SAT_RACE2006/SAT-Race-Benchmarks/narain-vpn-clauses-6.cnf,1,106.04,2.01,2.08,2.07,32.54,39.23,4.4,2.92,0.17,2.97
SAT_Competition2011/SAT07/industrial/palacios/medium/cube-11-h14-sat.cnf,1,45.72,2.0,2.49,2.02,21.59,16.59,5.02,2.83,0.17,2.98
SAT_Competition2011/SAT11/application/kullmann/AES/Benchmarks/64/aes_64_1_keyfind_1.cnf,1,0.0,2.01,2.0,0.04,0.25,0.0,0.03,2.69,0.0,2.32
SAT_Competition2011/SAT11/application/kullmann/AES/Benchmarks/128/aes_128_10_keyfind_1.cnf,1,0.17,2.01,2.01,2.01,20.01,0.33,2.31,2.42,0.02,2.16
SAT-Race-2010-CNF/mixed/anbulagan/dated-5-15-u.cnf,1,5.32,2.01,2.03,2.03,6.41,2.98,2.59,2.28,0.05,2.23
SAT_RACE2006/SAT-Race-Benchmarks/een-tip-sat-nusmv-tt5.B.cnf,1,0.29,0.43,2.0,2.01,4.4,1.02,1.03,2.39,0.01,2.1
SAT_RACE2006/SAT-Race-Benchmarks/grieu-vmpc-s05-28.cnf,1,0.01,2.0,2.0,2.01,20.53,0.21,0.53,2.1,0.02,2.08
SAT_Competition2011/SAT11/application/fuhs/slp-synthesis-AES/slp-synthesis-aes-bottom16.cnf,1,0.33,2.01,2.0,2.01,20.01,0.48,1.55,2.29,0.01,2.1
SAT_Competition2011/SAT11/application/rintanen/SATPlanning/openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_3.085-SAT.cnf,1,99.74,2.03,2.15,2.07,20.07,6.02,5.65,3.03,0.21,3.01
SAT_Competition2011/SAT11/application/jarvisalo/smtqfbv-aigs/smtlib-qfbv-aigs-countbits128-tseitin.cnf,1,3.14,2.0,2.01,2.03,2.42,2.58,2.41,2.22,0.04,2.14
SAT-Race-2010-CNF/cryptography/mizh/sha0_35_4.cnf,1,0.98,2.0,2.0,2.01,5.01,0.65,1.27,2.22,0.02,2.12
SAT_Competition2011/SAT07/industrial/IBM_FV_2002_13_rule_1/SAT_dat.k20.cnf,1,0.55,2.0,2.0,2.01,20.04,0.78,2.37,2.27,0.02,2.11
SAT_Competition2011/SAT11/application/rintanen/SATPlanning/blocks-blocks-36-0.120-NOTKNOWN.cnf,1,294.02,2.01,2.64,2.07,20.36,13.81,31.01,5.9,0.83,5.84
SAT_Competition2009/APPLICATION/SAT07/industrial/anbulagan/medium-sat/partial-5-13-s.cnf,1,18.25,2.0,2.02,2.06,9.96,3.89,3.24,2.42,0.08,2.39
SAT_Competition2011/SAT07/industrial/palacios/medium/blocks-4-ipc5-h21-unknown.cnf,1,1.1,2.01,2.04,2.03,20.75,10.54,14.0,2.75,0.11,2.74
SAT_Competition2009/APPLICATION/SAT09/APPLICATIONS/bitverif/minor/minor032.cnf,1,0.0,0.77,2.0,0.21,4.42,0.11,0.16,2.28,0.01,2.16
SAT_RACE2006/SAT-Race-Benchmarks/velev-engi-uns-1.0-4nd.cnf,1,0.07,1.99,2.0,2.01,20.12,0.3,1.4,2.12,0.01,2.09
SAT_Competition2011/SAT11/application/jarvisalo/AAAI2010-SATPlanning/aaai10-planning-ipc5-rovers-18-step11.cnf,1,1.71,2.02,2.0,2.02,20.02,1.16,2.47,2.37,0.03,2.21
SAT_Competition2011/SAT02/industrial/dellacherie/comb/comb1.shuffled.cnf,1,0.01,2.0,2.0,0.98,0.25,0.08,0.08,2.27,0.0,2.15
SAT_Competition2011/SAT05/industrial/grieu05/vmpc/vmpc_36.renamed-as.sat05-1922.cnf,1,0.03,2.01,2.03,2.01,20.77,0.34,1.09,2.17,0.03,2.17
SAT_Competition2011/SAT07/industrial/jarvisalo/eq.atree.braun.12.unsat.cnf,1,0.0,2.0,2.0,0.21,0.06,0.01,0.05,2.55,0.0,2.23
SAT_Competition2007/industrial/industrial/manolios/manol-pipe-f10ni.cnf,1,7.77,2.0,2.02,2.02,20.03,5.13,3.24,2.52,0.08,2.48
SAT_RACE2006/SAT-Race_TS_1/manol-pipe-g7n.cnf,1,0.04,2.01,2.0,2.01,19.71,0.36,0.67,2.35,0.01,2.14
SAT_Competition2011/SAT07/industrial/fuhs/hard/AProVE07-01.cnf,1,0.02,2.0,2.0,1.73,2.24,0.11,0.23,2.31,0.0,2.12
SAT_Competition2007/industrial/industrial/crypto/mizh-md5-47-3.cnf,1,1.67,1.99,2.01,2.01,7.73,0.93,1.63,2.29,0.03,2.16
SAT_Competition2007/industrial/industrial/anbulagan/medium-sat/dated-10-13-s.cnf,1,6.14,2.01,2.03,2.02,6.7,4.44,2.93,2.28,0.07,2.26
SAT-Race-2010-CNF/mixed/palacios/uts-l06-ipc5-h32.cnf,1,1.07,1.99,2.03,2.03,20.03,10.17,13.01,2.72,0.1,2.73
SAT_Competition2009/APPLICATION/SAT_RACE08/cnf/cmu-bmc-barrel6.cnf,1,0.01,1.83,2.0,0.12,7.75,0.05,0.35,2.23,0.0,2.12
SAT_Competition2011/SAT11/application/leberre/2dimensionalstrippacking/E00X23.cnf,1,3.72,2.01,2.71,2.19,20.55,27.57,22.24,5.49,0.44,5.52
SAT_RACE2008/manol-pipe-c10nidw.cnf,1,11.83,1.99,2.0,2.06,20.03,6.12,3.74,2.57,0.09,2.57
SAT-Race-2010-CNF/mixed/anbulagan/dated-10-13-s.cnf,1,5.97,2.0,2.01,2.02,6.4,3.55,2.71,2.28,0.05,2.23
SAT_Competition2007/industrial/industrial/anbulagan/hard-unsat/partial-5-11-u.cnf,1,14.32,2.01,2.0,2.04,6.84,3.34,2.97,2.35,0.06,2.32
SAT_Competition2011/SAT09/APPLICATIONS/crypto/md5gen/gus-md5-11.cnf,1,1.99,2.0,2.01,2.01,9.31,0.95,1.76,2.38,0.02,2.17
SAT_Competition2009/APPLICATION/SAT09/APPLICATIONS/crypto/desgen/gss-26-s100.cnf,1,0.51,2.0,2.0,2.01,2.62,0.77,1.43,2.34,0.01,2.09
SAT_Competition2007/industrial/industrial/palacios/medium/cube-11-h13-unsat.cnf,1,35.45,2.02,2.0,2.11,20.37,13.82,4.7,2.84,0.13,2.85
SAT_Competition2007/industrial/industrial/anbulagan/hard-unsat/dated-10-13-u.cnf,1,5.92,2.01,2.0,2.02,5.65,3.76,2.81,2.27,0.05,2.25
SAT_RACE2008/aloul-chnl11-13.cnf,1,0.0,2.0,2.0,0.0,0.25,0.0,0.04,2.32,0.0,2.27
SAT_Competition2007/industrial/industrial/anbulagan/diag-sat/dated-10-15-s.cnf,1,6.64,2.0,2.02,2.03,8.91,4.02,2.8,2.28,0.05,2.27
SAT_RACE2006/SAT-Race-Benchmarks/velev-fvp-sat-3.0-b18.cnf,1,2.53,2.0,2.0,2.03,20.65,2.96,4.2,2.79,0.15,2.82
SAT_RACE2008/narain-vpn-clauses-8.cnf,1,482.29,2.01,2.16,2.16,132.82,164.66,10.02,4.12,0.39,4.1
SAT_Competition2009/APPLICATION/SAT_RACE08/cnf/manol-pipe-c6bidw_i.cnf,1,0.72,1.99,2.0,2.01,20.02,1.44,2.37,2.3,0.03,2.15
SAT_Competition2011/SAT07/industrial/palacios/hard/sortnet-7-ipc5-h15-unsat.cnf,1,0.6,2.01,2.01,2.02,20.03,2.62,2.63,2.23,0.03,2.2
SAT_Competition2009/APPLICATION/SAT07/industrial/anbulagan/hard-sat/partial-10-13-s.cnf,1,31.75,2.01,2.03,2.13,13.2,6.1,3.58,2.53,0.13,2.55
SAT_Competition2009/APPLICATION/SAT09/APPLICATIONS/aprove09/AProVE09-05.cnf,1,0.16,2.0,2.0,2.01,2.84,0.33,0.39,2.36,0.0,2.09
SAT_RACE2006/SAT-Race_TS_1/manol-pipe-c7_i.cnf,1,0.02,1.25,2.0,1.62,8.4,0.22,0.39,2.29,0.0,2.12
SAT_Competition2009/APPLICATION/SAT07/industrial/fuhs/medium/AProVE07-16.cnf,1,0.75,2.0,2.0,2.01,20.28,1.04,1.18,2.25,0.02,2.13
SAT_Competition2009/APPLICATION/SAT09/APPLICATIONS/c32sat/post-c32s-gcdm16-23.cnf,1,0.58,2.01,2.0,2.01,20.01,3.58,1.81,2.25,0.03,2.13
SAT_Competition2011/SAT11/application/jarvisalo/HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k50-bc57sensorsp3-tseitin.cnf,1,0.73,0.54,2.0,2.01,20.02,1.54,2.28,2.43,0.01,2.13
SAT_Competition2009/APPLICATION/SAT_RACE08/cnf/mizh-sha0-35-3.cnf,1,0.97,2.0,2.0,2.02,5.02,0.66,1.22,2.37,0.02,2.13
SAT_Competition2011/SAT11/application/rintanen/SATPlanning/openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_1.035-NOTKNOWN.cnf,1,8.01,2.01,2.0,2.02,20.02,1.98,3.14,2.39,0.05,2.26
SAT-Race-2010-CNF/cryptography/mizh/sha0_35_1.cnf,1,0.96,2.0,2.0,2.01,4.99,0.62,1.23,2.33,0.01,2.14
SAT_Competition2007/industrial/industrial/narain/clauses-4.cnf,1,16.11,2.01,2.08,2.07,20.99,12.41,4.1,2.42,0.1,2.45
SAT_Competition2009/APPLICATION/SAT09/APPLICATIONS/crypto/md5gen/gus-md5-11.cnf,1,2.01,2.0,2.01,2.01,9.4,0.97,1.91,2.27,0.04,2.18
SAT_Competition2009/APPLICATION/SAT09/APPLICATIONS/diagnosis/UR-10-5p1.cnf,1,6.25,2.0,2.01,2.03,11.11,2.4,2.73,2.3,0.05,2.24
SAT_RACE2006/SAT-Race_TS_2/manol-pipe-c6b_i.cnf,1,0.04,2.0,2.0,2.01,14.18,0.29,0.52,2.17,0.0,2.08
SAT_Competition2009/APPLICATION/SAT07/industrial/vliw_unsat_2.0/9dlx_vliw_at_b_iq8.cnf,1,231.81,2.02,2.42,2.49,87.48,69.93,43.81,7.96,1.17,7.98
SAT_Competition2007/industrial/industrial/jarvisalo/eq.atree.braun.8.unsat.cnf,1,0.0,2.0,2.0,0.03,0.02,0.0,0.02,2.65,0.0,2.28
SAT_Competition2009/APPLICATION/SAT07/industrial/jarvisalo/eq.atree.braun.8.unsat.cnf,1,0.0,2.01,2.0,0.04,0.02,0.0,0.02,2.33,0.0,2.15
SAT_RACE2006/SAT-Race_TS_1/manol-pipe-c10b.cnf,1,0.15,2.01,2.0,2.01,20.02,0.6,1.13,2.24,0.0,2.1
SAT_RACE2008/fuhs-aprove-16.cnf,1,0.76,2.0,2.0,2.01,20.16,0.97,1.17,2.21,0.01,2.11
SAT_Competition2009/APPLICATION/SAT07/industrial/vliw_unsat_2.0/9dlx_vliw_at_b_iq5.cnf,1,36.69,2.02,2.3,2.13,20.37,15.78,12.96,3.95,0.4,4.01
SAT_Competition2009/APPLICATION/SAT07/industrial/anbulagan/hard-unsat/dated-5-15-u.cnf,1,5.46,2.01,2.0,2.07,6.66,4.3,2.88,2.32,0.09,2.25
SAT_Competition2011/SAT02/industrial/biere/dinphil/dp04u03.shuffled.cnf,1,0.0,0.01,1.82,0.0,0.02,0.0,0.01,1.74,0.0,1.57
SAT_Competition2011/SAT03/industrial/goldberg/hard_eq_check/x1mul.miter.shuffled-as.sat03-359.cnf,1,0.19,2.0,2.0,2.01,20.11,0.18,0.87,2.24,0.01,2.1
SAT_Competition2011/SAT09/APPLICATIONS/bitverif/countbitsarray/countbitsarray04_32.cnf,1,0.05,2.01,2.0,2.01,0.24,0.11,0.21,2.37,0.01,2.09
SAT_Competition2009/APPLICATION/SAT09/APPLICATIONS/bitverif/minxorminand/minxorminand032.cnf,1,0.02,1.99,2.0,1.4,9.11,0.24,0.42,2.26,0.0,2.12
SAT_Competition2009/APPLICATION/SAT09/APPLICATIONS/c32sat/post-cbmc-zfcp-2.8-u2-noholes.cnf,1,?,?,512.0,?,?,?,?,?,?,?
SAT_Competition2011/SAT02/industrial/aloul/Homer/homer14.shuffled.cnf,1,0.0,2.0,2.0,0.02,0.41,0.0,0.05,2.23,0.0,2.19
SAT_Competition2011/SAT11/application/fuhs/slp-synthesis-AES/slp-synthesis-aes-bottom25.cnf,1,1.78,2.01,2.0,2.01,20.02,1.17,2.46,2.3,0.04,2.18
SAT_Competition2007/industrial/industrial/anbulagan/diag-sat/dated-5-17-s.cnf,1,8.77,1.51,2.02,2.04,11.37,3.88,2.95,2.3,0.06,2.3
SAT_Competition2009/APPLICATION/SAT09/APPLICATIONS/bioinfo/q_query_3_l37_lambda.cnf,1,0.09,2.0,2.0,2.01,20.01,0.55,0.57,2.17,0.01,2.09
SAT_Competition2009/APPLICATION/SAT_RACE06/manol-pipe-g10id.cnf,1,1.83,2.0,2.0,2.02,20.01,2.27,2.65,2.29,0.03,2.22
SAT_RACE2008/goldb-heqc-dalumul.cnf,1,0.23,1.99,2.0,2.01,20.02,0.17,0.77,2.17,0.0,2.08
SAT_RACE2008/grieu-vmpc-31.cnf,1,0.02,2.0,2.01,2.01,21.72,0.22,0.7,2.13,0.02,2.11
SAT_Competition2009/APPLICATION/SAT07/industrial/vliw_unsat_2.0/9dlx_vliw_at_b_iq9.cnf,1,381.5,2.02,2.87,3.2,153.67,115.41,61.0,10.06,1.56,10.16
SAT_RACE2008/goldb-heqc-alu4mul.cnf,1,0.06,2.0,2.0,2.01,20.02,0.08,0.42,2.1,0.0,2.07
SAT-Race-2010-CNF/software-verification/nec/hard-10-U-15228.cnf,1,43.89,2.0,2.0,2.05,20.13,1259.92,4.59,2.7,0.13,2.72
SAT_Competition2009/APPLICATION/SAT07/industrial/anbulagan/hard-unsat/dated-5-19-u.cnf,1,11.55,2.01,2.01,2.02,14.18,5.07,3.05,2.36,0.11,2.33
SAT-Race-2010-CNF/hardware-verification/manolios/c6n.cnf,1,0.09,2.0,2.0,2.01,20.01,0.5,0.9,2.22,0.01,2.09
SAT_Competition2011/SAT11/application/jarvisalo/AAAI2010-SATPlanning/aaai10-planning-ipc5-TPP-30-step11.cnf,1,235.71,2.01,2.06,2.23,20.15,9.33,7.94,4.1,0.48,4.03
SAT_Competition2011/SAT09/APPLICATIONS/satComp09_BioInstances/rbcl_xits_15_SAT.cnf,1,0.08,0.56,2.01,2.01,22.46,0.98,2.35,2.17,0.02,2.16
SAT_RACE2006/SAT-Race-Benchmarks/ibm-2002-07r-k100.cnf,1,0.01,1.53,2.0,0.83,0.26,0.11,0.19,2.19,0.01,2.15
SAT_RACE2006/SAT-Race_TS_2/velev-pipe-oun-1.0-04.cnf,1,49.71,2.01,3.99,3.58,227.91,41.48,107.59,8.67,1.5,8.71
SAT_Competition2011/SAT_RACE08/cnf/ibm-2004-01-k90.cnf,1,2.99,2.0,2.01,2.02,20.02,1.2,2.45,2.32,0.03,2.19
SAT_RACE2008/een-pico-prop05-75.cnf,1,1.09,2.0,2.0,2.01,20.02,1.5,2.4,2.43,0.02,2.12
SAT_Competition2011/SAT11/application/fuhs/slp-synthesis-AES/slp-synthesis-aes-bottom23.cnf,1,1.29,2.01,2.0,2.01,20.04,1.09,2.42,2.28,0.02,2.15
SAT_Competition2009/APPLICATION/SAT07/industrial/anbulagan/hard-unsat/partial-5-17-u.cnf,1,39.77,2.0,2.03,2.09,19.06,5.61,3.8,2.6,0.11,2.6
SAT_Competition2011/SAT09/APPLICATIONS/bitverif/maxxor/maxxor032.cnf,1,0.05,2.0,2.0,2.01,6.47,0.18,0.28,2.25,0.01,2.11
SAT_Competition2011/SAT11/application/fuhs/slp-synthesis-AES/slp-synthesis-aes-top23.cnf,1,1.22,2.01,2.0,2.01,20.02,0.9,1.88,2.41,0.02,2.1
SAT_Competition2007/industrial/industrial/anbulagan/diag-sat/dated-10-19-s.cnf,1,11.59,2.01,2.04,2.03,18.26,5.32,3.22,2.38,0.11,2.37
SAT_Competition2009/APPLICATION/SAT09/APPLICATIONS/bioinfo/q_query_3_l38_lambda.cnf,1,0.1,2.0,2.0,2.01,20.01,0.54,0.56,2.28,0.0,2.1
SAT_RACE2008/ibm-2002-24r3-k100.cnf,1,9.72,2.01,2.0,2.02,20.02,2.72,2.97,2.4,0.06,2.33
SAT_RACE2006/SAT-Race-Benchmarks/goldb-heqc-i10mul.cnf,1,0.39,2.01,2.0,2.01,20.01,0.45,2.21,2.19,0.01,2.09
SAT_Competition2009/APPLICATION/SAT_RACE08/cnf/velev-engi-uns-1.0-4nd.cnf,1,0.07,2.0,2.0,2.01,20.02,0.3,1.41,2.13,0.01,2.1
SAT-Race-2010-CNF/mixed/bioinf/q_query_3_l44_lambda.cnf,1,0.15,2.0,2.0,2.01,20.01,0.6,0.69,2.4,0.01,2.14
SAT_Competition2009/APPLICATION/SAT07/industrial/palacios/uts/uts-l05-ipc5-h26-unsat.cnf,1,0.43,2.02,2.01,2.03,20.13,4.2,4.99,2.38,0.04,2.35
SAT_RACE2008/mizh-sha0-36-3.cnf,1,1.08,2.0,2.0,2.04,5.35,1.02,1.41,2.43,0.04,2.13
SAT_Competition2007/industrial/industrial/grieu/vmpc_29.cnf,1,0.01,2.0,2.0,2.01,21.01,0.17,0.55,2.11,0.03,2.11
SAT-Race-2010-CNF/software-verification/bitverif/maxxor128.cnf,1,13.25,2.0,2.02,2.04,20.04,5.08,3.1,2.31,0.05,2.31
SAT_Competition2007/industrial/industrial/anbulagan/diag-sat/total-10-13-s.cnf,1,9.44,2.01,2.01,2.04,8.3,5.03,2.93,2.34,0.09,2.31
SAT_Competition2011/SAT02/industrial/goldberg/rand_net/rand_net70-60-10.shuffled.cnf,1,0.06,2.0,2.0,2.01,0.2,0.09,0.49,2.4,0.01,2.14
SAT_Competition2011/SAT11/application/kullmann/AES/Benchmarks/64/aes_64_3_keyfind_1.cnf,1,0.01,1.99,2.0,0.32,0.62,0.01,0.09,2.67,0.0,2.22
SAT_RACE2008/een-tip-sat-texas-tp-5e.cnf,1,0.0,0.01,0.49,0.0,0.0,0.14,0.0,0.38,0.0,0.31
SAT_RACE2006/SAT-Race_TS_2/narai-vpn-sat05-07.cnf,1,105.58,2.02,2.14,2.01,32.81,39.22,4.45,2.99,0.19,2.97
SAT_Competition2007/industrial/industrial/anbulagan/hard-unsat/partial-10-19-u.cnf,1,68.23,2.01,2.01,2.09,20.09,7.52,4.46,2.83,0.15,2.84
SAT_RACE2008/mizh-md5-47-4.cnf,1,1.67,2.01,2.0,2.01,7.75,0.97,1.63,2.3,0.02,2.14
SAT_Competition2007/industrial/industrial/fuhs/medium/AProVE07-20.cnf,1,0.01,2.01,2.0,0.99,20.01,0.73,0.36,2.38,0.0,2.17
SAT_Competition2009/APPLICATION/SAT_RACE08/cnf/schup-l2s-abp4-1-k31.cnf,1,0.05,2.0,2.0,2.01,2.06,0.22,0.72,2.4,0.01,2.13
SAT_Competition2011/SAT04/industrial/vangelder/cnf-color/abb313GPIA-9-c.used-as.sat04-317.cnf,1,0.3,2.0,2.0,2.04,20.05,2.41,4.04,2.83,0.1,2.94
SAT_Competition2009/APPLICATION/SAT09/APPLICATIONS/bioinfo/q_query_3_l48_lambda.cnf,1,0.18,1.99,2.0,2.01,20.01,0.77,0.78,2.27,0.02,2.1
SAT_Competition2011/SAT07/industrial/anbulagan/hard-sat/partial-10-13-s.cnf,1,32.25,2.01,2.02,2.07,13.21,5.03,3.79,2.51,0.12,2.51
SAT_Competition2009/APPLICATION/SAT09/APPLICATIONS/crypto/desgen/gss-25-s100.cnf,1,0.51,2.0,2.0,2.01,3.09,0.81,1.58,2.32,0.02,2.08
SAT_RACE2006/SAT-Race-Benchmarks/ibm-2002-21r-k95.cnf,1,8.54,2.0,2.0,2.02,20.04,4.6,3.54,2.47,0.07,2.4
SAT_Competition2009/APPLICATION/SAT09/APPLICATIONS/bioinfo/q_query_3_l42_lambda.cnf,1,0.14,1.99,2.01,2.01,20.02,0.67,0.77,2.19,0.01,2.09
SAT_Competition2011/SAT11/application/jarvisalo/HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k50-pdtvisns2p3-tseitin.cnf,1,1.05,2.0,2.0,2.01,20.01,2.14,2.28,2.36,0.02,2.16
SAT_Competition2011/SAT09/APPLICATIONS/bitverif/minandmaxor/minandmaxor128.cnf,1,14.35,1.99,2.02,2.04,20.03,7.93,3.33,2.37,0.06,2.37
SAT_Competition2007/industrial/industrial/jarvisalo/eq.atree.braun.13.unsat.cnf,1,0.01,2.0,2.0,0.3,0.07,0.02,0.06,2.29,0.0,2.13
SAT_Competition2007/industrial/industrial/crypto/mizh-md5-47-5.cnf,1,1.69,2.0,2.0,2.02,7.8,1.06,1.71,2.29,0.03,2.16
SAT_RACE2006/SAT-Race-Benchmarks/een-tip-sat-nusmv-t5.B.cnf,1,0.29,0.49,2.0,2.01,4.29,0.95,1.03,2.4,0.01,2.12
SAT_Competition2011/SAT11/application/fuhs/AProVE11/AProVE11-12.cnf,1,0.8,0.77,2.0,2.01,12.39,0.86,0.86,2.19,0.02,2.08
SAT_Competition2009/APPLICATION/SAT09/APPLICATIONS/bioinfo/q_query_2_L324_coli.cnf,1,6.69,2.0,2.02,2.01,20.09,55.13,3.6,2.63,0.1,2.61
SAT-Race-2010-CNF/software-verification/nec/hard-18-U-10652.cnf,1,196.9,2.01,2.2,2.06,20.12,243.42,22.14,3.99,0.34,3.97
SAT_Competition2011/SAT11/application/jarvisalo/AAAI2010-SATPlanning/aaai10-planning-ipc5-pathways-17-step20.cnf,1,3.56,2.01,2.03,2.02,7.88,1.24,2.73,2.33,0.04,2.19
SAT_Competition2011/SAT11/application/kullmann/AES/Benchmarks/64/aes_64_4_keyfind_1.cnf,1,0.01,2.0,2.0,0.59,0.76,0.02,0.12,2.51,0.0,2.15
SAT_Competition2009/APPLICATION/SAT09/APPLICATIONS/satComp09_BioInstances/ndhf_xits_16_UNKNOWN.cnf,1,0.2,2.01,2.0,2.01,37.95,3.71,3.53,2.37,0.05,2.39
SAT_Competition2011/SAT11/application/rintanen/SATPlanning/transport-transport-city-sequential-35nodes-1000size-4degree-100mindistance-4trucks-14packages-2008seed.030-NOTKNOWN.cnf,1,823.53,2.01,2.7,2.05,20.23,11.17,53.57,5.06,0.58,5.02
SAT_RACE2006/SAT-Race-Benchmarks/velev-pipe-uns-1.0-8.cnf,1,2.85,2.01,2.26,2.12,36.81,5.29,8.05,3.0,0.2,3.1
SAT_RACE2006/SAT-Race-Benchmarks/mizh-sha0-35-3.cnf,1,0.97,2.0,2.0,2.01,4.97,0.64,1.2,2.35,0.03,2.13
SAT_Competition2007/industrial/industrial/anbulagan/diag-sat/total-5-11-s.cnf,1,6.72,1.99,2.0,2.03,5.15,3.18,2.71,2.27,0.05,2.24
SAT-Race-2010-CNF/hardware-verification/velev/12pipe_bug8.cnf,1,32.95,2.03,4.16,2.35,57.66,155.57,64.17,8.34,1.34,8.47
SAT_RACE2006/SAT-Race-Benchmarks/goldb-heqc-frg2mul.cnf,1,0.25,1.99,2.0,2.01,20.25,0.25,1.3,2.16,0.0,2.08
SAT-Race-2010-CNF/software-verification/nec/hard-14-U-15228.cnf,1,51.04,2.02,2.09,2.02,20.07,1383.54,5.22,2.74,0.12,2.78
SAT_Competition2007/industrial/industrial/anbulagan/medium-unsat/total-10-13-u.cnf,1,9.39,2.0,2.02,2.09,7.51,5.64,3.11,2.34,0.09,2.31
SAT_Competition2009/APPLICATION/SAT09/APPLICATIONS/aprove09/AProVE09-20.cnf,1,0.44,2.0,2.0,2.01,12.15,0.7,0.92,2.22,0.01,2.09
SAT_Competition2007/industrial/industrial/palacios/hard/sortnet-7-ipc5-h15-unsat.cnf,1,0.57,2.01,2.01,2.02,20.03,2.59,2.54,2.21,0.04,2.22
SAT_Competition2007/industrial/industrial/anbulagan/hard-unsat/partial-10-13-u.cnf,1,31.04,2.01,2.09,2.12,11.75,4.89,3.62,2.5,0.15,2.51
SAT_Competition2011/SAT11/application/jarvisalo/HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k45-bobsmhdlc2-tseitin.cnf,1,0.49,2.01,2.0,2.01,5.14,0.64,1.36,2.26,0.01,2.08
SAT_Competition2009/APPLICATION/SAT_RACE08/cnf/cmu-bmc-longmult15.cnf,1,0.01,2.0,2.0,0.69,2.25,0.09,0.16,2.3,0.01,2.13
SAT_Competition2009/APPLICATION/SAT09/APPLICATIONS/satComp09_BioInstances/rbcl_xits_07_UNSAT.cnf,1,0.01,2.01,2.0,1.36,22.73,0.28,1.74,2.06,0.0,2.06
SAT_Competition2009/APPLICATION/SAT09/APPLICATIONS/bitverif/smulo/smulo016.cnf,1,0.01,2.0,2.0,0.4,0.22,0.03,0.05,2.22,0.0,2.1
SAT_Competition2011/SAT11/application/rintanen/SATPlanning/openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_3.035-NOTKNOWN.cnf,1,8.09,2.0,2.0,2.01,20.03,2.14,3.2,2.35,0.06,2.29
SAT_Competition2007/industrial/industrial/manolios/manol-pipe-c6nidw_i.cnf,1,0.72,2.0,2.01,2.01,20.02,1.44,2.41,2.3,0.03,2.17
SAT_Competition2007/industrial/industrial/babic/dspam/dspam_dump_vc1103.cnf,1,?,?,?,?,?,3.6,?,?,?,?
SAT_Competition2009/APPLICATION/SAT_RACE06/goldb-heqc-i10mul.cnf,1,0.4,2.0,2.0,2.01,20.01,0.45,2.24,2.19,0.01,2.11
SAT_Competition2009/APPLICATION/SAT07/industrial/palacios/uts/uts-l06-ipc5-h35-unknown.cnf,1,1.35,2.01,2.04,2.08,20.05,13.69,13.95,2.85,0.12,2.82
SAT_Competition2007/industrial/industrial/fuhs/hard/AProVE07-01.cnf,1,0.02,2.0,2.0,1.8,2.24,0.11,0.22,2.3,0.0,2.1
SAT_RACE2008/ibm-2002-29r-k75.cnf,1,3.21,2.0,2.0,2.02,20.02,1.35,2.61,2.4,0.04,2.23
SAT_Competition2007/industrial/industrial/palacios/uts/uts-l06-ipc5-h33-unknown.cnf,1,1.29,2.01,2.05,2.05,20.07,13.49,13.49,2.76,0.11,2.76
SAT_RACE2008/palac-sn7-ipc5-h16.cnf,1,0.66,2.0,2.02,2.01,20.05,2.75,2.74,2.2,0.04,2.21
SAT_Competition2007/industrial/industrial/anbulagan/hard-unsat/dated-10-11-u.cnf,1,3.41,2.0,2.0,2.01,3.43,3.1,2.46,2.28,0.04,2.21
SAT_RACE2008/mizh-sha0-35-3.cnf,1,0.97,2.0,2.0,2.01,5.05,0.76,1.21,2.34,0.02,2.14
SAT_Competition2011/SAT05/industrial/grieu05/vmpc/vmpc_32.renamed-as.sat05-1919.cnf,1,0.02,2.0,2.0,2.01,21.84,0.28,0.76,2.14,0.02,2.11
SAT_Competition2011/SAT11/application/jarvisalo/HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k45-pdtvisns3p02-tseitin.cnf,1,2.05,2.0,2.0,2.02,20.02,3.35,2.58,2.39,0.04,2.22
SAT_Competition2007/industrial/industrial/crypto/mizh-sha0-35-4.cnf,1,0.97,2.0,2.0,2.01,4.97,0.65,1.2,2.39,0.02,2.13
SAT_Competition2009/APPLICATION/SAT07/industrial/anbulagan/hard-unsat/partial-10-13-u.cnf,1,31.93,2.0,2.0,2.08,11.71,5.71,3.75,2.52,0.13,2.53
SAT_Competition2011/SAT11/application/jarvisalo/AAAI2010-SATPlanning/aaai10-planning-ipc5-pipesworld-18-step16.cnf,1,45.97,2.01,2.45,2.3,20.16,4.82,14.77,3.89,0.42,3.81
SAT_Competition2009/APPLICATION/SAT09/APPLICATIONS/diagnosis/ACG-20-10p0.cnf,1,144.15,2.01,2.05,2.16,20.08,8.28,5.58,3.05,0.28,3.15
SAT_Competition2011/SAT09/APPLICATIONS/crypto/desgen/gss-21-s100.cnf,1,0.48,2.0,2.0,2.01,2.48,0.88,1.34,2.34,0.01,2.11
SAT-Race-2010-CNF/software-verification/nec/hard-6-U-7061.cnf,1,10.17,2.0,2.02,2.04,20.02,11.73,3.31,2.39,0.05,2.36
SAT_Competition2011/SAT11/application/rintanen/SATPlanning/blocks-blocks-37-1.130-NOTKNOWN.cnf,1,397.85,2.04,2.64,2.16,20.55,18.37,40.66,7.14,1.36,6.96
SAT_Competition2007/industrial/industrial/palacios/medium/emptyroom-4-h22-sat.cnf,1,0.94,2.0,2.0,2.02,20.01,1.24,1.4,2.19,0.02,2.15
SAT_Competition2009/APPLICATION/SAT_RACE08/cnf/schup-l2s-bc56s-1-k391.cnf,1,56.09,2.01,2.07,2.11,20.05,11.28,5.56,2.77,0.29,2.8
SAT_Competition2007/industrial/industrial/babic/dspam/dspam_dump_vc973.cnf,1,?,?,?,?,?,2.97,?,?,?,?
SAT_RACE2006/SAT-Race_TS_2/velev-pipe-oun-1.1-05.cnf,1,55.29,2.01,2.8,2.33,24.76,26.04,73.39,8.18,1.11,8.18
SAT_Competition2009/APPLICATION/SAT09/APPLICATIONS/diagnosis/ACG-10-5p0.cnf,1,10.66,2.0,2.01,2.01,9.95,2.84,2.81,2.32,0.07,2.26
SAT_RACE2006/SAT-Race-Benchmarks/schup-l2s-motst-2-k315.cnf,1,31.74,2.0,2.0,2.02,20.04,8.55,3.96,2.6,0.12,2.59
SAT_Competition2009/APPLICATION/SAT09/APPLICATIONS/crypto/desgen/gss-34-s100.cnf,1,0.53,2.01,2.0,2.01,2.63,0.77,1.45,2.32,0.01,2.1
SAT_Competition2009/APPLICATION/SAT09/APPLICATIONS/crypto/md5gen/gus-md5-16.cnf,1,2.03,2.0,2.01,2.02,9.37,1.08,2.01,2.32,0.05,2.19
SAT_Competition2009/APPLICATION/SAT07/industrial/anbulagan/medium-sat/partial-5-15-s.cnf,1,27.35,2.0,2.06,2.11,14.75,4.87,3.8,2.52,0.12,2.48
SAT_Competition2011/SAT09/APPLICATIONS/diagnosis/UCG-20-5p1.cnf,1,35.6,2.02,2.0,2.02,20.06,5.76,4.14,2.7,0.14,2.7
SAT_Competition2007/industrial/industrial/anbulagan/hard-unsat/dated-10-19-u.cnf,1,11.87,2.0,2.02,2.02,16.4,6.49,3.05,2.37,0.08,2.43
SAT_RACE2006/SAT-Race-Benchmarks/ibm-2004-06-k90.cnf,1,5.22,2.0,2.0,2.04,20.02,2.08,2.75,2.39,0.05,2.29
SAT_RACE2006/SAT-Race-Benchmarks/velev-live-uns-2.0-ebuf.cnf,1,0.37,1.99,2.0,2.01,20.33,0.96,2.3,2.16,0.01,2.14
SAT_Competition2009/APPLICATION/SAT09/APPLICATIONS/aprove09/AProVE09-19.cnf,1,0.45,1.99,2.0,2.01,20.08,0.54,0.81,2.18,0.02,2.09
SAT_Competition2007/industrial/industrial/manolios/manol-pipe-c10nidw_s.cnf,1,10.43,2.01,2.0,2.08,20.04,6.27,3.77,2.57,0.12,2.56
SAT_Competition2009/APPLICATION/SAT09/APPLICATIONS/aprove09/AProVE09-11.cnf,1,0.25,0.24,2.0,2.01,20.19,0.38,0.94,2.29,0.0,2.08
SAT_Competition2009/APPLICATION/SAT09/APPLICATIONS/bitverif/maxxor/maxxor128.cnf,1,13.18,2.02,2.03,2.03,20.05,5.05,3.21,2.3,0.05,2.33
SAT_Competition2007/industrial/industrial/jarvisalo/eq.atree.braun.7.unsat.cnf,1,0.0,2.0,2.0,0.02,0.01,0.0,0.01,2.57,0.0,2.3
SAT_RACE2008/post-cbmc-aes-ee-r3.cnf,1,0.31,2.01,2.0,2.01,20.06,45.47,5.29,2.79,0.11,2.74
SAT-Race-2010-CNF/mixed/anbulagan/dated-10-13-u.cnf,1,6.08,2.0,2.01,2.03,5.7,3.65,2.75,2.26,0.04,2.23
SAT_RACE2006/SAT-Race_TS_1/een-tipb-sr06-par1.cnf,1,0.0,0.0,2.0,0.02,0.1,1.98,0.02,2.26,0.0,2.14
SAT_Competition2009/APPLICATION/SAT_RACE08/cnf/mizh-md5-48-5.cnf,1,1.76,2.01,2.0,2.02,8.07,1.06,1.78,2.25,0.03,2.16
SAT_RACE2008/babic-dspam-vc949.cnf,1,?,?,?,?,?,1.28,?,?,?,?
SAT_RACE2006/SAT-Race_TS_2/velev-live-sat-1.0-05.cnf,1,139.28,2.01,2.23,2.1,34.29,25.66,35.55,5.49,0.72,5.5
SAT_Competition2009/APPLICATION/SAT09/APPLICATIONS/crypto/md5gen/gus-md5-14.cnf,1,2.03,1.99,2.0,2.01,9.36,0.97,1.86,2.25,0.04,2.16
SAT-Race-2010-CNF/mixed/anbulagan/partial-5-17-u.cnf,1,40.13,2.02,2.06,2.05,20.08,5.97,4.49,2.69,0.11,2.68
SAT_Competition2009/APPLICATION/SAT_RACE06/schup-l2s-guid-1-k56.cnf,1,2.51,2.0,2.01,2.02,13.14,1.85,2.43,2.25,0.03,2.15
SAT_Competition2007/industrial/industrial/babic/xinetd/xinetd_vc56687.cnf,1,?,?,?,?,?,0.24,?,?,?,?
SAT_RACE2006/SAT-Race_TS_1/vange-color-inc-54.cnf,1,2.03,2.0,2.04,2.01,20.45,3.79,2.68,2.22,0.03,2.23
SAT_Competition2011/SAT_RACE08/cnf/manol-pipe-f7nidw.cnf,1,5.12,2.0,2.01,2.02,20.02,4.75,3.12,2.42,0.06,2.44
SAT_Competition2007/industrial/industrial/palacios/uts/uts-l06-ipc5-h28-unknown.cnf,1,0.92,2.01,2.02,2.03,20.05,9.42,11.83,2.61,0.08,2.61
SAT_Competition2009/APPLICATION/SAT07/industrial/grieu/vmpc_29.cnf,1,0.02,2.01,2.0,2.01,20.16,0.18,0.61,2.11,0.01,2.11
SAT_RACE2006/SAT-Race-Benchmarks/manol-pipe-c7b_i.cnf,1,0.06,2.0,2.0,2.01,20.01,0.33,0.54,2.2,0.0,2.09
SAT_Competition2011/SAT11/application/rintanen/SATPlanning/sokoban-sequential-p145-microban-sequential.050-NOTKNOWN.cnf,1,12.68,2.0,2.0,2.06,20.06,3.93,3.64,2.74,0.16,2.68
SAT_Competition2011/SAT_RACE08/cnf/velev-vliw-uns-4.0-9-i1.cnf,1,47.34,2.01,2.14,2.12,34.86,22.08,26.82,4.96,0.53,4.83
SAT_Competition2011/SAT11/application/kullmann/AES/Benchmarks/32/aes_32_1_keyfind_1.cnf,1,0.0,0.02,1.43,0.01,0.01,0.0,0.0,1.54,0.0,1.16
SAT_Competition2007/industrial/industrial/jarvisalo/eq.atree.braun.9.unsat.cnf,1,0.0,2.0,2.0,0.06,0.03,0.0,0.02,2.42,0.0,2.25
SAT-Race-2010-CNF/cryptography/desgen/gss-19-s100.cnf,1,0.47,2.0,2.0,2.01,2.44,0.74,1.39,2.3,0.01,2.1
SAT_Competition2011/SAT11/application/leberre/2dimensionalstrippacking/E05F18.cnf,1,0.16,2.0,2.0,2.01,20.51,0.56,2.52,2.16,0.03,2.2
SAT-Race-2010-CNF/software-verification/nec/hard-13-U-9007.cnf,1,21.11,2.01,2.05,2.02,20.06,143.26,27.67,2.82,0.11,2.77
SAT_Competition2011/SAT02/industrial/biere/dinphil/dp10s10.shuffled.cnf,1,0.01,1.67,2.0,0.85,0.27,0.08,0.1,2.46,0.01,2.15
SAT_RACE2008/simon-s02-f2clk-50.cnf,1,0.12,2.0,2.0,2.01,2.31,0.47,0.53,2.26,0.0,2.08
SAT_RACE2008/simon-s03-fifo8-400.cnf,1,2.38,2.01,2.0,2.01,4.01,4.26,2.55,2.25,0.04,2.14
SAT-Race-2010-CNF/software-verification/bitverif/countbitsarray32_32.cnf,1,3.23,1.99,2.0,2.01,2.15,1.2,1.76,2.25,0.03,2.15
SAT_RACE2006/SAT-Race-Benchmarks/velev-vliw-uns-2.0-iq4.cnf,1,17.41,2.01,2.03,2.18,33.4,10.05,8.1,3.26,0.27,3.29
SAT_Competition2011/SAT11/application/fuhs/slp-synthesis-AES/slp-synthesis-aes-top24.cnf,1,1.44,2.01,2.0,2.01,20.01,0.98,2.01,2.36,0.02,2.14
SAT_Competition2007/industrial/industrial/fuhs/hard/AProVE07-26.cnf,1,0.31,1.99,2.0,2.01,20.02,0.37,0.62,2.24,0.0,2.08
SAT_Competition2011/SAT07/industrial/IBM_FV_2002_13_rule_1/SAT_dat.k100.cnf,1,0.87,2.0,2.0,2.01,20.02,1.02,2.44,2.39,0.03,2.14
SAT_Competition2009/APPLICATION/SAT09/APPLICATIONS/bioinfo/q_query_3_l46_lambda.cnf,1,0.16,2.01,2.0,2.01,20.01,0.64,0.76,2.21,0.01,2.09
SAT_Competition2011/SAT11/application/kullmann/AES/Benchmarks/64/aes_64_2_keyfind_1.cnf,1,0.01,2.0,2.0,0.15,0.43,0.01,0.06,2.53,0.0,2.18
SAT_Competition2007/industrial/industrial/anbulagan/diag-sat/dated-10-11-s.cnf,1,3.51,1.54,2.0,2.01,3.77,2.75,2.38,2.27,0.03,2.18
SAT_Competition2007/industrial/industrial/babic/hsatv17/hsat_vc11817.cnf,1,?,?,?,?,?,4.36,?,?,?,?
SAT_RACE2006/SAT-Race-Benchmarks/goldb-heqc-alu4mul.cnf,1,0.07,2.0,2.0,2.01,20.01,0.12,0.42,2.09,0.01,2.07
SAT_Competition2011/SAT07/industrial/fuhs/hard/AProVE07-03.cnf,1,0.01,2.01,2.0,0.4,0.7,0.04,0.09,2.3,0.0,2.11
SAT_Competition2007/industrial/industrial/anbulagan/hard-unsat/dated-5-19-u.cnf,1,11.81,2.0,2.04,2.04,14.25,4.65,2.99,2.37,0.08,2.36
SAT_Competition2007/industrial/industrial/anbulagan/medium-sat/total-10-19-s.cnf,1,21.48,1.99,2.01,2.05,20.05,7.43,3.77,2.52,0.12,2.51
SAT_Competition2009/APPLICATION/SAT07/industrial/jarvisalo/eq.atree.braun.11.unsat.cnf,1,0.0,2.0,2.0,0.18,0.05,0.01,0.04,2.44,0.0,2.24
SAT_Competition2009/APPLICATION/SAT09/APPLICATIONS/crypto/md5gen/gus-md5-07.cnf,1,2.04,2.0,2.0,2.02,9.37,1.04,1.96,2.31,0.04,2.17
SAT_Competition2007/industrial/industrial/anbulagan/medium-sat/dated-10-17-s.cnf,1,9.61,2.01,2.0,2.02,13.25,4.98,2.92,2.35,0.08,2.32
SAT_Competition2009/APPLICATION/SAT09/APPLICATIONS/satComp09_BioInstances/rbcl_xits_08_UNSAT.cnf,1,0.02,2.01,2.0,1.96,22.86,0.33,2.21,2.07,0.01,2.07
SAT_Competition2009/APPLICATION/SAT07/industrial/grieu/vmpc_25.cnf,1,0.02,2.0,2.0,2.01,20.17,0.11,0.42,2.08,0.01,2.07
SAT_Competition2011/SAT05/industrial/narain05/vpn/clauses-8.renamed-as.sat05-1964.cnf,1,481.25,2.02,2.1,2.07,138.6,157.15,9.9,4.09,0.36,4.11
SAT_Competition2009/APPLICATION/SAT09/APPLICATIONS/diagnosis/UTI-15-10p0.cnf,1,25.99,2.01,2.03,2.06,20.06,4.93,3.64,2.61,0.16,2.61
SAT_RACE2006/SAT-Race-Benchmarks/velev-vliw-sat-4.0-b4.cnf,1,571.87,2.01,2.25,2.35,275.33,129.6,149.76,13.24,2.14,13.34
SAT_Competition2011/SAT11/application/manthey/traffic/traffic_3_uc_sat.cnf,1,48.55,2.02,2.05,2.13,20.09,3.34,5.52,3.33,0.24,3.38
SAT_Competition2011/SAT09/APPLICATIONS/diagnosis/UTI-20-10p1.cnf,1,46.55,2.01,2.07,2.08,20.07,6.71,4.11,2.83,0.16,2.79
SAT_Competition2011/SAT05/industrial/maris05/Ferry/ferry5_ks99i.renamed-as.sat05-3994.cnf,1,0.0,0.05,2.0,0.13,0.49,0.01,0.07,2.29,0.0,2.15
SAT-Race-2010-CNF/mixed/diagnosis/ACG-20-10p1.cnf,1,151.45,2.01,2.08,2.09,20.07,7.61,5.06,3.0,0.22,3.01
SAT_Competition2011/SAT11/application/fuhs/slp-synthesis-AES/slp-synthesis-aes-top26.cnf,1,1.99,2.0,2.0,2.01,20.02,1.16,2.43,2.35,0.02,2.16
SAT_Competition2011/SAT11/application/manthey/traffic/traffic_pcb_unknown.cnf,1,2.73,2.0,2.0,2.01,20.05,1.83,4.06,2.85,0.12,2.84
SAT_Competition2011/SAT11/application/leberre/2dimensionalstrippacking/E04F19.cnf,1,0.35,2.0,2.03,2.04,20.31,1.61,3.77,2.42,0.06,2.44
SAT_RACE2006/SAT-Race-Benchmarks/manol-pipe-f9b.cnf,1,2.05,1.99,2.0,2.01,20.02,2.66,2.61,2.35,0.05,2.25
SAT_Competition2007/industrial/industrial/anbulagan/medium-unsat/dated-10-15-u.cnf,1,6.53,2.02,2.0,2.01,7.77,4.36,2.86,2.31,0.07,2.24
SAT_Competition2011/SAT11/application/jarvisalo/smtqfbv-aigs/smtlib-qfbv-aigs-nlzbe256-tseitin.cnf,1,11.5,2.0,2.0,2.06,20.05,16.9,3.04,2.34,0.06,2.37
SAT_Competition2009/APPLICATION/SAT09/APPLICATIONS/satComp09_BioInstances/rpoc_xits_14_UNKNOWN.cnf,1,0.08,2.0,2.02,2.03,35.74,1.35,2.65,2.18,0.04,2.17
SAT-Race-2010-CNF/cryptography/desgen/gss-16-s100.cnf,1,0.45,2.01,2.0,2.01,2.41,0.79,1.3,2.16,0.01,2.08
SAT_Competition2009/APPLICATION/SAT09/APPLICATIONS/satComp09_BioInstances/rbcl_xits_11_UNKNOWN.cnf,1,0.03,2.01,2.02,2.01,28.47,0.7,2.41,2.11,0.02,2.13
SAT_RACE2006/SAT-Race-Benchmarks/ibm-2002-19r-k100.cnf,1,19.6,2.01,2.0,2.03,20.03,6.97,4.35,2.65,0.11,2.62
SAT_Competition2009/APPLICATION/SAT09/APPLICATIONS/diagnosis/ACG-15-10p0.cnf,1,61.99,2.0,2.07,2.1,20.07,6.28,4.1,2.68,0.19,2.69
SAT_RACE2008/post-cbmc-aes-ele.cnf,1,0.17,2.0,2.0,2.01,20.04,23.94,3.0,2.51,0.04,2.4
SAT_RACE2006/SAT-Race-Benchmarks/manol-pipe-c10id_s.cnf,1,2.33,2.0,2.0,2.02,20.05,2.57,2.69,2.35,0.03,2.27
SAT_Competition2007/industrial/industrial/anbulagan/hard-sat/partial-10-19-s.cnf,1,70.93,2.0,2.1,2.14,20.09,8.62,5.22,2.91,0.25,2.92
SAT_Competition2009/APPLICATION/SAT09/APPLICATIONS/diagnosis/UR-15-10p1.cnf,1,25.38,2.01,2.08,2.01,20.05,4.86,3.92,2.56,0.11,2.55
SAT_Competition2009/APPLICATION/SAT09/APPLICATIONS/satComp09_BioInstances/rbcl_xits_14_SAT.cnf,1,0.06,2.0,2.02,2.02,20.72,1.02,2.66,2.17,0.02,2.17
SAT_Competition2009/APPLICATION/SAT09/APPLICATIONS/crypto/desgen/gss-33-s100.cnf,1,0.53,2.0,2.0,2.01,2.64,0.8,1.51,2.22,0.01,2.09
SAT_Competition2009/APPLICATION/SAT07/industrial/anbulagan/hard-unsat/dated-10-19-u.cnf,1,11.55,2.01,2.01,2.02,16.21,5.43,2.96,2.38,0.08,2.35
SAT_Competition2011/SAT05/industrial/grieu05/vmpc/vmpc_34.renamed-as.sat05-1926.cnf,1,0.02,2.0,2.0,2.01,22.36,0.55,0.91,2.15,0.03,2.14
SAT-Race-2010-CNF/software-verification/post/zfcp-2.8-u2-nh.cnf,1,?,?,512.0,?,?,?,?,?,?,?
SAT_RACE2006/SAT-Race-Benchmarks/mizh-md5-48-2.cnf,1,1.75,2.01,2.0,2.01,8.03,1.05,1.68,2.31,0.02,2.15
SAT-Race-2010-CNF/software-verification/nec/hard-7-U-10652.cnf,1,21.38,2.01,2.01,2.06,20.07,105.41,6.97,2.69,0.13,2.69
SAT_Competition2011/SAT09/APPLICATIONS/diagnosis/UTI-10-5t1.cnf,1,3.22,0.98,2.0,2.01,7.02,1.88,2.58,2.28,0.05,2.19
SAT_Competition2009/APPLICATION/SAT09/APPLICATIONS/c32sat/post-cbmc-aes-ee-r2-noholes.cnf,1,0.14,2.0,2.01,2.02,20.05,24.72,2.9,2.46,0.06,2.43
SAT_Competition2011/SAT09/APPLICATIONS/satComp09_BioInstances/rpoc_xits_09_UNSAT.cnf,1,0.02,2.0,2.0,2.01,23.42,0.64,2.39,2.09,0.02,2.08
SAT_Competition2011/SAT11/application/fuhs/slp-synthesis-AES/slp-synthesis-aes-top29.cnf,1,3.0,2.0,2.0,2.02,20.05,1.43,2.43,2.34,0.03,2.17
SAT_RACE2006/SAT-Race-Benchmarks/manol-pipe-c7b.cnf,1,0.06,2.0,2.0,2.01,19.87,0.32,0.64,2.27,0.0,2.12
SAT_RACE2008/velev-vliw-uns-2.0-uq5.cnf,1,36.81,2.01,2.03,2.2,20.14,15.43,12.76,3.98,0.35,3.96
SAT_Competition2009/APPLICATION/SAT09/APPLICATIONS/c32sat/post-cbmc-aes-ee-r3-noholes.cnf,1,0.3,2.0,2.0,2.02,20.07,40.64,5.17,2.81,0.09,2.73
SAT_Competition2007/industrial/industrial/babic/xinetd/xinetd_vc56703.cnf,1,?,?,?,?,?,0.23,?,?,?,?
SAT_RACE2006/SAT-Race-Benchmarks/manol-pipe-g10nid.cnf,1,3.23,2.0,2.02,2.02,20.03,3.0,2.99,2.39,0.03,2.3
SAT_Competition2009/APPLICATION/SAT_RACE06/simon-s03-fifo8-300.cnf,1,1.31,2.0,2.0,2.01,3.26,3.16,2.14,2.26,0.03,2.11
SAT_Competition2011/SAT11/application/jarvisalo/HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k50-pdtvisns3p00-tseitin.cnf,1,2.56,1.99,2.0,2.01,20.02,3.4,2.68,2.37,0.04,2.22
SAT_Competition2011/SAT07/industrial/crypto/mizh-sha0-36-2.cnf,1,1.04,2.0,2.0,2.01,5.35,0.68,1.29,2.34,0.01,2.12
SAT_Competition2011/SAT03/industrial/li/li-exam/li-exam-61.shuffled-as.sat03-366.cnf,1,1.29,2.0,2.0,2.02,5.89,0.61,2.57,2.35,0.03,2.15
SAT_Competition2009/APPLICATION/SAT09/APPLICATIONS/bioinfo/q_query_3_L90_coli.sat.cnf,1,4.27,2.01,2.03,2.05,20.05,12.61,3.31,2.47,0.09,2.44
SAT_Competition2009/APPLICATION/SAT07/industrial/palacios/uts/uts-l06-ipc5-h33-unknown.cnf,1,1.13,2.0,2.0,2.02,20.08,11.18,13.05,2.75,0.11,2.75
SAT_Competition2009/APPLICATION/SAT09/APPLICATIONS/bioinfo/q_query_3_L70_coli.sat.cnf,1,2.06,2.01,2.0,2.02,20.04,8.26,2.75,2.41,0.05,2.31
SAT_Competition2011/SAT03/industrial/goldberg/hard_eq_check/k2mul.miter.shuffled-as.sat03-355.cnf,1,0.36,2.0,2.0,2.01,20.87,0.29,1.19,2.32,0.01,2.1
SAT_Competition2011/SAT11/application/fuhs/slp-synthesis-AES/slp-synthesis-aes-bottom21.cnf,1,0.91,2.0,2.0,2.01,20.04,0.84,2.36,2.29,0.01,2.13
SAT_Competition2009/APPLICATION/SAT_RACE08/cnf/aloul-chnl11-13.cnf,1,0.0,1.99,2.0,0.01,0.25,0.0,0.04,2.38,0.0,2.31
SAT_Competition2009/APPLICATION/SAT07/industrial/palacios/hard/sortnet-7-ipc5-h15-unsat.cnf,1,0.63,2.0,2.02,2.04,20.64,3.29,2.89,2.22,0.03,2.22
SAT_Competition2009/APPLICATION/SAT07/industrial/anbulagan/hard-unsat/dated-5-13-u.cnf,1,4.76,2.01,2.0,2.01,4.71,2.81,2.55,2.26,0.03,2.21
SAT_RACE2006/SAT-Race-Benchmarks/mizh-sha0-36-2.cnf,1,1.04,1.99,2.0,2.01,5.28,0.74,1.26,2.27,0.02,2.12
SAT_RACE2006/SAT-Race-Benchmarks/mizh-md5-48-5.cnf,1,1.76,2.0,2.01,2.01,8.07,0.93,1.67,2.24,0.02,2.14
SAT-Race-2010-CNF/mixed/bioinf/rpoc_xits_08_UNSAT.cnf,1,0.02,2.0,2.0,2.01,23.96,0.48,2.29,2.07,0.01,2.07
SAT_Competition2009/APPLICATION/SAT09/APPLICATIONS/satComp09_BioInstances/ndhf_xits_17_UNKNOWN.cnf,1,0.45,2.02,2.07,2.05,67.6,5.39,4.43,2.43,0.1,2.42
SAT_Competition2007/industrial/industrial/anbulagan/medium-sat/total-10-15-s.cnf,1,14.38,2.0,2.03,2.02,13.1,6.31,3.23,2.38,0.11,2.39
SAT_Competition2009/APPLICATION/SAT09/APPLICATIONS/satComp09_BioInstances/ndhf_xits_09_UNSAT.cnf,1,0.07,2.0,2.01,2.01,37.52,1.47,2.62,2.16,0.03,2.17
SAT_Competition2011/SAT09/APPLICATIONS/crypto/desgen/gss-27-s100.cnf,1,0.51,2.0,2.0,2.01,2.55,0.8,1.45,2.37,0.0,2.1
SAT_Competition2011/SAT11/application/fuhs/slp-synthesis-AES/slp-synthesis-aes-bottom18.cnf,1,0.51,1.99,2.0,2.01,20.01,0.62,1.86,2.46,0.01,2.1
SAT_RACE2006/SAT-Race-Benchmarks/manol-pipe-g10bidw.cnf,1,3.89,1.99,2.0,2.01,20.02,3.46,2.9,2.41,0.06,2.35
SAT_Competition2009/APPLICATION/SAT09/APPLICATIONS/bioinfo/q_query_3_L60_coli.sat.cnf,1,1.36,2.0,2.0,2.01,20.03,5.66,2.8,2.45,0.03,2.24
SAT_Competition2011/SAT07/industrial/anbulagan/hard-sat/partial-10-15-s.cnf,1,37.65,2.01,2.03,2.07,17.25,5.77,3.75,2.59,0.14,2.59
SAT_Competition2011/SAT11/application/leberre/2dimensionalstrippacking/E03N17.cnf,1,0.08,2.0,2.0,2.01,21.84,0.36,1.74,2.09,0.0,2.07
SAT_Competition2011/SAT09/APPLICATIONS/bioinfo/q_query_3_L150_coli.sat.cnf,1,20.29,2.01,2.02,2.04,20.11,27.52,4.04,2.91,0.14,2.88
SAT_Competition2011/SAT04/industrial/hoonsang/vis-bmc/all.used-as.sat04-986.cnf,1,0.06,2.01,2.01,2.01,20.02,0.5,2.13,2.23,0.01,2.08
SAT_RACE2008/ibm-2002-23r-k90.cnf,1,12.7,2.0,2.0,2.01,20.03,5.47,3.47,2.51,0.08,2.53
SAT_RACE2006/SAT-Race-Benchmarks/ibm-2004-3_11-k60.cnf,1,10.06,2.0,2.0,2.02,20.03,3.57,3.1,2.4,0.07,2.39
SAT_Competition2011/SAT03/industrial/goldberg/hard_eq_check/c6288mul.miter.shuffled-as.sat03-346.cnf,1,0.24,2.01,2.0,2.01,20.01,0.17,0.99,2.19,0.01,2.1
SAT_Competition2011/SAT_RACE08/Q1/SAT_dat.k85.cnf,1,18.82,2.01,2.01,2.03,20.07,3.84,4.09,2.68,0.14,2.64
SAT_Competition2009/APPLICATION/SAT07/industrial/anbulagan/medium-unsat/total-5-13-u.cnf,1,8.62,2.01,2.0,2.09,6.73,4.74,3.05,2.3,0.08,2.3
SAT_Competition2009/APPLICATION/SAT07/industrial/anbulagan/medium-unsat/total-5-11-u.cnf,1,6.56,2.0,2.0,2.03,4.8,3.92,2.88,2.28,0.07,2.25
SAT_Competition2007/industrial/industrial/grieu/vmpc_30.cnf,1,0.01,2.0,2.0,2.01,20.96,0.25,0.6,2.14,0.03,2.11
SAT-Race-2010-CNF/hardware-verification/manolios/g7nidw.cnf,1,0.42,2.0,2.0,2.01,20.02,1.01,2.1,2.35,0.02,2.15
SAT_Competition2007/industrial/industrial/crypto/mizh-sha0-35-2.cnf,1,0.97,2.0,2.0,2.01,4.96,0.72,1.23,2.32,0.02,2.73
SAT_Competition2009/APPLICATION/SAT09/APPLICATIONS/bitverif/countbitsrotate/countbitsrotate016.cnf,1,0.0,2.01,2.0,0.21,0.09,0.01,0.05,2.53,0.0,2.18
SAT_Competition2007/industrial/industrial/babic/dspam/dspam_dump_vc962.cnf,1,?,?,?,?,?,1.14,?,?,?,?
SAT_RACE2008/hoons-vbmc-lucky7.cnf,1,0.01,1.99,2.0,0.85,1.45,0.17,0.17,2.3,0.01,2.14
SAT_Competition2007/industrial/industrial/anbulagan/hard-unsat/partial-5-19-u.cnf,1,43.9,2.01,2.06,2.16,20.07,6.71,3.81,2.7,0.17,2.69
SAT_Competition2007/industrial/industrial/palacios/medium/cube-9-h10-unsat.cnf,1,5.53,2.0,2.06,2.01,20.19,3.61,2.86,2.31,0.06,2.31
SAT-Race-2010-CNF/software-verification/nec/hard-25-U-7061.cnf,1,?,?,?,?,?,12.56,?,?,?,?
SAT_Competition2009/APPLICATION/SAT09/APPLICATIONS/diagnosis/UCG-20-5p1.cnf,1,35.63,2.0,2.08,2.08,20.06,5.87,4.3,2.72,0.14,2.73
SAT_RACE2006/SAT-Race_TS_1/manol-pipe-c6nid_s.cnf,1,1.46,2.0,2.0,2.01,20.01,1.97,2.53,2.36,0.02,2.22
SAT_RACE2008/post-c32s-col400-16.cnf,1,12.77,1.99,2.0,2.06,6.4,4.36,2.95,2.31,0.1,2.26
SAT_RACE2008/jarvi-eq-atree-9.cnf,1,0.0,2.0,2.0,0.06,0.03,0.0,0.02,2.56,0.0,2.28
SAT-Race-2010-CNF/software-verification/nec/hard-20-U-10652.cnf,1,325.38,2.02,2.4,2.25,20.32,277.24,26.92,4.47,0.43,4.46
SAT_Competition2009/APPLICATION/SAT09/APPLICATIONS/bioinfo/q_query_3_l47_lambda.cnf,1,0.18,2.0,2.0,2.01,20.02,0.66,0.76,2.33,0.01,2.12
SAT-Race-2010-CNF/mixed/diagnosis/ACG-15-10p0.cnf,1,60.16,2.01,2.01,2.04,20.05,5.3,3.75,2.61,0.12,2.61
SAT_RACE2006/SAT-Race_TS_1/grieu-vmpc-s05-27r.cnf,1,0.01,2.0,2.0,2.01,20.26,0.19,0.44,2.1,0.03,2.09
SAT_Competition2009/APPLICATION/SAT09/APPLICATIONS/bitverif/countbitswegner/countbitswegner064.cnf,1,0.21,2.0,2.0,2.01,0.52,0.49,1.99,2.34,0.01,2.08
SAT_Competition2009/APPLICATION/SAT07/industrial/grieu/vmpc_26.cnf,1,0.01,2.0,2.0,1.67,20.6,0.11,0.39,2.09,0.01,2.09
SAT_Competition2009/APPLICATION/SAT09/APPLICATIONS/aprove09/AProVE09-13.cnf,1,0.03,0.04,2.0,2.01,17.74,0.16,0.23,2.2,0.0,2.13
SAT_Competition2009/APPLICATION/SAT_RACE06/velev-pipe-sat-1.0-b10.cnf,1,33.68,2.03,5.46,2.58,88.59,187.97,65.74,8.65,1.58,8.85
SAT-Race-2010-CNF/cryptography/desgen/gss-31-s100.cnf,1,0.53,2.0,2.0,2.01,2.66,0.77,1.49,2.32,0.01,2.1
SAT_Competition2011/SAT05/industrial/maris05/DriverLog/driverlog1_ks99i.renamed-as.sat05-3951.cnf,1,0.0,?,?,?,0.0,0.0,?,?,0.0,?
SAT_Competition2009/APPLICATION/SAT09/APPLICATIONS/aprove09/AProVE09-08.cnf,1,0.05,2.0,2.0,2.01,1.19,0.19,0.21,2.27,0.01,2.08
SAT_Competition2011/SAT11/application/jarvisalo/smtqfbv-aigs/smtlib-qfbv-aigs-lfsr_008_063_080-tseitin.cnf,1,0.08,2.0,2.0,2.01,20.31,117.15,2.31,2.13,0.01,2.12
SAT_Competition2011/SAT_RACE08/cnf/manol-pipe-c10nidw.cnf,1,11.79,2.0,2.0,2.06,20.07,6.95,4.73,2.64,0.09,2.69
SAT_RACE2006/SAT-Race-Benchmarks/velev-vliw-sat-4.0-b3.cnf,1,573.11,2.02,2.79,2.22,260.41,130.6,148.23,13.34,2.01,13.47
SAT_Competition2009/APPLICATION/SAT09/APPLICATIONS/aprove09/AProVE09-21.cnf,1,0.17,2.0,2.0,2.01,16.0,0.52,0.78,2.23,0.01,2.09
SAT_Competition2009/APPLICATION/SAT09/APPLICATIONS/bioinfo/q_query_3_l39_lambda.cnf,1,0.1,2.0,2.0,2.01,20.01,0.54,0.57,2.2,0.01,2.08
SAT_Competition2011/SAT11/application/rintanen/SATPlanning/grid-strips-grid-y-3.035-NOTKNOWN.cnf,1,90.81,2.01,2.04,2.07,20.09,3.97,14.85,3.12,0.32,3.13
SAT_RACE2006/SAT-Race-Benchmarks/ibm-2004-3_02_1-k95.cnf,1,1.08,2.0,2.0,2.01,17.25,0.8,1.86,2.26,0.02,2.12
SAT_RACE2006/SAT-Race-Benchmarks/velev-vliw-uns-4.0-9C1.cnf,1,18.13,2.0,2.09,2.03,20.49,10.73,11.7,3.44,0.26,3.45
SAT_Competition2011/SAT11/application/rintanen/SATPlanning/transport-transport-two-cities-sequential-15nodes-1000size-3degree-100mindistance-3trucks-10packages-2008seed.040-SAT.cnf,1,304.14,2.01,2.08,2.06,20.16,6.65,22.62,3.79,0.33,3.8
SAT_RACE2006/SAT-Race_TS_2/manol-pipe-g8b.cnf,1,0.13,2.0,2.0,2.01,20.01,0.65,1.05,2.33,0.01,2.09
SAT_Competition2009/APPLICATION/SAT_RACE08/cnf/hoons-vbmc-lucky7.cnf,1,0.01,2.01,2.0,0.87,1.47,0.15,0.15,2.38,0.0,2.15
SAT_RACE2006/SAT-Race-Benchmarks/manol-pipe-c7nidw.cnf,1,1.94,2.02,2.0,2.02,20.03,2.32,2.62,2.34,0.03,2.25
SAT_Competition2011/SAT09/APPLICATIONS/diagnosis/UR-20-10p0.cnf,1,45.65,2.0,2.05,2.13,20.06,5.97,4.03,2.78,0.2,2.85
SAT_Competition2009/APPLICATION/SAT_RACE06/manol-pipe-c7bidw_i.cnf,1,1.28,1.99,2.01,2.01,20.02,1.91,2.67,2.3,0.03,2.21
SAT_Competition2009/APPLICATION/SAT_RACE08/cnf/manol-pipe-c10nid_i.cnf,1,4.36,2.0,2.0,2.03,20.02,3.72,3.23,2.4,0.06,2.38
SAT_Competition2011/SAT11/application/jarvisalo/HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k50-pdtpmsns2-tseitin.cnf,1,1.41,2.0,2.0,2.01,20.01,1.34,2.41,2.33,0.02,2.16
SAT_Competition2009/APPLICATION/SAT09/APPLICATIONS/aprove09/AProVE09-12.cnf,1,0.44,0.46,2.0,2.01,20.34,0.61,0.89,2.29,0.02,2.09
SAT_RACE2006/SAT-Race-Benchmarks/velev-engi-uns-1.0-5c1.cnf,1,0.65,1.99,2.01,2.02,20.03,1.59,2.65,2.24,0.07,2.2
SAT_Competition2009/APPLICATION/SAT_RACE08/cnf/goldb-heqc-frg1mul.cnf,1,0.03,1.99,2.0,2.01,20.05,0.05,0.21,2.1,0.0,2.05
SAT_RACE2008/velev-vliw-sat-4.0-b8.cnf,1,578.14,2.03,3.41,2.71,314.9,138.31,151.44,13.61,2.3,13.54
SAT_Competition2009/APPLICATION/SAT_RACE08/cnf/mizh-md5-47-4.cnf,1,1.67,2.0,2.0,2.01,7.74,0.96,1.65,2.29,0.03,2.15
SAT_Competition2009/APPLICATION/SAT09/APPLICATIONS/satComp09_BioInstances/ndhf_xits_20_SAT.cnf,1,0.56,2.0,2.03,2.03,83.79,6.53,3.5,2.52,0.11,2.55
SAT_RACE2006/SAT-Race_TS_1/velev-vliw-sat-2.0-02.cnf,1,99.85,2.02,2.27,2.18,51.85,26.9,32.61,8.82,1.43,9.0
SAT_Competition2011/SAT11/application/leberre/2dimensionalstrippacking/korf-17.cnf,1,0.11,2.01,2.0,2.01,21.01,0.29,2.26,2.11,0.02,2.1
SAT_Competition2011/SAT11/application/kullmann/AES/Benchmarks/128/aes_128_1_keyfind_1.cnf,1,0.0,2.0,2.0,0.37,20.01,0.02,0.2,2.35,0.0,2.12
SAT_RACE2006/SAT-Race_TS_2/velev-pipe-uns-1.1-08.cnf,1,6.42,2.0,2.05,2.1,23.17,8.47,14.72,3.72,0.33,3.7
SAT_RACE2006/SAT-Race_TS_2/velev-vliw-sat-4.0-03.cnf,1,571.76,2.02,3.69,2.4,273.11,129.22,148.98,13.24,2.03,13.39
SAT-Race-2010-CNF/hardware-verification/ibm/SAT_dat.k100.cnf,1,1.4,2.0,2.0,2.01,19.17,1.21,2.4,2.4,0.03,2.16
SAT_RACE2006/SAT-Race_TS_2/manol-pipe-g10ni.cnf,1,1.14,2.01,2.0,2.02,20.01,2.13,2.44,2.35,0.04,2.21