CSP 2009 Competition: results by benchmark

Results by benchmark for category binary constraints in extension (2-ARY-EXT), subcategory quasi random

This page displays the results of the different solvers for each benchmark for category binary constraints in extension (2-ARY-EXT), subcategory quasi random

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)
Concrete 2009-07-14 (complete)
Concrete DC 2009-07-14 (complete)
Conquer 2009-07-10 (complete)
Mistral 1.545 (complete)
pcs 0.3.2 (complete)
pcs-restart 0.3.2 (complete)
SAT4J CSP 2.1.1 (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)	Concrete 2009-07-14 (complete)	Concrete DC 2009-07-14 (complete)	Conquer 2009-07-10 (complete)	Mistral 1.545 (complete)	pcs 0.3.2 (complete)	pcs-restart 0.3.2 (complete)	SAT4J CSP 2.1.1 (complete)	Sugar v1.14.6+minisat (complete)	Sugar v1.14.6+picosat (complete)
csp/composed-25-10-20/ normalized-composed-25-10-20-2_ext.xml	SAT TT=0.048	SAT TT=1.071	SAT TT=1.299	SAT TT=0.591	SAT TT=1.014	SAT TT=1.176	SAT TT=1.401	SAT TT=2.902	SAT TT=1.329	SAT TT=0.048	SAT TT=0.092	SAT TT=0.133	SAT TT=2.895	SAT TT=1.235	SAT TT=1.383
csp/composed-25-10-20/ normalized-composed-25-10-20-3_ext.xml	SAT TT=0.051	SAT TT=1.09	SAT TT=1.289	? (TO) TT=1800.07	SAT TT=1.036	SAT TT=1.231	SAT TT=1.403	SAT TT=3.162	SAT TT=1.499	SAT TT=0.051	SAT TT=0.146	SAT TT=0.098	SAT TT=2.935	SAT TT=1.414	SAT TT=1.354
csp/composed-25-10-20/ normalized-composed-25-10-20-5_ext.xml	SAT TT=0.045	SAT TT=0.997	SAT TT=1.214	SAT TT=0.962	SAT TT=0.958	SAT TT=1.038	SAT TT=1.394	SAT TT=3.28	SAT TT=1.923	SAT TT=0.045	SAT TT=0.1	SAT TT=0.112	SAT TT=2.83	SAT TT=1.241	SAT TT=1.282
csp/composed-25-10-20/ normalized-composed-25-10-20-6_ext.xml	SAT TT=0.053	SAT TT=1.03	SAT TT=1.308	? (TO) TT=1800.07	SAT TT=1.022	SAT TT=1.036	SAT TT=1.291	SAT TT=2.991	SAT TT=1.786	SAT TT=0.053	SAT TT=0.118	SAT TT=0.112	SAT TT=2.742	SAT TT=1.422	SAT TT=1.369
csp/composed-25-10-20/ normalized-composed-25-10-20-8_ext.xml	SAT TT=0.042	SAT TT=1.062	SAT TT=1.064	SAT TT=869.583	SAT TT=1.03	SAT TT=1.187	SAT TT=1.369	SAT TT=3.316	SAT TT=1.659	SAT TT=0.042	SAT TT=0.109	SAT TT=0.101	SAT TT=2.881	SAT TT=1.214	SAT TT=1.285
csp/composed-25-1-25/ normalized-composed-25-1-25-0_ext.xml	UNSAT TT=0.021	UNSAT TT=0.865	UNSAT TT=0.893	UNSAT TT=0.186	UNSAT TT=0.753	UNSAT TT=0.749	UNSAT TT=1.16	UNSAT TT=1.213	UNSAT TT=0.66	UNSAT TT=0.021	UNSAT TT=0.041	UNSAT TT=0.036	UNSAT TT=1.498	UNSAT TT=0.931	UNSAT TT=1.107
csp/composed-25-1-25/ normalized-composed-25-1-25-2_ext.xml	UNSAT TT=0.019	UNSAT TT=0.864	UNSAT TT=0.848	UNSAT TT=0.192	UNSAT TT=0.713	UNSAT TT=0.757	UNSAT TT=1.131	UNSAT TT=1.237	UNSAT TT=0.621	UNSAT TT=0.019	UNSAT TT=0.035	UNSAT TT=0.04	UNSAT TT=1.507	UNSAT TT=1.1	UNSAT TT=0.953
csp/composed-25-1-25/ normalized-composed-25-1-25-5_ext.xml	UNSAT TT=0.017	UNSAT TT=0.875	UNSAT TT=0.835	UNSAT TT=0.177	UNSAT TT=0.751	UNSAT TT=0.703	UNSAT TT=1.148	UNSAT TT=1.229	UNSAT TT=0.671	UNSAT TT=0.017	UNSAT TT=0.039	UNSAT TT=0.037	UNSAT TT=1.489	UNSAT TT=1.185	UNSAT TT=0.966
csp/composed-25-1-25/ normalized-composed-25-1-25-7_ext.xml	UNSAT TT=0.02	UNSAT TT=0.831	UNSAT TT=0.883	UNSAT TT=0.189	UNSAT TT=0.772	UNSAT TT=0.704	UNSAT TT=1.127	UNSAT TT=1.217	UNSAT TT=0.662	UNSAT TT=0.02	UNSAT TT=0.04	UNSAT TT=0.04	UNSAT TT=1.499	UNSAT TT=0.945	UNSAT TT=1.098
csp/composed-25-1-25/ normalized-composed-25-1-25-8_ext.xml	UNSAT TT=0.02	UNSAT TT=0.823	UNSAT TT=0.845	UNSAT TT=0.19	UNSAT TT=0.767	UNSAT TT=0.751	UNSAT TT=1.144	UNSAT TT=1.228	UNSAT TT=0.66	UNSAT TT=0.02	UNSAT TT=0.038	UNSAT TT=0.039	UNSAT TT=1.477	UNSAT TT=1.314	UNSAT TT=1.248
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)	Concrete 2009-07-14 (complete)	Concrete DC 2009-07-14 (complete)	Conquer 2009-07-10 (complete)	Mistral 1.545 (complete)	pcs 0.3.2 (complete)	pcs-restart 0.3.2 (complete)	SAT4J CSP 2.1.1 (complete)	Sugar v1.14.6+minisat (complete)	Sugar v1.14.6+picosat (complete)
csp/composed-25-1-2/ normalized-composed-25-1-2-3_ext.xml	UNSAT TT=0.018	UNSAT TT=0.843	UNSAT TT=0.861	UNSAT TT=0.183	UNSAT TT=0.73	UNSAT TT=0.732	UNSAT TT=1.095	UNSAT TT=1.212	UNSAT TT=0.652	UNSAT TT=0.018	UNSAT TT=0.039	UNSAT TT=0.037	UNSAT TT=1.49	UNSAT TT=1.058	UNSAT TT=0.907
csp/composed-25-1-2/ normalized-composed-25-1-2-5_ext.xml	UNSAT TT=0.021	UNSAT TT=0.795	UNSAT TT=0.807	UNSAT TT=0.185	UNSAT TT=0.918	UNSAT TT=0.738	UNSAT TT=1.053	UNSAT TT=1.203	UNSAT TT=0.614	UNSAT TT=0.021	UNSAT TT=0.038	UNSAT TT=0.039	UNSAT TT=1.592	UNSAT TT=1.096	UNSAT TT=1.071
csp/composed-25-1-2/ normalized-composed-25-1-2-7_ext.xml	UNSAT TT=0.02	UNSAT TT=0.866	UNSAT TT=0.848	UNSAT TT=0.174	UNSAT TT=0.859	UNSAT TT=0.762	UNSAT TT=1.159	UNSAT TT=1.147	UNSAT TT=0.614	UNSAT TT=0.02	UNSAT TT=0.038	UNSAT TT=0.036	UNSAT TT=1.488	UNSAT TT=0.901	UNSAT TT=1.093
csp/composed-25-1-2/ normalized-composed-25-1-2-8_ext.xml	UNSAT TT=0.019	UNSAT TT=0.859	UNSAT TT=0.852	UNSAT TT=0.172	UNSAT TT=0.75	UNSAT TT=0.739	UNSAT TT=1.08	UNSAT TT=1.159	UNSAT TT=0.61	UNSAT TT=0.019	UNSAT TT=0.038	UNSAT TT=0.039	UNSAT TT=1.556	UNSAT TT=0.935	UNSAT TT=0.937
csp/composed-25-1-2/ normalized-composed-25-1-2-9_ext.xml	UNSAT TT=0.019	UNSAT TT=0.847	UNSAT TT=0.865	UNSAT TT=0.181	UNSAT TT=0.739	UNSAT TT=0.872	UNSAT TT=1.145	UNSAT TT=1.112	UNSAT TT=0.649	UNSAT TT=0.019	UNSAT TT=0.037	UNSAT TT=0.038	UNSAT TT=1.478	UNSAT TT=0.931	UNSAT TT=0.961
csp/composed-25-1-40/ normalized-composed-25-1-40-0_ext.xml	UNSAT TT=0.021	UNSAT TT=0.83	UNSAT TT=0.853	UNSAT TT=0.194	UNSAT TT=0.827	UNSAT TT=0.76	UNSAT TT=1.175	UNSAT TT=1.245	UNSAT TT=0.617	UNSAT TT=0.021	UNSAT TT=0.042	UNSAT TT=0.037	UNSAT TT=1.514	UNSAT TT=0.955	UNSAT TT=0.993
csp/composed-25-1-40/ normalized-composed-25-1-40-3_ext.xml	UNSAT TT=0.02	UNSAT TT=0.832	UNSAT TT=0.873	UNSAT TT=0.196	UNSAT TT=0.736	UNSAT TT=0.778	UNSAT TT=1.14	UNSAT TT=1.266	UNSAT TT=0.612	UNSAT TT=0.02	UNSAT TT=0.039	UNSAT TT=0.038	UNSAT TT=1.486	UNSAT TT=0.932	UNSAT TT=0.932
csp/composed-25-1-40/ normalized-composed-25-1-40-4_ext.xml	UNSAT TT=0.02	UNSAT TT=0.848	UNSAT TT=0.901	UNSAT TT=0.199	UNSAT TT=0.761	UNSAT TT=0.768	UNSAT TT=1.143	UNSAT TT=1.266	UNSAT TT=0.62	UNSAT TT=0.02	UNSAT TT=0.041	UNSAT TT=0.041	UNSAT TT=1.635	UNSAT TT=0.962	UNSAT TT=0.974
csp/composed-25-1-40/ normalized-composed-25-1-40-5_ext.xml	UNSAT TT=0.02	UNSAT TT=0.826	UNSAT TT=0.861	UNSAT TT=0.197	UNSAT TT=0.895	UNSAT TT=0.756	UNSAT TT=1.164	UNSAT TT=1.172	UNSAT TT=0.663	UNSAT TT=0.02	UNSAT TT=0.042	UNSAT TT=0.039	UNSAT TT=1.499	UNSAT TT=0.948	UNSAT TT=0.967
csp/composed-25-1-40/ normalized-composed-25-1-40-9_ext.xml	UNSAT TT=0.021	UNSAT TT=0.823	UNSAT TT=0.834	UNSAT TT=0.184	UNSAT TT=0.766	UNSAT TT=0.764	UNSAT TT=1.079	UNSAT TT=1.224	UNSAT TT=0.616	UNSAT TT=0.021	UNSAT TT=0.041	UNSAT TT=0.039	UNSAT TT=1.626	UNSAT TT=0.907	UNSAT TT=1.123
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)	Concrete 2009-07-14 (complete)	Concrete DC 2009-07-14 (complete)	Conquer 2009-07-10 (complete)	Mistral 1.545 (complete)	pcs 0.3.2 (complete)	pcs-restart 0.3.2 (complete)	SAT4J CSP 2.1.1 (complete)	Sugar v1.14.6+minisat (complete)	Sugar v1.14.6+picosat (complete)
csp/composed-25-1-80/ normalized-composed-25-1-80-1_ext.xml	UNSAT TT=0.024	UNSAT TT=0.977	UNSAT TT=0.89	UNSAT TT=0.209	UNSAT TT=0.793	UNSAT TT=0.893	UNSAT TT=1.142	UNSAT TT=1.284	UNSAT TT=0.639	UNSAT TT=0.024	UNSAT TT=0.044	UNSAT TT=0.043	UNSAT TT=1.538	UNSAT TT=0.994	UNSAT TT=1.147
csp/composed-25-1-80/ normalized-composed-25-1-80-2_ext.xml	UNSAT TT=0.023	UNSAT TT=0.987	UNSAT TT=0.905	UNSAT TT=0.196	UNSAT TT=0.785	UNSAT TT=0.893	UNSAT TT=1.279	UNSAT TT=1.303	UNSAT TT=0.621	UNSAT TT=0.023	UNSAT TT=0.044	UNSAT TT=0.042	UNSAT TT=1.552	UNSAT TT=0.98	UNSAT TT=0.999
csp/composed-25-1-80/ normalized-composed-25-1-80-4_ext.xml	UNSAT TT=0.023	UNSAT TT=0.894	UNSAT TT=0.832	UNSAT TT=0.211	UNSAT TT=0.79	UNSAT TT=0.857	UNSAT TT=1.11	UNSAT TT=1.287	UNSAT TT=0.654	UNSAT TT=0.023	UNSAT TT=0.04	UNSAT TT=0.041	UNSAT TT=1.54	UNSAT TT=1.247	UNSAT TT=0.998
csp/composed-25-1-80/ normalized-composed-25-1-80-5_ext.xml	UNSAT TT=0.02	UNSAT TT=0.893	UNSAT TT=0.853	UNSAT TT=0.209	UNSAT TT=0.91	UNSAT TT=0.796	UNSAT TT=1.159	UNSAT TT=1.196	UNSAT TT=0.622	UNSAT TT=0.02	UNSAT TT=0.042	UNSAT TT=0.042	UNSAT TT=1.552	UNSAT TT=1.132	UNSAT TT=1.153
csp/composed-25-1-80/ normalized-composed-25-1-80-9_ext.xml	UNSAT TT=0.024	UNSAT TT=0.972	UNSAT TT=0.826	UNSAT TT=0.199	UNSAT TT=0.892	UNSAT TT=0.897	UNSAT TT=1.167	UNSAT TT=1.196	UNSAT TT=0.663	UNSAT TT=0.024	UNSAT TT=0.041	UNSAT TT=0.044	UNSAT TT=1.562	UNSAT TT=1.105	UNSAT TT=1.008
csp/composed-75-1-25/ normalized-composed-75-1-25-2_ext.xml	UNSAT TT=0.046	UNSAT TT=0.975	UNSAT TT=0.979	UNSAT TT=0.446	UNSAT TT=1.098	UNSAT TT=0.945	UNSAT TT=1.249	UNSAT TT=1.525	UNSAT TT=0.82	UNSAT TT=0.046	UNSAT TT=0.071	UNSAT TT=0.077	UNSAT TT=2.205	UNSAT TT=1.143	UNSAT TT=1.18
csp/composed-75-1-25/ normalized-composed-75-1-25-3_ext.xml	UNSAT TT=0.044	UNSAT TT=0.994	UNSAT TT=0.977	UNSAT TT=0.447	UNSAT TT=0.961	UNSAT TT=0.944	UNSAT TT=1.26	UNSAT TT=1.526	UNSAT TT=0.832	UNSAT TT=0.044	UNSAT TT=0.075	UNSAT TT=0.08	UNSAT TT=2.399	UNSAT TT=1.145	UNSAT TT=1.229
csp/composed-75-1-25/ normalized-composed-75-1-25-6_ext.xml	UNSAT TT=0.046	UNSAT TT=0.95	UNSAT TT=0.964	UNSAT TT=0.419	UNSAT TT=0.946	UNSAT TT=0.944	UNSAT TT=1.351	UNSAT TT=1.39	UNSAT TT=0.828	UNSAT TT=0.046	UNSAT TT=0.07	UNSAT TT=0.076	UNSAT TT=2.389	UNSAT TT=1.342	UNSAT TT=1.281
csp/composed-75-1-25/ normalized-composed-75-1-25-7_ext.xml	UNSAT TT=0.045	UNSAT TT=0.956	UNSAT TT=0.977	UNSAT TT=0.446	UNSAT TT=0.961	UNSAT TT=0.939	UNSAT TT=1.265	UNSAT TT=1.519	UNSAT TT=0.847	UNSAT TT=0.045	UNSAT TT=0.073	UNSAT TT=0.079	UNSAT TT=2.666	UNSAT TT=1.145	UNSAT TT=1.42
csp/composed-75-1-25/ normalized-composed-75-1-25-8_ext.xml	UNSAT TT=0.044	UNSAT TT=0.954	UNSAT TT=1.038	UNSAT TT=0.455	UNSAT TT=0.961	UNSAT TT=1.117	UNSAT TT=1.273	UNSAT TT=1.514	UNSAT TT=0.834	UNSAT TT=0.044	UNSAT TT=0.072	UNSAT TT=0.079	UNSAT TT=2.201	UNSAT TT=1.144	UNSAT TT=1.188
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)	Concrete 2009-07-14 (complete)	Concrete DC 2009-07-14 (complete)	Conquer 2009-07-10 (complete)	Mistral 1.545 (complete)	pcs 0.3.2 (complete)	pcs-restart 0.3.2 (complete)	SAT4J CSP 2.1.1 (complete)	Sugar v1.14.6+minisat (complete)	Sugar v1.14.6+picosat (complete)
csp/composed-75-1-2/ normalized-composed-75-1-2-0_ext.xml	UNSAT TT=0.042	UNSAT TT=0.963	UNSAT TT=0.993	UNSAT TT=0.437	UNSAT TT=0.936	UNSAT TT=0.932	UNSAT TT=1.319	UNSAT TT=1.447	UNSAT TT=0.777	UNSAT TT=0.042	UNSAT TT=0.075	UNSAT TT=0.074	UNSAT TT=2.195	UNSAT TT=1.121	UNSAT TT=1.208
csp/composed-75-1-2/ normalized-composed-75-1-2-2_ext.xml	UNSAT TT=0.041	UNSAT TT=0.966	UNSAT TT=0.98	UNSAT TT=0.443	UNSAT TT=0.948	UNSAT TT=0.877	UNSAT TT=1.331	UNSAT TT=1.444	UNSAT TT=0.777	UNSAT TT=0.041	UNSAT TT=0.075	UNSAT TT=0.073	UNSAT TT=2.2	UNSAT TT=1.311	UNSAT TT=1.245
csp/composed-75-1-2/ normalized-composed-75-1-2-5_ext.xml	UNSAT TT=0.045	UNSAT TT=0.944	UNSAT TT=1.01	UNSAT TT=0.416	UNSAT TT=0.952	UNSAT TT=0.946	UNSAT TT=1.326	UNSAT TT=1.45	UNSAT TT=0.77	UNSAT TT=0.045	UNSAT TT=0.077	UNSAT TT=0.077	UNSAT TT=2.21	UNSAT TT=1.3	UNSAT TT=1.414
csp/composed-75-1-2/ normalized-composed-75-1-2-6_ext.xml	UNSAT TT=0.046	UNSAT TT=1.001	UNSAT TT=0.958	UNSAT TT=0.408	UNSAT TT=0.905	UNSAT TT=0.935	UNSAT TT=1.317	UNSAT TT=1.436	UNSAT TT=0.764	UNSAT TT=0.046	UNSAT TT=0.077	UNSAT TT=0.072	UNSAT TT=2.214	UNSAT TT=1.45	UNSAT TT=1.27
csp/composed-75-1-2/ normalized-composed-75-1-2-8_ext.xml	UNSAT TT=0.043	UNSAT TT=0.949	UNSAT TT=1.045	UNSAT TT=0.412	UNSAT TT=0.937	UNSAT TT=0.945	UNSAT TT=1.256	UNSAT TT=1.431	UNSAT TT=0.823	UNSAT TT=0.043	UNSAT TT=0.077	UNSAT TT=0.066	UNSAT TT=2.348	UNSAT TT=1.09	UNSAT TT=1.272
csp/composed-75-1-40/ normalized-composed-75-1-40-0_ext.xml	UNSAT TT=0.042	UNSAT TT=1.146	UNSAT TT=0.986	UNSAT TT=0.424	UNSAT TT=0.904	UNSAT TT=0.937	UNSAT TT=1.34	UNSAT TT=1.46	UNSAT TT=0.803	UNSAT TT=0.042	UNSAT TT=0.081	UNSAT TT=0.077	UNSAT TT=2.369	UNSAT TT=1.332	UNSAT TT=1.398
csp/composed-75-1-40/ normalized-composed-75-1-40-2_ext.xml	UNSAT TT=0.047	UNSAT TT=1.015	UNSAT TT=0.947	UNSAT TT=0.456	UNSAT TT=0.979	UNSAT TT=0.94	UNSAT TT=1.286	UNSAT TT=1.547	UNSAT TT=0.801	UNSAT TT=0.047	UNSAT TT=0.076	UNSAT TT=0.075	UNSAT TT=2.405	UNSAT TT=1.107	UNSAT TT=1.21
csp/composed-75-1-40/ normalized-composed-75-1-40-4_ext.xml	UNSAT TT=0.041	UNSAT TT=0.957	UNSAT TT=0.96	UNSAT TT=0.428	UNSAT TT=0.901	UNSAT TT=0.947	UNSAT TT=1.214	UNSAT TT=1.503	UNSAT TT=0.761	UNSAT TT=0.041	UNSAT TT=0.079	UNSAT TT=0.077	UNSAT TT=2.209	UNSAT TT=1.13	UNSAT TT=1.264
csp/composed-75-1-40/ normalized-composed-75-1-40-5_ext.xml	UNSAT TT=0.044	UNSAT TT=1.025	UNSAT TT=0.984	UNSAT TT=0.462	UNSAT TT=0.956	UNSAT TT=0.948	UNSAT TT=1.33	UNSAT TT=1.439	UNSAT TT=0.828	UNSAT TT=0.044	UNSAT TT=0.072	UNSAT TT=0.075	UNSAT TT=2.425	UNSAT TT=1.27	UNSAT TT=1.439
csp/composed-75-1-40/ normalized-composed-75-1-40-7_ext.xml	UNSAT TT=0.046	UNSAT TT=0.969	UNSAT TT=0.969	UNSAT TT=0.46	UNSAT TT=0.968	UNSAT TT=0.975	UNSAT TT=1.326	UNSAT TT=1.426	UNSAT TT=0.783	UNSAT TT=0.046	UNSAT TT=0.08	UNSAT TT=0.079	UNSAT TT=2.384	UNSAT TT=1.122	UNSAT TT=1.42
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)	Concrete 2009-07-14 (complete)	Concrete DC 2009-07-14 (complete)	Conquer 2009-07-10 (complete)	Mistral 1.545 (complete)	pcs 0.3.2 (complete)	pcs-restart 0.3.2 (complete)	SAT4J CSP 2.1.1 (complete)	Sugar v1.14.6+minisat (complete)	Sugar v1.14.6+picosat (complete)
csp/composed-75-1-80/ normalized-composed-75-1-80-1_ext.xml	UNSAT TT=0.046	UNSAT TT=1.035	UNSAT TT=1.877	UNSAT TT=0.435	UNSAT TT=0.907	UNSAT TT=1.115	UNSAT TT=1.354	UNSAT TT=1.602	UNSAT TT=0.762	UNSAT TT=0.046	UNSAT TT=0.08	UNSAT TT=0.081	UNSAT TT=2.405	UNSAT TT=1.174	UNSAT TT=1.336
csp/composed-75-1-80/ normalized-composed-75-1-80-2_ext.xml	UNSAT TT=0.043	UNSAT TT=0.956	UNSAT TT=1.024	UNSAT TT=0.436	UNSAT TT=0.972	UNSAT TT=0.947	UNSAT TT=1.29	UNSAT TT=1.615	UNSAT TT=0.74	UNSAT TT=0.043	UNSAT TT=0.08	UNSAT TT=0.081	UNSAT TT=2.446	UNSAT TT=1.353	UNSAT TT=1.398
csp/composed-75-1-80/ normalized-composed-75-1-80-5_ext.xml	UNSAT TT=0.049	UNSAT TT=0.968	UNSAT TT=0.946	UNSAT TT=0.471	UNSAT TT=0.908	UNSAT TT=0.963	UNSAT TT=1.366	UNSAT TT=1.617	UNSAT TT=0.82	UNSAT TT=0.049	UNSAT TT=0.083	UNSAT TT=0.081	UNSAT TT=2.446	UNSAT TT=1.141	UNSAT TT=1.238
csp/composed-75-1-80/ normalized-composed-75-1-80-7_ext.xml	UNSAT TT=0.048	UNSAT TT=0.954	UNSAT TT=0.959	UNSAT TT=0.47	UNSAT TT=0.976	UNSAT TT=0.966	UNSAT TT=1.351	UNSAT TT=1.574	UNSAT TT=0.786	UNSAT TT=0.048	UNSAT TT=0.077	UNSAT TT=0.08	UNSAT TT=2.237	UNSAT TT=1.356	UNSAT TT=1.251
csp/composed-75-1-80/ normalized-composed-75-1-80-9_ext.xml	UNSAT TT=0.046	UNSAT TT=0.957	UNSAT TT=0.974	UNSAT TT=0.463	UNSAT TT=0.963	UNSAT TT=0.961	UNSAT TT=1.357	UNSAT TT=1.596	UNSAT TT=0.811	UNSAT TT=0.046	UNSAT TT=0.083	UNSAT TT=0.081	UNSAT TT=2.467	UNSAT TT=1.162	UNSAT TT=1.179
csp/ehi-85/ normalized-ehi-85-297-19_ext.xml	UNSAT TT=0.106	UNSAT TT=1.659	UNSAT TT=1.291	UNSAT TT=0.519	UNSAT TT=1.203	UNSAT TT=1.16	UNSAT TT=2.147	UNSAT TT=2.045	UNSAT TT=1.165	UNSAT TT=0.112	UNSAT TT=0.106	UNSAT TT=0.115	UNSAT TT=3.666	UNSAT TT=2.029	UNSAT TT=2.224
csp/ehi-85/ normalized-ehi-85-297-28_ext.xml	UNSAT TT=0.109	UNSAT TT=1.944	UNSAT TT=1.253	UNSAT TT=0.552	UNSAT TT=1.317	UNSAT TT=1.3	UNSAT TT=2.141	UNSAT TT=2.2	UNSAT TT=1.223	UNSAT TT=0.109	UNSAT TT=0.109	UNSAT TT=0.109	UNSAT TT=4.062	UNSAT TT=2.171	UNSAT TT=2.359
csp/ehi-85/ normalized-ehi-85-297-72_ext.xml	UNSAT TT=0.104	UNSAT TT=2.396	UNSAT TT=1.339	UNSAT TT=0.508	UNSAT TT=1.212	UNSAT TT=1.164	UNSAT TT=2.513	UNSAT TT=2.168	UNSAT TT=1.278	UNSAT TT=0.12	UNSAT TT=0.104	UNSAT TT=0.118	UNSAT TT=4.115	UNSAT TT=2.135	UNSAT TT=2.456
csp/ehi-85/ normalized-ehi-85-297-74_ext.xml	UNSAT TT=0.111	UNSAT TT=2.019	UNSAT TT=1.289	UNSAT TT=0.542	UNSAT TT=1.2	UNSAT TT=1.174	UNSAT TT=2.494	UNSAT TT=2.212	UNSAT TT=1.238	UNSAT TT=0.112	UNSAT TT=0.111	UNSAT TT=0.111	UNSAT TT=3.815	UNSAT TT=2.303	UNSAT TT=2.474
csp/ehi-85/ normalized-ehi-85-297-83_ext.xml	UNSAT TT=0.109	UNSAT TT=2.201	UNSAT TT=1.3	UNSAT TT=86.109	UNSAT TT=1.371	UNSAT TT=1.104	UNSAT TT=2.165	UNSAT TT=2.198	UNSAT TT=1.499	UNSAT TT=0.149	UNSAT TT=0.109	UNSAT TT=0.11	UNSAT TT=3.865	UNSAT TT=2.192	UNSAT TT=2.155
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)	Concrete 2009-07-14 (complete)	Concrete DC 2009-07-14 (complete)	Conquer 2009-07-10 (complete)	Mistral 1.545 (complete)	pcs 0.3.2 (complete)	pcs-restart 0.3.2 (complete)	SAT4J CSP 2.1.1 (complete)	Sugar v1.14.6+minisat (complete)	Sugar v1.14.6+picosat (complete)
csp/ehi-90/ normalized-ehi-90-315-48_ext.xml	UNSAT TT=0.117	UNSAT TT=1.631	UNSAT TT=1.32	UNSAT TT=0.535	UNSAT TT=1.488	UNSAT TT=1.215	UNSAT TT=2.448	UNSAT TT=2.328	UNSAT TT=1.492	UNSAT TT=0.134	UNSAT TT=0.117	UNSAT TT=0.118	UNSAT TT=3.892	UNSAT TT=2.068	UNSAT TT=2.544
csp/ehi-90/ normalized-ehi-90-315-73_ext.xml	UNSAT TT=0.118	UNSAT TT=1.403	UNSAT TT=1.398	UNSAT TT=0.574	UNSAT TT=1.248	UNSAT TT=1.196	UNSAT TT=2.462	UNSAT TT=2.333	UNSAT TT=1.319	UNSAT TT=0.118	UNSAT TT=0.12	UNSAT TT=0.124	UNSAT TT=3.978	UNSAT TT=1.952	UNSAT TT=2.656
csp/ehi-90/ normalized-ehi-90-315-76_ext.xml	UNSAT TT=0.134	UNSAT TT=2.495	UNSAT TT=1.39	UNSAT TT=0.578	UNSAT TT=1.168	UNSAT TT=1.125	UNSAT TT=2.506	UNSAT TT=2.312	UNSAT TT=1.585	UNSAT TT=0.17	UNSAT TT=0.134	UNSAT TT=0.145	UNSAT TT=4.358	UNSAT TT=2.329	UNSAT TT=2.442
csp/ehi-90/ normalized-ehi-90-315-93_ext.xml	UNSAT TT=0.111	UNSAT TT=2.287	UNSAT TT=1.355	UNSAT TT=435.044	UNSAT TT=1.423	UNSAT TT=1.212	UNSAT TT=2.603	UNSAT TT=2.154	UNSAT TT=1.724	UNSAT TT=0.193	UNSAT TT=0.119	UNSAT TT=0.111	UNSAT TT=4.065	UNSAT TT=2.078	UNSAT TT=2.523
csp/ehi-90/ normalized-ehi-90-315-95_ext.xml	UNSAT TT=0.125	UNSAT TT=1.984	UNSAT TT=1.34	UNSAT TT=152.068	UNSAT TT=1.142	UNSAT TT=1.213	UNSAT TT=3.502	UNSAT TT=2.3	UNSAT TT=1.252	UNSAT TT=0.13	UNSAT TT=0.125	UNSAT TT=0.135	UNSAT TT=4.01	UNSAT TT=2.068	UNSAT TT=2.467
csp/geom/ normalized-geo50-20-d4-75-19_ext.xml	SAT TT=2.53	SAT TT=8.021	SAT TT=8.142	? (TO) TT=1800.05	SAT TT=118.15	SAT TT=94.493	SAT TT=24.44	SAT TT=23.205	SAT TT=45.262	SAT TT=2.53	? (TO) TT=1800.04	SAT TT=7.605	? (TO) TT=1800.57	SAT TT=366.076	SAT TT=348.843
csp/geom/ normalized-geo50-20-d4-75-26_ext.xml	SAT TT=0.057	SAT TT=0.957	SAT TT=0.982	SAT TT=1.365	SAT TT=0.988	SAT TT=1.23	SAT TT=1.382	SAT TT=1.661	SAT TT=0.973	SAT TT=0.057	SAT TT=0.17	SAT TT=0.127	SAT TT=2.33	SAT TT=1.57	SAT TT=1.901
csp/geom/ normalized-geo50-20-d4-75-30_ext.xml	SAT TT=0.063	SAT TT=1.161	SAT TT=1.004	SAT TT=1.369	SAT TT=0.925	SAT TT=1.166	SAT TT=1.358	SAT TT=1.643	SAT TT=0.947	SAT TT=0.063	SAT TT=0.173	SAT TT=0.165	SAT TT=2.498	SAT TT=1.756	SAT TT=2.23
csp/geom/ normalized-geo50-20-d4-75-38_ext.xml	SAT TT=0.074	SAT TT=1.849	SAT TT=1.078	SAT TT=1.816	SAT TT=1.371	SAT TT=1.508	SAT TT=1.482	SAT TT=1.633	SAT TT=3.668	SAT TT=0.074	SAT TT=0.381	SAT TT=0.202	SAT TT=2.853	SAT TT=1.93	SAT TT=2.158
csp/geom/ normalized-geo50-20-d4-75-43_ext.xml	SAT TT=0.093	SAT TT=1.111	SAT TT=1.04	SAT TT=2.427	SAT TT=1.066	SAT TT=1.212	SAT TT=1.524	SAT TT=1.79	SAT TT=1.249	SAT TT=0.093	SAT TT=0.666	SAT TT=0.178	SAT TT=3.108	SAT TT=1.776	SAT TT=2.27
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)	Concrete 2009-07-14 (complete)	Concrete DC 2009-07-14 (complete)	Conquer 2009-07-10 (complete)	Mistral 1.545 (complete)	pcs 0.3.2 (complete)	pcs-restart 0.3.2 (complete)	SAT4J CSP 2.1.1 (complete)	Sugar v1.14.6+minisat (complete)	Sugar v1.14.6+picosat (complete)
csp/geom/ normalized-geo50-20-d4-75-46_ext.xml	SAT TT=0.09	SAT TT=0.989	SAT TT=1.065	SAT TT=1.487	SAT TT=1.053	SAT TT=1.069	SAT TT=1.529	SAT TT=1.79	SAT TT=1.844	SAT TT=0.09	SAT TT=0.411	SAT TT=0.228	SAT TT=2.782	SAT TT=1.758	SAT TT=2.321
csp/geom/ normalized-geo50-20-d4-75-59_ext.xml	SAT TT=0.056	SAT TT=0.963	SAT TT=1.063	SAT TT=1.244	SAT TT=1.158	SAT TT=1.154	SAT TT=1.333	SAT TT=1.591	SAT TT=0.905	SAT TT=0.056	SAT TT=0.143	SAT TT=0.131	SAT TT=2.362	SAT TT=1.876	SAT TT=1.832
csp/geom/ normalized-geo50-20-d4-75-78_ext.xml	SAT TT=0.058	SAT TT=0.953	SAT TT=0.92	SAT TT=1.318	SAT TT=1.002	SAT TT=1.214	SAT TT=1.343	SAT TT=1.485	SAT TT=0.939	SAT TT=0.058	SAT TT=0.131	SAT TT=0.122	SAT TT=2.658	SAT TT=1.633	SAT TT=2.021
csp/geom/ normalized-geo50-20-d4-75-84_ext.xml	SAT TT=0.053	SAT TT=0.994	SAT TT=0.928	SAT TT=1.256	SAT TT=0.972	SAT TT=0.98	SAT TT=1.328	SAT TT=1.55	SAT TT=0.892	SAT TT=0.053	SAT TT=0.13	SAT TT=0.138	SAT TT=2.392	SAT TT=1.54	SAT TT=1.951
csp/geom/ normalized-geo50-20-d4-75-94_ext.xml	UNSAT TT=27.441	UNSAT TT=110.361	UNSAT TT=109.161	? (TO) TT=1800.1	UNSAT TT=162.648	UNSAT TT=119.051	UNSAT TT=115.024	UNSAT TT=106.318	UNSAT TT=99.178	UNSAT TT=27.441	? (TO) TT=1800.05	? (TO) TT=1800.09	? (TO) TT=1800.63	? (TO) TT=1800.13	? (TO) TT=1800.07
csp/lard/ normalized-lard-83-83.xml	SAT TT=10.191	SAT TT=15.632	SAT TT=15.684	? (problem) TT=322.817	SAT TT=17.4	SAT TT=18.159	SAT TT=49.664	SAT TT=122.672	? (MO) TT=72.01	SAT TT=10.191	SAT TT=27.99	SAT TT=27.082	SAT TT=52.055	? (MO) TT=24.072	? (MO) TT=23.5
csp/lard/ normalized-lard-84-84.xml	SAT TT=10.6	SAT TT=15.822	SAT TT=16.728	? (problem) TT=350.441	SAT TT=18.625	SAT TT=18.121	SAT TT=52.167	SAT TT=120.937	? (MO) TT=79.58	SAT TT=10.6	SAT TT=29.246	SAT TT=27.368	SAT TT=54.53	? (MO) TT=24.659	? (MO) TT=25.983
csp/lard/ normalized-lard-85-85.xml	SAT TT=10.619	SAT TT=17.002	SAT TT=17.827	? (problem) TT=351.616	SAT TT=21.567	SAT TT=20.9	SAT TT=53.766	SAT TT=143.529	? (MO) TT=74.19	SAT TT=10.619	SAT TT=28.314	SAT TT=29.359	SAT TT=56.128	? (MO) TT=26.024	? (MO) TT=25.868
csp/lard/ normalized-lard-86-86.xml	SAT TT=11.312	SAT TT=17.558	SAT TT=17.135	? (problem) TT=370.293	SAT TT=25.273	SAT TT=24.707	SAT TT=56.691	SAT TT=133.846	? (MO) TT=76.66	SAT TT=11.312	SAT TT=32.185	SAT TT=31.347	SAT TT=58.172	? (MO) TT=27.375	? (MO) TT=27.072
csp/lard/ normalized-lard-87-87.xml	SAT TT=11.473	SAT TT=18.122	SAT TT=17.958	? (problem) TT=386.413	SAT TT=33.43	SAT TT=32.898	SAT TT=61.871	SAT TT=158.201	? (MO) TT=88.2	SAT TT=11.473	SAT TT=33.943	SAT TT=31.561	SAT TT=64.243	? (MO) TT=29.04	? (MO) TT=28.966
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)	Concrete 2009-07-14 (complete)	Concrete DC 2009-07-14 (complete)	Conquer 2009-07-10 (complete)	Mistral 1.545 (complete)	pcs 0.3.2 (complete)	pcs-restart 0.3.2 (complete)	SAT4J CSP 2.1.1 (complete)	Sugar v1.14.6+minisat (complete)	Sugar v1.14.6+picosat (complete)
csp/lard/ normalized-lard-88-88.xml	SAT TT=11.998	SAT TT=20.083	SAT TT=18.714	? (problem) TT=428.654	? (problem) TT=45.565	? (problem) TT=51.369	SAT TT=65.764	SAT TT=161.742	? (MO) TT=83.72	SAT TT=11.998	SAT TT=34.932	SAT TT=32.38	SAT TT=68.633	? (MO) TT=28.09	? (MO) TT=27.79
csp/lard/ normalized-lard-89-89.xml	SAT TT=12.814	SAT TT=20.277	SAT TT=19.438	? (problem) TT=426.313	? (problem) TT=46.08	? (problem) TT=45.726	SAT TT=64.384	SAT TT=174.387	? (MO) TT=89.75	SAT TT=12.814	SAT TT=36.451	SAT TT=33.7	SAT TT=71.876	? (MO) TT=29.03	? (MO) TT=30.616
csp/lard/ normalized-lard-90-90.xml	SAT TT=14.046	SAT TT=21.243	SAT TT=20.344	? (problem) TT=440.805	? (problem) TT=49.27	? (problem) TT=49.688	SAT TT=71.529	SAT TT=177.169	? (MO) TT=88.71	SAT TT=14.046	SAT TT=36.705	SAT TT=36.556	SAT TT=76.513	? (MO) TT=31.16	? (MO) TT=33.07
csp/lard/ normalized-lard-91-91.xml	SAT TT=14.527	SAT TT=21.945	SAT TT=21.224	? (problem) TT=454.67	? (problem) TT=56.948	? (problem) TT=57.855	SAT TT=74.218	SAT TT=196.761	? (MO) TT=92.47	SAT TT=14.527	SAT TT=40.565	SAT TT=36.966	SAT TT=102.156	? (MO) TT=31.35	? (MO) TT=32.75
csp/lard/ normalized-lard-92-92.xml	SAT TT=14.3	SAT TT=22.991	SAT TT=23.552	? (problem) TT=499.761	? (problem) TT=42.122	? (problem) TT=42.848	SAT TT=75.995	SAT TT=188.297	? (MO) TT=89.1	SAT TT=14.3	SAT TT=39.126	SAT TT=42.17	? TT=135.814	? (MO) TT=33.781	? (MO) TT=34.44

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)	Concrete 2009-07-14 (complete)	Concrete DC 2009-07-14 (complete)	Conquer 2009-07-10 (complete)	Mistral 1.545 (complete)	pcs 0.3.2 (complete)	pcs-restart 0.3.2 (complete)	SAT4J CSP 2.1.1 (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		75	75	61	70	70	75	75	65	75	73	74	72	64	64
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)		0	0	0	0	0	0	0	0	66	8	3	0	0	0