CSP 2009 Competition: results by benchmark

Results by benchmark for category n-ary constraints in extension (N-ARY-EXT), subcategory real world problems

This page displays the results of the different solvers for each benchmark for category n-ary constraints in extension (N-ARY-EXT), subcategory real world problems

REMINDER

Keep in mind that the 'Best result' columns only provide the best result given by one of the solvers. This 'Best result' may be wrong in case of an UNSATISFIABLE or OPTIMUM FOUND answer (because there's no efficient way to check these answers).

Description of a cell contents:

Cell example	Meaning
Answer	Solver result
TT=...	Total Time (TT): this is the CPU time (in seconds) used by the solver until termination. This time is only meaningful for complete solvers because incomplete solvers will always run until they time out

Remember that CPU time and wall clock time are two very different notions. The CPU time represents the time during which the instructions of the solver were executed by the processor. The wall clock time represents how much time ellapsed on the clock. For a same event, the CPU time may be either smaller or greater than the wall clock time depending on the number of threads of execution and the number of processors.

Meaning of some abbreviations:

Abbreviation	Meaning
TO	Time Out
MO	Mem. Out (out of memory)

Meaning of the different colors:

Color	Meaning
text	the solver cannot handle this instance
text	the solver gave no answer
text	the solver gave a definitive answer (SAT or UNSAT)
text	the solver performed better than the other ones on that instance
text	the solver was ended by a signal
text	the solver gave an incomplete answer
text	the solver was disqualified in the category
text	the solver gave a wrong answer

For better readability, you may choose to hide some solvers:
Abscon 112v4 AC (complete)
Abscon 112v4 ESAC (complete)
bpsolver 09 (complete)
Choco2.1.1 2009-06-10 (complete)
Choco2.1.1b 2009-07-16 (complete)
Concrete 2009-07-14 (complete)
Concrete DC 2009-07-14 (complete)
Conquer 2009-07-10 (complete)
Mistral 1.545 (complete)
pcs 0.3.2 (complete)
pcs-restart 0.3.2 (complete)
SAT4J CSP 2.1.1 (complete)
Sugar v1.14.6+minisat (complete)
Sugar v1.14.6+picosat (complete)

Bench name	Best results on this instance	Abscon 112v4 AC (complete)	Abscon 112v4 ESAC (complete)	bpsolver 09 (complete)	Choco2.1.1 2009-06-10 (complete)	Choco2.1.1b 2009-07-16 (complete)	Concrete 2009-07-14 (complete)	Concrete DC 2009-07-14 (complete)	Conquer 2009-07-10 (complete)	Mistral 1.545 (complete)	pcs 0.3.2 (complete)	pcs-restart 0.3.2 (complete)	SAT4J CSP 2.1.1 (complete)	Sugar v1.14.6+minisat (complete)	Sugar v1.14.6+picosat (complete)
csp/lexVg/ normalized-crossword-m1c-lex-vg10-10_ext.xml	UNSAT TT=2.995	UNSAT TT=2.995	UNSAT TT=3.463	UNSAT TT=53.89	UNSAT TT=18.425	UNSAT TT=14.286	UNSAT TT=10.956	UNSAT TT=185.416	UNSAT TT=3.539	UNSAT TT=3.094	UNSAT TT=28.673	UNSAT TT=27.552	? TT=29.231	UNSAT TT=514.822	? (TO) TT=1800.03
csp/lexVg/ normalized-crossword-m1c-lex-vg10-11_ext.xml	UNSAT TT=1.126	UNSAT TT=1.579	UNSAT TT=3.421	UNSAT TT=18.572	UNSAT TT=12.812	UNSAT TT=11.367	UNSAT TT=4.816	UNSAT TT=45.37	UNSAT TT=1.711	UNSAT TT=1.126	UNSAT TT=7.481	UNSAT TT=7.431	? TT=34.266	UNSAT TT=167.899	? (TO) TT=1800.1
csp/lexVg/ normalized-crossword-m1c-lex-vg10-12_ext.xml	UNSAT TT=0.803	UNSAT TT=1.034	UNSAT TT=1.957	UNSAT TT=4.223	UNSAT TT=2.778	UNSAT TT=2.95	UNSAT TT=1.866	UNSAT TT=4.87	UNSAT TT=0.904	UNSAT TT=0.803	UNSAT TT=1.315	UNSAT TT=1.719	? TT=34.186	UNSAT TT=93.938	UNSAT TT=143.038
csp/lexVg/ normalized-crossword-m1c-lex-vg10-13_ext.xml	UNSAT TT=0.14	UNSAT TT=0.907	UNSAT TT=0.901	UNSAT TT=1.088	UNSAT TT=0.904	UNSAT TT=0.828	UNSAT TT=1.209	UNSAT TT=1.461	UNSAT TT=0.768	UNSAT TT=0.14	UNSAT TT=0.319	UNSAT TT=0.33	? TT=33.771	UNSAT TT=105.146	UNSAT TT=595.548
csp/lexVg/ normalized-crossword-m1c-lex-vg10-14_ext.xml	UNSAT TT=0.056	UNSAT TT=0.947	UNSAT TT=0.857	UNSAT TT=0.706	UNSAT TT=0.64	UNSAT TT=0.643	UNSAT TT=1.154	UNSAT TT=1.154	UNSAT TT=0.696	UNSAT TT=0.06	UNSAT TT=0.056	UNSAT TT=0.071	? TT=30.646	UNSAT TT=60.49	UNSAT TT=84.714
csp/lexVg/ normalized-crossword-m1c-lex-vg11-13_ext.xml	UNSAT TT=0.085	UNSAT TT=0.817	UNSAT TT=0.852	UNSAT TT=0.552	UNSAT TT=0.728	UNSAT TT=0.713	UNSAT TT=1.082	UNSAT TT=1.23	UNSAT TT=0.713	UNSAT TT=0.085	UNSAT TT=0.159	UNSAT TT=0.158	? TT=34.343	UNSAT TT=35.06	UNSAT TT=572.089
csp/lexVg/ normalized-crossword-m1c-lex-vg11-15_ext.xml	UNSAT TT=0.029	UNSAT TT=0.782	UNSAT TT=0.777	UNSAT TT=0.342	UNSAT TT=0.602	UNSAT TT=0.542	UNSAT TT=1.025	UNSAT TT=1.024	UNSAT TT=0.629	UNSAT TT=0.033	UNSAT TT=0.03	UNSAT TT=0.029	? TT=32.698	UNSAT TT=42.159	UNSAT TT=51.014
csp/lexVg/ normalized-crossword-m1c-lex-vg12-14_ext.xml	UNSAT TT=0.028	UNSAT TT=0.763	UNSAT TT=0.905	UNSAT TT=0.257	UNSAT TT=0.537	UNSAT TT=0.582	UNSAT TT=1.032	UNSAT TT=0.944	UNSAT TT=0.581	UNSAT TT=0.032	UNSAT TT=0.029	UNSAT TT=0.028	? TT=56.856	UNSAT TT=16.681	UNSAT TT=38.6
csp/lexVg/ normalized-crossword-m1c-lex-vg12-15_ext.xml	UNSAT TT=0.024	UNSAT TT=0.779	UNSAT TT=0.764	UNSAT TT=0.223	UNSAT TT=0.589	UNSAT TT=0.578	UNSAT TT=0.997	UNSAT TT=0.995	UNSAT TT=0.623	UNSAT TT=0.028	UNSAT TT=0.024	UNSAT TT=0.025	? TT=70.473	UNSAT TT=16.343	UNSAT TT=23.613
csp/lexVg/ normalized-crossword-m1c-lex-vg12-16_ext.xml	UNSAT TT=0.022	UNSAT TT=0.805	UNSAT TT=0.813	UNSAT TT=0.191	UNSAT TT=0.539	UNSAT TT=0.578	UNSAT TT=1.638	UNSAT TT=1.041	UNSAT TT=0.621	UNSAT TT=0.03	UNSAT TT=0.022	UNSAT TT=0.023	? TT=73.036	UNSAT TT=15.868	UNSAT TT=25.5
Bench name	Best results	Abscon 112v4 AC (complete)	Abscon 112v4 ESAC (complete)	bpsolver 09 (complete)	Choco2.1.1 2009-06-10 (complete)	Choco2.1.1b 2009-07-16 (complete)	Concrete 2009-07-14 (complete)	Concrete DC 2009-07-14 (complete)	Conquer 2009-07-10 (complete)	Mistral 1.545 (complete)	pcs 0.3.2 (complete)	pcs-restart 0.3.2 (complete)	SAT4J CSP 2.1.1 (complete)	Sugar v1.14.6+minisat (complete)	Sugar v1.14.6+picosat (complete)
csp/lexVg/ normalized-crossword-m1c-lex-vg13-14_ext.xml	UNSAT TT=0.023	UNSAT TT=0.866	UNSAT TT=0.791	UNSAT TT=0.176	UNSAT TT=0.674	UNSAT TT=0.576	UNSAT TT=0.926	UNSAT TT=1.009	UNSAT TT=0.614	UNSAT TT=0.025	UNSAT TT=0.025	UNSAT TT=0.023	? TT=51.188	UNSAT TT=9.354	UNSAT TT=18.316
csp/lexVg/ normalized-crossword-m1c-lex-vg13-15_ext.xml	UNSAT TT=0.023	UNSAT TT=0.781	UNSAT TT=0.801	UNSAT TT=0.148	UNSAT TT=0.653	UNSAT TT=0.568	UNSAT TT=1.011	UNSAT TT=0.93	UNSAT TT=0.606	UNSAT TT=0.027	UNSAT TT=0.023	UNSAT TT=0.024	? TT=52.184	UNSAT TT=8.555	UNSAT TT=13.236
csp/lexVg/ normalized-crossword-m1c-lex-vg13-16_ext.xml	UNSAT TT=0.021	UNSAT TT=0.779	UNSAT TT=0.751	UNSAT TT=0.137	UNSAT TT=0.586	UNSAT TT=0.571	UNSAT TT=0.933	UNSAT TT=0.923	UNSAT TT=0.579	UNSAT TT=0.028	UNSAT TT=0.022	UNSAT TT=0.021	? TT=54.014	UNSAT TT=9.115	UNSAT TT=12.993
csp/lexVg/ normalized-crossword-m1c-lex-vg14-14_ext.xml	UNSAT TT=0.021	UNSAT TT=0.777	UNSAT TT=0.806	UNSAT TT=0.105	UNSAT TT=0.595	UNSAT TT=0.541	UNSAT TT=0.901	UNSAT TT=0.915	UNSAT TT=0.569	UNSAT TT=0.03	UNSAT TT=0.021	UNSAT TT=0.022	? TT=79.254	UNSAT TT=8.58	UNSAT TT=10.582
csp/lexVg/ normalized-crossword-m1c-lex-vg14-17_ext.xml	UNSAT TT=0.02	UNSAT TT=0.788	UNSAT TT=0.791	UNSAT TT=0.098	UNSAT TT=0.569	UNSAT TT=0.617	UNSAT TT=1.007	UNSAT TT=0.932	UNSAT TT=0.569	UNSAT TT=0.024	UNSAT TT=0.02	UNSAT TT=0.02	? TT=79.807	UNSAT TT=3.907	UNSAT TT=6.277
csp/lexVg/ normalized-crossword-m1c-lex-vg15-15_ext.xml	UNSAT TT=0.021	UNSAT TT=0.773	UNSAT TT=0.778	UNSAT TT=0.067	UNSAT TT=0.568	UNSAT TT=0.548	UNSAT TT=0.943	UNSAT TT=0.966	UNSAT TT=0.606	UNSAT TT=0.025	UNSAT TT=0.021	UNSAT TT=0.022	? TT=86.906	UNSAT TT=2.786	UNSAT TT=4.812
csp/lexVg/ normalized-crossword-m1c-lex-vg15-16_ext.xml	UNSAT TT=0.018	UNSAT TT=0.774	UNSAT TT=0.806	UNSAT TT=0.071	UNSAT TT=0.537	UNSAT TT=0.554	UNSAT TT=0.961	UNSAT TT=0.948	UNSAT TT=0.612	UNSAT TT=0.024	UNSAT TT=0.02	UNSAT TT=0.018	? TT=101.564	UNSAT TT=2.144	UNSAT TT=3.704
csp/lexVg/ normalized-crossword-m1c-lex-vg15-17_ext.xml	UNSAT TT=0.019	UNSAT TT=0.796	UNSAT TT=0.759	UNSAT TT=0.075	UNSAT TT=0.541	UNSAT TT=0.617	UNSAT TT=0.951	UNSAT TT=0.954	UNSAT TT=0.569	UNSAT TT=0.022	UNSAT TT=0.019	UNSAT TT=0.02	? (exit code) TT=80.002	UNSAT TT=1.92	UNSAT TT=3.235
csp/lexVg/ normalized-crossword-m1c-lex-vg15-18_ext.xml	UNSAT TT=0.02	UNSAT TT=0.769	UNSAT TT=0.882	UNSAT TT=0.08	UNSAT TT=0.55	UNSAT TT=0.538	UNSAT TT=0.901	UNSAT TT=0.894	UNSAT TT=0.62	UNSAT TT=0.023	UNSAT TT=0.022	UNSAT TT=0.02	? TT=81.764	UNSAT TT=1.947	UNSAT TT=3.389
csp/lexVg/ normalized-crossword-m1c-lex-vg16-18_ext.xml	UNSAT TT=0.022	UNSAT TT=0.79	UNSAT TT=0.785	UNSAT TT=0.066	UNSAT TT=0.537	UNSAT TT=0.559	UNSAT TT=0.982	UNSAT TT=0.993	UNSAT TT=0.623	UNSAT TT=0.026	UNSAT TT=0.022	UNSAT TT=0.023	? TT=92.377	UNSAT TT=1.351	UNSAT TT=2.186
Bench name	Best results	Abscon 112v4 AC (complete)	Abscon 112v4 ESAC (complete)	bpsolver 09 (complete)	Choco2.1.1 2009-06-10 (complete)	Choco2.1.1b 2009-07-16 (complete)	Concrete 2009-07-14 (complete)	Concrete DC 2009-07-14 (complete)	Conquer 2009-07-10 (complete)	Mistral 1.545 (complete)	pcs 0.3.2 (complete)	pcs-restart 0.3.2 (complete)	SAT4J CSP 2.1.1 (complete)	Sugar v1.14.6+minisat (complete)	Sugar v1.14.6+picosat (complete)
csp/lexVg/ normalized-crossword-m1c-lex-vg16-20_ext.xml	UNSAT TT=0.021	UNSAT TT=0.783	UNSAT TT=0.845	UNSAT TT=0.068	UNSAT TT=0.566	UNSAT TT=0.566	UNSAT TT=0.881	UNSAT TT=0.947	UNSAT TT=0.585	UNSAT TT=0.028	UNSAT TT=0.021	UNSAT TT=0.022	? (exit code) TT=82.021	UNSAT TT=1.413	UNSAT TT=1.87
csp/lexVg/ normalized-crossword-m1c-lex-vg4-4_ext.xml	SAT TT=0.013	SAT TT=0.703	SAT TT=0.707	SAT TT=0.156	SAT TT=0.659	SAT TT=0.654	SAT TT=1.042	SAT TT=3.138	SAT TT=0.636	SAT TT=0.013	SAT TT=0.024	SAT TT=0.024	SAT TT=52.428	SAT TT=1.551	SAT TT=2.193
csp/lexVg/ normalized-crossword-m1c-lex-vg4-5_ext.xml	SAT TT=0.021	SAT TT=0.774	SAT TT=0.774	SAT TT=0.36	SAT TT=0.847	SAT TT=0.889	SAT TT=1.052	SAT TT=4.819	SAT TT=0.691	SAT TT=0.021	SAT TT=0.038	SAT TT=0.038	? TT=99.186	SAT TT=4.193	SAT TT=5.252
csp/lexVg/ normalized-crossword-m1c-lex-vg4-7_ext.xml	SAT TT=0.187	SAT TT=0.989	SAT TT=1.493	SAT TT=6.91	SAT TT=4.392	SAT TT=2.039	SAT TT=1.769	SAT TT=9.704	SAT TT=1.143	SAT TT=0.187	SAT TT=53.228	SAT TT=53.906	? TT=89.846	SAT TT=22.303	SAT TT=214.485
csp/lexVg/ normalized-crossword-m1c-lex-vg4-8_ext.xml	SAT TT=2.719	SAT TT=7.516	SAT TT=8.6	SAT TT=72.302	SAT TT=56.187	SAT TT=89.253	SAT TT=2.719	SAT TT=37.514	SAT TT=20.921	SAT TT=15.281	SAT TT=695.599	SAT TT=983.372	? TT=79.169	? (TO) TT=1800.09	? (TO) TT=1800.14
csp/lexVg/ normalized-crossword-m1c-lex-vg5-6_ext.xml	SAT TT=4.53	SAT TT=15.416	SAT TT=8.317	SAT TT=103.212	SAT TT=16.66	SAT TT=29.36	SAT TT=4.951	SAT TT=19.346	SAT TT=4.53	SAT TT=17.773	SAT TT=301.583	SAT TT=976.256	? TT=82.391	SAT TT=439.504	SAT TT=114.971
csp/lexVg/ normalized-crossword-m1c-lex-vg5-7_ext.xml	UNSAT TT=89.996	UNSAT TT=110.949	UNSAT TT=112.497	? (TO) TT=1800.1	UNSAT TT=681.268	UNSAT TT=659.917	UNSAT TT=346.733	UNSAT TT=552.347	UNSAT TT=89.996	UNSAT TT=196.475	? (TO) TT=1800.08	? (TO) TT=1800.12	? TT=93.966	? (TO) TT=1800.02	? (TO) TT=1800.13
csp/lexVg/ normalized-crossword-m1c-lex-vg5-8_ext.xml	UNSAT TT=59.464	UNSAT TT=59.464	UNSAT TT=72.366	? (TO) TT=1800.06	UNSAT TT=275.535	UNSAT TT=279.244	UNSAT TT=178.955	UNSAT TT=360.491	UNSAT TT=80.893	UNSAT TT=76.161	? (TO) TT=1800.05	? (TO) TT=1800.11	? TT=97.565	? (TO) TT=1800.02	? (TO) TT=1800.08
csp/lexVg/ normalized-crossword-m1c-lex-vg5-9_ext.xml	UNSAT TT=25.127	UNSAT TT=26.294	UNSAT TT=25.127	UNSAT TT=527.739	UNSAT TT=80.134	UNSAT TT=87.402	UNSAT TT=116.23	UNSAT TT=163.299	UNSAT TT=31.093	UNSAT TT=27.642	UNSAT TT=1165.57	UNSAT TT=957.729	? TT=98.693	? (TO) TT=1800	? (TO) TT=1800.05
csp/lexVg/ normalized-crossword-m1c-lex-vg6-6_ext.xml	SAT TT=0.153	SAT TT=1.706	SAT TT=2.192	SAT TT=9.895	SAT TT=1.979	SAT TT=1.906	SAT TT=4.034	SAT TT=26.268	SAT TT=0.78	SAT TT=0.153	SAT TT=10.952	SAT TT=13.903	? (exit code) TT=86.383	SAT TT=169.016	SAT TT=253.914
Bench name	Best results	Abscon 112v4 AC (complete)	Abscon 112v4 ESAC (complete)	bpsolver 09 (complete)	Choco2.1.1 2009-06-10 (complete)	Choco2.1.1b 2009-07-16 (complete)	Concrete 2009-07-14 (complete)	Concrete DC 2009-07-14 (complete)	Conquer 2009-07-10 (complete)	Mistral 1.545 (complete)	pcs 0.3.2 (complete)	pcs-restart 0.3.2 (complete)	SAT4J CSP 2.1.1 (complete)	Sugar v1.14.6+minisat (complete)	Sugar v1.14.6+picosat (complete)
csp/lexVg/ normalized-crossword-m1c-lex-vg6-9_ext.xml	UNSAT TT=29.169	UNSAT TT=37.304	UNSAT TT=29.169	UNSAT TT=883.569	UNSAT TT=114.49	UNSAT TT=106.701	UNSAT TT=214.454	UNSAT TT=349.074	UNSAT TT=56.9	UNSAT TT=40.41	UNSAT TT=1306.89	UNSAT TT=1334.58	? TT=86.19	? (TO) TT=1800.04	? (TO) TT=1800.03
csp/lexVg/ normalized-crossword-m1c-lex-vg7-10_ext.xml	UNSAT TT=8.095	UNSAT TT=9.996	UNSAT TT=10.051	UNSAT TT=343.293	UNSAT TT=26.34	UNSAT TT=29.954	UNSAT TT=34.301	UNSAT TT=116.973	UNSAT TT=8.095	UNSAT TT=10.735	UNSAT TT=316.928	UNSAT TT=327.691	? TT=79.443	? (TO) TT=1800.05	? (TO) TT=1800.1
csp/lexVg/ normalized-crossword-m1c-lex-vg7-11_ext.xml	UNSAT TT=3.308	UNSAT TT=3.658	UNSAT TT=3.916	UNSAT TT=105.894	UNSAT TT=14.931	UNSAT TT=12.954	UNSAT TT=11.769	UNSAT TT=118.37	UNSAT TT=3.308	UNSAT TT=4.15	UNSAT TT=53.741	UNSAT TT=80.387	? TT=78.252	UNSAT TT=661.045	? (TO) TT=1800.08
csp/lexVg/ normalized-crossword-m1c-lex-vg7-7_ext.xml	UNSAT TT=116.633	UNSAT TT=116.633	UNSAT TT=144.211	? (TO) TT=1800.03	UNSAT TT=699.476	UNSAT TT=505.343	UNSAT TT=601.884	UNSAT TT=1061.68	UNSAT TT=167.826	UNSAT TT=147.558	? (TO) TT=1800.1	? (TO) TT=1800.06	? TT=95.74	? (TO) TT=1800.03	? (TO) TT=1800.04
csp/lexVg/ normalized-crossword-m1c-lex-vg7-8_ext.xml	UNSAT TT=81.712	UNSAT TT=88.708	UNSAT TT=81.712	? (TO) TT=1800.06	UNSAT TT=445.058	UNSAT TT=463.621	UNSAT TT=490.525	UNSAT TT=838.286	UNSAT TT=103.967	UNSAT TT=129.921	? (TO) TT=1800.11	? (TO) TT=1800.03	? TT=92.462	? (TO) TT=1800.03	? (TO) TT=1800.03
csp/lexVg/ normalized-crossword-m1c-lex-vg7-9_ext.xml	UNSAT TT=32.88	UNSAT TT=32.88	UNSAT TT=37.081	? (TO) TT=1800.08	UNSAT TT=118.932	UNSAT TT=130.57	UNSAT TT=132.992	UNSAT TT=373.118	UNSAT TT=59.469	UNSAT TT=37.253	UNSAT TT=956.511	UNSAT TT=1165.91	? TT=79.538	? (TO) TT=1800.04	? (TO) TT=1800.04
csp/lexVg/ normalized-crossword-m1c-lex-vg8-10_ext.xml	UNSAT TT=7.318	UNSAT TT=7.318	UNSAT TT=7.909	UNSAT TT=199.399	UNSAT TT=29.709	UNSAT TT=26.976	UNSAT TT=44.504	UNSAT TT=143.988	UNSAT TT=7.899	UNSAT TT=8.347	UNSAT TT=181.778	UNSAT TT=169.248	? TT=29.147	UNSAT TT=1725.8	? (TO) TT=1800
csp/lexVg/ normalized-crossword-m1c-lex-vg8-11_ext.xml	UNSAT TT=3.048	UNSAT TT=3.144	UNSAT TT=3.473	UNSAT TT=71.171	UNSAT TT=18.156	UNSAT TT=16.142	UNSAT TT=15.599	UNSAT TT=150.957	UNSAT TT=3.048	UNSAT TT=3.431	UNSAT TT=46.905	UNSAT TT=38.906	? TT=28.649	UNSAT TT=389.845	? (TO) TT=1800.05
csp/lexVg/ normalized-crossword-m1c-lex-vg9-10_ext.xml	UNSAT TT=5.384	UNSAT TT=5.384	UNSAT TT=5.462	UNSAT TT=329.07	UNSAT TT=21.258	UNSAT TT=20.691	UNSAT TT=33.073	UNSAT TT=180.997	UNSAT TT=7.344	UNSAT TT=6.132	UNSAT TT=69.353	UNSAT TT=66.662	? TT=29.592	UNSAT TT=1399.52	? (TO) TT=1800.04
csp/lexVg/ normalized-crossword-m1c-lex-vg9-12_ext.xml	UNSAT TT=0.618	UNSAT TT=1.214	UNSAT TT=3.678	UNSAT TT=9.725	UNSAT TT=10.266	UNSAT TT=10.044	UNSAT TT=2.63	UNSAT TT=35.777	UNSAT TT=1.226	UNSAT TT=0.618	UNSAT TT=4.206	UNSAT TT=3.707	? TT=29.664	UNSAT TT=147.326	? (TO) TT=1800
Bench name	Best results	Abscon 112v4 AC (complete)	Abscon 112v4 ESAC (complete)	bpsolver 09 (complete)	Choco2.1.1 2009-06-10 (complete)	Choco2.1.1b 2009-07-16 (complete)	Concrete 2009-07-14 (complete)	Concrete DC 2009-07-14 (complete)	Conquer 2009-07-10 (complete)	Mistral 1.545 (complete)	pcs 0.3.2 (complete)	pcs-restart 0.3.2 (complete)	SAT4J CSP 2.1.1 (complete)	Sugar v1.14.6+minisat (complete)	Sugar v1.14.6+picosat (complete)
csp/modifiedRenault/ normalized-renault-mod-0_ext.xml	SAT TT=0.385	SAT TT=1.986	SAT TT=1.882	SAT TT=915.686	SAT TT=12.98	SAT TT=13.085	SAT TT=3.627	SAT TT=63.699	SAT TT=4.753	SAT TT=0.385	SAT TT=1.288	SAT TT=1.251	? TT=102.006	SAT TT=7.528	SAT TT=7.861
csp/modifiedRenault/ normalized-renault-mod-10_ext.xml	UNSAT TT=0.518	UNSAT TT=1.953	UNSAT TT=2.216	? (TO) TT=1800.13	UNSAT TT=11.891	UNSAT TT=13.557	UNSAT TT=5.009	UNSAT TT=72.816	UNSAT TT=5.925	UNSAT TT=0.518	UNSAT TT=1.539	UNSAT TT=1.431	? TT=87.54	UNSAT TT=7.929	UNSAT TT=8.007
csp/modifiedRenault/ normalized-renault-mod-11_ext.xml	SAT TT=0.425	SAT TT=1.809	SAT TT=1.71	SAT TT=913.42	SAT TT=11.784	SAT TT=12.491	SAT TT=3.445	SAT TT=94.095	SAT TT=4.692	SAT TT=0.425	SAT TT=1.278	SAT TT=1.326	? TT=51.776	SAT TT=7.793	SAT TT=8.014
csp/modifiedRenault/ normalized-renault-mod-13_ext.xml	SAT TT=0.411	SAT TT=1.746	SAT TT=1.703	SAT TT=16.424	SAT TT=11.606	SAT TT=12.411	SAT TT=4.035	SAT TT=81.433	SAT TT=4.522	SAT TT=0.411	SAT TT=1.732	SAT TT=1.769	? TT=57.935	SAT TT=8.169	SAT TT=8.004
csp/modifiedRenault/ normalized-renault-mod-14_ext.xml	UNSAT TT=0.461	UNSAT TT=2.03	UNSAT TT=2.565	? (TO) TT=1800.09	UNSAT TT=13.612	UNSAT TT=14.47	UNSAT TT=4.667	UNSAT TT=45.842	UNSAT TT=5.397	UNSAT TT=0.461	UNSAT TT=1.347	UNSAT TT=1.356	? TT=62.358	UNSAT TT=7.59	UNSAT TT=7.686
csp/modifiedRenault/ normalized-renault-mod-16_ext.xml	UNSAT TT=0.533	UNSAT TT=2.239	UNSAT TT=2.26	? (TO) TT=1800.09	UNSAT TT=12.632	UNSAT TT=11.97	UNSAT TT=4.909	UNSAT TT=83.863	UNSAT TT=6.04	UNSAT TT=0.533	UNSAT TT=1.851	UNSAT TT=1.673	? TT=53.256	UNSAT TT=7.689	UNSAT TT=8.159
csp/modifiedRenault/ normalized-renault-mod-17_ext.xml	UNSAT TT=0.437	UNSAT TT=2.18	UNSAT TT=1.689	? (TO) TT=1800.11	UNSAT TT=9.654	UNSAT TT=10.176	UNSAT TT=5.235	UNSAT TT=26.181	UNSAT TT=4.936	UNSAT TT=0.437	UNSAT TT=1.291	UNSAT TT=1.292	? TT=51.249	UNSAT TT=7.392	UNSAT TT=7.836
csp/modifiedRenault/ normalized-renault-mod-18_ext.xml	UNSAT TT=0.436	UNSAT TT=2.118	UNSAT TT=2.079	? (TO) TT=1800.08	UNSAT TT=13.086	UNSAT TT=13.573	UNSAT TT=4.953	UNSAT TT=92.956	UNSAT TT=5.154	UNSAT TT=0.436	UNSAT TT=1.357	UNSAT TT=1.224	? TT=51.589	UNSAT TT=7.665	UNSAT TT=8.126
csp/modifiedRenault/ normalized-renault-mod-19_ext.xml	UNSAT TT=0.453	UNSAT TT=1.861	UNSAT TT=2.351	? (TO) TT=1800.09	UNSAT TT=9.394	UNSAT TT=9.891	UNSAT TT=4.603	UNSAT TT=33.733	UNSAT TT=5.185	UNSAT TT=0.453	UNSAT TT=1.28	UNSAT TT=1.377	? TT=61.796	UNSAT TT=7.72	UNSAT TT=7.957
csp/modifiedRenault/ normalized-renault-mod-1_ext.xml	UNSAT TT=0.434	UNSAT TT=1.796	UNSAT TT=1.651	? (TO) TT=1800.05	UNSAT TT=6.15	UNSAT TT=5.744	UNSAT TT=4.964	UNSAT TT=21.723	UNSAT TT=4.86	UNSAT TT=0.434	UNSAT TT=1.266	UNSAT TT=1.383	? TT=51.845	UNSAT TT=7.627	UNSAT TT=7.966
Bench name	Best results	Abscon 112v4 AC (complete)	Abscon 112v4 ESAC (complete)	bpsolver 09 (complete)	Choco2.1.1 2009-06-10 (complete)	Choco2.1.1b 2009-07-16 (complete)	Concrete 2009-07-14 (complete)	Concrete DC 2009-07-14 (complete)	Conquer 2009-07-10 (complete)	Mistral 1.545 (complete)	pcs 0.3.2 (complete)	pcs-restart 0.3.2 (complete)	SAT4J CSP 2.1.1 (complete)	Sugar v1.14.6+minisat (complete)	Sugar v1.14.6+picosat (complete)
csp/modifiedRenault/ normalized-renault-mod-20_ext.xml	UNSAT TT=0.51	UNSAT TT=2.439	UNSAT TT=2.562	? (TO) TT=1800.12	UNSAT TT=7.931	UNSAT TT=7.113	UNSAT TT=5.701	UNSAT TT=18.891	UNSAT TT=5.07	UNSAT TT=0.51	UNSAT TT=1.309	UNSAT TT=1.476	? TT=135.371	UNSAT TT=8.117	UNSAT TT=7.837
csp/modifiedRenault/ normalized-renault-mod-21_ext.xml	UNSAT TT=0.463	UNSAT TT=1.938	UNSAT TT=2.209	? (TO) TT=1800.14	UNSAT TT=13.996	UNSAT TT=13.022	UNSAT TT=5.112	UNSAT TT=67.621	UNSAT TT=6.033	UNSAT TT=0.463	UNSAT TT=1.401	UNSAT TT=1.401	? TT=92.233	UNSAT TT=7.947	UNSAT TT=8.626
csp/modifiedRenault/ normalized-renault-mod-22_ext.xml	UNSAT TT=0.487	UNSAT TT=2.05	UNSAT TT=2.245	? (TO) TT=1800.1	UNSAT TT=14.96	UNSAT TT=13.081	UNSAT TT=5.353	UNSAT TT=47.248	UNSAT TT=5.236	UNSAT TT=0.487	UNSAT TT=1.473	UNSAT TT=1.538	? TT=63.708	UNSAT TT=7.764	UNSAT TT=8.866
csp/modifiedRenault/ normalized-renault-mod-23_ext.xml	UNSAT TT=0.472	UNSAT TT=2.201	UNSAT TT=2.394	? (TO) TT=1800.12	UNSAT TT=6.461	UNSAT TT=6.535	UNSAT TT=5.053	UNSAT TT=20.162	UNSAT TT=5.142	UNSAT TT=0.472	UNSAT TT=1.407	UNSAT TT=1.614	? TT=93.383	UNSAT TT=7.901	UNSAT TT=8.882
csp/modifiedRenault/ normalized-renault-mod-24_ext.xml	UNSAT TT=0.51	UNSAT TT=2.128	UNSAT TT=1.862	? (TO) TT=1800.08	UNSAT TT=9.1	UNSAT TT=8.553	UNSAT TT=5.246	UNSAT TT=31.14	UNSAT TT=5.407	UNSAT TT=0.51	UNSAT TT=1.365	UNSAT TT=1.368	? TT=93.336	UNSAT TT=7.858	UNSAT TT=8.284
csp/modifiedRenault/ normalized-renault-mod-26_ext.xml	UNSAT TT=0.469	UNSAT TT=2.383	UNSAT TT=2.507	? (TO) TT=1800.07	UNSAT TT=9.075	UNSAT TT=9.232	UNSAT TT=4.914	UNSAT TT=47.029	UNSAT TT=5.399	UNSAT TT=0.469	UNSAT TT=1.534	UNSAT TT=1.579	? TT=93.874	UNSAT TT=8.597	UNSAT TT=8.585
csp/modifiedRenault/ normalized-renault-mod-27_ext.xml	UNSAT TT=0.461	UNSAT TT=1.829	UNSAT TT=1.806	? (TO) TT=1800.03	UNSAT TT=13.075	UNSAT TT=12.733	UNSAT TT=4.925	UNSAT TT=40.807	UNSAT TT=5.203	UNSAT TT=0.461	UNSAT TT=1.191	UNSAT TT=1.182	? TT=93.078	UNSAT TT=7.746	UNSAT TT=8.411
csp/modifiedRenault/ normalized-renault-mod-29_ext.xml	UNSAT TT=0.515	UNSAT TT=1.702	UNSAT TT=2.131	? (TO) TT=1800.12	UNSAT TT=5.274	UNSAT TT=5.169	UNSAT TT=6.079	UNSAT TT=12.88	UNSAT TT=4.728	UNSAT TT=0.515	UNSAT TT=1.311	UNSAT TT=1.335	? (exit code) TT=184.741	UNSAT TT=7.969	UNSAT TT=8.402
csp/modifiedRenault/ normalized-renault-mod-2_ext.xml	SAT TT=0.422	SAT TT=1.585	SAT TT=1.771	SAT TT=16.358	SAT TT=9.094	SAT TT=9.7	SAT TT=3.219	SAT TT=46.122	SAT TT=4.674	SAT TT=0.422	SAT TT=1.155	SAT TT=1.176	? TT=69.24	SAT TT=7.973	SAT TT=8.185
csp/modifiedRenault/ normalized-renault-mod-30_ext.xml	UNSAT TT=0.574	UNSAT TT=2.908	UNSAT TT=3.389	? (TO) TT=1800.04	UNSAT TT=7.362	UNSAT TT=7.322	UNSAT TT=12.51	UNSAT TT=107.551	UNSAT TT=5.714	UNSAT TT=0.574	UNSAT TT=1.889	UNSAT TT=1.936	? TT=64.001	UNSAT TT=7.8	UNSAT TT=8.241
Bench name	Best results	Abscon 112v4 AC (complete)	Abscon 112v4 ESAC (complete)	bpsolver 09 (complete)	Choco2.1.1 2009-06-10 (complete)	Choco2.1.1b 2009-07-16 (complete)	Concrete 2009-07-14 (complete)	Concrete DC 2009-07-14 (complete)	Conquer 2009-07-10 (complete)	Mistral 1.545 (complete)	pcs 0.3.2 (complete)	pcs-restart 0.3.2 (complete)	SAT4J CSP 2.1.1 (complete)	Sugar v1.14.6+minisat (complete)	Sugar v1.14.6+picosat (complete)
csp/modifiedRenault/ normalized-renault-mod-31_ext.xml	SAT TT=0.424	SAT TT=1.998	SAT TT=2.259	SAT TT=1361.07	SAT TT=10.925	SAT TT=11.892	SAT TT=5.092	SAT TT=27.91	SAT TT=4.975	SAT TT=0.424	SAT TT=1.289	SAT TT=1.454	? TT=71.933	SAT TT=7.722	SAT TT=8.661
csp/modifiedRenault/ normalized-renault-mod-32_ext.xml	SAT TT=0.419	SAT TT=1.787	SAT TT=1.741	SAT TT=915.285	SAT TT=12.84	SAT TT=13.101	SAT TT=4.029	SAT TT=99.931	SAT TT=4.734	SAT TT=0.419	SAT TT=1.284	SAT TT=1.299	? TT=57.43	SAT TT=7.825	SAT TT=8.123
csp/modifiedRenault/ normalized-renault-mod-33_ext.xml	UNSAT TT=0.441	UNSAT TT=2.919	UNSAT TT=3.254	? (TO) TT=1800.11	UNSAT TT=9.291	UNSAT TT=8.305	UNSAT TT=5.639	UNSAT TT=21.398	UNSAT TT=4.915	UNSAT TT=0.441	UNSAT TT=1.33	UNSAT TT=1.401	? TT=62.065	UNSAT TT=7.794	UNSAT TT=8.22
csp/modifiedRenault/ normalized-renault-mod-35_ext.xml	UNSAT TT=0.482	UNSAT TT=2.375	UNSAT TT=1.835	UNSAT TT=16.701	UNSAT TT=3.397	UNSAT TT=3.511	UNSAT TT=4.997	UNSAT TT=8.61	UNSAT TT=4.852	UNSAT TT=0.482	UNSAT TT=1.285	UNSAT TT=1.276	? TT=118.383	UNSAT TT=7.891	UNSAT TT=8.46
csp/modifiedRenault/ normalized-renault-mod-37_ext.xml	UNSAT TT=0.445	UNSAT TT=2.129	UNSAT TT=1.67	? (TO) TT=1800.13	UNSAT TT=14.085	UNSAT TT=13.638	UNSAT TT=4.934	UNSAT TT=38.984	UNSAT TT=4.798	UNSAT TT=0.445	UNSAT TT=1.263	UNSAT TT=1.166	? TT=89.218	UNSAT TT=8.098	UNSAT TT=7.669
csp/modifiedRenault/ normalized-renault-mod-38_ext.xml	SAT TT=0.431	SAT TT=1.668	SAT TT=1.914	SAT TT=27.435	SAT TT=12.534	SAT TT=11.879	SAT TT=3.969	SAT TT=80.9	SAT TT=4.815	SAT TT=0.431	SAT TT=1.34	SAT TT=1.381	? TT=52.064	SAT TT=7.726	SAT TT=8.1
csp/modifiedRenault/ normalized-renault-mod-3_ext.xml	UNSAT TT=0.442	UNSAT TT=1.841	UNSAT TT=2.025	? (TO) TT=1800.12	UNSAT TT=13.41	UNSAT TT=13.819	UNSAT TT=4.67	UNSAT TT=42.028	UNSAT TT=5.032	UNSAT TT=0.442	UNSAT TT=1.172	UNSAT TT=1.193	? TT=52.387	UNSAT TT=7.635	UNSAT TT=7.842
csp/modifiedRenault/ normalized-renault-mod-40_ext.xml	UNSAT TT=0.428	UNSAT TT=1.603	UNSAT TT=1.648	? (TO) TT=1800.04	UNSAT TT=7.602	UNSAT TT=7.78	UNSAT TT=4.113	UNSAT TT=22.536	UNSAT TT=4.673	UNSAT TT=0.428	UNSAT TT=1.25	UNSAT TT=1.153	? TT=88.34	UNSAT TT=8.204	UNSAT TT=8.543
csp/modifiedRenault/ normalized-renault-mod-41_ext.xml	SAT TT=0.452	SAT TT=2.021	SAT TT=1.927	SAT TT=1581.71	SAT TT=4.705	SAT TT=4.319	SAT TT=4.294	SAT TT=17.536	SAT TT=4.596	SAT TT=0.452	SAT TT=1.446	SAT TT=1.314	? TT=58.486	SAT TT=8.261	SAT TT=8.119
csp/modifiedRenault/ normalized-renault-mod-42_ext.xml	UNSAT TT=0.482	UNSAT TT=2.019	UNSAT TT=1.76	? (TO) TT=1800.05	UNSAT TT=8.243	UNSAT TT=8.593	UNSAT TT=4.969	UNSAT TT=19.617	UNSAT TT=4.793	UNSAT TT=0.482	UNSAT TT=1.262	UNSAT TT=1.302	? TT=87.473	UNSAT TT=7.035	UNSAT TT=7.162
Bench name	Best results	Abscon 112v4 AC (complete)	Abscon 112v4 ESAC (complete)	bpsolver 09 (complete)	Choco2.1.1 2009-06-10 (complete)	Choco2.1.1b 2009-07-16 (complete)	Concrete 2009-07-14 (complete)	Concrete DC 2009-07-14 (complete)	Conquer 2009-07-10 (complete)	Mistral 1.545 (complete)	pcs 0.3.2 (complete)	pcs-restart 0.3.2 (complete)	SAT4J CSP 2.1.1 (complete)	Sugar v1.14.6+minisat (complete)	Sugar v1.14.6+picosat (complete)
csp/modifiedRenault/ normalized-renault-mod-43_ext.xml	SAT TT=0.408	SAT TT=2.031	SAT TT=2.009	SAT TT=15.007	SAT TT=7.732	SAT TT=7.886	SAT TT=3.501	SAT TT=33.647	SAT TT=4.646	SAT TT=0.408	SAT TT=1.283	SAT TT=1.27	? TT=106.419	SAT TT=7.403	SAT TT=7.868
csp/modifiedRenault/ normalized-renault-mod-44_ext.xml	SAT TT=0.435	SAT TT=1.564	SAT TT=1.896	SAT TT=16.381	SAT TT=9.883	SAT TT=10.309	SAT TT=3.452	SAT TT=76.156	SAT TT=4.624	SAT TT=0.435	SAT TT=1.156	SAT TT=1.269	? TT=81.27	SAT TT=7.282	SAT TT=7.66
csp/modifiedRenault/ normalized-renault-mod-45_ext.xml	SAT TT=0.434	SAT TT=1.705	SAT TT=1.64	? (TO) TT=1800.1	SAT TT=5.473	SAT TT=5.939	SAT TT=3.773	SAT TT=32.852	SAT TT=4.624	SAT TT=0.434	SAT TT=1.271	SAT TT=1.189	? TT=117.154	SAT TT=7.44	SAT TT=8.51
csp/modifiedRenault/ normalized-renault-mod-47_ext.xml	UNSAT TT=0.476	UNSAT TT=1.47	UNSAT TT=1.794	? (TO) TT=1800.08	UNSAT TT=5.271	UNSAT TT=4.897	UNSAT TT=4.893	UNSAT TT=7.642	UNSAT TT=5.145	UNSAT TT=0.476	UNSAT TT=1.262	UNSAT TT=1.293	? TT=84.614	UNSAT TT=8.31	UNSAT TT=7.554
csp/modifiedRenault/ normalized-renault-mod-48_ext.xml	SAT TT=0.416	SAT TT=2.535	SAT TT=1.685	SAT TT=16.273	SAT TT=9.945	SAT TT=9.15	SAT TT=3.692	SAT TT=31.262	SAT TT=4.612	SAT TT=0.416	SAT TT=1.279	SAT TT=1.184	? TT=61.689	SAT TT=7.554	SAT TT=8.207
csp/modifiedRenault/ normalized-renault-mod-49_ext.xml	SAT TT=0.414	SAT TT=1.943	SAT TT=2.008	SAT TT=15.369	SAT TT=5.307	SAT TT=6.162	SAT TT=4.769	SAT TT=29.146	SAT TT=6.212	SAT TT=0.414	SAT TT=1.349	SAT TT=1.376	? TT=49.098	SAT TT=7.713	SAT TT=8.396
csp/modifiedRenault/ normalized-renault-mod-4_ext.xml	SAT TT=0.437	SAT TT=1.744	SAT TT=1.651	SAT TT=16.497	SAT TT=10.114	SAT TT=10.389	SAT TT=3.601	SAT TT=89.766	SAT TT=4.667	SAT TT=0.437	SAT TT=1.34	SAT TT=1.175	? TT=54.883	SAT TT=7.483	SAT TT=7.938
csp/modifiedRenault/ normalized-renault-mod-5_ext.xml	UNSAT TT=0.445	UNSAT TT=2.03	UNSAT TT=2.12	? (TO) TT=1800.1	UNSAT TT=9.189	UNSAT TT=9.737	UNSAT TT=5.318	UNSAT TT=38.542	UNSAT TT=4.974	UNSAT TT=0.445	UNSAT TT=1.294	UNSAT TT=1.293	? TT=55.543	UNSAT TT=8.139	UNSAT TT=8.146
csp/modifiedRenault/ normalized-renault-mod-6_ext.xml	UNSAT TT=0.476	UNSAT TT=1.996	UNSAT TT=2.204	? (TO) TT=1800.04	UNSAT TT=7.612	UNSAT TT=7.744	UNSAT TT=4.558	UNSAT TT=36.556	UNSAT TT=5.018	UNSAT TT=0.476	UNSAT TT=1.361	UNSAT TT=1.353	? TT=58.919	UNSAT TT=7.542	UNSAT TT=7.718
csp/modifiedRenault/ normalized-renault-mod-8_ext.xml	UNSAT TT=0.48	UNSAT TT=1.926	UNSAT TT=1.901	? (TO) TT=1800.05	UNSAT TT=11.479	UNSAT TT=12.999	UNSAT TT=4.552	UNSAT TT=42.938	UNSAT TT=5.011	UNSAT TT=0.48	UNSAT TT=1.285	UNSAT TT=1.253	? TT=83.293	UNSAT TT=7.315	UNSAT TT=7.168
Bench name	Best results	Abscon 112v4 AC (complete)	Abscon 112v4 ESAC (complete)	bpsolver 09 (complete)	Choco2.1.1 2009-06-10 (complete)	Choco2.1.1b 2009-07-16 (complete)	Concrete 2009-07-14 (complete)	Concrete DC 2009-07-14 (complete)	Conquer 2009-07-10 (complete)	Mistral 1.545 (complete)	pcs 0.3.2 (complete)	pcs-restart 0.3.2 (complete)	SAT4J CSP 2.1.1 (complete)	Sugar v1.14.6+minisat (complete)	Sugar v1.14.6+picosat (complete)
csp/ogdVg/ normalized-crossword-m1c-ogd-vg10-10_ext.xml		? (TO) TT=1800.16	? (TO) TT=1800.11	? (TO) TT=1800.04	? (TO) TT=1800.1	? (TO) TT=1800.11	? (TO) TT=1800.05	? (TO) TT=1800	? (TO) TT=1800.04	? (TO) TT=1800.09	? (TO) TT=1800.06	? (TO) TT=1800.06	? TT=31.059	? (TO) TT=1800.17	? (TO) TT=1800.12
csp/ogdVg/ normalized-crossword-m1c-ogd-vg10-11_ext.xml		? (TO) TT=1800.14	? (TO) TT=1800.05	? (TO) TT=1800.05	? (TO) TT=1800.05	? (TO) TT=1800.08	? (TO) TT=1800.06	? (TO) TT=1800.03	? (TO) TT=1800.03	? (TO) TT=1800.05	? (TO) TT=1800.02	? (TO) TT=1800.1	? TT=41.149	? (TO) TT=1800.18	? (TO) TT=1800.16
csp/ogdVg/ normalized-crossword-m1c-ogd-vg10-12_ext.xml		? (TO) TT=1800.15	? (TO) TT=1800.09	? (TO) TT=1800.11	? (TO) TT=1800.09	? (TO) TT=1800.11	? (TO) TT=1800.01	? (TO) TT=1800.05	? (TO) TT=1800.07	? (TO) TT=1800.11	? (TO) TT=1800.05	? (TO) TT=1800.11	? TT=37.665	? (TO) TT=1800.16	? (TO) TT=1800.2
csp/ogdVg/ normalized-crossword-m1c-ogd-vg10-13_ext.xml		? (TO) TT=1800.13	? (TO) TT=1800.1	? (TO) TT=1800.1	? (TO) TT=1800.1	? (TO) TT=1800.05	? (TO) TT=1800.05	? (TO) TT=1800	? (TO) TT=1800.08	? (TO) TT=1800.05	? (TO) TT=1800.09	? (TO) TT=1800.09	? TT=34.305	? (TO) TT=1800.22	? (TO) TT=1800.16
csp/ogdVg/ normalized-crossword-m1c-ogd-vg10-14_ext.xml		? (TO) TT=1800.07	? (TO) TT=1800.14	? (TO) TT=1800.11	? (TO) TT=1800.13	? (TO) TT=1800.12	? (TO) TT=1800.03	? (TO) TT=1800.01	? (TO) TT=1800.09	? (TO) TT=1800.04	? (TO) TT=1800.05	? (TO) TT=1800.09	? TT=36.253	? (TO) TT=1800.17	? (TO) TT=1800.21
csp/ogdVg/ normalized-crossword-m1c-ogd-vg11-12_ext.xml		? (TO) TT=1800.12	? (TO) TT=1800.1	? (TO) TT=1800.1	? (TO) TT=1800.09	? (TO) TT=1800.14	? (TO) TT=1800	? (TO) TT=1800.08	? (TO) TT=1800.04	? (TO) TT=1800.05	? (TO) TT=1800.1	? (TO) TT=1800.04	? TT=35.956	? (TO) TT=1800.08	? (TO) TT=1800.39
csp/ogdVg/ normalized-crossword-m1c-ogd-vg11-14_ext.xml		? (TO) TT=1800.1	? (TO) TT=1800.13	? (TO) TT=1800.12	? (TO) TT=1800.12	? (TO) TT=1800.09	? (TO) TT=1800.08	? (TO) TT=1800.05	? (TO) TT=1800.04	? (TO) TT=1800.07	? (TO) TT=1800.11	? (TO) TT=1800.09	? TT=34.608	? (TO) TT=1800.53	? (TO) TT=1800.7
csp/ogdVg/ normalized-crossword-m1c-ogd-vg12-12_ext.xml		? (TO) TT=1800.11	? (TO) TT=1800.13	? (TO) TT=1800.1	? (TO) TT=1800.09	? (TO) TT=1800.09	? (TO) TT=1800.03	? (TO) TT=1800.04	? (TO) TT=1800.07	? (TO) TT=1800.11	? (TO) TT=1800.11	? (TO) TT=1800.09	? TT=84.451	? (TO) TT=1801.03	? (TO) TT=1801.11
csp/ogdVg/ normalized-crossword-m1c-ogd-vg12-16_ext.xml	UNSAT TT=16.079	UNSAT TT=39.383	UNSAT TT=61.596	UNSAT TT=578.163	UNSAT TT=160.259	UNSAT TT=175.377	UNSAT TT=313.651	? (TO) TT=1800.08	UNSAT TT=36.765	UNSAT TT=16.079	UNSAT TT=261.931	UNSAT TT=237.071	? TT=89.937	? (TO) TT=1800.12	? (TO) TT=1800.15
csp/ogdVg/ normalized-crossword-m1c-ogd-vg13-13_ext.xml	UNSAT TT=375.578	UNSAT TT=662.943	UNSAT TT=696.536	? (TO) TT=1800.07	? (TO) TT=1800.13	? (TO) TT=1800.17	? (TO) TT=1800.09	? (TO) TT=1800.05	UNSAT TT=610.119	UNSAT TT=375.578	? (TO) TT=1800.1	? (TO) TT=1800.04	? TT=71.326	? (TO) TT=1800.16	? (TO) TT=1800.18
Bench name	Best results	Abscon 112v4 AC (complete)	Abscon 112v4 ESAC (complete)	bpsolver 09 (complete)	Choco2.1.1 2009-06-10 (complete)	Choco2.1.1b 2009-07-16 (complete)	Concrete 2009-07-14 (complete)	Concrete DC 2009-07-14 (complete)	Conquer 2009-07-10 (complete)	Mistral 1.545 (complete)	pcs 0.3.2 (complete)	pcs-restart 0.3.2 (complete)	SAT4J CSP 2.1.1 (complete)	Sugar v1.14.6+minisat (complete)	Sugar v1.14.6+picosat (complete)
csp/ogdVg/ normalized-crossword-m1c-ogd-vg13-14_ext.xml	UNSAT TT=123.775	UNSAT TT=281.333	UNSAT TT=314.841	? (TO) TT=1800.05	UNSAT TT=730.945	UNSAT TT=649.944	? (TO) TT=1800.07	? (TO) TT=1800.02	UNSAT TT=509.572	UNSAT TT=123.775	? (TO) TT=1800.06	? (TO) TT=1800.08	? TT=78.171	? (TO) TT=1800.14	? (TO) TT=1800.17
csp/ogdVg/ normalized-crossword-m1c-ogd-vg13-17_ext.xml	UNSAT TT=4.02	UNSAT TT=6.794	UNSAT TT=27.443	UNSAT TT=146.008	UNSAT TT=76.237	UNSAT TT=75.405	UNSAT TT=24.518	? (TO) TT=1800.1	UNSAT TT=13.613	UNSAT TT=4.02	UNSAT TT=36.29	UNSAT TT=34.452	? TT=100.366	? (TO) TT=1800.2	? (TO) TT=1800.13
csp/ogdVg/ normalized-crossword-m1c-ogd-vg14-15_ext.xml	UNSAT TT=29.547	UNSAT TT=38.145	UNSAT TT=87.289	? (TO) TT=1800.06	UNSAT TT=161.505	UNSAT TT=277.129	UNSAT TT=283.13	? (TO) TT=1800.09	UNSAT TT=62.802	UNSAT TT=29.547	UNSAT TT=878.897	UNSAT TT=1123.36	? TT=93.233	? (TO) TT=1800.19	? (TO) TT=1801.01
csp/ogdVg/ normalized-crossword-m1c-ogd-vg14-16_ext.xml	UNSAT TT=2.184	UNSAT TT=4.083	UNSAT TT=33.39	UNSAT TT=85.773	UNSAT TT=67.539	UNSAT TT=68.799	UNSAT TT=16.559	UNSAT TT=923.075	UNSAT TT=7.561	UNSAT TT=2.184	UNSAT TT=31.483	UNSAT TT=36.862	? TT=98.611	? (TO) TT=1800.07	? (TO) TT=1800.01
csp/ogdVg/ normalized-crossword-m1c-ogd-vg14-17_ext.xml	UNSAT TT=1.546	UNSAT TT=3.115	UNSAT TT=13.717	UNSAT TT=63.576	UNSAT TT=67.992	UNSAT TT=64.285	UNSAT TT=16.007	UNSAT TT=617.124	UNSAT TT=5.716	UNSAT TT=1.546	UNSAT TT=12.178	UNSAT TT=12.569	? TT=79.372	? (TO) TT=1800.16	? (TO) TT=1800.15
csp/ogdVg/ normalized-crossword-m1c-ogd-vg14-18_ext.xml	UNSAT TT=0.999	UNSAT TT=1.84	UNSAT TT=3.211	UNSAT TT=22.812	UNSAT TT=10.278	UNSAT TT=10.418	UNSAT TT=7.07	UNSAT TT=38.083	UNSAT TT=4.487	UNSAT TT=0.999	UNSAT TT=4.29	UNSAT TT=4.083	? TT=79.23	? (TO) TT=1800.03	? (TO) TT=1800.18
csp/ogdVg/ normalized-crossword-m1c-ogd-vg15-15_ext.xml	UNSAT TT=8.838	UNSAT TT=11.966	UNSAT TT=54.796	UNSAT TT=476.025	UNSAT TT=81.944	UNSAT TT=82.831	UNSAT TT=79.212	? (TO) TT=1800.01	UNSAT TT=17.271	UNSAT TT=8.838	UNSAT TT=152.854	UNSAT TT=194.429	? TT=86.026	? (TO) TT=1800.06	? (TO) TT=1800.07
csp/ogdVg/ normalized-crossword-m1c-ogd-vg15-16_ext.xml	UNSAT TT=1.552	UNSAT TT=1.878	UNSAT TT=4.379	UNSAT TT=29.196	UNSAT TT=37.637	UNSAT TT=43.323	UNSAT TT=6.129	UNSAT TT=229.549	UNSAT TT=4.112	UNSAT TT=1.552	UNSAT TT=7.077	UNSAT TT=7.508	? TT=83.134	? (TO) TT=1800.21	? (TO) TT=1800.12
csp/ogdVg/ normalized-crossword-m1c-ogd-vg15-18_ext.xml	UNSAT TT=0.523	UNSAT TT=1.42	UNSAT TT=1.507	UNSAT TT=10.379	UNSAT TT=2.985	UNSAT TT=2.965	UNSAT TT=3.821	UNSAT TT=8.595	UNSAT TT=2.462	UNSAT TT=0.523	UNSAT TT=1.621	UNSAT TT=2.711	? TT=73.339	? (TO) TT=1800.11	? (TO) TT=1800.02
csp/ogdVg/ normalized-crossword-m1c-ogd-vg15-19_ext.xml	UNSAT TT=0.226	UNSAT TT=1.246	UNSAT TT=1.125	UNSAT TT=7.361	UNSAT TT=1.065	UNSAT TT=1.129	UNSAT TT=2.148	UNSAT TT=2.145	UNSAT TT=1.263	UNSAT TT=0.327	UNSAT TT=0.226	UNSAT TT=0.229	? TT=90.19	? (TO) TT=1800.21	? (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)	Conquer 2009-07-10 (complete)	Mistral 1.545 (complete)	pcs 0.3.2 (complete)	pcs-restart 0.3.2 (complete)	SAT4J CSP 2.1.1 (complete)	Sugar v1.14.6+minisat (complete)	Sugar v1.14.6+picosat (complete)
csp/ogdVg/ normalized-crossword-m1c-ogd-vg16-16_ext.xml	UNSAT TT=0.301	UNSAT TT=0.981	UNSAT TT=1.036	UNSAT TT=3.38	UNSAT TT=1.256	UNSAT TT=1.363	UNSAT TT=1.714	UNSAT TT=2.006	UNSAT TT=1.24	UNSAT TT=0.301	UNSAT TT=0.619	UNSAT TT=0.476	? TT=96.528	UNSAT TT=879.017	? (TO) TT=1800.06
csp/ogdVg/ normalized-crossword-m1c-ogd-vg16-18_ext.xml	UNSAT TT=0.078	UNSAT TT=0.912	UNSAT TT=0.92	UNSAT TT=1.524	UNSAT TT=0.886	UNSAT TT=0.782	UNSAT TT=1.162	UNSAT TT=1.272	UNSAT TT=0.744	UNSAT TT=0.133	UNSAT TT=0.078	UNSAT TT=0.079	? TT=90.031	UNSAT TT=403.292	? (TO) TT=1800
csp/ogdVg/ normalized-crossword-m1c-ogd-vg16-20_ext.xml	UNSAT TT=0.06	UNSAT TT=0.863	UNSAT TT=0.892	UNSAT TT=1.418	UNSAT TT=0.903	UNSAT TT=0.746	UNSAT TT=1.24	UNSAT TT=1.206	UNSAT TT=0.684	UNSAT TT=0.106	UNSAT TT=0.06	UNSAT TT=0.06	? TT=83.237	UNSAT TT=408.55	UNSAT TT=476.26
csp/ogdVg/ normalized-crossword-m1c-ogd-vg4-4_ext.xml	SAT TT=0.015	SAT TT=0.732	SAT TT=0.677	SAT TT=0.16	SAT TT=0.728	SAT TT=0.803	SAT TT=1.021	SAT TT=3.783	SAT TT=0.597	SAT TT=0.015	SAT TT=0.027	SAT TT=0.025	SAT TT=13.864	SAT TT=1.927	SAT TT=2.267
csp/ogdVg/ normalized-crossword-m1c-ogd-vg4-5_ext.xml	SAT TT=0.032	SAT TT=0.765	SAT TT=0.813	SAT TT=0.637	SAT TT=1.148	SAT TT=1.16	SAT TT=1.137	SAT TT=9.79	SAT TT=0.755	SAT TT=0.032	SAT TT=0.081	SAT TT=0.06	? TT=99.355	SAT TT=7.464	SAT TT=8.995
csp/ogdVg/ normalized-crossword-m1c-ogd-vg4-6_ext.xml	SAT TT=0.067	SAT TT=0.837	SAT TT=0.946	SAT TT=1.57	SAT TT=1.714	SAT TT=1.494	SAT TT=1.272	SAT TT=25.457	SAT TT=1.096	SAT TT=0.067	SAT TT=0.288	SAT TT=0.321	? TT=87.569	SAT TT=45.285	SAT TT=46.723
csp/ogdVg/ normalized-crossword-m1c-ogd-vg4-7_ext.xml	SAT TT=0.139	SAT TT=0.91	SAT TT=0.948	SAT TT=2.891	SAT TT=2.442	SAT TT=2.445	SAT TT=1.671	SAT TT=85.816	SAT TT=1.538	SAT TT=0.139	SAT TT=2.359	SAT TT=0.395	? TT=75.16	SAT TT=242.062	SAT TT=243.246
csp/ogdVg/ normalized-crossword-m1c-ogd-vg4-8_ext.xml	SAT TT=0.433	SAT TT=1.08	SAT TT=1.422	SAT TT=5.356	SAT TT=7.493	SAT TT=5.535	SAT TT=2.647	SAT TT=203.732	SAT TT=2.553	SAT TT=0.667	SAT TT=19.334	SAT TT=0.433	? TT=78.001	SAT TT=1030.61	SAT TT=1093.43
csp/ogdVg/ normalized-crossword-m1c-ogd-vg5-7_ext.xml	SAT TT=0.243	SAT TT=1.228	SAT TT=1.684	SAT TT=4.388	SAT TT=4.341	SAT TT=4.491	SAT TT=1.99	SAT TT=159.704	SAT TT=1.814	SAT TT=0.243	SAT TT=15.503	SAT TT=3.441	? (exit code) TT=110.117	SAT TT=368.018	SAT TT=336.213
csp/ogdVg/ normalized-crossword-m1c-ogd-vg5-8_ext.xml	SAT TT=1.297	SAT TT=1.72	SAT TT=1.456	SAT TT=41.215	SAT TT=8.464	SAT TT=30.067	SAT TT=2.161	SAT TT=389.501	SAT TT=2.999	SAT TT=1.297	SAT TT=29.333	SAT TT=74.976	? TT=88.54	? (TO) TT=1800.03	? (TO) TT=1800.08
Bench name	Best results	Abscon 112v4 AC (complete)	Abscon 112v4 ESAC (complete)	bpsolver 09 (complete)	Choco2.1.1 2009-06-10 (complete)	Choco2.1.1b 2009-07-16 (complete)	Concrete 2009-07-14 (complete)	Concrete DC 2009-07-14 (complete)	Conquer 2009-07-10 (complete)	Mistral 1.545 (complete)	pcs 0.3.2 (complete)	pcs-restart 0.3.2 (complete)	SAT4J CSP 2.1.1 (complete)	Sugar v1.14.6+minisat (complete)	Sugar v1.14.6+picosat (complete)
csp/ogdVg/ normalized-crossword-m1c-ogd-vg5-9_ext.xml	SAT TT=2.803	SAT TT=2.803	SAT TT=2.903	SAT TT=40.566	SAT TT=107.237	SAT TT=387.149	SAT TT=9.382	SAT TT=600.298	SAT TT=4.791	SAT TT=48.148	SAT TT=823.755	? (TO) TT=1800.06	? TT=101.866	? (TO) TT=1800.02	? (TO) TT=1800.08
csp/ogdVg/ normalized-crossword-m1c-ogd-vg6-10_ext.xml		? (TO) TT=1800.14	? (TO) TT=1800.17	? (TO) TT=1800.11	? (TO) TT=1800.14	? (TO) TT=1800.12	? (TO) TT=1800.1	? (TO) TT=1800	? (TO) TT=1800.03	? (TO) TT=1800.03	? (TO) TT=1800.12	? (TO) TT=1800.1	? TT=53.047	? (TO) TT=1800.19	? (TO) TT=1800.05
csp/ogdVg/ normalized-crossword-m1c-ogd-vg6-6_ext.xml	SAT TT=0.106	SAT TT=0.881	SAT TT=1.03	SAT TT=5.297	SAT TT=3.437	SAT TT=5.928	SAT TT=2.675	SAT TT=121.533	SAT TT=1.337	SAT TT=0.106	SAT TT=6.48	SAT TT=49.045	? TT=91.854	SAT TT=132.358	SAT TT=169.128
csp/ogdVg/ normalized-crossword-m1c-ogd-vg6-8_ext.xml	SAT TT=4.2	SAT TT=6.106	SAT TT=4.2	SAT TT=1455.43	SAT TT=323.805	SAT TT=123.968	SAT TT=8.913	SAT TT=563.19	SAT TT=4.833	SAT TT=8.199	SAT TT=981.995	? (TO) TT=1800.07	? TT=75.462	? (TO) TT=1800.04	? (TO) TT=1800.03
csp/ogdVg/ normalized-crossword-m1c-ogd-vg6-9_ext.xml	SAT TT=191.175	SAT TT=240.637	SAT TT=191.175	? (TO) TT=1800.08	? (TO) TT=1800.1	? (TO) TT=1800.08	SAT TT=591.56	SAT TT=1285.07	SAT TT=685.146	SAT TT=962.309	? (TO) TT=1800.09	? (TO) TT=1800.08	? TT=81.645	? (TO) TT=1800.09	? (TO) TT=1800.11
csp/ogdVg/ normalized-crossword-m1c-ogd-vg7-11_ext.xml		? (TO) TT=1800.07	? (TO) TT=1800.12	? (TO) TT=1800.02	? (TO) TT=1800.08	? (TO) TT=1800.12	? (TO) TT=1800.02	? (TO) TT=1800.01	? (TO) TT=1800	? (TO) TT=1800.04	? (TO) TT=1800.07	? (TO) TT=1800.08	? TT=88.87	? (TO) TT=1800.06	? (TO) TT=1800.14
csp/ogdVg/ normalized-crossword-m1c-ogd-vg7-7_ext.xml	SAT TT=1.842	SAT TT=4.805	SAT TT=1.842	SAT TT=65.513	SAT TT=412.13	SAT TT=147.694	SAT TT=3.441	SAT TT=678.256	SAT TT=2.558	SAT TT=103.056	SAT TT=952.213	SAT TT=660.763	? TT=88.797	SAT TT=1000.37	? (TO) TT=1800.02
csp/ogdVg/ normalized-crossword-m1c-ogd-vg7-8_ext.xml	SAT TT=763.967	SAT TT=763.967	? (TO) TT=1800.12	? (TO) TT=1800.02	? (TO) TT=1800.11	? (TO) TT=1800.08	SAT TT=1022.32	? (TO) TT=1800.1	? (TO) TT=1800.04	? (TO) TT=1800.03	? (TO) TT=1800.08	? (TO) TT=1800.11	? TT=82.189	? (TO) TT=1800.14	? (TO) TT=1800.07
csp/ogdVg/ normalized-crossword-m1c-ogd-vg8-10_ext.xml		? (TO) TT=1800.12	? (TO) TT=1800.13	? (TO) TT=1800.05	? (TO) TT=1800.14	? (TO) TT=1800.15	? (TO) TT=1800.07	? (TO) TT=1800.03	? (TO) TT=1800.06	? (TO) TT=1800.05	? (TO) TT=1800.09	? (TO) TT=1800.09	? TT=30.536	? (TO) TT=1800.06	? (TO) TT=1800.17
csp/ogdVg/ normalized-crossword-m1c-ogd-vg8-11_ext.xml		? (TO) TT=1800.17	? (TO) TT=1800.14	? (TO) TT=1800.1	? (TO) TT=1800.14	? (TO) TT=1800.08	? (TO) TT=1800.05	? (TO) TT=1800.01	? (TO) TT=1800.04	? (TO) TT=1800.11	? (TO) TT=1800.09	? (TO) TT=1800.04	? TT=28.937	? (TO) TT=1800.17	? (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)	Conquer 2009-07-10 (complete)	Mistral 1.545 (complete)	pcs 0.3.2 (complete)	pcs-restart 0.3.2 (complete)	SAT4J CSP 2.1.1 (complete)	Sugar v1.14.6+minisat (complete)	Sugar v1.14.6+picosat (complete)
csp/ogdVg/ normalized-crossword-m1c-ogd-vg8-12_ext.xml		? (TO) TT=1800.09	? (TO) TT=1800.14	? (TO) TT=1800.09	? (TO) TT=1800.16	? (TO) TT=1800.17	? (TO) TT=1800.03	? (TO) TT=1800.04	? (TO) TT=1800.04	? (TO) TT=1800.07	? (TO) TT=1800.06	? (TO) TT=1800.04	? TT=40.507	? (TO) TT=1800.11	? (TO) TT=1800.18
csp/ogdVg/ normalized-crossword-m1c-ogd-vg9-10_ext.xml		? (TO) TT=1800.13	? (TO) TT=1800.06	? (TO) TT=1800.03	? (TO) TT=1800.13	? (TO) TT=1800.13	? (TO) TT=1800.02	? (TO) TT=1800.08	? (TO) TT=1800.06	? (TO) TT=1800.05	? (TO) TT=1800.07	? (TO) TT=1800.09	? TT=29.155	? (TO) TT=1800.22	? (TO) TT=1800.03
csp/ogdVg/ normalized-crossword-m1c-ogd-vg9-11_ext.xml		? (TO) TT=1800.12	? (TO) TT=1800.04	? (TO) TT=1800.09	? (TO) TT=1800.11	? (TO) TT=1800.12	? (TO) TT=1800	? (TO) TT=1800.03	? (TO) TT=1800.07	? (TO) TT=1800.03	? (TO) TT=1800.04	? (TO) TT=1800.05	? TT=28.199	? (TO) TT=1800.08	? (TO) TT=1800.17
csp/ogdVg/ normalized-crossword-m1c-ogd-vg9-12_ext.xml		? (TO) TT=1800.1	? (TO) TT=1800.07	? (TO) TT=1800.1	? (TO) TT=1800.16	? (TO) TT=1800.12	? (TO) TT=1800.01	? (TO) TT=1800.04	? (TO) TT=1800.08	? (TO) TT=1800.08	? (TO) TT=1800.09	? (TO) TT=1800.09	? TT=30.232	? (TO) TT=1800.18	? (TO) TT=1800.17
csp/ogdVg/ normalized-crossword-m1c-ogd-vg9-9_ext.xml		? (TO) TT=1800.14	? (TO) TT=1800.13	? (TO) TT=1800.09	? (TO) TT=1800.13	? (TO) TT=1800.16	? (TO) TT=1800.05	? (TO) TT=1800.04	? (TO) TT=1800.07	? (TO) TT=1800.11	? (TO) TT=1800.04	? (TO) TT=1800.12	? TT=29.494	? (TO) TT=1800.34	? (TO) TT=1800.02
csp/renault/ normalized-renault_ext.xml	SAT TT=0.382	SAT TT=1.513	SAT TT=1.578	SAT TT=14.728	SAT TT=12.143	SAT TT=11.322	SAT TT=3.358	SAT TT=58.266	SAT TT=4.711	SAT TT=0.382	SAT TT=1.133	SAT TT=1.206	? TT=87.316	SAT TT=7.743	SAT TT=7.589
csp/renault/ normalized-renault-mgd_ext.xml	SAT TT=0.416	SAT TT=1.632	SAT TT=1.562	SAT TT=16.209	SAT TT=10.963	SAT TT=11.721	SAT TT=3.43	SAT TT=62.428	SAT TT=4.757	SAT TT=0.416	SAT TT=1.222	SAT TT=1.227	? TT=80.974	SAT TT=7.343	SAT TT=7.312
csp/ukVg/ normalized-crossword-m1c-uk-vg10-11_ext.xml		? (TO) TT=1800.07	? (TO) TT=1800.14	? (TO) TT=1800.08	? (TO) TT=1800.11	? (TO) TT=1800.13	? (TO) TT=1800.02	? (TO) TT=1800.03	? (TO) TT=1800.11	? (TO) TT=1800.09	? (TO) TT=1800.05	? (TO) TT=1800.06	? TT=30.63	? (TO) TT=1800	? (TO) TT=1800.1
csp/ukVg/ normalized-crossword-m1c-uk-vg10-13_ext.xml		? (TO) TT=1800.15	? (TO) TT=1800.11	? (TO) TT=1800.06	? (TO) TT=1800.06	? (TO) TT=1800.16	? (TO) TT=1800.06	? (TO) TT=1800.09	? (TO) TT=1800.13	? (TO) TT=1800.1	? (TO) TT=1800.11	? (TO) TT=1800.05	? TT=29.451	? (TO) TT=1800.09	? (TO) TT=1800.05
csp/ukVg/ normalized-crossword-m1c-uk-vg11-11_ext.xml		? (TO) TT=1800.14	? (TO) TT=1800.04	? (TO) TT=1800.12	? (TO) TT=1800.17	? (TO) TT=1800.11	? (TO) TT=1800.06	? (TO) TT=1800.02	? (TO) TT=1800.1	? (TO) TT=1800.04	? (TO) TT=1800.03	? (TO) TT=1800.1	? TT=38.781	? (TO) TT=1800.07	? (TO) TT=1800.21
Bench name	Best results	Abscon 112v4 AC (complete)	Abscon 112v4 ESAC (complete)	bpsolver 09 (complete)	Choco2.1.1 2009-06-10 (complete)	Choco2.1.1b 2009-07-16 (complete)	Concrete 2009-07-14 (complete)	Concrete DC 2009-07-14 (complete)	Conquer 2009-07-10 (complete)	Mistral 1.545 (complete)	pcs 0.3.2 (complete)	pcs-restart 0.3.2 (complete)	SAT4J CSP 2.1.1 (complete)	Sugar v1.14.6+minisat (complete)	Sugar v1.14.6+picosat (complete)
csp/ukVg/ normalized-crossword-m1c-uk-vg11-12_ext.xml		? (TO) TT=1800.1	? (TO) TT=1800.18	? (TO) TT=1800.09	? (TO) TT=1800.09	? (TO) TT=1800.13	? (TO) TT=1800	? (TO) TT=1800.04	? (TO) TT=1800.04	? (TO) TT=1800.07	? (TO) TT=1800.04	? (TO) TT=1800.11	? TT=29.468	? (TO) TT=1800.2	? (TO) TT=1800.03
csp/ukVg/ normalized-crossword-m1c-uk-vg11-13_ext.xml	UNSAT TT=1665.56	UNSAT TT=1665.56	UNSAT TT=1714.71	? (TO) TT=1800.07	? (TO) TT=1800.07	? (TO) TT=1800.13	? (TO) TT=1800.03	? (TO) TT=1800.08	? (TO) TT=1800.12	? (TO) TT=1800.11	? (TO) TT=1800.07	? (TO) TT=1800.04	? TT=30.318	? (TO) TT=1800.06	? (TO) TT=1800.05
csp/ukVg/ normalized-crossword-m1c-uk-vg11-14_ext.xml	UNSAT TT=487.746	UNSAT TT=540.971	UNSAT TT=547.857	? (TO) TT=1800.05	? (TO) TT=1800.08	? (TO) TT=1800.11	? (TO) TT=1800.02	? (TO) TT=1800.09	UNSAT TT=709.478	UNSAT TT=487.746	? (TO) TT=1800.05	? (TO) TT=1800.03	? TT=32.335	? (TO) TT=1800.16	? (TO) TT=1800.03
csp/ukVg/ normalized-crossword-m1c-uk-vg11-15_ext.xml	UNSAT TT=154.827	UNSAT TT=187.025	UNSAT TT=182.43	? (TO) TT=1800.1	UNSAT TT=994.465	UNSAT TT=1026.74	UNSAT TT=581.093	? (TO) TT=1800.09	UNSAT TT=209.165	UNSAT TT=154.827	? (TO) TT=1800.07	? (TO) TT=1800.11	? TT=33.266	? (TO) TT=1800.05	? (TO) TT=1800.02
csp/ukVg/ normalized-crossword-m1c-uk-vg12-14_ext.xml	UNSAT TT=325.836	UNSAT TT=325.836	UNSAT TT=338.497	? (TO) TT=1800.07	UNSAT TT=937.473	UNSAT TT=1042.47	? (TO) TT=1800.05	? (TO) TT=1800.02	UNSAT TT=1421.13	UNSAT TT=418.3	? (TO) TT=1800.12	? (TO) TT=1800.08	? TT=81.3	? (TO) TT=1800.04	? (TO) TT=1800
csp/ukVg/ normalized-crossword-m1c-uk-vg12-15_ext.xml	UNSAT TT=92.507	UNSAT TT=92.507	UNSAT TT=109.063	? (TO) TT=1800.02	UNSAT TT=589.028	UNSAT TT=284.603	UNSAT TT=447.086	? (TO) TT=1800.04	UNSAT TT=122.684	UNSAT TT=125.923	? (TO) TT=1800.08	? (TO) TT=1800.06	? TT=76.682	? (TO) TT=1800.2	? (TO) TT=1800.11
csp/ukVg/ normalized-crossword-m1c-uk-vg12-16_ext.xml	UNSAT TT=34.97	UNSAT TT=34.97	UNSAT TT=43.569	? (TO) TT=1800.08	UNSAT TT=144.138	UNSAT TT=242.852	UNSAT TT=278.335	? (TO) TT=1800.01	UNSAT TT=158.981	UNSAT TT=59.528	UNSAT TT=703.577	UNSAT TT=747.549	? TT=72.858	? (TO) TT=1800.02	? (TO) TT=1800.18
csp/ukVg/ normalized-crossword-m1c-uk-vg13-13_ext.xml	UNSAT TT=285.072	UNSAT TT=285.072	UNSAT TT=287.026	? (TO) TT=1800.03	UNSAT TT=1079.38	UNSAT TT=1509.99	? (TO) TT=1800.07	? (TO) TT=1800.06	UNSAT TT=519.227	UNSAT TT=379.671	? (TO) TT=1800.1	? (TO) TT=1800.12	? TT=102.472	? (TO) TT=1800.11	? (TO) TT=1800.16
csp/ukVg/ normalized-crossword-m1c-uk-vg13-16_ext.xml	UNSAT TT=24.09	UNSAT TT=24.09	UNSAT TT=26.35	? (TO) TT=1800.06	UNSAT TT=176.186	UNSAT TT=129.93	UNSAT TT=133.83	? (TO) TT=1800.08	UNSAT TT=37.429	UNSAT TT=36.401	UNSAT TT=362.655	UNSAT TT=338.495	? TT=76.781	? (TO) TT=1800.09	? (TO) TT=1800.07
csp/ukVg/ normalized-crossword-m1c-uk-vg13-17_ext.xml	UNSAT TT=10.608	UNSAT TT=10.608	UNSAT TT=14.073	UNSAT TT=432.352	UNSAT TT=88.209	UNSAT TT=79.091	UNSAT TT=26.934	? (TO) TT=1800.07	UNSAT TT=15.095	UNSAT TT=17.093	UNSAT TT=132.11	UNSAT TT=97.946	? TT=93.402	? (TO) TT=1800.07	? (TO) TT=1800.2
Bench name	Best results	Abscon 112v4 AC (complete)	Abscon 112v4 ESAC (complete)	bpsolver 09 (complete)	Choco2.1.1 2009-06-10 (complete)	Choco2.1.1b 2009-07-16 (complete)	Concrete 2009-07-14 (complete)	Concrete DC 2009-07-14 (complete)	Conquer 2009-07-10 (complete)	Mistral 1.545 (complete)	pcs 0.3.2 (complete)	pcs-restart 0.3.2 (complete)	SAT4J CSP 2.1.1 (complete)	Sugar v1.14.6+minisat (complete)	Sugar v1.14.6+picosat (complete)
csp/ukVg/ normalized-crossword-m1c-uk-vg14-14_ext.xml	UNSAT TT=80.218	UNSAT TT=80.83	UNSAT TT=80.218	? (TO) TT=1800.05	UNSAT TT=291.083	UNSAT TT=375.036	UNSAT TT=489.302	? (TO) TT=1800.06	UNSAT TT=179.256	UNSAT TT=124.465	UNSAT TT=1525.4	UNSAT TT=1606.19	? TT=82.53	? (TO) TT=1800.08	? (TO) TT=1800.03
csp/ukVg/ normalized-crossword-m1c-uk-vg14-16_ext.xml	UNSAT TT=14.592	UNSAT TT=14.592	UNSAT TT=19.576	UNSAT TT=596.302	UNSAT TT=116.875	UNSAT TT=103.879	UNSAT TT=73.878	? (TO) TT=1800.07	UNSAT TT=41.032	UNSAT TT=24.174	UNSAT TT=221.861	UNSAT TT=218.955	? TT=77.59	? (TO) TT=1800.21	? (TO) TT=1800.03
csp/ukVg/ normalized-crossword-m1c-uk-vg14-17_ext.xml	UNSAT TT=6.454	UNSAT TT=6.454	UNSAT TT=11.626	UNSAT TT=217.719	UNSAT TT=74.652	UNSAT TT=68.873	UNSAT TT=19.412	UNSAT TT=958.865	UNSAT TT=9.724	UNSAT TT=9.084	UNSAT TT=73.674	UNSAT TT=72.279	? TT=84.666	? (TO) TT=1800.13	? (TO) TT=1800.08
csp/ukVg/ normalized-crossword-m1c-uk-vg14-18_ext.xml	UNSAT TT=3.118	UNSAT TT=3.118	UNSAT TT=42.944	UNSAT TT=72.666	UNSAT TT=63.334	UNSAT TT=63.777	UNSAT TT=12.733	UNSAT TT=90.209	UNSAT TT=5.574	UNSAT TT=5.252	UNSAT TT=23.068	UNSAT TT=29.176	? TT=78.071	? (TO) TT=1800.17	? (TO) TT=1800.06
csp/ukVg/ normalized-crossword-m1c-uk-vg15-15_ext.xml	UNSAT TT=14.33	UNSAT TT=14.33	UNSAT TT=16.443	UNSAT TT=246.183	UNSAT TT=100.166	UNSAT TT=103.608	UNSAT TT=45.104	UNSAT TT=1721.98	UNSAT TT=22.982	UNSAT TT=29.742	UNSAT TT=176.994	UNSAT TT=210.273	? TT=77.204	? (TO) TT=1800.13	? (TO) TT=1800.1
csp/ukVg/ normalized-crossword-m1c-uk-vg15-17_ext.xml	UNSAT TT=3.112	UNSAT TT=3.262	UNSAT TT=13.969	UNSAT TT=38.639	UNSAT TT=65.776	UNSAT TT=68.706	UNSAT TT=10.871	UNSAT TT=356.111	UNSAT TT=3.417	UNSAT TT=3.112	UNSAT TT=17.88	UNSAT TT=17.254	? TT=83.058	UNSAT TT=952.757	? (TO) TT=1800.07
csp/ukVg/ normalized-crossword-m1c-uk-vg15-19_ext.xml	UNSAT TT=1.099	UNSAT TT=1.385	UNSAT TT=1.603	UNSAT TT=9.13	UNSAT TT=3.83	UNSAT TT=3.83	UNSAT TT=3.077	UNSAT TT=4.98	UNSAT TT=1.533	UNSAT TT=1.099	UNSAT TT=2.915	UNSAT TT=2.973	? TT=77.618	UNSAT TT=812.837	? (TO) TT=1800.09
csp/ukVg/ normalized-crossword-m1c-uk-vg16-19_ext.xml	UNSAT TT=0.497	UNSAT TT=1.074	UNSAT TT=1.078	UNSAT TT=2.369	UNSAT TT=1.798	UNSAT TT=1.86	UNSAT TT=1.492	UNSAT TT=1.817	UNSAT TT=1.089	UNSAT TT=0.497	UNSAT TT=0.591	UNSAT TT=0.593	? TT=78.597	UNSAT TT=322.47	? (TO) TT=1800.01
csp/ukVg/ normalized-crossword-m1c-uk-vg16-20_ext.xml	UNSAT TT=0.42	UNSAT TT=1.027	UNSAT TT=0.981	UNSAT TT=2.211	UNSAT TT=1.349	UNSAT TT=1.317	UNSAT TT=1.546	UNSAT TT=1.822	UNSAT TT=0.979	UNSAT TT=0.42	UNSAT TT=0.639	UNSAT TT=0.604	? TT=88.685	UNSAT TT=315.686	? (TO) TT=1800.01
csp/ukVg/ normalized-crossword-m1c-uk-vg4-5_ext.xml	SAT TT=0.044	SAT TT=0.792	SAT TT=0.777	SAT TT=0.996	SAT TT=1.086	SAT TT=1.104	SAT TT=1.155	SAT TT=14.511	SAT TT=0.934	SAT TT=0.044	SAT TT=0.077	SAT TT=0.08	? TT=92.7	SAT TT=12.261	SAT TT=15.589
Bench name	Best results	Abscon 112v4 AC (complete)	Abscon 112v4 ESAC (complete)	bpsolver 09 (complete)	Choco2.1.1 2009-06-10 (complete)	Choco2.1.1b 2009-07-16 (complete)	Concrete 2009-07-14 (complete)	Concrete DC 2009-07-14 (complete)	Conquer 2009-07-10 (complete)	Mistral 1.545 (complete)	pcs 0.3.2 (complete)	pcs-restart 0.3.2 (complete)	SAT4J CSP 2.1.1 (complete)	Sugar v1.14.6+minisat (complete)	Sugar v1.14.6+picosat (complete)
csp/ukVg/ normalized-crossword-m1c-uk-vg4-6_ext.xml	SAT TT=0.075	SAT TT=0.953	SAT TT=0.881	SAT TT=1.768	SAT TT=1.596	SAT TT=1.533	SAT TT=1.344	SAT TT=34.934	SAT TT=1.086	SAT TT=0.075	SAT TT=0.255	SAT TT=0.973	? TT=78.432	SAT TT=69.002	SAT TT=78.381
csp/ukVg/ normalized-crossword-m1c-uk-vg4-7_ext.xml	SAT TT=0.119	SAT TT=0.861	SAT TT=0.956	SAT TT=2.917	SAT TT=2.466	SAT TT=2.171	SAT TT=1.529	SAT TT=66.539	SAT TT=1.507	SAT TT=0.119	SAT TT=3.853	SAT TT=1.764	? TT=81.659	SAT TT=285.797	SAT TT=323.951
csp/ukVg/ normalized-crossword-m1c-uk-vg4-8_ext.xml	SAT TT=0.783	SAT TT=1.014	SAT TT=1.846	SAT TT=3.746	SAT TT=3.221	SAT TT=4.103	SAT TT=2.052	SAT TT=118.56	SAT TT=1.832	SAT TT=0.783	SAT TT=19.392	SAT TT=16.989	? TT=69.753	SAT TT=851.484	SAT TT=951.744
csp/ukVg/ normalized-crossword-m1c-uk-vg5-5_ext.xml	SAT TT=0.052	SAT TT=0.779	SAT TT=0.814	SAT TT=0.727	SAT TT=1.654	SAT TT=1.317	SAT TT=1.229	SAT TT=30.865	SAT TT=0.934	SAT TT=0.052	SAT TT=0.194	SAT TT=0.27	? TT=85.887	SAT TT=26.299	SAT TT=32.992
csp/ukVg/ normalized-crossword-m1c-uk-vg5-6_ext.xml	SAT TT=0.109	SAT TT=0.956	SAT TT=1.161	SAT TT=2.257	SAT TT=2.06	SAT TT=4.218	SAT TT=2.041	SAT TT=66.36	SAT TT=1.394	SAT TT=0.109	SAT TT=4.424	SAT TT=9.239	? (exit code) TT=139.545	SAT TT=100.221	SAT TT=139.083
csp/ukVg/ normalized-crossword-m1c-uk-vg5-7_ext.xml	SAT TT=1.206	SAT TT=1.225	SAT TT=1.206	SAT TT=36.583	SAT TT=8.554	SAT TT=14.226	SAT TT=4.466	SAT TT=125.859	SAT TT=1.794	SAT TT=2.043	SAT TT=382.233	SAT TT=334.994	? (exit code) TT=130.687	SAT TT=751.829	SAT TT=1050.78
csp/ukVg/ normalized-crossword-m1c-uk-vg5-8_ext.xml	SAT TT=2.611	SAT TT=4.678	SAT TT=2.611	SAT TT=425.681	SAT TT=20.163	SAT TT=299.875	SAT TT=4.761	SAT TT=198.895	SAT TT=7.833	SAT TT=35.662	? (TO) TT=1800.08	? (TO) TT=1800.07	? TT=98.634	? (TO) TT=1800.04	? (TO) TT=1800.05
csp/ukVg/ normalized-crossword-m1c-uk-vg5-9_ext.xml	SAT TT=15.798	SAT TT=15.798	SAT TT=69.977	? (TO) TT=1800.06	? (TO) TT=1800.12	? (TO) TT=1800.08	SAT TT=565.644	SAT TT=1026.97	SAT TT=93.482	? (TO) TT=1800.01	? (TO) TT=1800.1	? (TO) TT=1800.05	? TT=98.818	? (TO) TT=1800.03	? (TO) TT=1800.04
csp/ukVg/ normalized-crossword-m1c-uk-vg6-10_ext.xml		? (TO) TT=1800.18	? (TO) TT=1800.14	? (TO) TT=1800.04	? (TO) TT=1800.14	? (TO) TT=1800.09	? (TO) TT=1800.02	? (TO) TT=1800.09	? (TO) TT=1800.09	? (TO) TT=1800.05	? (TO) TT=1800.08	? (TO) TT=1800.1	? TT=101.285	? (TO) TT=1800.08	? (TO) TT=1800.04
csp/ukVg/ normalized-crossword-m1c-uk-vg6-6_ext.xml	SAT TT=1.125	SAT TT=1.125	SAT TT=1.238	SAT TT=4.623	SAT TT=32.422	SAT TT=7.715	SAT TT=2.247	SAT TT=120.292	SAT TT=1.365	SAT TT=4.955	SAT TT=85.553	SAT TT=140.234	? TT=92.361	SAT TT=357.918	SAT TT=545.678
Bench name	Best results	Abscon 112v4 AC (complete)	Abscon 112v4 ESAC (complete)	bpsolver 09 (complete)	Choco2.1.1 2009-06-10 (complete)	Choco2.1.1b 2009-07-16 (complete)	Concrete 2009-07-14 (complete)	Concrete DC 2009-07-14 (complete)	Conquer 2009-07-10 (complete)	Mistral 1.545 (complete)	pcs 0.3.2 (complete)	pcs-restart 0.3.2 (complete)	SAT4J CSP 2.1.1 (complete)	Sugar v1.14.6+minisat (complete)	Sugar v1.14.6+picosat (complete)
csp/ukVg/ normalized-crossword-m1c-uk-vg6-7_ext.xml	SAT TT=3.881	SAT TT=3.881	SAT TT=25.207	SAT TT=123.436	SAT TT=1531.46	SAT TT=592.794	SAT TT=32.012	SAT TT=280.204	SAT TT=12.898	SAT TT=1767.51	? (TO) TT=1800.05	? (TO) TT=1800.11	? TT=78.434	? (TO) TT=1800.02	? (TO) TT=1800.03
csp/ukVg/ normalized-crossword-m1c-uk-vg7-10_ext.xml		? (TO) TT=1800.11	? (TO) TT=1800.12	? (TO) TT=1800.05	? (TO) TT=1800.11	? (TO) TT=1800.15	? (TO) TT=1800.09	? (TO) TT=1800.04	? (TO) TT=1800.11	? (TO) TT=1800.03	? (TO) TT=1800.09	? (TO) TT=1800.07	? TT=92.652	? (TO) TT=1800.11	? (TO) TT=1800.11
csp/ukVg/ normalized-crossword-m1c-uk-vg7-11_ext.xml		? (TO) TT=1800.12	? (TO) TT=1800.1	? (TO) TT=1800.08	? (TO) TT=1800.11	? (TO) TT=1800.12	? (TO) TT=1800.06	? (TO) TT=1800.08	? (TO) TT=1800.05	? (TO) TT=1800.04	? (TO) TT=1800.08	? (TO) TT=1800.1	? TT=90.152	? (TO) TT=1800.05	? (TO) TT=1800.05
csp/ukVg/ normalized-crossword-m1c-uk-vg7-7_ext.xml	SAT TT=57.591	SAT TT=57.591	SAT TT=64.717	SAT TT=1347.88	? (TO) TT=1800.09	SAT TT=102.887	SAT TT=572.526	SAT TT=1425.98	SAT TT=604.046	? (TO) TT=1800.08	? (TO) TT=1800.1	? (TO) TT=1800.07	? TT=87.827	? (TO) TT=1800.02	? (TO) TT=1800.1
csp/ukVg/ normalized-crossword-m1c-uk-vg7-8_ext.xml		? (TO) TT=1800.07	? (TO) TT=1800.18	? (TO) TT=1800.08	? (TO) TT=1800.15	? (TO) TT=1800.12	? (TO) TT=1800.04	? (TO) TT=1800.02	? (TO) TT=1800.08	? (TO) TT=1800.04	? (TO) TT=1800.11	? (TO) TT=1800.07	? TT=118.011	? (TO) TT=1800.02	? (TO) TT=1800.07
csp/ukVg/ normalized-crossword-m1c-uk-vg7-9_ext.xml		? (TO) TT=1800.08	? (TO) TT=1800.11	? (TO) TT=1800.1	? (TO) TT=1800.12	? (TO) TT=1800.13	? (TO) TT=1800.06	? (TO) TT=1800.02	? (TO) TT=1800.08	? (TO) TT=1800.11	? (TO) TT=1800.08	? (TO) TT=1800.07	? TT=87.579	? (TO) TT=1800.03	? (TO) TT=1800.06
csp/ukVg/ normalized-crossword-m1c-uk-vg8-10_ext.xml		? (TO) TT=1800.25	? (TO) TT=1800.12	? (TO) TT=1800.06	? (TO) TT=1800.11	? (TO) TT=1800.08	? (TO) TT=1800.08	? (TO) TT=1800.04	? (TO) TT=1800.07	? (TO) TT=1800.1	? (TO) TT=1800.08	? (TO) TT=1800.09	? TT=32.055	? (TO) TT=1800.18	? (TO) TT=1800.03
csp/ukVg/ normalized-crossword-m1c-uk-vg8-12_ext.xml		? (TO) TT=1800.11	? (TO) TT=1800.06	? (TO) TT=1800.02	? (TO) TT=1800.05	? (TO) TT=1800.11	? (TO) TT=1800.04	? (TO) TT=1800.02	? (TO) TT=1800.1	? (TO) TT=1800.09	? (TO) TT=1800.02	? (TO) TT=1800.06	? TT=27.889	? (TO) TT=1800.04	? (TO) TT=1800.19
csp/ukVg/ normalized-crossword-m1c-uk-vg8-8_ext.xml		? (TO) TT=1800.11	? (TO) TT=1800.08	? (TO) TT=1800.01	? (TO) TT=1800.11	? (TO) TT=1800.12	? (TO) TT=1800.06	? (TO) TT=1800.09	? (TO) TT=1800.11	? (TO) TT=1800.09	? (TO) TT=1800.11	? (TO) TT=1800.07	? TT=27.733	? (TO) TT=1800.05	? (TO) TT=1800.1
csp/ukVg/ normalized-crossword-m1c-uk-vg9-11_ext.xml		? (TO) TT=1800.09	? (TO) TT=1800.17	? (TO) TT=1800.1	? (TO) TT=1800.15	? (TO) TT=1800.1	? (TO) TT=1800.02	? (TO) TT=1800.01	? (TO) TT=1800.05	? (TO) TT=1800.1	? (TO) TT=1800.04	? (TO) TT=1800.03	? TT=34.631	? (TO) TT=1800.04	? (TO) TT=1800
Bench name	Best results	Abscon 112v4 AC (complete)	Abscon 112v4 ESAC (complete)	bpsolver 09 (complete)	Choco2.1.1 2009-06-10 (complete)	Choco2.1.1b 2009-07-16 (complete)	Concrete 2009-07-14 (complete)	Concrete DC 2009-07-14 (complete)	Conquer 2009-07-10 (complete)	Mistral 1.545 (complete)	pcs 0.3.2 (complete)	pcs-restart 0.3.2 (complete)	SAT4J CSP 2.1.1 (complete)	Sugar v1.14.6+minisat (complete)	Sugar v1.14.6+picosat (complete)
csp/ukVg/ normalized-crossword-m1c-uk-vg9-12_ext.xml		? (TO) TT=1800.14	? (TO) TT=1800.06	? (TO) TT=1800.02	? (TO) TT=1800.14	? (TO) TT=1800.14	? (TO) TT=1800.06	? (TO) TT=1800.01	? (TO) TT=1800.06	? (TO) TT=1800.04	? (TO) TT=1800.02	? (TO) TT=1800.06	? TT=29.417	? (TO) TT=1800.14	? (TO) TT=1800.03
csp/ukVg/ normalized-crossword-m1c-uk-vg9-9_ext.xml		? (TO) TT=1800.09	? (TO) TT=1800.15	? (TO) TT=1800.01	? (TO) TT=1800.14	? (TO) TT=1800.12	? (TO) TT=1800.04	? (TO) TT=1800.06	? (TO) TT=1800.12	? (TO) TT=1800.05	? (TO) TT=1800.09	? (TO) TT=1800.07	? TT=25.371	? (TO) TT=1800.03	? (TO) TT=1800.06
csp/wordsVg/ normalized-crossword-m1c-words-vg10-10_ext.xml	UNSAT TT=12.251	UNSAT TT=12.251	UNSAT TT=13.936	UNSAT TT=222.941	UNSAT TT=92.938	UNSAT TT=66.689	UNSAT TT=131.924	UNSAT TT=388.055	UNSAT TT=19.001	UNSAT TT=16.179	UNSAT TT=252.422	UNSAT TT=307.127	? TT=32.546	? (TO) TT=1800.07	? (TO) TT=1800.09
csp/wordsVg/ normalized-crossword-m1c-words-vg10-11_ext.xml	UNSAT TT=5.459	UNSAT TT=5.694	UNSAT TT=6.086	UNSAT TT=86.365	UNSAT TT=28.171	UNSAT TT=27.588	UNSAT TT=17.064	UNSAT TT=473.488	UNSAT TT=6.137	UNSAT TT=5.459	UNSAT TT=98.037	UNSAT TT=106.288	? TT=29.65	? (TO) TT=1800.04	? (TO) TT=1800.08
csp/wordsVg/ normalized-crossword-m1c-words-vg10-12_ext.xml	UNSAT TT=1.509	UNSAT TT=2.27	UNSAT TT=3.481	UNSAT TT=37.176	UNSAT TT=21.477	UNSAT TT=21.514	UNSAT TT=6.393	UNSAT TT=121.766	UNSAT TT=2.747	UNSAT TT=1.509	UNSAT TT=17.073	UNSAT TT=14.621	? TT=34.201	UNSAT TT=1351.45	? (TO) TT=1800.02
csp/wordsVg/ normalized-crossword-m1c-words-vg11-13_ext.xml	UNSAT TT=0.312	UNSAT TT=0.958	UNSAT TT=1.204	UNSAT TT=4.917	UNSAT TT=4.368	UNSAT TT=4.594	UNSAT TT=1.779	UNSAT TT=8.016	UNSAT TT=1.052	UNSAT TT=0.312	UNSAT TT=1.55	UNSAT TT=1.546	? TT=34.336	UNSAT TT=291.407	? (TO) TT=1800.26
csp/wordsVg/ normalized-crossword-m1c-words-vg11-14_ext.xml	UNSAT TT=0.117	UNSAT TT=0.83	UNSAT TT=0.856	UNSAT TT=1.36	UNSAT TT=1.056	UNSAT TT=1.192	UNSAT TT=1.244	UNSAT TT=1.775	UNSAT TT=0.863	UNSAT TT=0.117	UNSAT TT=0.32	UNSAT TT=0.314	? TT=31.576	UNSAT TT=176.383	? (TO) TT=1800.09
csp/wordsVg/ normalized-crossword-m1c-words-vg11-15_ext.xml	UNSAT TT=0.049	UNSAT TT=0.841	UNSAT TT=0.975	UNSAT TT=1.098	UNSAT TT=0.655	UNSAT TT=0.661	UNSAT TT=1.302	UNSAT TT=1.128	UNSAT TT=0.721	UNSAT TT=0.07	UNSAT TT=0.05	UNSAT TT=0.049	? TT=37.209	UNSAT TT=156.981	UNSAT TT=434.793
csp/wordsVg/ normalized-crossword-m1c-words-vg12-12_ext.xml	UNSAT TT=0.314	UNSAT TT=1.018	UNSAT TT=1.294	UNSAT TT=3.847	UNSAT TT=4.43	UNSAT TT=4.388	UNSAT TT=1.734	UNSAT TT=6.402	UNSAT TT=0.999	UNSAT TT=0.314	UNSAT TT=1.403	UNSAT TT=1.473	? TT=53.174	UNSAT TT=671.559	? (TO) TT=1800.09
csp/wordsVg/ normalized-crossword-m1c-words-vg12-13_ext.xml	UNSAT TT=0.122	UNSAT TT=0.837	UNSAT TT=0.881	UNSAT TT=1.488	UNSAT TT=1.179	UNSAT TT=1.147	UNSAT TT=1.298	UNSAT TT=1.608	UNSAT TT=0.844	UNSAT TT=0.122	UNSAT TT=0.314	UNSAT TT=0.312	? TT=74.469	UNSAT TT=197.69	? (TO) TT=1800.07
Bench name	Best results	Abscon 112v4 AC (complete)	Abscon 112v4 ESAC (complete)	bpsolver 09 (complete)	Choco2.1.1 2009-06-10 (complete)	Choco2.1.1b 2009-07-16 (complete)	Concrete 2009-07-14 (complete)	Concrete DC 2009-07-14 (complete)	Conquer 2009-07-10 (complete)	Mistral 1.545 (complete)	pcs 0.3.2 (complete)	pcs-restart 0.3.2 (complete)	SAT4J CSP 2.1.1 (complete)	Sugar v1.14.6+minisat (complete)	Sugar v1.14.6+picosat (complete)
csp/wordsVg/ normalized-crossword-m1c-words-vg12-15_ext.xml	UNSAT TT=0.042	UNSAT TT=0.946	UNSAT TT=0.798	UNSAT TT=0.796	UNSAT TT=0.635	UNSAT TT=0.583	UNSAT TT=1.092	UNSAT TT=1.094	UNSAT TT=0.668	UNSAT TT=0.056	UNSAT TT=0.045	UNSAT TT=0.042	? TT=57.468	UNSAT TT=128.678	UNSAT TT=203.144
csp/wordsVg/ normalized-crossword-m1c-words-vg13-14_ext.xml	UNSAT TT=0.042	UNSAT TT=0.78	UNSAT TT=0.938	UNSAT TT=0.627	UNSAT TT=0.59	UNSAT TT=0.647	UNSAT TT=1.091	UNSAT TT=1.065	UNSAT TT=0.659	UNSAT TT=0.051	UNSAT TT=0.042	UNSAT TT=0.042	? TT=62.922	? (TO) TT=1800.04	? (TO) TT=1800.06
csp/wordsVg/ normalized-crossword-m1c-words-vg13-15_ext.xml	UNSAT TT=0.032	UNSAT TT=0.822	UNSAT TT=0.78	UNSAT TT=0.543	UNSAT TT=0.639	UNSAT TT=0.598	UNSAT TT=1.088	UNSAT TT=1.027	UNSAT TT=0.642	UNSAT TT=0.045	UNSAT TT=0.033	UNSAT TT=0.032	? TT=62.651	UNSAT TT=62.493	UNSAT TT=113.296
csp/wordsVg/ normalized-crossword-m1c-words-vg13-16_ext.xml	UNSAT TT=0.032	UNSAT TT=0.765	UNSAT TT=0.769	UNSAT TT=0.453	UNSAT TT=0.635	UNSAT TT=0.624	UNSAT TT=1.023	UNSAT TT=1.072	UNSAT TT=0.643	UNSAT TT=0.049	UNSAT TT=0.032	UNSAT TT=0.033	? TT=61.586	UNSAT TT=56.427	UNSAT TT=79.657
csp/wordsVg/ normalized-crossword-m1c-words-vg13-17_ext.xml	UNSAT TT=0.032	UNSAT TT=0.774	UNSAT TT=0.933	UNSAT TT=0.441	UNSAT TT=0.618	UNSAT TT=0.762	UNSAT TT=1.052	UNSAT TT=1.049	UNSAT TT=0.644	UNSAT TT=0.047	UNSAT TT=0.033	UNSAT TT=0.032	? TT=58.977	UNSAT TT=52.79	UNSAT TT=80.207
csp/wordsVg/ normalized-crossword-m1c-words-vg14-14_ext.xml	UNSAT TT=0.027	UNSAT TT=0.933	UNSAT TT=0.803	UNSAT TT=0.272	UNSAT TT=0.626	UNSAT TT=0.622	UNSAT TT=1.044	UNSAT TT=0.975	UNSAT TT=0.622	UNSAT TT=0.045	UNSAT TT=0.027	UNSAT TT=0.029	? (exit code) TT=85.819	UNSAT TT=46.637	UNSAT TT=78.901
csp/wordsVg/ normalized-crossword-m1c-words-vg14-16_ext.xml	UNSAT TT=0.025	UNSAT TT=0.754	UNSAT TT=0.831	UNSAT TT=0.309	UNSAT TT=0.594	UNSAT TT=0.697	UNSAT TT=1.011	UNSAT TT=1.027	UNSAT TT=0.631	UNSAT TT=0.038	UNSAT TT=0.025	UNSAT TT=0.027	? TT=82.383	UNSAT TT=20.964	UNSAT TT=34.281
csp/wordsVg/ normalized-crossword-m1c-words-vg15-15_ext.xml	UNSAT TT=0.024	UNSAT TT=0.823	UNSAT TT=0.921	UNSAT TT=0.185	UNSAT TT=0.56	UNSAT TT=0.595	UNSAT TT=0.97	UNSAT TT=0.973	UNSAT TT=0.618	UNSAT TT=0.033	UNSAT TT=0.024	UNSAT TT=0.024	? TT=98.586	UNSAT TT=17.99	UNSAT TT=26.23
csp/wordsVg/ normalized-crossword-m1c-words-vg15-16_ext.xml	UNSAT TT=0.023	UNSAT TT=0.901	UNSAT TT=0.799	UNSAT TT=0.189	UNSAT TT=0.59	UNSAT TT=0.602	UNSAT TT=0.985	UNSAT TT=0.976	UNSAT TT=0.629	UNSAT TT=0.036	UNSAT TT=0.023	UNSAT TT=0.024	? TT=84.932	UNSAT TT=12.801	UNSAT TT=21.855
csp/wordsVg/ normalized-crossword-m1c-words-vg15-18_ext.xml	UNSAT TT=0.025	UNSAT TT=0.833	UNSAT TT=0.788	UNSAT TT=0.168	UNSAT TT=0.554	UNSAT TT=0.589	UNSAT TT=1.027	UNSAT TT=1.028	UNSAT TT=0.623	UNSAT TT=0.04	UNSAT TT=0.025	UNSAT TT=0.025	? TT=103.37	UNSAT TT=11.699	UNSAT TT=18.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)	Conquer 2009-07-10 (complete)	Mistral 1.545 (complete)	pcs 0.3.2 (complete)	pcs-restart 0.3.2 (complete)	SAT4J CSP 2.1.1 (complete)	Sugar v1.14.6+minisat (complete)	Sugar v1.14.6+picosat (complete)
csp/wordsVg/ normalized-crossword-m1c-words-vg15-19_ext.xml	UNSAT TT=0.023	UNSAT TT=0.822	UNSAT TT=0.759	UNSAT TT=0.148	UNSAT TT=0.618	UNSAT TT=0.586	UNSAT TT=0.999	UNSAT TT=1.005	UNSAT TT=0.633	UNSAT TT=0.031	UNSAT TT=0.025	UNSAT TT=0.023	? (exit code) TT=122.518	UNSAT TT=11.333	UNSAT TT=18.225
csp/wordsVg/ normalized-crossword-m1c-words-vg16-16_ext.xml	UNSAT TT=0.022	UNSAT TT=0.803	UNSAT TT=0.916	UNSAT TT=0.106	UNSAT TT=0.7	UNSAT TT=0.583	UNSAT TT=0.966	UNSAT TT=0.996	UNSAT TT=0.618	UNSAT TT=0.03	UNSAT TT=0.022	UNSAT TT=0.023	? (exit code) TT=85.795	UNSAT TT=7.13	UNSAT TT=12.926
csp/wordsVg/ normalized-crossword-m1c-words-vg16-17_ext.xml	UNSAT TT=0.022	UNSAT TT=0.783	UNSAT TT=0.788	UNSAT TT=0.125	UNSAT TT=0.592	UNSAT TT=0.574	UNSAT TT=0.975	UNSAT TT=1.001	UNSAT TT=0.616	UNSAT TT=0.033	UNSAT TT=0.024	UNSAT TT=0.022	? (exit code) TT=108.875	UNSAT TT=6.798	UNSAT TT=9.922
csp/wordsVg/ normalized-crossword-m1c-words-vg4-4_ext.xml	SAT TT=0.016	SAT TT=0.699	SAT TT=0.692	SAT TT=0.155	SAT TT=0.747	SAT TT=0.669	SAT TT=1.005	SAT TT=3.896	SAT TT=0.636	SAT TT=0.016	SAT TT=0.026	SAT TT=0.026	SAT TT=30.426	SAT TT=1.696	SAT TT=2.259
csp/wordsVg/ normalized-crossword-m1c-words-vg4-5_ext.xml	SAT TT=0.02	SAT TT=0.739	SAT TT=0.735	SAT TT=0.423	SAT TT=0.841	SAT TT=0.901	SAT TT=1.137	SAT TT=7.442	SAT TT=0.717	SAT TT=0.02	SAT TT=0.056	SAT TT=0.046	? TT=117.268	SAT TT=4.382	SAT TT=6.175
csp/wordsVg/ normalized-crossword-m1c-words-vg4-6_ext.xml	SAT TT=0.034	SAT TT=0.769	SAT TT=0.776	SAT TT=0.917	SAT TT=1.169	SAT TT=1.286	SAT TT=1.174	SAT TT=10.473	SAT TT=0.791	SAT TT=0.034	SAT TT=0.105	SAT TT=0.452	? TT=82.804	SAT TT=18.417	SAT TT=20.62
csp/wordsVg/ normalized-crossword-m1c-words-vg4-7_ext.xml	SAT TT=0.048	SAT TT=0.83	SAT TT=0.973	SAT TT=0.877	SAT TT=2.483	SAT TT=1.539	SAT TT=1.433	SAT TT=17.081	SAT TT=0.848	SAT TT=0.048	SAT TT=3.069	SAT TT=2.169	? TT=112.963	SAT TT=42.149	SAT TT=65.913
csp/wordsVg/ normalized-crossword-m1c-words-vg5-5_ext.xml	SAT TT=0.024	SAT TT=0.723	SAT TT=0.797	SAT TT=0.332	SAT TT=1.303	SAT TT=1.123	SAT TT=1.208	SAT TT=11.952	SAT TT=0.717	SAT TT=0.024	SAT TT=0.126	SAT TT=0.241	? TT=119.421	SAT TT=8.387	SAT TT=11.633
csp/wordsVg/ normalized-crossword-m1c-words-vg5-6_ext.xml	SAT TT=0.56	SAT TT=1.17	SAT TT=1.364	SAT TT=24.63	SAT TT=9.594	SAT TT=4.494	SAT TT=2.115	SAT TT=23.702	SAT TT=0.861	SAT TT=0.56	SAT TT=24.578	SAT TT=14.496	? TT=85.86	SAT TT=327.34	SAT TT=210.709
csp/wordsVg/ normalized-crossword-m1c-words-vg6-7_ext.xml	UNSAT TT=712.806	UNSAT TT=1024.24	UNSAT TT=969.936	? (TO) TT=1800.05	? (TO) TT=1800.07	? (TO) TT=1800.07	? (TO) TT=1800.07	? (TO) TT=1800.04	UNSAT TT=712.806	UNSAT TT=1100.98	? (TO) TT=1800.09	? (TO) TT=1800.03	? TT=86.445	? (TO) TT=1800.08	? (TO) TT=1800.07
Bench name	Best results	Abscon 112v4 AC (complete)	Abscon 112v4 ESAC (complete)	bpsolver 09 (complete)	Choco2.1.1 2009-06-10 (complete)	Choco2.1.1b 2009-07-16 (complete)	Concrete 2009-07-14 (complete)	Concrete DC 2009-07-14 (complete)	Conquer 2009-07-10 (complete)	Mistral 1.545 (complete)	pcs 0.3.2 (complete)	pcs-restart 0.3.2 (complete)	SAT4J CSP 2.1.1 (complete)	Sugar v1.14.6+minisat (complete)	Sugar v1.14.6+picosat (complete)
csp/wordsVg/ normalized-crossword-m1c-words-vg6-9_ext.xml	UNSAT TT=212.581	UNSAT TT=212.581	UNSAT TT=220.572	? (TO) TT=1800.1	UNSAT TT=1620.16	UNSAT TT=1146.78	UNSAT TT=1523.75	UNSAT TT=1298.22	UNSAT TT=480.697	UNSAT TT=244.17	? (TO) TT=1800.02	? (TO) TT=1800.1	? TT=78.767	? (TO) TT=1800	? (TO) TT=1800.01
csp/wordsVg/ normalized-crossword-m1c-words-vg7-10_ext.xml	UNSAT TT=56.364	UNSAT TT=66.043	UNSAT TT=56.364	? (TO) TT=1800.03	UNSAT TT=362.657	UNSAT TT=341.767	UNSAT TT=409.608	UNSAT TT=909.846	UNSAT TT=85.778	UNSAT TT=77.837	? (TO) TT=1800.02	? (TO) TT=1800.06	? TT=106.122	? (TO) TT=1800.06	? (TO) TT=1800.01
csp/wordsVg/ normalized-crossword-m1c-words-vg7-7_ext.xml	SAT TT=19.469	SAT TT=93.914	SAT TT=85.962	? (TO) TT=1800.11	SAT TT=123.493	SAT TT=112.124	SAT TT=1523.45	SAT TT=1500.27	SAT TT=276.866	SAT TT=19.469	? (TO) TT=1800.07	? (TO) TT=1800.1	? TT=76.155	? (TO) TT=1800.03	? (TO) TT=1800.02
csp/wordsVg/ normalized-crossword-m1c-words-vg7-8_ext.xml	UNSAT TT=529.862	UNSAT TT=529.862	UNSAT TT=545.782	? (TO) TT=1800.06	? (TO) TT=1800.07	? (TO) TT=1800.17	? (TO) TT=1800.09	? (TO) TT=1800.07	UNSAT TT=781.993	UNSAT TT=844.091	? (TO) TT=1800.05	? (TO) TT=1800.11	? TT=92.362	? (TO) TT=1800.08	? (TO) TT=1800.03
csp/wordsVg/ normalized-crossword-m1c-words-vg8-10_ext.xml	UNSAT TT=33.448	UNSAT TT=45.565	UNSAT TT=33.448	? (TO) TT=1800.04	UNSAT TT=196.538	UNSAT TT=205.402	UNSAT TT=385.599	UNSAT TT=896.606	UNSAT TT=59.21	UNSAT TT=46.15	? (TO) TT=1800.11	UNSAT TT=1659.29	? TT=27.697	? (TO) TT=1800.06	? (TO) TT=1800.07
csp/wordsVg/ normalized-crossword-m1c-words-vg8-12_ext.xml	UNSAT TT=3.248	UNSAT TT=4.73	UNSAT TT=5.713	UNSAT TT=104.261	UNSAT TT=23.318	UNSAT TT=23.555	UNSAT TT=16.001	UNSAT TT=322.417	UNSAT TT=4.539	UNSAT TT=3.248	UNSAT TT=63.76	UNSAT TT=98.348	? TT=28.066	? (TO) TT=1800.02	? (TO) TT=1800.09
csp/wordsVg/ normalized-crossword-m1c-words-vg8-8_ext.xml	UNSAT TT=277.456	UNSAT TT=277.456	UNSAT TT=302.462	? (TO) TT=1800.09	UNSAT TT=1209.17	UNSAT TT=1484.66	? (TO) TT=1800.07	? (TO) TT=1800	UNSAT TT=555.332	UNSAT TT=448.753	? (TO) TT=1800.09	? (TO) TT=1800.05	? TT=25.32	? (TO) TT=1800.08	? (TO) TT=1800.03
csp/wordsVg/ normalized-crossword-m1c-words-vg8-9_ext.xml	UNSAT TT=155.263	UNSAT TT=155.263	UNSAT TT=190.228	? (TO) TT=1800.02	UNSAT TT=705.808	UNSAT TT=829.966	UNSAT TT=1589.67	UNSAT TT=1650.94	UNSAT TT=480.456	UNSAT TT=185.748	? (TO) TT=1800.1	? (TO) TT=1800.05	? TT=25.245	? (TO) TT=1800.03	? (TO) TT=1800.01
csp/wordsVg/ normalized-crossword-m1c-words-vg9-10_ext.xml	UNSAT TT=25.66	UNSAT TT=25.66	UNSAT TT=26.882	UNSAT TT=364.914	UNSAT TT=108.264	UNSAT TT=142.889	UNSAT TT=192.975	UNSAT TT=787.278	UNSAT TT=28.887	UNSAT TT=40.751	UNSAT TT=740.32	UNSAT TT=804.859	? TT=27.888	? (TO) TT=1800.04	? (TO) TT=1800.01
csp/wordsVg/ normalized-crossword-m1c-words-vg9-11_ext.xml	UNSAT TT=8.652	UNSAT TT=9.76	UNSAT TT=10.342	UNSAT TT=154.4	UNSAT TT=67.377	UNSAT TT=50.329	UNSAT TT=96.377	UNSAT TT=364.857	UNSAT TT=8.652	UNSAT TT=11.24	UNSAT TT=262.249	UNSAT TT=222.549	? TT=26.532	? (TO) TT=1800.05	? (TO) TT=1800.1
Bench name	Best results	Abscon 112v4 AC (complete)	Abscon 112v4 ESAC (complete)	bpsolver 09 (complete)	Choco2.1.1 2009-06-10 (complete)	Choco2.1.1b 2009-07-16 (complete)	Concrete 2009-07-14 (complete)	Concrete DC 2009-07-14 (complete)	Conquer 2009-07-10 (complete)	Mistral 1.545 (complete)	pcs 0.3.2 (complete)	pcs-restart 0.3.2 (complete)	SAT4J CSP 2.1.1 (complete)	Sugar v1.14.6+minisat (complete)	Sugar v1.14.6+picosat (complete)
csp/wordsVg/ normalized-crossword-m1c-words-vg9-12_ext.xml	UNSAT TT=2.673	UNSAT TT=3.89	UNSAT TT=5.188	UNSAT TT=110.491	UNSAT TT=22.787	UNSAT TT=20.385	UNSAT TT=8.197	UNSAT TT=1026.74	UNSAT TT=5.136	UNSAT TT=2.673	UNSAT TT=62.824	UNSAT TT=64.591	? TT=26.468	UNSAT TT=1655.75	? (TO) TT=1800.08
csp/wordsVg/ normalized-crossword-m1c-words-vg9-9_ext.xml	UNSAT TT=68.243	UNSAT TT=68.243	UNSAT TT=86.751	? (TO) TT=1800.06	UNSAT TT=261.034	UNSAT TT=339.612	UNSAT TT=778.998	UNSAT TT=1301.31	UNSAT TT=159.268	UNSAT TT=88.607	? (TO) TT=1800.08	? (TO) TT=1800.06	? TT=23.055	? (TO) TT=1800.09	? (TO) TT=1800.02

Statistics		Abscon 112v4 AC (complete)	Abscon 112v4 ESAC (complete)	bpsolver 09 (complete)	Choco2.1.1 2009-06-10 (complete)	Choco2.1.1b 2009-07-16 (complete)	Concrete 2009-07-14 (complete)	Concrete DC 2009-07-14 (complete)	Conquer 2009-07-10 (complete)	Mistral 1.545 (complete)	pcs 0.3.2 (complete)	pcs-restart 0.3.2 (complete)	SAT4J CSP 2.1.1 (complete)	Sugar v1.14.6+minisat (complete)	Sugar v1.14.6+picosat (complete)
Number of times the solver is able to give the best known answer		180	179	125	171	172	171	159	178	176	153	152	3	121	101
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)		30	11	0	0	0	1	0	7	97	21	17	0	0	0