CSP 2009 Competition: results by benchmark

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

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

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/CabinetStart1/ normalized-cabinet-5561.xml	UNSAT TT=0.37	? (TO) TT=1800.09	? (TO) TT=1800.11	UNSAT TT=0.37	UNSAT TT=81.684	UNSAT TT=69.946	UNSAT TT=1.602	UNSAT TT=97.149	UNSAT TT=66.739
csp/CabinetStart1/ normalized-cabinet-5562.xml	UNSAT TT=0.371	? (TO) TT=1800.11	? (TO) TT=1800.16	UNSAT TT=0.371	UNSAT TT=75.452	UNSAT TT=65.773	UNSAT TT=1.667	UNSAT TT=99.912	UNSAT TT=66.279
csp/CabinetStart1/ normalized-cabinet-5563.xml	UNSAT TT=0.368	? (TO) TT=1800.15	? (TO) TT=1800.09	UNSAT TT=0.368	UNSAT TT=63.505	UNSAT TT=74.047	UNSAT TT=1.624	UNSAT TT=96.742	UNSAT TT=68.842
csp/CabinetStart1/ normalized-cabinet-5564.xml	UNSAT TT=0.366	? (TO) TT=1800.15	? (TO) TT=1800.08	UNSAT TT=0.366	UNSAT TT=62.66	UNSAT TT=72.614	UNSAT TT=1.616	UNSAT TT=102.013	UNSAT TT=65.619
csp/CabinetStart1/ normalized-cabinet-5565.xml	UNSAT TT=0.369	? (TO) TT=1800.1	? (TO) TT=1800.05	UNSAT TT=0.369	UNSAT TT=58.208	UNSAT TT=72.721	UNSAT TT=1.607	UNSAT TT=111.101	UNSAT TT=70.072
csp/CabinetStart1/ normalized-cabinet-5566.xml	UNSAT TT=0.367	? (TO) TT=1800.1	? (TO) TT=1800.18	UNSAT TT=0.367	UNSAT TT=63.645	UNSAT TT=58.988	UNSAT TT=1.739	UNSAT TT=111.206	UNSAT TT=75.508
csp/CabinetStart1/ normalized-cabinet-5567.xml	UNSAT TT=0.366	? (TO) TT=1800.07	? (TO) TT=1800.11	UNSAT TT=0.366	UNSAT TT=62.702	UNSAT TT=71.98	UNSAT TT=1.741	UNSAT TT=104.758	UNSAT TT=68.924
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/CabinetStart1/ normalized-cabinet-5568.xml	UNSAT TT=0.372	? (TO) TT=1800.15	? (TO) TT=1800.1	UNSAT TT=0.372	UNSAT TT=56.568	UNSAT TT=60.079	UNSAT TT=1.633	UNSAT TT=108.929	UNSAT TT=70.611
csp/CabinetStart1/ normalized-cabinet-5569.xml	UNSAT TT=0.368	? (TO) TT=1800.12	? (TO) TT=1800.17	UNSAT TT=0.368	UNSAT TT=50.275	UNSAT TT=56.732	UNSAT TT=1.592	UNSAT TT=108.959	UNSAT TT=62.309
csp/CabinetStart1/ normalized-cabinet-5570.xml	UNSAT TT=0.366	? (TO) TT=1800.16	? (TO) TT=1800.12	UNSAT TT=0.366	UNSAT TT=59.146	UNSAT TT=72.632	UNSAT TT=1.594	UNSAT TT=126.218	UNSAT TT=69.645
csp/CabinetStart1/ normalized-cabinet-5571.xml	UNSAT TT=0.374	? (TO) TT=1800.15	? (TO) TT=1800.12	UNSAT TT=0.374	UNSAT TT=71.134	UNSAT TT=59.244	UNSAT TT=2.129	UNSAT TT=105.455	UNSAT TT=73.915
csp/CabinetStart1/ normalized-cabinet-5572.xml	UNSAT TT=0.367	? (TO) TT=1800.18	? (TO) TT=1800.14	UNSAT TT=0.367	UNSAT TT=53.379	UNSAT TT=61.312	UNSAT TT=1.157	UNSAT TT=82.427	UNSAT TT=78.546
csp/CabinetStart1/ normalized-cabinet-5573.xml	UNSAT TT=0.371	? (TO) TT=1800.11	? (TO) TT=1800.1	UNSAT TT=0.371	UNSAT TT=66.533	UNSAT TT=65.825	UNSAT TT=1.17	UNSAT TT=91.555	UNSAT TT=76.685
csp/CabinetStart1/ normalized-cabinet-5574.xml	UNSAT TT=0.351	? (TO) TT=1800.1	? (TO) TT=1800.13	UNSAT TT=0.351	UNSAT TT=54.013	UNSAT TT=70.198	UNSAT TT=1.087	UNSAT TT=76.473	UNSAT TT=74.978
csp/CabinetStart1/ normalized-cabinet-5575.xml	UNSAT TT=0.371	? (TO) TT=1800.14	? (TO) TT=1800.13	UNSAT TT=0.371	UNSAT TT=59.115	UNSAT TT=51.782	UNSAT TT=1.096	UNSAT TT=92.156	UNSAT TT=72.018
csp/CabinetStart1/ normalized-cabinet-5576.xml	UNSAT TT=0.343	? (TO) TT=1800.11	? (TO) TT=1800.17	UNSAT TT=0.343	UNSAT TT=56.808	UNSAT TT=56.244	UNSAT TT=1.413	UNSAT TT=93.812	UNSAT TT=77.788
csp/CabinetStart1/ normalized-cabinet-5577.xml	UNSAT TT=0.348	? (TO) TT=1800.13	? (TO) TT=1800.1	UNSAT TT=0.348	UNSAT TT=64.833	UNSAT TT=75.066	UNSAT TT=1.423	UNSAT TT=94.865	UNSAT TT=82.712
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/CabinetStart1/ normalized-cabinet-5578.xml	UNSAT TT=0.366	? (TO) TT=1800.14	? (TO) TT=1800.07	UNSAT TT=0.366	UNSAT TT=64.547	UNSAT TT=55.301	UNSAT TT=1.512	UNSAT TT=110.982	UNSAT TT=68.28
csp/CabinetStart1/ normalized-cabinet-5579.xml	UNSAT TT=0.368	? (TO) TT=1800.06	? (TO) TT=1800.12	UNSAT TT=0.368	UNSAT TT=68.587	UNSAT TT=66.078	UNSAT TT=1.43	UNSAT TT=98.497	UNSAT TT=72.519
csp/CabinetStart1/ normalized-cabinet-5580.xml	UNSAT TT=0.367	? (TO) TT=1800.1	? (TO) TT=1800.1	UNSAT TT=0.367	UNSAT TT=60.531	UNSAT TT=55.823	UNSAT TT=1.406	UNSAT TT=109.408	UNSAT TT=75.189
csp/CabinetStart1/ normalized-cabinet-5581.xml	SAT TT=0.024	? (TO) TT=1800.17	? (TO) TT=1800.14	SAT TT=0.06	SAT TT=33.609	SAT TT=36.714	SAT TT=0.024	SAT TT=10.778	SAT TT=22.464
csp/CabinetStart1/ normalized-cabinet-5582.xml	SAT TT=0.022	? (TO) TT=1800.13	? (TO) TT=1800.12	SAT TT=0.059	SAT TT=34.24	SAT TT=34.057	SAT TT=0.022	SAT TT=10.416	SAT TT=20.874
csp/CabinetStart1/ normalized-cabinet-5583.xml	SAT TT=0.022	? (TO) TT=1800.11	? (TO) TT=1800.15	SAT TT=0.06	SAT TT=33.739	SAT TT=33.996	SAT TT=0.022	SAT TT=10.407	SAT TT=22.465
csp/CabinetStart1/ normalized-cabinet-5584.xml	SAT TT=0.024	? (TO) TT=1800.12	? (TO) TT=1800.06	SAT TT=0.062	SAT TT=33.545	SAT TT=36.872	SAT TT=0.024	SAT TT=13.694	SAT TT=22.255
csp/CabinetStart1/ normalized-cabinet-5585.xml	SAT TT=0.021	? (TO) TT=1800.12	? (TO) TT=1800.1	SAT TT=0.061	SAT TT=33.723	SAT TT=36.906	SAT TT=0.021	SAT TT=13.727	SAT TT=22.662
csp/CabinetStart1/ normalized-cabinet-5586.xml	SAT TT=0.025	? (TO) TT=1800.15	? (TO) TT=1800.09	SAT TT=0.068	SAT TT=33.558	SAT TT=36.86	SAT TT=0.025	SAT TT=13.989	SAT TT=25.361
csp/CabinetStart1/ normalized-cabinet-5587.xml	SAT TT=0.022	? (TO) TT=1800.12	? (TO) TT=1800.14	SAT TT=0.066	SAT TT=34.258	SAT TT=34.408	SAT TT=0.022	SAT TT=13.9	SAT TT=22.041
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/CabinetStart1/ normalized-cabinet-5588.xml	SAT TT=0.024	? (TO) TT=1800.11	? (TO) TT=1800.09	SAT TT=0.067	SAT TT=37.325	SAT TT=36.372	SAT TT=0.024	SAT TT=15.218	SAT TT=22.381
csp/CabinetStart1/ normalized-cabinet-5589.xml	SAT TT=0.021	? (TO) TT=1800.11	? (TO) TT=1800.11	SAT TT=0.061	SAT TT=34.191	SAT TT=35.121	SAT TT=0.021	SAT TT=13.782	SAT TT=20.464
csp/CabinetStart1/ normalized-cabinet-5590.xml	SAT TT=0.025	? (TO) TT=1800.11	? (TO) TT=1800.12	SAT TT=0.066	SAT TT=33.784	SAT TT=37.106	SAT TT=0.025	SAT TT=13.759	SAT TT=20.078
csp/CabinetStart1/ normalized-cabinet-5591.xml	SAT TT=0.024	? (TO) TT=1800.15	? (TO) TT=1800.15	SAT TT=0.063	SAT TT=37.14	SAT TT=34.184	SAT TT=0.024	SAT TT=14.07	SAT TT=20.891
csp/CabinetStart1/ normalized-cabinet-5592.xml	SAT TT=0.025	? (TO) TT=1800.17	? (TO) TT=1800.13	SAT TT=0.066	SAT TT=36.653	SAT TT=36.909	SAT TT=0.025	SAT TT=13.439	SAT TT=22.488
csp/CabinetStart1/ normalized-cabinet-5593.xml	SAT TT=0.025	? (TO) TT=1800.09	? (TO) TT=1800.09	SAT TT=0.06	SAT TT=34.39	SAT TT=36.916	SAT TT=0.025	SAT TT=14.328	SAT TT=21.671
csp/CabinetStart1/ normalized-cabinet-5594.xml	SAT TT=0.023	? (TO) TT=1800.07	? (TO) TT=1800.16	SAT TT=0.064	SAT TT=34.16	SAT TT=37.002	SAT TT=0.023	SAT TT=13.15	SAT TT=20.03
csp/CabinetStart1/ normalized-cabinet-5595.xml	SAT TT=0.025	? (TO) TT=1800.16	? (TO) TT=1800.17	SAT TT=0.063	SAT TT=34.272	SAT TT=37.089	SAT TT=0.025	SAT TT=13.688	SAT TT=20.092
csp/CabinetStart1/ normalized-cabinet-5596.xml	SAT TT=0.025	? (TO) TT=1800.14	? (TO) TT=1800.17	SAT TT=0.063	SAT TT=37.182	SAT TT=34.313	SAT TT=0.025	SAT TT=13.993	SAT TT=19.997
csp/CabinetStart1/ normalized-cabinet-5597.xml	SAT TT=0.026	? (TO) TT=1800.17	? (TO) TT=1800.14	SAT TT=0.065	SAT TT=36.5	SAT TT=34.531	SAT TT=0.026	SAT TT=15.994	SAT TT=21.639
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/CabinetStart1/ normalized-cabinet-5598.xml	SAT TT=0.024	? (TO) TT=1800.19	? (TO) TT=1800.15	SAT TT=0.065	SAT TT=36.747	SAT TT=37.054	SAT TT=0.024	SAT TT=14.828	SAT TT=20.109
csp/CabinetStart1/ normalized-cabinet-5599.xml	SAT TT=0.023	? (TO) TT=1800.12	? (TO) TT=1800.16	SAT TT=0.061	SAT TT=36.607	SAT TT=35.296	SAT TT=0.023	SAT TT=10.234	SAT TT=21.77
csp/CabinetStart1/ normalized-cabinet-5600.xml	SAT TT=0.023	? (TO) TT=1800.15	? (TO) TT=1800.16	SAT TT=0.064	SAT TT=34.425	SAT TT=34.165	SAT TT=0.023	SAT TT=12.158	SAT TT=20.36
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/pseudoGLB/ normalized-37s-smv.xml	UNSAT TT=3.002	? TT=0.81	? TT=0.796	UNSAT TT=206.444	UNSAT TT=69.072	? (TO) TT=1800.11	UNSAT TT=491.771	UNSAT TT=3.002	UNSAT TT=3.569
csp/pseudoGLB/ normalized-army8-9bt.xml	SAT TT=0.574	? TT=0.577	? TT=0.605	SAT TT=0.574	SAT TT=2.4	SAT TT=2.441	SAT TT=0.758	SAT TT=2.278	SAT TT=3.358
csp/pseudoGLB/ normalized-cache-inv14-ucl.xml	UNSAT TT=1725.03	? TT=2.527	? TT=2.506	? (TO) TT=1800.1	? (problem) TT=40.836	? (problem) TT=39.23	? (TO) TT=1800.09	UNSAT TT=1725.03	? (MO) TT=19.29
csp/pseudoGLB/ normalized-chnl10-15-pb-cnf-cr.xml	UNSAT TT=2.3	UNSAT TT=2.3	UNSAT TT=2.415	? (TO) TT=1800.04	? (TO) TT=1800.09	? (TO) TT=1800.15	? (TO) TT=1800.02	UNSAT TT=9.823	UNSAT TT=16.16
csp/pseudoGLB/ normalized-chnl20-30-pb-cnf-cr.xml		? (TO) TT=1800.11	? (TO) TT=1800.1	? (TO) TT=1800.09	? (TO) TT=1800.12	? (TO) TT=1800.13	? (TO) TT=1800.1	? (TO) TT=1800.08	? (TO) TT=1800.04
csp/pseudoGLB/ normalized-chnl30-31-pb-cnf-cr.xml		? (TO) TT=1800.11	? (TO) TT=1800.08	? (TO) TT=1800.1	? (TO) TT=1800.17	? (TO) TT=1800.07	? (TO) TT=1800.05	? (TO) TT=1800.09	? (TO) TT=1800.03
csp/pseudoGLB/ normalized-chnl30-35-pb-cnf-cr.xml		? (TO) TT=1800.13	? (TO) TT=1800.14	? (TO) TT=1800.07	? (TO) TT=1800.15	? (TO) TT=1800.13	? (TO) TT=1800.06	? (TO) TT=1800.1	? (TO) TT=1800.08
csp/pseudoGLB/ normalized-chnl35-36-pb-cnf-cr.xml		? (TO) TT=1800.13	? (TO) TT=1800.13	? (TO) TT=1800.05	? (TO) TT=1800.14	? (TO) TT=1800.1	? (TO) TT=1800.07	? (TO) TT=1800.06	? (TO) TT=1800.1
csp/pseudoGLB/ normalized-chnl35-45-pb-cnf-cr.xml		? (TO) TT=1800.09	? (TO) TT=1800.1	? (TO) TT=1800.1	? (TO) TT=1800.06	? (TO) TT=1800.06	? (TO) TT=1800.04	? (TO) TT=1800.01	? (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/pseudoGLB/ normalized-chnl40-45-pb-cnf-cr.xml		? (TO) TT=1800.07	? (TO) TT=1800.16	? (TO) TT=1800.09	? (TO) TT=1800.08	? (TO) TT=1800.12	? (TO) TT=1800.06	? (TO) TT=1800.09	? (TO) TT=1800.08
csp/pseudoGLB/ normalized-dbst-v30-e350-d15-mw10-2.PB06.xml	SAT TT=24.969	? (MO) TT=22.169	? (MO) TT=21.684	SAT TT=202.118	? (problem) TT=47.65	? (problem) TT=53.111	SAT TT=24.969	? (MO) TT=215.047	? (MO) TT=6.308
csp/pseudoGLB/ normalized-dbst-v30-e350-d15-mw10-3.PB06.xml	SAT TT=25.054	? (MO) TT=22.46	? (MO) TT=22.758	? (TO) TT=1800.08	? (problem) TT=47.894	? (problem) TT=52.172	SAT TT=25.054	? (MO) TT=207.06	? (MO) TT=5.97
csp/pseudoGLB/ normalized-dlx1c-rwmem-ucl.xml	UNSAT TT=11.197	? TT=1.024	? TT=0.996	? (TO) TT=1800.05	? (TO) TT=1800.1	? (TO) TT=1800.14	? (TO) TT=1800.05	UNSAT TT=11.197	UNSAT TT=11.901
csp/pseudoGLB/ normalized-elf-rf7-ucl.xml	UNSAT TT=0.313	? TT=0.757	? TT=0.71	? (TO) TT=1800.1	UNSAT TT=3.626	UNSAT TT=4.999	UNSAT TT=0.313	UNSAT TT=2.706	UNSAT TT=2.934
csp/pseudoGLB/ normalized-fpga10-8-sat-pb-cnf-cr.xml	SAT TT=0.918	SAT TT=7.551	SAT TT=7.449	SAT TT=1332.21	SAT TT=34.03	SAT TT=5.379	SAT TT=13.374	SAT TT=0.918	SAT TT=0.958
csp/pseudoGLB/ normalized-fpga12-12-sat-pb-cnf-cr.xml	SAT TT=1.123	SAT TT=723.719	SAT TT=55.715	SAT TT=895.711	? (TO) TT=1800.1	? (TO) TT=1800.09	SAT TT=246.517	SAT TT=5.458	SAT TT=1.123
csp/pseudoGLB/ normalized-fpga15-15-sat-pb-cnf-cr.xml	SAT TT=1.677	? (TO) TT=1800.08	? (TO) TT=1800.05	SAT TT=903.454	? (TO) TT=1800.06	? (TO) TT=1800.15	? (TO) TT=1800.02	? (TO) TT=1800.05	SAT TT=1.677
csp/pseudoGLB/ normalized-fpga20-20-sat-pb-cnf-cr.xml	SAT TT=12.243	? (TO) TT=1800.11	? (TO) TT=1800.14	SAT TT=896.36	? (TO) TT=1800.06	? (TO) TT=1800.11	? (TO) TT=1800.03	? (TO) TT=1800.05	SAT TT=12.243
csp/pseudoGLB/ normalized-fpga25-23-sat-pb-cnf-cr.xml	SAT TT=4.397	? (TO) TT=1800.09	? (TO) TT=1800.12	? (TO) TT=1800.09	? (TO) TT=1800.04	? (TO) TT=1800.06	? (TO) TT=1800.01	? (TO) TT=1800.01	SAT TT=4.397
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/pseudoGLB/ normalized-fpga25-24-sat-pb-cnf-cr.xml	SAT TT=5.562	? (TO) TT=1800.11	? (TO) TT=1800.14	? (TO) TT=1800.1	? (TO) TT=1800.07	? (TO) TT=1800.14	? (TO) TT=1800.08	? (TO) TT=1800.02	SAT TT=5.562
csp/pseudoGLB/ normalized-fpga25-25-sat-pb-cnf-cr.xml	SAT TT=5.686	? (TO) TT=1800.15	? (TO) TT=1800.14	SAT TT=1346.99	? (TO) TT=1800.13	? (TO) TT=1800.14	? (TO) TT=1800.02	? (TO) TT=1800.06	SAT TT=5.686
csp/pseudoGLB/ normalized-fpga35-35-sat-pb-cnf-cr.xml	SAT TT=16.278	? (TO) TT=1800.11	? (TO) TT=1800.06	SAT TT=1340.83	? (TO) TT=1800.11	? (TO) TT=1800.11	? (TO) TT=1800.09	? (TO) TT=1800.02	SAT TT=16.278
csp/pseudoGLB/ normalized-fpga40-38-sat-pb-cnf-cr.xml	SAT TT=31.385	? (TO) TT=1800.12	? (TO) TT=1800.15	? (TO) TT=1800.11	? (TO) TT=1800.14	? (TO) TT=1800.12	? (TO) TT=1800.08	? (TO) TT=1800.05	SAT TT=31.385
csp/pseudoGLB/ normalized-fpga40-40-sat-pb-cnf-cr.xml	SAT TT=37.467	? (TO) TT=1800.09	? (TO) TT=1800.14	SAT TT=1349.78	? (TO) TT=1800.14	? (TO) TT=1800.07	? (TO) TT=1800.05	? (TO) TT=1800.2	SAT TT=37.467
csp/pseudoGLB/ normalized-fpga45-45-sat-pb-cnf-cr.xml	SAT TT=104.213	? (TO) TT=1800.13	? (TO) TT=1800.08	SAT TT=1348.34	? (TO) TT=1800.05	? (TO) TT=1800.07	? (TO) TT=1800.06	? (TO) TT=1800.15	SAT TT=104.213
csp/pseudoGLB/ normalized-ooo-burch-dill-3-accl-ucl.xml	UNSAT TT=10.377	? TT=0.94	? TT=0.867	? (TO) TT=1800.09	? (TO) TT=1800.07	? (TO) TT=1800.07	? (TO) TT=1800.04	UNSAT TT=10.377	UNSAT TT=12.515
csp/pseudoGLB/ normalized-ooo-rf6-ucl.xml	UNSAT TT=1.527	? TT=0.769	? TT=0.774	? (TO) TT=1800.09	UNSAT TT=7.336	UNSAT TT=23.642	UNSAT TT=1.527	UNSAT TT=2.67	UNSAT TT=2.7
csp/pseudoGLB/ normalized-ooo-tag8-ucl.xml	UNSAT TT=5.947	? TT=0.9	? TT=0.766	? (TO) TT=1800.03	? (TO) TT=1800.15	? (TO) TT=1800.09	? (TO) TT=1800.1	UNSAT TT=5.947	UNSAT TT=6.05
csp/pseudoGLB/ normalized-pigeon-cardinality-41-40.xml		? (TO) TT=1800.07	? (TO) TT=1800.08	? (TO) TT=1800.07	? (TO) TT=1800.15	? (TO) TT=1800.06	? (TO) TT=1800.07	? (TO) TT=1800.07	? (TO) TT=1800.09
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/pseudoGLB/ normalized-pigeon-cardinality-65-60.xml		? (TO) TT=1800.13	? (TO) TT=1800.13	? (TO) TT=1800.04	? (TO) TT=1800.08	? (TO) TT=1800.1	? (TO) TT=1800.07	? (MO) TT=1244.22	? (TO) TT=1800.08
csp/pseudoGLB/ normalized-pigeon-cardinality-71-70.xml		? (TO) TT=1800.11	? (TO) TT=1800.08	? (TO) TT=1800.06	? (TO) TT=1800.14	? (TO) TT=1800.05	? (TO) TT=1800.1	? (TO) TT=1800	? (TO) TT=1800.05
csp/pseudoGLB/ normalized-pigeon-clauses-15-10.xml	UNSAT TT=1.283	UNSAT TT=1.283	UNSAT TT=1.37	? (TO) TT=1800.11	? (TO) TT=1800.09	? (TO) TT=1800.15	UNSAT TT=973.081	UNSAT TT=214.948	UNSAT TT=716.099
csp/pseudoGLB/ normalized-pigeon-clauses-25-20.xml	UNSAT TT=54.054	UNSAT TT=902.964	UNSAT TT=54.054	? (TO) TT=1800.05	? (TO) TT=1800.14	? (TO) TT=1800.23	? (TO) TT=1800.03	? (TO) TT=1800.01	? (TO) TT=1800.06
csp/pseudoGLB/ normalized-pigeon-clauses-31-30.xml		? (TO) TT=1800.08	? (TO) TT=1800.14	? (TO) TT=1800.01	? (TO) TT=1800.08	? (TO) TT=1800.14	? (TO) TT=1800.07	? (TO) TT=1800.05	? (TO) TT=1800.04
csp/pseudoGLB/ normalized-pigeon-clauses-51-50.xml		? (TO) TT=1800.39	? (TO) TT=1800.09	? (TO) TT=1800.11	? (TO) TT=1800.1	? (TO) TT=1800.13	? (TO) TT=1800.09	? (TO) TT=1800.08	? (TO) TT=1800.1
csp/pseudoGLB/ normalized-pigeon-clauses-71-70.xml		? (MO) TT=11.741	? (MO) TT=9.424	? (TO) TT=1800.08	? (TO) TT=1800.22	? (TO) TT=1800.13	? (TO) TT=1800.07	? (TO) TT=1800.03	? (TO) TT=1800.03
csp/pseudoGLB/ normalized-pigeon-clauses-91-90.xml		? (MO) TT=19.033	? (MO) TT=20.137	? (TO) TT=1800.06	? (problem) TT=92.013	? (problem) TT=87.672	? (TO) TT=1800.08	? (MO) TT=6	? (MO) TT=6.26
csp/pseudoGLB/ normalized-pigeon-clauses-95-90.xml		? (MO) TT=20.487	? (MO) TT=21.909	? (TO) TT=1800.14	? (problem) TT=96.745	? (problem) TT=56.501	? (TO) TT=1800.08	? (MO) TT=6.302	? (MO) TT=6.26
csp/pseudoGLB/ normalized-ppp:1-3-13-19.xml	SAT TT=5.007	? (TO) TT=1800.15	? (TO) TT=1800.12	? (TO) TT=1800.06	SAT TT=941.64	SAT TT=805.788	SAT TT=5.007	SAT TT=73.461	SAT TT=12.179
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/pseudoGLB/ normalized-reduced-prob2.xml	SAT TT=0.009	? (TO) TT=1800.09	? (TO) TT=1800.06	SAT TT=0.037	SAT TT=0.527	SAT TT=0.679	SAT TT=0.009	? TT=1596.2	? (TO) TT=359.458
csp/pseudoGLB/ normalized-reduced-prob3.xml	SAT TT=0.008	? (TO) TT=1800.16	? (TO) TT=1800.11	SAT TT=0.041	SAT TT=0.553	SAT TT=0.671	SAT TT=0.008	? (TO) TT=798.985	? TT=1454.29
csp/pseudoGLB/ normalized-reduced-prob5.xml	SAT TT=0.012	? (TO) TT=1800.07	? (TO) TT=1800.16	SAT TT=0.037	SAT TT=0.535	SAT TT=0.662	SAT TT=0.012	? (TO) TT=1801.94	? TT=1534.77
csp/pseudoGLB/ normalized-reduced-prob6.xml	SAT TT=0.012	? (TO) TT=1800.09	? (TO) TT=1800.15	SAT TT=0.036	SAT TT=0.49	SAT TT=0.513	SAT TT=0.012	? TT=971.827	? TT=997.527
csp/pseudoGLB/ normalized-reduced-prob7.xml	SAT TT=0.009	? (TO) TT=1800.06	? (TO) TT=1800.07	SAT TT=0.045	SAT TT=0.521	SAT TT=0.602	SAT TT=0.009	? TT=1152.17	? TT=1121.39
csp/pseudoGLB/ normalized-robin14.xml	SAT TT=518.286	? (TO) TT=1800.13	? (TO) TT=1800.1	? (TO) TT=1800.11	? (TO) TT=1800.17	? (TO) TT=1800.06	? (TO) TT=1800.04	SAT TT=518.286	? (TO) TT=1800.03
csp/pseudoGLB/ normalized-robin18.xml		? (TO) TT=1800.15	? (TO) TT=1800.2	? (TO) TT=1800.09	? (TO) TT=1800.14	? (TO) TT=1800.13	? (TO) TT=1800.1	? (MO) TT=1525.74	? (TO) TT=1800.01
csp/pseudoGLB/ normalized-robin8.xml	SAT TT=0.116	SAT TT=581.382	? (TO) TT=1800.14	SAT TT=0.328	SAT TT=1.575	SAT TT=2.208	SAT TT=0.116	SAT TT=17.015	SAT TT=24.688
csp/pseudoGLB/ normalized-t2001-13queen13-1110966688.xml	UNSAT TT=6.02	UNSAT TT=1383.29	UNSAT TT=268.663	UNSAT TT=6.02	UNSAT TT=23.075	UNSAT TT=87.778	UNSAT TT=20.93	UNSAT TT=12.257	UNSAT TT=16.305
csp/pseudoGLB/ normalized-t2001-13queen13-1110967142.xml	UNSAT TT=10.273	UNSAT TT=654.008	UNSAT TT=655.655	UNSAT TT=10.273	UNSAT TT=44.812	UNSAT TT=206.05	UNSAT TT=47.315	UNSAT TT=38.117	UNSAT TT=53.097
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/pseudoGLB/ normalized-t2001-13queen13-1110967523.xml	UNSAT TT=8.216	UNSAT TT=487	UNSAT TT=1217.57	UNSAT TT=8.216	UNSAT TT=63.96	UNSAT TT=264.159	UNSAT TT=44.174	UNSAT TT=24.91	UNSAT TT=36.959
csp/pseudoGLB/ normalized-t2001-13queen13-1110967729.xml	UNSAT TT=3.991	UNSAT TT=416.898	UNSAT TT=804.889	UNSAT TT=3.991	UNSAT TT=30.628	UNSAT TT=120.308	UNSAT TT=15.292	UNSAT TT=9.749	UNSAT TT=11.971
csp/pseudoGLB/ normalized-t2001-13queen13-1110968094.xml	UNSAT TT=7.676	UNSAT TT=465.009	UNSAT TT=898.954	UNSAT TT=7.676	UNSAT TT=24.073	UNSAT TT=143.584	UNSAT TT=27.335	UNSAT TT=15.959	UNSAT TT=19.967
csp/pseudoGLB/ normalized-t2001-13queen13-1110968898.xml	UNSAT TT=7.981	UNSAT TT=899.886	UNSAT TT=323.409	UNSAT TT=7.981	UNSAT TT=27.968	UNSAT TT=135.086	UNSAT TT=26.813	UNSAT TT=19.306	UNSAT TT=27.028
csp/pseudoGLB/ normalized-t2001-13queen13-1110969577.xml	UNSAT TT=5.249	UNSAT TT=633.235	UNSAT TT=788.988	UNSAT TT=5.249	UNSAT TT=40.054	UNSAT TT=120.918	UNSAT TT=15.562	UNSAT TT=14.61	UNSAT TT=18.454
csp/pseudoGLB/ normalized-t2001-13queen13-1110969933.xml	SAT TT=0.8	SAT TT=164.05	SAT TT=187.247	SAT TT=2.091	SAT TT=0.8	SAT TT=2.071	SAT TT=2.077	SAT TT=4.168	SAT TT=12.571
csp/pseudoGLB/ normalized-t2001-13queen13-1110971363.xml	UNSAT TT=7.571	UNSAT TT=354.4	UNSAT TT=672.242	UNSAT TT=7.571	UNSAT TT=24.012	UNSAT TT=184.136	UNSAT TT=35.819	UNSAT TT=13.692	UNSAT TT=18.495
csp/pseudoGLB/ normalized-t2001-13queen13-1110972763.xml	UNSAT TT=7.819	UNSAT TT=990.462	UNSAT TT=964.143	UNSAT TT=7.819	UNSAT TT=21.963	UNSAT TT=111.092	UNSAT TT=27.836	UNSAT TT=16.736	UNSAT TT=24.324
csp/pseudoGLB/ normalized-t2001-13queen13-1110973670.xml	UNSAT TT=8.277	UNSAT TT=1244.7	UNSAT TT=1042.82	UNSAT TT=8.277	UNSAT TT=34.822	UNSAT TT=131.663	UNSAT TT=14.932	UNSAT TT=20.309	UNSAT TT=20.56
csp/pseudoGLB/ normalized-t2001-13queen13-1110975965.xml	UNSAT TT=11.035	UNSAT TT=1187.99	UNSAT TT=679.219	UNSAT TT=11.035	UNSAT TT=56.798	UNSAT TT=219.178	UNSAT TT=55.541	UNSAT TT=32.053	UNSAT TT=45.915
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/pseudoGLB/ normalized-t2001-13queen13-1110976730.xml	UNSAT TT=7.239	UNSAT TT=899.952	UNSAT TT=745.423	UNSAT TT=7.239	UNSAT TT=35.267	UNSAT TT=209.612	UNSAT TT=72.04	UNSAT TT=30.369	UNSAT TT=38.23
csp/pseudoGLB/ normalized-t2001-13queen13-1110977464.xml	SAT TT=1.416	SAT TT=186.578	SAT TT=811.883	SAT TT=1.416	SAT TT=23.89	SAT TT=50.241	SAT TT=1.999	SAT TT=9.716	SAT TT=12.963
csp/pseudoGLB/ normalized-t2001-13queen13-1111212272.xml	UNSAT TT=5.94	UNSAT TT=1505.28	UNSAT TT=1144.69	UNSAT TT=5.94	UNSAT TT=33.333	UNSAT TT=172.174	UNSAT TT=56.576	UNSAT TT=19.956	UNSAT TT=26.862
csp/pseudoGLB/ normalized-t2001-13queen13-1111213670.xml	UNSAT TT=5.775	UNSAT TT=442.826	? (TO) TT=1800.06	UNSAT TT=5.775	UNSAT TT=22.648	UNSAT TT=113.734	UNSAT TT=15.344	UNSAT TT=15.12	UNSAT TT=15.674
csp/pseudoGLB/ normalized-t2001-13queen13-1111216411.xml	UNSAT TT=10.244	UNSAT TT=701.123	? (TO) TT=1800.14	UNSAT TT=10.244	UNSAT TT=28.159	UNSAT TT=169.219	UNSAT TT=43.93	UNSAT TT=22.679	UNSAT TT=32.434
csp/pseudoGLB/ normalized-t2001-13queen13-1111216823.xml	UNSAT TT=8.744	UNSAT TT=1672.4	? (TO) TT=1800.18	UNSAT TT=8.744	UNSAT TT=46.854	UNSAT TT=226.562	UNSAT TT=27.524	UNSAT TT=15.49	UNSAT TT=20.877
csp/pseudoGLB/ normalized-t2001-13queen13-1111218024.xml	UNSAT TT=8.782	UNSAT TT=312.814	UNSAT TT=620.855	UNSAT TT=8.782	UNSAT TT=34.238	UNSAT TT=228.435	UNSAT TT=25.875	UNSAT TT=20.636	UNSAT TT=27.828
csp/pseudoGLB/ normalized-t2001-13queen13-1111218308.xml	UNSAT TT=14.188	UNSAT TT=1420.27	UNSAT TT=1450.78	UNSAT TT=14.188	UNSAT TT=76.437	UNSAT TT=229.259	UNSAT TT=43.713	UNSAT TT=51.68	UNSAT TT=53.967
csp/pseudoGLB/ normalized-t2001-13queen13-1111218757.xml	UNSAT TT=7.895	UNSAT TT=240.955	UNSAT TT=811.569	UNSAT TT=7.895	UNSAT TT=28.678	UNSAT TT=144.149	UNSAT TT=21.971	UNSAT TT=19.642	UNSAT TT=26.434
csp/pseudoGLB/ normalized-t2001-13queen13-1111219799.xml	UNSAT TT=7.68	UNSAT TT=396.645	UNSAT TT=427.112	UNSAT TT=7.68	UNSAT TT=27.2	UNSAT TT=164.719	UNSAT TT=25.552	UNSAT TT=15.583	UNSAT TT=20.281
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/pseudoGLB/ normalized-t2001-13queen13-1111223416.xml	SAT TT=1.214	SAT TT=941.914	SAT TT=1034.32	SAT TT=2.608	SAT TT=4.409	SAT TT=2.302	SAT TT=1.214	SAT TT=3.279	SAT TT=13.013
csp/pseudoGLB/ normalized-t2001-13queen13-1111223596.xml	SAT TT=0.681	SAT TT=465.399	SAT TT=466.537	SAT TT=0.681	SAT TT=3.112	SAT TT=38.778	SAT TT=30.461	SAT TT=28.192	SAT TT=11.089
csp/pseudoGLB/ normalized-t2001-13queen13-1111224451.xml	UNSAT TT=5.596	UNSAT TT=1013.77	? (TO) TT=1800.07	UNSAT TT=5.596	UNSAT TT=29.26	UNSAT TT=144.886	UNSAT TT=43.103	UNSAT TT=12.201	UNSAT TT=17.784
csp/pseudoGLB/ normalized-t2001-13queen13-1111224929.xml	UNSAT TT=5.435	UNSAT TT=920.98	UNSAT TT=287.321	UNSAT TT=5.435	UNSAT TT=24.785	UNSAT TT=108.032	UNSAT TT=35.109	UNSAT TT=15.762	UNSAT TT=20.336
csp/pseudoGLB/ normalized-t2001-13queen13-1111225605.xml	UNSAT TT=8.179	UNSAT TT=804.466	UNSAT TT=550.066	UNSAT TT=8.179	UNSAT TT=18.526	UNSAT TT=108.597	UNSAT TT=23.364	UNSAT TT=17.499	UNSAT TT=19.882
csp/pseudoGLB/ normalized-t2001-13queen13-1111226284.xml	SAT TT=0.801	SAT TT=85.795	? (TO) TT=1800.09	SAT TT=7.74	SAT TT=1.817	SAT TT=30.296	SAT TT=0.801	SAT TT=1.571	SAT TT=7.759
csp/pseudoGLB/ normalized-t2001-13queen13-1111226368.xml	UNSAT TT=4.781	UNSAT TT=423.175	UNSAT TT=231.808	UNSAT TT=4.781	UNSAT TT=13.967	UNSAT TT=109.602	UNSAT TT=26.764	UNSAT TT=11.328	UNSAT TT=12.878
csp/pseudoGLB/ normalized-t2001-13queen13-1111226680.xml	UNSAT TT=7.086	? (TO) TT=1800.14	UNSAT TT=797.617	UNSAT TT=7.086	UNSAT TT=31.063	UNSAT TT=262.167	UNSAT TT=20.624	UNSAT TT=17.526	UNSAT TT=21.319
csp/pseudoGLB/ normalized-t2001-13queen13-1111227418.xml	SAT TT=3.726	SAT TT=412.822	? (TO) TT=1800.16	SAT TT=3.726	SAT TT=6.785	SAT TT=60.711	SAT TT=22.407	SAT TT=8.879	SAT TT=19.401
csp/pseudoGLB/ normalized-t2001-13queen13-1111228076.xml	UNSAT TT=7.186	UNSAT TT=1607.36	UNSAT TT=396.291	UNSAT TT=7.186	UNSAT TT=61.002	UNSAT TT=280.349	UNSAT TT=27.926	UNSAT TT=28.396	UNSAT TT=38.294
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/pseudoGLB/ normalized-t3002-11tsp11-1900545610.xml	UNSAT TT=41.37	? (TO) TT=1800.1	? (TO) TT=1800.15	UNSAT TT=41.37	? (TO) TT=1800.09	? (TO) TT=1800.05	? (TO) TT=1800.01	UNSAT TT=112.101	UNSAT TT=331.15
csp/pseudoGLB/ normalized-t3002-11tsp11-1900546076.xml	UNSAT TT=9.615	? (TO) TT=1800.09	? (TO) TT=1800.07	UNSAT TT=19.999	? (TO) TT=1800.1	? (TO) TT=1800.1	? (TO) TT=1800.1	UNSAT TT=9.615	UNSAT TT=9.819
csp/pseudoGLB/ normalized-t3002-11tsp11-1900547353.xml	SAT TT=0.643	? (TO) TT=1800.13	? (TO) TT=1800.1	SAT TT=0.643	SAT TT=40.138	SAT TT=13.266	SAT TT=5.128	SAT TT=2.945	SAT TT=4.021
csp/pseudoGLB/ normalized-t3002-11tsp11-1900547389.xml	UNSAT TT=20.139	? (TO) TT=1800.12	? (TO) TT=1800.11	UNSAT TT=20.139	? (TO) TT=1800.09	? (TO) TT=1800.11	? (TO) TT=1800.07	UNSAT TT=88.178	UNSAT TT=301.907
csp/pseudoGLB/ normalized-t3002-11tsp11-1900547416.xml	SAT TT=0.899	? (TO) TT=1800.09	? (TO) TT=1800.08	SAT TT=0.899	SAT TT=20.007	SAT TT=208.986	SAT TT=7.158	SAT TT=2.614	SAT TT=5.411
csp/pseudoGLB/ normalized-t3002-11tsp11-1900552311.xml	SAT TT=0.571	? (TO) TT=1800.05	? (TO) TT=1800.07	SAT TT=0.571	SAT TT=11.353	SAT TT=59.731	SAT TT=0.607	SAT TT=3.078	SAT TT=3.402
csp/pseudoGLB/ normalized-t3002-11tsp11-1900553647.xml	UNSAT TT=25.737	? (TO) TT=1800.09	? (TO) TT=1800.1	UNSAT TT=25.737	? (TO) TT=1800.13	? (TO) TT=1800.08	? (TO) TT=1800.05	UNSAT TT=114.17	UNSAT TT=310.407
csp/pseudoGLB/ normalized-t3002-11tsp11-1900557413.xml	SAT TT=0.562	? (TO) TT=1800.14	? (TO) TT=1800.11	SAT TT=0.562	SAT TT=9.92	SAT TT=305.327	SAT TT=15.998	SAT TT=7.749	SAT TT=8.393
csp/pseudoGLB/ normalized-t3002-11tsp11-1900557568.xml	SAT TT=0.793	? (TO) TT=1800.12	? (TO) TT=1800.15	SAT TT=1.213	SAT TT=9.835	SAT TT=2.395	SAT TT=0.793	SAT TT=2.502	SAT TT=2.872
csp/pseudoGLB/ normalized-t3002-11tsp11-1900561384.xml	SAT TT=0.692	? (TO) TT=1800.18	? (TO) TT=1800.13	SAT TT=0.692	SAT TT=13.104	SAT TT=33.272	SAT TT=5.452	SAT TT=2.537	SAT TT=3.079
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/pseudoGLB/ normalized-t3002-11tsp11-1900561389.xml	SAT TT=0.984	? (TO) TT=1800.13	? (TO) TT=1800.1	SAT TT=0.984	SAT TT=231.098	SAT TT=138.425	SAT TT=14.918	SAT TT=3.329	SAT TT=5.519
csp/pseudoGLB/ normalized-t3002-11tsp11-1900562192.xml	UNSAT TT=15.334	? (TO) TT=1800.14	? (TO) TT=1800.1	UNSAT TT=15.334	? (TO) TT=1800.09	? (TO) TT=1800.12	UNSAT TT=1270.02	UNSAT TT=50.667	UNSAT TT=144.353
csp/pseudoGLB/ normalized-t3002-11tsp11-1900568186.xml	UNSAT TT=22.067	? (TO) TT=1800.06	? (TO) TT=1800.12	UNSAT TT=22.067	? (TO) TT=1800.07	? (TO) TT=1800.14	? (TO) TT=1800.08	UNSAT TT=25.521	UNSAT TT=31.803
csp/pseudoGLB/ normalized-t3002-11tsp11-1900568706.xml	UNSAT TT=15.494	? (TO) TT=1800.16	? (TO) TT=1800.12	UNSAT TT=23.037	? (TO) TT=1800.1	? (TO) TT=1800.15	UNSAT TT=977.476	UNSAT TT=15.494	UNSAT TT=15.908
csp/pseudoGLB/ normalized-t3002-11tsp11-1900575442.xml	UNSAT TT=32.2	? (TO) TT=1800.08	? (TO) TT=1800.12	UNSAT TT=53.103	? (TO) TT=1800.12	? (TO) TT=1800.12	? (TO) TT=1800.03	UNSAT TT=32.2	UNSAT TT=149.299
csp/pseudoGLB/ normalized-t3002-11tsp11-1900576927.xml	UNSAT TT=42.795	? (TO) TT=1800.12	? (TO) TT=1800.11	UNSAT TT=42.795	? (TO) TT=1800.1	? (TO) TT=1800.12	? (TO) TT=1800.03	UNSAT TT=206.987	UNSAT TT=785.407
csp/pseudoGLB/ normalized-t3002-11tsp11-1900582376.xml	SAT TT=1.852	? (TO) TT=1800.1	? (TO) TT=1800.14	SAT TT=1.852	SAT TT=22.397	SAT TT=80.562	SAT TT=5.669	SAT TT=2.74	SAT TT=5.096
csp/pseudoGLB/ normalized-t3002-11tsp11-1900583053.xml	UNSAT TT=53.321	? (TO) TT=1800.1	? (TO) TT=1800.14	UNSAT TT=53.321	? (TO) TT=1800.13	? (TO) TT=1800.17	? (TO) TT=1800.03	UNSAT TT=159.468	UNSAT TT=867.543
csp/pseudoGLB/ normalized-t3002-11tsp11-1900584219.xml	UNSAT TT=12.054	? (TO) TT=1800.15	? (TO) TT=1800.19	UNSAT TT=31.827	? (TO) TT=1800.09	? (TO) TT=1800.1	? (TO) TT=1800.01	UNSAT TT=102.258	UNSAT TT=12.054
csp/pseudoGLB/ normalized-t3002-11tsp11-1900669309.xml	SAT TT=1.708	? (TO) TT=1800.08	? (TO) TT=1800.09	SAT TT=1.708	SAT TT=129.266	SAT TT=400.895	SAT TT=46.561	SAT TT=7.442	SAT TT=5.339
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/pseudoGLB/ normalized-t3002-11tsp11-1900670167.xml	UNSAT TT=26.999	? (TO) TT=1800.11	? (TO) TT=1800.13	UNSAT TT=26.999	? (TO) TT=1800.16	? (TO) TT=1800.05	? (TO) TT=1800.08	UNSAT TT=34.74	UNSAT TT=141.321
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		113	95	186	194	193	217	222	229
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)		4	1	79	4	1	130	14	16