Results by benchmark

Category industrial instances (INDUS)

Description of a cell contents

Cell example	Meaning
Answer	Solver result
TT=...	Total Time (TT): this is the CPU time (in seconds) used by the solver until termination. This time is only meaningful for complete solvers because incomplete solvers will always run until they time out

Meaning of some abbreviations

Abbreviation	Meaning
TO	Time Out
MO	Mem. Out (out of memory)

Meaning of the different colors

Color	Meaning
text	the solver cannot handle this instance
text	the solver gave no answer
text	the solver gave a definitive answer (SAT or UNSAT)
text	the solver performed better than the other ones on that instance
text	the solver was ended by a signal
text	the solver gave an incomplete answer
text	the solver was disqualified in the category
text	the solver gave a wrong answer

Bench name	Best results on this instance	built 2275_500	minisat2-core 061208	minisat2-simp 061208
Bejing/ 2bitadd_10.cnf	UNSAT TT=7.597	UNSAT TT=25.621	UNSAT TT=14.823	UNSAT TT=47.893
Bejing/ 2bitadd_11.cnf	SAT TT=0.011	SAT TT=0.084	SAT TT=0.014	SAT TT=0.011
Bejing/ 2bitadd_12.cnf	SAT TT=0.012	SAT TT=0.087	SAT TT=0.024	SAT TT=0.015
Bejing/ 2bitcomp_5.cnf	SAT TT=0.001	SAT TT=0.014	SAT TT=0.005	SAT TT=0.003
Bejing/ 2bitmax_6.cnf	SAT TT=0.003	SAT TT=0.028	SAT TT=0.004	SAT TT=0.007
Bejing/ 3bitadd_31.cnf	SAT TT=3.754	SAT TT=86.198	SAT TT=515.562	? (TO) TT=1200.08
Bejing/ 3bitadd_32.cnf	SAT TT=1.316	SAT TT=70.231	SAT TT=573.562	SAT TT=3.582
benchs/ 2bitadd_10.cnf	UNSAT TT=7.338	UNSAT TT=25.695	UNSAT TT=14.011	UNSAT TT=51.307
benchs/ 2bitadd_11.cnf	SAT TT=0.013	SAT TT=0.084	SAT TT=0.013	SAT TT=0.015
benchs/ 2bitadd_12.cnf	SAT TT=0.012	SAT TT=0.087	SAT TT=0.023	SAT TT=0.012
Bench name	Best results on this instance	built 2275_500	minisat2-core 061208	minisat2-simp 061208
benchs/ 2bitmax_6.cnf	SAT TT=0.003	SAT TT=0.027	SAT TT=0.006	SAT TT=0.007
benchs/ 3bitadd_31.cnf	SAT TT=3.692	SAT TT=91.111	SAT TT=510.37	? (TO) TT=1200.03
benchs/ 3bitadd_32.cnf	SAT TT=1.368	SAT TT=70.336	SAT TT=577.378	SAT TT=3.551
benchs/ c1908_bug.cnf	SAT TT=0.068	SAT TT=0.184	SAT TT=0.288	SAT TT=0.089
benchs/ c2670_bug.cnf	SAT TT=0.019	SAT TT=0.151	SAT TT=0.055	SAT TT=0.053
benchs/ c3540_bug.cnf	SAT TT=0.022	SAT TT=0.683	SAT TT=0.022	SAT TT=0.071
benchs/ c5315_bug.cnf	SAT TT=0.061	SAT TT=0.348	SAT TT=0.302	SAT TT=0.361
benchs/ c7552_bug.cnf	SAT TT=0.044	SAT TT=0.629	SAT TT=0.044	SAT TT=0.169
benchs/ dlx1_c.cnf	UNSAT TT=0.011	UNSAT TT=0.065	UNSAT TT=0.011	UNSAT TT=0.02
benchs/ dlx2_aa.cnf	UNSAT TT=0.042	UNSAT TT=0.104	? (exit code) TT=0.006	? (exit code) TT=0.006
Bench name	Best results on this instance	built 2275_500	minisat2-core 061208	minisat2-simp 061208
benchs/ dlx2_ca.cnf	UNSAT TT=0.223	UNSAT TT=0.892	? (exit code) TT=0.009	? (exit code) TT=0.016
benchs/ dlx2_cc_bug01.cnf	SAT TT=0.026	SAT TT=2.268	? (exit code) TT=0.011	? (exit code) TT=0.021
benchs/ dlx2_cc_bug02.cnf	SAT TT=0.027	SAT TT=2.289	? (exit code) TT=0.011	? (exit code) TT=0.02
benchs/ dlx2_cc_bug03.cnf	SAT TT=0.062	SAT TT=2.221	? (exit code) TT=0.013	? (exit code) TT=0.02
benchs/ dlx2_cc_bug04.cnf	SAT TT=0.027	SAT TT=2.493	? (exit code) TT=0.01	? (exit code) TT=0.018
benchs/ dlx2_cc_bug05.cnf	SAT TT=0.044	SAT TT=2.377	? (exit code) TT=0.014	? (exit code) TT=0.02
benchs/ dlx2_cc_bug06.cnf	SAT TT=0.041	SAT TT=2.298	? (exit code) TT=0.011	? (exit code) TT=0.028
benchs/ dlx2_cc_bug07.cnf	SAT TT=0.045	SAT TT=2.276	? (exit code) TT=0.013	? (exit code) TT=0.019
benchs/ dlx2_cc_bug08.cnf	SAT TT=0.031	SAT TT=2.201	? (exit code) TT=0.013	? (exit code) TT=0.02
benchs/ dlx2_cc_bug09.cnf	SAT TT=0.028	SAT TT=2.408	? (exit code) TT=0.011	? (exit code) TT=0.021
Bench name	Best results on this instance	built 2275_500	minisat2-core 061208	minisat2-simp 061208
benchs/ dlx2_cc_bug10.cnf	SAT TT=0.029	SAT TT=1.781	? (exit code) TT=0.011	? (exit code) TT=0.019
benchs/ dlx2_cc_bug11.cnf	SAT TT=0.026	SAT TT=2.842	? (exit code) TT=0.01	? (exit code) TT=0.02
benchs/ dlx2_cc_bug12.cnf	SAT TT=0.027	SAT TT=2.965	? (exit code) TT=0.013	? (exit code) TT=0.019
benchs/ dlx2_cc_bug13.cnf	SAT TT=0.026	SAT TT=1.82	? (exit code) TT=0.013	? (exit code) TT=0.02
benchs/ dlx2_cc_bug14.cnf	SAT TT=0.027	SAT TT=2.452	? (exit code) TT=0.012	? (exit code) TT=0.019
benchs/ dlx2_cc_bug15.cnf	SAT TT=0.032	SAT TT=4.269	? (exit code) TT=0.012	? (exit code) TT=0.022
benchs/ dlx2_cc_bug16.cnf	SAT TT=0.027	SAT TT=2.267	? (exit code) TT=0.012	? (exit code) TT=0.021
benchs/ dlx2_cc_bug17.cnf	SAT TT=0.048	SAT TT=5.502	? (exit code) TT=0.017	? (exit code) TT=0.035
benchs/ dlx2_cc_bug18.cnf	SAT TT=0.041	SAT TT=3.693	? (exit code) TT=0.017	? (exit code) TT=0.031
benchs/ dlx2_cc_bug19.cnf	SAT TT=0.026	SAT TT=1.937	? (exit code) TT=0.012	? (exit code) TT=0.021
Bench name	Best results on this instance	built 2275_500	minisat2-core 061208	minisat2-simp 061208
benchs/ dlx2_cc_bug20.cnf	SAT TT=0.028	SAT TT=1.593	? (exit code) TT=0.011	? (exit code) TT=0.018
benchs/ dlx2_cc_bug21.cnf	SAT TT=0.026	SAT TT=1.715	? (exit code) TT=0.012	? (exit code) TT=0.02
benchs/ dlx2_cc_bug22.cnf	SAT TT=0.026	SAT TT=2.246	? (exit code) TT=0.012	? (exit code) TT=0.019
benchs/ dlx2_cc_bug23.cnf	SAT TT=0.024	SAT TT=1.839	? (exit code) TT=0.011	? (exit code) TT=0.02
benchs/ dlx2_cc_bug24.cnf	SAT TT=0.026	SAT TT=2.544	? (exit code) TT=0.012	? (exit code) TT=0.021
benchs/ dlx2_cc_bug25.cnf	SAT TT=0.033	SAT TT=2.519	? (exit code) TT=0.012	? (exit code) TT=0.031
benchs/ dlx2_cc_bug26.cnf	SAT TT=0.026	SAT TT=2.116	? (exit code) TT=0.011	? (exit code) TT=0.02
benchs/ dlx2_cc_bug27.cnf	SAT TT=0.02	SAT TT=1.306	? (exit code) TT=0.01	? (exit code) TT=0.016
benchs/ dlx2_cc_bug28.cnf	SAT TT=0.029	SAT TT=2.093	? (exit code) TT=0.013	? (exit code) TT=0.021
benchs/ dlx2_cc_bug29.cnf	SAT TT=0.024	SAT TT=1.971	? (exit code) TT=0.012	? (exit code) TT=0.021
Bench name	Best results on this instance	built 2275_500	minisat2-core 061208	minisat2-simp 061208
benchs/ dlx2_cc_bug30.cnf	SAT TT=0.025	SAT TT=2.459	? (exit code) TT=0.012	? (exit code) TT=0.02
benchs/ dlx2_cc_bug31.cnf	SAT TT=0.025	SAT TT=2.782	? (exit code) TT=0.014	? (exit code) TT=0.02
benchs/ dlx2_cc_bug32.cnf	SAT TT=0.025	SAT TT=1.702	? (exit code) TT=0.011	? (exit code) TT=0.018
benchs/ dlx2_cc_bug33.cnf	SAT TT=0.026	SAT TT=2.069	? (exit code) TT=0.011	? (exit code) TT=0.021
benchs/ dlx2_cc_bug34.cnf	SAT TT=0.025	SAT TT=2.672	? (exit code) TT=0.012	? (exit code) TT=0.02
benchs/ dlx2_cc_bug35.cnf	SAT TT=0.023	SAT TT=2.668	? (exit code) TT=0.011	? (exit code) TT=0.02
benchs/ dlx2_cc_bug36.cnf	SAT TT=0.025	SAT TT=2.557	? (exit code) TT=0.011	? (exit code) TT=0.019
benchs/ dlx2_cc_bug37.cnf	SAT TT=0.025	SAT TT=2.309	? (exit code) TT=0.01	? (exit code) TT=0.02
benchs/ dlx2_cc_bug38.cnf	SAT TT=0.114	SAT TT=1.631	? (exit code) TT=0.01	? (exit code) TT=0.02
benchs/ dlx2_cc_bug39.cnf	SAT TT=0.028	SAT TT=1.928	? (exit code) TT=0.011	? (exit code) TT=0.019
Bench name	Best results on this instance	built 2275_500	minisat2-core 061208	minisat2-simp 061208
benchs/ dlx2_cc_bug40.cnf	SAT TT=0.045	SAT TT=2.463	? (exit code) TT=0.012	? (exit code) TT=0.02
benchs/ dlx2_cc.cnf	UNSAT TT=0.477	UNSAT TT=2.568	? (exit code) TT=0.013	? (exit code) TT=0.02
benchs/ dlx2_cl.cnf	UNSAT TT=1.098	UNSAT TT=2.37	? (exit code) TT=0.012	? (exit code) TT=0.018
benchs/ dlx2_cs.cnf	UNSAT TT=0.471	UNSAT TT=1.679	? (exit code) TT=0.01	? (exit code) TT=0.017
benchs/ dlx2_la.cnf	UNSAT TT=0.221	UNSAT TT=0.986	? (exit code) TT=0.01	? (exit code) TT=0.014
benchs/ dlx2_sa.cnf	UNSAT TT=0.165	UNSAT TT=0.165	? (exit code) TT=0.007	? (exit code) TT=0.007
benchs/IBM-ZARPAS/ 01_rule/ SAT_dat.k100.cnf	SAT TT=115.046	SAT TT=559.121	SAT TT=543.031	SAT TT=476.101
benchs/IBM-ZARPAS/ 01_rule/ SAT_dat.k10.cnf	UNSAT TT=0.096	UNSAT TT=8.203	UNSAT TT=0.096	UNSAT TT=0.252
benchs/IBM-ZARPAS/ 01_rule/ SAT_dat.k15.cnf	SAT TT=0.358	SAT TT=13.691	SAT TT=0.775	SAT TT=0.642
benchs/IBM-ZARPAS/ 01_rule/ SAT_dat.k1.cnf	UNSAT TT=0.006	UNSAT TT=0.006	UNSAT TT=0.006	UNSAT TT=0.009
Bench name	Best results on this instance	built 2275_500	minisat2-core 061208	minisat2-simp 061208
benchs/IBM-ZARPAS/ 01_rule/ SAT_dat.k20.cnf	SAT TT=1.585	SAT TT=25.333	SAT TT=3.484	SAT TT=2.107
benchs/IBM-ZARPAS/ 01_rule/ SAT_dat.k25.cnf	SAT TT=0.508	SAT TT=30.794	SAT TT=22.129	SAT TT=33.464
benchs/IBM-ZARPAS/ 01_rule/ SAT_dat.k30.cnf	SAT TT=1.064	SAT TT=38.822	SAT TT=10.219	SAT TT=8.185
benchs/IBM-ZARPAS/ 01_rule/ SAT_dat.k35.cnf	SAT TT=4.183	SAT TT=74.185	SAT TT=78.368	SAT TT=13.662
benchs/IBM-ZARPAS/ 01_rule/ SAT_dat.k40.cnf	SAT TT=9.074	SAT TT=60.171	SAT TT=24.803	SAT TT=29.872
benchs/IBM-ZARPAS/ 01_rule/ SAT_dat.k45.cnf	SAT TT=7.628	SAT TT=85.037	SAT TT=26.082	SAT TT=47.919
benchs/IBM-ZARPAS/ 01_rule/ SAT_dat.k50.cnf	SAT TT=10.121	SAT TT=127.12	SAT TT=74.173	SAT TT=44.943
benchs/IBM-ZARPAS/ 01_rule/ SAT_dat.k55.cnf	SAT TT=3.116	SAT TT=139.989	SAT TT=3.116	SAT TT=24.585
benchs/IBM-ZARPAS/ 01_rule/ SAT_dat.k60.cnf	SAT TT=16.031	SAT TT=149.209	SAT TT=16.031	SAT TT=49.06
benchs/IBM-ZARPAS/ 01_rule/ SAT_dat.k65.cnf	SAT TT=22.225	SAT TT=315.983	SAT TT=22.225	SAT TT=207.662
Bench name	Best results on this instance	built 2275_500	minisat2-core 061208	minisat2-simp 061208
benchs/IBM-ZARPAS/ 01_rule/ SAT_dat.k70.cnf	SAT TT=11.894	SAT TT=285.756	SAT TT=329.492	SAT TT=11.894
benchs/IBM-ZARPAS/ 01_rule/ SAT_dat.k75.cnf	SAT TT=67.296	SAT TT=177.649	SAT TT=144.301	SAT TT=102.028
benchs/IBM-ZARPAS/ 01_rule/ SAT_dat.k80.cnf	SAT TT=95.528	SAT TT=174.419	SAT TT=95.528	SAT TT=360.006
benchs/IBM-ZARPAS/ 01_rule/ SAT_dat.k85.cnf	SAT TT=32.9	SAT TT=765.341	SAT TT=349.992	SAT TT=32.9
benchs/IBM-ZARPAS/ 01_rule/ SAT_dat.k90.cnf	SAT TT=124.671	SAT TT=260.944	SAT TT=1010.84	SAT TT=353.36
benchs/IBM-ZARPAS/ 01_rule/ SAT_dat.k95.cnf	SAT TT=94.011	SAT TT=692.439	SAT TT=386.286	SAT TT=715.265
BMC/ bmc-galileo-8.cnf	SAT TT=0.633	SAT TT=86.942	SAT TT=0.633	SAT TT=1.791
BMC/ bmc-galileo-9.cnf	SAT TT=1.021	SAT TT=106.445	SAT TT=1.021	SAT TT=1.987
BMC/ bmc-ibm-10.cnf	SAT TT=1.886	SAT TT=302.882	SAT TT=2.21	SAT TT=2.613
BMC/ bmc-ibm-11.cnf	SAT TT=1.225	SAT TT=30.313	SAT TT=1.225	SAT TT=1.977
Bench name	Best results on this instance	built 2275_500	minisat2-core 061208	minisat2-simp 061208
BMC/ bmc-ibm-12.cnf	SAT TT=3.815	SAT TT=145.223	SAT TT=9.243	SAT TT=3.815
BMC/ bmc-ibm-13.cnf	SAT TT=1.35	SAT TT=20.212	SAT TT=2.261	SAT TT=8.53
BMC/ bmc-ibm-1.cnf	SAT TT=0.187	SAT TT=20.33	SAT TT=0.267	SAT TT=0.479
BMC/ bmc-ibm-2.cnf	SAT TT=0.018	SAT TT=0.137	SAT TT=0.018	SAT TT=0.039
BMC/ bmc-ibm-3.cnf	SAT TT=0.328	SAT TT=12.148	SAT TT=0.328	SAT TT=0.58
BMC/ bmc-ibm-4.cnf	SAT TT=0.362	SAT TT=32.636	SAT TT=1.092	SAT TT=0.768
BMC/ bmc-ibm-5.cnf	SAT TT=0.086	SAT TT=0.769	SAT TT=0.086	SAT TT=0.187
BMC/ bmc-ibm-6.cnf	SAT TT=0.923	SAT TT=54.809	SAT TT=1.594	SAT TT=2.407
BMC/ bmc-ibm-7.cnf	SAT TT=0.044	SAT TT=1.812	SAT TT=0.044	SAT TT=0.168
FPGA/FPGA_SWB_SAT/ fpga10_8_sat_rcr.cnf	SAT TT=0.002	SAT TT=0.012	SAT TT=0.006	SAT TT=0.006
Bench name	Best results on this instance	built 2275_500	minisat2-core 061208	minisat2-simp 061208
FPGA/FPGA_SWB_SAT/ fpga10_9_sat_rcr.cnf	SAT TT=0.003	SAT TT=0.014	SAT TT=0.019	SAT TT=0.007
FPGA/FPGA_SWB_SAT/ fpga12_10_sat_rcr.cnf	SAT TT=0.004	SAT TT=0.016	SAT TT=0.004	SAT TT=0.007
FPGA/FPGA_SWB_SAT/ fpga12_11_sat_rcr.cnf	SAT TT=0.002	SAT TT=0.024	SAT TT=0.015	SAT TT=0.019
FPGA/FPGA_SWB_SAT/ fpga12_12_sat_rcr.cnf	SAT TT=0.003	SAT TT=0.015	SAT TT=0.006	SAT TT=0.01
FPGA/FPGA_SWB_SAT/ fpga12_8_sat_rcr.cnf	SAT TT=0.002	SAT TT=0.013	SAT TT=0.004	SAT TT=0.007
FPGA/FPGA_SWB_SAT/ fpga12_9_sat_rcr.cnf	SAT TT=0.002	SAT TT=0.017	SAT TT=0.006	SAT TT=0.01
FPGA/FPGA_SWB_SAT/ fpga13_10_sat_rcr.cnf	SAT TT=0.009	SAT TT=0.016	SAT TT=0.018	SAT TT=0.009
FPGA/FPGA_SWB_SAT/ fpga13_11_sat_rcr.cnf	SAT TT=0.003	SAT TT=0.019	SAT TT=0.01	SAT TT=0.01
FPGA/FPGA_SWB_SAT/ fpga13_12_sat_rcr.cnf	SAT TT=0.01	SAT TT=0.019	SAT TT=0.035	SAT TT=0.01
FPGA/FPGA_SWB_SAT/ fpga13_9_sat_rcr.cnf	SAT TT=0.004	SAT TT=0.016	SAT TT=0.007	SAT TT=0.008
Bench name	Best results on this instance	built 2275_500	minisat2-core 061208	minisat2-simp 061208
FPGA/FPGA_SWB_UNS/ fpga10_11_uns_rcr.cnf	UNSAT TT=33.751	UNSAT TT=36.134	UNSAT TT=36.752	UNSAT TT=35.152
FPGA/FPGA_SWB_UNS/ fpga10_12_uns_rcr.cnf	UNSAT TT=93.91	UNSAT TT=161.365	UNSAT TT=93.91	UNSAT TT=167.947
FPGA/FPGA_SWB_UNS/ fpga10_13_uns_rcr.cnf	UNSAT TT=193.662	UNSAT TT=211.106	UNSAT TT=283.344	UNSAT TT=205.832
FPGA/FPGA_SWB_UNS/ fpga10_15_uns_rcr.cnf	UNSAT TT=257.749	UNSAT TT=270.664	UNSAT TT=539.889	UNSAT TT=291.708
FPGA/FPGA_SWB_UNS/ fpga10_20_uns_rcr.cnf	UNSAT TT=582.162	UNSAT TT=790.228	UNSAT TT=582.162	UNSAT TT=853.741
FPGA/FPGA_SWB_UNS/ fpga11_12_uns_rcr.cnf	UNSAT TT=478.871	UNSAT TT=1011.27	? (TO) TT=1200.06	UNSAT TT=1100.07
FPGA/FPGA_SWB_UNS/ fpga11_13_uns_rcr.cnf	SIGNAL TT=0.008	? (TO) TT=1200.06	? (TO) TT=1200.03	? (TO) TT=1200.1
FPGA/FPGA_SWB_UNS/ fpga11_14_uns_rcr.cnf	SIGNAL TT=0.009	? (TO) TT=1200.07	? (TO) TT=1200.12	? (TO) TT=1200.08
FPGA/FPGA_SWB_UNS/ fpga11_15_uns_rcr.cnf	SIGNAL TT=0.008	? (TO) TT=1200.03	? (TO) TT=1200.08	? (TO) TT=1200.09
FPGA/FPGA_SWB_UNS/ fpga11_20_uns_rcr.cnf	SIGNAL TT=0.014	? (TO) TT=1200.04	? (TO) TT=1200.08	? (TO) TT=1200.12
Bench name	Best results on this instance	built 2275_500	minisat2-core 061208	minisat2-simp 061208
fvp-unsat.1.0/ 1dlx_c_mc_ex_bp_f.cnf	UNSAT TT=0.038	UNSAT TT=0.263	UNSAT TT=0.04	UNSAT TT=0.052
fvp-unsat.1.0/ 2dlx_ca_mc_ex_bp_f.cnf	UNSAT TT=0.559	UNSAT TT=20.947	UNSAT TT=0.559	UNSAT TT=1.075
fvp-unsat.1.0/ 2dlx_cc_mc_ex_bp_f.cnf	UNSAT TT=1.347	UNSAT TT=76.926	UNSAT TT=1.746	UNSAT TT=1.347
fvp-unsat.1.0/ 9vliw_bp_mc.cnf	UNSAT TT=25.52	UNSAT TT=544.617	UNSAT TT=113.428	UNSAT TT=25.52
IBM/01/ IBM_FV_2004_rule_batch_01_SAT_dat.k100.cnf	SAT TT=67.093	SAT TT=342.48	SAT TT=143.669	SAT TT=491.912
IBM/01/ IBM_FV_2004_rule_batch_01_SAT_dat.k10.cnf	UNSAT TT=0.067	UNSAT TT=4.736	UNSAT TT=0.067	UNSAT TT=0.212
IBM/01/ IBM_FV_2004_rule_batch_01_SAT_dat.k15.cnf	SAT TT=0.503	SAT TT=9.958	SAT TT=0.795	SAT TT=0.545
IBM/01/ IBM_FV_2004_rule_batch_01_SAT_dat.k20.cnf	SAT TT=0.641	SAT TT=14.485	SAT TT=0.963	SAT TT=5.279
IBM/01/ IBM_FV_2004_rule_batch_01_SAT_dat.k25.cnf	SAT TT=1.37	SAT TT=15.044	SAT TT=23.312	SAT TT=5.183
IBM/01/ IBM_FV_2004_rule_batch_01_SAT_dat.k30.cnf	SAT TT=0.511	SAT TT=18.854	SAT TT=37.53	SAT TT=64.319
Bench name	Best results on this instance	built 2275_500	minisat2-core 061208	minisat2-simp 061208
IBM/01/ IBM_FV_2004_rule_batch_01_SAT_dat.k35.cnf	SAT TT=3.299	SAT TT=21.217	SAT TT=6.444	SAT TT=13.464
IBM/01/ IBM_FV_2004_rule_batch_01_SAT_dat.k40.cnf	SAT TT=7.172	SAT TT=64.274	SAT TT=80.318	SAT TT=15.139
IBM/01/ IBM_FV_2004_rule_batch_01_SAT_dat.k45.cnf	SAT TT=2.014	SAT TT=47.057	SAT TT=47.249	SAT TT=16.645
IBM/01/ IBM_FV_2004_rule_batch_01_SAT_dat.k50.cnf	SAT TT=3.21	SAT TT=37.255	SAT TT=18.039	SAT TT=11.525
IBM/01/ IBM_FV_2004_rule_batch_01_SAT_dat.k55.cnf	SAT TT=2.701	SAT TT=38.945	SAT TT=70.331	SAT TT=13.105
IBM/01/ IBM_FV_2004_rule_batch_01_SAT_dat.k60.cnf	SAT TT=5.43	SAT TT=42.882	SAT TT=17.301	SAT TT=79.799
IBM/01/ IBM_FV_2004_rule_batch_01_SAT_dat.k65.cnf	SAT TT=29.602	SAT TT=157.431	SAT TT=154.886	SAT TT=138.113
IBM/01/ IBM_FV_2004_rule_batch_01_SAT_dat.k70.cnf	SAT TT=43.943	SAT TT=131.87	SAT TT=78.17	SAT TT=275.873
IBM/01/ IBM_FV_2004_rule_batch_01_SAT_dat.k75.cnf	SAT TT=25.636	SAT TT=97.826	SAT TT=197.893	SAT TT=123.81
IBM/01/ IBM_FV_2004_rule_batch_01_SAT_dat.k80.cnf	SAT TT=53.439	SAT TT=89.341	SAT TT=181.773	SAT TT=77.87
Bench name	Best results on this instance	built 2275_500	minisat2-core 061208	minisat2-simp 061208
IBM/01/ IBM_FV_2004_rule_batch_01_SAT_dat.k85.cnf	SAT TT=39.401	SAT TT=404.239	SAT TT=307.389	SAT TT=128.163
IBM/01/ IBM_FV_2004_rule_batch_01_SAT_dat.k90.cnf	SAT TT=30.041	SAT TT=318.452	SAT TT=272.565	SAT TT=67.964
IBM/01/ IBM_FV_2004_rule_batch_01_SAT_dat.k95.cnf	SAT TT=64.63	SAT TT=160.453	SAT TT=67.004	SAT TT=149.758
IBM/02_2/ IBM_FV_2004_rule_batch_02_2_SAT_dat.k100.cnf	SAT TT=0.575	SAT TT=42.575	SAT TT=2.139	SAT TT=2.606
IBM/02_2/ IBM_FV_2004_rule_batch_02_2_SAT_dat.k10.cnf	SAT TT=0.029	SAT TT=1.953	SAT TT=0.031	SAT TT=0.091
IBM/02_2/ IBM_FV_2004_rule_batch_02_2_SAT_dat.k15.cnf	SAT TT=0.034	SAT TT=4.286	SAT TT=0.034	SAT TT=0.196
IBM/02_2/ IBM_FV_2004_rule_batch_02_2_SAT_dat.k20.cnf	SAT TT=0.072	SAT TT=5.049	SAT TT=0.15	SAT TT=0.258
IBM/02_2/ IBM_FV_2004_rule_batch_02_2_SAT_dat.k25.cnf	SAT TT=0.135	SAT TT=5.587	SAT TT=0.158	SAT TT=0.328
IBM/02_2/ IBM_FV_2004_rule_batch_02_2_SAT_dat.k30.cnf	SAT TT=0.2	SAT TT=6.291	SAT TT=0.312	SAT TT=0.427
IBM/02_2/ IBM_FV_2004_rule_batch_02_2_SAT_dat.k35.cnf	SAT TT=0.166	SAT TT=10.195	SAT TT=0.576	SAT TT=0.588
Bench name	Best results on this instance	built 2275_500	minisat2-core 061208	minisat2-simp 061208
IBM/02_2/ IBM_FV_2004_rule_batch_02_2_SAT_dat.k40.cnf	SAT TT=0.522	SAT TT=13.823	SAT TT=0.546	SAT TT=0.639
IBM/02_2/ IBM_FV_2004_rule_batch_02_2_SAT_dat.k45.cnf	SAT TT=0.37	SAT TT=14.188	SAT TT=2.019	SAT TT=0.811
IBM/02_2/ IBM_FV_2004_rule_batch_02_2_SAT_dat.k50.cnf	SAT TT=0.485	SAT TT=23.126	SAT TT=0.485	SAT TT=0.821
IBM/02_2/ IBM_FV_2004_rule_batch_02_2_SAT_dat.k55.cnf	SAT TT=0.307	SAT TT=30.453	SAT TT=0.817	SAT TT=2.014
IBM/02_2/ IBM_FV_2004_rule_batch_02_2_SAT_dat.k60.cnf	SAT TT=0.337	SAT TT=25.596	SAT TT=0.863	SAT TT=1.119
IBM/02_2/ IBM_FV_2004_rule_batch_02_2_SAT_dat.k65.cnf	SAT TT=1.178	SAT TT=30.559	SAT TT=2.25	SAT TT=1.178
IBM/02_2/ IBM_FV_2004_rule_batch_02_2_SAT_dat.k70.cnf	SAT TT=0.384	SAT TT=34.897	SAT TT=1.038	SAT TT=2.081
IBM/02_2/ IBM_FV_2004_rule_batch_02_2_SAT_dat.k75.cnf	SAT TT=0.408	SAT TT=31.152	SAT TT=4.001	SAT TT=1.824
IBM/02_2/ IBM_FV_2004_rule_batch_02_2_SAT_dat.k80.cnf	SAT TT=0.382	SAT TT=36.752	SAT TT=2.896	SAT TT=2.382
IBM/02_2/ IBM_FV_2004_rule_batch_02_2_SAT_dat.k85.cnf	SAT TT=1.444	SAT TT=38.589	SAT TT=1.691	SAT TT=2.396
Bench name	Best results on this instance	built 2275_500	minisat2-core 061208	minisat2-simp 061208
IBM/02_2/ IBM_FV_2004_rule_batch_02_2_SAT_dat.k90.cnf	SAT TT=0.558	SAT TT=35.381	SAT TT=4.078	SAT TT=1.814
IBM/02_2/ IBM_FV_2004_rule_batch_02_2_SAT_dat.k95.cnf	SAT TT=1.181	SAT TT=51.438	SAT TT=1.181	SAT TT=2.171
IBM/03/ IBM_FV_2004_rule_batch_03_SAT_dat.k100.cnf	SAT TT=49.036	SAT TT=448.881	SAT TT=197.554	SAT TT=221.656
IBM/03/ IBM_FV_2004_rule_batch_03_SAT_dat.k10.cnf	UNSAT TT=0.021	UNSAT TT=0.021	UNSAT TT=0.028	UNSAT TT=0.039
IBM/03/ IBM_FV_2004_rule_batch_03_SAT_dat.k15.cnf	UNSAT TT=0.031	UNSAT TT=0.033	UNSAT TT=0.039	UNSAT TT=0.069
IBM/03/ IBM_FV_2004_rule_batch_03_SAT_dat.k20.cnf	UNSAT TT=0.041	UNSAT TT=0.045	UNSAT TT=0.05	UNSAT TT=0.093
IBM/03/ IBM_FV_2004_rule_batch_03_SAT_dat.k25.cnf	UNSAT TT=0.048	UNSAT TT=0.05	UNSAT TT=0.064	UNSAT TT=0.111
IBM/03/ IBM_FV_2004_rule_batch_03_SAT_dat.k30.cnf	UNSAT TT=0.099	UNSAT TT=0.103	UNSAT TT=0.108	UNSAT TT=0.693
IBM/03/ IBM_FV_2004_rule_batch_03_SAT_dat.k35.cnf	SAT TT=1.488	SAT TT=38.921	SAT TT=3.37	SAT TT=1.488
IBM/03/ IBM_FV_2004_rule_batch_03_SAT_dat.k40.cnf	SAT TT=2.3	SAT TT=59.38	SAT TT=2.442	SAT TT=2.3
Bench name	Best results on this instance	built 2275_500	minisat2-core 061208	minisat2-simp 061208
IBM/03/ IBM_FV_2004_rule_batch_03_SAT_dat.k45.cnf	SAT TT=3.855	SAT TT=77.068	SAT TT=3.855	SAT TT=4.429
IBM/03/ IBM_FV_2004_rule_batch_03_SAT_dat.k50.cnf	SAT TT=2.885	SAT TT=82.242	SAT TT=10.22	SAT TT=3.939
IBM/03/ IBM_FV_2004_rule_batch_03_SAT_dat.k55.cnf	SAT TT=2.022	SAT TT=121.261	SAT TT=33.957	SAT TT=13.137
IBM/03/ IBM_FV_2004_rule_batch_03_SAT_dat.k60.cnf	SAT TT=0.85	SAT TT=148.191	SAT TT=36.796	SAT TT=3.179
IBM/03/ IBM_FV_2004_rule_batch_03_SAT_dat.k65.cnf	SAT TT=7.854	SAT TT=170.18	SAT TT=22.387	SAT TT=15.759
IBM/03/ IBM_FV_2004_rule_batch_03_SAT_dat.k70.cnf	SAT TT=9.818	SAT TT=176.389	SAT TT=60.605	SAT TT=16.729
IBM/03/ IBM_FV_2004_rule_batch_03_SAT_dat.k75.cnf	SAT TT=7.598	SAT TT=209.813	SAT TT=49.977	SAT TT=43.257
IBM/03/ IBM_FV_2004_rule_batch_03_SAT_dat.k80.cnf	SAT TT=31.005	SAT TT=252.784	SAT TT=168.026	SAT TT=47.132
IBM/03/ IBM_FV_2004_rule_batch_03_SAT_dat.k85.cnf	SAT TT=3.746	SAT TT=292.995	SAT TT=179.672	SAT TT=74.182
IBM/03/ IBM_FV_2004_rule_batch_03_SAT_dat.k90.cnf	SAT TT=21.076	SAT TT=294.107	SAT TT=65.732	SAT TT=45.359
Bench name	Best results on this instance	built 2275_500	minisat2-core 061208	minisat2-simp 061208
IBM/03/ IBM_FV_2004_rule_batch_03_SAT_dat.k95.cnf	SAT TT=28.521	SAT TT=364.303	SAT TT=212.9	SAT TT=47.126
IBM/04/ IBM_FV_2004_rule_batch_04_SAT_dat.k100.cnf	SAT TT=129.385	SAT TT=633.287	SAT TT=838.937	SAT TT=201.633
IBM/04/ IBM_FV_2004_rule_batch_04_SAT_dat.k10.cnf	UNSAT TT=0.023	UNSAT TT=0.023	UNSAT TT=0.023	UNSAT TT=0.034
IBM/04/ IBM_FV_2004_rule_batch_04_SAT_dat.k15.cnf	UNSAT TT=0.047	UNSAT TT=0.058	UNSAT TT=0.047	UNSAT TT=0.15
IBM/04/ IBM_FV_2004_rule_batch_04_SAT_dat.k20.cnf	UNSAT TT=0.11	UNSAT TT=14.834	UNSAT TT=0.11	UNSAT TT=0.316
IBM/04/ IBM_FV_2004_rule_batch_04_SAT_dat.k25.cnf	SAT TT=0.857	SAT TT=44.411	SAT TT=0.994	SAT TT=0.93
IBM/04/ IBM_FV_2004_rule_batch_04_SAT_dat.k30.cnf	SAT TT=1.079	SAT TT=109.155	SAT TT=2.657	SAT TT=1.079
IBM/04/ IBM_FV_2004_rule_batch_04_SAT_dat.k35.cnf	SAT TT=1.706	SAT TT=192.372	SAT TT=5.148	SAT TT=1.706
IBM/04/ IBM_FV_2004_rule_batch_04_SAT_dat.k40.cnf	SAT TT=2.58	SAT TT=227.162	SAT TT=8.435	SAT TT=3.263
IBM/04/ IBM_FV_2004_rule_batch_04_SAT_dat.k45.cnf	SAT TT=6.391	SAT TT=271.299	SAT TT=16.751	SAT TT=7.575
Bench name	Best results on this instance	built 2275_500	minisat2-core 061208	minisat2-simp 061208
IBM/04/ IBM_FV_2004_rule_batch_04_SAT_dat.k50.cnf	SAT TT=5.652	SAT TT=411.835	SAT TT=25.292	SAT TT=13.595
IBM/04/ IBM_FV_2004_rule_batch_04_SAT_dat.k55.cnf	SAT TT=13.85	SAT TT=505.964	SAT TT=58.316	SAT TT=14.546
IBM/04/ IBM_FV_2004_rule_batch_04_SAT_dat.k60.cnf	SAT TT=8.182	SAT TT=510.033	SAT TT=110.72	SAT TT=15.713
IBM/04/ IBM_FV_2004_rule_batch_04_SAT_dat.k65.cnf	SAT TT=29.606	SAT TT=521.11	SAT TT=145.386	SAT TT=38.852
IBM/04/ IBM_FV_2004_rule_batch_04_SAT_dat.k70.cnf	SAT TT=45.497	SAT TT=514.052	SAT TT=210.633	SAT TT=61.101
IBM/04/ IBM_FV_2004_rule_batch_04_SAT_dat.k75.cnf	SAT TT=40.465	SAT TT=532.033	SAT TT=307.013	SAT TT=58.251
IBM/04/ IBM_FV_2004_rule_batch_04_SAT_dat.k80.cnf	SAT TT=38.178	SAT TT=577.894	SAT TT=469.434	SAT TT=70.061
IBM/04/ IBM_FV_2004_rule_batch_04_SAT_dat.k85.cnf	SAT TT=49.31	SAT TT=632.252	SAT TT=589.946	SAT TT=138.685
IBM/04/ IBM_FV_2004_rule_batch_04_SAT_dat.k90.cnf	SAT TT=92.912	SAT TT=752.251	SAT TT=654.552	SAT TT=92.912
IBM/04/ IBM_FV_2004_rule_batch_04_SAT_dat.k95.cnf	SAT TT=123.739	SAT TT=617.143	SAT TT=778.723	SAT TT=123.739
Bench name	Best results on this instance	built 2275_500	minisat2-core 061208	minisat2-simp 061208
IBM/05/ IBM_FV_2004_rule_batch_05_SAT_dat.k100.cnf	SAT TT=21.565	SAT TT=520.506	SAT TT=129.34	SAT TT=42.944
IBM/05/ IBM_FV_2004_rule_batch_05_SAT_dat.k10.cnf	UNSAT TT=0.066	UNSAT TT=0.259	UNSAT TT=0.066	UNSAT TT=0.184
IBM/05/ IBM_FV_2004_rule_batch_05_SAT_dat.k15.cnf	UNSAT TT=0.148	UNSAT TT=0.405	UNSAT TT=0.148	UNSAT TT=0.397
IBM/05/ IBM_FV_2004_rule_batch_05_SAT_dat.k20.cnf	UNSAT TT=0.275	UNSAT TT=0.908	UNSAT TT=0.275	UNSAT TT=0.719
IBM/05/ IBM_FV_2004_rule_batch_05_SAT_dat.k25.cnf	UNSAT TT=0.6	UNSAT TT=1.303	UNSAT TT=0.6	UNSAT TT=1.34
IBM/05/ IBM_FV_2004_rule_batch_05_SAT_dat.k30.cnf	UNSAT TT=0.583	UNSAT TT=9.037	UNSAT TT=0.583	UNSAT TT=1.772
IBM/05/ IBM_FV_2004_rule_batch_05_SAT_dat.k35.cnf	SAT TT=2.961	SAT TT=373.246	SAT TT=6.746	SAT TT=2.961
IBM/05/ IBM_FV_2004_rule_batch_05_SAT_dat.k40.cnf	SAT TT=3.63	SAT TT=231.101	SAT TT=10.563	SAT TT=3.63
IBM/05/ IBM_FV_2004_rule_batch_05_SAT_dat.k45.cnf	SAT TT=4.486	SAT TT=478.476	SAT TT=12.527	SAT TT=5.218
IBM/05/ IBM_FV_2004_rule_batch_05_SAT_dat.k50.cnf	SAT TT=5.41	SAT TT=499.066	SAT TT=21.455	SAT TT=6.114
Bench name	Best results on this instance	built 2275_500	minisat2-core 061208	minisat2-simp 061208
IBM/05/ IBM_FV_2004_rule_batch_05_SAT_dat.k55.cnf	SAT TT=5.765	SAT TT=499.796	SAT TT=24.801	SAT TT=6.477
IBM/05/ IBM_FV_2004_rule_batch_05_SAT_dat.k60.cnf	SAT TT=7.473	SAT TT=501.152	SAT TT=22.335	SAT TT=7.473
IBM/05/ IBM_FV_2004_rule_batch_05_SAT_dat.k65.cnf	SAT TT=8.116	SAT TT=503.146	SAT TT=21.554	SAT TT=9.404
IBM/05/ IBM_FV_2004_rule_batch_05_SAT_dat.k70.cnf	SAT TT=9.042	SAT TT=502.454	SAT TT=112.207	SAT TT=11.48
IBM/05/ IBM_FV_2004_rule_batch_05_SAT_dat.k75.cnf	SAT TT=9.657	SAT TT=506.434	SAT TT=49.762	SAT TT=13.573
IBM/05/ IBM_FV_2004_rule_batch_05_SAT_dat.k80.cnf	SAT TT=11.072	SAT TT=505.524	SAT TT=96.355	SAT TT=24.3
IBM/05/ IBM_FV_2004_rule_batch_05_SAT_dat.k85.cnf	SAT TT=11.784	SAT TT=508.81	SAT TT=42.402	SAT TT=17.835
IBM/05/ IBM_FV_2004_rule_batch_05_SAT_dat.k90.cnf	SAT TT=13.268	SAT TT=512.508	SAT TT=67.601	SAT TT=25.397
IBM/05/ IBM_FV_2004_rule_batch_05_SAT_dat.k95.cnf	SAT TT=15.408	SAT TT=513.599	SAT TT=75.186	SAT TT=24.734
IBM/06/ IBM_FV_2004_rule_batch_06_SAT_dat.k100.cnf	SAT TT=44.035	SAT TT=522.845	SAT TT=130.352	SAT TT=102.748
Bench name	Best results on this instance	built 2275_500	minisat2-core 061208	minisat2-simp 061208
IBM/06/ IBM_FV_2004_rule_batch_06_SAT_dat.k10.cnf	UNSAT TT=0.028	UNSAT TT=0.029	UNSAT TT=0.037	UNSAT TT=0.056
IBM/06/ IBM_FV_2004_rule_batch_06_SAT_dat.k15.cnf	UNSAT TT=0.051	UNSAT TT=0.051	UNSAT TT=0.082	UNSAT TT=0.417
IBM/06/ IBM_FV_2004_rule_batch_06_SAT_dat.k20.cnf	UNSAT TT=0.309	UNSAT TT=3.521	UNSAT TT=0.32	UNSAT TT=0.718
IBM/06/ IBM_FV_2004_rule_batch_06_SAT_dat.k25.cnf	UNSAT TT=0.738	UNSAT TT=75.455	UNSAT TT=0.738	UNSAT TT=1.24
IBM/06/ IBM_FV_2004_rule_batch_06_SAT_dat.k30.cnf	UNSAT TT=3.185	UNSAT TT=132.084	UNSAT TT=4.549	UNSAT TT=3.185
IBM/06/ IBM_FV_2004_rule_batch_06_SAT_dat.k35.cnf	SAT TT=2.583	SAT TT=176.785	SAT TT=8.006	SAT TT=2.583
IBM/06/ IBM_FV_2004_rule_batch_06_SAT_dat.k40.cnf	SAT TT=2.538	SAT TT=222.268	SAT TT=2.947	SAT TT=6.118
IBM/06/ IBM_FV_2004_rule_batch_06_SAT_dat.k45.cnf	SAT TT=3.244	SAT TT=271.258	SAT TT=6.915	SAT TT=3.244
IBM/06/ IBM_FV_2004_rule_batch_06_SAT_dat.k50.cnf	SAT TT=5.479	SAT TT=298.884	SAT TT=5.691	SAT TT=5.479
IBM/06/ IBM_FV_2004_rule_batch_06_SAT_dat.k55.cnf	SAT TT=7.4	SAT TT=395.542	SAT TT=14.964	SAT TT=7.4
Bench name	Best results on this instance	built 2275_500	minisat2-core 061208	minisat2-simp 061208
IBM/06/ IBM_FV_2004_rule_batch_06_SAT_dat.k60.cnf	SAT TT=4.596	SAT TT=448.567	SAT TT=4.596	SAT TT=10.448
IBM/06/ IBM_FV_2004_rule_batch_06_SAT_dat.k65.cnf	SAT TT=9.04	SAT TT=483.937	SAT TT=23.686	SAT TT=13.932
IBM/06/ IBM_FV_2004_rule_batch_06_SAT_dat.k70.cnf	SAT TT=8.985	SAT TT=504.853	SAT TT=13.295	SAT TT=8.985
IBM/06/ IBM_FV_2004_rule_batch_06_SAT_dat.k75.cnf	SAT TT=17.729	SAT TT=516.604	SAT TT=37.335	SAT TT=26.952
IBM/06/ IBM_FV_2004_rule_batch_06_SAT_dat.k80.cnf	SAT TT=12.931	SAT TT=513.269	SAT TT=53.185	SAT TT=18.733
IBM/06/ IBM_FV_2004_rule_batch_06_SAT_dat.k85.cnf	SAT TT=9.819	SAT TT=521.689	SAT TT=94.324	SAT TT=9.819
IBM/06/ IBM_FV_2004_rule_batch_06_SAT_dat.k90.cnf	SAT TT=9.896	SAT TT=507.52	SAT TT=117.024	SAT TT=60.208
IBM/06/ IBM_FV_2004_rule_batch_06_SAT_dat.k95.cnf	SAT TT=31.123	SAT TT=522.816	SAT TT=156.826	SAT TT=34.966
IBM/07/ IBM_FV_2004_rule_batch_07_SAT_dat.k100.cnf	UNSAT TT=1.828	UNSAT TT=2.83	UNSAT TT=34.084	UNSAT TT=3.442
IBM/07/ IBM_FV_2004_rule_batch_07_SAT_dat.k10.cnf	UNSAT TT=3.631	UNSAT TT=29.767	? (TO) TT=1200.02	UNSAT TT=93.706
Bench name	Best results on this instance	built 2275_500	minisat2-core 061208	minisat2-simp 061208
IBM/07/ IBM_FV_2004_rule_batch_07_SAT_dat.k15.cnf	UNSAT TT=1.286	UNSAT TT=1.921	UNSAT TT=1009.81	UNSAT TT=2.242
IBM/07/ IBM_FV_2004_rule_batch_07_SAT_dat.k20.cnf	UNSAT TT=1.712	UNSAT TT=2.16	UNSAT TT=776.916	UNSAT TT=1.819
IBM/07/ IBM_FV_2004_rule_batch_07_SAT_dat.k25.cnf	UNSAT TT=1.281	UNSAT TT=1.333	UNSAT TT=40.051	UNSAT TT=1.597
IBM/07/ IBM_FV_2004_rule_batch_07_SAT_dat.k30.cnf	UNSAT TT=1.722	UNSAT TT=2.049	UNSAT TT=8.187	UNSAT TT=2.034
IBM/07/ IBM_FV_2004_rule_batch_07_SAT_dat.k35.cnf	UNSAT TT=1.07	UNSAT TT=5.991	UNSAT TT=6.182	UNSAT TT=2.84
IBM/07/ IBM_FV_2004_rule_batch_07_SAT_dat.k40.cnf	UNSAT TT=1.558	UNSAT TT=2.752	UNSAT TT=12.104	UNSAT TT=3.256
IBM/07/ IBM_FV_2004_rule_batch_07_SAT_dat.k45.cnf	UNSAT TT=1.556	UNSAT TT=2.458	UNSAT TT=602.503	UNSAT TT=1.556
IBM/07/ IBM_FV_2004_rule_batch_07_SAT_dat.k50.cnf	UNSAT TT=1.759	UNSAT TT=2.59	UNSAT TT=125.657	UNSAT TT=2.491
IBM/07/ IBM_FV_2004_rule_batch_07_SAT_dat.k55.cnf	UNSAT TT=1.543	UNSAT TT=2.51	UNSAT TT=14.409	UNSAT TT=1.829
IBM/07/ IBM_FV_2004_rule_batch_07_SAT_dat.k60.cnf	UNSAT TT=1.659	UNSAT TT=2.523	UNSAT TT=5.83	UNSAT TT=1.659
Bench name	Best results on this instance	built 2275_500	minisat2-core 061208	minisat2-simp 061208
IBM/07/ IBM_FV_2004_rule_batch_07_SAT_dat.k65.cnf	UNSAT TT=1.787	UNSAT TT=2.363	UNSAT TT=3.093	UNSAT TT=2.138
IBM/07/ IBM_FV_2004_rule_batch_07_SAT_dat.k70.cnf	UNSAT TT=1.806	UNSAT TT=2.302	UNSAT TT=5.735	UNSAT TT=2.232
IBM/07/ IBM_FV_2004_rule_batch_07_SAT_dat.k75.cnf	UNSAT TT=1.698	UNSAT TT=2.918	UNSAT TT=525.203	UNSAT TT=2.6
IBM/07/ IBM_FV_2004_rule_batch_07_SAT_dat.k80.cnf	UNSAT TT=1.8	UNSAT TT=2.259	UNSAT TT=36.648	UNSAT TT=2.473
IBM/07/ IBM_FV_2004_rule_batch_07_SAT_dat.k85.cnf	UNSAT TT=1.799	UNSAT TT=3.42	UNSAT TT=15.312	UNSAT TT=2.597
IBM/07/ IBM_FV_2004_rule_batch_07_SAT_dat.k90.cnf	UNSAT TT=1.823	UNSAT TT=2.824	UNSAT TT=3.795	UNSAT TT=2.518
IBM/07/ IBM_FV_2004_rule_batch_07_SAT_dat.k95.cnf	UNSAT TT=1.845	UNSAT TT=3.971	UNSAT TT=4.125	UNSAT TT=2.539
IBM/09/ IBM_FV_2004_rule_batch_09_SAT_dat.k100.cnf	UNSAT TT=0.231	UNSAT TT=161.573	UNSAT TT=0.231	UNSAT TT=1.854
IBM/09/ IBM_FV_2004_rule_batch_09_SAT_dat.k10.cnf	UNSAT TT=0.023	UNSAT TT=0.271	UNSAT TT=0.023	UNSAT TT=0.063
IBM/09/ IBM_FV_2004_rule_batch_09_SAT_dat.k15.cnf	UNSAT TT=0.032	UNSAT TT=1.839	UNSAT TT=0.032	UNSAT TT=0.158
Bench name	Best results on this instance	built 2275_500	minisat2-core 061208	minisat2-simp 061208
IBM/09/ IBM_FV_2004_rule_batch_09_SAT_dat.k20.cnf	UNSAT TT=0.045	UNSAT TT=5.575	UNSAT TT=0.045	UNSAT TT=0.242
IBM/09/ IBM_FV_2004_rule_batch_09_SAT_dat.k25.cnf	UNSAT TT=0.059	UNSAT TT=12.215	UNSAT TT=0.059	UNSAT TT=0.314
IBM/09/ IBM_FV_2004_rule_batch_09_SAT_dat.k30.cnf	UNSAT TT=0.072	UNSAT TT=14.974	UNSAT TT=0.072	UNSAT TT=0.441
IBM/09/ IBM_FV_2004_rule_batch_09_SAT_dat.k35.cnf	UNSAT TT=0.085	UNSAT TT=18.681	UNSAT TT=0.085	UNSAT TT=0.507
IBM/09/ IBM_FV_2004_rule_batch_09_SAT_dat.k40.cnf	UNSAT TT=0.098	UNSAT TT=31.424	UNSAT TT=0.098	UNSAT TT=0.617
IBM/09/ IBM_FV_2004_rule_batch_09_SAT_dat.k45.cnf	UNSAT TT=0.104	UNSAT TT=38.842	UNSAT TT=0.104	UNSAT TT=0.532
IBM/09/ IBM_FV_2004_rule_batch_09_SAT_dat.k50.cnf	UNSAT TT=0.118	UNSAT TT=46.964	UNSAT TT=0.118	UNSAT TT=0.75
IBM/09/ IBM_FV_2004_rule_batch_09_SAT_dat.k55.cnf	UNSAT TT=0.126	UNSAT TT=47.117	UNSAT TT=0.126	UNSAT TT=0.65
IBM/09/ IBM_FV_2004_rule_batch_09_SAT_dat.k60.cnf	UNSAT TT=0.146	UNSAT TT=74.919	UNSAT TT=0.146	UNSAT TT=1.008
IBM/09/ IBM_FV_2004_rule_batch_09_SAT_dat.k65.cnf	UNSAT TT=0.154	UNSAT TT=82.53	UNSAT TT=0.154	UNSAT TT=0.968
Bench name	Best results on this instance	built 2275_500	minisat2-core 061208	minisat2-simp 061208
IBM/09/ IBM_FV_2004_rule_batch_09_SAT_dat.k70.cnf	UNSAT TT=0.16	UNSAT TT=95.107	UNSAT TT=0.16	UNSAT TT=0.91
IBM/09/ IBM_FV_2004_rule_batch_09_SAT_dat.k75.cnf	UNSAT TT=0.176	UNSAT TT=93.497	UNSAT TT=0.176	UNSAT TT=1.274
IBM/09/ IBM_FV_2004_rule_batch_09_SAT_dat.k80.cnf	UNSAT TT=0.196	UNSAT TT=115.865	UNSAT TT=0.196	UNSAT TT=0.969
IBM/09/ IBM_FV_2004_rule_batch_09_SAT_dat.k85.cnf	UNSAT TT=0.183	UNSAT TT=116.046	UNSAT TT=0.183	UNSAT TT=1.033
IBM/09/ IBM_FV_2004_rule_batch_09_SAT_dat.k90.cnf	UNSAT TT=0.217	UNSAT TT=113.716	UNSAT TT=0.217	UNSAT TT=1.616
IBM/09/ IBM_FV_2004_rule_batch_09_SAT_dat.k95.cnf	UNSAT TT=0.228	UNSAT TT=127.148	UNSAT TT=0.228	UNSAT TT=1.613
IBM/10/ IBM_FV_2004_rule_batch_10_SAT_dat.k100.cnf	UNSAT TT=1.569	UNSAT TT=508.345	UNSAT TT=1.569	UNSAT TT=12.062
IBM/10/ IBM_FV_2004_rule_batch_10_SAT_dat.k10.cnf	UNSAT TT=0.048	UNSAT TT=0.048	UNSAT TT=0.06	UNSAT TT=0.108
IBM/10/ IBM_FV_2004_rule_batch_10_SAT_dat.k15.cnf	UNSAT TT=0.157	UNSAT TT=2.038	UNSAT TT=0.157	UNSAT TT=1.095
IBM/10/ IBM_FV_2004_rule_batch_10_SAT_dat.k20.cnf	UNSAT TT=0.543	UNSAT TT=183.281	UNSAT TT=0.543	UNSAT TT=1.855
Bench name	Best results on this instance	built 2275_500	minisat2-core 061208	minisat2-simp 061208
IBM/10/ IBM_FV_2004_rule_batch_10_SAT_dat.k25.cnf	UNSAT TT=0.505	UNSAT TT=285.745	UNSAT TT=0.505	UNSAT TT=2.602
IBM/10/ IBM_FV_2004_rule_batch_10_SAT_dat.k30.cnf	UNSAT TT=0.555	UNSAT TT=380.02	UNSAT TT=0.555	UNSAT TT=3.675
IBM/10/ IBM_FV_2004_rule_batch_10_SAT_dat.k35.cnf	UNSAT TT=0.584	UNSAT TT=453.347	UNSAT TT=0.584	UNSAT TT=4.19
IBM/10/ IBM_FV_2004_rule_batch_10_SAT_dat.k40.cnf	UNSAT TT=0.733	UNSAT TT=501.513	UNSAT TT=0.733	UNSAT TT=4.74
IBM/10/ IBM_FV_2004_rule_batch_10_SAT_dat.k45.cnf	UNSAT TT=0.684	UNSAT TT=504.153	UNSAT TT=0.684	UNSAT TT=6.379
IBM/10/ IBM_FV_2004_rule_batch_10_SAT_dat.k50.cnf	UNSAT TT=1.163	UNSAT TT=502.428	UNSAT TT=1.394	UNSAT TT=6.119
IBM/10/ IBM_FV_2004_rule_batch_10_SAT_dat.k55.cnf	UNSAT TT=1.443	UNSAT TT=503.052	UNSAT TT=1.66	UNSAT TT=7.095
IBM/10/ IBM_FV_2004_rule_batch_10_SAT_dat.k60.cnf	UNSAT TT=1.748	UNSAT TT=503.933	UNSAT TT=1.748	UNSAT TT=7.998
IBM/10/ IBM_FV_2004_rule_batch_10_SAT_dat.k65.cnf	UNSAT TT=1.855	UNSAT TT=507.653	UNSAT TT=1.855	UNSAT TT=8.685
IBM/10/ IBM_FV_2004_rule_batch_10_SAT_dat.k70.cnf	UNSAT TT=1.969	UNSAT TT=503.838	UNSAT TT=1.969	UNSAT TT=10.39
Bench name	Best results on this instance	built 2275_500	minisat2-core 061208	minisat2-simp 061208
IBM/10/ IBM_FV_2004_rule_batch_10_SAT_dat.k75.cnf	UNSAT TT=1.382	UNSAT TT=503.065	UNSAT TT=1.382	UNSAT TT=10.976
IBM/10/ IBM_FV_2004_rule_batch_10_SAT_dat.k80.cnf	UNSAT TT=2.146	UNSAT TT=506.85	UNSAT TT=2.146	UNSAT TT=11.121
IBM/10/ IBM_FV_2004_rule_batch_10_SAT_dat.k85.cnf	UNSAT TT=1.657	UNSAT TT=507.466	UNSAT TT=1.657	UNSAT TT=10.733
IBM/10/ IBM_FV_2004_rule_batch_10_SAT_dat.k90.cnf	UNSAT TT=1.41	UNSAT TT=510.475	UNSAT TT=1.41	UNSAT TT=13.205
IBM/10/ IBM_FV_2004_rule_batch_10_SAT_dat.k95.cnf	UNSAT TT=1.406	UNSAT TT=508.845	UNSAT TT=1.406	UNSAT TT=11.292
IBM/1_11/ IBM_FV_2004_rule_batch_1_11_SAT_dat.k100.cnf	SAT TT=1062.85	? (TO) TT=1200.09	? (TO) TT=1200.14	SAT TT=1062.85
IBM/1_11/ IBM_FV_2004_rule_batch_1_11_SAT_dat.k10.cnf	UNSAT TT=0.186	UNSAT TT=5.728	UNSAT TT=0.186	UNSAT TT=0.695
IBM/1_11/ IBM_FV_2004_rule_batch_1_11_SAT_dat.k15.cnf	UNSAT TT=0.667	UNSAT TT=95.773	UNSAT TT=0.675	UNSAT TT=1.382
IBM/1_11/ IBM_FV_2004_rule_batch_1_11_SAT_dat.k20.cnf	UNSAT TT=0.968	UNSAT TT=207.623	UNSAT TT=0.968	UNSAT TT=2.818
IBM/1_11/ IBM_FV_2004_rule_batch_1_11_SAT_dat.k25.cnf	UNSAT TT=5.862	UNSAT TT=315.332	UNSAT TT=10.555	UNSAT TT=5.862
Bench name	Best results on this instance	built 2275_500	minisat2-core 061208	minisat2-simp 061208
IBM/1_11/ IBM_FV_2004_rule_batch_1_11_SAT_dat.k30.cnf	UNSAT TT=16.835	UNSAT TT=510.096	UNSAT TT=30.373	UNSAT TT=16.835
IBM/1_11/ IBM_FV_2004_rule_batch_1_11_SAT_dat.k35.cnf	SAT TT=22.496	SAT TT=525.037	SAT TT=81.41	SAT TT=50.775
IBM/1_11/ IBM_FV_2004_rule_batch_1_11_SAT_dat.k40.cnf	SAT TT=34.07	SAT TT=522.952	SAT TT=101.563	SAT TT=34.07
IBM/1_11/ IBM_FV_2004_rule_batch_1_11_SAT_dat.k45.cnf	SAT TT=54.096	SAT TT=534.153	SAT TT=147.314	SAT TT=54.096
IBM/1_11/ IBM_FV_2004_rule_batch_1_11_SAT_dat.k50.cnf	SAT TT=54.425	SAT TT=555.807	SAT TT=204.991	SAT TT=98.815
IBM/1_11/ IBM_FV_2004_rule_batch_1_11_SAT_dat.k55.cnf	SAT TT=114.334	SAT TT=647.372	SAT TT=442.447	SAT TT=125.994
IBM/1_11/ IBM_FV_2004_rule_batch_1_11_SAT_dat.k60.cnf	SAT TT=140.326	SAT TT=589.007	SAT TT=533.636	SAT TT=140.326
IBM/1_11/ IBM_FV_2004_rule_batch_1_11_SAT_dat.k65.cnf	SAT TT=175.787	SAT TT=587.286	? (TO) TT=1200.06	SAT TT=175.787
IBM/1_11/ IBM_FV_2004_rule_batch_1_11_SAT_dat.k70.cnf	SAT TT=185.783	SAT TT=615.767	? (TO) TT=1200.06	SAT TT=185.783
IBM/1_11/ IBM_FV_2004_rule_batch_1_11_SAT_dat.k75.cnf	SAT TT=225.608	SAT TT=646.397	? (TO) TT=1200.13	SAT TT=225.608
Bench name	Best results on this instance	built 2275_500	minisat2-core 061208	minisat2-simp 061208
IBM/1_11/ IBM_FV_2004_rule_batch_1_11_SAT_dat.k80.cnf	SAT TT=141.574	SAT TT=685.942	? (TO) TT=1200.06	SAT TT=141.574
IBM/1_11/ IBM_FV_2004_rule_batch_1_11_SAT_dat.k85.cnf	SAT TT=287.944	SAT TT=754.174	? (TO) TT=1200.09	SAT TT=287.944
IBM/1_11/ IBM_FV_2004_rule_batch_1_11_SAT_dat.k90.cnf	SAT TT=386.849	SAT TT=1096.7	? (TO) TT=1200.09	SAT TT=386.849
IBM/1_11/ IBM_FV_2004_rule_batch_1_11_SAT_dat.k95.cnf	SAT TT=481.377	SAT TT=1113.69	? (TO) TT=1200.1	SAT TT=481.377
IBM/12/ IBM_FV_2004_rule_batch_12_SAT_dat.k100.cnf	UNSAT TT=0.002	UNSAT TT=0.005	UNSAT TT=0.005	UNSAT TT=0.004
IBM/12/ IBM_FV_2004_rule_batch_12_SAT_dat.k10.cnf	UNSAT TT=0.002	UNSAT TT=0.005	UNSAT TT=0.005	UNSAT TT=0.003
IBM/12/ IBM_FV_2004_rule_batch_12_SAT_dat.k15.cnf	UNSAT TT=0	UNSAT TT=0.006	UNSAT TT=0.005	UNSAT TT=0.004
IBM/12/ IBM_FV_2004_rule_batch_12_SAT_dat.k20.cnf	UNSAT TT=0.003	UNSAT TT=0.004	UNSAT TT=0.003	UNSAT TT=0.003
IBM/12/ IBM_FV_2004_rule_batch_12_SAT_dat.k25.cnf	UNSAT TT=0.003	UNSAT TT=0.008	UNSAT TT=0.003	UNSAT TT=0.005
IBM/12/ IBM_FV_2004_rule_batch_12_SAT_dat.k30.cnf	UNSAT TT=0.003	UNSAT TT=0.005	UNSAT TT=0.003	UNSAT TT=0.005
Bench name	Best results on this instance	built 2275_500	minisat2-core 061208	minisat2-simp 061208
IBM/12/ IBM_FV_2004_rule_batch_12_SAT_dat.k35.cnf	UNSAT TT=0.003	UNSAT TT=0.004	UNSAT TT=0.005	UNSAT TT=0.003
IBM/12/ IBM_FV_2004_rule_batch_12_SAT_dat.k40.cnf	UNSAT TT=0.003	UNSAT TT=0.006	UNSAT TT=0.003	UNSAT TT=0.003
IBM/12/ IBM_FV_2004_rule_batch_12_SAT_dat.k45.cnf	UNSAT TT=0.003	UNSAT TT=0.005	UNSAT TT=0.003	UNSAT TT=0.005
IBM/12/ IBM_FV_2004_rule_batch_12_SAT_dat.k50.cnf	UNSAT TT=0.003	UNSAT TT=0.005	UNSAT TT=0.004	UNSAT TT=0.003
IBM/12/ IBM_FV_2004_rule_batch_12_SAT_dat.k55.cnf	UNSAT TT=0.002	UNSAT TT=0.007	UNSAT TT=0.003	UNSAT TT=0.005
IBM/12/ IBM_FV_2004_rule_batch_12_SAT_dat.k60.cnf	UNSAT TT=0.003	UNSAT TT=0.007	UNSAT TT=0.003	UNSAT TT=0.004
IBM/12/ IBM_FV_2004_rule_batch_12_SAT_dat.k65.cnf	UNSAT TT=0.003	UNSAT TT=0.006	UNSAT TT=0.003	UNSAT TT=0.003
IBM/12/ IBM_FV_2004_rule_batch_12_SAT_dat.k70.cnf	UNSAT TT=0	UNSAT TT=0.005	UNSAT TT=0.004	UNSAT TT=0.003
IBM/12/ IBM_FV_2004_rule_batch_12_SAT_dat.k75.cnf	UNSAT TT=0.003	UNSAT TT=0.008	UNSAT TT=0.003	UNSAT TT=0.003
IBM/12/ IBM_FV_2004_rule_batch_12_SAT_dat.k80.cnf	UNSAT TT=0.002	UNSAT TT=0.007	UNSAT TT=0.005	UNSAT TT=0.004
Bench name	Best results on this instance	built 2275_500	minisat2-core 061208	minisat2-simp 061208
IBM/12/ IBM_FV_2004_rule_batch_12_SAT_dat.k85.cnf	UNSAT TT=0	UNSAT TT=0.007	UNSAT TT=0.005	UNSAT TT=0.003
IBM/12/ IBM_FV_2004_rule_batch_12_SAT_dat.k90.cnf	UNSAT TT=0.003	UNSAT TT=0.006	UNSAT TT=0.003	UNSAT TT=0.004
IBM/12/ IBM_FV_2004_rule_batch_12_SAT_dat.k95.cnf	UNSAT TT=0.003	UNSAT TT=0.005	UNSAT TT=0.004	UNSAT TT=0.003
IBM/15/ IBM_FV_2004_rule_batch_15_SAT_dat.k100.cnf	UNSAT TT=0.741	UNSAT TT=0.794	UNSAT TT=0.807	UNSAT TT=10.116
IBM/15/ IBM_FV_2004_rule_batch_15_SAT_dat.k10.cnf	SAT TT=0.166	SAT TT=18.973	SAT TT=0.166	SAT TT=0.477
IBM/15/ IBM_FV_2004_rule_batch_15_SAT_dat.k15.cnf	UNSAT TT=0.095	UNSAT TT=0.099	UNSAT TT=0.135	UNSAT TT=1.033
IBM/15/ IBM_FV_2004_rule_batch_15_SAT_dat.k20.cnf	UNSAT TT=0.127	UNSAT TT=0.133	UNSAT TT=0.181	UNSAT TT=1.547
IBM/15/ IBM_FV_2004_rule_batch_15_SAT_dat.k25.cnf	UNSAT TT=0.16	UNSAT TT=0.174	UNSAT TT=0.188	UNSAT TT=1.826
IBM/15/ IBM_FV_2004_rule_batch_15_SAT_dat.k30.cnf	UNSAT TT=0.202	UNSAT TT=0.206	UNSAT TT=0.249	UNSAT TT=2.406
IBM/15/ IBM_FV_2004_rule_batch_15_SAT_dat.k35.cnf	UNSAT TT=0.228	UNSAT TT=0.244	UNSAT TT=0.469	UNSAT TT=2.904
Bench name	Best results on this instance	built 2275_500	minisat2-core 061208	minisat2-simp 061208
IBM/15/ IBM_FV_2004_rule_batch_15_SAT_dat.k40.cnf	UNSAT TT=0.28	UNSAT TT=0.291	UNSAT TT=0.291	UNSAT TT=3.295
IBM/15/ IBM_FV_2004_rule_batch_15_SAT_dat.k45.cnf	UNSAT TT=0.309	UNSAT TT=0.325	UNSAT TT=0.375	UNSAT TT=4.293
IBM/15/ IBM_FV_2004_rule_batch_15_SAT_dat.k50.cnf	UNSAT TT=0.341	UNSAT TT=0.37	UNSAT TT=0.37	UNSAT TT=4.906
IBM/15/ IBM_FV_2004_rule_batch_15_SAT_dat.k55.cnf	UNSAT TT=0.401	UNSAT TT=0.404	UNSAT TT=0.478	UNSAT TT=5.614
IBM/15/ IBM_FV_2004_rule_batch_15_SAT_dat.k60.cnf	UNSAT TT=0.422	UNSAT TT=0.433	UNSAT TT=0.551	UNSAT TT=5.335
IBM/15/ IBM_FV_2004_rule_batch_15_SAT_dat.k65.cnf	UNSAT TT=0.459	UNSAT TT=0.503	UNSAT TT=0.524	UNSAT TT=5.885
IBM/15/ IBM_FV_2004_rule_batch_15_SAT_dat.k70.cnf	UNSAT TT=0.5	UNSAT TT=0.528	UNSAT TT=5.904	UNSAT TT=7.627
IBM/15/ IBM_FV_2004_rule_batch_15_SAT_dat.k75.cnf	UNSAT TT=0.551	UNSAT TT=0.573	UNSAT TT=0.576	UNSAT TT=6.99
IBM/15/ IBM_FV_2004_rule_batch_15_SAT_dat.k80.cnf	UNSAT TT=0.585	UNSAT TT=0.625	UNSAT TT=0.613	UNSAT TT=8.545
IBM/15/ IBM_FV_2004_rule_batch_15_SAT_dat.k85.cnf	UNSAT TT=0.658	UNSAT TT=0.672	UNSAT TT=0.694	UNSAT TT=9.051
Bench name	Best results on this instance	built 2275_500	minisat2-core 061208	minisat2-simp 061208
IBM/15/ IBM_FV_2004_rule_batch_15_SAT_dat.k90.cnf	UNSAT TT=0.697	UNSAT TT=0.732	UNSAT TT=1.199	UNSAT TT=9.91
IBM/15/ IBM_FV_2004_rule_batch_15_SAT_dat.k95.cnf	UNSAT TT=0.692	UNSAT TT=0.774	UNSAT TT=0.807	UNSAT TT=9.523
IBM/16_1/ IBM_FV_2004_rule_batch_16_1_SAT_dat.k100.cnf	UNSAT TT=2.715	UNSAT TT=114.746	UNSAT TT=17.099	UNSAT TT=2.715
IBM/16_1/ IBM_FV_2004_rule_batch_16_1_SAT_dat.k10.cnf	UNSAT TT=0.024	UNSAT TT=1.029	UNSAT TT=0.024	UNSAT TT=0.074
IBM/16_1/ IBM_FV_2004_rule_batch_16_1_SAT_dat.k15.cnf	UNSAT TT=0.049	UNSAT TT=2.705	UNSAT TT=0.049	UNSAT TT=0.135
IBM/16_1/ IBM_FV_2004_rule_batch_16_1_SAT_dat.k20.cnf	UNSAT TT=0.091	UNSAT TT=4.434	UNSAT TT=0.119	UNSAT TT=0.22
IBM/16_1/ IBM_FV_2004_rule_batch_16_1_SAT_dat.k25.cnf	UNSAT TT=0.189	UNSAT TT=5.943	UNSAT TT=0.189	UNSAT TT=0.362
IBM/16_1/ IBM_FV_2004_rule_batch_16_1_SAT_dat.k30.cnf	UNSAT TT=0.236	UNSAT TT=9.527	UNSAT TT=0.236	UNSAT TT=0.408
IBM/16_1/ IBM_FV_2004_rule_batch_16_1_SAT_dat.k35.cnf	UNSAT TT=0.377	UNSAT TT=14.244	UNSAT TT=0.377	UNSAT TT=0.514
IBM/16_1/ IBM_FV_2004_rule_batch_16_1_SAT_dat.k40.cnf	UNSAT TT=0.43	UNSAT TT=18.209	UNSAT TT=0.747	UNSAT TT=0.77
Bench name	Best results on this instance	built 2275_500	minisat2-core 061208	minisat2-simp 061208
IBM/16_1/ IBM_FV_2004_rule_batch_16_1_SAT_dat.k45.cnf	UNSAT TT=0.678	UNSAT TT=18.475	UNSAT TT=0.678	UNSAT TT=1.093
IBM/16_1/ IBM_FV_2004_rule_batch_16_1_SAT_dat.k50.cnf	UNSAT TT=1.055	UNSAT TT=32.01	UNSAT TT=1.076	UNSAT TT=1.055
IBM/16_1/ IBM_FV_2004_rule_batch_16_1_SAT_dat.k55.cnf	UNSAT TT=0.728	UNSAT TT=36.375	UNSAT TT=0.728	UNSAT TT=1.342
IBM/16_1/ IBM_FV_2004_rule_batch_16_1_SAT_dat.k60.cnf	UNSAT TT=0.904	UNSAT TT=42.631	UNSAT TT=0.904	UNSAT TT=3.374
IBM/16_1/ IBM_FV_2004_rule_batch_16_1_SAT_dat.k65.cnf	UNSAT TT=1.661	UNSAT TT=56.363	UNSAT TT=2.238	UNSAT TT=2.644
IBM/16_1/ IBM_FV_2004_rule_batch_16_1_SAT_dat.k70.cnf	UNSAT TT=1.826	UNSAT TT=40.945	UNSAT TT=1.826	UNSAT TT=5.552
IBM/16_1/ IBM_FV_2004_rule_batch_16_1_SAT_dat.k75.cnf	UNSAT TT=2.233	UNSAT TT=54.043	UNSAT TT=3.74	UNSAT TT=4.939
IBM/16_1/ IBM_FV_2004_rule_batch_16_1_SAT_dat.k80.cnf	UNSAT TT=2.343	UNSAT TT=71.332	UNSAT TT=7.518	UNSAT TT=6.536
IBM/16_1/ IBM_FV_2004_rule_batch_16_1_SAT_dat.k85.cnf	UNSAT TT=2.924	UNSAT TT=81.214	UNSAT TT=3.484	UNSAT TT=11.527
IBM/16_1/ IBM_FV_2004_rule_batch_16_1_SAT_dat.k90.cnf	UNSAT TT=1.742	UNSAT TT=110.278	UNSAT TT=1.742	UNSAT TT=5.615
Bench name	Best results on this instance	built 2275_500	minisat2-core 061208	minisat2-simp 061208
IBM/16_1/ IBM_FV_2004_rule_batch_16_1_SAT_dat.k95.cnf	UNSAT TT=2.489	UNSAT TT=113.286	UNSAT TT=3.917	UNSAT TT=2.489
IBM/18/ IBM_FV_2004_rule_batch_18_SAT_dat.k100.cnf	SAT TT=600.806	? (TO) TT=1200.03	? (TO) TT=1200.14	SAT TT=1047.72
IBM/18/ IBM_FV_2004_rule_batch_18_SAT_dat.k10.cnf	UNSAT TT=0.139	UNSAT TT=1.944	UNSAT TT=0.143	UNSAT TT=0.441
IBM/18/ IBM_FV_2004_rule_batch_18_SAT_dat.k15.cnf	UNSAT TT=1.166	UNSAT TT=56.011	UNSAT TT=1.166	UNSAT TT=1.189
IBM/18/ IBM_FV_2004_rule_batch_18_SAT_dat.k20.cnf	UNSAT TT=5.414	UNSAT TT=98.307	UNSAT TT=7.788	UNSAT TT=5.414
IBM/18/ IBM_FV_2004_rule_batch_18_SAT_dat.k25.cnf	UNSAT TT=19.207	UNSAT TT=135.73	UNSAT TT=41.409	UNSAT TT=19.207
IBM/18/ IBM_FV_2004_rule_batch_18_SAT_dat.k30.cnf	SAT TT=20.73	SAT TT=249.004	SAT TT=249.373	SAT TT=58.176
IBM/18/ IBM_FV_2004_rule_batch_18_SAT_dat.k35.cnf	SAT TT=68.856	SAT TT=495.34	SAT TT=553.265	SAT TT=215.195
IBM/18/ IBM_FV_2004_rule_batch_18_SAT_dat.k40.cnf	SAT TT=117.143	SAT TT=453.863	SAT TT=940.365	SAT TT=377.912
IBM/18/ IBM_FV_2004_rule_batch_18_SAT_dat.k45.cnf	SAT TT=103.997	SAT TT=1052.85	SAT TT=591.936	SAT TT=250.728
Bench name	Best results on this instance	built 2275_500	minisat2-core 061208	minisat2-simp 061208
IBM/18/ IBM_FV_2004_rule_batch_18_SAT_dat.k50.cnf	SAT TT=88.411	SAT TT=717.128	SAT TT=259.596	SAT TT=348.006
IBM/18/ IBM_FV_2004_rule_batch_18_SAT_dat.k55.cnf	SAT TT=163.888	SAT TT=793.86	SAT TT=721.804	SAT TT=293.582
IBM/18/ IBM_FV_2004_rule_batch_18_SAT_dat.k60.cnf	SAT TT=170.396	SAT TT=862.443	? (TO) TT=1200.11	SAT TT=245.606
IBM/18/ IBM_FV_2004_rule_batch_18_SAT_dat.k65.cnf	SAT TT=214.381	SAT TT=1024.74	? (TO) TT=1200.12	SAT TT=289.156
IBM/18/ IBM_FV_2004_rule_batch_18_SAT_dat.k70.cnf	SAT TT=153.322	SAT TT=817.936	? (TO) TT=1200.11	SAT TT=376.063
IBM/18/ IBM_FV_2004_rule_batch_18_SAT_dat.k75.cnf	SAT TT=259.265	? (TO) TT=1200.09	? (TO) TT=1200.06	SAT TT=496.197
IBM/18/ IBM_FV_2004_rule_batch_18_SAT_dat.k80.cnf	SAT TT=318.167	SAT TT=920.94	SAT TT=858.989	SAT TT=1156.33
IBM/18/ IBM_FV_2004_rule_batch_18_SAT_dat.k85.cnf	SAT TT=154.469	SAT TT=991.136	? (TO) TT=1200.06	SAT TT=950.725
IBM/18/ IBM_FV_2004_rule_batch_18_SAT_dat.k90.cnf	SAT TT=414.381	? (TO) TT=1200.05	? (TO) TT=1200.09	SAT TT=537.283
IBM/18/ IBM_FV_2004_rule_batch_18_SAT_dat.k95.cnf	SAT TT=151.649	? (TO) TT=1200.07	? (TO) TT=1200.1	SAT TT=960.361
Bench name	Best results on this instance	built 2275_500	minisat2-core 061208	minisat2-simp 061208
IBM/19/ IBM_FV_2004_rule_batch_19_SAT_dat.k100.cnf	SAT TT=74.776	SAT TT=598.368	? (TO) TT=1200.13	SAT TT=74.776
IBM/19/ IBM_FV_2004_rule_batch_19_SAT_dat.k10.cnf	UNSAT TT=0.07	UNSAT TT=0.072	UNSAT TT=0.072	UNSAT TT=0.56
IBM/19/ IBM_FV_2004_rule_batch_19_SAT_dat.k15.cnf	UNSAT TT=0.119	UNSAT TT=0.238	UNSAT TT=0.119	UNSAT TT=1.071
IBM/19/ IBM_FV_2004_rule_batch_19_SAT_dat.k20.cnf	UNSAT TT=0.193	UNSAT TT=0.57	UNSAT TT=0.193	UNSAT TT=1.568
IBM/19/ IBM_FV_2004_rule_batch_19_SAT_dat.k25.cnf	UNSAT TT=0.431	UNSAT TT=137.976	UNSAT TT=0.431	UNSAT TT=2.345
IBM/19/ IBM_FV_2004_rule_batch_19_SAT_dat.k30.cnf	SAT TT=3.943	SAT TT=201.695	SAT TT=4.403	SAT TT=3.943
IBM/19/ IBM_FV_2004_rule_batch_19_SAT_dat.k35.cnf	SAT TT=4.759	SAT TT=317.527	SAT TT=21.445	SAT TT=4.759
IBM/19/ IBM_FV_2004_rule_batch_19_SAT_dat.k40.cnf	SAT TT=6.164	SAT TT=403.237	SAT TT=9.987	SAT TT=6.164
IBM/19/ IBM_FV_2004_rule_batch_19_SAT_dat.k45.cnf	SAT TT=9.366	SAT TT=472.805	SAT TT=28.512	SAT TT=9.366
IBM/19/ IBM_FV_2004_rule_batch_19_SAT_dat.k50.cnf	SAT TT=9.42	SAT TT=501.603	SAT TT=29.683	SAT TT=9.42
Bench name	Best results on this instance	built 2275_500	minisat2-core 061208	minisat2-simp 061208
IBM/19/ IBM_FV_2004_rule_batch_19_SAT_dat.k55.cnf	SAT TT=10.351	SAT TT=502.74	SAT TT=256.58	SAT TT=10.351
IBM/19/ IBM_FV_2004_rule_batch_19_SAT_dat.k60.cnf	SAT TT=20.821	SAT TT=505.336	SAT TT=107.154	SAT TT=20.821
IBM/19/ IBM_FV_2004_rule_batch_19_SAT_dat.k65.cnf	SAT TT=39.237	SAT TT=511.414	SAT TT=318.673	SAT TT=52.833
IBM/19/ IBM_FV_2004_rule_batch_19_SAT_dat.k70.cnf	SAT TT=25.377	SAT TT=510.258	SAT TT=268.556	SAT TT=25.377
IBM/19/ IBM_FV_2004_rule_batch_19_SAT_dat.k75.cnf	SAT TT=54.822	SAT TT=519.795	SAT TT=459.762	SAT TT=61.689
IBM/19/ IBM_FV_2004_rule_batch_19_SAT_dat.k80.cnf	SAT TT=44.569	SAT TT=516.89	SAT TT=885.442	SAT TT=47.872
IBM/19/ IBM_FV_2004_rule_batch_19_SAT_dat.k85.cnf	SAT TT=49.243	SAT TT=1008.62	SAT TT=667.953	SAT TT=49.243
IBM/19/ IBM_FV_2004_rule_batch_19_SAT_dat.k90.cnf	SAT TT=57.958	SAT TT=538.004	? (TO) TT=1200.07	SAT TT=61.13
IBM/19/ IBM_FV_2004_rule_batch_19_SAT_dat.k95.cnf	SAT TT=86.799	SAT TT=541.409	? (TO) TT=1200.05	SAT TT=112.478
IBM/20/ IBM_FV_2004_rule_batch_20_SAT_dat.k100.cnf	SAT TT=798.055	? (TO) TT=1200.03	? (TO) TT=1200.13	? (TO) TT=1200.15
Bench name	Best results on this instance	built 2275_500	minisat2-core 061208	minisat2-simp 061208
IBM/20/ IBM_FV_2004_rule_batch_20_SAT_dat.k10.cnf	UNSAT TT=0.069	UNSAT TT=0.15	UNSAT TT=0.069	UNSAT TT=0.463
IBM/20/ IBM_FV_2004_rule_batch_20_SAT_dat.k15.cnf	UNSAT TT=0.639	UNSAT TT=45.078	UNSAT TT=0.639	UNSAT TT=0.844
IBM/20/ IBM_FV_2004_rule_batch_20_SAT_dat.k20.cnf	UNSAT TT=2.858	UNSAT TT=86.802	UNSAT TT=3.28	UNSAT TT=3.15
IBM/20/ IBM_FV_2004_rule_batch_20_SAT_dat.k25.cnf	UNSAT TT=5.549	UNSAT TT=206.172	UNSAT TT=17.071	UNSAT TT=16.776
IBM/20/ IBM_FV_2004_rule_batch_20_SAT_dat.k30.cnf	UNSAT TT=23.199	UNSAT TT=273.239	UNSAT TT=77.41	UNSAT TT=23.199
IBM/20/ IBM_FV_2004_rule_batch_20_SAT_dat.k35.cnf	UNSAT TT=53.632	UNSAT TT=528.099	UNSAT TT=299.07	UNSAT TT=98.228
IBM/20/ IBM_FV_2004_rule_batch_20_SAT_dat.k40.cnf	UNSAT TT=136.34	UNSAT TT=663.772	UNSAT TT=631.822	UNSAT TT=241.745
IBM/20/ IBM_FV_2004_rule_batch_20_SAT_dat.k45.cnf	SAT TT=127.586	SAT TT=775.673	SAT TT=591.34	SAT TT=396.033
IBM/20/ IBM_FV_2004_rule_batch_20_SAT_dat.k50.cnf	SAT TT=149.2	SAT TT=1145.9	? (TO) TT=1200.03	SAT TT=607.367
IBM/20/ IBM_FV_2004_rule_batch_20_SAT_dat.k55.cnf	SAT TT=159.4	? (TO) TT=1200	? (TO) TT=1200.13	SAT TT=351.523
Bench name	Best results on this instance	built 2275_500	minisat2-core 061208	minisat2-simp 061208
IBM/20/ IBM_FV_2004_rule_batch_20_SAT_dat.k60.cnf	SAT TT=302.15	SAT TT=928.139	? (TO) TT=1200.12	SAT TT=353.955
IBM/20/ IBM_FV_2004_rule_batch_20_SAT_dat.k65.cnf	SAT TT=327.512	? (TO) TT=1200.05	SAT TT=1131.97	SAT TT=906.096
IBM/20/ IBM_FV_2004_rule_batch_20_SAT_dat.k70.cnf	SAT TT=348.169	SAT TT=1126.14	? (TO) TT=1200.09	? (TO) TT=1200.07
IBM/20/ IBM_FV_2004_rule_batch_20_SAT_dat.k75.cnf	SAT TT=227.691	? (TO) TT=1200.08	? (TO) TT=1200.11	SAT TT=503.648
IBM/20/ IBM_FV_2004_rule_batch_20_SAT_dat.k80.cnf	SAT TT=868.862	? (TO) TT=1200.08	? (TO) TT=1200.11	? (TO) TT=1200.08
IBM/20/ IBM_FV_2004_rule_batch_20_SAT_dat.k85.cnf	SAT TT=446.463	? (TO) TT=1200.09	? (TO) TT=1200.05	SAT TT=1148.45
IBM/20/ IBM_FV_2004_rule_batch_20_SAT_dat.k90.cnf	SAT TT=1017.8	SAT TT=1073.56	? (TO) TT=1200.11	? (TO) TT=1200.08
IBM/20/ IBM_FV_2004_rule_batch_20_SAT_dat.k95.cnf	SAT TT=448.341	? (TO) TT=1200	? (TO) TT=1200.11	SAT TT=474.726
IBM/2_14/ IBM_FV_2004_rule_batch_2_14_SAT_dat.k100.cnf	UNSAT TT=255.273	? (TO) TT=1200.08	UNSAT TT=1045.39	? (TO) TT=1200.15
IBM/2_14/ IBM_FV_2004_rule_batch_2_14_SAT_dat.k10.cnf	UNSAT TT=0.108	UNSAT TT=10.901	UNSAT TT=0.116	UNSAT TT=0.314
Bench name	Best results on this instance	built 2275_500	minisat2-core 061208	minisat2-simp 061208
IBM/2_14/ IBM_FV_2004_rule_batch_2_14_SAT_dat.k15.cnf	UNSAT TT=0.467	UNSAT TT=30.055	UNSAT TT=0.467	UNSAT TT=0.709
IBM/2_14/ IBM_FV_2004_rule_batch_2_14_SAT_dat.k20.cnf	UNSAT TT=1.367	UNSAT TT=68.526	UNSAT TT=1.367	UNSAT TT=1.686
IBM/2_14/ IBM_FV_2004_rule_batch_2_14_SAT_dat.k25.cnf	UNSAT TT=2.505	UNSAT TT=71.669	UNSAT TT=2.827	UNSAT TT=2.505
IBM/2_14/ IBM_FV_2004_rule_batch_2_14_SAT_dat.k30.cnf	UNSAT TT=5.565	UNSAT TT=133.701	UNSAT TT=6.26	UNSAT TT=5.565
IBM/2_14/ IBM_FV_2004_rule_batch_2_14_SAT_dat.k35.cnf	UNSAT TT=9.258	UNSAT TT=162.046	UNSAT TT=13.388	UNSAT TT=9.258
IBM/2_14/ IBM_FV_2004_rule_batch_2_14_SAT_dat.k40.cnf	UNSAT TT=11.383	UNSAT TT=246.977	UNSAT TT=27.483	UNSAT TT=11.383
IBM/2_14/ IBM_FV_2004_rule_batch_2_14_SAT_dat.k45.cnf	UNSAT TT=31.435	UNSAT TT=218.463	UNSAT TT=39.798	UNSAT TT=31.435
IBM/2_14/ IBM_FV_2004_rule_batch_2_14_SAT_dat.k50.cnf	UNSAT TT=30.896	UNSAT TT=308.482	UNSAT TT=43.119	UNSAT TT=48.863
IBM/2_14/ IBM_FV_2004_rule_batch_2_14_SAT_dat.k55.cnf	UNSAT TT=44.461	UNSAT TT=352.981	UNSAT TT=101.351	UNSAT TT=44.461
IBM/2_14/ IBM_FV_2004_rule_batch_2_14_SAT_dat.k60.cnf	UNSAT TT=67.434	UNSAT TT=497.794	UNSAT TT=73.151	UNSAT TT=67.434
Bench name	Best results on this instance	built 2275_500	minisat2-core 061208	minisat2-simp 061208
IBM/2_14/ IBM_FV_2004_rule_batch_2_14_SAT_dat.k65.cnf	UNSAT TT=67.557	UNSAT TT=555.718	UNSAT TT=67.557	UNSAT TT=74.759
IBM/2_14/ IBM_FV_2004_rule_batch_2_14_SAT_dat.k70.cnf	UNSAT TT=85.426	UNSAT TT=539.345	UNSAT TT=132.742	UNSAT TT=128.752
IBM/2_14/ IBM_FV_2004_rule_batch_2_14_SAT_dat.k75.cnf	UNSAT TT=111.178	UNSAT TT=608.101	UNSAT TT=162.657	UNSAT TT=184.702
IBM/2_14/ IBM_FV_2004_rule_batch_2_14_SAT_dat.k80.cnf	UNSAT TT=168.694	UNSAT TT=775.237	UNSAT TT=253.535	UNSAT TT=265.007
IBM/2_14/ IBM_FV_2004_rule_batch_2_14_SAT_dat.k85.cnf	UNSAT TT=195.276	UNSAT TT=726.785	UNSAT TT=195.276	UNSAT TT=202.505
IBM/2_14/ IBM_FV_2004_rule_batch_2_14_SAT_dat.k90.cnf	UNSAT TT=219.01	UNSAT TT=989.182	UNSAT TT=288.666	UNSAT TT=249.753
IBM/2_14/ IBM_FV_2004_rule_batch_2_14_SAT_dat.k95.cnf	UNSAT TT=333.396	? (TO) TT=1200.08	UNSAT TT=333.396	UNSAT TT=615.744
IBM/21/ IBM_FV_2004_rule_batch_21_SAT_dat.k100.cnf	SAT TT=89.914	SAT TT=541.601	? (TO) TT=1200.1	SAT TT=151.119
IBM/21/ IBM_FV_2004_rule_batch_21_SAT_dat.k10.cnf	UNSAT TT=0.054	UNSAT TT=0.096	UNSAT TT=0.054	UNSAT TT=0.353
IBM/21/ IBM_FV_2004_rule_batch_21_SAT_dat.k15.cnf	UNSAT TT=0.095	UNSAT TT=0.177	UNSAT TT=0.095	UNSAT TT=0.728
Bench name	Best results on this instance	built 2275_500	minisat2-core 061208	minisat2-simp 061208
IBM/21/ IBM_FV_2004_rule_batch_21_SAT_dat.k20.cnf	UNSAT TT=0.146	UNSAT TT=0.476	UNSAT TT=0.146	UNSAT TT=1.13
IBM/21/ IBM_FV_2004_rule_batch_21_SAT_dat.k25.cnf	UNSAT TT=0.455	UNSAT TT=105.875	UNSAT TT=0.455	UNSAT TT=1.863
IBM/21/ IBM_FV_2004_rule_batch_21_SAT_dat.k30.cnf	SAT TT=2.77	SAT TT=143.518	SAT TT=3.28	SAT TT=2.815
IBM/21/ IBM_FV_2004_rule_batch_21_SAT_dat.k35.cnf	SAT TT=3.643	SAT TT=191.404	SAT TT=9.778	SAT TT=3.643
IBM/21/ IBM_FV_2004_rule_batch_21_SAT_dat.k40.cnf	SAT TT=5.884	SAT TT=225.862	SAT TT=16.424	SAT TT=5.884
IBM/21/ IBM_FV_2004_rule_batch_21_SAT_dat.k45.cnf	SAT TT=7.48	SAT TT=295.707	SAT TT=43.473	SAT TT=9.409
IBM/21/ IBM_FV_2004_rule_batch_21_SAT_dat.k50.cnf	SAT TT=13.989	SAT TT=407.661	SAT TT=36.125	SAT TT=14.564
IBM/21/ IBM_FV_2004_rule_batch_21_SAT_dat.k55.cnf	SAT TT=16.292	SAT TT=439.306	SAT TT=63.644	SAT TT=16.292
IBM/21/ IBM_FV_2004_rule_batch_21_SAT_dat.k60.cnf	SAT TT=17.553	SAT TT=506.358	SAT TT=200.052	SAT TT=19.796
IBM/21/ IBM_FV_2004_rule_batch_21_SAT_dat.k65.cnf	SAT TT=8.45	SAT TT=497.339	SAT TT=141.354	SAT TT=20.341
Bench name	Best results on this instance	built 2275_500	minisat2-core 061208	minisat2-simp 061208
IBM/21/ IBM_FV_2004_rule_batch_21_SAT_dat.k70.cnf	SAT TT=20.48	SAT TT=508.966	SAT TT=186.24	SAT TT=36.435
IBM/21/ IBM_FV_2004_rule_batch_21_SAT_dat.k75.cnf	SAT TT=26.456	SAT TT=505.1	SAT TT=416.778	SAT TT=47.475
IBM/21/ IBM_FV_2004_rule_batch_21_SAT_dat.k80.cnf	SAT TT=32.3	SAT TT=514.241	SAT TT=670.531	SAT TT=51.197
IBM/21/ IBM_FV_2004_rule_batch_21_SAT_dat.k85.cnf	SAT TT=51.182	SAT TT=536.576	? (TO) TT=1200.08	SAT TT=51.182
IBM/21/ IBM_FV_2004_rule_batch_21_SAT_dat.k90.cnf	SAT TT=30.88	SAT TT=524.916	SAT TT=1154.22	SAT TT=127.613
IBM/21/ IBM_FV_2004_rule_batch_21_SAT_dat.k95.cnf	SAT TT=47.213	SAT TT=564.522	? (TO) TT=1200.08	SAT TT=70.244
IBM/22/ IBM_FV_2004_rule_batch_22_SAT_dat.k100.cnf	SAT TT=682.305	? (TO) TT=1200.06	? (TO) TT=1200.12	? (TO) TT=1200.11
IBM/22/ IBM_FV_2004_rule_batch_22_SAT_dat.k10.cnf	UNSAT TT=0.065	UNSAT TT=0.067	UNSAT TT=0.07	UNSAT TT=0.447
IBM/22/ IBM_FV_2004_rule_batch_22_SAT_dat.k15.cnf	UNSAT TT=0.134	UNSAT TT=0.194	UNSAT TT=0.134	UNSAT TT=0.888
IBM/22/ IBM_FV_2004_rule_batch_22_SAT_dat.k20.cnf	UNSAT TT=0.206	UNSAT TT=0.353	UNSAT TT=0.206	UNSAT TT=1.43
Bench name	Best results on this instance	built 2275_500	minisat2-core 061208	minisat2-simp 061208
IBM/22/ IBM_FV_2004_rule_batch_22_SAT_dat.k25.cnf	UNSAT TT=0.401	UNSAT TT=0.797	UNSAT TT=0.401	UNSAT TT=2.239
IBM/22/ IBM_FV_2004_rule_batch_22_SAT_dat.k30.cnf	UNSAT TT=1.924	UNSAT TT=3.942	UNSAT TT=1.924	UNSAT TT=2.873
IBM/22/ IBM_FV_2004_rule_batch_22_SAT_dat.k35.cnf	UNSAT TT=4.656	UNSAT TT=354.017	UNSAT TT=7.516	UNSAT TT=5.725
IBM/22/ IBM_FV_2004_rule_batch_22_SAT_dat.k40.cnf	UNSAT TT=14.722	UNSAT TT=404.951	UNSAT TT=32.654	UNSAT TT=14.722
IBM/22/ IBM_FV_2004_rule_batch_22_SAT_dat.k45.cnf	UNSAT TT=32.08	UNSAT TT=524.367	UNSAT TT=95.729	UNSAT TT=32.08
IBM/22/ IBM_FV_2004_rule_batch_22_SAT_dat.k50.cnf	UNSAT TT=97.435	UNSAT TT=554.596	UNSAT TT=233.75	UNSAT TT=97.435
IBM/22/ IBM_FV_2004_rule_batch_22_SAT_dat.k55.cnf	SAT TT=109.031	SAT TT=628.413	SAT TT=682.791	SAT TT=109.031
IBM/22/ IBM_FV_2004_rule_batch_22_SAT_dat.k60.cnf	SAT TT=134.127	SAT TT=640.503	? (TO) TT=1200.06	SAT TT=230.572
IBM/22/ IBM_FV_2004_rule_batch_22_SAT_dat.k65.cnf	SAT TT=187.512	SAT TT=788.552	? (TO) TT=1200.13	SAT TT=397.513
IBM/22/ IBM_FV_2004_rule_batch_22_SAT_dat.k70.cnf	SAT TT=248.014	SAT TT=816.849	? (TO) TT=1200.1	SAT TT=468.367
Bench name	Best results on this instance	built 2275_500	minisat2-core 061208	minisat2-simp 061208
IBM/22/ IBM_FV_2004_rule_batch_22_SAT_dat.k75.cnf	SAT TT=359.902	SAT TT=974.026	? (TO) TT=1200.1	SAT TT=421.346
IBM/22/ IBM_FV_2004_rule_batch_22_SAT_dat.k80.cnf	SAT TT=471.173	SAT TT=1046.86	? (TO) TT=1200.12	SAT TT=585.62
IBM/22/ IBM_FV_2004_rule_batch_22_SAT_dat.k85.cnf	SAT TT=610.691	SAT TT=851.207	? (TO) TT=1200.06	SAT TT=814.283
IBM/22/ IBM_FV_2004_rule_batch_22_SAT_dat.k90.cnf	SAT TT=572.733	SAT TT=803.876	? (TO) TT=1200.06	SAT TT=572.733
IBM/22/ IBM_FV_2004_rule_batch_22_SAT_dat.k95.cnf	SAT TT=954.02	? (TO) TT=1200	? (TO) TT=1200.08	SAT TT=969.7
IBM/23/ IBM_FV_2004_rule_batch_23_SAT_dat.k100.cnf	SAT TT=962.303	? (TO) TT=1200.02	? (TO) TT=1200.08	? (TO) TT=1200.12
IBM/23/ IBM_FV_2004_rule_batch_23_SAT_dat.k10.cnf	UNSAT TT=0.066	UNSAT TT=0.073	UNSAT TT=0.066	UNSAT TT=0.388
IBM/23/ IBM_FV_2004_rule_batch_23_SAT_dat.k15.cnf	UNSAT TT=0.329	UNSAT TT=16.15	UNSAT TT=0.329	UNSAT TT=0.926
IBM/23/ IBM_FV_2004_rule_batch_23_SAT_dat.k20.cnf	UNSAT TT=2.591	UNSAT TT=141.605	UNSAT TT=3.476	UNSAT TT=2.591
IBM/23/ IBM_FV_2004_rule_batch_23_SAT_dat.k25.cnf	UNSAT TT=13.047	UNSAT TT=259.913	UNSAT TT=28.846	UNSAT TT=13.047
Bench name	Best results on this instance	built 2275_500	minisat2-core 061208	minisat2-simp 061208
IBM/23/ IBM_FV_2004_rule_batch_23_SAT_dat.k30.cnf	UNSAT TT=70.992	UNSAT TT=463.276	UNSAT TT=191.345	UNSAT TT=102.877
IBM/23/ IBM_FV_2004_rule_batch_23_SAT_dat.k35.cnf	UNSAT TT=238.287	UNSAT TT=761.27	UNSAT TT=817.392	UNSAT TT=253.088
IBM/23/ IBM_FV_2004_rule_batch_23_SAT_dat.k40.cnf	SAT TT=97.343	SAT TT=809.132	? (TO) TT=1200.09	SAT TT=804.183
IBM/23/ IBM_FV_2004_rule_batch_23_SAT_dat.k45.cnf	SAT TT=102.223	SAT TT=1077.3	? (TO) TT=1200.11	SAT TT=188.424
IBM/23/ IBM_FV_2004_rule_batch_23_SAT_dat.k50.cnf	SAT TT=224.682	SAT TT=818.944	SAT TT=847.064	SAT TT=1176.34
IBM/23/ IBM_FV_2004_rule_batch_23_SAT_dat.k55.cnf	SAT TT=379.342	? (TO) TT=1200.09	? (TO) TT=1200.1	SAT TT=940.082
IBM/23/ IBM_FV_2004_rule_batch_23_SAT_dat.k60.cnf	SAT TT=43.8	? (TO) TT=1200.03	? (TO) TT=1200.05	SAT TT=641.303
IBM/23/ IBM_FV_2004_rule_batch_23_SAT_dat.k65.cnf	SAT TT=333.888	? (TO) TT=1200.06	? (TO) TT=1200.14	? (TO) TT=1200.08
IBM/23/ IBM_FV_2004_rule_batch_23_SAT_dat.k70.cnf	SAT TT=217.524	? (TO) TT=1200.08	? (TO) TT=1200.06	SAT TT=958.456
IBM/23/ IBM_FV_2004_rule_batch_23_SAT_dat.k75.cnf	SAT TT=575.54	? (TO) TT=1200.02	? (TO) TT=1200.05	SAT TT=871.422
Bench name	Best results on this instance	built 2275_500	minisat2-core 061208	minisat2-simp 061208
IBM/23/ IBM_FV_2004_rule_batch_23_SAT_dat.k80.cnf	SAT TT=648.81	? (TO) TT=1200.06	? (TO) TT=1200.15	SAT TT=648.81
IBM/23/ IBM_FV_2004_rule_batch_23_SAT_dat.k85.cnf	SAT TT=874.476	? (TO) TT=1200.04	? (TO) TT=1200.15	? (TO) TT=1200.1
IBM/23/ IBM_FV_2004_rule_batch_23_SAT_dat.k90.cnf	SAT TT=541.688	? (TO) TT=1200	? (TO) TT=1200.08	? (TO) TT=1200.1
IBM/23/ IBM_FV_2004_rule_batch_23_SAT_dat.k95.cnf		? (TO) TT=1200.09	? (TO) TT=1200.13	? (TO) TT=1200.08
IBM/25/ IBM_FV_2004_rule_batch_25_SAT_dat.k100.cnf		? (TO) TT=1200.03	? (TO) TT=1200.05	? (TO) TT=1200.09
IBM/25/ IBM_FV_2004_rule_batch_25_SAT_dat.k10.cnf		? (TO) TT=1200.03	? (TO) TT=1200.11	? (TO) TT=1200.03
IBM/25/ IBM_FV_2004_rule_batch_25_SAT_dat.k15.cnf		? (TO) TT=1200.05	? (TO) TT=1200.09	? (TO) TT=1200.13
IBM/25/ IBM_FV_2004_rule_batch_25_SAT_dat.k20.cnf		? (TO) TT=1200.03	? (TO) TT=1200.09	? (TO) TT=1200.12
IBM/25/ IBM_FV_2004_rule_batch_25_SAT_dat.k25.cnf		? (TO) TT=1200.05	? (TO) TT=1200.08	? (TO) TT=1200.06
IBM/25/ IBM_FV_2004_rule_batch_25_SAT_dat.k30.cnf		? (TO) TT=1200.01	? (TO) TT=1200.02	? (TO) TT=1200.14
Bench name	Best results on this instance	built 2275_500	minisat2-core 061208	minisat2-simp 061208
IBM/25/ IBM_FV_2004_rule_batch_25_SAT_dat.k35.cnf		? (TO) TT=1200.02	? (TO) TT=1200.06	? (TO) TT=1200.11
IBM/25/ IBM_FV_2004_rule_batch_25_SAT_dat.k40.cnf		? (TO) TT=1200.08	? (TO) TT=1200.09	? (TO) TT=1200.12
IBM/25/ IBM_FV_2004_rule_batch_25_SAT_dat.k45.cnf		? (TO) TT=1200.09	? (TO) TT=1200.1	? (TO) TT=1200.09
IBM/25/ IBM_FV_2004_rule_batch_25_SAT_dat.k50.cnf		? (TO) TT=1200.09	? (TO) TT=1200.07	? (TO) TT=1200.08
IBM/25/ IBM_FV_2004_rule_batch_25_SAT_dat.k55.cnf		? (TO) TT=1200.04	? (TO) TT=1200.08	? (TO) TT=1200.08
IBM/25/ IBM_FV_2004_rule_batch_25_SAT_dat.k60.cnf		? (TO) TT=1200.02	? (TO) TT=1200.08	? (TO) TT=1200.15
IBM/25/ IBM_FV_2004_rule_batch_25_SAT_dat.k65.cnf	SIGNAL TT=6.139	? (TO) TT=1200.09	? (TO) TT=1200.11	? (TO) TT=1200.15
IBM/25/ IBM_FV_2004_rule_batch_25_SAT_dat.k70.cnf		? (TO) TT=1200.06	? (TO) TT=1200.03	? (TO) TT=1200.13
IBM/25/ IBM_FV_2004_rule_batch_25_SAT_dat.k75.cnf	SIGNAL TT=8.795	? (TO) TT=1200.01	? (TO) TT=1200.11	? (TO) TT=1200.11
IBM/25/ IBM_FV_2004_rule_batch_25_SAT_dat.k80.cnf		? (TO) TT=1200.06	? (TO) TT=1200.07	? (TO) TT=1200.08
Bench name	Best results on this instance	built 2275_500	minisat2-core 061208	minisat2-simp 061208
IBM/25/ IBM_FV_2004_rule_batch_25_SAT_dat.k85.cnf	SIGNAL TT=9.153	? (TO) TT=1200.06	? (TO) TT=1200.07	? (TO) TT=1200.14
IBM/25/ IBM_FV_2004_rule_batch_25_SAT_dat.k90.cnf		? (TO) TT=1200.1	? (TO) TT=1200.05	? (TO) TT=1200.08
IBM/25/ IBM_FV_2004_rule_batch_25_SAT_dat.k95.cnf		? (TO) TT=1200	? (TO) TT=1200.04	? (TO) TT=1200.08
IBM/26/ IBM_FV_2004_rule_batch_26_SAT_dat.k100.cnf	UNSAT TT=2.343	UNSAT TT=547.927	UNSAT TT=2.343	? (TO) TT=1200.12
IBM/26/ IBM_FV_2004_rule_batch_26_SAT_dat.k10.cnf	UNSAT TT=1.744	UNSAT TT=235.809	UNSAT TT=1.982	UNSAT TT=4.377
IBM/26/ IBM_FV_2004_rule_batch_26_SAT_dat.k15.cnf	UNSAT TT=1.807	UNSAT TT=329.988	UNSAT TT=5.662	UNSAT TT=5.861
IBM/26/ IBM_FV_2004_rule_batch_26_SAT_dat.k20.cnf	UNSAT TT=2.711	UNSAT TT=503.267	UNSAT TT=135.109	UNSAT TT=12.248
IBM/26/ IBM_FV_2004_rule_batch_26_SAT_dat.k25.cnf	UNSAT TT=1.055	UNSAT TT=638.553	UNSAT TT=301.686	UNSAT TT=48.406
IBM/26/ IBM_FV_2004_rule_batch_26_SAT_dat.k30.cnf	UNSAT TT=1.352	? (TO) TT=1200.03	UNSAT TT=50.582	UNSAT TT=20.9
IBM/26/ IBM_FV_2004_rule_batch_26_SAT_dat.k35.cnf	UNSAT TT=5.079	UNSAT TT=506.331	UNSAT TT=1194.87	UNSAT TT=140.351
Bench name	Best results on this instance	built 2275_500	minisat2-core 061208	minisat2-simp 061208
IBM/26/ IBM_FV_2004_rule_batch_26_SAT_dat.k40.cnf	UNSAT TT=1.692	UNSAT TT=1032.17	UNSAT TT=263.6	? (TO) TT=1200.06
IBM/26/ IBM_FV_2004_rule_batch_26_SAT_dat.k45.cnf	UNSAT TT=1.114	? (TO) TT=1200.03	UNSAT TT=1.114	UNSAT TT=32.317
IBM/26/ IBM_FV_2004_rule_batch_26_SAT_dat.k50.cnf	UNSAT TT=1.357	UNSAT TT=510.06	UNSAT TT=1.357	UNSAT TT=726.915
IBM/26/ IBM_FV_2004_rule_batch_26_SAT_dat.k55.cnf	UNSAT TT=1.311	UNSAT TT=861.798	UNSAT TT=1.311	UNSAT TT=20.91
IBM/26/ IBM_FV_2004_rule_batch_26_SAT_dat.k60.cnf	UNSAT TT=2.818	? (TO) TT=1200.05	? (TO) TT=1200.07	? (TO) TT=1200.1
IBM/26/ IBM_FV_2004_rule_batch_26_SAT_dat.k65.cnf	UNSAT TT=1.861	UNSAT TT=520.727	UNSAT TT=1.861	? (TO) TT=1200.14
IBM/26/ IBM_FV_2004_rule_batch_26_SAT_dat.k70.cnf	UNSAT TT=2.26	? (TO) TT=1200.05	? (TO) TT=1200.06	UNSAT TT=34.862
IBM/26/ IBM_FV_2004_rule_batch_26_SAT_dat.k75.cnf	UNSAT TT=2.599	UNSAT TT=524.885	? (TO) TT=1200.07	? (TO) TT=1200.12
IBM/26/ IBM_FV_2004_rule_batch_26_SAT_dat.k80.cnf	UNSAT TT=2.366	? (TO) TT=1200.09	? (TO) TT=1200.12	? (TO) TT=1200.16
IBM/26/ IBM_FV_2004_rule_batch_26_SAT_dat.k85.cnf	UNSAT TT=2.996	UNSAT TT=533.713	? (TO) TT=1200.11	UNSAT TT=50.298
Bench name	Best results on this instance	built 2275_500	minisat2-core 061208	minisat2-simp 061208
IBM/26/ IBM_FV_2004_rule_batch_26_SAT_dat.k90.cnf	UNSAT TT=2.012	? (TO) TT=1200.07	UNSAT TT=2.012	? (TO) TT=1200.12
IBM/26/ IBM_FV_2004_rule_batch_26_SAT_dat.k95.cnf	UNSAT TT=3.432	? (TO) TT=1200.07	? (TO) TT=1200.12	? (TO) TT=1200.14
IBM/27/ IBM_FV_2004_rule_batch_27_SAT_dat.k100.cnf	SAT TT=7.042	SAT TT=521.989	SAT TT=90.808	SAT TT=7.042
IBM/27/ IBM_FV_2004_rule_batch_27_SAT_dat.k10.cnf	UNSAT TT=0.046	UNSAT TT=0.43	UNSAT TT=0.046	UNSAT TT=0.119
IBM/27/ IBM_FV_2004_rule_batch_27_SAT_dat.k15.cnf	UNSAT TT=0.144	UNSAT TT=15.744	UNSAT TT=0.144	UNSAT TT=0.296
IBM/27/ IBM_FV_2004_rule_batch_27_SAT_dat.k20.cnf	SAT TT=0.287	SAT TT=31.894	SAT TT=0.3	SAT TT=0.503
IBM/27/ IBM_FV_2004_rule_batch_27_SAT_dat.k25.cnf	SAT TT=0.39	SAT TT=53.193	SAT TT=0.837	SAT TT=0.71
IBM/27/ IBM_FV_2004_rule_batch_27_SAT_dat.k30.cnf	SAT TT=0.512	SAT TT=73.752	SAT TT=1.65	SAT TT=0.916
IBM/27/ IBM_FV_2004_rule_batch_27_SAT_dat.k35.cnf	SAT TT=1.012	SAT TT=99.727	SAT TT=2.68	SAT TT=1.085
IBM/27/ IBM_FV_2004_rule_batch_27_SAT_dat.k40.cnf	SAT TT=1.262	SAT TT=117.657	SAT TT=2.861	SAT TT=2.062
Bench name	Best results on this instance	built 2275_500	minisat2-core 061208	minisat2-simp 061208
IBM/27/ IBM_FV_2004_rule_batch_27_SAT_dat.k45.cnf	SAT TT=1.392	SAT TT=157.411	SAT TT=4.744	SAT TT=2.163
IBM/27/ IBM_FV_2004_rule_batch_27_SAT_dat.k50.cnf	SAT TT=1.545	SAT TT=190.119	SAT TT=8.811	SAT TT=3.145
IBM/27/ IBM_FV_2004_rule_batch_27_SAT_dat.k55.cnf	SAT TT=2.419	SAT TT=208.851	SAT TT=15.574	SAT TT=3.042
IBM/27/ IBM_FV_2004_rule_batch_27_SAT_dat.k60.cnf	SAT TT=3.839	SAT TT=286.233	SAT TT=22.363	SAT TT=5.321
IBM/27/ IBM_FV_2004_rule_batch_27_SAT_dat.k65.cnf	SAT TT=2.7	SAT TT=339.38	SAT TT=19.865	SAT TT=4.026
IBM/27/ IBM_FV_2004_rule_batch_27_SAT_dat.k70.cnf	SAT TT=6.732	SAT TT=328.052	SAT TT=33.898	SAT TT=7.17
IBM/27/ IBM_FV_2004_rule_batch_27_SAT_dat.k75.cnf	SAT TT=4.766	SAT TT=433.708	SAT TT=27.302	SAT TT=4.766
IBM/27/ IBM_FV_2004_rule_batch_27_SAT_dat.k80.cnf	SAT TT=8.934	SAT TT=437.64	SAT TT=60.021	SAT TT=8.934
IBM/27/ IBM_FV_2004_rule_batch_27_SAT_dat.k85.cnf	SAT TT=11.313	SAT TT=466.072	SAT TT=61.019	SAT TT=12.427
IBM/27/ IBM_FV_2004_rule_batch_27_SAT_dat.k90.cnf	SAT TT=7.889	SAT TT=515.272	SAT TT=69.499	SAT TT=10.473
Bench name	Best results on this instance	built 2275_500	minisat2-core 061208	minisat2-simp 061208
IBM/27/ IBM_FV_2004_rule_batch_27_SAT_dat.k95.cnf	SAT TT=7.455	SAT TT=512.223	SAT TT=81.38	SAT TT=10.142
IBM/28/ IBM_FV_2004_rule_batch_28_SAT_dat.k100.cnf	SAT TT=27.961	SAT TT=282.051	SAT TT=41.545	SAT TT=52.891
IBM/28/ IBM_FV_2004_rule_batch_28_SAT_dat.k10.cnf	UNSAT TT=0.358	UNSAT TT=2.85	UNSAT TT=0.509	UNSAT TT=0.358
IBM/28/ IBM_FV_2004_rule_batch_28_SAT_dat.k15.cnf	SAT TT=0.451	SAT TT=8.354	SAT TT=0.451	SAT TT=0.458
IBM/28/ IBM_FV_2004_rule_batch_28_SAT_dat.k20.cnf	SAT TT=0.755	SAT TT=13.523	SAT TT=1.495	SAT TT=2.116
IBM/28/ IBM_FV_2004_rule_batch_28_SAT_dat.k25.cnf	SAT TT=0.862	SAT TT=21.532	SAT TT=1.118	SAT TT=0.862
IBM/28/ IBM_FV_2004_rule_batch_28_SAT_dat.k30.cnf	SAT TT=0.905	SAT TT=36.411	SAT TT=2.802	SAT TT=0.905
IBM/28/ IBM_FV_2004_rule_batch_28_SAT_dat.k35.cnf	SAT TT=1.012	SAT TT=46.562	SAT TT=1.012	SAT TT=1.36
IBM/28/ IBM_FV_2004_rule_batch_28_SAT_dat.k40.cnf	SAT TT=0.998	SAT TT=67.716	SAT TT=6.311	SAT TT=3.112
IBM/28/ IBM_FV_2004_rule_batch_28_SAT_dat.k45.cnf	SAT TT=2.934	SAT TT=61.017	SAT TT=6.784	SAT TT=3.078
Bench name	Best results on this instance	built 2275_500	minisat2-core 061208	minisat2-simp 061208
IBM/28/ IBM_FV_2004_rule_batch_28_SAT_dat.k50.cnf	SAT TT=4.812	SAT TT=77.654	SAT TT=38.643	SAT TT=5.12
IBM/28/ IBM_FV_2004_rule_batch_28_SAT_dat.k55.cnf	SAT TT=5.821	SAT TT=110.298	SAT TT=10.538	SAT TT=10.987
IBM/28/ IBM_FV_2004_rule_batch_28_SAT_dat.k60.cnf	SAT TT=2.09	SAT TT=113.379	SAT TT=2.09	SAT TT=3.794
IBM/28/ IBM_FV_2004_rule_batch_28_SAT_dat.k65.cnf	SAT TT=5.479	SAT TT=145.648	SAT TT=33.747	SAT TT=5.479
IBM/28/ IBM_FV_2004_rule_batch_28_SAT_dat.k70.cnf	SAT TT=7.647	SAT TT=114.975	SAT TT=30.375	SAT TT=10.537
IBM/28/ IBM_FV_2004_rule_batch_28_SAT_dat.k75.cnf	SAT TT=3.669	SAT TT=163.722	SAT TT=39.837	SAT TT=3.669
IBM/28/ IBM_FV_2004_rule_batch_28_SAT_dat.k80.cnf	SAT TT=13.692	SAT TT=214.771	SAT TT=33.163	SAT TT=17.214
IBM/28/ IBM_FV_2004_rule_batch_28_SAT_dat.k85.cnf	SAT TT=7.887	SAT TT=230.081	SAT TT=26.607	SAT TT=7.887
IBM/28/ IBM_FV_2004_rule_batch_28_SAT_dat.k90.cnf	SAT TT=16.759	SAT TT=208.304	SAT TT=35.434	SAT TT=25.988
IBM/28/ IBM_FV_2004_rule_batch_28_SAT_dat.k95.cnf	SAT TT=12.589	SAT TT=254.205	SAT TT=51.702	SAT TT=53.476
Bench name	Best results on this instance	built 2275_500	minisat2-core 061208	minisat2-simp 061208
IBM/29/ IBM_FV_2004_rule_batch_29_SAT_dat.k100.cnf	SAT TT=156.055	SAT TT=1159.33	SAT TT=725.208	SAT TT=320.889
IBM/29/ IBM_FV_2004_rule_batch_29_SAT_dat.k10.cnf	UNSAT TT=1.084	UNSAT TT=4.141	UNSAT TT=1.315	UNSAT TT=8.019
IBM/29/ IBM_FV_2004_rule_batch_29_SAT_dat.k15.cnf	UNSAT TT=15.242	UNSAT TT=36.609	UNSAT TT=28.646	UNSAT TT=20.371
IBM/29/ IBM_FV_2004_rule_batch_29_SAT_dat.k20.cnf	UNSAT TT=101.622	UNSAT TT=166.047	UNSAT TT=290.032	UNSAT TT=130.203
IBM/29/ IBM_FV_2004_rule_batch_29_SAT_dat.k25.cnf	UNSAT TT=362.649	UNSAT TT=741.171	? (TO) TT=1200.02	UNSAT TT=1079.01
IBM/29/ IBM_FV_2004_rule_batch_29_SAT_dat.k30.cnf	SAT TT=50.652	SAT TT=218.9	? (TO) TT=1200.07	SAT TT=381.156
IBM/29/ IBM_FV_2004_rule_batch_29_SAT_dat.k35.cnf	SAT TT=66.25	SAT TT=1039.17	SAT TT=84.295	SAT TT=158.543
IBM/29/ IBM_FV_2004_rule_batch_29_SAT_dat.k40.cnf	SAT TT=26.829	SAT TT=208.473	SAT TT=26.829	SAT TT=383.671
IBM/29/ IBM_FV_2004_rule_batch_29_SAT_dat.k45.cnf	SAT TT=32.101	SAT TT=151.779	SAT TT=720.336	SAT TT=148.222
IBM/29/ IBM_FV_2004_rule_batch_29_SAT_dat.k50.cnf	SAT TT=114.698	SAT TT=120.649	SAT TT=620.213	SAT TT=618.185
Bench name	Best results on this instance	built 2275_500	minisat2-core 061208	minisat2-simp 061208
IBM/29/ IBM_FV_2004_rule_batch_29_SAT_dat.k55.cnf	SAT TT=120.787	SAT TT=187.207	SAT TT=741.46	SAT TT=444.754
IBM/29/ IBM_FV_2004_rule_batch_29_SAT_dat.k60.cnf	SAT TT=49.357	SAT TT=587.315	? (TO) TT=1200.05	? (TO) TT=1200.12
IBM/29/ IBM_FV_2004_rule_batch_29_SAT_dat.k65.cnf	SAT TT=32.018	SAT TT=788.522	SAT TT=853.751	SAT TT=839.891
IBM/29/ IBM_FV_2004_rule_batch_29_SAT_dat.k70.cnf	SAT TT=98.861	SAT TT=876.04	SAT TT=210.736	SAT TT=996.138
IBM/29/ IBM_FV_2004_rule_batch_29_SAT_dat.k75.cnf	SAT TT=208.309	SAT TT=311.219	SAT TT=221.006	SAT TT=856.985
IBM/29/ IBM_FV_2004_rule_batch_29_SAT_dat.k80.cnf	SAT TT=66.837	SAT TT=279.407	SAT TT=1083.71	SAT TT=1196.11
IBM/29/ IBM_FV_2004_rule_batch_29_SAT_dat.k85.cnf	SAT TT=127.662	SAT TT=294.36	SAT TT=607.567	SAT TT=911.176
IBM/29/ IBM_FV_2004_rule_batch_29_SAT_dat.k90.cnf	SAT TT=96.044	? (TO) TT=1200.07	? (TO) TT=1200.06	SAT TT=96.044
IBM/29/ IBM_FV_2004_rule_batch_29_SAT_dat.k95.cnf	SAT TT=64.199	SAT TT=844.786	SAT TT=64.199	? (TO) TT=1200.12
IBM/30/ IBM_FV_2004_rule_batch_30_SAT_dat.k100.cnf		? (TO) TT=1200.04	? (TO) TT=1200.09	? (TO) TT=1200.15
Bench name	Best results on this instance	built 2275_500	minisat2-core 061208	minisat2-simp 061208
IBM/30/ IBM_FV_2004_rule_batch_30_SAT_dat.k10.cnf	UNSAT TT=6.396	UNSAT TT=26.936	UNSAT TT=11.741	UNSAT TT=6.85
IBM/30/ IBM_FV_2004_rule_batch_30_SAT_dat.k15.cnf	UNSAT TT=283.746	UNSAT TT=326.028	UNSAT TT=848.568	UNSAT TT=427.151
IBM/30/ IBM_FV_2004_rule_batch_30_SAT_dat.k20.cnf		? (TO) TT=1200.08	? (TO) TT=1200.08	? (TO) TT=1200.09
IBM/30/ IBM_FV_2004_rule_batch_30_SAT_dat.k25.cnf		? (TO) TT=1200.04	? (TO) TT=1200.05	? (TO) TT=1200.05
IBM/30/ IBM_FV_2004_rule_batch_30_SAT_dat.k30.cnf		? (TO) TT=1200.03	? (TO) TT=1200.13	? (TO) TT=1200.12
IBM/30/ IBM_FV_2004_rule_batch_30_SAT_dat.k35.cnf	SIGNAL TT=976.244	? (TO) TT=1200.06	? (TO) TT=1200.14	? (TO) TT=1200.12
IBM/30/ IBM_FV_2004_rule_batch_30_SAT_dat.k40.cnf		? (TO) TT=1200.07	? (TO) TT=1200.05	? (TO) TT=1200.13
IBM/30/ IBM_FV_2004_rule_batch_30_SAT_dat.k45.cnf		? (TO) TT=1200.01	? (TO) TT=1200.15	? (TO) TT=1200.09
IBM/30/ IBM_FV_2004_rule_batch_30_SAT_dat.k50.cnf	SAT TT=212.057	? (TO) TT=1200.04	? (TO) TT=1200.11	? (TO) TT=1200.09
IBM/30/ IBM_FV_2004_rule_batch_30_SAT_dat.k55.cnf	SAT TT=270.365	? (TO) TT=1200.01	? (TO) TT=1200.1	SAT TT=337.881
Bench name	Best results on this instance	built 2275_500	minisat2-core 061208	minisat2-simp 061208
IBM/30/ IBM_FV_2004_rule_batch_30_SAT_dat.k60.cnf	SAT TT=410.446	? (TO) TT=1200.02	? (TO) TT=1200.08	SAT TT=410.446
IBM/30/ IBM_FV_2004_rule_batch_30_SAT_dat.k65.cnf		? (TO) TT=1200.01	? (TO) TT=1200.14	? (TO) TT=1200.09
IBM/30/ IBM_FV_2004_rule_batch_30_SAT_dat.k70.cnf		? (TO) TT=1200.04	? (TO) TT=1200.09	? (TO) TT=1200.06
IBM/30/ IBM_FV_2004_rule_batch_30_SAT_dat.k75.cnf	SAT TT=792.113	SAT TT=809.572	? (TO) TT=1200.06	SAT TT=792.113
IBM/30/ IBM_FV_2004_rule_batch_30_SAT_dat.k80.cnf	SAT TT=1004.31	? (TO) TT=1200.02	SAT TT=1004.31	? (TO) TT=1200.06
IBM/30/ IBM_FV_2004_rule_batch_30_SAT_dat.k85.cnf	SAT TT=719.207	? (TO) TT=1200.1	? (TO) TT=1200.08	SAT TT=719.207
IBM/30/ IBM_FV_2004_rule_batch_30_SAT_dat.k90.cnf	SAT TT=816.374	? (TO) TT=1200.08	? (TO) TT=1200.14	? (TO) TT=1200.09
IBM/30/ IBM_FV_2004_rule_batch_30_SAT_dat.k95.cnf	SAT TT=189.43	? (TO) TT=1200.05	SAT TT=1011.89	? (TO) TT=1200.09
IBM/3_11/ IBM_FV_2004_rule_batch_3_11_SAT_dat.k100.cnf		? (TO) TT=1200.05	? (TO) TT=1200.05	? (TO) TT=1200.1
IBM/3_11/ IBM_FV_2004_rule_batch_3_11_SAT_dat.k10.cnf	UNSAT TT=0.122	UNSAT TT=49.381	UNSAT TT=0.122	UNSAT TT=0.755
Bench name	Best results on this instance	built 2275_500	minisat2-core 061208	minisat2-simp 061208
IBM/3_11/ IBM_FV_2004_rule_batch_3_11_SAT_dat.k15.cnf	UNSAT TT=0.47	UNSAT TT=149.475	UNSAT TT=0.486	UNSAT TT=1.314
IBM/3_11/ IBM_FV_2004_rule_batch_3_11_SAT_dat.k20.cnf	UNSAT TT=1.385	UNSAT TT=190.577	UNSAT TT=1.783	UNSAT TT=2.226
IBM/3_11/ IBM_FV_2004_rule_batch_3_11_SAT_dat.k25.cnf	UNSAT TT=6.144	UNSAT TT=421.536	UNSAT TT=9.561	UNSAT TT=6.144
IBM/3_11/ IBM_FV_2004_rule_batch_3_11_SAT_dat.k30.cnf	UNSAT TT=15.833	UNSAT TT=515.319	UNSAT TT=25.275	UNSAT TT=15.833
IBM/3_11/ IBM_FV_2004_rule_batch_3_11_SAT_dat.k35.cnf	UNSAT TT=41.947	UNSAT TT=529.826	UNSAT TT=56.035	UNSAT TT=47.838
IBM/3_11/ IBM_FV_2004_rule_batch_3_11_SAT_dat.k40.cnf	UNSAT TT=105.315	UNSAT TT=658.444	UNSAT TT=466.786	UNSAT TT=126.785
IBM/3_11/ IBM_FV_2004_rule_batch_3_11_SAT_dat.k45.cnf	UNSAT TT=171.529	UNSAT TT=864.085	UNSAT TT=679.656	UNSAT TT=406.111
IBM/3_11/ IBM_FV_2004_rule_batch_3_11_SAT_dat.k50.cnf	UNSAT TT=321.096	? (TO) TT=1200.09	? (TO) TT=1200.11	UNSAT TT=804.324
IBM/3_11/ IBM_FV_2004_rule_batch_3_11_SAT_dat.k55.cnf	UNSAT TT=549.121	? (TO) TT=1200.06	? (TO) TT=1200.13	? (TO) TT=1200.13
IBM/3_11/ IBM_FV_2004_rule_batch_3_11_SAT_dat.k60.cnf	UNSAT TT=818.452	? (TO) TT=1200.08	? (TO) TT=1200.13	? (TO) TT=1200.05
Bench name	Best results on this instance	built 2275_500	minisat2-core 061208	minisat2-simp 061208
IBM/3_11/ IBM_FV_2004_rule_batch_3_11_SAT_dat.k65.cnf		? (TO) TT=1200.03	? (TO) TT=1200.07	? (TO) TT=1200.06
IBM/3_11/ IBM_FV_2004_rule_batch_3_11_SAT_dat.k70.cnf	UNSAT TT=1197.99	? (TO) TT=1200.1	? (TO) TT=1200.08	? (TO) TT=1200.11
IBM/3_11/ IBM_FV_2004_rule_batch_3_11_SAT_dat.k75.cnf		? (TO) TT=1200.02	? (TO) TT=1200.04	? (TO) TT=1200.09
IBM/3_11/ IBM_FV_2004_rule_batch_3_11_SAT_dat.k80.cnf		? (TO) TT=1200.08	? (TO) TT=1200.08	? (TO) TT=1200.07
IBM/3_11/ IBM_FV_2004_rule_batch_3_11_SAT_dat.k85.cnf		? (TO) TT=1200.04	? (TO) TT=1200.11	? (TO) TT=1200.11
IBM/3_11/ IBM_FV_2004_rule_batch_3_11_SAT_dat.k90.cnf		? (TO) TT=1200.02	? (TO) TT=1200.05	? (TO) TT=1200.09
IBM/3_11/ IBM_FV_2004_rule_batch_3_11_SAT_dat.k95.cnf		? (TO) TT=1200.01	? (TO) TT=1200.1	? (TO) TT=1200.15
IBM/7_02_3/ IBM_FV_2004_rule_batch_7_02_3_SAT_dat.k100.cnf	UNSAT TT=3.428	UNSAT TT=141.019	UNSAT TT=3.428	UNSAT TT=5.531
IBM/7_02_3/ IBM_FV_2004_rule_batch_7_02_3_SAT_dat.k15.cnf	UNSAT TT=0.257	UNSAT TT=6.957	UNSAT TT=0.257	UNSAT TT=0.294
IBM/7_02_3/ IBM_FV_2004_rule_batch_7_02_3_SAT_dat.k20.cnf	UNSAT TT=0.301	UNSAT TT=9.475	UNSAT TT=0.301	UNSAT TT=0.558
Bench name	Best results on this instance	built 2275_500	minisat2-core 061208	minisat2-simp 061208
IBM/7_02_3/ IBM_FV_2004_rule_batch_7_02_3_SAT_dat.k25.cnf	UNSAT TT=0.501	UNSAT TT=11.929	UNSAT TT=0.501	UNSAT TT=0.568
IBM/7_02_3/ IBM_FV_2004_rule_batch_7_02_3_SAT_dat.k30.cnf	UNSAT TT=0.696	UNSAT TT=17.388	UNSAT TT=0.76	UNSAT TT=0.841
IBM/7_02_3/ IBM_FV_2004_rule_batch_7_02_3_SAT_dat.k35.cnf	UNSAT TT=0.829	UNSAT TT=19.66	UNSAT TT=0.829	UNSAT TT=0.857
IBM/7_02_3/ IBM_FV_2004_rule_batch_7_02_3_SAT_dat.k40.cnf	UNSAT TT=0.844	UNSAT TT=19.693	UNSAT TT=0.844	UNSAT TT=1.249
IBM/7_02_3/ IBM_FV_2004_rule_batch_7_02_3_SAT_dat.k45.cnf	UNSAT TT=1.666	UNSAT TT=41.182	UNSAT TT=1.94	UNSAT TT=1.666
IBM/7_02_3/ IBM_FV_2004_rule_batch_7_02_3_SAT_dat.k50.cnf	UNSAT TT=0.943	UNSAT TT=28.891	UNSAT TT=0.943	UNSAT TT=1.625
IBM/7_02_3/ IBM_FV_2004_rule_batch_7_02_3_SAT_dat.k55.cnf	UNSAT TT=1.961	UNSAT TT=35.514	UNSAT TT=1.961	UNSAT TT=3.116
IBM/7_02_3/ IBM_FV_2004_rule_batch_7_02_3_SAT_dat.k60.cnf	UNSAT TT=1.935	UNSAT TT=49.334	UNSAT TT=2.957	UNSAT TT=2.185
IBM/7_02_3/ IBM_FV_2004_rule_batch_7_02_3_SAT_dat.k65.cnf	UNSAT TT=2.531	UNSAT TT=47.697	UNSAT TT=2.531	UNSAT TT=2.804
IBM/7_02_3/ IBM_FV_2004_rule_batch_7_02_3_SAT_dat.k70.cnf	UNSAT TT=2.828	UNSAT TT=42.289	UNSAT TT=2.828	UNSAT TT=3.479
Bench name	Best results on this instance	built 2275_500	minisat2-core 061208	minisat2-simp 061208
IBM/7_02_3/ IBM_FV_2004_rule_batch_7_02_3_SAT_dat.k75.cnf	UNSAT TT=1.827	UNSAT TT=58.926	UNSAT TT=1.827	UNSAT TT=4.111
IBM/7_02_3/ IBM_FV_2004_rule_batch_7_02_3_SAT_dat.k80.cnf	UNSAT TT=4.771	UNSAT TT=90.135	UNSAT TT=4.771	UNSAT TT=5.53
IBM/7_02_3/ IBM_FV_2004_rule_batch_7_02_3_SAT_dat.k85.cnf	UNSAT TT=4.637	UNSAT TT=85.262	UNSAT TT=6.275	UNSAT TT=4.677
IBM/7_02_3/ IBM_FV_2004_rule_batch_7_02_3_SAT_dat.k90.cnf	UNSAT TT=3.032	UNSAT TT=110.703	UNSAT TT=10.692	UNSAT TT=5.677
RW-ijcar2001/ 2bitadd_10.cnf	UNSAT TT=7.601	UNSAT TT=25.56	UNSAT TT=14.818	UNSAT TT=51.903
RW-ijcar2001/ 2bitadd_11.cnf	SAT TT=0.014	SAT TT=0.083	SAT TT=0.015	SAT TT=0.014
RW-ijcar2001/ 2bitadd_12.cnf	SAT TT=0.012	SAT TT=0.088	SAT TT=0.023	SAT TT=0.012
RW-ijcar2001/ 2bitcomp_5.cnf	SAT TT=0.001	SAT TT=0.012	SAT TT=0.004	SAT TT=0.005
RW-ijcar2001/ 2bitmax_6.cnf	SAT TT=0.003	SAT TT=0.027	SAT TT=0.003	SAT TT=0.008
RW-ijcar2001/ 3bitadd_31.cnf	SAT TT=3.834	SAT TT=92.622	SAT TT=519.995	? (TO) TT=1200.03
Bench name	Best results on this instance	built 2275_500	minisat2-core 061208	minisat2-simp 061208
RW-ijcar2001/ 3bitadd_32.cnf	SAT TT=1.408	SAT TT=68.2	SAT TT=564.882	SAT TT=3.542
sat-2002-beta/submitted/ aloul/Bart/ bart10.shuffled.cnf	SAT TT=0.002	SAT TT=0.104	SAT TT=0.074	SAT TT=0.108
sat-2002-beta/submitted/ aloul/Bart/ bart11.shuffled.cnf	SAT TT=0.029	SAT TT=0.035	SAT TT=0.038	SAT TT=0.029
sat-2002-beta/submitted/ aloul/Bart/ bart12.shuffled.cnf	SAT TT=0.016	SAT TT=382.052	SAT TT=1.407	SAT TT=405.118
sat-2002-beta/submitted/ aloul/Bart/ bart13.shuffled.cnf	SAT TT=0.002	SAT TT=0.079	SAT TT=16.765	SAT TT=0.075
sat-2002-beta/submitted/ aloul/Bart/ bart14.shuffled.cnf	SAT TT=0.046	? (TO) TT=1200.07	SAT TT=65.473	? (TO) TT=1200.04
sat-2002-beta/submitted/ aloul/Bart/ bart15.shuffled.cnf	SAT TT=0.011	? (TO) TT=1200.03	? (TO) TT=1200.05	? (TO) TT=1200.06
sat-2002-beta/submitted/ aloul/Bart/ bart16.shuffled.cnf	SAT TT=0.107	SAT TT=0.113	SAT TT=0.559	SAT TT=0.107
sat-2002-beta/submitted/ aloul/Bart/ bart17.shuffled.cnf	SAT TT=0.007	SAT TT=76.766	SAT TT=39.302	SAT TT=82.887
sat-2002-beta/submitted/ aloul/Bart/ bart18.shuffled.cnf	SAT TT=0.177	? (TO) TT=1200.05	? (TO) TT=1200.04	? (TO) TT=1200.09
Bench name	Best results on this instance	built 2275_500	minisat2-core 061208	minisat2-simp 061208
sat-2002-beta/submitted/ aloul/Bart/ bart19.shuffled.cnf	SAT TT=0.065	? (TO) TT=1200.09	? (TO) TT=1200.04	? (TO) TT=1200.03
sat-2002-beta/submitted/ aloul/Bart/ bart20.shuffled.cnf	SAT TT=0.159	? (TO) TT=1200.1	? (TO) TT=1200.04	? (TO) TT=1200.11
sat-2002-beta/submitted/ aloul/Bart/ bart21.shuffled.cnf	SAT TT=0.074	? (TO) TT=1200.08	? (TO) TT=1200.02	? (TO) TT=1200.1
sat-2002-beta/submitted/ aloul/Bart/ bart22.shuffled.cnf	SAT TT=0.072	? (TO) TT=1200.1	? (TO) TT=1200.02	? (TO) TT=1200.09
sat-2002-beta/submitted/ aloul/Bart/ bart23.shuffled.cnf	SAT TT=0.079	? (TO) TT=1200.12	? (TO) TT=1200.04	? (TO) TT=1200.06
sat-2002-beta/submitted/ aloul/Bart/ bart24.shuffled.cnf	SAT TT=0.074	? (TO) TT=1200.08	? (TO) TT=1200.07	? (TO) TT=1200.04
sat-2002-beta/submitted/ aloul/Bart/ bart25.shuffled.cnf	SAT TT=0.072	? (TO) TT=1200.09	? (TO) TT=1200.11	? (TO) TT=1200.09
sat-2002-beta/submitted/ aloul/Bart/ bart26.shuffled.cnf	SAT TT=0.26	? (TO) TT=1200.11	? (TO) TT=1200.05	? (TO) TT=1200.06
sat-2002-beta/submitted/ aloul/Bart/ bart27.shuffled.cnf	SAT TT=0.314	? (TO) TT=1200.1	? (TO) TT=1200.03	? (TO) TT=1200.1
sat-2002-beta/submitted/ aloul/Bart/ bart28.shuffled.cnf	SAT TT=0.13	? (TO) TT=1200.09	? (TO) TT=1200.06	? (TO) TT=1200.1
Bench name	Best results on this instance	built 2275_500	minisat2-core 061208	minisat2-simp 061208
sat-2002-beta/submitted/ aloul/Bart/ bart29.shuffled.cnf	SAT TT=0.254	? (TO) TT=1200.08	? (TO) TT=1200.03	? (TO) TT=1200.11
sat-2002-beta/submitted/ aloul/Bart/ bart30.shuffled.cnf	SAT TT=0.124	? (TO) TT=1200.1	? (TO) TT=1200.07	? (TO) TT=1200.03
sat-2002-beta/submitted/ aloul/Homer/ homer06.shuffled.cnf	UNSAT TT=2.869	UNSAT TT=2.892	UNSAT TT=3.324	UNSAT TT=2.959
sat-2002-beta/submitted/ aloul/Homer/ homer07.shuffled.cnf	UNSAT TT=5.08	UNSAT TT=13.696	UNSAT TT=11.247	UNSAT TT=14.52
sat-2002-beta/submitted/ aloul/Homer/ homer08.shuffled.cnf	UNSAT TT=2.527	UNSAT TT=18.643	UNSAT TT=20.234	UNSAT TT=19.351
sat-2002-beta/submitted/ aloul/Homer/ homer09.shuffled.cnf	UNSAT TT=12.525	UNSAT TT=55.99	UNSAT TT=81.698	UNSAT TT=57.163
sat-2002-beta/submitted/ aloul/Homer/ homer10.shuffled.cnf	UNSAT TT=3.584	UNSAT TT=101.102	UNSAT TT=197.592	UNSAT TT=95.819
sat-2002-beta/submitted/ aloul/Homer/ homer11.shuffled.cnf	UNSAT TT=60.486	UNSAT TT=70.111	UNSAT TT=84.236	UNSAT TT=76.207
sat-2002-beta/submitted/ aloul/Homer/ homer12.shuffled.cnf	UNSAT TT=153.713	UNSAT TT=157.82	UNSAT TT=177.259	UNSAT TT=153.713
sat-2002-beta/submitted/ aloul/Homer/ homer13.shuffled.cnf	UNSAT TT=97.905	UNSAT TT=276.049	UNSAT TT=313.507	UNSAT TT=280.985
Bench name	Best results on this instance	built 2275_500	minisat2-core 061208	minisat2-simp 061208
sat-2002-beta/submitted/ aloul/Homer/ homer14.shuffled.cnf	UNSAT TT=566.094	UNSAT TT=566.094	UNSAT TT=815.847	UNSAT TT=620.053
sat-2002-beta/submitted/ aloul/Homer/ homer15.shuffled.cnf	UNSAT TT=809.776	? (TO) TT=1200.05	? (TO) TT=1200.03	? (TO) TT=1200.01
sat-2002-beta/submitted/ aloul/Homer/ homer16.shuffled.cnf	UNSAT TT=789.111	UNSAT TT=789.195	UNSAT TT=817.685	UNSAT TT=811.966
sat-2002-beta/submitted/ aloul/Homer/ homer17.shuffled.cnf	SIGNAL TT=0.008	? (TO) TT=1200.04	? (TO) TT=1200.07	? (TO) TT=1200.09
sat-2002-beta/submitted/ aloul/Homer/ homer18.shuffled.cnf	SIGNAL TT=0.011	? (TO) TT=1200.04	? (TO) TT=1200.05	? (TO) TT=1200.08
sat-2002-beta/submitted/ aloul/Homer/ homer19.shuffled.cnf	SIGNAL TT=0.012	? (TO) TT=1200.1	? (TO) TT=1200.05	? (TO) TT=1200.1
sat-2002-beta/submitted/ aloul/Homer/ homer20.shuffled.cnf	SIGNAL TT=0.014	? (TO) TT=1200.03	? (TO) TT=1200.06	? (TO) TT=1200.08
sat-2002-beta/submitted/ aloul/Lisa/ lisa19_0_a.shuffled.cnf	SAT TT=1.03	SAT TT=45.844	SAT TT=48.682	SAT TT=1.03
sat-2002-beta/submitted/ aloul/Lisa/ lisa19_1_a.shuffled.cnf	SAT TT=17.747	SAT TT=55.037	SAT TT=47.327	SAT TT=88.782
sat-2002-beta/submitted/ aloul/Lisa/ lisa19_3_a.shuffled.cnf	SAT TT=9.226	SAT TT=33.396	SAT TT=73.771	SAT TT=68.574
Bench name	Best results on this instance	built 2275_500	minisat2-core 061208	minisat2-simp 061208
sat-2002-beta/submitted/ aloul/Lisa/ lisa19_99_a.shuffled.cnf	SAT TT=0.103	SAT TT=33.599	SAT TT=66.39	SAT TT=65.895
sat-2002-beta/submitted/ aloul/Lisa/ lisa20_0_a.shuffled.cnf	SAT TT=1.401	SAT TT=56.93	SAT TT=23.479	SAT TT=73.499
sat-2002-beta/submitted/ aloul/Lisa/ lisa20_1_a.shuffled.cnf	SAT TT=5.91	SAT TT=19.71	SAT TT=10.22	SAT TT=86.352
sat-2002-beta/submitted/ aloul/Lisa/ lisa20_2_a.shuffled.cnf	SAT TT=5.36	SAT TT=26.985	SAT TT=33.354	SAT TT=12.083
sat-2002-beta/submitted/ aloul/Lisa/ lisa20_3_a.shuffled.cnf	SAT TT=1.543	SAT TT=10.742	SAT TT=27.145	SAT TT=13.203
sat-2002-beta/submitted/ aloul/Lisa/ lisa20_99_a.shuffled.cnf	SAT TT=3.686	SAT TT=11.237	SAT TT=12.074	SAT TT=10.634
sat-2002-beta/submitted/ aloul/Lisa/ lisa21_0_a.shuffled.cnf	SAT TT=28.313	SAT TT=28.313	SAT TT=109.923	SAT TT=265.927
sat-2002-beta/submitted/ aloul/Lisa/ lisa21_1_a.shuffled.cnf	SAT TT=14.225	SAT TT=42.37	SAT TT=43.739	SAT TT=48.386
sat-2002-beta/submitted/ aloul/Lisa/ lisa21_2_a.shuffled.cnf	SAT TT=117.772	SAT TT=317.464	SAT TT=320.199	SAT TT=117.772
sat-2002-beta/submitted/ aloul/Lisa/ lisa21_3_a.shuffled.cnf	SAT TT=9.179	SAT TT=182.542	SAT TT=245.72	SAT TT=238.841
Bench name	Best results on this instance	built 2275_500	minisat2-core 061208	minisat2-simp 061208
sat-2002-beta/submitted/ aloul/Lisa/ lisa21_99_a.shuffled.cnf	SAT TT=4.772	SAT TT=245.504	SAT TT=316.067	SAT TT=397.589
sat-2002-beta/submitted/ dellacherie/cache/ cache_05.shuffled.cnf	SAT TT=7.701	SAT TT=503.004	SAT TT=118.813	SAT TT=7.701
sat-2002-beta/submitted/ dellacherie/cache/ cache_10.shuffled.cnf	SAT TT=16.027	SAT TT=508.676	SAT TT=638.451	SAT TT=16.027
sat-2002-beta/submitted/ dellacherie/comb/ comb1.shuffled.cnf		? (TO) TT=1200.09	? (TO) TT=1200.03	? (TO) TT=1200.09
sat-2002-beta/submitted/ dellacherie/comb/ comb2.shuffled.cnf	UNSAT TT=65.099	UNSAT TT=563.784	UNSAT TT=249.865	UNSAT TT=65.099
sat-2002-beta/submitted/ dellacherie/comb/ comb3.shuffled.cnf	UNSAT TT=30.211	UNSAT TT=30.211	UNSAT TT=116.841	UNSAT TT=45.044
sat-2002-beta/submitted/ dellacherie/f2clk/ f2clk_30.shuffled.cnf	UNSAT TT=6.063	UNSAT TT=16.51	UNSAT TT=24.26	UNSAT TT=7.598
sat-2002-beta/submitted/ dellacherie/f2clk/ f2clk_40.shuffled.cnf	UNSAT TT=93.887	UNSAT TT=129.075	UNSAT TT=312.5	UNSAT TT=103.198
sat-2002-beta/submitted/ dellacherie/f2clk/ f2clk_50.shuffled.cnf	UNSAT TT=684.172	? (TO) TT=1200.08	? (TO) TT=1200.05	? (TO) TT=1200.09
sat-2002-beta/submitted/ dellacherie/fifo8/ fifo8_100.shuffled.cnf	UNSAT TT=4.004	UNSAT TT=34.531	UNSAT TT=11.484	UNSAT TT=4.004
Bench name	Best results on this instance	built 2275_500	minisat2-core 061208	minisat2-simp 061208
sat-2002-beta/submitted/ dellacherie/fifo8/ fifo8_200.shuffled.cnf	UNSAT TT=16.735	UNSAT TT=120.476	UNSAT TT=130.427	UNSAT TT=16.9
sat-2002-beta/submitted/ dellacherie/fifo8/ fifo8_300.shuffled.cnf	UNSAT TT=59.622	UNSAT TT=204.164	UNSAT TT=212.891	UNSAT TT=61.862
sat-2002-beta/submitted/ dellacherie/fifo8/ fifo8_400.shuffled.cnf	UNSAT TT=118.474	UNSAT TT=437.649	UNSAT TT=748.404	UNSAT TT=160.368
sat-2002-beta/submitted/ dellacherie/ip/ ip25.shuffled.cnf	UNSAT TT=2.777	UNSAT TT=37.377	UNSAT TT=9.244	UNSAT TT=2.777
sat-2002-beta/submitted/ dellacherie/ip/ ip36.shuffled.cnf	UNSAT TT=9.56	UNSAT TT=59.94	UNSAT TT=56.609	UNSAT TT=9.826
sat-2002-beta/submitted/ dellacherie/ip/ ip38.shuffled.cnf	UNSAT TT=5.713	UNSAT TT=89.788	UNSAT TT=46.208	UNSAT TT=12.518
sat-2002-beta/submitted/ dellacherie/ip/ ip50.shuffled.cnf	UNSAT TT=25.865	UNSAT TT=125.247	UNSAT TT=79.616	UNSAT TT=33.051
sat-2002-beta/submitted/ dellacherie/w08/ w08_10.shuffled.cnf	UNSAT TT=16.565	UNSAT TT=502.908	UNSAT TT=27.511	UNSAT TT=16.565
sat-2002-beta/submitted/ dellacherie/w08/ w08_14.shuffled.cnf	SAT TT=132.663	SAT TT=662.928	SAT TT=620.535	SAT TT=132.663
sat-2002-beta/submitted/ dellacherie/w08/ w08_15.shuffled.cnf	SAT TT=137.154	SAT TT=573.478	SAT TT=717.846	SAT TT=141.759
Bench name	Best results on this instance	built 2275_500	minisat2-core 061208	minisat2-simp 061208
sat-2002-beta/submitted/ dellacherie/w10/ w10_45.shuffled.cnf	UNSAT TT=1.11	UNSAT TT=42.2	UNSAT TT=3.228	UNSAT TT=1.11
sat-2002-beta/submitted/ dellacherie/w10/ w10_60.shuffled.cnf	UNSAT TT=3.268	UNSAT TT=183.334	UNSAT TT=15.493	UNSAT TT=3.268
sat-2002-beta/submitted/ dellacherie/w10/ w10_70.shuffled.cnf	UNSAT TT=7.917	UNSAT TT=194.995	UNSAT TT=32.571	UNSAT TT=7.917
sat-2002-beta/submitted/ dellacherie/w10/ w10_75.shuffled.cnf	SAT TT=3.363	SAT TT=277.496	SAT TT=29.651	SAT TT=6.049
sat-2002-beta/ submitted/goldberg/ bmc1/23.shuffled.cnf	UNSAT TT=0.003	UNSAT TT=0.01	UNSAT TT=0.005	UNSAT TT=0.006
sat-2002-beta/ submitted/goldberg/ bmc1/42.shuffled.cnf	UNSAT TT=0.006	UNSAT TT=0.01	UNSAT TT=0.01	UNSAT TT=0.009
sat-2002-beta/ submitted/goldberg/ bmc1/4.shuffled.cnf	UNSAT TT=0.003	UNSAT TT=0.009	UNSAT TT=0.005	UNSAT TT=0.007
sat-2002-beta/ submitted/goldberg/ bmc1/61.shuffled.cnf	UNSAT TT=0.006	UNSAT TT=0.011	UNSAT TT=0.009	UNSAT TT=0.009
sat-2002-beta/submitted/ goldberg/bmc2/ cnt05.shuffled.cnf	SAT TT=0.007	SAT TT=0.023	SAT TT=0.011	SAT TT=0.01
sat-2002-beta/submitted/ goldberg/bmc2/ cnt06.shuffled.cnf	SAT TT=0.029	SAT TT=0.059	SAT TT=0.049	SAT TT=0.039
Bench name	Best results on this instance	built 2275_500	minisat2-core 061208	minisat2-simp 061208
sat-2002-beta/submitted/ goldberg/bmc2/ cnt07.shuffled.cnf	SAT TT=0.183	SAT TT=0.25	SAT TT=0.248	SAT TT=0.183
sat-2002-beta/submitted/ goldberg/bmc2/ cnt08.shuffled.cnf	SAT TT=1.396	SAT TT=1.735	SAT TT=2.044	SAT TT=1.396
sat-2002-beta/submitted/ goldberg/bmc2/ cnt09.shuffled.cnf	SAT TT=9.334	SAT TT=11.003	SAT TT=19.196	SAT TT=9.77
sat-2002-beta/submitted/ goldberg/bmc2/ cnt10.shuffled.cnf	SAT TT=134.423	SAT TT=164.292	SAT TT=206.468	SAT TT=175.682
sat-2002-beta/submitted/ goldberg/fpga_routing/ 9symml_gr_2pin_w5.shuffled.cnf	UNSAT TT=0.057	UNSAT TT=21.027	UNSAT TT=0.057	UNSAT TT=0.409
sat-2002-beta/submitted/ goldberg/fpga_routing/ 9symml_gr_2pin_w6.shuffled.cnf	SAT TT=0.177	SAT TT=24.46	SAT TT=0.436	SAT TT=1.001
sat-2002-beta/submitted/ goldberg/fpga_routing/ 9symml_gr_rcs_w5.shuffled.cnf	UNSAT TT=0.026	UNSAT TT=0.459	UNSAT TT=0.026	UNSAT TT=0.186
sat-2002-beta/submitted/ goldberg/fpga_routing/ 9symml_gr_rcs_w6.shuffled.cnf	SAT TT=0.028	SAT TT=0.528	SAT TT=0.028	SAT TT=0.231
sat-2002-beta/submitted/ goldberg/fpga_routing/ alu2_gr_rcs_w7.shuffled.cnf	UNSAT TT=1.083	UNSAT TT=7.048	UNSAT TT=3.074	UNSAT TT=7.146
sat-2002-beta/submitted/ goldberg/fpga_routing/ alu2_gr_rcs_w8.shuffled.cnf	SAT TT=0.096	SAT TT=1.795	SAT TT=0.096	SAT TT=0.872
Bench name	Best results on this instance	built 2275_500	minisat2-core 061208	minisat2-simp 061208
sat-2002-beta/submitted/ goldberg/fpga_routing/ apex7_gr_2pin_w4.shuffled.cnf	UNSAT TT=0.023	UNSAT TT=0.164	UNSAT TT=0.023	UNSAT TT=0.068
sat-2002-beta/submitted/ goldberg/fpga_routing/ apex7_gr_2pin_w5.shuffled.cnf	SAT TT=0.056	SAT TT=3.506	SAT TT=0.367	SAT TT=0.383
sat-2002-beta/submitted/ goldberg/fpga_routing/ apex7_gr_rcs_w5.shuffled.cnf	SAT TT=0.013	SAT TT=0.146	SAT TT=0.013	SAT TT=0.061
sat-2002-beta/submitted/ goldberg/fpga_routing/ c499_gr_2pin_w5.shuffled.cnf	UNSAT TT=0.076	UNSAT TT=5.683	UNSAT TT=0.26	UNSAT TT=0.204
sat-2002-beta/submitted/ goldberg/fpga_routing/ c499_gr_2pin_w6.shuffled.cnf	SAT TT=0.381	SAT TT=6.174	SAT TT=3.7	SAT TT=1.009
sat-2002-beta/submitted/ goldberg/fpga_routing/ c499_gr_rcs_w5.shuffled.cnf	UNSAT TT=0.027	UNSAT TT=0.21	UNSAT TT=0.029	UNSAT TT=0.109
sat-2002-beta/submitted/ goldberg/fpga_routing/ c499_gr_rcs_w6.shuffled.cnf	SAT TT=0.021	SAT TT=0.221	SAT TT=0.021	SAT TT=0.102
sat-2002-beta/submitted/ goldberg/fpga_routing/ c880_gr_rcs_w5.shuffled.cnf	UNSAT TT=0.045	UNSAT TT=0.709	UNSAT TT=0.045	UNSAT TT=0.341
sat-2002-beta/submitted/ goldberg/fpga_routing/ c880_gr_rcs_w6.shuffled.cnf	UNSAT TT=0.773	UNSAT TT=46.727	UNSAT TT=62.504	UNSAT TT=47.905
sat-2002-beta/submitted/ goldberg/fpga_routing/ c880_gr_rcs_w7.shuffled.cnf	SAT TT=0.098	SAT TT=0.984	SAT TT=0.098	SAT TT=0.475
Bench name	Best results on this instance	built 2275_500	minisat2-core 061208	minisat2-simp 061208
sat-2002-beta/submitted/ goldberg/fpga_routing/ example2_gr_2pin_w5.shuffled.cnf	UNSAT TT=0.098	UNSAT TT=19.817	UNSAT TT=0.544	UNSAT TT=0.809
sat-2002-beta/submitted/ goldberg/fpga_routing/ example2_gr_2pin_w6.shuffled.cnf	SAT TT=0.495	SAT TT=27.118	SAT TT=5.132	SAT TT=1.885
sat-2002-beta/submitted/ goldberg/fpga_routing/ example2_gr_rcs_w5.shuffled.cnf	UNSAT TT=0.03	UNSAT TT=0.33	UNSAT TT=0.03	UNSAT TT=0.157
sat-2002-beta/submitted/ goldberg/fpga_routing/ example2_gr_rcs_w6.shuffled.cnf	SAT TT=0.031	SAT TT=0.39	SAT TT=0.031	SAT TT=0.17
sat-2002-beta/submitted/ goldberg/fpga_routing/ term1_gr_2pin_w3.shuffled.cnf	UNSAT TT=0.009	UNSAT TT=0.014	UNSAT TT=0.011	UNSAT TT=0.018
sat-2002-beta/submitted/ goldberg/fpga_routing/ term1_gr_2pin_w4.shuffled.cnf	SAT TT=0.016	SAT TT=0.074	SAT TT=0.073	SAT TT=0.056
sat-2002-beta/submitted/ goldberg/fpga_routing/ term1_gr_rcs_w3.shuffled.cnf	UNSAT TT=0.005	UNSAT TT=0.024	UNSAT TT=0.007	UNSAT TT=0.015
sat-2002-beta/submitted/ goldberg/fpga_routing/ term1_gr_rcs_w4.shuffled.cnf	SAT TT=0.007	SAT TT=0.032	SAT TT=0.008	SAT TT=0.018
sat-2002-beta/submitted/ goldberg/fpga_routing/ too_large_gr_rcs_w5.shuffled.cnf	UNSAT TT=0.037	UNSAT TT=0.517	UNSAT TT=0.037	UNSAT TT=0.238
sat-2002-beta/submitted/ goldberg/fpga_routing/ too_large_gr_rcs_w6.shuffled.cnf	UNSAT TT=0.105	UNSAT TT=1.01	UNSAT TT=0.263	UNSAT TT=0.645
Bench name	Best results on this instance	built 2275_500	minisat2-core 061208	minisat2-simp 061208
sat-2002-beta/submitted/ goldberg/fpga_routing/ too_large_gr_rcs_w7.shuffled.cnf	SAT TT=0.061	SAT TT=0.778	SAT TT=0.061	SAT TT=0.379
sat-2002-beta/submitted/ goldberg/fpga_routing/ too_large_gr_rcs_w8.shuffled.cnf	SAT TT=0.052	SAT TT=0.869	SAT TT=0.052	SAT TT=0.407
sat-2002-beta/submitted/ goldberg/fpga_routing/ too_large_gr_rcs_w9.shuffled.cnf	SAT TT=0.059	SAT TT=0.974	SAT TT=0.059	SAT TT=0.465
sat-2002-beta/submitted/ goldberg/fpga_routing/ vda_gr_rcs_w7.shuffled.cnf	UNSAT TT=0.802	UNSAT TT=12.83	UNSAT TT=5.149	UNSAT TT=12.986
sat-2002-beta/submitted/ goldberg/fpga_routing/ vda_gr_rcs_w8.shuffled.cnf	SAT TT=11.73	SAT TT=60.723	SAT TT=44.485	SAT TT=61.705
sat-2002-beta/submitted/ goldberg/fpga_routing/ vda_gr_rcs_w9.shuffled.cnf	SAT TT=0.16	SAT TT=3.168	SAT TT=0.16	SAT TT=1.438
sat-2002-beta/submitted/ nam/fpga-routing/ k2fix_gr_2pinvar_w8.shuffled.cnf	UNSAT TT=1.654	? (TO) TT=1200.04	UNSAT TT=1.654	? (TO) TT=1200.11
sat-2002-beta/submitted/ nam/fpga-routing/ k2fix_gr_2pinvar_w9.shuffled.cnf	UNSAT TT=24.923	UNSAT TT=725.533	UNSAT TT=163.763	UNSAT TT=110.05
sat-2002-beta/submitted/nam/fpga-routing/ k2fix_gr_2pin_w8.shuffled.cnf	SIGNAL TT=1.103	? (TO) TT=1200.03	? (TO) TT=1200.05	? (TO) TT=1200.03
sat-2002-beta/submitted/nam/fpga-routing/ k2fix_gr_2pin_w9.shuffled.cnf	UNSAT TT=242.914	UNSAT TT=689.072	? (TO) TT=1200.11	? (TO) TT=1200.04
Bench name	Best results on this instance	built 2275_500	minisat2-core 061208	minisat2-simp 061208
sat-2002-beta/submitted/nam/fpga-routing/ k2fix_gr_rcs_w8.shuffled.cnf	SIGNAL TT=1.799	? (TO) TT=1200.01	? (TO) TT=1200.1	? (TO) TT=1200.09
sat-2002-beta/submitted/nam/fpga-routing/ k2fix_gr_rcs_w9.shuffled.cnf	UNSAT TT=76.798	UNSAT TT=485.326	UNSAT TT=760.758	UNSAT TT=500.413
sat-2002-beta/submitted/ pehoushek/ezfact/ ezfact16_10.shuffled.cnf	UNSAT TT=0.004	UNSAT TT=0.006	UNSAT TT=0.012	UNSAT TT=0.007
sat-2002-beta/submitted/ pehoushek/ezfact/ ezfact16_1.shuffled.cnf	UNSAT TT=0.005	UNSAT TT=0.01	UNSAT TT=0.014	UNSAT TT=0.008
sat-2002-beta/submitted/ pehoushek/ezfact/ ezfact16_2.shuffled.cnf	UNSAT TT=0.004	UNSAT TT=0.009	UNSAT TT=0.006	UNSAT TT=0.007
sat-2002-beta/submitted/ pehoushek/ezfact/ ezfact16_3.shuffled.cnf	UNSAT TT=0.004	UNSAT TT=0.009	UNSAT TT=0.009	UNSAT TT=0.008
sat-2002-beta/submitted/ pehoushek/ezfact/ ezfact16_4.shuffled.cnf	UNSAT TT=0.003	UNSAT TT=0.009	UNSAT TT=0.013	UNSAT TT=0.008
sat-2002-beta/submitted/ pehoushek/ezfact/ ezfact16_5.shuffled.cnf	UNSAT TT=0.004	UNSAT TT=0.009	UNSAT TT=0.004	UNSAT TT=0.007
sat-2002-beta/submitted/ pehoushek/ezfact/ ezfact16_6.shuffled.cnf	UNSAT TT=0.003	UNSAT TT=0.009	UNSAT TT=0.006	UNSAT TT=0.006
sat-2002-beta/submitted/ pehoushek/ezfact/ ezfact16_7.shuffled.cnf	UNSAT TT=0.004	UNSAT TT=0.007	UNSAT TT=0.013	UNSAT TT=0.008
Bench name	Best results on this instance	built 2275_500	minisat2-core 061208	minisat2-simp 061208
sat-2002-beta/submitted/ pehoushek/ezfact/ ezfact16_8.shuffled.cnf	UNSAT TT=0.005	UNSAT TT=0.008	UNSAT TT=0.008	UNSAT TT=0.008
sat-2002-beta/submitted/ pehoushek/ezfact/ ezfact16_9.shuffled.cnf	UNSAT TT=0.006	UNSAT TT=0.008	UNSAT TT=0.009	UNSAT TT=0.008
sat-2002-beta/submitted/ pehoushek/ezfact/ ezfact256_1.shuffled.cnf		? (TO) TT=1200.05	? (TO) TT=1200.11	? (TO) TT=1200.15
sat-2002-beta/submitted/ pehoushek/ezfact/ ezfact32_10.shuffled.cnf	SAT TT=0.043	SAT TT=0.309	SAT TT=0.463	SAT TT=0.043
sat-2002-beta/submitted/ pehoushek/ezfact/ ezfact32_1.shuffled.cnf	SAT TT=0.021	SAT TT=0.065	SAT TT=0.021	SAT TT=0.026
sat-2002-beta/submitted/ pehoushek/ezfact/ ezfact32_2.shuffled.cnf	SAT TT=0.025	SAT TT=0.084	SAT TT=0.151	SAT TT=0.031
sat-2002-beta/submitted/ pehoushek/ezfact/ ezfact32_3.shuffled.cnf	SAT TT=0.021	SAT TT=0.163	SAT TT=0.021	SAT TT=0.026
sat-2002-beta/submitted/ pehoushek/ezfact/ ezfact32_4.shuffled.cnf	SAT TT=0.031	SAT TT=0.355	SAT TT=0.501	SAT TT=0.031
sat-2002-beta/submitted/ pehoushek/ezfact/ ezfact32_5.shuffled.cnf	SAT TT=0.033	SAT TT=0.363	SAT TT=0.043	SAT TT=0.039
sat-2002-beta/submitted/ pehoushek/ezfact/ ezfact32_6.shuffled.cnf	SAT TT=0.03	SAT TT=0.362	SAT TT=0.87	SAT TT=0.03
Bench name	Best results on this instance	built 2275_500	minisat2-core 061208	minisat2-simp 061208
sat-2002-beta/submitted/ pehoushek/ezfact/ ezfact32_7.shuffled.cnf	SAT TT=0.026	SAT TT=0.375	SAT TT=0.355	SAT TT=0.035
sat-2002-beta/submitted/ pehoushek/ezfact/ ezfact32_8.shuffled.cnf	SAT TT=0.017	SAT TT=0.388	SAT TT=0.017	SAT TT=0.025
sat-2002-beta/submitted/ pehoushek/ezfact/ ezfact32_9.shuffled.cnf	SAT TT=0.046	SAT TT=0.395	SAT TT=0.059	SAT TT=0.048
sat-2002-beta/submitted/ pehoushek/ezfact/ ezfact48_10.shuffled.cnf	UNSAT TT=18.949	UNSAT TT=19.145	UNSAT TT=50.705	UNSAT TT=20.544
sat-2002-beta/submitted/ pehoushek/ezfact/ ezfact48_1.shuffled.cnf	UNSAT TT=1.959	UNSAT TT=2.648	UNSAT TT=12.804	UNSAT TT=1.959
sat-2002-beta/submitted/ pehoushek/ezfact/ ezfact48_2.shuffled.cnf	UNSAT TT=2.626	UNSAT TT=3.392	UNSAT TT=5.642	UNSAT TT=2.626
sat-2002-beta/submitted/ pehoushek/ezfact/ ezfact48_3.shuffled.cnf	UNSAT TT=5.694	UNSAT TT=6.008	UNSAT TT=12.801	UNSAT TT=6.191
sat-2002-beta/submitted/ pehoushek/ezfact/ ezfact48_4.shuffled.cnf	UNSAT TT=9.343	UNSAT TT=10.231	UNSAT TT=16.119	UNSAT TT=10.16
sat-2002-beta/submitted/ pehoushek/ezfact/ ezfact48_5.shuffled.cnf	UNSAT TT=11.719	UNSAT TT=11.757	UNSAT TT=25.267	UNSAT TT=13.78
sat-2002-beta/submitted/ pehoushek/ezfact/ ezfact48_6.shuffled.cnf	UNSAT TT=15.403	UNSAT TT=16.507	UNSAT TT=31.086	UNSAT TT=29.121
Bench name	Best results on this instance	built 2275_500	minisat2-core 061208	minisat2-simp 061208
sat-2002-beta/submitted/ pehoushek/ezfact/ ezfact48_7.shuffled.cnf	UNSAT TT=15.76	UNSAT TT=17.016	UNSAT TT=57.048	UNSAT TT=25.449
sat-2002-beta/submitted/ pehoushek/ezfact/ ezfact48_8.shuffled.cnf	UNSAT TT=19.655	UNSAT TT=19.655	UNSAT TT=48.603	UNSAT TT=20.114
sat-2002-beta/submitted/ pehoushek/ezfact/ ezfact48_9.shuffled.cnf	UNSAT TT=16.896	UNSAT TT=18.271	UNSAT TT=46.165	UNSAT TT=23.44
sat-2002-beta/submitted/ pehoushek/ezfact/ ezfact64_10.shuffled.cnf		? (TO) TT=1200.14	? (TO) TT=1200.02	? (TO) TT=1200.04
sat-2002-beta/submitted/ pehoushek/ezfact/ ezfact64_1.shuffled.cnf	SAT TT=365.177	SAT TT=597.517	? (TO) TT=1200.12	SAT TT=365.177
sat-2002-beta/submitted/ pehoushek/ezfact/ ezfact64_2.shuffled.cnf	SAT TT=339.256	SAT TT=353.409	? (TO) TT=1200.09	SAT TT=971.238
sat-2002-beta/submitted/ pehoushek/ezfact/ ezfact64_3.shuffled.cnf	SAT TT=526.674	SAT TT=526.674	? (TO) TT=1200.1	? (TO) TT=1200.1
sat-2002-beta/submitted/ pehoushek/ezfact/ ezfact64_4.shuffled.cnf	SAT TT=654.527	SAT TT=1166.91	? (TO) TT=1200.15	SAT TT=654.527
sat-2002-beta/submitted/ pehoushek/ezfact/ ezfact64_5.shuffled.cnf		? (TO) TT=1200.07	? (TO) TT=1200.1	? (TO) TT=1200.06
sat-2002-beta/submitted/ pehoushek/ezfact/ ezfact64_6.shuffled.cnf		? (TO) TT=1200.11	? (TO) TT=1200.05	? (TO) TT=1200.05
Bench name	Best results on this instance	built 2275_500	minisat2-core 061208	minisat2-simp 061208
sat-2002-beta/submitted/ pehoushek/ezfact/ ezfact64_7.shuffled.cnf		? (TO) TT=1200.13	? (TO) TT=1200.08	? (TO) TT=1200.1
sat-2002-beta/submitted/ pehoushek/ezfact/ ezfact64_8.shuffled.cnf	SAT TT=1132.07	SAT TT=1132.07	? (TO) TT=1200.02	? (TO) TT=1200.06
sat-2002-beta/submitted/ pehoushek/ezfact/ ezfact64_9.shuffled.cnf		? (TO) TT=1200.07	? (TO) TT=1200.11	? (TO) TT=1200.1
sat-2002-beta/submitted/simon/ satex-challenges/ 2dlx_ca_mc_ex_bp_f.shuffled.cnf	UNSAT TT=0.984	UNSAT TT=30.566	UNSAT TT=1.577	UNSAT TT=0.984
sat-2002-beta/submitted/simon/ satex-challenges/ 2dlx_cc_mc_ex_bp_f.shuffled.cnf	UNSAT TT=2.604	UNSAT TT=107.405	UNSAT TT=2.83	UNSAT TT=3.072
sat-2002-beta/submitted/simon/ satex-challenges/3bitadd_31.shuffled.cnf	SAT TT=11.071	? (TO) TT=1200.03	? (TO) TT=1200.07	? (TO) TT=1200.08
sat-2002-beta/submitted/ velev/fvp-unsat.2.0/ 2pipe_1_ooo.shuffled.cnf	UNSAT TT=0.074	UNSAT TT=1.034	UNSAT TT=0.113	UNSAT TT=0.195
sat-2002-beta/submitted/ velev/fvp-unsat.2.0/ 2pipe_2_ooo.shuffled.cnf	UNSAT TT=0.192	UNSAT TT=1.798	UNSAT TT=0.353	UNSAT TT=0.456
sat-2002-beta/submitted/ velev/ fvp-unsat.2.0/2pipe.shuffled.cnf	UNSAT TT=0.108	UNSAT TT=1.537	UNSAT TT=0.363	UNSAT TT=0.289
sat-2002-beta/submitted/ velev/fvp-unsat.2.0/ 3pipe_1_ooo.shuffled.cnf	UNSAT TT=1.433	UNSAT TT=29.968	UNSAT TT=9.372	UNSAT TT=5.72
Bench name	Best results on this instance	built 2275_500	minisat2-core 061208	minisat2-simp 061208
sat-2002-beta/submitted/ velev/fvp-unsat.2.0/ 3pipe_2_ooo.shuffled.cnf	UNSAT TT=4.157	UNSAT TT=29.2	UNSAT TT=15.701	UNSAT TT=19.223
sat-2002-beta/submitted/ velev/fvp-unsat.2.0/ 3pipe_3_ooo.shuffled.cnf	UNSAT TT=2.714	UNSAT TT=32.743	UNSAT TT=2.714	UNSAT TT=41.634
sat-2002-beta/submitted/ velev/ fvp-unsat.2.0/3pipe.shuffled.cnf	UNSAT TT=3.495	UNSAT TT=40.25	UNSAT TT=13.178	UNSAT TT=19.574
sat-2002-beta/submitted/ velev/fvp-unsat.2.0/ 4pipe_1_ooo.shuffled.cnf	UNSAT TT=14.382	UNSAT TT=401.079	UNSAT TT=222.947	UNSAT TT=338.169
sat-2002-beta/submitted/ velev/fvp-unsat.2.0/ 4pipe_2_ooo.shuffled.cnf	UNSAT TT=14.904	UNSAT TT=375.303	UNSAT TT=420.64	UNSAT TT=243.994
sat-2002-beta/submitted/ velev/fvp-unsat.2.0/ 4pipe_3_ooo.shuffled.cnf	UNSAT TT=28.12	UNSAT TT=453.003	UNSAT TT=205.922	UNSAT TT=548.155
sat-2002-beta/submitted/ velev/fvp-unsat.2.0/ 4pipe_4_ooo.shuffled.cnf	UNSAT TT=37.162	UNSAT TT=794.337	UNSAT TT=1004.56	UNSAT TT=1061.27
sat-2002-beta/submitted/ velev/ fvp-unsat.2.0/4pipe.shuffled.cnf	UNSAT TT=28.347	? (TO) TT=1200.06	? (TO) TT=1200.07	UNSAT TT=664.124
sat-2002-beta/submitted/ velev/fvp-unsat.2.0/ 5pipe_1_ooo.shuffled.cnf	UNSAT TT=40.23	UNSAT TT=561.638	UNSAT TT=189.649	UNSAT TT=1064.73
sat-2002-beta/submitted/ velev/fvp-unsat.2.0/ 5pipe_2_ooo.shuffled.cnf	UNSAT TT=44.02	UNSAT TT=985.221	UNSAT TT=478.99	UNSAT TT=802.382
Bench name	Best results on this instance	built 2275_500	minisat2-core 061208	minisat2-simp 061208
sat-2002-beta/submitted/ velev/fvp-unsat.2.0/ 5pipe_3_ooo.shuffled.cnf	UNSAT TT=36.919	UNSAT TT=830.011	UNSAT TT=236.483	UNSAT TT=403.07
sat-2002-beta/submitted/ velev/fvp-unsat.2.0/ 5pipe_4_ooo.shuffled.cnf	UNSAT TT=93.584	? (TO) TT=1200.01	UNSAT TT=770.856	? (TO) TT=1200.08
sat-2002-beta/submitted/ velev/fvp-unsat.2.0/ 5pipe_5_ooo.shuffled.cnf	UNSAT TT=48.497	UNSAT TT=739.573	UNSAT TT=296.602	UNSAT TT=504.415
sat-2002-beta/submitted/ velev/ fvp-unsat.2.0/5pipe.shuffled.cnf	UNSAT TT=29.808	UNSAT TT=894.829	UNSAT TT=386.743	? (TO) TT=1200.08
sat-2002-beta/submitted/ velev/fvp-unsat.2.0/ 6pipe_6_ooo.shuffled.cnf	UNSAT TT=185.372	? (TO) TT=1200.09	UNSAT TT=758.249	? (TO) TT=1200.19
sat-2002-beta/submitted/ velev/ fvp-unsat.2.0/6pipe.shuffled.cnf		? (TO) TT=1200.04	? (TO) TT=1200.17	? (TO) TT=1200.1
sat-2002-beta/submitted/ velev/fvp-unsat.2.0/ 7pipe_bug.shuffled.cnf	SAT TT=4.708	? (TO) TT=1200.04	SAT TT=372.182	? (TO) TT=1200.15
sat-2002-beta/submitted/ velev/ fvp-unsat.2.0/7pipe.shuffled.cnf	SIGNAL TT=2.166	? (TO) TT=1200.01	? (TO) TT=1200.11	? (TO) TT=1200.13
sat-2002-beta/submitted/velev/ sss-sat-1.0/ 2dlx_cc_mc_ex_bp_f2_bug010.shuffled.cnf	SAT TT=0.101	SAT TT=250.63	SAT TT=0.101	SAT TT=0.565
sat-2002-beta/submitted/velev/ sss-sat-1.0/ 2dlx_cc_mc_ex_bp_f2_bug011.shuffled.cnf	SAT TT=0.151	SAT TT=99.575	SAT TT=0.151	SAT TT=0.391
Bench name	Best results on this instance	built 2275_500	minisat2-core 061208	minisat2-simp 061208
sat-2002-beta/submitted/velev/ sss-sat-1.0/ 2dlx_cc_mc_ex_bp_f2_bug012.shuffled.cnf	SAT TT=0.142	SAT TT=448.242	SAT TT=0.142	SAT TT=0.731
sat-2002-beta/submitted/velev/ sss-sat-1.0/ 2dlx_cc_mc_ex_bp_f2_bug013.shuffled.cnf	SAT TT=0.12	SAT TT=94.657	SAT TT=0.279	SAT TT=0.603
sat-2002-beta/submitted/velev/ sss-sat-1.0/ 2dlx_cc_mc_ex_bp_f2_bug014.shuffled.cnf	SAT TT=0.151	SAT TT=260.592	SAT TT=0.172	SAT TT=0.606
sat-2002-beta/submitted/velev/ sss-sat-1.0/ 2dlx_cc_mc_ex_bp_f2_bug015.shuffled.cnf	SAT TT=0.711	SAT TT=499.49	SAT TT=0.712	SAT TT=3.387
sat-2002-beta/submitted/velev/ sss-sat-1.0/ 2dlx_cc_mc_ex_bp_f2_bug016.shuffled.cnf	SAT TT=0.199	SAT TT=115.462	SAT TT=0.25	SAT TT=0.419
sat-2002-beta/submitted/velev/ sss-sat-1.0/ 2dlx_cc_mc_ex_bp_f2_bug017.shuffled.cnf	SAT TT=0.099	SAT TT=272.04	SAT TT=0.099	SAT TT=0.534
sat-2002-beta/submitted/velev/ sss-sat-1.0/ 2dlx_cc_mc_ex_bp_f2_bug018.shuffled.cnf	SAT TT=0.208	SAT TT=136.267	SAT TT=0.256	SAT TT=0.812
sat-2002-beta/submitted/velev/ sss-sat-1.0/ 2dlx_cc_mc_ex_bp_f2_bug019.shuffled.cnf	SAT TT=0.29	SAT TT=132.603	SAT TT=0.379	SAT TT=1.581
sat-2003-beta/industrial/goldberg/ hard_eq_check/ alu4mul.miter.shuffled-as.sat03-344.cnf	UNSAT TT=494.709	UNSAT TT=501.205	UNSAT TT=494.709	UNSAT TT=687.099
sat-2003-beta/industrial/goldberg/ hard_eq_check/ c3540mul.miter.shuffled-as.sat03-345.cnf	UNSAT TT=711.361	? (TO) TT=1200.06	? (TO) TT=1200.1	? (TO) TT=1200.08
Bench name	Best results on this instance	built 2275_500	minisat2-core 061208	minisat2-simp 061208
sat-2003-beta/industrial/goldberg/ hard_eq_check/ c6288mul.miter.shuffled-as.sat03-346.cnf	SIGNAL TT=0.206	? (TO) TT=1200.05	? (TO) TT=1200.06	? (TO) TT=1200.12
sat-2003-beta/industrial/goldberg/ hard_eq_check/ c7552mul.miter.shuffled-as.sat03-347.cnf	UNSAT TT=17.403	UNSAT TT=24.974	UNSAT TT=17.403	UNSAT TT=17.604
sat-2003-beta/industrial/goldberg/ hard_eq_check/ C880mul.miter.shuffled-as.sat03-348.cnf	UNSAT TT=12.29	UNSAT TT=104.494	UNSAT TT=76.919	UNSAT TT=70.44
sat-2003-beta/industrial/goldberg/ hard_eq_check/ dalumul.miter.shuffled-as.sat03-349.cnf	SIGNAL TT=0.207	? (TO) TT=1200.04	? (TO) TT=1200.1	? (TO) TT=1200.09
sat-2003-beta/industrial/ goldberg/hard_eq_check/ desmul.miter.shuffled-as.sat03-350.cnf	UNSAT TT=122.505	UNSAT TT=546.393	UNSAT TT=124.885	UNSAT TT=122.505
sat-2003-beta/industrial/goldberg/ hard_eq_check/ frg1mul.miter.shuffled-as.sat03-351.cnf	SIGNAL TT=0.103	? (TO) TT=1200.03	? (TO) TT=1200.09	? (TO) TT=1200.11
sat-2003-beta/industrial/goldberg/ hard_eq_check/ frg2mul.miter.shuffled-as.sat03-352.cnf	UNSAT TT=260.869	UNSAT TT=903.283	UNSAT TT=329.178	UNSAT TT=611.17
sat-2003-beta/industrial/ goldberg/hard_eq_check/ i10mul.miter.shuffled-as.sat03-353.cnf	SIGNAL TT=0.273	? (TO) TT=1200.05	? (TO) TT=1200.04	? (TO) TT=1200.08
sat-2003-beta/industrial/ goldberg/hard_eq_check/ i8mul.miter.shuffled-as.sat03-354.cnf	UNSAT TT=865.823	UNSAT TT=1107.99	UNSAT TT=894.058	UNSAT TT=865.823
sat-2003-beta/industrial/ goldberg/hard_eq_check/ k2mul.miter.shuffled-as.sat03-355.cnf	SIGNAL TT=268.625	? (TO) TT=1200	? (TO) TT=1200.11	? (TO) TT=1200.11
Bench name	Best results on this instance	built 2275_500	minisat2-core 061208	minisat2-simp 061208
sat-2003-beta/industrial/ goldberg/hard_eq_check/ rotmul.miter.shuffled-as.sat03-356.cnf	UNSAT TT=44.919	UNSAT TT=125.952	UNSAT TT=301.446	UNSAT TT=182.837
sat-2003-beta/industrial/goldberg/ hard_eq_check/ term1mul.miter.shuffled-as.sat03-357.cnf	UNSAT TT=672.026	? (TO) TT=1200.05	UNSAT TT=1105.36	? (TO) TT=1200.06
sat-2003-beta/industrial/ goldberg/hard_eq_check/ vdamul.miter.shuffled-as.sat03-358.cnf	UNSAT TT=209.751	UNSAT TT=313.341	UNSAT TT=277.084	UNSAT TT=293.782
sat-2003-beta/industrial/ goldberg/hard_eq_check/ x1mul.miter.shuffled-as.sat03-359.cnf		? (TO) TT=1200.08	? (TO) TT=1200.05	? (TO) TT=1200.12
sat-2003-beta/industrial/ kukula/addm_bench/ am_4_4.shuffled-as.sat03-360.cnf	UNSAT TT=0.149	UNSAT TT=0.184	UNSAT TT=0.23	UNSAT TT=0.274
sat-2003-beta/industrial/ kukula/addm_bench/ am_5_5.shuffled-as.sat03-361.cnf	UNSAT TT=3.537	UNSAT TT=4.249	UNSAT TT=5.551	UNSAT TT=5.305
sat-2003-beta/industrial/ kukula/addm_bench/ am_6_6.shuffled-as.sat03-362.cnf		? (TO) TT=1200.1	? (TO) TT=1200.04	? (TO) TT=1200.14
sat-2003-beta/industrial/ kukula/addm_bench/ am_7_7.shuffled-as.sat03-363.cnf	SIGNAL TT=0.097	? (TO) TT=1200.12	? (TO) TT=1200.1	? (TO) TT=1200.1
sat-2003-beta/industrial/ kukula/addm_bench/ am_8_8.shuffled-as.sat03-364.cnf	SIGNAL TT=0.153	? (TO) TT=1200.07	? (TO) TT=1200.04	? (TO) TT=1200.08
sat-2003-beta/industrial/ kukula/addm_bench/ am_9_9.shuffled-as.sat03-365.cnf	SIGNAL TT=0.224	? (TO) TT=1200.1	? (TO) TT=1200.1	? (TO) TT=1200.02
Bench name	Best results on this instance	built 2275_500	minisat2-core 061208	minisat2-simp 061208
sat-2003-beta/industrial/li/li-exam/ li-exam-61.shuffled-as.sat03-366.cnf		? (TO) TT=1200.06	? (TO) TT=1200.06	? (TO) TT=1200.14
sat-2003-beta/industrial/li/li-exam/ li-exam-62.shuffled-as.sat03-367.cnf		? (TO) TT=1200.05	? (TO) TT=1200.06	? (TO) TT=1200.06
sat-2003-beta/industrial/li/li-exam/ li-exam-63.shuffled-as.sat03-368.cnf		? (TO) TT=1200.03	? (TO) TT=1200.11	? (TO) TT=1200.09
sat-2003-beta/industrial/li/li-exam/ li-exam-64.shuffled-as.sat03-369.cnf		? (TO) TT=1200.03	? (TO) TT=1200.05	? (TO) TT=1200.1
sat-2003-beta/industrial/ li/li-test4/ li-test4-100.shuffled-as.sat03-370.cnf	SIGNAL TT=375.523	? (TO) TT=1200.08	? (TO) TT=1200.15	? (TO) TT=1200.1
sat-2003-beta/industrial/ li/li-test4/ li-test4-101.shuffled-as.sat03-371.cnf		? (TO) TT=1200.04	? (TO) TT=1200.14	? (TO) TT=1200.15
sat-2003-beta/industrial/li/li-test4/ li-test4-94.shuffled-as.sat03-372.cnf		? (TO) TT=1200.11	? (TO) TT=1200.08	? (TO) TT=1200.11
sat-2003-beta/industrial/li/li-test4/ li-test4-95.shuffled-as.sat03-373.cnf	SIGNAL TT=755.601	? (TO) TT=1200.09	? (TO) TT=1200.16	? (TO) TT=1200.06
sat-2003-beta/industrial/li/li-test4/ li-test4-96.shuffled-as.sat03-374.cnf	SIGNAL TT=906.043	? (TO) TT=1200.07	? (TO) TT=1200.1	? (TO) TT=1200.13
sat-2003-beta/industrial/li/li-test4/ li-test4-97.shuffled-as.sat03-375.cnf		? (TO) TT=1200.04	? (TO) TT=1200.08	? (TO) TT=1200.16
Bench name	Best results on this instance	built 2275_500	minisat2-core 061208	minisat2-simp 061208
sat-2003-beta/industrial/li/li-test4/ li-test4-98.shuffled-as.sat03-376.cnf	SIGNAL TT=598.734	? (TO) TT=1200.07	? (TO) TT=1200.14	? (TO) TT=1200.09
sat-2003-beta/industrial/li/li-test4/ li-test4-99.shuffled-as.sat03-377.cnf	SIGNAL TT=492.246	? (TO) TT=1200.02	? (TO) TT=1200.12	? (TO) TT=1200.11
sat-2003-beta/industrial/ maris/CNF/ ferry10.shuffled-as.sat03-378.cnf	SAT TT=0.055	SAT TT=0.552	SAT TT=0.123	SAT TT=0.165
sat-2003-beta/industrial/ maris/CNF/ ferry10u.shuffled-as.sat03-379.cnf	SAT TT=0.034	SAT TT=0.381	SAT TT=0.098	SAT TT=0.284
sat-2003-beta/industrial/ maris/CNF/ ferry11.shuffled-as.sat03-380.cnf	SAT TT=0.05	SAT TT=0.516	SAT TT=0.063	SAT TT=0.15
sat-2003-beta/industrial/ maris/CNF/ ferry11u.shuffled-as.sat03-381.cnf	SAT TT=0.035	SAT TT=0.494	SAT TT=0.035	SAT TT=0.189
sat-2003-beta/industrial/ maris/CNF/ ferry12.shuffled-as.sat03-382.cnf	SAT TT=0.118	SAT TT=0.909	SAT TT=0.473	SAT TT=1.054
sat-2003-beta/industrial/ maris/CNF/ ferry12u.shuffled-as.sat03-383.cnf	SAT TT=0.517	SAT TT=0.785	SAT TT=0.59	SAT TT=1.677
sat-2003-beta/industrial/ maris/CNF/ ferry8.shuffled-as.sat03-384.cnf	SAT TT=0.046	SAT TT=0.422	SAT TT=0.377	SAT TT=0.121
sat-2003-beta/industrial/ maris/CNF/ ferry8u.shuffled-as.sat03-385.cnf	SAT TT=0.022	SAT TT=0.178	SAT TT=0.022	SAT TT=0.059
Bench name	Best results on this instance	built 2275_500	minisat2-core 061208	minisat2-simp 061208
sat-2003-beta/industrial/ maris/CNF/ ferry9.shuffled-as.sat03-386.cnf	SAT TT=0.035	SAT TT=0.344	SAT TT=0.035	SAT TT=0.106
sat-2003-beta/industrial/ maris/CNF/ ferry9u.shuffled-as.sat03-387.cnf	SAT TT=0.055	SAT TT=0.347	SAT TT=0.183	SAT TT=0.142
sat-2003-beta/industrial/ maris/CNF/ gripper10.shuffled-as.sat03-388.cnf	SAT TT=10.016	SAT TT=255.214	? (TO) TT=1200.04	? (TO) TT=1200.07
sat-2003-beta/industrial/ maris/CNF/ gripper10u.shuffled-as.sat03-389.cnf		? (TO) TT=1200.09	? (TO) TT=1200.04	? (TO) TT=1200.04
sat-2003-beta/industrial/ maris/CNF/ gripper11.shuffled-as.sat03-390.cnf	SAT TT=30.624	? (TO) TT=1200.04	? (TO) TT=1200.09	? (TO) TT=1200.07
sat-2003-beta/industrial/ maris/CNF/ gripper11u.shuffled-as.sat03-391.cnf		? (TO) TT=1200.09	? (TO) TT=1200.09	? (TO) TT=1200.12
sat-2003-beta/industrial/ maris/CNF/ gripper12.shuffled-as.sat03-392.cnf	SAT TT=148.742	? (TO) TT=1200.08	? (TO) TT=1200.12	? (TO) TT=1200.04
sat-2003-beta/industrial/ maris/CNF/ gripper12u.shuffled-as.sat03-393.cnf		? (TO) TT=1200.05	? (TO) TT=1200.05	? (TO) TT=1200.04
sat-2003-beta/industrial/ maris/CNF/ gripper13.shuffled-as.sat03-394.cnf	SAT TT=158.57	? (TO) TT=1200.07	? (TO) TT=1200.08	? (TO) TT=1200.07
sat-2003-beta/industrial/ maris/CNF/ gripper13u.shuffled-as.sat03-395.cnf		? (TO) TT=1200.04	? (TO) TT=1200.08	? (TO) TT=1200.03
Bench name	Best results on this instance	built 2275_500	minisat2-core 061208	minisat2-simp 061208
sat-2003-beta/industrial/ maris/CNF/ gripper14.shuffled-as.sat03-396.cnf	SAT TT=152.04	? (TO) TT=1200.1	? (TO) TT=1200.07	? (TO) TT=1200.08
sat-2003-beta/industrial/ maris/CNF/ gripper14u.shuffled-as.sat03-397.cnf		? (TO) TT=1200.03	? (TO) TT=1200.08	? (TO) TT=1200.07
sat-2003-beta/industrial/ maris/CNF/ hanoi4.shuffled-as.sat03-398.cnf	SAT TT=0.321	SAT TT=0.973	SAT TT=1.072	SAT TT=0.321
sat-2003-beta/industrial/ maris/CNF/ hanoi4u.shuffled-as.sat03-399.cnf	UNSAT TT=0.776	UNSAT TT=0.902	UNSAT TT=0.991	UNSAT TT=0.776
sat-2003-beta/industrial/ maris/CNF/ hanoi5.shuffled-as.sat03-400.cnf	SAT TT=181.839	SAT TT=286.787	SAT TT=933.911	SAT TT=996.668
sat-2003-beta/industrial/ maris/CNF/ hanoi5u.shuffled-as.sat03-401.cnf	UNSAT TT=117.606	UNSAT TT=511.191	UNSAT TT=824.824	UNSAT TT=713.593
sat-2003-beta/industrial/ schuppan/l2s/ abp1-1-k31-unsat.shuffled-as.sat03-402.cnf	UNSAT TT=78.228	UNSAT TT=222.06	UNSAT TT=318.612	UNSAT TT=81.051
sat-2003-beta/industrial/ schuppan/l2s/ abp4-1-k31-unsat.shuffled-as.sat03-403.cnf	UNSAT TT=78.753	UNSAT TT=153.357	UNSAT TT=777.221	UNSAT TT=175.663
sat-2003-beta/industrial/schuppan/ l2s/ bc56-sensors-1-k391-unsat.shuffled-as.sat03-404.cnf	SIGNAL TT=9.807	? (TO) TT=1200.02	? (TO) TT=1200.12	? (TO) TT=1200.07
sat-2003-beta/industrial/schuppan/ l2s/ bc56-sensors-2-k592-unsat.shuffled-as.sat03-405.cnf		? (TO) TT=1200.01	? (TO) TT=1200.13	? (TO) TT=1200.15
Bench name	Best results on this instance	built 2275_500	minisat2-core 061208	minisat2-simp 061208
sat-2003-beta/industrial/schuppan/ l2s/ bc57-sensors-1-k303-unsat.shuffled-as.sat03-406.cnf	SIGNAL TT=778.273	? (TO) TT=1200.07	? (TO) TT=1200.13	? (TO) TT=1200.07
sat-2003-beta/industrial/ schuppan/l2s/ dme-03-1-k247-unsat.shuffled-as.sat03-407.cnf	SIGNAL TT=949.83	? (TO) TT=1200.01	? (TO) TT=1200.15	? (TO) TT=1200.08
sat-2003-beta/industrial/ schuppan/l2s/ guidance-1-k56-unsat.shuffled-as.sat03-408.cnf	UNSAT TT=619.391	? (TO) TT=1200.01	? (TO) TT=1200.09	UNSAT TT=912.658
sat-2003-beta/industrial/schuppan/ l2s/ motors-stuck-1-k407-unsat.shuffled-as.sat03-409.cnf	SIGNAL TT=645.645	? (TO) TT=1200.05	? (TO) TT=1200.08	? (TO) TT=1200.16
sat-2003-beta/industrial/schuppan/ l2s/ motors-stuck-2-k314-unsat.shuffled-as.sat03-410.cnf	UNSAT TT=135.446	UNSAT TT=1037.09	? (TO) TT=1200.12	UNSAT TT=135.446
sat-2003-beta/industrial/schuppan/ l2s/ motors-stuck-2-k315-sat.shuffled-as.sat03-411.cnf	SAT TT=172.506	SAT TT=682.214	? (TO) TT=1200.04	SAT TT=261.406
sat-2003-beta/industrial/schuppan/ l2s/ valves-gates-1-k617-unsat.shuffled-as.sat03-412.cnf		? (TO) TT=1200.08	? (TO) TT=1200.06	? (TO) TT=1200.15
sat-2003-beta/industrial/simon/sat02/ 6pipe_6_ooo.shuffled-as.sat03-413.cnf	UNSAT TT=181.882	? (TO) TT=1200.05	? (TO) TT=1200.19	? (TO) TT=1200.18
sat-2003-beta/industrial/ simon/sat02/ 6pipe.shuffled-as.sat03-414.cnf	SIGNAL TT=2.145	? (TO) TT=1200.02	? (TO) TT=1200.19	? (TO) TT=1200.09
sat-2003-beta/industrial/ simon/sat02/ 7pipe.shuffled-as.sat03-415.cnf	SIGNAL TT=82.675	? (TO) TT=1200.06	? (TO) TT=1200.11	? (TO) TT=1200.12
Bench name	Best results on this instance	built 2275_500	minisat2-core 061208	minisat2-simp 061208
sat-2003-beta/industrial/simon/ sat02/ cnf-r4-b1-k1.1-comp.shuffled-as.sat03-416.cnf	SAT TT=207.433	SAT TT=562.647	SAT TT=207.433	SAT TT=583.91
sat-2003-beta/industrial/simon/ sat02/ cnf-r4-b1-k1.2-comp.shuffled-as.sat03-417.cnf	SAT TT=117.45	SAT TT=443.041	SAT TT=264.868	SAT TT=469.18
sat-2003-beta/industrial/ simon/sat02/ cnt10.shuffled-as.sat03-418.cnf	SAT TT=119.885	SAT TT=197.141	SAT TT=220.804	SAT TT=211.241
sat-2003-beta/industrial/ simon/sat02/ comb1.shuffled-as.sat03-419.cnf		? (TO) TT=1200.04	? (TO) TT=1200.05	? (TO) TT=1200.06
sat-2003-beta/industrial/ simon/sat02/ comb2.shuffled-as.sat03-420.cnf	UNSAT TT=72.275	UNSAT TT=591.169	UNSAT TT=178.083	UNSAT TT=77.158
sat-2003-beta/industrial/ simon/sat02/ comb3.shuffled-as.sat03-421.cnf	UNSAT TT=35.219	UNSAT TT=40.082	UNSAT TT=97.525	UNSAT TT=52.812
sat-2003-beta/industrial/ simon/sat02/ dp11u10.shuffled-as.sat03-422.cnf	UNSAT TT=131.878	UNSAT TT=259.936	UNSAT TT=158	UNSAT TT=169.701
sat-2003-beta/industrial/ simon/sat02/ dp12u11.shuffled-as.sat03-423.cnf	UNSAT TT=1080.39	? (TO) TT=1200.03	UNSAT TT=1080.39	? (TO) TT=1200.08
sat-2003-beta/industrial/ simon/sat02/ f2clk_40.shuffled-as.sat03-424.cnf	UNSAT TT=88.515	UNSAT TT=157.684	UNSAT TT=247.803	UNSAT TT=97.551
sat-2003-beta/industrial/ simon/sat02/ f2clk_50.shuffled-as.sat03-425.cnf	UNSAT TT=817.149	? (TO) TT=1200.02	? (TO) TT=1200.07	? (TO) TT=1200.07
Bench name	Best results on this instance	built 2275_500	minisat2-core 061208	minisat2-simp 061208
sat-2003-beta/industrial/simon/ sat02/fifo8_300.shuffled-as.sat03-426.cnf	UNSAT TT=59.913	UNSAT TT=152.476	UNSAT TT=312.59	UNSAT TT=59.913
sat-2003-beta/industrial/simon/ sat02/fifo8_400.shuffled-as.sat03-427.cnf	UNSAT TT=119.563	UNSAT TT=374.45	UNSAT TT=532.913	UNSAT TT=145.443
sat-2003-beta/industrial/ simon/sat02/ homer17.shuffled-as.sat03-428.cnf	SIGNAL TT=0.008	? (TO) TT=1200.04	? (TO) TT=1200.04	? (TO) TT=1200.08
sat-2003-beta/industrial/ simon/sat02/ homer18.shuffled-as.sat03-429.cnf	SIGNAL TT=0.011	? (TO) TT=1200.11	? (TO) TT=1200.1	? (TO) TT=1200.06
sat-2003-beta/industrial/ simon/sat02/ homer19.shuffled-as.sat03-430.cnf	SIGNAL TT=0.012	? (TO) TT=1200.12	? (TO) TT=1200.11	? (TO) TT=1200.01
sat-2003-beta/industrial/ simon/sat02/ homer20.shuffled-as.sat03-431.cnf	SIGNAL TT=0.016	? (TO) TT=1200.09	? (TO) TT=1200.06	? (TO) TT=1200.01
sat-2003-beta/industrial/ simon/sat02/ ip36.shuffled-as.sat03-432.cnf	UNSAT TT=7.776	UNSAT TT=60.642	UNSAT TT=29.39	UNSAT TT=7.776
sat-2003-beta/industrial/ simon/sat02/ ip38.shuffled-as.sat03-433.cnf	UNSAT TT=9.3	UNSAT TT=91.088	UNSAT TT=36.595	UNSAT TT=11.477
sat-2003-beta/industrial/ simon/sat02/ ip50.shuffled-as.sat03-434.cnf	UNSAT TT=18.857	UNSAT TT=162.18	UNSAT TT=152.008	UNSAT TT=30.375
sat-2003-beta/industrial/simon/ sat02/ k2fix_gr_2pinvar_w8.shuffled-as.sat03-435.cnf	UNSAT TT=38.749	? (TO) TT=1200.03	? (TO) TT=1200.07	? (TO) TT=1200.04
Bench name	Best results on this instance	built 2275_500	minisat2-core 061208	minisat2-simp 061208
sat-2003-beta/industrial/simon/ sat02/ k2fix_gr_2pinvar_w9.shuffled-as.sat03-436.cnf	UNSAT TT=18.219	UNSAT TT=753.452	UNSAT TT=110.476	UNSAT TT=86.91
sat-2003-beta/industrial/ simon/sat02/ k2fix_gr_2pin_w8.shuffled-as.sat03-437.cnf	UNSAT TT=85.876	? (TO) TT=1200.03	? (TO) TT=1200.13	? (TO) TT=1200.07
sat-2003-beta/industrial/ simon/sat02/ k2fix_gr_2pin_w9.shuffled-as.sat03-438.cnf	UNSAT TT=141.929	UNSAT TT=639.229	UNSAT TT=141.929	? (TO) TT=1200.09
sat-2003-beta/industrial/ simon/sat02/ k2fix_gr_rcs_w8.shuffled-as.sat03-439.cnf	UNSAT TT=18.852	? (TO) TT=1200.09	? (TO) TT=1200.1	? (TO) TT=1200.06
sat-2003-beta/industrial/ simon/sat02/ sha1.shuffled-as.sat03-441.cnf		? (TO) TT=1200.07	? (TO) TT=1200.14	? (TO) TT=1200.13
sat-2003-beta/industrial/ simon/sat02/ sha2.shuffled-as.sat03-442.cnf		? (TO) TT=1200.09	? (TO) TT=1200.12	? (TO) TT=1200.09
sat-2003-beta/industrial/ simon/sat02/ w08_14.shuffled-as.sat03-443.cnf	SAT TT=128.262	SAT TT=559.786	SAT TT=464.329	SAT TT=128.262
sat-2003-beta/industrial/ simon/sat02/ w08_15.shuffled-as.sat03-444.cnf	SAT TT=91.071	SAT TT=730.15	SAT TT=667.758	SAT TT=258.07
sat-2005/industrial/ grieu05/ vmpc_21.renamed-as.sat05-1923.cnf	SAT TT=0.755	SAT TT=24.176	SAT TT=21.704	SAT TT=2.871
sat-2005/industrial/ grieu05/ vmpc_21.shuffled-as.sat05-1955.cnf	SAT TT=0.133	SAT TT=13.091	SAT TT=16.87	SAT TT=1.466
Bench name	Best results on this instance	built 2275_500	minisat2-core 061208	minisat2-simp 061208
sat-2005/industrial/ grieu05/ vmpc_22.renamed-as.sat05-1924.cnf	SAT TT=0.043	SAT TT=13.351	SAT TT=0.043	SAT TT=0.507
sat-2005/industrial/ grieu05/ vmpc_22.shuffled-as.sat05-1956.cnf	SAT TT=1.052	SAT TT=15.314	SAT TT=8.336	SAT TT=2.398
sat-2005/industrial/ grieu05/ vmpc_23.renamed-as.sat05-1927.cnf	SAT TT=1.022	SAT TT=38.752	SAT TT=63.085	SAT TT=25.359
sat-2005/industrial/ grieu05/ vmpc_23.shuffled-as.sat05-1959.cnf	SAT TT=0.387	SAT TT=40.811	SAT TT=0.571	SAT TT=5.124
sat-2005/industrial/ grieu05/ vmpc_24.renamed-as.sat05-1912.cnf	SAT TT=0.34	SAT TT=148.807	SAT TT=83.627	SAT TT=170.263
sat-2005/industrial/ grieu05/ vmpc_24.shuffled-as.sat05-1944.cnf	SAT TT=1.888	SAT TT=60.955	SAT TT=1.888	SAT TT=141.958
sat-2005/industrial/ grieu05/ vmpc_25.renamed-as.sat05-1913.cnf	SAT TT=5.705	SAT TT=71.808	SAT TT=854.103	SAT TT=118.222
sat-2005/industrial/ grieu05/ vmpc_25.shuffled-as.sat05-1945.cnf	SAT TT=18.539	SAT TT=265.784	SAT TT=18.539	SAT TT=159.649
sat-2005/industrial/ grieu05/ vmpc_26.renamed-as.sat05-1914.cnf	SAT TT=23.074	SAT TT=314.901	? (TO) TT=1200.1	SAT TT=414.339
sat-2005/industrial/ grieu05/ vmpc_26.shuffled-as.sat05-1946.cnf	SAT TT=29.549	SAT TT=648.053	SAT TT=328.566	SAT TT=886.152
Bench name	Best results on this instance	built 2275_500	minisat2-core 061208	minisat2-simp 061208
sat-2005/industrial/ grieu05/ vmpc_27.renamed-as.sat05-1915.cnf	SAT TT=21.078	SAT TT=143.635	SAT TT=1187.63	SAT TT=700.163
sat-2005/industrial/ grieu05/ vmpc_27.shuffled-as.sat05-1947.cnf	SAT TT=95.626	SAT TT=843.911	SAT TT=262.353	SAT TT=203.097
sat-2005/industrial/ grieu05/ vmpc_28.renamed-as.sat05-1925.cnf	SAT TT=128.705	? (TO) TT=1200.07	? (TO) TT=1200.08	? (TO) TT=1200.06
sat-2005/industrial/ grieu05/ vmpc_28.shuffled-as.sat05-1957.cnf	SAT TT=8.37	? (TO) TT=1200.08	? (TO) TT=1200.05	SAT TT=18.897
sat-2005/industrial/ grieu05/ vmpc_29.renamed-as.sat05-1916.cnf	SAT TT=39.457	? (TO) TT=1200.09	? (TO) TT=1200.12	? (TO) TT=1200.07
sat-2005/industrial/ grieu05/ vmpc_29.shuffled-as.sat05-1948.cnf	SAT TT=178.241	? (TO) TT=1200.09	? (TO) TT=1200.05	SAT TT=618.468
sat-2005/industrial/ grieu05/ vmpc_30.renamed-as.sat05-1917.cnf	SAT TT=449.189	? (TO) TT=1200.08	? (TO) TT=1200.12	? (TO) TT=1200.11
sat-2005/industrial/ grieu05/ vmpc_30.shuffled-as.sat05-1949.cnf	SAT TT=231.013	? (TO) TT=1200.06	SAT TT=392.932	? (TO) TT=1200.03
sat-2005/industrial/ grieu05/ vmpc_31.renamed-as.sat05-1918.cnf	SIGNAL TT=0.005	? (TO) TT=1200.04	? (TO) TT=1200.04	? (TO) TT=1200.04
sat-2005/industrial/ grieu05/ vmpc_31.shuffled-as.sat05-1950.cnf	SIGNAL TT=0.392	? (TO) TT=1200.03	? (TO) TT=1200.02	? (TO) TT=1200.05
Bench name	Best results on this instance	built 2275_500	minisat2-core 061208	minisat2-simp 061208
sat-2005/industrial/ grieu05/ vmpc_32.renamed-as.sat05-1919.cnf	SIGNAL TT=0.005	? (TO) TT=1200.03	? (TO) TT=1200.07	? (TO) TT=1200.1
sat-2005/industrial/ grieu05/ vmpc_32.shuffled-as.sat05-1951.cnf	UNSAT TT=103.661	? (TO) TT=1200.09	? (TO) TT=1200.05	? (TO) TT=1200.02
sat-2005/industrial/ grieu05/ vmpc_33.renamed-as.sat05-1920.cnf	SAT TT=210.632	? (TO) TT=1200.03	? (TO) TT=1200.11	? (TO) TT=1200.2
sat-2005/industrial/ grieu05/ vmpc_33.shuffled-as.sat05-1952.cnf	SAT TT=486.849	? (TO) TT=1200.08	? (TO) TT=1200.02	? (TO) TT=1200.09
sat-2005/industrial/ grieu05/ vmpc_34.renamed-as.sat05-1926.cnf	SIGNAL TT=0.006	? (TO) TT=1200	? (TO) TT=1200.09	? (TO) TT=1200.08
sat-2005/industrial/ grieu05/ vmpc_34.shuffled-as.sat05-1958.cnf	SIGNAL TT=0.502	? (TO) TT=1200.02	? (TO) TT=1200.03	? (TO) TT=1200.11
sat-2005/industrial/ grieu05/ vmpc_35.renamed-as.sat05-1921.cnf	UNSAT TT=85.213	? (TO) TT=1200	? (TO) TT=1200.06	? (TO) TT=1200.13
sat-2005/industrial/ grieu05/ vmpc_35.shuffled-as.sat05-1953.cnf	UNSAT TT=163.362	? (TO) TT=1200.04	? (TO) TT=1200.04	? (TO) TT=1200.04
sat-2005/industrial/ grieu05/ vmpc_36.renamed-as.sat05-1922.cnf	SIGNAL TT=0.005	? (TO) TT=1200.03	? (TO) TT=1200.06	? (TO) TT=1200.04
sat-2005/industrial/ grieu05/ vmpc_36.shuffled-as.sat05-1954.cnf	SIGNAL TT=0.581	? (TO) TT=1200.02	? (TO) TT=1200.09	? (TO) TT=1200.03
Bench name	Best results on this instance	built 2275_500	minisat2-core 061208	minisat2-simp 061208
sat-2005/industrial/ maris05/ depots1_ks99i.renamed-as.sat05-3943.cnf	SAT TT=0.001	SAT TT=0.009	SAT TT=0.004	SAT TT=0.006
sat-2005/industrial/ maris05/ depots1_ks99i.shuffled-as.sat05-4010.cnf	SAT TT=0.001	SAT TT=0.009	SAT TT=0.005	SAT TT=0.005
sat-2005/industrial/ maris05/ depots1_v01a.renamed-as.sat05-3946.cnf	SAT TT=0	SAT TT=0.009	SAT TT=0.003	SAT TT=0.005
sat-2005/industrial/ maris05/ depots1_v01a.shuffled-as.sat05-4013.cnf	SAT TT=0.001	SAT TT=0.008	SAT TT=0.005	SAT TT=0.005
sat-2005/industrial/ maris05/ depots1_v01i.renamed-as.sat05-3947.cnf	SAT TT=0.002	SAT TT=0.012	SAT TT=0.004	SAT TT=0.005
sat-2005/industrial/ maris05/ depots1_v01i.shuffled-as.sat05-4014.cnf	SAT TT=0.001	SAT TT=0.009	SAT TT=0.003	SAT TT=0.005
sat-2005/industrial/ maris05/ depots2_ks99i.renamed-as.sat05-3944.cnf	SAT TT=0.011	SAT TT=0.052	SAT TT=0.011	SAT TT=0.054
sat-2005/industrial/ maris05/ depots2_ks99i.shuffled-as.sat05-4011.cnf	SAT TT=0.013	SAT TT=0.057	SAT TT=0.013	SAT TT=0.06
sat-2005/industrial/ maris05/ depots2_v01a.renamed-as.sat05-3948.cnf	SAT TT=0.005	SAT TT=0.034	SAT TT=0.006	SAT TT=0.015
sat-2005/industrial/ maris05/ depots2_v01a.shuffled-as.sat05-4015.cnf	SAT TT=0.006	SAT TT=0.027	SAT TT=0.008	SAT TT=0.015
Bench name	Best results on this instance	built 2275_500	minisat2-core 061208	minisat2-simp 061208
sat-2005/industrial/ maris05/ depots2_v01i.renamed-as.sat05-3949.cnf	SAT TT=0.011	SAT TT=0.119	SAT TT=0.011	SAT TT=0.049
sat-2005/industrial/ maris05/ depots2_v01i.shuffled-as.sat05-4016.cnf	SAT TT=0.011	SAT TT=0.151	SAT TT=0.011	SAT TT=0.061
sat-2005/industrial/ maris05/ depots3_ks99i.renamed-as.sat05-3945.cnf	SAT TT=0.022	SAT TT=0.481	SAT TT=0.022	SAT TT=0.199
sat-2005/industrial/ maris05/ depots3_ks99i.shuffled-as.sat05-4012.cnf	SAT TT=0.035	SAT TT=0.69	SAT TT=0.035	SAT TT=0.294
sat-2005/industrial/ maris05/ depots3_v01a.renamed-as.sat05-3950.cnf	SAT TT=0.049	SAT TT=0.25	SAT TT=0.049	SAT TT=0.478
sat-2005/industrial/ maris05/ depots3_v01a.shuffled-as.sat05-4017.cnf	SAT TT=0.058	SAT TT=0.248	SAT TT=0.058	SAT TT=0.714
sat-2005/industrial/maris05/ driverlog1_ks99i.renamed-as.sat05-3951.cnf	SAT TT=0.002	SAT TT=0.013	SAT TT=0.004	SAT TT=0.006
sat-2005/industrial/maris05/ driverlog1_ks99i.shuffled-as.sat05-4018.cnf	SAT TT=0.002	SAT TT=0.013	SAT TT=0.005	SAT TT=0.006
sat-2005/industrial/maris05/ driverlog1_v01a.renamed-as.sat05-3959.cnf	SAT TT=0.001	SAT TT=0.012	SAT TT=0.005	SAT TT=0.006
sat-2005/industrial/maris05/ driverlog1_v01a.shuffled-as.sat05-4026.cnf	SAT TT=0.001	SAT TT=0.012	SAT TT=0.004	SAT TT=0.005
Bench name	Best results on this instance	built 2275_500	minisat2-core 061208	minisat2-simp 061208
sat-2005/industrial/maris05/ driverlog1_v01i.renamed-as.sat05-3960.cnf	SAT TT=0.001	SAT TT=0.014	SAT TT=0.004	SAT TT=0.007
sat-2005/industrial/maris05/ driverlog1_v01i.shuffled-as.sat05-4027.cnf	SAT TT=0.001	SAT TT=0.014	SAT TT=0.004	SAT TT=0.006
sat-2005/industrial/maris05/ driverlog2_ks99i.renamed-as.sat05-3952.cnf	SAT TT=0.018	SAT TT=0.169	SAT TT=0.018	SAT TT=0.103
sat-2005/industrial/maris05/ driverlog2_ks99i.shuffled-as.sat05-4019.cnf	SAT TT=0.016	SAT TT=0.176	SAT TT=0.016	SAT TT=0.129
sat-2005/industrial/maris05/ driverlog2_v01a.renamed-as.sat05-3961.cnf	SAT TT=0.016	SAT TT=0.487	SAT TT=0.017	SAT TT=0.076
sat-2005/industrial/maris05/ driverlog2_v01a.shuffled-as.sat05-4028.cnf	SAT TT=0.014	SAT TT=0.636	SAT TT=0.014	SAT TT=0.095
sat-2005/industrial/maris05/ driverlog2_v01i.renamed-as.sat05-3962.cnf	SAT TT=0.019	SAT TT=1.416	SAT TT=0.019	SAT TT=0.101
sat-2005/industrial/maris05/ driverlog2_v01i.shuffled-as.sat05-4029.cnf	SAT TT=0.019	SAT TT=0.919	SAT TT=0.019	SAT TT=0.144
sat-2005/industrial/maris05/ driverlog3_ks99i.renamed-as.sat05-3953.cnf	SAT TT=0.008	SAT TT=0.048	SAT TT=0.009	SAT TT=0.065
sat-2005/industrial/maris05/ driverlog3_ks99i.shuffled-as.sat05-4020.cnf	SAT TT=0.01	SAT TT=0.052	SAT TT=0.01	SAT TT=0.088
Bench name	Best results on this instance	built 2275_500	minisat2-core 061208	minisat2-simp 061208
sat-2005/industrial/maris05/ driverlog3_v01a.renamed-as.sat05-3963.cnf	SAT TT=0.003	SAT TT=0.014	SAT TT=0.005	SAT TT=0.011
sat-2005/industrial/maris05/ driverlog3_v01a.shuffled-as.sat05-4030.cnf	SAT TT=0.003	SAT TT=0.014	SAT TT=0.007	SAT TT=0.01
sat-2005/industrial/maris05/ driverlog3_v01i.renamed-as.sat05-3964.cnf	SAT TT=0.009	SAT TT=0.071	SAT TT=0.01	SAT TT=0.069
sat-2005/industrial/maris05/ driverlog3_v01i.shuffled-as.sat05-4031.cnf	SAT TT=0.01	SAT TT=0.099	SAT TT=0.01	SAT TT=0.065
sat-2005/industrial/maris05/ driverlog4_ks99i.renamed-as.sat05-3954.cnf	SAT TT=0.017	SAT TT=0.057	SAT TT=0.017	SAT TT=0.118
sat-2005/industrial/maris05/ driverlog4_ks99i.shuffled-as.sat05-4021.cnf	SAT TT=0.019	SAT TT=0.048	SAT TT=0.019	SAT TT=0.141
sat-2005/industrial/maris05/ driverlog4_v01a.renamed-as.sat05-3965.cnf	SAT TT=0.007	SAT TT=0.015	SAT TT=0.008	SAT TT=0.026
sat-2005/industrial/maris05/ driverlog4_v01a.shuffled-as.sat05-4032.cnf	SAT TT=0.008	SAT TT=0.018	SAT TT=0.01	SAT TT=0.036
sat-2005/industrial/maris05/ driverlog4_v01i.renamed-as.sat05-3966.cnf	SAT TT=0.015	SAT TT=0.06	SAT TT=0.015	SAT TT=0.111
sat-2005/industrial/maris05/ driverlog4_v01i.shuffled-as.sat05-4033.cnf	SAT TT=0.02	SAT TT=0.057	SAT TT=0.02	SAT TT=0.133
Bench name	Best results on this instance	built 2275_500	minisat2-core 061208	minisat2-simp 061208
sat-2005/industrial/maris05/ driverlog5_ks99i.renamed-as.sat05-3955.cnf	SAT TT=0.023	SAT TT=0.519	SAT TT=0.023	SAT TT=0.131
sat-2005/industrial/maris05/ driverlog5_ks99i.shuffled-as.sat05-4022.cnf	SAT TT=0.027	SAT TT=0.644	SAT TT=0.027	SAT TT=0.204
sat-2005/industrial/maris05/ driverlog5_v01a.renamed-as.sat05-3967.cnf	SAT TT=0.006	SAT TT=0.034	SAT TT=0.009	SAT TT=0.023
sat-2005/industrial/maris05/ driverlog5_v01a.shuffled-as.sat05-4034.cnf	SAT TT=0.007	SAT TT=0.035	SAT TT=0.007	SAT TT=0.023
sat-2005/industrial/maris05/ driverlog6_ks99i.renamed-as.sat05-3956.cnf	SAT TT=0.008	SAT TT=0.023	SAT TT=0.008	SAT TT=0.036
sat-2005/industrial/maris05/ driverlog6_ks99i.shuffled-as.sat05-4023.cnf	SAT TT=0.009	SAT TT=0.023	SAT TT=0.01	SAT TT=0.043
sat-2005/industrial/maris05/ driverlog6_v01a.renamed-as.sat05-3968.cnf	SAT TT=0.007	SAT TT=0.049	SAT TT=0.007	SAT TT=0.028
sat-2005/industrial/maris05/ driverlog6_v01a.shuffled-as.sat05-4035.cnf	SAT TT=0.009	SAT TT=0.051	SAT TT=0.01	SAT TT=0.034
sat-2005/industrial/maris05/ driverlog7_ks99i.renamed-as.sat05-3957.cnf	SAT TT=0.02	SAT TT=0.085	SAT TT=0.02	SAT TT=0.246
sat-2005/industrial/maris05/ driverlog7_ks99i.shuffled-as.sat05-4024.cnf	SAT TT=0.021	SAT TT=0.064	SAT TT=0.021	SAT TT=0.334
Bench name	Best results on this instance	built 2275_500	minisat2-core 061208	minisat2-simp 061208
sat-2005/industrial/maris05/ driverlog7_v01a.renamed-as.sat05-3969.cnf	SAT TT=0.01	SAT TT=0.042	SAT TT=0.01	SAT TT=0.082
sat-2005/industrial/maris05/ driverlog7_v01a.shuffled-as.sat05-4036.cnf	SAT TT=0.013	SAT TT=0.059	SAT TT=0.013	SAT TT=0.105
sat-2005/industrial/maris05/ driverlog8_ks99i.renamed-as.sat05-3958.cnf	SAT TT=0.04	SAT TT=0.876	SAT TT=0.04	SAT TT=0.409
sat-2005/industrial/maris05/ driverlog8_ks99i.shuffled-as.sat05-4025.cnf	SAT TT=0.038	SAT TT=1.084	SAT TT=0.038	SAT TT=0.634
sat-2005/industrial/maris05/ driverlog8_v01a.renamed-as.sat05-3970.cnf	SAT TT=0.022	SAT TT=1.029	SAT TT=0.022	SAT TT=0.315
sat-2005/industrial/maris05/ driverlog8_v01a.shuffled-as.sat05-4037.cnf	SAT TT=0.026	SAT TT=0.818	SAT TT=0.026	SAT TT=0.49
sat-2005/industrial/ maris05/ ferry10_ks99a.renamed-as.sat05-3992.cnf	SAT TT=0.029	SAT TT=0.743	SAT TT=0.052	SAT TT=0.143
sat-2005/industrial/ maris05/ ferry10_ks99a.shuffled-as.sat05-4059.cnf	SAT TT=0.131	SAT TT=1.106	SAT TT=0.136	SAT TT=0.236
sat-2005/industrial/ maris05/ ferry10_v01a.renamed-as.sat05-3993.cnf	SAT TT=0.032	SAT TT=6.833	SAT TT=0.032	SAT TT=0.136
sat-2005/industrial/ maris05/ ferry10_v01a.shuffled-as.sat05-4060.cnf	SAT TT=0.081	SAT TT=12.522	SAT TT=1.008	SAT TT=0.976
Bench name	Best results on this instance	built 2275_500	minisat2-core 061208	minisat2-simp 061208
sat-2005/industrial/ maris05/ ferry5_ks99i.renamed-as.sat05-3994.cnf	SAT TT=0.015	SAT TT=0.148	SAT TT=0.015	SAT TT=0.05
sat-2005/industrial/ maris05/ ferry5_ks99i.shuffled-as.sat05-4061.cnf	SAT TT=0.029	SAT TT=0.185	SAT TT=0.043	SAT TT=0.067
sat-2005/industrial/ maris05/ ferry5_v01i.renamed-as.sat05-3995.cnf	SAT TT=0.017	SAT TT=0.703	SAT TT=0.017	SAT TT=0.045
sat-2005/industrial/ maris05/ ferry5_v01i.shuffled-as.sat05-4062.cnf	SAT TT=0.029	SAT TT=1.273	SAT TT=0.029	SAT TT=0.038
sat-2005/industrial/ maris05/ ferry6_ks99a.renamed-as.sat05-3996.cnf	SAT TT=0.009	SAT TT=0.104	SAT TT=0.014	SAT TT=0.026
sat-2005/industrial/ maris05/ ferry6_ks99a.shuffled-as.sat05-4063.cnf	SAT TT=0.009	SAT TT=0.13	SAT TT=0.009	SAT TT=0.029
sat-2005/industrial/ maris05/ ferry6_ks99i.renamed-as.sat05-3997.cnf	SAT TT=0.047	SAT TT=0.312	SAT TT=0.047	SAT TT=0.098
sat-2005/industrial/ maris05/ ferry6_ks99i.shuffled-as.sat05-4064.cnf	SAT TT=0.081	SAT TT=0.57	SAT TT=0.081	SAT TT=0.091
sat-2005/industrial/ maris05/ ferry6_v01a.renamed-as.sat05-3998.cnf	SAT TT=0.011	SAT TT=0.547	SAT TT=0.011	SAT TT=0.027
sat-2005/industrial/ maris05/ ferry6_v01a.shuffled-as.sat05-4065.cnf	SAT TT=0.014	SAT TT=0.82	SAT TT=0.014	SAT TT=0.035
Bench name	Best results on this instance	built 2275_500	minisat2-core 061208	minisat2-simp 061208
sat-2005/industrial/ maris05/ ferry6_v01i.renamed-as.sat05-3999.cnf	SAT TT=0.058	SAT TT=1.932	SAT TT=0.121	SAT TT=0.073
sat-2005/industrial/ maris05/ ferry6_v01i.shuffled-as.sat05-4066.cnf	SAT TT=0.125	SAT TT=3.756	SAT TT=0.197	SAT TT=0.144
sat-2005/industrial/ maris05/ ferry7_ks99a.renamed-as.sat05-4000.cnf	SAT TT=0.013	SAT TT=0.184	SAT TT=0.017	SAT TT=0.043
sat-2005/industrial/ maris05/ ferry7_ks99a.shuffled-as.sat05-4067.cnf	SAT TT=0.016	SAT TT=0.277	SAT TT=0.016	SAT TT=0.089
sat-2005/industrial/ maris05/ ferry7_ks99i.renamed-as.sat05-4001.cnf	SAT TT=0.109	SAT TT=0.615	SAT TT=0.109	SAT TT=0.123
sat-2005/industrial/ maris05/ ferry7_ks99i.shuffled-as.sat05-4068.cnf	SAT TT=0.186	SAT TT=1.131	SAT TT=0.464	SAT TT=0.805
sat-2005/industrial/ maris05/ ferry7_v01a.renamed-as.sat05-4002.cnf	SAT TT=0.017	SAT TT=1.163	SAT TT=0.017	SAT TT=0.044
sat-2005/industrial/ maris05/ ferry7_v01a.shuffled-as.sat05-4069.cnf	SAT TT=0.021	SAT TT=1.995	SAT TT=0.021	SAT TT=0.054
sat-2005/industrial/ maris05/ ferry7_v01i.renamed-as.sat05-4003.cnf	SAT TT=0.068	SAT TT=4.312	SAT TT=0.068	SAT TT=0.222
sat-2005/industrial/ maris05/ ferry7_v01i.shuffled-as.sat05-4070.cnf	SAT TT=0.089	SAT TT=5.181	SAT TT=0.24	SAT TT=0.406
Bench name	Best results on this instance	built 2275_500	minisat2-core 061208	minisat2-simp 061208
sat-2005/industrial/ maris05/ ferry8_ks99a.renamed-as.sat05-4004.cnf	SAT TT=0.016	SAT TT=0.302	SAT TT=0.023	SAT TT=0.072
sat-2005/industrial/ maris05/ ferry8_ks99a.shuffled-as.sat05-4071.cnf	SAT TT=0.021	SAT TT=0.454	SAT TT=0.021	SAT TT=0.126
sat-2005/industrial/ maris05/ ferry8_ks99i.renamed-as.sat05-4005.cnf	SAT TT=0.224	SAT TT=1.481	SAT TT=0.412	SAT TT=0.497
sat-2005/industrial/ maris05/ ferry8_ks99i.shuffled-as.sat05-4072.cnf	SAT TT=0.659	SAT TT=2.721	SAT TT=0.85	SAT TT=1.857
sat-2005/industrial/ maris05/ ferry8_v01a.renamed-as.sat05-4006.cnf	SAT TT=0.019	SAT TT=2.329	SAT TT=0.019	SAT TT=0.063
sat-2005/industrial/ maris05/ ferry8_v01a.shuffled-as.sat05-4073.cnf	SAT TT=0.023	SAT TT=3.648	SAT TT=0.023	SAT TT=0.085
sat-2005/industrial/ maris05/ ferry8_v01i.renamed-as.sat05-4007.cnf	SAT TT=0.369	SAT TT=8.53	SAT TT=0.369	SAT TT=0.784
sat-2005/industrial/ maris05/ ferry8_v01i.shuffled-as.sat05-4074.cnf	SAT TT=0.524	SAT TT=12.105	SAT TT=1.038	SAT TT=0.597
sat-2005/industrial/ maris05/ ferry9_ks99a.renamed-as.sat05-4008.cnf	SAT TT=0.02	SAT TT=0.485	SAT TT=0.06	SAT TT=0.086
sat-2005/industrial/ maris05/ ferry9_ks99a.shuffled-as.sat05-4075.cnf	SAT TT=0.119	SAT TT=0.807	SAT TT=0.119	SAT TT=0.266
Bench name	Best results on this instance	built 2275_500	minisat2-core 061208	minisat2-simp 061208
sat-2005/industrial/ maris05/ ferry9_v01a.renamed-as.sat05-4009.cnf	SAT TT=0.044	SAT TT=3.476	SAT TT=0.044	SAT TT=0.077
sat-2005/industrial/ maris05/ ferry9_v01a.shuffled-as.sat05-4076.cnf	SAT TT=0.059	SAT TT=7.168	SAT TT=0.075	SAT TT=0.148
sat-2005/industrial/ maris05/ rovers1_ks99i.renamed-as.sat05-3971.cnf	SAT TT=0.008	SAT TT=0.021	SAT TT=0.008	SAT TT=0.023
sat-2005/industrial/ maris05/ rovers1_ks99i.shuffled-as.sat05-4038.cnf	SAT TT=0.008	SAT TT=0.02	SAT TT=0.008	SAT TT=0.024
sat-2005/industrial/ maris05/ rovers1_v01a.renamed-as.sat05-3975.cnf	SAT TT=0.007	SAT TT=0.047	SAT TT=0.008	SAT TT=0.024
sat-2005/industrial/ maris05/ rovers1_v01a.shuffled-as.sat05-4042.cnf	SAT TT=0.007	SAT TT=0.043	SAT TT=0.008	SAT TT=0.025
sat-2005/industrial/ maris05/ rovers1_v01i.renamed-as.sat05-3976.cnf	SAT TT=0.008	SAT TT=0.019	SAT TT=0.009	SAT TT=0.026
sat-2005/industrial/ maris05/ rovers1_v01i.shuffled-as.sat05-4043.cnf	SAT TT=0.009	SAT TT=0.023	SAT TT=0.01	SAT TT=0.029
sat-2005/industrial/ maris05/ rovers2_ks99i.renamed-as.sat05-3972.cnf	SAT TT=0.006	SAT TT=0.038	SAT TT=0.007	SAT TT=0.02
sat-2005/industrial/ maris05/ rovers2_ks99i.shuffled-as.sat05-4039.cnf	SAT TT=0.007	SAT TT=0.045	SAT TT=0.009	SAT TT=0.022
Bench name	Best results on this instance	built 2275_500	minisat2-core 061208	minisat2-simp 061208
sat-2005/industrial/ maris05/ rovers2_v01a.renamed-as.sat05-3977.cnf	SAT TT=0.006	SAT TT=0.797	SAT TT=0.006	SAT TT=0.027
sat-2005/industrial/ maris05/ rovers2_v01a.shuffled-as.sat05-4044.cnf	SAT TT=0.008	SAT TT=0.626	SAT TT=0.008	SAT TT=0.026
sat-2005/industrial/ maris05/ rovers2_v01i.renamed-as.sat05-3978.cnf	SAT TT=0.006	SAT TT=0.03	SAT TT=0.006	SAT TT=0.024
sat-2005/industrial/ maris05/ rovers2_v01i.shuffled-as.sat05-4045.cnf	SAT TT=0.006	SAT TT=0.03	SAT TT=0.006	SAT TT=0.023
sat-2005/industrial/ maris05/ rovers4_ks99i.renamed-as.sat05-3973.cnf	SAT TT=0.006	SAT TT=0.013	SAT TT=0.006	SAT TT=0.019
sat-2005/industrial/ maris05/ rovers4_ks99i.shuffled-as.sat05-4040.cnf	SAT TT=0.006	SAT TT=0.016	SAT TT=0.008	SAT TT=0.02
sat-2005/industrial/ maris05/ rovers4_v01a.renamed-as.sat05-3979.cnf	SAT TT=0.005	SAT TT=0.017	SAT TT=0.005	SAT TT=0.028
sat-2005/industrial/ maris05/ rovers4_v01a.shuffled-as.sat05-4046.cnf	SAT TT=0.006	SAT TT=0.017	SAT TT=0.009	SAT TT=0.03
sat-2005/industrial/ maris05/ rovers4_v01i.renamed-as.sat05-3980.cnf	SAT TT=0.006	SAT TT=0.018	SAT TT=0.007	SAT TT=0.029
sat-2005/industrial/ maris05/ rovers4_v01i.shuffled-as.sat05-4047.cnf	SAT TT=0.007	SAT TT=0.018	SAT TT=0.013	SAT TT=0.031
Bench name	Best results on this instance	built 2275_500	minisat2-core 061208	minisat2-simp 061208
sat-2005/industrial/ maris05/ rovers5_ks99i.renamed-as.sat05-3974.cnf	SAT TT=0.025	SAT TT=0.513	SAT TT=0.025	SAT TT=0.131
sat-2005/industrial/ maris05/ rovers5_ks99i.shuffled-as.sat05-4041.cnf	SAT TT=0.033	SAT TT=0.717	SAT TT=0.033	SAT TT=0.152
sat-2005/industrial/ maris05/ rovers5_v01a.renamed-as.sat05-3981.cnf	SAT TT=0.022	SAT TT=1.965	SAT TT=0.022	SAT TT=0.224
sat-2005/industrial/ maris05/ rovers5_v01a.shuffled-as.sat05-4048.cnf	SAT TT=0.031	SAT TT=3.398	SAT TT=0.031	SAT TT=0.26
sat-2005/industrial/maris05/ satellite1_ks99i.renamed-as.sat05-3982.cnf	SAT TT=0.008	SAT TT=0.159	SAT TT=0.008	SAT TT=0.107
sat-2005/industrial/maris05/ satellite1_ks99i.shuffled-as.sat05-4049.cnf	SAT TT=0.008	SAT TT=0.172	SAT TT=0.008	SAT TT=0.095
sat-2005/industrial/maris05/ satellite1_v01a.renamed-as.sat05-3985.cnf	SAT TT=0.004	SAT TT=0.012	SAT TT=0.006	SAT TT=0.02
sat-2005/industrial/maris05/ satellite1_v01a.shuffled-as.sat05-4052.cnf	SAT TT=0.004	SAT TT=0.014	SAT TT=0.006	SAT TT=0.024
sat-2005/industrial/maris05/ satellite1_v01i.renamed-as.sat05-3986.cnf	SAT TT=0.008	SAT TT=0.147	SAT TT=0.008	SAT TT=0.095
sat-2005/industrial/maris05/ satellite1_v01i.shuffled-as.sat05-4053.cnf	SAT TT=0.008	SAT TT=0.19	SAT TT=0.008	SAT TT=0.101
Bench name	Best results on this instance	built 2275_500	minisat2-core 061208	minisat2-simp 061208
sat-2005/industrial/maris05/ satellite2_ks99i.renamed-as.sat05-3983.cnf	SAT TT=0.022	SAT TT=0.471	SAT TT=0.022	SAT TT=0.201
sat-2005/industrial/maris05/ satellite2_ks99i.shuffled-as.sat05-4050.cnf	SAT TT=0.028	SAT TT=0.715	SAT TT=0.028	SAT TT=0.294
sat-2005/industrial/maris05/ satellite2_v01a.renamed-as.sat05-3987.cnf	SAT TT=0.011	SAT TT=0.394	SAT TT=0.011	SAT TT=0.052
sat-2005/industrial/maris05/ satellite2_v01a.shuffled-as.sat05-4054.cnf	SAT TT=0.015	SAT TT=0.804	SAT TT=0.015	SAT TT=0.067
sat-2005/industrial/maris05/ satellite2_v01i.renamed-as.sat05-3988.cnf	SAT TT=0.022	SAT TT=0.489	SAT TT=0.022	SAT TT=0.178
sat-2005/industrial/maris05/ satellite2_v01i.shuffled-as.sat05-4055.cnf	SAT TT=0.025	SAT TT=0.785	SAT TT=0.025	SAT TT=0.27
sat-2005/industrial/maris05/ satellite3_ks99i.renamed-as.sat05-3984.cnf	SAT TT=0.015	SAT TT=0.49	SAT TT=0.015	SAT TT=0.462
sat-2005/industrial/maris05/ satellite3_ks99i.shuffled-as.sat05-4051.cnf	SAT TT=0.017	SAT TT=0.599	SAT TT=0.017	SAT TT=0.478
sat-2005/industrial/maris05/ satellite3_v01a.renamed-as.sat05-3989.cnf	SAT TT=0.009	SAT TT=0.326	SAT TT=0.009	SAT TT=0.093
sat-2005/industrial/maris05/ satellite3_v01a.shuffled-as.sat05-4056.cnf	SAT TT=0.009	SAT TT=0.575	SAT TT=0.009	SAT TT=0.114
Bench name	Best results on this instance	built 2275_500	minisat2-core 061208	minisat2-simp 061208
sat-2005/industrial/maris05/ satellite3_v01i.renamed-as.sat05-3990.cnf	SAT TT=0.017	SAT TT=0.372	SAT TT=0.017	SAT TT=0.281
sat-2005/industrial/maris05/ satellite3_v01i.shuffled-as.sat05-4057.cnf	SAT TT=0.016	SAT TT=0.607	SAT TT=0.016	SAT TT=0.501
sat-2005/industrial/maris05/ satellite4_v01a.renamed-as.sat05-3991.cnf	SAT TT=0.026	SAT TT=3.652	SAT TT=0.026	SAT TT=0.382
sat-2005/industrial/maris05/ satellite4_v01a.shuffled-as.sat05-4058.cnf	SAT TT=0.036	SAT TT=6.224	SAT TT=0.036	SAT TT=0.739
sat-2005/industrial/ narain05/ clauses-10.renamed-as.sat05-1960.cnf	UNSAT TT=228.777	UNSAT TT=627.361	UNSAT TT=239.458	UNSAT TT=228.777
sat-2005/industrial/ narain05/ clauses-10.shuffled-as.sat05-1965.cnf	UNSAT TT=438.715	UNSAT TT=909.986	UNSAT TT=440.98	UNSAT TT=438.715
sat-2005/industrial/ narain05/ clauses-2.renamed-as.sat05-1961.cnf	SAT TT=2.451	SAT TT=159.688	SAT TT=3.021	SAT TT=5.491
sat-2005/industrial/ narain05/ clauses-2.shuffled-as.sat05-1966.cnf	SAT TT=7.311	SAT TT=157.234	SAT TT=8.078	SAT TT=8.591
sat-2005/industrial/ narain05/ clauses-4.renamed-as.sat05-1962.cnf	SAT TT=64.592	SAT TT=527.67	SAT TT=75.986	SAT TT=64.592
sat-2005/industrial/ narain05/ clauses-4.shuffled-as.sat05-1967.cnf	SAT TT=69.918	SAT TT=517.884	SAT TT=91.195	SAT TT=125.977
Bench name	Best results on this instance	built 2275_500	minisat2-core 061208	minisat2-simp 061208
sat-2005/industrial/ narain05/ clauses-6.renamed-as.sat05-1963.cnf	SAT TT=339.887	SAT TT=896.893	SAT TT=1039.91	? (TO) TT=1200.13
sat-2005/industrial/ narain05/ clauses-6.shuffled-as.sat05-1968.cnf	SAT TT=501.929	SAT TT=1166.84	SAT TT=660.963	SAT TT=559.78
sat-2005/industrial/ narain05/ clauses-8.renamed-as.sat05-1964.cnf	SIGNAL TT=0.005	? (TO) TT=1200.04	? (TO) TT=1200.1	? (TO) TT=1200.17
sat-2005/industrial/ narain05/ clauses-8.shuffled-as.sat05-1969.cnf		? (TO) TT=1200.04	? (TO) TT=1200.09	? (TO) TT=1200.12
SAT_RACE08/Q1/ 9dlx_vliw_at_b_iq1.cnf		? (TO) TT=1200.08	? (TO) TT=1200.15	? (TO) TT=1200.08
SAT_RACE08/Q1/ 9vliw_m_9stages_iq3_C1_bug8.cnf	SAT TT=30.234	SAT TT=560.64	SAT TT=31.084	SAT TT=30.234
SAT_RACE08/Q1/ AProVE07-16.cnf	UNSAT TT=422.179	UNSAT TT=1026.59	? (TO) TT=1200.06	? (TO) TT=1200.04
SAT_RACE08/Q1/ barrel6.dimacs	UNSAT TT=2.813	UNSAT TT=3.045	UNSAT TT=4.959	UNSAT TT=4.587
SAT_RACE08/ Q1/c6bidw_i.cnf	UNSAT TT=126.74	UNSAT TT=228.158	UNSAT TT=741.386	UNSAT TT=126.74
SAT_RACE08/Q1/ c8nidw.cnf	UNSAT TT=758.037	? (TO) TT=1200	? (TO) TT=1200.14	? (TO) TT=1200.08
Bench name	Best results on this instance	built 2275_500	minisat2-core 061208	minisat2-simp 061208
SAT_RACE08/ Q1/c9n_i.cnf	UNSAT TT=122.146	UNSAT TT=122.146	UNSAT TT=447.582	UNSAT TT=539.342
SAT_RACE08/Q1/ dated-5-15-u.cnf	UNSAT TT=727.001	UNSAT TT=738.14	? (TO) TT=1200.04	? (TO) TT=1200.07
SAT_RACE08/ Q1/ dspam_dump_vc949.cnf	UNSAT TT=0.998	UNSAT TT=5.086	UNSAT TT=866	UNSAT TT=1.861
SAT_RACE08/ Q1/ dspam_dump_vc973.cnf	UNSAT TT=3.542	UNSAT TT=5.041	? (TO) TT=1200.12	UNSAT TT=3.542
SAT_RACE08/Q1/ goldberg03:hard_eq_check:alu4mul.miter.used-as.sat04-326.cnf	UNSAT TT=577.704	UNSAT TT=709.976	UNSAT TT=619.652	UNSAT TT=577.704
SAT_RACE08/Q1/ goldberg03:hard_eq_check:term1mul.miter.used-as.sat04-337.cnf	SIGNAL TT=0.093	? (TO) TT=1200.13	? (TO) TT=1200.04	? (TO) TT=1200.02
SAT_RACE08/Q1/ IBM_FV_2004_rule_batch_01_SAT_dat.k90.cnf	SAT TT=32.413	SAT TT=321.905	SAT TT=256.335	SAT TT=63.588
SAT_RACE08/Q1/ IBM_FV_2004_rule_batch_1_11_SAT_dat.k80.cnf	SAT TT=132.486	SAT TT=823.801	? (TO) TT=1200.1	SAT TT=132.486
SAT_RACE08/Q1/ IBM_FV_2004_rule_batch_23_SAT_dat.k80.cnf	SAT TT=681.009	? (TO) TT=1200.04	? (TO) TT=1200.11	SAT TT=681.009
SAT_RACE08/Q1/ IBM_FV_2004_rule_batch_29_SAT_dat.k25.cnf	UNSAT TT=724.6	UNSAT TT=756.695	? (TO) TT=1200.04	UNSAT TT=1037.52
Bench name	Best results on this instance	built 2275_500	minisat2-core 061208	minisat2-simp 061208
SAT_RACE08/Q1/ longmult13.dimacs	UNSAT TT=44.35	UNSAT TT=50.682	UNSAT TT=74.754	UNSAT TT=44.35
SAT_RACE08/Q1/ manol-pipe-f9b.cnf		? (TO) TT=1200.04	? (TO) TT=1200.14	? (TO) TT=1200.11
SAT_RACE08/Q1/ marijn:Philips:philips.used-as.sat04-301.cnf	UNSAT TT=1043.79	? (TO) TT=1200.06	? (TO) TT=1200.04	UNSAT TT=1043.79
SAT_RACE08/ Q1/md5_47_3.cnf	SAT TT=189.298	SAT TT=734.853	SAT TT=189.298	SAT TT=932.851
SAT_RACE08/ Q1/md5_47_4.cnf	SAT TT=618.602	? (TO) TT=1200.05	? (TO) TT=1200.12	SAT TT=618.602
SAT_RACE08/ Q1/md5_48_2.cnf	SAT TT=524.263	SAT TT=875.416	? (TO) TT=1200.07	SAT TT=524.263
SAT_RACE08/Q1/ mizh-md5-47-5.cnf	SAT TT=348.019	? (TO) TT=1200.07	? (TO) TT=1200.05	SAT TT=467.219
SAT_RACE08/Q1/ mizh-sha0-35-4.cnf	SAT TT=42.756	SAT TT=160.643	SAT TT=42.756	SAT TT=934.683
SAT_RACE08/ Q1/ partial-10-15-s.cnf	SIGNAL TT=38.161	? (TO) TT=1200.01	? (TO) TT=1200.18	? (TO) TT=1200.18
SAT_RACE08/Q1/ pico:prop00_75_fixed.cnf	UNSAT TT=0.195	UNSAT TT=0.206	UNSAT TT=72.362	UNSAT TT=26.561
Bench name	Best results on this instance	built 2275_500	minisat2-core 061208	minisat2-simp 061208
SAT_RACE08/Q1/ pico:prop05_75_fixed.cnf	UNSAT TT=101.286	UNSAT TT=157.653	UNSAT TT=454.593	UNSAT TT=101.286
SAT_RACE08/Q1/ SAT_dat.k100.cnf	UNSAT TT=338.879	UNSAT TT=787.655	UNSAT TT=572.754	UNSAT TT=1117.72
SAT_RACE08/Q1/ SAT_dat.k30.cnf	UNSAT TT=1098.66	? (TO) TT=1200.08	? (TO) TT=1200.12	UNSAT TT=1098.66
SAT_RACE08/Q1/ SAT_dat.k60.cnf		? (TO) TT=1200.01	? (TO) TT=1200.11	? (TO) TT=1200.12
SAT_RACE08/Q1/ SAT_dat.k75_22.cnf	SAT TT=520.666	SAT TT=701.054	? (TO) TT=1200.04	SAT TT=520.666
SAT_RACE08/Q1/ SAT_dat.k75_29.cnf	SAT TT=113.406	SAT TT=1075.51	SAT TT=241.687	SAT TT=791.669
SAT_RACE08/Q1/ SAT_dat.k75.cnf	SIGNAL TT=2.376	? (TO) TT=1200.07	? (TO) TT=1200.12	? (TO) TT=1200.12
SAT_RACE08/Q1/ SAT_dat.k80_04.cnf	SAT TT=104.137	SAT TT=553.424	SAT TT=461.689	SAT TT=104.137
SAT_RACE08/Q1/ SAT_dat.k80.cnf	SAT TT=785.58	SAT TT=1168.99	? (TO) TT=1200.1	SAT TT=785.58
SAT_RACE08/Q1/ SAT_dat.k85.cnf		? (TO) TT=1200	? (TO) TT=1200.07	? (TO) TT=1200.08
Bench name	Best results on this instance	built 2275_500	minisat2-core 061208	minisat2-simp 061208
SAT_RACE08/Q1/ SAT_dat.k90.cnf		? (TO) TT=1200	? (TO) TT=1200.06	? (TO) TT=1200.1
SAT_RACE08/Q1/ schuppan03:l2s:abp4-1-k31-unsat.used-as.sat04-438.cnf	UNSAT TT=84.756	UNSAT TT=132.426	UNSAT TT=148.768	UNSAT TT=84.756
SAT_RACE08/Q1/ schuppan03:l2s:motors-stuck-2-k314-unsat.used-as.sat04-434.cnf	UNSAT TT=153.052	UNSAT TT=574.893	? (TO) TT=1200.06	UNSAT TT=166.599
SAT_RACE08/Q1/ schuppan03:l2s:motors-stuck-2-k315-sat.used-as.sat04-435.cnf	SAT TT=116.254	SAT TT=551.892	? (TO) TT=1200.04	SAT TT=116.254
SAT_RACE08/ Q1/sha0_35_3.cnf	SAT TT=50.931	SAT TT=50.931	SAT TT=60.45	? (TO) TT=1200.08
SAT_RACE08/ Q1/sha0_36_3.cnf	SAT TT=329.935	SAT TT=649.129	? (TO) TT=1200.06	? (TO) TT=1200.05
SAT_RACE08/ Q1/sha0_36_4.cnf	SAT TT=152.837	? (TO) TT=1200.1	? (TO) TT=1200.09	? (TO) TT=1200.15
SAT_RACE08/Q1/ simon03:sat02bis:cnf-r4-b1-k1.1-comp.used-as.sat04-354.cnf	SAT TT=44.437	SAT TT=68.154	SAT TT=608.496	SAT TT=68.867
SAT_RACE08/Q1/ simon03:sat02:f2clk_50.used-as.sat04-365.cnf	SIGNAL TT=0.491	? (TO) TT=1200.04	? (TO) TT=1200.06	? (TO) TT=1200.06
SAT_RACE08/Q1/ simon03:sat02:fifo8_300.used-as.sat04-362.cnf	UNSAT TT=66.88	UNSAT TT=205.811	UNSAT TT=224.439	UNSAT TT=66.88
Bench name	Best results on this instance	built 2275_500	minisat2-core 061208	minisat2-simp 061208
SAT_RACE08/Q1/ simon03:sat02:fifo8_400.used-as.sat04-363.cnf	UNSAT TT=144.906	UNSAT TT=430.612	UNSAT TT=799.984	UNSAT TT=174.065
SAT_RACE08/Q1/ simon03:sat02:w08_15.used-as.sat04-360.cnf	SAT TT=156.046	SAT TT=629.853	SAT TT=747.848	SAT TT=156.046
SAT_RACE08/Q1/ sortnet-7-ipc5-h16-sat.cnf	SAT TT=629.921	? (TO) TT=1200.06	? (TO) TT=1200.07	? (TO) TT=1200.03
SAT_RACE08/Q1/ uts-l06-ipc5-h34-unknown.cnf	SAT TT=80.347	SAT TT=628.322	SAT TT=223.925	SAT TT=236.394
SAT-Race_TS_1/ een-tipb-sr06-par1.cnf	UNSAT TT=1.479	UNSAT TT=36.274	UNSAT TT=2.264	UNSAT TT=1.479
SAT-Race_TS_1/ een-tipb-sr06-tc6b.cnf	UNSAT TT=0.361	UNSAT TT=14.024	UNSAT TT=0.361	UNSAT TT=0.808
SAT-Race_TS_1/ goldb-heqc-desmul.cnf	UNSAT TT=78.831	UNSAT TT=166.899	UNSAT TT=78.831	UNSAT TT=84.517
SAT-Race_TS_1/ goldb-heqc-rotmul.cnf	UNSAT TT=36.292	UNSAT TT=352.148	UNSAT TT=230.316	UNSAT TT=239.635
SAT-Race_TS_1/ grieu-vmpc-s05-24s.cnf	SAT TT=1.903	SAT TT=59.999	SAT TT=1.903	SAT TT=137.77
SAT-Race_TS_1/ grieu-vmpc-s05-27r.cnf	SAT TT=23.053	SAT TT=146.178	SAT TT=1128.08	SAT TT=729.853
Bench name	Best results on this instance	built 2275_500	minisat2-core 061208	minisat2-simp 061208
SAT-Race_TS_1/ hoons-vbmc-s04-05.cnf	UNSAT TT=2.821	UNSAT TT=8.132	UNSAT TT=223.189	UNSAT TT=16.087
SAT-Race_TS_1/ hoons-vbmc-s04-07.cnf	UNSAT TT=52.523	UNSAT TT=100.732	UNSAT TT=191.736	UNSAT TT=91.872
SAT-Race_TS_1/ manol-pipe-c10b.cnf	UNSAT TT=63.688	UNSAT TT=239.141	UNSAT TT=649.576	UNSAT TT=377.879
SAT-Race_TS_1/ manol-pipe-c10ni_s.cnf	UNSAT TT=3.679	UNSAT TT=204.717	UNSAT TT=78.486	UNSAT TT=17.06
SAT-Race_TS_1/ manol-pipe-c6id.cnf	UNSAT TT=49.218	UNSAT TT=117.545	UNSAT TT=113.12	UNSAT TT=76.436
SAT-Race_TS_1/ manol-pipe-c6n.cnf	UNSAT TT=17.909	UNSAT TT=41.706	UNSAT TT=47.518	UNSAT TT=129.198
SAT-Race_TS_1/ manol-pipe-c6nid_s.cnf	UNSAT TT=5.589	UNSAT TT=114.59	UNSAT TT=281.583	UNSAT TT=30.942
SAT-Race_TS_1/ manol-pipe-c7_i.cnf	UNSAT TT=3.915	UNSAT TT=45.61	UNSAT TT=12.031	UNSAT TT=17.37
SAT-Race_TS_1/ manol-pipe-c7idw.cnf	UNSAT TT=66.919	UNSAT TT=214.622	UNSAT TT=267.293	UNSAT TT=590.369
SAT-Race_TS_1/ manol-pipe-c8b_i.cnf	UNSAT TT=27.631	UNSAT TT=131.171	UNSAT TT=138.757	UNSAT TT=35.248
Bench name	Best results on this instance	built 2275_500	minisat2-core 061208	minisat2-simp 061208
SAT-Race_TS_1/ manol-pipe-c8_i.cnf	UNSAT TT=5.275	UNSAT TT=28.488	UNSAT TT=16.13	UNSAT TT=19.662
SAT-Race_TS_1/ manol-pipe-c8n.cnf	UNSAT TT=39.463	UNSAT TT=143.204	UNSAT TT=163.968	UNSAT TT=65.735
SAT-Race_TS_1/ manol-pipe-f6b.cnf	UNSAT TT=2.424	UNSAT TT=40.069	UNSAT TT=7.287	UNSAT TT=3.974
SAT-Race_TS_1/ manol-pipe-f6n.cnf	UNSAT TT=2.844	UNSAT TT=53.63	UNSAT TT=8.087	UNSAT TT=2.844
SAT-Race_TS_1/ manol-pipe-g10idw.cnf	UNSAT TT=123.518	UNSAT TT=504.383	UNSAT TT=223.67	UNSAT TT=1086.18
SAT-Race_TS_1/ manol-pipe-g6bid.cnf	UNSAT TT=4.221	UNSAT TT=9.952	UNSAT TT=5.297	UNSAT TT=4.221
SAT-Race_TS_1/ manol-pipe-g7n.cnf	UNSAT TT=4.433	UNSAT TT=7.581	UNSAT TT=4.433	UNSAT TT=4.672
SAT-Race_TS_1/ narai-vpn-10s.cnf	UNSAT TT=445.345	UNSAT TT=876.117	UNSAT TT=445.345	UNSAT TT=479.806
SAT-Race_TS_1/ schup-l2s-s04-abp4.cnf	UNSAT TT=83.113	UNSAT TT=151.157	UNSAT TT=150.901	UNSAT TT=83.113
SAT-Race_TS_1/ simon-mixed-s02bis-01.cnf	SAT TT=70.08	SAT TT=70.08	SAT TT=584.024	SAT TT=70.381
Bench name	Best results on this instance	built 2275_500	minisat2-core 061208	minisat2-simp 061208
SAT-Race_TS_1/ simon-mixed-s02bis-03.cnf	SAT TT=142.024	SAT TT=155.966	SAT TT=204.137	SAT TT=177.588
SAT-Race_TS_1/ simon-mixed-s02bis-05.cnf	SAT TT=55.135	SAT TT=707.791	? (TO) TT=1200.08	SAT TT=694.67
SAT-Race_TS_1/ stric-bmc-ibm-10.cnf	SAT TT=1.826	SAT TT=318.239	SAT TT=2.193	SAT TT=2.596
SAT-Race_TS_1/ stric-bmc-ibm-12.cnf	SAT TT=3.871	SAT TT=144.137	SAT TT=9.561	SAT TT=3.871
SAT-Race_TS_1/ vange-color-inc-54.cnf	SAT TT=10.757	SAT TT=83.87	SAT TT=22.033	SAT TT=103.967
SAT-Race_TS_1/ velev-eng-uns-1.0-04a.cnf	UNSAT TT=43.592	UNSAT TT=244.647	UNSAT TT=43.592	UNSAT TT=63.363
SAT-Race_TS_1/ velev-eng-uns-1.0-04.cnf	UNSAT TT=9.221	UNSAT TT=286.947	UNSAT TT=9.221	UNSAT TT=10.876
SAT-Race_TS_1/ velev-fvp-sat-3.0-07.cnf	SAT TT=10.997	? (MO) TT=875.46	? (TO) TT=1200.18	? (TO) TT=1200.21
SAT-Race_TS_1/ velev-fvp-sat-3.0-12.cnf	SAT TT=2.554	SAT TT=536.732	SAT TT=2.77	SAT TT=16.247
SAT-Race_TS_1/ velev-live-sat-1.0-01.cnf	SAT TT=7.853	SAT TT=539.092	SAT TT=7.853	SAT TT=69.413
Bench name	Best results on this instance	built 2275_500	minisat2-core 061208	minisat2-simp 061208
SAT-Race_TS_1/ velev-live-sat-1.0-03.cnf	SAT TT=13.914	SAT TT=552.905	SAT TT=13.914	SAT TT=122.477
SAT-Race_TS_1/ velev-npe-1.0-02.cnf	UNSAT TT=18.851	UNSAT TT=46.116	UNSAT TT=21.729	UNSAT TT=23.36
SAT-Race_TS_1/ velev-npe-1.0-03.cnf	SAT TT=13.422	SAT TT=548.549	? (MO) TT=679.293	SAT TT=92.196
SAT-Race_TS_1/ velev-pipe-1.0-08.cnf	SIGNAL TT=16.435	? (MO) TT=835.98	? (MO) TT=595.953	? (MO) TT=607.388
SAT-Race_TS_1/ velev-pipe-1.0-09.cnf	SAT TT=8.69	SAT TT=534.122	SAT TT=8.69	SAT TT=8.724
SAT-Race_TS_1/ velev-pipe-1.1-03.cnf	SAT TT=13.168	? (MO) TT=1082.96	SAT TT=19.019	SAT TT=19.342
SAT-Race_TS_1/ velev-pipe-1.1-05.cnf	SAT TT=8.866	SAT TT=509.303	SAT TT=9.383	SAT TT=8.866
SAT-Race_TS_1/ velev-pipe-uns-1.0-08.cnf	SIGNAL TT=112.165	? (TO) TT=1200.05	? (MO) TT=289.61	? (TO) TT=1200.16
SAT-Race_TS_1/ velev-pipe-uns-1.1-05.cnf	UNSAT TT=32.95	? (TO) TT=1200.06	? (TO) TT=1200.05	? (TO) TT=1200.1
SAT-Race_TS_1/ velev-pipe-uns-1.1-07.cnf	UNSAT TT=407.153	? (TO) TT=1200.06	? (TO) TT=1200.17	? (TO) TT=1200.1
Bench name	Best results on this instance	built 2275_500	minisat2-core 061208	minisat2-simp 061208
SAT-Race_TS_1/ velev-sss-1.0-cl.cnf	UNSAT TT=0.365	UNSAT TT=2.194	UNSAT TT=0.591	UNSAT TT=0.365
SAT-Race_TS_1/ velev-vliw-sat-2.0-02.cnf	SAT TT=20.247	SAT TT=528.098	SAT TT=41.307	SAT TT=39.649
SAT-Race_TS_1/ velev-vliw-sat-2.0-04.cnf	SAT TT=222.548	? (TO) TT=1200.09	SAT TT=494.101	SAT TT=551.511
SAT-Race_TS_1/ velev-vliw-uns-2.0-02.cnf	SIGNAL TT=155.785	? (TO) TT=1200.08	? (TO) TT=1200.15	? (TO) TT=1200.21
sss.1.0a_cnf/ dlx2_cc_a_bug17.cnf	SAT TT=0.059	SAT TT=25.105	SAT TT=0.059	SAT TT=1.054
sss.1.0a_cnf/ dlx2_cc_a_bug38.cnf	SAT TT=0.054	SAT TT=4.315	SAT TT=0.473	SAT TT=0.7
sss.1.0a_cnf/ dlx2_cc_a_bug39.cnf	SAT TT=0.049	SAT TT=4.394	? (exit code) TT=0.015	? (exit code) TT=0.029
sss.1.0a_cnf/ dlx2_cc_a_bug3.cnf	SAT TT=0.058	SAT TT=7.241	? (exit code) TT=0.016	? (exit code) TT=0.032
sss.1.0a_cnf/ dlx2_cc_a_bug40.cnf	SAT TT=0.053	SAT TT=9.34	? (exit code) TT=0.016	? (exit code) TT=0.034
sss.1.0a_cnf/ dlx2_cc_a_bug4.cnf	SAT TT=0.038	SAT TT=7.868	? (exit code) TT=0.016	? (exit code) TT=0.034
Bench name	Best results on this instance	built 2275_500	minisat2-core 061208	minisat2-simp 061208
sss.1.0a_cnf/ dlx2_cc_a_bug54.cnf	SAT TT=0.353	SAT TT=499.37	? (exit code) TT=0.091	? (exit code) TT=0.287
sss.1.0a_cnf/ dlx2_cc_a_bug59.cnf	SAT TT=0.074	SAT TT=16.607	? (exit code) TT=0.025	? (exit code) TT=0.067
sss.1.0a_cnf/ dlx2_cc_a_bug5.cnf	SAT TT=0.054	SAT TT=6.639	SAT TT=1.156	SAT TT=0.87
sss.1.0_cnf/dlx1_c.cnf	UNSAT TT=0.012	UNSAT TT=0.06	UNSAT TT=0.012	UNSAT TT=0.02
sss.1.0_cnf/dlx2_aa.cnf	UNSAT TT=0.035	UNSAT TT=0.102	UNSAT TT=0.067	UNSAT TT=0.035
sss.1.0_cnf/dlx2_ca.cnf	UNSAT TT=0.237	UNSAT TT=0.859	UNSAT TT=0.349	UNSAT TT=0.237
sss.1.0_cnf/ dlx2_cc_bug01.cnf	SAT TT=0.025	SAT TT=2.095	SAT TT=0.049	SAT TT=0.436
sss.1.0_cnf/ dlx2_cc_bug02.cnf	SAT TT=0.025	SAT TT=2.224	SAT TT=0.025	SAT TT=0.285
sss.1.0_cnf/ dlx2_cc_bug03.cnf	SAT TT=0.064	SAT TT=2.087	? (exit code) TT=0.011	? (exit code) TT=0.019
sss.1.0_cnf/ dlx2_cc_bug04.cnf	SAT TT=0.028	SAT TT=2.362	? (exit code) TT=0.012	? (exit code) TT=0.018
Bench name	Best results on this instance	built 2275_500	minisat2-core 061208	minisat2-simp 061208
sss.1.0_cnf/ dlx2_cc_bug05.cnf	SAT TT=0.04	SAT TT=2.374	? (exit code) TT=0.01	? (exit code) TT=0.019
sss.1.0_cnf/ dlx2_cc_bug06.cnf	SAT TT=0.038	SAT TT=2.265	? (exit code) TT=0.012	? (exit code) TT=0.019
sss.1.0_cnf/ dlx2_cc_bug07.cnf	SAT TT=0.045	SAT TT=2.297	? (exit code) TT=0.011	? (exit code) TT=0.019
sss.1.0_cnf/ dlx2_cc_bug08.cnf	SAT TT=0.034	SAT TT=2.091	? (exit code) TT=0.011	? (exit code) TT=0.019
sss.1.0_cnf/ dlx2_cc_bug09.cnf	SAT TT=0.021	SAT TT=2.339	SAT TT=0.047	SAT TT=0.068
sss.1.0_cnf/ dlx2_cc_bug10.cnf	SAT TT=0.02	SAT TT=1.672	SAT TT=0.072	SAT TT=0.137
sss.1.0_cnf/ dlx2_cc_bug11.cnf	SAT TT=0.027	SAT TT=2.848	? (exit code) TT=0.012	? (exit code) TT=0.02
sss.1.0_cnf/ dlx2_cc_bug12.cnf	SAT TT=0.027	SAT TT=2.804	? (exit code) TT=0.011	? (exit code) TT=0.018
sss.1.0_cnf/ dlx2_cc_bug13.cnf	SAT TT=0.024	SAT TT=1.835	? (exit code) TT=0.011	? (exit code) TT=0.02
sss.1.0_cnf/ dlx2_cc_bug14.cnf	SAT TT=0.024	SAT TT=2.458	? (exit code) TT=0.011	? (exit code) TT=0.019
Bench name	Best results on this instance	built 2275_500	minisat2-core 061208	minisat2-simp 061208
sss.1.0_cnf/ dlx2_cc_bug15.cnf	SAT TT=0.031	SAT TT=4.25	? (exit code) TT=0.011	? (exit code) TT=0.021
sss.1.0_cnf/ dlx2_cc_bug16.cnf	SAT TT=0.026	SAT TT=2.263	? (exit code) TT=0.013	? (exit code) TT=0.02
sss.1.0_cnf/ dlx2_cc_bug17.cnf	SAT TT=0.045	SAT TT=5.521	? (exit code) TT=0.017	? (exit code) TT=0.035
sss.1.0_cnf/ dlx2_cc_bug18.cnf	SAT TT=0.038	SAT TT=3.704	? (exit code) TT=0.016	? (exit code) TT=0.028
sss.1.0_cnf/ dlx2_cc_bug19.cnf	SAT TT=0.028	SAT TT=1.933	? (exit code) TT=0.013	? (exit code) TT=0.021
sss.1.0_cnf/ dlx2_cc_bug20.cnf	SAT TT=0.03	SAT TT=1.614	? (exit code) TT=0.013	? (exit code) TT=0.019
sss.1.0_cnf/ dlx2_cc_bug21.cnf	SAT TT=0.026	SAT TT=1.604	? (exit code) TT=0.011	? (exit code) TT=0.019
sss.1.0_cnf/ dlx2_cc_bug22.cnf	SAT TT=0.026	SAT TT=2.212	? (exit code) TT=0.011	? (exit code) TT=0.02
sss.1.0_cnf/ dlx2_cc_bug23.cnf	SAT TT=0.026	SAT TT=1.86	? (exit code) TT=0.012	? (exit code) TT=0.02
sss.1.0_cnf/ dlx2_cc_bug24.cnf	SAT TT=0.025	SAT TT=2.396	? (exit code) TT=0.011	? (exit code) TT=0.021
Bench name	Best results on this instance	built 2275_500	minisat2-core 061208	minisat2-simp 061208
sss.1.0_cnf/ dlx2_cc_bug25.cnf	SAT TT=0.033	SAT TT=2.375	? (exit code) TT=0.011	? (exit code) TT=0.02
sss.1.0_cnf/ dlx2_cc_bug26.cnf	SAT TT=0.026	SAT TT=2.113	? (exit code) TT=0.011	? (exit code) TT=0.019
sss.1.0_cnf/ dlx2_cc_bug27.cnf	SAT TT=0.021	SAT TT=1.339	? (exit code) TT=0.01	? (exit code) TT=0.018
sss.1.0_cnf/ dlx2_cc_bug28.cnf	SAT TT=0.026	SAT TT=2.131	? (exit code) TT=0.012	? (exit code) TT=0.022
sss.1.0_cnf/ dlx2_cc_bug29.cnf	SAT TT=0.025	SAT TT=1.999	? (exit code) TT=0.01	? (exit code) TT=0.02
sss.1.0_cnf/ dlx2_cc_bug30.cnf	SAT TT=0.025	SAT TT=2.536	? (exit code) TT=0.011	? (exit code) TT=0.018
sss.1.0_cnf/ dlx2_cc_bug31.cnf	SAT TT=0.024	SAT TT=2.767	? (exit code) TT=0.011	? (exit code) TT=0.02
sss.1.0_cnf/ dlx2_cc_bug32.cnf	SAT TT=0.024	SAT TT=1.708	? (exit code) TT=0.012	? (exit code) TT=0.02
sss.1.0_cnf/ dlx2_cc_bug33.cnf	SAT TT=0.027	SAT TT=2.079	? (exit code) TT=0.011	? (exit code) TT=0.021
sss.1.0_cnf/ dlx2_cc_bug34.cnf	SAT TT=0.025	SAT TT=2.71	? (exit code) TT=0.012	? (exit code) TT=0.021
Bench name	Best results on this instance	built 2275_500	minisat2-core 061208	minisat2-simp 061208
sss.1.0_cnf/ dlx2_cc_bug35.cnf	SAT TT=0.022	SAT TT=2.528	? (exit code) TT=0.011	? (exit code) TT=0.019
sss.1.0_cnf/ dlx2_cc_bug36.cnf	SAT TT=0.025	SAT TT=2.627	? (exit code) TT=0.011	? (exit code) TT=0.019
sss.1.0_cnf/ dlx2_cc_bug37.cnf	SAT TT=0.024	SAT TT=2.33	? (exit code) TT=0.012	? (exit code) TT=0.02
sss.1.0_cnf/ dlx2_cc_bug38.cnf	SAT TT=0.122	SAT TT=1.65	? (exit code) TT=0.011	? (exit code) TT=0.021
sss.1.0_cnf/ dlx2_cc_bug39.cnf	SAT TT=0.03	SAT TT=1.813	? (exit code) TT=0.012	? (exit code) TT=0.018
sss.1.0_cnf/ dlx2_cc_bug40.cnf	SAT TT=0.048	SAT TT=2.326	? (exit code) TT=0.011	? (exit code) TT=0.019
sss.1.0_cnf/dlx2_cc.cnf	UNSAT TT=0.509	UNSAT TT=2.554	? (exit code) TT=0.013	? (exit code) TT=0.019
sss.1.0_cnf/dlx2_cl.cnf	UNSAT TT=0.367	UNSAT TT=2.386	UNSAT TT=0.579	UNSAT TT=0.367
sss.1.0_cnf/dlx2_cs.cnf	UNSAT TT=0.184	UNSAT TT=1.721	UNSAT TT=0.184	UNSAT TT=0.315
sss.1.0_cnf/dlx2_la.cnf	UNSAT TT=0.213	UNSAT TT=0.989	? (exit code) TT=0.008	? (exit code) TT=0.013
Bench name	Best results on this instance	built 2275_500	minisat2-core 061208	minisat2-simp 061208
sss.1.0_cnf/dlx2_sa.cnf	UNSAT TT=0.035	UNSAT TT=0.168	UNSAT TT=0.167	UNSAT TT=0.079
veliv/vliw_sat_4.0/ 9vliw_m_9stages_iq3_C1_bug10.cnf	SAT TT=53.044	SAT TT=573.511	SAT TT=53.044	SAT TT=54.73
veliv/vliw_sat_4.0/ 9vliw_m_9stages_iq3_C1_bug1.cnf	SAT TT=54.894	SAT TT=643.377	SAT TT=55.658	SAT TT=54.894
veliv/vliw_sat_4.0/ 9vliw_m_9stages_iq3_C1_bug2.cnf	SAT TT=44.336	SAT TT=606.751	SAT TT=44.336	SAT TT=44.552
veliv/vliw_sat_4.0/ 9vliw_m_9stages_iq3_C1_bug3.cnf	SAT TT=59.46	SAT TT=579.306	SAT TT=66.552	SAT TT=59.46
veliv/vliw_sat_4.0/ 9vliw_m_9stages_iq3_C1_bug4.cnf	SAT TT=43.833	SAT TT=566.535	SAT TT=43.833	SAT TT=44.501
veliv/vliw_sat_4.0/ 9vliw_m_9stages_iq3_C1_bug5.cnf	SAT TT=34.616	SAT TT=578.574	SAT TT=34.616	SAT TT=39.063
veliv/vliw_sat_4.0/ 9vliw_m_9stages_iq3_C1_bug6.cnf	SAT TT=53.168	SAT TT=554.937	SAT TT=60.245	SAT TT=53.168
veliv/vliw_sat_4.0/ 9vliw_m_9stages_iq3_C1_bug7.cnf	SAT TT=44.089	SAT TT=576.01	SAT TT=47.772	SAT TT=44.089
veliv/vliw_sat_4.0/ 9vliw_m_9stages_iq3_C1_bug8.cnf	SAT TT=26.379	SAT TT=554.783	SAT TT=26.418	SAT TT=26.379
Bench name	Best results on this instance	built 2275_500	minisat2-core 061208	minisat2-simp 061208
veliv/vliw_sat_4.0/ 9vliw_m_9stages_iq3_C1_bug9.cnf	SAT TT=131.545	SAT TT=585.005	SAT TT=131.545	SAT TT=132.516
veliv/vliw_unsat_4.0/ 9vliw_m_9stages_C1.cnf	UNSAT TT=858.742	? (TO) TT=1200.02	? (TO) TT=1200.16	? (MO) TT=1104.72
veliv/vliw_unsat_4.0/ 9vliw_m_9stages_iq1_C1.cnf	SIGNAL TT=303.271	? (TO) TT=1200.07	? (MO) TT=1039.32	? (TO) TT=1200.16
veliv/vliw_unsat_4.0/ 9vliw_m_9stages_iq2_C1.cnf	UNSAT TT=9.601	? (MO) TT=1094.57	? (MO) TT=829.549	? (MO) TT=749.214
veliv/vliw_unsat_4.0/ 9vliw_m_9stages_iq3_C1.cnf	UNSAT TT=14.189	? (TO) TT=1200.09	? (MO) TT=1067.69	? (MO) TT=999.356

Some statistics...

	built 2275_500	minisat2-core 061208	minisat2-simp 061208
Number of times the solver is able to give the best known answer	1079	945	1002
Number of times the solver is the best solver from a complete solver point of view (i.e. best known answer and best TT time)	15	276	171