CSP 2009 Competition: results by benchmark

Results by benchmark for category alldiff,element,weightedsum (Alldiff+Elt+WSum), subcategory academic problems

This page displays the results of the different solvers for each benchmark for category alldiff,element,weightedsum (Alldiff+Elt+WSum), subcategory academic problems

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:
Abscon 112v4 AC (complete)
Abscon 112v4 ESAC (complete)
bpsolver 09 (complete)
Choco2.1.1 2009-06-10 (complete)
Choco2.1.1b 2009-07-16 (complete)
Mistral 1.545 (complete)
Sugar v1.14.6+minisat (complete)
Sugar v1.14.6+picosat (complete)

Bench name	Best results on this instance	Abscon 112v4 AC (complete)	Abscon 112v4 ESAC (complete)	bpsolver 09 (complete)	Choco2.1.1 2009-06-10 (complete)	Choco2.1.1b 2009-07-16 (complete)	Mistral 1.545 (complete)	Sugar v1.14.6+minisat (complete)	Sugar v1.14.6+picosat (complete)
csp/bibd10-11/ normalized-bibd-10-120-36-3-8_glb.xml	SAT TT=43.152	? (TO) TT=1800.15	? (TO) TT=1800.18	? (TO) TT=1800.04	? (TO) TT=1800.09	? (TO) TT=1800.08	SAT TT=43.152	SAT TT=228.874	SAT TT=118.767
csp/bibd10-11/ normalized-bibd-10-30-9-3-2_glb.xml	SAT TT=0.099	SAT TT=900.974	SAT TT=76.929	SAT TT=3.118	SAT TT=1.72	SAT TT=1.971	SAT TT=0.099	SAT TT=14.742	SAT TT=22.686
csp/bibd10-11/ normalized-bibd-10-60-18-3-4_glb.xml	SAT TT=0.364	? (TO) TT=1800.17	? (TO) TT=1800.22	? (TO) TT=1800.08	SAT TT=58.141	SAT TT=198.94	SAT TT=0.364	SAT TT=35.177	SAT TT=48.99
csp/bibd10-11/ normalized-bibd-10-90-27-3-6_glb.xml	SAT TT=0.438	? (TO) TT=1800.1	? (TO) TT=1800.13	? (TO) TT=1800.05	? (TO) TT=1800.1	SAT TT=938.842	SAT TT=0.438	SAT TT=33.684	SAT TT=21.652
csp/bibd10-11/ normalized-bibd-11-110-30-3-6_glb.xml	SAT TT=1.012	? (TO) TT=1800.16	? (TO) TT=1800.1	? (TO) TT=1800.09	? (TO) TT=1800.13	? (TO) TT=1800.13	SAT TT=1.012	SAT TT=225.299	SAT TT=79.172
csp/bibd10-11/ normalized-bibd-11-55-15-3-3_glb.xml	SAT TT=0.317	? (TO) TT=1800.05	? (TO) TT=1800.08	? (TO) TT=1800.03	SAT TT=23.357	SAT TT=58.007	SAT TT=0.317	SAT TT=20.892	SAT TT=31.269
csp/bibd12-13/ normalized-bibd-12-132-33-3-6_glb.xml	SAT TT=30.966	? (TO) TT=1800.12	? (TO) TT=1800.13	? (TO) TT=1800.06	? (TO) TT=1800.12	? (TO) TT=1800.08	? (TO) TT=1800.05	SAT TT=53.574	SAT TT=30.966
csp/bibd12-13/ normalized-bibd-12-44-11-3-2_glb.xml	SAT TT=0.283	? (TO) TT=1800.07	SAT TT=1573.07	SAT TT=103.96	SAT TT=8.275	SAT TT=19.52	SAT TT=0.283	SAT TT=7.072	SAT TT=10.357
csp/bibd12-13/ normalized-bibd-12-88-22-3-4_glb.xml	SAT TT=2.624	? (TO) TT=1800.1	? (TO) TT=1800.1	? (TO) TT=1800.11	? (TO) TT=1800.08	? (TO) TT=1800.13	SAT TT=2.624	SAT TT=24.769	SAT TT=23.514
csp/bibd12-13/ normalized-bibd-13-104-24-3-4_glb.xml	SAT TT=2.019	? (TO) TT=1800.1	? (TO) TT=1800.14	? (TO) TT=1800.05	? (TO) TT=1800.13	? (TO) TT=1800.17	SAT TT=2.019	SAT TT=78.449	SAT TT=153.872
Bench name	Best results	Abscon 112v4 AC (complete)	Abscon 112v4 ESAC (complete)	bpsolver 09 (complete)	Choco2.1.1 2009-06-10 (complete)	Choco2.1.1b 2009-07-16 (complete)	Mistral 1.545 (complete)	Sugar v1.14.6+minisat (complete)	Sugar v1.14.6+picosat (complete)
csp/bibd12-13/ normalized-bibd-13-26-6-3-1_glb.xml	SAT TT=0.144	SAT TT=7.854	SAT TT=195.681	SAT TT=11.323	SAT TT=2.691	SAT TT=2.637	SAT TT=0.144	SAT TT=9.39	SAT TT=13.445
csp/bibd12-13/ normalized-bibd-13-52-12-3-2_glb.xml	SAT TT=0.451	? (TO) TT=1800.09	? (TO) TT=1800.1	SAT TT=736.009	SAT TT=18.318	SAT TT=49.389	SAT TT=0.451	SAT TT=19.15	SAT TT=24.723
csp/bibd12-13/ normalized-bibd-13-78-18-3-3_glb.xml	SAT TT=0.611	? (TO) TT=1800.12	? (TO) TT=1800.09	? (TO) TT=1800.04	SAT TT=673.117	SAT TT=1717.14	SAT TT=0.611	SAT TT=21.229	SAT TT=25.756
csp/bibd6/ normalized-bibd-6-100-50-3-20_glb.xml	SAT TT=5.962	SAT TT=5.962	? (TO) TT=1800.16	? (TO) TT=1800.05	SAT TT=9.649	SAT TT=42.505	SAT TT=73.01	SAT TT=65.913	SAT TT=13.821
csp/bibd6/ normalized-bibd-6-10-5-3-2_glb.xml	SAT TT=0.017	SAT TT=1.129	SAT TT=1.244	SAT TT=0.074	SAT TT=0.819	SAT TT=0.789	SAT TT=0.017	SAT TT=1.228	SAT TT=1.255
csp/bibd6/ normalized-bibd-6-20-10-3-4_glb.xml	SAT TT=0.029	SAT TT=1.845	SAT TT=2.973	SAT TT=0.288	SAT TT=1.041	SAT TT=1.06	SAT TT=0.029	SAT TT=1.771	SAT TT=2.132
csp/bibd6/ normalized-bibd-6-30-15-3-6_glb.xml	SAT TT=0.038	SAT TT=3.291	SAT TT=3.3	SAT TT=74.574	SAT TT=1.474	SAT TT=1.808	SAT TT=0.038	SAT TT=7.644	SAT TT=11.619
csp/bibd6/ normalized-bibd-6-40-20-3-8_glb.xml	SAT TT=0.08	SAT TT=6.229	SAT TT=492.166	? (TO) TT=1800.05	SAT TT=1.266	SAT TT=1.524	SAT TT=0.08	SAT TT=2.325	SAT TT=3.009
csp/bibd6/ normalized-bibd-6-50-25-3-10_glb.xml	SAT TT=0.097	SAT TT=12.88	? (TO) TT=1800.18	? (TO) TT=1800.06	SAT TT=2.164	SAT TT=4.333	SAT TT=0.097	SAT TT=4.759	SAT TT=7.335
csp/bibd6/ normalized-bibd-6-60-30-3-12_glb.xml	SAT TT=0.08	SAT TT=21.652	SAT TT=19.072	? (TO) TT=1800.01	SAT TT=2.588	SAT TT=5.886	SAT TT=0.08	SAT TT=39.834	SAT TT=24.389
Bench name	Best results	Abscon 112v4 AC (complete)	Abscon 112v4 ESAC (complete)	bpsolver 09 (complete)	Choco2.1.1 2009-06-10 (complete)	Choco2.1.1b 2009-07-16 (complete)	Mistral 1.545 (complete)	Sugar v1.14.6+minisat (complete)	Sugar v1.14.6+picosat (complete)
csp/bibd6/ normalized-bibd-6-70-35-3-14_glb.xml	SAT TT=0.088	SAT TT=33.923	? (TO) TT=1800.1	? (TO) TT=1800.09	SAT TT=240.205	SAT TT=524.884	SAT TT=0.088	SAT TT=3.876	SAT TT=4.394
csp/bibd6/ normalized-bibd-6-80-40-3-16_glb.xml	SAT TT=0.131	SAT TT=4.046	? (TO) TT=1800.15	? (TO) TT=1800.1	? (TO) TT=1800.07	? (TO) TT=1800.16	SAT TT=0.131	SAT TT=15.999	SAT TT=5.983
csp/bibd6/ normalized-bibd-6-90-45-3-18_glb.xml	SAT TT=0.122	SAT TT=4.53	SAT TT=820.658	? (TO) TT=1800.07	SAT TT=1300.72	? (TO) TT=1800.15	SAT TT=0.122	SAT TT=13.259	SAT TT=10.177
csp/bibd7/ normalized-bibd-7-07-3-3-1_glb.xml	SAT TT=0	SAT TT=1.096	SAT TT=1.17	SAT TT=0	SAT TT=0.859	SAT TT=0.821	SAT TT=0.016	SAT TT=1.149	SAT TT=1.068
csp/bibd7/ normalized-bibd-7-14-6-3-2_glb.xml	SAT TT=0	SAT TT=1.699	SAT TT=1.658	SAT TT=0	SAT TT=0.947	SAT TT=1.015	SAT TT=0.026	SAT TT=1.574	SAT TT=1.769
csp/bibd7/ normalized-bibd-7-21-9-3-3_glb.xml	SAT TT=0.038	SAT TT=2.353	SAT TT=2.56	SAT TT=0.457	SAT TT=1.176	SAT TT=1.16	SAT TT=0.038	SAT TT=1.917	SAT TT=2.318
csp/bibd7/ normalized-bibd-7-28-12-3-4_glb.xml	SAT TT=0.05	SAT TT=2.874	SAT TT=30.242	SAT TT=10.708	SAT TT=1.435	SAT TT=1.906	SAT TT=0.05	SAT TT=6.001	SAT TT=8.63
csp/bibd7/ normalized-bibd-7-35-15-3-5_glb.xml	SAT TT=0.062	SAT TT=337.367	SAT TT=12.357	SAT TT=407.932	SAT TT=1.752	SAT TT=2.476	SAT TT=0.062	SAT TT=2.583	SAT TT=2.83
csp/bibd7/ normalized-bibd-7-42-18-3-6_glb.xml	SAT TT=0.126	? (TO) TT=1800.11	? (TO) TT=1800.1	? (TO) TT=1800.07	SAT TT=2.965	SAT TT=5.952	SAT TT=0.126	SAT TT=2.941	SAT TT=4.282
csp/bibd7/ normalized-bibd-7-49-21-3-7_glb.xml	SAT TT=0.111	? (TO) TT=1800.15	? (TO) TT=1800.1	? (TO) TT=1800.08	SAT TT=5.119	SAT TT=4.449	SAT TT=0.111	SAT TT=5.772	SAT TT=7.714
Bench name	Best results	Abscon 112v4 AC (complete)	Abscon 112v4 ESAC (complete)	bpsolver 09 (complete)	Choco2.1.1 2009-06-10 (complete)	Choco2.1.1b 2009-07-16 (complete)	Mistral 1.545 (complete)	Sugar v1.14.6+minisat (complete)	Sugar v1.14.6+picosat (complete)
csp/bibd7/ normalized-bibd-7-56-24-3-8_glb.xml	SAT TT=0.466	SAT TT=24.243	? (TO) TT=1800.12	? (TO) TT=1800.05	SAT TT=11.19	SAT TT=31.92	SAT TT=0.466	SAT TT=14.252	SAT TT=19.699
csp/bibd7/ normalized-bibd-7-63-27-3-9_glb.xml	SAT TT=0.162	? (TO) TT=1800.09	? (TO) TT=1800.07	? (TO) TT=1800.09	SAT TT=74.506	SAT TT=211.61	SAT TT=0.162	SAT TT=13.856	SAT TT=19.205
csp/bibd7/ normalized-bibd-7-70-30-3-10_glb.xml	SAT TT=0.182	? (TO) TT=1800.14	? (TO) TT=1800.13	? (TO) TT=1800.02	SAT TT=9.586	SAT TT=28.485	SAT TT=0.182	SAT TT=3.785	SAT TT=5.32
csp/bibd7/ normalized-bibd-7-77-33-3-11_glb.xml	SAT TT=0.622	? (TO) TT=1800.08	? (TO) TT=1800.18	? (TO) TT=1800.07	SAT TT=23.188	SAT TT=1516.98	SAT TT=0.622	SAT TT=11.168	SAT TT=7.081
csp/bibd7/ normalized-bibd-7-84-36-3-12_glb.xml	SAT TT=0.27	? (TO) TT=1800.11	SAT TT=1773.38	? (TO) TT=1800.1	? (TO) TT=1800.17	? (TO) TT=1800.12	SAT TT=0.27	SAT TT=17.849	SAT TT=8.921
csp/bibd7/ normalized-bibd-7-91-39-3-13_glb.xml	SAT TT=0.29	? (TO) TT=1800.13	? (TO) TT=1800.08	? (TO) TT=1800.05	? (TO) TT=1800.09	SAT TT=469.548	SAT TT=0.29	? (TO) TT=1800.08	SAT TT=12.149
csp/bibd7/ normalized-bibd-7-98-42-3-14_glb.xml	SAT TT=0.191	? (TO) TT=1800.1	? (TO) TT=1800.16	? (TO) TT=1800.11	? (TO) TT=1800.1	? (TO) TT=1800.15	SAT TT=0.191	SAT TT=23.892	SAT TT=17.492
csp/bibd8/ normalized-bibd-8-14-7-4-3_glb.xml	SAT TT=0.043	SAT TT=1.754	SAT TT=2.978	SAT TT=0.156	SAT TT=1.146	SAT TT=1.24	SAT TT=0.043	SAT TT=1.534	SAT TT=1.709
csp/bibd8/ normalized-bibd-8-28-14-4-6_glb.xml	SAT TT=0.073	SAT TT=3.245	? (TO) TT=1800.16	SAT TT=27.154	SAT TT=2.444	SAT TT=4.195	SAT TT=0.073	SAT TT=8.659	SAT TT=12.147
csp/bibd8/ normalized-bibd-8-42-21-4-9_glb.xml	SAT TT=0.113	SAT TT=122.153	? (TO) TT=1800.15	? (TO) TT=1800.08	SAT TT=7.378	SAT TT=88.729	SAT TT=0.113	SAT TT=17.952	SAT TT=5.004
Bench name	Best results	Abscon 112v4 AC (complete)	Abscon 112v4 ESAC (complete)	bpsolver 09 (complete)	Choco2.1.1 2009-06-10 (complete)	Choco2.1.1b 2009-07-16 (complete)	Mistral 1.545 (complete)	Sugar v1.14.6+minisat (complete)	Sugar v1.14.6+picosat (complete)
csp/bibd8/ normalized-bibd-8-56-28-4-12_glb.xml	SAT TT=8.089	SAT TT=8.089	? (TO) TT=1800.12	? (TO) TT=1800.06	SAT TT=119.066	? (TO) TT=1800.09	SAT TT=10.799	SAT TT=16.606	SAT TT=26.548
csp/bibd8/ normalized-bibd-8-70-35-4-15_glb.xml	SAT TT=12.866	? (TO) TT=1800.07	? (TO) TT=1800.14	? (TO) TT=1800.08	? (TO) TT=1800.13	? (TO) TT=1800.11	SAT TT=189.102	SAT TT=135.22	SAT TT=12.866
csp/bibd8/ normalized-bibd-8-84-42-4-18_glb.xml	SAT TT=15.785	? (TO) TT=1800.13	? (TO) TT=1800.12	? (TO) TT=1800.02	? (TO) TT=1800.11	? (TO) TT=1800.08	SAT TT=515.368	SAT TT=1585.51	SAT TT=15.785
csp/bibd8/ normalized-bibd-8-98-49-4-21_glb.xml	SAT TT=59.697	? (TO) TT=1800.15	? (TO) TT=1800.1	? (TO) TT=1800.02	? (TO) TT=1800.1	? (TO) TT=1800.15	? (TO) TT=1800.08	? (TO) TT=1800.09	SAT TT=59.697
csp/bibd9/ normalized-bibd-9-108-36-3-9_glb.xml	SAT TT=44.857	? (TO) TT=1800.1	? (TO) TT=1800.11	? (TO) TT=1800.1	? (TO) TT=1800.09	? (TO) TT=1800.07	? (TO) TT=1800.09	SAT TT=324.535	SAT TT=44.857
csp/bibd9/ normalized-bibd-9-120-40-3-10_glb.xml	SAT TT=0.886	? (TO) TT=1800.14	? (TO) TT=1800.15	? (TO) TT=1800.08	? (TO) TT=1800.1	? (TO) TT=1800.13	SAT TT=0.886	SAT TT=80.509	SAT TT=104.089
csp/bibd9/ normalized-bibd-9-12-4-3-1_glb.xml	SAT TT=0.035	SAT TT=2.408	SAT TT=2.335	SAT TT=0.165	SAT TT=1.129	SAT TT=1.167	SAT TT=0.035	SAT TT=1.855	SAT TT=1.716
csp/bibd9/ normalized-bibd-9-24-8-3-2_glb.xml	SAT TT=0.075	SAT TT=2.767	SAT TT=2.87	SAT TT=0.701	SAT TT=1.442	SAT TT=1.709	SAT TT=0.075	SAT TT=3.533	SAT TT=4.995
csp/bibd9/ normalized-bibd-9-36-12-3-3_glb.xml	SAT TT=0.096	? (TO) TT=1800.09	SAT TT=5.365	SAT TT=238.097	SAT TT=3.873	SAT TT=7.541	SAT TT=0.096	SAT TT=3.251	SAT TT=4.146
csp/bibd9/ normalized-bibd-9-48-16-3-4_glb.xml	SAT TT=0.325	? (TO) TT=1800.08	SAT TT=609.905	? (TO) TT=1800.02	SAT TT=2.908	SAT TT=4.884	SAT TT=0.325	SAT TT=7.3	SAT TT=9.769
Bench name	Best results	Abscon 112v4 AC (complete)	Abscon 112v4 ESAC (complete)	bpsolver 09 (complete)	Choco2.1.1 2009-06-10 (complete)	Choco2.1.1b 2009-07-16 (complete)	Mistral 1.545 (complete)	Sugar v1.14.6+minisat (complete)	Sugar v1.14.6+picosat (complete)
csp/bibd9/ normalized-bibd-9-60-20-3-5_glb.xml	SAT TT=0.235	SAT TT=7.5	? (TO) TT=1800.11	? (TO) TT=1800.07	SAT TT=6.797	SAT TT=181.263	SAT TT=0.235	SAT TT=26.506	SAT TT=43.705
csp/bibd9/ normalized-bibd-9-72-24-3-6_glb.xml	SAT TT=0.207	SAT TT=1341.13	? (TO) TT=1800.17	? (TO) TT=1800.06	? (TO) TT=1800.12	? (TO) TT=1800.08	SAT TT=0.207	SAT TT=7.535	SAT TT=10.974
csp/bibd9/ normalized-bibd-9-84-28-3-7_glb.xml	SAT TT=0.382	SAT TT=111.547	? (TO) TT=1800.08	? (TO) TT=1800.1	? (TO) TT=1800.07	? (TO) TT=1800.16	SAT TT=0.382	SAT TT=54.968	SAT TT=12.957
csp/bibd9/ normalized-bibd-9-96-32-3-8_glb.xml	SAT TT=0.5	? (TO) TT=1800.16	? (TO) TT=1800.11	? (TO) TT=1800.02	? (TO) TT=1800.05	? (TO) TT=1800.13	SAT TT=0.5	SAT TT=46.345	SAT TT=23.494
csp/bibdVariousK/ normalized-bibd-10-15-6-4-2_glb.xml	SAT TT=0.103	SAT TT=8.852	SAT TT=2.345	SAT TT=0.301	SAT TT=1.31	SAT TT=1.523	SAT TT=0.103	SAT TT=2.009	SAT TT=2.355
csp/bibdVariousK/ normalized-bibd-10-18-9-5-4_glb.xml	SAT TT=0.16	SAT TT=49.402	SAT TT=32.854	SAT TT=0.457	SAT TT=2.187	SAT TT=2.108	SAT TT=0.16	SAT TT=2.332	SAT TT=2.987
csp/bibdVariousK/ normalized-bibd-11-11-5-5-2_glb.xml	SAT TT=0.106	SAT TT=2.039	SAT TT=2.634	SAT TT=0.216	SAT TT=1.445	SAT TT=1.267	SAT TT=0.106	SAT TT=3.376	SAT TT=3.98
csp/bibdVariousK/ normalized-bibd-11-22-10-5-4_glb.xml	SAT TT=0.281	SAT TT=910.533	SAT TT=7.787	SAT TT=1.71	SAT TT=3.129	SAT TT=2.967	SAT TT=0.281	SAT TT=4.93	SAT TT=6.646
csp/bibdVariousK/ normalized-bibd-12-22-11-6-5_glb.xml	SAT TT=0.257	SAT TT=445.317	? (TO) TT=1800.12	SAT TT=2.637	SAT TT=6.896	SAT TT=16.815	SAT TT=0.257	SAT TT=8.475	SAT TT=11.608
csp/bibdVariousK/ normalized-bibd-13-13-4-4-1_glb.xml	SAT TT=0.076	SAT TT=2.557	SAT TT=5.632	SAT TT=0.344	SAT TT=1.533	SAT TT=1.504	SAT TT=0.076	SAT TT=2.476	SAT TT=2.65
Bench name	Best results	Abscon 112v4 AC (complete)	Abscon 112v4 ESAC (complete)	bpsolver 09 (complete)	Choco2.1.1 2009-06-10 (complete)	Choco2.1.1b 2009-07-16 (complete)	Mistral 1.545 (complete)	Sugar v1.14.6+minisat (complete)	Sugar v1.14.6+picosat (complete)
csp/bibdVariousK/ normalized-bibd-13-26-8-4-2_glb.xml	SAT TT=0.266	SAT TT=7.845	SAT TT=123.696	SAT TT=1.334	SAT TT=2.319	SAT TT=2.911	SAT TT=0.266	SAT TT=9.815	SAT TT=18.014
csp/bibdVariousK/ normalized-bibd-14-26-13-7-6_glb.xml	SAT TT=24.397	? (TO) TT=1800.09	? (TO) TT=1800.16	SAT TT=24.397	? (TO) TT=1800.15	SAT TT=333.038	SAT TT=40.732	SAT TT=294.685	SAT TT=534.462
csp/bibdVariousK/ normalized-bibd-15-15-7-7-3_glb.xml	SAT TT=0.209	SAT TT=52.876	? (TO) TT=1800.1	SAT TT=0.561	SAT TT=2.808	SAT TT=3.678	SAT TT=0.209	SAT TT=3.294	SAT TT=3.938
csp/bibdVariousK/ normalized-bibd-15-21-7-5-2_glb.xml		? (TO) TT=1800.1	? (TO) TT=1800.08	? (TO) TT=1800.07	? (TO) TT=1800.07	? (TO) TT=1800.09	? (TO) TT=1800.03	? (TO) TT=1800.04	? (TO) TT=1800
csp/bibdVariousK/ normalized-bibd-15-35-7-3-1_glb.xml	SAT TT=0.287	SAT TT=14.498	? (TO) TT=1800.1	SAT TT=2.237	SAT TT=4.969	SAT TT=7.376	SAT TT=0.287	SAT TT=5.782	SAT TT=7.391
csp/bibdVariousK/ normalized-bibd-15-45-24-8-12_glb.xml	SAT TT=516.369	? (TO) TT=1800.14	? (TO) TT=1800.15	? (TO) TT=1800.07	? (TO) TT=1800.08	? (TO) TT=1800.16	SAT TT=516.369	? (TO) TT=1800.02	? (TO) TT=1800.03
csp/bibdVariousK/ normalized-bibd-15-70-14-3-2_glb.xml	SAT TT=0.736	? (TO) TT=1800.19	? (TO) TT=1800.1	? (TO) TT=1800.04	SAT TT=44.413	SAT TT=156.16	SAT TT=0.736	SAT TT=16.212	SAT TT=19.803
csp/bibdVariousK/ normalized-bibd-15-75-40-8-20_glb.xml		? (TO) TT=1800.15	? (TO) TT=1800.14	? (TO) TT=1800.02	? (TO) TT=1800.15	? (TO) TT=1800.09	? (TO) TT=1800.11	? (TO) TT=1800.08	? (TO) TT=1800.06
csp/bibdVariousK/ normalized-bibd-16-16-6-6-2_glb.xml	SAT TT=0.401	SAT TT=78.201	SAT TT=1197.66	SAT TT=7.232	SAT TT=3.164	SAT TT=3.394	SAT TT=0.401	SAT TT=3.299	SAT TT=4.285
csp/bibdVariousK/ normalized-bibd-16-20-5-4-1_glb.xml	SAT TT=0.21	SAT TT=6.826	SAT TT=661.579	SAT TT=0.793	SAT TT=2.377	SAT TT=2.54	SAT TT=0.21	SAT TT=4.89	SAT TT=6.143
Bench name	Best results	Abscon 112v4 AC (complete)	Abscon 112v4 ESAC (complete)	bpsolver 09 (complete)	Choco2.1.1 2009-06-10 (complete)	Choco2.1.1b 2009-07-16 (complete)	Mistral 1.545 (complete)	Sugar v1.14.6+minisat (complete)	Sugar v1.14.6+picosat (complete)
csp/bibdVariousK/ normalized-bibd-16-24-9-6-3_glb.xml	SAT TT=1.059	? (TO) TT=1800.14	? (TO) TT=1800.13	SAT TT=2.691	SAT TT=10.36	SAT TT=19.371	SAT TT=1.059	SAT TT=20.581	SAT TT=41.204
csp/bibdVariousK/ normalized-bibd-16-80-15-3-2_glb.xml	SAT TT=1.808	? (TO) TT=1800.15	? (TO) TT=1800.13	? (TO) TT=1800.04	SAT TT=1114.69	? (TO) TT=1800.13	SAT TT=1.808	SAT TT=33.739	SAT TT=176.478
csp/bibdVariousK/ normalized-bibd-19-19-9-9-4_glb.xml	SAT TT=1.629	? (TO) TT=1800.07	? (TO) TT=1800.05	SAT TT=1.629	SAT TT=16.324	SAT TT=41.066	SAT TT=2.706	SAT TT=20.609	SAT TT=41.153
csp/bibdVariousK/ normalized-bibd-19-57-9-3-1_glb.xml	SAT TT=2.212	? (TO) TT=1800.15	? (TO) TT=1800.11	SAT TT=53.099	SAT TT=37.419	SAT TT=90.255	SAT TT=2.212	SAT TT=90.479	SAT TT=155.408
csp/bibdVariousK/ normalized-bibd-21-21-5-5-1_glb.xml	SAT TT=0.358	? (TO) TT=1800.17	SAT TT=649.949	SAT TT=1.412	SAT TT=3.666	SAT TT=3.926	SAT TT=0.358	SAT TT=7.482	SAT TT=10.407
csp/bibdVariousK/ normalized-bibd-21-28-8-6-2_glb.xml		? (TO) TT=1800.09	? (TO) TT=1800.1	? (TO) TT=1800.08	? (TO) TT=1800.05	? (TO) TT=1800.18	? (TO) TT=1800.08	? (TO) TT=1800.03	? (TO) TT=1800.03
csp/bibdVariousK/ normalized-bibd-22-22-7-7-2_glb.xml		? (TO) TT=1800.11	? (TO) TT=1800.11	? (TO) TT=1800.07	? (TO) TT=1800.14	? (TO) TT=1800.09	? (TO) TT=1800.1	? (TO) TT=1800.08	? (TO) TT=1800.09
csp/bibdVariousK/ normalized-bibd-25-25-9-9-3_glb.xml	SAT TT=10.529	? (TO) TT=1800.13	? (TO) TT=1800.14	SAT TT=10.529	? (TO) TT=1800.07	? (TO) TT=1800.13	SAT TT=1541.26	SAT TT=980.808	? (TO) TT=1800.1
csp/bibdVariousK/ normalized-bibd-25-30-6-5-1_glb.xml	SAT TT=1.191	SAT TT=55.615	? (TO) TT=1800.14	? (TO) TT=1800.06	SAT TT=9.86	SAT TT=13.811	SAT TT=1.191	SAT TT=117.999	SAT TT=193.006
csp/bibdVariousK/ normalized-bibd-31-31-6-6-1_glb.xml	SAT TT=13.828	? (TO) TT=1800.13	? (TO) TT=1800.13	? (TO) TT=1800.03	SAT TT=13.828	SAT TT=18.099	SAT TT=34.642	SAT TT=163.655	SAT TT=184.437
Bench name	Best results	Abscon 112v4 AC (complete)	Abscon 112v4 ESAC (complete)	bpsolver 09 (complete)	Choco2.1.1 2009-06-10 (complete)	Choco2.1.1b 2009-07-16 (complete)	Mistral 1.545 (complete)	Sugar v1.14.6+minisat (complete)	Sugar v1.14.6+picosat (complete)
csp/bibdVariousK/ normalized-bibd-7-210-60-2-10_glb.xml	SAT TT=0.532	SAT TT=19.671	? (TO) TT=1800.11	? (TO) TT=1800.09	SAT TT=6.267	SAT TT=22.762	SAT TT=0.532	SAT TT=31.635	SAT TT=50.855
csp/bibdVariousK/ normalized-bibd-8-56-21-3-6_glb.xml	SAT TT=0.139	SAT TT=300.675	SAT TT=175.752	? (TO) TT=1800.09	SAT TT=3.373	SAT TT=12.815	SAT TT=0.139	SAT TT=17.085	SAT TT=23.74
csp/bibdVariousK/ normalized-bibd-9-18-8-4-3_glb.xml	SAT TT=0.102	SAT TT=2.469	SAT TT=3.015	SAT TT=0.313	SAT TT=1.562	SAT TT=1.86	SAT TT=0.102	SAT TT=2.081	SAT TT=2.468
csp/magicSquare/ normalized-magicSquare-10_glb.xml	SAT TT=0.697	? (TO) TT=1800.09	? (TO) TT=1800.09	SAT TT=893.78	SAT TT=3.284	SAT TT=8.479	SAT TT=0.697	SAT TT=477.032	SAT TT=227.851
csp/magicSquare/ normalized-magicSquare-11_glb.xml	SAT TT=6.94	? (TO) TT=1800.04	? (TO) TT=1800.1	SAT TT=899.564	SAT TT=6.94	SAT TT=7.241	? (TO) TT=1800.1	? (MO) TT=64.72	? (MO) TT=265.93
csp/magicSquare/ normalized-magicSquare-12_glb.xml	SAT TT=2.978	? (TO) TT=1800.08	? (TO) TT=1800.18	SAT TT=1146.42	SAT TT=17.538	SAT TT=9.815	SAT TT=2.978	? (MO) TT=107.58	? (MO) TT=318.662
csp/magicSquare/ normalized-magicSquare-13_glb.xml	SAT TT=9.926	? (TO) TT=1800.06	? (TO) TT=1800.18	SAT TT=951.352	SAT TT=41.506	SAT TT=33.527	SAT TT=9.926	? TT=417.644	? TT=172.318
csp/magicSquare/ normalized-magicSquare-14_glb.xml	SAT TT=0.342	? (TO) TT=1800.11	? (TO) TT=1800.16	? (TO) TT=1800.02	SAT TT=126.059	SAT TT=111.082	SAT TT=0.342	? TT=338.507	? TT=515.842
csp/magicSquare/ normalized-magicSquare-15_glb.xml	SAT TT=38.688	? (TO) TT=1800.12	? (TO) TT=1800.13	? (TO) TT=1800.02	SAT TT=309.869	SAT TT=463.998	SAT TT=38.688	? TT=239.316	? TT=253.974
csp/magicSquare/ normalized-magicSquare-16_glb.xml	SAT TT=60.324	? (TO) TT=1800.14	? (TO) TT=1800.18	? (TO) TT=1800.05	SAT TT=281.865	SAT TT=60.324	SAT TT=87.591	? TT=248.247	? TT=237.243
Bench name	Best results	Abscon 112v4 AC (complete)	Abscon 112v4 ESAC (complete)	bpsolver 09 (complete)	Choco2.1.1 2009-06-10 (complete)	Choco2.1.1b 2009-07-16 (complete)	Mistral 1.545 (complete)	Sugar v1.14.6+minisat (complete)	Sugar v1.14.6+picosat (complete)
csp/magicSquare/ normalized-magicSquare-17_glb.xml	SAT TT=287.568	? (TO) TT=1800.1	? (TO) TT=1800.1	? (TO) TT=1800.08	SAT TT=287.568	SAT TT=639.236	? (TO) TT=1800.09	? TT=256.383	? TT=237.938
csp/magicSquare/ normalized-magicSquare-18_glb.xml		? (TO) TT=1800.09	? (TO) TT=1800.13	? (TO) TT=1800.04	? (TO) TT=1800.15	? (TO) TT=1800.16	? (TO) TT=1800.06	? TT=244.892	? TT=237.649
csp/magicSquare/ normalized-magicSquare-19_glb.xml		? (TO) TT=1800.05	? (TO) TT=1800.09	? (TO) TT=1800.08	? (TO) TT=1800.07	? (TO) TT=1800.12	? (TO) TT=1800.11	? TT=253.949	? TT=671.404
csp/magicSquare/ normalized-magicSquare-20_glb.xml		? (TO) TT=1800.17	? (TO) TT=1800.1	? (TO) TT=1800.1	? (TO) TT=1800.16	? (TO) TT=1800.13	? (TO) TT=1800.08	? TT=253.874	? TT=229.182
csp/magicSquare/ normalized-magicSquare-3_glb.xml	SAT TT=0.008	SAT TT=0.661	SAT TT=0.711	SAT TT=0.025	SAT TT=0.475	SAT TT=0.528	SAT TT=0.008	SAT TT=0.61	SAT TT=0.561
csp/magicSquare/ normalized-magicSquare-4_glb.xml	SAT TT=0.007	SAT TT=0.773	SAT TT=0.816	SAT TT=0.029	SAT TT=0.605	SAT TT=0.53	SAT TT=0.007	SAT TT=0.685	SAT TT=0.884
csp/magicSquare/ normalized-magicSquare-5_glb.xml	SAT TT=0.01	SAT TT=1.184	SAT TT=2.731	SAT TT=0.878	SAT TT=0.605	SAT TT=0.573	SAT TT=0.01	SAT TT=1.347	SAT TT=2.63
csp/magicSquare/ normalized-magicSquare-6_glb.xml	SAT TT=0.02	SAT TT=1.725	SAT TT=1.808	SAT TT=896.608	SAT TT=0.795	SAT TT=0.799	SAT TT=0.02	SAT TT=4.001	SAT TT=5.792
csp/magicSquare/ normalized-magicSquare-7_glb.xml	SAT TT=0.104	SAT TT=13.67	? (TO) TT=1800.08	SAT TT=894.18	SAT TT=0.801	SAT TT=0.87	SAT TT=0.104	SAT TT=50.314	SAT TT=18.83
csp/magicSquare/ normalized-magicSquare-8_glb.xml	SAT TT=0.02	SAT TT=3.376	SAT TT=3.779	SAT TT=898.883	SAT TT=1.277	SAT TT=1.125	SAT TT=0.02	SAT TT=22.446	SAT TT=69.256
Bench name	Best results	Abscon 112v4 AC (complete)	Abscon 112v4 ESAC (complete)	bpsolver 09 (complete)	Choco2.1.1 2009-06-10 (complete)	Choco2.1.1b 2009-07-16 (complete)	Mistral 1.545 (complete)	Sugar v1.14.6+minisat (complete)	Sugar v1.14.6+picosat (complete)
csp/magicSquare/ normalized-magicSquare-9_glb.xml	SAT TT=0.083	? (TO) TT=1800.05	? (TO) TT=1800.08	SAT TT=895.45	SAT TT=1.861	SAT TT=4.084	SAT TT=0.083	SAT TT=66.974	SAT TT=364.939
csp/QG3/ normalized-quasigroup3-10.xml		? (TO) TT=1800.11	? (TO) TT=1800.18	? (TO) TT=1800.07	? (TO) TT=1800.09	? (TO) TT=1800.11	? (TO) TT=1800.11	? (TO) TT=1800.09	? (TO) TT=1800.08
csp/QG3/ normalized-quasigroup3-4.xml	SAT TT=0.011	SAT TT=0.92	SAT TT=0.904	SAT TT=0.037	SAT TT=0.714	SAT TT=0.698	SAT TT=0.011	SAT TT=0.764	SAT TT=0.772
csp/QG3/ normalized-quasigroup3-5.xml	UNSAT TT=0.02	UNSAT TT=1.168	UNSAT TT=1.159	UNSAT TT=0.052	UNSAT TT=0.941	UNSAT TT=0.879	UNSAT TT=0.02	UNSAT TT=0.922	UNSAT TT=0.963
csp/QG3/ normalized-quasigroup3-6.xml	UNSAT TT=0.095	UNSAT TT=1.529	UNSAT TT=1.752	UNSAT TT=0.095	UNSAT TT=1.769	UNSAT TT=2.383	UNSAT TT=0.241	UNSAT TT=1.145	UNSAT TT=1.188
csp/QG3/ normalized-quasigroup3-7.xml	UNSAT TT=1.713	UNSAT TT=20.474	UNSAT TT=21.24	UNSAT TT=1.713	UNSAT TT=30.253	UNSAT TT=67.063	UNSAT TT=28.166	UNSAT TT=2.757	UNSAT TT=3.725
csp/QG3/ normalized-quasigroup3-8.xml	SAT TT=0.152	SAT TT=2.264	SAT TT=2.303	SAT TT=0.189	SAT TT=9.898	SAT TT=9.53	SAT TT=0.152	SAT TT=1.65	SAT TT=1.923
csp/QG3/ normalized-quasigroup3-9.xml		? (TO) TT=1800.1	? (TO) TT=1800.12	? (TO) TT=1800.08	? (TO) TT=1800.15	? (TO) TT=1800.15	? (TO) TT=1800.02	? (TO) TT=1800.04	? (TO) TT=1800.13
csp/QG4/ normalized-quasigroup4-10.xml		? (TO) TT=1800.12	? (TO) TT=1800.18	? (TO) TT=1800.1	? (TO) TT=1800.05	? (TO) TT=1800.09	? (TO) TT=1800.07	? (TO) TT=1800.07	? (TO) TT=1800.08
csp/QG4/ normalized-quasigroup4-4.xml	UNSAT TT=0.01	UNSAT TT=0.955	UNSAT TT=0.974	UNSAT TT=0.039	UNSAT TT=0.646	UNSAT TT=0.599	UNSAT TT=0.01	UNSAT TT=0.813	UNSAT TT=0.92
Bench name	Best results	Abscon 112v4 AC (complete)	Abscon 112v4 ESAC (complete)	bpsolver 09 (complete)	Choco2.1.1 2009-06-10 (complete)	Choco2.1.1b 2009-07-16 (complete)	Mistral 1.545 (complete)	Sugar v1.14.6+minisat (complete)	Sugar v1.14.6+picosat (complete)
csp/QG4/ normalized-quasigroup4-5.xml	SAT TT=0.017	SAT TT=1.072	SAT TT=1.118	SAT TT=0.047	SAT TT=0.963	SAT TT=0.965	SAT TT=0.017	SAT TT=0.913	SAT TT=0.951
csp/QG4/ normalized-quasigroup4-6.xml	UNSAT TT=0.082	UNSAT TT=1.689	UNSAT TT=1.734	UNSAT TT=0.082	UNSAT TT=1.708	UNSAT TT=2.234	UNSAT TT=0.169	UNSAT TT=1.073	UNSAT TT=1.118
csp/QG4/ normalized-quasigroup4-7.xml	UNSAT TT=1.491	UNSAT TT=21.2	UNSAT TT=21.358	UNSAT TT=1.491	UNSAT TT=21.644	UNSAT TT=60.551	UNSAT TT=19.02	UNSAT TT=2.869	UNSAT TT=3.347
csp/QG4/ normalized-quasigroup4-8.xml	UNSAT TT=200.601	? (TO) TT=1800.19	? (TO) TT=1800.09	UNSAT TT=212.15	? (TO) TT=1800.06	? (TO) TT=1800.09	? (TO) TT=1800.01	UNSAT TT=200.601	UNSAT TT=542.553
csp/QG4/ normalized-quasigroup4-9.xml	SAT TT=0.242	SAT TT=4.504	SAT TT=7.308	SAT TT=2.113	SAT TT=32.359	SAT TT=35.937	SAT TT=0.242	SAT TT=2.35	SAT TT=2.578
csp/QG5/ normalized-quasigroup5-10.xml	UNSAT TT=452.63	? (TO) TT=1800.08	? (TO) TT=1800.15	UNSAT TT=452.63	? (TO) TT=1800.1	? (TO) TT=1800.11	UNSAT TT=923.542	UNSAT TT=1131.28	? (TO) TT=1800.13
csp/QG5/ normalized-quasigroup5-4.xml	UNSAT TT=0.009	UNSAT TT=0.799	UNSAT TT=0.792	UNSAT TT=0.03	UNSAT TT=0.426	UNSAT TT=0.431	UNSAT TT=0.009	UNSAT TT=0.715	UNSAT TT=0.719
csp/QG5/ normalized-quasigroup5-5.xml	SAT TT=0.011	SAT TT=0.968	SAT TT=0.943	SAT TT=0.037	SAT TT=0.591	SAT TT=0.689	SAT TT=0.011	SAT TT=0.902	SAT TT=0.937
csp/QG5/ normalized-quasigroup5-6.xml	UNSAT TT=0.017	UNSAT TT=1.179	UNSAT TT=1.231	UNSAT TT=0.05	UNSAT TT=0.783	UNSAT TT=0.787	UNSAT TT=0.017	UNSAT TT=0.961	UNSAT TT=1.197
csp/QG5/ normalized-quasigroup5-7.xml	SAT TT=0.016	SAT TT=1.27	SAT TT=1.208	SAT TT=0.057	SAT TT=0.896	SAT TT=1.016	SAT TT=0.016	SAT TT=1.092	SAT TT=1.187
Bench name	Best results	Abscon 112v4 AC (complete)	Abscon 112v4 ESAC (complete)	bpsolver 09 (complete)	Choco2.1.1 2009-06-10 (complete)	Choco2.1.1b 2009-07-16 (complete)	Mistral 1.545 (complete)	Sugar v1.14.6+minisat (complete)	Sugar v1.14.6+picosat (complete)
csp/QG5/ normalized-quasigroup5-8.xml	SAT TT=0.022	SAT TT=1.416	SAT TT=1.607	SAT TT=0.073	SAT TT=1.194	SAT TT=1.231	SAT TT=0.022	SAT TT=1.273	SAT TT=1.384
csp/QG5/ normalized-quasigroup5-9.xml	UNSAT TT=24.272	UNSAT TT=224.57	UNSAT TT=228.122	UNSAT TT=24.272	UNSAT TT=506.989	UNSAT TT=597.246	UNSAT TT=42.194	UNSAT TT=28.709	UNSAT TT=43.006
csp/QG6/ normalized-quasigroup6-10.xml		? (TO) TT=1800.13	? (TO) TT=1800.1	? (TO) TT=1800.03	? (TO) TT=1800.1	? (TO) TT=1800.07	? (TO) TT=1800.07	? (TO) TT=1800.01	? (TO) TT=1800.1
csp/QG6/ normalized-quasigroup6-4.xml	SAT TT=0.011	SAT TT=1.083	SAT TT=1.1	SAT TT=0.049	SAT TT=0.822	SAT TT=0.926	SAT TT=0.011	SAT TT=0.934	SAT TT=0.906
csp/QG6/ normalized-quasigroup6-5.xml	UNSAT TT=0.023	UNSAT TT=1.291	UNSAT TT=1.775	UNSAT TT=0.072	UNSAT TT=1.053	UNSAT TT=0.964	UNSAT TT=0.023	UNSAT TT=1.093	UNSAT TT=1.133
csp/QG6/ normalized-quasigroup6-6.xml	UNSAT TT=0.104	UNSAT TT=1.901	UNSAT TT=3.302	UNSAT TT=0.138	UNSAT TT=1.568	UNSAT TT=1.656	UNSAT TT=0.104	UNSAT TT=1.255	UNSAT TT=1.371
csp/QG6/ normalized-quasigroup6-7.xml	UNSAT TT=0.774	UNSAT TT=4.454	UNSAT TT=7.21	UNSAT TT=0.774	UNSAT TT=4.774	UNSAT TT=6.101	UNSAT TT=1.98	UNSAT TT=1.619	UNSAT TT=1.649
csp/QG6/ normalized-quasigroup6-8.xml	SAT TT=0.18	SAT TT=3.477	SAT TT=3.827	SAT TT=0.345	SAT TT=8.537	SAT TT=7.796	SAT TT=0.18	SAT TT=1.952	SAT TT=2.375
csp/QG6/ normalized-quasigroup6-9.xml	SAT TT=0.652	SAT TT=7.316	SAT TT=8.278	SAT TT=0.701	SAT TT=20.404	SAT TT=22.002	SAT TT=0.652	SAT TT=2.917	SAT TT=3.455
csp/QG7/ normalized-quasigroup7-10.xml		? (TO) TT=1800.1	? (TO) TT=1800.19	? (TO) TT=1800.09	? (TO) TT=1800.09	? (TO) TT=1800.1	? (TO) TT=1800.08	? (TO) TT=1800.02	? (TO) TT=1800.06
Bench name	Best results	Abscon 112v4 AC (complete)	Abscon 112v4 ESAC (complete)	bpsolver 09 (complete)	Choco2.1.1 2009-06-10 (complete)	Choco2.1.1b 2009-07-16 (complete)	Mistral 1.545 (complete)	Sugar v1.14.6+minisat (complete)	Sugar v1.14.6+picosat (complete)
csp/QG7/ normalized-quasigroup7-4.xml	UNSAT TT=0.012	UNSAT TT=1.092	UNSAT TT=1.148	UNSAT TT=0.049	UNSAT TT=0.707	UNSAT TT=0.606	UNSAT TT=0.012	UNSAT TT=0.917	UNSAT TT=0.872
csp/QG7/ normalized-quasigroup7-5.xml	SAT TT=0.021	SAT TT=1.334	SAT TT=1.364	SAT TT=0.067	SAT TT=0.992	SAT TT=1.072	SAT TT=0.021	SAT TT=1.05	SAT TT=1.054
csp/QG7/ normalized-quasigroup7-6.xml	UNSAT TT=0.176	UNSAT TT=2.155	UNSAT TT=3.012	UNSAT TT=0.176	UNSAT TT=1.779	UNSAT TT=2.398	UNSAT TT=0.259	UNSAT TT=1.231	UNSAT TT=1.386
csp/QG7/ normalized-quasigroup7-7.xml	UNSAT TT=1.8	UNSAT TT=20.775	UNSAT TT=18.288	UNSAT TT=3.86	UNSAT TT=8.395	UNSAT TT=16.507	UNSAT TT=10.234	UNSAT TT=1.8	UNSAT TT=1.977
csp/QG7/ normalized-quasigroup7-8.xml	UNSAT TT=12.101	UNSAT TT=688.195	UNSAT TT=636.639	UNSAT TT=287.717	UNSAT TT=247.397	UNSAT TT=992.938	UNSAT TT=873.096	UNSAT TT=12.101	UNSAT TT=30.81
csp/QG7/ normalized-quasigroup7-9.xml	SAT TT=3.514	SAT TT=8.224	SAT TT=13.877	SAT TT=15.386	SAT TT=20.919	SAT TT=23.008	SAT TT=15.957	SAT TT=3.514	SAT TT=4.146

Statistics		Abscon 112v4 AC (complete)	Abscon 112v4 ESAC (complete)	bpsolver 09 (complete)	Choco2.1.1 2009-06-10 (complete)	Choco2.1.1b 2009-07-16 (complete)	Mistral 1.545 (complete)	Sugar v1.14.6+minisat (complete)	Sugar v1.14.6+picosat (complete)
Number of times the solver is able to give the best known answer		76	64	76	101	101	118	114	114
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)		2	0	13	3	1	96	4	5