SAT 2009 Competition: main competition (phase2): results by benchmark

Results by benchmark for category applications instances (APPLICATION)

This page displays the results of the different solvers for each benchmark for category applications instances (APPLICATION)

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:
CircUs 2009-03-23 (complete)
clasp 1.2.0-SAT09-32 (complete)
glucose 1.0 (complete)
kw 2009-03-20 (complete)
LySAT i/2009-03-20 (complete)
ManySAT 1.1 aimd 1/2009-03-20 (complete)
MiniSat 2.1 (Sat-race'08 Edition) (complete)
MiniSAT 09z 2009-03-22 (complete)
minisat_cumr p-2009-03-18 (complete)
MXC 2009-03-10 (complete)
precosat 236 (complete)
Rsat 2009-03-22 (complete)
SApperloT base (complete)
SAT07 reference solver: picosat 535 (complete)
SAT07 reference solver: Rsat 2007-02-08 (complete)
SATzilla2009_I 2009-03-22 (complete)

Bench name	Best results on this instance	CircUs 2009-03-23 (complete)	clasp 1.2.0-SAT09-32 (complete)	glucose 1.0 (complete)	kw 2009-03-20 (complete)	LySAT i/2009-03-20 (complete)	ManySAT 1.1 aimd 1/2009-03-20 (complete)	MiniSat 2.1 (Sat-race'08 Edition) (complete)	MiniSAT 09z 2009-03-22 (complete)	minisat_cumr p-2009-03-18 (complete)	MXC 2009-03-10 (complete)	precosat 236 (complete)	Rsat 2009-03-22 (complete)	SApperloT base (complete)	SAT07 reference solver: picosat 535 (complete)	SAT07 reference solver: Rsat 2007-02-08 (complete)	SATzilla2009_I 2009-03-22 (complete)
aloul-chnl11-13.cnf	UNSAT TT=294.549	UNSAT TT=294.549	UNSAT TT=786.563	? (TO) TT=10000	? TT=3600.06	? (TO) TT=10000	UNSAT TT=3375.29	? (TO) TT=10000.1	? (TO) TT=10000	? (TO) TT=10000	? (TO) TT=10000	? (TO) TT=10000.1	? (TO) TT=10000.1	UNSAT TT=5454.21	? (TO) TT=10000	? (TO) TT=10000	UNSAT TT=4595.34
APPLICATIONS/aprove09/ AProVE09-01.cnf	SAT TT=0.681	SAT TT=1.595	SAT TT=1.565	SAT TT=1.922	SAT TT=3.974	SAT TT=2.361	SAT TT=2.327	SAT TT=1.104	SAT TT=2.053	SAT TT=2.07	SAT TT=1.367	SAT TT=1.914	SAT TT=1.99	SAT TT=0.681	SAT TT=6.643	SAT TT=2.27	SAT TT=1.428
APPLICATIONS/aprove09/ AProVE09-03.cnf	SAT TT=0.552	SAT TT=1.174	SAT TT=1.011	SAT TT=1.722	SAT TT=3.21	SAT TT=1.922	SAT TT=1.976	SAT TT=0.892	SAT TT=1.708	SAT TT=1.733	SAT TT=1.115	SAT TT=1.488	SAT TT=1.6	SAT TT=0.552	SAT TT=3.986	SAT TT=1.829	SAT TT=1.159
APPLICATIONS/aprove09/ AProVE09-05.cnf	SAT TT=1.483	SAT TT=2.878	SAT TT=1.989	SAT TT=4.659	SAT TT=14.242	SAT TT=4.384	SAT TT=1.483	SAT TT=1.998	SAT TT=1.836	SAT TT=2.483	SAT TT=6.926	SAT TT=4.108	SAT TT=7.205	SAT TT=4.91	SAT TT=4.08	SAT TT=8.707	SAT TT=4.96
APPLICATIONS/aprove09/ AProVE09-06.cnf	SAT TT=55.079	SAT TT=1057.54	SAT TT=187.802	SAT TT=3496.3	SAT TT=2340.84	SAT TT=1232.87	SAT TT=95.921	SAT TT=2689.11	SAT TT=1403.23	SAT TT=55.079	SAT TT=1906.08	SAT TT=2779.67	SAT TT=1469.69	SAT TT=3395.35	SAT TT=3914.98	SAT TT=80.773	SAT TT=3905.8
APPLICATIONS/aprove09/ AProVE09-07.cnf	SAT TT=0.603	SAT TT=14.859	SAT TT=0.603	SAT TT=8.261	SAT TT=6.279	SAT TT=22.804	SAT TT=6.308	SAT TT=9.036	SAT TT=10.508	SAT TT=25.176	SAT TT=15.442	SAT TT=5.789	SAT TT=12.393	SAT TT=2.688	SAT TT=24.882	SAT TT=0.992	SAT TT=30.876
APPLICATIONS/aprove09/ AProVE09-08.cnf	SAT TT=0.828	SAT TT=1.142	SAT TT=3.229	SAT TT=6.058	SAT TT=24.875	SAT TT=27.754	SAT TT=0.828	SAT TT=10.986	SAT TT=20.113	SAT TT=22.909	SAT TT=31.797	SAT TT=23.086	SAT TT=16.142	SAT TT=14.372	SAT TT=29.902	SAT TT=11.9	SAT TT=65.302
APPLICATIONS/aprove09/ AProVE09-10.cnf	SAT TT=0.883	SAT TT=3.474	SAT TT=4.495	SAT TT=3.275	SAT TT=6.492	SAT TT=5.392	SAT TT=5.873	SAT TT=2.093	SAT TT=3.247	SAT TT=4.129	SAT TT=3.279	SAT TT=7.079	SAT TT=3.09	SAT TT=0.883	SAT TT=4.387	SAT TT=4.653	SAT TT=4.811
APPLICATIONS/aprove09/ AProVE09-11.cnf	SAT TT=0.196	SAT TT=0.568	SAT TT=0.522	SAT TT=0.799	SAT TT=1.739	SAT TT=1.006	SAT TT=1.179	SAT TT=0.452	SAT TT=0.76	SAT TT=0.836	SAT TT=0.709	SAT TT=1.863	SAT TT=0.899	SAT TT=0.196	SAT TT=0.915	SAT TT=0.918	SAT TT=1.167
APPLICATIONS/aprove09/ AProVE09-12.cnf	SAT TT=0.49	SAT TT=0.754	SAT TT=0.834	SAT TT=1.24	SAT TT=2.336	SAT TT=1.721	SAT TT=2.619	SAT TT=0.745	SAT TT=1.204	SAT TT=1.363	SAT TT=0.811	SAT TT=2.592	SAT TT=1.423	SAT TT=0.49	SAT TT=1.44	SAT TT=1.201	SAT TT=1.525
Bench name	Best results	CircUs 2009-03-23 (complete)	clasp 1.2.0-SAT09-32 (complete)	glucose 1.0 (complete)	kw 2009-03-20 (complete)	LySAT i/2009-03-20 (complete)	ManySAT 1.1 aimd 1/2009-03-20 (complete)	MiniSat 2.1 (Sat-race'08 Edition) (complete)	MiniSAT 09z 2009-03-22 (complete)	minisat_cumr p-2009-03-18 (complete)	MXC 2009-03-10 (complete)	precosat 236 (complete)	Rsat 2009-03-22 (complete)	SApperloT base (complete)	SAT07 reference solver: picosat 535 (complete)	SAT07 reference solver: Rsat 2007-02-08 (complete)	SATzilla2009_I 2009-03-22 (complete)
APPLICATIONS/aprove09/ AProVE09-13.cnf	SAT TT=0.058	SAT TT=0.259	SAT TT=0.182	SAT TT=0.279	SAT TT=0.577	SAT TT=0.341	SAT TT=0.389	SAT TT=0.154	SAT TT=0.308	SAT TT=0.308	SAT TT=0.185	SAT TT=0.475	SAT TT=0.281	SAT TT=0.058	SAT TT=0.282	SAT TT=0.334	SAT TT=0.209
APPLICATIONS/aprove09/ AProVE09-15.cnf	SAT TT=3.38	SAT TT=7.459	SAT TT=13.376	SAT TT=7.159	SAT TT=26.618	SAT TT=21.729	SAT TT=23.118	SAT TT=7.204	SAT TT=10.504	SAT TT=13.302	SAT TT=8.619	SAT TT=24.764	SAT TT=3.38	SAT TT=10.577	SAT TT=38.312	SAT TT=18.877	SAT TT=9.968
APPLICATIONS/aprove09/ AProVE09-17.cnf	SAT TT=7.386	SAT TT=28.667	SAT TT=27.441	SAT TT=7.386	SAT TT=20.371	SAT TT=18.357	SAT TT=19.397	SAT TT=15.566	SAT TT=21.504	SAT TT=15.979	SAT TT=14.213	SAT TT=9.783	SAT TT=12.817	SAT TT=19.077	SAT TT=25.813	SAT TT=29.8	SAT TT=40.764
APPLICATIONS/aprove09/ AProVE09-19.cnf	SAT TT=1.176	SAT TT=1.683	SAT TT=1.881	SAT TT=1.8	SAT TT=2.761	SAT TT=6.064	SAT TT=2.856	SAT TT=3.291	SAT TT=6.873	SAT TT=1.922	SAT TT=1.176	SAT TT=9.583	SAT TT=4.937	SAT TT=5.379	SAT TT=7.829	SAT TT=1.974	SAT TT=32.183
APPLICATIONS/aprove09/ AProVE09-20.cnf	SAT TT=34.621	SAT TT=596.252	SAT TT=875.53	SAT TT=140.445	SAT TT=97.613	SAT TT=94.141	SAT TT=128.524	SAT TT=34.621	SAT TT=76.386	SAT TT=202.027	SAT TT=58.168	SAT TT=70.995	SAT TT=94.39	SAT TT=107.254	SAT TT=230.506	SAT TT=223.492	SAT TT=116.972
APPLICATIONS/aprove09/ AProVE09-21.cnf	SAT TT=1.368	SAT TT=5.889	SAT TT=3.135	SAT TT=4.03	SAT TT=6.099	SAT TT=2.639	SAT TT=7.728	SAT TT=3.1	SAT TT=2.942	SAT TT=3.23	SAT TT=3.369	SAT TT=1.368	SAT TT=2.403	SAT TT=2.663	SAT TT=12.183	SAT TT=4.105	SAT TT=2.531
APPLICATIONS/aprove09/ AProVE09-22.cnf	SAT TT=0.076	SAT TT=0.274	SAT TT=0.275	SAT TT=0.346	SAT TT=0.806	SAT TT=0.476	SAT TT=0.711	SAT TT=0.236	SAT TT=0.39	SAT TT=0.414	SAT TT=0.302	SAT TT=0.619	SAT TT=0.491	SAT TT=0.076	SAT TT=0.355	SAT TT=0.386	SAT TT=0.32
APPLICATIONS/aprove09/ AProVE09-24.cnf	SAT TT=1.531	SAT TT=3.735	SAT TT=19.551	SAT TT=3.374	SAT TT=5.702	SAT TT=8.933	SAT TT=9.503	SAT TT=1.531	SAT TT=2.545	SAT TT=5.132	SAT TT=4.218	SAT TT=4.654	SAT TT=5.273	SAT TT=1.947	SAT TT=5.517	SAT TT=5.959	SAT TT=4.997
APPLICATIONS/aprove09/ AProVE09-25.cnf	SAT TT=0.316	SAT TT=1.874	SAT TT=1.008	SAT TT=1.171	SAT TT=2.562	SAT TT=1.773	SAT TT=1.929	SAT TT=0.732	SAT TT=1.284	SAT TT=1.165	SAT TT=0.829	SAT TT=1.824	SAT TT=1.179	SAT TT=0.316	SAT TT=1.91	SAT TT=1.299	SAT TT=1.097
APPLICATIONS/ bioinfo/ q_query_2_L324_coli.cnf	UNSAT TT=3.606	UNSAT TT=17.398	UNSAT TT=14.701	UNSAT TT=131.249	UNSAT TT=49.398	UNSAT TT=107.796	UNSAT TT=118.991	UNSAT TT=68.223	UNSAT TT=131.538	UNSAT TT=132.67	UNSAT TT=62.19	UNSAT TT=36.78	UNSAT TT=142.849	UNSAT TT=3.606	UNSAT TT=26.202	UNSAT TT=111.937	UNSAT TT=78.737
Bench name	Best results	CircUs 2009-03-23 (complete)	clasp 1.2.0-SAT09-32 (complete)	glucose 1.0 (complete)	kw 2009-03-20 (complete)	LySAT i/2009-03-20 (complete)	ManySAT 1.1 aimd 1/2009-03-20 (complete)	MiniSat 2.1 (Sat-race'08 Edition) (complete)	MiniSAT 09z 2009-03-22 (complete)	minisat_cumr p-2009-03-18 (complete)	MXC 2009-03-10 (complete)	precosat 236 (complete)	Rsat 2009-03-22 (complete)	SApperloT base (complete)	SAT07 reference solver: picosat 535 (complete)	SAT07 reference solver: Rsat 2007-02-08 (complete)	SATzilla2009_I 2009-03-22 (complete)
APPLICATIONS/bioinfo/ q_query_3_L100_coli.sat.cnf	UNSAT TT=182.238	UNSAT TT=640.573	UNSAT TT=810.94	UNSAT TT=552.11	UNSAT TT=396.45	UNSAT TT=225.785	UNSAT TT=358.519	UNSAT TT=182.238	UNSAT TT=394.14	UNSAT TT=584.532	UNSAT TT=197.7	UNSAT TT=428.779	UNSAT TT=244.868	UNSAT TT=682.264	UNSAT TT=655.852	UNSAT TT=1525.36	? (exit code) TT=9997.71
APPLICATIONS/bioinfo/ q_query_3_L150_coli.sat.cnf	UNSAT TT=200.627	UNSAT TT=300.729	UNSAT TT=579.499	UNSAT TT=692.548	UNSAT TT=200.627	UNSAT TT=459.828	UNSAT TT=1093.41	UNSAT TT=441.768	UNSAT TT=601.88	UNSAT TT=728.782	UNSAT TT=561.486	UNSAT TT=938.664	UNSAT TT=323.769	UNSAT TT=659.198	UNSAT TT=721.908	UNSAT TT=658.603	UNSAT TT=754.996
APPLICATIONS/bioinfo/ q_query_3_L200_coli.sat.cnf	UNSAT TT=543.882	UNSAT TT=4262.44	UNSAT TT=1026.73	UNSAT TT=543.882	UNSAT TT=658.842	UNSAT TT=796.344	UNSAT TT=1125.93	UNSAT TT=675.014	UNSAT TT=770.582	UNSAT TT=762.716	? (TO) TT=10000.3	UNSAT TT=1045.02	UNSAT TT=694.15	UNSAT TT=1211.67	UNSAT TT=810.864	UNSAT TT=1016.98	UNSAT TT=1072.38
APPLICATIONS/ bioinfo/ q_query_3_l37_lambda.cnf	SAT TT=1.378	SAT TT=9.695	SAT TT=15.631	SAT TT=1.378	SAT TT=3.038	SAT TT=5.21	SAT TT=5.53	SAT TT=1.584	SAT TT=2.348	SAT TT=6.18	SAT TT=2.979	SAT TT=2.993	SAT TT=6.402	SAT TT=3.035	SAT TT=11.477	SAT TT=2.38	SAT TT=2.197
APPLICATIONS/ bioinfo/ q_query_3_l38_lambda.cnf	SAT TT=1.696	SAT TT=22.59	SAT TT=27.804	SAT TT=1.696	SAT TT=2.797	SAT TT=1.995	SAT TT=14.969	SAT TT=6.627	SAT TT=8.204	SAT TT=18.22	SAT TT=4.638	SAT TT=6.741	SAT TT=1.844	SAT TT=2.476	SAT TT=6.397	SAT TT=8.723	SAT TT=2.751
APPLICATIONS/ bioinfo/ q_query_3_l39_lambda.cnf	SAT TT=1.066	SAT TT=11.795	SAT TT=65.865	SAT TT=7.41	SAT TT=9.147	SAT TT=8.625	SAT TT=14.453	SAT TT=1.066	SAT TT=2.199	SAT TT=8.055	SAT TT=4.115	SAT TT=10.123	SAT TT=2.18	SAT TT=8.458	SAT TT=15.279	SAT TT=5.585	SAT TT=13.794
APPLICATIONS/ bioinfo/ q_query_3_l40_lambda.cnf	SAT TT=2.523	SAT TT=33.361	SAT TT=77.655	SAT TT=9.353	SAT TT=9.134	SAT TT=6.663	SAT TT=28.702	SAT TT=8.846	SAT TT=6.398	SAT TT=68.007	SAT TT=12.421	SAT TT=5.177	SAT TT=14.466	SAT TT=9.368	SAT TT=9.756	SAT TT=5.264	SAT TT=2.523
APPLICATIONS/ bioinfo/ q_query_3_l41_lambda.cnf	SAT TT=2.614	SAT TT=8.998	SAT TT=116.791	SAT TT=31.525	SAT TT=18.298	SAT TT=5.461	SAT TT=19.043	SAT TT=3.93	SAT TT=11.694	SAT TT=80.653	SAT TT=11.639	SAT TT=40.007	SAT TT=8.9	SAT TT=3.408	SAT TT=16.948	SAT TT=49.368	SAT TT=2.614
APPLICATIONS/ bioinfo/ q_query_3_l42_lambda.cnf	SAT TT=7.744	SAT TT=90.46	SAT TT=82.127	SAT TT=15.899	SAT TT=28.33	SAT TT=7.744	SAT TT=125.309	SAT TT=12.447	SAT TT=85.279	SAT TT=84.734	SAT TT=36.018	SAT TT=96.516	SAT TT=16.369	SAT TT=43.953	SAT TT=52.219	SAT TT=76.471	SAT TT=8.637
APPLICATIONS/ bioinfo/ q_query_3_l43_lambda.cnf	SAT TT=5.112	SAT TT=32.848	SAT TT=256.518	SAT TT=40.317	SAT TT=66.488	SAT TT=36.498	SAT TT=144.728	SAT TT=37.795	SAT TT=121.038	SAT TT=112.925	SAT TT=42.033	SAT TT=108.324	SAT TT=66.014	SAT TT=31.802	SAT TT=66.296	SAT TT=67.767	SAT TT=5.112
Bench name	Best results	CircUs 2009-03-23 (complete)	clasp 1.2.0-SAT09-32 (complete)	glucose 1.0 (complete)	kw 2009-03-20 (complete)	LySAT i/2009-03-20 (complete)	ManySAT 1.1 aimd 1/2009-03-20 (complete)	MiniSat 2.1 (Sat-race'08 Edition) (complete)	MiniSAT 09z 2009-03-22 (complete)	minisat_cumr p-2009-03-18 (complete)	MXC 2009-03-10 (complete)	precosat 236 (complete)	Rsat 2009-03-22 (complete)	SApperloT base (complete)	SAT07 reference solver: picosat 535 (complete)	SAT07 reference solver: Rsat 2007-02-08 (complete)	SATzilla2009_I 2009-03-22 (complete)
APPLICATIONS/ bioinfo/ q_query_3_l44_lambda.cnf	UNSAT TT=190.011	UNSAT TT=426.732	UNSAT TT=513.228	UNSAT TT=723.975	UNSAT TT=301.163	UNSAT TT=424.077	UNSAT TT=505.92	UNSAT TT=190.011	UNSAT TT=680.248	UNSAT TT=541.215	UNSAT TT=396.961	UNSAT TT=359.789	UNSAT TT=826.273	UNSAT TT=438.286	UNSAT TT=2071.07	UNSAT TT=546.125	UNSAT TT=528.334
APPLICATIONS/ bioinfo/ q_query_3_l45_lambda.cnf	UNSAT TT=283.257	UNSAT TT=450.803	UNSAT TT=737.719	UNSAT TT=325.56	UNSAT TT=283.257	UNSAT TT=359.055	UNSAT TT=488.149	UNSAT TT=349.821	UNSAT TT=665.211	UNSAT TT=558.674	UNSAT TT=392.795	UNSAT TT=348.808	UNSAT TT=886.494	UNSAT TT=294.887	UNSAT TT=1861.82	UNSAT TT=611.612	UNSAT TT=520.34
APPLICATIONS/ bioinfo/ q_query_3_l46_lambda.cnf	UNSAT TT=269.152	UNSAT TT=511.647	UNSAT TT=555.307	UNSAT TT=448.617	UNSAT TT=362.484	UNSAT TT=410.616	UNSAT TT=529.794	UNSAT TT=269.152	UNSAT TT=746.972	UNSAT TT=551.53	UNSAT TT=348.851	UNSAT TT=349.886	UNSAT TT=938.777	UNSAT TT=295.271	UNSAT TT=1940.73	UNSAT TT=783.388	UNSAT TT=508.576
APPLICATIONS/ bioinfo/ q_query_3_l47_lambda.cnf	UNSAT TT=303.059	UNSAT TT=409.19	UNSAT TT=658.975	UNSAT TT=990.164	UNSAT TT=303.059	UNSAT TT=354.093	UNSAT TT=599.404	UNSAT TT=308.085	UNSAT TT=704.489	UNSAT TT=507.616	UNSAT TT=313.762	UNSAT TT=377.878	UNSAT TT=1079.53	UNSAT TT=341.202	UNSAT TT=2232.01	UNSAT TT=797.04	UNSAT TT=380.117
APPLICATIONS/ bioinfo/ q_query_3_l48_lambda.cnf	UNSAT TT=261.052	UNSAT TT=443.384	UNSAT TT=438.311	UNSAT TT=544.447	UNSAT TT=302.944	UNSAT TT=442.601	UNSAT TT=522.596	UNSAT TT=261.052	UNSAT TT=698.747	UNSAT TT=523.573	UNSAT TT=356.485	UNSAT TT=344.446	UNSAT TT=993.27	UNSAT TT=294.975	UNSAT TT=1871.33	UNSAT TT=727.171	UNSAT TT=555.404
APPLICATIONS/ bioinfo/ q_query_3_L60_coli.sat.cnf	SAT TT=24.482	SAT TT=144.326	SAT TT=155.542	SAT TT=24.482	SAT TT=56.809	SAT TT=57.511	SAT TT=122.527	SAT TT=32.475	SAT TT=41.398	SAT TT=54.598	SAT TT=41.528	SAT TT=73.433	SAT TT=58.671	SAT TT=94.374	SAT TT=121.414	SAT TT=86.17	SAT TT=1245.72
APPLICATIONS/ bioinfo/ q_query_3_L70_coli.sat.cnf	SAT TT=105.977	SAT TT=461.203	SAT TT=283.535	SAT TT=186.912	SAT TT=222.215	SAT TT=115.324	SAT TT=266.211	SAT TT=105.977	SAT TT=139.496	SAT TT=208.749	SAT TT=277.523	SAT TT=298.872	SAT TT=151.49	SAT TT=309.578	SAT TT=433.739	SAT TT=193.193	SAT TT=7800.32
APPLICATIONS/ bioinfo/ q_query_3_L80_coli.sat.cnf	UNSAT TT=112.165	UNSAT TT=566.429	UNSAT TT=400.182	UNSAT TT=837.434	UNSAT TT=246.992	UNSAT TT=513.304	UNSAT TT=352.172	UNSAT TT=112.165	UNSAT TT=141.433	UNSAT TT=586.216	UNSAT TT=453.675	UNSAT TT=350.474	UNSAT TT=173.707	UNSAT TT=650.43	UNSAT TT=558.515	UNSAT TT=917.097	UNSAT TT=4913.07
APPLICATIONS/ bioinfo/ q_query_3_L90_coli.sat.cnf	UNSAT TT=138.17	UNSAT TT=736.283	UNSAT TT=383.201	UNSAT TT=280.563	UNSAT TT=177.232	UNSAT TT=499.329	UNSAT TT=779.26	UNSAT TT=138.17	UNSAT TT=168.463	UNSAT TT=637.581	UNSAT TT=441.305	UNSAT TT=457.089	UNSAT TT=215.134	UNSAT TT=361.935	UNSAT TT=683.708	UNSAT TT=718.033	? (exit code) TT=9998.23
APPLICATIONS/bitverif/ countbitsarray/ countbitsarray02_32.cnf	UNSAT TT=834.519	? (exit code) TT=9999.64	UNSAT TT=3841.14	UNSAT TT=926.685	? TT=3600.11	UNSAT TT=5683.92	UNSAT TT=1353.45	? (TO) TT=10000.1	UNSAT TT=3489.15	? (TO) TT=10000.1	? (TO) TT=10000.1	UNSAT TT=3928.91	UNSAT TT=1730.63	UNSAT TT=834.519	? (TO) TT=10000.1	UNSAT TT=8756.62	? (exit code) TT=9998.01
Bench name	Best results	CircUs 2009-03-23 (complete)	clasp 1.2.0-SAT09-32 (complete)	glucose 1.0 (complete)	kw 2009-03-20 (complete)	LySAT i/2009-03-20 (complete)	ManySAT 1.1 aimd 1/2009-03-20 (complete)	MiniSat 2.1 (Sat-race'08 Edition) (complete)	MiniSAT 09z 2009-03-22 (complete)	minisat_cumr p-2009-03-18 (complete)	MXC 2009-03-10 (complete)	precosat 236 (complete)	Rsat 2009-03-22 (complete)	SApperloT base (complete)	SAT07 reference solver: picosat 535 (complete)	SAT07 reference solver: Rsat 2007-02-08 (complete)	SATzilla2009_I 2009-03-22 (complete)
APPLICATIONS/bitverif/ countbitsarray/ countbitsarray08_32.cnf		? (exit code) TT=9999.78	? (TO) TT=10000.1	? (TO) TT=10000.1	? TT=3600.35	? (TO) TT=10000	? (TO) TT=10000	? (TO) TT=10000.1	? (TO) TT=10000	? (TO) TT=10000	? (TO) TT=10000.1	? (TO) TT=10000.1	? (TO) TT=10000	? (TO) TT=10000.1	? (TO) TT=10000.1	? (TO) TT=10000.1	? (exit code) TT=9998.33
APPLICATIONS/bitverif/ countbitsarray/ countbitsarray32_32.cnf		? (exit code) TT=10000.1	? (TO) TT=10000.1	? (TO) TT=10000.1	? TT=3601.18	? (TO) TT=10000.1	? (TO) TT=10000.1	? (TO) TT=10000.1	? (TO) TT=10000	? (TO) TT=10000.1	? (TO) TT=10000.1	? (TO) TT=10000.1	? (TO) TT=10000.1	? (TO) TT=10000.1	? (TO) TT=10000.1	? (TO) TT=10000	? (exit code) TT=9997.83
APPLICATIONS/bitverif/ countbitsrotate/ countbitsrotate016.cnf	UNSAT TT=21.277	UNSAT TT=51.342	UNSAT TT=24.895	UNSAT TT=35.924	UNSAT TT=46.31	UNSAT TT=113.467	UNSAT TT=55.027	UNSAT TT=41.115	UNSAT TT=34.198	UNSAT TT=69.118	UNSAT TT=21.277	UNSAT TT=24.049	UNSAT TT=22.771	UNSAT TT=45.679	UNSAT TT=140.449	UNSAT TT=31.276	UNSAT TT=45.497
APPLICATIONS/bitverif/ countbitsrotate/ countbitsrotate032.cnf		? (exit code) TT=9998.77	? (TO) TT=10000.1	? (TO) TT=10000	? TT=3600.14	? (TO) TT=10000.1	? (TO) TT=10000.1	? (TO) TT=10000.1	? (TO) TT=10000	? (TO) TT=10000.1	? (TO) TT=10000.1	? (TO) TT=10000.1	? (TO) TT=10000	? (TO) TT=10000	? (TO) TT=10000.1	? (TO) TT=10000	? (exit code) TT=9998.17
APPLICATIONS/bitverif/ countbitsrotate/ countbitsrotate128.cnf		? (exit code) TT=9999.58	? (TO) TT=10000.2	? (TO) TT=10000.1	? TT=3602.17	? (TO) TT=10000.1	? (TO) TT=10000.1	? (TO) TT=10000.1	? (TO) TT=10000	? (TO) TT=10000.1	? (TO) TT=10000.1	? (TO) TT=10000	? (TO) TT=10000	? (TO) TT=10000.1	? (TO) TT=10000	? (TO) TT=10000.1	? (exit code) TT=9997.59
APPLICATIONS/bitverif/ countbitssrl/ countbitssrl016.cnf	UNSAT TT=2.757	UNSAT TT=7.792	UNSAT TT=9.757	UNSAT TT=7.315	UNSAT TT=5.865	UNSAT TT=7.837	UNSAT TT=11.254	UNSAT TT=2.757	UNSAT TT=3.219	UNSAT TT=7.695	UNSAT TT=5.865	UNSAT TT=2.788	UNSAT TT=30.207	UNSAT TT=5.618	UNSAT TT=49.508	UNSAT TT=6.758	UNSAT TT=4.796
APPLICATIONS/bitverif/ countbitssrl/ countbitssrl032.cnf	UNSAT TT=991.95	UNSAT TT=4253.78	? (TO) TT=10000.1	UNSAT TT=1937.01	UNSAT TT=1025.86	UNSAT TT=3982.15	UNSAT TT=3155.73	UNSAT TT=3854.53	UNSAT TT=2953.46	UNSAT TT=6362.33	UNSAT TT=4388.29	UNSAT TT=991.95	UNSAT TT=6398.19	? (TO) TT=10000.1	? (TO) TT=10000	UNSAT TT=2844.66	? (exit code) TT=9997.92
APPLICATIONS/bitverif/ countbitssrl/ countbitssrl128.cnf		? (exit code) TT=9999.61	? (MO) TT=5389.05	? (TO) TT=10000.1	? TT=3604.76	? (TO) TT=10000.1	? (TO) TT=10000.2	? (TO) TT=10000.2	? (TO) TT=10000	? (TO) TT=10000	? (TO) TT=10000.2	? (TO) TT=10000.2	? (TO) TT=10000.1	? (TO) TT=10000.2	? (TO) TT=10000.1	? (TO) TT=10000	? (exit code) TT=9998.12
APPLICATIONS/bitverif/ countbitswegner/ countbitswegner064.cnf	UNSAT TT=155.002	UNSAT TT=319.626	UNSAT TT=6918.97	UNSAT TT=264.19	UNSAT TT=184.338	UNSAT TT=278.3	UNSAT TT=546.553	UNSAT TT=155.002	UNSAT TT=275.994	UNSAT TT=183.629	UNSAT TT=863.298	UNSAT TT=218.455	UNSAT TT=773.518	UNSAT TT=4067.89	UNSAT TT=2872.92	UNSAT TT=425.178	UNSAT TT=507.115
APPLICATIONS/ bitverif/ icbrt/icbrt1_32.cnf	UNSAT TT=10.746	UNSAT TT=33.764	UNSAT TT=15.411	UNSAT TT=15.134	UNSAT TT=28.012	UNSAT TT=29.774	UNSAT TT=26.066	UNSAT TT=16.095	UNSAT TT=18.958	UNSAT TT=23.963	UNSAT TT=26.965	UNSAT TT=24.299	UNSAT TT=10.746	UNSAT TT=18.968	UNSAT TT=57.295	UNSAT TT=23.451	UNSAT TT=46.943
Bench name	Best results	CircUs 2009-03-23 (complete)	clasp 1.2.0-SAT09-32 (complete)	glucose 1.0 (complete)	kw 2009-03-20 (complete)	LySAT i/2009-03-20 (complete)	ManySAT 1.1 aimd 1/2009-03-20 (complete)	MiniSat 2.1 (Sat-race'08 Edition) (complete)	MiniSAT 09z 2009-03-22 (complete)	minisat_cumr p-2009-03-18 (complete)	MXC 2009-03-10 (complete)	precosat 236 (complete)	Rsat 2009-03-22 (complete)	SApperloT base (complete)	SAT07 reference solver: picosat 535 (complete)	SAT07 reference solver: Rsat 2007-02-08 (complete)	SATzilla2009_I 2009-03-22 (complete)
APPLICATIONS/ bitverif/maxand/ maxand064.cnf	UNSAT TT=2.974	UNSAT TT=5.005	UNSAT TT=2.974	UNSAT TT=8.755	UNSAT TT=35.676	UNSAT TT=13.939	UNSAT TT=10.809	UNSAT TT=4.505	UNSAT TT=14.619	UNSAT TT=13.193	UNSAT TT=3.979	UNSAT TT=4.224	UNSAT TT=29.018	UNSAT TT=149.169	UNSAT TT=41.329	UNSAT TT=9.64	UNSAT TT=4.08
APPLICATIONS/ bitverif/maxor/ maxor128.cnf	UNSAT TT=7131.52	? (exit code) TT=9999.86	? (TO) TT=10000.2	? (TO) TT=10000	? TT=3603.32	? (TO) TT=10000	? (TO) TT=10000.1	? (TO) TT=10000.2	? (TO) TT=10000.1	? (TO) TT=10000	? (TO) TT=10000.2	UNSAT TT=7131.52	? (TO) TT=10000	? (TO) TT=10000.1	? (TO) TT=10000.1	? (TO) TT=10000	? (exit code) TT=9998.21
APPLICATIONS/ bitverif/maxxor/ maxxor064.cnf	UNSAT TT=5162.75	? (exit code) TT=9999.79	? (TO) TT=10000.1	? (TO) TT=10000.1	? TT=3601.92	? (TO) TT=10000.1	? (TO) TT=10000.1	? (TO) TT=10000.1	? (TO) TT=10000.1	? (TO) TT=10000.1	? (TO) TT=10000.1	UNSAT TT=5162.75	? (TO) TT=10000	? (TO) TT=10000.2	? (TO) TT=10000.1	? (TO) TT=10000.1	? (exit code) TT=9997.59
APPLICATIONS/ bitverif/maxxor/ maxxor128.cnf		? (exit code) TT=9999.61	? (TO) TT=10000.2	? (TO) TT=10000	? TT=3603.34	? (TO) TT=10000.1	? (TO) TT=10000.1	? (TO) TT=10000.3	? (TO) TT=10000.1	? (MO) TT=9090.56	? (TO) TT=10000.3	? (TO) TT=10000.2	? (TO) TT=10000.1	? (TO) TT=10000.2	? (TO) TT=10000.1	? (TO) TT=10000	? (exit code) TT=9998.34
APPLICATIONS/bitverif/ maxxororand/ maxxororand032.cnf	UNSAT TT=596.394	UNSAT TT=4296.86	UNSAT TT=1419.74	UNSAT TT=2488.68	UNSAT TT=1180.56	UNSAT TT=735.184	UNSAT TT=1301.19	UNSAT TT=4214.98	UNSAT TT=1589.22	UNSAT TT=8323.76	UNSAT TT=4171.85	UNSAT TT=2178.5	UNSAT TT=596.394	? (TO) TT=10000.1	UNSAT TT=9189.74	? (TO) TT=10000.1	UNSAT TT=7445.02
APPLICATIONS/bitverif/ maxxororand/ maxxororand128.cnf		? (exit code) TT=9999.77	? (TO) TT=10000.3	? (TO) TT=10000	? (MO) TT=207.527	? (TO) TT=10000	? (TO) TT=10000.1	? (TO) TT=10000.2	? (TO) TT=10000.1	? (MO) TT=6109.41	? (TO) TT=10000.2	? (TO) TT=10000.2	? (TO) TT=10000	? (TO) TT=10000.1	? (TO) TT=10000.1	? (TO) TT=10000.1	? (exit code) TT=9998.18
APPLICATIONS/bitverif/ minandmaxor/ minandmaxor032.cnf	UNSAT TT=7.07	UNSAT TT=16.235	UNSAT TT=12.372	UNSAT TT=12.987	UNSAT TT=21.71	UNSAT TT=11.496	UNSAT TT=22.068	UNSAT TT=7.297	UNSAT TT=10.063	UNSAT TT=12.914	UNSAT TT=11.433	UNSAT TT=9.893	UNSAT TT=7.07	UNSAT TT=30.133	UNSAT TT=52.571	UNSAT TT=9.356	UNSAT TT=62.416
APPLICATIONS/bitverif/ minandmaxor/ minandmaxor128.cnf	UNSAT TT=5143.44	UNSAT TT=5143.44	? (TO) TT=10000.2	? (TO) TT=10000	? TT=3603.91	? (TO) TT=10000	? (TO) TT=10000.1	? (TO) TT=10000.3	? (TO) TT=10000.1	? (TO) TT=10000	? (TO) TT=10000.3	UNSAT TT=7256.32	? (TO) TT=10000	? (TO) TT=10000.2	? (TO) TT=10000.1	? (TO) TT=10000	? (exit code) TT=9997.74
APPLICATIONS/ bitverif/minand/ minand128.cnf	UNSAT TT=15.706	UNSAT TT=15.706	UNSAT TT=23.867	UNSAT TT=26.915	UNSAT TT=318.83	UNSAT TT=78.125	UNSAT TT=48.222	UNSAT TT=38.099	UNSAT TT=69.425	UNSAT TT=76.058	UNSAT TT=89.837	UNSAT TT=26.034	UNSAT TT=60.731	UNSAT TT=618.752	UNSAT TT=211.563	UNSAT TT=114.949	UNSAT TT=212.907
APPLICATIONS/ bitverif/minor/ minor032.cnf	UNSAT TT=0.418	UNSAT TT=0.886	UNSAT TT=0.616	UNSAT TT=0.782	UNSAT TT=2.999	UNSAT TT=0.855	UNSAT TT=1.728	UNSAT TT=0.418	UNSAT TT=0.847	UNSAT TT=0.692	UNSAT TT=0.464	UNSAT TT=0.464	UNSAT TT=0.843	UNSAT TT=3.892	UNSAT TT=1.849	UNSAT TT=1.112	UNSAT TT=0.628
Bench name	Best results	CircUs 2009-03-23 (complete)	clasp 1.2.0-SAT09-32 (complete)	glucose 1.0 (complete)	kw 2009-03-20 (complete)	LySAT i/2009-03-20 (complete)	ManySAT 1.1 aimd 1/2009-03-20 (complete)	MiniSat 2.1 (Sat-race'08 Edition) (complete)	MiniSAT 09z 2009-03-22 (complete)	minisat_cumr p-2009-03-18 (complete)	MXC 2009-03-10 (complete)	precosat 236 (complete)	Rsat 2009-03-22 (complete)	SApperloT base (complete)	SAT07 reference solver: picosat 535 (complete)	SAT07 reference solver: Rsat 2007-02-08 (complete)	SATzilla2009_I 2009-03-22 (complete)
APPLICATIONS/ bitverif/minor/ minor064.cnf	UNSAT TT=3.72	UNSAT TT=5.718	UNSAT TT=4.88	UNSAT TT=8.487	UNSAT TT=49.64	UNSAT TT=13.914	UNSAT TT=14.03	UNSAT TT=6.323	UNSAT TT=11.537	UNSAT TT=18.581	UNSAT TT=5.114	UNSAT TT=3.72	UNSAT TT=23.498	UNSAT TT=156.742	UNSAT TT=38.911	UNSAT TT=9.659	UNSAT TT=8.245
APPLICATIONS/bitverif/ minxorminand/ minxorminand032.cnf	UNSAT TT=8.371	UNSAT TT=9.262	UNSAT TT=9.197	UNSAT TT=32.17	UNSAT TT=43.851	UNSAT TT=13.699	UNSAT TT=21.503	UNSAT TT=8.371	UNSAT TT=15.87	UNSAT TT=20.253	UNSAT TT=17.187	UNSAT TT=14.253	UNSAT TT=8.896	UNSAT TT=22.923	UNSAT TT=32.583	UNSAT TT=12.115	UNSAT TT=52.457
APPLICATIONS/bitverif/ minxorminand/ minxorminand064.cnf	UNSAT TT=88.291	UNSAT TT=214.765	UNSAT TT=148.213	UNSAT TT=1081.62	UNSAT TT=759.486	UNSAT TT=279.114	UNSAT TT=161.483	UNSAT TT=209.314	UNSAT TT=386.64	UNSAT TT=470.191	UNSAT TT=663.296	UNSAT TT=299.394	UNSAT TT=88.291	UNSAT TT=1958.37	UNSAT TT=1063.69	UNSAT TT=339.124	UNSAT TT=460.108
APPLICATIONS/bitverif/ minxorminand/ minxorminand128.cnf	UNSAT TT=2353.77	UNSAT TT=4867.84	UNSAT TT=3607.49	? (TO) TT=10000.1	? (MO) TT=260.684	UNSAT TT=8232.53	UNSAT TT=2353.77	UNSAT TT=6879.8	? (TO) TT=10000.1	? (TO) TT=10000	? (TO) TT=10000.2	UNSAT TT=6731.45	UNSAT TT=7749.98	? (TO) TT=10000.2	? (TO) TT=10000.1	? (TO) TT=10000.1	? (exit code) TT=9998.21
APPLICATIONS/ bitverif/minxor/ minxor128.cnf	UNSAT TT=613.515	UNSAT TT=613.515	UNSAT TT=4323.38	UNSAT TT=4702.57	? TT=3601.09	UNSAT TT=864.609	UNSAT TT=804.042	UNSAT TT=844.997	UNSAT TT=1125.63	UNSAT TT=2362.88	UNSAT TT=2306.27	UNSAT TT=856.63	UNSAT TT=3534.3	? (TO) TT=10000.1	? (TO) TT=10000.1	UNSAT TT=1982.77	? (exit code) TT=9997.8
APPLICATIONS/ bitverif/mulhs/ mulhs016.cnf		? (exit code) TT=9999.78	? (TO) TT=10000.1	? (TO) TT=10000.1	? TT=3600.13	? (TO) TT=10000	? (TO) TT=10000.1	? (TO) TT=10000.1	? (TO) TT=10000.1	? (TO) TT=10000	? (TO) TT=10000.1	? (TO) TT=10000.1	? (TO) TT=10000.1	? (TO) TT=10000	? (TO) TT=10000.1	? (TO) TT=10000	? (exit code) TT=9997.98
APPLICATIONS/ bitverif/mulhs/ mulhs032.cnf		? (exit code) TT=9999.84	? (TO) TT=10000.1	? (TO) TT=10000.1	? TT=3600.34	? (TO) TT=10000.1	? (TO) TT=10000.1	? (TO) TT=10000.1	? (TO) TT=10000.1	? (TO) TT=10000.1	? (TO) TT=10000.1	? (TO) TT=10000.1	? (TO) TT=10000	? (TO) TT=10000	? (TO) TT=10000	? (TO) TT=10000	? (exit code) TT=9998.06
APPLICATIONS/ bitverif/smulo/ smulo016.cnf	UNSAT TT=12.374	UNSAT TT=20.877	UNSAT TT=64.47	UNSAT TT=14.656	UNSAT TT=24.648	UNSAT TT=27.729	UNSAT TT=35.326	UNSAT TT=17.298	UNSAT TT=29.726	UNSAT TT=25.338	UNSAT TT=58.377	UNSAT TT=12.374	UNSAT TT=27.94	UNSAT TT=44.978	UNSAT TT=152.29	UNSAT TT=33.701	UNSAT TT=76.755
APPLICATIONS/ bitverif/smulo/ smulo128.cnf		? (exit code) TT=9999.79	? (TO) TT=10000.3	? (TO) TT=10000	? TT=3603.11	? (TO) TT=10000.1	? (TO) TT=10000.1	? (TO) TT=10000.1	? (TO) TT=10000	? (TO) TT=10000	? (TO) TT=10000.2	? (TO) TT=10000.1	? (TO) TT=10000.1	? (TO) TT=10000.1	? (TO) TT=10000.1	? (TO) TT=10000	? (exit code) TT=9997.96
APPLICATIONS/ c32sat/ post-c32s-col400-16.cnf	UNSAT TT=68.905	UNSAT TT=127.345	UNSAT TT=68.905	UNSAT TT=686.421	UNSAT TT=323.391	UNSAT TT=372.147	UNSAT TT=384.539	UNSAT TT=78.827	UNSAT TT=223.386	UNSAT TT=129.954	UNSAT TT=73.412	UNSAT TT=147.267	UNSAT TT=378.628	UNSAT TT=401.692	UNSAT TT=599.344	UNSAT TT=611.463	UNSAT TT=125.694
Bench name	Best results	CircUs 2009-03-23 (complete)	clasp 1.2.0-SAT09-32 (complete)	glucose 1.0 (complete)	kw 2009-03-20 (complete)	LySAT i/2009-03-20 (complete)	ManySAT 1.1 aimd 1/2009-03-20 (complete)	MiniSat 2.1 (Sat-race'08 Edition) (complete)	MiniSAT 09z 2009-03-22 (complete)	minisat_cumr p-2009-03-18 (complete)	MXC 2009-03-10 (complete)	precosat 236 (complete)	Rsat 2009-03-22 (complete)	SApperloT base (complete)	SAT07 reference solver: picosat 535 (complete)	SAT07 reference solver: Rsat 2007-02-08 (complete)	SATzilla2009_I 2009-03-22 (complete)
APPLICATIONS/ c32sat/ post-c32s-gcdm16-22.cnf	SAT TT=96.857	SAT TT=488.837	SAT TT=685.095	SAT TT=191.15	SAT TT=537.151	SAT TT=209.136	SAT TT=334.525	SAT TT=201.834	SAT TT=249.371	SAT TT=282.33	SAT TT=314.996	SAT TT=96.857	SAT TT=204.568	SAT TT=2357.59	SAT TT=1708.22	SAT TT=786.174	SAT TT=3070.07
APPLICATIONS/ c32sat/ post-c32s-gcdm16-23.cnf	UNSAT TT=99.282	UNSAT TT=586.14	UNSAT TT=642.138	UNSAT TT=225.303	UNSAT TT=655.846	UNSAT TT=157.768	UNSAT TT=327.663	UNSAT TT=246.122	UNSAT TT=236.498	UNSAT TT=366.544	UNSAT TT=419.289	UNSAT TT=99.282	UNSAT TT=276.669	UNSAT TT=3937.83	UNSAT TT=2312.99	UNSAT TT=636.193	UNSAT TT=2577.19
APPLICATIONS/ c32sat/post-c32s-ss-8.cnf	UNSAT TT=424.931	UNSAT TT=1474.07	UNSAT TT=8909.4	UNSAT TT=940.478	UNSAT TT=472.614	UNSAT TT=603.666	UNSAT TT=1353.88	UNSAT TT=1949	UNSAT TT=1208.61	UNSAT TT=1443.33	UNSAT TT=3073.71	UNSAT TT=424.931	? (TO) TT=10000	? (TO) TT=10000.1	? (TO) TT=10000.1	UNSAT TT=7124.34	UNSAT TT=3287.12
APPLICATIONS/c32sat/ post-cbmc-aes-d-r2-noholes.cnf	UNSAT TT=619.192	UNSAT TT=1590.72	UNSAT TT=5239.08	UNSAT TT=619.192	UNSAT TT=3130.24	UNSAT TT=1550.83	UNSAT TT=1096.41	UNSAT TT=2718.68	UNSAT TT=882.692	UNSAT TT=5403.97	? (TO) TT=10000.1	? (TO) TT=10000.1	UNSAT TT=2223.91	? (TO) TT=10000.3	UNSAT TT=4335.75	UNSAT TT=3536.22	UNSAT TT=7586.52
APPLICATIONS/c32sat/ post-cbmc-aes-ee-r2-noholes.cnf	UNSAT TT=772.307	UNSAT TT=1552.06	UNSAT TT=6291.16	UNSAT TT=772.307	? TT=3608.05	UNSAT TT=1530.38	UNSAT TT=1022.84	UNSAT TT=3059.02	UNSAT TT=927.325	UNSAT TT=4266.64	? (TO) TT=10000.2	? (TO) TT=10000.1	UNSAT TT=1887.19	? (TO) TT=10000.2	? (TO) TT=10000.1	UNSAT TT=3054.94	UNSAT TT=7543.93
APPLICATIONS/c32sat/ post-cbmc-aes-ee-r3-noholes.cnf	UNSAT TT=1510.73	UNSAT TT=8256.46	? (TO) TT=10000.1	UNSAT TT=1510.73	? TT=3614.3	UNSAT TT=6466.41	UNSAT TT=3725.6	UNSAT TT=6051.57	UNSAT TT=3119.02	? (TO) TT=10000	? (TO) TT=10000.2	? (TO) TT=10000.2	UNSAT TT=4014.48	? (TO) TT=10000.2	? (TO) TT=10000.1	? (TO) TT=10000.1	? (exit code) TT=9997.61
APPLICATIONS/c32sat/ post-cbmc-aes-ele-noholes.cnf	UNSAT TT=33.897	UNSAT TT=79.892	UNSAT TT=245.659	UNSAT TT=52.371	UNSAT TT=78.92	UNSAT TT=67.323	UNSAT TT=84.106	UNSAT TT=33.897	UNSAT TT=57.496	UNSAT TT=78.92	UNSAT TT=46.596	UNSAT TT=109.517	UNSAT TT=79.808	UNSAT TT=340.114	UNSAT TT=132.249	UNSAT TT=88.397	UNSAT TT=120.338
APPLICATIONS/c32sat/ post-cbmc-zfcp-2.8-u2-noholes.cnf	SAT TT=59.403	? (MO) TT=14.531	? (MO) TT=22.264	? (MO) TT=15.24	? (MO) TT=3.856	? (MO) TT=16.08	? (MO) TT=14.62	? (MO) TT=15.938	? (MO) TT=11.08	? (MO) TT=10.52	? TT=2.433	Signal TT=45.446	? (MO) TT=8.55	SAT TT=59.403	? (MO) TT=5950.17	? (MO) TT=17.88	? (MO) TT=2.67
APPLICATIONS/ crypto/desgen/ gss-13-s100.cnf	SAT TT=2.376	SAT TT=100.306	SAT TT=17.154	SAT TT=7.031	SAT TT=42.001	SAT TT=25.193	SAT TT=34.167	SAT TT=39.206	SAT TT=3.255	SAT TT=5.379	SAT TT=2.376	SAT TT=32.825	SAT TT=63.304	SAT TT=15.617	SAT TT=81.957	SAT TT=62.038	SAT TT=78.152
APPLICATIONS/ crypto/desgen/ gss-14-s100.cnf	SAT TT=8.769	SAT TT=131.133	SAT TT=86.821	SAT TT=95.717	SAT TT=118.68	SAT TT=52.718	SAT TT=126.357	SAT TT=45.334	SAT TT=12.476	SAT TT=21.025	SAT TT=29.702	SAT TT=99.559	SAT TT=8.769	SAT TT=27.067	SAT TT=167.465	SAT TT=41.459	SAT TT=39.796
Bench name	Best results	CircUs 2009-03-23 (complete)	clasp 1.2.0-SAT09-32 (complete)	glucose 1.0 (complete)	kw 2009-03-20 (complete)	LySAT i/2009-03-20 (complete)	ManySAT 1.1 aimd 1/2009-03-20 (complete)	MiniSat 2.1 (Sat-race'08 Edition) (complete)	MiniSAT 09z 2009-03-22 (complete)	minisat_cumr p-2009-03-18 (complete)	MXC 2009-03-10 (complete)	precosat 236 (complete)	Rsat 2009-03-22 (complete)	SApperloT base (complete)	SAT07 reference solver: picosat 535 (complete)	SAT07 reference solver: Rsat 2007-02-08 (complete)	SATzilla2009_I 2009-03-22 (complete)
APPLICATIONS/ crypto/desgen/ gss-15-s100.cnf	SAT TT=5.235	SAT TT=365.326	SAT TT=38.842	SAT TT=33.414	SAT TT=26.163	SAT TT=72.36	SAT TT=256.359	SAT TT=5.235	SAT TT=97.666	SAT TT=179.193	SAT TT=102.611	SAT TT=160.154	SAT TT=27.316	SAT TT=122.979	SAT TT=561.996	SAT TT=90.796	SAT TT=170.787
APPLICATIONS/ crypto/desgen/ gss-16-s100.cnf	SAT TT=16.201	SAT TT=717.608	SAT TT=281.086	SAT TT=95.811	SAT TT=168.756	SAT TT=137.793	SAT TT=484.59	SAT TT=16.201	SAT TT=297.721	SAT TT=353.992	SAT TT=122.011	SAT TT=99.939	SAT TT=889.754	SAT TT=377.134	SAT TT=82.222	SAT TT=468.886	SAT TT=343.039
APPLICATIONS/ crypto/desgen/ gss-17-s100.cnf	SAT TT=219.851	SAT TT=1108.05	SAT TT=930.819	SAT TT=908.378	SAT TT=1195.14	SAT TT=817.759	SAT TT=992.333	SAT TT=372.134	SAT TT=429.152	SAT TT=724.424	SAT TT=247.97	SAT TT=324.372	SAT TT=717.17	SAT TT=1127.02	SAT TT=439.052	SAT TT=277.238	SAT TT=219.851
APPLICATIONS/ crypto/desgen/ gss-19-s100.cnf	SAT TT=39.301	? (exit code) TT=9998.81	SAT TT=3068.12	SAT TT=609.947	SAT TT=1292.03	SAT TT=1776.1	SAT TT=2435.37	SAT TT=3379.47	SAT TT=493.085	SAT TT=128.27	SAT TT=1372.27	SAT TT=2564.77	? (TO) TT=10000.1	SAT TT=3502.85	SAT TT=7671.17	SAT TT=2392.87	SAT TT=39.301
APPLICATIONS/ crypto/desgen/ gss-20-s100.cnf	SAT TT=608.764	? (exit code) TT=9999.03	SAT TT=1002.03	SAT TT=8246.87	SAT TT=2809.34	SAT TT=946.113	? (TO) TT=10000.1	SAT TT=649.315	SAT TT=6405.83	? (TO) TT=10000.1	SAT TT=3944.66	SAT TT=7867.05	SAT TT=3418.65	SAT TT=8674.96	SAT TT=608.764	? (TO) TT=10000.1	SAT TT=2374.99
APPLICATIONS/ crypto/desgen/ gss-21-s100.cnf	SAT TT=476.868	? (exit code) TT=9999.56	? (TO) TT=10000.1	? (TO) TT=10000.1	? TT=3600.59	SAT TT=9305.59	? (TO) TT=10000.1	? (TO) TT=10000.1	? (TO) TT=10000.1	? (TO) TT=10000.1	? (TO) TT=10000	SAT TT=476.868	? (TO) TT=10000.1	? (TO) TT=10000	? (TO) TT=10000.1	? (TO) TT=10000	? (exit code) TT=9997.87
APPLICATIONS/ crypto/desgen/ gss-22-s100.cnf	SAT TT=4326.83	? (exit code) TT=9999.83	? (TO) TT=10000.1	? (TO) TT=10000	? TT=3600.59	? (TO) TT=10000	? (TO) TT=10000	? (TO) TT=10000.1	? (TO) TT=10000	? (TO) TT=10000.1	? (TO) TT=10000.1	? (TO) TT=10000	? (TO) TT=10000.1	SAT TT=4326.83	? (TO) TT=10000.1	? (TO) TT=10000.1	? (exit code) TT=9997.89
APPLICATIONS/ crypto/desgen/ gss-23-s100.cnf	SAT TT=2656.2	? (exit code) TT=9998.82	? (TO) TT=10000.1	? (TO) TT=10000.1	? TT=3600.58	? (TO) TT=10000	? (TO) TT=10000	? (TO) TT=10000.1	? (TO) TT=10000	? (TO) TT=10000.1	? (TO) TT=10000.1	? (TO) TT=10000.1	? (TO) TT=10000	? (TO) TT=10000.1	? (TO) TT=10000	? (TO) TT=10000.1	SAT TT=2656.2
APPLICATIONS/ crypto/desgen/ gss-24-s100.cnf		? (exit code) TT=9998.81	? (TO) TT=10000.1	? (TO) TT=10000	? TT=3600.59	? (TO) TT=10000.1	? (TO) TT=10000.2	? (TO) TT=10000.1	? (TO) TT=10000	? (TO) TT=10000.1	? (TO) TT=10000.1	? (TO) TT=10000	? (TO) TT=10000.1	? (TO) TT=10000.1	? (TO) TT=10000	? (TO) TT=10000	? (exit code) TT=9998.06
APPLICATIONS/ crypto/desgen/ gss-25-s100.cnf	SAT TT=362.402	? (exit code) TT=9999.01	? (TO) TT=10000.1	? (TO) TT=10000	? TT=3600.6	? (TO) TT=10000	? (TO) TT=10000.1	? (TO) TT=10000.1	? (TO) TT=10000	? (TO) TT=10000.1	? (TO) TT=10000.1	? (TO) TT=10000.1	? (TO) TT=10000.1	? (TO) TT=10000	? (TO) TT=10000	? (TO) TT=10000	SAT TT=362.402
Bench name	Best results	CircUs 2009-03-23 (complete)	clasp 1.2.0-SAT09-32 (complete)	glucose 1.0 (complete)	kw 2009-03-20 (complete)	LySAT i/2009-03-20 (complete)	ManySAT 1.1 aimd 1/2009-03-20 (complete)	MiniSat 2.1 (Sat-race'08 Edition) (complete)	MiniSAT 09z 2009-03-22 (complete)	minisat_cumr p-2009-03-18 (complete)	MXC 2009-03-10 (complete)	precosat 236 (complete)	Rsat 2009-03-22 (complete)	SApperloT base (complete)	SAT07 reference solver: picosat 535 (complete)	SAT07 reference solver: Rsat 2007-02-08 (complete)	SATzilla2009_I 2009-03-22 (complete)
APPLICATIONS/ crypto/desgen/ gss-26-s100.cnf		? (exit code) TT=9998.83	? (TO) TT=10000.1	? (TO) TT=10000	? TT=3600.61	? (TO) TT=10000.1	? (TO) TT=10000.2	? (TO) TT=10000.1	? (TO) TT=10000.1	? (TO) TT=10000	? (TO) TT=10000.1	? (TO) TT=10000	? (TO) TT=10000.1	? (TO) TT=10000.1	? (TO) TT=10000.1	? (TO) TT=10000	? (exit code) TT=9998.05
APPLICATIONS/ crypto/desgen/ gss-27-s100.cnf	SAT TT=7132.69	? (exit code) TT=9999.56	? (TO) TT=10000.1	? (TO) TT=10000	? TT=3600.58	SAT TT=7132.69	? (TO) TT=10000.1	? (TO) TT=10000.1	? (TO) TT=10000	? (TO) TT=10000	? (TO) TT=10000.1	? (TO) TT=10000.1	? (TO) TT=10000	? (TO) TT=10000	? (TO) TT=10000.1	? (TO) TT=10000.1	? (exit code) TT=9998.21
APPLICATIONS/ crypto/desgen/ gss-28-s100.cnf		? (exit code) TT=9998.83	? (TO) TT=10000	? (TO) TT=10000.1	? TT=3600.61	? (TO) TT=10000.1	? (TO) TT=10000.1	? (TO) TT=10000	? (TO) TT=10000.1	? (TO) TT=10000	? (TO) TT=10000	? (TO) TT=10000.1	? (TO) TT=10000	? (TO) TT=10000.1	? (TO) TT=10000	? (TO) TT=10000.1	? (exit code) TT=9997.94
APPLICATIONS/ crypto/desgen/ gss-31-s100.cnf		? (exit code) TT=9999.58	? (TO) TT=10000.1	? (TO) TT=10000	? TT=3600.59	? (TO) TT=10000	? (TO) TT=10000.2	? (TO) TT=10000.1	? (TO) TT=10000	? (TO) TT=10000.1	? (TO) TT=10000.1	? (TO) TT=10000	? (TO) TT=10000	? (TO) TT=10000.1	? (TO) TT=10000.1	? (TO) TT=10000	? (exit code) TT=9998.05
APPLICATIONS/ crypto/desgen/ gss-32-s100.cnf		? (exit code) TT=9999.02	? (TO) TT=10000.1	? (TO) TT=10000	? TT=3600.6	? (TO) TT=10000	? (TO) TT=10000	? (TO) TT=10000	? (TO) TT=10000.1	? (TO) TT=10000	? (TO) TT=10000.1	? (TO) TT=10000.1	? (TO) TT=10000.1	? (TO) TT=10000.1	? (TO) TT=10000.1	? (TO) TT=10000	? (exit code) TT=9998.35
APPLICATIONS/ crypto/desgen/ gss-33-s100.cnf		? (exit code) TT=9999.58	? (TO) TT=10000.1	? (TO) TT=10000	? TT=3600.6	? (TO) TT=10000.1	? (TO) TT=10000.1	? (TO) TT=10000	? (TO) TT=10000	? (TO) TT=10000.1	? (TO) TT=10000.1	? (TO) TT=10000.1	? (TO) TT=10000.1	? (TO) TT=10000.1	? (TO) TT=10000	? (TO) TT=10000	? (exit code) TT=9998.07
APPLICATIONS/ crypto/desgen/ gss-34-s100.cnf		? (exit code) TT=9999.58	? (TO) TT=10000.1	? (TO) TT=10000.1	? TT=3600.6	? (TO) TT=10000.1	? (TO) TT=10000.2	? (TO) TT=10000.1	? (TO) TT=10000.1	? (TO) TT=10000	? (TO) TT=10000.1	? (TO) TT=10000.1	? (TO) TT=10000	? (TO) TT=10000.1	? (TO) TT=10000.1	? (TO) TT=10000	? (exit code) TT=9998.08
APPLICATIONS/ crypto/md5gen/ gus-md5-04.cnf	UNSAT TT=4.325	UNSAT TT=8.545	UNSAT TT=9.637	UNSAT TT=6.025	UNSAT TT=18.922	UNSAT TT=7.618	UNSAT TT=13.598	UNSAT TT=4.325	UNSAT TT=8.06	UNSAT TT=5.36	UNSAT TT=31.552	UNSAT TT=9.442	UNSAT TT=6.972	UNSAT TT=15.092	UNSAT TT=59.505	UNSAT TT=15.487	UNSAT TT=73.84
APPLICATIONS/ crypto/md5gen/ gus-md5-05.cnf	UNSAT TT=10.507	UNSAT TT=19.009	UNSAT TT=26.286	UNSAT TT=16.753	UNSAT TT=43.537	UNSAT TT=24.431	UNSAT TT=26.478	UNSAT TT=10.507	UNSAT TT=15.971	UNSAT TT=14.136	UNSAT TT=68.653	UNSAT TT=24.835	UNSAT TT=24.395	UNSAT TT=16.482	UNSAT TT=183.161	UNSAT TT=18.047	UNSAT TT=113.803
APPLICATIONS/ crypto/md5gen/ gus-md5-06.cnf	UNSAT TT=29.913	UNSAT TT=49.376	UNSAT TT=53.813	UNSAT TT=55.768	UNSAT TT=82.18	UNSAT TT=64.311	UNSAT TT=74.067	UNSAT TT=29.913	UNSAT TT=46.421	UNSAT TT=39.352	UNSAT TT=180.612	UNSAT TT=55.173	UNSAT TT=64.565	UNSAT TT=48.821	UNSAT TT=511.427	UNSAT TT=47.061	UNSAT TT=221.171
Bench name	Best results	CircUs 2009-03-23 (complete)	clasp 1.2.0-SAT09-32 (complete)	glucose 1.0 (complete)	kw 2009-03-20 (complete)	LySAT i/2009-03-20 (complete)	ManySAT 1.1 aimd 1/2009-03-20 (complete)	MiniSat 2.1 (Sat-race'08 Edition) (complete)	MiniSAT 09z 2009-03-22 (complete)	minisat_cumr p-2009-03-18 (complete)	MXC 2009-03-10 (complete)	precosat 236 (complete)	Rsat 2009-03-22 (complete)	SApperloT base (complete)	SAT07 reference solver: picosat 535 (complete)	SAT07 reference solver: Rsat 2007-02-08 (complete)	SATzilla2009_I 2009-03-22 (complete)
APPLICATIONS/ crypto/md5gen/ gus-md5-07.cnf	UNSAT TT=84.549	UNSAT TT=155.451	UNSAT TT=162.969	UNSAT TT=157.384	UNSAT TT=139.07	UNSAT TT=206.703	UNSAT TT=212.601	UNSAT TT=84.549	UNSAT TT=95.918	UNSAT TT=128.374	UNSAT TT=340.499	UNSAT TT=196.142	UNSAT TT=193.688	UNSAT TT=133.578	UNSAT TT=1431.01	UNSAT TT=138.797	UNSAT TT=840.421
APPLICATIONS/ crypto/md5gen/ gus-md5-09.cnf	UNSAT TT=661.016	UNSAT TT=2028.22	UNSAT TT=1565.63	UNSAT TT=2432.37	UNSAT TT=1146.76	UNSAT TT=1397.64	UNSAT TT=2510.31	UNSAT TT=661.016	UNSAT TT=715.925	UNSAT TT=1325.84	UNSAT TT=2569.93	UNSAT TT=1035.95	UNSAT TT=4325.56	UNSAT TT=1104.95	? (TO) TT=10000.1	UNSAT TT=929.606	UNSAT TT=6867.44
APPLICATIONS/ crypto/md5gen/ gus-md5-10.cnf	UNSAT TT=1761.72	UNSAT TT=6058	UNSAT TT=9208.11	? (TO) TT=10000.1	UNSAT TT=2962.13	UNSAT TT=4704.27	UNSAT TT=5974.62	UNSAT TT=1873.16	UNSAT TT=2581.55	UNSAT TT=3554.03	UNSAT TT=6008.8	UNSAT TT=2178.03	? (TO) TT=10000	UNSAT TT=2454.49	? (TO) TT=10000.1	UNSAT TT=2080.77	UNSAT TT=1761.72
APPLICATIONS/ crypto/md5gen/ gus-md5-11.cnf	UNSAT TT=4518.06	? (exit code) TT=9999.83	? (TO) TT=10000.1	? (TO) TT=10000.1	? TT=3601.31	? (TO) TT=10000.1	? (TO) TT=10000.1	UNSAT TT=4518.06	? (TO) TT=10000	? (TO) TT=10000.1	? (TO) TT=10000.1	UNSAT TT=5947.85	? (TO) TT=10000.1	UNSAT TT=5838.22	? (TO) TT=10000	UNSAT TT=6851.4	? (exit code) TT=9998.02
APPLICATIONS/ crypto/md5gen/ gus-md5-14.cnf		? (exit code) TT=9999.83	? (TO) TT=10000.1	? (TO) TT=10000	? TT=3601.28	? (TO) TT=10000	? (TO) TT=10000.1	? (TO) TT=10000.1	? (TO) TT=10000.1	? (TO) TT=10000.1	? (TO) TT=10000.1	? (TO) TT=10000.1	? (TO) TT=10000	? (TO) TT=10000.1	? (TO) TT=10000.1	? (TO) TT=10000	? (exit code) TT=9998
APPLICATIONS/ crypto/md5gen/ gus-md5-15.cnf		? (exit code) TT=9999.83	? (TO) TT=10000.1	? (TO) TT=10000	? TT=3601.22	? (TO) TT=10000	? (TO) TT=10000.1	? (TO) TT=10000.1	? (TO) TT=10000.1	? (TO) TT=10000.1	? (TO) TT=10000	? (TO) TT=10000	? (TO) TT=10000	? (TO) TT=10000.1	? (TO) TT=10000.1	? (TO) TT=10000.1	? (exit code) TT=9998.33
APPLICATIONS/ crypto/md5gen/ gus-md5-16.cnf		? (exit code) TT=10000	? (TO) TT=10000.1	? (TO) TT=10000	? TT=3601.23	? (TO) TT=10000.1	? (TO) TT=10000.1	? (TO) TT=10000.1	? (TO) TT=10000	? (TO) TT=10000.1	? (TO) TT=10000.1	? (TO) TT=10000.1	? (TO) TT=10000.1	? (TO) TT=10000.1	? (TO) TT=10000.1	? (TO) TT=10000	? (exit code) TT=9998.2
APPLICATIONS/diagnosis/ ACG-10-5p0.cnf	UNSAT TT=40.387	UNSAT TT=81.273	UNSAT TT=136.444	UNSAT TT=43.15	UNSAT TT=135.268	UNSAT TT=75.244	UNSAT TT=89.272	UNSAT TT=42.127	UNSAT TT=83.263	UNSAT TT=40.387	UNSAT TT=91.224	UNSAT TT=72.372	UNSAT TT=84.305	UNSAT TT=62.067	UNSAT TT=110.287	UNSAT TT=106.779	UNSAT TT=122.83
APPLICATIONS/diagnosis/ ACG-15-10p0.cnf	UNSAT TT=1091.03	UNSAT TT=2606.44	? (MO) TT=8575.24	UNSAT TT=2297.58	UNSAT TT=2258.36	UNSAT TT=2136.32	UNSAT TT=2011.84	UNSAT TT=1561.96	UNSAT TT=2005.26	UNSAT TT=2748.83	UNSAT TT=2191.32	UNSAT TT=1091.03	UNSAT TT=4612.84	UNSAT TT=4272.7	UNSAT TT=4174.92	UNSAT TT=5532.2	UNSAT TT=2703.5
APPLICATIONS/diagnosis/ ACG-15-10p1.cnf	SAT TT=1069.61	SAT TT=4191.89	? (MO) TT=5428.32	SAT TT=3655.59	SAT TT=3311.58	SAT TT=5549.16	SAT TT=3129.18	SAT TT=2169.84	SAT TT=2015.13	SAT TT=1725.3	SAT TT=2904.6	SAT TT=1069.61	SAT TT=5318.84	SAT TT=5046.16	SAT TT=4856.16	SAT TT=3622.99	SAT TT=3585.51
Bench name	Best results	CircUs 2009-03-23 (complete)	clasp 1.2.0-SAT09-32 (complete)	glucose 1.0 (complete)	kw 2009-03-20 (complete)	LySAT i/2009-03-20 (complete)	ManySAT 1.1 aimd 1/2009-03-20 (complete)	MiniSat 2.1 (Sat-race'08 Edition) (complete)	MiniSAT 09z 2009-03-22 (complete)	minisat_cumr p-2009-03-18 (complete)	MXC 2009-03-10 (complete)	precosat 236 (complete)	Rsat 2009-03-22 (complete)	SApperloT base (complete)	SAT07 reference solver: picosat 535 (complete)	SAT07 reference solver: Rsat 2007-02-08 (complete)	SATzilla2009_I 2009-03-22 (complete)
APPLICATIONS/diagnosis/ ACG-20-10p0.cnf	UNSAT TT=2458.22	UNSAT TT=4527.96	? (MO) TT=4692.28	UNSAT TT=6606.89	? TT=3609.85	UNSAT TT=6138.63	UNSAT TT=5929.15	UNSAT TT=4521.18	UNSAT TT=9855.55	UNSAT TT=7523.61	UNSAT TT=7048.1	UNSAT TT=2458.22	? (TO) TT=10000	UNSAT TT=9375.64	? (TO) TT=10000.2	? (TO) TT=10000	? (MO) TT=8209.01
APPLICATIONS/diagnosis/ ACG-20-10p1.cnf	SAT TT=2943.54	SAT TT=6007.66	? (MO) TT=4379.3	? (TO) TT=10000	? TT=3610.56	? (TO) TT=10000.1	SAT TT=9972.05	SAT TT=5946.44	SAT TT=6497.93	? (TO) TT=10000	SAT TT=8438.41	SAT TT=2943.54	? (TO) TT=10000	SAT TT=6730.16	? (TO) TT=10000.1	? (TO) TT=10000.1	? (MO) TT=9856.18
APPLICATIONS/diagnosis/ ACG-20-5p1.cnf	SAT TT=679.102	SAT TT=1712.72	? (MO) TT=3938.7	SAT TT=1927.59	SAT TT=863.068	SAT TT=2613.16	SAT TT=2068.6	SAT TT=2169.33	SAT TT=2301.18	SAT TT=2233.39	SAT TT=3631.76	SAT TT=679.102	SAT TT=1573.07	SAT TT=2908.09	SAT TT=2322.95	SAT TT=2684.66	SAT TT=3050.19
APPLICATIONS/diagnosis/ UCG-10-5p0.cnf	UNSAT TT=27.535	UNSAT TT=38.334	UNSAT TT=75.7	UNSAT TT=27.535	UNSAT TT=99.572	UNSAT TT=37.542	UNSAT TT=75.219	UNSAT TT=43.552	UNSAT TT=54.169	UNSAT TT=36.969	UNSAT TT=50.792	UNSAT TT=58.093	UNSAT TT=49.778	UNSAT TT=48.17	UNSAT TT=61.836	UNSAT TT=68.438	UNSAT TT=145.032
APPLICATIONS/diagnosis/ UCG-15-10p0.cnf	UNSAT TT=948.018	UNSAT TT=1361.36	? (TO) TT=10000.3	UNSAT TT=1582.01	UNSAT TT=1235.55	UNSAT TT=1659.88	UNSAT TT=1154.07	UNSAT TT=1508.81	UNSAT TT=1028.61	UNSAT TT=2340.09	UNSAT TT=1529.52	UNSAT TT=948.018	UNSAT TT=1620.67	UNSAT TT=2623.59	UNSAT TT=2659.29	UNSAT TT=2493.35	UNSAT TT=1965.18
APPLICATIONS/diagnosis/ UCG-15-10p1.cnf	SAT TT=902.818	SAT TT=1538.5	? (MO) TT=5881.8	SAT TT=2182.15	SAT TT=2064.66	SAT TT=1264.63	SAT TT=2181.09	SAT TT=902.818	SAT TT=2696.18	SAT TT=991.935	SAT TT=2743.1	SAT TT=1230.72	SAT TT=2987.35	SAT TT=3875.2	SAT TT=3938.1	SAT TT=3752.98	SAT TT=1696.8
APPLICATIONS/diagnosis/ UCG-15-5p0.cnf	UNSAT TT=107.13	UNSAT TT=215.943	UNSAT TT=406.693	UNSAT TT=191.411	UNSAT TT=290.219	UNSAT TT=179.672	UNSAT TT=212.41	UNSAT TT=107.13	UNSAT TT=175.074	UNSAT TT=108.69	UNSAT TT=184.989	UNSAT TT=137.374	UNSAT TT=164.433	UNSAT TT=630.384	UNSAT TT=459.847	UNSAT TT=244.276	UNSAT TT=239.358
APPLICATIONS/diagnosis/ UCG-20-10p1.cnf	SAT TT=1802.41	SAT TT=4406.06	? (MO) TT=5077.13	SAT TT=6128.98	? TT=3609.07	SAT TT=5654.6	SAT TT=8733.67	SAT TT=3683.98	SAT TT=4369.7	SAT TT=3850.45	SAT TT=3949.75	SAT TT=1802.41	SAT TT=4467.27	SAT TT=5695.64	? (TO) TT=10000.1	? (TO) TT=10000	SAT TT=6840.46
APPLICATIONS/diagnosis/ UCG-20-5p1.cnf	SAT TT=425.544	SAT TT=1291.11	? (MO) TT=5126.37	SAT TT=1288.79	SAT TT=1039.41	SAT TT=1495.51	SAT TT=784.073	SAT TT=760.999	SAT TT=425.544	SAT TT=1181.5	SAT TT=1198.2	SAT TT=537.164	SAT TT=1602.5	SAT TT=1984.38	SAT TT=1420	SAT TT=2102.6	SAT TT=1788.34
APPLICATIONS/diagnosis/ UR-10-5p0.cnf	UNSAT TT=37.6	UNSAT TT=58.013	UNSAT TT=73.308	UNSAT TT=37.6	UNSAT TT=123.464	UNSAT TT=42.633	UNSAT TT=61.962	UNSAT TT=48.326	UNSAT TT=50.037	UNSAT TT=46.856	UNSAT TT=49.043	UNSAT TT=76.003	UNSAT TT=52.5	UNSAT TT=94.806	UNSAT TT=99.083	UNSAT TT=104.331	UNSAT TT=93.306
Bench name	Best results	CircUs 2009-03-23 (complete)	clasp 1.2.0-SAT09-32 (complete)	glucose 1.0 (complete)	kw 2009-03-20 (complete)	LySAT i/2009-03-20 (complete)	ManySAT 1.1 aimd 1/2009-03-20 (complete)	MiniSat 2.1 (Sat-race'08 Edition) (complete)	MiniSAT 09z 2009-03-22 (complete)	minisat_cumr p-2009-03-18 (complete)	MXC 2009-03-10 (complete)	precosat 236 (complete)	Rsat 2009-03-22 (complete)	SApperloT base (complete)	SAT07 reference solver: picosat 535 (complete)	SAT07 reference solver: Rsat 2007-02-08 (complete)	SATzilla2009_I 2009-03-22 (complete)
APPLICATIONS/diagnosis/ UR-10-5p1.cnf	SAT TT=13.91	SAT TT=14.066	SAT TT=25.187	SAT TT=18.78	SAT TT=109.593	SAT TT=61.344	SAT TT=38.585	SAT TT=37.535	SAT TT=23.729	SAT TT=15.376	SAT TT=47.288	SAT TT=73.388	SAT TT=52.634	SAT TT=13.91	SAT TT=48.542	SAT TT=52.042	SAT TT=121.775
APPLICATIONS/diagnosis/ UR-15-10p0.cnf	UNSAT TT=1694.48	UNSAT TT=1941.93	? (TO) TT=10000.2	UNSAT TT=1815.53	UNSAT TT=3398.77	UNSAT TT=2132.62	UNSAT TT=2487.1	UNSAT TT=1694.48	UNSAT TT=2334.72	UNSAT TT=3020.9	UNSAT TT=1990.02	UNSAT TT=1903.72	UNSAT TT=2661.82	UNSAT TT=6349.01	UNSAT TT=5450.63	UNSAT TT=4531.09	UNSAT TT=2728.56
APPLICATIONS/diagnosis/ UR-15-10p1.cnf	SAT TT=2078.49	SAT TT=2078.49	? (TO) TT=10000.3	SAT TT=2852.67	? TT=3606.56	SAT TT=5445.97	SAT TT=3391.2	SAT TT=2571.25	SAT TT=4525.11	SAT TT=5307.86	SAT TT=7070.14	SAT TT=2344.5	SAT TT=5593.74	SAT TT=8697.58	SAT TT=8574.56	? (TO) TT=10000	SAT TT=5718.29
APPLICATIONS/diagnosis/ UR-15-5p0.cnf	UNSAT TT=160.007	UNSAT TT=296.307	UNSAT TT=2560.54	UNSAT TT=174.648	UNSAT TT=332.639	UNSAT TT=160.007	UNSAT TT=388.643	UNSAT TT=208.114	UNSAT TT=297.755	UNSAT TT=199.586	UNSAT TT=191.222	UNSAT TT=354.179	UNSAT TT=241.491	UNSAT TT=547.902	UNSAT TT=637.607	UNSAT TT=502.228	UNSAT TT=301.993
APPLICATIONS/diagnosis/ UR-20-10p1.cnf	SAT TT=8766.23	? (exit code) TT=9999.31	? (MO) TT=5256.97	SAT TT=8766.23	? TT=3609.15	? (TO) TT=10000	? (TO) TT=10000	? (TO) TT=10000.2	? (TO) TT=10000	? (TO) TT=10000.1	? (TO) TT=10000.3	? (TO) TT=10000.1	? (TO) TT=10000.1	? (TO) TT=10000	? (TO) TT=10000.1	? (TO) TT=10000.1	? (exit code) TT=9998.17
APPLICATIONS/diagnosis/ UR-20-5p0.cnf	UNSAT TT=1466.4	UNSAT TT=2350.17	? (MO) TT=6562.42	UNSAT TT=2117.71	UNSAT TT=3496.67	UNSAT TT=2132.33	UNSAT TT=2762.44	UNSAT TT=1769.76	UNSAT TT=3312.72	UNSAT TT=3932.65	UNSAT TT=3084.86	UNSAT TT=1466.4	UNSAT TT=3699.97	UNSAT TT=4884.21	UNSAT TT=7948.85	UNSAT TT=2836.68	UNSAT TT=2335.14
APPLICATIONS/diagnosis/ UR-20-5p1.cnf	SAT TT=1718.63	SAT TT=6155.26	? (MO) TT=5366.9	SAT TT=1804.89	SAT TT=3534.46	SAT TT=3290.81	SAT TT=4878.16	SAT TT=2128.61	SAT TT=4445.68	SAT TT=9804.42	SAT TT=4445.82	SAT TT=1718.63	SAT TT=4511.07	SAT TT=5972.65	? (TO) TT=10000.1	SAT TT=9044.28	SAT TT=4436.17
APPLICATIONS/diagnosis/ UTI-10-10p0.cnf	UNSAT TT=33.498	UNSAT TT=181.136	UNSAT TT=2228.18	UNSAT TT=33.498	UNSAT TT=392.497	UNSAT TT=321.439	UNSAT TT=86.689	UNSAT TT=136.032	UNSAT TT=115.442	UNSAT TT=268.106	UNSAT TT=149.887	UNSAT TT=421.724	UNSAT TT=409.419	UNSAT TT=518.175	UNSAT TT=102.783	UNSAT TT=271.04	UNSAT TT=617.518
APPLICATIONS/diagnosis/ UTI-15-10p0.cnf	UNSAT TT=184.805	UNSAT TT=729.258	UNSAT TT=5317.12	UNSAT TT=184.805	UNSAT TT=657.473	UNSAT TT=396.865	UNSAT TT=564.126	UNSAT TT=469.382	UNSAT TT=436.759	UNSAT TT=702.688	UNSAT TT=281.419	UNSAT TT=1049.83	UNSAT TT=305.39	UNSAT TT=1408.68	UNSAT TT=636.567	UNSAT TT=1094.02	UNSAT TT=576.802
APPLICATIONS/diagnosis/ UTI-15-10p1.cnf	SAT TT=407.339	SAT TT=1239.15	SAT TT=3245.53	SAT TT=407.339	SAT TT=689.273	SAT TT=700.235	SAT TT=1060.94	SAT TT=532.214	SAT TT=577.703	SAT TT=493.54	SAT TT=441.91	SAT TT=1344.97	SAT TT=772.761	SAT TT=1545.71	SAT TT=1250.81	SAT TT=1342.33	SAT TT=1140.37
Bench name	Best results	CircUs 2009-03-23 (complete)	clasp 1.2.0-SAT09-32 (complete)	glucose 1.0 (complete)	kw 2009-03-20 (complete)	LySAT i/2009-03-20 (complete)	ManySAT 1.1 aimd 1/2009-03-20 (complete)	MiniSat 2.1 (Sat-race'08 Edition) (complete)	MiniSAT 09z 2009-03-22 (complete)	minisat_cumr p-2009-03-18 (complete)	MXC 2009-03-10 (complete)	precosat 236 (complete)	Rsat 2009-03-22 (complete)	SApperloT base (complete)	SAT07 reference solver: picosat 535 (complete)	SAT07 reference solver: Rsat 2007-02-08 (complete)	SATzilla2009_I 2009-03-22 (complete)
APPLICATIONS/diagnosis/ UTI-15-5p0.cnf	UNSAT TT=565.298	UNSAT TT=1188.51	? (TO) TT=10000.3	UNSAT TT=623.37	UNSAT TT=1440.26	UNSAT TT=565.298	UNSAT TT=1455.18	UNSAT TT=1096.66	UNSAT TT=1119.25	UNSAT TT=2879.18	UNSAT TT=1013.21	UNSAT TT=873.479	UNSAT TT=1069.41	UNSAT TT=2542.51	UNSAT TT=3153.49	UNSAT TT=3460.12	UNSAT TT=1840.16
APPLICATIONS/diagnosis/ UTI-15-5p1.cnf	SAT TT=102.416	SAT TT=910.604	? (TO) TT=10000.3	SAT TT=102.416	SAT TT=372.063	SAT TT=465.925	SAT TT=1241.84	SAT TT=293.814	SAT TT=286.83	SAT TT=354.48	SAT TT=131.972	SAT TT=281.185	SAT TT=1030.66	SAT TT=1182.42	SAT TT=799.456	SAT TT=2447.4	SAT TT=877.378
APPLICATIONS/diagnosis/ UTI-20-10p0.cnf	UNSAT TT=3542.12	UNSAT TT=6539.61	? (MO) TT=4584.01	UNSAT TT=3542.12	? TT=3608.62	UNSAT TT=5511.26	UNSAT TT=5342.43	? (TO) TT=10000.3	UNSAT TT=8576.02	? (MO) TT=9866.08	UNSAT TT=7132.76	UNSAT TT=6389.85	UNSAT TT=4080.57	UNSAT TT=7401.2	UNSAT TT=7840.54	? (TO) TT=10000.1	? (exit code) TT=9998.4
APPLICATIONS/diagnosis/ UTI-20-10p1.cnf	SAT TT=6289.06	? (exit code) TT=9999.84	? (MO) TT=5180.62	SAT TT=6289.06	? TT=3609.23	? (TO) TT=10000	? (TO) TT=10000.1	? (TO) TT=10000.2	? (TO) TT=10000	? (MO) TT=7583.35	? (TO) TT=10000.2	? (TO) TT=10000.2	SAT TT=9646.39	? (TO) TT=10000.2	? (TO) TT=10000.1	? (TO) TT=10000	? (exit code) TT=9998
APPLICATIONS/diagnosis/ UTI-20-5p0.cnf	UNSAT TT=1432.19	UNSAT TT=9662.83	? (MO) TT=4999.1	UNSAT TT=1933.32	? TT=3608.01	UNSAT TT=4466.78	UNSAT TT=3163.25	? (TO) TT=10000.2	UNSAT TT=1432.19	UNSAT TT=5374.4	UNSAT TT=3733.66	UNSAT TT=3514.04	UNSAT TT=5025.03	UNSAT TT=8920.92	UNSAT TT=6431.62	UNSAT TT=5356.89	UNSAT TT=4482.11
APPLICATIONS/diagnosis/ UTI-20-5p1.cnf	SAT TT=394.404	SAT TT=6085.6	? (MO) TT=4918.08	SAT TT=1394.26	SAT TT=1281.96	SAT TT=2678.1	SAT TT=3255.82	SAT TT=394.404	SAT TT=6316.17	SAT TT=5500.67	SAT TT=2121.78	SAT TT=2174.45	SAT TT=2555.65	SAT TT=5218.67	SAT TT=1062.81	? (TO) TT=10000.1	SAT TT=1004.47
APPLICATIONS/ satComp09_BioInstances/ndhf_xits_09_UNSAT.cnf		? (exit code) TT=9999.75	? (TO) TT=10000.1	? (TO) TT=10000.1	? TT=3600.82	? (TO) TT=10000	? (TO) TT=10000.1	? (TO) TT=10000.1	? (TO) TT=10000	? (TO) TT=10000	? (TO) TT=10000.1	? (TO) TT=10000.1	? (TO) TT=10000.1	? (TO) TT=10000.1	? (TO) TT=10000.1	? (TO) TT=10000	? (exit code) TT=9998.39
APPLICATIONS/ satComp09_BioInstances/ndhf_xits_10_UNSAT.cnf		? (exit code) TT=9999.78	? (TO) TT=10000.1	? (TO) TT=10000.1	? TT=3600.91	? (TO) TT=10000	? (TO) TT=10000.1	? (TO) TT=10000	? (TO) TT=10000	? (TO) TT=10000.1	? (TO) TT=10000.1	? (TO) TT=10000.1	? (TO) TT=10000	? (TO) TT=10000	? (TO) TT=10000.1	? (TO) TT=10000	? (exit code) TT=9998.46
APPLICATIONS/ satComp09_BioInstances/ndhf_xits_11_UNSAT.cnf		? (exit code) TT=9999.58	? (TO) TT=10000.1	? (TO) TT=10000	? TT=3601.01	? (TO) TT=10000.1	? (TO) TT=10000.1	? (TO) TT=10000.1	? (TO) TT=10000.1	? (TO) TT=10000	? (TO) TT=10000.1	? (TO) TT=10000.1	? (TO) TT=10000	? (TO) TT=10000.1	? (TO) TT=10000.1	? (TO) TT=10000	? (exit code) TT=9997.59
APPLICATIONS/ satComp09_BioInstances/ndhf_xits_12_UNSAT.cnf		? (exit code) TT=10000	? (TO) TT=10000.1	? (TO) TT=10000.1	? TT=3601.12	? (TO) TT=10000	? (TO) TT=10000.1	? (TO) TT=10000	? (TO) TT=10000	? (TO) TT=10000.1	? (TO) TT=10000.1	? (TO) TT=10000.1	? (TO) TT=10000	? (TO) TT=10000.1	? (TO) TT=10000	? (TO) TT=10000.1	? (exit code) TT=9998.09
Bench name	Best results	CircUs 2009-03-23 (complete)	clasp 1.2.0-SAT09-32 (complete)	glucose 1.0 (complete)	kw 2009-03-20 (complete)	LySAT i/2009-03-20 (complete)	ManySAT 1.1 aimd 1/2009-03-20 (complete)	MiniSat 2.1 (Sat-race'08 Edition) (complete)	MiniSAT 09z 2009-03-22 (complete)	minisat_cumr p-2009-03-18 (complete)	MXC 2009-03-10 (complete)	precosat 236 (complete)	Rsat 2009-03-22 (complete)	SApperloT base (complete)	SAT07 reference solver: picosat 535 (complete)	SAT07 reference solver: Rsat 2007-02-08 (complete)	SATzilla2009_I 2009-03-22 (complete)
APPLICATIONS/ satComp09_BioInstances/ndhf_xits_13_UNSAT.cnf		? (exit code) TT=9999.56	? (TO) TT=10000.1	? (TO) TT=10000	? TT=3601.25	? (TO) TT=10000.1	? (TO) TT=10000.2	? (TO) TT=10000.1	? (TO) TT=10000.1	? (TO) TT=10000	? (TO) TT=10000.2	? (TO) TT=10000.1	? (TO) TT=10000	? (TO) TT=10000.1	? (TO) TT=10000.1	? (TO) TT=10000	? (exit code) TT=9997.61
APPLICATIONS/ satComp09_BioInstances/ndhf_xits_14_UNSAT.cnf		? (exit code) TT=9999.86	? (TO) TT=10000.1	? (TO) TT=10000	? TT=3601.43	? (TO) TT=10000.1	? (TO) TT=10000.1	? (TO) TT=10000.1	? (TO) TT=10000.1	? (TO) TT=10000	? (TO) TT=10000.1	? (TO) TT=10000.1	? (TO) TT=10000	? (TO) TT=10000.1	? (TO) TT=10000.1	? (TO) TT=10000.1	? (exit code) TT=9997.86
APPLICATIONS/ satComp09_BioInstances/ ndhf_xits_15_UNKNOWN.cnf		? (exit code) TT=9999.87	? (TO) TT=10000.2	? (TO) TT=10000.1	? TT=3601.56	? (TO) TT=10000.1	? (TO) TT=10000	? (TO) TT=10000.2	? (TO) TT=10000.1	? (TO) TT=10000	? (TO) TT=10000.1	? (TO) TT=10000.1	? (TO) TT=10000.1	? (TO) TT=10000.1	? (TO) TT=10000	? (TO) TT=10000.1	? (exit code) TT=9998.01
APPLICATIONS/ satComp09_BioInstances/ ndhf_xits_16_UNKNOWN.cnf		? (TO) TT=10000.1	? (TO) TT=10000.1	? (TO) TT=10000	? TT=3601.75	? (TO) TT=10000	? (TO) TT=10000.1	? (TO) TT=10000.2	? (TO) TT=10000.1	? (TO) TT=10000.1	? (TO) TT=10000.1	? (TO) TT=10000.1	? (TO) TT=10000	? (TO) TT=10000.2	? (TO) TT=10000.1	? (TO) TT=10000	? (exit code) TT=9998.21
APPLICATIONS/ satComp09_BioInstances/ ndhf_xits_17_UNKNOWN.cnf		? (TO) TT=10000.2	? (TO) TT=10000.1	? (TO) TT=10000	? TT=3601.88	? (TO) TT=10000	? (TO) TT=10000	? (TO) TT=10000.1	? (TO) TT=10000.1	? (TO) TT=10000.1	? (TO) TT=10000.1	? (TO) TT=10000.1	? (TO) TT=10000	? (TO) TT=10000.2	? (TO) TT=10000.1	? (TO) TT=10000	? (exit code) TT=9998.21
APPLICATIONS/ satComp09_BioInstances/ ndhf_xits_20_SAT.cnf	SAT TT=19.011	SAT TT=321.429	? (TO) TT=10000.1	SAT TT=2792.15	SAT TT=65.291	SAT TT=596.309	? (MO) TT=9507.77	SAT TT=19.011	? (TO) TT=10000	SAT TT=52.687	SAT TT=31.85	SAT TT=250.088	? (TO) TT=10000	SAT TT=146.823	SAT TT=391.912	SAT TT=33.009	SAT TT=75.646
APPLICATIONS/ satComp09_BioInstances/ ndhf_xits_21_SAT.cnf	SAT TT=0.584	SAT TT=467.025	? (TO) TT=10000.2	SAT TT=2553.53	SAT TT=60.7	SAT TT=9824.89	SAT TT=223.081	SAT TT=21.632	SAT TT=11.955	SAT TT=11.821	SAT TT=32.985	SAT TT=10.208	? (TO) TT=10000	SAT TT=0.584	SAT TT=92.701	SAT TT=2075.68	SAT TT=10.912
APPLICATIONS/ satComp09_BioInstances/ ndhf_xits_22_SAT.cnf	SAT TT=0.629	SAT TT=11.812	SAT TT=1411.28	SAT TT=10.481	SAT TT=1765.37	SAT TT=12.756	SAT TT=31.308	SAT TT=22.114	SAT TT=13.797	SAT TT=28.206	SAT TT=32.859	SAT TT=7.959	SAT TT=10.741	SAT TT=0.629	SAT TT=8.668	SAT TT=13.41	SAT TT=12.885
APPLICATIONS/ satComp09_BioInstances/rbcl_xits_06_UNSAT.cnf	UNSAT TT=14.917	UNSAT TT=17.101	UNSAT TT=35.548	UNSAT TT=25.148	UNSAT TT=41.806	UNSAT TT=32.166	UNSAT TT=66.858	UNSAT TT=14.917	UNSAT TT=37.069	UNSAT TT=171.418	UNSAT TT=22.767	UNSAT TT=28.95	UNSAT TT=30.373	UNSAT TT=15.957	UNSAT TT=24.516	UNSAT TT=100.175	UNSAT TT=53.605
APPLICATIONS/ satComp09_BioInstances/rbcl_xits_07_UNSAT.cnf	UNSAT TT=120.626	UNSAT TT=662.951	UNSAT TT=464.644	UNSAT TT=624.644	UNSAT TT=1279.28	UNSAT TT=906.233	UNSAT TT=904.595	UNSAT TT=120.626	UNSAT TT=998.167	UNSAT TT=3206.19	UNSAT TT=374.872	UNSAT TT=194.62	UNSAT TT=548.799	UNSAT TT=251.352	UNSAT TT=797.564	UNSAT TT=6324.36	UNSAT TT=661.999
Bench name	Best results	CircUs 2009-03-23 (complete)	clasp 1.2.0-SAT09-32 (complete)	glucose 1.0 (complete)	kw 2009-03-20 (complete)	LySAT i/2009-03-20 (complete)	ManySAT 1.1 aimd 1/2009-03-20 (complete)	MiniSat 2.1 (Sat-race'08 Edition) (complete)	MiniSAT 09z 2009-03-22 (complete)	minisat_cumr p-2009-03-18 (complete)	MXC 2009-03-10 (complete)	precosat 236 (complete)	Rsat 2009-03-22 (complete)	SApperloT base (complete)	SAT07 reference solver: picosat 535 (complete)	SAT07 reference solver: Rsat 2007-02-08 (complete)	SATzilla2009_I 2009-03-22 (complete)
APPLICATIONS/ satComp09_BioInstances/rbcl_xits_08_UNSAT.cnf	UNSAT TT=3892.92	? (exit code) TT=9999.83	UNSAT TT=4385.79	? (TO) TT=10000.1	? TT=3600.31	? (TO) TT=10000	? (TO) TT=10000.1	UNSAT TT=3892.92	? (TO) TT=10000.1	? (TO) TT=10000	UNSAT TT=5542.4	UNSAT TT=3905.93	? (TO) TT=10000	UNSAT TT=7383.27	? (TO) TT=10000.1	? (TO) TT=10000.1	? (exit code) TT=9997.71
APPLICATIONS/ satComp09_BioInstances/ rbcl_xits_09_UNKNOWN.cnf		? (exit code) TT=9999.59	? (TO) TT=10000.1	? (TO) TT=10000	? TT=3600.38	? (TO) TT=10000.1	? (TO) TT=10000	? (TO) TT=10000.1	? (TO) TT=10000	? (TO) TT=10000	? (TO) TT=10000.1	? (TO) TT=10000.1	? (TO) TT=10000	? (TO) TT=10000.1	? (TO) TT=10000	? (TO) TT=10000.1	? (exit code) TT=9997.94
APPLICATIONS/ satComp09_BioInstances/ rbcl_xits_10_UNKNOWN.cnf		? (exit code) TT=9999.79	? (TO) TT=10000.1	? (TO) TT=10000	? TT=3600.46	? (TO) TT=10000.1	? (TO) TT=10000	? (TO) TT=10000.1	? (TO) TT=10000.1	? (TO) TT=10000.1	? (TO) TT=10000.1	? (TO) TT=10000.1	? (TO) TT=10000	? (TO) TT=10000.1	? (TO) TT=10000	? (TO) TT=10000	? (exit code) TT=9998.16
APPLICATIONS/ satComp09_BioInstances/ rbcl_xits_11_UNKNOWN.cnf		? (exit code) TT=9999.61	? (TO) TT=10000.1	? (TO) TT=10000.1	? TT=3600.56	? (TO) TT=10000.1	? (TO) TT=10000.2	? (TO) TT=10000.1	? (TO) TT=10000.1	? (TO) TT=10000	? (TO) TT=10000.1	? (TO) TT=10000.1	? (TO) TT=10000.1	? (TO) TT=10000.1	? (TO) TT=10000	? (TO) TT=10000.1	? (exit code) TT=9998.23
APPLICATIONS/ satComp09_BioInstances/ rbcl_xits_12_UNKNOWN.cnf		? (TO) TT=10000	? (TO) TT=10000.1	? (TO) TT=10000.1	? TT=3600.61	? (TO) TT=10000	? (TO) TT=10000.2	? (TO) TT=10000.1	? (TO) TT=10000	? (TO) TT=10000.1	? (TO) TT=10000.1	? (TO) TT=10000.1	? (TO) TT=10000.1	? (TO) TT=10000.1	? (TO) TT=10000	? (TO) TT=10000.1	? (exit code) TT=9997.84
APPLICATIONS/ satComp09_BioInstances/ rbcl_xits_13_UNKNOWN.cnf		? (exit code) TT=9999.84	? (TO) TT=10000.1	? (TO) TT=10000	? TT=3600.64	? (TO) TT=10000.1	? (TO) TT=10000	? (TO) TT=10000.1	? (TO) TT=10000.1	? (TO) TT=10000.1	? (TO) TT=10000.1	? (TO) TT=10000.1	? (TO) TT=10000.1	? (TO) TT=10000.1	? (TO) TT=10000	? (TO) TT=10000	? (exit code) TT=9998.23
APPLICATIONS/ satComp09_BioInstances/ rbcl_xits_14_SAT.cnf	SAT TT=2.224	SAT TT=162.657	SAT TT=19.652	SAT TT=2.929	SAT TT=25.059	SAT TT=60.039	SAT TT=13.646	SAT TT=3.282	SAT TT=2120.88	SAT TT=2.224	SAT TT=493.788	SAT TT=42.227	? (TO) TT=10000.1	SAT TT=4148.3	SAT TT=4.434	SAT TT=8.048	SAT TT=13.215
APPLICATIONS/ satComp09_BioInstances/rpoc_xits_07_UNSAT.cnf	UNSAT TT=143.807	UNSAT TT=554.13	UNSAT TT=188.712	UNSAT TT=379.633	UNSAT TT=614.381	UNSAT TT=500.193	UNSAT TT=843.071	UNSAT TT=154.136	UNSAT TT=503.43	UNSAT TT=2088.07	UNSAT TT=274.72	UNSAT TT=159.22	UNSAT TT=509.109	UNSAT TT=143.807	UNSAT TT=493.363	UNSAT TT=2856.05	UNSAT TT=589.005
APPLICATIONS/ satComp09_BioInstances/rpoc_xits_08_UNSAT.cnf	UNSAT TT=1327.52	? (exit code) TT=9998.83	UNSAT TT=2214.93	UNSAT TT=9905.29	? TT=3600.36	? (TO) TT=10000	? (TO) TT=10000.2	UNSAT TT=3151.09	? (TO) TT=10000.1	? (TO) TT=10000.1	UNSAT TT=5307.27	UNSAT TT=1327.52	? (TO) TT=10000	UNSAT TT=3080.53	? (TO) TT=10000.1	? (TO) TT=10000.1	UNSAT TT=9740.65
APPLICATIONS/ satComp09_BioInstances/rpoc_xits_09_UNSAT.cnf		? (exit code) TT=9999.17	? (TO) TT=10000	? (TO) TT=10000	? TT=3600.41	? (TO) TT=10000.1	? (TO) TT=10000.1	? (TO) TT=10000.1	? (TO) TT=10000	? (TO) TT=10000.1	? (TO) TT=10000.1	? (TO) TT=10000.1	? (TO) TT=10000.1	? (TO) TT=10000.1	? (TO) TT=10000.1	? (TO) TT=10000.1	? (exit code) TT=9998.42
Bench name	Best results	CircUs 2009-03-23 (complete)	clasp 1.2.0-SAT09-32 (complete)	glucose 1.0 (complete)	kw 2009-03-20 (complete)	LySAT i/2009-03-20 (complete)	ManySAT 1.1 aimd 1/2009-03-20 (complete)	MiniSat 2.1 (Sat-race'08 Edition) (complete)	MiniSAT 09z 2009-03-22 (complete)	minisat_cumr p-2009-03-18 (complete)	MXC 2009-03-10 (complete)	precosat 236 (complete)	Rsat 2009-03-22 (complete)	SApperloT base (complete)	SAT07 reference solver: picosat 535 (complete)	SAT07 reference solver: Rsat 2007-02-08 (complete)	SATzilla2009_I 2009-03-22 (complete)
APPLICATIONS/ satComp09_BioInstances/ rpoc_xits_10_UNKNOWN.cnf		? (exit code) TT=9999.83	? (TO) TT=10000.1	? (TO) TT=10000	? TT=3600.5	? (TO) TT=10000.1	? (TO) TT=10000.1	? (TO) TT=10000.1	? (TO) TT=10000.1	? (TO) TT=10000	? (TO) TT=10000.1	? (TO) TT=10000.1	? (TO) TT=10000	? (TO) TT=10000.1	? (TO) TT=10000.1	? (TO) TT=10000	? (exit code) TT=9997.59
APPLICATIONS/ satComp09_BioInstances/ rpoc_xits_11_UNKNOWN.cnf		? (exit code) TT=9999.85	? (TO) TT=10000.1	? (TO) TT=10000	? TT=3600.53	? (TO) TT=10000	? (TO) TT=10000.1	? (TO) TT=10000.1	? (TO) TT=10000	? (TO) TT=10000.1	? (TO) TT=10000.1	? (TO) TT=10000	? (TO) TT=10000.1	? (TO) TT=10000.1	? (TO) TT=10000.1	? (TO) TT=10000	? (exit code) TT=9998.13
APPLICATIONS/ satComp09_BioInstances/ rpoc_xits_12_UNKNOWN.cnf		? (exit code) TT=9999.8	? (TO) TT=10000.1	? (TO) TT=10000	? TT=3600.62	? (TO) TT=10000.1	? (TO) TT=10000.1	? (TO) TT=10000.1	? (TO) TT=10000.1	? (TO) TT=10000	? (TO) TT=10000.1	? (TO) TT=10000.1	? (TO) TT=10000	? (TO) TT=10000.1	? (TO) TT=10000.1	? (TO) TT=10000.1	? (exit code) TT=9997.53
APPLICATIONS/ satComp09_BioInstances/ rpoc_xits_13_UNKNOWN.cnf		? (exit code) TT=9999.59	? (TO) TT=10000.1	? (TO) TT=10000	? TT=3600.71	? (TO) TT=10000.1	? (TO) TT=10000.1	? (TO) TT=10000.1	? (TO) TT=10000	? (TO) TT=10000.1	? (TO) TT=10000.1	? (TO) TT=10000.1	? (TO) TT=10000	? (TO) TT=10000.1	? (TO) TT=10000.1	? (TO) TT=10000	? (exit code) TT=9998.32
APPLICATIONS/ satComp09_BioInstances/ rpoc_xits_14_UNKNOWN.cnf		? (exit code) TT=9999.6	? (TO) TT=10000.1	? (TO) TT=10000.1	? TT=3600.78	? (TO) TT=10000.1	? (TO) TT=10000.1	? (TO) TT=10000	? (TO) TT=10000.1	? (TO) TT=10000.1	? (TO) TT=10000.1	? (TO) TT=10000.1	? (TO) TT=10000.1	? (TO) TT=10000.1	? (TO) TT=10000.1	? (TO) TT=10000.1	? (exit code) TT=9997.99
APPLICATIONS/ satComp09_BioInstances/ rpoc_xits_17_SAT.cnf	SAT TT=1.354	SAT TT=2.371	SAT TT=16.874	SAT TT=2.938	SAT TT=13.346	SAT TT=2.901	SAT TT=3.422	SAT TT=4.42	SAT TT=2.748	SAT TT=2.781	SAT TT=6.682	SAT TT=2.845	SAT TT=2.51	SAT TT=1.354	SAT TT=1.916	SAT TT=3.583	SAT TT=6.007
cmu-bmc-barrel6.cnf	UNSAT TT=1.821	UNSAT TT=2.064	UNSAT TT=2.544	UNSAT TT=3.996	UNSAT TT=3.033	UNSAT TT=3.339	UNSAT TT=5.876	UNSAT TT=2.727	UNSAT TT=4.947	UNSAT TT=5.344	UNSAT TT=3.192	UNSAT TT=1.821	UNSAT TT=3.121	UNSAT TT=2.777	UNSAT TT=3.285	UNSAT TT=2.852	UNSAT TT=5.097
cmu-bmc-longmult15.cnf	UNSAT TT=14.91	UNSAT TT=41.962	UNSAT TT=26.209	UNSAT TT=41.801	UNSAT TT=34.989	UNSAT TT=35.705	UNSAT TT=36.09	UNSAT TT=27.858	UNSAT TT=29.052	UNSAT TT=44.902	UNSAT TT=38.835	UNSAT TT=30.696	UNSAT TT=14.91	UNSAT TT=33.971	UNSAT TT=67.601	UNSAT TT=23.553	UNSAT TT=58.824
een-tip-sat-texas-tp-5e.cnf	SAT TT=0.123	SAT TT=0.179	SAT TT=0.139	SAT TT=0.268	SAT TT=0.671	SAT TT=0.326	SAT TT=0.308	SAT TT=0.123	SAT TT=0.308	SAT TT=0.322	SAT TT=0.13	SAT TT=0.288	SAT TT=0.268	SAT TT=0.552	SAT TT=0.898	SAT TT=0.318	SAT TT=0.132
een-tip-uns-nusmv-t5.B.cnf	UNSAT TT=1.142	UNSAT TT=1.613	UNSAT TT=1.682	UNSAT TT=1.888	UNSAT TT=4.179	UNSAT TT=2.187	UNSAT TT=2.762	UNSAT TT=1.142	UNSAT TT=2.018	UNSAT TT=2.063	UNSAT TT=1.577	UNSAT TT=2.492	UNSAT TT=2.278	UNSAT TT=8.275	UNSAT TT=7.316	UNSAT TT=2.059	UNSAT TT=1.973
Bench name	Best results	CircUs 2009-03-23 (complete)	clasp 1.2.0-SAT09-32 (complete)	glucose 1.0 (complete)	kw 2009-03-20 (complete)	LySAT i/2009-03-20 (complete)	ManySAT 1.1 aimd 1/2009-03-20 (complete)	MiniSat 2.1 (Sat-race'08 Edition) (complete)	MiniSAT 09z 2009-03-22 (complete)	minisat_cumr p-2009-03-18 (complete)	MXC 2009-03-10 (complete)	precosat 236 (complete)	Rsat 2009-03-22 (complete)	SApperloT base (complete)	SAT07 reference solver: picosat 535 (complete)	SAT07 reference solver: Rsat 2007-02-08 (complete)	SATzilla2009_I 2009-03-22 (complete)
goldb-heqc-alu4mul.cnf	UNSAT TT=117.226	UNSAT TT=542.299	UNSAT TT=377.512	UNSAT TT=327.325	UNSAT TT=117.226	UNSAT TT=391.288	UNSAT TT=417.051	UNSAT TT=369.075	UNSAT TT=497.991	UNSAT TT=595.774	UNSAT TT=323.443	UNSAT TT=372.314	UNSAT TT=643.765	UNSAT TT=248.319	UNSAT TT=649.914	UNSAT TT=1027.37	UNSAT TT=551.811
goldb-heqc-dalumul.cnf	UNSAT TT=103.442	UNSAT TT=6237.48	UNSAT TT=1720.6	UNSAT TT=925.878	UNSAT TT=103.442	UNSAT TT=1672.08	UNSAT TT=2770.04	UNSAT TT=3123.47	UNSAT TT=6118.1	UNSAT TT=4090.84	UNSAT TT=2501.65	UNSAT TT=2304.49	? (TO) TT=10000.1	UNSAT TT=1780.72	? (TO) TT=10000	UNSAT TT=4527.53	UNSAT TT=4105.63
goldb-heqc-frg1mul.cnf	UNSAT TT=19.691	? (exit code) TT=9999.33	? (TO) TT=10000.1	UNSAT TT=2693.12	UNSAT TT=19.691	? (TO) TT=10000.1	? (TO) TT=10000.2	? (TO) TT=10000.1	? (TO) TT=10000.1	? (TO) TT=10000.1	? (TO) TT=10000	? (TO) TT=10000.1	? (TO) TT=10000.1	? (TO) TT=10000.1	? (TO) TT=10000.1	? (TO) TT=10000.1	? (exit code) TT=9998.01
goldb-heqc-i10mul.cnf	UNSAT TT=183.879	UNSAT TT=1247.91	UNSAT TT=4804.55	UNSAT TT=195.733	UNSAT TT=187.76	UNSAT TT=183.879	UNSAT TT=358.615	UNSAT TT=425.212	UNSAT TT=368.257	UNSAT TT=1674.58	UNSAT TT=521.826	UNSAT TT=311.761	UNSAT TT=1507.16	UNSAT TT=2906.3	UNSAT TT=706.189	UNSAT TT=2761.27	? (exit code) TT=9997.61
goldb-heqc-term1mul.cnf	UNSAT TT=27.887	UNSAT TT=977.819	UNSAT TT=892.208	UNSAT TT=40.427	UNSAT TT=27.887	UNSAT TT=400.682	UNSAT TT=133.276	UNSAT TT=36.209	UNSAT TT=54.581	UNSAT TT=3791.08	UNSAT TT=1210.4	UNSAT TT=81.102	UNSAT TT=431.913	UNSAT TT=776.347	UNSAT TT=179.242	UNSAT TT=1012.78	UNSAT TT=356.65
goldb-heqc-x1mul.cnf	UNSAT TT=100.906	? (exit code) TT=9999.49	? (TO) TT=10000	UNSAT TT=4919.2	UNSAT TT=100.906	? (TO) TT=10000	? (TO) TT=10000	? (TO) TT=10000.1	? (TO) TT=10000.1	? (TO) TT=10000	? (TO) TT=10000.1	? (TO) TT=10000.1	? (TO) TT=10000.1	? (TO) TT=10000	? (TO) TT=10000	? (TO) TT=10000	? (exit code) TT=9998.36
hoons-vbmc-lucky7.cnf	UNSAT TT=1.141	UNSAT TT=3.046	UNSAT TT=55.38	UNSAT TT=2.836	UNSAT TT=4.978	UNSAT TT=3.828	UNSAT TT=5.629	UNSAT TT=1.607	UNSAT TT=1.424	UNSAT TT=2.457	UNSAT TT=1.141	UNSAT TT=1.79	UNSAT TT=4.915	UNSAT TT=37.85	UNSAT TT=8.172	UNSAT TT=2.721	UNSAT TT=2.713
industrial/anbulagan/ hard-sat/ partial-10-13-s.cnf	SAT TT=1429.16	SAT TT=1429.16	? (MO) TT=7373.12	SAT TT=5423.78	? TT=3609.78	? (TO) TT=10000.1	? (MO) TT=7204.87	? (TO) TT=10000.3	? (TO) TT=10000	? (MO) TT=4679.27	SAT TT=4522.8	SAT TT=5977.73	SAT TT=9396.54	? (TO) TT=10000.1	? (TO) TT=10000.2	? (TO) TT=10000.1	SAT TT=6872.61
industrial/anbulagan/ hard-sat/ partial-10-15-s.cnf	SAT TT=228.828	? (TO) TT=10000.2	? (TO) TT=10000.3	SAT TT=3204.55	SAT TT=369.755	SAT TT=2942.23	SAT TT=2569.03	SAT TT=228.828	SAT TT=718.038	? (MO) TT=4615.3	SAT TT=839.868	SAT TT=1607.4	SAT TT=6970.93	? (TO) TT=10000.1	SAT TT=1841.43	? (MO) TT=7544.08	SAT TT=2866.46
industrial/anbulagan/ hard-sat/ partial-5-17-s.cnf	SAT TT=1230.26	SAT TT=2892.1	? (TO) TT=10000.3	SAT TT=3228.62	? TT=3607.75	SAT TT=6013.12	SAT TT=1230.26	? (TO) TT=10000.3	SAT TT=2430.63	? (MO) TT=5513.36	? (TO) TT=10000.2	SAT TT=1684.22	? (TO) TT=10000	? (TO) TT=10000.2	SAT TT=3772.32	? (TO) TT=10000	SAT TT=5934.92
Bench name	Best results	CircUs 2009-03-23 (complete)	clasp 1.2.0-SAT09-32 (complete)	glucose 1.0 (complete)	kw 2009-03-20 (complete)	LySAT i/2009-03-20 (complete)	ManySAT 1.1 aimd 1/2009-03-20 (complete)	MiniSat 2.1 (Sat-race'08 Edition) (complete)	MiniSAT 09z 2009-03-22 (complete)	minisat_cumr p-2009-03-18 (complete)	MXC 2009-03-10 (complete)	precosat 236 (complete)	Rsat 2009-03-22 (complete)	SApperloT base (complete)	SAT07 reference solver: picosat 535 (complete)	SAT07 reference solver: Rsat 2007-02-08 (complete)	SATzilla2009_I 2009-03-22 (complete)
industrial/anbulagan/ hard-unsat/ dated-10-19-u.cnf		? (exit code) TT=10000.1	? (TO) TT=10000.2	? (TO) TT=10000.1	? TT=3607.31	? (TO) TT=10000.1	? (TO) TT=10000.1	? (TO) TT=10000.2	? (TO) TT=10000	? (TO) TT=10000.1	? (TO) TT=10000.1	? (TO) TT=10000.1	? (TO) TT=10000	? (TO) TT=10000.2	? (TO) TT=10000.1	? (TO) TT=10000.1	? (exit code) TT=9997.62
industrial/anbulagan/ hard-unsat/ dated-5-13-u.cnf	UNSAT TT=8005.27	? (exit code) TT=9999.06	UNSAT TT=8005.27	UNSAT TT=8771.14	? TT=3603.71	? (TO) TT=10000	? (TO) TT=10000.2	? (TO) TT=10000.1	? (TO) TT=10000.1	? (TO) TT=10000	? (TO) TT=10000.1	? (TO) TT=10000.1	? (TO) TT=10000.1	? (TO) TT=10000.1	? (TO) TT=10000.1	? (TO) TT=10000.1	? (exit code) TT=9997.96
industrial/anbulagan/ hard-unsat/ dated-5-15-u.cnf	UNSAT TT=353.481	UNSAT TT=705.125	UNSAT TT=410.643	UNSAT TT=503.64	UNSAT TT=443.883	UNSAT TT=711.289	UNSAT TT=680.759	UNSAT TT=739.962	UNSAT TT=1489.2	UNSAT TT=1384.48	UNSAT TT=539.576	UNSAT TT=353.481	UNSAT TT=717.906	UNSAT TT=745.826	UNSAT TT=3062.71	UNSAT TT=967.74	UNSAT TT=1542.81
industrial/anbulagan/ hard-unsat/ dated-5-17-u.cnf	UNSAT TT=410.228	UNSAT TT=836.095	UNSAT TT=619.829	UNSAT TT=968.539	UNSAT TT=642.834	UNSAT TT=1125.85	UNSAT TT=1175.97	UNSAT TT=1528.86	UNSAT TT=1156.59	UNSAT TT=2450.71	UNSAT TT=595.718	UNSAT TT=410.228	UNSAT TT=928.005	UNSAT TT=1555.76	UNSAT TT=3421.77	UNSAT TT=1825.47	UNSAT TT=1729.16
industrial/anbulagan/ hard-unsat/ dated-5-19-u.cnf		? (exit code) TT=9999.41	? (TO) TT=10000.1	? (TO) TT=10000.1	? TT=3606.07	? (TO) TT=10000.1	? (TO) TT=10000	? (TO) TT=10000.1	? (TO) TT=10000.1	? (TO) TT=10000.1	? (TO) TT=10000.1	? (TO) TT=10000	? (TO) TT=10000	? (TO) TT=10000.2	? (TO) TT=10000.1	? (TO) TT=10000.1	? (exit code) TT=9997.69
industrial/anbulagan/ hard-unsat/ partial-10-13-u.cnf		? (TO) TT=10000.1	? (TO) TT=10000.3	? (TO) TT=10000.1	? TT=3606.53	? (TO) TT=10000	? (MO) TT=9406.09	? (TO) TT=10000.2	? (TO) TT=10000	? (MO) TT=5356.66	? (TO) TT=10000.3	? (TO) TT=10000.2	? (TO) TT=10000	? (TO) TT=10000.2	? (TO) TT=10000.1	? (TO) TT=10000	? (exit code) TT=9998.59
industrial/anbulagan/ hard-unsat/ partial-10-19-u.cnf		? (TO) TT=10000.1	? (MO) TT=3337.55	? (TO) TT=10000.1	? TT=3610.14	? (TO) TT=10000	? (MO) TT=8913.87	? (TO) TT=10000.3	? (TO) TT=10000.1	? (MO) TT=5263.74	? (TO) TT=10000.2	? (TO) TT=10000.3	? (TO) TT=10000	? (TO) TT=10000.2	? (TO) TT=10000.1	? (MO) TT=6715.6	? (exit code) TT=9998.22
industrial/anbulagan/ hard-unsat/ partial-5-11-u.cnf		? (exit code) TT=9999.47	? (TO) TT=10000.3	? (TO) TT=10000.1	? TT=3604.64	? (TO) TT=10000.1	? (TO) TT=10000	? (TO) TT=10000.2	? (TO) TT=10000	? (MO) TT=8039.38	? (TO) TT=10000.2	? (TO) TT=10000.2	? (TO) TT=10000.1	? (TO) TT=10000.2	? (TO) TT=10000.1	? (TO) TT=10000	? (exit code) TT=9998.26
industrial/anbulagan/ hard-unsat/ partial-5-13-u.cnf		? (TO) TT=10000.1	? (TO) TT=10000.3	? (TO) TT=10000.1	? TT=3605.23	? (TO) TT=10000.1	? (MO) TT=8694.35	? (TO) TT=10000.3	? (TO) TT=10000	? (MO) TT=5803.19	? (TO) TT=10000.2	? (TO) TT=10000.2	? (TO) TT=10000	? (TO) TT=10000.2	? (TO) TT=10000.1	? (TO) TT=10000	? (exit code) TT=9997.69
industrial/anbulagan/ hard-unsat/ partial-5-15-u.cnf		? (exit code) TT=10000	? (MO) TT=6922.08	? (TO) TT=10000.1	? TT=3606.53	? (TO) TT=10000.1	? (TO) TT=10000.1	? (TO) TT=10000.3	? (TO) TT=10000	? (MO) TT=6770.66	? (TO) TT=10000.3	? (TO) TT=10000.1	? (TO) TT=10000	? (TO) TT=10000.2	? (TO) TT=10000.1	? (TO) TT=10000	? (exit code) TT=9998.32
Bench name	Best results	CircUs 2009-03-23 (complete)	clasp 1.2.0-SAT09-32 (complete)	glucose 1.0 (complete)	kw 2009-03-20 (complete)	LySAT i/2009-03-20 (complete)	ManySAT 1.1 aimd 1/2009-03-20 (complete)	MiniSat 2.1 (Sat-race'08 Edition) (complete)	MiniSAT 09z 2009-03-22 (complete)	minisat_cumr p-2009-03-18 (complete)	MXC 2009-03-10 (complete)	precosat 236 (complete)	Rsat 2009-03-22 (complete)	SApperloT base (complete)	SAT07 reference solver: picosat 535 (complete)	SAT07 reference solver: Rsat 2007-02-08 (complete)	SATzilla2009_I 2009-03-22 (complete)
industrial/anbulagan/ hard-unsat/ partial-5-17-u.cnf		? (exit code) TT=9999.74	? (TO) TT=10000.3	? (TO) TT=10000.1	? TT=3607.19	? (TO) TT=10000	? (MO) TT=9656.76	? (TO) TT=10000.2	? (TO) TT=10000.1	? (MO) TT=5899.9	? (TO) TT=10000.3	? (TO) TT=10000.2	? (TO) TT=10000	? (TO) TT=10000.2	? (TO) TT=10000.2	? (TO) TT=10000.1	? (exit code) TT=9997.92
industrial/anbulagan/ hard-unsat/ total-10-17-u.cnf		? (exit code) TT=9999.75	? (TO) TT=10000.1	? (TO) TT=10000.1	? TT=3608.67	? (TO) TT=10000	? (TO) TT=10000.2	? (TO) TT=10000.2	? (TO) TT=10000	? (TO) TT=10000.1	? (TO) TT=10000.1	? (TO) TT=10000.1	? (TO) TT=10000.1	? (TO) TT=10000.2	? (TO) TT=10000.1	? (TO) TT=10000.1	? (exit code) TT=9997.99
industrial/anbulagan/ hard-unsat/ total-10-19-u.cnf		? (exit code) TT=9999.38	? (TO) TT=10000.2	? (TO) TT=10000	? TT=3610.02	? (TO) TT=10000.1	? (TO) TT=10000	? (TO) TT=10000.3	? (TO) TT=10000.1	? (TO) TT=10000	? (TO) TT=10000.1	? (TO) TT=10000.1	? (TO) TT=10000	? (TO) TT=10000.2	? (TO) TT=10000.1	? (TO) TT=10000	? (exit code) TT=9998.38
industrial/anbulagan/ hard-unsat/ total-5-15-u.cnf		? (exit code) TT=9999.99	? (TO) TT=10000.1	? (TO) TT=10000.1	? TT=3606.12	? (TO) TT=10000.1	? (TO) TT=10000.1	? (TO) TT=10000.2	? (TO) TT=10000	? (TO) TT=10000	? (TO) TT=10000.1	? (TO) TT=10000.1	? (TO) TT=10000	? (TO) TT=10000.2	? (TO) TT=10000.1	? (TO) TT=10000	? (exit code) TT=9998.33
industrial/anbulagan/ hard-unsat/ total-5-17-u.cnf		? (exit code) TT=9999.21	? (TO) TT=10000.1	? (TO) TT=10000.1	? TT=3607.4	? (TO) TT=10000.1	? (TO) TT=10000.1	? (TO) TT=10000.1	? (TO) TT=10000.1	? (TO) TT=10000.1	? (TO) TT=10000.2	? (TO) TT=10000.1	? (TO) TT=10000.1	? (TO) TT=10000.2	? (TO) TT=10000.1	? (TO) TT=10000	? (exit code) TT=9997.55
industrial/anbulagan/ medium-sat/ partial-5-13-s.cnf	SAT TT=6.311	SAT TT=694.328	SAT TT=179.628	SAT TT=33.696	SAT TT=202.177	SAT TT=184.646	SAT TT=188.562	SAT TT=486.087	SAT TT=473.735	SAT TT=345.22	SAT TT=130.461	SAT TT=95.477	SAT TT=158.379	SAT TT=6.311	SAT TT=695.576	SAT TT=1414	SAT TT=168.548
industrial/anbulagan/ medium-sat/ partial-5-15-s.cnf	SAT TT=163.041	SAT TT=1102.37	? (MO) TT=7128.25	SAT TT=743.3	SAT TT=268.227	SAT TT=896.26	SAT TT=836.774	SAT TT=1399.66	SAT TT=452.748	SAT TT=533.116	SAT TT=248.279	SAT TT=163.041	SAT TT=1259.98	SAT TT=4550.7	SAT TT=640.812	SAT TT=3305.46	SAT TT=251.515
industrial/anbulagan/ medium-unsat/ total-10-13-u.cnf	UNSAT TT=905.473	UNSAT TT=1832.98	UNSAT TT=1376.71	UNSAT TT=1960.41	UNSAT TT=905.473	UNSAT TT=4616.12	UNSAT TT=2169.55	UNSAT TT=2594.72	UNSAT TT=6333.66	UNSAT TT=5583.51	UNSAT TT=3998.86	UNSAT TT=3393.15	UNSAT TT=2044.14	UNSAT TT=2552.5	? (TO) TT=10000.1	UNSAT TT=2760.51	UNSAT TT=3049.98
industrial/anbulagan/ medium-unsat/ total-5-11-u.cnf	UNSAT TT=16.471	UNSAT TT=28.261	UNSAT TT=16.471	UNSAT TT=21.906	UNSAT TT=46.954	UNSAT TT=28.698	UNSAT TT=40.135	UNSAT TT=19.305	UNSAT TT=28.148	UNSAT TT=35.811	UNSAT TT=31.6	UNSAT TT=40.976	UNSAT TT=22.482	UNSAT TT=35.14	UNSAT TT=75.489	UNSAT TT=31.994	UNSAT TT=67.577
industrial/anbulagan/ medium-unsat/ total-5-13-u.cnf	UNSAT TT=37.945	UNSAT TT=51.728	UNSAT TT=49.481	UNSAT TT=51.652	UNSAT TT=92.441	UNSAT TT=69.426	UNSAT TT=131.57	UNSAT TT=50.293	UNSAT TT=91.925	UNSAT TT=88.533	UNSAT TT=63.008	UNSAT TT=37.945	UNSAT TT=43.03	UNSAT TT=50.487	UNSAT TT=200.324	UNSAT TT=71.516	UNSAT TT=189.099
Bench name	Best results	CircUs 2009-03-23 (complete)	clasp 1.2.0-SAT09-32 (complete)	glucose 1.0 (complete)	kw 2009-03-20 (complete)	LySAT i/2009-03-20 (complete)	ManySAT 1.1 aimd 1/2009-03-20 (complete)	MiniSat 2.1 (Sat-race'08 Edition) (complete)	MiniSAT 09z 2009-03-22 (complete)	minisat_cumr p-2009-03-18 (complete)	MXC 2009-03-10 (complete)	precosat 236 (complete)	Rsat 2009-03-22 (complete)	SApperloT base (complete)	SAT07 reference solver: picosat 535 (complete)	SAT07 reference solver: Rsat 2007-02-08 (complete)	SATzilla2009_I 2009-03-22 (complete)
industrial/babic/ hsatv17/ hsat_vc11803.cnf	UNSAT TT=1.535	UNSAT TT=1.998	UNSAT TT=4.294	UNSAT TT=8.795	UNSAT TT=8.025	UNSAT TT=10.258	UNSAT TT=9.698	UNSAT TT=1.727	UNSAT TT=10.261	UNSAT TT=9.681	UNSAT TT=1.535	UNSAT TT=4.002	UNSAT TT=9.604	UNSAT TT=4.396	UNSAT TT=7.583	UNSAT TT=10.009	UNSAT TT=1.542
industrial/babic/ hsatv17/ hsat_vc11813.cnf	UNSAT TT=2.076	UNSAT TT=2.076	UNSAT TT=6.061	UNSAT TT=12.519	UNSAT TT=9.408	UNSAT TT=13.65	UNSAT TT=13.565	UNSAT TT=2.369	UNSAT TT=13.482	UNSAT TT=13.5	UNSAT TT=2.302	UNSAT TT=5.608	UNSAT TT=13.89	UNSAT TT=3.278	UNSAT TT=20.254	UNSAT TT=14.198	UNSAT TT=2.168
industrial/babic/ xinetd/ xinetd_vc56703.cnf	UNSAT TT=0.242	UNSAT TT=0.423	UNSAT TT=0.453	UNSAT TT=0.286	UNSAT TT=1.396	UNSAT TT=0.327	UNSAT TT=0.33	UNSAT TT=0.303	UNSAT TT=0.281	UNSAT TT=0.278	UNSAT TT=0.293	UNSAT TT=0.487	UNSAT TT=0.329	UNSAT TT=0.242	UNSAT TT=2.253	UNSAT TT=0.347	UNSAT TT=0.28
industrial/ fuhs/hard/ AProVE07-01.cnf	UNSAT TT=6816.94	? (exit code) TT=9999.27	UNSAT TT=6816.94	? (TO) TT=10000.1	? TT=3600.19	? (TO) TT=10000.1	? (TO) TT=10000	? (TO) TT=10000.1	? (TO) TT=10000.1	? (TO) TT=10000.1	? (TO) TT=10000	? (TO) TT=10000.1	? (TO) TT=10000	? (TO) TT=10000.1	? (TO) TT=10000.1	? (TO) TT=10000.1	? (exit code) TT=9998.32
industrial/ fuhs/hard/ AProVE07-08.cnf	UNSAT TT=1110.79	UNSAT TT=2070.7	UNSAT TT=1300.43	UNSAT TT=2090.68	UNSAT TT=1110.79	UNSAT TT=1535.37	UNSAT TT=1941.32	UNSAT TT=2805.25	UNSAT TT=2528.75	UNSAT TT=7968.95	UNSAT TT=3443.16	UNSAT TT=1527.28	UNSAT TT=2439.3	UNSAT TT=4120.65	? (TO) TT=10000	UNSAT TT=6436.16	UNSAT TT=1279.93
industrial/ fuhs/hard/ AProVE07-25.cnf		? (exit code) TT=9999.34	? (TO) TT=10000.1	? (TO) TT=10000	? TT=3600.26	? (TO) TT=10000	? (TO) TT=10000.1	? (TO) TT=10000.1	? (TO) TT=10000	? (TO) TT=10000	? (TO) TT=10000.1	? (TO) TT=10000.1	? (TO) TT=10000.1	? (TO) TT=10000.1	? (TO) TT=10000	? (TO) TT=10000	? (exit code) TT=9998.33
industrial/ fuhs/hard/ AProVE07-26.cnf		? (TO) TT=10000.2	? (TO) TT=10000.1	? (TO) TT=10000	? TT=3600.55	? (TO) TT=10000	? (TO) TT=10000.1	? (TO) TT=10000.1	? (TO) TT=10000	? (TO) TT=10000	? (TO) TT=10000.1	? (TO) TT=10000.1	? (TO) TT=10000.1	? (TO) TT=10000.2	? (TO) TT=10000	? (TO) TT=10000	? (exit code) TT=9997.82
industrial/ fuhs/hard/ AProVE07-27.cnf	UNSAT TT=1122.1	UNSAT TT=3538.45	UNSAT TT=1122.1	UNSAT TT=3206.59	UNSAT TT=2950.53	UNSAT TT=3023.92	UNSAT TT=2091.09	UNSAT TT=3713.19	? (TO) TT=10000.1	UNSAT TT=3789.3	UNSAT TT=2277.01	UNSAT TT=1754.91	UNSAT TT=1591.57	UNSAT TT=5837.12	? (TO) TT=10000.1	? (TO) TT=10000	UNSAT TT=9459.75
industrial/ fuhs/medium/ AProVE07-09.cnf	UNSAT TT=342.131	UNSAT TT=1142.16	UNSAT TT=1086.33	UNSAT TT=391.936	UNSAT TT=838.369	UNSAT TT=1239.08	UNSAT TT=675.151	UNSAT TT=665.826	UNSAT TT=877.775	UNSAT TT=2158.85	UNSAT TT=933.413	UNSAT TT=342.131	UNSAT TT=933.666	UNSAT TT=1417.18	UNSAT TT=5436.05	UNSAT TT=4890.98	UNSAT TT=1551.17
industrial/ fuhs/medium/ AProVE07-16.cnf	UNSAT TT=199.268	UNSAT TT=606.632	UNSAT TT=199.268	UNSAT TT=488.104	UNSAT TT=417.893	UNSAT TT=425.684	UNSAT TT=496.519	UNSAT TT=306.51	UNSAT TT=607.889	UNSAT TT=637.491	UNSAT TT=536.737	UNSAT TT=480.347	UNSAT TT=1058.83	UNSAT TT=739.992	UNSAT TT=1287.02	UNSAT TT=1383.79	UNSAT TT=914.055
Bench name	Best results	CircUs 2009-03-23 (complete)	clasp 1.2.0-SAT09-32 (complete)	glucose 1.0 (complete)	kw 2009-03-20 (complete)	LySAT i/2009-03-20 (complete)	ManySAT 1.1 aimd 1/2009-03-20 (complete)	MiniSat 2.1 (Sat-race'08 Edition) (complete)	MiniSAT 09z 2009-03-22 (complete)	minisat_cumr p-2009-03-18 (complete)	MXC 2009-03-10 (complete)	precosat 236 (complete)	Rsat 2009-03-22 (complete)	SApperloT base (complete)	SAT07 reference solver: picosat 535 (complete)	SAT07 reference solver: Rsat 2007-02-08 (complete)	SATzilla2009_I 2009-03-22 (complete)
industrial/grieu/ vmpc_24.cnf	SAT TT=0.424	SAT TT=5.168	SAT TT=12.19	SAT TT=28.739	SAT TT=3.458	SAT TT=52.558	SAT TT=30.346	SAT TT=20.133	SAT TT=7.464	SAT TT=78.428	SAT TT=28.209	SAT TT=61.332	SAT TT=1.084	SAT TT=57.739	SAT TT=68.879	SAT TT=0.424	SAT TT=187.879
industrial/grieu/ vmpc_25.cnf	SAT TT=1.478	SAT TT=36.179	SAT TT=1.478	SAT TT=45.384	SAT TT=28.093	SAT TT=127.472	SAT TT=5.135	SAT TT=4.16	SAT TT=1.838	SAT TT=362.987	SAT TT=92.237	SAT TT=120.508	SAT TT=1.959	SAT TT=105.27	SAT TT=11.618	SAT TT=69.661	SAT TT=137.043
industrial/grieu/ vmpc_26.cnf	SAT TT=17.04	SAT TT=370.916	SAT TT=32.273	SAT TT=84.149	SAT TT=170.021	SAT TT=17.04	SAT TT=165.211	SAT TT=67.912	SAT TT=54.983	SAT TT=209.398	SAT TT=176.197	SAT TT=51.588	SAT TT=74.225	SAT TT=198.422	SAT TT=101.83	SAT TT=95.456	SAT TT=93.382
industrial/grieu/ vmpc_28.cnf	SAT TT=14.848	SAT TT=156.858	SAT TT=144.829	SAT TT=677.045	? TT=3600.53	SAT TT=2072.98	SAT TT=34.453	SAT TT=14.848	SAT TT=50.207	SAT TT=1902.56	SAT TT=21.909	SAT TT=468.771	SAT TT=64.344	SAT TT=838.006	SAT TT=277.102	SAT TT=110.276	SAT TT=953.665
industrial/grieu/ vmpc_29.cnf	SAT TT=49.853	SAT TT=850.009	SAT TT=1712.49	SAT TT=864.04	SAT TT=49.853	SAT TT=1195.95	SAT TT=201.683	SAT TT=1236.21	SAT TT=5368.03	SAT TT=2806.64	SAT TT=3048.06	SAT TT=3201.43	SAT TT=1893.82	SAT TT=1146.2	? (TO) TT=10000	? (TO) TT=10000.1	SAT TT=6883.07
industrial/grieu/ vmpc_30.cnf	SAT TT=60.126	SAT TT=60.126	SAT TT=169.355	SAT TT=1311.92	? TT=3600.65	SAT TT=92.588	SAT TT=502.956	SAT TT=1063.61	SAT TT=1648.39	SAT TT=5430.69	SAT TT=2965.86	SAT TT=238.662	SAT TT=409.77	SAT TT=1000.99	SAT TT=458.996	? (TO) TT=10000	SAT TT=530.81
industrial/grieu/ vmpc_33.cnf	SAT TT=150.288	SAT TT=200.698	? (TO) TT=10000.1	SAT TT=543.501	? TT=3600.87	? (TO) TT=10000	? (TO) TT=10000.1	? (TO) TT=10000.1	SAT TT=1983.34	? (TO) TT=10000	SAT TT=863.686	SAT TT=804.521	SAT TT=150.288	? (TO) TT=10000.1	? (TO) TT=10000.1	? (TO) TT=10000	SAT TT=2992.6
industrial/grieu/ vmpc_34.cnf	SAT TT=35.347	? (TO) TT=10000.1	? (TO) TT=10000.1	SAT TT=5105.81	? TT=3600.93	? (TO) TT=10000	SAT TT=35.347	? (TO) TT=10000.1	? (TO) TT=10000.1	? (TO) TT=10000	? (TO) TT=10000.1	? (TO) TT=10000.1	? (TO) TT=10000	? (TO) TT=10000.1	? (TO) TT=10000.1	? (TO) TT=10000	? (exit code) TT=9997.82
industrial/jarvisalo/ eq.atree.braun.10.unsat.cnf	UNSAT TT=413.163	UNSAT TT=2448.96	UNSAT TT=436.106	UNSAT TT=905.967	UNSAT TT=1261.19	UNSAT TT=1573.54	UNSAT TT=1156.19	UNSAT TT=2398.41	UNSAT TT=1470.02	UNSAT TT=3219.35	UNSAT TT=413.163	UNSAT TT=779.986	UNSAT TT=4603.53	UNSAT TT=472.011	UNSAT TT=3262.7	UNSAT TT=3637.14	UNSAT TT=563.658
industrial/jarvisalo/ eq.atree.braun.11.unsat.cnf	UNSAT TT=2045.93	? (TO) TT=10000.1	UNSAT TT=2045.93	UNSAT TT=8072.3	? TT=3624.15	? (TO) TT=10000.1	UNSAT TT=7308.62	? (TO) TT=10000	? (TO) TT=10000	? (TO) TT=10000	UNSAT TT=2586.96	UNSAT TT=4651.58	? (TO) TT=10000.1	UNSAT TT=3234.28	? (TO) TT=10000	? (TO) TT=10000	UNSAT TT=3387.63
Bench name	Best results	CircUs 2009-03-23 (complete)	clasp 1.2.0-SAT09-32 (complete)	glucose 1.0 (complete)	kw 2009-03-20 (complete)	LySAT i/2009-03-20 (complete)	ManySAT 1.1 aimd 1/2009-03-20 (complete)	MiniSat 2.1 (Sat-race'08 Edition) (complete)	MiniSAT 09z 2009-03-22 (complete)	minisat_cumr p-2009-03-18 (complete)	MXC 2009-03-10 (complete)	precosat 236 (complete)	Rsat 2009-03-22 (complete)	SApperloT base (complete)	SAT07 reference solver: picosat 535 (complete)	SAT07 reference solver: Rsat 2007-02-08 (complete)	SATzilla2009_I 2009-03-22 (complete)
industrial/jarvisalo/ eq.atree.braun.12.unsat.cnf		? (exit code) TT=9999.18	? (TO) TT=10000.1	? (TO) TT=10000.1	? TT=3600.07	? (TO) TT=10000	? (TO) TT=10000.2	? (TO) TT=10000	? (TO) TT=10000	? (TO) TT=10000.1	? (TO) TT=10000.1	? (TO) TT=10000.1	? (TO) TT=10000	? (TO) TT=10000.1	? (TO) TT=10000	? (TO) TT=10000.1	? (exit code) TT=9997.87
industrial/jarvisalo/ eq.atree.braun.13.unsat.cnf		? (exit code) TT=9999.49	? (TO) TT=10000.1	? (TO) TT=10000.1	? TT=3600.09	? (TO) TT=10000	? (TO) TT=10000	? (TO) TT=10000.1	? (TO) TT=10000	? (TO) TT=10000.1	? (TO) TT=10000.1	? (TO) TT=10000.1	? (TO) TT=10000	? (TO) TT=10000.1	? (TO) TT=10000	? (TO) TT=10000	? (exit code) TT=9997.93
industrial/jarvisalo/ eq.atree.braun.8.unsat.cnf	UNSAT TT=13.677	UNSAT TT=41.732	UNSAT TT=16.15	UNSAT TT=24.15	UNSAT TT=33.114	UNSAT TT=52.999	UNSAT TT=47.191	UNSAT TT=43.361	UNSAT TT=44.823	UNSAT TT=42.204	UNSAT TT=13.677	UNSAT TT=33.439	UNSAT TT=24.659	UNSAT TT=18.77	UNSAT TT=82.859	UNSAT TT=58.596	UNSAT TT=26.574
industrial/jarvisalo/ eq.atree.braun.9.unsat.cnf	UNSAT TT=54.416	UNSAT TT=157.754	UNSAT TT=94.894	UNSAT TT=135.99	UNSAT TT=125.15	UNSAT TT=249.322	UNSAT TT=207.289	UNSAT TT=251.999	UNSAT TT=238.323	UNSAT TT=335.337	UNSAT TT=102.915	UNSAT TT=102.884	UNSAT TT=219.979	UNSAT TT=78.247	UNSAT TT=318.51	UNSAT TT=353.9	UNSAT TT=54.416
industrial/narain/ clauses-8.cnf	SAT TT=1450.29	SAT TT=4703.59	? (MO) TT=4942.26	? (TO) TT=10000.1	? (MO) TT=124.895	? (exit code) TT=4627.13	? (MO) TT=4113.71	SAT TT=1450.29	? (TO) TT=10000	SAT TT=3493.28	SAT TT=6677.65	SAT TT=3165.03	SAT TT=3093.17	? (TO) TT=10000.3	SAT TT=5307.79	SAT TT=4748.81	SAT TT=8729.19
industrial/palacios/ hard/ safe-30-h29-unsat.cnf		? (TO) TT=10000.2	? (TO) TT=10000.1	? (TO) TT=10000.1	? TT=3602.51	? (TO) TT=10000	? (TO) TT=10000.1	? (TO) TT=10000.1	? (TO) TT=10000.1	? (TO) TT=10000.1	? (TO) TT=10000.2	? (TO) TT=10000.1	? (TO) TT=10000.1	? (TO) TT=10000.1	? (TO) TT=10000.1	? (TO) TT=10000.1	? (exit code) TT=9998.27
industrial/palacios/ hard/ safe-50-h49-unsat.cnf		? (TO) TT=10000.1	? (TO) TT=10000.2	? (TO) TT=10000	? TT=3611.08	? (TO) TT=10000.1	? (TO) TT=10000	? (TO) TT=10000.2	? (TO) TT=10000.1	? (TO) TT=10000.1	? (TO) TT=10000.2	? (TO) TT=10000.2	? (TO) TT=10000.1	? (TO) TT=10000.2	? (TO) TT=10000	? (TO) TT=10000	? (exit code) TT=9997.64
industrial/palacios/ hard/ sortnet-7-ipc5-h15-unsat.cnf		? (exit code) TT=10000	? (TO) TT=10000.1	? (TO) TT=10000	? TT=3602.39	? (TO) TT=10000.1	? (TO) TT=10000.1	? (TO) TT=10000.1	? (TO) TT=10000	? (TO) TT=10000	? (TO) TT=10000.1	? (TO) TT=10000.1	? (TO) TT=10000.1	? (TO) TT=10000.1	? (TO) TT=10000.1	? (TO) TT=10000	? (exit code) TT=9998.48
industrial/palacios/ hard/ sortnet-8-ipc5-h18-unsat.cnf		? (exit code) TT=9999.65	? (TO) TT=10000.1	? (TO) TT=10000.1	? TT=3607.48	? (TO) TT=10000.1	? (TO) TT=10000.1	? (TO) TT=10000.2	? (TO) TT=10000.1	? (TO) TT=10000.1	? (TO) TT=10000.1	? (TO) TT=10000.1	? (TO) TT=10000.1	? (TO) TT=10000.1	? (TO) TT=10000.1	? (TO) TT=10000	? (exit code) TT=9997.88
industrial/palacios/ hard/ sortnet-8-ipc5-h19-sat.cnf		? (exit code) TT=9999.31	? (TO) TT=10000.2	? (TO) TT=10000	? TT=3608.31	? (TO) TT=10000	? (TO) TT=10000.2	? (TO) TT=10000.1	? (TO) TT=10000.1	? (TO) TT=10000	? (TO) TT=10000.1	? (TO) TT=10000.2	? (TO) TT=10000	? (TO) TT=10000.1	? (TO) TT=10000.1	? (TO) TT=10000.1	? (exit code) TT=9998.38
Bench name	Best results	CircUs 2009-03-23 (complete)	clasp 1.2.0-SAT09-32 (complete)	glucose 1.0 (complete)	kw 2009-03-20 (complete)	LySAT i/2009-03-20 (complete)	ManySAT 1.1 aimd 1/2009-03-20 (complete)	MiniSat 2.1 (Sat-race'08 Edition) (complete)	MiniSAT 09z 2009-03-22 (complete)	minisat_cumr p-2009-03-18 (complete)	MXC 2009-03-10 (complete)	precosat 236 (complete)	Rsat 2009-03-22 (complete)	SApperloT base (complete)	SAT07 reference solver: picosat 535 (complete)	SAT07 reference solver: Rsat 2007-02-08 (complete)	SATzilla2009_I 2009-03-22 (complete)
industrial/palacios/ medium/ blocks-4-ipc5-h22-unknown.cnf	UNSAT TT=33.034	UNSAT TT=114.608	UNSAT TT=102.43	UNSAT TT=33.616	UNSAT TT=173.501	UNSAT TT=35.75	UNSAT TT=47.272	UNSAT TT=75.518	UNSAT TT=74.5	UNSAT TT=58.292	UNSAT TT=117.747	UNSAT TT=153.652	UNSAT TT=66.363	UNSAT TT=733.511	UNSAT TT=365.629	UNSAT TT=33.034	UNSAT TT=262.963
industrial/palacios/ medium/ cube-11-h13-unsat.cnf	UNSAT TT=117.376	UNSAT TT=836.588	UNSAT TT=117.376	UNSAT TT=1674.28	? TT=3608.85	UNSAT TT=2018.14	UNSAT TT=1010.98	UNSAT TT=1496.45	UNSAT TT=1107.19	UNSAT TT=422.294	UNSAT TT=2039.53	? (MO) TT=407.791	UNSAT TT=749.992	UNSAT TT=4154.04	? (TO) TT=10000	? (TO) TT=10000.1	UNSAT TT=3490.31
industrial/palacios/ medium/ cube-11-h14-sat.cnf	SAT TT=2143.16	SAT TT=3389.95	SAT TT=4421.51	SAT TT=3214.71	? TT=3609.84	SAT TT=3088.59	SAT TT=2750.36	SAT TT=2801.37	SAT TT=2491.88	SAT TT=2143.16	SAT TT=4810.75	? (MO) TT=430.543	SAT TT=2715.29	SAT TT=7966.29	SAT TT=7477.71	? (TO) TT=10000.1	? (exit code) TT=9998.34
industrial/palacios/ medium/ emptyroom-4-h21-unsat.cnf	UNSAT TT=471.155	UNSAT TT=473.293	UNSAT TT=487.887	UNSAT TT=586.954	? TT=3601.33	UNSAT TT=1182.98	UNSAT TT=538.907	UNSAT TT=641.124	UNSAT TT=471.155	UNSAT TT=1107.29	UNSAT TT=1005.29	UNSAT TT=4188.95	UNSAT TT=529.683	UNSAT TT=4381.55	UNSAT TT=4658.07	UNSAT TT=1430.56	UNSAT TT=1112.76
industrial/palacios/ uts/ uts-l05-ipc5-h26-unsat.cnf	UNSAT TT=10.197	UNSAT TT=51.673	UNSAT TT=49.564	UNSAT TT=10.197	UNSAT TT=194.069	UNSAT TT=18.942	UNSAT TT=23.446	UNSAT TT=20.005	UNSAT TT=16.574	UNSAT TT=15.952	UNSAT TT=30.266	UNSAT TT=30.18	UNSAT TT=29.408	UNSAT TT=222.636	UNSAT TT=82.003	UNSAT TT=17.225	UNSAT TT=97.283
industrial/palacios/ uts/ uts-l05-ipc5-h27-unknown.cnf	UNSAT TT=19.684	UNSAT TT=81.032	UNSAT TT=83.725	UNSAT TT=24.096	UNSAT TT=161.782	UNSAT TT=19.684	UNSAT TT=25.67	UNSAT TT=39.342	UNSAT TT=24.339	UNSAT TT=21.442	UNSAT TT=48.003	UNSAT TT=33.678	UNSAT TT=37.735	UNSAT TT=211.684	UNSAT TT=171.301	UNSAT TT=20.851	UNSAT TT=96.831
industrial/palacios/ uts/ uts-l06-ipc5-h28-unknown.cnf	UNSAT TT=15.572	UNSAT TT=157.02	UNSAT TT=53.493	UNSAT TT=15.572	UNSAT TT=188.199	UNSAT TT=19.902	UNSAT TT=26.856	UNSAT TT=38.322	UNSAT TT=20.54	UNSAT TT=22.137	UNSAT TT=59.46	UNSAT TT=39.908	UNSAT TT=21.823	UNSAT TT=196.459	UNSAT TT=85.05	UNSAT TT=22.21	UNSAT TT=111.122
industrial/palacios/ uts/ uts-l06-ipc5-h31-unknown.cnf	UNSAT TT=30.695	UNSAT TT=251.014	UNSAT TT=537.207	UNSAT TT=30.695	UNSAT TT=388.956	UNSAT TT=42.749	UNSAT TT=49.896	UNSAT TT=95.197	UNSAT TT=61.137	UNSAT TT=48.356	UNSAT TT=130.693	UNSAT TT=71.317	UNSAT TT=105.168	UNSAT TT=488.542	UNSAT TT=313.233	UNSAT TT=51.019	UNSAT TT=252.323
industrial/palacios/ uts/ uts-l06-ipc5-h33-unknown.cnf	UNSAT TT=78.118	UNSAT TT=412.206	UNSAT TT=904.918	UNSAT TT=78.118	UNSAT TT=757.432	UNSAT TT=106.252	UNSAT TT=111.46	UNSAT TT=302.555	UNSAT TT=132.749	UNSAT TT=146.283	UNSAT TT=241.989	UNSAT TT=179.821	UNSAT TT=408.303	UNSAT TT=1376.79	UNSAT TT=810.998	UNSAT TT=117.621	UNSAT TT=506.074
industrial/palacios/ uts/ uts-l06-ipc5-h35-unknown.cnf	SAT TT=22.717	SAT TT=207.377	SAT TT=22.717	SAT TT=27.056	SAT TT=183.71	SAT TT=30.537	SAT TT=35.744	SAT TT=24.143	SAT TT=25.303	SAT TT=29.267	SAT TT=48.406	SAT TT=50.509	SAT TT=30.779	SAT TT=46.92	SAT TT=147.1	SAT TT=36.676	SAT TT=112.241
Bench name	Best results	CircUs 2009-03-23 (complete)	clasp 1.2.0-SAT09-32 (complete)	glucose 1.0 (complete)	kw 2009-03-20 (complete)	LySAT i/2009-03-20 (complete)	ManySAT 1.1 aimd 1/2009-03-20 (complete)	MiniSat 2.1 (Sat-race'08 Edition) (complete)	MiniSAT 09z 2009-03-22 (complete)	minisat_cumr p-2009-03-18 (complete)	MXC 2009-03-10 (complete)	precosat 236 (complete)	Rsat 2009-03-22 (complete)	SApperloT base (complete)	SAT07 reference solver: picosat 535 (complete)	SAT07 reference solver: Rsat 2007-02-08 (complete)	SATzilla2009_I 2009-03-22 (complete)
industrial/vliw_sat_4.0/ 9vliw_m_9stages_iq3_C1_bug5.cnf	SAT TT=31.687	SAT TT=79.202	SAT TT=98.409	SAT TT=31.687	? (MO) TT=84.932	? (exit code) TT=287.22	? (MO) TT=16.67	SAT TT=43.491	SAT TT=227.844	SAT TT=264.731	SAT TT=108.378	SAT TT=599.325	? TT=2.163	SAT TT=4759.71	SAT TT=941.901	SAT TT=104.959	SAT TT=247.487
industrial/vliw_sat_4.0/ 9vliw_m_9stages_iq3_C1_bug8.cnf	SAT TT=33.472	SAT TT=217.922	SAT TT=58.33	SAT TT=45.617	? (MO) TT=89.576	? (exit code) TT=118.093	? (MO) TT=17.55	SAT TT=92.387	SAT TT=250.525	SAT TT=244.191	SAT TT=389.078	SAT TT=451.377	? TT=2.178	SAT TT=33.472	SAT TT=1058.44	SAT TT=86.54	SAT TT=76.33
industrial/ vliw_unsat_2.0/ 9dlx_vliw_at_b_iq1.cnf	UNSAT TT=92.427	UNSAT TT=1803.89	UNSAT TT=154.969	UNSAT TT=637.888	UNSAT TT=2415.3	UNSAT TT=251.289	UNSAT TT=461.756	UNSAT TT=8325.29	UNSAT TT=9321.24	UNSAT TT=849.467	? (TO) TT=10000.1	UNSAT TT=295.362	UNSAT TT=1479.41	? (TO) TT=10000.2	? (TO) TT=10000.1	UNSAT TT=5665.04	UNSAT TT=92.427
industrial/ vliw_unsat_2.0/ 9dlx_vliw_at_b_iq2.cnf	UNSAT TT=218.744	UNSAT TT=9033.85	UNSAT TT=328.962	UNSAT TT=789.295	? TT=3603.04	UNSAT TT=478.916	UNSAT TT=3395.64	? (TO) TT=10000.1	? (TO) TT=10000.1	UNSAT TT=3071.62	? (TO) TT=10000.2	UNSAT TT=944.331	UNSAT TT=5795.15	? (TO) TT=10000.2	? (TO) TT=10000.1	? (TO) TT=10000	UNSAT TT=218.744
industrial/ vliw_unsat_2.0/ 9dlx_vliw_at_b_iq3.cnf	UNSAT TT=435.504	? (exit code) TT=9999.95	UNSAT TT=1138.52	UNSAT TT=1373.99	? TT=3605.47	UNSAT TT=930.463	UNSAT TT=4896.84	? (TO) TT=10000.3	? (TO) TT=10000.1	UNSAT TT=7003.43	? (TO) TT=10000.3	UNSAT TT=3233.76	? (TO) TT=10000.1	? (TO) TT=10000.2	? (TO) TT=10000.1	? (TO) TT=10000.1	UNSAT TT=435.504
industrial/ vliw_unsat_2.0/ 9dlx_vliw_at_b_iq4.cnf	UNSAT TT=844.523	? (TO) TT=10000.1	UNSAT TT=2457.31	UNSAT TT=1463.91	? TT=3608.75	UNSAT TT=1574.51	? (MO) TT=4779.49	? (TO) TT=10000.3	? (TO) TT=10000.1	? (TO) TT=10000.1	? (TO) TT=10000.3	UNSAT TT=5561.06	? (TO) TT=10000	? (TO) TT=10000.2	? (TO) TT=10000.1	? (TO) TT=10000	UNSAT TT=844.523
industrial/ vliw_unsat_2.0/ 9dlx_vliw_at_b_iq5.cnf	UNSAT TT=1440.74	? (TO) TT=10000.1	UNSAT TT=3281.31	UNSAT TT=2342.65	? TT=3633.87	UNSAT TT=2693.05	? (MO) TT=2725.34	? (TO) TT=10000.2	? (TO) TT=10000.1	? (TO) TT=10000.1	? (TO) TT=10000.3	? (TO) TT=10000.1	? (TO) TT=10000	? (TO) TT=10000.2	? (TO) TT=10000.2	? (TO) TT=10000.1	UNSAT TT=1440.74
industrial/ vliw_unsat_2.0/ 9dlx_vliw_at_b_iq6.cnf	UNSAT TT=3577.9	? (exit code) TT=9999.96	? (MO) TT=1979.82	UNSAT TT=4245.33	? TT=3623.89	UNSAT TT=3577.9	? (MO) TT=2561.04	? (TO) TT=10000.2	? (TO) TT=10000	? (TO) TT=10000	? (TO) TT=10000.3	? (TO) TT=10000.1	? (TO) TT=10000.1	? (TO) TT=10000.2	? (TO) TT=10000.2	? (TO) TT=10000	? (exit code) TT=9997.77
industrial/ vliw_unsat_2.0/ 9dlx_vliw_at_b_iq7.cnf	UNSAT TT=6836.2	? (TO) TT=10000.1	? (MO) TT=849.248	UNSAT TT=6836.2	? TT=3634.25	? (exit code) TT=5683.02	? (MO) TT=1067.01	? (TO) TT=10000.2	? (TO) TT=10000.1	? (MO) TT=6740.5	? (TO) TT=10000.3	? (TO) TT=10000.1	? (TO) TT=10000.1	? (TO) TT=10000.2	? (TO) TT=10000.2	? (TO) TT=10000	? (exit code) TT=9997.72
industrial/ vliw_unsat_2.0/ 9dlx_vliw_at_b_iq8.cnf		? (TO) TT=10000.2	? (MO) TT=1259.82	? (TO) TT=10000.1	? (MO) TT=3199.06	? (exit code) TT=9362.38	? (MO) TT=577.25	? (TO) TT=10000.2	? (TO) TT=10000.1	? (MO) TT=7269.53	? (TO) TT=10000.3	? (TO) TT=10000.2	? (TO) TT=10000.1	? (TO) TT=10000.2	? (TO) TT=10000.2	? (MO) TT=6828.15	? (exit code) TT=9997.73
Bench name	Best results	CircUs 2009-03-23 (complete)	clasp 1.2.0-SAT09-32 (complete)	glucose 1.0 (complete)	kw 2009-03-20 (complete)	LySAT i/2009-03-20 (complete)	ManySAT 1.1 aimd 1/2009-03-20 (complete)	MiniSat 2.1 (Sat-race'08 Edition) (complete)	MiniSAT 09z 2009-03-22 (complete)	minisat_cumr p-2009-03-18 (complete)	MXC 2009-03-10 (complete)	precosat 236 (complete)	Rsat 2009-03-22 (complete)	SApperloT base (complete)	SAT07 reference solver: picosat 535 (complete)	SAT07 reference solver: Rsat 2007-02-08 (complete)	SATzilla2009_I 2009-03-22 (complete)
industrial/ vliw_unsat_2.0/ 9dlx_vliw_at_b_iq9.cnf		? (exit code) TT=10000	? (MO) TT=1439.5	? (TO) TT=10000	? (MO) TT=114.949	? (TO) TT=10000	? (MO) TT=17.35	? (TO) TT=10000.3	? (TO) TT=10000.1	? (MO) TT=6748.01	? (TO) TT=10000.3	? (TO) TT=10000.2	? (MO) TT=7630.18	? (TO) TT=10000.2	? (TO) TT=10000.1	? (MO) TT=7901.37	? (exit code) TT=9997.75
manol-pipe-c10nid_i.cnf	UNSAT TT=424.718	UNSAT TT=3703.43	? (TO) TT=10000.2	UNSAT TT=424.718	UNSAT TT=907.303	UNSAT TT=506.941	UNSAT TT=923.683	UNSAT TT=713.979	UNSAT TT=657.298	UNSAT TT=670.068	UNSAT TT=1142.96	UNSAT TT=701.063	UNSAT TT=562.446	? (TO) TT=10000.1	? (TO) TT=10000.1	UNSAT TT=996.471	UNSAT TT=1483.54
manol-pipe-c10nidw.cnf	UNSAT TT=745.44	UNSAT TT=4782.37	? (TO) TT=10000.1	UNSAT TT=816.981	UNSAT TT=1244.57	UNSAT TT=777.299	UNSAT TT=1812.45	UNSAT TT=948.529	UNSAT TT=1087.3	UNSAT TT=971.796	UNSAT TT=1550.23	UNSAT TT=1075.33	UNSAT TT=745.44	? (TO) TT=10000.2	? (TO) TT=10000.1	UNSAT TT=1634.24	UNSAT TT=2329.65
manol-pipe-c10nidw_s.cnf	UNSAT TT=23.366	UNSAT TT=41.132	UNSAT TT=401.839	UNSAT TT=25.897	UNSAT TT=78.804	UNSAT TT=31.373	UNSAT TT=52.79	UNSAT TT=30.142	UNSAT TT=272.52	UNSAT TT=31.891	UNSAT TT=85.383	UNSAT TT=27.209	UNSAT TT=23.366	UNSAT TT=83.065	UNSAT TT=217.933	UNSAT TT=27.96	UNSAT TT=172.735
manol-pipe-c6bidw_i.cnf	UNSAT TT=46.653	UNSAT TT=171.635	UNSAT TT=581.625	UNSAT TT=46.653	UNSAT TT=118.604	UNSAT TT=53.86	UNSAT TT=96.387	UNSAT TT=65.25	UNSAT TT=52.229	UNSAT TT=70.964	UNSAT TT=101.821	UNSAT TT=79.41	UNSAT TT=54.548	UNSAT TT=554.65	UNSAT TT=446.287	UNSAT TT=79.104	UNSAT TT=136.601
manol-pipe-c6nidw_i.cnf	UNSAT TT=44.867	UNSAT TT=179.445	UNSAT TT=573.408	UNSAT TT=44.867	UNSAT TT=109.153	UNSAT TT=58.982	UNSAT TT=93.472	UNSAT TT=66.137	UNSAT TT=69.204	UNSAT TT=67.314	UNSAT TT=95.448	UNSAT TT=96.606	UNSAT TT=53.909	UNSAT TT=1073.32	UNSAT TT=738.383	UNSAT TT=95.323	UNSAT TT=137.031
manol-pipe-c7bidw_i.cnf	UNSAT TT=91.72	UNSAT TT=375.39	UNSAT TT=1604.39	UNSAT TT=91.72	UNSAT TT=183.222	UNSAT TT=104.498	UNSAT TT=170.41	UNSAT TT=137.83	UNSAT TT=137.698	UNSAT TT=137.761	UNSAT TT=175.464	UNSAT TT=188.727	UNSAT TT=106.56	? (TO) TT=10000.1	UNSAT TT=2299.6	UNSAT TT=147.684	UNSAT TT=258.834
manol-pipe-c7nidw.cnf	UNSAT TT=109.569	UNSAT TT=533.035	UNSAT TT=2289.73	UNSAT TT=109.569	UNSAT TT=234.947	UNSAT TT=127.527	UNSAT TT=219.296	UNSAT TT=154.276	UNSAT TT=164.569	UNSAT TT=163.885	UNSAT TT=221.111	UNSAT TT=226.068	UNSAT TT=118.412	UNSAT TT=5528.84	UNSAT TT=3627.88	UNSAT TT=193.662	UNSAT TT=289.037
manol-pipe-c9.cnf	UNSAT TT=2.452	UNSAT TT=12.758	UNSAT TT=6.51	UNSAT TT=3.595	UNSAT TT=7.322	UNSAT TT=4.098	UNSAT TT=5.306	UNSAT TT=2.979	UNSAT TT=2.996	UNSAT TT=3.998	UNSAT TT=4.156	UNSAT TT=3.993	UNSAT TT=2.452	UNSAT TT=15.979	UNSAT TT=6.583	UNSAT TT=4.005	UNSAT TT=4.178
manol-pipe-f10ni.cnf	UNSAT TT=579.848	UNSAT TT=1718.85	UNSAT TT=2904.16	UNSAT TT=1023.56	UNSAT TT=1224.96	UNSAT TT=728.298	UNSAT TT=586.043	UNSAT TT=1963.69	UNSAT TT=595.268	UNSAT TT=2885.98	UNSAT TT=1830.33	UNSAT TT=579.848	UNSAT TT=1301.54	? (TO) TT=10000.2	? (TO) TT=10000.1	UNSAT TT=4820.12	UNSAT TT=2652.73
Bench name	Best results	CircUs 2009-03-23 (complete)	clasp 1.2.0-SAT09-32 (complete)	glucose 1.0 (complete)	kw 2009-03-20 (complete)	LySAT i/2009-03-20 (complete)	ManySAT 1.1 aimd 1/2009-03-20 (complete)	MiniSat 2.1 (Sat-race'08 Edition) (complete)	MiniSAT 09z 2009-03-22 (complete)	minisat_cumr p-2009-03-18 (complete)	MXC 2009-03-10 (complete)	precosat 236 (complete)	Rsat 2009-03-22 (complete)	SApperloT base (complete)	SAT07 reference solver: picosat 535 (complete)	SAT07 reference solver: Rsat 2007-02-08 (complete)	SATzilla2009_I 2009-03-22 (complete)
manol-pipe-f9b.cnf	UNSAT TT=287.195	UNSAT TT=1571.7	UNSAT TT=903.087	UNSAT TT=356.904	UNSAT TT=570.277	UNSAT TT=344.254	UNSAT TT=306.253	UNSAT TT=635.215	UNSAT TT=317.262	UNSAT TT=696.746	UNSAT TT=574.371	UNSAT TT=287.195	UNSAT TT=519.402	UNSAT TT=3808.03	UNSAT TT=2041.36	UNSAT TT=1932.34	UNSAT TT=776.886
manol-pipe-f9n.cnf	UNSAT TT=292.127	UNSAT TT=1716.73	UNSAT TT=774.985	UNSAT TT=353.753	UNSAT TT=562.152	UNSAT TT=355.425	UNSAT TT=318.421	UNSAT TT=755.65	UNSAT TT=292.127	UNSAT TT=610.475	UNSAT TT=566.738	UNSAT TT=351.758	UNSAT TT=490.454	UNSAT TT=4087.83	UNSAT TT=2504.39	UNSAT TT=1147.25	UNSAT TT=833.728
manol-pipe-g10bidw.cnf	UNSAT TT=97.221	UNSAT TT=636.43	UNSAT TT=1560.46	UNSAT TT=97.221	UNSAT TT=353.166	UNSAT TT=124.274	UNSAT TT=151.52	UNSAT TT=188.333	UNSAT TT=673.978	? (TO) TT=10000.1	UNSAT TT=354.706	UNSAT TT=134.911	UNSAT TT=145.484	UNSAT TT=3338.99	UNSAT TT=662.089	UNSAT TT=2527.37	UNSAT TT=368.819
manol-pipe-g10id.cnf	UNSAT TT=28.901	UNSAT TT=282.766	UNSAT TT=314.386	UNSAT TT=31.954	UNSAT TT=218.149	UNSAT TT=30.797	UNSAT TT=49.155	UNSAT TT=53.092	UNSAT TT=28.901	UNSAT TT=280.08	UNSAT TT=86.498	UNSAT TT=42.077	UNSAT TT=38.643	UNSAT TT=84.994	UNSAT TT=131.82	UNSAT TT=112.45	UNSAT TT=188.093
manol-pipe-g10nid.cnf	UNSAT TT=91.73	UNSAT TT=772.88	UNSAT TT=1762.68	UNSAT TT=91.73	UNSAT TT=252.985	UNSAT TT=98.599	UNSAT TT=153.436	UNSAT TT=285.838	UNSAT TT=288.674	UNSAT TT=179.759	UNSAT TT=182.672	UNSAT TT=127.464	UNSAT TT=148	UNSAT TT=3591.82	UNSAT TT=614.979	UNSAT TT=279.145	UNSAT TT=225.073
manol-pipe-g6bi.cnf	UNSAT TT=0.877	UNSAT TT=1.852	UNSAT TT=1.917	UNSAT TT=1.327	UNSAT TT=3.059	UNSAT TT=1.08	UNSAT TT=1.92	UNSAT TT=0.877	UNSAT TT=1.042	UNSAT TT=1.293	UNSAT TT=1.4	UNSAT TT=1.887	UNSAT TT=1.064	UNSAT TT=1.668	UNSAT TT=1.928	UNSAT TT=2	UNSAT TT=1.342
manol-pipe-g7nidw.cnf	UNSAT TT=6.657	UNSAT TT=31.951	UNSAT TT=27.736	UNSAT TT=12.455	UNSAT TT=22.346	UNSAT TT=16.933	UNSAT TT=11.887	UNSAT TT=148.429	UNSAT TT=94.097	UNSAT TT=27.019	UNSAT TT=16.704	UNSAT TT=10.546	UNSAT TT=6.657	UNSAT TT=92.069	UNSAT TT=22.588	UNSAT TT=128.764	UNSAT TT=230.654
mizh-md5-47-3.cnf	SAT TT=23.338	SAT TT=109.367	SAT TT=236.764	? (TO) TT=10000	SAT TT=733.389	SAT TT=900.699	SAT TT=1605.08	SAT TT=23.338	SAT TT=738.601	SAT TT=328.912	SAT TT=186.083	SAT TT=48.402	SAT TT=502.636	SAT TT=1949.94	SAT TT=2761.8	SAT TT=414.753	SAT TT=190.456
mizh-md5-47-4.cnf	SAT TT=60.433	SAT TT=1542.45	SAT TT=363.32	? (TO) TT=10000	SAT TT=210.778	SAT TT=451.007	SAT TT=1420.32	SAT TT=71.914	SAT TT=724.553	SAT TT=1328.95	SAT TT=262.001	SAT TT=60.433	SAT TT=275.359	SAT TT=1168.98	SAT TT=695.575	SAT TT=1102.68	SAT TT=127.443
mizh-md5-48-5.cnf	SAT TT=98.556	SAT TT=4092.08	SAT TT=1316.58	SAT TT=1143.64	SAT TT=633.985	SAT TT=788.104	SAT TT=227.498	SAT TT=169.352	SAT TT=1001.5	SAT TT=5870.2	SAT TT=260.583	SAT TT=519.958	SAT TT=1625.22	SAT TT=98.556	SAT TT=5935.21	SAT TT=514.825	SAT TT=155.241
Bench name	Best results	CircUs 2009-03-23 (complete)	clasp 1.2.0-SAT09-32 (complete)	glucose 1.0 (complete)	kw 2009-03-20 (complete)	LySAT i/2009-03-20 (complete)	ManySAT 1.1 aimd 1/2009-03-20 (complete)	MiniSat 2.1 (Sat-race'08 Edition) (complete)	MiniSAT 09z 2009-03-22 (complete)	minisat_cumr p-2009-03-18 (complete)	MXC 2009-03-10 (complete)	precosat 236 (complete)	Rsat 2009-03-22 (complete)	SApperloT base (complete)	SAT07 reference solver: picosat 535 (complete)	SAT07 reference solver: Rsat 2007-02-08 (complete)	SATzilla2009_I 2009-03-22 (complete)
mizh-sha0-35-3.cnf	SAT TT=12.961	SAT TT=171.892	SAT TT=378.083	SAT TT=1503.13	SAT TT=37.2	SAT TT=87.163	SAT TT=481.129	SAT TT=12.961	SAT TT=391.005	SAT TT=720.485	SAT TT=29.941	SAT TT=302.471	SAT TT=246.012	SAT TT=273.734	SAT TT=326.77	SAT TT=42.821	SAT TT=59.623
mizh-sha0-36-2.cnf	SAT TT=279.243	SAT TT=515.225	? (TO) TT=10000.1	? (TO) TT=10000.1	SAT TT=2737.49	? (TO) TT=10000	? (TO) TT=10000.1	SAT TT=2487.75	SAT TT=564.314	SAT TT=1352.74	SAT TT=2104.64	? (TO) TT=10000.2	SAT TT=3475.07	SAT TT=1335.43	SAT TT=375.115	SAT TT=279.243	SAT TT=695.291
mizh-sha0-36-3.cnf	SAT TT=129.894	? (TO) TT=10000.1	? (TO) TT=10000.1	? (TO) TT=10000	? TT=3601.2	SAT TT=778.149	? (TO) TT=10000.1	SAT TT=129.894	SAT TT=3298.17	SAT TT=2236.06	SAT TT=223.28	? (TO) TT=10000.2	SAT TT=2924.75	SAT TT=2909.89	SAT TT=3107.53	SAT TT=1406.24	SAT TT=3283.14
mizh-sha0-36-4.cnf	SAT TT=220.732	SAT TT=7344.08	? (TO) TT=10000.1	? (TO) TT=10000.1	SAT TT=220.732	? (TO) TT=10000.1	SAT TT=3558.93	SAT TT=711.268	SAT TT=2554.56	SAT TT=2080.89	SAT TT=357.401	? (TO) TT=10000.2	SAT TT=2047.12	SAT TT=2144.2	SAT TT=3239.3	SAT TT=368.991	SAT TT=1420.62
schup-l2s-abp4-1-k31.cnf	UNSAT TT=14.476	UNSAT TT=60.726	UNSAT TT=216.386	UNSAT TT=14.476	UNSAT TT=47.54	UNSAT TT=23.293	UNSAT TT=37.219	UNSAT TT=15.92	UNSAT TT=26.322	UNSAT TT=29.749	UNSAT TT=21.936	UNSAT TT=18.194	UNSAT TT=27.253	UNSAT TT=80.587	UNSAT TT=69.228	UNSAT TT=64.178	UNSAT TT=46.069
schup-l2s-bc56s-1-k391.cnf	UNSAT TT=856.068	UNSAT TT=4721.47	? (TO) TT=10000.3	UNSAT TT=1659.43	UNSAT TT=1368.63	UNSAT TT=1827.41	UNSAT TT=1602.72	UNSAT TT=856.068	UNSAT TT=1511.85	UNSAT TT=1321.46	UNSAT TT=2145.77	UNSAT TT=1705.16	UNSAT TT=1738.4	UNSAT TT=6454.85	UNSAT TT=5550.58	UNSAT TT=2547.29	UNSAT TT=3345.54
schup-l2s-guid-1-k56.cnf	UNSAT TT=187.163	UNSAT TT=329.67	? (TO) TT=10000.1	UNSAT TT=187.726	UNSAT TT=266.43	UNSAT TT=233.78	UNSAT TT=337.451	UNSAT TT=187.732	UNSAT TT=187.163	UNSAT TT=276.524	UNSAT TT=231.188	UNSAT TT=248.099	UNSAT TT=393.688	UNSAT TT=1438.93	UNSAT TT=737.409	UNSAT TT=578.814	UNSAT TT=357.571
schup-l2s-motst-2-k315.cnf	SAT TT=34.756	SAT TT=129.151	SAT TT=1697.78	SAT TT=59.4	SAT TT=77.335	SAT TT=67.109	SAT TT=151.307	SAT TT=34.756	SAT TT=151.179	SAT TT=77.676	SAT TT=47.762	SAT TT=230.238	SAT TT=117.309	SAT TT=777.964	SAT TT=976.784	SAT TT=339.159	SAT TT=261.714
simon-s02b-dp11u10.cnf	UNSAT TT=107.171	UNSAT TT=255.373	UNSAT TT=120.565	UNSAT TT=196.292	UNSAT TT=2709.22	UNSAT TT=630.806	UNSAT TT=148.25	UNSAT TT=466.196	UNSAT TT=1086.59	UNSAT TT=197.895	UNSAT TT=775.996	UNSAT TT=107.171	UNSAT TT=385.169	UNSAT TT=226.531	UNSAT TT=836.745	UNSAT TT=778.171	UNSAT TT=411.003
simon-s02b-k2f-gr-rcs-w8.cnf	UNSAT TT=6.397	? (exit code) TT=9999.78	? (TO) TT=10000.1	? (TO) TT=10000	? TT=3601.53	? (TO) TT=10000	? (TO) TT=10000	? (TO) TT=10000.1	UNSAT TT=5063.68	? (TO) TT=10000.1	? (TO) TT=10000.1	? (TO) TT=10000.1	? (TO) TT=10000.1	UNSAT TT=6.397	? (TO) TT=10000	? (TO) TT=10000.1	? (exit code) TT=9998.49
Bench name	Best results	CircUs 2009-03-23 (complete)	clasp 1.2.0-SAT09-32 (complete)	glucose 1.0 (complete)	kw 2009-03-20 (complete)	LySAT i/2009-03-20 (complete)	ManySAT 1.1 aimd 1/2009-03-20 (complete)	MiniSat 2.1 (Sat-race'08 Edition) (complete)	MiniSAT 09z 2009-03-22 (complete)	minisat_cumr p-2009-03-18 (complete)	MXC 2009-03-10 (complete)	precosat 236 (complete)	Rsat 2009-03-22 (complete)	SApperloT base (complete)	SAT07 reference solver: picosat 535 (complete)	SAT07 reference solver: Rsat 2007-02-08 (complete)	SATzilla2009_I 2009-03-22 (complete)
simon-s03-fifo8-300.cnf	UNSAT TT=30.247	UNSAT TT=48.578	UNSAT TT=111.475	UNSAT TT=30.952	UNSAT TT=41.869	UNSAT TT=39.406	UNSAT TT=44.646	UNSAT TT=34.658	UNSAT TT=30.385	UNSAT TT=39.021	UNSAT TT=33.976	UNSAT TT=30.247	UNSAT TT=42.395	UNSAT TT=166.446	UNSAT TT=247.257	UNSAT TT=46.579	UNSAT TT=88.096
simon-s03-w08-15.cnf	SAT TT=44.996	SAT TT=150.134	SAT TT=1155.36	SAT TT=44.996	SAT TT=312.712	SAT TT=115.966	SAT TT=239.363	SAT TT=134.049	SAT TT=142.842	SAT TT=154.027	SAT TT=127.81	SAT TT=140.119	SAT TT=190.806	SAT TT=255.745	SAT TT=323.752	SAT TT=211.315	SAT TT=237.388
vange-col-abb313GPIA-9-c.cnf	SAT TT=445.091	? (exit code) TT=9999.19	SAT TT=445.091	? (TO) TT=10000.1	? TT=3603.77	? (TO) TT=10000	? (TO) TT=10000	? (TO) TT=10000.1	? (TO) TT=10000	? (TO) TT=10000	? (TO) TT=10000.2	SAT TT=535.855	? (TO) TT=10000	? (TO) TT=10000.1	SAT TT=2095.62	? (TO) TT=10000.1	? (exit code) TT=9997.76
velev-engi-uns-1.0-4nd.cnf	UNSAT TT=16.093	UNSAT TT=51.319	UNSAT TT=19.62	UNSAT TT=24.483	UNSAT TT=54.912	UNSAT TT=25.018	UNSAT TT=35.758	UNSAT TT=16.093	UNSAT TT=28.67	UNSAT TT=48.142	UNSAT TT=19.767	UNSAT TT=34.171	UNSAT TT=27.589	UNSAT TT=31.935	UNSAT TT=115.228	UNSAT TT=47.362	UNSAT TT=81.646
velev-live-uns-2.0-ebuf.cnf	UNSAT TT=14.428	UNSAT TT=56.083	UNSAT TT=14.428	UNSAT TT=75.676	UNSAT TT=82.293	UNSAT TT=52.515	UNSAT TT=55.935	UNSAT TT=49.632	UNSAT TT=76.922	UNSAT TT=30.912	UNSAT TT=95.325	UNSAT TT=32.52	UNSAT TT=35.921	UNSAT TT=119.658	UNSAT TT=477.916	UNSAT TT=52.959	UNSAT TT=62.076
velev-pipe-o-uns-1.0-7.cnf	UNSAT TT=253.494	UNSAT TT=7947.14	UNSAT TT=337.537	UNSAT TT=1029.21	UNSAT TT=1419.99	UNSAT TT=329.678	UNSAT TT=1080.92	UNSAT TT=1098.04	UNSAT TT=1872.38	UNSAT TT=866.964	UNSAT TT=1861.53	UNSAT TT=253.494	UNSAT TT=479.123	UNSAT TT=8497.98	? (TO) TT=10000.1	UNSAT TT=3811.9	UNSAT TT=900.158
velev-pipe-o-uns-1.1-6.cnf	UNSAT TT=48.802	UNSAT TT=1178.61	UNSAT TT=48.802	UNSAT TT=2624.79	UNSAT TT=1245.74	UNSAT TT=82.624	UNSAT TT=270.876	UNSAT TT=2155.86	UNSAT TT=3538.61	UNSAT TT=95.122	? (TO) TT=10000.1	UNSAT TT=78.006	UNSAT TT=104.772	? (TO) TT=10000.1	? (TO) TT=10000.1	UNSAT TT=477.85	? (exit code) TT=9998.48
velev-pipe-sat-1.0-b10.cnf	SAT TT=9.821	SAT TT=665.484	SAT TT=29.235	SAT TT=4524.05	? (MO) TT=925.952	? (exit code) TT=13.24	? (MO) TT=14.67	SAT TT=130.2	SAT TT=2536.14	SAT TT=251.21	? (TO) TT=10000.3	SAT TT=163.169	SAT TT=283.92	SAT TT=10.975	SAT TT=361.831	SAT TT=361.922	SAT TT=9.821
velev-pipe-sat-1.0-b7.cnf	SAT TT=15.623	SAT TT=1551.58	? (MO) TT=618.136	SAT TT=2265.34	SAT TT=646.837	? (exit code) TT=104.932	? (MO) TT=15.23	SAT TT=15.623	SAT TT=183.088	SAT TT=875.437	SAT TT=281.107	SAT TT=332.099	SAT TT=33.6	SAT TT=1816.83	SAT TT=239.332	SAT TT=83.279	SAT TT=88.511
velev-pipe-uns-1.0-8.cnf	UNSAT TT=307.484	? (MO) TT=7499.48	UNSAT TT=721.798	? (TO) TT=10000.1	? TT=3606.79	UNSAT TT=406.91	UNSAT TT=2550.86	? (TO) TT=10000.3	? (TO) TT=10000	UNSAT TT=708.476	? (TO) TT=10000.3	UNSAT TT=763.085	UNSAT TT=2075.37	? (TO) TT=10000.2	? (TO) TT=10000.2	? (TO) TT=10000.1	UNSAT TT=307.484
Bench name	Best results	CircUs 2009-03-23 (complete)	clasp 1.2.0-SAT09-32 (complete)	glucose 1.0 (complete)	kw 2009-03-20 (complete)	LySAT i/2009-03-20 (complete)	ManySAT 1.1 aimd 1/2009-03-20 (complete)	MiniSat 2.1 (Sat-race'08 Edition) (complete)	MiniSAT 09z 2009-03-22 (complete)	minisat_cumr p-2009-03-18 (complete)	MXC 2009-03-10 (complete)	precosat 236 (complete)	Rsat 2009-03-22 (complete)	SApperloT base (complete)	SAT07 reference solver: picosat 535 (complete)	SAT07 reference solver: Rsat 2007-02-08 (complete)	SATzilla2009_I 2009-03-22 (complete)
velev-vliw-uns-4.0-9C1.cnf	UNSAT TT=324.398	UNSAT TT=3713.98	UNSAT TT=324.398	UNSAT TT=525.166	? TT=3609.53	UNSAT TT=1772.3	UNSAT TT=2593.64	? (TO) TT=10000.2	? (TO) TT=10000.1	UNSAT TT=2362.21	? (TO) TT=10000.4	UNSAT TT=2266.47	? TT=13.986	? (TO) TT=10000.2	? (TO) TT=10000.1	UNSAT TT=2732.22	UNSAT TT=1430.67
velev-vliw-uns-4.0-9-i1.cnf	UNSAT TT=3280.04	? (TO) TT=10000.1	UNSAT TT=3280.04	UNSAT TT=4227.26	? TT=3616.35	UNSAT TT=8082.45	? (MO) TT=3672	? (TO) TT=10000.2	? (TO) TT=10000	? (TO) TT=10000	? (MO) TT=7672.65	UNSAT TT=9640.41	? TT=29.051	? (TO) TT=10000.2	? (TO) TT=10000.1	? (TO) TT=10000	? (MO) TT=6423.82

Statistics		CircUs 2009-03-23 (complete)	clasp 1.2.0-SAT09-32 (complete)	glucose 1.0 (complete)	kw 2009-03-20 (complete)	LySAT i/2009-03-20 (complete)	ManySAT 1.1 aimd 1/2009-03-20 (complete)	MiniSat 2.1 (Sat-race'08 Edition) (complete)	MiniSAT 09z 2009-03-22 (complete)	minisat_cumr p-2009-03-18 (complete)	MXC 2009-03-10 (complete)	precosat 236 (complete)	Rsat 2009-03-22 (complete)	SApperloT base (complete)	SAT07 reference solver: picosat 535 (complete)	SAT07 reference solver: Rsat 2007-02-08 (complete)	SATzilla2009_I 2009-03-22 (complete)
Number of times the solver is able to give the best known answer		196	175	204	175	197	193	194	193	190	190	204	188	186	171	180	195
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)		8	17	32	12	8	5	44	6	4	7	32	12	22	1	3	16