CSP 2009 Competition: results by benchmark

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

This page displays the results of the different solvers for each benchmark for category n-ary constraints in extension (N-ARY-EXT), subcategory random 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/rand-10-20-10/ normalized-rand-10-20-10-5-10000-0_ext.xml	UNSAT TT=0.923	UNSAT TT=1.886	UNSAT TT=1.941	UNSAT TT=5.359	UNSAT TT=6.958	UNSAT TT=8.869	UNSAT TT=5.756	UNSAT TT=10.006	UNSAT TT=2.147	UNSAT TT=0.923	UNSAT TT=13.509	UNSAT TT=12.39	? TT=33.246	UNSAT TT=854.294	UNSAT TT=951.115
csp/rand-10-20-10/ normalized-rand-10-20-10-5-10000-10_ext.xml	UNSAT TT=1.021	UNSAT TT=1.511	UNSAT TT=1.505	UNSAT TT=5.054	UNSAT TT=10.084	UNSAT TT=8.816	UNSAT TT=2.54	UNSAT TT=5.805	UNSAT TT=2.027	UNSAT TT=1.021	UNSAT TT=28.805	UNSAT TT=11.234	? TT=34.385	UNSAT TT=871.491	? (TO) TT=1800.1
csp/rand-10-20-10/ normalized-rand-10-20-10-5-10000-11_ext.xml	UNSAT TT=1.612	UNSAT TT=1.763	UNSAT TT=2.023	UNSAT TT=7.841	UNSAT TT=8.464	UNSAT TT=7.859	UNSAT TT=2.486	UNSAT TT=5.666	UNSAT TT=1.999	UNSAT TT=1.612	UNSAT TT=25.414	UNSAT TT=25.131	? TT=28.409	UNSAT TT=819.804	UNSAT TT=1149.67
csp/rand-10-20-10/ normalized-rand-10-20-10-5-10000-12_ext.xml	UNSAT TT=1.356	UNSAT TT=1.99	UNSAT TT=2.152	UNSAT TT=6.08	UNSAT TT=7.292	UNSAT TT=7.702	UNSAT TT=2.514	UNSAT TT=5.679	UNSAT TT=1.889	UNSAT TT=1.356	UNSAT TT=15.71	UNSAT TT=15.732	? TT=33.768	UNSAT TT=882.93	UNSAT TT=916.054
csp/rand-10-20-10/ normalized-rand-10-20-10-5-10000-13_ext.xml	UNSAT TT=0.761	UNSAT TT=2.06	UNSAT TT=2.198	UNSAT TT=6.39	UNSAT TT=8.657	UNSAT TT=7.743	UNSAT TT=4.519	UNSAT TT=8.379	UNSAT TT=2.244	UNSAT TT=0.761	UNSAT TT=15.782	UNSAT TT=17.212	? TT=32.201	UNSAT TT=1150.45	UNSAT TT=1631.46
csp/rand-10-20-10/ normalized-rand-10-20-10-5-10000-14_ext.xml	UNSAT TT=1.521	UNSAT TT=1.521	UNSAT TT=1.773	UNSAT TT=5.191	UNSAT TT=9.181	UNSAT TT=10.036	UNSAT TT=3.95	UNSAT TT=7.172	UNSAT TT=2.023	UNSAT TT=1.544	UNSAT TT=22.435	UNSAT TT=23.603	? TT=33.875	UNSAT TT=765.408	UNSAT TT=824.003
csp/rand-10-20-10/ normalized-rand-10-20-10-5-10000-15_ext.xml	UNSAT TT=1.145	UNSAT TT=2.126	UNSAT TT=2.37	UNSAT TT=9.668	UNSAT TT=8.803	UNSAT TT=8.245	UNSAT TT=4.489	UNSAT TT=7.828	UNSAT TT=2.029	UNSAT TT=1.145	UNSAT TT=15.675	UNSAT TT=14.196	? TT=29.671	UNSAT TT=835.866	UNSAT TT=882.976
csp/rand-10-20-10/ normalized-rand-10-20-10-5-10000-16_ext.xml	UNSAT TT=1.055	UNSAT TT=1.533	UNSAT TT=1.675	UNSAT TT=9.094	UNSAT TT=8.372	UNSAT TT=7.585	UNSAT TT=6.231	UNSAT TT=9.441	UNSAT TT=2.203	UNSAT TT=1.055	UNSAT TT=20.336	UNSAT TT=14.462	? TT=33.081	UNSAT TT=882.56	UNSAT TT=930.263
csp/rand-10-20-10/ normalized-rand-10-20-10-5-10000-17_ext.xml	UNSAT TT=1.291	UNSAT TT=1.731	UNSAT TT=1.611	UNSAT TT=5.314	UNSAT TT=6.579	UNSAT TT=7.233	UNSAT TT=2.704	UNSAT TT=5.811	UNSAT TT=1.877	UNSAT TT=1.291	UNSAT TT=13.276	UNSAT TT=8.365	? TT=34.292	UNSAT TT=770.035	UNSAT TT=803.007
csp/rand-10-20-10/ normalized-rand-10-20-10-5-10000-18_ext.xml	UNSAT TT=0.626	UNSAT TT=1.358	UNSAT TT=1.343	UNSAT TT=5.344	UNSAT TT=8.177	UNSAT TT=7.538	UNSAT TT=2.554	UNSAT TT=6.154	UNSAT TT=2.036	UNSAT TT=0.626	UNSAT TT=9.586	UNSAT TT=9.067	? TT=31.774	UNSAT TT=807.79	UNSAT TT=1061.52
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/rand-10-20-10/ normalized-rand-10-20-10-5-10000-19_ext.xml	UNSAT TT=1.534	UNSAT TT=2.057	UNSAT TT=1.96	UNSAT TT=7.379	UNSAT TT=6.82	UNSAT TT=6.984	UNSAT TT=2.67	UNSAT TT=6.065	UNSAT TT=1.89	UNSAT TT=1.534	UNSAT TT=16.275	UNSAT TT=17.964	? TT=32.301	UNSAT TT=912.62	UNSAT TT=1555.43
csp/rand-10-20-10/ normalized-rand-10-20-10-5-10000-1_ext.xml	UNSAT TT=1.191	UNSAT TT=3.177	UNSAT TT=2.883	UNSAT TT=6.356	UNSAT TT=8.781	UNSAT TT=8.486	UNSAT TT=4.313	UNSAT TT=7.175	UNSAT TT=1.935	UNSAT TT=1.191	UNSAT TT=34.34	UNSAT TT=27.692	? TT=32.802	UNSAT TT=889.148	UNSAT TT=912.423
csp/rand-10-20-10/ normalized-rand-10-20-10-5-10000-2_ext.xml	UNSAT TT=1.081	UNSAT TT=1.179	UNSAT TT=1.431	UNSAT TT=6.671	UNSAT TT=6.803	UNSAT TT=6.165	UNSAT TT=2.652	UNSAT TT=5.798	UNSAT TT=1.901	UNSAT TT=1.081	UNSAT TT=11.102	UNSAT TT=14.447	? TT=33.336	UNSAT TT=826.16	UNSAT TT=944.782
csp/rand-10-20-10/ normalized-rand-10-20-10-5-10000-3_ext.xml	UNSAT TT=1.166	UNSAT TT=1.449	UNSAT TT=1.623	UNSAT TT=5	UNSAT TT=9.048	UNSAT TT=8.454	UNSAT TT=3.516	UNSAT TT=6.684	UNSAT TT=2.006	UNSAT TT=1.166	UNSAT TT=13.944	UNSAT TT=19.994	? TT=32.707	UNSAT TT=1071.39	UNSAT TT=1612.39
csp/rand-10-20-10/ normalized-rand-10-20-10-5-10000-4_ext.xml	UNSAT TT=1.218	UNSAT TT=1.696	UNSAT TT=1.808	UNSAT TT=5.298	UNSAT TT=7.501	UNSAT TT=7.346	UNSAT TT=2.514	UNSAT TT=6.061	UNSAT TT=1.997	UNSAT TT=1.218	UNSAT TT=10.294	UNSAT TT=11.16	? TT=34.108	UNSAT TT=880.308	UNSAT TT=912.636
csp/rand-10-20-10/ normalized-rand-10-20-10-5-10000-5_ext.xml	UNSAT TT=1.475	UNSAT TT=2.745	UNSAT TT=2.797	UNSAT TT=8.327	UNSAT TT=7.551	UNSAT TT=8.44	UNSAT TT=3.139	UNSAT TT=6.359	UNSAT TT=2.041	UNSAT TT=1.475	UNSAT TT=32.008	UNSAT TT=29.443	? TT=32.868	UNSAT TT=1004.63	UNSAT TT=1473.15
csp/rand-10-20-10/ normalized-rand-10-20-10-5-10000-6_ext.xml	UNSAT TT=1.168	UNSAT TT=1.919	UNSAT TT=1.874	UNSAT TT=6.705	UNSAT TT=9.366	UNSAT TT=8.631	UNSAT TT=5.363	UNSAT TT=9.051	UNSAT TT=2.02	UNSAT TT=1.168	UNSAT TT=17.779	UNSAT TT=18.68	? TT=35.872	UNSAT TT=925.593	UNSAT TT=1088.24
csp/rand-10-20-10/ normalized-rand-10-20-10-5-10000-7_ext.xml	UNSAT TT=0.665	UNSAT TT=2.316	UNSAT TT=2.054	UNSAT TT=9.479	UNSAT TT=6.764	UNSAT TT=6.932	UNSAT TT=3.572	UNSAT TT=6.924	UNSAT TT=2.112	UNSAT TT=0.665	UNSAT TT=24.187	UNSAT TT=11.443	? TT=33.281	UNSAT TT=809.542	UNSAT TT=831.49
csp/rand-10-20-10/ normalized-rand-10-20-10-5-10000-8_ext.xml	UNSAT TT=2.046	UNSAT TT=2.16	UNSAT TT=2.211	UNSAT TT=6.928	UNSAT TT=11.858	UNSAT TT=11.118	UNSAT TT=4.429	UNSAT TT=7.833	UNSAT TT=2.046	UNSAT TT=2.317	UNSAT TT=23.477	UNSAT TT=29.016	? TT=28.923	UNSAT TT=860.895	UNSAT TT=966.279
csp/rand-10-20-10/ normalized-rand-10-20-10-5-10000-9_ext.xml	UNSAT TT=1.45	UNSAT TT=1.642	UNSAT TT=1.545	UNSAT TT=6.335	UNSAT TT=9.068	UNSAT TT=8.974	UNSAT TT=3.806	UNSAT TT=7.197	UNSAT TT=1.992	UNSAT TT=1.45	UNSAT TT=31.631	UNSAT TT=27.473	? TT=35.009	UNSAT TT=1599.65	? (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/rand-3-20-20-fcd/ normalized-rand-3-20-20-60-632-fcd-10_ext.xml	SAT TT=2.61	SAT TT=57.785	SAT TT=58.303	SAT TT=47.847	SAT TT=11.113	SAT TT=8.237	SAT TT=3.117	SAT TT=2.61	SAT TT=37.612	SAT TT=3.887	SAT TT=9.594	SAT TT=22.689	SAT TT=89.525	SAT TT=7.387	SAT TT=141.817
csp/rand-3-20-20-fcd/ normalized-rand-3-20-20-60-632-fcd-17_ext.xml	SAT TT=0.419	SAT TT=65.669	SAT TT=65.742	SAT TT=11.923	SAT TT=61.397	SAT TT=36.278	SAT TT=8.792	SAT TT=51	SAT TT=33.786	SAT TT=0.419	SAT TT=110.689	SAT TT=91.487	SAT TT=338.258	SAT TT=51.671	SAT TT=42.114
csp/rand-3-20-20-fcd/ normalized-rand-3-20-20-60-632-fcd-18_ext.xml	SAT TT=3.029	SAT TT=31.402	SAT TT=30.654	SAT TT=926.287	SAT TT=49.165	SAT TT=14.778	SAT TT=21.556	SAT TT=18.278	SAT TT=3.029	SAT TT=9.977	SAT TT=83.477	SAT TT=142.668	SAT TT=71.025	SAT TT=51.763	SAT TT=11.779
csp/rand-3-20-20-fcd/ normalized-rand-3-20-20-60-632-fcd-19_ext.xml	SAT TT=15.585	SAT TT=161.822	SAT TT=169.715	SAT TT=400.476	SAT TT=105.429	SAT TT=202.034	SAT TT=39.789	SAT TT=39.997	SAT TT=138.75	SAT TT=15.585	SAT TT=985.773	SAT TT=440.596	SAT TT=1784.8	SAT TT=1544.84	? (TO) TT=1800.07
csp/rand-3-20-20-fcd/ normalized-rand-3-20-20-60-632-fcd-22_ext.xml	SAT TT=42.934	SAT TT=404.726	SAT TT=403.275	? (TO) TT=1800.07	SAT TT=164.528	SAT TT=248.619	SAT TT=187.926	SAT TT=141.303	SAT TT=180.935	SAT TT=42.934	SAT TT=700.98	SAT TT=1711.61	? (TO) TT=1800.9	SAT TT=1237.71	SAT TT=160.537
csp/rand-3-20-20-fcd/ normalized-rand-3-20-20-60-632-fcd-24_ext.xml	SAT TT=3.317	SAT TT=68.778	SAT TT=82.214	SAT TT=1156.44	SAT TT=186.605	SAT TT=4.958	SAT TT=3.317	SAT TT=8.648	SAT TT=15.745	SAT TT=28.576	SAT TT=886.71	SAT TT=1130.43	SAT TT=1285.52	SAT TT=43.265	SAT TT=113.759
csp/rand-3-20-20-fcd/ normalized-rand-3-20-20-60-632-fcd-26_ext.xml	SAT TT=4.334	SAT TT=6.773	SAT TT=6.45	SAT TT=1608.46	SAT TT=29.003	SAT TT=11.909	SAT TT=13.941	SAT TT=7.428	SAT TT=24.928	SAT TT=4.334	SAT TT=109.634	SAT TT=73.103	SAT TT=202.551	SAT TT=84.259	SAT TT=89.368
csp/rand-3-20-20-fcd/ normalized-rand-3-20-20-60-632-fcd-27_ext.xml	SAT TT=6.729	? (TO) TT=1800.15	? (TO) TT=1800.09	? (TO) TT=1800.08	SAT TT=151.432	SAT TT=6.729	SAT TT=68.401	SAT TT=92.644	SAT TT=149.14	SAT TT=17.947	SAT TT=795.922	SAT TT=193.083	SAT TT=536.835	SAT TT=65.396	SAT TT=28.447
csp/rand-3-20-20-fcd/ normalized-rand-3-20-20-60-632-fcd-28_ext.xml	SAT TT=2.993	SAT TT=305.093	SAT TT=292.883	SAT TT=36.239	SAT TT=63.765	SAT TT=24.174	SAT TT=9.293	SAT TT=11.887	SAT TT=32.575	SAT TT=2.993	SAT TT=74.034	SAT TT=75.847	SAT TT=318.908	SAT TT=262.948	SAT TT=269.451
csp/rand-3-20-20-fcd/ normalized-rand-3-20-20-60-632-fcd-2_ext.xml	SAT TT=4.942	SAT TT=52.434	SAT TT=53.583	? (TO) TT=1800.1	SAT TT=39.744	SAT TT=5.773	SAT TT=26.735	SAT TT=35.788	SAT TT=65.312	SAT TT=11.489	SAT TT=60.639	SAT TT=9.205	SAT TT=4.942	SAT TT=17.429	SAT TT=162.169
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/rand-3-20-20-fcd/ normalized-rand-3-20-20-60-632-fcd-30_ext.xml	SAT TT=4.139	SAT TT=195.629	SAT TT=194.949	SAT TT=210.965	SAT TT=36.146	SAT TT=43.393	SAT TT=4.139	SAT TT=5.206	SAT TT=46.937	SAT TT=11.195	SAT TT=84.317	SAT TT=87.776	SAT TT=153.183	SAT TT=249.45	SAT TT=295.669
csp/rand-3-20-20-fcd/ normalized-rand-3-20-20-60-632-fcd-33_ext.xml	SAT TT=59.718	SAT TT=172.587	SAT TT=164.824	? (TO) TT=1800.04	SAT TT=497.971	SAT TT=126.64	SAT TT=108.26	SAT TT=101.899	SAT TT=306.81	SAT TT=59.718	SAT TT=161.629	SAT TT=259.197	SAT TT=1217.37	SAT TT=340.173	SAT TT=344.863
csp/rand-3-20-20-fcd/ normalized-rand-3-20-20-60-632-fcd-34_ext.xml	SAT TT=8.797	SAT TT=84.531	SAT TT=84.642	? (TO) TT=1800.1	SAT TT=203.222	SAT TT=156.877	SAT TT=8.797	SAT TT=16.377	SAT TT=278.848	SAT TT=23.249	SAT TT=912.01	SAT TT=316.216	SAT TT=1089.49	SAT TT=827.756	SAT TT=1702.46
csp/rand-3-20-20-fcd/ normalized-rand-3-20-20-60-632-fcd-35_ext.xml	SAT TT=7.336	SAT TT=17.648	SAT TT=17.922	SAT TT=202.298	SAT TT=19.303	SAT TT=13.855	SAT TT=49.501	SAT TT=37.105	SAT TT=59.747	SAT TT=7.336	SAT TT=119.169	SAT TT=151.666	SAT TT=301.784	SAT TT=44.488	SAT TT=414.779
csp/rand-3-20-20-fcd/ normalized-rand-3-20-20-60-632-fcd-36_ext.xml	SAT TT=4.577	SAT TT=403.217	SAT TT=368.361	? (TO) TT=1800.07	SAT TT=227.435	SAT TT=212.101	SAT TT=114.473	SAT TT=140.872	SAT TT=4.577	SAT TT=33.465	SAT TT=588.806	SAT TT=982.304	SAT TT=969.626	SAT TT=507.984	SAT TT=1709.27
csp/rand-3-20-20-fcd/ normalized-rand-3-20-20-60-632-fcd-38_ext.xml	SAT TT=4.949	SAT TT=48.989	SAT TT=46.161	SAT TT=25.766	SAT TT=14.89	SAT TT=19.756	SAT TT=10.478	SAT TT=9.896	SAT TT=18.153	SAT TT=4.949	SAT TT=60.462	SAT TT=75.603	SAT TT=82.211	SAT TT=46.477	SAT TT=17.654
csp/rand-3-20-20-fcd/ normalized-rand-3-20-20-60-632-fcd-39_ext.xml	SAT TT=15.334	SAT TT=142.647	SAT TT=140.55	SAT TT=651.704	SAT TT=15.334	SAT TT=258.126	SAT TT=63.288	SAT TT=63.198	SAT TT=172.85	SAT TT=31.147	SAT TT=523.972	SAT TT=334.769	SAT TT=850.808	SAT TT=188.677	SAT TT=904.66
csp/rand-3-20-20-fcd/ normalized-rand-3-20-20-60-632-fcd-40_ext.xml	SAT TT=8.582	SAT TT=195.389	SAT TT=191.105	? (TO) TT=1800.02	SAT TT=194.867	SAT TT=88.04	SAT TT=32.498	SAT TT=63.153	SAT TT=179.939	SAT TT=8.582	SAT TT=461.745	SAT TT=419.692	SAT TT=172.741	SAT TT=303.403	? (TO) TT=1800.12
csp/rand-3-20-20-fcd/ normalized-rand-3-20-20-60-632-fcd-41_ext.xml	SAT TT=28.144	SAT TT=190.916	SAT TT=186.101	SAT TT=1245.14	SAT TT=169.585	SAT TT=133.805	SAT TT=53.265	SAT TT=75.595	SAT TT=86.647	SAT TT=28.144	SAT TT=343.941	SAT TT=274.733	SAT TT=1051.09	SAT TT=1784.86	SAT TT=489.99
csp/rand-3-20-20-fcd/ normalized-rand-3-20-20-60-632-fcd-42_ext.xml	SAT TT=2.742	SAT TT=297.404	SAT TT=286.091	? (TO) TT=1800.11	SAT TT=123.175	SAT TT=147.303	SAT TT=58.001	SAT TT=40.713	SAT TT=52.682	SAT TT=2.742	SAT TT=307.597	SAT TT=876.906	SAT TT=1354.28	SAT TT=891.279	? (TO) TT=1800.13
Bench name	Best results	Abscon 112v4 AC (complete)	Abscon 112v4 ESAC (complete)	bpsolver 09 (complete)	Choco2.1.1 2009-06-10 (complete)	Choco2.1.1b 2009-07-16 (complete)	Concrete 2009-07-14 (complete)	Concrete DC 2009-07-14 (complete)	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/rand-3-20-20-fcd/ normalized-rand-3-20-20-60-632-fcd-48_ext.xml	SAT TT=10.511	SAT TT=447.662	SAT TT=470.558	SAT TT=380.984	SAT TT=38.223	SAT TT=73.57	SAT TT=41.328	SAT TT=10.511	SAT TT=301.131	SAT TT=28.302	SAT TT=853.625	SAT TT=483.269	SAT TT=1125.85	SAT TT=1392.05	SAT TT=1130.49
csp/rand-3-20-20-fcd/ normalized-rand-3-20-20-60-632-fcd-4_ext.xml	SAT TT=4.901	SAT TT=664.94	SAT TT=721.469	? (TO) TT=1800.06	SAT TT=107.908	SAT TT=61.464	SAT TT=77.905	SAT TT=27.939	SAT TT=100.635	SAT TT=4.901	SAT TT=134.763	SAT TT=295.964	SAT TT=810.457	SAT TT=566.298	SAT TT=694.903
csp/rand-3-20-20-fcd/ normalized-rand-3-20-20-60-632-fcd-50_ext.xml	SAT TT=39.541	SAT TT=39.541	SAT TT=60.85	? (TO) TT=1800.12	SAT TT=412.652	SAT TT=360.984	SAT TT=201.804	SAT TT=326.298	SAT TT=434.166	SAT TT=55.523	SAT TT=1534.91	SAT TT=1168.21	SAT TT=75.28	SAT TT=199.245	? (TO) TT=1800.14
csp/rand-3-20-20-fcd/ normalized-rand-3-20-20-60-632-fcd-8_ext.xml	SAT TT=6.618	SAT TT=241.715	SAT TT=242.457	SAT TT=692.436	SAT TT=6.618	SAT TT=94.686	SAT TT=47.004	SAT TT=118.663	SAT TT=145.58	SAT TT=36.299	SAT TT=419.77	SAT TT=407.32	SAT TT=693.006	SAT TT=780.068	SAT TT=712.877
csp/rand-3-20-20-fcd/ normalized-rand-3-20-20-60-632-fcd-9_ext.xml	SAT TT=2.31	SAT TT=224.421	SAT TT=221.595	SAT TT=720.355	SAT TT=39.727	SAT TT=24.939	SAT TT=27.229	SAT TT=26.902	SAT TT=12.595	SAT TT=2.31	SAT TT=212.997	SAT TT=144.505	SAT TT=188.022	SAT TT=31.601	SAT TT=184.516
csp/rand-3-20-20/ normalized-rand-3-20-20-60-632-11_ext.xml	UNSAT TT=92.606	? (TO) TT=1800.06	? (TO) TT=1800.13	? (TO) TT=1800.1	UNSAT TT=447.286	UNSAT TT=564.53	UNSAT TT=224.955	UNSAT TT=247.665	UNSAT TT=655.411	UNSAT TT=92.606	? (TO) TT=1800.05	? (TO) TT=1800.05	? (TO) TT=1800.73	? (TO) TT=1800.08	? (TO) TT=1800.08
csp/rand-3-20-20/ normalized-rand-3-20-20-60-632-12_ext.xml	SAT TT=5.959	SAT TT=357.561	SAT TT=306.946	SAT TT=351.643	SAT TT=42.933	SAT TT=126.794	SAT TT=65.813	SAT TT=19.145	SAT TT=71.524	SAT TT=12.827	SAT TT=1338.21	SAT TT=331.727	SAT TT=155.707	SAT TT=117.749	SAT TT=5.959
csp/rand-3-20-20/ normalized-rand-3-20-20-60-632-13_ext.xml	SAT TT=5.03	SAT TT=189.085	SAT TT=186.873	SAT TT=1221.33	SAT TT=88.575	SAT TT=14.833	SAT TT=5.03	SAT TT=70.116	SAT TT=62.232	SAT TT=13.111	SAT TT=713.658	SAT TT=399.32	SAT TT=57.487	SAT TT=387.947	SAT TT=540.436
csp/rand-3-20-20/ normalized-rand-3-20-20-60-632-14_ext.xml	SAT TT=3.36	SAT TT=182.948	SAT TT=166.363	SAT TT=125.727	SAT TT=77.215	SAT TT=13.355	SAT TT=11.067	SAT TT=14.294	SAT TT=19.009	SAT TT=3.36	SAT TT=11.421	SAT TT=91.626	SAT TT=160.598	SAT TT=124.733	SAT TT=11.585
csp/rand-3-20-20/ normalized-rand-3-20-20-60-632-16_ext.xml	UNSAT TT=100.439	UNSAT TT=843.393	UNSAT TT=855.624	? (TO) TT=1800.07	UNSAT TT=506.732	UNSAT TT=499.513	UNSAT TT=240.862	UNSAT TT=250.673	UNSAT TT=685.426	UNSAT TT=100.439	? (TO) TT=1800.15	? (TO) TT=1800.07	? (TO) TT=1800.86	? (TO) TT=1800.03	? (TO) TT=1800.09
Bench name	Best results	Abscon 112v4 AC (complete)	Abscon 112v4 ESAC (complete)	bpsolver 09 (complete)	Choco2.1.1 2009-06-10 (complete)	Choco2.1.1b 2009-07-16 (complete)	Concrete 2009-07-14 (complete)	Concrete DC 2009-07-14 (complete)	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/rand-3-20-20/ normalized-rand-3-20-20-60-632-18_ext.xml	UNSAT TT=11.258	UNSAT TT=126.304	UNSAT TT=135.948	? (TO) TT=1800.1	UNSAT TT=85.455	UNSAT TT=47.63	UNSAT TT=34.9	UNSAT TT=29.898	UNSAT TT=106.904	UNSAT TT=11.258	UNSAT TT=373.921	UNSAT TT=171.048	UNSAT TT=208.973	UNSAT TT=185.508	UNSAT TT=178.732
csp/rand-3-20-20/ normalized-rand-3-20-20-60-632-1_ext.xml	SAT TT=2.924	SAT TT=159.523	SAT TT=142.274	? (TO) TT=1800.09	SAT TT=37.175	SAT TT=34.615	SAT TT=41.292	SAT TT=49.204	SAT TT=43.332	SAT TT=2.924	SAT TT=471.098	SAT TT=341.025	SAT TT=194.002	SAT TT=407.958	SAT TT=1311.92
csp/rand-3-20-20/ normalized-rand-3-20-20-60-632-21_ext.xml	UNSAT TT=17.967	UNSAT TT=398.746	UNSAT TT=413.584	UNSAT TT=583.841	UNSAT TT=103.725	UNSAT TT=103.96	UNSAT TT=58.296	UNSAT TT=64.5	UNSAT TT=144.204	UNSAT TT=17.967	UNSAT TT=285.789	UNSAT TT=340.934	UNSAT TT=558.349	UNSAT TT=406.382	UNSAT TT=478.976
csp/rand-3-20-20/ normalized-rand-3-20-20-60-632-22_ext.xml	UNSAT TT=58.875	UNSAT TT=517.36	UNSAT TT=493.455	? (TO) TT=1800.09	UNSAT TT=289.249	UNSAT TT=317.513	UNSAT TT=167.798	UNSAT TT=179.659	UNSAT TT=457.355	UNSAT TT=58.875	UNSAT TT=1381.41	UNSAT TT=1758.33	? (TO) TT=1801.05	UNSAT TT=1220.49	? (TO) TT=1800.08
csp/rand-3-20-20/ normalized-rand-3-20-20-60-632-23_ext.xml	UNSAT TT=28.711	UNSAT TT=605.692	UNSAT TT=578.977	? (TO) TT=1800.08	UNSAT TT=146.458	UNSAT TT=132.962	UNSAT TT=72.115	UNSAT TT=65.576	UNSAT TT=214.731	UNSAT TT=28.711	UNSAT TT=629.131	UNSAT TT=701.808	UNSAT TT=747.724	UNSAT TT=603.621	UNSAT TT=1292.08
csp/rand-3-20-20/ normalized-rand-3-20-20-60-632-24_ext.xml	SAT TT=10.052	SAT TT=366.547	SAT TT=374.716	SAT TT=432.447	SAT TT=11.45	SAT TT=114.832	SAT TT=131.221	SAT TT=140.69	SAT TT=117.461	SAT TT=10.052	SAT TT=50.141	SAT TT=694.812	SAT TT=479.735	SAT TT=976.504	SAT TT=744.675
csp/rand-3-20-20/ normalized-rand-3-20-20-60-632-27_ext.xml	SAT TT=5.303	? (TO) TT=1800.05	? (TO) TT=1800.08	? (TO) TT=1800.1	SAT TT=134.452	SAT TT=173.724	SAT TT=41.87	SAT TT=57.094	SAT TT=147.629	SAT TT=5.303	SAT TT=695.507	SAT TT=318.424	SAT TT=663.194	SAT TT=724.306	? (TO) TT=1800.12
csp/rand-3-20-20/ normalized-rand-3-20-20-60-632-28_ext.xml	SAT TT=2.951	SAT TT=391.235	SAT TT=386.272	SAT TT=836.891	SAT TT=29.273	SAT TT=14.608	SAT TT=32.211	SAT TT=30.222	SAT TT=82.588	SAT TT=2.951	SAT TT=209.189	SAT TT=196.721	SAT TT=156.237	SAT TT=238.539	SAT TT=25.223
csp/rand-3-20-20/ normalized-rand-3-20-20-60-632-33_ext.xml	UNSAT TT=125.487	UNSAT TT=901.869	UNSAT TT=833.107	? (TO) TT=1800.07	UNSAT TT=619.183	UNSAT TT=696.119	UNSAT TT=394.51	UNSAT TT=445.493	UNSAT TT=709.53	UNSAT TT=125.487	? (TO) TT=1800.06	? (TO) TT=1800.14	? (TO) TT=1800.42	? (TO) TT=1800.03	? (TO) TT=1800.14
csp/rand-3-20-20/ normalized-rand-3-20-20-60-632-34_ext.xml	UNSAT TT=43.113	UNSAT TT=1407.51	UNSAT TT=1658.02	? (TO) TT=1800.06	UNSAT TT=275.243	UNSAT TT=291.513	UNSAT TT=135.095	UNSAT TT=125.698	UNSAT TT=294.009	UNSAT TT=43.113	UNSAT TT=1760.49	UNSAT TT=1385.04	UNSAT TT=1755.64	UNSAT TT=991.918	UNSAT TT=1743.6
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/rand-3-20-20/ normalized-rand-3-20-20-60-632-38_ext.xml	UNSAT TT=6.206	UNSAT TT=58.627	UNSAT TT=57.496	UNSAT TT=480.73	UNSAT TT=24.595	UNSAT TT=23.717	UNSAT TT=21.612	UNSAT TT=18.553	UNSAT TT=27.631	UNSAT TT=6.206	UNSAT TT=78.052	UNSAT TT=111.051	UNSAT TT=76.363	UNSAT TT=53.544	UNSAT TT=65.617
csp/rand-3-20-20/ normalized-rand-3-20-20-60-632-39_ext.xml	UNSAT TT=56.095	UNSAT TT=1354.52	UNSAT TT=1495.2	? (TO) TT=1800.01	UNSAT TT=241.02	UNSAT TT=419.92	UNSAT TT=180.445	UNSAT TT=178.072	UNSAT TT=357.146	UNSAT TT=56.095	UNSAT TT=1761.11	UNSAT TT=1793.96	? (TO) TT=1800.9	? (TO) TT=1800.05	? (TO) TT=1800.13
csp/rand-3-20-20/ normalized-rand-3-20-20-60-632-40_ext.xml	UNSAT TT=38.325	UNSAT TT=349.87	UNSAT TT=352.683	? (TO) TT=1800.05	UNSAT TT=196.515	UNSAT TT=214.195	UNSAT TT=111.771	UNSAT TT=110.093	UNSAT TT=310.101	UNSAT TT=38.325	UNSAT TT=609.88	UNSAT TT=489.294	? (TO) TT=1800.45	? (TO) TT=1800.05	? (TO) TT=1800.11
csp/rand-3-20-20/ normalized-rand-3-20-20-60-632-41_ext.xml	SAT TT=2.197	SAT TT=322.296	SAT TT=339.308	? (TO) TT=1800.1	SAT TT=67.058	SAT TT=261.175	SAT TT=13.903	SAT TT=10.924	SAT TT=109.229	SAT TT=2.197	SAT TT=658.16	SAT TT=249.555	SAT TT=1479.26	? (TO) TT=1800.03	SAT TT=1186.96
csp/rand-3-20-20/ normalized-rand-3-20-20-60-632-42_ext.xml	UNSAT TT=44.197	UNSAT TT=386.219	UNSAT TT=387.933	? (TO) TT=1800.1	UNSAT TT=257.325	UNSAT TT=315.855	UNSAT TT=142.869	UNSAT TT=152.126	UNSAT TT=430.443	UNSAT TT=44.197	UNSAT TT=1706.63	UNSAT TT=1744.01	? (TO) TT=1800.53	UNSAT TT=1136.13	? (TO) TT=1800.06
csp/rand-3-20-20/ normalized-rand-3-20-20-60-632-45_ext.xml	UNSAT TT=11.606	UNSAT TT=228.991	UNSAT TT=266.903	UNSAT TT=763.592	UNSAT TT=78.448	UNSAT TT=63.445	UNSAT TT=39.646	UNSAT TT=43.358	UNSAT TT=82.668	UNSAT TT=11.606	UNSAT TT=234.559	UNSAT TT=270.876	UNSAT TT=303.672	UNSAT TT=190.173	UNSAT TT=215.187
csp/rand-3-20-20/ normalized-rand-3-20-20-60-632-49_ext.xml	SAT TT=13.474	SAT TT=483.093	SAT TT=451.241	SAT TT=685.625	SAT TT=16.827	SAT TT=13.474	SAT TT=144.965	SAT TT=119.309	SAT TT=319.007	SAT TT=47.378	SAT TT=472.078	SAT TT=470.039	? (TO) TT=1800.82	SAT TT=1191.47	SAT TT=1156.82
csp/rand-3-20-20/ normalized-rand-3-20-20-60-632-50_ext.xml	SAT TT=52.149	SAT TT=471.039	SAT TT=478.174	? (TO) TT=1800.08	SAT TT=134.104	SAT TT=53.885	SAT TT=296.648	SAT TT=361.841	SAT TT=52.149	SAT TT=163.634	SAT TT=1262.01	SAT TT=1568.21	SAT TT=904.202	SAT TT=852.637	SAT TT=660.648
csp/rand-3-20-20/ normalized-rand-3-20-20-60-632-7_ext.xml	SAT TT=15.344	SAT TT=479.45	SAT TT=469.644	? (TO) TT=1800.03	SAT TT=72.765	SAT TT=48.564	SAT TT=54.5	SAT TT=56.097	SAT TT=78.442	SAT TT=15.344	SAT TT=126.775	SAT TT=20.451	SAT TT=780.511	SAT TT=47.381	SAT TT=123.02
csp/rand-3-20-20/ normalized-rand-3-20-20-60-632-8_ext.xml	SAT TT=5.822	SAT TT=5.822	SAT TT=5.826	SAT TT=350.068	SAT TT=32.057	SAT TT=224.166	SAT TT=33.805	SAT TT=13.552	SAT TT=36.34	SAT TT=15.591	SAT TT=303.857	SAT TT=154.463	SAT TT=526.138	SAT TT=924.29	SAT TT=45.876
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/rand-3-24-24-fcd/ normalized-rand-3-24-24-76-632-fcd-10_ext.xml	SAT TT=241.314	? (TO) TT=1800.08	? (TO) TT=1800.12	? (TO) TT=1800.12	? (TO) TT=1800.12	SAT TT=712.864	? (TO) TT=1800.01	? (TO) TT=1800.1	? (TO) TT=1800.08	SAT TT=241.314	? (TO) TT=1800.05	? (TO) TT=1800.05	? (TO) TT=1800.47	? (TO) TT=1800.08	? (TO) TT=1800.1
csp/rand-3-24-24-fcd/ normalized-rand-3-24-24-76-632-fcd-11_ext.xml	SAT TT=90.863	? (TO) TT=1800.11	? (TO) TT=1800.1	? (TO) TT=1800.07	SAT TT=1082.89	SAT TT=486.133	SAT TT=911.4	SAT TT=932.508	SAT TT=90.863	SAT TT=238.581	? (TO) TT=1800.12	? (TO) TT=1800.06	? (TO) TT=1800.47	? (TO) TT=1800.14	? (TO) TT=1800.13
csp/rand-3-24-24-fcd/ normalized-rand-3-24-24-76-632-fcd-17_ext.xml	SAT TT=632.385	? (TO) TT=1800.1	? (TO) TT=1800.12	? (TO) TT=1800.09	? (TO) TT=1800.09	? (TO) TT=1800.08	SAT TT=632.385	SAT TT=1264.78	? (TO) TT=1800.05	? (TO) TT=1800.04	? (TO) TT=1800.11	? (TO) TT=1800.05	? (TO) TT=1800.77	? (TO) TT=1800.04	? (TO) TT=1800.06
csp/rand-3-24-24-fcd/ normalized-rand-3-24-24-76-632-fcd-19_ext.xml		? (TO) TT=1800.1	? (TO) TT=1800.1	? (TO) TT=1800.04	? (TO) TT=1800.09	? (TO) TT=1800.15	? (TO) TT=1800.05	? (TO) TT=1800.07	? (TO) TT=1800.03	? (TO) TT=1800.05	? (TO) TT=1800.08	? (TO) TT=1800.04	? (TO) TT=1800.53	? (TO) TT=1800.05	? (TO) TT=1800.06
csp/rand-3-24-24-fcd/ normalized-rand-3-24-24-76-632-fcd-24_ext.xml	SAT TT=412.156	? (TO) TT=1800.1	? (TO) TT=1800.14	? (TO) TT=1800.05	? (TO) TT=1800.17	SAT TT=412.156	? (TO) TT=1800.05	? (TO) TT=1800.04	? (TO) TT=1800.01	? (TO) TT=1800.05	? (TO) TT=1800.05	? (TO) TT=1800.07	? (TO) TT=1800.52	? (TO) TT=1800.05	? (TO) TT=1800.09
csp/rand-3-24-24-fcd/ normalized-rand-3-24-24-76-632-fcd-25_ext.xml	SAT TT=340.792	? (TO) TT=1800.07	? (TO) TT=1800.08	? (TO) TT=1800.12	? (TO) TT=1800.11	? (TO) TT=1800.12	? (TO) TT=1800	SAT TT=1324.18	? (TO) TT=1800.05	SAT TT=340.792	? (TO) TT=1800.05	? (TO) TT=1800.08	? (TO) TT=1800.58	? (TO) TT=1800.03	? (TO) TT=1800.12
csp/rand-3-24-24-fcd/ normalized-rand-3-24-24-76-632-fcd-26_ext.xml	SAT TT=100.77	? (TO) TT=1800.13	? (TO) TT=1800.07	? (TO) TT=1800.05	SAT TT=577.36	SAT TT=678.09	SAT TT=634.007	SAT TT=312.498	SAT TT=655.417	SAT TT=100.77	? (TO) TT=1800.05	? (TO) TT=1800.08	? (TO) TT=1800.95	? (TO) TT=1800.04	SAT TT=928.184
csp/rand-3-24-24-fcd/ normalized-rand-3-24-24-76-632-fcd-27_ext.xml	SAT TT=21.368	? (TO) TT=1800.07	? (TO) TT=1800.15	? (TO) TT=1800.06	SAT TT=1446.46	SAT TT=21.368	? (TO) TT=1800	? (TO) TT=1800.06	? (TO) TT=1800.03	SAT TT=554.983	? (TO) TT=1800.04	? (TO) TT=1800.13	? (TO) TT=1801	? (TO) TT=1800.02	SAT TT=128.486
csp/rand-3-24-24-fcd/ normalized-rand-3-24-24-76-632-fcd-30_ext.xml	SAT TT=134.938	? (TO) TT=1800.09	? (TO) TT=1800.1	? (TO) TT=1800.05	? (TO) TT=1800.1	SAT TT=1109.49	? (TO) TT=1800.09	? (TO) TT=1800.04	SAT TT=134.938	SAT TT=777.298	? (TO) TT=1800.13	? (TO) TT=1800.08	? (TO) TT=1800.97	? (TO) TT=1800.03	? (TO) TT=1800.14
csp/rand-3-24-24-fcd/ normalized-rand-3-24-24-76-632-fcd-34_ext.xml	SAT TT=527.991	? (TO) TT=1800.11	? (TO) TT=1800.12	? (TO) TT=1800.11	? (TO) TT=1800.17	SAT TT=532.216	SAT TT=647.894	SAT TT=1191.62	? (TO) TT=1800.01	SAT TT=527.991	? (TO) TT=1800.04	? (TO) TT=1800.08	SAT TT=904.931	? (TO) TT=1800.02	? (TO) TT=1800.12
Bench name	Best results	Abscon 112v4 AC (complete)	Abscon 112v4 ESAC (complete)	bpsolver 09 (complete)	Choco2.1.1 2009-06-10 (complete)	Choco2.1.1b 2009-07-16 (complete)	Concrete 2009-07-14 (complete)	Concrete DC 2009-07-14 (complete)	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/rand-3-24-24-fcd/ normalized-rand-3-24-24-76-632-fcd-36_ext.xml	SAT TT=449.2	? (TO) TT=1800.14	? (TO) TT=1800.11	? (TO) TT=1800.06	? (TO) TT=1800.17	SAT TT=732.848	SAT TT=1498.32	SAT TT=1755.35	? (TO) TT=1800.08	SAT TT=449.2	? (TO) TT=1800.06	SAT TT=1320.41	? (TO) TT=1800.85	? (TO) TT=1800.1	? (TO) TT=1800.13
csp/rand-3-24-24-fcd/ normalized-rand-3-24-24-76-632-fcd-37_ext.xml	SAT TT=235.8	SAT TT=551.686	SAT TT=1024.05	? (TO) TT=1800.09	? (TO) TT=1800.08	? (TO) TT=1800.16	? (TO) TT=1800.06	? (TO) TT=1800.09	SAT TT=387.147	SAT TT=639.064	? (TO) TT=1800.08	? (TO) TT=1800.05	SAT TT=235.8	? (TO) TT=1800.02	? (TO) TT=1800.1
csp/rand-3-24-24-fcd/ normalized-rand-3-24-24-76-632-fcd-38_ext.xml	SAT TT=1191.78	? (TO) TT=1800.1	? (TO) TT=1800.09	? (TO) TT=1800.04	SAT TT=1770.03	? (TO) TT=1800.1	? (TO) TT=1800.03	? (TO) TT=1800.06	SAT TT=1191.78	SAT TT=1588.37	? (TO) TT=1800.08	? (TO) TT=1800.13	? (TO) TT=1800.59	? (TO) TT=1800.04	? (TO) TT=1800.11
csp/rand-3-24-24-fcd/ normalized-rand-3-24-24-76-632-fcd-39_ext.xml	SAT TT=645.382	? (TO) TT=1800.12	? (TO) TT=1800.14	? (TO) TT=1800.07	? (TO) TT=1800.08	? (TO) TT=1800.11	SAT TT=883.64	SAT TT=1192.84	? (TO) TT=1800.04	SAT TT=645.382	? (TO) TT=1800.12	? (TO) TT=1800.11	? (TO) TT=1801.03	? (TO) TT=1800.03	? (TO) TT=1800.11
csp/rand-3-24-24-fcd/ normalized-rand-3-24-24-76-632-fcd-41_ext.xml	SAT TT=164.482	? (TO) TT=1800.1	? (TO) TT=1800.08	? (TO) TT=1800.08	? (TO) TT=1800.13	? (TO) TT=1800.09	? (TO) TT=1800.07	? (TO) TT=1800.03	? (TO) TT=1800.08	SAT TT=164.482	? (TO) TT=1800.06	? (TO) TT=1800.12	? (TO) TT=1800.39	? (TO) TT=1800.03	? (TO) TT=1800.14
csp/rand-3-24-24-fcd/ normalized-rand-3-24-24-76-632-fcd-42_ext.xml	SAT TT=5.423	? (TO) TT=1800.12	? (TO) TT=1800.1	? (TO) TT=1800.1	SAT TT=539.818	SAT TT=5.423	SAT TT=236.827	SAT TT=247.118	? (TO) TT=1800.08	SAT TT=106.322	? (TO) TT=1800.06	? (TO) TT=1800.06	SAT TT=554.327	? (TO) TT=1800.09	? (TO) TT=1800.13
csp/rand-3-24-24-fcd/ normalized-rand-3-24-24-76-632-fcd-43_ext.xml	SAT TT=549.62	SAT TT=989.35	SAT TT=1033.91	? (TO) TT=1800.12	SAT TT=634.807	? (TO) TT=1800.14	? (TO) TT=1800.08	? (TO) TT=1800.04	? (TO) TT=1800.09	SAT TT=549.62	? (TO) TT=1800.11	? (TO) TT=1800.08	SAT TT=1688.06	? (TO) TT=1800.08	? (TO) TT=1800.13
csp/rand-3-24-24-fcd/ normalized-rand-3-24-24-76-632-fcd-44_ext.xml	SAT TT=15.249	? (TO) TT=1800.07	? (TO) TT=1800.08	? (TO) TT=1800.09	? (TO) TT=1800.12	SAT TT=1232.21	SAT TT=1277.84	SAT TT=1325.36	? (TO) TT=1800.02	SAT TT=200.261	? (TO) TT=1800.05	? (TO) TT=1800.05	? (TO) TT=1800.64	? (TO) TT=1800.04	SAT TT=15.249
csp/rand-3-24-24-fcd/ normalized-rand-3-24-24-76-632-fcd-47_ext.xml		? (TO) TT=1800.13	? (TO) TT=1800.15	? (TO) TT=1800.06	? (TO) TT=1800.05	? (TO) TT=1800.1	? (TO) TT=1800.1	? (TO) TT=1800.08	? (TO) TT=1800.07	? (TO) TT=1800.1	? (TO) TT=1800.12	? (TO) TT=1800.13	? (TO) TT=1801.1	? (TO) TT=1800.03	? (TO) TT=1800.1
csp/rand-3-24-24-fcd/ normalized-rand-3-24-24-76-632-fcd-48_ext.xml	SAT TT=1223.34	? (TO) TT=1800.09	? (TO) TT=1800.14	? (TO) TT=1800.11	? (TO) TT=1800.11	? (TO) TT=1800.15	SAT TT=1718.67	SAT TT=1729.7	? (TO) TT=1800.04	SAT TT=1223.34	? (TO) TT=1800.11	? (TO) TT=1800.11	? (TO) TT=1800.52	? (TO) TT=1800.04	? (TO) TT=1800.11
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/rand-3-24-24-fcd/ normalized-rand-3-24-24-76-632-fcd-50_ext.xml		? (TO) TT=1800.1	? (TO) TT=1800.13	? (TO) TT=1800.04	? (TO) TT=1800.15	? (TO) TT=1800.13	? (TO) TT=1800.06	? (TO) TT=1800.02	? (TO) TT=1800.02	? (TO) TT=1800.1	? (TO) TT=1800.13	? (TO) TT=1800.09	? (TO) TT=1800.61	? (TO) TT=1800.05	? (TO) TT=1800.06
csp/rand-3-24-24-fcd/ normalized-rand-3-24-24-76-632-fcd-5_ext.xml	SAT TT=116.785	? (TO) TT=1800.09	? (TO) TT=1800.14	? (TO) TT=1800.04	SAT TT=880.946	? (TO) TT=1800.08	? (TO) TT=1800.08	SAT TT=677.411	SAT TT=116.785	SAT TT=1366.95	? (TO) TT=1800.06	? (TO) TT=1800.11	? (TO) TT=1800.52	? (TO) TT=1800.06	? (TO) TT=1800.11
csp/rand-3-24-24-fcd/ normalized-rand-3-24-24-76-632-fcd-7_ext.xml	SAT TT=156.639	? (TO) TT=1800.09	? (TO) TT=1800.08	? (TO) TT=1800.06	SAT TT=1442.6	SAT TT=1008.44	SAT TT=582.859	SAT TT=659.152	? (TO) TT=1800.03	SAT TT=156.639	? (TO) TT=1800.08	? (TO) TT=1800.06	? (TO) TT=1800.41	? (TO) TT=1800.09	? (TO) TT=1800.06
csp/rand-3-24-24-fcd/ normalized-rand-3-24-24-76-632-fcd-8_ext.xml	SAT TT=387.27	? (TO) TT=1800.17	? (TO) TT=1800.11	? (TO) TT=1800.06	SAT TT=413.351	? (TO) TT=1800.1	SAT TT=390.961	SAT TT=387.27	? (TO) TT=1800	SAT TT=576.124	? (TO) TT=1800.07	? (TO) TT=1800.08	? (TO) TT=1800.55	? (TO) TT=1800.09	? (TO) TT=1800.16
csp/rand-3-24-24-fcd/ normalized-rand-3-24-24-76-632-fcd-9_ext.xml	SAT TT=106.952	? (TO) TT=1800.1	? (TO) TT=1800.11	? (TO) TT=1800.04	SAT TT=548.123	SAT TT=786.673	SAT TT=573.847	SAT TT=741.309	SAT TT=979.797	SAT TT=493.751	? (TO) TT=1800.06	? (TO) TT=1800.13	? (TO) TT=1801.01	? (TO) TT=1800.03	SAT TT=106.952
csp/rand-3-24-24/ normalized-rand-3-24-24-76-632-10_ext.xml	UNSAT TT=1702.36	? (TO) TT=1800.11	? (TO) TT=1800.17	? (TO) TT=1800.11	? (TO) TT=1800.1	? (TO) TT=1800.15	? (TO) TT=1800.09	? (TO) TT=1800.07	? (TO) TT=1800.07	UNSAT TT=1702.36	? (TO) TT=1800.09	? (TO) TT=1800.13	? (TO) TT=1800.63	? (TO) TT=1800.05	? TT=1415.61
csp/rand-3-24-24/ normalized-rand-3-24-24-76-632-12_ext.xml	UNSAT TT=1587.35	? (TO) TT=1800.06	? (TO) TT=1800.13	? (TO) TT=1800.09	? (TO) TT=1800.15	? (TO) TT=1800.14	? (TO) TT=1800.09	? (TO) TT=1800.06	? (TO) TT=1800.03	UNSAT TT=1587.35	? (TO) TT=1800.07	? (TO) TT=1800.08	? (TO) TT=1800.52	? (TO) TT=1800.08	? (TO) TT=1800.07
csp/rand-3-24-24/ normalized-rand-3-24-24-76-632-16_ext.xml	SAT TT=15.84	SAT TT=1013.37	SAT TT=989.564	? (TO) TT=1800.07	SAT TT=344.208	SAT TT=651.556	SAT TT=242.746	SAT TT=517.911	SAT TT=1108.48	SAT TT=75.678	? (TO) TT=1800.13	SAT TT=15.84	? (TO) TT=1801	? (TO) TT=1800.01	SAT TT=180.645
csp/rand-3-24-24/ normalized-rand-3-24-24-76-632-17_ext.xml		? (TO) TT=1800.11	? (TO) TT=1800.13	? (TO) TT=1800.03	? (TO) TT=1800.08	? (TO) TT=1800.09	? (TO) TT=1800.07	? (TO) TT=1800.02	? (TO) TT=1800.02	? (TO) TT=1800.09	? (TO) TT=1800.04	? (TO) TT=1800.12	? (TO) TT=1801.03	? (TO) TT=1800.08	? (TO) TT=1800.1
csp/rand-3-24-24/ normalized-rand-3-24-24-76-632-18_ext.xml	SAT TT=12.286	? (TO) TT=1800.12	? (TO) TT=1800.13	? (TO) TT=1800.05	SAT TT=724.75	? (TO) TT=1800.08	SAT TT=12.286	SAT TT=41.5	SAT TT=751.343	SAT TT=417.187	? (TO) TT=1800.07	? (TO) TT=1800.07	? (TO) TT=1800.47	? (TO) TT=1800.03	? (TO) TT=1800.06
Bench name	Best results	Abscon 112v4 AC (complete)	Abscon 112v4 ESAC (complete)	bpsolver 09 (complete)	Choco2.1.1 2009-06-10 (complete)	Choco2.1.1b 2009-07-16 (complete)	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/rand-3-24-24/ normalized-rand-3-24-24-76-632-22_ext.xml	UNSAT TT=182.76	? (TO) TT=1800.14	? (TO) TT=1800.12	? (TO) TT=1800.1	UNSAT TT=1211.99	UNSAT TT=1041.25	UNSAT TT=543.417	UNSAT TT=568.896	? (TO) TT=1800	UNSAT TT=182.76	? (TO) TT=1800.12	? (TO) TT=1800.05	? (TO) TT=1800.5	? (TO) TT=1800.07	? (TO) TT=1800.13
csp/rand-3-24-24/ normalized-rand-3-24-24-76-632-25_ext.xml	SAT TT=24.275	? (TO) TT=1800.08	? (TO) TT=1800.12	? (TO) TT=1800.12	SAT TT=476.1	SAT TT=1786.21	? (TO) TT=1800.05	SAT TT=266.502	SAT TT=24.275	SAT TT=180.589	? (TO) TT=1800.12	? (TO) TT=1800.11	? (TO) TT=1800.53	? (TO) TT=1800.01	? (TO) TT=1800.08
csp/rand-3-24-24/ normalized-rand-3-24-24-76-632-26_ext.xml	UNSAT TT=666.837	? (TO) TT=1800.12	? (TO) TT=1800.09	? (TO) TT=1800.04	? (TO) TT=1800.08	? (TO) TT=1800.15	? (TO) TT=1800.05	UNSAT TT=1710.53	? (TO) TT=1800.02	UNSAT TT=666.837	? (TO) TT=1800.11	? (TO) TT=1800.04	? (TO) TT=1800.57	? (TO) TT=1800.02	? (TO) TT=1800.1
csp/rand-3-24-24/ normalized-rand-3-24-24-76-632-27_ext.xml		? (TO) TT=1800.06	? (TO) TT=1800.14	? (TO) TT=1800.08	? (TO) TT=1800.18	? (TO) TT=1800.09	? (TO) TT=1800.06	? (TO) TT=1800.05	? (TO) TT=1800.09	? (TO) TT=1800.06	? (TO) TT=1800.08	? (TO) TT=1800.11	? (TO) TT=1800.43	? (TO) TT=1800.05	? (TO) TT=1800.14
csp/rand-3-24-24/ normalized-rand-3-24-24-76-632-29_ext.xml		? (TO) TT=1800.13	? (TO) TT=1800.09	? (TO) TT=1800.06	? (TO) TT=1800.06	? (TO) TT=1800.11	? (TO) TT=1800.06	? (TO) TT=1800.06	? (TO) TT=1800	? (TO) TT=1800.07	? (TO) TT=1800.06	? (TO) TT=1800.11	? (TO) TT=1800.72	? (TO) TT=1800.01	? (TO) TT=1800.14
csp/rand-3-24-24/ normalized-rand-3-24-24-76-632-2_ext.xml	SAT TT=1443.88	? (TO) TT=1800.08	? (TO) TT=1800.12	? (TO) TT=1800.04	? (TO) TT=1800.05	? (TO) TT=1800.13	? (TO) TT=1800.01	? (TO) TT=1800.1	? (TO) TT=1800.05	SAT TT=1443.88	? (TO) TT=1800.05	? (TO) TT=1800.1	? (TO) TT=1801.07	? (TO) TT=1800.02	? (TO) TT=1800.09
csp/rand-3-24-24/ normalized-rand-3-24-24-76-632-30_ext.xml	SAT TT=688.56	? (TO) TT=1800.1	? (TO) TT=1800.11	? (TO) TT=1800.11	? (TO) TT=1800.04	SAT TT=688.56	? (TO) TT=1800.09	? (TO) TT=1800.1	? (TO) TT=1800.03	SAT TT=1176.2	? (TO) TT=1800.12	? (TO) TT=1800.04	? (TO) TT=1801.03	? (TO) TT=1800.08	? (TO) TT=1800.13
csp/rand-3-24-24/ normalized-rand-3-24-24-76-632-31_ext.xml	SAT TT=1215.88	? (TO) TT=1800.1	? (TO) TT=1800.08	? (TO) TT=1800.08	SAT TT=1559.04	? (TO) TT=1800.08	? (TO) TT=1800.02	? (TO) TT=1800.07	? (TO) TT=1800.05	SAT TT=1215.88	? (TO) TT=1800.04	? (TO) TT=1800.09	? (TO) TT=1800.48	? (TO) TT=1800.04	? (TO) TT=1800.08
csp/rand-3-24-24/ normalized-rand-3-24-24-76-632-32_ext.xml	UNSAT TT=984.19	? (TO) TT=1800.06	? (TO) TT=1800.1	? (TO) TT=1800.12	? (TO) TT=1800.1	? (TO) TT=1800.05	? (TO) TT=1800.02	? (TO) TT=1800	? (TO) TT=1800	UNSAT TT=984.19	? (TO) TT=1800.14	? (TO) TT=1800.1	? (TO) TT=1800.42	? (TO) TT=1800.09	? (TO) TT=1800.06
csp/rand-3-24-24/ normalized-rand-3-24-24-76-632-33_ext.xml	SAT TT=263.651	? (TO) TT=1800.12	? (TO) TT=1800.09	? (TO) TT=1800.09	? (TO) TT=1800.13	? (TO) TT=1800.07	SAT TT=1533.74	? (TO) TT=1800.04	? (TO) TT=1800.06	SAT TT=263.651	? (TO) TT=1800.07	SAT TT=741.873	? (TO) TT=1800.71	? (TO) TT=1800.01	? (TO) TT=1800.11
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/rand-3-24-24/ normalized-rand-3-24-24-76-632-35_ext.xml	SAT TT=311.18	? (TO) TT=1800.11	? (TO) TT=1800.07	? (TO) TT=1800.11	SAT TT=1591.38	SAT TT=1633.76	SAT TT=380.702	SAT TT=347.416	SAT TT=874.247	SAT TT=375.129	SAT TT=1638.58	? (TO) TT=1800.08	? (TO) TT=1800.53	SAT TT=311.18	? (TO) TT=1800.14
csp/rand-3-24-24/ normalized-rand-3-24-24-76-632-36_ext.xml	UNSAT TT=932.072	? (TO) TT=1800.18	? (TO) TT=1800.12	? (TO) TT=1800.07	? (TO) TT=1800.11	? (TO) TT=1800.05	? (TO) TT=1800.04	? (TO) TT=1800.02	? (TO) TT=1800.02	UNSAT TT=932.072	? (TO) TT=1800.06	? (TO) TT=1800.09	? (TO) TT=1800.4	? (TO) TT=1800.04	? (TO) TT=1800.13
csp/rand-3-24-24/ normalized-rand-3-24-24-76-632-37_ext.xml	UNSAT TT=1700.61	? (TO) TT=1800.15	? (TO) TT=1800.23	? (TO) TT=1800.05	? (TO) TT=1800.17	? (TO) TT=1800.1	? (TO) TT=1800.09	? (TO) TT=1800	? (TO) TT=1800.05	UNSAT TT=1700.61	? (TO) TT=1800.09	? (TO) TT=1800.08	? (TO) TT=1801.13	? (TO) TT=1800.08	? (TO) TT=1800.06
csp/rand-3-24-24/ normalized-rand-3-24-24-76-632-40_ext.xml	SAT TT=345.52	? (TO) TT=1800.12	? (TO) TT=1800.11	? (TO) TT=1800.13	SAT TT=345.52	? (TO) TT=1800.05	? (TO) TT=1800.1	? (TO) TT=1800.03	? (TO) TT=1800.09	? (TO) TT=1800.05	? (TO) TT=1800.09	? (TO) TT=1800.05	? (TO) TT=1801.03	? (TO) TT=1800.01	? (TO) TT=1800.05
csp/rand-3-24-24/ normalized-rand-3-24-24-76-632-43_ext.xml	UNSAT TT=1268.6	? (TO) TT=1800.07	? (TO) TT=1800.09	? (TO) TT=1800.07	? (TO) TT=1800.1	? (TO) TT=1800.12	? (TO) TT=1800.04	? (TO) TT=1800.05	? (TO) TT=1800.04	UNSAT TT=1268.6	? (TO) TT=1800.09	? (TO) TT=1800.07	? (TO) TT=1800.34	? (TO) TT=1800.07	? (TO) TT=1800.06
csp/rand-3-24-24/ normalized-rand-3-24-24-76-632-46_ext.xml		? (TO) TT=1800.12	? (TO) TT=1800.16	? (TO) TT=1800.11	? (TO) TT=1800.12	? (TO) TT=1800.07	? (TO) TT=1800.01	? (TO) TT=1800.02	? (TO) TT=1800.07	? (TO) TT=1800.01	? (TO) TT=1800.06	? (TO) TT=1800.09	? (TO) TT=1800.52	? (TO) TT=1800.09	? (TO) TT=1800.07
csp/rand-3-24-24/ normalized-rand-3-24-24-76-632-49_ext.xml	SAT TT=241.678	SAT TT=241.678	SAT TT=370.096	? (TO) TT=1800.11	? (TO) TT=1800.14	? (TO) TT=1800.14	? (TO) TT=1800.02	SAT TT=1558.13	SAT TT=1501.1	SAT TT=1472.39	? (TO) TT=1800.04	? (TO) TT=1800.03	? (TO) TT=1800.54	? (TO) TT=1800	? (TO) TT=1800.11
csp/rand-3-24-24/ normalized-rand-3-24-24-76-632-4_ext.xml	UNSAT TT=143.423	? (TO) TT=1800.13	? (TO) TT=1800.13	? (TO) TT=1800.12	UNSAT TT=718.434	UNSAT TT=926.607	UNSAT TT=396.516	UNSAT TT=386.119	UNSAT TT=1476.22	UNSAT TT=143.423	? (TO) TT=1800.1	? (TO) TT=1800.03	? (TO) TT=1800.67	? (TO) TT=1800.08	? (TO) TT=1800.06
csp/rand-3-24-24/ normalized-rand-3-24-24-76-632-6_ext.xml	SAT TT=1029.74	? (TO) TT=1800.05	? (TO) TT=1800.17	? (TO) TT=1800.11	SAT TT=1064.44	? (TO) TT=1800.16	? (TO) TT=1800.02	? (TO) TT=1800.04	? (TO) TT=1800.04	SAT TT=1029.74	? (TO) TT=1800.1	? (TO) TT=1800.09	? (TO) TT=1801.03	? (TO) TT=1800.02	? (TO) TT=1800.06
csp/rand-3-24-24/ normalized-rand-3-24-24-76-632-8_ext.xml	UNSAT TT=734.395	? (TO) TT=1800.11	? (TO) TT=1800.08	? (TO) TT=1800.13	? (TO) TT=1800.15	? (TO) TT=1800.05	? (TO) TT=1800.1	? (TO) TT=1800.02	? (TO) TT=1800.05	UNSAT TT=734.395	? (TO) TT=1800.06	? (TO) TT=1800.05	? (TO) TT=1800.54	? (TO) TT=1800.05	? (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/rand-3-28-28-fcd/ normalized-rand-3-28-28-93-632-fcd-10_ext.xml		? (TO) TT=1800.13	? (TO) TT=1800.11	? (TO) TT=1800.07	? (TO) TT=1800.18	? (TO) TT=1800.14	? (TO) TT=1800.02	? (TO) TT=1800.07	? (TO) TT=1800.02	? (TO) TT=1800.06	? (TO) TT=1800.09	? (TO) TT=1800.1	? (TO) TT=1801.03	? (MO) TT=8.12	? (MO) TT=7.408
csp/rand-3-28-28-fcd/ normalized-rand-3-28-28-93-632-fcd-11_ext.xml		? (TO) TT=1800.14	? (TO) TT=1800.12	? (TO) TT=1800.11	? (TO) TT=1800.17	? (TO) TT=1800.09	? (TO) TT=1800.08	? (TO) TT=1800.06	? (TO) TT=1800.09	? (TO) TT=1800.01	? (TO) TT=1800.05	? (TO) TT=1800.13	? (TO) TT=1800.95	? (MO) TT=8.26	? (MO) TT=8.27
csp/rand-3-28-28-fcd/ normalized-rand-3-28-28-93-632-fcd-12_ext.xml		? (TO) TT=1800.16	? (TO) TT=1800.17	? (TO) TT=1800.13	? (TO) TT=1800.07	? (TO) TT=1800.14	? (TO) TT=1800.08	? (TO) TT=1800.05	? (TO) TT=1800.07	? (TO) TT=1800.02	? (TO) TT=1800.06	? (TO) TT=1800.05	? (TO) TT=1800.62	? (MO) TT=7.42	? (MO) TT=7.557
csp/rand-3-28-28-fcd/ normalized-rand-3-28-28-93-632-fcd-14_ext.xml	SAT TT=1341.44	? (TO) TT=1800.11	? (TO) TT=1800.14	? (TO) TT=1800.11	? (TO) TT=1800.13	? (TO) TT=1800.09	SAT TT=1341.44	? (TO) TT=1800.05	? (TO) TT=1800.02	? (TO) TT=1800.02	? (TO) TT=1800.04	? (TO) TT=1800.1	? (TO) TT=1800.32	? (MO) TT=8.07	? (MO) TT=8.16
csp/rand-3-28-28-fcd/ normalized-rand-3-28-28-93-632-fcd-15_ext.xml		? (TO) TT=1800.15	? (TO) TT=1800.17	? (TO) TT=1800.11	? (TO) TT=1800.11	? (TO) TT=1800.12	? (TO) TT=1800.06	? (TO) TT=1800.05	? (TO) TT=1800.03	? (TO) TT=1800.04	? (TO) TT=1800.11	? (TO) TT=1800.11	? (TO) TT=1800.57	? (MO) TT=8.25	? (MO) TT=8.44
csp/rand-3-28-28-fcd/ normalized-rand-3-28-28-93-632-fcd-16_ext.xml		? (TO) TT=1800.14	? (TO) TT=1800.09	? (TO) TT=1800.09	? (TO) TT=1800.12	? (TO) TT=1800.13	? (TO) TT=1800.03	? (TO) TT=1800.08	? (TO) TT=1800.07	? (TO) TT=1800.03	? (TO) TT=1800.06	? (TO) TT=1800.08	? (TO) TT=1800.37	? (MO) TT=8	? (MO) TT=8.12
csp/rand-3-28-28-fcd/ normalized-rand-3-28-28-93-632-fcd-17_ext.xml		? (TO) TT=1800.11	? (TO) TT=1800.15	? (TO) TT=1800.13	? (TO) TT=1800.14	? (TO) TT=1800.19	? (TO) TT=1800.1	? (TO) TT=1800.04	? (TO) TT=1800.1	? (TO) TT=1800.06	? (TO) TT=1800.06	? (TO) TT=1800.1	? (TO) TT=1800.6	? (MO) TT=7.51	? (MO) TT=7.523
csp/rand-3-28-28-fcd/ normalized-rand-3-28-28-93-632-fcd-18_ext.xml		? (TO) TT=1800.1	? (TO) TT=1800.08	? (TO) TT=1800.12	? (TO) TT=1800.11	? (TO) TT=1800.1	? (TO) TT=1800.03	? (TO) TT=1800.06	? (TO) TT=1800.06	? (TO) TT=1800.05	? (TO) TT=1800.06	? (TO) TT=1800.1	? (TO) TT=1800.68	? (MO) TT=7.95	? (MO) TT=8.23
csp/rand-3-28-28-fcd/ normalized-rand-3-28-28-93-632-fcd-19_ext.xml		? (TO) TT=1800.09	? (TO) TT=1800.12	? (TO) TT=1800.14	? (TO) TT=1800.15	? (TO) TT=1800.18	? (TO) TT=1800.01	? (TO) TT=1800.03	? (TO) TT=1800.05	? (TO) TT=1800.04	? (TO) TT=1800.09	? (TO) TT=1800.08	? (TO) TT=1800.52	? (MO) TT=7.536	? (MO) TT=8.03
csp/rand-3-28-28-fcd/ normalized-rand-3-28-28-93-632-fcd-20_ext.xml		? (TO) TT=1800.14	? (TO) TT=1800.15	? (TO) TT=1800.06	? (TO) TT=1800.12	? (TO) TT=1800.12	? (TO) TT=1800.02	? (TO) TT=1800	? (TO) TT=1800.04	? (TO) TT=1800.02	? (TO) TT=1800.04	? (TO) TT=1800.05	? (TO) TT=1801.01	? (MO) TT=8.567	? (MO) TT=7.34
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/rand-3-28-28-fcd/ normalized-rand-3-28-28-93-632-fcd-21_ext.xml		? (TO) TT=1800.06	? (TO) TT=1800.13	? (TO) TT=1800.1	? (TO) TT=1800.17	? (TO) TT=1800.06	? (TO) TT=1800.06	? (TO) TT=1800.08	? (TO) TT=1800.08	? (TO) TT=1800.09	? (TO) TT=1800.05	? (TO) TT=1800.11	? (TO) TT=1800.66	? (MO) TT=8.11	? (MO) TT=8.46
csp/rand-3-28-28-fcd/ normalized-rand-3-28-28-93-632-fcd-23_ext.xml	SAT TT=58.187	? (TO) TT=1800.08	? (TO) TT=1800.14	? (TO) TT=1800.12	? (TO) TT=1800.13	? (TO) TT=1800.08	SAT TT=581.25	SAT TT=908.315	? (TO) TT=1800.06	SAT TT=58.187	? (TO) TT=1800.1	? (TO) TT=1800.1	? (TO) TT=1800.54	? (MO) TT=8.14	? (MO) TT=7.29
csp/rand-3-28-28-fcd/ normalized-rand-3-28-28-93-632-fcd-24_ext.xml		? (TO) TT=1800.16	? (TO) TT=1800.11	? (TO) TT=1800.14	? (TO) TT=1800.14	? (TO) TT=1800.05	? (TO) TT=1800.03	? (TO) TT=1800.06	? (TO) TT=1800.01	? (TO) TT=1800.06	? (TO) TT=1800.05	? (TO) TT=1800.04	? (TO) TT=1800.53	? (MO) TT=8.01	? (MO) TT=8.1
csp/rand-3-28-28-fcd/ normalized-rand-3-28-28-93-632-fcd-26_ext.xml	SAT TT=1049.25	? (TO) TT=1800.14	? (TO) TT=1800.18	? (TO) TT=1800.1	? (TO) TT=1800.15	? (TO) TT=1800.12	? (TO) TT=1800.08	? (TO) TT=1800.06	SAT TT=1049.25	SAT TT=1097.02	? (TO) TT=1800.09	? (TO) TT=1800.06	? (TO) TT=1800.39	? (MO) TT=8.184	? (MO) TT=7.42
csp/rand-3-28-28-fcd/ normalized-rand-3-28-28-93-632-fcd-27_ext.xml		? (TO) TT=1800.14	? (TO) TT=1800.16	? (TO) TT=1800.14	? (TO) TT=1800.11	? (TO) TT=1800.06	? (TO) TT=1800.09	? (TO) TT=1800.05	? (TO) TT=1800.06	? (TO) TT=1800.06	? (TO) TT=1800.08	? (TO) TT=1800.13	? (TO) TT=1800.46	? (MO) TT=8.16	? (MO) TT=8.13
csp/rand-3-28-28-fcd/ normalized-rand-3-28-28-93-632-fcd-31_ext.xml		? (TO) TT=1800.15	? (TO) TT=1800.16	? (TO) TT=1800.11	? (TO) TT=1800.1	? (TO) TT=1800.13	? (TO) TT=1800.08	? (TO) TT=1800.02	? (TO) TT=1800.01	? (TO) TT=1800.09	? (TO) TT=1800.07	? (TO) TT=1800.03	? (TO) TT=1801.07	? (MO) TT=7.502	? (MO) TT=7.497
csp/rand-3-28-28-fcd/ normalized-rand-3-28-28-93-632-fcd-33_ext.xml		? (TO) TT=1800.07	? (TO) TT=1800.09	? (TO) TT=1800.1	? (TO) TT=1800.13	? (TO) TT=1800.1	? (TO) TT=1800.04	? (TO) TT=1800.05	? (TO) TT=1800.03	? (TO) TT=1800.1	? (TO) TT=1800.04	? (TO) TT=1800.09	? (TO) TT=1800.64	? (MO) TT=8.3	? (MO) TT=7.566
csp/rand-3-28-28-fcd/ normalized-rand-3-28-28-93-632-fcd-35_ext.xml		? (TO) TT=1800.06	? (TO) TT=1800.06	? (TO) TT=1800.06	? (TO) TT=1800.11	? (TO) TT=1800.12	? (TO) TT=1800.03	? (TO) TT=1800.03	? (TO) TT=1800.04	? (TO) TT=1800.08	? (TO) TT=1800.11	? (TO) TT=1800.03	? (TO) TT=1800.61	? (MO) TT=7.439	? (MO) TT=8.21
csp/rand-3-28-28-fcd/ normalized-rand-3-28-28-93-632-fcd-3_ext.xml	SAT TT=696.551	? (TO) TT=1800.19	? (TO) TT=1800.13	? (TO) TT=1800.09	? (TO) TT=1800.1	? (TO) TT=1800.2	? (TO) TT=1800	? (TO) TT=1800.09	SAT TT=696.551	? (TO) TT=1800.05	? (TO) TT=1800.09	? (TO) TT=1800.1	? (TO) TT=1800.59	? (MO) TT=7.4	? (MO) TT=7.484
csp/rand-3-28-28-fcd/ normalized-rand-3-28-28-93-632-fcd-40_ext.xml		? (TO) TT=1800.1	? (TO) TT=1800.14	? (TO) TT=1800.06	? (TO) TT=1800.12	? (TO) TT=1800.17	? (TO) TT=1800.05	? (TO) TT=1800.06	? (TO) TT=1800	? (TO) TT=1800.06	? (TO) TT=1800.06	? (TO) TT=1800.04	? (TO) TT=1801.08	? (MO) TT=7.52	? (MO) TT=8.01
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/rand-3-28-28-fcd/ normalized-rand-3-28-28-93-632-fcd-41_ext.xml	SAT TT=198.061	? (TO) TT=1800.1	? (TO) TT=1800.14	? (TO) TT=1800.14	? (TO) TT=1800.06	? (TO) TT=1800.14	? (TO) TT=1800.09	? (TO) TT=1800.03	? (TO) TT=1800.03	? (TO) TT=1800.08	? (TO) TT=1800.03	? (TO) TT=1800.12	SAT TT=198.061	? (MO) TT=7.4	? (MO) TT=8.464
csp/rand-3-28-28-fcd/ normalized-rand-3-28-28-93-632-fcd-42_ext.xml		? (TO) TT=1800.16	? (TO) TT=1800.09	? (TO) TT=1800.1	? (TO) TT=1800.09	? (TO) TT=1800.05	? (TO) TT=1800.03	? (TO) TT=1800.1	? (TO) TT=1800.07	? (TO) TT=1800.07	? (TO) TT=1800.07	? (TO) TT=1800.1	? (TO) TT=1800.48	? (MO) TT=7.38	? (MO) TT=7.438
csp/rand-3-28-28-fcd/ normalized-rand-3-28-28-93-632-fcd-43_ext.xml	SAT TT=262.529	? (TO) TT=1800.14	? (TO) TT=1800.15	? (TO) TT=1800.06	SAT TT=1721.34	? (TO) TT=1800.12	SAT TT=1634.87	? (TO) TT=1800.08	? (TO) TT=1800.01	SAT TT=262.529	? (TO) TT=1800.05	? (TO) TT=1800.04	? (TO) TT=1800.59	? (MO) TT=8.12	? (MO) TT=7.39
csp/rand-3-28-28-fcd/ normalized-rand-3-28-28-93-632-fcd-45_ext.xml		? (TO) TT=1800.16	? (TO) TT=1800.14	? (TO) TT=1800.08	? (TO) TT=1800.13	? (TO) TT=1800.08	? (TO) TT=1800.01	? (TO) TT=1800.07	? (TO) TT=1800.04	? (TO) TT=1800.06	? (TO) TT=1800.09	? (TO) TT=1800.03	? (TO) TT=1800.56	? (MO) TT=7.95	? (MO) TT=8.25
csp/rand-3-28-28-fcd/ normalized-rand-3-28-28-93-632-fcd-46_ext.xml		? (TO) TT=1800.11	? (TO) TT=1800.11	? (TO) TT=1800.1	? (TO) TT=1800.13	? (TO) TT=1800.09	? (TO) TT=1800.09	? (TO) TT=1800.05	? (TO) TT=1800.04	? (TO) TT=1800.09	? (TO) TT=1800.12	? (TO) TT=1800.14	? (TO) TT=1800.84	? (TO) TT=1800.07	? (MO) TT=8.23
csp/rand-3-28-28-fcd/ normalized-rand-3-28-28-93-632-fcd-49_ext.xml		? (TO) TT=1800.08	? (TO) TT=1800.14	? (TO) TT=1800.13	? (TO) TT=1800.1	? (TO) TT=1800.12	? (TO) TT=1800.03	? (TO) TT=1800.1	? (TO) TT=1800.03	? (TO) TT=1800.07	? (TO) TT=1800.12	? (TO) TT=1800.1	? (TO) TT=1800.71	? (MO) TT=7.39	? (MO) TT=7.4
csp/rand-3-28-28-fcd/ normalized-rand-3-28-28-93-632-fcd-4_ext.xml		? (TO) TT=1800.11	? (TO) TT=1800.14	? (TO) TT=1800.08	? (TO) TT=1800.11	? (TO) TT=1800.12	? (TO) TT=1800.1	? (TO) TT=1800.07	? (TO) TT=1800.06	? (TO) TT=1800.09	? (TO) TT=1800.04	? (TO) TT=1800.03	? (TO) TT=1800.64	? (MO) TT=8.22	? (MO) TT=8.44
csp/rand-3-28-28-fcd/ normalized-rand-3-28-28-93-632-fcd-50_ext.xml		? (TO) TT=1800.13	? (TO) TT=1800.06	? (TO) TT=1800.07	? (TO) TT=1800.07	? (TO) TT=1800.15	? (TO) TT=1800	? (TO) TT=1800.05	? (TO) TT=1800.04	? (TO) TT=1800.08	? (TO) TT=1800.1	? (TO) TT=1800.09	? (TO) TT=1800.5	? (MO) TT=9.41	? (MO) TT=7.9
csp/rand-3-28-28-fcd/ normalized-rand-3-28-28-93-632-fcd-9_ext.xml		? (TO) TT=1800.1	? (TO) TT=1800.07	? (TO) TT=1800.15	? (TO) TT=1800.1	? (TO) TT=1800.14	? (TO) TT=1800.02	? (TO) TT=1800.02	? (TO) TT=1800.05	? (TO) TT=1800.02	? (TO) TT=1800.08	? (TO) TT=1800.07	? (TO) TT=1800.64	? (MO) TT=7.94	? (MO) TT=7.513
csp/rand-3-28-28/ normalized-rand-3-28-28-93-632-10_ext.xml	SAT TT=330.594	? (TO) TT=1800.13	? (TO) TT=1800.06	? (TO) TT=1800.07	SAT TT=330.594	? (TO) TT=1800.11	? (TO) TT=1800.09	? (TO) TT=1800.04	? (TO) TT=1800.03	? (TO) TT=1800.05	? (TO) TT=1800.03	? (TO) TT=1800.07	? (TO) TT=1800.44	? (MO) TT=7.3	? (MO) TT=8.33
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/rand-3-28-28/ normalized-rand-3-28-28-93-632-11_ext.xml		? (TO) TT=1800.11	? (TO) TT=1800.09	? (TO) TT=1800.09	? (TO) TT=1800.06	? (TO) TT=1800.1	? (TO) TT=1800.02	? (TO) TT=1800.03	? (TO) TT=1800.04	? (TO) TT=1800.04	? (TO) TT=1800.03	? (TO) TT=1800.03	? (TO) TT=1800.51	? (MO) TT=8.18	? (MO) TT=7.376
csp/rand-3-28-28/ normalized-rand-3-28-28-93-632-12_ext.xml		? (TO) TT=1800.17	? (TO) TT=1800.08	? (TO) TT=1800.06	? (TO) TT=1800.16	? (TO) TT=1800.15	? (TO) TT=1800.01	? (TO) TT=1800.07	? (TO) TT=1800.05	? (TO) TT=1800.03	? (TO) TT=1800.03	? (TO) TT=1800.14	? (TO) TT=1800.6	? (MO) TT=8.24	? (MO) TT=8.38
csp/rand-3-28-28/ normalized-rand-3-28-28-93-632-13_ext.xml		? (TO) TT=1800.16	? (TO) TT=1800.14	? (TO) TT=1800.09	? (TO) TT=1800.05	? (TO) TT=1800.09	? (TO) TT=1800.09	? (TO) TT=1800.03	? (TO) TT=1800.04	? (TO) TT=1800.05	? (TO) TT=1800.11	? (TO) TT=1800.14	? (TO) TT=1800.46	? (MO) TT=8.16	? (MO) TT=8.14
csp/rand-3-28-28/ normalized-rand-3-28-28-93-632-14_ext.xml	SAT TT=647.091	? (TO) TT=1800.15	? (TO) TT=1800.09	? (TO) TT=1800.1	? (TO) TT=1800.12	? (TO) TT=1800.14	? (TO) TT=1800.07	? (TO) TT=1800.09	? (TO) TT=1800.08	SAT TT=647.091	? (TO) TT=1800.1	? (TO) TT=1800.06	? (TO) TT=1800.94	? (MO) TT=8.2	? (MO) TT=8.41
csp/rand-3-28-28/ normalized-rand-3-28-28-93-632-15_ext.xml		? (TO) TT=1800.09	? (TO) TT=1800.08	? (TO) TT=1800.1	? (TO) TT=1800.14	? (TO) TT=1800.11	? (TO) TT=1800.06	? (TO) TT=1800.1	? (TO) TT=1800.04	? (TO) TT=1800.1	? (TO) TT=1800.07	? (TO) TT=1800.13	? (TO) TT=1800.99	? (MO) TT=8.27	? (MO) TT=8.25
csp/rand-3-28-28/ normalized-rand-3-28-28-93-632-16_ext.xml		? (TO) TT=1800.04	? (TO) TT=1800.14	? (TO) TT=1800.13	? (TO) TT=1800.1	? (TO) TT=1800.1	? (TO) TT=1800.05	? (TO) TT=1800	? (TO) TT=1800.09	? (TO) TT=1800.11	? (TO) TT=1800.06	? (TO) TT=1800.11	? (TO) TT=1800.42	? (MO) TT=8.11	? (MO) TT=8.08
csp/rand-3-28-28/ normalized-rand-3-28-28-93-632-18_ext.xml		? (TO) TT=1800.19	? (TO) TT=1800.13	? (TO) TT=1800.1	? (TO) TT=1800.09	? (TO) TT=1800.1	? (TO) TT=1800.07	? (TO) TT=1800.07	? (TO) TT=1800.06	? (TO) TT=1800.01	? (TO) TT=1800.08	? (TO) TT=1800.08	? (TO) TT=1800.52	? (MO) TT=8.11	? (MO) TT=8.18
csp/rand-3-28-28/ normalized-rand-3-28-28-93-632-19_ext.xml		? (TO) TT=1800.13	? (TO) TT=1800.09	? (TO) TT=1800.11	? (TO) TT=1800.09	? (TO) TT=1800.12	? (TO) TT=1800	? (TO) TT=1800.1	? (TO) TT=1800.07	? (TO) TT=1800.02	? (TO) TT=1800.03	? (TO) TT=1800.05	? (TO) TT=1800.64	? (MO) TT=7.409	? (MO) TT=8.12
csp/rand-3-28-28/ normalized-rand-3-28-28-93-632-1_ext.xml		? (TO) TT=1800.08	? (TO) TT=1800.11	? (TO) TT=1800.12	? (TO) TT=1800.16	? (TO) TT=1800.09	? (TO) TT=1800.05	? (TO) TT=1800.03	? (TO) TT=1800.01	? (TO) TT=1800.03	? (TO) TT=1800.05	? (TO) TT=1800.11	? (TO) TT=1800.57	? (MO) TT=8.14	? (MO) TT=7.386
csp/rand-3-28-28/ normalized-rand-3-28-28-93-632-23_ext.xml		? (TO) TT=1800.06	? (TO) TT=1800.1	? (TO) TT=1800.1	? (TO) TT=1800.11	? (TO) TT=1800.1	? (TO) TT=1800.07	? (TO) TT=1800.01	? (TO) TT=1800.03	? (TO) TT=1800.1	? (TO) TT=1800.1	? (TO) TT=1800.12	? (TO) TT=1801	? (MO) TT=8.44	? (MO) TT=7.96
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/rand-3-28-28/ normalized-rand-3-28-28-93-632-24_ext.xml		? (TO) TT=1800.1	? (TO) TT=1800.14	? (TO) TT=1800.1	? (TO) TT=1800.15	? (TO) TT=1800.06	? (TO) TT=1800.03	? (TO) TT=1800.08	? (TO) TT=1800.05	? (TO) TT=1800.09	? (TO) TT=1800.05	? (TO) TT=1800.05	? (TO) TT=1800.99	? (MO) TT=8.41	? (MO) TT=7.398
csp/rand-3-28-28/ normalized-rand-3-28-28-93-632-25_ext.xml		? (TO) TT=1800.14	? (TO) TT=1800.05	? (TO) TT=1800.07	? (TO) TT=1800.15	? (TO) TT=1800.05	? (TO) TT=1800.01	? (TO) TT=1800.05	? (TO) TT=1800.07	? (TO) TT=1800.07	? (TO) TT=1800.05	? (TO) TT=1800.09	? (TO) TT=1800.73	? (MO) TT=8.32	? (MO) TT=8.03
csp/rand-3-28-28/ normalized-rand-3-28-28-93-632-30_ext.xml		? (TO) TT=1800.14	? (TO) TT=1800.07	? (TO) TT=1800.09	? (TO) TT=1800.12	? (TO) TT=1800.23	? (TO) TT=1800.02	? (TO) TT=1800.01	? (TO) TT=1800.06	? (TO) TT=1800.03	? (TO) TT=1800.08	? (TO) TT=1800.11	? (TO) TT=1801.01	? (MO) TT=7.89	? (MO) TT=8.4
csp/rand-3-28-28/ normalized-rand-3-28-28-93-632-33_ext.xml		? (TO) TT=1800.09	? (TO) TT=1800.09	? (TO) TT=1800.11	? (TO) TT=1800.1	? (TO) TT=1800.13	? (TO) TT=1800.08	? (TO) TT=1800.1	? (TO) TT=1800.03	? (TO) TT=1800.06	? (TO) TT=1800.05	? (TO) TT=1800.07	? (TO) TT=1800.5	? (MO) TT=8.08	? (MO) TT=8.407
csp/rand-3-28-28/ normalized-rand-3-28-28-93-632-35_ext.xml		? (TO) TT=1800.19	? (TO) TT=1800.1	? (TO) TT=1800.13	? (TO) TT=1800.09	? (TO) TT=1800.09	? (TO) TT=1800.09	? (TO) TT=1800.03	? (TO) TT=1800.07	? (TO) TT=1800.09	? (TO) TT=1800.06	? (TO) TT=1800.07	? (TO) TT=1800.49	? (MO) TT=8.68	? (MO) TT=8.33
csp/rand-3-28-28/ normalized-rand-3-28-28-93-632-37_ext.xml		? (TO) TT=1800.12	? (TO) TT=1800.12	? (TO) TT=1800.12	? (TO) TT=1800.16	? (TO) TT=1800.13	? (TO) TT=1800.04	? (TO) TT=1800.09	? (TO) TT=1800	? (TO) TT=1800.02	? (TO) TT=1800.09	? (TO) TT=1800.1	? (TO) TT=1800.34	? (TO) TT=1800.07	? (MO) TT=9.04
csp/rand-3-28-28/ normalized-rand-3-28-28-93-632-39_ext.xml		? (TO) TT=1800.17	? (TO) TT=1800.12	? (TO) TT=1800.1	? (TO) TT=1800.12	? (TO) TT=1800.1	? (TO) TT=1800.04	? (TO) TT=1800.05	? (TO) TT=1800.01	? (TO) TT=1800.09	? (TO) TT=1800.11	? (TO) TT=1800.13	? (TO) TT=1800.47	? (TO) TT=1800.07	? (MO) TT=8.22
csp/rand-3-28-28/ normalized-rand-3-28-28-93-632-3_ext.xml		? (TO) TT=1800.18	? (TO) TT=1800.06	? (TO) TT=1800.06	? (TO) TT=1800.18	? (TO) TT=1800.1	? (TO) TT=1800.09	? (TO) TT=1800.02	? (TO) TT=1800.04	? (TO) TT=1800.03	? (TO) TT=1800.12	? (TO) TT=1800.07	? (TO) TT=1800.68	? (MO) TT=8.15	? (MO) TT=7.39
csp/rand-3-28-28/ normalized-rand-3-28-28-93-632-41_ext.xml	SAT TT=1089.31	? (TO) TT=1800.09	? (TO) TT=1800.08	? (TO) TT=1800.15	? (TO) TT=1800.11	SAT TT=1089.31	? (TO) TT=1800.01	? (TO) TT=1800.06	? (TO) TT=1800.06	? (TO) TT=1800.08	? (TO) TT=1800.08	? (TO) TT=1800.05	? (TO) TT=1800.59	? (MO) TT=7.5	? (MO) TT=7.93
csp/rand-3-28-28/ normalized-rand-3-28-28-93-632-44_ext.xml		? (TO) TT=1800.19	? (TO) TT=1800.09	? (TO) TT=1800.11	? (TO) TT=1800.09	? (TO) TT=1800.1	? (TO) TT=1800.03	? (TO) TT=1800.07	? (TO) TT=1800.08	? (TO) TT=1800.09	? (TO) TT=1800.08	? (TO) TT=1800.06	? (TO) TT=1800.86	? (MO) TT=7.424	? (MO) TT=7.428
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/rand-3-28-28/ normalized-rand-3-28-28-93-632-46_ext.xml	SAT TT=211.597	? (TO) TT=1800.12	? (TO) TT=1800.15	? (TO) TT=1800.05	? (TO) TT=1800.16	? (TO) TT=1800.09	SAT TT=555.508	SAT TT=902.644	SAT TT=1412.86	SAT TT=211.597	? (TO) TT=1800.12	? (TO) TT=1800.08	? (TO) TT=1800.66	? (MO) TT=7.4	? (MO) TT=8.1
csp/rand-3-28-28/ normalized-rand-3-28-28-93-632-47_ext.xml		? (TO) TT=1800.08	? (TO) TT=1800.13	? (TO) TT=1800.11	? (TO) TT=1800.12	? (TO) TT=1800.17	? (TO) TT=1800.1	? (TO) TT=1800.02	? (TO) TT=1800.09	? (TO) TT=1800.06	? (TO) TT=1800.1	? (TO) TT=1800.09	? (TO) TT=1800.64	? (MO) TT=7.47	? (MO) TT=8.01
csp/rand-3-28-28/ normalized-rand-3-28-28-93-632-48_ext.xml		? (TO) TT=1800.18	? (TO) TT=1800.17	? (TO) TT=1800.05	? (TO) TT=1800.14	? (TO) TT=1800.11	? (TO) TT=1800.02	? (TO) TT=1800.03	? (TO) TT=1800.04	? (TO) TT=1800.11	? (TO) TT=1800.06	? (TO) TT=1800.12	? (TO) TT=1800.54	? (MO) TT=7.95	? (MO) TT=8.02
csp/rand-3-28-28/ normalized-rand-3-28-28-93-632-49_ext.xml	SAT TT=73.806	? (TO) TT=1800.07	? (TO) TT=1800.09	? (TO) TT=1800.14	? (TO) TT=1800.14	? (TO) TT=1800.18	? (TO) TT=1800.08	? (TO) TT=1800.04	? (TO) TT=1800	SAT TT=73.806	? (TO) TT=1800.04	? (TO) TT=1800.11	? (TO) TT=1800.71	? (MO) TT=8.4	? (MO) TT=7.501
csp/rand-3-28-28/ normalized-rand-3-28-28-93-632-5_ext.xml		? (TO) TT=1800.1	? (TO) TT=1800.13	? (TO) TT=1800.07	? (TO) TT=1800.13	? (TO) TT=1800.16	? (TO) TT=1800	? (TO) TT=1800.1	? (TO) TT=1800.04	? (TO) TT=1800.06	? (TO) TT=1800.03	? (TO) TT=1800.05	? (TO) TT=1800.95	? (MO) TT=8.05	? (MO) TT=7.433
csp/rand-3-28-28/ normalized-rand-3-28-28-93-632-6_ext.xml		? (TO) TT=1800.15	? (TO) TT=1800.16	? (TO) TT=1800.08	? (TO) TT=1800.1	? (TO) TT=1800.09	? (TO) TT=1800.06	? (TO) TT=1800.04	? (TO) TT=1800.03	? (TO) TT=1800.04	? (TO) TT=1800.07	? (TO) TT=1800.07	? (TO) TT=1800.73	? (MO) TT=7.425	? (MO) TT=7.413
csp/rand-3-28-28/ normalized-rand-3-28-28-93-632-7_ext.xml		? (TO) TT=1800.08	? (TO) TT=1800.12	? (TO) TT=1800.13	? (TO) TT=1800.13	? (TO) TT=1800.16	? (TO) TT=1800.04	? (TO) TT=1800.01	? (TO) TT=1800.05	? (TO) TT=1800.08	? (TO) TT=1800.06	? (TO) TT=1800.06	? (TO) TT=1801.03	? (MO) TT=8.04	? (MO) TT=8.16
csp/rand-3-28-28/ normalized-rand-3-28-28-93-632-8_ext.xml		? (TO) TT=1800.12	? (TO) TT=1800.11	? (TO) TT=1800.14	? (TO) TT=1800.18	? (TO) TT=1800.16	? (TO) TT=1800.01	? (TO) TT=1800.07	? (TO) TT=1800.02	? (TO) TT=1800.07	? (TO) TT=1800.09	? (TO) TT=1800.09	? (TO) TT=1800.43	? (MO) TT=8.35	? (MO) TT=8
csp/rand-3-28-28/ normalized-rand-3-28-28-93-632-9_ext.xml		? (TO) TT=1800.12	? (TO) TT=1800.15	? (TO) TT=1800.1	? (TO) TT=1800.17	? (TO) TT=1800.13	? (TO) TT=1800.04	? (TO) TT=1800.01	? (TO) TT=1800.01	? (TO) TT=1800.11	? (TO) TT=1800.14	? (TO) TT=1800.08	? (TO) TT=1800.3	? (MO) TT=8	? (MO) TT=8.25
csp/rand-8-20-5/ normalized-rand-8-20-5-18-800-0_ext.xml	SAT TT=6.226	SAT TT=338.096	SAT TT=326.662	? (problem) TT=125.884	SAT TT=156.139	SAT TT=42.539	SAT TT=1602.34	SAT TT=1701.28	SAT TT=455.828	SAT TT=6.226	SAT TT=586.383	? (TO) TT=1800.08	? TT=119.259	? (MO) TT=13.54	? (MO) TT=13.4
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/rand-8-20-5/ normalized-rand-8-20-5-18-800-10_ext.xml	SAT TT=6.733	SAT TT=56.142	SAT TT=61.767	? (problem) TT=113.575	SAT TT=12.416	SAT TT=26.45	SAT TT=160.313	SAT TT=242.95	SAT TT=66.12	SAT TT=6.733	SAT TT=588.428	SAT TT=264.84	? TT=82.59	? (MO) TT=13.44	? (MO) TT=12.992
csp/rand-8-20-5/ normalized-rand-8-20-5-18-800-11_ext.xml	SAT TT=13.72	SAT TT=527.753	SAT TT=412.217	? (problem) TT=122.802	SAT TT=47.865	SAT TT=284.483	SAT TT=284.069	SAT TT=392.002	SAT TT=141.625	SAT TT=13.72	SAT TT=120.24	SAT TT=219.323	? TT=81.788	? (MO) TT=12.88	? (MO) TT=12.79
csp/rand-8-20-5/ normalized-rand-8-20-5-18-800-12_ext.xml	SAT TT=9.311	SAT TT=26.658	SAT TT=44.438	? (problem) TT=115.472	SAT TT=107.842	SAT TT=16.118	SAT TT=1505.03	SAT TT=1626.99	SAT TT=64.978	SAT TT=9.311	SAT TT=749.917	SAT TT=1591.29	? TT=120.469	? (MO) TT=13.6	? (MO) TT=12.54
csp/rand-8-20-5/ normalized-rand-8-20-5-18-800-13_ext.xml	SAT TT=73.421	SAT TT=507.561	SAT TT=505.103	? (problem) TT=120.814	SAT TT=167.738	SAT TT=73.421	SAT TT=1747.12	? (TO) TT=1800.04	? (MO) TT=81.11	SAT TT=91.978	? (TO) TT=1800.07	SAT TT=884.366	? TT=74.364	? (MO) TT=14.66	? (MO) TT=12.841
csp/rand-8-20-5/ normalized-rand-8-20-5-18-800-14_ext.xml	SAT TT=5.079	SAT TT=253.994	SAT TT=249.958	? (problem) TT=124.737	SAT TT=235.157	SAT TT=56.241	? (TO) TT=1800.03	? (TO) TT=1800.02	SAT TT=113.329	SAT TT=5.079	? (TO) TT=1800.11	SAT TT=1557.82	? TT=84.075	? (MO) TT=12.86	? (MO) TT=12.896
csp/rand-8-20-5/ normalized-rand-8-20-5-18-800-15_ext.xml	SAT TT=7.511	SAT TT=65.17	SAT TT=67.623	? (problem) TT=122.869	SAT TT=55.072	SAT TT=56.9	SAT TT=326.792	SAT TT=422.07	SAT TT=74.296	SAT TT=7.511	SAT TT=1370.85	SAT TT=599.194	? TT=95.246	? (MO) TT=12.81	? (MO) TT=12.83
csp/rand-8-20-5/ normalized-rand-8-20-5-18-800-16_ext.xml	SAT TT=7.068	SAT TT=161.541	SAT TT=142.604	? (problem) TT=115.014	SAT TT=172.294	SAT TT=367.255	SAT TT=544.637	SAT TT=602.52	SAT TT=175.259	SAT TT=7.068	SAT TT=419.81	SAT TT=402.073	? TT=79.96	? (MO) TT=12.789	? (MO) TT=14.82
csp/rand-8-20-5/ normalized-rand-8-20-5-18-800-17_ext.xml	SAT TT=10.232	SAT TT=108.885	SAT TT=104.718	? (problem) TT=119.465	SAT TT=45.685	SAT TT=99.145	SAT TT=313.971	SAT TT=387.86	SAT TT=52.956	SAT TT=10.232	SAT TT=407.737	SAT TT=579.63	? TT=77.11	? (MO) TT=12.89	? (MO) TT=13.901
csp/rand-8-20-5/ normalized-rand-8-20-5-18-800-18_ext.xml	SAT TT=4.536	SAT TT=84.233	SAT TT=83.519	? (problem) TT=122.195	SAT TT=30.212	SAT TT=9.145	SAT TT=372.177	SAT TT=467.344	SAT TT=48.186	SAT TT=4.536	SAT TT=1377.69	SAT TT=580.944	? TT=92.75	? (TO) TT=1800.14	? (MO) TT=13.38
csp/rand-8-20-5/ normalized-rand-8-20-5-18-800-19_ext.xml	SAT TT=20.049	SAT TT=1044.42	SAT TT=1058.14	? (problem) TT=121.41	SAT TT=22.595	SAT TT=104.528	SAT TT=150.984	SAT TT=240.264	SAT TT=72.907	SAT TT=20.049	SAT TT=1137.94	? (TO) TT=1800.09	? TT=122.736	? (MO) TT=13.33	? (MO) TT=13.953
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/rand-8-20-5/ normalized-rand-8-20-5-18-800-1_ext.xml	SAT TT=9.207	SAT TT=236.056	SAT TT=248.645	? (problem) TT=125.191	SAT TT=69.707	SAT TT=9.207	SAT TT=376.556	SAT TT=446.927	SAT TT=72.405	SAT TT=25.432	SAT TT=385.884	SAT TT=847.998	? TT=92.047	? (MO) TT=15.04	? (MO) TT=13.22
csp/rand-8-20-5/ normalized-rand-8-20-5-18-800-2_ext.xml	SAT TT=7.796	SAT TT=25.422	SAT TT=24.064	? (problem) TT=122.749	SAT TT=524.293	SAT TT=38.71	? (TO) TT=1800.06	? (TO) TT=1800.05	SAT TT=61.63	SAT TT=7.796	SAT TT=697.97	SAT TT=552.177	? TT=99.755	? (MO) TT=12.56	? (MO) TT=13.86
csp/rand-8-20-5/ normalized-rand-8-20-5-18-800-3_ext.xml	SAT TT=8.696	SAT TT=146.822	SAT TT=144.356	? (problem) TT=123.305	SAT TT=93.153	SAT TT=15.908	SAT TT=639.576	SAT TT=763.361	SAT TT=50.731	SAT TT=8.696	SAT TT=564.116	SAT TT=42.422	? TT=114.592	? (MO) TT=12.846	? (MO) TT=13.55
csp/rand-8-20-5/ normalized-rand-8-20-5-18-800-4_ext.xml	SAT TT=3.489	SAT TT=85.326	SAT TT=84.457	? (problem) TT=114.606	SAT TT=95.258	SAT TT=39.013	SAT TT=305.507	SAT TT=393.864	SAT TT=66.8	SAT TT=3.489	? (TO) TT=1800.04	SAT TT=855.619	? TT=84.56	? (MO) TT=12.55	? (MO) TT=11.899
csp/rand-8-20-5/ normalized-rand-8-20-5-18-800-5_ext.xml	SAT TT=18.925	SAT TT=36.011	SAT TT=39.539	? (problem) TT=115.683	SAT TT=226.725	SAT TT=181.15	? (TO) TT=1800.04	? (TO) TT=1800.06	? (MO) TT=88.89	SAT TT=18.925	? (TO) TT=1800.08	? (TO) TT=1800.07	? TT=93.499	? (MO) TT=14.72	? (TO) TT=1800.21
csp/rand-8-20-5/ normalized-rand-8-20-5-18-800-6_ext.xml	SAT TT=15.253	SAT TT=173.777	SAT TT=145.968	? (problem) TT=125.376	SAT TT=15.253	SAT TT=245.664	SAT TT=1001.22	SAT TT=1119.24	SAT TT=61.004	SAT TT=22.715	SAT TT=812.989	SAT TT=1296.25	? TT=105.7	? (MO) TT=13.27	? (MO) TT=12.869
csp/rand-8-20-5/ normalized-rand-8-20-5-18-800-7_ext.xml	SAT TT=3.319	SAT TT=52.9	SAT TT=113.682	? (problem) TT=122.875	SAT TT=10.9	SAT TT=5.793	SAT TT=117.751	SAT TT=191.304	SAT TT=46.266	SAT TT=3.319	SAT TT=240.123	SAT TT=139.809	? TT=124.534	? (MO) TT=13.899	? (MO) TT=11.793
csp/rand-8-20-5/ normalized-rand-8-20-5-18-800-8_ext.xml	SAT TT=24.911	SAT TT=245.917	SAT TT=389.049	? (problem) TT=117.255	SAT TT=27.202	SAT TT=29.051	? (TO) TT=1800.02	? (TO) TT=1800	SAT TT=151.929	SAT TT=24.911	? (TO) TT=1800.1	? (TO) TT=1800.1	? TT=93.242	? (MO) TT=14.65	? (MO) TT=12.916
csp/rand-8-20-5/ normalized-rand-8-20-5-18-800-9_ext.xml	SAT TT=5.995	SAT TT=77.593	SAT TT=70.936	? (problem) TT=121.216	SAT TT=138.197	SAT TT=7.888	SAT TT=1431.73	SAT TT=1426.08	SAT TT=81.705	SAT TT=5.995	SAT TT=1377.12	SAT TT=27.708	? TT=102.641	? (MO) TT=13.659	? (MO) TT=13.875

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		91	91	45	111	109	108	109	104	136	83	86	46	65	61
Number of times the solver is the best solver from a complete solver point of view (i.e. best known answer and best TT time)		4	0	0	5	9	7	3	11	97	0	1	3	1	3