CSP 2009 Competition: results by benchmark

Results by benchmark for category binary constraints in intension (2-ARY-INT), subcategory problems with patterns

This page displays the results of the different solvers for each benchmark for category binary constraints in intension (2-ARY-INT), subcategory problems with patterns

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)
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)	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/graphColoring/ hos/ normalized-abb313GPIA-7.xml	UNSAT TT=2.437	UNSAT TT=19.439	UNSAT TT=19.5	UNSAT TT=663.374	? (TO) TT=1800.12	? (TO) TT=1800.18	UNSAT TT=709.23	UNSAT TT=903.826	UNSAT TT=491.822	UNSAT TT=2.442	UNSAT TT=2.437	UNSAT TT=17.842	UNSAT TT=14.074	UNSAT TT=21.253
csp/graphColoring/ hos/ normalized-abb313GPIA-8.xml	UNSAT TT=301.054	? (TO) TT=1800.11	? (TO) TT=1800.15	? (TO) TT=1800.1	? (TO) TT=1800.07	? (TO) TT=1800.15	? (TO) TT=1800.02	? (TO) TT=1800.07	? (TO) TT=1800.04	? (TO) TT=1800.11	? (TO) TT=1800.14	? (TO) TT=1800.34	UNSAT TT=301.054	? (TO) TT=1800.01
csp/graphColoring/ hos/ normalized-abb313GPIA-9.xml	SAT TT=14.4	SAT TT=189.892	SAT TT=88.831	? (TO) TT=1800.06	SAT TT=1134.4	SAT TT=815.555	SAT TT=1588.1	? (TO) TT=1800.05	SAT TT=14.4	SAT TT=195.23	SAT TT=234.986	SAT TT=134.358	SAT TT=65.177	SAT TT=42.592
csp/graphColoring/ hos/ normalized-ash331GPIA-4.xml	SAT TT=0.161	SAT TT=3.018	SAT TT=3.036	SAT TT=4.782	SAT TT=2.216	SAT TT=2.226	SAT TT=5.485	SAT TT=7.28	SAT TT=0.183	SAT TT=0.167	SAT TT=0.161	SAT TT=4.856	SAT TT=1.863	SAT TT=2.349
csp/graphColoring/ hos/ normalized-ash608GPIA-4.xml	SAT TT=0.319	SAT TT=4.13	SAT TT=4.535	SAT TT=307.45	SAT TT=3.501	SAT TT=3.656	SAT TT=14.843	SAT TT=26.976	SAT TT=0.36	SAT TT=0.354	SAT TT=0.319	SAT TT=6.439	SAT TT=2.659	SAT TT=3.474
csp/graphColoring/ hos/ normalized-ash958GPIA-3.xml	UNSAT TT=0.465	UNSAT TT=4.278	UNSAT TT=5.835	UNSAT TT=40.286	UNSAT TT=3.728	UNSAT TT=3.801	UNSAT TT=15.173	UNSAT TT=39.303	UNSAT TT=0.61	UNSAT TT=0.465	UNSAT TT=0.467	UNSAT TT=6.201	UNSAT TT=3.41	UNSAT TT=4.121
csp/graphColoring/ hos/ normalized-ash958GPIA-4.xml	SAT TT=0.496	SAT TT=5.148	SAT TT=6.535	SAT TT=936.729	SAT TT=7.892	SAT TT=17.784	SAT TT=37.498	SAT TT=66.891	SAT TT=0.62	SAT TT=0.496	SAT TT=0.538	SAT TT=7.17	SAT TT=3.722	SAT TT=4.772
csp/graphColoring/ hos/ normalized-will199GPIA-5.xml	UNSAT TT=0.253	UNSAT TT=2.851	UNSAT TT=3.05	UNSAT TT=7.231	UNSAT TT=7.911	UNSAT TT=10.378	UNSAT TT=6.814	UNSAT TT=11.406	UNSAT TT=0.331	UNSAT TT=0.258	UNSAT TT=0.253	UNSAT TT=6.178	UNSAT TT=2.345	UNSAT TT=3.238
csp/graphColoring/ hos/ normalized-will199GPIA-6.xml	UNSAT TT=0.589	UNSAT TT=4.132	UNSAT TT=4.308	UNSAT TT=7.084	UNSAT TT=14.001	UNSAT TT=31.102	UNSAT TT=17.275	UNSAT TT=21.431	UNSAT TT=0.851	UNSAT TT=0.589	UNSAT TT=0.659	UNSAT TT=7.45	UNSAT TT=2.457	UNSAT TT=3.47
csp/graphColoring/ hos/ normalized-will199GPIA-7.xml	SAT TT=0.292	SAT TT=3.018	SAT TT=2.606	SAT TT=7.116	SAT TT=9.437	SAT TT=11.382	SAT TT=8.792	SAT TT=15.556	SAT TT=0.333	SAT TT=0.292	SAT TT=0.296	SAT TT=6.766	SAT TT=2.583	SAT TT=3.343
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)	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/graphColoring/insertion/ full-insertion/ normalized-1-fullins-5-4.xml	UNSAT TT=0.144	UNSAT TT=2.513	UNSAT TT=2.703	UNSAT TT=1355.97	UNSAT TT=3.431	UNSAT TT=4.135	UNSAT TT=4.078	UNSAT TT=5.376	UNSAT TT=0.197	UNSAT TT=0.144	UNSAT TT=0.145	UNSAT TT=5.181	UNSAT TT=1.775	UNSAT TT=1.986
csp/graphColoring/insertion/ full-insertion/ normalized-1-fullins-5-5.xml	UNSAT TT=5.067	UNSAT TT=49.742	UNSAT TT=46.17	? (TO) TT=1800.12	? (TO) TT=1800.14	? (TO) TT=1800.15	UNSAT TT=162.567	UNSAT TT=157.732	UNSAT TT=9.447	UNSAT TT=5.067	UNSAT TT=6.683	UNSAT TT=42.487	UNSAT TT=6.696	UNSAT TT=12.605
csp/graphColoring/insertion/ full-insertion/ normalized-2-fullins-3-4.xml	UNSAT TT=0.013	UNSAT TT=0.997	UNSAT TT=0.895	UNSAT TT=0.119	UNSAT TT=0.909	UNSAT TT=0.895	UNSAT TT=1.496	UNSAT TT=1.531	UNSAT TT=0.013	UNSAT TT=0.025	UNSAT TT=0.025	UNSAT TT=1.437	UNSAT TT=0.99	UNSAT TT=0.838
csp/graphColoring/insertion/ full-insertion/ normalized-2-fullins-3-5.xml	SAT TT=0.011	SAT TT=0.856	SAT TT=0.842	SAT TT=0.06	SAT TT=0.839	SAT TT=0.841	SAT TT=1.365	SAT TT=1.413	SAT TT=0.011	SAT TT=0.022	SAT TT=0.023	SAT TT=1.411	SAT TT=0.797	SAT TT=0.95
csp/graphColoring/insertion/ full-insertion/ normalized-3-fullins-3-6.xml	SAT TT=0.017	SAT TT=0.988	SAT TT=0.916	SAT TT=0.107	SAT TT=1.08	SAT TT=1.187	SAT TT=1.517	SAT TT=1.57	SAT TT=0.017	SAT TT=0.027	SAT TT=0.029	SAT TT=1.825	SAT TT=0.967	SAT TT=1.059
csp/graphColoring/insertion/ full-insertion/ normalized-3-fullins-4-6.xml	UNSAT TT=2.019	UNSAT TT=18.647	UNSAT TT=16.34	? (TO) TT=1800.11	UNSAT TT=28.104	UNSAT TT=41.916	UNSAT TT=72.848	UNSAT TT=64.97	UNSAT TT=2.052	UNSAT TT=2.309	UNSAT TT=2.019	UNSAT TT=13.448	UNSAT TT=2.714	UNSAT TT=4.579
csp/graphColoring/insertion/ full-insertion/ normalized-3-fullins-4-7.xml	SAT TT=0.131	SAT TT=2.039	SAT TT=1.788	SAT TT=5.108	SAT TT=2.306	SAT TT=2.515	SAT TT=4.001	SAT TT=5.259	SAT TT=0.154	SAT TT=0.132	SAT TT=0.131	SAT TT=4.682	SAT TT=1.802	SAT TT=2.157
csp/graphColoring/insertion/ full-insertion/ normalized-3-fullins-5-6.xml	UNSAT TT=5.305	UNSAT TT=136.486	UNSAT TT=142.88	? (TO) TT=1800.06	UNSAT TT=410.014	UNSAT TT=740.623	UNSAT TT=1532.03	UNSAT TT=1502.69	UNSAT TT=6.756	UNSAT TT=5.305	UNSAT TT=6.025	UNSAT TT=44.126	UNSAT TT=9.753	UNSAT TT=17.829
csp/graphColoring/insertion/ full-insertion/ normalized-4-fullins-3-6.xml	UNSAT TT=0.076	UNSAT TT=1.821	UNSAT TT=1.909	? (TO) TT=1800.01	UNSAT TT=1.821	UNSAT TT=1.786	UNSAT TT=2.667	UNSAT TT=2.787	UNSAT TT=0.076	UNSAT TT=0.156	UNSAT TT=0.136	UNSAT TT=2.508	UNSAT TT=1.066	UNSAT TT=1.209
csp/graphColoring/insertion/ full-insertion/ normalized-4-fullins-4-7.xml	UNSAT TT=12.617	UNSAT TT=275.503	UNSAT TT=250.371	? (TO) TT=1800.08	UNSAT TT=595.475	UNSAT TT=663.103	UNSAT TT=1655.89	UNSAT TT=1729.17	UNSAT TT=22.823	UNSAT TT=60.555	UNSAT TT=70.884	UNSAT TT=251.904	UNSAT TT=13.186	UNSAT TT=12.617
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)	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/graphColoring/insertion/ full-insertion/ normalized-4-fullins-4-8.xml	SAT TT=0.237	SAT TT=2.82	SAT TT=2.581	SAT TT=16.946	SAT TT=3.73	SAT TT=3.75	SAT TT=8.155	SAT TT=15.618	SAT TT=0.286	SAT TT=0.238	SAT TT=0.237	SAT TT=6.25	SAT TT=2.578	SAT TT=3.492
csp/graphColoring/insertion/ full-insertion/ normalized-4-fullins-5-6.xml	UNSAT TT=3.443	UNSAT TT=121.145	UNSAT TT=136.723	? (TO) TT=1800.08	UNSAT TT=161.403	UNSAT TT=259.925	UNSAT TT=1209.81	UNSAT TT=1580.04	UNSAT TT=5.836	UNSAT TT=3.872	UNSAT TT=3.443	UNSAT TT=21.967	UNSAT TT=16.51	UNSAT TT=22.932
csp/graphColoring/insertion/ full-insertion/ normalized-5-fullins-3-8.xml	SAT TT=0.036	SAT TT=1.218	SAT TT=1.116	SAT TT=0.291	SAT TT=1.409	SAT TT=1.459	SAT TT=1.825	SAT TT=2.217	SAT TT=0.036	SAT TT=0.043	SAT TT=0.041	SAT TT=2.497	SAT TT=1.182	SAT TT=1.562
csp/graphColoring/insertion/ full-insertion/ normalized-5-fullins-4-6.xml	UNSAT TT=0.448	UNSAT TT=3.616	UNSAT TT=3.621	UNSAT TT=71.796	UNSAT TT=9.484	UNSAT TT=10.633	UNSAT TT=26.682	UNSAT TT=45.657	UNSAT TT=0.535	UNSAT TT=0.47	UNSAT TT=0.448	UNSAT TT=7.705	UNSAT TT=3.074	UNSAT TT=4.671
csp/graphColoring/insertion/ full-insertion/ normalized-5-fullins-4-7.xml	UNSAT TT=2.528	UNSAT TT=51.678	UNSAT TT=49.095	? (TO) TT=1800.04	UNSAT TT=114.943	UNSAT TT=139.889	UNSAT TT=293.233	UNSAT TT=333.803	UNSAT TT=2.528	UNSAT TT=3.32	UNSAT TT=3.209	UNSAT TT=12.851	UNSAT TT=3.991	UNSAT TT=5.382
csp/graphColoring/insertion/ k-insertion/ normalized-1-insertions-6-6.xml		? (TO) TT=1800.17	? (TO) TT=1800.13	? (TO) TT=1800.1	? (TO) TT=1800.15	? (TO) TT=1800.15	? (TO) TT=1800.09	? (TO) TT=1800.07	? (TO) TT=1800.11	? TT=275.512	? TT=263.317	? (TO) TT=1800.42	? (TO) TT=1800.06	? (TO) TT=1800.05
csp/graphColoring/insertion/ k-insertion/ normalized-2-insertions-3-3.xml	UNSAT TT=0.104	UNSAT TT=1.159	UNSAT TT=1.08	UNSAT TT=0.104	UNSAT TT=2.306	UNSAT TT=2.086	UNSAT TT=1.819	UNSAT TT=1.81	UNSAT TT=0.166	UNSAT TT=0.355	UNSAT TT=0.257	UNSAT TT=1.306	UNSAT TT=0.721	UNSAT TT=0.723
csp/graphColoring/insertion/ k-insertion/ normalized-2-insertions-3-4.xml	SAT TT=0.009	SAT TT=0.851	SAT TT=0.778	SAT TT=0.037	SAT TT=0.593	SAT TT=0.64	SAT TT=1.172	SAT TT=1.197	SAT TT=0.009	SAT TT=0.019	SAT TT=0.02	SAT TT=0.89	SAT TT=0.656	SAT TT=0.669
csp/graphColoring/insertion/ k-insertion/ normalized-3-insertions-4-3.xml	UNSAT TT=2.157	UNSAT TT=95.898	UNSAT TT=106.574	? (TO) TT=1800.06	UNSAT TT=1754.12	UNSAT TT=1001.62	UNSAT TT=1573.05	UNSAT TT=1795.68	UNSAT TT=26.372	UNSAT TT=15.927	UNSAT TT=18.888	UNSAT TT=5.225	UNSAT TT=2.237	UNSAT TT=2.157
csp/graphColoring/insertion/ k-insertion/ normalized-3-insertions-4-4.xml		? (TO) TT=1800.16	? (TO) TT=1800.12	? (TO) TT=1800.04	? (TO) TT=1800.13	? (TO) TT=1800.16	? (TO) TT=1800.03	? (TO) TT=1800.02	? (TO) TT=1800.02	? TT=301.801	? TT=362.787	? (TO) TT=1800.51	? (TO) TT=1800.15	? (TO) TT=1800.12
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)	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/graphColoring/insertion/ k-insertion/ normalized-3-insertions-5-3.xml	UNSAT TT=7.358	UNSAT TT=638.16	UNSAT TT=717.211	UNSAT TT=75.415	? (TO) TT=1800.1	? (TO) TT=1800.11	? (TO) TT=1800.06	? (TO) TT=1800.03	UNSAT TT=711.865	UNSAT TT=56.452	UNSAT TT=69.161	UNSAT TT=15.63	UNSAT TT=7.358	UNSAT TT=7.87
csp/graphColoring/insertion/ k-insertion/ normalized-3-insertions-5-4.xml		? (TO) TT=1800.14	? (TO) TT=1800.12	? (TO) TT=1800.04	? (TO) TT=1800.13	? (TO) TT=1800.08	? (TO) TT=1800.04	? (TO) TT=1800.04	? (TO) TT=1800.04	? TT=548.997	? TT=417.389	? (TO) TT=1800.64	? (TO) TT=1800.01	? (TO) TT=1800.08
csp/graphColoring/insertion/ k-insertion/ normalized-4-insertions-3-3.xml	UNSAT TT=3.05	? (TO) TT=1800.15	? (TO) TT=1800.09	? (TO) TT=1800.1	? (TO) TT=1800.1	? (TO) TT=1800.12	? (TO) TT=1800.04	? (TO) TT=1800.07	? (TO) TT=1800.04	? TT=275.109	? TT=262.258	UNSAT TT=15.777	UNSAT TT=3.23	UNSAT TT=3.05
csp/graphColoring/insertion/ k-insertion/ normalized-4-insertions-3-4.xml	SAT TT=0.02	SAT TT=0.931	SAT TT=0.92	SAT TT=0.055	SAT TT=0.749	SAT TT=0.729	SAT TT=1.511	SAT TT=1.468	SAT TT=0.02	SAT TT=0.023	SAT TT=0.023	SAT TT=1.306	SAT TT=0.781	SAT TT=0.791
csp/graphColoring/insertion/ k-insertion/ normalized-4-insertions-4-4.xml		? (TO) TT=1800.13	? (TO) TT=1800.11	? (TO) TT=1800.09	? (TO) TT=1800.18	? (TO) TT=1800.12	? (TO) TT=1800.09	? (TO) TT=1800.03	? (TO) TT=1800.1	? TT=298.822	? TT=355.766	? (TO) TT=1800.78	? (TO) TT=1800.04	? (TO) TT=1800.12
csp/graphColoring/leighton/ leighton-15/ normalized-lei450-15a-12.xml	UNSAT TT=0.291	UNSAT TT=2.758	UNSAT TT=2.529	UNSAT TT=3.947	UNSAT TT=2.181	UNSAT TT=2.315	? (TO) TT=1800.01	? (TO) TT=1800.07	UNSAT TT=0.322	UNSAT TT=0.291	UNSAT TT=0.293	? (TO) TT=1800.46	UNSAT TT=147.48	UNSAT TT=606.831
csp/graphColoring/leighton/ leighton-15/ normalized-lei450-15a-15.xml	SAT TT=1.387	SAT TT=42.735	SAT TT=49.992	SAT TT=4.697	SAT TT=101.984	SAT TT=617.674	SAT TT=107.238	SAT TT=140.045	SAT TT=1.387	SAT TT=6.079	SAT TT=2.554	SAT TT=81.452	SAT TT=4.887	SAT TT=8.754
csp/graphColoring/leighton/ leighton-15/ normalized-lei450-15b-13.xml	UNSAT TT=0.278	UNSAT TT=2.562	UNSAT TT=2.755	UNSAT TT=3.802	UNSAT TT=2.242	UNSAT TT=2.263	? (TO) TT=1800.09	? (TO) TT=1800.05	UNSAT TT=0.319	UNSAT TT=0.279	UNSAT TT=0.278	? (TO) TT=1800.63	UNSAT TT=1235.95	UNSAT TT=799.901
csp/graphColoring/leighton/ leighton-15/ normalized-lei450-15c-05.xml	UNSAT TT=0.611	UNSAT TT=4.368	UNSAT TT=4.293	UNSAT TT=18.5	UNSAT TT=4.286	UNSAT TT=4.303	UNSAT TT=31.987	UNSAT TT=49.945	UNSAT TT=0.631	UNSAT TT=0.611	UNSAT TT=0.613	UNSAT TT=7.7	UNSAT TT=3.974	UNSAT TT=5.842
csp/graphColoring/leighton/ leighton-15/ normalized-lei450-15c-08.xml	UNSAT TT=0.559	UNSAT TT=4.03	UNSAT TT=4.134	UNSAT TT=18.389	UNSAT TT=4.397	UNSAT TT=3.905	UNSAT TT=847.78	UNSAT TT=1028.56	UNSAT TT=0.633	UNSAT TT=0.559	UNSAT TT=0.561	UNSAT TT=33.243	UNSAT TT=4.906	UNSAT TT=7.685
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)	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/graphColoring/leighton/ leighton-15/ normalized-lei450-15c-13.xml	UNSAT TT=0.598	UNSAT TT=4.097	UNSAT TT=4.142	UNSAT TT=18.611	UNSAT TT=4.107	UNSAT TT=4.244	? (TO) TT=1800.01	? (TO) TT=1800.07	UNSAT TT=0.64	UNSAT TT=0.598	UNSAT TT=0.598	? (TO) TT=1800.34	UNSAT TT=787.592	? (TO) TT=1800.07
csp/graphColoring/leighton/ leighton-15/ normalized-lei450-15c-14.xml	UNSAT TT=0.561	UNSAT TT=4.346	UNSAT TT=4.39	UNSAT TT=18.57	UNSAT TT=4.143	UNSAT TT=4.346	? (TO) TT=1800.02	? (TO) TT=1800	UNSAT TT=0.648	UNSAT TT=0.561	UNSAT TT=0.564	? (TO) TT=1800.28	? (TO) TT=1800.07	? (TO) TT=1800.07
csp/graphColoring/leighton/ leighton-15/ normalized-lei450-15c-15.xml		? (TO) TT=1800.1	? (TO) TT=1800.13	? (TO) TT=1800.04	? (TO) TT=1800.16	? (TO) TT=1800.05	? (TO) TT=1800.03	? (TO) TT=1800.08	? (TO) TT=1800.03	? (TO) TT=1800.13	? (TO) TT=1800.09	? (TO) TT=1800.4	? (TO) TT=1800	? (TO) TT=1800.01
csp/graphColoring/leighton/ leighton-15/ normalized-lei450-15d-05.xml	UNSAT TT=0.565	UNSAT TT=4.086	UNSAT TT=4.156	UNSAT TT=17.537	UNSAT TT=4.509	UNSAT TT=4.448	UNSAT TT=31.975	UNSAT TT=52.779	UNSAT TT=0.648	UNSAT TT=0.568	UNSAT TT=0.565	UNSAT TT=7.448	UNSAT TT=4.538	UNSAT TT=5.511
csp/graphColoring/leighton/ leighton-15/ normalized-lei450-15d-12.xml	UNSAT TT=0.617	UNSAT TT=4.026	UNSAT TT=4.068	UNSAT TT=18.547	UNSAT TT=4.25	UNSAT TT=4.06	? (TO) TT=1800.03	? (TO) TT=1800.06	UNSAT TT=0.636	UNSAT TT=0.62	UNSAT TT=0.617	? (TO) TT=1800.66	UNSAT TT=215.615	UNSAT TT=887.221
csp/graphColoring/leighton/ leighton-15/ normalized-lei450-15d-14.xml	UNSAT TT=0.605	UNSAT TT=4.37	UNSAT TT=4.341	UNSAT TT=19.048	UNSAT TT=4.596	UNSAT TT=4.32	? (TO) TT=1800.07	? (TO) TT=1800.01	UNSAT TT=0.635	UNSAT TT=0.605	UNSAT TT=0.607	? (TO) TT=1800.38	? (TO) TT=1800.05	? (TO) TT=1800.13
csp/graphColoring/leighton/ leighton-25/ normalized-lei450-25a-10.xml	UNSAT TT=0.293	UNSAT TT=2.705	UNSAT TT=2.603	UNSAT TT=3.353	UNSAT TT=2.168	UNSAT TT=2.143	? (TO) TT=1800.06	? (TO) TT=1800.09	UNSAT TT=0.304	UNSAT TT=0.293	UNSAT TT=0.296	? (TO) TT=1800.88	UNSAT TT=5.513	UNSAT TT=13.696
csp/graphColoring/leighton/ leighton-25/ normalized-lei450-25a-15.xml	UNSAT TT=0.293	UNSAT TT=2.591	UNSAT TT=2.617	UNSAT TT=3.636	UNSAT TT=2.522	UNSAT TT=2.185	? (TO) TT=1800.05	? (TO) TT=1800.01	UNSAT TT=0.318	UNSAT TT=0.293	UNSAT TT=0.299	? (TO) TT=1800.37	? (TO) TT=1800.02	? (TO) TT=1800.14
csp/graphColoring/leighton/ leighton-25/ normalized-lei450-25a-20.xml	UNSAT TT=0.296	UNSAT TT=2.725	UNSAT TT=2.778	UNSAT TT=3.636	UNSAT TT=2.512	UNSAT TT=2.267	? (TO) TT=1800.1	? (TO) TT=1800.08	UNSAT TT=0.298	UNSAT TT=0.296	UNSAT TT=0.296	? (TO) TT=1800.46	? (TO) TT=1800.07	? (TO) TT=1800.12
csp/graphColoring/leighton/ leighton-25/ normalized-lei450-25a-23.xml	UNSAT TT=0.296	UNSAT TT=2.628	UNSAT TT=2.719	UNSAT TT=3.399	UNSAT TT=2.399	UNSAT TT=2.324	? (TO) TT=1800.1	? (TO) TT=1800.09	UNSAT TT=0.314	UNSAT TT=0.296	UNSAT TT=0.298	? (TO) TT=1800.35	? (TO) TT=1800.03	? (TO) TT=1800.02
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)	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/graphColoring/leighton/ leighton-25/ normalized-lei450-25b-10.xml	UNSAT TT=0.294	UNSAT TT=2.558	UNSAT TT=2.722	UNSAT TT=3.404	UNSAT TT=2.437	UNSAT TT=2.224	? (TO) TT=1800.08	? (TO) TT=1800.03	UNSAT TT=0.317	UNSAT TT=0.294	UNSAT TT=0.294	? (TO) TT=1800.66	UNSAT TT=8.203	UNSAT TT=17.044
csp/graphColoring/leighton/ leighton-25/ normalized-lei450-25b-25.xml	SAT TT=0.34	SAT TT=3.192	SAT TT=2.869	SAT TT=3.424	SAT TT=63.15	SAT TT=63.683	SAT TT=8.929	SAT TT=42.042	SAT TT=0.34	SAT TT=0.427	SAT TT=0.423	SAT TT=14.366	SAT TT=3.755	SAT TT=6.858
csp/graphColoring/leighton/ leighton-25/ normalized-lei450-25c-20.xml	UNSAT TT=0.575	UNSAT TT=4.151	UNSAT TT=4.205	UNSAT TT=13.462	UNSAT TT=4.697	UNSAT TT=4.881	? (TO) TT=1800.02	? (TO) TT=1800.05	UNSAT TT=0.656	UNSAT TT=0.581	UNSAT TT=0.575	? (TO) TT=1800.35	? (TO) TT=1800.06	? (TO) TT=1800.07
csp/graphColoring/leighton/ leighton-25/ normalized-lei450-25c-25.xml		? (TO) TT=1800.11	? (TO) TT=1800.16	? (TO) TT=1800.12	? (TO) TT=1800.14	? (TO) TT=1800.12	? (TO) TT=1800.03	? (TO) TT=1800.09	? (TO) TT=1800.11	? (TO) TT=1800.06	? (TO) TT=1800.12	? (TO) TT=1800.35	? (TO) TT=1800.05	? (TO) TT=1800.07
csp/graphColoring/leighton/ leighton-25/ normalized-lei450-25d-15.xml	UNSAT TT=0.621	UNSAT TT=4.205	UNSAT TT=4.182	UNSAT TT=12.358	UNSAT TT=4.8	UNSAT TT=4.804	? (TO) TT=1800.05	? (TO) TT=1800.1	UNSAT TT=0.656	UNSAT TT=0.622	UNSAT TT=0.621	? (TO) TT=1800.27	? (TO) TT=1800.03	? (TO) TT=1800.1
csp/graphColoring/leighton/ leighton-25/ normalized-lei450-25d-23.xml	UNSAT TT=0.619	UNSAT TT=4.504	UNSAT TT=4.434	UNSAT TT=12.179	UNSAT TT=4.597	UNSAT TT=4.85	? (TO) TT=1800.01	? (TO) TT=1800.07	UNSAT TT=0.668	UNSAT TT=0.62	UNSAT TT=0.619	? (TO) TT=1800.32	? (TO) TT=1800.02	? (TO) TT=1800.01
csp/graphColoring/leighton/ leighton-25/ normalized-lei450-25d-25.xml		? (TO) TT=1800.14	? (TO) TT=1800.07	? (TO) TT=1800.06	? (TO) TT=1800.17	? (TO) TT=1800.13	? (TO) TT=1800.07	? (TO) TT=1800.01	? (TO) TT=1800.06	? (TO) TT=1800.05	? (TO) TT=1800.12	? (TO) TT=1800.4	? (TO) TT=1800.1	? (TO) TT=1800.09
csp/graphColoring/leighton/ leighton-5/ normalized-lei450-05a-04.xml	UNSAT TT=0.208	UNSAT TT=2.125	UNSAT TT=2.101	UNSAT TT=5.251	UNSAT TT=2.07	UNSAT TT=1.925	UNSAT TT=5.288	UNSAT TT=8.489	UNSAT TT=0.208	UNSAT TT=0.209	UNSAT TT=0.209	UNSAT TT=5.681	UNSAT TT=2.346	UNSAT TT=2.693
csp/graphColoring/leighton/ leighton-5/ normalized-lei450-05c-04.xml	UNSAT TT=0.347	UNSAT TT=2.864	UNSAT TT=2.827	UNSAT TT=19.938	UNSAT TT=2.786	UNSAT TT=2.755	UNSAT TT=9.972	UNSAT TT=17.245	UNSAT TT=0.378	UNSAT TT=0.349	UNSAT TT=0.347	UNSAT TT=6.123	UNSAT TT=2.983	UNSAT TT=3.379
csp/graphColoring/leighton/ leighton-5/ normalized-lei450-05c-05.xml	SAT TT=0.4	SAT TT=3.471	SAT TT=4.375	SAT TT=20.273	SAT TT=16.739	SAT TT=15.378	SAT TT=11.779	SAT TT=20.982	SAT TT=0.4	SAT TT=0.413	SAT TT=0.446	SAT TT=7.304	SAT TT=3.535	SAT TT=3.743
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)	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/graphColoring/ mug/ normalized-mug100-1-3.xml	UNSAT TT=0.067	UNSAT TT=1.827	UNSAT TT=1.421	UNSAT TT=14.148	? (TO) TT=1800.05	? (TO) TT=1800.08	? (TO) TT=1800.04	? (TO) TT=1800.01	? (TO) TT=1800.03	UNSAT TT=0.076	UNSAT TT=0.067	UNSAT TT=1.384	UNSAT TT=0.857	UNSAT TT=0.772
csp/graphColoring/ mug/ normalized-mug100-1-4.xml	SAT TT=0.013	SAT TT=0.888	SAT TT=0.885	SAT TT=0.059	SAT TT=0.809	SAT TT=0.885	SAT TT=1.426	SAT TT=1.503	SAT TT=0.013	SAT TT=0.024	SAT TT=0.022	SAT TT=1.329	SAT TT=0.847	SAT TT=0.852
csp/graphColoring/ mug/ normalized-mug100-25-3.xml	UNSAT TT=0.072	UNSAT TT=1.338	UNSAT TT=1.741	UNSAT TT=100.407	? (TO) TT=1800.15	? (TO) TT=1800.09	? (TO) TT=1800.01	? (TO) TT=1800.09	? (TO) TT=1800.08	UNSAT TT=0.072	UNSAT TT=0.074	UNSAT TT=1.433	UNSAT TT=0.819	UNSAT TT=0.83
csp/graphColoring/ mug/ normalized-mug100-25-4.xml	SAT TT=0.014	SAT TT=0.891	SAT TT=0.905	SAT TT=0.058	SAT TT=0.908	SAT TT=0.798	SAT TT=1.444	SAT TT=1.469	SAT TT=0.014	SAT TT=0.024	SAT TT=0.023	SAT TT=1.231	SAT TT=0.833	SAT TT=0.838
csp/graphColoring/ mug/ normalized-mug88-1-3.xml	UNSAT TT=0.056	UNSAT TT=1.469	UNSAT TT=1.357	UNSAT TT=1.384	? (TO) TT=1800.14	? (TO) TT=1800.08	? (TO) TT=1800.04	? (TO) TT=1800.09	? (TO) TT=1800.04	UNSAT TT=0.056	UNSAT TT=0.056	UNSAT TT=1.304	UNSAT TT=0.861	UNSAT TT=0.787
csp/graphColoring/ mug/ normalized-mug88-1-4.xml	SAT TT=0.012	SAT TT=0.865	SAT TT=0.85	SAT TT=0.052	SAT TT=0.767	SAT TT=0.792	SAT TT=1.306	SAT TT=1.416	SAT TT=0.012	SAT TT=0.021	SAT TT=0.022	SAT TT=1.277	SAT TT=0.786	SAT TT=0.787
csp/graphColoring/ mug/ normalized-mug88-25-3.xml	UNSAT TT=0.062	UNSAT TT=1.152	UNSAT TT=1.317	UNSAT TT=1.64	? (TO) TT=1800.14	? (TO) TT=1800.13	? (TO) TT=1800.03	? (TO) TT=1800.06	? (TO) TT=1800.07	UNSAT TT=0.062	UNSAT TT=0.065	UNSAT TT=1.356	UNSAT TT=0.772	UNSAT TT=0.765
csp/graphColoring/ mug/ normalized-mug88-25-4.xml	SAT TT=0.013	SAT TT=0.837	SAT TT=0.904	SAT TT=0.053	SAT TT=0.762	SAT TT=0.851	SAT TT=1.383	SAT TT=1.439	SAT TT=0.013	SAT TT=0.023	SAT TT=0.023	SAT TT=1.296	SAT TT=0.8	SAT TT=0.796
csp/graphColoring/ myciel/ normalized-myciel3-3.xml	UNSAT TT=0.007	UNSAT TT=0.667	UNSAT TT=0.688	UNSAT TT=0.032	UNSAT TT=0.524	UNSAT TT=0.536	UNSAT TT=1.068	UNSAT TT=1.057	UNSAT TT=0.007	UNSAT TT=0.018	UNSAT TT=0.018	UNSAT TT=0.789	UNSAT TT=0.525	UNSAT TT=0.528
csp/graphColoring/ myciel/ normalized-myciel3-4.xml	SAT TT=0.007	SAT TT=0.672	SAT TT=0.673	SAT TT=0.029	SAT TT=0.514	SAT TT=0.525	SAT TT=1.065	SAT TT=1.075	SAT TT=0.007	SAT TT=0.016	SAT TT=0.018	SAT TT=0.764	SAT TT=0.532	SAT TT=0.536
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)	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/graphColoring/ myciel/ normalized-myciel4-4.xml	UNSAT TT=0.033	UNSAT TT=0.842	UNSAT TT=0.852	UNSAT TT=0.044	UNSAT TT=1.028	UNSAT TT=0.893	UNSAT TT=1.404	UNSAT TT=1.44	UNSAT TT=0.033	UNSAT TT=0.12	UNSAT TT=0.11	UNSAT TT=1.524	UNSAT TT=0.684	UNSAT TT=0.747
csp/graphColoring/ myciel/ normalized-myciel4-5.xml	SAT TT=0.019	SAT TT=0.721	SAT TT=0.801	SAT TT=0.036	SAT TT=0.611	SAT TT=0.595	SAT TT=1.289	SAT TT=1.241	SAT TT=0.022	SAT TT=0.02	SAT TT=0.019	SAT TT=0.986	SAT TT=0.64	SAT TT=0.661
csp/graphColoring/ myciel/ normalized-myciel5-4.xml	UNSAT TT=0.072	UNSAT TT=1.031	UNSAT TT=1.043	UNSAT TT=0.101	UNSAT TT=1.224	UNSAT TT=1.128	UNSAT TT=1.947	UNSAT TT=1.849	UNSAT TT=0.072	UNSAT TT=0.143	UNSAT TT=0.14	UNSAT TT=2.232	UNSAT TT=0.971	UNSAT TT=0.986
csp/graphColoring/ myciel/ normalized-myciel5-5.xml	UNSAT TT=26.688	UNSAT TT=26.688	UNSAT TT=28.547	UNSAT TT=29.84	UNSAT TT=512.845	UNSAT TT=623.315	UNSAT TT=475.479	UNSAT TT=497.121	UNSAT TT=74.644	? TT=49.139	? TT=45.228	? (TO) TT=1800.42	UNSAT TT=56.056	UNSAT TT=225.469
csp/graphColoring/ myciel/ normalized-myciel5-6.xml	SAT TT=0.015	SAT TT=0.881	SAT TT=0.835	SAT TT=0.077	SAT TT=0.809	SAT TT=0.825	SAT TT=1.488	SAT TT=1.561	SAT TT=0.015	SAT TT=0.022	SAT TT=0.025	SAT TT=1.475	SAT TT=0.842	SAT TT=0.859
csp/graphColoring/ myciel/ normalized-myciel6-5.xml	UNSAT TT=37.917	UNSAT TT=37.917	UNSAT TT=39.48	UNSAT TT=535.064	UNSAT TT=313.072	UNSAT TT=378.351	UNSAT TT=1057.76	UNSAT TT=1039.79	UNSAT TT=65.435	? TT=63.652	? TT=64.794	? (TO) TT=1800.41	UNSAT TT=136.667	UNSAT TT=451.933
csp/graphColoring/ myciel/ normalized-myciel6-6.xml		? (TO) TT=1800.18	? (TO) TT=1800.1	? (TO) TT=1800.02	? (TO) TT=1800.08	? (TO) TT=1800.14	? (TO) TT=1800.1	? (TO) TT=1800.1	? (TO) TT=1800.04	? TT=69.026	? TT=71.34	? (TO) TT=1800.33	? (TO) TT=1800.12	? (TO) TT=1800.08
csp/graphColoring/ myciel/ normalized-myciel6-7.xml	SAT TT=0.031	SAT TT=1.156	SAT TT=1.195	SAT TT=0.369	SAT TT=1.341	SAT TT=1.068	SAT TT=1.903	SAT TT=2.144	SAT TT=0.031	SAT TT=0.039	SAT TT=0.04	SAT TT=2.315	SAT TT=1.247	SAT TT=1.32
csp/graphColoring/ myciel/ normalized-myciel7-4.xml	UNSAT TT=0.273	UNSAT TT=2.179	UNSAT TT=2.224	UNSAT TT=3.228	UNSAT TT=4.487	UNSAT TT=3.783	UNSAT TT=6.696	UNSAT TT=6.727	UNSAT TT=0.273	UNSAT TT=0.398	UNSAT TT=0.354	UNSAT TT=5.197	UNSAT TT=2.156	UNSAT TT=2.314
csp/graphColoring/ myciel/ normalized-myciel7-5.xml	UNSAT TT=63.111	UNSAT TT=71.47	UNSAT TT=75.573	? (TO) TT=1800.02	UNSAT TT=1046.97	UNSAT TT=604.694	? (TO) TT=1800.08	? (TO) TT=1800.01	UNSAT TT=63.111	UNSAT TT=88.185	UNSAT TT=107.779	? (TO) TT=1800.51	UNSAT TT=365.312	UNSAT TT=840.85
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)	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/graphColoring/ myciel/ normalized-myciel7-6.xml		? (TO) TT=1800.12	? (TO) TT=1800.14	? (TO) TT=1800.03	? (TO) TT=1800.11	? (TO) TT=1800.1	? (TO) TT=1800.04	? (TO) TT=1800.01	? (TO) TT=1800.03	? TT=93.736	? TT=106	? (TO) TT=1800.4	? (TO) TT=1800.09	? (TO) TT=1800.1
csp/graphColoring/ myciel/ normalized-myciel7-7.xml		? (TO) TT=1800.11	? (TO) TT=1800.1	? (TO) TT=1800.04	? (TO) TT=1800.13	? (TO) TT=1800.07	? (TO) TT=1800.03	? (TO) TT=1800.04	? (TO) TT=1800.04	? TT=107.682	? TT=108.82	? (TO) TT=1800.48	? (TO) TT=1800.06	? (TO) TT=1800.14
csp/graphColoring/ myciel/ normalized-myciel7-8.xml	SAT TT=0.088	SAT TT=1.753	SAT TT=1.469	SAT TT=3.206	SAT TT=1.639	SAT TT=1.553	SAT TT=2.861	SAT TT=3.67	SAT TT=0.088	SAT TT=0.094	SAT TT=0.094	SAT TT=3.913	SAT TT=1.524	SAT TT=2.018
csp/graphColoring/ register/fpsol/ normalized-fpsol2-i-1-61.xml	UNSAT TT=0.452	? (TO) TT=1800.07	? (TO) TT=1800.19	? (TO) TT=1800.07	UNSAT TT=8.533	UNSAT TT=8.791	? (TO) TT=1800.1	? (TO) TT=1800.07	UNSAT TT=0.452	? (TO) TT=1800.13	? (TO) TT=1800.09	? TT=125.391	? (TO) TT=1800.05	? (TO) TT=1800.09
csp/graphColoring/ register/fpsol/ normalized-fpsol2-i-1-63.xml	UNSAT TT=0.455	? (TO) TT=1800.11	? (TO) TT=1800.14	? (TO) TT=1800.01	UNSAT TT=7.932	UNSAT TT=8.403	? (TO) TT=1800.05	? (TO) TT=1800.09	UNSAT TT=0.455	? (TO) TT=1800.12	? (TO) TT=1800.15	? TT=112.951	? (TO) TT=1800.07	? (TO) TT=1800.06
csp/graphColoring/ register/fpsol/ normalized-fpsol2-i-2-10.xml	UNSAT TT=0.287	UNSAT TT=3.88	UNSAT TT=3.815	UNSAT TT=6.557	UNSAT TT=4.952	UNSAT TT=5.248	? (TO) TT=1800	? (TO) TT=1800.01	UNSAT TT=0.322	UNSAT TT=0.287	UNSAT TT=0.29	? (TO) TT=1800.26	UNSAT TT=6.156	UNSAT TT=26.612
csp/graphColoring/ register/fpsol/ normalized-fpsol2-i-2-27.xml	UNSAT TT=0.311	? (TO) TT=1800.13	UNSAT TT=4.559	UNSAT TT=6.568	UNSAT TT=4.95	UNSAT TT=5.255	? (TO) TT=1800.09	? (TO) TT=1800.04	UNSAT TT=0.347	UNSAT TT=0.316	UNSAT TT=0.311	? (TO) TT=1800.24	? (TO) TT=1800.07	? (TO) TT=1800.07
csp/graphColoring/ register/fpsol/ normalized-fpsol2-i-3-05.xml	UNSAT TT=0.308	UNSAT TT=3.914	UNSAT TT=3.875	UNSAT TT=6.583	UNSAT TT=4.399	UNSAT TT=4.901	UNSAT TT=10.147	UNSAT TT=20.981	UNSAT TT=0.329	UNSAT TT=0.311	UNSAT TT=0.308	UNSAT TT=7.03	UNSAT TT=2.672	UNSAT TT=3.514
csp/graphColoring/ register/inithx/ normalized-inithx-i-1-20.xml	UNSAT TT=0.687	UNSAT TT=10.866	UNSAT TT=10.903	UNSAT TT=25.24	UNSAT TT=12.625	UNSAT TT=14.121	? (TO) TT=1800.07	? (TO) TT=1800.06	UNSAT TT=0.747	UNSAT TT=0.725	UNSAT TT=0.687	? (TO) TT=1800.36	? (TO) TT=1800.09	? (TO) TT=1800.01
csp/graphColoring/ register/inithx/ normalized-inithx-i-2-10.xml	UNSAT TT=0.499	UNSAT TT=7.599	UNSAT TT=7.578	UNSAT TT=15.434	UNSAT TT=7.272	UNSAT TT=9.102	? (TO) TT=1800.04	? (TO) TT=1800.03	UNSAT TT=0.509	UNSAT TT=0.499	UNSAT TT=0.5	? (TO) TT=1800.58	UNSAT TT=10.763	UNSAT TT=31.149
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)	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/graphColoring/ register/inithx/ normalized-inithx-i-2-29.xml	UNSAT TT=0.499	? (TO) TT=1800.14	? (TO) TT=1800.05	UNSAT TT=14.346	UNSAT TT=7.473	UNSAT TT=8.378	? (TO) TT=1800.04	? (TO) TT=1800.02	UNSAT TT=0.518	UNSAT TT=0.499	UNSAT TT=0.5	? (TO) TT=1800.4	? (TO) TT=1800.03	? (TO) TT=1800.03
csp/graphColoring/ register/inithx/ normalized-inithx-i-3-31.xml	SAT TT=0.618	SAT TT=8.84	SAT TT=8.67	SAT TT=16.263	SAT TT=21.726	SAT TT=23.137	SAT TT=22.468	SAT TT=203.001	SAT TT=0.618	SAT TT=0.879	SAT TT=0.862	SAT TT=26.49	SAT TT=6.94	SAT TT=12.839
csp/graphColoring/ register/mulsol/ normalized-mulsol-i-1-10.xml	UNSAT TT=0.144	UNSAT TT=2.088	UNSAT TT=2.128	UNSAT TT=1.394	UNSAT TT=2.073	UNSAT TT=2.037	? (TO) TT=1800.05	? (TO) TT=1800.03	UNSAT TT=0.149	UNSAT TT=0.146	UNSAT TT=0.144	? (TO) TT=1800.47	UNSAT TT=9.763	UNSAT TT=7.077
csp/graphColoring/ register/mulsol/ normalized-mulsol-i-1-25.xml	UNSAT TT=0.136	UNSAT TT=2.165	UNSAT TT=2.001	UNSAT TT=1.37	UNSAT TT=2.324	UNSAT TT=2.023	? (TO) TT=1800	? (TO) TT=1800	UNSAT TT=0.136	UNSAT TT=0.142	UNSAT TT=0.143	? (TO) TT=1800.42	? (TO) TT=1800.07	? (TO) TT=1800.11
csp/graphColoring/ register/mulsol/ normalized-mulsol-i-1-46.xml	UNSAT TT=0.137	UNSAT TT=2.115	UNSAT TT=2.001	UNSAT TT=1.374	UNSAT TT=2.053	UNSAT TT=2.223	? (TO) TT=1800.01	? (TO) TT=1800.03	UNSAT TT=0.137	UNSAT TT=0.156	UNSAT TT=0.159	? (TO) TT=1800.41	? (TO) TT=1800.04	? (TO) TT=1800.01
csp/graphColoring/ register/mulsol/ normalized-mulsol-i-4-15.xml	UNSAT TT=0.145	UNSAT TT=1.948	UNSAT TT=2.02	UNSAT TT=1.648	UNSAT TT=2.354	UNSAT TT=2.098	? (TO) TT=1800.1	? (TO) TT=1800.04	UNSAT TT=0.149	UNSAT TT=0.145	UNSAT TT=0.145	? (TO) TT=1800.37	? (TO) TT=1800.05	? (TO) TT=1800.08
csp/graphColoring/ register/mulsol/ normalized-mulsol-i-4-30.xml	UNSAT TT=0.138	? (TO) TT=1800.17	? (TO) TT=1800.12	UNSAT TT=1.639	UNSAT TT=2.38	UNSAT TT=2.411	? (TO) TT=1800.01	? (TO) TT=1800.02	UNSAT TT=0.138	UNSAT TT=0.149	UNSAT TT=0.151	? (TO) TT=1800.39	? (TO) TT=1800.05	? (TO) TT=1800.04
csp/graphColoring/ register/mulsol/ normalized-mulsol-i-5-05.xml	UNSAT TT=0.138	UNSAT TT=1.968	UNSAT TT=1.965	UNSAT TT=1.674	UNSAT TT=2.175	UNSAT TT=2.105	UNSAT TT=4.576	UNSAT TT=6.06	UNSAT TT=0.138	UNSAT TT=0.142	UNSAT TT=0.144	UNSAT TT=5.085	UNSAT TT=2.008	UNSAT TT=2.294
csp/graphColoring/ register/mulsol/ normalized-mulsol-i-5-20.xml	UNSAT TT=0.135	UNSAT TT=2.063	UNSAT TT=1.932	UNSAT TT=1.687	UNSAT TT=2.392	UNSAT TT=2.07	? (TO) TT=1800.04	? (TO) TT=1800.06	UNSAT TT=0.152	UNSAT TT=0.135	UNSAT TT=0.137	? (TO) TT=1800.45	? (TO) TT=1800.08	? (TO) TT=1800.05
csp/graphColoring/ register/zeroin/ normalized-zeroin-i-1-10.xml	UNSAT TT=0.155	UNSAT TT=2.035	UNSAT TT=2.031	UNSAT TT=2.405	UNSAT TT=2.757	UNSAT TT=2.922	? (TO) TT=1800.02	? (TO) TT=1800.06	UNSAT TT=0.155	UNSAT TT=0.162	UNSAT TT=0.162	? (TO) TT=1800.69	UNSAT TT=7.281	UNSAT TT=12.886
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)	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/graphColoring/ register/zeroin/ normalized-zeroin-i-1-20.xml	UNSAT TT=0.145	UNSAT TT=2.193	UNSAT TT=2.108	UNSAT TT=2.4	UNSAT TT=2.504	UNSAT TT=2.876	? (TO) TT=1800.02	? (TO) TT=1800.07	UNSAT TT=0.15	UNSAT TT=0.145	UNSAT TT=0.145	? (TO) TT=1800.37	? (TO) TT=1800.07	? (TO) TT=1800.09
csp/graphColoring/ register/zeroin/ normalized-zeroin-i-1-35.xml	UNSAT TT=0.143	UNSAT TT=2.242	UNSAT TT=2.161	UNSAT TT=2.401	UNSAT TT=2.797	UNSAT TT=2.759	? (TO) TT=1800.02	? (TO) TT=1800.06	UNSAT TT=0.143	UNSAT TT=0.169	UNSAT TT=0.167	? (TO) TT=1800.26	? (TO) TT=1800.1	? (TO) TT=1800.07
csp/graphColoring/ register/zeroin/ normalized-zeroin-i-1-46.xml	UNSAT TT=0.146	UNSAT TT=2.038	UNSAT TT=2.107	UNSAT TT=2.24	UNSAT TT=2.552	UNSAT TT=2.731	? (TO) TT=1800.06	? (TO) TT=1800.07	UNSAT TT=0.146	UNSAT TT=0.167	UNSAT TT=0.167	? (TO) TT=1800.46	? (TO) TT=1800.05	? (TO) TT=1800.08
csp/graphColoring/ register/zeroin/ normalized-zeroin-i-2-30.xml	SAT TT=0.149	SAT TT=2.217	SAT TT=2.113	SAT TT=1.817	SAT TT=10.053	SAT TT=10.205	SAT TT=3.669	SAT TT=15.343	SAT TT=0.149	SAT TT=0.239	SAT TT=0.246	SAT TT=13.929	SAT TT=2.382	SAT TT=4.218
csp/graphColoring/ register/zeroin/ normalized-zeroin-i-3-05.xml	UNSAT TT=0.123	UNSAT TT=1.949	UNSAT TT=2.033	UNSAT TT=1.84	UNSAT TT=2.084	UNSAT TT=2.043	UNSAT TT=3.792	UNSAT TT=5.534	UNSAT TT=0.123	UNSAT TT=0.126	UNSAT TT=0.134	UNSAT TT=4.921	UNSAT TT=1.719	UNSAT TT=1.952
csp/graphColoring/ register/zeroin/ normalized-zeroin-i-3-10.xml	UNSAT TT=0.123	UNSAT TT=1.928	UNSAT TT=1.95	UNSAT TT=1.678	UNSAT TT=1.996	UNSAT TT=2.076	? (TO) TT=1800.04	? (TO) TT=1800.02	UNSAT TT=0.125	UNSAT TT=0.133	UNSAT TT=0.123	? (TO) TT=1800.67	UNSAT TT=4.692	UNSAT TT=23.668
csp/graphColoring/ register/zeroin/ normalized-zeroin-i-3-20.xml	UNSAT TT=0.123	UNSAT TT=2.078	UNSAT TT=1.886	UNSAT TT=1.809	UNSAT TT=1.972	UNSAT TT=2.458	? (TO) TT=1800.09	? (TO) TT=1800.06	UNSAT TT=0.141	UNSAT TT=0.123	UNSAT TT=0.123	? (TO) TT=1800.42	? (TO) TT=1800.05	? (TO) TT=1800.05
csp/graphColoring/ register/zeroin/ normalized-zeroin-i-3-25.xml	UNSAT TT=0.131	UNSAT TT=2.141	UNSAT TT=1.876	UNSAT TT=1.805	UNSAT TT=2.365	UNSAT TT=2.104	? (TO) TT=1800.06	? (TO) TT=1800.07	UNSAT TT=0.135	UNSAT TT=0.131	UNSAT TT=0.132	? (TO) TT=1800.47	? (TO) TT=1800.08	? (TO) TT=1800.09
csp/graphColoring/ school/ normalized-school1-13.xml	UNSAT TT=0.676	UNSAT TT=4.575	UNSAT TT=4.944	UNSAT TT=34.341	UNSAT TT=13.092	UNSAT TT=16.264	? (TO) TT=1800.08	? (TO) TT=1800.04	UNSAT TT=0.873	UNSAT TT=0.676	UNSAT TT=0.678	? (TO) TT=1800.41	? (TO) TT=1800.09	UNSAT TT=780.684
csp/graphColoring/ school/ normalized-school1-14.xml	SAT TT=0.723	SAT TT=5.321	SAT TT=6.47	SAT TT=34.487	SAT TT=86.891	SAT TT=92.005	SAT TT=80.314	SAT TT=163.08	SAT TT=1.239	SAT TT=0.723	SAT TT=0.765	SAT TT=16.657	SAT TT=5.436	SAT TT=10.824
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)	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/graphColoring/ school/ normalized-school1-15.xml	SAT TT=0.77	SAT TT=6.015	SAT TT=5.85	SAT TT=33.894	SAT TT=79.467	SAT TT=85.147	SAT TT=85.28	SAT TT=173.188	SAT TT=1.374	SAT TT=0.77	SAT TT=1.562	SAT TT=23.434	SAT TT=5.597	SAT TT=10.481
csp/graphColoring/ school/ normalized-school1-16.xml	SAT TT=0.759	SAT TT=5.679	SAT TT=7.626	SAT TT=34.65	SAT TT=80.396	SAT TT=84.797	SAT TT=36.795	SAT TT=129.124	SAT TT=1.302	SAT TT=0.836	SAT TT=0.759	SAT TT=16.462	SAT TT=5.94	SAT TT=11.081
csp/graphColoring/ school/ normalized-school1-nsh-12.xml	UNSAT TT=0.512	UNSAT TT=3.762	UNSAT TT=3.772	UNSAT TT=19.08	UNSAT TT=8.7	UNSAT TT=10.988	? (TO) TT=1800.09	? (TO) TT=1800.03	UNSAT TT=0.682	UNSAT TT=0.512	UNSAT TT=0.512	? (TO) TT=1800.31	UNSAT TT=369.199	UNSAT TT=245.868
csp/graphColoring/ school/ normalized-school1-nsh-13.xml	UNSAT TT=0.518	UNSAT TT=3.709	UNSAT TT=3.767	UNSAT TT=19.045	UNSAT TT=9.53	UNSAT TT=11.958	? (TO) TT=1800	? (TO) TT=1800.03	UNSAT TT=0.657	UNSAT TT=0.518	UNSAT TT=0.518	? (TO) TT=1800.51	UNSAT TT=436.087	? (TO) TT=1800.11
csp/graphColoring/ school/ normalized-school1-nsh-14.xml	SAT TT=0.761	SAT TT=15.687	SAT TT=4.995	SAT TT=19.159	SAT TT=74.162	SAT TT=77.645	SAT TT=21.383	SAT TT=76.523	SAT TT=1.08	SAT TT=0.761	SAT TT=0.873	SAT TT=15.366	SAT TT=5.928	SAT TT=8.578
csp/graphColoring/ school/ normalized-school1-nsh-15.xml	SAT TT=0.667	SAT TT=5.194	SAT TT=6.731	SAT TT=19.826	SAT TT=75.537	SAT TT=80.841	SAT TT=21.68	SAT TT=80.636	SAT TT=3.012	SAT TT=1.151	SAT TT=0.667	SAT TT=16.918	SAT TT=5.052	SAT TT=8.006
csp/graphColoring/ sgb/book/ normalized-anna-5.xml	UNSAT TT=0.03	UNSAT TT=0.981	UNSAT TT=0.966	UNSAT TT=0.115	UNSAT TT=0.906	UNSAT TT=0.962	UNSAT TT=1.817	UNSAT TT=1.927	UNSAT TT=0.03	UNSAT TT=0.034	UNSAT TT=0.034	UNSAT TT=2.083	UNSAT TT=1.107	UNSAT TT=1.15
csp/graphColoring/ sgb/book/ normalized-david-5.xml	UNSAT TT=0.019	UNSAT TT=0.927	UNSAT TT=0.996	UNSAT TT=0.091	UNSAT TT=0.897	UNSAT TT=0.919	UNSAT TT=1.73	UNSAT TT=1.833	UNSAT TT=0.019	UNSAT TT=0.031	UNSAT TT=0.03	UNSAT TT=2.122	UNSAT TT=1.121	UNSAT TT=1.228
csp/graphColoring/ sgb/book/ normalized-homer-11.xml	UNSAT TT=0.072	UNSAT TT=4.752	UNSAT TT=4.894	UNSAT TT=0.516	UNSAT TT=1.384	UNSAT TT=1.418	? (TO) TT=1800.08	? (TO) TT=1800.08	UNSAT TT=0.074	UNSAT TT=0.075	UNSAT TT=0.072	? (TO) TT=1801.15	UNSAT TT=17.73	UNSAT TT=69.225
csp/graphColoring/ sgb/book/ normalized-jean-8.xml	UNSAT TT=0.016	UNSAT TT=0.882	UNSAT TT=0.892	UNSAT TT=0.064	UNSAT TT=0.777	UNSAT TT=0.773	UNSAT TT=6.79	UNSAT TT=6.678	UNSAT TT=0.016	UNSAT TT=0.026	UNSAT TT=0.026	UNSAT TT=7.64	UNSAT TT=0.989	UNSAT TT=1.111
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)	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/graphColoring/sgb/games/ normalized-games120-8.xml	UNSAT TT=0.031	UNSAT TT=1.052	UNSAT TT=1.052	UNSAT TT=0.146	UNSAT TT=1.034	UNSAT TT=1.031	UNSAT TT=9.277	UNSAT TT=9.612	UNSAT TT=0.033	UNSAT TT=0.037	UNSAT TT=0.031	UNSAT TT=4.528	UNSAT TT=1.468	UNSAT TT=1.358
csp/graphColoring/sgb/games/ normalized-games120-9.xml	SAT TT=0.03	SAT TT=1.145	SAT TT=1.058	SAT TT=0.148	SAT TT=1.548	SAT TT=1.806	SAT TT=1.85	SAT TT=1.906	SAT TT=0.03	SAT TT=0.043	SAT TT=0.044	SAT TT=2.369	SAT TT=1.172	SAT TT=1.473
csp/graphColoring/ sgb/miles/ normalized-miles1000-42.xml	SAT TT=0.228	SAT TT=1.836	SAT TT=1.724	SAT TT=0.742	SAT TT=7.026	SAT TT=6.759	SAT TT=3.596	SAT TT=16.788	SAT TT=0.228	SAT TT=0.261	SAT TT=0.251	SAT TT=24.944	SAT TT=2.516	SAT TT=4.684
csp/graphColoring/ sgb/miles/ normalized-miles1500-20.xml	UNSAT TT=0.182	UNSAT TT=2.257	UNSAT TT=2.146	UNSAT TT=1.62	UNSAT TT=4.182	UNSAT TT=4.681	? (TO) TT=1800.05	? (TO) TT=1800.02	UNSAT TT=0.199	UNSAT TT=0.182	UNSAT TT=0.183	? (TO) TT=1800.25	? (TO) TT=1800.09	? (TO) TT=1800.09
csp/graphColoring/ sgb/miles/ normalized-miles1500-50.xml	UNSAT TT=0.19	UNSAT TT=2.086	UNSAT TT=2.033	UNSAT TT=1.615	UNSAT TT=4.456	UNSAT TT=4.663	? (TO) TT=1800.08	? (TO) TT=1800.05	UNSAT TT=0.2	UNSAT TT=0.19	UNSAT TT=0.19	? (TO) TT=1800.36	? (TO) TT=1800.09	? (TO) TT=1800.07
csp/graphColoring/ sgb/miles/ normalized-miles1500-55.xml	UNSAT TT=0.201	UNSAT TT=2.083	UNSAT TT=2.02	UNSAT TT=1.638	UNSAT TT=4.598	UNSAT TT=5	? (TO) TT=1800.02	? (TO) TT=1800.07	UNSAT TT=0.201	UNSAT TT=0.202	UNSAT TT=0.202	? (TO) TT=1800.42	? (TO) TT=1800.09	? (TO) TT=1800.04
csp/graphColoring/ sgb/miles/ normalized-miles1500-72.xml	UNSAT TT=0.188	UNSAT TT=2.1	UNSAT TT=2.053	? (TO) TT=1800.07	UNSAT TT=4.084	UNSAT TT=5.085	? (TO) TT=1800.07	? (TO) TT=1800.07	UNSAT TT=0.188	? (TO) TT=1800.18	? (TO) TT=1800.2	? (TO) TT=1800.2	? (TO) TT=1800.03	? (TO) TT=1800
csp/graphColoring/ sgb/miles/ normalized-miles500-19.xml	UNSAT TT=0.048	? (TO) TT=1800.15	? (TO) TT=1800.08	? (TO) TT=1800.04	UNSAT TT=1.224	UNSAT TT=1.197	? (TO) TT=1800.05	? (TO) TT=1800.03	UNSAT TT=0.048	UNSAT TT=0.053	UNSAT TT=0.053	? (TO) TT=1800.32	? (TO) TT=1800.06	? (TO) TT=1800.06
csp/graphColoring/ sgb/miles/ normalized-miles750-10.xml	UNSAT TT=0.076	UNSAT TT=1.366	UNSAT TT=1.432	UNSAT TT=0.405	UNSAT TT=1.783	UNSAT TT=1.565	? (TO) TT=1800.07	? (TO) TT=1800.09	UNSAT TT=0.076	UNSAT TT=0.085	UNSAT TT=0.083	? (TO) TT=1800.81	UNSAT TT=6.034	UNSAT TT=16.613
csp/graphColoring/ sgb/miles/ normalized-miles750-28.xml	UNSAT TT=0.076	? (TO) TT=1800.17	? (TO) TT=1800.1	UNSAT TT=0.432	UNSAT TT=1.396	UNSAT TT=1.523	? (TO) TT=1800.01	? (TO) TT=1800.06	UNSAT TT=0.076	UNSAT TT=0.084	UNSAT TT=0.084	? (TO) TT=1800.38	? (TO) TT=1800.03	? (TO) TT=1800.13
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)	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/graphColoring/ sgb/miles/ normalized-miles750-31.xml	SAT TT=0.096	SAT TT=1.474	SAT TT=1.489	SAT TT=0.585	SAT TT=2.393	SAT TT=2.495	SAT TT=2.928	SAT TT=6.557	SAT TT=0.096	SAT TT=0.113	SAT TT=0.113	SAT TT=15.159	SAT TT=1.898	SAT TT=3.007
csp/graphColoring/ sgb/queen/ normalized-queen10-10-11.xml		? (TO) TT=1800.1	? (TO) TT=1800.08	? (TO) TT=1800.08	? (TO) TT=1800.14	? (TO) TT=1800.04	? (TO) TT=1800.04	? (TO) TT=1800.06	? (TO) TT=1800.08	? (TO) TT=1800.08	? (TO) TT=1800.13	? (TO) TT=1800.78	? (TO) TT=1800.04	? (TO) TT=1800.07
csp/graphColoring/ sgb/queen/ normalized-queen10-10-9.xml	UNSAT TT=0.063	UNSAT TT=1.212	UNSAT TT=1.3	UNSAT TT=0.285	UNSAT TT=1.453	UNSAT TT=1.229	UNSAT TT=233.63	UNSAT TT=238.569	UNSAT TT=0.066	UNSAT TT=0.063	UNSAT TT=0.063	UNSAT TT=42.587	UNSAT TT=2.02	UNSAT TT=2.432
csp/graphColoring/ sgb/queen/ normalized-queen11-11-8.xml	UNSAT TT=0.072	UNSAT TT=1.417	UNSAT TT=1.397	UNSAT TT=0.412	UNSAT TT=1.538	UNSAT TT=1.233	UNSAT TT=38.866	UNSAT TT=40.793	UNSAT TT=0.072	UNSAT TT=0.08	UNSAT TT=0.08	UNSAT TT=16.442	UNSAT TT=1.73	UNSAT TT=2.517
csp/graphColoring/ sgb/queen/ normalized-queen13-13-14.xml		? (TO) TT=1800.14	? (TO) TT=1800.13	? (TO) TT=1800.04	? (TO) TT=1800.19	? (TO) TT=1800.09	? (TO) TT=1800.01	? (TO) TT=1800.02	? (TO) TT=1800.03	? (TO) TT=1800.15	? (TO) TT=1800.14	? (TO) TT=1800.38	? (TO) TT=1800.02	? (TO) TT=1800.07
csp/graphColoring/ sgb/queen/ normalized-queen14-14-15.xml		? (TO) TT=1800.1	? (TO) TT=1800.08	? (TO) TT=1800.09	? (TO) TT=1800.17	? (TO) TT=1800.12	? (TO) TT=1800.02	? (TO) TT=1800.09	? (TO) TT=1800.11	? (TO) TT=1800.18	? (TO) TT=1800.15	? (TO) TT=1800.42	? (TO) TT=1800.04	? (TO) TT=1800.09
csp/graphColoring/ sgb/queen/ normalized-queen15-15-17.xml		? (TO) TT=1800.12	? (TO) TT=1800.13	? (TO) TT=1800.07	? (TO) TT=1800.1	? (TO) TT=1800.1	? (TO) TT=1800.04	? (TO) TT=1800.08	? (TO) TT=1800.08	? (TO) TT=1800.1	? (TO) TT=1800.12	? (TO) TT=1800.34	? (TO) TT=1800.11	? (TO) TT=1800.09
csp/graphColoring/ sgb/queen/ normalized-queen16-16-14.xml	UNSAT TT=0.225	UNSAT TT=2.34	UNSAT TT=2.245	UNSAT TT=1.997	UNSAT TT=2.012	UNSAT TT=1.919	? (TO) TT=1800.02	? (TO) TT=1800.04	UNSAT TT=0.225	UNSAT TT=0.226	UNSAT TT=0.226	? (TO) TT=1800.54	? (TO) TT=1800.01	? (TO) TT=1800.06
csp/graphColoring/ sgb/queen/ normalized-queen16-16-15.xml	UNSAT TT=0.224	UNSAT TT=2.296	UNSAT TT=2.271	UNSAT TT=1.96	UNSAT TT=2.059	UNSAT TT=1.943	? (TO) TT=1800.06	? (TO) TT=1800	UNSAT TT=0.245	UNSAT TT=0.224	UNSAT TT=0.226	? (TO) TT=1800.57	? (TO) TT=1800.17	? (TO) TT=1800.08
csp/graphColoring/sgb/queen/ normalized-queen7-7-7.xml	SAT TT=0.03	SAT TT=1.181	SAT TT=1.2	SAT TT=0.099	SAT TT=1.688	SAT TT=1.89	SAT TT=1.733	SAT TT=1.737	SAT TT=0.03	SAT TT=0.074	SAT TT=0.101	SAT TT=1.925	SAT TT=1.105	SAT TT=1.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)	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/graphColoring/sgb/queen/ normalized-queen9-9-8.xml	UNSAT TT=0.04	UNSAT TT=1.134	UNSAT TT=1.281	UNSAT TT=0.214	UNSAT TT=1.294	UNSAT TT=1.354	UNSAT TT=21.136	UNSAT TT=21.896	UNSAT TT=0.04	UNSAT TT=0.049	UNSAT TT=0.048	UNSAT TT=6.286	UNSAT TT=1.387	UNSAT TT=1.669
csp/haystacks/ normalized-haystacks-10.xml	UNSAT TT=1.149	UNSAT TT=1.606	UNSAT TT=1.268	? (TO) TT=1800.03	UNSAT TT=1.486	UNSAT TT=1.149	? (TO) TT=1800.05	? (TO) TT=1800.06	UNSAT TT=1.625	? (MO) TT=796.015	? (MO) TT=756.348	UNSAT TT=69.124	UNSAT TT=3.332	UNSAT TT=14.723
csp/haystacks/ normalized-haystacks-12.xml	UNSAT TT=1.402	UNSAT TT=5.04	UNSAT TT=1.421	? (TO) TT=1800.02	UNSAT TT=1.402	UNSAT TT=1.535	? (TO) TT=1800.01	? (TO) TT=1800.01	UNSAT TT=189.845	? (MO) TT=936.964	? (MO) TT=895.973	? (TO) TT=1800.8	UNSAT TT=47.823	UNSAT TT=250.802
csp/haystacks/ normalized-haystacks-13.xml	UNSAT TT=1.492	UNSAT TT=14.41	UNSAT TT=1.658	? (TO) TT=1800.05	UNSAT TT=1.492	UNSAT TT=1.622	? (TO) TT=1800.05	? (TO) TT=1800.05	UNSAT TT=10.123	? (MO) TT=964.449	? (MO) TT=1062.2	? (TO) TT=1800.54	UNSAT TT=416.089	? (TO) TT=1800.13
csp/haystacks/ normalized-haystacks-15.xml	UNSAT TT=1.86	UNSAT TT=1525.1	UNSAT TT=2.069	? (TO) TT=1800.06	UNSAT TT=2.27	UNSAT TT=1.86	? (TO) TT=1800.09	? (TO) TT=1800.06	? (TO) TT=1800.04	? (MO) TT=1181.1	? (MO) TT=1240.21	? (TO) TT=1800.47	? (TO) TT=1800.09	? (TO) TT=1800.06
csp/haystacks/ normalized-haystacks-20.xml	UNSAT TT=2.371	? (TO) TT=1800.1	UNSAT TT=4.887	? (TO) TT=1800.02	UNSAT TT=3.182	UNSAT TT=2.371	? (TO) TT=1800.07	? (TO) TT=1800.09	? (TO) TT=1800.06	? (TO) TT=1800.16	? (MO) TT=1684.14	? (TO) TT=1800.69	? (TO) TT=1800.03	? (TO) TT=1800.07
csp/haystacks/ normalized-haystacks-26.xml	UNSAT TT=3.87	? (TO) TT=1800.08	UNSAT TT=13.714	? (TO) TT=1800.09	UNSAT TT=6.637	UNSAT TT=3.87	? (TO) TT=1800.1	? (TO) TT=1800.05	? (TO) TT=1800.04	? (TO) TT=1800.11	? (TO) TT=1800.15	? (TO) TT=1800.36	? (TO) TT=1800.07	? (TO) TT=1800.08
csp/haystacks/ normalized-haystacks-33.xml		? (TO) TT=1800.06	? (TO) TT=1800.14	? (TO) TT=1800.1	? (TO) TT=1800.19	? (TO) TT=1800.08	? (TO) TT=1800.04	? (TO) TT=1800.08	? (TO) TT=1800.09	? (TO) TT=1800.13	? (TO) TT=1800.08	? (TO) TT=1800.35	? (TO) TT=1800.04	? (TO) TT=1800.01
csp/haystacks/ normalized-haystacks-34.xml		? (TO) TT=1800.14	? (TO) TT=1800.14	? (TO) TT=1800.06	? (TO) TT=1800.09	? (TO) TT=1800.11	? (TO) TT=1800.01	? (TO) TT=1800.07	? (TO) TT=1800.09	? (TO) TT=1800.05	? (TO) TT=1800.08	? (TO) TT=1800.32	? (TO) TT=1800.09	? (TO) TT=1800.06
csp/haystacks/ normalized-haystacks-35.xml		? (TO) TT=1800.07	? (TO) TT=1800.06	? (TO) TT=1800.09	? (TO) TT=1800.12	? (TO) TT=1800.19	? (TO) TT=1800.03	? (TO) TT=1800.02	? (TO) TT=1800.1	? (TO) TT=1800.11	? (TO) TT=1800.07	? (TO) TT=1800.38	? (TO) TT=1800.09	? (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)	Concrete 2009-07-14 (complete)	Concrete DC 2009-07-14 (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/haystacks/ normalized-haystacks-38.xml		? (TO) TT=1800.12	? (TO) TT=1800.14	? (TO) TT=1800.1	? (TO) TT=1800.19	? (TO) TT=1800.1	? (TO) TT=1800.01	? (TO) TT=1800.01	? (TO) TT=1800.1	? (TO) TT=1800.1	? (TO) TT=1800.05	? TT=563.124	? (TO) TT=1800.04	? (TO) TT=1800.08
csp/haystacks/ normalized-haystacks-39.xml		? (TO) TT=1800.13	? (TO) TT=1800.11	? (TO) TT=1800.09	? (TO) TT=1800.18	? (TO) TT=1800.07	? (TO) TT=1800.03	? (TO) TT=1800.04	? (TO) TT=1800.05	? (TO) TT=1800.11	? (TO) TT=1800.09	? (exit code) TT=174.315	? (TO) TT=1800	? (TO) TT=1800.01
csp/haystacks/ normalized-haystacks-45.xml		? (TO) TT=1800.13	? (TO) TT=1800.15	? (TO) TT=1800.04	? (TO) TT=1800.12	? (TO) TT=1800.13	? (TO) TT=1800.07	? (TO) TT=1800.04	? (TO) TT=1800.09	? (TO) TT=1800.09	? (TO) TT=1800.14	? TT=266.549	? (TO) TT=1800.13	? (TO) TT=1800.06
csp/haystacks/ normalized-haystacks-46.xml		? (TO) TT=1800.17	? (TO) TT=1800.15	? (TO) TT=1800.08	? (TO) TT=1800.15	? (TO) TT=1800.17	? (TO) TT=1800	? (TO) TT=1800.09	? (TO) TT=1800.06	? (TO) TT=1800.18	? (TO) TT=1800.18	? TT=235.042	? (TO) TT=1800.09	? (TO) TT=1800.08
csp/haystacks/ normalized-haystacks-47.xml		? (TO) TT=1800.07	? (TO) TT=1800.12	? (TO) TT=1800.03	? (TO) TT=1800.14	? (TO) TT=1800.13	? (TO) TT=1800.04	? (TO) TT=1800.04	? (TO) TT=1800.07	? (TO) TT=1800.14	? (TO) TT=1800.09	? TT=241.232	? (TO) TT=1800.16	? (TO) TT=1800.03
csp/haystacks/ normalized-haystacks-53.xml		? (TO) TT=1800.12	? (TO) TT=1800.12	? (TO) TT=1800.06	? (TO) TT=1800.25	? (TO) TT=1800.12	? (TO) TT=1800.1	? (TO) TT=1800.08	? (TO) TT=1800.07	? (TO) TT=1800.18	? (TO) TT=1800.1	? TT=265.739	? (TO) TT=1800.23	? (TO) TT=1800.06
csp/jobShop-e0ddr1/ normalized-e0ddr1-10-by-5-10.xml	SAT TT=0.031	SAT TT=2.178	SAT TT=2.049	SAT TT=0.087	SAT TT=1.783	SAT TT=1.653	SAT TT=1.589	SAT TT=23.933	SAT TT=0.031	SAT TT=0.137	SAT TT=0.097	SAT TT=35.127	SAT TT=1.082	SAT TT=1.596
csp/jobShop-e0ddr1/ normalized-e0ddr1-10-by-5-1.xml	SAT TT=0.028	SAT TT=1.966	SAT TT=1.915	SAT TT=0.081	SAT TT=1.525	SAT TT=1.744	SAT TT=1.562	SAT TT=23.238	SAT TT=0.028	SAT TT=0.47	SAT TT=0.075	SAT TT=15.027	SAT TT=1.34	SAT TT=1.683
csp/jobShop-e0ddr1/ normalized-e0ddr1-10-by-5-2.xml	SAT TT=0.038	SAT TT=1.874	SAT TT=1.983	SAT TT=0.087	SAT TT=1.657	SAT TT=1.594	SAT TT=1.525	SAT TT=21.737	SAT TT=0.038	SAT TT=0.084	SAT TT=0.094	SAT TT=12.532	SAT TT=1.001	SAT TT=1.403
csp/jobShop-e0ddr1/ normalized-e0ddr1-10-by-5-3.xml	SAT TT=0.091	? (TO) TT=1800.11	? (TO) TT=1800.06	SAT TT=0.091	SAT TT=1.89	SAT TT=1.799	SAT TT=1.495	SAT TT=28.264	SAT TT=0.847	SAT TT=1.248	SAT TT=0.445	SAT TT=114.005	SAT TT=1.122	SAT TT=1.497
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)	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/jobShop-e0ddr1/ normalized-e0ddr1-10-by-5-4.xml	SAT TT=0.029	SAT TT=1.84	SAT TT=1.946	SAT TT=0.09	SAT TT=1.911	SAT TT=1.663	SAT TT=1.558	SAT TT=20.972	SAT TT=0.029	SAT TT=0.082	SAT TT=0.134	SAT TT=11.485	SAT TT=1.036	SAT TT=1.491
csp/jobShop-e0ddr1/ normalized-e0ddr1-10-by-5-5.xml	SAT TT=0.027	SAT TT=1.914	SAT TT=1.866	SAT TT=0.088	SAT TT=1.574	SAT TT=1.569	SAT TT=1.594	SAT TT=21.505	SAT TT=0.027	SAT TT=0.092	SAT TT=0.069	SAT TT=13.313	SAT TT=1.105	SAT TT=1.509
csp/jobShop-e0ddr1/ normalized-e0ddr1-10-by-5-6.xml	SAT TT=0.024	SAT TT=1.924	SAT TT=1.905	SAT TT=0.091	SAT TT=1.603	SAT TT=1.582	SAT TT=1.454	SAT TT=24.457	SAT TT=0.024	SAT TT=0.121	SAT TT=0.132	SAT TT=13.659	SAT TT=1.083	SAT TT=1.56
csp/jobShop-e0ddr1/ normalized-e0ddr1-10-by-5-7.xml	SAT TT=0.04	SAT TT=1.858	SAT TT=1.983	SAT TT=893.135	SAT TT=1.732	SAT TT=1.631	SAT TT=1.548	SAT TT=23.963	SAT TT=0.04	SAT TT=0.113	SAT TT=0.244	SAT TT=12.396	SAT TT=1.084	SAT TT=1.63
csp/jobShop-e0ddr1/ normalized-e0ddr1-10-by-5-8.xml	SAT TT=0.066	SAT TT=1.993	SAT TT=1.907	SAT TT=0.091	SAT TT=1.752	SAT TT=1.654	SAT TT=1.579	SAT TT=23.143	SAT TT=0.066	SAT TT=1.36	SAT TT=0.144	SAT TT=25.224	SAT TT=1.252	SAT TT=1.545
csp/jobShop-e0ddr1/ normalized-e0ddr1-10-by-5-9.xml	SAT TT=0.025	SAT TT=2.063	SAT TT=2.008	SAT TT=0.093	SAT TT=1.578	SAT TT=1.754	SAT TT=1.537	SAT TT=24.142	SAT TT=0.025	SAT TT=0.09	SAT TT=0.082	SAT TT=12.337	SAT TT=1.027	SAT TT=1.706
csp/jobShop-e0ddr2/ normalized-e0ddr2-10-by-5-10.xml	SAT TT=0.031	SAT TT=2.211	SAT TT=2.225	SAT TT=0.088	SAT TT=1.584	SAT TT=1.694	SAT TT=1.455	SAT TT=36.573	SAT TT=0.031	SAT TT=0.101	SAT TT=0.141	SAT TT=16.314	SAT TT=1.034	SAT TT=1.516
csp/jobShop-e0ddr2/ normalized-e0ddr2-10-by-5-1.xml	SAT TT=0.083	SAT TT=2.12	SAT TT=2.121	SAT TT=774.978	SAT TT=1.796	SAT TT=1.742	SAT TT=1.603	SAT TT=28.827	SAT TT=0.083	SAT TT=0.188	SAT TT=0.131	SAT TT=14.534	SAT TT=1.283	SAT TT=1.473
csp/jobShop-e0ddr2/ normalized-e0ddr2-10-by-5-2.xml	SAT TT=0.036	SAT TT=2.217	SAT TT=2.285	SAT TT=892.64	SAT TT=1.681	SAT TT=1.709	SAT TT=3.385	SAT TT=37.784	SAT TT=0.036	SAT TT=2.649	SAT TT=2.764	SAT TT=470.992	SAT TT=1.034	SAT TT=1.612
csp/jobShop-e0ddr2/ normalized-e0ddr2-10-by-5-3.xml	SAT TT=0.034	SAT TT=2.234	SAT TT=2.219	SAT TT=0.089	SAT TT=1.647	SAT TT=1.729	SAT TT=1.575	SAT TT=31.249	SAT TT=0.034	SAT TT=0.385	SAT TT=0.208	SAT TT=14.305	SAT TT=1.08	SAT TT=1.444
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)	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/jobShop-e0ddr2/ normalized-e0ddr2-10-by-5-4.xml	SAT TT=0.041	SAT TT=2.24	SAT TT=2.302	SAT TT=934.585	SAT TT=1.652	SAT TT=1.686	SAT TT=1.541	SAT TT=31.745	SAT TT=0.041	SAT TT=0.173	SAT TT=0.077	SAT TT=14.801	SAT TT=1.035	SAT TT=1.647
csp/jobShop-e0ddr2/ normalized-e0ddr2-10-by-5-5.xml	SAT TT=0.03	SAT TT=2.278	SAT TT=2.315	SAT TT=0.084	SAT TT=1.586	SAT TT=1.707	SAT TT=1.561	SAT TT=32.577	SAT TT=0.03	SAT TT=0.16	SAT TT=0.113	SAT TT=14.911	SAT TT=1.102	SAT TT=1.624
csp/jobShop-e0ddr2/ normalized-e0ddr2-10-by-5-6.xml	SAT TT=0.025	SAT TT=2.045	SAT TT=2.209	SAT TT=0.089	SAT TT=1.598	SAT TT=1.645	SAT TT=1.525	SAT TT=32.196	SAT TT=0.025	SAT TT=0.137	SAT TT=0.124	SAT TT=14.865	SAT TT=1.049	SAT TT=1.895
csp/jobShop-e0ddr2/ normalized-e0ddr2-10-by-5-7.xml	SAT TT=0.027	SAT TT=2.055	SAT TT=2.152	SAT TT=0.09	SAT TT=1.596	SAT TT=1.61	SAT TT=1.583	SAT TT=32.31	SAT TT=0.027	SAT TT=0.085	SAT TT=0.153	SAT TT=19.795	SAT TT=1.056	SAT TT=1.589
csp/jobShop-e0ddr2/ normalized-e0ddr2-10-by-5-8.xml	SAT TT=0.041	SAT TT=2.065	SAT TT=2.108	SAT TT=0.083	SAT TT=1.627	SAT TT=1.747	SAT TT=1.531	SAT TT=34.772	SAT TT=0.041	SAT TT=0.16	SAT TT=0.12	SAT TT=14.175	SAT TT=1.051	SAT TT=1.495
csp/jobShop-e0ddr2/ normalized-e0ddr2-10-by-5-9.xml	SAT TT=0.122	SAT TT=2.448	SAT TT=41.692	SAT TT=1338.81	SAT TT=1.698	SAT TT=1.778	SAT TT=1.511	SAT TT=36.034	SAT TT=0.122	SAT TT=2.568	SAT TT=0.517	SAT TT=25.222	SAT TT=1.06	SAT TT=1.597
csp/jobShop-enddr1/ normalized-enddr1-10-by-5-10.xml	SAT TT=0.038	SAT TT=2.038	SAT TT=1.898	SAT TT=0.09	SAT TT=1.658	SAT TT=1.649	SAT TT=1.535	SAT TT=25.134	SAT TT=0.038	SAT TT=0.149	SAT TT=0.07	SAT TT=17.114	SAT TT=1.092	SAT TT=1.396
csp/jobShop-enddr1/ normalized-enddr1-10-by-5-1.xml	SAT TT=0.025	SAT TT=1.909	SAT TT=1.827	SAT TT=0.082	SAT TT=1.643	SAT TT=1.548	SAT TT=1.58	SAT TT=25.448	SAT TT=0.025	SAT TT=0.074	SAT TT=0.104	SAT TT=13.383	SAT TT=1.083	SAT TT=1.506
csp/jobShop-enddr1/ normalized-enddr1-10-by-5-2.xml	SAT TT=0.024	SAT TT=1.919	SAT TT=2.009	SAT TT=0.088	SAT TT=1.785	SAT TT=1.677	SAT TT=1.567	SAT TT=24.996	SAT TT=0.024	SAT TT=0.09	SAT TT=0.078	SAT TT=13.695	SAT TT=0.998	SAT TT=1.478
csp/jobShop-enddr1/ normalized-enddr1-10-by-5-3.xml	SAT TT=0.028	? (TO) TT=1800.11	SAT TT=1.988	SAT TT=0.089	SAT TT=1.588	SAT TT=1.793	SAT TT=1.544	SAT TT=26.665	SAT TT=0.028	SAT TT=0.14	SAT TT=0.278	SAT TT=13.886	SAT TT=1.101	SAT TT=1.518
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)	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/jobShop-enddr1/ normalized-enddr1-10-by-5-4.xml	SAT TT=0.027	SAT TT=1.878	SAT TT=1.864	SAT TT=0.088	SAT TT=1.728	SAT TT=1.756	SAT TT=1.566	SAT TT=22.958	SAT TT=0.027	SAT TT=0.116	SAT TT=0.121	SAT TT=13.132	SAT TT=1.352	SAT TT=1.499
csp/jobShop-enddr1/ normalized-enddr1-10-by-5-5.xml	SAT TT=0.03	SAT TT=1.951	SAT TT=2.064	SAT TT=0.088	SAT TT=1.595	SAT TT=1.663	SAT TT=1.55	SAT TT=26.207	SAT TT=0.03	SAT TT=0.07	SAT TT=0.073	SAT TT=13.045	SAT TT=1.065	SAT TT=1.476
csp/jobShop-enddr1/ normalized-enddr1-10-by-5-6.xml	SAT TT=0.023	SAT TT=2.226	SAT TT=2.173	SAT TT=0.091	SAT TT=1.665	SAT TT=1.753	SAT TT=1.541	SAT TT=24.679	SAT TT=0.023	SAT TT=0.068	SAT TT=0.071	SAT TT=14.877	SAT TT=1.095	SAT TT=1.502
csp/jobShop-enddr1/ normalized-enddr1-10-by-5-7.xml	SAT TT=0.025	SAT TT=1.955	SAT TT=1.91	SAT TT=0.09	SAT TT=1.548	SAT TT=1.59	SAT TT=1.581	SAT TT=27.369	SAT TT=0.025	SAT TT=0.136	SAT TT=0.12	SAT TT=13.964	SAT TT=1.332	SAT TT=1.539
csp/jobShop-enddr1/ normalized-enddr1-10-by-5-8.xml	SAT TT=0.036	SAT TT=2.205	SAT TT=1.887	SAT TT=0.083	SAT TT=1.712	SAT TT=1.65	SAT TT=1.517	SAT TT=28.211	SAT TT=0.036	SAT TT=0.087	SAT TT=0.132	SAT TT=13.452	SAT TT=1.343	SAT TT=1.501
csp/jobShop-enddr1/ normalized-enddr1-10-by-5-9.xml	SAT TT=0.029	SAT TT=2.015	SAT TT=2.125	SAT TT=0.087	SAT TT=1.637	SAT TT=1.527	SAT TT=1.532	SAT TT=26.258	SAT TT=0.029	SAT TT=0.071	SAT TT=0.073	SAT TT=13.671	SAT TT=1.104	SAT TT=1.576
csp/jobShop-enddr2/ normalized-enddr2-10-by-5-10.xml	SAT TT=0.052	SAT TT=2.193	SAT TT=2.306	SAT TT=0.088	SAT TT=1.733	SAT TT=1.685	SAT TT=1.538	SAT TT=37.465	SAT TT=0.052	SAT TT=0.093	SAT TT=0.213	SAT TT=16.27	SAT TT=1.096	SAT TT=1.589
csp/jobShop-enddr2/ normalized-enddr2-10-by-5-1.xml	SAT TT=0.089	SAT TT=2.141	SAT TT=2.123	SAT TT=0.089	SAT TT=1.619	SAT TT=1.628	SAT TT=1.487	SAT TT=29.07	SAT TT=0.166	SAT TT=0.111	SAT TT=0.12	SAT TT=16.601	SAT TT=1.082	SAT TT=1.782
csp/jobShop-enddr2/ normalized-enddr2-10-by-5-2.xml	SAT TT=0.085	SAT TT=2.396	SAT TT=2.403	SAT TT=0.1	SAT TT=1.547	SAT TT=1.633	SAT TT=1.544	SAT TT=35.107	SAT TT=0.085	SAT TT=0.119	SAT TT=0.154	SAT TT=25.767	SAT TT=1.071	SAT TT=1.575
csp/jobShop-enddr2/ normalized-enddr2-10-by-5-3.xml	SAT TT=0.076	SAT TT=2.145	SAT TT=2.229	SAT TT=0.089	SAT TT=1.689	SAT TT=1.65	SAT TT=1.539	SAT TT=31.258	SAT TT=0.076	SAT TT=0.156	SAT TT=0.204	SAT TT=16.761	SAT TT=1.104	SAT TT=1.711
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)	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/jobShop-enddr2/ normalized-enddr2-10-by-5-4.xml	SAT TT=0.028	SAT TT=2.198	SAT TT=2.167	SAT TT=0.088	SAT TT=1.691	SAT TT=1.623	SAT TT=1.501	SAT TT=35.546	SAT TT=0.028	SAT TT=0.106	SAT TT=0.117	SAT TT=16.001	SAT TT=1.154	SAT TT=1.579
csp/jobShop-enddr2/ normalized-enddr2-10-by-5-5.xml	SAT TT=0.039	SAT TT=2.434	SAT TT=2.226	SAT TT=0.09	SAT TT=1.676	SAT TT=1.691	SAT TT=1.584	SAT TT=33.636	SAT TT=0.039	SAT TT=0.138	SAT TT=0.11	SAT TT=17.558	SAT TT=1.065	SAT TT=1.774
csp/jobShop-ewddr2/ normalized-ewddr2-10-by-5-10.xml	SAT TT=0.029	SAT TT=2.501	SAT TT=2.28	SAT TT=0.083	SAT TT=1.751	SAT TT=1.66	SAT TT=1.562	SAT TT=35.11	SAT TT=0.029	SAT TT=0.126	SAT TT=0.072	SAT TT=17.036	SAT TT=1.088	SAT TT=1.64
csp/jobShop-ewddr2/ normalized-ewddr2-10-by-5-1.xml	SAT TT=0.058	SAT TT=2.246	SAT TT=2.393	SAT TT=0.088	SAT TT=1.651	SAT TT=1.75	SAT TT=1.608	SAT TT=35.457	SAT TT=0.058	SAT TT=0.16	SAT TT=0.13	SAT TT=17.554	SAT TT=1.003	SAT TT=1.512
csp/jobShop-ewddr2/ normalized-ewddr2-10-by-5-2.xml	SAT TT=0.035	SAT TT=2.232	SAT TT=2.204	SAT TT=0.089	SAT TT=1.634	SAT TT=1.584	SAT TT=1.556	SAT TT=33.652	SAT TT=0.035	SAT TT=0.108	SAT TT=0.117	SAT TT=15.923	SAT TT=1.113	SAT TT=1.594
csp/jobShop-ewddr2/ normalized-ewddr2-10-by-5-3.xml	SAT TT=0.036	SAT TT=2.475	SAT TT=2.494	SAT TT=0.081	SAT TT=1.588	SAT TT=1.6	SAT TT=1.581	SAT TT=34.109	SAT TT=0.036	SAT TT=0.119	SAT TT=0.109	SAT TT=18.355	SAT TT=1.018	SAT TT=1.543
csp/jobShop-ewddr2/ normalized-ewddr2-10-by-5-4.xml	SAT TT=0.026	SAT TT=2.267	SAT TT=2.409	SAT TT=0.082	SAT TT=1.536	SAT TT=1.771	SAT TT=1.639	SAT TT=37.009	SAT TT=0.026	SAT TT=0.151	SAT TT=0.084	SAT TT=18.633	SAT TT=1.018	SAT TT=1.566
csp/jobShop-ewddr2/ normalized-ewddr2-10-by-5-5.xml	SAT TT=0.021	SAT TT=2.489	SAT TT=2.478	SAT TT=0.083	SAT TT=1.551	SAT TT=1.578	SAT TT=1.598	SAT TT=30.822	SAT TT=0.021	SAT TT=0.094	SAT TT=0.122	SAT TT=19.062	SAT TT=1.007	SAT TT=1.637
csp/jobShop-ewddr2/ normalized-ewddr2-10-by-5-6.xml	SAT TT=0.042	SAT TT=2.585	SAT TT=2.331	SAT TT=0.087	SAT TT=1.668	SAT TT=1.607	SAT TT=1.453	SAT TT=38.194	SAT TT=0.042	SAT TT=0.107	SAT TT=0.068	SAT TT=17.877	SAT TT=1.08	SAT TT=1.758
csp/jobShop-ewddr2/ normalized-ewddr2-10-by-5-7.xml	SAT TT=0.048	SAT TT=2.393	SAT TT=2.391	SAT TT=0.089	SAT TT=1.695	SAT TT=1.616	SAT TT=1.591	SAT TT=33.623	SAT TT=0.048	SAT TT=0.135	SAT TT=0.147	SAT TT=16.878	SAT TT=1.021	SAT TT=1.502
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)	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/jobShop-ewddr2/ normalized-ewddr2-10-by-5-8.xml	SAT TT=0.037	SAT TT=2.499	SAT TT=2.465	SAT TT=0.092	SAT TT=1.763	SAT TT=1.645	SAT TT=1.451	SAT TT=36.106	SAT TT=0.037	SAT TT=0.065	SAT TT=0.102	SAT TT=18.602	SAT TT=1.028	SAT TT=1.59
csp/jobShop-ewddr2/ normalized-ewddr2-10-by-5-9.xml	SAT TT=0.023	SAT TT=2.38	SAT TT=2.34	SAT TT=0.082	SAT TT=1.59	SAT TT=1.574	SAT TT=1.599	SAT TT=37.279	SAT TT=0.023	SAT TT=0.157	SAT TT=0.078	SAT TT=16.506	SAT TT=1.061	SAT TT=1.629
csp/js-taillard-15/ normalized-js-taillard-15-100-1.xml	SAT TT=5.778	? (TO) TT=1800.1	? (TO) TT=1800.09	? (TO) TT=1800.11	SAT TT=108.361	SAT TT=109.389	? (TO) TT=1800.03	? TT=242.092	? (TO) TT=1800.1	? (TO) TT=1800.09	? (TO) TT=1800.13	? (exit code) TT=356.754	SAT TT=5.778	SAT TT=24.057
csp/js-taillard-15/ normalized-js-taillard-15-100-4.xml	SAT TT=24.608	? (TO) TT=1800.15	? (TO) TT=1800.13	? (TO) TT=1800.1	SAT TT=24.608	SAT TT=987.317	? (TO) TT=1800.1	? TT=290.915	? (TO) TT=1800.05	? (TO) TT=1800.13	? (TO) TT=1800.15	? TT=386.644	SAT TT=36.522	SAT TT=45.387
csp/js-taillard-15/ normalized-js-taillard-15-100-5.xml	SAT TT=368.53	? (TO) TT=1800.15	? (TO) TT=1800.13	? (TO) TT=1800.01	? (TO) TT=1800.17	? (TO) TT=1800.09	? (TO) TT=1800.07	? TT=308.276	? (TO) TT=1800.1	? (TO) TT=1800.11	? (TO) TT=1800.16	? TT=330.791	SAT TT=547.073	SAT TT=368.53
csp/js-taillard-15/ normalized-js-taillard-15-100-6.xml	SAT TT=127.328	? (TO) TT=1800.15	? (TO) TT=1800.1	? (TO) TT=1800.02	SAT TT=1239.23	SAT TT=957.715	? (TO) TT=1800.01	? TT=341	? (TO) TT=1800.1	? (TO) TT=1800.11	? (TO) TT=1800.14	? TT=305.38	SAT TT=133.972	SAT TT=127.328
csp/js-taillard-15/ normalized-js-taillard-15-100-7.xml	SAT TT=334.785	? (TO) TT=1800.08	? (TO) TT=1800.05	? (TO) TT=1800.1	SAT TT=712.514	SAT TT=1506.93	? (TO) TT=1800.06	? TT=258.273	? (TO) TT=1800.05	? (TO) TT=1800.1	? (TO) TT=1800.17	? TT=337.582	SAT TT=334.785	SAT TT=394.584
csp/js-taillard-15/ normalized-js-taillard-15-105-0.xml	SAT TT=9.411	? (TO) TT=1800.11	? (TO) TT=1800.06	? (TO) TT=1800.08	SAT TT=14.735	SAT TT=23.715	? (TO) TT=1800.08	? TT=265.112	SAT TT=12.324	SAT TT=763.546	SAT TT=293.254	? (exit code) TT=336.304	SAT TT=9.411	SAT TT=14.181
csp/js-taillard-15/ normalized-js-taillard-15-105-4.xml	SAT TT=4.032	? (TO) TT=1800.12	? (TO) TT=1800.14	? (TO) TT=1800.05	SAT TT=11.38	SAT TT=21.092	? (TO) TT=1800.04	? TT=241.737	SAT TT=4.032	SAT TT=952.651	SAT TT=135.513	? (exit code) TT=339.251	SAT TT=9.276	SAT TT=18.313
csp/js-taillard-15/ normalized-js-taillard-15-105-8.xml	SAT TT=5.726	? (TO) TT=1800.14	? (TO) TT=1800.11	? (TO) TT=1800.04	SAT TT=37.067	SAT TT=51.079	? (TO) TT=1800.07	? TT=243.496	? (TO) TT=1800.08	SAT TT=26.42	? (TO) TT=1800.15	? (exit code) TT=318.964	SAT TT=5.726	SAT TT=14.362
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)	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/js-taillard-15/ normalized-js-taillard-15-95-5.xml	UNSAT TT=244.907	? (TO) TT=1800.12	? (TO) TT=1800.14	? (TO) TT=1800.09	UNSAT TT=948.594	UNSAT TT=1344.65	? (TO) TT=1800.04	? TT=337.907	? (TO) TT=1800.04	? (TO) TT=1800.15	? (TO) TT=1800.12	? TT=332.529	UNSAT TT=429.077	UNSAT TT=244.907
csp/js-taillard-15/ normalized-js-taillard-15-95-8.xml	UNSAT TT=11.899	? (TO) TT=1800.09	? (TO) TT=1800.16	? (TO) TT=1800.01	UNSAT TT=25.03	UNSAT TT=27.295	? (TO) TT=1800.02	? TT=416.213	UNSAT TT=32.022	? (TO) TT=1800.16	? (TO) TT=1800.14	? (exit code) TT=342.998	UNSAT TT=11.899	UNSAT TT=18.617
csp/js-taillard-20-15/ normalized-js-taillard-20-15-100-0.xml		? (TO) TT=1800.15	? (TO) TT=1800.17	? (TO) TT=1800.06	? (TO) TT=1800.05	? (TO) TT=1800.08	? (TO) TT=1800.02	? TT=321.51	? (TO) TT=1800.04	? (TO) TT=1800.11	? (TO) TT=1800.15	? TT=309.537	? (TO) TT=1800.08	? (TO) TT=1800.09
csp/js-taillard-20-15/ normalized-js-taillard-20-15-100-6.xml	SAT TT=167.471	? (TO) TT=1800.16	? (TO) TT=1800.1	? (TO) TT=1800.05	? (TO) TT=1800.1	SAT TT=1243.44	? (TO) TT=1800.03	? TT=228.055	? (TO) TT=1800.04	? (TO) TT=1800.16	? (TO) TT=1800.13	? (exit code) TT=289.779	SAT TT=167.471	? (TO) TT=1800.03
csp/js-taillard-20-15/ normalized-js-taillard-20-15-100-8.xml		? (TO) TT=1800.08	? (TO) TT=1800.2	? (TO) TT=1800.04	? (TO) TT=1800.1	? (TO) TT=1800.16	? (TO) TT=1800.01	? TT=256.045	? (TO) TT=1800.1	? (TO) TT=1800.15	? (TO) TT=1800.14	? TT=319.958	? (TO) TT=1800.02	? (TO) TT=1800.05
csp/js-taillard-20-15/ normalized-js-taillard-20-15-100-9.xml	SAT TT=277.083	? (TO) TT=1800.18	? (TO) TT=1800.16	? (TO) TT=1800.06	? (TO) TT=1800.07	? (TO) TT=1800.12	? (TO) TT=1800.03	? TT=281.589	? (TO) TT=1800.09	? (TO) TT=1800.15	? (TO) TT=1800.12	? TT=310.042	? (TO) TT=1800.02	SAT TT=277.083
csp/js-taillard-20-15/ normalized-js-taillard-20-15-105-0.xml	SAT TT=38.363	? (TO) TT=1800.11	? (TO) TT=1800.09	? (TO) TT=1800.04	SAT TT=1439.54	? (TO) TT=1800.19	? (TO) TT=1800.04	? TT=247.888	? (TO) TT=1800.06	? (TO) TT=1800.11	? (TO) TT=1800.1	? TT=304.258	SAT TT=139.739	SAT TT=38.363
csp/js-taillard-20-15/ normalized-js-taillard-20-15-105-1.xml	SAT TT=40.365	? (TO) TT=1800.11	? (TO) TT=1800.08	? (TO) TT=1800.05	? (TO) TT=1800.05	? (TO) TT=1800.12	? (TO) TT=1800.06	? TT=245.871	? (TO) TT=1800.02	? (TO) TT=1800.08	? (TO) TT=1800.14	? TT=318.559	SAT TT=265.025	SAT TT=40.365
csp/js-taillard-20-15/ normalized-js-taillard-20-15-105-2.xml	SAT TT=17.589	? (TO) TT=1800.14	? (TO) TT=1800.11	? (TO) TT=1800.09	SAT TT=193.495	SAT TT=162.184	? (TO) TT=1800.04	? TT=237.998	? (TO) TT=1800.09	? (TO) TT=1800.17	? (TO) TT=1800.08	? (exit code) TT=283.798	SAT TT=17.589	SAT TT=52.479
csp/js-taillard-20-15/ normalized-js-taillard-20-15-95-3.xml	UNSAT TT=0.74	? (TO) TT=1800.21	? (TO) TT=1800.16	UNSAT TT=0.74	UNSAT TT=2.575	UNSAT TT=2.985	? (TO) TT=1800.03	? TT=250.225	? (TO) TT=1800.11	? (TO) TT=1800.12	? (TO) TT=1800.16	? TT=309.142	? (TO) TT=1800.1	? (TO) TT=1800.04
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)	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/js-taillard-20-15/ normalized-js-taillard-20-15-95-4.xml		? (TO) TT=1800.09	? (TO) TT=1800.13	? (TO) TT=1800.09	? (TO) TT=1800.14	? (TO) TT=1800.1	? (TO) TT=1800.06	? TT=208.212	? (TO) TT=1800.05	? (TO) TT=1800.12	? (TO) TT=1800.07	? (exit code) TT=322.451	? (TO) TT=1800.07	? (TO) TT=1800.02
csp/js-taillard-20-15/ normalized-js-taillard-20-15-95-7.xml		? (TO) TT=1800.13	? (TO) TT=1800.16	? (TO) TT=1800.06	? (TO) TT=1800.17	? (TO) TT=1800.07	? (TO) TT=1800.06	? TT=321.73	? (TO) TT=1800.05	? (TO) TT=1800.07	? (TO) TT=1800.12	? TT=336.887	? (TO) TT=1800.01	? (TO) TT=1800.05
csp/js-taillard-20/ normalized-js-taillard-20-100-0.xml		? (TO) TT=1800.2	? (TO) TT=1800.13	? (TO) TT=1800.08	? (TO) TT=1800.08	? (TO) TT=1800.09	? (TO) TT=1800.02	? TT=206.342	? (TO) TT=1800.02	? (TO) TT=1800.06	? (TO) TT=1800.07	? (exit code) TT=277.317	? (TO) TT=1800.08	? (TO) TT=1800.03
csp/js-taillard-20/ normalized-js-taillard-20-100-5.xml		? (TO) TT=1800.16	? (TO) TT=1800.12	? (TO) TT=1800.04	? (TO) TT=1800.12	? (TO) TT=1800.09	? (TO) TT=1800.07	? TT=240.681	? (TO) TT=1800.08	? (TO) TT=1800.13	? (TO) TT=1800.09	? TT=297.732	? (TO) TT=1800.07	? (TO) TT=1800
csp/js-taillard-20/ normalized-js-taillard-20-100-8.xml		? (TO) TT=1800.15	? (TO) TT=1800.14	? (TO) TT=1800.09	? (TO) TT=1800.14	? (TO) TT=1800.12	? (TO) TT=1800.05	? TT=174.674	? (TO) TT=1800.04	? (TO) TT=1800.11	? (TO) TT=1800.15	? TT=286.456	? (TO) TT=1800.05	? (TO) TT=1800.03
csp/js-taillard-20/ normalized-js-taillard-20-105-3.xml	SAT TT=39.252	? (TO) TT=1800.13	? (TO) TT=1800.14	? (TO) TT=1800.01	SAT TT=346.497	SAT TT=620.617	? (TO) TT=1800.03	? TT=393.159	? (TO) TT=1800.1	? (TO) TT=1800.11	? (TO) TT=1800.09	? (exit code) TT=261.126	SAT TT=39.252	SAT TT=76.044
csp/js-taillard-20/ normalized-js-taillard-20-105-7.xml	SAT TT=18.778	? (TO) TT=1800.17	? (TO) TT=1800.14	? (TO) TT=1800.07	SAT TT=110.302	SAT TT=170.295	? (TO) TT=1800.07	? TT=267.281	? (TO) TT=1800.01	? (TO) TT=1800.08	? (TO) TT=1800.16	? TT=251.252	SAT TT=18.778	SAT TT=41.055
csp/js-taillard-20/ normalized-js-taillard-20-105-8.xml	SAT TT=12.184	? (TO) TT=1800.11	? (TO) TT=1800.13	? (TO) TT=1800.05	? (TO) TT=1800.07	SAT TT=634.619	? (TO) TT=1800.04	? TT=230.709	? (TO) TT=1800.05	? (TO) TT=1800.15	? (TO) TT=1800.11	? TT=254.711	SAT TT=12.184	SAT TT=51.973
csp/js-taillard-20/ normalized-js-taillard-20-105-9.xml	SAT TT=46.754	? (TO) TT=1800.16	? (TO) TT=1800.12	? (TO) TT=1800.03	SAT TT=1162.54	? (TO) TT=1800.12	? (TO) TT=1800.01	? TT=253.236	? (TO) TT=1800.04	? (TO) TT=1800.15	? (TO) TT=1800.08	? TT=258.264	SAT TT=52.254	SAT TT=46.754
csp/js-taillard-20/ normalized-js-taillard-20-95-3.xml	UNSAT TT=122.097	? (TO) TT=1800.08	? (TO) TT=1800.09	? (TO) TT=1800.1	UNSAT TT=122.097	UNSAT TT=1390.37	? (TO) TT=1800	? TT=159.385	? (TO) TT=1800.06	? (TO) TT=1800.09	? (TO) TT=1800.11	? TT=328.343	UNSAT TT=1311.46	UNSAT TT=1332.58
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)	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/js-taillard-20/ normalized-js-taillard-20-95-4.xml	UNSAT TT=398.499	? (TO) TT=1800.12	? (TO) TT=1800.13	? (TO) TT=1800.06	? (TO) TT=1800.12	? (TO) TT=1800.15	? (TO) TT=1800.06	? TT=177.007	? (TO) TT=1800.1	? (TO) TT=1800.14	? (TO) TT=1800.14	? TT=323.475	UNSAT TT=398.499	UNSAT TT=449.213
csp/js-taillard-20/ normalized-js-taillard-20-95-5.xml		? (TO) TT=1800.15	? (TO) TT=1800.07	? (TO) TT=1800.07	? (TO) TT=1800.07	? (TO) TT=1800.15	? (TO) TT=1800.1	? TT=187.758	? (TO) TT=1800.01	? (TO) TT=1800.08	? (TO) TT=1800.11	? TT=312.205	? (TO) TT=1800.08	? (TO) TT=1800
csp/os-gp/ normalized-gp10-01-1092.xml	UNSAT TT=7.519	? (TO) TT=1800.11	? (TO) TT=1800.14	? (TO) TT=1800.06	UNSAT TT=9.371	UNSAT TT=7.519	? (TO) TT=1800.04	? (TO) TT=1800.03	UNSAT TT=20.779	? (MO) TT=1435.07	? (MO) TT=1439.73	? (exit code) TT=297.863	UNSAT TT=8.184	UNSAT TT=19.656
csp/os-gp/ normalized-gp10-01-1093.xml	SAT TT=0.479	? (TO) TT=1800.14	? (TO) TT=1800.14	? (TO) TT=1800.08	SAT TT=4.244	SAT TT=4.657	? (TO) TT=1800.07	? (TO) TT=1800.03	SAT TT=0.479	? (MO) TT=1456.06	SAT TT=7.364	? (exit code) TT=320.26	SAT TT=7.859	SAT TT=20.824
csp/os-gp/ normalized-gp10-02-1097.xml	SAT TT=0.114	SAT TT=167.418	SAT TT=168.373	? (TO) TT=1800.03	SAT TT=3.502	SAT TT=3.503	SAT TT=336.697	? TT=1099.52	SAT TT=0.114	SAT TT=1.144	SAT TT=14.015	? (exit code) TT=285.819	SAT TT=6.132	SAT TT=20.076
csp/os-gp/ normalized-gp10-03-1081.xml	SAT TT=0.71	? (TO) TT=1800.12	? (TO) TT=1800.16	? (TO) TT=1800.08	SAT TT=3.521	SAT TT=5.514	? (TO) TT=1800	? TT=1557.7	SAT TT=0.71	SAT TT=64.538	SAT TT=177.538	? (exit code) TT=318.148	SAT TT=11.276	SAT TT=20.776
csp/os-gp/ normalized-gp10-04-1076.xml	UNSAT TT=0.55	? (TO) TT=1800.16	? (TO) TT=1800.1	? (TO) TT=1800.05	UNSAT TT=5.206	UNSAT TT=5.113	? (TO) TT=1800.02	? TT=1252.08	UNSAT TT=0.55	? (MO) TT=1461.31	? (MO) TT=1437.9	? TT=352.645	UNSAT TT=7.383	UNSAT TT=20.348
csp/os-gp/ normalized-gp10-05-1070.xml	UNSAT TT=10.468	? (TO) TT=1800.09	? (TO) TT=1800.12	? (TO) TT=1800.05	UNSAT TT=23.565	UNSAT TT=23.248	? (TO) TT=1800.03	? TT=1414.03	UNSAT TT=10.468	? (MO) TT=1486.96	? (MO) TT=1562.06	? TT=314.816	UNSAT TT=23.12	UNSAT TT=25.829
csp/os-gp/ normalized-gp10-05-1071.xml	SAT TT=2.754	? (TO) TT=1800.14	? (TO) TT=1800.19	? (TO) TT=1800.04	SAT TT=9.429	SAT TT=7.122	? (TO) TT=1800.09	? TT=1451.07	SAT TT=2.754	? (MO) TT=1558.16	? (MO) TT=1424.05	? (exit code) TT=319.337	SAT TT=12.364	SAT TT=22.228
csp/os-gp/ normalized-gp10-06-1070.xml	UNSAT TT=0.342	? (TO) TT=1800.18	? (TO) TT=1800.07	? (TO) TT=1800.02	UNSAT TT=5.975	UNSAT TT=6.04	? (TO) TT=1800.08	? TT=1228.63	UNSAT TT=0.342	? (MO) TT=1396.79	? (MO) TT=1408.63	? (exit code) TT=319.616	UNSAT TT=7.44	UNSAT TT=20.077
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)	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/os-gp/ normalized-gp10-06-1071.xml	SAT TT=0.172	? (TO) TT=1800.08	? (TO) TT=1800.15	? (TO) TT=1800.03	SAT TT=3.942	SAT TT=4.951	? (TO) TT=1800.01	? TT=1325.43	SAT TT=0.172	SAT TT=122.377	SAT TT=47.903	? (exit code) TT=322.109	SAT TT=7.154	SAT TT=20.119
csp/os-gp/ normalized-gp10-07-1078.xml	UNSAT TT=2.22	? (TO) TT=1800.17	? (TO) TT=1800.15	? (TO) TT=1800.03	UNSAT TT=6.183	UNSAT TT=7.14	? (TO) TT=1800.03	? TT=1230.81	UNSAT TT=2.22	? (MO) TT=1439.62	? (MO) TT=1437.06	? TT=353.589	UNSAT TT=6.68	UNSAT TT=18.961
csp/os-gp/ normalized-gp10-07-1079.xml	SAT TT=0.898	? (TO) TT=1800.11	? (TO) TT=1800.13	? (TO) TT=1800.07	SAT TT=4.326	SAT TT=3.901	? (TO) TT=1800.04	? TT=1275.67	SAT TT=0.898	? (MO) TT=1543.8	? (MO) TT=1423.74	? TT=345.437	SAT TT=6.059	SAT TT=19.93
csp/os-gp/ normalized-gp10-08-1092.xml	UNSAT TT=0.364	? (TO) TT=1800.1	? (TO) TT=1800.11	? (TO) TT=1800.1	UNSAT TT=5.46	UNSAT TT=6.47	? (TO) TT=1800.01	? TT=1329.37	UNSAT TT=0.364	? (MO) TT=1382.12	? (MO) TT=1382.36	? (exit code) TT=331.985	UNSAT TT=7.574	UNSAT TT=19.063
csp/os-gp/ normalized-gp10-08-1093.xml	SAT TT=0.267	SAT TT=302.048	SAT TT=279.875	? (TO) TT=1800.09	SAT TT=3.912	SAT TT=4.475	? (TO) TT=1800.1	? TT=1337.52	SAT TT=0.267	SAT TT=385.242	SAT TT=803.557	? (exit code) TT=347.535	SAT TT=6.708	SAT TT=20.507
csp/os-gp/ normalized-gp10-09-1111.xml	UNSAT TT=0.377	? (TO) TT=1800.07	? (MO) TT=1.045	? (TO) TT=1800.06	UNSAT TT=3.493	UNSAT TT=3.461	? (TO) TT=1800.07	? TT=1504.95	UNSAT TT=0.377	UNSAT TT=54.213	UNSAT TT=251.176	? TT=346.896	UNSAT TT=6.525	UNSAT TT=20.648
csp/os-gp/ normalized-gp10-10-1091.xml	UNSAT TT=0.387	? (TO) TT=1800.1	? (TO) TT=1800.12	? (TO) TT=1800.05	UNSAT TT=4.182	UNSAT TT=4.224	? (TO) TT=1800.05	? TT=1151.79	UNSAT TT=0.387	? (MO) TT=1368.68	? (MO) TT=1399.53	? TT=351.356	UNSAT TT=6.839	UNSAT TT=19.441
csp/os-taillard-10/ normalized-os-taillard-10-100-1.xml	SAT TT=0.772	SAT TT=12.489	SAT TT=13.36	? (TO) TT=1800.09	SAT TT=4.487	SAT TT=4.698	SAT TT=12.443	SAT TT=276.152	SAT TT=0.772	SAT TT=136.881	SAT TT=2.509	? TT=547.085	SAT TT=4.29	SAT TT=12.326
csp/os-taillard-10/ normalized-os-taillard-10-100-5.xml	SAT TT=0.509	SAT TT=5.296	SAT TT=2.177	? (TO) TT=1800.11	SAT TT=5.09	SAT TT=4.369	SAT TT=6.009	SAT TT=264.586	SAT TT=0.509	SAT TT=5.093	SAT TT=0.67	? TT=418.097	SAT TT=4.2	SAT TT=10.938
csp/os-taillard-10/ normalized-os-taillard-10-100-7.xml	SAT TT=4.19	? (TO) TT=1800.15	? (TO) TT=1800.1	? (TO) TT=1800.06	SAT TT=5.394	SAT TT=8.718	SAT TT=517.692	SAT TT=985.517	SAT TT=19.196	? (MO) TT=987.72	SAT TT=4.735	? TT=350.419	SAT TT=4.19	SAT TT=11.834
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)	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/os-taillard-10/ normalized-os-taillard-10-105-0.xml	SAT TT=0.24	SAT TT=6.074	SAT TT=6.09	? (TO) TT=1800.08	SAT TT=4.151	SAT TT=3.368	SAT TT=2.348	SAT TT=352.801	SAT TT=0.24	SAT TT=1.04	SAT TT=1.67	? TT=335.793	SAT TT=4.331	SAT TT=13.353
csp/os-taillard-10/ normalized-os-taillard-10-105-2.xml	SAT TT=0.253	SAT TT=1.789	SAT TT=1.61	SAT TT=0.253	SAT TT=3.89	SAT TT=3.785	SAT TT=2.371	SAT TT=286.144	SAT TT=0.373	SAT TT=0.903	SAT TT=0.735	? TT=402.367	SAT TT=4.321	SAT TT=11.915
csp/os-taillard-10/ normalized-os-taillard-10-105-5.xml	SAT TT=0.309	SAT TT=1.974	SAT TT=2.08	SAT TT=0.309	SAT TT=3.62	SAT TT=4.279	SAT TT=2.227	SAT TT=220.522	SAT TT=0.315	SAT TT=1.02	SAT TT=0.521	? TT=435.351	SAT TT=3.715	SAT TT=10.492
csp/os-taillard-10/ normalized-os-taillard-10-95-0.xml	UNSAT TT=0.242	? (TO) TT=1800.12	? (TO) TT=1800.16	UNSAT TT=0.242	UNSAT TT=1.425	UNSAT TT=1.532	? (TO) TT=1800.08	? (TO) TT=1800.02	UNSAT TT=58.311	? (MO) TT=954.761	? TT=966.966	? TT=402.462	UNSAT TT=24.917	UNSAT TT=47.308
csp/os-taillard-10/ normalized-os-taillard-10-95-1.xml	UNSAT TT=0.24	? (TO) TT=1800.09	? (TO) TT=1800.17	UNSAT TT=0.24	UNSAT TT=1.37	UNSAT TT=1.378	? (TO) TT=1800	? (TO) TT=1800.02	UNSAT TT=64.065	? (MO) TT=833.668	? (MO) TT=835.855	? TT=355.762	UNSAT TT=27.933	UNSAT TT=43.896
csp/os-taillard-10/ normalized-os-taillard-10-95-4.xml	UNSAT TT=0.248	? (TO) TT=1800.13	? (TO) TT=1800.12	UNSAT TT=0.248	UNSAT TT=1.542	UNSAT TT=1.254	? (TO) TT=1800.1	? (TO) TT=1800.06	? (TO) TT=1800.07	? TT=908.361	? (MO) TT=827.553	? TT=359.616	UNSAT TT=274.228	UNSAT TT=551.894
csp/os-taillard-10/ normalized-os-taillard-10-95-7.xml	UNSAT TT=0.24	? (TO) TT=1800.18	? (TO) TT=1800.11	UNSAT TT=0.24	UNSAT TT=1.354	UNSAT TT=1.386	? (TO) TT=1800.01	? (TO) TT=1800.01	UNSAT TT=66.146	? (MO) TT=872.865	? (MO) TT=779.856	? TT=362.758	UNSAT TT=26.316	UNSAT TT=46.189
csp/os-taillard-15/ normalized-os-taillard-15-100-2.xml	SAT TT=0.301	SAT TT=3.906	SAT TT=3.945	SAT TT=4.829	SAT TT=17.273	SAT TT=20.148	SAT TT=5.145	? TT=1344.45	SAT TT=0.301	SAT TT=6.73	SAT TT=11.853	? TT=339.827	SAT TT=17.636	SAT TT=56.782
csp/os-taillard-15/ normalized-os-taillard-15-100-3.xml	SAT TT=3.313	SAT TT=6.699	SAT TT=6.297	? (TO) TT=1800.05	SAT TT=13.49	SAT TT=11.65	SAT TT=4.8	? TT=1004.04	SAT TT=3.313	SAT TT=4.454	SAT TT=8.193	? TT=326.323	SAT TT=17.169	SAT TT=62.496
csp/os-taillard-15/ normalized-os-taillard-15-100-7.xml	SAT TT=1.95	SAT TT=9.479	SAT TT=10.288	? (TO) TT=1800.12	SAT TT=23.116	SAT TT=26.831	SAT TT=4.638	? TT=920.521	SAT TT=5.49	SAT TT=8.16	SAT TT=1.95	? TT=315.929	SAT TT=18.058	SAT TT=58.814
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)	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/os-taillard-15/ normalized-os-taillard-15-105-0.xml	SAT TT=0.298	SAT TT=3.605	SAT TT=3.832	SAT TT=1345.34	SAT TT=14.788	SAT TT=16.893	SAT TT=4.093	? TT=843.532	SAT TT=0.298	SAT TT=1.757	SAT TT=1.74	? TT=331.304	SAT TT=18.843	SAT TT=63.216
csp/os-taillard-15/ normalized-os-taillard-15-105-3.xml	SAT TT=0.887	SAT TT=3.581	SAT TT=3.559	SAT TT=0.914	SAT TT=13.657	SAT TT=14.204	SAT TT=4.062	? TT=835.927	SAT TT=0.887	SAT TT=2.785	SAT TT=1.655	? TT=286.564	SAT TT=17.532	SAT TT=67.282
csp/os-taillard-15/ normalized-os-taillard-15-105-6.xml	SAT TT=0.29	SAT TT=3.441	SAT TT=3.571	SAT TT=0.888	SAT TT=13.101	SAT TT=17.882	SAT TT=4.396	? TT=1045.69	SAT TT=0.29	SAT TT=2.369	SAT TT=3.862	? (exit code) TT=328.102	SAT TT=17.609	SAT TT=66.238
csp/os-taillard-15/ normalized-os-taillard-15-105-8.xml	SAT TT=0.831	SAT TT=3.677	SAT TT=3.31	SAT TT=0.831	SAT TT=13.692	SAT TT=17.721	SAT TT=4.269	? TT=870.168	SAT TT=0.956	SAT TT=2.229	SAT TT=3.355	? TT=308.986	SAT TT=17.811	SAT TT=67.149
csp/os-taillard-15/ normalized-os-taillard-15-105-9.xml	SAT TT=0.378	SAT TT=3.454	SAT TT=3.669	SAT TT=900.124	SAT TT=13.128	SAT TT=16.27	SAT TT=3.994	? TT=1207.81	SAT TT=0.378	SAT TT=6.261	SAT TT=1.892	? TT=308.995	SAT TT=17.607	SAT TT=65.561
csp/os-taillard-15/ normalized-os-taillard-15-95-2.xml	UNSAT TT=0.783	? (TO) TT=1800.15	? (TO) TT=1800.12	UNSAT TT=0.783	UNSAT TT=2.32	UNSAT TT=2.335	? (TO) TT=1800.05	? TT=1045.33	? (TO) TT=1800.1	? (MO) TT=1281.63	? (MO) TT=1614.55	? TT=336.812	? (TO) TT=1800.01	? (TO) TT=1800.07
csp/os-taillard-15/ normalized-os-taillard-15-95-3.xml	UNSAT TT=0.85	? (TO) TT=1800.08	? (TO) TT=1800.14	UNSAT TT=0.85	UNSAT TT=2.297	UNSAT TT=2.199	? (TO) TT=1800.09	? TT=961.468	? (TO) TT=1800.08	? (MO) TT=1357.39	? (MO) TT=1173.99	? (exit code) TT=318.581	? (TO) TT=1800.03	? (TO) TT=1800.03
csp/os-taillard-20/ normalized-os-taillard-20-100-3.xml	SAT TT=7.061	SAT TT=9.02	SAT TT=9.659	SAT TT=7.061	SAT TT=93.788	SAT TT=85.035	SAT TT=33.903	? TT=771.426	SAT TT=8.048	SAT TT=24.113	SAT TT=16.206	? (exit code) TT=302.262	SAT TT=56.434	SAT TT=212.215
csp/os-taillard-20/ normalized-os-taillard-20-100-6.xml	SAT TT=2.167	SAT TT=8.208	SAT TT=8.06	SAT TT=2.167	SAT TT=70.01	SAT TT=72.7	SAT TT=12.014	? TT=866.877	SAT TT=4.6	SAT TT=1723.63	SAT TT=28.204	? TT=305.868	SAT TT=56.888	SAT TT=204.972
csp/os-taillard-20/ normalized-os-taillard-20-100-9.xml	SAT TT=10.852	SAT TT=11.21	SAT TT=10.852	? (TO) TT=1800.08	SAT TT=131.35	SAT TT=78.923	SAT TT=11.344	? TT=804.908	SAT TT=15.477	? (TO) TT=1800.11	SAT TT=22.939	? TT=495.39	SAT TT=60.64	SAT TT=193.86
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)	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/os-taillard-20/ normalized-os-taillard-20-105-0.xml	SAT TT=0.73	SAT TT=7.756	SAT TT=7.218	SAT TT=2.165	SAT TT=54.699	SAT TT=73.32	SAT TT=11.148	? TT=944.416	SAT TT=0.73	SAT TT=11.509	SAT TT=11.143	? (exit code) TT=285.434	SAT TT=50.147	SAT TT=199.858
csp/os-taillard-20/ normalized-os-taillard-20-105-2.xml	SAT TT=2.688	SAT TT=9.597	SAT TT=9.846	SAT TT=895.202	SAT TT=69.565	SAT TT=82.464	SAT TT=11.829	? TT=948.88	SAT TT=2.688	SAT TT=25.83	SAT TT=22.126	? TT=313.808	SAT TT=65.098	SAT TT=218.015
csp/os-taillard-20/ normalized-os-taillard-20-105-3.xml	SAT TT=3.511	SAT TT=10.194	SAT TT=10.043	SAT TT=907.91	SAT TT=59.186	SAT TT=97.607	SAT TT=11.412	? TT=1066.22	SAT TT=3.511	SAT TT=20.211	SAT TT=8.78	? TT=295.612	SAT TT=53.855	SAT TT=222.162
csp/os-taillard-20/ normalized-os-taillard-20-105-8.xml	SAT TT=6.429	SAT TT=8.459	SAT TT=9.368	SAT TT=898.763	SAT TT=68.349	SAT TT=58.665	SAT TT=11.425	? TT=863.097	SAT TT=6.429	SAT TT=10.018	SAT TT=9.86	? (exit code) TT=281.491	SAT TT=56.279	SAT TT=226.646
csp/os-taillard-20/ normalized-os-taillard-20-105-9.xml	SAT TT=1.514	SAT TT=7.831	SAT TT=8.215	SAT TT=2.166	SAT TT=95.309	SAT TT=83.834	SAT TT=10.976	? TT=815.395	SAT TT=1.514	SAT TT=11.426	SAT TT=4.732	? TT=316.285	SAT TT=61.521	SAT TT=218.195
csp/os-taillard-20/ normalized-os-taillard-20-95-2.xml	UNSAT TT=2.208	? (TO) TT=1800.13	? (TO) TT=1800.1	UNSAT TT=2.208	UNSAT TT=3.995	UNSAT TT=3.659	? (TO) TT=1800.07	? TT=863.454	? (TO) TT=1800.04	? (MO) TT=1669.78	? (TO) TT=1800.2	? TT=327.709	? (TO) TT=1800.29	? (TO) TT=1800.03
csp/os-taillard-20/ normalized-os-taillard-20-95-4.xml	UNSAT TT=2.2	? (TO) TT=1800.15	? (TO) TT=1800.16	UNSAT TT=2.2	UNSAT TT=3.922	UNSAT TT=3.58	? (TO) TT=1800.09	? TT=935.184	? (TO) TT=1800.05	? (TO) TT=1800.14	? (TO) TT=1800.21	? TT=301.299	? (TO) TT=1800.22	? (TO) TT=1800.23
csp/os-taillard-4/ normalized-os-taillard-4-100-1.xml	SAT TT=0.01	SAT TT=6.239	SAT TT=1.359	SAT TT=40.353	SAT TT=0.93	SAT TT=0.937	SAT TT=1.171	SAT TT=12.115	SAT TT=0.01	SAT TT=0.074	SAT TT=0.107	SAT TT=18.855	SAT TT=0.701	SAT TT=0.809
csp/os-taillard-4/ normalized-os-taillard-4-100-4.xml	SAT TT=0.014	SAT TT=1.594	SAT TT=1.897	SAT TT=3.107	SAT TT=0.963	SAT TT=0.849	SAT TT=1.472	SAT TT=17.583	SAT TT=0.014	SAT TT=0.086	SAT TT=0.31	SAT TT=11.873	SAT TT=0.779	SAT TT=0.867
csp/os-taillard-4/ normalized-os-taillard-4-100-5.xml	SAT TT=0.009	SAT TT=1.112	SAT TT=1.03	SAT TT=0.037	SAT TT=0.897	SAT TT=0.924	SAT TT=1.174	SAT TT=1.532	SAT TT=0.009	SAT TT=0.024	SAT TT=0.024	SAT TT=5.678	SAT TT=0.697	SAT TT=0.797
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)	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/os-taillard-4/ normalized-os-taillard-4-100-9.xml	SAT TT=0.009	SAT TT=1.382	SAT TT=1.282	SAT TT=0.058	SAT TT=0.906	SAT TT=0.877	SAT TT=1.236	SAT TT=2.653	SAT TT=0.009	SAT TT=0.028	SAT TT=0.073	SAT TT=7.864	SAT TT=0.717	SAT TT=0.796
csp/os-taillard-4/ normalized-os-taillard-4-105-0.xml	SAT TT=0.01	SAT TT=1.1	SAT TT=1.092	SAT TT=0.04	SAT TT=0.934	SAT TT=1	SAT TT=1.158	SAT TT=10.563	SAT TT=0.01	SAT TT=0.023	SAT TT=0.025	SAT TT=6.267	SAT TT=0.704	SAT TT=0.793
csp/os-taillard-4/ normalized-os-taillard-4-105-7.xml	SAT TT=0.01	SAT TT=1.302	SAT TT=1.184	SAT TT=0.035	SAT TT=0.954	SAT TT=1.041	SAT TT=1.168	SAT TT=6.804	SAT TT=0.01	SAT TT=0.028	SAT TT=0.027	SAT TT=7.117	SAT TT=0.704	SAT TT=0.804
csp/os-taillard-4/ normalized-os-taillard-4-105-8.xml	SAT TT=0.008	SAT TT=1.498	SAT TT=1.338	SAT TT=0.037	SAT TT=0.863	SAT TT=0.882	SAT TT=1.175	SAT TT=18.203	SAT TT=0.008	SAT TT=0.031	SAT TT=0.031	SAT TT=19.938	SAT TT=0.714	SAT TT=0.807
csp/os-taillard-4/ normalized-os-taillard-4-95-0.xml	UNSAT TT=0.009	UNSAT TT=1.328	UNSAT TT=1.264	UNSAT TT=0.037	UNSAT TT=0.642	UNSAT TT=0.705	UNSAT TT=1.194	UNSAT TT=1.203	UNSAT TT=0.009	UNSAT TT=0.029	UNSAT TT=0.032	UNSAT TT=5.867	UNSAT TT=0.674	UNSAT TT=0.757
csp/os-taillard-4/ normalized-os-taillard-4-95-4.xml	UNSAT TT=0.01	UNSAT TT=5.408	UNSAT TT=5.583	UNSAT TT=0.036	UNSAT TT=0.632	UNSAT TT=0.662	UNSAT TT=1.885	UNSAT TT=13.521	UNSAT TT=0.01	UNSAT TT=0.03	UNSAT TT=0.038	UNSAT TT=36.576	UNSAT TT=0.657	UNSAT TT=0.822
csp/os-taillard-4/ normalized-os-taillard-4-95-5.xml	UNSAT TT=0.011	UNSAT TT=1.134	UNSAT TT=1.03	UNSAT TT=0.038	UNSAT TT=0.67	UNSAT TT=0.664	UNSAT TT=1.246	UNSAT TT=1.175	UNSAT TT=0.011	UNSAT TT=0.026	UNSAT TT=0.022	UNSAT TT=5.331	UNSAT TT=0.654	UNSAT TT=0.737
csp/os-taillard-5/ normalized-os-taillard-5-100-1.xml	SAT TT=0.024	SAT TT=2.156	SAT TT=2.31	SAT TT=631.779	SAT TT=0.995	SAT TT=1.088	SAT TT=9.248	SAT TT=43.173	SAT TT=0.024	SAT TT=1.966	SAT TT=5.203	SAT TT=391.958	SAT TT=0.78	SAT TT=1.125
csp/os-taillard-5/ normalized-os-taillard-5-100-4.xml	SAT TT=0.45	? (TO) TT=1800.06	? (TO) TT=1800.14	? (TO) TT=1800.09	SAT TT=2.097	SAT TT=2.197	SAT TT=8.033	? (TO) TT=1800.01	SAT TT=0.45	SAT TT=75.315	SAT TT=3.941	SAT TT=582.918	SAT TT=0.857	SAT TT=1.222
csp/os-taillard-5/ normalized-os-taillard-5-100-8.xml	SAT TT=0.035	? (TO) TT=1800.17	? (TO) TT=1800.19	? (TO) TT=1800.1	SAT TT=1.537	SAT TT=1.792	SAT TT=89.578	SAT TT=312.104	SAT TT=0.035	SAT TT=1.109	SAT TT=2.828	? (TO) TT=1800.2	SAT TT=0.981	SAT TT=1.352
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)	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/os-taillard-5/ normalized-os-taillard-5-100-9.xml	SAT TT=0.025	SAT TT=46.26	SAT TT=5.776	? (TO) TT=1800.05	SAT TT=1.231	SAT TT=1.341	SAT TT=6.302	SAT TT=179.443	SAT TT=0.025	SAT TT=0.563	SAT TT=13.333	SAT TT=33.549	SAT TT=0.858	SAT TT=1.175
csp/os-taillard-5/ normalized-os-taillard-5-105-8.xml	SAT TT=0.017	SAT TT=1.305	SAT TT=1.269	? (TO) TT=1800.06	SAT TT=1.048	SAT TT=1.111	SAT TT=1.289	SAT TT=17.571	SAT TT=0.017	SAT TT=0.164	SAT TT=0.079	SAT TT=31.34	SAT TT=0.874	SAT TT=1.246
csp/os-taillard-5/ normalized-os-taillard-5-95-1.xml	UNSAT TT=0.016	UNSAT TT=34.655	UNSAT TT=34.185	UNSAT TT=0.045	UNSAT TT=0.745	UNSAT TT=0.742	UNSAT TT=1.585	UNSAT TT=9.508	UNSAT TT=0.016	UNSAT TT=0.212	UNSAT TT=0.112	UNSAT TT=22.801	UNSAT TT=0.779	UNSAT TT=1.035
csp/os-taillard-5/ normalized-os-taillard-5-95-2.xml	UNSAT TT=0.015	UNSAT TT=315.317	UNSAT TT=316.867	UNSAT TT=0.045	UNSAT TT=0.707	UNSAT TT=0.8	UNSAT TT=13.45	UNSAT TT=39.388	UNSAT TT=0.015	UNSAT TT=0.689	UNSAT TT=0.235	UNSAT TT=32.658	UNSAT TT=0.778	UNSAT TT=1.185
csp/os-taillard-5/ normalized-os-taillard-5-95-3.xml	UNSAT TT=0.014	UNSAT TT=4.497	UNSAT TT=4.593	UNSAT TT=0.05	UNSAT TT=0.749	UNSAT TT=0.724	UNSAT TT=2.06	UNSAT TT=43.72	UNSAT TT=0.014	UNSAT TT=0.077	UNSAT TT=0.036	UNSAT TT=32.38	UNSAT TT=0.75	UNSAT TT=1.143
csp/os-taillard-5/ normalized-os-taillard-5-95-5.xml	UNSAT TT=0.016	UNSAT TT=17.421	UNSAT TT=16.919	UNSAT TT=0.045	UNSAT TT=0.717	UNSAT TT=0.727	UNSAT TT=2.747	UNSAT TT=40.359	UNSAT TT=0.016	UNSAT TT=0.269	UNSAT TT=0.411	UNSAT TT=121.91	UNSAT TT=0.76	UNSAT TT=1.094
csp/os-taillard-5/ normalized-os-taillard-5-95-8.xml	UNSAT TT=0.016	UNSAT TT=11.236	UNSAT TT=11.392	UNSAT TT=0.051	UNSAT TT=0.694	UNSAT TT=0.704	UNSAT TT=4.904	UNSAT TT=118.017	UNSAT TT=0.016	UNSAT TT=0.738	UNSAT TT=0.544	UNSAT TT=65.366	UNSAT TT=0.82	UNSAT TT=1.277
csp/os-taillard-7/ normalized-os-taillard-7-100-7.xml	SAT TT=0.301	SAT TT=1359.28	SAT TT=74.39	? (TO) TT=1800.07	SAT TT=1.917	SAT TT=1.751	SAT TT=2.168	SAT TT=236.525	SAT TT=0.301	SAT TT=21.114	SAT TT=2.637	? (TO) TT=1800.35	SAT TT=1.757	SAT TT=3.577
csp/os-taillard-7/ normalized-os-taillard-7-100-9.xml	SAT TT=0.214	SAT TT=16.273	SAT TT=104.051	? (TO) TT=1800.05	SAT TT=1.812	SAT TT=1.568	SAT TT=12.667	SAT TT=44.094	SAT TT=0.214	SAT TT=146.435	SAT TT=64.483	? (TO) TT=1800.21	SAT TT=1.715	SAT TT=3.232
csp/os-taillard-7/ normalized-os-taillard-7-105-1.xml	SAT TT=0.047	SAT TT=1.197	SAT TT=1.883	SAT TT=0.1	SAT TT=1.643	SAT TT=1.628	SAT TT=2.398	SAT TT=44.682	SAT TT=0.047	SAT TT=0.94	SAT TT=0.731	SAT TT=388.652	SAT TT=1.53	SAT TT=3.455
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)	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/os-taillard-7/ normalized-os-taillard-7-105-2.xml	SAT TT=0.117	SAT TT=1.287	SAT TT=1.986	? (TO) TT=1800.07	SAT TT=1.809	SAT TT=1.569	SAT TT=3.451	SAT TT=52.086	SAT TT=0.117	SAT TT=2.06	SAT TT=0.719	? (TO) TT=1800.21	SAT TT=1.908	SAT TT=3.909
csp/os-taillard-7/ normalized-os-taillard-7-105-4.xml	SAT TT=0.082	SAT TT=1.405	SAT TT=1.591	? (TO) TT=1800.09	SAT TT=1.707	SAT TT=1.628	SAT TT=1.563	SAT TT=40.237	SAT TT=0.082	SAT TT=0.291	SAT TT=0.171	? (TO) TT=1800.17	SAT TT=1.706	SAT TT=3.556
csp/os-taillard-7/ normalized-os-taillard-7-105-7.xml	SAT TT=0.044	SAT TT=1.233	SAT TT=1.537	SAT TT=1345.95	SAT TT=1.585	SAT TT=1.606	SAT TT=2.354	SAT TT=40.887	SAT TT=0.044	SAT TT=0.317	SAT TT=0.394	SAT TT=150.381	SAT TT=1.692	SAT TT=3.501
csp/os-taillard-7/ normalized-os-taillard-7-95-1.xml	UNSAT TT=0.036	? (TO) TT=1800.1	? (TO) TT=1800.11	UNSAT TT=0.089	UNSAT TT=0.949	UNSAT TT=0.936	UNSAT TT=287.643	UNSAT TT=1531.52	UNSAT TT=0.036	UNSAT TT=28.281	UNSAT TT=2.017	? (TO) TT=1800.26	UNSAT TT=1.618	UNSAT TT=2.952
csp/os-taillard-7/ normalized-os-taillard-7-95-2.xml	UNSAT TT=0.073	? (TO) TT=1800.18	? (TO) TT=1800.1	UNSAT TT=0.088	UNSAT TT=0.963	UNSAT TT=0.959	UNSAT TT=1278.58	? (TO) TT=1800.05	UNSAT TT=0.073	UNSAT TT=35.712	UNSAT TT=24.429	? (TO) TT=1800.34	UNSAT TT=1.737	UNSAT TT=3.3
csp/os-taillard-7/ normalized-os-taillard-7-95-6.xml	UNSAT TT=0.076	? (TO) TT=1800.12	? (TO) TT=1800.15	UNSAT TT=0.088	UNSAT TT=0.968	UNSAT TT=1.018	UNSAT TT=1659.23	? (TO) TT=1800.06	UNSAT TT=0.076	UNSAT TT=83.86	UNSAT TT=47.026	? (TO) TT=1800.4	UNSAT TT=1.632	UNSAT TT=3.048
csp/os-taillard-7/ normalized-os-taillard-7-95-8.xml	UNSAT TT=0.071	? (TO) TT=1800.09	? (TO) TT=1800.12	UNSAT TT=0.094	UNSAT TT=0.928	UNSAT TT=0.967	? (TO) TT=1800.07	? (TO) TT=1800.01	UNSAT TT=0.071	UNSAT TT=53.6	UNSAT TT=324.134	? (TO) TT=1800.4	UNSAT TT=1.765	UNSAT TT=3.313
csp/super-jobShop/ super-jobShop-e0ddr1/ normalized-super-jobShop-e0ddr1-10.xml	SAT TT=0.895	SAT TT=22.316	SAT TT=10.578	? (TO) TT=1800.11	SAT TT=18.084	SAT TT=24.246	SAT TT=2.474	SAT TT=1231.57	SAT TT=0.895	SAT TT=23.827	SAT TT=16.853	SAT TT=41.412	SAT TT=1.955	SAT TT=3.367
csp/super-jobShop/ super-jobShop-e0ddr1/ normalized-super-jobShop-e0ddr1-5.xml	SAT TT=0.289	? (TO) TT=1800.13	? (TO) TT=1800.16	SAT TT=0.289	SAT TT=34.725	SAT TT=17.675	? (TO) TT=1800.04	? (TO) TT=1800.08	SAT TT=1.095	SAT TT=112.628	SAT TT=135.162	SAT TT=102.319	SAT TT=2.072	SAT TT=3.16
csp/super-jobShop/ super-jobShop-e0ddr1/ normalized-super-jobShop-e0ddr1-7.xml	SAT TT=0.32	SAT TT=5.446	SAT TT=3.136	SAT TT=1341.54	SAT TT=16.113	SAT TT=25.839	SAT TT=3.089	SAT TT=1209.72	SAT TT=0.469	SAT TT=2.976	SAT TT=0.32	SAT TT=33.081	SAT TT=1.584	SAT TT=3.274
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)	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/super-jobShop/ super-jobShop-e0ddr1/ normalized-super-jobShop-e0ddr1-8.xml	SAT TT=1.918	? (TO) TT=1800.17	? (TO) TT=1800.13	? (TO) TT=1800.02	? (TO) TT=1800.05	? (TO) TT=1800.07	? (TO) TT=1800.08	? (TO) TT=1800.08	SAT TT=1.918	? (TO) TT=1800.17	? (TO) TT=1800.15	? (TO) TT=1800.4	SAT TT=2.893	SAT TT=3.914
csp/super-jobShop/ super-jobShop-e0ddr1/ normalized-super-jobShop-e0ddr1-9.xml	UNSAT TT=449.013	? (TO) TT=1800.1	? (TO) TT=1800.15	? (TO) TT=1800.1	? (TO) TT=1800.06	? (TO) TT=1800.1	? (TO) TT=1800.09	? (TO) TT=1800.02	? (TO) TT=1800.04	? (TO) TT=1800.16	? (TO) TT=1800.18	? (TO) TT=1800.35	UNSAT TT=449.013	UNSAT TT=562.317
csp/super-jobShop/ super-jobShop-e0ddr2/ normalized-super-jobShop-e0ddr2-1.xml	SAT TT=1.516	SAT TT=426.002	? (TO) TT=1800.12	? (TO) TT=1800.01	? (TO) TT=1800.05	SAT TT=1211.55	? (TO) TT=1800.08	? (TO) TT=1800.06	SAT TT=1.516	? (TO) TT=1800.16	? (TO) TT=1800.13	? (TO) TT=1800.35	SAT TT=5.359	SAT TT=3.5
csp/super-jobShop/ super-jobShop-e0ddr2/ normalized-super-jobShop-e0ddr2-2.xml	SAT TT=1.864	SAT TT=2.78	SAT TT=17.777	? (TO) TT=1800.07	SAT TT=29.5	SAT TT=57.02	SAT TT=2.506	SAT TT=1528.4	SAT TT=10.596	SAT TT=3.439	SAT TT=1.879	SAT TT=39.548	SAT TT=1.864	SAT TT=3.115
csp/super-jobShop/ super-jobShop-e0ddr2/ normalized-super-jobShop-e0ddr2-3.xml	SAT TT=75.089	? (TO) TT=1800.07	? (TO) TT=1800.18	? (TO) TT=1800.07	? (TO) TT=1800.16	? (TO) TT=1800.04	? (TO) TT=1800.02	? (TO) TT=1800.01	SAT TT=992.413	? (TO) TT=1800.2	? (TO) TT=1800.14	? (TO) TT=1800.27	SAT TT=125.491	SAT TT=75.089
csp/super-jobShop/ super-jobShop-e0ddr2/ normalized-super-jobShop-e0ddr2-5.xml	SAT TT=2.377	SAT TT=4.392	SAT TT=5.067	? (TO) TT=1800.06	SAT TT=31.646	SAT TT=24.353	SAT TT=2.736	SAT TT=1501.97	SAT TT=2.621	SAT TT=42.457	SAT TT=3.739	SAT TT=38.245	SAT TT=2.377	SAT TT=3.641
csp/super-jobShop/ super-jobShop-e0ddr2/ normalized-super-jobShop-e0ddr2-6.xml	SAT TT=0.402	SAT TT=3.067	SAT TT=3.957	? (TO) TT=1800.02	SAT TT=23.158	SAT TT=19.763	SAT TT=2.563	SAT TT=1528.5	SAT TT=5.306	SAT TT=1.128	SAT TT=0.402	SAT TT=36.189	SAT TT=1.678	SAT TT=3.563
csp/super-jobShop/ super-jobShop-enddr1/ normalized-super-jobShop-enddr1-10.xml	SAT TT=0.27	SAT TT=2.605	SAT TT=3.382	SAT TT=0.27	SAT TT=13.459	SAT TT=21.049	SAT TT=2.403	SAT TT=1451.56	SAT TT=0.308	SAT TT=0.322	SAT TT=0.429	SAT TT=32.543	SAT TT=1.698	SAT TT=3.211
csp/super-jobShop/ super-jobShop-enddr1/ normalized-super-jobShop-enddr1-2.xml	SAT TT=0.271	? (TO) TT=1800.12	? (TO) TT=1800.15	SAT TT=0.271	? (TO) TT=1800.13	SAT TT=23.409	? (TO) TT=1800.06	SAT TT=1198.14	SAT TT=0.993	SAT TT=11.354	SAT TT=57.024	SAT TT=177.773	SAT TT=1.847	SAT TT=3.082
csp/super-jobShop/ super-jobShop-enddr1/ normalized-super-jobShop-enddr1-4.xml	SAT TT=1.959	? (TO) TT=1800.12	? (TO) TT=1800.07	? (TO) TT=1800.03	? (TO) TT=1800.15	SAT TT=102.822	SAT TT=38.231	? (TO) TT=1800.04	SAT TT=4.138	SAT TT=1718.41	? (TO) TT=1800.14	SAT TT=67.071	SAT TT=1.959	SAT TT=3.199
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)	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/super-jobShop/ super-jobShop-enddr1/ normalized-super-jobShop-enddr1-5.xml	SAT TT=0.527	SAT TT=5.662	SAT TT=14.528	? (TO) TT=1800.12	SAT TT=29.3	SAT TT=263.075	? (TO) TT=1800.05	? (TO) TT=1800.02	SAT TT=0.527	SAT TT=222.811	SAT TT=579.168	SAT TT=46.213	SAT TT=2.076	SAT TT=2.932
csp/super-jobShop/ super-jobShop-enddr1/ normalized-super-jobShop-enddr1-7.xml	SAT TT=0.093	SAT TT=2.612	SAT TT=3.89	SAT TT=0.281	SAT TT=15.217	SAT TT=22.309	SAT TT=2.31	SAT TT=1431.68	SAT TT=0.093	SAT TT=0.882	SAT TT=1.051	SAT TT=35.882	SAT TT=1.663	SAT TT=3.289
csp/super-jobShop/ super-jobShop-enddr1/ normalized-super-jobShop-enddr1-8.xml	SAT TT=0.286	SAT TT=8.837	SAT TT=8.333	SAT TT=0.286	SAT TT=757.665	SAT TT=22.563	SAT TT=2.793	SAT TT=1268.25	SAT TT=0.891	SAT TT=0.961	SAT TT=1.24	SAT TT=45.515	SAT TT=2.136	SAT TT=3.06
csp/super-jobShop/ super-jobShop-enddr2/ normalized-super-jobShop-enddr2-3.xml	SAT TT=3.689	? (TO) TT=1800.09	? (TO) TT=1800.18	SAT TT=1340.14	SAT TT=72.516	SAT TT=306.018	SAT TT=459.86	? (TO) TT=1800.07	SAT TT=41.69	SAT TT=12.26	SAT TT=120.977	SAT TT=524.769	SAT TT=5.469	SAT TT=3.689
csp/super-jobShop/ super-jobShop-enddr2/ normalized-super-jobShop-enddr2-5.xml	SAT TT=0.289	SAT TT=3.488	SAT TT=4.272	SAT TT=893.977	SAT TT=29.274	SAT TT=32.508	SAT TT=2.494	SAT TT=1654.3	SAT TT=0.289	SAT TT=0.509	SAT TT=0.393	SAT TT=44.119	SAT TT=1.781	SAT TT=3.422
csp/super-jobShop/ super-jobShop-ewddr2/ normalized-super-jobShop-ewddr2-10.xml	SAT TT=0.343	SAT TT=3.26	SAT TT=5.785	SAT TT=1348.84	SAT TT=17.67	SAT TT=108.909	SAT TT=2.475	SAT TT=1706.43	SAT TT=2.511	SAT TT=0.397	SAT TT=0.343	SAT TT=41.909	SAT TT=2.389	SAT TT=3.703
csp/super-jobShop/ super-jobShop-ewddr2/ normalized-super-jobShop-ewddr2-2.xml	SAT TT=0.268	SAT TT=3.181	SAT TT=4.044	SAT TT=0.268	SAT TT=15.584	SAT TT=24.174	SAT TT=2.435	SAT TT=1759.01	SAT TT=0.781	SAT TT=0.991	SAT TT=0.31	SAT TT=41.491	SAT TT=2.073	SAT TT=3.327
csp/super-jobShop/ super-jobShop-ewddr2/ normalized-super-jobShop-ewddr2-3.xml	SAT TT=1.088	SAT TT=7.428	SAT TT=7.501	SAT TT=898.123	SAT TT=15.703	SAT TT=25.872	SAT TT=2.487	SAT TT=1574.21	SAT TT=1.155	SAT TT=1.088	SAT TT=1.354	SAT TT=60.475	SAT TT=1.738	SAT TT=3.459
csp/super-jobShop/ super-jobShop-ewddr2/ normalized-super-jobShop-ewddr2-5.xml	SAT TT=0.895	SAT TT=3.13	SAT TT=3.551	SAT TT=899.908	SAT TT=17.601	SAT TT=15.741	SAT TT=2.432	SAT TT=1745.29	SAT TT=1.165	SAT TT=0.895	SAT TT=1.264	SAT TT=44.733	SAT TT=1.733	SAT TT=3.614
csp/super-jobShop/ super-jobShop-ewddr2/ normalized-super-jobShop-ewddr2-6.xml	SAT TT=0.294	SAT TT=3.252	SAT TT=3.517	SAT TT=0.294	SAT TT=15.158	SAT TT=17.807	SAT TT=2.263	? (TO) TT=1800.03	SAT TT=1.121	SAT TT=1.031	SAT TT=0.341	SAT TT=41.664	SAT TT=1.776	SAT TT=3.811
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)	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/super-jobShop/ super-jobShop-ewddr2/ normalized-super-jobShop-ewddr2-7.xml	SAT TT=0.228	SAT TT=3.323	SAT TT=4.69	SAT TT=0.26	SAT TT=17.009	SAT TT=25.145	SAT TT=2.528	? (TO) TT=1800.05	SAT TT=0.278	SAT TT=0.228	SAT TT=2.93	SAT TT=42.033	SAT TT=1.868	SAT TT=3.712
csp/super-jobShop/ super-jobShop-ewddr2/ normalized-super-jobShop-ewddr2-8.xml	SAT TT=0.325	SAT TT=3.266	SAT TT=4.461	SAT TT=366.423	SAT TT=18.989	SAT TT=34.022	SAT TT=2.414	? (TO) TT=1800.01	SAT TT=1.616	SAT TT=0.325	SAT TT=7.944	SAT TT=43.984	SAT TT=2.093	SAT TT=3.466
csp/super-js/super-js-taillard-15/ normalized-super-js-taillard-15-11.xml	SAT TT=72.922	? (TO) TT=1800.2	? (TO) TT=1800.09	? (TO) TT=1800.06	? (TO) TT=1800.12	? (TO) TT=1800.14	? (TO) TT=1800.01	? TT=164	? (TO) TT=1800.05	? (TO) TT=1800.09	? (TO) TT=1800.09	? TT=249.66	SAT TT=1264.6	SAT TT=72.922
csp/super-js/super-js-taillard-15/ normalized-super-js-taillard-15-14.xml	SAT TT=107.736	? (TO) TT=1800.18	? (TO) TT=1800.08	? (TO) TT=1800.08	? (TO) TT=1800.1	? (TO) TT=1800.14	? (TO) TT=1800.03	? TT=249.504	? (TO) TT=1800.08	? (TO) TT=1800.05	? (TO) TT=1800.14	? TT=236.393	SAT TT=990.062	SAT TT=107.736
csp/super-js/super-js-taillard-15/ normalized-super-js-taillard-15-17.xml	SAT TT=103.62	? (TO) TT=1800.06	? (TO) TT=1800.14	? (TO) TT=1800.1	? (TO) TT=1800.15	? (TO) TT=1800.13	? (TO) TT=1800.09	? TT=197.568	? (TO) TT=1800.1	? (TO) TT=1800.06	? (TO) TT=1800.15	? TT=234.261	SAT TT=762.645	SAT TT=103.62
csp/super-js/super-js-taillard-15/ normalized-super-js-taillard-15-21.xml	UNSAT TT=2.019	? (TO) TT=1800.19	? (TO) TT=1800.15	UNSAT TT=2.019	UNSAT TT=18.234	UNSAT TT=22.033	? (TO) TT=1800.02	? TT=198.216	? (TO) TT=1800.1	? (TO) TT=1800.11	? (TO) TT=1800.06	? TT=269.78	UNSAT TT=21.253	UNSAT TT=40.08
csp/super-js/super-js-taillard-15/ normalized-super-js-taillard-15-24.xml	UNSAT TT=17.028	? (TO) TT=1800.12	? (TO) TT=1800.17	? (TO) TT=1800.05	? (TO) TT=1800.15	? (TO) TT=1800.15	? (TO) TT=1800	? TT=154.113	? (TO) TT=1800.09	? (TO) TT=1800.05	? (TO) TT=1800.06	? TT=268.065	UNSAT TT=17.028	UNSAT TT=29.079
csp/super-js/super-js-taillard-15/ normalized-super-js-taillard-15-27.xml	UNSAT TT=46.154	? (TO) TT=1800.11	? (TO) TT=1800.16	? (TO) TT=1800.09	? (TO) TT=1800.11	? (TO) TT=1800.12	? (TO) TT=1800.08	? TT=316.217	? (TO) TT=1800.04	? (TO) TT=1800.06	? (TO) TT=1800.06	? TT=238.606	UNSAT TT=46.154	UNSAT TT=69.546
csp/super-js/super-js-taillard-20-15/ normalized-super-js-taillard-20-15-10.xml		? (TO) TT=1800.18	? (TO) TT=1800.11	? (TO) TT=1800.06	? (TO) TT=1800.1	? (TO) TT=1800.17	? (TO) TT=1800.07	? TT=159.357	? (TO) TT=1800.09	? (TO) TT=1800.15	? (TO) TT=1800.06	? TT=258.422	? (TO) TT=1800.12	? (TO) TT=1800.06
csp/super-js/super-js-taillard-20-15/ normalized-super-js-taillard-20-15-14.xml	SAT TT=806.525	? (TO) TT=1800.2	? (TO) TT=1800.07	? (TO) TT=1800.03	? (TO) TT=1800.18	? (TO) TT=1800.09	? (TO) TT=1800.01	? TT=185.268	? (TO) TT=1800.1	? (TO) TT=1800.13	? (TO) TT=1800.12	? (exit code) TT=230.656	? (TO) TT=1800.09	SAT TT=806.525
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)	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/super-js/super-js-taillard-20-15/ normalized-super-js-taillard-20-15-17.xml		? (TO) TT=1800.16	? (TO) TT=1800.19	? (TO) TT=1800.11	? (TO) TT=1800.15	? (TO) TT=1800.06	? (TO) TT=1800.06	? TT=221.949	? (TO) TT=1800.07	? (TO) TT=1800.04	? (TO) TT=1800.11	? TT=246.12	? (TO) TT=1800.15	? (TO) TT=1800.08
csp/super-js/super-js-taillard-20-15/ normalized-super-js-taillard-20-15-1.xml		? (TO) TT=1800.18	? (TO) TT=1800.15	? (TO) TT=1800.02	? (TO) TT=1800.09	? (TO) TT=1800.16	? (TO) TT=1800	? TT=170.854	? (TO) TT=1800.06	? (TO) TT=1800.07	? (TO) TT=1800.11	? TT=247.287	? (TO) TT=1800.09	? (TO) TT=1800.03
csp/super-js/super-js-taillard-20-15/ normalized-super-js-taillard-20-15-21.xml		? (TO) TT=1800.12	? (TO) TT=1800.2	? (TO) TT=1800.05	? (TO) TT=1800.2	? (TO) TT=1800.17	? (TO) TT=1800.03	? TT=270.91	? (TO) TT=1800.03	? (TO) TT=1800.06	? (TO) TT=1800.05	? TT=242.111	? (TO) TT=1800.06	? (TO) TT=1800.02
csp/super-js/super-js-taillard-20-15/ normalized-super-js-taillard-20-15-24.xml	UNSAT TT=3.954	? (TO) TT=1800.11	? (TO) TT=1800.17	UNSAT TT=3.954	UNSAT TT=64.67	UNSAT TT=70.189	? (TO) TT=1800.05	? TT=218.584	? (TO) TT=1800.04	? (TO) TT=1800.09	? (TO) TT=1800.11	? TT=250.032	? (TO) TT=1800.12	? (TO) TT=1800.03
csp/super-js/super-js-taillard-20-15/ normalized-super-js-taillard-20-15-28.xml	UNSAT TT=4.49	? (TO) TT=1800.25	? (TO) TT=1800.08	UNSAT TT=4.49	UNSAT TT=101.197	UNSAT TT=174.871	? (TO) TT=1800.07	? TT=161.699	? (TO) TT=1800.1	? (TO) TT=1800.07	? (TO) TT=1800.09	? (exit code) TT=223.152	? (TO) TT=1800.13	? (TO) TT=1800.07
csp/super-js/super-js-taillard-20-15/ normalized-super-js-taillard-20-15-2.xml		? (TO) TT=1800.16	? (TO) TT=1800.14	? (TO) TT=1800.05	? (TO) TT=1800.15	? (TO) TT=1800.09	? (TO) TT=1800.1	? TT=154.684	? (TO) TT=1800.04	? (TO) TT=1800.06	? (TO) TT=1800.09	? TT=248.96	? (TO) TT=1800.03	? (TO) TT=1800.07
csp/super-js/super-js-taillard-20-15/ normalized-super-js-taillard-20-15-7.xml		? (TO) TT=1800.16	? (TO) TT=1800.11	? (TO) TT=1800.1	? (TO) TT=1800.17	? (TO) TT=1800.16	? (TO) TT=1800	? TT=190.758	? (TO) TT=1800.1	? (TO) TT=1800.08	? (TO) TT=1800.06	? TT=233.308	? (TO) TT=1800.08	? (TO) TT=1800.09
csp/super-js/super-js-taillard-20/ normalized-super-js-taillard-20-10.xml		? (TO) TT=1800.19	? (TO) TT=1800.16	? (TO) TT=1800.1	? (TO) TT=1800.18	? (TO) TT=1800.18	? (TO) TT=1800.02	? TT=246.097	? (TO) TT=1800.03	? (TO) TT=1800.11	? (TO) TT=1800.13	? (exit code) TT=213.14	? (TO) TT=1800.13	? (TO) TT=1800.02
csp/super-js/super-js-taillard-20/ normalized-super-js-taillard-20-12.xml		? (TO) TT=1800.15	? (TO) TT=1800.16	? (TO) TT=1800.07	? (TO) TT=1800.18	? (TO) TT=1800.15	? (TO) TT=1800.06	? TT=94.744	? (TO) TT=1800.1	? (TO) TT=1800.06	? (TO) TT=1800.15	? (exit code) TT=244.257	? (TO) TT=1800.2	? (TO) TT=1800.03
csp/super-js/super-js-taillard-20/ normalized-super-js-taillard-20-1.xml		? (TO) TT=1800.17	? (TO) TT=1800.11	? (TO) TT=1800.07	? (TO) TT=1800.16	? (TO) TT=1800.14	? (TO) TT=1800.09	? TT=138.433	? (TO) TT=1800.04	? (TO) TT=1800.14	? (TO) TT=1800.09	? TT=230.799	? (TO) TT=1800.13	? (TO) TT=1800.04
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)	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/super-js/super-js-taillard-20/ normalized-super-js-taillard-20-20.xml		? (TO) TT=1800.13	? (TO) TT=1800.17	? (TO) TT=1800.03	? (TO) TT=1800.17	? (TO) TT=1800.15	? (TO) TT=1800.03	? TT=96.934	? (TO) TT=1800.11	? (TO) TT=1800.07	? (TO) TT=1800.14	? (exit code) TT=209.263	? (TO) TT=1800.13	? (TO) TT=1800.05
csp/super-js/super-js-taillard-20/ normalized-super-js-taillard-20-21.xml	UNSAT TT=773.232	? (TO) TT=1800.16	? (TO) TT=1800.17	? (TO) TT=1800.12	? (TO) TT=1800.21	? (TO) TT=1800.11	? (TO) TT=1800.01	? TT=377.166	? (TO) TT=1800.1	? (TO) TT=1800.15	? (TO) TT=1800.07	? TT=253.285	UNSAT TT=773.232	UNSAT TT=945.333
csp/super-js/super-js-taillard-20/ normalized-super-js-taillard-20-22.xml		? (TO) TT=1800.09	? (TO) TT=1800.21	? (TO) TT=1800.03	? (TO) TT=1800.2	? (TO) TT=1800.08	? (TO) TT=1800.02	? TT=251.417	? (TO) TT=1800.08	? (TO) TT=1800.07	? (TO) TT=1800.11	? (exit code) TT=267.766	? (TO) TT=1800.12	? (TO) TT=1800.01
csp/super-js/super-js-taillard-20/ normalized-super-js-taillard-20-25.xml	UNSAT TT=1033.95	? (TO) TT=1800.13	? (TO) TT=1800.08	? (TO) TT=1800.11	? (TO) TT=1800.13	? (TO) TT=1800.09	? (TO) TT=1800.1	? TT=199.21	? (TO) TT=1800.1	? (TO) TT=1800.07	? (TO) TT=1800.05	? TT=222.479	UNSAT TT=1033.95	UNSAT TT=1481.2
csp/super-js/super-js-taillard-20/ normalized-super-js-taillard-20-28.xml	UNSAT TT=20.837	? (TO) TT=1800.2	? (TO) TT=1800.07	UNSAT TT=20.837	UNSAT TT=212.605	UNSAT TT=231.1	? (TO) TT=1800.09	? TT=409.747	? (TO) TT=1800.08	? (TO) TT=1800.11	? (TO) TT=1800.15	? TT=228.086	UNSAT TT=579.202	UNSAT TT=1393.67
csp/super-js/super-js-taillard-20/ normalized-super-js-taillard-20-29.xml		? (TO) TT=1800.1	? (TO) TT=1800.1	? (TO) TT=1800.08	? (TO) TT=1800.41	? (TO) TT=1800.13	? (TO) TT=1800.07	? TT=355.195	? (TO) TT=1800.1	? (TO) TT=1800.14	? (TO) TT=1800.08	? TT=238.37	? (TO) TT=1800.09	? (TO) TT=1800.09
csp/super-js/super-js-taillard-20/ normalized-super-js-taillard-20-5.xml		? (TO) TT=1800.18	? (TO) TT=1800.12	? (TO) TT=1800.08	? (TO) TT=1800.16	? (TO) TT=1800.09	? (TO) TT=1800.01	? (TO) TT=1800.02	? (TO) TT=1800.09	? (TO) TT=1800.06	? (TO) TT=1800.14	? (exit code) TT=251.766	? (TO) TT=1800.11	? (TO) TT=1800.05
csp/super-os/super-os-taillard-10/ normalized-super-os-taillard-10-8.xml	UNSAT TT=800.17	? (TO) TT=1800.08	? (TO) TT=1800.07	? (TO) TT=1800.07	? (TO) TT=1800.13	? (TO) TT=1800.08	? (TO) TT=1800.08	? (TO) TT=1800.04	? (TO) TT=1800.04	? (TO) TT=1800.23	? (TO) TT=1800.23	? TT=270.616	UNSAT TT=800.17	? (TO) TT=1800.03
csp/super-os/super-os-taillard-15/ normalized-super-os-taillard-15-18.xml	SAT TT=87.022	? (TO) TT=1800.18	? (TO) TT=1800.08	? (TO) TT=1800.07	? (TO) TT=1800.11	? (TO) TT=1800.1	? (TO) TT=1800.07	? TT=845.55	? (TO) TT=1800.11	? (TO) TT=1800.15	? (TO) TT=1800.14	? TT=245.268	SAT TT=87.022	SAT TT=183.059
csp/super-os/super-os-taillard-15/ normalized-super-os-taillard-15-19.xml	SAT TT=91.322	? (TO) TT=1800.08	? (TO) TT=1800.11	? (TO) TT=1800.03	? (TO) TT=1800.17	? (TO) TT=1800.17	? (TO) TT=1800	? TT=932.39	? (TO) TT=1800.04	? (TO) TT=1800.16	? (TO) TT=1800.14	? TT=237.361	SAT TT=91.322	SAT TT=200.978
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)	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/super-os/super-os-taillard-15/ normalized-super-os-taillard-15-22.xml	UNSAT TT=5.915	? (TO) TT=1800.13	? (TO) TT=1800.11	UNSAT TT=5.915	UNSAT TT=9.108	UNSAT TT=9.75	? (TO) TT=1800.07	? TT=888.666	? (TO) TT=1800.07	? (TO) TT=1800.09	? (TO) TT=1800.12	? TT=246.45	? (TO) TT=1800.17	? (TO) TT=1800.2
csp/super-os/super-os-taillard-15/ normalized-super-os-taillard-15-8.xml	SAT TT=254.689	? (TO) TT=1800.12	? (TO) TT=1800.19	? (TO) TT=1800.03	? (TO) TT=1800.17	? (TO) TT=1800.15	? (TO) TT=1800.09	? TT=988.163	? (TO) TT=1800.04	? (TO) TT=1800.11	? (TO) TT=1800.14	? TT=253.341	SAT TT=266.602	SAT TT=254.689
csp/super-os/super-os-taillard-20/ normalized-super-os-taillard-20-15.xml	SAT TT=92.195	SAT TT=98.044	SAT TT=92.195	? (TO) TT=1800.1	? (TO) TT=1800.14	? (TO) TT=1800.17	? (TO) TT=1800.07	? TT=1223.75	? (TO) TT=1800.09	? (TO) TT=1800.1	? (TO) TT=1800.15	? TT=241.007	? (MO) TT=122.172	? (MO) TT=302.295
csp/super-os/super-os-taillard-20/ normalized-super-os-taillard-20-9.xml		? (TO) TT=1800.15	? (TO) TT=1800.2	? (TO) TT=1800.11	? (TO) TT=1800.24	? (TO) TT=1800.14	? (TO) TT=1800.06	? TT=945.976	? (TO) TT=1800.07	? (TO) TT=1800.11	? (TO) TT=1800.14	? TT=234.844	? (MO) TT=128.681	? (MO) TT=323.51
csp/super-os/super-os-taillard-4/ normalized-super-os-taillard-4-13.xml	SAT TT=0.02	SAT TT=1.765	SAT TT=1.906	SAT TT=0.072	SAT TT=1.422	SAT TT=1.466	SAT TT=1.564	SAT TT=67.246	SAT TT=0.02	SAT TT=0.049	SAT TT=0.051	SAT TT=23.989	SAT TT=0.915	SAT TT=1.453
csp/super-os/super-os-taillard-4/ normalized-super-os-taillard-4-29.xml	UNSAT TT=0.016	UNSAT TT=1.679	UNSAT TT=1.644	UNSAT TT=0.064	UNSAT TT=0.8	UNSAT TT=0.854	UNSAT TT=1.61	UNSAT TT=3.151	UNSAT TT=0.016	UNSAT TT=0.139	UNSAT TT=0.051	UNSAT TT=17.567	UNSAT TT=0.861	UNSAT TT=1.308
csp/super-os/super-os-taillard-4/ normalized-super-os-taillard-4-3.xml	UNSAT TT=0.036	UNSAT TT=132.223	UNSAT TT=130.205	? (TO) TT=1800.04	UNSAT TT=4.224	UNSAT TT=7.29	UNSAT TT=33.338	UNSAT TT=172.575	UNSAT TT=0.036	UNSAT TT=13.142	UNSAT TT=11.885	UNSAT TT=531.227	UNSAT TT=0.944	UNSAT TT=1.367
csp/super-os/super-os-taillard-4/ normalized-super-os-taillard-4-4.xml	UNSAT TT=0.043	UNSAT TT=7.604	UNSAT TT=7.476	? (TO) TT=1800.12	UNSAT TT=8.745	UNSAT TT=7.981	UNSAT TT=5.7	UNSAT TT=114.812	UNSAT TT=0.043	UNSAT TT=4.3	UNSAT TT=3.139	UNSAT TT=141.028	UNSAT TT=0.98	UNSAT TT=1.573
csp/super-os/super-os-taillard-4/ normalized-super-os-taillard-4-6.xml	UNSAT TT=0.017	UNSAT TT=1.331	UNSAT TT=1.27	UNSAT TT=0.075	UNSAT TT=1.781	UNSAT TT=2.021	UNSAT TT=1.627	UNSAT TT=1.607	UNSAT TT=0.017	UNSAT TT=0.172	UNSAT TT=0.05	UNSAT TT=11.842	UNSAT TT=0.883	UNSAT TT=1.467
csp/super-os/super-os-taillard-4/ normalized-super-os-taillard-4-7.xml	UNSAT TT=0.025	UNSAT TT=8.106	UNSAT TT=6.155	UNSAT TT=74.557	UNSAT TT=2.932	UNSAT TT=3.223	UNSAT TT=3.463	UNSAT TT=6.54	UNSAT TT=0.025	UNSAT TT=2.318	UNSAT TT=2.105	UNSAT TT=21.116	UNSAT TT=1.206	UNSAT TT=1.274
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)	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/super-os/super-os-taillard-5/ normalized-super-os-taillard-5-13.xml	SAT TT=0.078	SAT TT=199.279	SAT TT=46.666	? (TO) TT=1800.09	SAT TT=2.884	SAT TT=15.211	SAT TT=60.308	SAT TT=102.274	SAT TT=0.078	SAT TT=0.179	SAT TT=47.426	SAT TT=274.682	SAT TT=1.433	SAT TT=2.862
csp/super-os/super-os-taillard-5/ normalized-super-os-taillard-5-16.xml	SAT TT=0.052	SAT TT=2.893	SAT TT=2.912	SAT TT=3.924	SAT TT=3.301	SAT TT=13.113	SAT TT=2.027	SAT TT=121.874	SAT TT=0.052	SAT TT=5.344	SAT TT=1.004	SAT TT=94.813	SAT TT=1.368	SAT TT=2.713
csp/super-os/super-os-taillard-5/ normalized-super-os-taillard-5-19.xml	SAT TT=0.049	SAT TT=2.379	SAT TT=1.88	SAT TT=1794.18	SAT TT=2.882	SAT TT=9.056	SAT TT=4.526	SAT TT=102.642	SAT TT=0.049	SAT TT=0.36	SAT TT=0.276	SAT TT=73.47	SAT TT=1.41	SAT TT=2.948
csp/super-os/super-os-taillard-5/ normalized-super-os-taillard-5-23.xml	UNSAT TT=0.038	UNSAT TT=648.164	UNSAT TT=536.297	UNSAT TT=0.104	UNSAT TT=1.016	UNSAT TT=0.991	UNSAT TT=5.432	UNSAT TT=215.521	UNSAT TT=0.038	UNSAT TT=4.136	UNSAT TT=1.953	UNSAT TT=67.656	UNSAT TT=1.236	UNSAT TT=2.336
csp/super-os/super-os-taillard-5/ normalized-super-os-taillard-5-28.xml	UNSAT TT=0.039	UNSAT TT=1298.88	UNSAT TT=1278.48	UNSAT TT=0.104	UNSAT TT=1.062	UNSAT TT=1.027	UNSAT TT=50.94	UNSAT TT=177.684	UNSAT TT=0.039	UNSAT TT=1.334	UNSAT TT=1.61	UNSAT TT=72.992	UNSAT TT=1.347	UNSAT TT=2.194
csp/super-os/super-os-taillard-5/ normalized-super-os-taillard-5-3.xml	UNSAT TT=0.378	? (TO) TT=1800.12	? (TO) TT=1800.13	? (TO) TT=1800.09	UNSAT TT=62.781	? (TO) TT=1800.12	UNSAT TT=102.771	UNSAT TT=793.005	UNSAT TT=0.378	UNSAT TT=18.397	UNSAT TT=19.269	? (TO) TT=1800.31	UNSAT TT=2.759	UNSAT TT=3.69
csp/super-os/super-os-taillard-7/ normalized-super-os-taillard-7-1.xml	UNSAT TT=6.611	? (TO) TT=1800.11	? (TO) TT=1800.13	? (TO) TT=1800.08	UNSAT TT=795.871	? (TO) TT=1800.12	? (TO) TT=1800.07	? (TO) TT=1800.03	UNSAT TT=10.481	? (MO) TT=1312.93	? (MO) TT=1317.25	? TT=259.699	UNSAT TT=6.611	UNSAT TT=11.55
csp/super-os/super-os-taillard-7/ normalized-super-os-taillard-7-20.xml	SAT TT=0.566	SAT TT=67.57	SAT TT=51.939	? (TO) TT=1800.07	SAT TT=19.329	SAT TT=1311.14	SAT TT=6.651	SAT TT=407.41	SAT TT=0.566	SAT TT=1.677	SAT TT=1.495	? TT=278.753	SAT TT=3.204	SAT TT=8.182
csp/super-os/super-os-taillard-7/ normalized-super-os-taillard-7-4.xml	UNSAT TT=5.615	? (TO) TT=1800.16	? (TO) TT=1800.14	? (TO) TT=1800.11	UNSAT TT=283.767	UNSAT TT=1254.9	? (TO) TT=1800.07	? (TO) TT=1800.09	UNSAT TT=11.001	? (MO) TT=1197.1	? (MO) TT=1185.99	? TT=267.978	UNSAT TT=5.615	UNSAT TT=11.409
csp/super-os/super-os-taillard-7/ normalized-super-os-taillard-7-6.xml	UNSAT TT=5.291	? (TO) TT=1800.18	? (TO) TT=1800.08	? (TO) TT=1800.05	UNSAT TT=251.915	UNSAT TT=66.16	? (TO) TT=1800.09	? (TO) TT=1800.03	UNSAT TT=45.876	? (MO) TT=1359.86	? (MO) TT=1392.48	? TT=274.002	UNSAT TT=5.291	UNSAT TT=11.276
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)	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/super-os/super-os-taillard-7/ normalized-super-os-taillard-7-7.xml	UNSAT TT=4.899	? (TO) TT=1800.1	? (TO) TT=1800.06	? (TO) TT=1800.12	UNSAT TT=319.8	? (TO) TT=1800.34	? (TO) TT=1800.06	? (TO) TT=1800.06	UNSAT TT=17.738	? (MO) TT=1234.73	? (MO) TT=1232.33	? TT=289.389	UNSAT TT=4.899	UNSAT TT=10.943
csp/super-os/super-os-taillard-7/ normalized-super-os-taillard-7-8.xml	UNSAT TT=5.113	? (TO) TT=1800.19	? (TO) TT=1800.17	? (TO) TT=1800.1	UNSAT TT=71.195	UNSAT TT=353.961	? (TO) TT=1800.05	? (TO) TT=1800.01	UNSAT TT=8.623	? (MO) TT=1339.07	? (MO) TT=1343.89	? TT=281.395	UNSAT TT=5.113	UNSAT TT=10.24
csp/super-queens/ normalized-super-queens-11.xml	UNSAT TT=0.009	UNSAT TT=0.67	UNSAT TT=0.678	UNSAT TT=0.029	UNSAT TT=0.526	UNSAT TT=0.533	UNSAT TT=1.13	UNSAT TT=1.101	UNSAT TT=0.009	UNSAT TT=0.019	UNSAT TT=0.018	UNSAT TT=0.791	UNSAT TT=0.586	UNSAT TT=0.57
csp/super-queens/ normalized-super-queens-12.xml	UNSAT TT=0.278	UNSAT TT=1.845	UNSAT TT=1.887	UNSAT TT=2.465	UNSAT TT=6.982	UNSAT TT=6.941	? (TO) TT=1800.05	? (TO) TT=1800	UNSAT TT=0.278	UNSAT TT=0.338	UNSAT TT=0.341	? (TO) TT=1800.34	? (TO) TT=1800.09	? (TO) TT=1800.08
csp/super-queens/ normalized-super-queens-13.xml	UNSAT TT=0.011	UNSAT TT=0.816	UNSAT TT=0.891	UNSAT TT=0.045	UNSAT TT=0.646	UNSAT TT=0.669	UNSAT TT=1.293	UNSAT TT=1.311	UNSAT TT=0.011	UNSAT TT=0.025	UNSAT TT=0.026	UNSAT TT=1.947	UNSAT TT=0.86	UNSAT TT=0.847
csp/super-queens/ normalized-super-queens-14.xml	UNSAT TT=0.688	UNSAT TT=3.467	UNSAT TT=3.581	UNSAT TT=16.451	UNSAT TT=32.781	UNSAT TT=32.61	? (TO) TT=1800.03	? (TO) TT=1800.06	UNSAT TT=0.688	UNSAT TT=0.902	UNSAT TT=0.907	? TT=261.909	? (TO) TT=1800.02	? (TO) TT=1800.04
csp/super-queens/ normalized-super-queens-1.xml	UNSAT TT=0.013	UNSAT TT=0.79	UNSAT TT=0.865	UNSAT TT=0.056	UNSAT TT=0.756	UNSAT TT=0.8	UNSAT TT=1.682	UNSAT TT=1.765	UNSAT TT=0.013	UNSAT TT=0.028	UNSAT TT=0.028	UNSAT TT=3.074	UNSAT TT=1.762	UNSAT TT=1.838
csp/super-queens/ normalized-super-queens-3.xml	UNSAT TT=0.03	UNSAT TT=0.892	UNSAT TT=0.942	UNSAT TT=0.065	UNSAT TT=0.975	UNSAT TT=0.897	UNSAT TT=5.783	UNSAT TT=5.906	UNSAT TT=0.03	UNSAT TT=0.031	UNSAT TT=0.033	UNSAT TT=83.074	UNSAT TT=19.717	UNSAT TT=32.417
csp/super-queens/ normalized-super-queens-4.xml	UNSAT TT=1.67	UNSAT TT=6.577	UNSAT TT=6.667	UNSAT TT=111.353	? (TO) TT=1800.09	? (TO) TT=1800.12	? (TO) TT=1800.04	? (TO) TT=1800.04	UNSAT TT=1.67	UNSAT TT=2.063	UNSAT TT=2.219	? TT=1107.15	? (TO) TT=1800.14	? (TO) TT=1800.01
csp/super-queens/ normalized-super-queens-7.xml	UNSAT TT=2.524	UNSAT TT=14.303	UNSAT TT=14.393	UNSAT TT=928.333	? (TO) TT=1800.17	? (TO) TT=1800.12	? (TO) TT=1800.05	? (TO) TT=1800.06	UNSAT TT=2.524	UNSAT TT=5.683	UNSAT TT=5.02	? TT=594.836	? (MO) TT=102.077	? (MO) TT=313.688
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)	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/super-queens/ normalized-super-queens-8.xml	UNSAT TT=0.039	UNSAT TT=1.072	UNSAT TT=1.037	UNSAT TT=0.181	UNSAT TT=1.456	UNSAT TT=1.28	? (TO) TT=1800.07	? (TO) TT=1800.04	UNSAT TT=0.039	UNSAT TT=0.066	UNSAT TT=0.064	? (TO) TT=1800.27	? (TO) TT=1800.08	? (TO) TT=1800.09
csp/super-queens/ normalized-super-queens-9.xml	UNSAT TT=2.892	UNSAT TT=18.063	UNSAT TT=18.01	UNSAT TT=1798.9	? (TO) TT=1800.13	? (TO) TT=1800.22	? (TO) TT=1800.08	? (TO) TT=1800.03	UNSAT TT=2.892	UNSAT TT=6.96	UNSAT TT=6.853	? TT=204.671	? (MO) TT=137.792	? (MO) TT=335.912

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)	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		254	257	241	310	310	205	180	295	268	269	180	295	292
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	2	28	4	5	0	0	185	40	41	0	30	17