CSP 2009 Competition: results by benchmark

Results by benchmark for category n-ary constraints in intension (N-ARY-INT), subcategory problems with patterns

This page displays the results of the different solvers for each benchmark for category n-ary constraints in intension (N-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/fischer/ normalized-fischer-10-10-fair.xml		? TT=8.383	? TT=8.72	? (TO) TT=1800.03	? (TO) TT=1800.15	? (TO) TT=1800.19	? TT=354.025	? TT=553.327	? (TO) TT=1800.06	? (MO) TT=907.315	? (MO) TT=952.506	? TT=3.641	? (MO) TT=843.6	? (MO) TT=869.39
csp/fischer/ normalized-fischer-10-11-fair.xml		? TT=8.836	? TT=8.72	? (TO) TT=1800.06	? (TO) TT=1800.13	? (TO) TT=1800.19	? TT=534.898	? TT=505.57	? (TO) TT=1800.04	? (MO) TT=867.269	? (MO) TT=898.415	? TT=3.891	? (MO) TT=1044.44	? (MO) TT=1094.48
csp/fischer/ normalized-fischer-10-1-fair.xml	SAT TT=0.308	? TT=9.791	? TT=8.394	SAT TT=0.946	SAT TT=15.204	SAT TT=21.161	? TT=723.335	? TT=787.09	SAT TT=0.31	SAT TT=0.354	SAT TT=0.308	? TT=2.027	SAT TT=60.87	SAT TT=106.325
csp/fischer/ normalized-fischer-10-2-fair.xml	UNSAT TT=1.899	? TT=8.75	? TT=8.899	UNSAT TT=157.276	UNSAT TT=52.347	UNSAT TT=4.296	? TT=172.312	? (TO) TT=154.6	? (TO) TT=1800.09	UNSAT TT=1.899	UNSAT TT=3.567	? TT=2.886	UNSAT TT=102.215	UNSAT TT=175.497
csp/fischer/ normalized-fischer-10-3-fair.xml	UNSAT TT=1.815	? TT=7.753	? TT=8.039	UNSAT TT=573.124	UNSAT TT=10.908	UNSAT TT=4.02	? TT=252.124	? TT=232.817	UNSAT TT=2.915	UNSAT TT=2.098	UNSAT TT=1.815	? TT=2.394	UNSAT TT=163.921	UNSAT TT=243.462
csp/fischer/ normalized-fischer-11-12-fair.xml		? TT=8.792	? TT=8.929	? (TO) TT=1800.03	? (TO) TT=1800.22	? (TO) TT=1800.22	? TT=536.848	? TT=540.033	? (TO) TT=1800.12	? (MO) TT=770.8	? (MO) TT=890.554	? TT=4.156	? (MO) TT=1444.87	? (MO) TT=1588.27
csp/fischer/ normalized-fischer-11-13-fair.xml		? TT=8.641	? TT=8.368	? (TO) TT=1800.07	? (TO) TT=1800.21	? (TO) TT=1800.2	? TT=560.625	? TT=577.68	? (TO) TT=1800.12	? (MO) TT=953.71	? (MO) TT=936.283	? TT=3.344	? (MO) TT=1723.82	? (TO) TT=1800.14
csp/fischer/ normalized-fischer-11-14-fair.xml		? TT=9.057	? TT=7.743	? (TO) TT=1800.08	? (TO) TT=1800.23	? (TO) TT=1800.25	? TT=630.628	? TT=624.759	? (TO) TT=1800.04	? (MO) TT=780.672	? (MO) TT=805.231	? TT=3.457	? (TO) TT=1800.03	? (TO) TT=1800.09
csp/fischer/ normalized-fischer-11-3-fair.xml	UNSAT TT=3.279	? TT=9.363	? TT=10.169	? (TO) TT=1800.08	UNSAT TT=13.141	UNSAT TT=4.106	? TT=243.46	? TT=257.944	UNSAT TT=7.165	UNSAT TT=3.279	UNSAT TT=4.442	? TT=2.432	UNSAT TT=186.01	UNSAT TT=261.073
csp/fischer/ normalized-fischer-11-9-fair.xml		? TT=9.273	? TT=8.392	? (TO) TT=1800.04	? (TO) TT=1800.23	? (TO) TT=1800.14	? TT=544.829	? TT=327.486	? (TO) TT=1800.1	? (MO) TT=1052.2	? (MO) TT=914.302	? TT=3.987	? (MO) TT=879.693	? (MO) TT=896.426
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/fischer/ normalized-fischer-1-2-fair.xml	UNSAT TT=0.069	? (TO) TT=1800.21	? (TO) TT=1800.22	UNSAT TT=0.172	UNSAT TT=2.751	UNSAT TT=1.57	? (TO) TT=1800.03	? (TO) TT=1800.05	UNSAT TT=0.069	UNSAT TT=0.122	UNSAT TT=0.157	? TT=59.678	UNSAT TT=4.399	UNSAT TT=13.542
csp/fischer/ normalized-fischer-1-3-fair.xml	UNSAT TT=0.052	? TT=19.381	? TT=20.361	UNSAT TT=0.228	UNSAT TT=1.869	UNSAT TT=1.604	? (TO) TT=1800.04	? (TO) TT=1800.01	UNSAT TT=0.052	UNSAT TT=0.086	UNSAT TT=0.087	? TT=42.02	UNSAT TT=5.283	UNSAT TT=14.85
csp/fischer/ normalized-fischer-2-3-fair.xml	UNSAT TT=0.106	? TT=14.888	? TT=14.412	UNSAT TT=0.395	UNSAT TT=2.496	UNSAT TT=1.87	? (TO) TT=1800.09	? (TO) TT=1800.07	UNSAT TT=0.106	UNSAT TT=0.188	UNSAT TT=0.19	? TT=2.849	UNSAT TT=12.16	UNSAT TT=33.163
csp/fischer/ normalized-fischer-3-8-fair.xml	SAT TT=1.098	? TT=9.405	? TT=8.746	SAT TT=602.005	SAT TT=69.428	SAT TT=227.851	? TT=187.884	? TT=194.977	SAT TT=1.098	SAT TT=10.222	SAT TT=7.636	? TT=2.964	SAT TT=147.275	SAT TT=171.258
csp/fischer/ normalized-fischer-4-6-fair.xml	UNSAT TT=3.511	? TT=8.72	? TT=8.361	UNSAT TT=514.437	UNSAT TT=26.886	UNSAT TT=33.844	? TT=179.468	? TT=183.649	UNSAT TT=3.511	UNSAT TT=13.031	UNSAT TT=16.722	? TT=2.789	UNSAT TT=84.845	UNSAT TT=164.289
csp/fischer/ normalized-fischer-5-6-fair.xml	UNSAT TT=10.087	? TT=8.706	? TT=8.38	? (TO) TT=1800.05	UNSAT TT=88.156	UNSAT TT=56.141	? TT=217.148	? TT=206.322	UNSAT TT=10.087	UNSAT TT=30.915	UNSAT TT=33.746	? TT=2.423	UNSAT TT=137.427	UNSAT TT=218.202
csp/fischer/ normalized-fischer-6-1-fair.xml	SAT TT=0.181	? TT=13.731	? TT=12.899	SAT TT=0.536	SAT TT=6.965	SAT TT=8.755	? (TO) TT=1800	? (TO) TT=1800.04	SAT TT=0.272	SAT TT=0.2	SAT TT=0.181	? TT=2.92	SAT TT=24.414	SAT TT=59.249
csp/fischer/ normalized-fischer-7-10-fair.xml		? TT=8.862	? TT=8.702	? (TO) TT=1800.06	? (TO) TT=1800.18	? (TO) TT=1800.12	? TT=407.468	? TT=428.861	? (TO) TT=1800.09	? (MO) TT=708.799	? (MO) TT=717.303	? TT=3.254	? (MO) TT=422.68	? (MO) TT=489.16
csp/fischer/ normalized-fischer-7-1-fair.xml	SAT TT=0.208	? TT=8.715	? TT=8.696	SAT TT=0.662	SAT TT=9.449	SAT TT=13.297	? TT=734.296	? TT=705.418	SAT TT=0.36	SAT TT=0.208	SAT TT=0.234	? TT=2.6	SAT TT=33.013	SAT TT=70.215
csp/fischer/ normalized-fischer-7-4-fair.xml	UNSAT TT=3.106	? TT=9.764	? TT=8.409	UNSAT TT=884.922	UNSAT TT=14.404	UNSAT TT=15.297	? TT=220.744	? TT=228.726	UNSAT TT=5.544	UNSAT TT=3.106	UNSAT TT=4.488	? TT=2.299	UNSAT TT=129.116	UNSAT TT=196.338
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/fischer/ normalized-fischer-8-13-fair.xml	SAT TT=32.309	? TT=9.06	? TT=8.714	? (TO) TT=1800.12	? (TO) TT=1800.2	? (TO) TT=1800.12	? TT=607.485	? TT=623.426	? (TO) TT=1800.07	SAT TT=32.309	SAT TT=178.797	? TT=3.795	? (MO) TT=908.45	? (MO) TT=946.01
csp/fischer/ normalized-fischer-8-2-fair.xml	UNSAT TT=1.158	? TT=8.444	? TT=8.66	UNSAT TT=22.61	UNSAT TT=23.291	UNSAT TT=3.722	? TT=839.186	? TT=836.854	UNSAT TT=1.33	UNSAT TT=1.158	UNSAT TT=1.719	? TT=2.348	UNSAT TT=64.588	UNSAT TT=125.917
csp/fischer/ normalized-fischer-8-7-fair.xml	UNSAT TT=159.489	? TT=8.693	? TT=8.874	? (TO) TT=1800.11	? (TO) TT=1800.16	? (TO) TT=1800.13	? TT=322.133	? TT=355.813	? (TO) TT=1800.05	UNSAT TT=159.489	UNSAT TT=223.833	? TT=3.37	? (MO) TT=288.57	? (MO) TT=444.85
csp/fischer/ normalized-fischer-9-10-fair.xml		? TT=9.362	? TT=9.756	? (TO) TT=1800.04	? (TO) TT=1800.14	? (TO) TT=1800.16	? TT=448.886	? TT=490.172	? (TO) TT=1800.07	? (MO) TT=833.663	? (MO) TT=769.079	? TT=3.923	? (MO) TT=669.13	? (MO) TT=862.35
csp/fischer/ normalized-fischer-9-6-fair.xml	UNSAT TT=133.392	? TT=8.389	? TT=9.604	? (TO) TT=1800.05	UNSAT TT=461.442	UNSAT TT=636.855	? (TO) TT=331.52	? TT=351.038	? (TO) TT=1800.11	UNSAT TT=155.886	UNSAT TT=133.392	? TT=3.148	? (MO) TT=271.44	? (MO) TT=448.52
csp/mknap/ normalized-mknap-1-0.xml	SAT TT=0	SAT TT=0.737	SAT TT=0.669	SAT TT=0	SAT TT=0.523	SAT TT=0.549	SAT TT=1.217	SAT TT=1.177	SAT TT=0.008	SAT TT=0.025	SAT TT=0.025	SAT TT=0.988	SAT TT=0.525	SAT TT=0.521
csp/mknap/ normalized-mknap-1-2.xml	SAT TT=0.015	SAT TT=1.241	SAT TT=1.265	SAT TT=0.038	SAT TT=0.675	SAT TT=0.6	SAT TT=1.652	SAT TT=1.708	SAT TT=0.015	SAT TT=0.305	SAT TT=0.261	SAT TT=13.401	SAT TT=0.768	SAT TT=1.355
csp/mknap/ normalized-mknap-1-3.xml	SAT TT=0.046	SAT TT=18.922	SAT TT=17.551	SAT TT=0.046	SAT TT=0.685	SAT TT=0.803	SAT TT=8.588	SAT TT=8.114	SAT TT=0.052	SAT TT=0.217	SAT TT=5.475	? TT=394.995	SAT TT=1.16	SAT TT=2.528
csp/mknap/ normalized-mknap-1-4.xml	SAT TT=0.132	? (TO) TT=1800.09	? (TO) TT=1800.14	SAT TT=0.132	SAT TT=0.762	SAT TT=0.839	SAT TT=534.132	SAT TT=546.725	SAT TT=14.724	SAT TT=20.862	SAT TT=40.122	? TT=1213.39	SAT TT=5.168	SAT TT=8.581
csp/mknap/ normalized-mknap-1-5.xml	SAT TT=1.255	? (TO) TT=1800.07	? (TO) TT=1800.1	SAT TT=1.403	SAT TT=1.255	SAT TT=13.992	? (TO) TT=1800.04	? (TO) TT=1800.1	SAT TT=18.598	? (MO) TT=788.017	? (MO) TT=857.043	? (TO) TT=1800.06	? (MO) TT=118.71	? (MO) TT=289.069
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/mknap/ normalized-mknap-1-6.xml	SAT TT=432.922	? (TO) TT=1800.12	? (TO) TT=1800.06	SAT TT=572.62	SAT TT=432.922	SAT TT=843.345	? (TO) TT=1800.08	? (TO) TT=1800.02	? (TO) TT=1800.09	? (MO) TT=946.952	? (MO) TT=1001.95	? (TO) TT=1800.07	? TT=278.71	? TT=285.335
csp/primes-10/ normalized-primes-10-20-2-3.xml	SAT TT=0.015	SAT TT=4.377	SAT TT=2.914	SAT TT=0.04	SAT TT=0.723	SAT TT=0.824	SAT TT=11.995	SAT TT=381.411	SAT TT=0.015	SAT TT=0.204	SAT TT=0.317	? TT=665.961	SAT TT=1.169	SAT TT=2.555
csp/primes-10/ normalized-primes-10-20-2-5.xml	SAT TT=0.012	SAT TT=5.23	SAT TT=10.378	SAT TT=0.038	SAT TT=0.859	SAT TT=0.757	? (TO) TT=1800.03	? (TO) TT=1800.04	SAT TT=0.012	SAT TT=1.098	SAT TT=0.89	? (TO) TT=1802.15	SAT TT=12.975	SAT TT=49.466
csp/primes-10/ normalized-primes-10-20-2-7.xml	SAT TT=0.013	SAT TT=710.647	SAT TT=1256.43	SAT TT=0.046	SAT TT=0.799	SAT TT=0.882	? (TO) TT=1800.02	? (TO) TT=1800.01	SAT TT=0.013	SAT TT=13.963	SAT TT=13.077	? TT=101.167	SAT TT=46.893	SAT TT=204.712
csp/primes-10/ normalized-primes-10-20-3-1.xml	SAT TT=0.012	SAT TT=3.184	SAT TT=3.559	SAT TT=0.039	SAT TT=0.763	SAT TT=0.778	SAT TT=1.922	SAT TT=10.42	SAT TT=0.012	SAT TT=0.8	SAT TT=0.512	? (TO) TT=1802.17	SAT TT=0.876	SAT TT=1.254
csp/primes-10/ normalized-primes-10-20-3-3.xml	SAT TT=0.04	SAT TT=6.112	SAT TT=6.154	SAT TT=0.041	SAT TT=0.751	SAT TT=0.797	SAT TT=306.06	? (TO) TT=1800.06	SAT TT=0.04	SAT TT=0.814	SAT TT=0.868	? TT=191.62	SAT TT=4.988	SAT TT=20.775
csp/primes-10/ normalized-primes-10-20-3-7.xml	SAT TT=0.015	? (TO) TT=1800.08	? (TO) TT=1800.1	SAT TT=0.046	SAT TT=0.857	SAT TT=0.797	? (TO) TT=1800.04	? (TO) TT=1800.08	SAT TT=0.015	SAT TT=0.76	SAT TT=1.728	? TT=181.794	? (MO) TT=55.13	? (MO) TT=261.726
csp/primes-10/ normalized-primes-10-40-2-3.xml	SAT TT=0.015	SAT TT=2.015	SAT TT=1.918	SAT TT=0.045	SAT TT=0.788	SAT TT=0.827	SAT TT=15.821	SAT TT=54.379	SAT TT=0.015	SAT TT=0.424	SAT TT=0.434	? TT=916.531	SAT TT=1.305	SAT TT=1.882
csp/primes-10/ normalized-primes-10-40-2-5.xml	SAT TT=0.016	SAT TT=4.167	SAT TT=4.602	SAT TT=0.05	SAT TT=0.889	SAT TT=0.862	SAT TT=533.148	SAT TT=1094.95	SAT TT=0.016	SAT TT=3.583	SAT TT=5.525	? TT=368.865	SAT TT=10.022	SAT TT=36.516
csp/primes-10/ normalized-primes-10-40-2-7.xml	SAT TT=1.457	? (TO) TT=1800.12	? (TO) TT=1800.14	? (TO) TT=1800.07	SAT TT=3.029	SAT TT=3.165	? (TO) TT=1800	? (TO) TT=1800.05	SAT TT=1.457	? (TO) TT=1800.14	? (TO) TT=1800.16	? TT=174.075	? (MO) TT=55.4	? (MO) TT=259.56
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/primes-10/ normalized-primes-10-60-2-1.xml	SAT TT=0.015	SAT TT=0.934	SAT TT=0.901	SAT TT=0.047	SAT TT=0.779	SAT TT=0.755	SAT TT=1.663	SAT TT=1.748	SAT TT=0.015	SAT TT=0.034	SAT TT=0.036	SAT TT=6.982	SAT TT=0.784	SAT TT=0.85
csp/primes-10/ normalized-primes-10-60-3-1.xml	SAT TT=0.017	SAT TT=1.56	SAT TT=1.534	SAT TT=0.055	SAT TT=0.77	SAT TT=0.745	SAT TT=3.124	SAT TT=3.223	SAT TT=0.017	SAT TT=0.057	SAT TT=0.055	? TT=174.282	SAT TT=0.97	SAT TT=1.317
csp/primes-10/ normalized-primes-10-60-3-3.xml	SAT TT=0.065	SAT TT=8.109	SAT TT=3.436	SAT TT=0.065	SAT TT=0.993	SAT TT=0.963	SAT TT=1000.12	SAT TT=972.304	SAT TT=0.114	SAT TT=5.813	SAT TT=4.184	? TT=164.83	SAT TT=20.661	SAT TT=68.344
csp/primes-10/ normalized-primes-10-80-2-3.xml	SAT TT=0.018	SAT TT=1.23	SAT TT=1.117	SAT TT=0.056	SAT TT=0.881	SAT TT=0.821	SAT TT=32.626	SAT TT=32.539	SAT TT=0.018	SAT TT=0.045	SAT TT=0.049	? TT=943.704	SAT TT=0.923	SAT TT=0.912
csp/primes-10/ normalized-primes-10-80-3-1.xml	SAT TT=0.022	SAT TT=1.32	SAT TT=1.306	SAT TT=0.061	SAT TT=0.889	SAT TT=0.936	SAT TT=3.628	SAT TT=3.648	SAT TT=0.022	SAT TT=0.059	SAT TT=0.057	? TT=171.211	SAT TT=0.973	SAT TT=0.973
csp/primes-10/ normalized-primes-10-80-3-3.xml	SAT TT=0.032	SAT TT=2.996	SAT TT=2.866	SAT TT=0.065	SAT TT=0.914	SAT TT=0.877	SAT TT=964.917	SAT TT=947.301	SAT TT=0.032	SAT TT=0.092	SAT TT=0.103	? TT=296.772	SAT TT=12.098	SAT TT=52.297
csp/primes-15/ normalized-primes-15-20-2-1.xml	SAT TT=0.014	SAT TT=1.224	SAT TT=1.081	SAT TT=0.038	SAT TT=0.71	SAT TT=0.688	SAT TT=1.425	SAT TT=1.664	SAT TT=0.014	SAT TT=0.031	SAT TT=0.028	SAT TT=8.109	SAT TT=0.722	SAT TT=0.759
csp/primes-15/ normalized-primes-15-20-2-3.xml	SAT TT=0.013	SAT TT=4.193	SAT TT=3.706	SAT TT=0.041	SAT TT=0.756	SAT TT=0.781	SAT TT=123.68	? (TO) TT=1800.06	SAT TT=0.013	SAT TT=0.429	SAT TT=0.492	? TT=190.566	SAT TT=3.07	SAT TT=9.481
csp/primes-15/ normalized-primes-15-20-2-7.xml	SAT TT=0.013	? (TO) TT=1800.09	? (TO) TT=1800.18	SAT TT=0.047	SAT TT=0.965	SAT TT=0.863	? (TO) TT=1800.03	? (TO) TT=1800.04	SAT TT=0.013	SAT TT=14.293	SAT TT=121.24	? TT=171.576	? (MO) TT=161.103	? (MO) TT=369.181
csp/primes-15/ normalized-primes-15-20-3-3.xml	SAT TT=0.012	SAT TT=1146.23	SAT TT=1145.16	SAT TT=0.04	SAT TT=0.787	SAT TT=0.822	? (TO) TT=1800.02	? (TO) TT=1800.01	SAT TT=0.012	SAT TT=11.17	SAT TT=10.623	? TT=154.781	? (MO) TT=49.459	SAT TT=224.951
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/primes-15/ normalized-primes-15-20-3-7.xml	SAT TT=0.045	? (TO) TT=1800.14	? (TO) TT=1800.1	SAT TT=0.045	SAT TT=1.132	SAT TT=0.931	? (TO) TT=1800.05	? (TO) TT=1800.07	SAT TT=0.062	? (TO) TT=1800.08	? (TO) TT=1800.06	? TT=600.705	? TT=278.291	? TT=266.416
csp/primes-15/ normalized-primes-15-40-2-1.xml	SAT TT=0.013	SAT TT=1.125	SAT TT=0.986	SAT TT=0.041	SAT TT=0.737	SAT TT=0.749	SAT TT=1.695	SAT TT=1.767	SAT TT=0.013	SAT TT=0.04	SAT TT=0.045	SAT TT=17.768	SAT TT=0.78	SAT TT=0.774
csp/primes-15/ normalized-primes-15-40-2-3.xml	SAT TT=0.029	SAT TT=2.443	SAT TT=3.537	SAT TT=0.053	SAT TT=0.952	SAT TT=0.839	SAT TT=159.129	SAT TT=159.081	SAT TT=0.029	SAT TT=2.097	SAT TT=1.425	? TT=744.636	SAT TT=2.3	SAT TT=6.387
csp/primes-15/ normalized-primes-15-40-2-5.xml	SAT TT=0.041	SAT TT=103.596	SAT TT=8.15	SAT TT=13.169	SAT TT=0.879	SAT TT=0.826	? (TO) TT=1800.02	? (TO) TT=1800.02	SAT TT=0.041	SAT TT=7.057	SAT TT=16.102	? TT=181.723	SAT TT=23.122	SAT TT=100.683
csp/primes-15/ normalized-primes-15-40-2-7.xml	SAT TT=62.885	? (TO) TT=1800.13	? (TO) TT=1800.17	? (TO) TT=1800.07	SAT TT=62.885	SAT TT=359.615	? (TO) TT=1800.1	? (TO) TT=1800.03	SAT TT=589.696	? (TO) TT=1800.14	? (TO) TT=1800.18	? TT=173.079	? TT=308.516	? TT=206.53
csp/primes-15/ normalized-primes-15-60-2-3.xml	SAT TT=0.023	SAT TT=1.521	SAT TT=1.36	SAT TT=0.056	SAT TT=0.94	SAT TT=0.816	SAT TT=295.336	SAT TT=278.022	SAT TT=0.023	SAT TT=0.089	SAT TT=0.062	? TT=205.727	SAT TT=0.967	SAT TT=1.218
csp/primes-15/ normalized-primes-15-60-3-1.xml	SAT TT=0.016	SAT TT=1.444	SAT TT=1.301	SAT TT=0.052	SAT TT=0.785	SAT TT=0.791	SAT TT=11.548	SAT TT=11.667	SAT TT=0.016	SAT TT=0.051	SAT TT=0.05	? TT=577.604	SAT TT=1.072	SAT TT=1.069
csp/primes-15/ normalized-primes-15-60-3-3.xml	SAT TT=0.025	SAT TT=3.625	SAT TT=3.174	SAT TT=0.282	SAT TT=0.928	SAT TT=0.847	? (TO) TT=1800.08	? (TO) TT=1800.08	SAT TT=0.025	SAT TT=0.362	SAT TT=0.299	? TT=167.914	? (MO) TT=60.75	? (MO) TT=266.27
csp/primes-15/ normalized-primes-15-60-3-7.xml		? (TO) TT=1800.11	? (TO) TT=1800.17	? (TO) TT=1800.06	? (TO) TT=1800.14	? (TO) TT=1800.16	? (TO) TT=1800.08	? (TO) TT=1800.06	? (TO) TT=1800.1	? (TO) TT=1800.19	? (TO) TT=1800.12	? TT=169.853	? TT=260.404	? TT=258.618
csp/primes-15/ normalized-primes-15-80-2-1.xml	SAT TT=0.02	SAT TT=1.005	SAT TT=1.076	SAT TT=0.051	SAT TT=0.755	SAT TT=0.752	SAT TT=2.017	SAT TT=2.047	SAT TT=0.02	SAT TT=0.042	SAT TT=0.041	SAT TT=16.188	SAT TT=0.939	SAT TT=0.844
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/primes-15/ normalized-primes-15-80-2-7.xml	SAT TT=0.031	SAT TT=1.646	SAT TT=1.525	SAT TT=0.073	SAT TT=0.797	SAT TT=0.832	? (TO) TT=1800.01	? (TO) TT=1800.07	SAT TT=0.031	SAT TT=0.101	SAT TT=0.101	? TT=455.109	SAT TT=27.219	SAT TT=117.222
csp/primes-15/ normalized-primes-15-80-3-7.xml	SAT TT=0.218	SAT TT=288.998	SAT TT=552.27	SAT TT=0.218	SAT TT=1.276	SAT TT=1.477	? (TO) TT=1800.01	? (TO) TT=1800.1	SAT TT=0.46	SAT TT=3.853	SAT TT=11.086	? TT=164.859	? TT=251.066	? TT=260.883
csp/primes-20/ normalized-primes-20-20-2-1.xml	SAT TT=0.01	SAT TT=1.674	SAT TT=1.624	SAT TT=0.039	SAT TT=0.771	SAT TT=0.757	SAT TT=1.542	SAT TT=63.221	SAT TT=0.01	SAT TT=0.036	SAT TT=0.03	SAT TT=17.735	SAT TT=0.771	SAT TT=0.839
csp/primes-20/ normalized-primes-20-20-2-5.xml	SAT TT=0.022	SAT TT=9.208	SAT TT=14.388	SAT TT=0.041	SAT TT=0.936	SAT TT=0.861	? (TO) TT=1800.02	? (TO) TT=1800.03	SAT TT=0.022	SAT TT=81.011	SAT TT=180.442	? TT=151.307	? TT=298.937	? TT=274.602
csp/primes-20/ normalized-primes-20-20-2-7.xml	SAT TT=0.016	? (TO) TT=1800.12	? (TO) TT=1800.13	SAT TT=0.044	SAT TT=0.953	SAT TT=0.911	? (TO) TT=1800.09	? (TO) TT=1800.02	SAT TT=0.016	SAT TT=348.516	SAT TT=399.808	? TT=150.603	? TT=262.849	? TT=264.557
csp/primes-20/ normalized-primes-20-20-3-1.xml	SAT TT=0.02	SAT TT=4.424	SAT TT=7.218	SAT TT=0.039	SAT TT=0.946	SAT TT=0.938	SAT TT=20.689	SAT TT=1432.4	SAT TT=0.02	SAT TT=3.041	SAT TT=0.541	? TT=159.362	SAT TT=1.475	SAT TT=3.643
csp/primes-20/ normalized-primes-20-20-3-7.xml	SAT TT=0.03	SAT TT=162.322	SAT TT=149.813	SAT TT=0.046	SAT TT=0.917	SAT TT=1.005	? (TO) TT=1800.03	? (TO) TT=1800.06	SAT TT=0.03	? (TO) TT=1800.04	? (TO) TT=1800.04	? TT=149.803	? TT=249.361	? TT=263.904
csp/primes-20/ normalized-primes-20-40-2-1.xml	SAT TT=0.013	SAT TT=1.243	SAT TT=1.274	SAT TT=0.041	SAT TT=0.933	SAT TT=0.771	SAT TT=1.976	SAT TT=41.605	SAT TT=0.013	SAT TT=0.053	SAT TT=0.046	SAT TT=35.241	SAT TT=0.827	SAT TT=0.856
csp/primes-20/ normalized-primes-20-40-2-5.xml	SAT TT=0.026	SAT TT=8.094	SAT TT=10.253	SAT TT=0.052	SAT TT=0.976	SAT TT=1.033	? (TO) TT=1800.06	? (TO) TT=1800.04	SAT TT=0.026	SAT TT=1010.63	? (TO) TT=1800.12	? TT=223.53	? TT=266.676	? TT=281.706
csp/primes-20/ normalized-primes-20-40-2-7.xml	SAT TT=72.602	? (TO) TT=1800.14	? (TO) TT=1800.1	SAT TT=164.634	SAT TT=1716.24	SAT TT=131.184	? (TO) TT=1800.07	? (TO) TT=1800.07	SAT TT=72.602	? (TO) TT=1800.13	? (TO) TT=1800.17	? TT=151.598	? TT=266.068	? TT=254.065
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/primes-20/ normalized-primes-20-40-3-7.xml		? (TO) TT=1800.06	? (TO) TT=1800.08	? (TO) TT=1800.1	? (TO) TT=1800.21	? (TO) TT=1800.04	? (TO) TT=1800.06	? (TO) TT=1800.1	? (TO) TT=1800.05	? (TO) TT=1800.09	? (TO) TT=1800.15	? TT=156.942	? TT=271.049	? TT=292.767
csp/primes-20/ normalized-primes-20-60-2-1.xml	SAT TT=0.018	SAT TT=1.383	SAT TT=1.203	SAT TT=0.045	SAT TT=0.812	SAT TT=0.791	SAT TT=2.25	SAT TT=17.914	SAT TT=0.018	SAT TT=0.039	SAT TT=0.041	SAT TT=38.707	SAT TT=0.806	SAT TT=0.852
csp/primes-20/ normalized-primes-20-80-2-1.xml	SAT TT=0.016	SAT TT=1.313	SAT TT=1.294	SAT TT=0.052	SAT TT=0.789	SAT TT=0.769	SAT TT=2.527	SAT TT=6.606	SAT TT=0.016	SAT TT=0.039	SAT TT=0.036	SAT TT=42.99	SAT TT=0.79	SAT TT=0.844
csp/primes-20/ normalized-primes-20-80-2-5.xml	SAT TT=0.024	SAT TT=2.348	SAT TT=2.167	SAT TT=0.06	SAT TT=0.849	SAT TT=0.802	? (TO) TT=1800.04	? (TO) TT=1800.03	SAT TT=0.024	SAT TT=0.081	SAT TT=0.081	? TT=790.023	SAT TT=1.077	SAT TT=1.066
csp/primes-20/ normalized-primes-20-80-2-7.xml	SAT TT=0.03	SAT TT=2.444	SAT TT=2.621	SAT TT=0.069	SAT TT=0.814	SAT TT=0.84	? (TO) TT=1800.05	? (TO) TT=1800.08	SAT TT=0.03	SAT TT=0.125	SAT TT=0.221	? TT=390.299	SAT TT=1.221	SAT TT=1.238
csp/primes-20/ normalized-primes-20-80-3-5.xml	SAT TT=9.193	? (TO) TT=1800.1	? (TO) TT=1800.15	SAT TT=109.979	SAT TT=9.193	SAT TT=84.479	? (TO) TT=1800.03	? (TO) TT=1800.03	SAT TT=68.333	? (TO) TT=1800.15	? (TO) TT=1800.15	? TT=148.891	? TT=243.627	? TT=255.248
csp/primes-20/ normalized-primes-20-80-3-7.xml	SAT TT=0.238	SAT TT=944.483	SAT TT=921.047	SAT TT=15.167	SAT TT=1.69	SAT TT=1.593	? (TO) TT=1800.03	? (TO) TT=1800.08	SAT TT=0.238	SAT TT=29.165	SAT TT=48.754	? TT=619.804	? TT=267.671	? TT=266.901
csp/primes-25/ normalized-primes-25-20-2-5.xml	SAT TT=0.016	? (TO) TT=1800.09	? (TO) TT=1800.1	SAT TT=0.042	SAT TT=1.063	SAT TT=0.988	? (TO) TT=1800.01	? (TO) TT=1800.01	SAT TT=0.016	SAT TT=335.064	SAT TT=1526.06	? TT=163.928	? TT=279.083	? TT=276.621
csp/primes-25/ normalized-primes-25-20-3-5.xml	SAT TT=0.016	SAT TT=1296.58	SAT TT=1301.96	SAT TT=0.045	SAT TT=1.102	SAT TT=0.981	? (TO) TT=1800.09	? (TO) TT=1800.09	SAT TT=0.016	? (TO) TT=1800.08	SAT TT=581.354	? TT=141.469	? TT=353.472	? TT=385.378
csp/primes-25/ normalized-primes-25-20-3-7.xml	SAT TT=0.029	? (TO) TT=1800.06	? (TO) TT=1800.13	SAT TT=0.051	SAT TT=1.001	SAT TT=0.995	? (TO) TT=1800.03	? (TO) TT=1800	SAT TT=0.029	? (TO) TT=1800.1	? (TO) TT=1800.07	? TT=247.131	? TT=275.324	? TT=279.762
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/primes-25/ normalized-primes-25-40-2-1.xml	SAT TT=0.013	SAT TT=2.873	SAT TT=2.555	SAT TT=0.041	SAT TT=0.778	SAT TT=0.813	SAT TT=2.477	SAT TT=69.18	SAT TT=0.013	SAT TT=0.135	SAT TT=0.122	SAT TT=173.802	SAT TT=0.795	SAT TT=0.888
csp/primes-25/ normalized-primes-25-40-2-3.xml	SAT TT=0.02	SAT TT=11.923	SAT TT=56.422	SAT TT=0.88	SAT TT=1.307	SAT TT=1.159	? (TO) TT=1800.06	? (TO) TT=1800.02	SAT TT=0.02	? (TO) TT=1800.04	? (TO) TT=1800.07	? TT=818.267	SAT TT=56.953	SAT TT=88.638
csp/primes-25/ normalized-primes-25-40-2-7.xml	SAT TT=13.464	? (TO) TT=1800.17	? (TO) TT=1800.07	SAT TT=28.31	SAT TT=169.553	SAT TT=13.464	? (TO) TT=1800.03	? (TO) TT=1800.03	SAT TT=693.689	? (TO) TT=1800.08	? (TO) TT=1800.09	? TT=145.014	? TT=248.936	? TT=244.9
csp/primes-25/ normalized-primes-25-40-3-1.xml	SAT TT=0.017	SAT TT=13.099	SAT TT=6.115	SAT TT=0.047	SAT TT=0.829	SAT TT=0.823	SAT TT=115.311	SAT TT=168.339	SAT TT=0.017	SAT TT=1.379	SAT TT=0.873	? TT=155.175	SAT TT=3.159	SAT TT=9.009
csp/primes-25/ normalized-primes-25-40-3-3.xml	SAT TT=215.761	? (TO) TT=1800.09	? (TO) TT=1800.07	? (TO) TT=1800.09	SAT TT=1256.09	SAT TT=215.761	? (TO) TT=1800.03	? (TO) TT=1800.08	SAT TT=1020.39	? (TO) TT=1800.11	? (TO) TT=1800.09	? TT=164.108	? TT=782.441	? TT=286.529
csp/primes-25/ normalized-primes-25-40-3-5.xml		? (TO) TT=1800.1	? (TO) TT=1800.12	? (TO) TT=1800.07	? (TO) TT=1800.06	? (TO) TT=1800.07	? (TO) TT=1800.05	? (TO) TT=1800.04	? (TO) TT=1800.07	? (TO) TT=1800.09	? (TO) TT=1800.1	? TT=111.509	? (TO) TT=215.847	? TT=303.651
csp/primes-25/ normalized-primes-25-40-3-7.xml		? (TO) TT=1800.12	? (TO) TT=1800.08	? (TO) TT=1800.09	? (TO) TT=1800.1	? (TO) TT=1800.07	? (TO) TT=1800.03	? (TO) TT=1800.09	? (TO) TT=1800.01	? (TO) TT=1800.12	? (TO) TT=1800.12	? TT=141.921	? TT=264.804	? TT=268.387
csp/primes-25/ normalized-primes-25-60-2-7.xml	SAT TT=1.077	SAT TT=253.292	SAT TT=264.083	? (TO) TT=1800.08	SAT TT=1.619	SAT TT=1.375	? (TO) TT=1800.09	? (TO) TT=1800.06	SAT TT=1.077	SAT TT=24.354	SAT TT=46.325	? TT=256.383	? TT=255.488	? TT=253.321
csp/primes-25/ normalized-primes-25-80-2-1.xml	SAT TT=0.016	SAT TT=2.245	SAT TT=2.222	SAT TT=0.046	SAT TT=0.893	SAT TT=0.896	SAT TT=3.564	SAT TT=9.889	SAT TT=0.016	SAT TT=0.038	SAT TT=0.04	SAT TT=107.233	SAT TT=0.792	SAT TT=0.876
csp/primes-25/ normalized-primes-25-80-2-5.xml	SAT TT=0.023	SAT TT=4.014	SAT TT=3.773	SAT TT=0.064	SAT TT=0.827	SAT TT=0.817	? (TO) TT=1800	? (TO) TT=1800.07	SAT TT=0.023	SAT TT=0.105	SAT TT=0.094	? TT=441.148	SAT TT=1.197	SAT TT=1.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/primes-25/ normalized-primes-25-80-3-5.xml	SAT TT=1.335	? (TO) TT=1800.08	? (TO) TT=1800.15	SAT TT=39.281	SAT TT=20.488	SAT TT=5.776	? (TO) TT=1800.08	? (TO) TT=1800.09	SAT TT=1.335	? (TO) TT=1800.17	? (TO) TT=1800.2	? TT=186.494	? TT=563.891	? TT=287.137
csp/primes-25/ normalized-primes-25-80-3-7.xml	SAT TT=3.949	? (TO) TT=1800.16	? (TO) TT=1800.17	? (TO) TT=1800.09	SAT TT=4.784	SAT TT=3.949	? (TO) TT=1800.06	? (TO) TT=1800.07	SAT TT=52.577	? (TO) TT=1800.13	? (TO) TT=1800.1	? TT=154.595	? TT=291.158	? TT=293.552
csp/primes-30/ normalized-primes-30-20-2-3.xml	SAT TT=0	SAT TT=58.69	SAT TT=82.44	SAT TT=0	SAT TT=1.069	SAT TT=1.037	? (TO) TT=1800.03	? (TO) TT=1800.06	SAT TT=0.009	SAT TT=10.713	SAT TT=58.342	? TT=154.078	SAT TT=17.62	SAT TT=69.182
csp/primes-30/ normalized-primes-30-20-2-5.xml	SAT TT=0.013	? (TO) TT=1800.11	? (TO) TT=1800.18	SAT TT=0.042	SAT TT=1.145	SAT TT=1.117	? (TO) TT=1800.01	? (TO) TT=1800	SAT TT=0.013	? (TO) TT=1800.13	SAT TT=1406.57	? TT=142.751	? TT=266.958	? TT=282.39
csp/primes-30/ normalized-primes-30-40-2-3.xml	SAT TT=0.122	SAT TT=210.389	SAT TT=237.63	SAT TT=3.609	SAT TT=1.197	SAT TT=1.547	? (TO) TT=1800.08	? (TO) TT=1800.01	SAT TT=0.122	SAT TT=699.475	SAT TT=356.841	? TT=161.65	SAT TT=96.813	SAT TT=64.842
csp/primes-30/ normalized-primes-30-40-3-5.xml		? (TO) TT=1800.15	? (TO) TT=1800.1	? (TO) TT=1800.11	? (TO) TT=1800.16	? (TO) TT=1800.14	? (TO) TT=1800.04	? (TO) TT=1800	? (TO) TT=1800.07	? (TO) TT=1800.06	? (TO) TT=1800.06	? TT=150.63	? TT=683.44	? TT=262.24
csp/primes-30/ normalized-primes-30-60-2-3.xml	SAT TT=0.022	SAT TT=7.297	SAT TT=7.693	SAT TT=0.05	SAT TT=0.912	SAT TT=0.833	? (TO) TT=1800.01	? (TO) TT=1800.01	SAT TT=0.022	SAT TT=0.526	SAT TT=0.38	? TT=562.356	SAT TT=0.991	SAT TT=1.094
csp/primes-30/ normalized-primes-30-60-2-5.xml	SAT TT=0.026	SAT TT=6.466	SAT TT=5.863	SAT TT=0.057	SAT TT=0.989	SAT TT=0.815	? (TO) TT=1800.08	? (TO) TT=1800.01	SAT TT=0.026	SAT TT=0.236	SAT TT=0.321	? TT=1164.44	SAT TT=1.069	SAT TT=1.194
csp/primes-30/ normalized-primes-30-60-2-7.xml	SAT TT=1.382	SAT TT=291.618	SAT TT=1215.61	SAT TT=26.316	SAT TT=1.382	SAT TT=1.426	? (TO) TT=1800.01	? (TO) TT=1800.04	SAT TT=1.767	SAT TT=317.204	SAT TT=152.623	? TT=134.744	? TT=376.462	? TT=369.188
csp/primes-30/ normalized-primes-30-60-3-1.xml	SAT TT=0.022	SAT TT=6.57	SAT TT=6.883	SAT TT=0.054	SAT TT=0.829	SAT TT=0.902	SAT TT=337.23	SAT TT=340.188	SAT TT=0.022	SAT TT=0.129	SAT TT=0.161	? TT=158.692	SAT TT=2.595	SAT TT=7.681
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/primes-30/ normalized-primes-30-60-3-5.xml		? (TO) TT=1800.11	? (TO) TT=1800.07	? (TO) TT=1800.04	? (TO) TT=1800.13	? (TO) TT=1800.11	? (TO) TT=1800.08	? (TO) TT=1800.03	? (TO) TT=1800.05	? (TO) TT=1800.06	? (TO) TT=1800.17	? (TO) TT=1802.15	? TT=293.483	? TT=283.897
csp/primes-30/ normalized-primes-30-80-2-3.xml	SAT TT=0.02	SAT TT=5.081	SAT TT=5.485	SAT TT=0.059	SAT TT=0.919	SAT TT=0.851	SAT TT=623.244	SAT TT=583.446	SAT TT=0.02	SAT TT=0.054	SAT TT=0.056	? (TO) TT=1802.2	SAT TT=0.966	SAT TT=0.996
csp/primes-30/ normalized-primes-30-80-2-5.xml	SAT TT=0.024	SAT TT=4.394	SAT TT=4.308	SAT TT=0.065	SAT TT=0.871	SAT TT=0.933	? (TO) TT=1800.04	? (TO) TT=1800.09	SAT TT=0.024	SAT TT=0.083	SAT TT=0.075	? TT=1126.72	SAT TT=1.181	SAT TT=1.104
csp/primes-30/ normalized-primes-30-80-2-7.xml	SAT TT=0.03	SAT TT=6.434	SAT TT=7.931	SAT TT=0.067	SAT TT=0.832	SAT TT=0.877	? (TO) TT=1800.07	? (TO) TT=1800.1	SAT TT=0.03	SAT TT=0.124	SAT TT=0.186	? TT=845.962	SAT TT=1.274	SAT TT=1.205
csp/primes-30/ normalized-primes-30-80-3-1.xml	SAT TT=0.021	SAT TT=5.281	SAT TT=4.551	SAT TT=0.053	SAT TT=0.871	SAT TT=0.849	SAT TT=390.699	SAT TT=435.891	SAT TT=0.021	SAT TT=0.059	SAT TT=0.062	? TT=145.939	SAT TT=0.966	SAT TT=0.92
csp/primes-30/ normalized-primes-30-80-3-3.xml	SAT TT=0.062	SAT TT=8.38	SAT TT=10.288	SAT TT=1.416	SAT TT=0.95	SAT TT=1.009	? (TO) TT=1800.02	? (TO) TT=1800.08	SAT TT=0.062	SAT TT=3.412	SAT TT=10.178	? TT=190.442	? TT=276.215	? TT=290.704
csp/primes-30/ normalized-primes-30-80-3-7.xml	SAT TT=1.958	? (TO) TT=1800.12	? (TO) TT=1800.08	? (TO) TT=1800.1	SAT TT=2.085	SAT TT=2.063	? (TO) TT=1800.07	? (TO) TT=1800.04	SAT TT=1.958	SAT TT=279.32	SAT TT=223.255	? TT=140.65	? TT=383.45	? TT=567.005
csp/radar-8-24-3-2/ normalized-radar-8-24-3-2-0.xml	SAT TT=0.038	? (MO) TT=1.132	SAT TT=1.999	SAT TT=1756.08	SAT TT=2.339	SAT TT=1.874	SAT TT=275.89	? (TO) TT=1800.02	SAT TT=0.038	SAT TT=0.095	SAT TT=0.097	? (TO) TT=1802.13	SAT TT=1.437	SAT TT=1.411
csp/radar-8-24-3-2/ normalized-radar-8-24-3-2-10.xml	SAT TT=0.039	SAT TT=5.413	SAT TT=8.715	SAT TT=0.092	SAT TT=2.133	SAT TT=2.163	SAT TT=162.615	SAT TT=737.401	SAT TT=0.039	SAT TT=0.124	SAT TT=0.089	? TT=676.737	SAT TT=1.381	SAT TT=1.472
csp/radar-8-24-3-2/ normalized-radar-8-24-3-2-11.xml	UNSAT TT=0.038	UNSAT TT=48.416	UNSAT TT=13.364	UNSAT TT=0.092	UNSAT TT=1.112	UNSAT TT=1.071	UNSAT TT=86.393	UNSAT TT=85.913	UNSAT TT=0.038	UNSAT TT=0.073	UNSAT TT=0.071	? TT=628.043	UNSAT TT=1.307	UNSAT TT=1.496
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/radar-8-24-3-2/ normalized-radar-8-24-3-2-13.xml	UNSAT TT=0.032	UNSAT TT=1.325	UNSAT TT=1.308	UNSAT TT=0.079	UNSAT TT=1.041	UNSAT TT=1.044	UNSAT TT=52.456	UNSAT TT=56.052	UNSAT TT=0.032	UNSAT TT=0.067	UNSAT TT=0.069	? TT=524.94	UNSAT TT=1.345	UNSAT TT=1.546
csp/radar-8-24-3-2/ normalized-radar-8-24-3-2-14.xml	UNSAT TT=0.036	UNSAT TT=1.39	UNSAT TT=1.321	UNSAT TT=0.083	UNSAT TT=1.071	UNSAT TT=1.03	UNSAT TT=76.687	UNSAT TT=70.089	UNSAT TT=0.036	UNSAT TT=0.064	UNSAT TT=0.067	? (TO) TT=1802.15	UNSAT TT=1.261	UNSAT TT=1.503
csp/radar-8-24-3-2/ normalized-radar-8-24-3-2-15.xml	SAT TT=0.04	SAT TT=3.251	SAT TT=7.651	SAT TT=0.088	SAT TT=2.538	SAT TT=10.636	SAT TT=127.453	? (TO) TT=1800.06	SAT TT=0.04	SAT TT=0.112	SAT TT=0.092	? (TO) TT=1802.26	SAT TT=1.27	SAT TT=1.516
csp/radar-8-24-3-2/ normalized-radar-8-24-3-2-16.xml	UNSAT TT=0.038	UNSAT TT=1.332	UNSAT TT=1.412	UNSAT TT=0.084	UNSAT TT=1.079	UNSAT TT=1.043	UNSAT TT=85.561	UNSAT TT=81.785	UNSAT TT=0.038	UNSAT TT=0.068	UNSAT TT=0.065	? (TO) TT=1802.16	UNSAT TT=1.417	UNSAT TT=1.398
csp/radar-8-24-3-2/ normalized-radar-8-24-3-2-17.xml	UNSAT TT=0.036	UNSAT TT=1.375	UNSAT TT=1.375	UNSAT TT=0.086	UNSAT TT=1.113	UNSAT TT=1.05	UNSAT TT=76.58	UNSAT TT=75.486	UNSAT TT=0.036	UNSAT TT=0.069	UNSAT TT=0.067	? TT=289.219	UNSAT TT=1.344	UNSAT TT=1.618
csp/radar-8-24-3-2/ normalized-radar-8-24-3-2-20.xml	UNSAT TT=0.04	UNSAT TT=1.59	UNSAT TT=1.547	UNSAT TT=0.092	UNSAT TT=1.081	UNSAT TT=1.039	UNSAT TT=224.7	UNSAT TT=242.96	UNSAT TT=0.04	UNSAT TT=0.076	UNSAT TT=0.076	? TT=494.94	UNSAT TT=1.209	UNSAT TT=1.349
csp/radar-8-24-3-2/ normalized-radar-8-24-3-2-21.xml	SAT TT=0.04	SAT TT=5.331	SAT TT=5.668	? (TO) TT=1800.06	SAT TT=4.003	SAT TT=27.976	SAT TT=540.224	? (TO) TT=1800	SAT TT=0.04	SAT TT=0.185	SAT TT=0.144	? TT=344.589	SAT TT=1.419	SAT TT=1.308
csp/radar-8-24-3-2/ normalized-radar-8-24-3-2-27.xml	SAT TT=0.039	SAT TT=3.594	SAT TT=4.002	SAT TT=0.091	SAT TT=3.161	SAT TT=2.176	SAT TT=88.829	SAT TT=82.044	SAT TT=0.039	SAT TT=0.094	SAT TT=0.09	? TT=497.696	SAT TT=1.654	SAT TT=1.491
csp/radar-8-24-3-2/ normalized-radar-8-24-3-2-35.xml	SAT TT=0.041	SAT TT=1.74	SAT TT=2.384	SAT TT=0.086	SAT TT=2.707	? (TO) TT=1800.11	SAT TT=110.173	? (TO) TT=1800	SAT TT=0.041	SAT TT=0.091	SAT TT=0.088	? TT=617.525	SAT TT=1.23	SAT TT=1.511
csp/radar-8-24-3-2/ normalized-radar-8-24-3-2-36.xml	UNSAT TT=0.034	UNSAT TT=1.315	UNSAT TT=1.338	UNSAT TT=0.084	UNSAT TT=1.041	UNSAT TT=1.041	UNSAT TT=76.237	UNSAT TT=77.702	UNSAT TT=0.034	UNSAT TT=0.067	UNSAT TT=0.07	? (TO) TT=1802.13	UNSAT TT=1.368	UNSAT TT=1.516
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/radar-8-24-3-2/ normalized-radar-8-24-3-2-38.xml	SAT TT=0.041	SAT TT=2.217	SAT TT=2.57	SAT TT=1342.65	SAT TT=2.496	SAT TT=8.704	SAT TT=580.753	SAT TT=1155.81	SAT TT=0.041	SAT TT=0.096	SAT TT=0.097	? TT=503.281	SAT TT=1.323	SAT TT=1.528
csp/radar-8-24-3-2/ normalized-radar-8-24-3-2-39.xml	UNSAT TT=0.038	UNSAT TT=1.708	UNSAT TT=1.786	UNSAT TT=0.089	UNSAT TT=1.189	UNSAT TT=1.024	UNSAT TT=70.24	UNSAT TT=73.112	UNSAT TT=0.038	UNSAT TT=0.065	UNSAT TT=0.068	? TT=337.025	UNSAT TT=1.458	UNSAT TT=1.517
csp/radar-8-24-3-2/ normalized-radar-8-24-3-2-40.xml	SAT TT=0.042	SAT TT=3.574	SAT TT=7.917	SAT TT=1344.74	SAT TT=2.804	SAT TT=2.346	SAT TT=237.06	? (TO) TT=1800.04	SAT TT=0.042	SAT TT=0.088	SAT TT=0.093	? TT=291.722	SAT TT=1.409	SAT TT=1.508
csp/radar-8-24-3-2/ normalized-radar-8-24-3-2-42.xml	SAT TT=0.038	SAT TT=21.467	SAT TT=3.694	SAT TT=163.743	SAT TT=2.207	SAT TT=4.677	SAT TT=195.784	SAT TT=185.631	SAT TT=0.038	SAT TT=0.106	SAT TT=0.098	? TT=284.818	SAT TT=1.457	SAT TT=1.379
csp/radar-8-24-3-2/ normalized-radar-8-24-3-2-43.xml	SAT TT=0.035	SAT TT=3.573	SAT TT=16.052	SAT TT=1324.04	SAT TT=2.193	SAT TT=1.803	SAT TT=77.501	SAT TT=78.76	SAT TT=0.035	SAT TT=0.078	SAT TT=0.09	? (TO) TT=1802.23	SAT TT=1.303	SAT TT=1.448
csp/radar-8-24-3-2/ normalized-radar-8-24-3-2-47.xml	UNSAT TT=0.038	UNSAT TT=1.406	UNSAT TT=1.54	UNSAT TT=0.091	UNSAT TT=1.176	UNSAT TT=1.028	UNSAT TT=197.012	UNSAT TT=177.943	UNSAT TT=0.038	UNSAT TT=0.072	UNSAT TT=0.072	? TT=844.348	UNSAT TT=1.345	UNSAT TT=1.478
csp/radar-8-24-3-2/ normalized-radar-8-24-3-2-9.xml	UNSAT TT=0.038	UNSAT TT=1.409	UNSAT TT=1.405	UNSAT TT=0.083	UNSAT TT=1.072	UNSAT TT=1.02	UNSAT TT=72.055	UNSAT TT=72.015	UNSAT TT=0.038	UNSAT TT=0.071	UNSAT TT=0.07	? (TO) TT=1802.18	UNSAT TT=1.421	UNSAT TT=1.472
csp/radar-8-30-3-0/ normalized-radar-8-30-3-0-13.xml	SAT TT=0.056	SAT TT=1.846	SAT TT=2.377	SAT TT=0.104	SAT TT=2.995	SAT TT=28.045	SAT TT=501.984	? (TO) TT=1800.01	SAT TT=0.056	SAT TT=0.106	SAT TT=0.129	? (TO) TT=1802.32	SAT TT=1.617	SAT TT=1.76
csp/radar-8-30-3-0/ normalized-radar-8-30-3-0-15.xml	SAT TT=0.044	SAT TT=2.4	SAT TT=2.052	SAT TT=1361.55	SAT TT=3.231	SAT TT=3.826	SAT TT=248.766	? (TO) TT=1800.03	SAT TT=0.044	SAT TT=0.102	SAT TT=0.117	? (TO) TT=1802.4	SAT TT=1.593	SAT TT=1.719
csp/radar-8-30-3-0/ normalized-radar-8-30-3-0-16.xml	SAT TT=0.047	SAT TT=4.573	SAT TT=2.092	SAT TT=0.107	SAT TT=4.334	SAT TT=3.018	SAT TT=125.627	? (TO) TT=1800.08	SAT TT=0.047	SAT TT=0.138	SAT TT=0.113	? TT=558.014	SAT TT=1.379	SAT TT=1.558
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/radar-8-30-3-0/ normalized-radar-8-30-3-0-17.xml	SAT TT=0.049	SAT TT=1.871	SAT TT=2.997	SAT TT=253.447	SAT TT=2.662	SAT TT=4.234	SAT TT=549.722	? (TO) TT=1800.06	SAT TT=0.049	SAT TT=0.135	SAT TT=0.098	? TT=490.41	SAT TT=1.47	SAT TT=1.653
csp/radar-8-30-3-0/ normalized-radar-8-30-3-0-18.xml	SAT TT=0.049	SAT TT=3.146	SAT TT=2.723	SAT TT=0.104	SAT TT=3.726	SAT TT=2.569	SAT TT=245.304	? (TO) TT=1800.03	SAT TT=0.049	SAT TT=0.102	SAT TT=0.106	? TT=1051.69	SAT TT=1.528	SAT TT=1.658
csp/radar-8-30-3-0/ normalized-radar-8-30-3-0-19.xml	SAT TT=0.057	SAT TT=1.969	SAT TT=1.907	SAT TT=56.13	SAT TT=2.615	SAT TT=36.104	SAT TT=655.021	? (TO) TT=1800.03	SAT TT=0.057	SAT TT=0.117	SAT TT=0.159	? TT=970.336	SAT TT=1.448	SAT TT=1.488
csp/radar-8-30-3-0/ normalized-radar-8-30-3-0-20.xml	SAT TT=0.057	SAT TT=2.193	SAT TT=2.403	SAT TT=1347.36	SAT TT=3.556	SAT TT=4.831	SAT TT=142.583	? (TO) TT=1800.05	SAT TT=0.057	SAT TT=0.154	SAT TT=0.108	? (TO) TT=1802.25	SAT TT=1.685	SAT TT=1.728
csp/radar-8-30-3-0/ normalized-radar-8-30-3-0-21.xml	SAT TT=0.061	SAT TT=3.468	SAT TT=3.071	? (TO) TT=1800.1	SAT TT=3.144	? (TO) TT=1800.09	SAT TT=1316.71	? (TO) TT=1800.04	SAT TT=0.061	SAT TT=0.123	SAT TT=0.104	? TT=162.533	SAT TT=1.529	SAT TT=1.507
csp/radar-8-30-3-0/ normalized-radar-8-30-3-0-23.xml	SAT TT=0.048	SAT TT=1.76	? (MO) TT=1.687	SAT TT=897.145	SAT TT=2.522	SAT TT=12.901	SAT TT=362.79	? (TO) TT=1800.01	SAT TT=0.048	SAT TT=0.11	SAT TT=0.101	? TT=1153.06	SAT TT=1.564	SAT TT=1.713
csp/radar-8-30-3-0/ normalized-radar-8-30-3-0-26.xml	SAT TT=0.048	SAT TT=2.226	SAT TT=2.646	SAT TT=0.102	SAT TT=4.252	SAT TT=4.017	SAT TT=112.478	SAT TT=98.178	SAT TT=0.048	SAT TT=0.122	SAT TT=0.11	? TT=529.905	SAT TT=1.361	SAT TT=1.555
csp/radar-8-30-3-0/ normalized-radar-8-30-3-0-27.xml	SAT TT=0.052	SAT TT=2.056	SAT TT=2.929	SAT TT=0.1	SAT TT=3.572	SAT TT=5.642	SAT TT=234.667	? (TO) TT=1800.01	SAT TT=0.052	SAT TT=0.106	SAT TT=0.11	? TT=1557.03	SAT TT=1.533	SAT TT=1.73
csp/radar-8-30-3-0/ normalized-radar-8-30-3-0-28.xml	SAT TT=0.048	SAT TT=2.157	SAT TT=2.533	SAT TT=0.11	SAT TT=3.924	SAT TT=3.495	SAT TT=57.185	? (TO) TT=1800.06	SAT TT=0.048	SAT TT=0.093	SAT TT=0.124	? TT=449.661	SAT TT=1.583	SAT TT=1.762
csp/radar-8-30-3-0/ normalized-radar-8-30-3-0-29.xml	SAT TT=0.048	SAT TT=2.654	SAT TT=2.894	SAT TT=0.111	SAT TT=3.257	SAT TT=690.408	SAT TT=786.769	? (TO) TT=1800.02	SAT TT=0.048	SAT TT=0.114	SAT TT=0.106	? (TO) TT=1802.41	SAT TT=1.451	SAT TT=1.75
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/radar-8-30-3-0/ normalized-radar-8-30-3-0-2.xml	SAT TT=0.047	SAT TT=3.528	SAT TT=2.887	SAT TT=0.104	SAT TT=2.931	SAT TT=4.112	SAT TT=47.954	? (TO) TT=1800.04	SAT TT=0.047	SAT TT=0.134	SAT TT=0.113	? TT=616.723	SAT TT=1.391	SAT TT=1.64
csp/radar-8-30-3-0/ normalized-radar-8-30-3-0-31.xml	SAT TT=0.05	SAT TT=1.994	SAT TT=2.382	SAT TT=0.11	SAT TT=4.226	SAT TT=3.341	SAT TT=150.679	? (TO) TT=1800.02	SAT TT=0.05	SAT TT=0.105	SAT TT=0.151	? (TO) TT=1802.38	SAT TT=1.54	SAT TT=1.824
csp/radar-8-30-3-0/ normalized-radar-8-30-3-0-35.xml	SAT TT=0.049	SAT TT=1.847	SAT TT=3.204	SAT TT=0.102	SAT TT=3.045	SAT TT=3.721	SAT TT=437.73	? (TO) TT=1800.01	SAT TT=0.049	SAT TT=0.097	SAT TT=0.101	? TT=772.761	SAT TT=1.47	SAT TT=1.691
csp/radar-8-30-3-0/ normalized-radar-8-30-3-0-36.xml	SAT TT=0.049	SAT TT=1.813	SAT TT=2.594	SAT TT=893.632	SAT TT=2.887	SAT TT=5.73	SAT TT=112.731	SAT TT=441.972	SAT TT=0.049	SAT TT=0.099	SAT TT=0.101	? TT=610.937	SAT TT=1.553	SAT TT=1.72
csp/radar-8-30-3-0/ normalized-radar-8-30-3-0-40.xml	SAT TT=0.049	SAT TT=1.84	SAT TT=2.562	SAT TT=0.104	SAT TT=2.998	SAT TT=3.932	SAT TT=396.134	? (TO) TT=1800.02	SAT TT=0.049	SAT TT=0.091	SAT TT=0.093	? (TO) TT=1802.33	SAT TT=1.459	SAT TT=1.601
csp/radar-8-30-3-0/ normalized-radar-8-30-3-0-41.xml	SAT TT=0.046	SAT TT=1.784	SAT TT=3.079	SAT TT=0.101	SAT TT=4.454	SAT TT=4.709	SAT TT=761.89	? (TO) TT=1800.05	SAT TT=0.046	SAT TT=0.098	SAT TT=0.112	? TT=1010.12	SAT TT=1.45	SAT TT=1.511
csp/radar-8-30-3-0/ normalized-radar-8-30-3-0-42.xml	SAT TT=0.049	SAT TT=2.051	SAT TT=2.926	SAT TT=1345.38	SAT TT=2.797	? (TO) TT=1800.14	SAT TT=900.309	SAT TT=850.204	SAT TT=0.049	SAT TT=0.103	SAT TT=0.109	? (TO) TT=1802.15	SAT TT=1.358	SAT TT=1.645
csp/radar-8-30-3-0/ normalized-radar-8-30-3-0-44.xml	SAT TT=0.051	SAT TT=1.888	SAT TT=2.593	SAT TT=1343.79	SAT TT=3.004	SAT TT=4.362	SAT TT=504.984	? (TO) TT=1800.06	SAT TT=0.051	SAT TT=0.104	SAT TT=0.152	? TT=899.044	SAT TT=1.42	SAT TT=1.668
csp/radar-8-30-3-0/ normalized-radar-8-30-3-0-46.xml	SAT TT=0.049	SAT TT=6.869	SAT TT=3.643	SAT TT=0.112	SAT TT=4.264	SAT TT=5.765	SAT TT=363.821	SAT TT=345.042	SAT TT=0.049	SAT TT=0.108	SAT TT=0.142	? (TO) TT=1802.28	SAT TT=1.519	SAT TT=1.951
csp/radar-8-30-3-0/ normalized-radar-8-30-3-0-49.xml	SAT TT=0.049	SAT TT=1.749	SAT TT=12.149	SAT TT=0.097	SAT TT=3.962	SAT TT=4.343	SAT TT=245.307	? (TO) TT=1800.09	SAT TT=0.049	SAT TT=0.142	SAT TT=0.18	? TT=696.799	SAT TT=1.574	SAT TT=1.628
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/radar-8-30-3-0/ normalized-radar-8-30-3-0-5.xml	SAT TT=0.048	SAT TT=2.08	SAT TT=1.919	SAT TT=0.111	SAT TT=3.49	SAT TT=3.667	SAT TT=165.793	? (TO) TT=1800.03	SAT TT=0.048	SAT TT=0.116	SAT TT=0.124	? TT=163.324	SAT TT=1.42	SAT TT=1.603
csp/radar-8-30-3-0/ normalized-radar-8-30-3-0-6.xml	SAT TT=0.059	SAT TT=2.032	SAT TT=5.771	SAT TT=0.096	SAT TT=3.238	SAT TT=3.71	SAT TT=228.874	SAT TT=312.576	SAT TT=0.059	SAT TT=0.109	SAT TT=0.114	? (TO) TT=1802.18	SAT TT=1.461	SAT TT=1.66
csp/radar-9-28-4-2/ normalized-radar-9-28-4-2-11.xml	SAT TT=0.071	SAT TT=118.487	SAT TT=119.903	? (TO) TT=1800.05	SAT TT=13.253	? (TO) TT=1800.14	SAT TT=425.657	SAT TT=996.643	SAT TT=0.071	SAT TT=0.285	SAT TT=0.211	? TT=1009.42	SAT TT=1.583	SAT TT=2.334
csp/radar-9-28-4-2/ normalized-radar-9-28-4-2-12.xml	UNSAT TT=0.07	UNSAT TT=24.704	UNSAT TT=25.225	UNSAT TT=0.139	UNSAT TT=1.334	UNSAT TT=1.4	? (TO) TT=1800.1	? (TO) TT=1800.04	UNSAT TT=0.07	UNSAT TT=0.127	UNSAT TT=0.13	? TT=290.298	UNSAT TT=1.792	UNSAT TT=2.374
csp/radar-9-28-4-2/ normalized-radar-9-28-4-2-15.xml	UNSAT TT=0.068	UNSAT TT=2.183	UNSAT TT=3.882	UNSAT TT=0.127	UNSAT TT=1.318	UNSAT TT=1.477	UNSAT TT=59.926	UNSAT TT=59.829	UNSAT TT=0.068	UNSAT TT=0.112	UNSAT TT=0.114	? TT=305.701	UNSAT TT=1.571	UNSAT TT=2.107
csp/radar-9-28-4-2/ normalized-radar-9-28-4-2-16.xml	SAT TT=0.079	SAT TT=1213.45	SAT TT=14.673	SAT TT=0.137	SAT TT=14.821	SAT TT=8.29	? (TO) TT=1800.08	? (TO) TT=1800.07	SAT TT=0.079	SAT TT=0.222	SAT TT=0.352	? TT=1258.19	SAT TT=2.092	SAT TT=1.992
csp/radar-9-28-4-2/ normalized-radar-9-28-4-2-17.xml	SAT TT=0.109	SAT TT=632.159	SAT TT=23.451	? (TO) TT=1800.09	SAT TT=8.881	? (TO) TT=1800.15	? (TO) TT=1800.03	? (TO) TT=1800.09	SAT TT=0.109	SAT TT=0.233	SAT TT=0.335	? TT=276.343	SAT TT=1.633	SAT TT=2.071
csp/radar-9-28-4-2/ normalized-radar-9-28-4-2-20.xml	UNSAT TT=0.065	UNSAT TT=83.178	UNSAT TT=83.163	UNSAT TT=0.135	UNSAT TT=1.43	UNSAT TT=1.383	UNSAT TT=1106.52	UNSAT TT=1121.66	UNSAT TT=0.065	UNSAT TT=0.126	UNSAT TT=0.123	? TT=283.513	UNSAT TT=1.661	UNSAT TT=2.183
csp/radar-9-28-4-2/ normalized-radar-9-28-4-2-21.xml	UNSAT TT=0.064	? (TO) TT=1800.07	? (TO) TT=1800.08	UNSAT TT=0.137	UNSAT TT=1.559	UNSAT TT=1.386	? (TO) TT=1800.04	? (TO) TT=1800.02	UNSAT TT=0.064	UNSAT TT=0.128	UNSAT TT=0.123	? TT=282.489	UNSAT TT=1.569	UNSAT TT=1.936
csp/radar-9-28-4-2/ normalized-radar-9-28-4-2-22.xml	UNSAT TT=0.062	UNSAT TT=2.51	UNSAT TT=2.633	UNSAT TT=0.123	UNSAT TT=1.315	UNSAT TT=1.386	UNSAT TT=67.159	UNSAT TT=64.842	UNSAT TT=0.062	UNSAT TT=0.117	UNSAT TT=0.115	? (TO) TT=1802.22	UNSAT TT=1.898	UNSAT TT=2.173
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/radar-9-28-4-2/ normalized-radar-9-28-4-2-25.xml	UNSAT TT=0.066	? (TO) TT=1800.13	? (TO) TT=1800.1	UNSAT TT=0.127	UNSAT TT=1.327	UNSAT TT=1.215	? (TO) TT=1800.06	? (TO) TT=1800.06	UNSAT TT=0.066	UNSAT TT=0.112	UNSAT TT=0.11	? TT=1100.51	UNSAT TT=1.688	UNSAT TT=2.033
csp/radar-9-28-4-2/ normalized-radar-9-28-4-2-28.xml	UNSAT TT=0.065	UNSAT TT=402.162	UNSAT TT=429.266	UNSAT TT=0.122	UNSAT TT=1.393	UNSAT TT=1.332	UNSAT TT=179.779	UNSAT TT=190.429	UNSAT TT=0.065	UNSAT TT=0.115	UNSAT TT=0.119	? TT=1366.79	UNSAT TT=1.571	UNSAT TT=2
csp/radar-9-28-4-2/ normalized-radar-9-28-4-2-29.xml	UNSAT TT=0.067	? (TO) TT=1800.1	? (TO) TT=1800.09	UNSAT TT=0.14	UNSAT TT=1.468	UNSAT TT=1.405	? (TO) TT=1800.03	? (TO) TT=1800.04	UNSAT TT=0.067	UNSAT TT=0.131	UNSAT TT=0.13	? TT=220.934	UNSAT TT=1.842	UNSAT TT=2.241
csp/radar-9-28-4-2/ normalized-radar-9-28-4-2-32.xml	SAT TT=0.091	? (TO) TT=1800.1	SAT TT=46.958	? (TO) TT=1800.09	SAT TT=9.806	? (TO) TT=1800.22	? (TO) TT=1800.02	? (TO) TT=1800	SAT TT=0.091	SAT TT=0.157	SAT TT=0.182	? TT=291.938	SAT TT=1.433	SAT TT=1.929
csp/radar-9-28-4-2/ normalized-radar-9-28-4-2-35.xml	SAT TT=0.086	SAT TT=123.225	SAT TT=146.455	SAT TT=58.986	SAT TT=10.145	? (TO) TT=1800.08	? (TO) TT=1800.06	? (TO) TT=1800.09	SAT TT=0.086	SAT TT=0.202	SAT TT=0.247	? TT=1271.28	SAT TT=1.674	SAT TT=2.175
csp/radar-9-28-4-2/ normalized-radar-9-28-4-2-37.xml	UNSAT TT=0.062	UNSAT TT=353.793	UNSAT TT=359.916	UNSAT TT=0.137	UNSAT TT=1.378	UNSAT TT=1.268	UNSAT TT=59.148	UNSAT TT=80.13	UNSAT TT=0.062	UNSAT TT=0.116	UNSAT TT=0.12	? TT=280.572	UNSAT TT=1.627	UNSAT TT=2.027
csp/radar-9-28-4-2/ normalized-radar-9-28-4-2-40.xml	UNSAT TT=0.062	UNSAT TT=18.923	UNSAT TT=18.445	UNSAT TT=0.134	UNSAT TT=1.426	UNSAT TT=1.281	? (TO) TT=1800.05	? (TO) TT=1800.02	UNSAT TT=0.062	UNSAT TT=0.117	UNSAT TT=0.119	? TT=592.201	UNSAT TT=0.983	UNSAT TT=1.108
csp/radar-9-28-4-2/ normalized-radar-9-28-4-2-43.xml	UNSAT TT=0.06	UNSAT TT=2.298	UNSAT TT=2.28	UNSAT TT=0.12	UNSAT TT=1.382	UNSAT TT=1.398	UNSAT TT=64.067	UNSAT TT=60.623	UNSAT TT=0.06	UNSAT TT=0.114	UNSAT TT=0.114	? TT=305.404	UNSAT TT=1.788	UNSAT TT=1.932
csp/radar-9-28-4-2/ normalized-radar-9-28-4-2-44.xml	SAT TT=0.09	SAT TT=69.715	SAT TT=394.768	? (TO) TT=1800.06	SAT TT=8.439	? (TO) TT=1800.15	? (TO) TT=1800	? (TO) TT=1800.01	SAT TT=0.09	SAT TT=0.295	SAT TT=0.3	? TT=1231.57	SAT TT=1.9	SAT TT=2.436
csp/radar-9-28-4-2/ normalized-radar-9-28-4-2-4.xml	SAT TT=0.095	SAT TT=1450.29	SAT TT=908.466	? (TO) TT=1800.05	SAT TT=22.318	? (TO) TT=1800.08	? (TO) TT=1800	? (TO) TT=1800.1	SAT TT=0.095	SAT TT=0.327	SAT TT=0.372	? (TO) TT=1802.17	SAT TT=1.87	SAT TT=2.541
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/radar-9-28-4-2/ normalized-radar-9-28-4-2-7.xml	UNSAT TT=0.059	UNSAT TT=1157.99	UNSAT TT=1176.52	UNSAT TT=0.131	UNSAT TT=1.498	UNSAT TT=1.399	? (TO) TT=1800.04	? (TO) TT=1800.01	UNSAT TT=0.059	UNSAT TT=0.107	UNSAT TT=0.107	? TT=1664.25	UNSAT TT=1.699	UNSAT TT=1.944
csp/radar-9-28-4-2/ normalized-radar-9-28-4-2-8.xml	UNSAT TT=0.06	UNSAT TT=2.642	UNSAT TT=2.679	UNSAT TT=0.119	UNSAT TT=1.424	UNSAT TT=1.321	UNSAT TT=95.569	UNSAT TT=88.605	UNSAT TT=0.06	UNSAT TT=0.113	UNSAT TT=0.115	? TT=280.513	UNSAT TT=1.602	UNSAT TT=2.085
csp/tdsp/ normalized-C1-1-21.xml	SAT TT=1.021	SAT TT=20.883	SAT TT=2.143	SAT TT=1345.16	SAT TT=227.057	SAT TT=142.865	SAT TT=56.923	SAT TT=56.223	SAT TT=1.439	SAT TT=11.113	SAT TT=3.735	? TT=785.166	SAT TT=1.021	SAT TT=1.329
csp/tdsp/ normalized-C1-3-21.xml	SAT TT=0.084	SAT TT=21.662	SAT TT=16.854	SAT TT=0.118	SAT TT=6.691	SAT TT=278.924	SAT TT=47.312	SAT TT=47.345	SAT TT=0.084	SAT TT=2.489	SAT TT=1.705	? TT=873.129	SAT TT=1.189	SAT TT=1.238
csp/tdsp/ normalized-C2-3-15.xml	SAT TT=1.763	? (TO) TT=1800.1	? (TO) TT=1800.07	? (TO) TT=1800.1	? (TO) TT=1800.16	? (TO) TT=1800.13	? (TO) TT=1800.06	? (TO) TT=1800.07	? (TO) TT=1800.03	? (MO) TT=715.667	? (MO) TT=686.581	? TT=847.987	SAT TT=1.763	SAT TT=4.944
csp/tdsp/ normalized-C2-3-16.xml	SAT TT=0.316	? (TO) TT=1800.08	? (TO) TT=1800.09	? (TO) TT=1800.08	SAT TT=35.542	SAT TT=42.388	? (TO) TT=1800.09	? (TO) TT=1800.07	SAT TT=0.316	SAT TT=2.229	SAT TT=4.842	? (TO) TT=1802.13	SAT TT=1.589	SAT TT=3.05
csp/tdsp/ normalized-C3-2-30.xml		? (TO) TT=1800.14	? (TO) TT=1800.14	? (TO) TT=1800.09	? (TO) TT=1800.09	? (TO) TT=1800.06	? (TO) TT=1800.04	? (TO) TT=1800.1	? (TO) TT=1800.06	? (MO) TT=724.089	? (MO) TT=801.299	? TT=1004.59	? (TO) TT=1800	? (TO) TT=1800.03
csp/tdsp/ normalized-C3-2-31.xml	SAT TT=6.266	? (TO) TT=1800.1	? (TO) TT=1800.11	? (TO) TT=1800.06	? (TO) TT=1800.1	? (TO) TT=1800.07	? (TO) TT=1800.05	? (TO) TT=1800.04	SAT TT=803.126	? (MO) TT=806.698	? (MO) TT=846.904	? TT=1035.73	SAT TT=6.463	SAT TT=6.266
csp/tdsp/ normalized-C3-3-30.xml	SAT TT=319.7	? (TO) TT=1800.15	? (TO) TT=1800.13	? (TO) TT=1800.07	? (TO) TT=1800.11	? (TO) TT=1800.14	? (TO) TT=1800.08	? (TO) TT=1800.06	? (TO) TT=1800.11	? (MO) TT=829.385	? (MO) TT=787.774	? TT=549.221	? (TO) TT=1800.06	SAT TT=319.7
csp/tdsp/ normalized-C4-1-60.xml	SAT TT=1354.16	? (TO) TT=1800.12	? (TO) TT=1800.12	SAT TT=1354.16	? (TO) TT=1800.07	? (TO) TT=1800.11	? (TO) TT=1800.04	? (TO) TT=1800.04	? (TO) TT=1800.06	? (MO) TT=1337.72	? (MO) TT=1248.77	? (TO) TT=1802.2	? (TO) TT=1800.04	? (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)	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/tdsp/ normalized-C4-1-61.xml	SAT TT=58.269	? (TO) TT=1800.14	? (TO) TT=1800.16	SAT TT=1354.23	? (TO) TT=1800.13	? (TO) TT=1800.17	? (TO) TT=1800.03	? (TO) TT=1800.08	? (TO) TT=1800.05	? (MO) TT=1112.53	? (MO) TT=1311.12	? (TO) TT=1802.14	SAT TT=58.269	? (TO) TT=1800.07
csp/tdsp/ normalized-C4-2-61.xml	SAT TT=12.785	? (TO) TT=1800.1	? (TO) TT=1800.06	? (TO) TT=1800.11	? (TO) TT=1800.12	? (TO) TT=1800.18	? (TO) TT=1800.04	? (TO) TT=1800.09	SAT TT=47.573	? (MO) TT=1654.73	? (MO) TT=1318.33	? TT=931.044	SAT TT=12.785	SAT TT=676.392
csp/tdsp/ normalized-C5-1-90.xml		? (TO) TT=1800.13	? (TO) TT=1800.08	? (TO) TT=1800.1	? (TO) TT=1800.09	? (TO) TT=1800.16	? (TO) TT=1800.08	? (TO) TT=1800	? (TO) TT=1800.02	? (TO) TT=1800.22	? (TO) TT=1800.13	? TT=1268.79	? (TO) TT=1800.07	? (TO) TT=1800.01
csp/tdsp/ normalized-C5-3-90.xml		? (TO) TT=1800.15	? (TO) TT=1800.14	? (TO) TT=1800.06	? (TO) TT=1800.1	? (TO) TT=1800.09	? (TO) TT=1800	? (TO) TT=1800.02	? (TO) TT=1800.09	? (TO) TT=1800.16	? (TO) TT=1800.19	? TT=859.291	? (TO) TT=1800.11	? (TO) TT=1800.05
csp/tdsp/ normalized-C5-3-91.xml		? (TO) TT=1800.19	? (TO) TT=1800.07	? (TO) TT=1800.03	? (TO) TT=1800.15	? (TO) TT=1800.13	? (TO) TT=1800.09	? (TO) TT=1800.09	? (TO) TT=1800.02	? (TO) TT=1800.21	? (TO) TT=1800.16	? TT=861.91	? (TO) TT=1800.2	? (TO) TT=1800
csp/tdsp/ normalized-C6-1-120.xml		? (TO) TT=1800.18	? (TO) TT=1800.15	? (TO) TT=1800.11	? (TO) TT=1800.21	? (TO) TT=1800.16	? (TO) TT=1800.04	? (TO) TT=1800.01	? (TO) TT=1800.07	? (TO) TT=1800.08	? (TO) TT=1800.1	? TT=1259.86	? (MO) TT=989.452	? (TO) TT=1800.08
csp/tdsp/ normalized-C6-2-120.xml		? (TO) TT=1800.09	? (TO) TT=1800.15	? (TO) TT=1800.09	? (TO) TT=1800.15	? (TO) TT=1800.13	? (TO) TT=1800.05	? (TO) TT=1800.08	? (TO) TT=1800.05	? (TO) TT=1800.17	? (TO) TT=1800.14	? TT=1131.24	? (MO) TT=668.203	? (TO) TT=1800.02
csp/tdsp/ normalized-C6-3-121.xml		? (TO) TT=1800.08	? (TO) TT=1800.14	? (TO) TT=1800.08	? (TO) TT=1800.14	? (TO) TT=1800.1	? (TO) TT=1800.08	? (TO) TT=1800.02	? (TO) TT=1800.04	? (TO) TT=1800.13	? (TO) TT=1800.08	? (TO) TT=1800.19	? (MO) TT=1173.75	? (TO) TT=1800.14
csp/tdsp/ normalized-C7-1-240.xml		? (TO) TT=1800.21	? (TO) TT=1800.2	? (TO) TT=1800.09	? (problem) TT=101.387	? (problem) TT=88.515	? (TO) TT=1800.08	? (TO) TT=1800.06	? (TO) TT=1800.06	? (TO) TT=1800.11	? (TO) TT=1800.16	? (TO) TT=1800.13	? TT=299.3	? TT=274.512
csp/tdsp/ normalized-C7-1-241.xml		? (TO) TT=1800.26	? (TO) TT=1800.25	? (TO) TT=1800.05	? (problem) TT=109.02	? (problem) TT=113.568	? (TO) TT=1800.01	? (TO) TT=1800.1	? (TO) TT=1800.07	? (TO) TT=1800.18	? (TO) TT=1800.15	? (TO) TT=1800.37	? TT=254.156	? TT=281.271
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/tdsp/ normalized-C7-2-241.xml		? (TO) TT=1800.25	? (TO) TT=1800.23	? (TO) TT=1800.07	? (problem) TT=98.768	? (problem) TT=96.315	? (TO) TT=1800.01	? (TO) TT=1800.01	? (TO) TT=1800.14	? (TO) TT=1800.1	? (TO) TT=1800.12	? TT=1364.7	? TT=257.302	? TT=256.722
csp/tdsp/ normalized-C7-3-240.xml		? (TO) TT=1800.26	? (TO) TT=1800.2	? (TO) TT=1800.14	? (problem) TT=105.552	? (problem) TT=92.08	? (TO) TT=1800	? (TO) TT=1800.08	? (TO) TT=1800.1	? (TO) TT=1800.17	? (TO) TT=1800.14	? (TO) TT=1800.14	? (TO) TT=145.158	? TT=278.002

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		119	120	144	159	150	88	61	158	145	146	12	133	134
Number of times the solver is the best solver from a complete solver point of view (i.e. best known answer and best TT time)		0	0	8	5	3	0	0	134	7	4	0	4	2