SAT 2009 Competition: preprocessors track: results by benchmark

Results by benchmark for category all categories

This page displays the results of the different solvers for each benchmark for category all categories

REMINDER

Keep in mind that the 'Best result' columns only provide the best result given by one of the solvers. This 'Best result' may be wrong in case of an UNSATISFIABLE or OPTIMUM FOUND answer (because there's no efficient way to check these answers).

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

Remember that CPU time and wall clock time are two very different notions. The CPU time represents the time during which the instructions of the solver were executed by the processor. The wall clock time represents how much time ellapsed on the clock. For a same event, the CPU time may be either smaller or greater than the wall clock time depending on the number of threads of execution and the number of processors.

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

For better readability, you may choose to hide some solvers:
IUT_BMB_SIM 1.0 (complete)
kw_pre 2009-03-21 (complete)
minisat2-core 070721 (complete)
minisat2-simp 070721 (complete)
ReVivAl 0.23 2009-03-18 (complete)
ReVivAl 0.23 + SatElite 2009-03-18 (complete)
SatElite + ReVivAl 0.23 2009-03-18 (complete)

Bench name	Best results on this instance	IUT_BMB_SIM 1.0 (complete)	kw_pre 2009-03-21 (complete)	minisat2-core 070721 (complete)	minisat2-simp 070721 (complete)	ReVivAl 0.23 2009-03-18 (complete)	ReVivAl 0.23 + SatElite 2009-03-18 (complete)	SatElite + ReVivAl 0.23 2009-03-18 (complete)
aloul-chnl11-13.cnf		? (TO) TT=1200.09	? (TO) TT=1200.08	? (TO) TT=1200.07	? (TO) TT=1200.08	? (TO) TT=1200.07	? (TO) TT=1200.05	? (TO) TT=1200.1
APPLICATIONS/aprove09/ AProVE09-01.cnf	SAT TT=1.451	SAT TT=5.694	SAT TT=9.574	SAT TT=1.902	SAT TT=1.451	SAT TT=31.849	SAT TT=12.148	SAT TT=32.448
APPLICATIONS/aprove09/ AProVE09-03.cnf	SAT TT=1.127	SAT TT=3.783	SAT TT=5.957	SAT TT=1.151	SAT TT=1.127	SAT TT=167.65	SAT TT=32.974	SAT TT=171.521
APPLICATIONS/aprove09/ AProVE09-05.cnf	SAT TT=0.44	SAT TT=1.652	SAT TT=13.936	SAT TT=0.44	SAT TT=1.496	SAT TT=1.703	SAT TT=3.084	SAT TT=2.529
APPLICATIONS/aprove09/ AProVE09-06.cnf	SAT TT=41.957	SAT TT=121.429	? (TO) TT=1200.03	SAT TT=42.888	SAT TT=41.957	SAT TT=131.379	SAT TT=86.396	SAT TT=105.515
APPLICATIONS/aprove09/ AProVE09-07.cnf	SAT TT=0.795	SAT TT=1.667	SAT TT=6.099	SAT TT=0.795	SAT TT=10.649	SAT TT=2.756	SAT TT=2.784	SAT TT=6.992
APPLICATIONS/aprove09/ AProVE09-08.cnf	SAT TT=0.549	SAT TT=0.549	SAT TT=25.182	SAT TT=0.913	SAT TT=4.857	SAT TT=3.344	SAT TT=2.226	SAT TT=1.191
APPLICATIONS/aprove09/ AProVE09-10.cnf	SAT TT=2.07	SAT TT=6.636	SAT TT=10.389	SAT TT=5.31	SAT TT=2.07	SAT TT=500.86	SAT TT=503.494	SAT TT=502.059
APPLICATIONS/aprove09/ AProVE09-11.cnf	SAT TT=0.521	SAT TT=1.748	SAT TT=2.098	SAT TT=0.521	SAT TT=0.559	SAT TT=420.798	SAT TT=177.015	SAT TT=419.646
APPLICATIONS/aprove09/ AProVE09-12.cnf	SAT TT=0.909	SAT TT=2.415	SAT TT=2.982	SAT TT=1.165	SAT TT=0.909	SAT TT=112.159	SAT TT=31.212	SAT TT=113.865
Bench name	Best results	IUT_BMB_SIM 1.0 (complete)	kw_pre 2009-03-21 (complete)	minisat2-core 070721 (complete)	minisat2-simp 070721 (complete)	ReVivAl 0.23 2009-03-18 (complete)	ReVivAl 0.23 + SatElite 2009-03-18 (complete)	SatElite + ReVivAl 0.23 2009-03-18 (complete)
APPLICATIONS/aprove09/ AProVE09-13.cnf	SAT TT=0.099	SAT TT=0.455	SAT TT=0.679	SAT TT=0.099	SAT TT=0.181	SAT TT=5.354	SAT TT=4.6	SAT TT=5.241
APPLICATIONS/aprove09/ AProVE09-15.cnf	SAT TT=10.443	SAT TT=23.81	SAT TT=34.435	SAT TT=12.848	SAT TT=10.443	SAT TT=59.382	SAT TT=505.384	SAT TT=55.817
APPLICATIONS/aprove09/ AProVE09-17.cnf	SAT TT=4.66	SAT TT=51.967	SAT TT=20.699	SAT TT=36.158	SAT TT=4.66	SAT TT=17.65	SAT TT=26.219	SAT TT=12.936
APPLICATIONS/aprove09/ AProVE09-19.cnf	SAT TT=0.74	SAT TT=2.033	SAT TT=3.704	SAT TT=0.74	SAT TT=1.259	SAT TT=326.172	SAT TT=180.009	SAT TT=313.371
APPLICATIONS/aprove09/ AProVE09-20.cnf	SAT TT=98.469	? (TO) TT=1200.06	SAT TT=98.469	? (TO) TT=1200.09	? (TO) TT=1200.1	? (TO) TT=1200.03	SAT TT=448.56	? (TO) TT=1200.07
APPLICATIONS/aprove09/ AProVE09-21.cnf	SAT TT=2.655	SAT TT=87.13	SAT TT=6.663	SAT TT=35.095	SAT TT=2.655	SAT TT=27.502	SAT TT=31.03	SAT TT=32.417
APPLICATIONS/aprove09/ AProVE09-22.cnf	SAT TT=0.354	SAT TT=0.733	SAT TT=1.007	SAT TT=0.43	SAT TT=0.354	SAT TT=13.722	SAT TT=8.941	SAT TT=13.961
APPLICATIONS/aprove09/ AProVE09-24.cnf	SAT TT=5.969	SAT TT=16.564	SAT TT=8.681	SAT TT=13.004	SAT TT=5.969	SAT TT=102.341	SAT TT=141.197	SAT TT=110.484
APPLICATIONS/aprove09/ AProVE09-25.cnf	SAT TT=1.008	SAT TT=2.613	SAT TT=3.736	SAT TT=1.21	SAT TT=1.008	SAT TT=250.932	SAT TT=61.307	SAT TT=264.437
APPLICATIONS/ bioinfo/ q_query_2_L324_coli.cnf	UNSAT TT=36.98	UNSAT TT=37.169	UNSAT TT=48.499	UNSAT TT=36.98	UNSAT TT=70.971	UNSAT TT=170.11	UNSAT TT=109.296	UNSAT TT=163.763
Bench name	Best results	IUT_BMB_SIM 1.0 (complete)	kw_pre 2009-03-21 (complete)	minisat2-core 070721 (complete)	minisat2-simp 070721 (complete)	ReVivAl 0.23 2009-03-18 (complete)	ReVivAl 0.23 + SatElite 2009-03-18 (complete)	SatElite + ReVivAl 0.23 2009-03-18 (complete)
APPLICATIONS/bioinfo/ q_query_3_L100_coli.sat.cnf	UNSAT TT=396.216	UNSAT TT=983.572	UNSAT TT=396.216	? (TO) TT=1200.04	UNSAT TT=1170.78	? (TO) TT=1200.06	? (TO) TT=1200.05	? (TO) TT=1200.08
APPLICATIONS/bioinfo/ q_query_3_L150_coli.sat.cnf	UNSAT TT=201.186	UNSAT TT=1056.53	UNSAT TT=201.186	? (TO) TT=1200.1	? (TO) TT=1200.13	? (TO) TT=1200.04	? (TO) TT=1200.03	? (TO) TT=1200.08
APPLICATIONS/bioinfo/ q_query_3_L200_coli.sat.cnf	UNSAT TT=660.451	? (TO) TT=1200.02	UNSAT TT=660.451	? (TO) TT=1200.09	? (TO) TT=1200.12	? (TO) TT=1200.06	? (TO) TT=1200.08	? (TO) TT=1200.08
APPLICATIONS/ bioinfo/ q_query_3_l37_lambda.cnf	SAT TT=2.821	SAT TT=7.09	SAT TT=3.562	SAT TT=5.128	SAT TT=2.821	SAT TT=33.304	SAT TT=39.61	SAT TT=21.919
APPLICATIONS/ bioinfo/ q_query_3_l38_lambda.cnf	SAT TT=3.371	SAT TT=24.196	SAT TT=3.371	SAT TT=14.697	SAT TT=12.809	SAT TT=31.259	SAT TT=42.859	SAT TT=26.572
APPLICATIONS/ bioinfo/ q_query_3_l39_lambda.cnf	SAT TT=9.409	SAT TT=19.129	SAT TT=9.409	SAT TT=11.71	SAT TT=16.786	SAT TT=41.366	SAT TT=43.865	SAT TT=41.253
APPLICATIONS/ bioinfo/ q_query_3_l40_lambda.cnf	SAT TT=9.922	SAT TT=61.257	SAT TT=9.922	SAT TT=62.372	SAT TT=55.784	SAT TT=31.155	SAT TT=61.573	SAT TT=58.741
APPLICATIONS/ bioinfo/ q_query_3_l41_lambda.cnf	SAT TT=18.221	SAT TT=89.393	SAT TT=18.221	SAT TT=55.412	SAT TT=52.387	SAT TT=73.902	SAT TT=75.762	SAT TT=80.12
APPLICATIONS/ bioinfo/ q_query_3_l42_lambda.cnf	SAT TT=27.962	SAT TT=38.672	SAT TT=27.962	SAT TT=81.118	SAT TT=73.594	SAT TT=99.783	SAT TT=115.878	SAT TT=66.9
APPLICATIONS/ bioinfo/ q_query_3_l43_lambda.cnf	SAT TT=43.306	SAT TT=75.922	SAT TT=67.412	SAT TT=138.311	SAT TT=43.306	SAT TT=183.849	SAT TT=106.706	SAT TT=89.146
Bench name	Best results	IUT_BMB_SIM 1.0 (complete)	kw_pre 2009-03-21 (complete)	minisat2-core 070721 (complete)	minisat2-simp 070721 (complete)	ReVivAl 0.23 2009-03-18 (complete)	ReVivAl 0.23 + SatElite 2009-03-18 (complete)	SatElite + ReVivAl 0.23 2009-03-18 (complete)
APPLICATIONS/ bioinfo/ q_query_3_l44_lambda.cnf	UNSAT TT=290.22	UNSAT TT=566.893	UNSAT TT=290.22	UNSAT TT=748.343	UNSAT TT=500.406	UNSAT TT=753.538	UNSAT TT=538.223	UNSAT TT=598.322
APPLICATIONS/ bioinfo/ q_query_3_l45_lambda.cnf	UNSAT TT=281.673	UNSAT TT=521.048	UNSAT TT=281.673	UNSAT TT=699.624	UNSAT TT=493.733	UNSAT TT=946.196	UNSAT TT=600.909	UNSAT TT=651.389
APPLICATIONS/ bioinfo/ q_query_3_l46_lambda.cnf	UNSAT TT=361.596	UNSAT TT=666.828	UNSAT TT=361.596	UNSAT TT=673.585	UNSAT TT=498.882	UNSAT TT=659.012	UNSAT TT=847.614	UNSAT TT=455.118
APPLICATIONS/ bioinfo/ q_query_3_l47_lambda.cnf	UNSAT TT=291.973	UNSAT TT=582.987	UNSAT TT=291.973	UNSAT TT=640.854	UNSAT TT=369.236	UNSAT TT=849.565	UNSAT TT=625.763	UNSAT TT=698.938
APPLICATIONS/ bioinfo/ q_query_3_l48_lambda.cnf	UNSAT TT=292.081	UNSAT TT=676.705	UNSAT TT=292.081	UNSAT TT=683.627	UNSAT TT=550.195	UNSAT TT=939.712	UNSAT TT=870.46	UNSAT TT=420.755
APPLICATIONS/ bioinfo/ q_query_3_L60_coli.sat.cnf	SAT TT=90.689	SAT TT=236.236	SAT TT=90.689	SAT TT=155.977	SAT TT=458.656	SAT TT=977.963	SAT TT=622.282	SAT TT=556.581
APPLICATIONS/ bioinfo/ q_query_3_L70_coli.sat.cnf	SAT TT=259.901	SAT TT=754.128	SAT TT=259.901	SAT TT=989.913	SAT TT=830.476	SAT TT=1197.39	SAT TT=776.823	SAT TT=1071.21
APPLICATIONS/ bioinfo/ q_query_3_L80_coli.sat.cnf	UNSAT TT=245.963	UNSAT TT=993.469	UNSAT TT=245.963	? (TO) TT=1200.04	UNSAT TT=1065.66	? (TO) TT=1200.07	? (TO) TT=1200.05	UNSAT TT=1043.8
APPLICATIONS/ bioinfo/ q_query_3_L90_coli.sat.cnf	UNSAT TT=170.945	? (TO) TT=1200	UNSAT TT=170.945	? (TO) TT=1200.11	? (TO) TT=1200.1	? (TO) TT=1200.06	UNSAT TT=1073.98	? (TO) TT=1200.09
APPLICATIONS/bitverif/ countbitsarray/ countbitsarray02_32.cnf		? (TO) TT=1200.03	? (TO) TT=1200.03	? (TO) TT=1200.05	? (TO) TT=1200.06	? (TO) TT=1200.11	? (TO) TT=1200.03	? (TO) TT=1200.09
Bench name	Best results	IUT_BMB_SIM 1.0 (complete)	kw_pre 2009-03-21 (complete)	minisat2-core 070721 (complete)	minisat2-simp 070721 (complete)	ReVivAl 0.23 2009-03-18 (complete)	ReVivAl 0.23 + SatElite 2009-03-18 (complete)	SatElite + ReVivAl 0.23 2009-03-18 (complete)
APPLICATIONS/bitverif/ countbitsarray/ countbitsarray08_32.cnf		? (TO) TT=1200.01	? (TO) TT=1200.04	? (TO) TT=1200.07	? (TO) TT=1200.07	? (TO) TT=1200.07	? (TO) TT=1200	? (TO) TT=1200.04
APPLICATIONS/bitverif/ countbitsarray/ countbitsarray32_32.cnf		? (TO) TT=1200.04	? (TO) TT=1200.06	? (TO) TT=1200.11	? (TO) TT=1200.11	? (TO) TT=1200.05	? (TO) TT=1200.08	? (TO) TT=1200.1
APPLICATIONS/bitverif/ countbitsrotate/ countbitsrotate016.cnf	UNSAT TT=30.286	UNSAT TT=47.162	UNSAT TT=43.307	UNSAT TT=50.353	UNSAT TT=39.297	UNSAT TT=45.24	UNSAT TT=31.859	UNSAT TT=30.286
APPLICATIONS/bitverif/ countbitsrotate/ countbitsrotate032.cnf		? (TO) TT=1200.08	? (TO) TT=1200.09	? (TO) TT=1200.05	? (TO) TT=1200.09	? (TO) TT=1200.12	? (TO) TT=1200.12	? (TO) TT=1200.07
APPLICATIONS/bitverif/ countbitsrotate/ countbitsrotate128.cnf		? (TO) TT=1200	? (TO) TT=1200.01	? (TO) TT=1200.09	? (TO) TT=1200.06	? (TO) TT=1200	? (TO) TT=1200.07	? (TO) TT=1200.06
APPLICATIONS/bitverif/ countbitssrl/ countbitssrl016.cnf	UNSAT TT=5.565	UNSAT TT=10.294	UNSAT TT=5.565	UNSAT TT=10.362	UNSAT TT=7.157	UNSAT TT=7.619	UNSAT TT=8.323	UNSAT TT=10.63
APPLICATIONS/bitverif/ countbitssrl/ countbitssrl032.cnf	UNSAT TT=990.494	? (TO) TT=1200.02	UNSAT TT=990.494	? (TO) TT=1200.08	? (TO) TT=1200.06	? (TO) TT=1200.08	? (TO) TT=1200.1	? (TO) TT=1200.07
APPLICATIONS/bitverif/ countbitssrl/ countbitssrl128.cnf		? (TO) TT=1200.01	? (TO) TT=1200.06	? (TO) TT=1200.11	? (TO) TT=1200.07	? (TO) TT=1200.01	? (TO) TT=1200.03	? (TO) TT=1200.04
APPLICATIONS/bitverif/ countbitswegner/ countbitswegner064.cnf	UNSAT TT=183.586	? (TO) TT=1200.05	UNSAT TT=183.586	? (TO) TT=1200.08	? (TO) TT=1200.06	? (TO) TT=1200.02	? (TO) TT=1200.06	? (TO) TT=1200.07
APPLICATIONS/ bitverif/ icbrt/icbrt1_32.cnf	UNSAT TT=18.607	UNSAT TT=26.728	UNSAT TT=26.829	UNSAT TT=27.318	UNSAT TT=26.519	UNSAT TT=28.528	UNSAT TT=20.1	UNSAT TT=18.607
Bench name	Best results	IUT_BMB_SIM 1.0 (complete)	kw_pre 2009-03-21 (complete)	minisat2-core 070721 (complete)	minisat2-simp 070721 (complete)	ReVivAl 0.23 2009-03-18 (complete)	ReVivAl 0.23 + SatElite 2009-03-18 (complete)	SatElite + ReVivAl 0.23 2009-03-18 (complete)
APPLICATIONS/ bitverif/maxand/ maxand064.cnf	UNSAT TT=15.605	UNSAT TT=74.371	UNSAT TT=35.591	UNSAT TT=55.166	UNSAT TT=15.605	UNSAT TT=105.893	UNSAT TT=77.188	UNSAT TT=120.582
APPLICATIONS/ bitverif/maxor/ maxor128.cnf		? (TO) TT=1200.03	? (TO) TT=1200.05	? (TO) TT=1200.08	? (TO) TT=1200.14	? (TO) TT=1200.05	? (TO) TT=1200.03	? (TO) TT=1200.04
APPLICATIONS/ bitverif/maxxor/ maxxor064.cnf		? (TO) TT=1200.01	? (TO) TT=1200.05	? (TO) TT=1200.11	? (TO) TT=1200.12	? (TO) TT=1200.08	? (TO) TT=1200.07	? (TO) TT=1200.09
APPLICATIONS/ bitverif/maxxor/ maxxor128.cnf		? (TO) TT=1200.09	? (TO) TT=1200.04	? (TO) TT=1200.16	? (TO) TT=1200.16	? (TO) TT=1200.05	? (TO) TT=1200.04	? (TO) TT=1200.03
APPLICATIONS/bitverif/ maxxororand/ maxxororand032.cnf	UNSAT TT=1139.9	? (TO) TT=1200.02	UNSAT TT=1139.9	? (TO) TT=1200.12	? (TO) TT=1200.11	? (TO) TT=1200.04	? (TO) TT=1200.09	? (TO) TT=1200.09
APPLICATIONS/bitverif/ maxxororand/ maxxororand128.cnf		? (TO) TT=1200.09	? (MO) TT=195.08	? (TO) TT=1200.12	? (TO) TT=1200.13	? (TO) TT=1200.06	? (TO) TT=1200.07	? (TO) TT=1200.04
APPLICATIONS/bitverif/ minandmaxor/ minandmaxor032.cnf	UNSAT TT=21.645	UNSAT TT=56.5	UNSAT TT=21.645	UNSAT TT=45.198	UNSAT TT=25.654	UNSAT TT=53.951	UNSAT TT=29.411	UNSAT TT=24.957
APPLICATIONS/bitverif/ minandmaxor/ minandmaxor128.cnf		? (TO) TT=1200.05	? (TO) TT=1200.01	? (TO) TT=1200.14	? (TO) TT=1200.11	? (TO) TT=1200.02	? (TO) TT=1200.04	? (TO) TT=1200.02
APPLICATIONS/ bitverif/minand/ minand128.cnf	UNSAT TT=138.842	UNSAT TT=989.718	UNSAT TT=332.821	? (TO) TT=1200.15	UNSAT TT=138.842	? (TO) TT=1200.09	UNSAT TT=147.557	UNSAT TT=147.68
APPLICATIONS/ bitverif/minor/ minor032.cnf	UNSAT TT=0.881	UNSAT TT=3.089	UNSAT TT=2.816	UNSAT TT=2.317	UNSAT TT=0.881	UNSAT TT=3.42	UNSAT TT=1.458	UNSAT TT=2.518
Bench name	Best results	IUT_BMB_SIM 1.0 (complete)	kw_pre 2009-03-21 (complete)	minisat2-core 070721 (complete)	minisat2-simp 070721 (complete)	ReVivAl 0.23 2009-03-18 (complete)	ReVivAl 0.23 + SatElite 2009-03-18 (complete)	SatElite + ReVivAl 0.23 2009-03-18 (complete)
APPLICATIONS/ bitverif/minor/ minor064.cnf	UNSAT TT=22.805	UNSAT TT=83.531	UNSAT TT=46.786	UNSAT TT=72.33	UNSAT TT=22.805	UNSAT TT=105.343	UNSAT TT=51.37	UNSAT TT=108.689
APPLICATIONS/bitverif/ minxorminand/ minxorminand032.cnf	UNSAT TT=10.229	UNSAT TT=62.963	UNSAT TT=44.054	UNSAT TT=45.66	UNSAT TT=30.018	UNSAT TT=40.124	UNSAT TT=12.488	UNSAT TT=10.229
APPLICATIONS/bitverif/ minxorminand/ minxorminand064.cnf	UNSAT TT=277.211	? (TO) TT=1200	UNSAT TT=729.36	? (TO) TT=1200.12	? (TO) TT=1200.12	? (TO) TT=1200.03	UNSAT TT=277.211	UNSAT TT=863.825
APPLICATIONS/bitverif/ minxorminand/ minxorminand128.cnf		? (TO) TT=1200.07	? (MO) TT=261.97	? (TO) TT=1200.16	? (TO) TT=1200.21	? (TO) TT=1200.03	? (TO) TT=1200.1	? (TO) TT=1200.06
APPLICATIONS/ bitverif/minxor/ minxor128.cnf		? (TO) TT=1200.04	? (TO) TT=1200.03	? (TO) TT=1200.18	? (TO) TT=1200.14	? (TO) TT=1200	? (TO) TT=1200.06	? (TO) TT=1200.07
APPLICATIONS/ bitverif/mulhs/ mulhs016.cnf		? (TO) TT=1200.05	? (TO) TT=1200.08	? (TO) TT=1200.06	? (TO) TT=1200.08	? (TO) TT=1200.11	? (TO) TT=1200.11	? (TO) TT=1200.07
APPLICATIONS/ bitverif/mulhs/ mulhs032.cnf		? (TO) TT=1200.04	? (TO) TT=1200.01	? (TO) TT=1200.12	? (TO) TT=1200.1	? (TO) TT=1200.05	? (TO) TT=1200.08	? (TO) TT=1200.02
APPLICATIONS/ bitverif/smulo/ smulo016.cnf	UNSAT TT=21.118	UNSAT TT=24.998	UNSAT TT=23.409	UNSAT TT=63.276	UNSAT TT=46.766	UNSAT TT=50.905	UNSAT TT=21.118	UNSAT TT=31.4
APPLICATIONS/ bitverif/smulo/ smulo128.cnf		? (TO) TT=1200.06	? (TO) TT=1200.04	? (TO) TT=1200.11	? (TO) TT=1200.07	? (TO) TT=1200.08	? (TO) TT=1200.06	? (TO) TT=1200.02
APPLICATIONS/ c32sat/ post-c32s-col400-16.cnf	UNSAT TT=74.564	UNSAT TT=423.736	UNSAT TT=323.889	UNSAT TT=944.278	UNSAT TT=74.564	UNSAT TT=789.613	UNSAT TT=650.771	UNSAT TT=750.06
Bench name	Best results	IUT_BMB_SIM 1.0 (complete)	kw_pre 2009-03-21 (complete)	minisat2-core 070721 (complete)	minisat2-simp 070721 (complete)	ReVivAl 0.23 2009-03-18 (complete)	ReVivAl 0.23 + SatElite 2009-03-18 (complete)	SatElite + ReVivAl 0.23 2009-03-18 (complete)
APPLICATIONS/ c32sat/ post-c32s-gcdm16-22.cnf	SAT TT=130.444	? (TO) TT=1200.04	SAT TT=552.904	? (TO) TT=1200.12	SAT TT=480.839	SAT TT=1103.64	SAT TT=130.444	SAT TT=253.797
APPLICATIONS/ c32sat/ post-c32s-gcdm16-23.cnf	UNSAT TT=93.772	? (TO) TT=1200.05	UNSAT TT=654.779	? (TO) TT=1200.11	UNSAT TT=618.447	UNSAT TT=1126.77	UNSAT TT=93.772	UNSAT TT=299.845
APPLICATIONS/ c32sat/post-c32s-ss-8.cnf	UNSAT TT=470.844	? (TO) TT=1200.01	UNSAT TT=470.844	? (TO) TT=1200.13	? (TO) TT=1200.06	? (TO) TT=1200.08	? (TO) TT=1200.04	? (TO) TT=1200.02
APPLICATIONS/c32sat/ post-cbmc-aes-d-r2-noholes.cnf		? (TO) TT=1200.01	? (TO) TT=1200.05	? (TO) TT=1200.09	? (TO) TT=1200.07	? (TO) TT=1200.06	? (TO) TT=1200.02	? (TO) TT=1200
APPLICATIONS/c32sat/ post-cbmc-aes-ee-r2-noholes.cnf		? (TO) TT=1200.04	? (TO) TT=1200.04	? (TO) TT=1200.13	? (TO) TT=1200.09	? (TO) TT=1200.01	? (TO) TT=1200.07	? (TO) TT=1200.07
APPLICATIONS/c32sat/ post-cbmc-aes-ee-r3-noholes.cnf		? (TO) TT=1200.07	? (TO) TT=1200.1	? (TO) TT=1200.17	? (TO) TT=1200.16	? (TO) TT=1200.07	? (TO) TT=1200.04	? (TO) TT=1200.09
APPLICATIONS/c32sat/ post-cbmc-aes-ele-noholes.cnf	UNSAT TT=83.492	? (TO) TT=1200	UNSAT TT=83.492	UNSAT TT=664.245	UNSAT TT=326.559	? (TO) TT=1200.08	UNSAT TT=826.494	UNSAT TT=832.841
APPLICATIONS/c32sat/ post-cbmc-zfcp-2.8-u2-noholes.cnf		? (MO) TT=13.335	? (MO) TT=3.58	? (MO) TT=18.132	? (MO) TT=18.077	? (MO) TT=7.78	? (problem) TT=0.004	? (MO) TT=7.78
APPLICATIONS/ crypto/desgen/ gss-13-s100.cnf	SAT TT=12.047	SAT TT=80.148	SAT TT=41.368	SAT TT=101.294	SAT TT=12.047	SAT TT=57.365	SAT TT=47.449	SAT TT=24.101
APPLICATIONS/ crypto/desgen/ gss-14-s100.cnf	SAT TT=37.783	SAT TT=73.172	SAT TT=115.195	SAT TT=137.861	SAT TT=65.943	SAT TT=53.667	SAT TT=67.079	SAT TT=37.783
Bench name	Best results	IUT_BMB_SIM 1.0 (complete)	kw_pre 2009-03-21 (complete)	minisat2-core 070721 (complete)	minisat2-simp 070721 (complete)	ReVivAl 0.23 2009-03-18 (complete)	ReVivAl 0.23 + SatElite 2009-03-18 (complete)	SatElite + ReVivAl 0.23 2009-03-18 (complete)
APPLICATIONS/ crypto/desgen/ gss-15-s100.cnf	SAT TT=2.96	SAT TT=159.238	SAT TT=26.103	SAT TT=2.96	SAT TT=234.538	SAT TT=296.926	SAT TT=53.634	SAT TT=155.277
APPLICATIONS/ crypto/desgen/ gss-16-s100.cnf	SAT TT=153.922	SAT TT=563.39	SAT TT=163.763	SAT TT=605.209	SAT TT=386.205	SAT TT=502.208	SAT TT=281.986	SAT TT=153.922
APPLICATIONS/ crypto/desgen/ gss-17-s100.cnf	SAT TT=528.07	SAT TT=1034.33	SAT TT=1195.53	? (TO) TT=1200.02	SAT TT=951.217	SAT TT=995.835	SAT TT=528.07	SAT TT=664.048
APPLICATIONS/ crypto/desgen/ gss-19-s100.cnf	SAT TT=57.808	? (TO) TT=1200.07	? (TO) TT=1200.06	? (TO) TT=1200.07	? (TO) TT=1200.08	SAT TT=1138.07	SAT TT=57.808	? (TO) TT=1200.13
APPLICATIONS/ crypto/desgen/ gss-20-s100.cnf	SAT TT=378.318	? (TO) TT=1200.14	? (TO) TT=1200.04	? (TO) TT=1200.06	? (TO) TT=1200.11	? (TO) TT=1200.11	? (TO) TT=1200.12	SAT TT=378.318
APPLICATIONS/ crypto/desgen/ gss-21-s100.cnf		? (TO) TT=1200.04	? (TO) TT=1200.03	? (TO) TT=1200.08	? (TO) TT=1200.09	? (TO) TT=1200.04	? (TO) TT=1200.06	? (TO) TT=1200.12
APPLICATIONS/ crypto/desgen/ gss-22-s100.cnf		? (TO) TT=1200.1	? (TO) TT=1200.04	? (TO) TT=1200.03	? (TO) TT=1200.09	? (TO) TT=1200.1	? (TO) TT=1200.03	? (TO) TT=1200.04
APPLICATIONS/ crypto/desgen/ gss-23-s100.cnf		? (TO) TT=1200.13	? (TO) TT=1200.07	? (TO) TT=1200.08	? (TO) TT=1200.07	? (TO) TT=1200.11	? (TO) TT=1200.08	? (TO) TT=1200.09
APPLICATIONS/ crypto/desgen/ gss-24-s100.cnf		? (TO) TT=1200.11	? (TO) TT=1200.06	? (TO) TT=1200.11	? (TO) TT=1200.07	? (TO) TT=1200.09	? (TO) TT=1200.06	? (TO) TT=1200.08
APPLICATIONS/ crypto/desgen/ gss-25-s100.cnf		? (TO) TT=1200.09	? (TO) TT=1200.06	? (TO) TT=1200.1	? (TO) TT=1200.06	? (TO) TT=1200.12	? (TO) TT=1200.08	? (TO) TT=1200.08
Bench name	Best results	IUT_BMB_SIM 1.0 (complete)	kw_pre 2009-03-21 (complete)	minisat2-core 070721 (complete)	minisat2-simp 070721 (complete)	ReVivAl 0.23 2009-03-18 (complete)	ReVivAl 0.23 + SatElite 2009-03-18 (complete)	SatElite + ReVivAl 0.23 2009-03-18 (complete)
APPLICATIONS/ crypto/desgen/ gss-26-s100.cnf		? (TO) TT=1200.12	? (TO) TT=1200.1	? (TO) TT=1200.06	? (TO) TT=1200.06	? (TO) TT=1200.08	? (TO) TT=1200.07	? (TO) TT=1200.03
APPLICATIONS/ crypto/desgen/ gss-27-s100.cnf		? (TO) TT=1200.04	? (TO) TT=1200.09	? (TO) TT=1200.08	? (TO) TT=1200.07	? (TO) TT=1200.02	? (TO) TT=1200.06	? (TO) TT=1200.05
APPLICATIONS/ crypto/desgen/ gss-28-s100.cnf		? (TO) TT=1200.08	? (TO) TT=1200.06	? (TO) TT=1200.04	? (TO) TT=1200.1	? (TO) TT=1200.09	? (TO) TT=1200.08	? (TO) TT=1200.1
APPLICATIONS/ crypto/desgen/ gss-31-s100.cnf		? (TO) TT=1200.06	? (TO) TT=1200.02	? (TO) TT=1200.01	? (TO) TT=1200.07	? (TO) TT=1200.04	? (TO) TT=1200.09	? (TO) TT=1200.09
APPLICATIONS/ crypto/desgen/ gss-32-s100.cnf		? (TO) TT=1200.07	? (TO) TT=1200.08	? (TO) TT=1200.11	? (TO) TT=1200.05	? (TO) TT=1200.1	? (TO) TT=1200.06	? (TO) TT=1200.06
APPLICATIONS/ crypto/desgen/ gss-33-s100.cnf		? (TO) TT=1200.09	? (TO) TT=1200.01	? (TO) TT=1200.06	? (TO) TT=1200.05	? (TO) TT=1200.07	? (TO) TT=1200.13	? (TO) TT=1200.1
APPLICATIONS/ crypto/desgen/ gss-34-s100.cnf		? (TO) TT=1200.05	? (TO) TT=1200.01	? (TO) TT=1200.11	? (TO) TT=1200.1	? (TO) TT=1200.1	? (TO) TT=1200.07	? (TO) TT=1200.08
APPLICATIONS/ crypto/md5gen/ gus-md5-04.cnf	UNSAT TT=6.648	UNSAT TT=9.525	UNSAT TT=18.15	UNSAT TT=7.468	UNSAT TT=6.648	UNSAT TT=16.316	UNSAT TT=17.713	UNSAT TT=13.035
APPLICATIONS/ crypto/md5gen/ gus-md5-05.cnf	UNSAT TT=19.196	UNSAT TT=27.005	UNSAT TT=43.436	UNSAT TT=25.071	UNSAT TT=19.196	UNSAT TT=32.061	UNSAT TT=23.785	UNSAT TT=22.647
APPLICATIONS/ crypto/md5gen/ gus-md5-06.cnf	UNSAT TT=39.797	UNSAT TT=86.462	UNSAT TT=79.326	UNSAT TT=62.906	UNSAT TT=55.059	UNSAT TT=67.533	UNSAT TT=45.038	UNSAT TT=39.797
Bench name	Best results	IUT_BMB_SIM 1.0 (complete)	kw_pre 2009-03-21 (complete)	minisat2-core 070721 (complete)	minisat2-simp 070721 (complete)	ReVivAl 0.23 2009-03-18 (complete)	ReVivAl 0.23 + SatElite 2009-03-18 (complete)	SatElite + ReVivAl 0.23 2009-03-18 (complete)
APPLICATIONS/ crypto/md5gen/ gus-md5-07.cnf	UNSAT TT=97.687	UNSAT TT=161.718	UNSAT TT=144.677	UNSAT TT=195.454	UNSAT TT=120.492	UNSAT TT=189.619	UNSAT TT=97.687	UNSAT TT=114.015
APPLICATIONS/ crypto/md5gen/ gus-md5-09.cnf	UNSAT TT=644.047	? (TO) TT=1200.11	UNSAT TT=1146.6	? (TO) TT=1200.09	UNSAT TT=915.504	UNSAT TT=1010.43	UNSAT TT=696.95	UNSAT TT=644.047
APPLICATIONS/ crypto/md5gen/ gus-md5-10.cnf		? (TO) TT=1200.08	? (TO) TT=1200.07	? (TO) TT=1200.06	? (TO) TT=1200.09	? (TO) TT=1200.04	? (TO) TT=1200.1	? (TO) TT=1200.07
APPLICATIONS/ crypto/md5gen/ gus-md5-11.cnf		? (TO) TT=1200.06	? (TO) TT=1200.08	? (TO) TT=1200.03	? (TO) TT=1200.1	? (TO) TT=1200.06	? (TO) TT=1200.08	? (TO) TT=1200
APPLICATIONS/ crypto/md5gen/ gus-md5-14.cnf		? (TO) TT=1200.06	? (TO) TT=1200.09	? (TO) TT=1200.11	? (TO) TT=1200.06	? (TO) TT=1200.1	? (TO) TT=1200.05	? (TO) TT=1200.03
APPLICATIONS/ crypto/md5gen/ gus-md5-15.cnf		? (TO) TT=1200.01	? (TO) TT=1200.07	? (TO) TT=1200.06	? (TO) TT=1200.06	? (TO) TT=1200.07	? (TO) TT=1200.1	? (TO) TT=1200.02
APPLICATIONS/ crypto/md5gen/ gus-md5-16.cnf		? (TO) TT=1200.05	? (TO) TT=1200.08	? (TO) TT=1200.08	? (TO) TT=1200.09	? (TO) TT=1200.09	? (TO) TT=1200.1	? (TO) TT=1200.04
APPLICATIONS/diagnosis/ ACG-10-5p0.cnf	UNSAT TT=130.815	UNSAT TT=133.311	UNSAT TT=130.815	UNSAT TT=199.869	UNSAT TT=140.348	UNSAT TT=516.054	UNSAT TT=522.503	UNSAT TT=542.187
APPLICATIONS/diagnosis/ ACG-15-10p0.cnf		? (TO) TT=1200.05	? (TO) TT=1200.05	? (TO) TT=1200.13	? (TO) TT=1200.07	? (TO) TT=1200.09	? (TO) TT=1200.02	? (TO) TT=1200.04
APPLICATIONS/diagnosis/ ACG-15-10p1.cnf		? (TO) TT=1200.06	? (TO) TT=1200.07	? (TO) TT=1200.12	? (TO) TT=1200.11	? (TO) TT=1200.04	? (TO) TT=1200.02	? (TO) TT=1200
Bench name	Best results	IUT_BMB_SIM 1.0 (complete)	kw_pre 2009-03-21 (complete)	minisat2-core 070721 (complete)	minisat2-simp 070721 (complete)	ReVivAl 0.23 2009-03-18 (complete)	ReVivAl 0.23 + SatElite 2009-03-18 (complete)	SatElite + ReVivAl 0.23 2009-03-18 (complete)
APPLICATIONS/diagnosis/ ACG-20-10p0.cnf		? (TO) TT=1200.03	? (TO) TT=1200.02	? (TO) TT=1200.16	? (TO) TT=1200.14	? (TO) TT=1200	? (TO) TT=1200.04	? (TO) TT=1200.08
APPLICATIONS/diagnosis/ ACG-20-10p1.cnf		? (TO) TT=1200.05	? (TO) TT=1200.03	? (TO) TT=1200.12	? (TO) TT=1200.17	? (TO) TT=1200.03	? (TO) TT=1200.01	? (TO) TT=1200.04
APPLICATIONS/diagnosis/ ACG-20-5p1.cnf	SAT TT=976.508	? (TO) TT=1200.08	SAT TT=976.508	? (TO) TT=1200.13	? (TO) TT=1200.14	? (TO) TT=1200.01	SAT TT=1091.47	? (TO) TT=1200
APPLICATIONS/diagnosis/ UCG-10-5p0.cnf	UNSAT TT=73.139	UNSAT TT=73.139	UNSAT TT=99.945	UNSAT TT=131.247	UNSAT TT=104.84	UNSAT TT=512.066	UNSAT TT=515.517	UNSAT TT=522.603
APPLICATIONS/diagnosis/ UCG-15-10p0.cnf		? (TO) TT=1200.03	? (TO) TT=1200	? (TO) TT=1200.12	? (TO) TT=1200.14	? (TO) TT=1200.04	? (TO) TT=1200.03	? (TO) TT=1200.09
APPLICATIONS/diagnosis/ UCG-15-10p1.cnf		? (TO) TT=1200.02	? (TO) TT=1200.08	? (TO) TT=1200.14	? (TO) TT=1200.14	? (TO) TT=1200.02	? (TO) TT=1200.02	? (TO) TT=1200.03
APPLICATIONS/diagnosis/ UCG-15-5p0.cnf	UNSAT TT=162.406	UNSAT TT=466.888	UNSAT TT=281.632	UNSAT TT=660.375	UNSAT TT=162.406	UNSAT TT=647.059	UNSAT TT=629.307	UNSAT TT=648
APPLICATIONS/diagnosis/ UCG-20-10p1.cnf		? (TO) TT=1200.08	? (TO) TT=1200.04	? (TO) TT=1200.11	? (TO) TT=1200.12	? (TO) TT=1200.06	? (TO) TT=1200.09	? (TO) TT=1200.1
APPLICATIONS/diagnosis/ UCG-20-5p1.cnf	SAT TT=1117.34	? (TO) TT=1200.01	SAT TT=1117.34	? (TO) TT=1200.09	? (TO) TT=1200.12	? (TO) TT=1200.09	? (TO) TT=1200.06	? (TO) TT=1200.05
APPLICATIONS/diagnosis/ UR-10-5p0.cnf	UNSAT TT=78.133	UNSAT TT=123.339	UNSAT TT=123.685	UNSAT TT=112.546	UNSAT TT=78.133	UNSAT TT=516.638	UNSAT TT=520.955	UNSAT TT=515.92
Bench name	Best results	IUT_BMB_SIM 1.0 (complete)	kw_pre 2009-03-21 (complete)	minisat2-core 070721 (complete)	minisat2-simp 070721 (complete)	ReVivAl 0.23 2009-03-18 (complete)	ReVivAl 0.23 + SatElite 2009-03-18 (complete)	SatElite + ReVivAl 0.23 2009-03-18 (complete)
APPLICATIONS/diagnosis/ UR-10-5p1.cnf	SAT TT=16.452	SAT TT=161.087	SAT TT=115.545	SAT TT=16.452	SAT TT=87.712	SAT TT=529.793	SAT TT=524.853	SAT TT=513.078
APPLICATIONS/diagnosis/ UR-15-10p0.cnf		? (TO) TT=1200.04	? (TO) TT=1200.07	? (TO) TT=1200.14	? (TO) TT=1200.15	? (TO) TT=1200.04	? (TO) TT=1200.02	? (TO) TT=1200.08
APPLICATIONS/diagnosis/ UR-15-10p1.cnf		? (TO) TT=1200.09	? (TO) TT=1200.08	? (TO) TT=1200.08	? (TO) TT=1200.15	? (TO) TT=1200.07	? (TO) TT=1200.03	? (TO) TT=1200.06
APPLICATIONS/diagnosis/ UR-15-5p0.cnf	UNSAT TT=323.652	UNSAT TT=1199.17	UNSAT TT=323.652	UNSAT TT=1021.19	UNSAT TT=721.602	UNSAT TT=1086.2	UNSAT TT=773.648	UNSAT TT=1003.37
APPLICATIONS/diagnosis/ UR-20-10p1.cnf		? (TO) TT=1200.02	? (TO) TT=1200.06	? (TO) TT=1200.15	? (TO) TT=1200.11	? (TO) TT=1200.06	? (TO) TT=1200.1	? (TO) TT=1200.08
APPLICATIONS/diagnosis/ UR-20-5p0.cnf		? (TO) TT=1200.01	? (TO) TT=1200.06	? (TO) TT=1200.09	? (TO) TT=1200.12	? (TO) TT=1200.06	? (TO) TT=1200.04	? (TO) TT=1200.04
APPLICATIONS/diagnosis/ UR-20-5p1.cnf		? (TO) TT=1200.09	? (TO) TT=1200.09	? (TO) TT=1200.13	? (TO) TT=1200.11	? (TO) TT=1200.01	? (TO) TT=1200	? (TO) TT=1200.1
APPLICATIONS/diagnosis/ UTI-10-10p0.cnf	UNSAT TT=95.144	UNSAT TT=317.849	UNSAT TT=393.513	? (TO) TT=1200.13	UNSAT TT=95.144	UNSAT TT=810.567	UNSAT TT=569.098	UNSAT TT=748.313
APPLICATIONS/diagnosis/ UTI-15-10p0.cnf	UNSAT TT=636.454	? (TO) TT=1200.01	UNSAT TT=636.454	? (TO) TT=1200.13	UNSAT TT=741.146	? (TO) TT=1200.03	? (TO) TT=1200.06	UNSAT TT=786.33
APPLICATIONS/diagnosis/ UTI-15-10p1.cnf	SAT TT=706.808	? (TO) TT=1200.08	SAT TT=706.808	? (TO) TT=1200.21	? (TO) TT=1200.12	? (TO) TT=1200.05	? (TO) TT=1200	? (TO) TT=1200.09
Bench name	Best results	IUT_BMB_SIM 1.0 (complete)	kw_pre 2009-03-21 (complete)	minisat2-core 070721 (complete)	minisat2-simp 070721 (complete)	ReVivAl 0.23 2009-03-18 (complete)	ReVivAl 0.23 + SatElite 2009-03-18 (complete)	SatElite + ReVivAl 0.23 2009-03-18 (complete)
APPLICATIONS/diagnosis/ UTI-15-5p0.cnf		? (TO) TT=1200.08	? (TO) TT=1200.06	? (TO) TT=1200.17	? (TO) TT=1200.14	? (TO) TT=1200.07	? (TO) TT=1200.05	? (TO) TT=1200.01
APPLICATIONS/diagnosis/ UTI-15-5p1.cnf	SAT TT=396.099	? (TO) TT=1200.05	SAT TT=396.099	? (TO) TT=1200.19	? (TO) TT=1200.16	? (TO) TT=1200	? (TO) TT=1200.08	? (TO) TT=1200.09
APPLICATIONS/diagnosis/ UTI-20-10p0.cnf		? (TO) TT=1200.02	? (TO) TT=1200.04	? (TO) TT=1200.16	? (TO) TT=1200.1	? (TO) TT=1200.09	? (TO) TT=1200.01	? (TO) TT=1200.05
APPLICATIONS/diagnosis/ UTI-20-10p1.cnf		? (TO) TT=1200.04	? (TO) TT=1200.07	? (TO) TT=1200.11	? (TO) TT=1200.14	? (TO) TT=1200.05	? (TO) TT=1200	? (TO) TT=1200.01
APPLICATIONS/diagnosis/ UTI-20-5p0.cnf		? (TO) TT=1200.09	? (TO) TT=1200.06	? (TO) TT=1200.15	? (TO) TT=1200.16	? (TO) TT=1200.03	? (TO) TT=1200.06	? (TO) TT=1200.01
APPLICATIONS/diagnosis/ UTI-20-5p1.cnf		? (TO) TT=1200.04	? (TO) TT=1200	? (TO) TT=1200.18	? (TO) TT=1200.09	? (TO) TT=1200.07	? (TO) TT=1200.03	? (TO) TT=1200.07
APPLICATIONS/ satComp09_BioInstances/ndhf_xits_09_UNSAT.cnf		? (TO) TT=1200.05	? (TO) TT=1200.05	? (TO) TT=1200.06	? (TO) TT=1200.07	? (TO) TT=1200.06	? (TO) TT=1200.09	? (TO) TT=1200.08
APPLICATIONS/ satComp09_BioInstances/ndhf_xits_10_UNSAT.cnf		? (TO) TT=1200.06	? (TO) TT=1200.03	? (TO) TT=1200.04	? (TO) TT=1200.11	? (TO) TT=1200.02	? (TO) TT=1200.08	? (TO) TT=1200.08
APPLICATIONS/ satComp09_BioInstances/ndhf_xits_11_UNSAT.cnf		? (TO) TT=1200	? (TO) TT=1200.03	? (TO) TT=1200.07	? (TO) TT=1200.03	? (TO) TT=1200.06	? (TO) TT=1200.04	? (TO) TT=1200.07
APPLICATIONS/ satComp09_BioInstances/ndhf_xits_12_UNSAT.cnf		? (TO) TT=1200.08	? (TO) TT=1200.01	? (TO) TT=1200.12	? (TO) TT=1200.12	? (TO) TT=1200.05	? (TO) TT=1200.04	? (TO) TT=1200.03
Bench name	Best results	IUT_BMB_SIM 1.0 (complete)	kw_pre 2009-03-21 (complete)	minisat2-core 070721 (complete)	minisat2-simp 070721 (complete)	ReVivAl 0.23 2009-03-18 (complete)	ReVivAl 0.23 + SatElite 2009-03-18 (complete)	SatElite + ReVivAl 0.23 2009-03-18 (complete)
APPLICATIONS/ satComp09_BioInstances/ndhf_xits_13_UNSAT.cnf		? (TO) TT=1200.02	? (TO) TT=1200.06	? (TO) TT=1200.11	? (TO) TT=1200.07	? (TO) TT=1200.07	? (TO) TT=1200.09	? (TO) TT=1200.09
APPLICATIONS/ satComp09_BioInstances/ndhf_xits_14_UNSAT.cnf		? (TO) TT=1200.03	? (TO) TT=1200.03	? (TO) TT=1200.15	? (TO) TT=1200.08	? (TO) TT=1200.09	? (TO) TT=1200.09	? (TO) TT=1200.09
APPLICATIONS/ satComp09_BioInstances/ ndhf_xits_15_UNKNOWN.cnf		? (TO) TT=1200.01	? (TO) TT=1200.03	? (TO) TT=1200.13	? (TO) TT=1200.09	? (TO) TT=1200.01	? (TO) TT=1200.04	? (TO) TT=1200.07
APPLICATIONS/ satComp09_BioInstances/ ndhf_xits_16_UNKNOWN.cnf		? (TO) TT=1200.07	? (TO) TT=1200.02	? (TO) TT=1200.09	? (TO) TT=1200.09	? (TO) TT=1200.08	? (TO) TT=1200.05	? (TO) TT=1200.07
APPLICATIONS/ satComp09_BioInstances/ ndhf_xits_17_UNKNOWN.cnf		? (TO) TT=1200.09	? (TO) TT=1200.09	? (TO) TT=1200.1	? (TO) TT=1200.11	? (TO) TT=1200.07	? (TO) TT=1200.06	? (TO) TT=1200.03
APPLICATIONS/ satComp09_BioInstances/ ndhf_xits_20_SAT.cnf	SAT TT=1.679	SAT TT=404.86	SAT TT=65.195	SAT TT=1.679	? (TO) TT=1200.13	SAT TT=865.581	? (TO) TT=1200.05	? (TO) TT=1200.09
APPLICATIONS/ satComp09_BioInstances/ ndhf_xits_21_SAT.cnf	SAT TT=57.295	SAT TT=1185.72	SAT TT=57.295	SAT TT=822.87	? (TO) TT=1200.1	? (TO) TT=1200.07	SAT TT=1179.76	? (TO) TT=1200.01
APPLICATIONS/ satComp09_BioInstances/ ndhf_xits_22_SAT.cnf	SAT TT=5.021	SAT TT=5.021	? (TO) TT=1200.06	SAT TT=16.162	SAT TT=35.387	SAT TT=501.632	SAT TT=518.47	SAT TT=514.35
APPLICATIONS/ satComp09_BioInstances/rbcl_xits_06_UNSAT.cnf	UNSAT TT=40.099	UNSAT TT=61.514	UNSAT TT=40.099	UNSAT TT=43.608	UNSAT TT=73.392	UNSAT TT=81.098	UNSAT TT=384.463	UNSAT TT=128.608
APPLICATIONS/ satComp09_BioInstances/rbcl_xits_07_UNSAT.cnf	UNSAT TT=941.666	UNSAT TT=1012.98	? (TO) TT=1200.02	? (TO) TT=1200.05	UNSAT TT=1155.72	UNSAT TT=941.666	? (TO) TT=1200.09	? (TO) TT=1200.1
Bench name	Best results	IUT_BMB_SIM 1.0 (complete)	kw_pre 2009-03-21 (complete)	minisat2-core 070721 (complete)	minisat2-simp 070721 (complete)	ReVivAl 0.23 2009-03-18 (complete)	ReVivAl 0.23 + SatElite 2009-03-18 (complete)	SatElite + ReVivAl 0.23 2009-03-18 (complete)
APPLICATIONS/ satComp09_BioInstances/rbcl_xits_08_UNSAT.cnf		? (TO) TT=1200.1	? (TO) TT=1200.04	? (TO) TT=1200.02	? (TO) TT=1200.11	? (TO) TT=1200.04	? (TO) TT=1200.09	? (TO) TT=1200.04
APPLICATIONS/ satComp09_BioInstances/ rbcl_xits_09_UNKNOWN.cnf		? (TO) TT=1200.09	? (TO) TT=1200	? (TO) TT=1200.1	? (TO) TT=1200.09	? (TO) TT=1200.09	? (TO) TT=1200.09	? (TO) TT=1200.05
APPLICATIONS/ satComp09_BioInstances/ rbcl_xits_10_UNKNOWN.cnf		? (TO) TT=1200.02	? (TO) TT=1200.04	? (TO) TT=1200.07	? (TO) TT=1200.11	? (TO) TT=1200	? (TO) TT=1200.04	? (TO) TT=1200.05
APPLICATIONS/ satComp09_BioInstances/ rbcl_xits_11_UNKNOWN.cnf		? (TO) TT=1200.05	? (TO) TT=1200.07	? (TO) TT=1200.12	? (TO) TT=1200.06	? (TO) TT=1200.02	? (TO) TT=1200.03	? (TO) TT=1200.06
APPLICATIONS/ satComp09_BioInstances/ rbcl_xits_12_UNKNOWN.cnf		? (TO) TT=1200.06	? (TO) TT=1200	? (TO) TT=1200.07	? (TO) TT=1200.09	? (TO) TT=1200.04	? (TO) TT=1200.02	? (TO) TT=1200.05
APPLICATIONS/ satComp09_BioInstances/ rbcl_xits_13_UNKNOWN.cnf		? (TO) TT=1200.04	? (TO) TT=1200.07	? (TO) TT=1200.1	? (TO) TT=1200.1	? (TO) TT=1200.03	? (TO) TT=1200	? (TO) TT=1200.04
APPLICATIONS/ satComp09_BioInstances/ rbcl_xits_14_SAT.cnf	SAT TT=24.023	? (TO) TT=1200.06	SAT TT=24.023	? (TO) TT=1200.12	? (TO) TT=1200.13	SAT TT=172.491	? (TO) TT=1200.08	? (TO) TT=1200.06
APPLICATIONS/ satComp09_BioInstances/rpoc_xits_07_UNSAT.cnf	UNSAT TT=533.289	UNSAT TT=868.79	UNSAT TT=593.082	UNSAT TT=786.518	UNSAT TT=836.636	UNSAT TT=533.289	? (TO) TT=1200.06	UNSAT TT=910.693
APPLICATIONS/ satComp09_BioInstances/rpoc_xits_08_UNSAT.cnf		? (TO) TT=1200.06	? (TO) TT=1200.09	? (TO) TT=1200.09	? (TO) TT=1200.1	? (TO) TT=1200.02	? (TO) TT=1200	? (TO) TT=1200.02
APPLICATIONS/ satComp09_BioInstances/rpoc_xits_09_UNSAT.cnf		? (TO) TT=1200.09	? (TO) TT=1200.07	? (TO) TT=1200.07	? (TO) TT=1200.08	? (TO) TT=1200.06	? (TO) TT=1200.08	? (TO) TT=1200.08
Bench name	Best results	IUT_BMB_SIM 1.0 (complete)	kw_pre 2009-03-21 (complete)	minisat2-core 070721 (complete)	minisat2-simp 070721 (complete)	ReVivAl 0.23 2009-03-18 (complete)	ReVivAl 0.23 + SatElite 2009-03-18 (complete)	SatElite + ReVivAl 0.23 2009-03-18 (complete)
APPLICATIONS/ satComp09_BioInstances/ rpoc_xits_10_UNKNOWN.cnf		? (TO) TT=1200.08	? (TO) TT=1200.02	? (TO) TT=1200.06	? (TO) TT=1200.05	? (TO) TT=1200.04	? (TO) TT=1200.04	? (TO) TT=1200.04
APPLICATIONS/ satComp09_BioInstances/ rpoc_xits_11_UNKNOWN.cnf		? (TO) TT=1200.01	? (TO) TT=1200.1	? (TO) TT=1200.1	? (TO) TT=1200.09	? (TO) TT=1200.03	? (TO) TT=1200.03	? (TO) TT=1200.06
APPLICATIONS/ satComp09_BioInstances/ rpoc_xits_12_UNKNOWN.cnf		? (TO) TT=1200.07	? (TO) TT=1200.09	? (TO) TT=1200.03	? (TO) TT=1200.09	? (TO) TT=1200	? (TO) TT=1200.01	? (TO) TT=1200.05
APPLICATIONS/ satComp09_BioInstances/ rpoc_xits_13_UNKNOWN.cnf		? (TO) TT=1200.06	? (TO) TT=1200.07	? (TO) TT=1200.04	? (TO) TT=1200.04	? (TO) TT=1200.1	? (TO) TT=1200.05	? (TO) TT=1200.02
APPLICATIONS/ satComp09_BioInstances/ rpoc_xits_14_UNKNOWN.cnf		? (TO) TT=1200.06	? (TO) TT=1200.1	? (TO) TT=1200.14	? (TO) TT=1200.07	? (TO) TT=1200.06	? (TO) TT=1200.02	? (TO) TT=1200.04
APPLICATIONS/ satComp09_BioInstances/ rpoc_xits_17_SAT.cnf	SAT TT=0.122	SAT TT=2.036	SAT TT=12.54	SAT TT=0.122	SAT TT=5.828	SAT TT=178.033	SAT TT=503.127	SAT TT=181.448
cmu-bmc-barrel6.cnf	UNSAT TT=2.688	UNSAT TT=3.207	UNSAT TT=2.826	UNSAT TT=4.702	UNSAT TT=4.394	UNSAT TT=3.188	UNSAT TT=2.707	UNSAT TT=2.688
cmu-bmc-longmult15.cnf	UNSAT TT=30.742	UNSAT TT=44.816	UNSAT TT=33.368	UNSAT TT=42.654	UNSAT TT=35.907	UNSAT TT=70.661	UNSAT TT=30.742	UNSAT TT=50.188
crafted/Difficult/contest-02-03-04/ contest02-ezfact64_10.sat05-449.reshuffled-07.cnf		? (TO) TT=1200.03	? (TO) TT=1200.09	? (TO) TT=1200.06	? (TO) TT=1200.05	? (TO) TT=1200.08	? (TO) TT=1200.1	? (TO) TT=1200.08
crafted/Difficult/contest-02-03-04/ contest02-Mat26.sat05-457.reshuffled-07.cnf	UNSAT TT=277.071	UNSAT TT=563.088	UNSAT TT=492.227	UNSAT TT=601.023	UNSAT TT=277.071	UNSAT TT=562.277	UNSAT TT=321.79	UNSAT TT=300.579
Bench name	Best results	IUT_BMB_SIM 1.0 (complete)	kw_pre 2009-03-21 (complete)	minisat2-core 070721 (complete)	minisat2-simp 070721 (complete)	ReVivAl 0.23 2009-03-18 (complete)	ReVivAl 0.23 + SatElite 2009-03-18 (complete)	SatElite + ReVivAl 0.23 2009-03-18 (complete)
crafted/Difficult/contest-02-03-04/ contest03-SGI_30_50_30_20_1-dir.sat05-439.reshuffled-07.cnf		? (TO) TT=1200.07	? (TO) TT=1200.04	? (TO) TT=1200.09	? (TO) TT=1200.03	? (TO) TT=1200.02	? (TO) TT=1200.07	? (TO) TT=1200.05
crafted/Difficult/contest-02-03-04/ contest03-SGI_30_50_30_20_3-dir.sat05-440.reshuffled-07.cnf		? (TO) TT=1200.04	? (TO) TT=1200.05	? (TO) TT=1200.1	? (TO) TT=1200.07	? (TO) TT=1200.01	? (TO) TT=1200.08	? (TO) TT=1200.06
crafted/Difficult/contest-02-03-04/ contest04-connm-ue-csp-sat-n600-d0.02-s1676244754.sat05-535.reshuffled-07.cnf	UNSAT TT=489.662	UNSAT TT=606.112	? (TO) TT=1200.08	UNSAT TT=645.58	UNSAT TT=535.689	UNSAT TT=610.204	UNSAT TT=497.438	UNSAT TT=489.662
crafted/Difficult/contest-02-03-04/ contest04-connm-ue-csp-sat-n800-d0.04-s362703357.sat05-548.reshuffled-07.cnf	UNSAT TT=895.331	? (TO) TT=1200.06	? (TO) TT=1200.01	? (TO) TT=1200.11	UNSAT TT=1086.71	? (TO) TT=1200.09	UNSAT TT=895.331	UNSAT TT=903.078
crafted/Difficult/contest-02-03-04/ contest04-lksat-n1000-m6860-k4-l4-s1935114289.sat05-523.reshuffled-07.cnf		? (TO) TT=1200.09	? (TO) TT=1200.07	? (TO) TT=1200.06	? (TO) TT=1200.1	? (TO) TT=1200.04	? (TO) TT=1200.09	? (TO) TT=1200.04
crafted/Difficult/contest-02-03-04/ contest04-lksat-n1100-m7545-k4-l4-s310659001.sat05-524.reshuffled-07.cnf	UNSAT TT=703.091	UNSAT TT=1174.41	? (TO) TT=1200.1	? (TO) TT=1200.08	UNSAT TT=798.986	UNSAT TT=1011.3	UNSAT TT=703.091	UNSAT TT=841.159
crafted/Difficult/contest05/ jarvisalo/ mod2c-3cage-unsat-10-3.sat05-2568.reshuffled-07.cnf		? (TO) TT=1200.1	? (TO) TT=1200.02	? (TO) TT=1200.02	? (TO) TT=1200.08	? (TO) TT=1200.12	? (TO) TT=1200.11	? (TO) TT=1200.12
crafted/Difficult/contest05/ jarvisalo/ mod2c-rand3bip-sat-210-3.sat05-2475.reshuffled-07.cnf	SAT TT=120.021	? (TO) TT=1200.08	SAT TT=120.021	? (TO) TT=1200.09	SAT TT=171.926	SAT TT=358.534	SAT TT=357.925	SAT TT=357.937
crafted/Difficult/contest05/ jarvisalo/ mod2c-rand3bip-unsat-120-3.sat05-2340.reshuffled-07.cnf	UNSAT TT=45.009	UNSAT TT=349.29	UNSAT TT=45.009	UNSAT TT=350.868	UNSAT TT=376.393	UNSAT TT=204.556	UNSAT TT=205.063	UNSAT TT=231.26
crafted/Difficult/contest05/ jarvisalo/ mod2-rand3bip-sat-270-1.sat05-2248.reshuffled-07.cnf	SAT TT=614.039	? (TO) TT=1200.05	SAT TT=614.039	? (TO) TT=1200.03	? (TO) TT=1200.04	? (TO) TT=1200.12	? (TO) TT=1200.09	? (TO) TT=1200.12
Bench name	Best results	IUT_BMB_SIM 1.0 (complete)	kw_pre 2009-03-21 (complete)	minisat2-core 070721 (complete)	minisat2-simp 070721 (complete)	ReVivAl 0.23 2009-03-18 (complete)	ReVivAl 0.23 + SatElite 2009-03-18 (complete)	SatElite + ReVivAl 0.23 2009-03-18 (complete)
crafted/Difficult/contest05/ jarvisalo/ mod2-rand3bip-sat-270-2.sat05-2249.reshuffled-07.cnf		? (TO) TT=1200.11	? (TO) TT=1200.03	? (TO) TT=1200.11	? (TO) TT=1200.09	? (TO) TT=1200.05	? (TO) TT=1200.04	? (TO) TT=1200.11
crafted/Difficult/contest05/ jarvisalo/ mod2-rand3bip-sat-280-1.sat05-2263.reshuffled-07.cnf	SAT TT=284.484	SAT TT=284.789	? (TO) TT=1200.07	SAT TT=304.695	SAT TT=305.667	SAT TT=284.779	SAT TT=284.484	SAT TT=284.553
crafted/Difficult/contest05/ jarvisalo/ mod2-rand3bip-sat-280-2.sat05-2264.reshuffled-07.cnf		? (TO) TT=1200.1	? (TO) TT=1200.08	? (TO) TT=1200.05	? (TO) TT=1200.02	? (TO) TT=1200.05	? (TO) TT=1200.08	? (TO) TT=1200.1
crafted/Difficult/contest05/ jarvisalo/ mod2-rand3bip-sat-280-3.sat05-2265.reshuffled-07.cnf		? (TO) TT=1200.1	? (TO) TT=1200.02	? (TO) TT=1200.11	? (TO) TT=1200.1	? (TO) TT=1200.03	? (TO) TT=1200.12	? (TO) TT=1200.12
crafted/Difficult/contest05/ others/ linvrinv5.sat05-564.reshuffled-07.cnf		? (TO) TT=1200.12	? (TO) TT=1200.08	? (TO) TT=1200.09	? (TO) TT=1200.06	? (TO) TT=1200.09	? (TO) TT=1200.04	? (TO) TT=1200.07
crafted/Difficult/contest05/ others/ pmg-12-UNSAT.sat05-3940.reshuffled-07.cnf		? (TO) TT=1200.09	? (TO) TT=1200.01	? (TO) TT=1200.06	? (TO) TT=1200.1	? (TO) TT=1200.11	? (TO) TT=1200.07	? (TO) TT=1200.07
crafted/Difficult/contest05/ others/ pmg-13-UNSAT.sat05-3941.reshuffled-07.cnf		? (TO) TT=1200.11	? (TO) TT=1200	? (TO) TT=1200.08	? (TO) TT=1200.06	? (TO) TT=1200.09	? (TO) TT=1200.1	? (TO) TT=1200.09
crafted/Difficult/contest05/ others/ pmg-14-UNSAT.sat05-3942.reshuffled-07.cnf		? (TO) TT=1200.1	? (TO) TT=1200.07	? (TO) TT=1200.03	? (TO) TT=1200.01	? (TO) TT=1200.08	? (TO) TT=1200.04	? (TO) TT=1200.02
crafted/Difficult/contest05/ others/ sgp_5-5-6.sat05-2675.reshuffled-07.cnf		? (TO) TT=1200.02	? (TO) TT=1200.05	? (TO) TT=1200.07	? (TO) TT=1200.08	? (TO) TT=1200.07	? (TO) TT=1200.03	? (TO) TT=1200.02
crafted/Difficult/contest05/ others/ sgp_6-6-10.sat05-2670.reshuffled-07.cnf	SAT TT=167.854	? (TO) TT=1200	? (TO) TT=1200.03	? (TO) TT=1200.13	SAT TT=167.854	SAT TT=456.592	? (TO) TT=1200	? (TO) TT=1200.07
Bench name	Best results	IUT_BMB_SIM 1.0 (complete)	kw_pre 2009-03-21 (complete)	minisat2-core 070721 (complete)	minisat2-simp 070721 (complete)	ReVivAl 0.23 2009-03-18 (complete)	ReVivAl 0.23 + SatElite 2009-03-18 (complete)	SatElite + ReVivAl 0.23 2009-03-18 (complete)
crafted/Difficult/contest05/ QG/ QG6-dead-dnd002.sat05-2713.reshuffled-07.cnf	UNSAT TT=44.302	? (TO) TT=1200.06	UNSAT TT=91.151	UNSAT TT=650.951	UNSAT TT=100.952	UNSAT TT=46.363	UNSAT TT=57.145	UNSAT TT=44.302
crafted/Difficult/contest05/ QG/ QG6-gensys-brn007.sat05-2684.reshuffled-07.cnf	UNSAT TT=69.509	UNSAT TT=268.094	UNSAT TT=77.875	UNSAT TT=217.085	UNSAT TT=69.509	UNSAT TT=112.408	UNSAT TT=108.235	UNSAT TT=95.587
crafted/Difficult/contest05/ QG/ QG6-gensys-icl001.sat05-2695.reshuffled-07.cnf	UNSAT TT=79.448	UNSAT TT=998.674	UNSAT TT=103.409	? (TO) TT=1200.06	UNSAT TT=88.055	UNSAT TT=82.942	UNSAT TT=79.448	UNSAT TT=85.437
crafted/Difficult/contest05/ QG/ QG6-gensys-icl004.sat05-2716.reshuffled-07.cnf	UNSAT TT=90.296	UNSAT TT=413.659	UNSAT TT=98.796	UNSAT TT=262.325	UNSAT TT=90.296	UNSAT TT=114.394	UNSAT TT=161.89	UNSAT TT=107.675
crafted/Difficult/contest05/ QG/ QG6-gensys-icl008.sat05-2720.reshuffled-07.cnf	UNSAT TT=60.508	? (TO) TT=1200.05	UNSAT TT=78.83	? (TO) TT=1200.09	UNSAT TT=60.508	UNSAT TT=72.948	UNSAT TT=89.354	UNSAT TT=71.238
crafted/Difficult/contest05/ QG/ QG6-gensys-icl009.sat05-2721.reshuffled-07.cnf	UNSAT TT=70.981	UNSAT TT=433.262	UNSAT TT=101.974	UNSAT TT=379.024	UNSAT TT=78.408	UNSAT TT=70.981	UNSAT TT=80.981	UNSAT TT=139.787
crafted/Difficult/contest05/ QG/ QG6-gensys-ukn003.sat05-2726.reshuffled-07.cnf	UNSAT TT=116.955	? (TO) TT=1200.05	UNSAT TT=116.955	? (TO) TT=1200.05	UNSAT TT=246.514	UNSAT TT=122.771	UNSAT TT=121.648	UNSAT TT=186.095
crafted/Difficult/contest05/ QG/ QG7-gensys-icl006.sat05-3132.reshuffled-07.cnf	UNSAT TT=788.779	UNSAT TT=843.959	? (TO) TT=1200.03	? (TO) TT=1200.06	UNSAT TT=836.743	UNSAT TT=1041.25	UNSAT TT=788.779	UNSAT TT=1058.9
crafted/Difficult/contest05/ sabharwal/ counting-easier-php-018-014.sat05-1175.reshuffled-07.cnf		? (TO) TT=1200.06	? (TO) TT=1200.06	? (TO) TT=1200.07	? (TO) TT=1200.1	? (TO) TT=1200.08	? (TO) TT=1200.09	? (TO) TT=1200.08
crafted/Difficult/contest05/ sabharwal/ counting-harder-php-014-013.sat05-1187.reshuffled-07.cnf		? (TO) TT=1200.06	? (TO) TT=1200.05	? (TO) TT=1200.08	? (TO) TT=1200.06	? (TO) TT=1200.04	? (TO) TT=1200.07	? (TO) TT=1200.11
Bench name	Best results	IUT_BMB_SIM 1.0 (complete)	kw_pre 2009-03-21 (complete)	minisat2-core 070721 (complete)	minisat2-simp 070721 (complete)	ReVivAl 0.23 2009-03-18 (complete)	ReVivAl 0.23 + SatElite 2009-03-18 (complete)	SatElite + ReVivAl 0.23 2009-03-18 (complete)
crafted/Difficult/contest05/ sabharwal/ counting-harder-php-018-017.sat05-1189.reshuffled-07.cnf		? (TO) TT=1200.07	? (TO) TT=1200.04	? (TO) TT=1200.04	? (TO) TT=1200.05	? (TO) TT=1200.1	? (TO) TT=1200.03	? (TO) TT=1200.04
crafted/Difficult/contest05/sabharwal/ grid-pebbling-sat-grid-pbl-0300.sat05-1341.sat05-1341.reshuffled-07.cnf	SAT TT=1.729	? (TO) TT=1200.05	? (TO) TT=1200.05	? (TO) TT=1200.12	SAT TT=1.729	SAT TT=304.844	? (TO) TT=1200.05	SAT TT=305.442
crafted/Difficult/contest05/sabharwal/ grid-pebbling-unsat-grid-pbl-0300.sat05-1350.sat05-1350.reshuffled-07.cnf	UNSAT TT=1.898	? (TO) TT=1200.01	? (TO) TT=1200.05	? (TO) TT=1200.08	UNSAT TT=1.898	UNSAT TT=288.534	UNSAT TT=4.761	UNSAT TT=287.526
crafted/Difficult/contest05/ sabharwal/ gt-ordering-sat-gt-040.sat05-1297.reshuffled-07.cnf		? (TO) TT=1200.09	? (TO) TT=1200.07	? (TO) TT=1200.07	? (TO) TT=1200.1	? (TO) TT=1200	? (TO) TT=1200.06	? (TO) TT=1200.02
crafted/Difficult/contest05/ sabharwal/ gt-ordering-unsat-gt-045.sat05-1310.reshuffled-07.cnf		? (TO) TT=1200.1	? (TO) TT=1200.05	? (TO) TT=1200.1	? (TO) TT=1200.14	? (TO) TT=1200.03	? (TO) TT=1200.04	? (TO) TT=1200.08
crafted/Difficult/contest05/ sabharwal/ gt-ordering-unsat-gt-060.sat05-1312.reshuffled-07.cnf		? (TO) TT=1200.02	? (TO) TT=1200.07	? (TO) TT=1200.18	? (TO) TT=1200.17	? (TO) TT=1200.01	? (TO) TT=1200.05	? (TO) TT=1200.02
CRAFTED/edgematching/ all/ em_11_3_4_all.cnf	SAT TT=5.012	SAT TT=13.895	SAT TT=5.012	SAT TT=7.153	SAT TT=12.747	SAT TT=22.034	SAT TT=68.957	SAT TT=65.18
CRAFTED/edgematching/ all/ em_12_2_4_all.cnf	SAT TT=11.356	SAT TT=238.18	SAT TT=11.356	SAT TT=233.358	SAT TT=636.72	SAT TT=259.193	SAT TT=180.244	SAT TT=52.282
CRAFTED/edgematching/ all/ em_14_7_3_all.cnf	SAT TT=20.859	SAT TT=163.128	SAT TT=57.25	SAT TT=135.396	SAT TT=20.859	SAT TT=109.31	SAT TT=270.762	SAT TT=149.284
CRAFTED/ edgematching/ all/em_7_3_6_all.cnf	SAT TT=4.384	SAT TT=117.98	SAT TT=4.384	SAT TT=122.102	SAT TT=120.726	SAT TT=14.184	SAT TT=147.763	SAT TT=8.854
Bench name	Best results	IUT_BMB_SIM 1.0 (complete)	kw_pre 2009-03-21 (complete)	minisat2-core 070721 (complete)	minisat2-simp 070721 (complete)	ReVivAl 0.23 2009-03-18 (complete)	ReVivAl 0.23 + SatElite 2009-03-18 (complete)	SatElite + ReVivAl 0.23 2009-03-18 (complete)
CRAFTED/ edgematching/ all/em_7_4_8_all.cnf	SAT TT=139.003	SAT TT=156.552	SAT TT=139.003	SAT TT=162.256	SAT TT=725.191	SAT TT=208.509	SAT TT=438.686	SAT TT=149.52
CRAFTED/ edgematching/ all/em_7_4_9_all.cnf	SAT TT=7.87	SAT TT=76.931	SAT TT=16.751	SAT TT=79.281	SAT TT=118.383	SAT TT=7.87	SAT TT=32.964	SAT TT=23.248
CRAFTED/ edgematching/ all/em_8_4_5_all.cnf	SAT TT=9.841	SAT TT=64.185	SAT TT=20.74	SAT TT=66.212	SAT TT=9.841	SAT TT=161.673	SAT TT=118.657	SAT TT=104.711
CRAFTED/edgematching/ compact/ em_11_3_4_cmp.cnf		? (TO) TT=1200.03	? (TO) TT=1200	? (TO) TT=1200.11	? (TO) TT=1200.09	? (TO) TT=1200.05	? (TO) TT=1200.04	? (TO) TT=1200.03
CRAFTED/edgematching/ compact/ em_12_2_4_cmp.cnf		? (TO) TT=1200.09	? (TO) TT=1200.05	? (TO) TT=1200.15	? (TO) TT=1200.11	? (TO) TT=1200	? (TO) TT=1200.03	? (TO) TT=1200.08
CRAFTED/edgematching/ compact/ em_14_7_3_cmp.cnf		? (TO) TT=1200.05	? (TO) TT=1200.07	? (TO) TT=1200.26	? (TO) TT=1200.23	? (TO) TT=1200.01	? (TO) TT=1200.03	? (TO) TT=1200.08
CRAFTED/edgematching/ compact/ em_7_3_6_cmp.cnf	SAT TT=189.332	? (TO) TT=1200.08	? (TO) TT=1200.08	? (TO) TT=1200.04	? (TO) TT=1200.09	SAT TT=189.332	SAT TT=662.1	? (TO) TT=1200.1
CRAFTED/edgematching/ compact/ em_7_4_8_cmp.cnf		? (TO) TT=1200.11	? (TO) TT=1200.06	? (TO) TT=1200.05	? (TO) TT=1200.03	? (TO) TT=1200.1	? (TO) TT=1200.02	? (TO) TT=1200.07
CRAFTED/edgematching/ compact/ em_7_4_9_cmp.cnf	SAT TT=39.185	SAT TT=416.305	SAT TT=105.171	SAT TT=433.357	SAT TT=174.814	SAT TT=221.921	SAT TT=39.185	SAT TT=88.151
CRAFTED/edgematching/ compact/ em_8_4_5_cmp.cnf	SAT TT=208.47	SAT TT=309.469	? (TO) TT=1200.02	SAT TT=324.679	SAT TT=208.47	SAT TT=879.468	SAT TT=602.8	? (TO) TT=1200.09
Bench name	Best results	IUT_BMB_SIM 1.0 (complete)	kw_pre 2009-03-21 (complete)	minisat2-core 070721 (complete)	minisat2-simp 070721 (complete)	ReVivAl 0.23 2009-03-18 (complete)	ReVivAl 0.23 + SatElite 2009-03-18 (complete)	SatElite + ReVivAl 0.23 2009-03-18 (complete)
CRAFTED/edgematching/ compact/ em_9_3_5_cmp.cnf		? (TO) TT=1200.09	? (TO) TT=1200.07	? (TO) TT=1200.07	? (TO) TT=1200.12	? (TO) TT=1200.06	? (TO) TT=1200.01	? (TO) TT=1200.01
CRAFTED/edgematching/ explicit/ em_11_3_4_exp.cnf	SAT TT=10.082	SAT TT=15.866	SAT TT=88.21	SAT TT=10.082	? (TO) TT=1200.14	SAT TT=16.418	SAT TT=388.91	SAT TT=30.281
CRAFTED/edgematching/ explicit/ em_12_2_4_exp.cnf	SAT TT=267.284	SAT TT=267.284	SAT TT=303.782	? (TO) TT=1200.13	SAT TT=713.056	? (TO) TT=1200.07	? (TO) TT=1200.05	? (TO) TT=1200.09
CRAFTED/edgematching/ explicit/ em_7_3_6_exp.cnf	SAT TT=2.411	SAT TT=42.773	SAT TT=6.706	SAT TT=43.835	SAT TT=188.704	SAT TT=138.455	SAT TT=169.896	SAT TT=2.411
CRAFTED/edgematching/ explicit/ em_7_4_8_exp.cnf	SAT TT=104.932	SAT TT=121.524	SAT TT=376.438	SAT TT=120.169	SAT TT=381.552	SAT TT=452.962	SAT TT=104.932	SAT TT=611.122
CRAFTED/edgematching/ explicit/ em_7_4_9_exp.cnf	SAT TT=10.379	SAT TT=16.59	SAT TT=31.073	SAT TT=16.22	SAT TT=20.357	SAT TT=10.379	SAT TT=28.577	SAT TT=34.586
CRAFTED/edgematching/ explicit/ em_8_4_5_exp.cnf	SAT TT=20.846	SAT TT=44.886	SAT TT=46.496	SAT TT=43.304	SAT TT=72.854	SAT TT=20.846	SAT TT=65.884	SAT TT=31.858
CRAFTED/edgematching/ explicit/ em_9_3_5_exp.cnf	SAT TT=13.253	SAT TT=34.389	SAT TT=362.909	SAT TT=32.691	SAT TT=89.28	SAT TT=13.253	SAT TT=310.369	SAT TT=126.324
CRAFTED/edgematching/ fbcolors/ em_11_3_4_fbc.cnf		? (TO) TT=1200.03	? (TO) TT=1200.06	? (TO) TT=1200.11	? (TO) TT=1200.16	? (TO) TT=1200.09	? (TO) TT=1200.01	? (TO) TT=1200.06
CRAFTED/edgematching/ fbcolors/ em_12_2_4_fbc.cnf		? (TO) TT=1200.08	? (TO) TT=1200.03	? (TO) TT=1200.15	? (TO) TT=1200.14	? (TO) TT=1200.09	? (TO) TT=1200.05	? (TO) TT=1200.1
Bench name	Best results	IUT_BMB_SIM 1.0 (complete)	kw_pre 2009-03-21 (complete)	minisat2-core 070721 (complete)	minisat2-simp 070721 (complete)	ReVivAl 0.23 2009-03-18 (complete)	ReVivAl 0.23 + SatElite 2009-03-18 (complete)	SatElite + ReVivAl 0.23 2009-03-18 (complete)
CRAFTED/edgematching/ fbcolors/ em_14_7_3_fbc.cnf		? (TO) TT=1200.09	? (TO) TT=1200.04	? (TO) TT=1200.34	? (MO) TT=1110.89	? (MO) TT=1172.85	? (TO) TT=1200.01	? (TO) TT=1200.1
CRAFTED/edgematching/ fbcolors/ em_7_3_6_fbc.cnf	SAT TT=404.579	SAT TT=606.488	? (TO) TT=1200.03	SAT TT=603.887	? (TO) TT=1200.08	? (TO) TT=1200.03	SAT TT=404.579	SAT TT=1151.3
CRAFTED/edgematching/ fbcolors/ em_7_4_8_fbc.cnf		? (TO) TT=1200	? (TO) TT=1200.05	? (TO) TT=1200.05	? (TO) TT=1200.09	? (TO) TT=1200.13	? (TO) TT=1200.06	? (TO) TT=1200.02
CRAFTED/edgematching/ fbcolors/ em_7_4_9_fbc.cnf	SAT TT=99.165	SAT TT=352.663	SAT TT=146.049	SAT TT=351.616	SAT TT=99.165	SAT TT=343	SAT TT=777.779	SAT TT=443.329
CRAFTED/edgematching/ fbcolors/ em_8_4_5_fbc.cnf	SAT TT=239.792	SAT TT=1009.04	? (TO) TT=1200.02	SAT TT=1043.76	? (TO) TT=1200.07	SAT TT=239.792	? (TO) TT=1200.09	? (TO) TT=1200.09
CRAFTED/edgematching/ fbcolors/ em_9_3_5_fbc.cnf		? (TO) TT=1200.03	? (TO) TT=1200.08	? (TO) TT=1200.13	? (TO) TT=1200.04	? (TO) TT=1200	? (TO) TT=1200	? (TO) TT=1200.01
crafted/Hard/contest02/ ezfact256_1.sat05-464.reshuffled-07.cnf		? (TO) TT=1200.03	? (TO) TT=1200.07	? (TO) TT=1200.15	? (TO) TT=1200.18	? (TO) TT=1200.07	? (TO) TT=1200.02	? (TO) TT=1200.07
crafted/Hard/contest02/ ezfact64_3.sat05-450.reshuffled-07.cnf	SAT TT=560.172	? (TO) TT=1200.04	? (TO) TT=1200.07	? (TO) TT=1200.06	? (TO) TT=1200.08	? (TO) TT=1200.1	? (TO) TT=1200.08	SAT TT=560.172
crafted/Hard/contest02/ hgen2-v500-s1216665065.sat05-467.reshuffled-07.cnf		? (TO) TT=1200.08	? (TO) TT=1200.01	? (TO) TT=1200.11	? (TO) TT=1200.02	? (TO) TT=1200.06	? (TO) TT=1200.1	? (TO) TT=1200.05
crafted/Hard/contest02/ hgen3-v400-s344840348.sat05-470.reshuffled-07.cnf		? (TO) TT=1200.07	? (TO) TT=1200.06	? (TO) TT=1200.07	? (TO) TT=1200.1	? (TO) TT=1200.07	? (TO) TT=1200.06	? (TO) TT=1200.1
Bench name	Best results	IUT_BMB_SIM 1.0 (complete)	kw_pre 2009-03-21 (complete)	minisat2-core 070721 (complete)	minisat2-simp 070721 (complete)	ReVivAl 0.23 2009-03-18 (complete)	ReVivAl 0.23 + SatElite 2009-03-18 (complete)	SatElite + ReVivAl 0.23 2009-03-18 (complete)
crafted/Hard/contest02/ hgen3-v400-s553296708.sat05-471.reshuffled-07.cnf		? (TO) TT=1200.08	? (TO) TT=1200.02	? (TO) TT=1200.07	? (TO) TT=1200.04	? (TO) TT=1200.11	? (TO) TT=1200.11	? (TO) TT=1200.06
crafted/Hard/contest02/ hgen3-v500-s1349121860.sat05-473.reshuffled-07.cnf		? (TO) TT=1200.06	? (TO) TT=1200.05	? (TO) TT=1200.11	? (TO) TT=1200.08	? (TO) TT=1200.03	? (TO) TT=1200.1	? (TO) TT=1200.1
crafted/Hard/contest02/ pyhala-braun-unsat-40-4-02.sat05-459.reshuffled-07.cnf		? (TO) TT=1200.06	? (TO) TT=1200.07	? (TO) TT=1200.07	? (TO) TT=1200.09	? (TO) TT=1200.02	? (TO) TT=1200.07	? (TO) TT=1200.13
crafted/Hard/contest03/looksrandom/ hgen6-4-24-n650-03-S528656311.sat05-477.reshuffled-07.cnf		? (TO) TT=1200.11	? (TO) TT=1200.07	? (TO) TT=1200.05	? (TO) TT=1200.06	? (TO) TT=1200.06	? (TO) TT=1200.06	? (TO) TT=1200.1
crafted/Hard/contest03/looksrandom/ hgen7-n390-02-S178568232.sat05-479.reshuffled-07.cnf		? (TO) TT=1200.05	? (TO) TT=1200.04	? (TO) TT=1200.1	? (TO) TT=1200.09	? (TO) TT=1200.12	? (TO) TT=1200.07	? (TO) TT=1200.12
crafted/Hard/contest03/looksrandom/ hgen8-n320-01-S1432474240.sat05-483.reshuffled-07.cnf		? (TO) TT=1200.1	? (TO) TT=1200.07	? (TO) TT=1200.08	? (TO) TT=1200.04	? (TO) TT=1200.07	? (TO) TT=1200.08	? (TO) TT=1200.1
crafted/Hard/contest03/looksrandom/ hgen8-n320-02-S1127428711.sat05-484.reshuffled-07.cnf		? (TO) TT=1200.08	? (TO) TT=1200.01	? (TO) TT=1200.03	? (TO) TT=1200.09	? (TO) TT=1200.08	? (TO) TT=1200.07	? (TO) TT=1200.03
crafted/Hard/contest03/looksrandom/ hidden-k3-s0-r5-n700-01-S2069048075.sat05-488.reshuffled-07.cnf		? (TO) TT=1200.09	? (TO) TT=1200.05	? (TO) TT=1200.09	? (TO) TT=1200.06	? (TO) TT=1200.12	? (TO) TT=1200.1	? (TO) TT=1200.09
crafted/Hard/contest03/looksrandom/ hidden-k3-s0-r5-n700-02-S350203913.sat05-486.reshuffled-07.cnf		? (TO) TT=1200.11	? (TO) TT=1200.02	? (TO) TT=1200.02	? (TO) TT=1200.05	? (TO) TT=1200.11	? (TO) TT=1200.11	? (TO) TT=1200.07
crafted/Hard/contest03/ others/ 999999000001nw.sat05-447.reshuffled-07.cnf	UNSAT TT=967.226	? (TO) TT=1200.07	? (TO) TT=1200.04	? (TO) TT=1200.04	? (TO) TT=1200.1	? (TO) TT=1200.1	UNSAT TT=1129.84	UNSAT TT=967.226
Bench name	Best results	IUT_BMB_SIM 1.0 (complete)	kw_pre 2009-03-21 (complete)	minisat2-core 070721 (complete)	minisat2-simp 070721 (complete)	ReVivAl 0.23 2009-03-18 (complete)	ReVivAl 0.23 + SatElite 2009-03-18 (complete)	SatElite + ReVivAl 0.23 2009-03-18 (complete)
crafted/Hard/contest03/ others/ bqwh.40.reg.520.sat05-433.reshuffled-07.cnf		? (TO) TT=1200.13	? (TO) TT=1200.04	? (TO) TT=1200.05	? (TO) TT=1200.09	? (TO) TT=1200.05	? (TO) TT=1200.05	? (TO) TT=1200.1
crafted/Hard/contest03/others/ color-11-3.sat05-445.reshuffled-07.cnf		? (TO) TT=1200.07	? (TO) TT=1200.01	? (TO) TT=1200.08	? (TO) TT=1200.05	? (TO) TT=1200.11	? (TO) TT=1200.04	? (TO) TT=1200.07
crafted/Hard/contest03/others/ color-18-4.sat05-443.reshuffled-07.cnf		? (TO) TT=1200.05	? (TO) TT=1200.07	? (TO) TT=1200.09	? (TO) TT=1200.1	? (TO) TT=1200.05	? (TO) TT=1200.08	? (TO) TT=1200.06
crafted/Hard/contest03/others/ hwb-n28-01-S136611085.sat05-491.reshuffled-07.cnf		? (TO) TT=1200.09	? (TO) TT=1200.08	? (TO) TT=1200.09	? (TO) TT=1200.08	? (TO) TT=1200.04	? (TO) TT=1200.05	? (TO) TT=1200.05
crafted/Hard/contest03/others/ hwb-n32-01-S1491788039.sat05-497.reshuffled-07.cnf		? (TO) TT=1200.04	? (TO) TT=1200.09	? (TO) TT=1200.09	? (TO) TT=1200.05	? (TO) TT=1200.1	? (TO) TT=1200.05	? (TO) TT=1200.05
crafted/Hard/contest04/connamacher/ connm-ue-csp-sat-n1200-d0.00-s1756632460.sat05-526.reshuffled-07.cnf		? (TO) TT=1200.06	? (TO) TT=1200.08	? (TO) TT=1200.09	? (TO) TT=1200.04	? (TO) TT=1200.05	? (TO) TT=1200.06	? (TO) TT=1200.11
crafted/Hard/contest04/connamacher/ connm-ue-csp-sat-n1200-d0.00-s1875077647.sat05-530.reshuffled-07.cnf		? (TO) TT=1200.07	? (TO) TT=1200.06	? (TO) TT=1200.1	? (TO) TT=1200.07	? (TO) TT=1200.06	? (TO) TT=1200.08	? (TO) TT=1200.08
crafted/Hard/contest04/connamacher/ connm-ue-csp-sat-n1200-d0.02-s1099787414.sat05-542.reshuffled-07.cnf		? (TO) TT=1200.11	? (TO) TT=1200.05	? (TO) TT=1200.06	? (TO) TT=1200.09	? (TO) TT=1200.11	? (TO) TT=1200.09	? (TO) TT=1200.11
crafted/Hard/contest04/connamacher/ connm-ue-csp-sat-n1200-d-0.02-s383740539.sat05-534.reshuffled-07.cnf	SAT TT=534.55	? (TO) TT=1200.04	? (TO) TT=1200.01	? (TO) TT=1200.06	? (TO) TT=1200.05	? (TO) TT=1200.04	SAT TT=534.55	SAT TT=536.04
crafted/Hard/contest04/connamacher/ connm-ue-csp-sat-n1200-d0.04-s736572600.sat05-546.reshuffled-07.cnf		? (TO) TT=1200.08	? (TO) TT=1200	? (TO) TT=1200.11	? (TO) TT=1200.09	? (TO) TT=1200.08	? (TO) TT=1200.09	? (TO) TT=1200.05
Bench name	Best results	IUT_BMB_SIM 1.0 (complete)	kw_pre 2009-03-21 (complete)	minisat2-core 070721 (complete)	minisat2-simp 070721 (complete)	ReVivAl 0.23 2009-03-18 (complete)	ReVivAl 0.23 + SatElite 2009-03-18 (complete)	SatElite + ReVivAl 0.23 2009-03-18 (complete)
crafted/Hard/contest04/connamacher/ connm-ue-csp-sat-n800-d0.02-s111845174.sat05-536.reshuffled-07.cnf		? (TO) TT=1200.07	? (TO) TT=1200.09	? (TO) TT=1200.06	? (TO) TT=1200.06	? (TO) TT=1200.05	? (TO) TT=1200.13	? (TO) TT=1200.12
crafted/Hard/contest04/connamacher/ connm-ue-csp-sat-n800-d0.02-s925928766.sat05-538.reshuffled-07.cnf		? (TO) TT=1200.12	? (TO) TT=1200	? (TO) TT=1200.06	? (TO) TT=1200.07	? (TO) TT=1200.09	? (TO) TT=1200.12	? (TO) TT=1200.06
crafted/Hard/contest04/others/ Composite-048BitPrimes-0.sat05-503.reshuffled-07.cnf		? (TO) TT=1200.06	? (TO) TT=1200.03	? (TO) TT=1200.06	? (TO) TT=1200.02	? (TO) TT=1200.1	? (TO) TT=1200.08	? (TO) TT=1200.06
crafted/Hard/contest04/others/ Composite-048BitPrimes-1.sat05-504.reshuffled-07.cnf		? (TO) TT=1200.1	? (TO) TT=1200.07	? (TO) TT=1200.08	? (TO) TT=1200.02	? (TO) TT=1200.11	? (TO) TT=1200.05	? (TO) TT=1200.1
crafted/Hard/contest04/others/ Composite-064BitPrimes-1.sat05-506.reshuffled-07.cnf		? (TO) TT=1200.01	? (TO) TT=1200.03	? (TO) TT=1200.07	? (TO) TT=1200.09	? (TO) TT=1200.08	? (TO) TT=1200.02	? (TO) TT=1200.05
crafted/Hard/contest04/others/ Composite-096BitPrimes-0.sat05-507.reshuffled-07.cnf		? (TO) TT=1200.08	? (TO) TT=1200.07	? (TO) TT=1200.06	? (TO) TT=1200.07	? (TO) TT=1200.04	? (TO) TT=1200.02	? (TO) TT=1200.09
crafted/Hard/contest04/ others/ CompositeRSA576.sat05-509.reshuffled-07.cnf		? (TO) TT=1200.08	? (TO) TT=1200.03	? (TO) TT=1200.12	? (TO) TT=1200.05	? (TO) TT=1200.09	? (TO) TT=1200.02	? (TO) TT=1200.03
crafted/Hard/contest04/ others/ equilarge_l2.sat05-519.reshuffled-07.cnf		? (TO) TT=1200.11	? (TO) TT=1200.02	? (TO) TT=1200.1	? (TO) TT=1200.1	? (TO) TT=1200.08	? (TO) TT=1200.13	? (TO) TT=1200.11
crafted/Hard/contest04/ others/ equilarge_l3.sat05-520.reshuffled-07.cnf		? (TO) TT=1200.09	? (TO) TT=1200.07	? (TO) TT=1200.1	? (TO) TT=1200.06	? (TO) TT=1200.08	? (TO) TT=1200.11	? (TO) TT=1200.11
crafted/Hard/contest04/ others/ equilarge_l4.sat05-521.reshuffled-07.cnf		? (TO) TT=1200.11	? (TO) TT=1200.09	? (TO) TT=1200.08	? (TO) TT=1200.09	? (TO) TT=1200.06	? (TO) TT=1200.05	? (TO) TT=1200.12
Bench name	Best results	IUT_BMB_SIM 1.0 (complete)	kw_pre 2009-03-21 (complete)	minisat2-core 070721 (complete)	minisat2-simp 070721 (complete)	ReVivAl 0.23 2009-03-18 (complete)	ReVivAl 0.23 + SatElite 2009-03-18 (complete)	SatElite + ReVivAl 0.23 2009-03-18 (complete)
crafted/Hard/contest04/ others/ ramsey.sat05-511.reshuffled-07.cnf		? (TO) TT=1200.1	? (TO) TT=1200.06	? (TO) TT=1200.05	? (TO) TT=1200.08	? (TO) TT=1200.12	? (TO) TT=1200.11	? (TO) TT=1200.07
crafted/Hard/contest05/counting-clq/ unsat-set-a-clqcolor-16-10-11.sat05-1253.reshuffled-07.cnf		? (TO) TT=1200.11	? (TO) TT=1200.06	? (TO) TT=1200.09	? (TO) TT=1200.1	? (TO) TT=1200.02	? (TO) TT=1200.08	? (TO) TT=1200.13
crafted/Hard/contest05/counting-clq/ unsat-set-b-clqcolor-16-11-14.sat05-1261.reshuffled-07.cnf		? (TO) TT=1200.06	? (TO) TT=1200.04	? (TO) TT=1200.06	? (TO) TT=1200.12	? (TO) TT=1200.06	? (TO) TT=1200	? (TO) TT=1200.06
crafted/Hard/contest05/counting-clq/ unsat-set-b-fclqcolor-10-07-09.sat05-1282.reshuffled-07.cnf		? (TO) TT=1200.05	? (TO) TT=1200.03	? (TO) TT=1200.1	? (TO) TT=1200.02	? (TO) TT=1200.12	? (TO) TT=1200.12	? (TO) TT=1200.11
crafted/Hard/contest05/counting-clq/ unsat-set-b-fclqcolor-25-18-23.sat05-1287.reshuffled-07.cnf		? (TO) TT=1200.03	? (TO) TT=1200.06	? (TO) TT=1200.12	? (TO) TT=1200.11	? (TO) TT=1200.04	? (TO) TT=1200.05	? (TO) TT=1200.05
crafted/Hard/contest05/ counting-php/ easier-fphp-035-029.sat05-1221.reshuffled-07.cnf		? (TO) TT=1200.02	? (TO) TT=1200.07	? (TO) TT=1200.03	? (TO) TT=1200.1	? (TO) TT=1200.05	? (TO) TT=1200.09	? (TO) TT=1200.08
crafted/Hard/contest05/ others/ eulcbip-8-UNSAT.sat05-3937.reshuffled-07.cnf		? (TO) TT=1200.03	? (TO) TT=1200.04	? (TO) TT=1200.08	? (TO) TT=1200.07	? (TO) TT=1200.1	? (TO) TT=1200.08	? (TO) TT=1200.11
crafted/Hard/contest05/others/ linvrinv8.sat05-567.reshuffled-07.cnf		? (TO) TT=1200.09	? (TO) TT=1200.06	? (TO) TT=1200.11	? (TO) TT=1200.02	? (TO) TT=1200.03	? (TO) TT=1200.02	? (TO) TT=1200.06
crafted/Hard/contest05/others/ linvrinv9.sat05-568.reshuffled-07.cnf		? (TO) TT=1200.12	? (TO) TT=1200.03	? (TO) TT=1200.07	? (TO) TT=1200.07	? (TO) TT=1200.1	? (TO) TT=1200.08	? (TO) TT=1200.12
crafted/Hard/contest05/others/ mod2c-rand3bip-sat-220-1.sat05-2488.reshuffled-07.cnf	SAT TT=672.805	SAT TT=1147.45	? (TO) TT=1200.01	? (TO) TT=1200.07	SAT TT=672.805	? (TO) TT=1200.04	? (TO) TT=1200.09	? (TO) TT=1200.11
Bench name	Best results	IUT_BMB_SIM 1.0 (complete)	kw_pre 2009-03-21 (complete)	minisat2-core 070721 (complete)	minisat2-simp 070721 (complete)	ReVivAl 0.23 2009-03-18 (complete)	ReVivAl 0.23 + SatElite 2009-03-18 (complete)	SatElite + ReVivAl 0.23 2009-03-18 (complete)
crafted/Hard/contest05/others/ mod2c-rand3bip-sat-220-2.sat05-2489.reshuffled-07.cnf	SAT TT=104.389	SAT TT=415.485	? (TO) TT=1200.05	SAT TT=416.45	SAT TT=104.389	? (TO) TT=1200.05	? (TO) TT=1200.09	? (TO) TT=1200.03
crafted/Hard/contest05/others/ sgp_5-6-8.sat05-2669.reshuffled-07.cnf		? (TO) TT=1200.03	? (TO) TT=1200.06	? (TO) TT=1200.09	? (TO) TT=1200.09	? (TO) TT=1200.06	? (TO) TT=1200.02	? (TO) TT=1200.02
crafted/Hard/contest05/others/ sgp_9-8-8.sat05-2674.reshuffled-07.cnf		? (TO) TT=1200	? (TO) TT=1200.05	? (TO) TT=1200.09	? (TO) TT=1200.11	? (TO) TT=1200.07	? (TO) TT=1200.04	? (TO) TT=1200.07
crafted/Hard/contest05/others/ strips-gripper-18t35.sat05-1147.reshuffled-07.cnf	SAT TT=324.197	? (TO) TT=1200.03	SAT TT=324.197	? (TO) TT=1200.1	? (TO) TT=1200.12	? (TO) TT=1200.05	? (TO) TT=1200.07	? (TO) TT=1200.1
crafted/Hard/contest05/phnf/ phnf-size10-exclusive-all.used-as.sat04-986.sat05-4198.reshuffled-07.cnf		? (TO) TT=1200.03	? (TO) TT=1200.06	? (TO) TT=1200.12	? (TO) TT=1200.06	? (TO) TT=1200	? (TO) TT=1200.04	? (TO) TT=1200.01
crafted/Hard/contest05/phnf/ phnf-size10-exclusive-equilarge_l1.used-as.sat04-893.sat05-4187.reshuffled-07.cnf		? (TO) TT=1200.07	? (TO) TT=1200.09	? (TO) TT=1200.08	? (TO) TT=1200.06	? (TO) TT=1200.04	? (TO) TT=1200.03	? (TO) TT=1200.04
crafted/Hard/contest05/phnf/ phnf-size10-exclusive-equilarge_m3.used-as.sat04-900.sat05-4186.reshuffled-07.cnf		? (TO) TT=1200.06	? (TO) TT=1200.06	? (TO) TT=1200.05	? (TO) TT=1200.03	? (TO) TT=1200.01	? (TO) TT=1200.07	? (TO) TT=1200.01
crafted/Hard/contest05/phnf/ phnf-size10-exclusive-FIFO.used-as.sat04-991.sat05-4192.reshuffled-07.cnf		? (TO) TT=1200.2	? (TO) TT=1200.1	? (TO) TT=1200.1	? (TO) TT=1200.08	? (TO) TT=1200.08	? (TO) TT=1200.07	? (TO) TT=1200.01
crafted/Hard/contest05/phnf/ phnf-size10-exclusive-gigamax.used-as.sat04-984.sat05-4194.reshuffled-07.cnf	UNSAT TT=448.96	UNSAT TT=665.269	UNSAT TT=523.732	UNSAT TT=638.916	UNSAT TT=448.96	UNSAT TT=469.304	UNSAT TT=788.1	UNSAT TT=758.708
crafted/Hard/contest05/phnf/ phnf-size10-exclusive-luckySeven.used-as.sat04-990.sat05-4196.reshuffled-07.cnf	UNSAT TT=797.417	? (TO) TT=1200.07	UNSAT TT=797.417	? (TO) TT=1200.1	? (TO) TT=1200.1	? (TO) TT=1200.04	? (TO) TT=1200.01	? (TO) TT=1200.06
Bench name	Best results	IUT_BMB_SIM 1.0 (complete)	kw_pre 2009-03-21 (complete)	minisat2-core 070721 (complete)	minisat2-simp 070721 (complete)	ReVivAl 0.23 2009-03-18 (complete)	ReVivAl 0.23 + SatElite 2009-03-18 (complete)	SatElite + ReVivAl 0.23 2009-03-18 (complete)
crafted/Hard/contest05/phnf/ phnf-size10-exclusive-myciel6-cn.used-as.sat04-319.sat05-4201.reshuffled-07.cnf		? (TO) TT=1200.07	? (TO) TT=1200.09	? (TO) TT=1200.12	? (TO) TT=1200.08	? (TO) TT=1200.02	? (TO) TT=1200.02	? (TO) TT=1200.05
crafted/Hard/contest05/phnf/ phnf-size10-exclusive-philo.used-as.sat04-988.sat05-4195.reshuffled-07.cnf		? (TO) TT=1200.02	? (TO) TT=1200.04	? (TO) TT=1200.06	? (TO) TT=1200.11	? (TO) TT=1200.07	? (TO) TT=1200.01	? (TO) TT=1200.08
crafted/Hard/contest05/QG/ QG7a-gensys-icl004.sat05-3825.reshuffled-07.cnf	UNSAT TT=220.435	? (TO) TT=1200.04	UNSAT TT=231.933	? (TO) TT=1200.09	UNSAT TT=255.401	UNSAT TT=225.593	UNSAT TT=236.571	UNSAT TT=220.435
crafted/Hard/contest05/QG/ QG7a-gensys-ukn002.sat05-3842.reshuffled-07.cnf		? (TO) TT=1200.02	? (TO) TT=1200.07	? (TO) TT=1200.07	? (TO) TT=1200.1	? (TO) TT=1200.08	? (TO) TT=1200.09	? (TO) TT=1200.04
crafted/Hard/contest05/QG/ QG7a-gensys-ukn009.sat05-3849.reshuffled-07.cnf		? (TO) TT=1200.12	? (TO) TT=1200.05	? (TO) TT=1200.06	? (TO) TT=1200.1	? (TO) TT=1200.08	? (TO) TT=1200.12	? (TO) TT=1200.05
crafted/Hard/contest05/ QG/ QG7-dead-dnd001.sat05-3419.reshuffled-07.cnf		? (TO) TT=1200.1	? (TO) TT=1200.09	? (TO) TT=1200.09	? (TO) TT=1200.1	? (TO) TT=1200.05	? (TO) TT=1200.08	? (TO) TT=1200.11
crafted/Hard/contest05/ QG/ QG7-dead-dnd005.sat05-3111.reshuffled-07.cnf	UNSAT TT=434.976	UNSAT TT=688.667	? (TO) TT=1200.06	UNSAT TT=930.389	UNSAT TT=434.976	UNSAT TT=1061.72	UNSAT TT=819.684	UNSAT TT=1001.87
crafted/Hard/contest05/QG/ QG7-gensys-icl100.sat05-3226.reshuffled-07.cnf		? (TO) TT=1200.08	? (TO) TT=1200.09	? (TO) TT=1200.09	? (TO) TT=1200.07	? (TO) TT=1200.09	? (TO) TT=1200.04	? (TO) TT=1200.1
crafted/Hard/contest05/QG/ QG7-gensys-ukn003.sat05-3346.reshuffled-07.cnf		? (TO) TT=1200.04	? (TO) TT=1200	? (TO) TT=1200.1	? (TO) TT=1200.02	? (TO) TT=1200.1	? (TO) TT=1200.12	? (TO) TT=1200.11
crafted/Medium/contest05/ jarvisalo/ mod2-3cage-unsat-9-12.sat05-2587.reshuffled-07.cnf	UNSAT TT=79.667	UNSAT TT=79.667	UNSAT TT=480.383	UNSAT TT=79.726	UNSAT TT=99.554	UNSAT TT=79.907	UNSAT TT=129.439	UNSAT TT=129.241
Bench name	Best results	IUT_BMB_SIM 1.0 (complete)	kw_pre 2009-03-21 (complete)	minisat2-core 070721 (complete)	minisat2-simp 070721 (complete)	ReVivAl 0.23 2009-03-18 (complete)	ReVivAl 0.23 + SatElite 2009-03-18 (complete)	SatElite + ReVivAl 0.23 2009-03-18 (complete)
crafted/Medium/contest05/ jarvisalo/ mod2-3cage-unsat-9-14.sat05-2589.reshuffled-07.cnf	UNSAT TT=72.062	UNSAT TT=77.065	UNSAT TT=810.002	UNSAT TT=77.053	UNSAT TT=126.637	UNSAT TT=72.062	UNSAT TT=111.435	UNSAT TT=104.034
crafted/Medium/contest05/jarvisalo/ mod2c-rand3bip-sat-190-3.sat05-2445.reshuffled-07.cnf	SAT TT=8.157	SAT TT=205.307	SAT TT=158.723	SAT TT=191.609	SAT TT=21.513	SAT TT=8.158	SAT TT=8.728	SAT TT=8.157
crafted/Medium/contest05/jarvisalo/ mod2-rand3bip-sat-210-2.sat05-2159.reshuffled-07.cnf	SAT TT=35.228	SAT TT=74.415	SAT TT=35.228	SAT TT=79.708	SAT TT=79.885	SAT TT=74.379	SAT TT=79.746	SAT TT=79.735
crafted/Medium/contest05/jarvisalo/ mod2-rand3bip-sat-220-1.sat05-2173.reshuffled-07.cnf	SAT TT=255.708	SAT TT=256.18	SAT TT=664.271	SAT TT=273.808	SAT TT=274.939	SAT TT=256.127	SAT TT=273.958	SAT TT=255.708
crafted/Medium/contest05/jarvisalo/ mod2-rand3bip-sat-230-2.sat05-2189.reshuffled-07.cnf	SAT TT=173.631	SAT TT=173.631	? (TO) TT=1200	SAT TT=186.257	SAT TT=186.402	SAT TT=186.437	SAT TT=174.16	SAT TT=174.066
crafted/Medium/contest05/jarvisalo/ mod2-rand3bip-sat-250-3.sat05-2220.reshuffled-07.cnf		? (TO) TT=1200.09	? (TO) TT=1200	? (TO) TT=1200.08	? (TO) TT=1200.11	? (TO) TT=1200.02	? (TO) TT=1200.08	? (TO) TT=1200.11
crafted/Medium/contest05/others/ pmg-11-UNSAT.sat05-3939.reshuffled-07.cnf	UNSAT TT=391.416	UNSAT TT=749.47	? (TO) TT=1200.07	UNSAT TT=1032.85	UNSAT TT=564.902	UNSAT TT=762.104	UNSAT TT=623.655	UNSAT TT=391.416
crafted/Medium/contest05/ others/ QG7a-gensys-brn004.sat05-3669.reshuffled-07.cnf	SAT TT=2.83	SAT TT=245.446	SAT TT=2.9	SAT TT=106.381	SAT TT=2.83	SAT TT=30.795	SAT TT=32.484	SAT TT=30.133
crafted/Medium/contest05/ others/ QG7a-gensys-ukn001.sat05-3841.reshuffled-07.cnf	SAT TT=2.423	SAT TT=100.796	SAT TT=6.443	SAT TT=74.264	SAT TT=2.423	SAT TT=38.163	SAT TT=33.831	SAT TT=37.549
crafted/Medium/contest05/ others/ QG7a-gensys-ukn005.sat05-3845.reshuffled-07.cnf	SAT TT=1.83	SAT TT=45.838	SAT TT=6.776	SAT TT=146.676	SAT TT=1.83	SAT TT=37.525	SAT TT=26.942	SAT TT=43.011
Bench name	Best results	IUT_BMB_SIM 1.0 (complete)	kw_pre 2009-03-21 (complete)	minisat2-core 070721 (complete)	minisat2-simp 070721 (complete)	ReVivAl 0.23 2009-03-18 (complete)	ReVivAl 0.23 + SatElite 2009-03-18 (complete)	SatElite + ReVivAl 0.23 2009-03-18 (complete)
crafted/Medium/contest05/ others/ QG7-gensys-icl001.sat05-2926.reshuffled-07.cnf	UNSAT TT=48.583	UNSAT TT=59.221	UNSAT TT=69.564	UNSAT TT=65.716	UNSAT TT=48.583	UNSAT TT=49.608	UNSAT TT=48.668	UNSAT TT=51.598
crafted/Medium/contest05/ others/ QG8-gensys-ukn005.sat05-3584.reshuffled-07.cnf	UNSAT TT=44.607	UNSAT TT=81.579	UNSAT TT=44.607	UNSAT TT=203.488	UNSAT TT=162.744	UNSAT TT=635.94	UNSAT TT=643.199	UNSAT TT=656.54
crafted/Medium/contest05/ others/ QG-gensys-brn008.sat05-2685.reshuffled-07.cnf	UNSAT TT=60.657	UNSAT TT=195.837	UNSAT TT=90.85	UNSAT TT=160.993	UNSAT TT=106.605	UNSAT TT=129.849	UNSAT TT=60.657	UNSAT TT=112.095
crafted/Medium/contest05/ others/ QG-gensys-icl003.sat05-2715.reshuffled-07.cnf	UNSAT TT=79.993	UNSAT TT=155.855	UNSAT TT=89.167	UNSAT TT=133.4	UNSAT TT=81.863	UNSAT TT=84.308	UNSAT TT=97.949	UNSAT TT=79.993
crafted/Medium/contest05/ pebbling/ unsat-grid-pbl-0080.sat05-1344.reshuffled-07.cnf	UNSAT TT=0.076	? (TO) TT=1200.09	UNSAT TT=14.879	? (TO) TT=1200.1	UNSAT TT=0.076	UNSAT TT=1.77	UNSAT TT=0.316	UNSAT TT=1.763
crafted/Medium/contest05/ pebbling/ unsat-pbl-00080.sat05-1325.reshuffled-07.cnf	UNSAT TT=0.528	? (TO) TT=1200.08	UNSAT TT=1.894	? (TO) TT=1200.07	UNSAT TT=0.528	UNSAT TT=19.003	UNSAT TT=11.884	UNSAT TT=19.236
crafted/Medium/contest05/ pebbling/ unsat-pbl-00090.sat05-1326.reshuffled-07.cnf	UNSAT TT=0.26	? (TO) TT=1200.09	UNSAT TT=3.552	? (TO) TT=1200.01	UNSAT TT=0.26	UNSAT TT=9.71	UNSAT TT=10.926	UNSAT TT=9.696
crafted/Medium/contest05/sabharwal/ counting-clqcolor-unsat-set-b-clqcolor-08-06-07.sat05-1257.reshuffled-07.cnf	UNSAT TT=9.239	UNSAT TT=9.239	UNSAT TT=18.569	UNSAT TT=9.24	UNSAT TT=11.518	UNSAT TT=9.241	UNSAT TT=12.746	UNSAT TT=11.969
crafted/Medium/contest05/sabharwal/ counting-easier-php-012-010.sat05-1172.reshuffled-07.cnf	UNSAT TT=138.578	UNSAT TT=161.029	? (TO) TT=1200.04	UNSAT TT=160.987	UNSAT TT=138.578	UNSAT TT=161.476	UNSAT TT=164.893	UNSAT TT=164.742
crafted/Medium/contest05/sabharwal/ sat-strips-gripper-12t23.sat05-1144.reshuffled-07.cnf	SAT TT=2.468	SAT TT=147.531	SAT TT=2.468	SAT TT=27.574	SAT TT=37.087	? (TO) TT=1200.04	SAT TT=35.338	SAT TT=5.7
Bench name	Best results	IUT_BMB_SIM 1.0 (complete)	kw_pre 2009-03-21 (complete)	minisat2-core 070721 (complete)	minisat2-simp 070721 (complete)	ReVivAl 0.23 2009-03-18 (complete)	ReVivAl 0.23 + SatElite 2009-03-18 (complete)	SatElite + ReVivAl 0.23 2009-03-18 (complete)
CRAFTED/modcircuits/ mod3_4vars_6gates.cnf	UNSAT TT=721.25	? (TO) TT=1200.05	? (TO) TT=1200.06	? (TO) TT=1200.07	UNSAT TT=721.25	UNSAT TT=896.867	UNSAT TT=740.601	UNSAT TT=1046.02
CRAFTED/modcircuits/ mod3block_2vars_10gates_u2_autoenc.cnf		? (TO) TT=1200.09	? (TO) TT=1200.04	? (TO) TT=1200.11	? (TO) TT=1200.07	? (TO) TT=1200.04	? (TO) TT=1200.01	? (TO) TT=1200.05
CRAFTED/modcircuits/ mod3block_2vars_11gates_u2_autoenc.cnf		? (TO) TT=1200.03	? (TO) TT=1200.03	? (TO) TT=1200.06	? (TO) TT=1200.12	? (TO) TT=1200.09	? (TO) TT=1200.07	? (TO) TT=1200.08
CRAFTED/modcircuits/ mod3block_2vars_9gates_u2_autoenc.cnf		? (TO) TT=1200.06	? (TO) TT=1200.04	? (TO) TT=1200.08	? (TO) TT=1200.05	? (TO) TT=1200.02	? (TO) TT=1200.14	? (TO) TT=1200.11
CRAFTED/modcircuits/ mod3block_3vars_9gates_restr.cnf	SAT TT=4.705	SAT TT=4.705	SAT TT=20.783	SAT TT=4.988	SAT TT=5.403	SAT TT=17.207	SAT TT=21.465	? (TO) TT=1200.06
CRAFTED/modcircuits/ mod3block_4vars_11gates_b2.cnf		? (TO) TT=1200.05	? (TO) TT=1200.09	? (TO) TT=1200.08	? (TO) TT=1200.07	? (TO) TT=1200.04	? (TO) TT=1200.09	? (TO) TT=1200.05
CRAFTED/modcircuits/ mod3block_4vars_11gates_b2_restricted.cnf		? (TO) TT=1200.09	? (TO) TT=1200.06	? (TO) TT=1200.03	? (TO) TT=1200.09	? (TO) TT=1200.1	? (TO) TT=1200.11	? (TO) TT=1200.04
CRAFTED/modcircuits/ mod3block_4vars_12gates_b2.cnf		? (TO) TT=1200.09	? (TO) TT=1200.07	? (TO) TT=1200.06	? (TO) TT=1200.1	? (TO) TT=1200.09	? (TO) TT=1200.01	? (TO) TT=1200.05
CRAFTED/modcircuits/ mod3block_4vars_12gates_b2_restricted.cnf		? (TO) TT=1200.03	? (TO) TT=1200.08	? (TO) TT=1200.06	? (TO) TT=1200.05	? (TO) TT=1200.06	? (TO) TT=1200.06	? (TO) TT=1200.05
CRAFTED/modcircuits/ mod4block_2vars_10gates_u2_autoenc.cnf	SAT TT=9.953	? (TO) TT=1200.06	? (TO) TT=1200.07	? (TO) TT=1200.08	SAT TT=9.953	? (TO) TT=1200.1	? (TO) TT=1200.01	? (TO) TT=1200.06
Bench name	Best results	IUT_BMB_SIM 1.0 (complete)	kw_pre 2009-03-21 (complete)	minisat2-core 070721 (complete)	minisat2-simp 070721 (complete)	ReVivAl 0.23 2009-03-18 (complete)	ReVivAl 0.23 + SatElite 2009-03-18 (complete)	SatElite + ReVivAl 0.23 2009-03-18 (complete)
CRAFTED/modcircuits/ mod4block_2vars_11gates_u2_autoenc.cnf	SAT TT=56.442	? (TO) TT=1200.09	SAT TT=880.994	? (TO) TT=1200.07	SAT TT=414.068	SAT TT=56.442	SAT TT=454.79	SAT TT=60.04
CRAFTED/modcircuits/ mod4block_2vars_8gates_u2_autoenc.cnf		? (TO) TT=1200.04	? (TO) TT=1200.06	? (TO) TT=1200.08	? (TO) TT=1200.06	? (TO) TT=1200.13	? (TO) TT=1200.05	? (TO) TT=1200.04
CRAFTED/modcircuits/ mod4block_2vars_8gates_u2.cnf		? (TO) TT=1200.11	? (TO) TT=1200.06	? (TO) TT=1200.1	? (TO) TT=1200.1	? (TO) TT=1200.1	? (TO) TT=1200.1	? (TO) TT=1200.05
CRAFTED/modcircuits/ mod4block_2vars_9gates_u2_autoenc.cnf		? (TO) TT=1200.09	? (TO) TT=1200.02	? (TO) TT=1200.04	? (TO) TT=1200.07	? (TO) TT=1200.13	? (TO) TT=1200.09	? (TO) TT=1200.01
CRAFTED/modcircuits/ mod4block_2vars_9gates_u2.cnf		? (TO) TT=1200.1	? (TO) TT=1200.04	? (TO) TT=1200.03	? (TO) TT=1200.07	? (TO) TT=1200.1	? (TO) TT=1200.12	? (TO) TT=1200.06
CRAFTED/modcircuits/ mod4block_3vars_7gates.cnf		? (TO) TT=1200.04	? (TO) TT=1200.09	? (TO) TT=1200.09	? (TO) TT=1200.05	? (TO) TT=1200.08	? (TO) TT=1200.09	? (TO) TT=1200.12
CRAFTED/modcircuits/ mod5block_1var_7gates.cnf	SAT TT=1.718	SAT TT=16.463	SAT TT=7.847	SAT TT=30.06	SAT TT=1.718	SAT TT=2.83	SAT TT=6.714	SAT TT=5.68
CRAFTED/modcircuits/ mod5block_2vars_12gates.cnf		? (TO) TT=1200.05	? (TO) TT=1200.08	? (TO) TT=1200.06	? (TO) TT=1200.1	? (TO) TT=1200.02	? (TO) TT=1200.01	? (TO) TT=1200.08
CRAFTED/modcircuits/ owp_4vars_5gates.cnf	UNSAT TT=0.12	UNSAT TT=0.215	UNSAT TT=1.003	UNSAT TT=0.12	UNSAT TT=0.23	UNSAT TT=1.118	UNSAT TT=1.429	UNSAT TT=1.18
CRAFTED/parity-games/ instance_n2_i2_pp.cnf	UNSAT TT=0.001	UNSAT TT=0.001	UNSAT TT=0.005	UNSAT TT=0.002	UNSAT TT=0.001	UNSAT TT=0.006	UNSAT TT=0.005	UNSAT TT=0.006
Bench name	Best results	IUT_BMB_SIM 1.0 (complete)	kw_pre 2009-03-21 (complete)	minisat2-core 070721 (complete)	minisat2-simp 070721 (complete)	ReVivAl 0.23 2009-03-18 (complete)	ReVivAl 0.23 + SatElite 2009-03-18 (complete)	SatElite + ReVivAl 0.23 2009-03-18 (complete)
CRAFTED/parity-games/ instance_n2_i3_pp.cnf	UNSAT TT=0	UNSAT TT=0.002	UNSAT TT=0.005	UNSAT TT=0	UNSAT TT=0.001	UNSAT TT=0.006	UNSAT TT=0.008	UNSAT TT=0.008
CRAFTED/parity-games/ instance_n3_i3_pp_ci_ce.cnf	SAT TT=0.004	SAT TT=0.034	SAT TT=0.034	SAT TT=0.004	SAT TT=0.008	SAT TT=0.185	SAT TT=0.103	SAT TT=0.186
CRAFTED/parity-games/ instance_n3_i3_pp.cnf	SAT TT=0.006	SAT TT=0.033	SAT TT=0.036	SAT TT=0.006	SAT TT=0.012	SAT TT=0.125	SAT TT=0.083	SAT TT=0.134
CRAFTED/parity-games/ instance_n3_i4_pp_ci_ce.cnf	UNSAT TT=0.006	UNSAT TT=0.045	UNSAT TT=0.034	UNSAT TT=0.006	UNSAT TT=0.011	UNSAT TT=0.159	UNSAT TT=0.098	UNSAT TT=0.161
CRAFTED/parity-games/ instance_n4_i4_pp_ci_ce.cnf	SAT TT=0.054	SAT TT=0.16	SAT TT=0.166	SAT TT=0.102	SAT TT=0.054	SAT TT=2.465	SAT TT=2.222	SAT TT=2.5
CRAFTED/parity-games/ instance_n4_i4_pp.cnf	SAT TT=0.054	SAT TT=0.154	SAT TT=0.123	SAT TT=0.054	SAT TT=0.083	SAT TT=1.294	SAT TT=0.87	SAT TT=1.228
CRAFTED/parity-games/ instance_n4_i5_pp.cnf	UNSAT TT=0.423	UNSAT TT=0.57	UNSAT TT=0.534	UNSAT TT=0.519	UNSAT TT=0.423	UNSAT TT=1.808	UNSAT TT=1.451	UNSAT TT=1.699
CRAFTED/parity-games/ instance_n5_i5_pp.cnf	SAT TT=0.382	SAT TT=1.456	SAT TT=0.405	SAT TT=0.601	SAT TT=0.382	SAT TT=4.617	SAT TT=3.591	SAT TT=5.157
CRAFTED/parity-games/ instance_n5_i6_pp_ci_ce.cnf	UNSAT TT=1.912	UNSAT TT=2.287	UNSAT TT=2.079	UNSAT TT=3.109	UNSAT TT=1.912	UNSAT TT=22.752	UNSAT TT=19.658	UNSAT TT=21.487
CRAFTED/parity-games/ instance_n5_i6_pp.cnf	SAT TT=3.375	SAT TT=19.037	SAT TT=3.375	SAT TT=12.388	SAT TT=10.376	SAT TT=34.268	SAT TT=36.335	SAT TT=16.851
Bench name	Best results	IUT_BMB_SIM 1.0 (complete)	kw_pre 2009-03-21 (complete)	minisat2-core 070721 (complete)	minisat2-simp 070721 (complete)	ReVivAl 0.23 2009-03-18 (complete)	ReVivAl 0.23 + SatElite 2009-03-18 (complete)	SatElite + ReVivAl 0.23 2009-03-18 (complete)
CRAFTED/parity-games/ instance_n6_i6_pp_ci_ce.cnf	SAT TT=11.776	SAT TT=63.043	SAT TT=11.776	SAT TT=90.496	SAT TT=32.704	SAT TT=122.119	SAT TT=134.417	SAT TT=114.622
CRAFTED/parity-games/ instance_n6_i6_pp.cnf	SAT TT=1.118	SAT TT=3.804	SAT TT=1.118	SAT TT=3.094	SAT TT=1.571	SAT TT=30.676	SAT TT=14.894	SAT TT=14.317
CRAFTED/parity-games/ instance_n6_i7_pp_ci_ce.cnf	UNSAT TT=164.724	UNSAT TT=207.6	UNSAT TT=164.724	UNSAT TT=226.665	UNSAT TT=164.803	UNSAT TT=278.749	UNSAT TT=353.63	UNSAT TT=276.845
CRAFTED/parity-games/ instance_n6_i7_pp.cnf	SAT TT=7.812	SAT TT=25.587	SAT TT=7.812	SAT TT=52.493	SAT TT=33.669	SAT TT=23.159	SAT TT=22.519	SAT TT=21.367
CRAFTED/parity-games/ instance_n7_i7_pp_ci_ce.cnf	SAT TT=20.519	SAT TT=1130.13	SAT TT=20.519	? (TO) TT=1200.08	? (TO) TT=1200.07	? (TO) TT=1200.05	? (TO) TT=1200.08	? (TO) TT=1200.02
CRAFTED/parity-games/ instance_n7_i7_pp.cnf	SAT TT=4.532	SAT TT=271.174	SAT TT=4.532	SAT TT=33.433	SAT TT=7.679	SAT TT=63.378	SAT TT=70.393	SAT TT=40.669
CRAFTED/parity-games/ instance_n7_i8_pp_ci_ce.cnf		? (TO) TT=1200.02	? (TO) TT=1200.03	? (TO) TT=1200.07	? (TO) TT=1200.06	? (TO) TT=1200.06	? (TO) TT=1200.04	? (TO) TT=1200.08
CRAFTED/parity-games/ instance_n7_i8_pp.cnf	SAT TT=31.675	SAT TT=31.675	SAT TT=104.825	SAT TT=140.703	SAT TT=213.509	SAT TT=241.675	SAT TT=67.962	SAT TT=68.378
CRAFTED/parity-games/ instance_n8_i8_pp_ci_ce.cnf	SAT TT=85.241	SAT TT=105.363	SAT TT=85.241	? (TO) TT=1200.12	? (TO) TT=1200.1	? (TO) TT=1200.03	? (TO) TT=1200.05	? (TO) TT=1200.03
CRAFTED/parity-games/ instance_n8_i8_pp.cnf	SAT TT=74.81	SAT TT=756.508	SAT TT=74.81	? (TO) TT=1200.1	SAT TT=415.695	SAT TT=207.413	SAT TT=96.468	SAT TT=657.477
Bench name	Best results	IUT_BMB_SIM 1.0 (complete)	kw_pre 2009-03-21 (complete)	minisat2-core 070721 (complete)	minisat2-simp 070721 (complete)	ReVivAl 0.23 2009-03-18 (complete)	ReVivAl 0.23 + SatElite 2009-03-18 (complete)	SatElite + ReVivAl 0.23 2009-03-18 (complete)
CRAFTED/parity-games/ instance_n8_i9_pp_ci_ce.cnf		? (TO) TT=1200	? (TO) TT=1200.08	? (TO) TT=1200.11	? (TO) TT=1200.12	? (TO) TT=1200.08	? (TO) TT=1200.08	? (TO) TT=1200.01
CRAFTED/parity-games/ instance_n8_i9_pp.cnf	SAT TT=228.781	? (TO) TT=1200.07	SAT TT=762.352	? (TO) TT=1200.07	SAT TT=705.979	? (TO) TT=1200.07	SAT TT=1095.81	SAT TT=228.781
CRAFTED/parity-games/ instance_n9_i9_pp_ci_ce.cnf		? (TO) TT=1200.09	? (TO) TT=1200.09	? (TO) TT=1200.09	? (TO) TT=1200.13	? (TO) TT=1200.08	? (TO) TT=1200.07	? (TO) TT=1200.02
CRAFTED/parity-games/ instance_n9_i9_pp.cnf	SAT TT=379.428	? (TO) TT=1200.09	? (TO) TT=1200.05	? (TO) TT=1200.15	? (TO) TT=1200.11	? (TO) TT=1200.04	? (TO) TT=1200.07	SAT TT=379.428
CRAFTED/ ramseycube/ Q32inK09.cnf	UNSAT TT=45.694	UNSAT TT=47.592	UNSAT TT=554.244	UNSAT TT=52.147	UNSAT TT=46.86	UNSAT TT=48.213	UNSAT TT=45.694	UNSAT TT=46.654
CRAFTED/ ramseycube/ Q32inK10.cnf	UNSAT TT=143.652	UNSAT TT=143.652	UNSAT TT=615.961	UNSAT TT=149.899	UNSAT TT=167.205	UNSAT TT=146.573	UNSAT TT=145.654	UNSAT TT=148.213
CRAFTED/ ramseycube/ Q32inK11.cnf	UNSAT TT=553.227	UNSAT TT=553.227	UNSAT TT=576.173	UNSAT TT=566.025	UNSAT TT=1125.65	UNSAT TT=572.148	UNSAT TT=572.564	UNSAT TT=572.632
CRAFTED/ ramseycube/ Q3inK08.cnf	SAT TT=0.004	SAT TT=0.028	SAT TT=0.249	SAT TT=0.004	SAT TT=0.047	SAT TT=0.057	SAT TT=0.064	SAT TT=0.067
CRAFTED/ ramseycube/ Q3inK09.cnf	SAT TT=0.022	SAT TT=0.219	SAT TT=16.534	SAT TT=0.022	SAT TT=5.915	SAT TT=0.905	SAT TT=1.047	SAT TT=1.011
CRAFTED/ ramseycube/ Q3inK10.cnf	SAT TT=0.108	SAT TT=1.081	SAT TT=201.818	SAT TT=0.108	SAT TT=141.762	SAT TT=7.614	SAT TT=7.954	SAT TT=8.013
Bench name	Best results	IUT_BMB_SIM 1.0 (complete)	kw_pre 2009-03-21 (complete)	minisat2-core 070721 (complete)	minisat2-simp 070721 (complete)	ReVivAl 0.23 2009-03-18 (complete)	ReVivAl 0.23 + SatElite 2009-03-18 (complete)	SatElite + ReVivAl 0.23 2009-03-18 (complete)
CRAFTED/ ramseycube/ Q3inK11.cnf	SAT TT=0.531	SAT TT=4.08	? (TO) TT=1200.06	SAT TT=0.531	? (TO) TT=1200.07	SAT TT=46.917	SAT TT=50.928	SAT TT=48.77
CRAFTED/ ramseycube/ Q3inK12.cnf	SAT TT=2.505	SAT TT=13.141	? (TO) TT=1200.08	SAT TT=2.505	? (TO) TT=1200.08	SAT TT=220.82	SAT TT=224.867	SAT TT=226.17
CRAFTED/ ramseycube/ Q3inK13.cnf		? (TO) TT=1200.07	? (TO) TT=1200	? (TO) TT=1200.05	? (TO) TT=1200.11	? (TO) TT=1200.06	? (TO) TT=1200.09	? (TO) TT=1200.02
CRAFTED/rbsat/crafted/ forced/ rbsat-v1150c84314gyes1.cnf		? (TO) TT=1200.09	? (TO) TT=1200.05	? (TO) TT=1200.13	? (TO) TT=1200.11	? (TO) TT=1200.09	? (TO) TT=1200.08	? (TO) TT=1200.04
CRAFTED/rbsat/crafted/ forced/ rbsat-v1150c84314gyes2.cnf		? (TO) TT=1200.06	? (TO) TT=1200.05	? (TO) TT=1200.09	? (TO) TT=1200.12	? (TO) TT=1200.1	? (TO) TT=1200.02	? (TO) TT=1200.09
CRAFTED/rbsat/crafted/ forced/ rbsat-v1560c133795gyes9.cnf		? (TO) TT=1200.04	? (TO) TT=1200.09	? (TO) TT=1200.1	? (TO) TT=1200.11	? (TO) TT=1200.08	? (TO) TT=1200.05	? (TO) TT=1200.05
CRAFTED/rbsat/crafted/ forced/ rbsat-v1820c171155gyes6.cnf		? (TO) TT=1200.07	? (TO) TT=1200.01	? (TO) TT=1200.1	? (TO) TT=1200.11	? (TO) TT=1200.09	? (TO) TT=1200.07	? (TO) TT=1200.04
CRAFTED/rbsat/crafted/ forced/ rbsat-v2640c305320gyes8.cnf		? (TO) TT=1200.03	? (TO) TT=1200.06	? (TO) TT=1200.07	? (TO) TT=1200.12	? (TO) TT=1200.09	? (TO) TT=1200.02	? (TO) TT=1200.06
CRAFTED/rbsat/crafted/ forced/ rbsat-v760c43649gyes1.cnf	SAT TT=371.4	? (TO) TT=1200.02	? (TO) TT=1200.08	? (TO) TT=1200.1	? (TO) TT=1200.12	? (TO) TT=1200.06	? (TO) TT=1200.08	SAT TT=371.4
CRAFTED/rbsat/crafted/ forced/ rbsat-v945c61409gyes2.cnf		? (TO) TT=1200.07	? (TO) TT=1200.05	? (TO) TT=1200.07	? (TO) TT=1200.1	? (TO) TT=1200.06	? (TO) TT=1200.08	? (TO) TT=1200.05
Bench name	Best results	IUT_BMB_SIM 1.0 (complete)	kw_pre 2009-03-21 (complete)	minisat2-core 070721 (complete)	minisat2-simp 070721 (complete)	ReVivAl 0.23 2009-03-18 (complete)	ReVivAl 0.23 + SatElite 2009-03-18 (complete)	SatElite + ReVivAl 0.23 2009-03-18 (complete)
CRAFTED/rbsat/crafted/ forced/ rbsat-v945c61409gyes8.cnf		? (TO) TT=1200.06	? (TO) TT=1200.08	? (TO) TT=1200.09	? (TO) TT=1200.11	? (TO) TT=1200.09	? (TO) TT=1200.04	? (TO) TT=1200.07
CRAFTED/rbsat/crafted/ unforced/ rbsat-v1375c111739g2.cnf		? (TO) TT=1200.03	? (TO) TT=1200.07	? (TO) TT=1200.12	? (TO) TT=1200.07	? (TO) TT=1200.02	? (TO) TT=1200.07	? (TO) TT=1200.03
CRAFTED/rbsat/crafted/ unforced/ rbsat-v1375c111739g6.cnf		? (TO) TT=1200.08	? (TO) TT=1200.05	? (TO) TT=1200.05	? (TO) TT=1200.09	? (TO) TT=1200.09	? (TO) TT=1200.07	? (TO) TT=1200.07
CRAFTED/rbsat/crafted/ unforced/ rbsat-v1820c171155g4.cnf		? (TO) TT=1200.07	? (TO) TT=1200.08	? (TO) TT=1200.11	? (TO) TT=1200.12	? (TO) TT=1200.07	? (TO) TT=1200.1	? (TO) TT=1200.02
CRAFTED/rbsat/crafted/ unforced/ rbsat-v2400c266431g5.cnf		? (TO) TT=1200.08	? (TO) TT=1200.03	? (TO) TT=1200.13	? (TO) TT=1200.12	? (TO) TT=1200.02	? (TO) TT=1200.05	? (TO) TT=1200.09
CRAFTED/rbsat/crafted/ unforced/ rbsat-v2640c305320g4.cnf		? (TO) TT=1200.09	? (TO) TT=1200.08	? (TO) TT=1200.16	? (TO) TT=1200.16	? (TO) TT=1200	? (TO) TT=1200.04	? (TO) TT=1200.04
CRAFTED/rbsat/random/ forced/ rbsat-v1150c84314gyes3.cnf		? (TO) TT=1200.09	? (TO) TT=1200.05	? (TO) TT=1200.11	? (TO) TT=1200.05	? (TO) TT=1200.07	? (TO) TT=1200.01	? (TO) TT=1200.03
CRAFTED/rbsat/random/ forced/ rbsat-v2100c215164gyes2.cnf		? (TO) TT=1200.05	? (TO) TT=1200.07	? (TO) TT=1200.16	? (TO) TT=1200.13	? (TO) TT=1200.07	? (TO) TT=1200.05	? (TO) TT=1200.01
CRAFTED/rbsat/random/ forced/ rbsat-v760c43649gyes10.cnf	SAT TT=7.029	SAT TT=455.593	SAT TT=18.725	SAT TT=469.358	SAT TT=7.029	SAT TT=454.753	SAT TT=143.477	SAT TT=286.429
CRAFTED/rbsat/random/ forced/ rbsat-v760c43649gyes1.cnf	SAT TT=264.031	? (TO) TT=1200.1	SAT TT=264.031	? (TO) TT=1200.12	? (TO) TT=1200.1	? (TO) TT=1200.08	SAT TT=880.375	SAT TT=459.02
Bench name	Best results	IUT_BMB_SIM 1.0 (complete)	kw_pre 2009-03-21 (complete)	minisat2-core 070721 (complete)	minisat2-simp 070721 (complete)	ReVivAl 0.23 2009-03-18 (complete)	ReVivAl 0.23 + SatElite 2009-03-18 (complete)	SatElite + ReVivAl 0.23 2009-03-18 (complete)
CRAFTED/rbsat/random/ forced/ rbsat-v760c43649gyes4.cnf	SAT TT=103.109	SAT TT=218.971	SAT TT=181.134	SAT TT=225.395	SAT TT=365.839	SAT TT=218.87	SAT TT=103.109	SAT TT=303.24
CRAFTED/rbsat/random/ forced/ rbsat-v760c43649gyes6.cnf	SAT TT=312.392	SAT TT=554.249	SAT TT=312.392	SAT TT=552.764	SAT TT=681.754	SAT TT=552.711	? (TO) TT=1200.09	? (TO) TT=1200.03
CRAFTED/rbsat/random/ forced/ rbsat-v945c61409gyes4.cnf		? (TO) TT=1200.08	? (TO) TT=1200.05	? (TO) TT=1200.09	? (TO) TT=1200.09	? (TO) TT=1200.07	? (TO) TT=1200.02	? (TO) TT=1200.04
CRAFTED/rbsat/random/ forced/ rbsat-v945c61409gyes9.cnf	SAT TT=1014.4	? (TO) TT=1200.09	SAT TT=1014.4	? (TO) TT=1200.1	? (TO) TT=1200.1	? (TO) TT=1200.04	? (TO) TT=1200.1	? (TO) TT=1200.02
CRAFTED/rbsat/random/ unforced/ rbsat-v1150c84314g2.cnf		? (TO) TT=1200.07	? (TO) TT=1200.03	? (TO) TT=1200.06	? (TO) TT=1200.09	? (TO) TT=1200.09	? (TO) TT=1200	? (TO) TT=1200.06
CRAFTED/rbsat/random/ unforced/ rbsat-v1820c171155g3.cnf		? (TO) TT=1200.08	? (TO) TT=1200.1	? (TO) TT=1200.09	? (TO) TT=1200.06	? (TO) TT=1200.08	? (TO) TT=1200.05	? (TO) TT=1200.04
CRAFTED/rbsat/random/ unforced/ rbsat-v2640c305320g2.cnf		? (TO) TT=1200.03	? (TO) TT=1200.08	? (TO) TT=1200.15	? (TO) TT=1200.09	? (TO) TT=1200.05	? (TO) TT=1200.01	? (TO) TT=1200.09
CRAFTED/rbsat/random/ unforced/ rbsat-v2640c305320g6.cnf		? (TO) TT=1200.05	? (TO) TT=1200.04	? (TO) TT=1200.17	? (TO) TT=1200.13	? (TO) TT=1200.03	? (TO) TT=1200.05	? (TO) TT=1200.05
CRAFTED/rbsat/random/ unforced/ rbsat-v760c43649g10.cnf	SAT TT=120.122	? (TO) TT=1200.05	SAT TT=206.735	? (TO) TT=1200.07	SAT TT=348.652	? (TO) TT=1200.05	SAT TT=120.122	? (TO) TT=1200.02
CRAFTED/rbsat/random/ unforced/ rbsat-v760c43649g1.cnf	SAT TT=674.249	? (TO) TT=1200.04	SAT TT=674.249	? (TO) TT=1200.09	SAT TT=891.79	? (TO) TT=1200.08	SAT TT=778.648	SAT TT=712.315
Bench name	Best results	IUT_BMB_SIM 1.0 (complete)	kw_pre 2009-03-21 (complete)	minisat2-core 070721 (complete)	minisat2-simp 070721 (complete)	ReVivAl 0.23 2009-03-18 (complete)	ReVivAl 0.23 + SatElite 2009-03-18 (complete)	SatElite + ReVivAl 0.23 2009-03-18 (complete)
CRAFTED/rbsat/random/ unforced/ rbsat-v760c43649g4.cnf		? (TO) TT=1200.06	? (TO) TT=1200.07	? (TO) TT=1200.11	? (TO) TT=1200.1	? (TO) TT=1200.06	? (TO) TT=1200.06	? (TO) TT=1200.05
CRAFTED/rbsat/random/ unforced/ rbsat-v760c43649g8.cnf	SAT TT=162.233	SAT TT=188.983	SAT TT=736.526	SAT TT=194.038	SAT TT=1194.6	SAT TT=188.274	SAT TT=162.233	SAT TT=305.076
CRAFTED/rbsat/random/ unforced/ rbsat-v945c61409g10.cnf	SAT TT=41.259	? (TO) TT=1200.04	SAT TT=41.259	? (TO) TT=1200.05	SAT TT=577.542	? (TO) TT=1200.07	? (TO) TT=1200.09	? (TO) TT=1200.07
CRAFTED/sgen/sat/ sgen1-sat-140-100.cnf	SAT TT=1.581	SAT TT=1.581	SAT TT=500.612	SAT TT=1.589	SAT TT=1.589	SAT TT=1.601	SAT TT=1.715	SAT TT=1.59
CRAFTED/sgen/sat/ sgen1-sat-160-100.cnf	SAT TT=120.115	SAT TT=128.883	? (TO) TT=1200.09	SAT TT=128.508	SAT TT=128.693	SAT TT=120.115	SAT TT=120.402	SAT TT=128.748
CRAFTED/sgen/sat/ sgen1-sat-180-100.cnf	SAT TT=746.247	SAT TT=800.178	? (TO) TT=1200.04	SAT TT=746.247	SAT TT=748.81	SAT TT=747.009	SAT TT=748.712	SAT TT=801.014
CRAFTED/sgen/sat/ sgen1-sat-200-100.cnf		? (TO) TT=1200.11	? (TO) TT=1200	? (TO) TT=1200.08	? (TO) TT=1200.09	? (TO) TT=1200.1	? (TO) TT=1200.03	? (TO) TT=1200.06
CRAFTED/sgen/sat/ sgen1-sat-220-100.cnf	SAT TT=716.225	SAT TT=767.034	? (TO) TT=1200	SAT TT=765.607	SAT TT=767.979	SAT TT=717.043	SAT TT=716.225	SAT TT=716.309
CRAFTED/sgen/sat/ sgen1-sat-230-100.cnf		? (TO) TT=1200.09	? (TO) TT=1200.08	? (TO) TT=1200.02	? (TO) TT=1200.03	? (TO) TT=1200.11	? (TO) TT=1200.08	? (TO) TT=1200.02
CRAFTED/sgen/sat/ sgen1-sat-240-100.cnf		? (TO) TT=1200.07	? (TO) TT=1200.08	? (TO) TT=1200.09	? (TO) TT=1200.1	? (TO) TT=1200.11	? (TO) TT=1200.07	? (TO) TT=1200.1
Bench name	Best results	IUT_BMB_SIM 1.0 (complete)	kw_pre 2009-03-21 (complete)	minisat2-core 070721 (complete)	minisat2-simp 070721 (complete)	ReVivAl 0.23 2009-03-18 (complete)	ReVivAl 0.23 + SatElite 2009-03-18 (complete)	SatElite + ReVivAl 0.23 2009-03-18 (complete)
CRAFTED/sgen/sat/ sgen1-sat-250-100.cnf		? (TO) TT=1200.03	? (TO) TT=1200.01	? (TO) TT=1200.11	? (TO) TT=1200.06	? (TO) TT=1200.11	? (TO) TT=1200.07	? (TO) TT=1200.08
CRAFTED/sgen/sat/ sgen1-sat-260-100.cnf		? (TO) TT=1200.09	? (TO) TT=1200.07	? (TO) TT=1200.03	? (TO) TT=1200.09	? (TO) TT=1200.02	? (TO) TT=1200.08	? (TO) TT=1200.05
CRAFTED/sgen/sat/ sgen1-sat-270-100.cnf		? (TO) TT=1200.09	? (TO) TT=1200.03	? (TO) TT=1200.06	? (TO) TT=1200.08	? (TO) TT=1200.06	? (TO) TT=1200.12	? (TO) TT=1200.12
CRAFTED/sgen/sat/ sgen1-sat-280-100.cnf		? (TO) TT=1200.11	? (TO) TT=1200.08	? (TO) TT=1200.02	? (TO) TT=1200.05	? (TO) TT=1200.09	? (TO) TT=1200.03	? (TO) TT=1200.03
CRAFTED/sgen/sat/ sgen1-sat-290-100.cnf		? (TO) TT=1200.04	? (TO) TT=1200.09	? (TO) TT=1200.09	? (TO) TT=1200.05	? (TO) TT=1200.04	? (TO) TT=1200.11	? (TO) TT=1200.02
CRAFTED/sgen/sat/ sgen1-sat-300-100.cnf		? (TO) TT=1200.03	? (TO) TT=1200.03	? (TO) TT=1200.09	? (TO) TT=1200.09	? (TO) TT=1200.11	? (TO) TT=1200.07	? (TO) TT=1200.03
CRAFTED/sgen/ unsat/ sgen1-unsat-103-100.cnf		? (TO) TT=1200.04	? (TO) TT=1200.05	? (TO) TT=1200.08	? (TO) TT=1200.11	? (TO) TT=1200.06	? (TO) TT=1200.05	? (TO) TT=1200.05
CRAFTED/sgen/ unsat/ sgen1-unsat-109-100.cnf		? (TO) TT=1200.08	? (TO) TT=1200.06	? (TO) TT=1200.08	? (TO) TT=1200.06	? (TO) TT=1200.1	? (TO) TT=1200.11	? (TO) TT=1200.09
CRAFTED/sgen/ unsat/ sgen1-unsat-115-100.cnf		? (TO) TT=1200.08	? (TO) TT=1200.07	? (TO) TT=1200.1	? (TO) TT=1200.06	? (TO) TT=1200.08	? (TO) TT=1200.08	? (TO) TT=1200.09
CRAFTED/sgen/ unsat/ sgen1-unsat-121-100.cnf		? (TO) TT=1200.09	? (TO) TT=1200.02	? (TO) TT=1200.06	? (TO) TT=1200.06	? (TO) TT=1200.03	? (TO) TT=1200.07	? (TO) TT=1200.08
Bench name	Best results	IUT_BMB_SIM 1.0 (complete)	kw_pre 2009-03-21 (complete)	minisat2-core 070721 (complete)	minisat2-simp 070721 (complete)	ReVivAl 0.23 2009-03-18 (complete)	ReVivAl 0.23 + SatElite 2009-03-18 (complete)	SatElite + ReVivAl 0.23 2009-03-18 (complete)
CRAFTED/sgen/ unsat/ sgen1-unsat-127-100.cnf		? (TO) TT=1200.04	? (TO) TT=1200.09	? (TO) TT=1200.09	? (TO) TT=1200.07	? (TO) TT=1200.05	? (TO) TT=1200.04	? (TO) TT=1200.08
CRAFTED/sgen/ unsat/ sgen1-unsat-133-100.cnf		? (TO) TT=1200.1	? (TO) TT=1200.05	? (TO) TT=1200.04	? (TO) TT=1200.09	? (TO) TT=1200.1	? (TO) TT=1200.11	? (TO) TT=1200.11
CRAFTED/sgen/ unsat/ sgen1-unsat-139-100.cnf		? (TO) TT=1200.1	? (TO) TT=1200.06	? (TO) TT=1200.1	? (TO) TT=1200.09	? (TO) TT=1200.12	? (TO) TT=1200.06	? (TO) TT=1200.09
CRAFTED/sgen/ unsat/ sgen1-unsat-145-100.cnf		? (TO) TT=1200.07	? (TO) TT=1200.03	? (TO) TT=1200.1	? (TO) TT=1200.06	? (TO) TT=1200.08	? (TO) TT=1200.08	? (TO) TT=1200.09
CRAFTED/sgen/ unsat/ sgen1-unsat-151-100.cnf		? (TO) TT=1200.09	? (TO) TT=1200.05	? (TO) TT=1200.1	? (TO) TT=1200.07	? (TO) TT=1200.11	? (TO) TT=1200.03	? (TO) TT=1200.04
CRAFTED/sgen/ unsat/ sgen1-unsat-61-100.cnf	UNSAT TT=2.589	UNSAT TT=2.912	UNSAT TT=2.589	UNSAT TT=3.124	UNSAT TT=3.147	UNSAT TT=2.938	UNSAT TT=2.927	UNSAT TT=3.064
CRAFTED/sgen/ unsat/ sgen1-unsat-73-100.cnf	UNSAT TT=17.889	UNSAT TT=17.889	UNSAT TT=53.116	UNSAT TT=17.907	UNSAT TT=17.895	UNSAT TT=17.954	UNSAT TT=18.207	UNSAT TT=17.947
CRAFTED/sgen/ unsat/ sgen1-unsat-85-100.cnf	UNSAT TT=281.614	UNSAT TT=281.614	? (TO) TT=1200.06	UNSAT TT=301.68	UNSAT TT=281.733	UNSAT TT=302.005	UNSAT TT=302.113	UNSAT TT=302.067
CRAFTED/sgen/ unsat/ sgen1-unsat-97-100.cnf		? (TO) TT=1200.11	? (TO) TT=1200.06	? (TO) TT=1200.08	? (TO) TT=1200.05	? (TO) TT=1200.03	? (TO) TT=1200.08	? (TO) TT=1200.1
CRAFTED/sgi/ new-difficult-20-152-18-95.cnf	SAT TT=0.789	SAT TT=27.401	SAT TT=112.035	SAT TT=28.402	SAT TT=27.681	SAT TT=27.082	SAT TT=26.098	SAT TT=0.789
Bench name	Best results	IUT_BMB_SIM 1.0 (complete)	kw_pre 2009-03-21 (complete)	minisat2-core 070721 (complete)	minisat2-simp 070721 (complete)	ReVivAl 0.23 2009-03-18 (complete)	ReVivAl 0.23 + SatElite 2009-03-18 (complete)	SatElite + ReVivAl 0.23 2009-03-18 (complete)
CRAFTED/sgi/ new-difficult-21-168-19-90.cnf		? (TO) TT=1200.05	? (TO) TT=1200.09	? (TO) TT=1200.1	? (TO) TT=1200.07	? (TO) TT=1200.04	? (TO) TT=1200.06	? (TO) TT=1200.09
CRAFTED/sgi/ new-difficult-22-173-20-80.cnf	SAT TT=16.667	SAT TT=573.293	SAT TT=16.667	SAT TT=597.859	SAT TT=184.685	SAT TT=573.702	SAT TT=639.821	SAT TT=359.414
CRAFTED/sgi/ new-difficult-23-189-21-75.cnf		? (TO) TT=1200.07	? (TO) TT=1200.04	? (TO) TT=1200.07	? (TO) TT=1200.06	? (TO) TT=1200.01	? (TO) TT=1200.08	? (TO) TT=1200.06
CRAFTED/sgi/ new-difficult-24-193-22-70.cnf		? (TO) TT=1200.02	? (TO) TT=1200.07	? (TO) TT=1200.02	? (TO) TT=1200.02	? (TO) TT=1200.05	? (TO) TT=1200.02	? (TO) TT=1200.05
CRAFTED/sgi/ new-difficult-26-243-24-70.cnf		? (TO) TT=1200.08	? (TO) TT=1200.07	? (TO) TT=1200.06	? (TO) TT=1200.08	? (TO) TT=1200.08	? (TO) TT=1200.05	? (TO) TT=1200
CRAFTED/sgi/ new-difficult-28-302-26-75.cnf		? (TO) TT=1200.06	? (TO) TT=1200.05	? (TO) TT=1200.09	? (TO) TT=1200.09	? (TO) TT=1200.04	? (TO) TT=1200.03	? (TO) TT=1200
CRAFTED/sgi/ satsgi-n17himBHm20-p0-q146.cnf	SAT TT=0.004	SAT TT=0.098	SAT TT=0.095	SAT TT=0.004	SAT TT=0.026	SAT TT=0.04	SAT TT=0.062	SAT TT=0.055
CRAFTED/sgi/ satsgi-n18himBHm21-p0-q167.cnf	SAT TT=0.004	SAT TT=0.118	SAT TT=0.114	SAT TT=0.004	SAT TT=0.032	SAT TT=0.043	SAT TT=0.073	SAT TT=0.068
CRAFTED/sgi/ satsgi-n19himBHm22-p0-q181.cnf	SAT TT=0.005	SAT TT=0.136	SAT TT=0.139	SAT TT=0.005	SAT TT=0.04	SAT TT=0.05	SAT TT=0.083	SAT TT=0.076
CRAFTED/sgi/ satsgi-n22himBHm24-p0-q209.cnf	SAT TT=0.006	SAT TT=0.193	SAT TT=0.217	SAT TT=0.006	SAT TT=0.068	SAT TT=0.072	SAT TT=0.134	SAT TT=0.12
Bench name	Best results	IUT_BMB_SIM 1.0 (complete)	kw_pre 2009-03-21 (complete)	minisat2-core 070721 (complete)	minisat2-simp 070721 (complete)	ReVivAl 0.23 2009-03-18 (complete)	ReVivAl 0.23 + SatElite 2009-03-18 (complete)	SatElite + ReVivAl 0.23 2009-03-18 (complete)
CRAFTED/sgi/ satsgi-n22himBHm25-p0-q229.cnf	SAT TT=0.007	SAT TT=0.22	SAT TT=0.235	SAT TT=0.007	SAT TT=0.074	SAT TT=0.076	SAT TT=0.139	SAT TT=0.122
CRAFTED/sgi/ satsgi-n23himBHm25-p0-q219.cnf	SAT TT=0.007	SAT TT=0.224	SAT TT=0.249	SAT TT=0.007	SAT TT=0.072	SAT TT=0.082	SAT TT=0.154	SAT TT=0.133
CRAFTED/sgi/ satsgi-n23himBHm26-p0-q248.cnf	SAT TT=0.007	SAT TT=0.237	SAT TT=0.293	SAT TT=0.007	SAT TT=0.084	SAT TT=0.089	SAT TT=0.166	SAT TT=0.14
CRAFTED/sgi/ satsgi-n23himBHm27-p0-q251.cnf	SAT TT=0.008	SAT TT=0.253	SAT TT=0.313	SAT TT=0.008	SAT TT=0.085	SAT TT=0.094	SAT TT=0.175	SAT TT=0.159
CRAFTED/sgi/ satsgi-n25himBHm27-p0-q251.cnf	SAT TT=0.009	SAT TT=0.283	SAT TT=0.367	SAT TT=0.009	SAT TT=0.113	SAT TT=0.11	SAT TT=0.207	SAT TT=0.177
CRAFTED/sgi/ satsgi-n25himBHm29-p0-q290.cnf	SAT TT=0.01	SAT TT=0.318	SAT TT=0.425	SAT TT=0.01	SAT TT=0.118	SAT TT=0.122	SAT TT=0.232	SAT TT=0.197
CRAFTED/sgi/ satsgi-n28himBHm30-p0-q333.cnf	SAT TT=0.012	SAT TT=0.404	SAT TT=0.548	SAT TT=0.012	SAT TT=0.177	SAT TT=0.155	SAT TT=0.319	SAT TT=0.25
CRAFTED/sgi/ sgi-difficult4.cnf	SAT TT=0.008	SAT TT=0.256	SAT TT=0.51	SAT TT=0.008	SAT TT=0.101	SAT TT=0.122	SAT TT=0.544	SAT TT=0.173
CRAFTED/sgi/ sgi-difficult7.cnf	SAT TT=0.014	SAT TT=0.504	SAT TT=1.487	SAT TT=0.014	SAT TT=0.284	SAT TT=0.268	SAT TT=1.678	SAT TT=0.383
een-tip-sat-texas-tp-5e.cnf	SAT TT=0.133	SAT TT=1.222	SAT TT=1.039	SAT TT=0.519	SAT TT=0.133	SAT TT=0.389	SAT TT=0.323	SAT TT=0.456
Bench name	Best results	IUT_BMB_SIM 1.0 (complete)	kw_pre 2009-03-21 (complete)	minisat2-core 070721 (complete)	minisat2-simp 070721 (complete)	ReVivAl 0.23 2009-03-18 (complete)	ReVivAl 0.23 + SatElite 2009-03-18 (complete)	SatElite + ReVivAl 0.23 2009-03-18 (complete)
een-tip-uns-nusmv-t5.B.cnf	UNSAT TT=1.588	UNSAT TT=5.547	UNSAT TT=4.02	UNSAT TT=2.879	UNSAT TT=1.588	UNSAT TT=113.997	UNSAT TT=48.375	UNSAT TT=109.458
goldb-heqc-alu4mul.cnf	UNSAT TT=117.085	UNSAT TT=570.313	UNSAT TT=117.085	UNSAT TT=567.617	UNSAT TT=533.851	UNSAT TT=443.367	UNSAT TT=407.7	UNSAT TT=547.753
goldb-heqc-dalumul.cnf	UNSAT TT=103.603	? (TO) TT=1200.07	UNSAT TT=103.603	? (TO) TT=1200.02	? (TO) TT=1200.08	? (TO) TT=1200.03	? (TO) TT=1200.09	? (TO) TT=1200.08
goldb-heqc-frg1mul.cnf	UNSAT TT=20.902	? (TO) TT=1200.07	UNSAT TT=20.902	? (TO) TT=1200.05	? (TO) TT=1200.1	? (TO) TT=1200.09	? (TO) TT=1200.1	? (TO) TT=1200.1
goldb-heqc-i10mul.cnf	UNSAT TT=180.488	? (TO) TT=1200.02	UNSAT TT=180.488	? (TO) TT=1200.1	? (TO) TT=1200.09	? (TO) TT=1200.06	? (TO) TT=1200.07	? (TO) TT=1200.08
goldb-heqc-term1mul.cnf	UNSAT TT=26.355	? (TO) TT=1200.07	UNSAT TT=26.355	? (TO) TT=1200.06	? (TO) TT=1200.05	UNSAT TT=397.851	? (TO) TT=1200.05	? (TO) TT=1200.1
goldb-heqc-x1mul.cnf	UNSAT TT=100.685	? (TO) TT=1200.06	UNSAT TT=100.685	? (TO) TT=1200.02	? (TO) TT=1200.07	? (TO) TT=1200.06	? (TO) TT=1200.09	? (TO) TT=1200.06
hoons-vbmc-lucky7.cnf	UNSAT TT=4.22	UNSAT TT=83.26	UNSAT TT=4.934	UNSAT TT=220.276	UNSAT TT=15.698	UNSAT TT=128.588	UNSAT TT=6.308	UNSAT TT=4.22
industrial/anbulagan/ hard-sat/ partial-10-13-s.cnf		? (TO) TT=1200.1	? (TO) TT=1200.05	? (TO) TT=1200.19	? (TO) TT=1200.15	? (TO) TT=1200.07	? (TO) TT=1200.01	? (TO) TT=1200
industrial/anbulagan/ hard-sat/ partial-10-15-s.cnf	SAT TT=436.753	? (TO) TT=1200.04	SAT TT=436.753	? (TO) TT=1200.19	? (TO) TT=1200.16	? (TO) TT=1200.02	? (TO) TT=1200.05	? (TO) TT=1200.05
Bench name	Best results	IUT_BMB_SIM 1.0 (complete)	kw_pre 2009-03-21 (complete)	minisat2-core 070721 (complete)	minisat2-simp 070721 (complete)	ReVivAl 0.23 2009-03-18 (complete)	ReVivAl 0.23 + SatElite 2009-03-18 (complete)	SatElite + ReVivAl 0.23 2009-03-18 (complete)
industrial/anbulagan/ hard-sat/ partial-5-17-s.cnf		? (TO) TT=1200.05	? (TO) TT=1200.03	? (TO) TT=1200.19	? (TO) TT=1200.13	? (TO) TT=1200.03	? (TO) TT=1200.04	? (TO) TT=1200.05
industrial/anbulagan/ hard-unsat/ dated-10-19-u.cnf		? (TO) TT=1200.04	? (TO) TT=1200.05	? (TO) TT=1200.09	? (TO) TT=1200.14	? (TO) TT=1200.03	? (TO) TT=1200.09	? (TO) TT=1200.03
industrial/anbulagan/ hard-unsat/ dated-5-13-u.cnf		? (TO) TT=1200.01	? (TO) TT=1200.07	? (TO) TT=1200.07	? (TO) TT=1200.03	? (TO) TT=1200.05	? (TO) TT=1200.04	? (TO) TT=1200.04
industrial/anbulagan/ hard-unsat/ dated-5-15-u.cnf	UNSAT TT=220.394	? (TO) TT=1200.05	UNSAT TT=458.941	? (TO) TT=1200.05	? (TO) TT=1200.08	UNSAT TT=1060.68	UNSAT TT=657.448	UNSAT TT=220.394
industrial/anbulagan/ hard-unsat/ dated-5-17-u.cnf	UNSAT TT=621.227	? (TO) TT=1200.04	UNSAT TT=621.227	? (TO) TT=1200.06	? (TO) TT=1200.09	? (TO) TT=1200.06	UNSAT TT=1054.2	UNSAT TT=652.873
industrial/anbulagan/ hard-unsat/ dated-5-19-u.cnf		? (TO) TT=1200.03	? (TO) TT=1200.06	? (TO) TT=1200.04	? (TO) TT=1200.04	? (TO) TT=1200.02	? (TO) TT=1200.09	? (TO) TT=1200.08
industrial/anbulagan/ hard-unsat/ partial-10-13-u.cnf		? (TO) TT=1200.06	? (TO) TT=1200.06	? (TO) TT=1200.21	? (TO) TT=1200.18	? (TO) TT=1200.01	? (TO) TT=1200.08	? (TO) TT=1200.09
industrial/anbulagan/ hard-unsat/ partial-10-19-u.cnf		? (TO) TT=1200.08	? (TO) TT=1200.1	? (TO) TT=1200.12	? (TO) TT=1200.11	? (TO) TT=1200.08	? (TO) TT=1200.08	? (TO) TT=1200.07
industrial/anbulagan/ hard-unsat/ partial-5-11-u.cnf		? (TO) TT=1200.04	? (TO) TT=1200.08	? (TO) TT=1200.12	? (TO) TT=1200.2	? (TO) TT=1200.09	? (TO) TT=1200.09	? (TO) TT=1200.02
industrial/anbulagan/ hard-unsat/ partial-5-13-u.cnf		? (TO) TT=1200.08	? (TO) TT=1200.03	? (TO) TT=1200.17	? (TO) TT=1200.21	? (TO) TT=1200.04	? (TO) TT=1200.05	? (TO) TT=1200.03
Bench name	Best results	IUT_BMB_SIM 1.0 (complete)	kw_pre 2009-03-21 (complete)	minisat2-core 070721 (complete)	minisat2-simp 070721 (complete)	ReVivAl 0.23 2009-03-18 (complete)	ReVivAl 0.23 + SatElite 2009-03-18 (complete)	SatElite + ReVivAl 0.23 2009-03-18 (complete)
industrial/anbulagan/ hard-unsat/ partial-5-15-u.cnf		? (TO) TT=1200.11	? (TO) TT=1200.07	? (TO) TT=1200.16	? (TO) TT=1200.2	? (TO) TT=1200.03	? (TO) TT=1200.07	? (TO) TT=1200.03
industrial/anbulagan/ hard-unsat/ partial-5-17-u.cnf		? (TO) TT=1200.01	? (TO) TT=1200.05	? (TO) TT=1200.17	? (TO) TT=1200.2	? (TO) TT=1200.05	? (TO) TT=1200.07	? (TO) TT=1200.05
industrial/anbulagan/ hard-unsat/ total-10-17-u.cnf		? (TO) TT=1200.03	? (TO) TT=1200.05	? (TO) TT=1200.12	? (TO) TT=1200.12	? (TO) TT=1200.09	? (TO) TT=1200.02	? (TO) TT=1200.05
industrial/anbulagan/ hard-unsat/ total-10-19-u.cnf		? (TO) TT=1200.03	? (TO) TT=1200.07	? (TO) TT=1200.16	? (TO) TT=1200.1	? (TO) TT=1200.04	? (TO) TT=1200.01	? (TO) TT=1200.09
industrial/anbulagan/ hard-unsat/ total-5-15-u.cnf		? (TO) TT=1200.01	? (TO) TT=1200.04	? (TO) TT=1200.12	? (TO) TT=1200.09	? (TO) TT=1200.07	? (TO) TT=1200.06	? (TO) TT=1200.09
industrial/anbulagan/ hard-unsat/ total-5-17-u.cnf		? (TO) TT=1200.07	? (TO) TT=1200.04	? (TO) TT=1200.12	? (TO) TT=1200.12	? (TO) TT=1200.01	? (TO) TT=1200.02	? (TO) TT=1200.07
industrial/anbulagan/ medium-sat/ partial-5-13-s.cnf	SAT TT=16.041	? (TO) TT=1200.05	SAT TT=233.786	SAT TT=16.041	? (TO) TT=1200.19	? (TO) TT=1200.08	? (TO) TT=1200.06	? (TO) TT=1200.02
industrial/anbulagan/ medium-sat/ partial-5-15-s.cnf	SAT TT=314.644	? (TO) TT=1200.03	SAT TT=314.644	? (TO) TT=1200.16	? (TO) TT=1200.17	? (TO) TT=1200.09	? (TO) TT=1200.04	? (TO) TT=1200.03
industrial/anbulagan/ medium-unsat/ total-10-13-u.cnf	UNSAT TT=906.362	? (TO) TT=1200	UNSAT TT=906.362	? (TO) TT=1200.11	? (TO) TT=1200.13	? (TO) TT=1200.07	? (TO) TT=1200.02	? (TO) TT=1200.04
industrial/anbulagan/ medium-unsat/ total-5-11-u.cnf	UNSAT TT=23.534	UNSAT TT=38.527	UNSAT TT=46.956	UNSAT TT=47.39	UNSAT TT=23.534	UNSAT TT=237.36	UNSAT TT=54.802	UNSAT TT=237.631
Bench name	Best results	IUT_BMB_SIM 1.0 (complete)	kw_pre 2009-03-21 (complete)	minisat2-core 070721 (complete)	minisat2-simp 070721 (complete)	ReVivAl 0.23 2009-03-18 (complete)	ReVivAl 0.23 + SatElite 2009-03-18 (complete)	SatElite + ReVivAl 0.23 2009-03-18 (complete)
industrial/anbulagan/ medium-unsat/ total-5-13-u.cnf	UNSAT TT=56.936	UNSAT TT=98.95	UNSAT TT=92.81	UNSAT TT=116.484	UNSAT TT=97.952	UNSAT TT=109.85	UNSAT TT=56.936	UNSAT TT=109.058
industrial/babic/ hsatv17/ hsat_vc11803.cnf	UNSAT TT=0.529	UNSAT TT=35.36	UNSAT TT=8.612	UNSAT TT=0.529	UNSAT TT=1.716	UNSAT TT=14.898	UNSAT TT=9.728	UNSAT TT=14.829
industrial/babic/ hsatv17/ hsat_vc11813.cnf	UNSAT TT=2.513	UNSAT TT=34.076	UNSAT TT=9.084	UNSAT TT=2.513	UNSAT TT=2.627	UNSAT TT=70.857	UNSAT TT=13.806	UNSAT TT=67.542
industrial/babic/ xinetd/ xinetd_vc56703.cnf	UNSAT TT=0.13	UNSAT TT=1.792	UNSAT TT=1.438	UNSAT TT=0.182	UNSAT TT=0.289	UNSAT TT=0.132	UNSAT TT=0.317	UNSAT TT=0.13
industrial/ fuhs/hard/ AProVE07-01.cnf		? (TO) TT=1200.03	? (TO) TT=1200.01	? (TO) TT=1200.07	? (TO) TT=1200.11	? (TO) TT=1200.09	? (TO) TT=1200.09	? (TO) TT=1200.06
industrial/ fuhs/hard/ AProVE07-08.cnf	UNSAT TT=1141.78	? (TO) TT=1200.05	UNSAT TT=1141.78	? (TO) TT=1200.08	? (TO) TT=1200.08	? (TO) TT=1200.05	? (TO) TT=1200.08	? (TO) TT=1200.05
industrial/ fuhs/hard/ AProVE07-25.cnf		? (TO) TT=1200.03	? (TO) TT=1200.04	? (TO) TT=1200.1	? (TO) TT=1200.05	? (TO) TT=1200.04	? (TO) TT=1200.1	? (TO) TT=1200.05
industrial/ fuhs/hard/ AProVE07-26.cnf		? (TO) TT=1200.02	? (TO) TT=1200.08	? (TO) TT=1200.12	? (TO) TT=1200.13	? (TO) TT=1200.01	? (TO) TT=1200.02	? (TO) TT=1200.07
industrial/ fuhs/hard/ AProVE07-27.cnf		? (TO) TT=1200.09	? (TO) TT=1200.08	? (TO) TT=1200.07	? (TO) TT=1200.07	? (TO) TT=1200.07	? (TO) TT=1200.12	? (TO) TT=1200.05
industrial/ fuhs/medium/ AProVE07-09.cnf	UNSAT TT=836.783	? (TO) TT=1200.07	UNSAT TT=836.783	? (TO) TT=1200.1	? (TO) TT=1200.12	? (TO) TT=1200.08	? (TO) TT=1200.07	? (TO) TT=1200.03
Bench name	Best results	IUT_BMB_SIM 1.0 (complete)	kw_pre 2009-03-21 (complete)	minisat2-core 070721 (complete)	minisat2-simp 070721 (complete)	ReVivAl 0.23 2009-03-18 (complete)	ReVivAl 0.23 + SatElite 2009-03-18 (complete)	SatElite + ReVivAl 0.23 2009-03-18 (complete)
industrial/ fuhs/medium/ AProVE07-16.cnf	UNSAT TT=417.869	? (TO) TT=1200.06	UNSAT TT=417.869	? (TO) TT=1200.14	? (TO) TT=1200.12	? (TO) TT=1200.04	? (TO) TT=1200.04	? (TO) TT=1200.04
industrial/grieu/ vmpc_24.cnf	SAT TT=3.3	SAT TT=179.436	SAT TT=3.3	SAT TT=77.691	SAT TT=164.17	SAT TT=247.061	SAT TT=247.581	SAT TT=247.377
industrial/grieu/ vmpc_25.cnf	SAT TT=26.615	SAT TT=319.139	SAT TT=26.615	SAT TT=778.873	SAT TT=116.341	SAT TT=67.806	SAT TT=70.668	SAT TT=67.571
industrial/grieu/ vmpc_26.cnf	SAT TT=162.724	SAT TT=188.424	SAT TT=162.724	SAT TT=1143.87	SAT TT=406.44	SAT TT=823.117	SAT TT=825.338	SAT TT=849.053
industrial/grieu/ vmpc_28.cnf	SAT TT=393.943	? (TO) TT=1200.06	? (TO) TT=1200.07	? (TO) TT=1200.1	? (TO) TT=1200.1	SAT TT=393.943	SAT TT=410.844	SAT TT=395.458
industrial/grieu/ vmpc_29.cnf	SAT TT=50.498	? (TO) TT=1200.09	SAT TT=50.498	? (TO) TT=1200.11	? (TO) TT=1200.03	? (TO) TT=1200.03	? (TO) TT=1200.05	? (TO) TT=1200.04
industrial/grieu/ vmpc_30.cnf		? (TO) TT=1200.06	? (TO) TT=1200	? (TO) TT=1200.1	? (TO) TT=1200.07	? (TO) TT=1200.06	? (TO) TT=1200.01	? (TO) TT=1200.07
industrial/grieu/ vmpc_33.cnf		? (TO) TT=1200.03	? (TO) TT=1200	? (TO) TT=1200.05	? (TO) TT=1200.12	? (TO) TT=1200.02	? (TO) TT=1200.06	? (TO) TT=1200.1
industrial/grieu/ vmpc_34.cnf		? (TO) TT=1200.04	? (TO) TT=1200	? (TO) TT=1200.05	? (TO) TT=1200.08	? (TO) TT=1200.06	? (TO) TT=1200.05	? (TO) TT=1200.08
industrial/jarvisalo/ eq.atree.braun.10.unsat.cnf	UNSAT TT=486.742	UNSAT TT=596.39	? (TO) TT=1200.03	UNSAT TT=630.235	UNSAT TT=814.417	UNSAT TT=549.969	UNSAT TT=486.742	UNSAT TT=581.322
Bench name	Best results	IUT_BMB_SIM 1.0 (complete)	kw_pre 2009-03-21 (complete)	minisat2-core 070721 (complete)	minisat2-simp 070721 (complete)	ReVivAl 0.23 2009-03-18 (complete)	ReVivAl 0.23 + SatElite 2009-03-18 (complete)	SatElite + ReVivAl 0.23 2009-03-18 (complete)
industrial/jarvisalo/ eq.atree.braun.11.unsat.cnf		? (TO) TT=1200.12	? (TO) TT=1200.04	? (TO) TT=1200.05	? (TO) TT=1200.04	? (TO) TT=1200.1	? (TO) TT=1200.08	? (TO) TT=1200.07
industrial/jarvisalo/ eq.atree.braun.12.unsat.cnf		? (TO) TT=1200.03	? (TO) TT=1200.08	? (TO) TT=1200.02	? (TO) TT=1200.07	? (TO) TT=1200.09	? (TO) TT=1200.05	? (TO) TT=1200.07
industrial/jarvisalo/ eq.atree.braun.13.unsat.cnf		? (TO) TT=1200.04	? (TO) TT=1200.08	? (TO) TT=1200.09	? (TO) TT=1200.08	? (TO) TT=1200.06	? (TO) TT=1200.1	? (TO) TT=1200.1
industrial/jarvisalo/ eq.atree.braun.8.unsat.cnf	UNSAT TT=17.321	UNSAT TT=29.868	UNSAT TT=33.203	UNSAT TT=28.71	UNSAT TT=24.162	UNSAT TT=21.514	UNSAT TT=17.321	UNSAT TT=25.452
industrial/jarvisalo/ eq.atree.braun.9.unsat.cnf	UNSAT TT=68.548	UNSAT TT=88.507	UNSAT TT=131.779	UNSAT TT=107.049	UNSAT TT=113.81	UNSAT TT=86.365	UNSAT TT=90.551	UNSAT TT=68.548
industrial/narain/ clauses-8.cnf		? (TO) TT=1200.23	? (MO) TT=115.21	? (TO) TT=1200.17	? (TO) TT=1200.12	? (TO) TT=1200.03	? (problem) TT=0.005	? (problem) TT=506.861
industrial/palacios/ hard/ safe-30-h29-unsat.cnf		? (TO) TT=1200.03	? (TO) TT=1200.02	? (TO) TT=1200.14	? (TO) TT=1200.08	? (TO) TT=1200.01	? (TO) TT=1200.04	? (TO) TT=1200
industrial/palacios/ hard/ safe-50-h49-unsat.cnf		? (TO) TT=1200.09	? (TO) TT=1200.04	? (TO) TT=1200.11	? (TO) TT=1200.11	? (TO) TT=1200.05	? (TO) TT=1200.08	? (TO) TT=1200.01
industrial/palacios/ hard/ sortnet-7-ipc5-h15-unsat.cnf		? (TO) TT=1200.05	? (TO) TT=1200.07	? (TO) TT=1200.11	? (TO) TT=1200.07	? (TO) TT=1200.03	? (TO) TT=1200.06	? (TO) TT=1200.09
industrial/palacios/ hard/ sortnet-8-ipc5-h18-unsat.cnf		? (TO) TT=1200.05	? (TO) TT=1200.01	? (TO) TT=1200.1	? (TO) TT=1200.1	? (TO) TT=1200.09	? (TO) TT=1200.05	? (TO) TT=1200
Bench name	Best results	IUT_BMB_SIM 1.0 (complete)	kw_pre 2009-03-21 (complete)	minisat2-core 070721 (complete)	minisat2-simp 070721 (complete)	ReVivAl 0.23 2009-03-18 (complete)	ReVivAl 0.23 + SatElite 2009-03-18 (complete)	SatElite + ReVivAl 0.23 2009-03-18 (complete)
industrial/palacios/ hard/ sortnet-8-ipc5-h19-sat.cnf		? (TO) TT=1200.08	? (TO) TT=1200.05	? (TO) TT=1200.11	? (TO) TT=1200.11	? (TO) TT=1200.05	? (TO) TT=1200	? (TO) TT=1200.04
industrial/palacios/ medium/ blocks-4-ipc5-h22-unknown.cnf	UNSAT TT=167.798	UNSAT TT=627.272	UNSAT TT=167.798	UNSAT TT=493.196	UNSAT TT=260.462	UNSAT TT=903.363	UNSAT TT=573.687	UNSAT TT=569.101
industrial/palacios/ medium/ cube-11-h13-unsat.cnf		? (TO) TT=1200.05	? (TO) TT=1200.06	? (TO) TT=1200.1	? (TO) TT=1200.11	? (TO) TT=1200.08	? (TO) TT=1200.07	? (TO) TT=1200.07
industrial/palacios/ medium/ cube-11-h14-sat.cnf		? (TO) TT=1200.06	? (TO) TT=1200.04	? (TO) TT=1200.06	? (TO) TT=1200.1	? (TO) TT=1200.04	? (TO) TT=1200.07	? (TO) TT=1200.01
industrial/palacios/ medium/ emptyroom-4-h21-unsat.cnf	UNSAT TT=1059	? (TO) TT=1200.09	? (TO) TT=1200.06	? (TO) TT=1200.09	? (TO) TT=1200.13	? (TO) TT=1200.03	? (TO) TT=1200.05	UNSAT TT=1059
industrial/palacios/ uts/ uts-l05-ipc5-h26-unsat.cnf	UNSAT TT=59.439	UNSAT TT=134.684	UNSAT TT=187.384	UNSAT TT=147.25	UNSAT TT=59.439	UNSAT TT=674.254	UNSAT TT=518.945	UNSAT TT=519.648
industrial/palacios/ uts/ uts-l05-ipc5-h27-unknown.cnf	UNSAT TT=84.559	UNSAT TT=157.254	UNSAT TT=164.28	UNSAT TT=184.934	UNSAT TT=84.559	UNSAT TT=730.301	UNSAT TT=539.302	UNSAT TT=536.982
industrial/palacios/ uts/ uts-l06-ipc5-h28-unknown.cnf	UNSAT TT=178.161	UNSAT TT=346.396	UNSAT TT=179.469	UNSAT TT=178.161	UNSAT TT=209.667	UNSAT TT=761.632	UNSAT TT=532.189	UNSAT TT=528.721
industrial/palacios/ uts/ uts-l06-ipc5-h31-unknown.cnf	UNSAT TT=379.064	UNSAT TT=484.8	UNSAT TT=379.064	UNSAT TT=1174.5	UNSAT TT=642.306	? (TO) TT=1200.01	UNSAT TT=614.099	UNSAT TT=569.136
industrial/palacios/ uts/ uts-l06-ipc5-h33-unknown.cnf	UNSAT TT=756.775	UNSAT TT=788.862	UNSAT TT=756.775	? (TO) TT=1200.12	? (TO) TT=1200.05	? (TO) TT=1200.09	UNSAT TT=870.247	UNSAT TT=773.855
Bench name	Best results	IUT_BMB_SIM 1.0 (complete)	kw_pre 2009-03-21 (complete)	minisat2-core 070721 (complete)	minisat2-simp 070721 (complete)	ReVivAl 0.23 2009-03-18 (complete)	ReVivAl 0.23 + SatElite 2009-03-18 (complete)	SatElite + ReVivAl 0.23 2009-03-18 (complete)
industrial/palacios/ uts/ uts-l06-ipc5-h35-unknown.cnf	SAT TT=68.884	SAT TT=93.979	SAT TT=232.75	SAT TT=184.262	SAT TT=68.884	SAT TT=587.233	SAT TT=576.372	SAT TT=642.986
industrial/vliw_sat_4.0/ 9vliw_m_9stages_iq3_C1_bug5.cnf	SAT TT=30.427	? (MO) TT=165.271	? (MO) TT=85.95	SAT TT=30.427	SAT TT=30.668	SAT TT=583.91	? (problem) TT=0.004	? (problem) TT=519.868
industrial/vliw_sat_4.0/ 9vliw_m_9stages_iq3_C1_bug8.cnf	SAT TT=22.426	? (MO) TT=166.45	? (MO) TT=90.08	SAT TT=22.726	SAT TT=22.426	SAT TT=568.846	? (problem) TT=0.004	? (problem) TT=518.591
industrial/ vliw_unsat_2.0/ 9dlx_vliw_at_b_iq1.cnf		? (TO) TT=1200.01	? (TO) TT=1200.04	? (TO) TT=1200.15	? (TO) TT=1200.11	? (TO) TT=1200.06	? (TO) TT=1200.04	? (TO) TT=1200.01
industrial/ vliw_unsat_2.0/ 9dlx_vliw_at_b_iq2.cnf		? (TO) TT=1200.01	? (TO) TT=1200.04	? (TO) TT=1200.15	? (TO) TT=1200.17	? (TO) TT=1200.07	? (TO) TT=1200.02	? (TO) TT=1200.07
industrial/ vliw_unsat_2.0/ 9dlx_vliw_at_b_iq3.cnf		? (TO) TT=1200.07	? (TO) TT=1200.1	? (TO) TT=1200.27	? (TO) TT=1200.23	? (TO) TT=1200.02	? (TO) TT=1200.05	? (TO) TT=1200.05
industrial/ vliw_unsat_2.0/ 9dlx_vliw_at_b_iq4.cnf		? (MO) TT=957.56	? (TO) TT=1200.02	? (TO) TT=1200.29	? (TO) TT=1200.24	? (TO) TT=1200.02	? (TO) TT=1200	? (TO) TT=1200.03
industrial/ vliw_unsat_2.0/ 9dlx_vliw_at_b_iq5.cnf		? (MO) TT=704.2	? (TO) TT=1200.08	? (TO) TT=1200.26	? (TO) TT=1200.21	? (TO) TT=1200.01	? (TO) TT=1200.02	? (TO) TT=1200.01
industrial/ vliw_unsat_2.0/ 9dlx_vliw_at_b_iq6.cnf		? (MO) TT=785.68	? (TO) TT=1200.05	? (TO) TT=1200.33	? (TO) TT=1200.21	? (TO) TT=1200.1	? (TO) TT=1200.05	? (TO) TT=1200.02
industrial/ vliw_unsat_2.0/ 9dlx_vliw_at_b_iq7.cnf		? (MO) TT=486.14	? (TO) TT=1200.08	? (MO) TT=849.828	? (MO) TT=825.451	? (TO) TT=1200.04	? (problem) TT=0.005	? (problem) TT=508.13
Bench name	Best results	IUT_BMB_SIM 1.0 (complete)	kw_pre 2009-03-21 (complete)	minisat2-core 070721 (complete)	minisat2-simp 070721 (complete)	ReVivAl 0.23 2009-03-18 (complete)	ReVivAl 0.23 + SatElite 2009-03-18 (complete)	SatElite + ReVivAl 0.23 2009-03-18 (complete)
industrial/ vliw_unsat_2.0/ 9dlx_vliw_at_b_iq8.cnf		? (MO) TT=351.08	? (TO) TT=1200.1	? (TO) TT=1200.18	? (TO) TT=1200.26	? (TO) TT=1200.02	? (problem) TT=0.003	? (problem) TT=509.557
industrial/ vliw_unsat_2.0/ 9dlx_vliw_at_b_iq9.cnf		? (MO) TT=179.942	? (MO) TT=115.21	? (MO) TT=1026.83	? (MO) TT=1002.09	? (TO) TT=1200.02	? (problem) TT=0.004	? (problem) TT=514.078
manol-pipe-c10nid_i.cnf	UNSAT TT=910.132	? (TO) TT=1200.07	UNSAT TT=910.132	? (TO) TT=1200.14	? (TO) TT=1200.07	? (TO) TT=1200.08	? (TO) TT=1200.06	? (TO) TT=1200.08
manol-pipe-c10nidw.cnf		? (TO) TT=1200.05	? (TO) TT=1200.04	? (TO) TT=1200.1	? (TO) TT=1200.15	? (TO) TT=1200.03	? (TO) TT=1200.04	? (TO) TT=1200.06
manol-pipe-c10nidw_s.cnf	UNSAT TT=75.486	UNSAT TT=516.61	UNSAT TT=75.486	UNSAT TT=476.928	UNSAT TT=793.974	UNSAT TT=840.547	UNSAT TT=289.173	UNSAT TT=718.47
manol-pipe-c6bidw_i.cnf	UNSAT TT=114.882	UNSAT TT=645.465	UNSAT TT=115.626	UNSAT TT=661.724	UNSAT TT=122.648	UNSAT TT=1141.03	UNSAT TT=114.882	UNSAT TT=236.8
manol-pipe-c6nidw_i.cnf	UNSAT TT=104.969	UNSAT TT=602.522	UNSAT TT=104.969	UNSAT TT=617.396	UNSAT TT=126.234	UNSAT TT=657.423	UNSAT TT=278.242	UNSAT TT=369.349
manol-pipe-c7bidw_i.cnf	UNSAT TT=183.064	? (TO) TT=1200.03	UNSAT TT=183.064	? (TO) TT=1200.08	UNSAT TT=586.57	? (TO) TT=1200.03	UNSAT TT=382.118	UNSAT TT=503.289
manol-pipe-c7nidw.cnf	UNSAT TT=234.249	? (TO) TT=1200.01	UNSAT TT=234.249	? (TO) TT=1200.07	UNSAT TT=522.37	? (TO) TT=1200.03	UNSAT TT=1045.21	? (TO) TT=1200.09
manol-pipe-c9.cnf	UNSAT TT=7.302	UNSAT TT=11.835	UNSAT TT=7.302	UNSAT TT=11.778	UNSAT TT=28.188	UNSAT TT=23.129	UNSAT TT=53.8	UNSAT TT=34.465
Bench name	Best results	IUT_BMB_SIM 1.0 (complete)	kw_pre 2009-03-21 (complete)	minisat2-core 070721 (complete)	minisat2-simp 070721 (complete)	ReVivAl 0.23 2009-03-18 (complete)	ReVivAl 0.23 + SatElite 2009-03-18 (complete)	SatElite + ReVivAl 0.23 2009-03-18 (complete)
manol-pipe-f10ni.cnf		? (TO) TT=1200.08	? (TO) TT=1200.03	? (TO) TT=1200.12	? (TO) TT=1200.17	? (TO) TT=1200.04	? (TO) TT=1200.08	? (TO) TT=1200.04
manol-pipe-f9b.cnf	UNSAT TT=570.06	? (TO) TT=1200.04	UNSAT TT=570.06	? (TO) TT=1200.13	? (TO) TT=1200.1	? (TO) TT=1200.02	? (TO) TT=1200.03	? (TO) TT=1200.02
manol-pipe-f9n.cnf	UNSAT TT=563.504	? (TO) TT=1200.04	UNSAT TT=563.504	? (TO) TT=1200.11	? (TO) TT=1200.08	? (TO) TT=1200.05	? (TO) TT=1200.01	? (TO) TT=1200.05
manol-pipe-g10bidw.cnf	UNSAT TT=365.575	? (TO) TT=1200.09	UNSAT TT=365.575	? (TO) TT=1200.12	UNSAT TT=929.293	? (TO) TT=1200	? (TO) TT=1200.07	? (TO) TT=1200.03
manol-pipe-g10id.cnf	UNSAT TT=105.633	UNSAT TT=110.226	UNSAT TT=218.024	UNSAT TT=105.633	UNSAT TT=168.922	UNSAT TT=254.435	UNSAT TT=327.53	UNSAT TT=261.238
manol-pipe-g10nid.cnf	UNSAT TT=262.216	? (TO) TT=1200.09	UNSAT TT=262.216	? (TO) TT=1200.14	? (TO) TT=1200.09	UNSAT TT=1087.78	? (TO) TT=1200.08	? (TO) TT=1200.03
manol-pipe-g6bi.cnf	UNSAT TT=1.846	UNSAT TT=3.347	UNSAT TT=2.906	UNSAT TT=2.16	UNSAT TT=1.846	UNSAT TT=6.548	UNSAT TT=5.063	UNSAT TT=5.796
manol-pipe-g7nidw.cnf	UNSAT TT=21.358	UNSAT TT=48.771	UNSAT TT=21.358	UNSAT TT=44.482	UNSAT TT=41.245	UNSAT TT=46.318	UNSAT TT=24.59	UNSAT TT=326.27
mizh-md5-47-3.cnf	SAT TT=173.973	SAT TT=277.595	SAT TT=714.916	SAT TT=173.973	SAT TT=870.178	SAT TT=725.812	? (TO) TT=1200	SAT TT=546.188
mizh-md5-47-4.cnf	SAT TT=168.641	? (TO) TT=1200.08	SAT TT=207.155	? (TO) TT=1200.14	SAT TT=586.792	SAT TT=168.641	SAT TT=378.271	? (TO) TT=1200.05
Bench name	Best results	IUT_BMB_SIM 1.0 (complete)	kw_pre 2009-03-21 (complete)	minisat2-core 070721 (complete)	minisat2-simp 070721 (complete)	ReVivAl 0.23 2009-03-18 (complete)	ReVivAl 0.23 + SatElite 2009-03-18 (complete)	SatElite + ReVivAl 0.23 2009-03-18 (complete)
mizh-md5-48-5.cnf	SAT TT=615.989	SAT TT=1146.53	SAT TT=615.989	SAT TT=715.034	? (TO) TT=1200.13	? (TO) TT=1200.06	SAT TT=800.32	SAT TT=663.487
mizh-sha0-35-3.cnf	SAT TT=37.876	? (TO) TT=1200.03	SAT TT=37.876	SAT TT=57.063	? (TO) TT=1200.08	SAT TT=59.065	SAT TT=632.015	SAT TT=299.555
mizh-sha0-36-2.cnf	SAT TT=927.697	SAT TT=927.697	? (TO) TT=1200.08	? (TO) TT=1200.14	? (TO) TT=1200.11	? (TO) TT=1200.06	? (TO) TT=1200.08	? (TO) TT=1200.08
mizh-sha0-36-3.cnf	SAT TT=197.679	? (TO) TT=1200.03	? (TO) TT=1200.06	? (TO) TT=1200.15	? (TO) TT=1200.12	SAT TT=197.679	? (TO) TT=1200.02	SAT TT=765.613
mizh-sha0-36-4.cnf	SAT TT=215.523	? (TO) TT=1200.06	SAT TT=215.523	? (TO) TT=1200.1	? (TO) TT=1200.12	SAT TT=274.788	SAT TT=401.18	? (TO) TT=1200
schup-l2s-abp4-1-k31.cnf	UNSAT TT=45.534	UNSAT TT=158.562	UNSAT TT=45.534	UNSAT TT=144.12	UNSAT TT=81.565	UNSAT TT=137.349	UNSAT TT=51.432	UNSAT TT=116.357
schup-l2s-bc56s-1-k391.cnf	UNSAT TT=1185.35	? (TO) TT=1200.03	? (TO) TT=1200.03	? (TO) TT=1200.06	? (TO) TT=1200.12	? (TO) TT=1200.04	UNSAT TT=1185.35	? (TO) TT=1200.01
schup-l2s-guid-1-k56.cnf	UNSAT TT=266.181	UNSAT TT=949.053	UNSAT TT=266.181	UNSAT TT=985.149	UNSAT TT=447.406	UNSAT TT=1157.53	UNSAT TT=455.153	UNSAT TT=822.92
schup-l2s-motst-2-k315.cnf	SAT TT=103.748	SAT TT=1190.72	SAT TT=354.277	? (TO) TT=1200.11	SAT TT=103.748	? (TO) TT=1200.05	SAT TT=526.593	SAT TT=561.656
simon-s02b-dp11u10.cnf	UNSAT TT=110.933	UNSAT TT=110.933	? (TO) TT=1200.03	UNSAT TT=183.199	UNSAT TT=401.779	UNSAT TT=240.291	UNSAT TT=1084.52	UNSAT TT=240.752
Bench name	Best results	IUT_BMB_SIM 1.0 (complete)	kw_pre 2009-03-21 (complete)	minisat2-core 070721 (complete)	minisat2-simp 070721 (complete)	ReVivAl 0.23 2009-03-18 (complete)	ReVivAl 0.23 + SatElite 2009-03-18 (complete)	SatElite + ReVivAl 0.23 2009-03-18 (complete)
simon-s02b-k2f-gr-rcs-w8.cnf		? (TO) TT=1200.07	? (TO) TT=1200.07	? (TO) TT=1200.1	? (TO) TT=1200.1	? (TO) TT=1200.06	? (TO) TT=1200.09	? (TO) TT=1200.08
simon-s03-fifo8-300.cnf	UNSAT TT=40.527	UNSAT TT=195.196	UNSAT TT=40.527	UNSAT TT=202.197	UNSAT TT=58.345	UNSAT TT=302.106	UNSAT TT=116.198	UNSAT TT=183.732
simon-s03-w08-15.cnf	SAT TT=143.626	SAT TT=588.297	SAT TT=318.309	SAT TT=705.278	SAT TT=143.626	SAT TT=968.98	SAT TT=544.191	SAT TT=604.336
vange-col-abb313GPIA-9-c.cnf		? (TO) TT=1200.06	? (TO) TT=1200.08	? (TO) TT=1200.07	? (TO) TT=1200.09	? (TO) TT=1200.03	? (TO) TT=1200.02	? (TO) TT=1200.04
velev-engi-uns-1.0-4nd.cnf	UNSAT TT=41.677	UNSAT TT=45.166	UNSAT TT=55.039	UNSAT TT=41.677	UNSAT TT=57.963	UNSAT TT=237.771	UNSAT TT=361.349	UNSAT TT=228.144
velev-live-uns-2.0-ebuf.cnf	UNSAT TT=56.655	UNSAT TT=56.655	UNSAT TT=82.771	UNSAT TT=62.574	UNSAT TT=86.589	UNSAT TT=470.642	UNSAT TT=478.666	UNSAT TT=457.492
velev-pipe-o-uns-1.0-7.cnf		? (TO) TT=1200.06	? (TO) TT=1200.07	? (TO) TT=1200.23	? (TO) TT=1200.16	? (TO) TT=1200.03	? (TO) TT=1200.09	? (TO) TT=1200.04
velev-pipe-o-uns-1.1-6.cnf		? (TO) TT=1200.09	? (TO) TT=1200.01	? (TO) TT=1200.16	? (TO) TT=1200.14	? (TO) TT=1200.06	? (TO) TT=1200.06	? (TO) TT=1200.01
velev-pipe-sat-1.0-b10.cnf		? (MO) TT=208.626	? (MO) TT=918.07	? (MO) TT=829.411	? (MO) TT=853.931	? (TO) TT=1200.08	? (problem) TT=0.004	? (problem) TT=511.124
velev-pipe-sat-1.0-b7.cnf	SAT TT=541.463	? (MO) TT=210.16	SAT TT=639.108	? (TO) TT=1200.18	? (TO) TT=1200.24	SAT TT=541.463	? (problem) TT=0.004	? (problem) TT=511.146
Bench name	Best results	IUT_BMB_SIM 1.0 (complete)	kw_pre 2009-03-21 (complete)	minisat2-core 070721 (complete)	minisat2-simp 070721 (complete)	ReVivAl 0.23 2009-03-18 (complete)	ReVivAl 0.23 + SatElite 2009-03-18 (complete)	SatElite + ReVivAl 0.23 2009-03-18 (complete)
velev-pipe-uns-1.0-8.cnf		? (TO) TT=1200.01	? (TO) TT=1200.08	? (MO) TT=801.488	? (TO) TT=1200.21	? (TO) TT=1200.06	? (TO) TT=1200	? (TO) TT=1200.06
velev-vliw-uns-4.0-9C1.cnf		? (TO) TT=1200	? (TO) TT=1200.01	? (TO) TT=1200.19	? (TO) TT=1200.25	? (TO) TT=1200.03	? (TO) TT=1200.04	? (TO) TT=1200.09
velev-vliw-uns-4.0-9-i1.cnf		? (TO) TT=1200.02	? (TO) TT=1200.04	? (TO) TT=1200.18	? (TO) TT=1200.2	? (TO) TT=1200.09	? (TO) TT=1200.08	? (TO) TT=1200.03

Statistics		IUT_BMB_SIM 1.0 (complete)	kw_pre 2009-03-21 (complete)	minisat2-core 070721 (complete)	minisat2-simp 070721 (complete)	ReVivAl 0.23 2009-03-18 (complete)	ReVivAl 0.23 + SatElite 2009-03-18 (complete)	SatElite + ReVivAl 0.23 2009-03-18 (complete)
Number of times the solver is able to give the best known answer		218	255	206	235	231	240	238
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)		18	101	44	66	16	28	28