CSP 2006 Competition (second round): results by benchmark

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

This page displays the results of the different solvers for each benchmark for category n-ary constraints in intension (N-ARY-INT), subcategory academic 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 109 ESAC
Abscon 109 AC
BPrologCSPSolver70a 2006-12-13
CSP4J - Combo 2006-12-19
CSP4J - MAC 2006-12-19
CSP4J - MAC 2007-01-16
CSPtoSAT+minisat 0.3
galac 1
galacJ beta 1
Mistral 2006-12-04
sat4jCSP 1.7 RC BF3
SAT4JCSP-CACHED 1.7 RC BF3
sugar 0.40
Tramontane 2006-12-04

Bench name	Best results on this instance	Abscon 109 ESAC	Abscon 109 AC	BPrologCSPSolver70a 2006-12-13	CSP4J - Combo 2006-12-19	CSP4J - MAC 2006-12-19	CSP4J - MAC 2007-01-16	CSPtoSAT+minisat 0.3	galac 1	galacJ beta 1	Mistral 2006-12-04	sat4jCSP 1.7 RC BF3	SAT4JCSP-CACHED 1.7 RC BF3	sugar 0.40	Tramontane 2006-12-04
allIntervalSeries/ series-100.xml	SAT TT=34.864	SAT TT=233.382 CHECKS=686307605 NODES=0	? (TO) TT=1800.09	SAT TT=34.864	? (TO) TT=1800.09	? (TO) TT=1800.07	? (TO) TT=1800.1	? (TO) TT=1800.04	? (TO) TT=1800.01	? (MO) TT=0.047	? (TO) TT=1800.02	? TT=164.196	? (MO) TT=134.189	? (TO) TT=1800.15	? (TO) TT=1800.08
allIntervalSeries/ series-10.xml	SAT TT=0.021	SAT TT=0.72 CHECKS=7886 NODES=0	SAT TT=1.106 CHECKS=376756 NODES=1692	SAT TT=0.021	SAT TT=0.584 NODES=28	SAT TT=0.637 NODES=126	SAT TT=0.653 CHECKS=20197 NODES=81	SAT TT=0.307	SAT TT=1.494	SAT TT=1.546	SAT TT=0.039	? (MO) TT=2.204	SAT TT=1.824	SAT TT=0.687	SAT TT=0.029
allIntervalSeries/ series-11.xml	SAT TT=0.021	SAT TT=0.758 CHECKS=12220 NODES=0	SAT TT=1.611 CHECKS=1299924 NODES=4368	SAT TT=0.021	SAT TT=0.725 NODES=108	SAT TT=0.748 NODES=213	SAT TT=0.668 CHECKS=29052 NODES=86	SAT TT=1.066	SAT TT=1.623	SAT TT=1.976	SAT TT=0.149	SAT TT=2.195	SAT TT=2.322	SAT TT=0.851	SAT TT=0.028
allIntervalSeries/ series-12.xml	SAT TT=0.021	SAT TT=0.727 CHECKS=18841 NODES=0	SAT TT=3.362 CHECKS=4540469 NODES=12643	SAT TT=0.021	SAT TT=2.683 NODES=4936	SAT TT=1.233 NODES=1845	SAT TT=1.425 CHECKS=244212 NODES=2965	SAT TT=0.562	SAT TT=3.609	SAT TT=3.969	SAT TT=0.606	SAT TT=2.268	SAT TT=2.285	SAT TT=0.217	SAT TT=0.105
allIntervalSeries/ series-13.xml	SAT TT=0.023	SAT TT=0.805 CHECKS=27423 NODES=0	SAT TT=1.904 CHECKS=2094430 NODES=5353	SAT TT=0.023	SAT TT=15.021 NODES=30908	SAT TT=1.341 NODES=1351	SAT TT=2.394 CHECKS=564198 NODES=6380	SAT TT=6.688	SAT TT=2.876	SAT TT=8.44	SAT TT=3.231	SAT TT=7.976	SAT TT=7.89	SAT TT=10.442	SAT TT=0.437
allIntervalSeries/ series-14.xml	SAT TT=0.025	SAT TT=0.794 CHECKS=39745 NODES=0	SAT TT=20.804 CHECKS=40507759 NODES=99866	SAT TT=0.025	SAT TT=6.295 NODES=10529	SAT TT=81.463 NODES=237619	SAT TT=107.153 CHECKS=44135278 NODES=417097	SAT TT=5.205	SAT TT=20.959	SAT TT=3.116	SAT TT=32.643	SAT TT=17.622	SAT TT=15.381	SAT TT=1.46	SAT TT=0.049
allIntervalSeries/ series-15.xml	SAT TT=0.023	SAT TT=0.782 CHECKS=55042 NODES=0	SAT TT=309.53 CHECKS=637816850 NODES=1264587	SAT TT=0.023	SAT TT=48.645 NODES=81187	SAT TT=6.86 NODES=17639	SAT TT=272.771 CHECKS=115403779 NODES=956902	SAT TT=265.495	SAT TT=59.742	SAT TT=190.023	SAT TT=142.22	SAT TT=24.885	? (MO) TT=2.83	SAT TT=9.307	SAT TT=0.151
allIntervalSeries/ series-16.xml	SAT TT=0.025	SAT TT=0.809 CHECKS=76185 NODES=0	SAT TT=83.5 CHECKS=173077991 NODES=352244	SAT TT=0.025	SAT TT=50.513 NODES=79151	SAT TT=3.885 NODES=7932	SAT TT=9.066 CHECKS=3166341 NODES=27166	SAT TT=442.797	SAT TT=524.994	SAT TT=216.655	SAT TT=895.774	SAT TT=103.605	SAT TT=98.873	SAT TT=1439.84	SAT TT=15.234
allIntervalSeries/ series-18.xml	SAT TT=0.028	SAT TT=0.835 CHECKS=135520 NODES=0	? (TO) TT=1800.16	SAT TT=0.028	? (TO) TT=1800.01	? (TO) TT=1800.02	SAT TT=93 CHECKS=35681871 NODES=243610	? (TO) TT=1800.09	SAT TT=803.619	SAT TT=636.482	? (TO) TT=1800.05	? (TO) TT=1800.41	? (MO) TT=3.542	SAT TT=14.59	SAT TT=1565.09
allIntervalSeries/ series-20.xml	SAT TT=0.031	SAT TT=0.927 CHECKS=227553 NODES=0	? (TO) TT=1800.08	SAT TT=0.031	? (TO) TT=1800.05	? (TO) TT=1800.06	? (TO) TT=1800.11	? (TO) TT=1800.11	? (TO) TT=1800.05	? (TO) TT=1800.05	? (TO) TT=1800.03	? (TO) TT=1800.21	? (TO) TT=1800.19	SAT TT=650.79	SAT TT=207.504
Bench name	Best results on this instance	Abscon 109 ESAC	Abscon 109 AC	BPrologCSPSolver70a 2006-12-13	CSP4J - Combo 2006-12-19	CSP4J - MAC 2006-12-19	CSP4J - MAC 2007-01-16	CSPtoSAT+minisat 0.3	galac 1	galacJ beta 1	Mistral 2006-12-04	sat4jCSP 1.7 RC BF3	SAT4JCSP-CACHED 1.7 RC BF3	sugar 0.40	Tramontane 2006-12-04
allIntervalSeries/ series-25.xml	SAT TT=0.037	SAT TT=1.119 CHECKS=681981 NODES=0	? (TO) TT=1800.08	SAT TT=0.037	? (TO) TT=1800.07	? (TO) TT=1800.04	? (TO) TT=1800.05	? (TO) TT=1800.09	? (TO) TT=1800.09	? (TO) TT=1800.06	? (TO) TT=1800.08	? (TO) TT=1800.16	? (TO) TT=1800.21	? (TO) TT=1800.1	? (TO) TT=1800.02
allIntervalSeries/ series-30.xml	SAT TT=0.051	SAT TT=1.6 CHECKS=1690330 NODES=0	? (TO) TT=1800.15	SAT TT=0.051	? (TO) TT=1800.01	? (TO) TT=1800.11	? (TO) TT=1800.04	? (TO) TT=1800.08	? (TO) TT=1800.02	? (TO) TT=1800.05	? (TO) TT=1800.1	? (TO) TT=1800.24	? (TO) TT=1800.2	? (TO) TT=1800.01	? (TO) TT=1800.07
allIntervalSeries/ series-35.xml	SAT TT=0.07	SAT TT=2.324 CHECKS=3629388 NODES=0	? (TO) TT=1800.14	SAT TT=0.07	? (TO) TT=1800.04	? (TO) TT=1800	? (TO) TT=1800.07	? (TO) TT=1800.05	? (TO) TT=1800.09	? (TO) TT=1800.03	? (TO) TT=1800.03	? (MO) TT=1104.97	? (MO) TT=1658.63	? (TO) TT=1800.1	? (TO) TT=1800.09
allIntervalSeries/ series-40.xml	SAT TT=0.104	SAT TT=3.383 CHECKS=7070736 NODES=0	? (TO) TT=1800.05	SAT TT=0.104	? (TO) TT=1800.09	? (TO) TT=1800.04	? (TO) TT=1800.08	? (TO) TT=1800.04	? (TO) TT=1800.08	? (TO) TT=1800.07	? (TO) TT=1800.01	? (MO) TT=836.045	? (MO) TT=6.466	? (TO) TT=1800.12	? (TO) TT=1800.06
allIntervalSeries/ series-45.xml	SAT TT=0.155	SAT TT=5.341 CHECKS=12700600 NODES=0	? (TO) TT=1800.03	SAT TT=0.155	? (TO) TT=1800.03	? (TO) TT=1800.05	? (TO) TT=1800.1	? (TO) TT=1800.03	? (TO) TT=1800.06	? (TO) TT=1800.02	? (TO) TT=1800.11	? (MO) TT=604.854	? (MO) TT=253.464	? (TO) TT=1800.14	? (TO) TT=1800.02
allIntervalSeries/ series-50.xml	SAT TT=0.243	SAT TT=7.934 CHECKS=21514343 NODES=0	? (TO) TT=1800.07	SAT TT=0.243	? (TO) TT=1800.06	? (TO) TT=1800.08	? (TO) TT=1800.08	? (TO) TT=1800.02	? (TO) TT=1800.06	? (TO) TT=1800.08	? (TO) TT=1800.06	? (MO) TT=270.743	? (MO) TT=36.009	? (TO) TT=1800.07	? (TO) TT=1800.08
allIntervalSeries/ series-5.xml	SAT TT=0.012	SAT TT=0.642 CHECKS=310 NODES=0	SAT TT=0.638 CHECKS=381 NODES=12	SAT TT=0.02	SAT TT=0.411 NODES=9	SAT TT=0.395 NODES=16	SAT TT=0.405 CHECKS=974 NODES=16	SAT TT=0.013	SAT TT=1.112	SAT TT=1.068	SAT TT=0.012	SAT TT=0.913	SAT TT=0.89	SAT TT=0.265	SAT TT=0.014
allIntervalSeries/ series-60.xml	SAT TT=0.634	SAT TT=19.4 CHECKS=53447430 NODES=0	? (TO) TT=1800.13	SAT TT=0.634	? (TO) TT=1800.04	? (TO) TT=1800.06	? (TO) TT=1800.03	? (TO) TT=1800.1	? (TO) TT=41.196	? (TO) TT=1800.05	? (TO) TT=1800.1	? (MO) TT=66.898	? (MO) TT=61.317	? (TO) TT=1800.11	? (TO) TT=1800.09
allIntervalSeries/ series-6.xml	SAT TT=0.014	SAT TT=0.677 CHECKS=722 NODES=0	SAT TT=0.661 CHECKS=1015 NODES=19	SAT TT=0.019	SAT TT=0.453 NODES=15	SAT TT=0.461 NODES=11	SAT TT=0.428 CHECKS=1886 NODES=11	SAT TT=0.02	SAT TT=1.168	SAT TT=1.128	SAT TT=0.014	SAT TT=1.02	SAT TT=1.01	SAT TT=0.631	SAT TT=0.016
allIntervalSeries/ series-70.xml	SAT TT=1.715	SAT TT=41.263 CHECKS=115433042 NODES=0	? (TO) TT=1800.09	SAT TT=1.715	? (TO) TT=1800.09	? (TO) TT=1800.03	? (TO) TT=1800	? (TO) TT=1800.03	? (TO) TT=1800.07	? (TO) TT=1800.04	? (TO) TT=1800.06	? TT=74.248	? (exit code) TT=104.856	? (TO) TT=1800.04	? (TO) TT=1800.11
Bench name	Best results on this instance	Abscon 109 ESAC	Abscon 109 AC	BPrologCSPSolver70a 2006-12-13	CSP4J - Combo 2006-12-19	CSP4J - MAC 2006-12-19	CSP4J - MAC 2007-01-16	CSPtoSAT+minisat 0.3	galac 1	galacJ beta 1	Mistral 2006-12-04	sat4jCSP 1.7 RC BF3	SAT4JCSP-CACHED 1.7 RC BF3	sugar 0.40	Tramontane 2006-12-04
allIntervalSeries/ series-7.xml	SAT TT=0.014	SAT TT=0.694 CHECKS=1443 NODES=0	SAT TT=0.743 CHECKS=5015 NODES=54	SAT TT=0.019	SAT TT=0.497 NODES=20	SAT TT=0.477 NODES=30	SAT TT=0.511 CHECKS=4368 NODES=37	SAT TT=0.027	SAT TT=1.179	SAT TT=1.133	SAT TT=0.015	SAT TT=1.305	SAT TT=1.195	SAT TT=0.212	SAT TT=0.014
allIntervalSeries/ series-80.xml	SAT TT=4.866	SAT TT=78.831 CHECKS=224961273 NODES=0	? (TO) TT=1800.08	SAT TT=4.866	? (TO) TT=1800.09	? (TO) TT=1800.01	? (TO) TT=1800	? (TO) TT=1800.07	? (TO) TT=1800.06	? (TO) TT=1800.05	? (TO) TT=1800.04	? (MO) TT=81.633	? (MO) TT=57.283	? (TO) TT=1800.16	? (TO) TT=1800.11
allIntervalSeries/ series-8.xml	SAT TT=0.016	SAT TT=0.678 CHECKS=2737 NODES=0	SAT TT=0.792 CHECKS=22971 NODES=153	SAT TT=0.02	SAT TT=0.552 NODES=17	SAT TT=0.561 NODES=53	SAT TT=0.553 CHECKS=7812 NODES=46	SAT TT=0.356	SAT TT=1.32	SAT TT=1.378	SAT TT=0.017	SAT TT=1.62	SAT TT=2.118	SAT TT=0.721	SAT TT=0.016
allIntervalSeries/ series-90.xml	SAT TT=13.36	SAT TT=133.526 CHECKS=405299672 NODES=0	? (TO) TT=1800.07	SAT TT=13.36	? (TO) TT=1800.04	? (TO) TT=1800.06	? (TO) TT=1800.04	? (TO) TT=1800.04	? (TO) TT=1800.09	? (TO) TT=1800.02	? (TO) TT=1800.03	? (MO) TT=100.646	? (MO) TT=55.447	? (TO) TT=1800.12	? (TO) TT=1800.02
allIntervalSeries/ series-9.xml	SAT TT=0.016	SAT TT=0.677 CHECKS=4667 NODES=0	SAT TT=0.91 CHECKS=54469 NODES=326	SAT TT=0.02	SAT TT=0.557 NODES=52	SAT TT=0.577 NODES=33	SAT TT=0.582 CHECKS=11304 NODES=33	SAT TT=0.325	SAT TT=1.607	SAT TT=1.423	SAT TT=0.023	SAT TT=1.947	SAT TT=1.605	SAT TT=0.582	SAT TT=0.016
chessboardColoration/ cc-10-10-2.xml	UNSAT TT=0.22	UNSAT TT=2.294 CHECKS=79545 NODES=3621	UNSAT TT=2.258 CHECKS=78927 NODES=3529	UNSAT TT=53.735	UNSAT TT=62.239 NODES=13249	UNSAT TT=45.286 NODES=8207	UNSAT TT=28.826 CHECKS=746863 NODES=9106	UNSAT TT=0.22	UNSAT TT=4.515	UNSAT TT=3.536	UNSAT TT=1.292	UNSAT TT=5.047	UNSAT TT=4.759	UNSAT TT=2.61	UNSAT TT=3.294
chessboardColoration/ cc-10-10-3.xml	SAT TT=7.312	? (TO) TT=1800.13	? (TO) TT=1800.13	? (TO) TT=1800.07	SAT TT=550.994 NODES=111243	? (TO) TT=1800.02	SAT TT=645.784 CHECKS=76117013 NODES=228321	SAT TT=53.196	SAT TT=313.362	SAT TT=19.347	? (TO) TT=1800.05	SAT TT=7.312	SAT TT=6.26	SAT TT=50.79	? (TO) TT=1800.09
chessboardColoration/ cc-12-12-2.xml	UNSAT TT=0.427	UNSAT TT=3.21 CHECKS=88732 NODES=3716	UNSAT TT=3.059 CHECKS=79382 NODES=3540	UNSAT TT=428.742	UNSAT TT=87.957 NODES=6915	UNSAT TT=81.189 NODES=7890	UNSAT TT=67.43 CHECKS=733800 NODES=8468	UNSAT TT=0.427	UNSAT TT=7.949	UNSAT TT=6.124	UNSAT TT=2.334	UNSAT TT=6.556	UNSAT TT=5.952	UNSAT TT=5.49	UNSAT TT=7.008
chessboardColoration/ cc-12-12-3.xml		? (TO) TT=1800.13	? (TO) TT=1800.12	? (TO) TT=1800.08	? (TO) TT=1800.03	? (TO) TT=1800.01	? (TO) TT=1800.06	? (TO) TT=1800.08	? (TO) TT=1800.06	? (TO) TT=1800.08	? (TO) TT=1800.07	? (TO) TT=1800.22	? (TO) TT=1800.2	? (TO) TT=1800.12	? (TO) TT=1800.02
chessboardColoration/ cc-15-15-2.xml	UNSAT TT=1.007	UNSAT TT=5.417 CHECKS=72820 NODES=3656	UNSAT TT=5.302 CHECKS=83558 NODES=3666	? (TO) TT=1800.04	UNSAT TT=248.215 NODES=7021	UNSAT TT=297.174 NODES=10016	UNSAT TT=248.239 CHECKS=1024033 NODES=7427	UNSAT TT=1.007	UNSAT TT=20.597	UNSAT TT=13.088	UNSAT TT=7	UNSAT TT=9.294	UNSAT TT=7.604	UNSAT TT=13.186	UNSAT TT=17.353
Bench name	Best results on this instance	Abscon 109 ESAC	Abscon 109 AC	BPrologCSPSolver70a 2006-12-13	CSP4J - Combo 2006-12-19	CSP4J - MAC 2006-12-19	CSP4J - MAC 2007-01-16	CSPtoSAT+minisat 0.3	galac 1	galacJ beta 1	Mistral 2006-12-04	sat4jCSP 1.7 RC BF3	SAT4JCSP-CACHED 1.7 RC BF3	sugar 0.40	Tramontane 2006-12-04
chessboardColoration/ cc-15-15-3.xml		? (TO) TT=1800.13	? (TO) TT=1800.18	? (TO) TT=1800.08	? (TO) TT=1800.05	? (TO) TT=1800.02	? (TO) TT=1800.07	? (TO) TT=1800.05	? (TO) TT=1800.06	? (TO) TT=1800.06	? (TO) TT=1800.03	? (TO) TT=1800.13	? (TO) TT=1800.15	? (TO) TT=1800.1	? (TO) TT=1800.1
chessboardColoration/ cc-20-20-2.xml	UNSAT TT=3.256	UNSAT TT=13.693 CHECKS=95718 NODES=3640	UNSAT TT=11.56 CHECKS=84236 NODES=3497	? (TO) TT=1800.06	UNSAT TT=1608.39 NODES=11299	UNSAT TT=1055.44 NODES=4708	UNSAT TT=1281.88 CHECKS=2483438 NODES=6986	UNSAT TT=3.256	UNSAT TT=63.338	UNSAT TT=44.55	UNSAT TT=28.816	UNSAT TT=14.587	UNSAT TT=12.048	UNSAT TT=43.543	UNSAT TT=77.112
chessboardColoration/ cc-20-20-3.xml		? (TO) TT=1800.19	? (TO) TT=1800.18	? (TO) TT=1800.06	? (TO) TT=1800.06	? (TO) TT=1800.08	? (TO) TT=1800.07	? (TO) TT=1800.13	? (TO) TT=1800.03	? (TO) TT=1800.02	? (TO) TT=1800.09	? (TO) TT=1800.17	? (TO) TT=1800.19	? (TO) TT=1800.14	? (TO) TT=1800.04
chessboardColoration/ cc-25-25-2.xml	UNSAT TT=8.315	UNSAT TT=35.803 CHECKS=78640 NODES=3696	UNSAT TT=32.174 CHECKS=9456695 NODES=3412	? (conv) TT=0.018	? TT=592.35	? TT=615.489	? TT=572.445	UNSAT TT=8.315	UNSAT TT=181.975	UNSAT TT=108.242	UNSAT TT=74.715	UNSAT TT=30.709	UNSAT TT=23.777	UNSAT TT=270.35	UNSAT TT=143.597
chessboardColoration/ cc-25-25-3.xml		? (TO) TT=1800.13	? (TO) TT=1800.13	? (conv) TT=0.017	? TT=588.918	? TT=619.961	? TT=567.837	? (TO) TT=1800.12	? (TO) TT=1800.03	? (MO) TT=0.022	? (TO) TT=1800.06	? (TO) TT=1800.22	? (TO) TT=1800.12	? (TO) TT=1800.25	? (TO) TT=1800.06
chessboardColoration/ cc-5-5-2.xml	UNSAT TT=0.121	UNSAT TT=1.176 CHECKS=70639 NODES=3427	UNSAT TT=1.1 CHECKS=80829 NODES=3595	UNSAT TT=0.371	UNSAT TT=2.963 NODES=5357	UNSAT TT=2.698 NODES=5149	UNSAT TT=2.508 CHECKS=332071 NODES=5042	UNSAT TT=0.121	UNSAT TT=0.962	UNSAT TT=1.048	UNSAT TT=0.123	UNSAT TT=1.961	UNSAT TT=1.571	UNSAT TT=0.912	UNSAT TT=0.243
chessboardColoration/ cc-5-5-3.xml	SAT TT=0.02	SAT TT=0.78 CHECKS=472 NODES=0	SAT TT=0.778 CHECKS=534 NODES=34	SAT TT=0.03	SAT TT=0.873 NODES=0	SAT TT=1.013 NODES=25	SAT TT=1.016 CHECKS=31477 NODES=25	SAT TT=0.02	SAT TT=1.456	SAT TT=1.404	SAT TT=0.039	SAT TT=1.649	SAT TT=1.104	SAT TT=1.01	SAT TT=0.041
chessboardColoration/ cc-6-6-2.xml	UNSAT TT=0.143	UNSAT TT=1.162 CHECKS=61490 NODES=3034	UNSAT TT=1.307 CHECKS=76111 NODES=3571	UNSAT TT=0.903	UNSAT TT=12.461 NODES=20553	UNSAT TT=5.637 NODES=7791	UNSAT TT=4.883 CHECKS=563213 NODES=7729	UNSAT TT=0.143	UNSAT TT=1.225	UNSAT TT=1.301	UNSAT TT=0.212	UNSAT TT=2.222	UNSAT TT=1.789	UNSAT TT=1.16	UNSAT TT=0.665
chessboardColoration/ cc-6-6-3.xml	SAT TT=0.033	SAT TT=0.863 CHECKS=1147 NODES=38	SAT TT=0.89 CHECKS=1501 NODES=74	SAT TT=0.668	SAT TT=1.298 NODES=2	SAT TT=1.436 NODES=36	SAT TT=1.504 CHECKS=70762 NODES=36	SAT TT=0.033	SAT TT=1.892	SAT TT=1.769	SAT TT=2.324	SAT TT=2.065	SAT TT=1.967	SAT TT=0.92	SAT TT=9.823
chessboardColoration/ cc-7-7-2.xml	UNSAT TT=0.136	UNSAT TT=1.483 CHECKS=84604 NODES=3788	UNSAT TT=1.438 CHECKS=75794 NODES=3234	UNSAT TT=1.761	UNSAT TT=26.917 NODES=27789	UNSAT TT=10.324 NODES=6902	UNSAT TT=5.735 CHECKS=345695 NODES=6912	UNSAT TT=0.136	UNSAT TT=1.795	UNSAT TT=1.683	UNSAT TT=0.341	UNSAT TT=2.791	UNSAT TT=2.336	UNSAT TT=1.21	UNSAT TT=0.881
Bench name	Best results on this instance	Abscon 109 ESAC	Abscon 109 AC	BPrologCSPSolver70a 2006-12-13	CSP4J - Combo 2006-12-19	CSP4J - MAC 2006-12-19	CSP4J - MAC 2007-01-16	CSPtoSAT+minisat 0.3	galac 1	galacJ beta 1	Mistral 2006-12-04	sat4jCSP 1.7 RC BF3	SAT4JCSP-CACHED 1.7 RC BF3	sugar 0.40	Tramontane 2006-12-04
chessboardColoration/ cc-7-7-3.xml	SAT TT=0.052	SAT TT=0.949 CHECKS=1935 NODES=0	SAT TT=0.993 CHECKS=2556 NODES=92	SAT TT=141.252	SAT TT=2.212 NODES=2	SAT TT=2.334 NODES=53	SAT TT=2.275 CHECKS=138989 NODES=53	SAT TT=0.052	SAT TT=2.599	SAT TT=2.139	SAT TT=552.203	SAT TT=2.991	SAT TT=2.374	SAT TT=1.19	SAT TT=1567.38
chessboardColoration/ cc-8-8-2.xml	UNSAT TT=0.125	UNSAT TT=1.551 CHECKS=79482 NODES=3516	UNSAT TT=1.55 CHECKS=76085 NODES=3388	UNSAT TT=5.623	UNSAT TT=38.371 NODES=24408	UNSAT TT=15.114 NODES=6399	UNSAT TT=9.222 CHECKS=345365 NODES=6191	UNSAT TT=0.125	UNSAT TT=2.497	UNSAT TT=2.007	UNSAT TT=0.587	UNSAT TT=3.387	UNSAT TT=2.883	UNSAT TT=1.644	UNSAT TT=1.755
chessboardColoration/ cc-8-8-3.xml	SAT TT=0.089	SAT TT=1.11 CHECKS=8393 NODES=140	SAT TT=1.091 CHECKS=8399 NODES=186	? (TO) TT=1800.07	SAT TT=6.55 NODES=1714	SAT TT=4.351 NODES=367	SAT TT=3.99 CHECKS=307499 NODES=367	SAT TT=0.089	SAT TT=3.769	SAT TT=3.044	? (TO) TT=1800.08	SAT TT=3.38	SAT TT=3.209	SAT TT=1.811	? (TO) TT=1800.07
chessboardColoration/ cc-9-9-2.xml	UNSAT TT=0.203	UNSAT TT=1.755 CHECKS=71604 NODES=3600	UNSAT TT=1.914 CHECKS=81107 NODES=3880	UNSAT TT=16.433	UNSAT TT=82.447 NODES=30607	UNSAT TT=29.314 NODES=7860	UNSAT TT=17.906 CHECKS=632244 NODES=7958	UNSAT TT=0.203	UNSAT TT=3.308	UNSAT TT=2.869	UNSAT TT=0.771	UNSAT TT=4.184	UNSAT TT=3.693	UNSAT TT=2.11	UNSAT TT=2.506
chessboardColoration/ cc-9-9-3.xml	SAT TT=0.217	SAT TT=2.716 CHECKS=443875 NODES=6013	SAT TT=1.681 CHECKS=135786 NODES=1659	? (TO) TT=1800.11	SAT TT=10.82 NODES=1979	SAT TT=7.455 NODES=731	SAT TT=38.976 CHECKS=5422207 NODES=13556	SAT TT=0.217	SAT TT=5.099	SAT TT=4.497	? (TO) TT=1800.02	SAT TT=4.878	SAT TT=3.877	SAT TT=3.301	? (TO) TT=1800.09
golombRuler/ golombRulerArity3/ruler-17-6-a3.xml	SAT TT=0.02	SAT TT=1.11 CHECKS=913273 NODES=23	SAT TT=0.866 CHECKS=234570 NODES=173	SAT TT=0.022	SAT TT=0.778 NODES=23	SAT TT=0.937 NODES=204	SAT TT=0.825 CHECKS=88531 NODES=193	SAT TT=0.372	SAT TT=2.068	SAT TT=1.634	SAT TT=0.023	SAT TT=3.225	SAT TT=3.149	SAT TT=0.501	SAT TT=0.02
golombRuler/ golombRulerArity3/ruler-17-7-a3.xml	UNSAT TT=0.035	UNSAT TT=1.616 CHECKS=2351347 NODES=95	UNSAT TT=0.897 CHECKS=223944 NODES=79	UNSAT TT=0.035	UNSAT TT=1.175 NODES=91	UNSAT TT=1.37 NODES=250	UNSAT TT=1.213 CHECKS=162415 NODES=248	UNSAT TT=55.863	UNSAT TT=1.998	UNSAT TT=1.346	UNSAT TT=0.039	? (TO) TT=1800.15	? (TO) TT=1800.18	UNSAT TT=0.432	UNSAT TT=0.04
golombRuler/ golombRulerArity3/ruler-25-7-a3.xml	SAT TT=0.026	SAT TT=3.083 CHECKS=7678380 NODES=97	SAT TT=1.437 CHECKS=1957677 NODES=239	SAT TT=0.026	SAT TT=1.242 NODES=55	SAT TT=2.201 NODES=837	SAT TT=1.719 CHECKS=424160 NODES=560	SAT TT=7.707	SAT TT=3.914	SAT TT=2.352	SAT TT=0.043	SAT TT=5.417	SAT TT=4.729	SAT TT=0.96	SAT TT=0.033
golombRuler/ golombRulerArity3/ruler-25-8-a3.xml	UNSAT TT=0.136	UNSAT TT=6.027 CHECKS=17484389 NODES=463	UNSAT TT=1.872 CHECKS=3023590 NODES=504	UNSAT TT=0.193	UNSAT TT=5.23 NODES=1822	UNSAT TT=9.767 NODES=3863	UNSAT TT=5.891 CHECKS=2395329 NODES=4010	UNSAT TT=620.331	UNSAT TT=5.424	UNSAT TT=7.531	UNSAT TT=0.136	UNSAT TT=1786.89	UNSAT TT=1773.07	UNSAT TT=1.153	UNSAT TT=0.189
golombRuler/ golombRulerArity3/ruler-34-8-a3.xml	SAT TT=0.037	SAT TT=16.909 CHECKS=52649005 NODES=795	SAT TT=3.398 CHECKS=7657795 NODES=1082	SAT TT=0.037	SAT TT=3.466 NODES=579	SAT TT=40.248 NODES=14538	SAT TT=21.485 CHECKS=11424514 NODES=16400	SAT TT=457.53	SAT TT=11.467	SAT TT=67.248	SAT TT=0.085	SAT TT=400.162	SAT TT=402.536	SAT TT=1.22	SAT TT=0.083
Bench name	Best results on this instance	Abscon 109 ESAC	Abscon 109 AC	BPrologCSPSolver70a 2006-12-13	CSP4J - Combo 2006-12-19	CSP4J - MAC 2006-12-19	CSP4J - MAC 2007-01-16	CSPtoSAT+minisat 0.3	galac 1	galacJ beta 1	Mistral 2006-12-04	sat4jCSP 1.7 RC BF3	SAT4JCSP-CACHED 1.7 RC BF3	sugar 0.40	Tramontane 2006-12-04
golombRuler/ golombRulerArity3/ruler-34-9-a3.xml	UNSAT TT=1.628	UNSAT TT=30.81 CHECKS=97368244 NODES=2319	UNSAT TT=8.167 CHECKS=21512210 NODES=4039	UNSAT TT=3.019	UNSAT TT=24.87 NODES=4944	UNSAT TT=76.012 NODES=16851	UNSAT TT=103.567 CHECKS=50660959 NODES=64923	? (TO) TT=1800.14	UNSAT TT=50.596	UNSAT TT=74.797	UNSAT TT=1.628	UNSAT TT=434.352	UNSAT TT=409.512	UNSAT TT=4.88	UNSAT TT=2.599
golombRuler/ golombRulerArity3/ ruler-44-10-a3.xml	UNSAT TT=13.958	UNSAT TT=69.647 CHECKS=247640056 NODES=9775	UNSAT TT=37.085 CHECKS=114465985 NODES=11334	UNSAT TT=57.264	UNSAT TT=158.179 NODES=15478	UNSAT TT=791.874 NODES=103065	UNSAT TT=1235.27 CHECKS=500647164 NODES=437603	? (TO) TT=1800.1	UNSAT TT=746.447	UNSAT TT=1130.57	UNSAT TT=13.958	? (TO) TT=1800.24	? (MO) TT=6.456	UNSAT TT=43.708	UNSAT TT=21.335
golombRuler/ golombRulerArity3/ruler-44-9-a3.xml	SAT TT=0.158	SAT TT=59.81 CHECKS=210909489 NODES=9781	SAT TT=20.93 CHECKS=67697904 NODES=10243	SAT TT=0.158	SAT TT=74.986 NODES=11012	SAT TT=267.385 NODES=53018	SAT TT=228.076 CHECKS=123353634 NODES=100038	? (TO) TT=1800.02	SAT TT=139.914	SAT TT=301.143	SAT TT=1.002	SAT TT=808.889	? (MO) TT=7.392	SAT TT=16.78	SAT TT=10.123
golombRuler/ golombRulerArity3/ ruler-55-10-a3.xml	SAT TT=4.164	SAT TT=331.292 CHECKS=1065451251 NODES=88692	SAT TT=130.402 CHECKS=438915548 NODES=44051	SAT TT=4.164	SAT TT=1322.24 NODES=125524	? (TO) TT=1800.07	? (TO) TT=1800.09	? (TO) TT=1800.02	? (TO) TT=1800.05	? (TO) TT=1800.01	SAT TT=6.872	? (MO) TT=32.773	? (MO) TT=22.78	SAT TT=12.37	SAT TT=106.187
golombRuler/ golombRulerArity3/ ruler-55-11-a3.xml	UNSAT TT=69.053	UNSAT TT=297.752 CHECKS=947463057 NODES=55646	UNSAT TT=224.977 CHECKS=729808091 NODES=47267	UNSAT TT=1687.13	UNSAT TT=962.2 NODES=59574	? (TO) TT=1800.04	? (TO) TT=1800.08	? (TO) TT=1800.1	? (TO) TT=1800.05	? (TO) TT=1800.09	UNSAT TT=69.053	? (MO) TT=41.602	? (MO) TT=19.566	UNSAT TT=589.16	UNSAT TT=116.771
golombRuler/ golombRulerArity3/ ruler-67-11-a3.xml	UNSAT TT=822.148	? (TO) TT=1800.08	? (TO) TT=1800.11	? (TO) TT=1800.05	? (TO) TT=1800.01	? (TO) TT=1800.06	? (TO) TT=1800.07	? (TO) TT=1800.11	? (TO) TT=1800.04	? (TO) TT=1800.1	UNSAT TT=822.148	? (MO) TT=38.307	? (MO) TT=21.169	? (TO) TT=1800.03	? (TO) TT=1800.02
golombRuler/ golombRulerArity3/ ruler-67-12-a3.xml	UNSAT TT=498.493	UNSAT TT=1439.19 CHECKS=5166269351 NODES=184057	UNSAT TT=1437.46 CHECKS=4758700469 NODES=208898	? (TO) TT=1800.07	? (TO) TT=1800.01	? (TO) TT=1800.02	? (TO) TT=1800.01	? (TO) TT=1800.08	? (TO) TT=1800.02	? (TO) TT=1800.09	UNSAT TT=527.608	? (MO) TT=42.389	? (MO) TT=24.387	? (TO) TT=1800.06	UNSAT TT=498.493
golombRuler/ golombRulerArity3/ ruler-70-12-a3.xml	UNSAT TT=757.64	? (TO) TT=1800.07	? (TO) TT=1800.14	? (TO) TT=1800.1	? (TO) TT=1800.04	? (TO) TT=1800.07	? (TO) TT=1800.06	? (TO) TT=1800.06	? (TO) TT=1800.1	? (TO) TT=1800.05	UNSAT TT=757.64	? (exit code) TT=97.012	? (MO) TT=18.747	? (TO) TT=1800.04	? (TO) TT=1800.08
golombRuler/ golombRulerArity3/ ruler-70-13-a3.xml	UNSAT TT=971.281	? (TO) TT=1800.04	? (TO) TT=1800.05	? (TO) TT=1800.11	? (TO) TT=1800.04	? (TO) TT=1800.1	? (TO) TT=1800.04	? (TO) TT=1800.12	? (TO) TT=1800.08	? (TO) TT=1800.03	? (TO) TT=1800.07	? (exit code) TT=98.902	? (MO) TT=14.967	? (TO) TT=1800.1	UNSAT TT=971.281
golombRuler/ golombRulerArity4/ruler-17-6-a4.xml	SAT TT=0.023	SAT TT=0.752 CHECKS=21760 NODES=38	SAT TT=0.78 CHECKS=9004 NODES=23	SAT TT=0.023	SAT TT=3.078 NODES=19	SAT TT=4.045 NODES=144	SAT TT=4.102 CHECKS=1714867 NODES=179	SAT TT=0.027	SAT TT=7.155	SAT TT=4.171	SAT TT=0.049	SAT TT=9.177	Wrong Cert. TT=1.714	SAT TT=0.877	SAT TT=0.031
Bench name	Best results on this instance	Abscon 109 ESAC	Abscon 109 AC	BPrologCSPSolver70a 2006-12-13	CSP4J - Combo 2006-12-19	CSP4J - MAC 2006-12-19	CSP4J - MAC 2007-01-16	CSPtoSAT+minisat 0.3	galac 1	galacJ beta 1	Mistral 2006-12-04	sat4jCSP 1.7 RC BF3	SAT4JCSP-CACHED 1.7 RC BF3	sugar 0.40	Tramontane 2006-12-04
golombRuler/ golombRulerArity4/ruler-17-7-a4.xml	UNSAT TT=0.055	UNSAT TT=0.938 CHECKS=116315 NODES=170	UNSAT TT=0.96 CHECKS=119394 NODES=185	UNSAT TT=0.055	UNSAT TT=6.865 NODES=99	UNSAT TT=8.192 NODES=163	UNSAT TT=7.716 CHECKS=2883964 NODES=162	UNSAT TT=0.94	UNSAT TT=13.937	UNSAT TT=7.076	UNSAT TT=0.109	UNSAT TT=18.798	Wrong Cert. TT=1.933	UNSAT TT=0.99	? (TO) TT=1800.09
golombRuler/ golombRulerArity4/ruler-25-7-a4.xml	SAT TT=0.033	SAT TT=1.018 CHECKS=171183 NODES=216	SAT TT=0.922 CHECKS=66267 NODES=98	SAT TT=0.033	SAT TT=25.008 NODES=207	SAT TT=37.132 NODES=777	SAT TT=35.347 CHECKS=22121358 NODES=716	SAT TT=0.107	SAT TT=67.205	SAT TT=9.893	SAT TT=1.11	SAT TT=83.151	Wrong Cert. TT=2.24	SAT TT=1.53	? (TO) TT=1800.09
golombRuler/ golombRulerArity4/ruler-25-8-a4.xml	UNSAT TT=0.497	UNSAT TT=3.743 CHECKS=2243828 NODES=2068	UNSAT TT=2.701 CHECKS=1409274 NODES=1389	UNSAT TT=0.497	UNSAT TT=51.407 NODES=1021	UNSAT TT=68.26 NODES=1661	UNSAT TT=64.11 CHECKS=36558107 NODES=1307	UNSAT TT=42.393	UNSAT TT=124.6	UNSAT TT=168.694	UNSAT TT=1.36	UNSAT TT=146.448	Wrong Cert. TT=2.393	UNSAT TT=3.96	UNSAT TT=1.956
golombRuler/ golombRulerArity4/ruler-34-8-a4.xml	SAT TT=0.067	SAT TT=3.003 CHECKS=1810879 NODES=1998	SAT TT=1.093 CHECKS=148602 NODES=127	SAT TT=0.067	SAT TT=157.329 NODES=462	SAT TT=269.353 NODES=20001	SAT TT=269.034 CHECKS=187021433 NODES=23063	SAT TT=38.794	SAT TT=325.971	? (TO) TT=1800.04	SAT TT=1.098	SAT TT=578.645	Wrong Cert. TT=3.805	SAT TT=5.035	SAT TT=19.338
golombRuler/ golombRulerArity4/ruler-34-9-a4.xml	UNSAT TT=6.655	UNSAT TT=11.873 CHECKS=8656516 NODES=6293	UNSAT TT=9.694 CHECKS=7637427 NODES=4261	UNSAT TT=6.655	UNSAT TT=303.489 NODES=5201	UNSAT TT=438.079 NODES=7519	UNSAT TT=409.747 CHECKS=273529021 NODES=6945	UNSAT TT=1156.14	? (TO) TT=1800.1	? (TO) TT=1800.01	UNSAT TT=12.239	UNSAT TT=1082.59	Wrong Cert. TT=4.703	UNSAT TT=67.534	UNSAT TT=21.307
golombRuler/ golombRulerArity4/ ruler-44-10-a4.xml	UNSAT TT=84.665	UNSAT TT=105.241 CHECKS=85936817 NODES=32570	UNSAT TT=92.866 CHECKS=77802373 NODES=30284	UNSAT TT=84.665	? TT=156.736	? TT=717.711	? (TO) TT=0.005	? (TO) TT=1800.1	? (TO) TT=1800.09	? (MO) TT=0.025	UNSAT TT=110.014	? (TO) TT=1802.19	Wrong Cert. TT=5.368	UNSAT TT=795.298	UNSAT TT=170.592
golombRuler/ golombRulerArity4/ruler-44-9-a4.xml	SAT TT=0.678	SAT TT=71.895 CHECKS=57055093 NODES=44701	SAT TT=3.36 CHECKS=1929830 NODES=1205	SAT TT=0.678	SAT TT=815.007 NODES=15093	SAT TT=1407.34 NODES=87234	SAT TT=1546.26 CHECKS=1094296751 NODES=128046	? (TO) TT=1800.08	? (TO) TT=1800.1	? (MO) TT=0.029	SAT TT=181.37	? (TO) TT=1800.95	Wrong Cert. TT=5.052	SAT TT=45.94	SAT TT=263.474
golombRuler/ golombRulerArity4/ ruler-55-10-a4.xml	SAT TT=7.237	SAT TT=42.241 CHECKS=34764009 NODES=14672	SAT TT=11.116 CHECKS=8354128 NODES=2604	SAT TT=7.237	? TT=13.949	? TT=14.153	? TT=42.514	? (TO) TT=1800.11	? (MO) TT=0	? (MO) TT=0.031	? (TO) TT=1800.06	? (MO) TT=1459.81	Wrong Cert. TT=6.197	SAT TT=145.526	? (TO) TT=1800.02
golombRuler/ golombRulerArity4/ ruler-55-11-a4.xml	UNSAT TT=659.985	UNSAT TT=1079.42 CHECKS=853550393 NODES=172802	UNSAT TT=659.985 CHECKS=536533730 NODES=113643	UNSAT TT=894.657	? TT=17.846	? TT=17.668	? TT=34.489	? (TO) TT=1800.01	? (MO) TT=0	? (MO) TT=0.028	UNSAT TT=1480.11	? (MO) TT=4.052	Wrong Cert. TT=8.028	? (TO) TT=1800.07	? (TO) TT=1800.1
golombRuler/ golombRulerArity4/ ruler-67-11-a4.xml		? (TO) TT=1800.16	? (TO) TT=1800.1	? (TO) TT=1800.05	? TT=45.768	? TT=46.132	? TT=64.897	? (TO) TT=1800.03	? (TO) TT=1800.01	? (MO) TT=0.029	? (TO) TT=1800.06	? (TO) TT=1801.14	Wrong Cert. TT=11.017	? (TO) TT=1800.13	? (TO) TT=1800.02
Bench name	Best results on this instance	Abscon 109 ESAC	Abscon 109 AC	BPrologCSPSolver70a 2006-12-13	CSP4J - Combo 2006-12-19	CSP4J - MAC 2006-12-19	CSP4J - MAC 2007-01-16	CSPtoSAT+minisat 0.3	galac 1	galacJ beta 1	Mistral 2006-12-04	sat4jCSP 1.7 RC BF3	SAT4JCSP-CACHED 1.7 RC BF3	sugar 0.40	Tramontane 2006-12-04
golombRuler/ golombRulerArity4/ ruler-67-12-a4.xml	UNSAT TT=1473.75	? (TO) TT=1800.06	? (TO) TT=1800.05	UNSAT TT=1473.75	? TT=61.997	? TT=61.177	? TT=66.738	? (TO) TT=1800.02	? (TO) TT=1800.04	? (MO) TT=0.027	? (TO) TT=1800.02	? (TO) TT=1801.36	Wrong Cert. TT=13.077	? (TO) TT=1800.19	? (TO) TT=1800.03
golombRuler/ golombRulerArity4/ ruler-70-12-a4.xml		? (TO) TT=1800.09	? (TO) TT=1800.09	? (TO) TT=1800.05	? TT=77.791	? TT=77.817	? TT=62.871	? (TO) TT=1800.08	? (TO) TT=1800.09	? (MO) TT=0.03	? (TO) TT=1800.09	? (TO) TT=1800.22	? (MO) TT=3.172	? (TO) TT=1800.26	? (TO) TT=1800.07
golombRuler/ golombRulerArity4/ ruler-70-13-a4.xml		? (TO) TT=1800.04	? (TO) TT=1800.04	? (TO) TT=1800.06	? TT=87.591	? TT=66.793	? TT=67.247	? (TO) TT=1800.02	? (TO) TT=1800.04	? (problem) TT=20.318	? (TO) TT=1800.1	? (TO) TT=1800.97	? (MO) TT=3.268	? (MO) TT=40.83	? (TO) TT=1800.03
socialGolfers/ socialGolfer-10-4-8.xml		? (TO) TT=1800.09	? (TO) TT=1800.12	? (TO) TT=1800.09	? (TO) TT=1800.07	? (TO) TT=1800.07	? (TO) TT=1800.09	? (TO) TT=1800.18	? (TO) TT=1800.02	? (TO) TT=1800.01	? (TO) TT=1800.05	? (MO) TT=19.465	? (MO) TT=6.145	? (TO) TT=1800.09	? (TO) TT=1800.1
socialGolfers/ socialGolfer-6-3-5.xml	SAT TT=21.23	? (TO) TT=1800.16	SAT TT=1579.13 CHECKS=272847461 NODES=6172588	? (TO) TT=1800.04	? (TO) TT=1800.03	SAT TT=355.971 NODES=71099	SAT TT=1597.05 CHECKS=69135159 NODES=284417	SAT TT=33.635	SAT TT=21.23	? (TO) TT=1800.05	? (TO) TT=1800.02	? (TO) TT=1800.19	? (TO) TT=1800.19	SAT TT=202.12	? (TO) TT=1800.03
socialGolfers/ socialGolfer-6-3-6.xml	SAT TT=3.23	SAT TT=27.423 CHECKS=1804549 NODES=25226	SAT TT=20.21 CHECKS=577050 NODES=9178	? (TO) TT=1800.07	? (TO) TT=1800.05	SAT TT=33.84 NODES=2844	SAT TT=37.139 CHECKS=1871351 NODES=2569	SAT TT=36.621	SAT TT=12.405	SAT TT=127.202	SAT TT=663.302	? (MO) TT=8.314	? (MO) TT=40.761	SAT TT=3.23	SAT TT=4.839
socialGolfers/ socialGolfer-6-3-7.xml	SAT TT=3.421	SAT TT=31.681 CHECKS=11338100 NODES=24029	SAT TT=15.167 CHECKS=4688956 NODES=9400	? (TO) TT=1800.09	? (TO) TT=1800.06	SAT TT=154.407 NODES=2144	SAT TT=158.144 CHECKS=10204474 NODES=2144	SAT TT=118.124	SAT TT=21.123	SAT TT=820.096	SAT TT=25.391	? (MO) TT=9.281	? (MO) TT=10.114	SAT TT=20.32	SAT TT=3.421
socialGolfers/ socialGolfer-6-3-8.xml	SAT TT=8.656	SAT TT=177.511 CHECKS=107778246 NODES=46764	SAT TT=43.49 CHECKS=22176316 NODES=12453	? (TO) TT=1800.03	SAT TT=299.959 NODES=12686	SAT TT=1105.91 NODES=2809	SAT TT=1015.09 CHECKS=235428791 NODES=2809	? (MO) TT=687.404	SAT TT=49.033	? (TO) TT=1800.02	SAT TT=1660.83	? (MO) TT=74.771	? (MO) TT=50.82	SAT TT=9.18	SAT TT=8.656
socialGolfers/ socialGolfer-6-4-5.xml		? (TO) TT=1800.15	? (TO) TT=1800.15	? (TO) TT=1800.05	? (TO) TT=1800.05	? (TO) TT=1800.07	? (TO) TT=1800.04	? (TO) TT=1800.13	? (TO) TT=1800.09	? (TO) TT=1800.09	? (TO) TT=1800.07	? (MO) TT=7.974	? (MO) TT=41.251	? (TO) TT=1800.04	? (TO) TT=1800.06
socialGolfers/ socialGolfer-6-4-6.xml		? (TO) TT=1800.13	? (TO) TT=1800.15	? (TO) TT=1800.04	? (TO) TT=0.003	? (TO) TT=0.005	? (TO) TT=0.005	? (TO) TT=1800.12	? (TO) TT=1800.02	? (TO) TT=1800.01	? (TO) TT=1800.07	? (MO) TT=72.986	? (MO) TT=45.036	? (TO) TT=1800.07	? (TO) TT=1800.06
Bench name	Best results on this instance	Abscon 109 ESAC	Abscon 109 AC	BPrologCSPSolver70a 2006-12-13	CSP4J - Combo 2006-12-19	CSP4J - MAC 2006-12-19	CSP4J - MAC 2007-01-16	CSPtoSAT+minisat 0.3	galac 1	galacJ beta 1	Mistral 2006-12-04	sat4jCSP 1.7 RC BF3	SAT4JCSP-CACHED 1.7 RC BF3	sugar 0.40	Tramontane 2006-12-04
socialGolfers/ socialGolfer-6-4-7.xml	SAT TT=415.484	? (TO) TT=1800.15	? (TO) TT=1800.12	? (TO) TT=1800.11	? (TO) TT=0.005	? (TO) TT=1800.06	? (TO) TT=0.006	? (MO) TT=684.066	SAT TT=415.484	? (TO) TT=1800.04	? (TO) TT=1800.04	? (MO) TT=13.873	? (MO) TT=12.365	? (TO) TT=1800.02	? (TO) TT=1800.09
socialGolfers/ socialGolfer-6-4-8.xml	SAT TT=239.695	SAT TT=372.437 CHECKS=107697022 NODES=60813	SAT TT=239.695 CHECKS=77550261 NODES=37781	? (TO) TT=1800.02	? (TO) TT=1800.09	? (TO) TT=1800.08	Wrong Cert. TT=695.369 CHECKS=6689106 NODES=14098	? (MO) TT=869.664	? (TO) TT=1800.08	? (TO) TT=1800.01	? (TO) TT=1800.08	? (MO) TT=9.779	? (MO) TT=45.202	? (TO) TT=1800.09	SAT TT=960.35
socialGolfers/ socialGolfer-7-4-8.xml		? (TO) TT=1800.08	? (TO) TT=1800.15	? (TO) TT=1800.09	? (TO) TT=1800.06	? (TO) TT=1800.1	? (TO) TT=1800.07	? (MO) TT=1108.78	? (TO) TT=1800	? (TO) TT=1800.01	? (TO) TT=1800.05	? (MO) TT=88.622	? (MO) TT=46.967	? (TO) TT=1800.04	? (TO) TT=1800.05
socialGolfers/ socialGolfer-8-4-8.xml		? (TO) TT=1800.14	? (TO) TT=1800.09	? (TO) TT=1800.07	? (TO) TT=1800.04	? (TO) TT=1800.02	? (TO) TT=1800.07	? (MO) TT=1281.37	? (TO) TT=1800.09	? (TO) TT=1800.01	? (TO) TT=1800.09	? (MO) TT=16.225	? (MO) TT=18.119	? (TO) TT=1800.07	? (TO) TT=1800.09
socialGolfers/ socialGolfer-9-4-8.xml		? (TO) TT=1800.12	? (TO) TT=1800.11	? (TO) TT=1800.09	? (TO) TT=1800.07	? (TO) TT=1800.08	? (TO) TT=1800.04	? (MO) TT=1561.54	? (TO) TT=1800.05	? (TO) TT=1800.06	? (TO) TT=1800.11	? (MO) TT=19.263	? (MO) TT=19.243	? (TO) TT=1800.02	? (TO) TT=1800.1
zhou/ block.xml	UNSAT TT=3.818	UNSAT TT=29.84 CHECKS=7973542 NODES=35219	? (TO) TT=1800.11	UNSAT TT=1353.77	? (TO) TT=1800.08	? (TO) TT=1800.05	? (TO) TT=1800.05	UNSAT TT=75.462	UNSAT TT=18.137	UNSAT TT=28.977	? (problem) TT=0.025	UNSAT TT=135.464	UNSAT TT=6.608	UNSAT TT=3.818	? (problem) TT=0.024
zhou/ pack.xml	SAT TT=99.513	? (TO) TT=1800.09	? (TO) TT=1800.11	SAT TT=1406.96	? TT=38.104	? TT=38.329	? TT=39.667	? (TO) TT=1800.11	? (MO) TT=0.028	? (MO) TT=17.82	? (problem) TT=0.241	? (MO) TT=71.136	? (MO) TT=54.874	SAT TT=99.513	? (problem) TT=0.235
zhou/ radi.xml	SAT TT=5.029	SAT TT=42.684 CHECKS=53340313 NODES=5266	SAT TT=76.749 CHECKS=88967625 NODES=7782	SAT TT=5.029	SAT TT=371.018 NODES=167	SAT TT=224.205 NODES=110	SAT TT=188.819 CHECKS=103976663 NODES=107	SAT TT=5.536	? (problem) TT=162.671	? (problem) TT=163.991	Signal TT=0.041	? (MO) TT=63.368	? (MO) TT=45.243	? TT=0.468	Signal TT=0.038
zhou/ schur.xml	SAT TT=2.071	SAT TT=2.071 CHECKS=43745 NODES=360	SAT TT=3.41 CHECKS=654148 NODES=2464	SAT TT=17.132	SAT TT=8.986 NODES=275	SAT TT=17.402 NODES=1566	SAT TT=14.393 CHECKS=2055628 NODES=1566	SAT TT=74.929	SAT TT=159.244	SAT TT=142.931	? (problem) TT=0.292	? (MO) TT=7.073	? (MO) TT=2.971	SAT TT=6.842	? (problem) TT=0.293

Some statistics...

	Abscon 109 ESAC	Abscon 109 AC	BPrologCSPSolver70a 2006-12-13	CSP4J - Combo 2006-12-19	CSP4J - MAC 2006-12-19	CSP4J - MAC 2007-01-16	CSPtoSAT+minisat 0.3	galac 1	galacJ beta 1	Mistral 2006-12-04	sat4jCSP 1.7 RC BF3	SAT4JCSP-CACHED 1.7 RC BF3	sugar 0.40	Tramontane 2006-12-04
Number of times the solver is able to give the best known answer	68	55	60	47	47	0	45	49	45	50	40	0	56	49
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)	1	2	36	0	0	0	15	2	0	8	1	0	3	8