CSP 2006 Competition (second round): results by benchmark

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

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

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
cril/ cril-0_ext.xml	SAT TT=0.309	SAT TT=1.09 CHECKS=1076 NODES=0	SAT TT=0.988 CHECKS=1429 NODES=142	? (problem) TT=413.843	SAT TT=0.874 NODES=121	SAT TT=0.882 NODES=115	SAT TT=0.893 CHECKS=806 NODES=115	SAT TT=1.036	SAT TT=3.048	SAT TT=2.98	SAT TT=0.309	SAT TT=4.489	SAT TT=4.432	? TT=47.36	SAT TT=0.323
cril/ cril-6_ext.xml	UNSAT TT=0.961	UNSAT TT=27.747 CHECKS=26721736 NODES=379811	UNSAT TT=26.436 CHECKS=25274074 NODES=342436	? (TO) TT=1800.03	UNSAT TT=189.737 NODES=996967	UNSAT TT=68.906 NODES=381587	UNSAT TT=62.968 CHECKS=18381 NODES=373460	UNSAT TT=28.359	UNSAT TT=1.015	UNSAT TT=0.961	UNSAT TT=25.658	UNSAT TT=10.886	UNSAT TT=10.162	? (TO) TT=1800.04	UNSAT TT=2.051
cril/ cril-7.ext.xml	UNSAT TT=0.952	UNSAT TT=41.816 CHECKS=46151938 NODES=565822	UNSAT TT=55.81 CHECKS=58004485 NODES=702678	? (TO) TT=1800.1	UNSAT TT=228.851 NODES=1200998	UNSAT TT=114.176 NODES=769051	UNSAT TT=81.743 CHECKS=18506 NODES=555867	UNSAT TT=17.229	UNSAT TT=1.018	UNSAT TT=0.952	UNSAT TT=30.078	UNSAT TT=31.705	UNSAT TT=32.739	UNSAT TT=424.78	UNSAT TT=14.269
dimacs/aim-100/ aim-100-1-6-sat-1_ext.xml	SAT TT=0.022	SAT TT=0.799 CHECKS=1466 NODES=314	SAT TT=0.792 CHECKS=1128 NODES=293	? (TO) TT=1800.02	SAT TT=0.445 NODES=286	SAT TT=0.407 NODES=210	SAT TT=0.417 CHECKS=3201 NODES=210	SAT TT=0.022	SAT TT=1.075	SAT TT=1.118	SAT TT=0.023	SAT TT=0.8	SAT TT=0.901	SAT TT=0.85	SAT TT=0.022
dimacs/aim-100/ aim-100-1-6-sat-2_ext.xml	SAT TT=0.024	SAT TT=0.84 CHECKS=2014 NODES=499	SAT TT=0.814 CHECKS=2179 NODES=494	? (TO) TT=1800.1	SAT TT=0.445 NODES=246	SAT TT=0.463 NODES=292	SAT TT=0.461 CHECKS=3249 NODES=292	SAT TT=0.024	SAT TT=1.119	SAT TT=1.103	SAT TT=0.033	SAT TT=0.796	SAT TT=0.901	SAT TT=0.054	SAT TT=0.03
dimacs/aim-100/ aim-100-1-6-sat-3_ext.xml	SAT TT=0.022	SAT TT=0.89 CHECKS=5514 NODES=1286	SAT TT=0.81 CHECKS=2805 NODES=750	? (TO) TT=1800.04	SAT TT=0.794 NODES=3180	SAT TT=0.564 NODES=1062	SAT TT=0.568 CHECKS=3264 NODES=1062	SAT TT=0.022	SAT TT=1.066	SAT TT=1.128	SAT TT=0.026	SAT TT=0.861	SAT TT=0.84	SAT TT=0.699	SAT TT=0.026
dimacs/aim-100/ aim-100-1-6-sat-4_ext.xml	SAT TT=0.022	SAT TT=0.781 CHECKS=1428 NODES=334	SAT TT=0.741 CHECKS=862 NODES=236	? (TO) TT=1800.02	SAT TT=0.465 NODES=336	SAT TT=0.433 NODES=298	SAT TT=0.434 CHECKS=3288 NODES=298	SAT TT=0.022	SAT TT=1.109	SAT TT=1.112	SAT TT=0.028	SAT TT=0.774	SAT TT=0.829	SAT TT=0.053	SAT TT=0.027
dimacs/aim-100/ aim-100-1-6-unsat-1_ext.xml	UNSAT TT=0.024	UNSAT TT=0.971 CHECKS=13933 NODES=2704	UNSAT TT=0.842 CHECKS=4933 NODES=1101	? (TO) TT=1800.08	UNSAT TT=1.638 NODES=5351	UNSAT TT=0.535 NODES=726	UNSAT TT=0.499 CHECKS=3288 NODES=726	UNSAT TT=0.024	UNSAT TT=0.598	UNSAT TT=0.646	UNSAT TT=0.063	UNSAT TT=0.768	UNSAT TT=0.813	UNSAT TT=0.336	UNSAT TT=0.04
dimacs/aim-100/ aim-100-1-6-unsat-2_ext.xml	UNSAT TT=0.024	UNSAT TT=0.816 CHECKS=4927 NODES=715	UNSAT TT=0.836 CHECKS=6353 NODES=1079	? (TO) TT=1800.05	UNSAT TT=0.869 NODES=3196	UNSAT TT=0.934 NODES=3610	UNSAT TT=0.748 CHECKS=3090 NODES=2571	UNSAT TT=0.024	UNSAT TT=0.637	UNSAT TT=0.598	UNSAT TT=0.05	UNSAT TT=0.779	UNSAT TT=0.822	UNSAT TT=0.051	UNSAT TT=0.033
dimacs/aim-100/ aim-100-1-6-unsat-3_ext.xml	UNSAT TT=0.022	UNSAT TT=1.093 CHECKS=31983 NODES=5490	UNSAT TT=1.149 CHECKS=46318 NODES=8164	? (TO) TT=1800.11	UNSAT TT=5.259 NODES=35971	UNSAT TT=3.769 NODES=23362	UNSAT TT=3.273 CHECKS=3162 NODES=23362	UNSAT TT=0.022	UNSAT TT=0.613	UNSAT TT=0.591	UNSAT TT=0.541	UNSAT TT=0.808	UNSAT TT=0.915	UNSAT TT=0.463	UNSAT TT=0.534
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
dimacs/aim-100/ aim-100-1-6-unsat-4_ext.xml	UNSAT TT=0.024	UNSAT TT=0.973 CHECKS=7883 NODES=1928	UNSAT TT=1.008 CHECKS=16786 NODES=4171	? (TO) TT=1800.04	UNSAT TT=1.605 NODES=5398	UNSAT TT=0.851 NODES=2953	UNSAT TT=0.822 CHECKS=3258 NODES=2953	UNSAT TT=0.024	UNSAT TT=0.641	UNSAT TT=0.61	UNSAT TT=0.213	UNSAT TT=0.786	UNSAT TT=0.765	UNSAT TT=0.705	UNSAT TT=0.055
dimacs/aim-100/ aim-100-2-0-sat-1_ext.xml	SAT TT=0.025	SAT TT=0.873 CHECKS=5145 NODES=986	SAT TT=0.901 CHECKS=7353 NODES=1249	SAT TT=1612.91	SAT TT=0.8 NODES=2605	SAT TT=0.503 NODES=539	SAT TT=0.506 CHECKS=4047 NODES=539	SAT TT=0.025	SAT TT=1.162	SAT TT=1.117	SAT TT=0.034	SAT TT=0.884	SAT TT=0.919	SAT TT=0.619	SAT TT=0.029
dimacs/aim-100/ aim-100-2-0-sat-2_ext.xml	SAT TT=0.025	SAT TT=0.889 CHECKS=5876 NODES=1313	SAT TT=1.019 CHECKS=14657 NODES=2377	? (TO) TT=1800.02	SAT TT=0.948 NODES=3288	SAT TT=0.73 NODES=1948	SAT TT=0.737 CHECKS=4098 NODES=1948	SAT TT=0.025	SAT TT=1.105	SAT TT=1.169	SAT TT=0.089	SAT TT=0.836	SAT TT=0.922	SAT TT=0.196	SAT TT=0.039
dimacs/aim-100/ aim-100-2-0-sat-3_ext.xml	SAT TT=0.026	SAT TT=0.804 CHECKS=1222 NODES=260	SAT TT=0.804 CHECKS=2073 NODES=444	SAT TT=655.257	SAT TT=0.529 NODES=499	SAT TT=0.936 NODES=2912	SAT TT=0.87 CHECKS=3969 NODES=2912	SAT TT=0.026	SAT TT=1.108	SAT TT=1.18	SAT TT=0.135	SAT TT=0.906	SAT TT=0.906	SAT TT=0.185	SAT TT=0.093
dimacs/aim-100/ aim-100-2-0-sat-4_ext.xml	SAT TT=0.022	SAT TT=0.845 CHECKS=3749 NODES=893	SAT TT=0.821 CHECKS=4274 NODES=692	SAT TT=720.555	SAT TT=0.628 NODES=836	SAT TT=0.664 NODES=1274	SAT TT=0.671 CHECKS=4083 NODES=1274	SAT TT=0.022	SAT TT=1.114	SAT TT=1.111	SAT TT=0.033	SAT TT=0.821	SAT TT=0.84	SAT TT=0.855	SAT TT=0.027
dimacs/aim-100/ aim-100-2-0-unsat-1_ext.xml	UNSAT TT=0.022	UNSAT TT=0.755 CHECKS=749 NODES=103	UNSAT TT=0.738 CHECKS=506 NODES=86	? (TO) TT=1800.09	UNSAT TT=0.46 NODES=174	UNSAT TT=0.465 NODES=123	UNSAT TT=0.433 CHECKS=4104 NODES=123	UNSAT TT=0.025	UNSAT TT=0.663	UNSAT TT=0.647	UNSAT TT=0.028	UNSAT TT=0.806	UNSAT TT=0.849	UNSAT TT=0.769	UNSAT TT=0.022
dimacs/aim-100/ aim-100-2-0-unsat-2_ext.xml	UNSAT TT=0.025	UNSAT TT=0.847 CHECKS=2768 NODES=697	UNSAT TT=0.83 CHECKS=3321 NODES=696	? (TO) TT=1800.07	UNSAT TT=0.847 NODES=2960	UNSAT TT=0.526 NODES=578	UNSAT TT=0.526 CHECKS=4011 NODES=578	UNSAT TT=0.025	UNSAT TT=0.63	UNSAT TT=0.625	UNSAT TT=0.048	UNSAT TT=0.848	UNSAT TT=0.832	UNSAT TT=0.73	UNSAT TT=0.041
dimacs/aim-100/ aim-100-2-0-unsat-3_ext.xml	UNSAT TT=0.026	UNSAT TT=0.825 CHECKS=1890 NODES=415	UNSAT TT=0.77 CHECKS=1267 NODES=294	? (TO) TT=1800.07	UNSAT TT=0.79 NODES=2523	UNSAT TT=0.497 NODES=345	UNSAT TT=0.484 CHECKS=4008 NODES=345	UNSAT TT=0.026	UNSAT TT=0.622	UNSAT TT=0.637	UNSAT TT=0.047	UNSAT TT=0.787	UNSAT TT=0.889	UNSAT TT=0.782	UNSAT TT=0.026
dimacs/aim-100/ aim-100-2-0-unsat-4_ext.xml	UNSAT TT=0.026	UNSAT TT=0.812 CHECKS=2070 NODES=412	UNSAT TT=0.786 CHECKS=1770 NODES=416	? (TO) TT=1800.1	UNSAT TT=0.781 NODES=1198	UNSAT TT=0.499 NODES=472	UNSAT TT=0.511 CHECKS=3984 NODES=472	UNSAT TT=0.026	UNSAT TT=0.628	UNSAT TT=0.644	UNSAT TT=0.047	UNSAT TT=0.796	UNSAT TT=0.795	UNSAT TT=0.472	UNSAT TT=0.03
dimacs/aim-100/ aim-100-3-4-sat-1_ext.xml	SAT TT=0.037	SAT TT=0.878 CHECKS=4871 NODES=488	SAT TT=0.894 CHECKS=5744 NODES=652	SAT TT=0.142	SAT TT=0.841 NODES=838	SAT TT=0.647 NODES=475	SAT TT=0.595 CHECKS=6645 NODES=475	SAT TT=0.037	SAT TT=1.242	SAT TT=1.303	SAT TT=0.061	SAT TT=1.062	SAT TT=1.058	SAT TT=0.95	SAT TT=0.044
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
dimacs/aim-100/ aim-100-3-4-sat-2_ext.xml	SAT TT=0.032	SAT TT=0.924 CHECKS=7008 NODES=621	SAT TT=0.867 CHECKS=4774 NODES=547	SAT TT=2.432	SAT TT=0.834 NODES=1985	SAT TT=0.537 NODES=311	SAT TT=0.553 CHECKS=6519 NODES=311	SAT TT=0.034	SAT TT=1.306	SAT TT=1.286	SAT TT=0.032	SAT TT=1.068	SAT TT=1.123	SAT TT=0.98	SAT TT=0.039
dimacs/aim-100/ aim-100-3-4-sat-3_ext.xml	SAT TT=0.032	SAT TT=0.88 CHECKS=5360 NODES=526	SAT TT=0.893 CHECKS=5759 NODES=575	SAT TT=0.814	SAT TT=0.785 NODES=819	SAT TT=0.502 NODES=197	SAT TT=0.544 CHECKS=6471 NODES=197	SAT TT=0.032	SAT TT=1.269	SAT TT=1.299	SAT TT=0.038	SAT TT=1.08	SAT TT=1.146	SAT TT=0.93	SAT TT=0.044
dimacs/aim-100/ aim-100-3-4-sat-4_ext.xml	SAT TT=0.031	SAT TT=0.957 CHECKS=6310 NODES=647	SAT TT=0.928 CHECKS=8776 NODES=929	SAT TT=5.522	SAT TT=0.945 NODES=2340	SAT TT=0.725 NODES=906	SAT TT=0.768 CHECKS=6576 NODES=906	SAT TT=0.031	SAT TT=1.318	SAT TT=1.326	SAT TT=0.045	SAT TT=1.154	SAT TT=1.107	SAT TT=0.98	SAT TT=0.042
dimacs/aim-100/ aim-100-6-0-sat-1_ext.xml	SAT TT=0.041	SAT TT=0.874 CHECKS=2518 NODES=0	SAT TT=0.928 CHECKS=3597 NODES=188	SAT TT=0.058	SAT TT=0.601 NODES=185	SAT TT=0.578 NODES=151	SAT TT=0.594 CHECKS=11574 NODES=151	SAT TT=0.044	SAT TT=1.408	SAT TT=1.352	SAT TT=0.042	SAT TT=1.197	SAT TT=1.163	SAT TT=1.08	SAT TT=0.041
dimacs/aim-100/ aim-100-6-0-sat-2_ext.xml	SAT TT=0.043	SAT TT=0.905 CHECKS=5472 NODES=242	SAT TT=0.877 CHECKS=2612 NODES=148	SAT TT=0.112	SAT TT=0.727 NODES=326	SAT TT=0.66 NODES=291	SAT TT=0.676 CHECKS=11601 NODES=291	SAT TT=0.043	SAT TT=1.416	SAT TT=1.348	SAT TT=0.049	SAT TT=1.222	SAT TT=1.191	SAT TT=1.04	SAT TT=0.051
dimacs/aim-100/ aim-100-6-0-sat-3_ext.xml	SAT TT=0.041	SAT TT=0.875 CHECKS=3713 NODES=0	SAT TT=0.908 CHECKS=4435 NODES=247	SAT TT=0.257	SAT TT=0.648 NODES=239	SAT TT=0.657 NODES=213	SAT TT=0.628 CHECKS=11634 NODES=213	SAT TT=0.043	SAT TT=1.445	SAT TT=1.379	SAT TT=0.041	SAT TT=1.186	SAT TT=1.209	SAT TT=1.063	SAT TT=0.042
dimacs/aim-100/ aim-100-6-0-sat-4_ext.xml	SAT TT=0.039	SAT TT=0.908 CHECKS=2776 NODES=100	SAT TT=0.861 CHECKS=1285 NODES=100	SAT TT=0.067	SAT TT=0.689 NODES=318	SAT TT=0.611 NODES=166	SAT TT=0.64 CHECKS=11826 NODES=166	SAT TT=0.042	SAT TT=1.392	SAT TT=1.351	SAT TT=0.04	SAT TT=1.198	SAT TT=1.167	SAT TT=1.09	SAT TT=0.039
dimacs/aim-200/ aim-200-1-6-sat-1_ext.xml	SAT TT=0.037	SAT TT=1.092 CHECKS=5473 NODES=1620	SAT TT=0.958 CHECKS=3089 NODES=854	? (TO) TT=1800.09	SAT TT=0.999 NODES=1584	SAT TT=0.945 NODES=2005	SAT TT=0.993 CHECKS=6585 NODES=2005	SAT TT=0.037	SAT TT=1.333	SAT TT=1.266	SAT TT=0.051	SAT TT=1.1	SAT TT=1.191	SAT TT=1.01	SAT TT=0.037
dimacs/aim-200/ aim-200-1-6-sat-2_ext.xml	SAT TT=0.036	SAT TT=1.161 CHECKS=12812 NODES=3165	SAT TT=1.062 CHECKS=8678 NODES=1922	? (TO) TT=1800.06	SAT TT=2.126 NODES=11895	SAT TT=0.81 NODES=1431	SAT TT=0.832 CHECKS=6609 NODES=1431	SAT TT=0.036	SAT TT=1.335	SAT TT=1.364	SAT TT=0.106	SAT TT=1.119	SAT TT=1.168	SAT TT=0.991	SAT TT=0.062
dimacs/aim-200/ aim-200-1-6-sat-3_ext.xml	SAT TT=0.034	SAT TT=1.052 CHECKS=4422 NODES=1371	SAT TT=1.1 CHECKS=9471 NODES=1935	? (TO) TT=1800.11	SAT TT=1.618 NODES=3314	SAT TT=0.962 NODES=2047	SAT TT=1.057 CHECKS=6492 NODES=2047	SAT TT=0.034	SAT TT=1.394	SAT TT=1.368	SAT TT=0.059	SAT TT=1.119	SAT TT=1.162	SAT TT=0.056	SAT TT=0.041
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
dimacs/aim-200/ aim-200-1-6-sat-4_ext.xml	SAT TT=0.033	SAT TT=1.086 CHECKS=8245 NODES=1850	SAT TT=1.184 CHECKS=15898 NODES=3236	? (TO) TT=1800.02	SAT TT=6.661 NODES=48968	SAT TT=1.104 NODES=2749	SAT TT=1.193 CHECKS=6612 NODES=2749	SAT TT=0.033	SAT TT=1.326	SAT TT=1.365	SAT TT=0.078	SAT TT=1.093	SAT TT=1.188	SAT TT=0.39	SAT TT=0.057
dimacs/aim-200/ aim-200-1-6-unsat-1_ext.xml	UNSAT TT=0.034	UNSAT TT=1.45 CHECKS=37233 NODES=6593	UNSAT TT=1.337 CHECKS=35372 NODES=5890	? (TO) TT=1800.08	UNSAT TT=7.069 NODES=45919	UNSAT TT=5.315 NODES=21133	UNSAT TT=5.913 CHECKS=6417 NODES=21133	UNSAT TT=0.034	UNSAT TT=0.811	UNSAT TT=0.748	UNSAT TT=0.677	UNSAT TT=1.083	UNSAT TT=1.095	UNSAT TT=0.841	UNSAT TT=0.152
dimacs/aim-200/ aim-200-1-6-unsat-2_ext.xml	UNSAT TT=0.035	UNSAT TT=3.035 CHECKS=217532 NODES=38365	UNSAT TT=3.501 CHECKS=197619 NODES=38749	? (TO) TT=1800.12	UNSAT TT=10.903 NODES=59761	UNSAT TT=7.563 NODES=35092	UNSAT TT=8.603 CHECKS=6282 NODES=35092	UNSAT TT=0.035	UNSAT TT=0.754	UNSAT TT=0.704	UNSAT TT=2.163	UNSAT TT=1.136	UNSAT TT=2.122	UNSAT TT=0.053	UNSAT TT=0.158
dimacs/aim-200/ aim-200-1-6-unsat-3_ext.xml	UNSAT TT=0.035	UNSAT TT=2.369 CHECKS=128701 NODES=26659	UNSAT TT=1.515 CHECKS=49396 NODES=11021	? (TO) TT=1800.09	UNSAT TT=34.68 NODES=282550	UNSAT TT=79.968 NODES=350696	UNSAT TT=89.178 CHECKS=6426 NODES=350696	UNSAT TT=0.035	UNSAT TT=0.808	UNSAT TT=0.757	UNSAT TT=6.197	UNSAT TT=1.159	UNSAT TT=1.154	UNSAT TT=0.893	UNSAT TT=3.08
dimacs/aim-200/ aim-200-1-6-unsat-4_ext.xml	UNSAT TT=0.034	UNSAT TT=1.001 CHECKS=4089 NODES=1143	UNSAT TT=1.248 CHECKS=25811 NODES=5285	? (TO) TT=1800.04	UNSAT TT=8.058 NODES=47794	UNSAT TT=1.28 NODES=2683	UNSAT TT=1.271 CHECKS=6624 NODES=2683	UNSAT TT=0.034	UNSAT TT=0.774	UNSAT TT=0.733	UNSAT TT=0.16	UNSAT TT=1.016	UNSAT TT=1.079	UNSAT TT=0.488	UNSAT TT=0.075
dimacs/aim-200/ aim-200-2-0-sat-1_ext.xml	SAT TT=0.039	SAT TT=1.638 CHECKS=46903 NODES=8804	SAT TT=3.895 CHECKS=339800 NODES=49250	? (TO) TT=1800.06	SAT TT=17.669 NODES=119693	SAT TT=1.675 NODES=4456	SAT TT=1.812 CHECKS=8058 NODES=4456	SAT TT=0.039	SAT TT=1.443	SAT TT=1.417	SAT TT=5.144	SAT TT=1.369	SAT TT=1.424	SAT TT=0.873	SAT TT=0.238
dimacs/aim-200/ aim-200-2-0-sat-2_ext.xml	SAT TT=0.04	SAT TT=1.437 CHECKS=30181 NODES=5706	SAT TT=1.447 CHECKS=42894 NODES=7126	? (TO) TT=1800.08	SAT TT=9.327 NODES=51698	SAT TT=1.623 NODES=4442	SAT TT=1.843 CHECKS=7956 NODES=4442	SAT TT=0.04	SAT TT=1.378	SAT TT=1.42	SAT TT=0.213	SAT TT=1.184	SAT TT=1.211	SAT TT=1.064	SAT TT=0.188
dimacs/aim-200/ aim-200-2-0-sat-3_ext.xml	SAT TT=0.041	SAT TT=1.204 CHECKS=15684 NODES=2976	SAT TT=1.403 CHECKS=39155 NODES=6427	? (TO) TT=1800.08	SAT TT=2.392 NODES=4781	SAT TT=1.309 NODES=2784	SAT TT=1.369 CHECKS=8076 NODES=2784	SAT TT=0.041	SAT TT=1.458	SAT TT=1.411	SAT TT=0.35	SAT TT=1.24	SAT TT=1.345	SAT TT=0.98	SAT TT=0.073
dimacs/aim-200/ aim-200-2-0-sat-4_ext.xml	SAT TT=0.04	SAT TT=2.152 CHECKS=122547 NODES=18751	SAT TT=2.291 CHECKS=135673 NODES=22187	? (TO) TT=1800.08	SAT TT=36.122 NODES=230037	SAT TT=2.357 NODES=7051	SAT TT=2.687 CHECKS=8109 NODES=7051	SAT TT=0.04	SAT TT=1.36	SAT TT=1.372	SAT TT=6.178	SAT TT=1.256	SAT TT=1.278	SAT TT=0.99	SAT TT=3.019
dimacs/aim-200/ aim-200-2-0-unsat-1_ext.xml	UNSAT TT=0.032	UNSAT TT=1.237 CHECKS=20461 NODES=4264	UNSAT TT=1.302 CHECKS=23640 NODES=4816	? (TO) TT=1800.03	UNSAT TT=2.177 NODES=10241	UNSAT TT=1.228 NODES=2358	UNSAT TT=1.37 CHECKS=8124 NODES=2358	UNSAT TT=0.032	UNSAT TT=0.828	UNSAT TT=0.77	UNSAT TT=0.347	UNSAT TT=1.159	UNSAT TT=1.161	UNSAT TT=0.423	UNSAT TT=0.049
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
dimacs/aim-200/ aim-200-2-0-unsat-2_ext.xml	UNSAT TT=0.036	UNSAT TT=1.04 CHECKS=5387 NODES=1161	UNSAT TT=1.11 CHECKS=10473 NODES=2411	? (TO) TT=1800.05	UNSAT TT=1.607 NODES=5990	UNSAT TT=1.624 NODES=3574	UNSAT TT=1.702 CHECKS=7980 NODES=3574	UNSAT TT=0.036	UNSAT TT=0.768	UNSAT TT=0.744	UNSAT TT=0.15	UNSAT TT=1.171	UNSAT TT=1.139	UNSAT TT=0.914	UNSAT TT=0.062
dimacs/aim-200/ aim-200-2-0-unsat-3_ext.xml	UNSAT TT=0.041	UNSAT TT=0.922 CHECKS=2323 NODES=661	UNSAT TT=0.924 CHECKS=3177 NODES=763	? (TO) TT=1800.08	UNSAT TT=1.795 NODES=3242	UNSAT TT=0.823 NODES=800	UNSAT TT=0.857 CHECKS=8085 NODES=800	UNSAT TT=0.041	UNSAT TT=0.773	UNSAT TT=0.745	UNSAT TT=0.088	UNSAT TT=1.113	UNSAT TT=1.115	UNSAT TT=0.051	UNSAT TT=0.05
dimacs/aim-200/ aim-200-2-0-unsat-4_ext.xml	UNSAT TT=0.035	UNSAT TT=0.939 CHECKS=3011 NODES=883	UNSAT TT=0.928 CHECKS=2877 NODES=775	? (TO) TT=1800.04	UNSAT TT=2.677 NODES=5412	UNSAT TT=0.812 NODES=916	UNSAT TT=0.856 CHECKS=8163 NODES=916	UNSAT TT=0.035	UNSAT TT=0.832	UNSAT TT=0.742	UNSAT TT=0.128	UNSAT TT=1.083	UNSAT TT=1.145	UNSAT TT=0.915	UNSAT TT=0.066
dimacs/aim-200/ aim-200-3-4-sat-1_ext.xml	SAT TT=0.054	SAT TT=1.168 CHECKS=13467 NODES=1493	SAT TT=1.46 CHECKS=50394 NODES=4213	? (TO) TT=1800.07	SAT TT=12.693 NODES=50157	SAT TT=19.496 NODES=36624	SAT TT=19.933 CHECKS=13437 NODES=36624	SAT TT=0.054	SAT TT=1.577	SAT TT=1.545	SAT TT=0.33	SAT TT=1.456	SAT TT=1.507	SAT TT=1.139	SAT TT=0.11
dimacs/aim-200/ aim-200-3-4-sat-2_ext.xml	SAT TT=0.055	SAT TT=1.061 CHECKS=8766 NODES=1095	SAT TT=1.163 CHECKS=18815 NODES=1699	? (TO) TT=1800.09	SAT TT=1.086 NODES=893	SAT TT=1.709 NODES=2062	SAT TT=1.734 CHECKS=13227 NODES=2062	SAT TT=0.055	SAT TT=1.606	SAT TT=1.548	SAT TT=0.204	SAT TT=1.48	SAT TT=1.507	SAT TT=1.11	SAT TT=0.155
dimacs/aim-200/ aim-200-3-4-sat-3_ext.xml	SAT TT=0.06	SAT TT=1.098 CHECKS=12246 NODES=1509	SAT TT=3.266 CHECKS=400611 NODES=22287	SAT TT=950.686	SAT TT=13.964 NODES=60782	SAT TT=165.449 NODES=307194	SAT TT=162.226 CHECKS=13317 NODES=307194	SAT TT=0.06	SAT TT=1.498	SAT TT=1.462	SAT TT=0.202	SAT TT=1.462	SAT TT=1.604	SAT TT=1.02	SAT TT=0.131
dimacs/aim-200/ aim-200-3-4-sat-4_ext.xml	SAT TT=0.05	SAT TT=1.167 CHECKS=14282 NODES=1610	SAT TT=0.992 CHECKS=5972 NODES=707	? (TO) TT=1800.09	SAT TT=5.508 NODES=21021	SAT TT=2.135 NODES=3065	SAT TT=2.302 CHECKS=13371 NODES=3065	SAT TT=0.05	SAT TT=1.583	SAT TT=1.539	SAT TT=1.152	SAT TT=1.442	SAT TT=1.542	SAT TT=1.06	SAT TT=0.13
dimacs/aim-200/ aim-200-6-0-sat-1_ext.xml	SAT TT=0.08	SAT TT=0.98 CHECKS=5789 NODES=0	SAT TT=1.18 CHECKS=17831 NODES=929	SAT TT=76.635	SAT TT=0.928 NODES=433	SAT TT=0.851 NODES=296	SAT TT=0.89 CHECKS=24003 NODES=296	SAT TT=0.08	SAT TT=1.73	SAT TT=1.674	SAT TT=0.155	SAT TT=1.959	SAT TT=2.038	SAT TT=1.126	SAT TT=0.171
dimacs/aim-200/ aim-200-6-0-sat-2_ext.xml	SAT TT=0.092	SAT TT=1.417 CHECKS=34384 NODES=1789	SAT TT=1.05 CHECKS=4286 NODES=315	SAT TT=8.94	SAT TT=2.311 NODES=1548	SAT TT=1.025 NODES=470	SAT TT=1.012 CHECKS=24384 NODES=470	SAT TT=0.092	SAT TT=1.747	SAT TT=1.756	SAT TT=0.1	SAT TT=2.23	SAT TT=2.229	SAT TT=1.14	SAT TT=0.096
dimacs/aim-200/ aim-200-6-0-sat-3_ext.xml	SAT TT=0.075	SAT TT=1.068 CHECKS=6312 NODES=318	SAT TT=1.084 CHECKS=7946 NODES=534	SAT TT=169.993	SAT TT=1.248 NODES=674	SAT TT=0.957 NODES=382	SAT TT=0.92 CHECKS=24024 NODES=382	SAT TT=0.075	SAT TT=1.732	SAT TT=1.73	SAT TT=0.099	SAT TT=2.181	SAT TT=2.051	SAT TT=1.07	SAT TT=0.084
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
dimacs/aim-200/ aim-200-6-0-sat-4_ext.xml	SAT TT=0.085	SAT TT=1.013 CHECKS=5239 NODES=0	SAT TT=1.252 CHECKS=27697 NODES=1447	SAT TT=32.652	SAT TT=1.578 NODES=1009	SAT TT=1.314 NODES=761	SAT TT=1.342 CHECKS=24093 NODES=761	SAT TT=0.085	SAT TT=1.704	SAT TT=1.642	SAT TT=0.117	SAT TT=2.197	SAT TT=2.281	SAT TT=1.256	SAT TT=0.091
dimacs/aim-50/ aim-50-1-6-sat-1_ext.xml	SAT TT=0.018	SAT TT=0.742 CHECKS=1526 NODES=356	SAT TT=0.771 CHECKS=1112 NODES=259	SAT TT=0.1	SAT TT=0.396 NODES=241	SAT TT=0.355 NODES=169	SAT TT=0.355 CHECKS=1608 NODES=169	SAT TT=0.018	SAT TT=0.914	SAT TT=0.918	SAT TT=0.018	SAT TT=0.669	SAT TT=0.672	SAT TT=0.721	SAT TT=0.019
dimacs/aim-50/ aim-50-1-6-sat-2_ext.xml	SAT TT=0.017	SAT TT=0.674 CHECKS=325 NODES=0	SAT TT=0.71 CHECKS=448 NODES=111	SAT TT=4.072	SAT TT=0.353 NODES=94	SAT TT=0.369 NODES=145	SAT TT=0.362 CHECKS=1587 NODES=145	SAT TT=0.018	SAT TT=0.927	SAT TT=0.936	SAT TT=0.017	SAT TT=0.671	SAT TT=0.663	SAT TT=0.602	SAT TT=0.017
dimacs/aim-50/ aim-50-1-6-sat-3_ext.xml	SAT TT=0.016	SAT TT=0.683 CHECKS=259 NODES=0	SAT TT=0.678 CHECKS=773 NODES=158	SAT TT=0.045	SAT TT=0.369 NODES=188	SAT TT=0.37 NODES=324	SAT TT=0.381 CHECKS=1602 NODES=316	SAT TT=0.019	SAT TT=0.933	SAT TT=0.923	SAT TT=0.017	SAT TT=0.671	SAT TT=0.696	SAT TT=0.378	SAT TT=0.016
dimacs/aim-50/ aim-50-1-6-sat-4_ext.xml	SAT TT=0.016	SAT TT=0.679 CHECKS=281 NODES=0	SAT TT=0.758 CHECKS=855 NODES=171	SAT TT=0.832	SAT TT=0.376 NODES=98	SAT TT=0.368 NODES=75	SAT TT=0.329 CHECKS=1578 NODES=75	SAT TT=0.019	SAT TT=0.913	SAT TT=0.939	SAT TT=0.017	SAT TT=0.665	SAT TT=0.68	SAT TT=0.185	SAT TT=0.016
dimacs/aim-50/ aim-50-1-6-unsat-1_ext.xml	UNSAT TT=0.017	UNSAT TT=0.717 CHECKS=480 NODES=39	UNSAT TT=0.653 CHECKS=456 NODES=61	UNSAT TT=3.39	UNSAT TT=0.373 NODES=53	UNSAT TT=0.332 NODES=42	UNSAT TT=0.342 CHECKS=1413 NODES=42	UNSAT TT=0.017	UNSAT TT=0.533	UNSAT TT=0.518	UNSAT TT=0.017	UNSAT TT=0.669	UNSAT TT=0.656	UNSAT TT=0.364	UNSAT TT=0.018
dimacs/aim-50/ aim-50-1-6-unsat-2_ext.xml	UNSAT TT=0.017	UNSAT TT=0.73 CHECKS=1297 NODES=314	UNSAT TT=0.74 CHECKS=1932 NODES=453	UNSAT TT=79.157	UNSAT TT=0.416 NODES=382	UNSAT TT=0.374 NODES=254	UNSAT TT=0.366 CHECKS=1608 NODES=254	UNSAT TT=0.017	UNSAT TT=0.507	UNSAT TT=0.54	UNSAT TT=0.023	UNSAT TT=0.673	UNSAT TT=0.668	UNSAT TT=0.347	UNSAT TT=0.017
dimacs/aim-50/ aim-50-1-6-unsat-3_ext.xml	UNSAT TT=0.016	UNSAT TT=0.696 CHECKS=895 NODES=77	UNSAT TT=0.702 CHECKS=853 NODES=72	UNSAT TT=4.298	UNSAT TT=0.366 NODES=81	UNSAT TT=0.343 NODES=52	UNSAT TT=0.336 CHECKS=1425 NODES=51	UNSAT TT=0.019	UNSAT TT=0.517	UNSAT TT=0.532	UNSAT TT=0.019	UNSAT TT=0.685	UNSAT TT=0.693	UNSAT TT=0.051	UNSAT TT=0.016
dimacs/aim-50/ aim-50-1-6-unsat-4_ext.xml	UNSAT TT=0.017	UNSAT TT=0.749 CHECKS=348 NODES=44	UNSAT TT=0.744 CHECKS=462 NODES=82	UNSAT TT=12.004	UNSAT TT=0.369 NODES=56	UNSAT TT=0.336 NODES=62	UNSAT TT=0.369 CHECKS=1584 NODES=62	UNSAT TT=0.017	UNSAT TT=0.516	UNSAT TT=0.523	UNSAT TT=0.017	UNSAT TT=0.677	UNSAT TT=0.72	UNSAT TT=0.052	UNSAT TT=0.018
dimacs/aim-50/ aim-50-2-0-sat-1_ext.xml	SAT TT=0.018	SAT TT=0.739 CHECKS=1051 NODES=173	SAT TT=0.718 CHECKS=818 NODES=174	SAT TT=0.427	SAT TT=0.363 NODES=107	SAT TT=0.348 NODES=93	SAT TT=0.355 CHECKS=1959 NODES=93	SAT TT=0.019	SAT TT=0.934	SAT TT=0.947	SAT TT=0.019	SAT TT=0.687	SAT TT=0.724	SAT TT=0.049	SAT TT=0.018
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
dimacs/aim-50/ aim-50-2-0-sat-2_ext.xml	SAT TT=0.017	SAT TT=0.752 CHECKS=2471 NODES=399	SAT TT=0.759 CHECKS=2762 NODES=529	SAT TT=0.181	SAT TT=0.383 NODES=155	SAT TT=0.367 NODES=98	SAT TT=0.355 CHECKS=1989 NODES=98	SAT TT=0.021	SAT TT=0.93	SAT TT=0.936	SAT TT=0.019	SAT TT=0.705	SAT TT=0.73	SAT TT=0.742	SAT TT=0.017
dimacs/aim-50/ aim-50-2-0-sat-3_ext.xml	SAT TT=0.017	SAT TT=0.736 CHECKS=844 NODES=182	SAT TT=0.765 CHECKS=661 NODES=147	SAT TT=0.118	SAT TT=0.362 NODES=107	SAT TT=0.364 NODES=167	SAT TT=0.368 CHECKS=2004 NODES=167	SAT TT=0.019	SAT TT=0.956	SAT TT=0.94	SAT TT=0.026	SAT TT=0.715	SAT TT=0.722	SAT TT=0.051	SAT TT=0.017
dimacs/aim-50/ aim-50-2-0-sat-4_ext.xml	SAT TT=0.017	SAT TT=0.742 CHECKS=760 NODES=71	SAT TT=0.694 CHECKS=610 NODES=99	SAT TT=0.106	SAT TT=0.382 NODES=142	SAT TT=0.354 NODES=138	SAT TT=0.393 CHECKS=1941 NODES=138	SAT TT=0.018	SAT TT=0.938	SAT TT=0.965	SAT TT=0.018	SAT TT=0.684	SAT TT=0.69	SAT TT=0.054	SAT TT=0.017
dimacs/aim-50/ aim-50-2-0-unsat-1_ext.xml	UNSAT TT=0.018	UNSAT TT=0.732 CHECKS=1234 NODES=211	UNSAT TT=0.695 CHECKS=707 NODES=140	UNSAT TT=2.169	UNSAT TT=0.391 NODES=152	UNSAT TT=0.363 NODES=127	UNSAT TT=0.367 CHECKS=2028 NODES=127	UNSAT TT=0.018	UNSAT TT=0.539	UNSAT TT=0.529	UNSAT TT=0.023	UNSAT TT=0.686	UNSAT TT=0.694	UNSAT TT=0.595	UNSAT TT=0.019
dimacs/aim-50/ aim-50-2-0-unsat-2_ext.xml	UNSAT TT=0.018	UNSAT TT=0.728 CHECKS=957 NODES=155	UNSAT TT=0.712 CHECKS=639 NODES=123	UNSAT TT=0.607	UNSAT TT=0.395 NODES=88	UNSAT TT=0.365 NODES=80	UNSAT TT=0.378 CHECKS=1956 NODES=80	UNSAT TT=0.018	UNSAT TT=0.588	UNSAT TT=0.545	UNSAT TT=0.018	UNSAT TT=0.661	UNSAT TT=0.723	UNSAT TT=0.657	UNSAT TT=0.021
dimacs/aim-50/ aim-50-2-0-unsat-3_ext.xml	UNSAT TT=0.016	UNSAT TT=0.733 CHECKS=1096 NODES=201	UNSAT TT=0.724 CHECKS=868 NODES=165	UNSAT TT=0.726	UNSAT TT=0.394 NODES=181	UNSAT TT=0.385 NODES=186	UNSAT TT=0.381 CHECKS=1908 NODES=186	UNSAT TT=0.016	UNSAT TT=0.533	UNSAT TT=0.534	UNSAT TT=0.019	UNSAT TT=0.688	UNSAT TT=0.677	UNSAT TT=0.611	UNSAT TT=0.02
dimacs/aim-50/ aim-50-2-0-unsat-4_ext.xml	UNSAT TT=0.017	UNSAT TT=0.729 CHECKS=691 NODES=104	UNSAT TT=0.747 CHECKS=648 NODES=147	UNSAT TT=1.601	UNSAT TT=0.397 NODES=219	UNSAT TT=0.356 NODES=178	UNSAT TT=0.366 CHECKS=1956 NODES=178	UNSAT TT=0.018	UNSAT TT=0.566	UNSAT TT=0.557	UNSAT TT=0.021	UNSAT TT=0.69	UNSAT TT=0.667	UNSAT TT=0.05	UNSAT TT=0.017
dimacs/aim-50/ aim-50-3-4-sat-1_ext.xml	SAT TT=0.019	SAT TT=0.78 CHECKS=1280 NODES=92	SAT TT=0.734 CHECKS=1327 NODES=130	SAT TT=0.034	SAT TT=0.406 NODES=125	SAT TT=0.381 NODES=59	SAT TT=0.419 CHECKS=3237 NODES=59	SAT TT=0.024	SAT TT=1.02	SAT TT=1.059	SAT TT=0.02	SAT TT=0.916	SAT TT=0.901	SAT TT=0.188	SAT TT=0.019
dimacs/aim-50/ aim-50-3-4-sat-2_ext.xml	SAT TT=0.023	SAT TT=0.694 CHECKS=600 NODES=0	SAT TT=0.836 CHECKS=4374 NODES=361	SAT TT=0.043	SAT TT=0.453 NODES=158	SAT TT=0.42 NODES=249	SAT TT=0.463 CHECKS=3354 NODES=249	SAT TT=0.023	SAT TT=1.037	SAT TT=1.044	SAT TT=0.025	SAT TT=0.79	SAT TT=0.8	SAT TT=0.583	SAT TT=0.029
dimacs/aim-50/ aim-50-3-4-sat-3_ext.xml	SAT TT=0.025	SAT TT=0.734 CHECKS=1201 NODES=89	SAT TT=0.732 CHECKS=1057 NODES=108	SAT TT=0.042	SAT TT=0.419 NODES=111	SAT TT=0.414 NODES=215	SAT TT=0.438 CHECKS=3354 NODES=215	SAT TT=0.025	SAT TT=1.033	SAT TT=1.093	SAT TT=0.026	SAT TT=0.756	SAT TT=0.759	SAT TT=0.46	SAT TT=0.03
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
dimacs/aim-50/ aim-50-3-4-sat-4_ext.xml	SAT TT=0.02	SAT TT=0.77 CHECKS=1764 NODES=145	SAT TT=0.71 CHECKS=1053 NODES=78	SAT TT=0.034	SAT TT=0.441 NODES=116	SAT TT=0.409 NODES=126	SAT TT=0.402 CHECKS=3276 NODES=126	SAT TT=0.021	SAT TT=1.037	SAT TT=1.044	SAT TT=0.02	SAT TT=0.792	SAT TT=0.794	SAT TT=0.052	SAT TT=0.02
dimacs/aim-50/ aim-50-6-0-sat-1_ext.xml	SAT TT=0.025	SAT TT=0.79 CHECKS=2143 NODES=0	SAT TT=0.769 CHECKS=1137 NODES=83	SAT TT=0.03	SAT TT=0.457 NODES=65	SAT TT=0.444 NODES=61	SAT TT=0.479 CHECKS=6045 NODES=61	SAT TT=0.029	SAT TT=1.175	SAT TT=1.129	SAT TT=0.026	SAT TT=0.927	SAT TT=0.914	SAT TT=0.059	SAT TT=0.025
dimacs/aim-50/ aim-50-6-0-sat-2_ext.xml	SAT TT=0.025	SAT TT=0.774 CHECKS=1345 NODES=0	SAT TT=0.745 CHECKS=731 NODES=52	SAT TT=0.028	SAT TT=0.455 NODES=77	SAT TT=0.443 NODES=80	SAT TT=0.484 CHECKS=5874 NODES=80	SAT TT=0.028	SAT TT=1.158	SAT TT=1.14	SAT TT=0.025	SAT TT=0.937	SAT TT=0.915	SAT TT=0.794	SAT TT=0.026
dimacs/aim-50/ aim-50-6-0-sat-3_ext.xml	SAT TT=0.026	SAT TT=0.761 CHECKS=626 NODES=0	SAT TT=0.765 CHECKS=1323 NODES=72	SAT TT=0.034	SAT TT=0.449 NODES=65	SAT TT=0.433 NODES=61	SAT TT=0.464 CHECKS=5514 NODES=61	SAT TT=0.027	SAT TT=1.159	SAT TT=1.146	SAT TT=0.027	SAT TT=0.906	SAT TT=0.851	SAT TT=0.92	SAT TT=0.026
dimacs/aim-50/ aim-50-6-0-sat-4_ext.xml	SAT TT=0.025	SAT TT=0.762 CHECKS=1330 NODES=0	SAT TT=0.782 CHECKS=1345 NODES=81	SAT TT=0.033	SAT TT=0.465 NODES=97	SAT TT=0.452 NODES=88	SAT TT=0.454 CHECKS=5640 NODES=88	SAT TT=0.03	SAT TT=1.164	SAT TT=1.135	SAT TT=0.029	SAT TT=0.941	SAT TT=0.919	SAT TT=0.052	SAT TT=0.025
dimacs/dubois/ dubois-100_ext.xml	UNSAT TT=0.12	? (TO) TT=1800.13	? (TO) TT=1800.15	? (TO) TT=1800.09	? (TO) TT=1800.05	? (TO) TT=1800.08	? (TO) TT=1800.1	UNSAT TT=0.12	UNSAT TT=1.053	UNSAT TT=0.984	? (TO) TT=1800.06	? (TO) TT=1800.17	? (TO) TT=1800.18	UNSAT TT=0.93	? (TO) TT=1800.08
dimacs/dubois/ dubois-20_ext.xml	UNSAT TT=0.028	UNSAT TT=0.929 CHECKS=9756 NODES=2298	UNSAT TT=2.157 CHECKS=217183 NODES=39078	UNSAT TT=79.688	UNSAT TT=1612.33 NODES=18548239	UNSAT TT=190.034 NODES=5570120	UNSAT TT=206.38 CHECKS=480 NODES=5570120	UNSAT TT=0.028	UNSAT TT=0.693	UNSAT TT=0.606	UNSAT TT=24.895	UNSAT TT=25.101	UNSAT TT=26.097	UNSAT TT=0.656	UNSAT TT=75.695
dimacs/dubois/ dubois-21_ext.xml	UNSAT TT=0.033	UNSAT TT=5.559 CHECKS=854278 NODES=132363	UNSAT TT=6.34 CHECKS=1135413 NODES=148924	UNSAT TT=149.472	? (TO) TT=1800.1	UNSAT TT=215.014 NODES=6278884	UNSAT TT=242.822 CHECKS=504 NODES=6278884	UNSAT TT=0.033	UNSAT TT=0.699	UNSAT TT=0.616	UNSAT TT=43.46	UNSAT TT=59.203	UNSAT TT=55.385	UNSAT TT=0.06	UNSAT TT=149.849
dimacs/dubois/ dubois-22_ext.xml	UNSAT TT=0.031	UNSAT TT=0.984 CHECKS=29187 NODES=5663	UNSAT TT=2.939 CHECKS=442226 NODES=51313	UNSAT TT=298.151	? (TO) TT=1800.07	UNSAT TT=744.353 NODES=20983279	UNSAT TT=809.969 CHECKS=528 NODES=20983279	UNSAT TT=0.031	UNSAT TT=0.717	UNSAT TT=0.656	UNSAT TT=89.904	UNSAT TT=125.528	UNSAT TT=123.37	UNSAT TT=0.664	UNSAT TT=341.498
dimacs/dubois/ dubois-23_ext.xml	UNSAT TT=0.029	UNSAT TT=7.768 CHECKS=1039809 NODES=207005	UNSAT TT=0.969 CHECKS=14609 NODES=3296	UNSAT TT=640.301	? (TO) TT=1800	UNSAT TT=1737.98 NODES=48409227	? (TO) TT=1800	UNSAT TT=0.029	UNSAT TT=0.667	UNSAT TT=0.658	UNSAT TT=177.412	UNSAT TT=251.855	UNSAT TT=264.582	UNSAT TT=0.72	UNSAT TT=627.722
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
dimacs/dubois/ dubois-24_ext.xml	UNSAT TT=0.033	UNSAT TT=1.146 CHECKS=49402 NODES=7094	UNSAT TT=26.865 CHECKS=5845566 NODES=567739	? (TO) TT=1800.05	? (TO) TT=1800.04	? (TO) TT=1800.01	? (TO) TT=1800.09	UNSAT TT=0.033	UNSAT TT=0.668	UNSAT TT=0.681	UNSAT TT=339.123	? (MO) TT=439.249	? (TO) TT=1800.23	UNSAT TT=0.061	UNSAT TT=1245.96
dimacs/dubois/ dubois-25_ext.xml	UNSAT TT=0.032	UNSAT TT=1.017 CHECKS=32035 NODES=5990	UNSAT TT=1.145 CHECKS=59371 NODES=9032	? (TO) TT=1800.05	? (TO) TT=1800.06	? (TO) TT=1800.01	? (TO) TT=1800.01	UNSAT TT=0.032	UNSAT TT=0.72	UNSAT TT=0.66	UNSAT TT=725.776	? (TO) TT=1800.25	? (MO) TT=433.334	UNSAT TT=0.727	? (TO) TT=1800.05
dimacs/dubois/ dubois-26_ext.xml	UNSAT TT=0.029	UNSAT TT=1.165 CHECKS=43127 NODES=8919	UNSAT TT=28.104 CHECKS=3910446 NODES=696341	? (TO) TT=1800.01	? (TO) TT=1800.09	? (TO) TT=1800.08	? (TO) TT=1800.08	UNSAT TT=0.029	UNSAT TT=0.683	UNSAT TT=0.667	UNSAT TT=1362.06	? (MO) TT=412.404	? (MO) TT=420.472	UNSAT TT=0.3	? (TO) TT=1800.02
dimacs/dubois/ dubois-27_ext.xml	UNSAT TT=0.028	UNSAT TT=4.345 CHECKS=816759 NODES=69253	UNSAT TT=1.196 CHECKS=57312 NODES=10293	? (TO) TT=1800.04	? (TO) TT=1800.08	? (TO) TT=1800.04	? (TO) TT=1800.04	UNSAT TT=0.028	UNSAT TT=0.807	UNSAT TT=0.645	? (TO) TT=1800.01	? (MO) TT=394.876	? (MO) TT=414.131	UNSAT TT=0.061	? (TO) TT=1800.07
dimacs/dubois/ dubois-28_ext.xml	UNSAT TT=0.035	UNSAT TT=1.084 CHECKS=40961 NODES=6142	UNSAT TT=48.338 CHECKS=7927593 NODES=1037268	? (TO) TT=1800.06	? (TO) TT=1800.03	? (TO) TT=1800.14	? (TO) TT=1800	UNSAT TT=0.035	UNSAT TT=0.72	UNSAT TT=0.657	? (TO) TT=1800.07	? (TO) TT=1800.23	? (TO) TT=1800.19	UNSAT TT=0.47	? (TO) TT=1800.05
dimacs/dubois/ dubois-29_ext.xml	UNSAT TT=0.038	UNSAT TT=6.138 CHECKS=1001238 NODES=115878	UNSAT TT=1.408 CHECKS=61488 NODES=12782	? (TO) TT=1800.03	? (TO) TT=1800.08	? (TO) TT=1800	? (TO) TT=1800.04	UNSAT TT=0.038	UNSAT TT=0.735	UNSAT TT=0.687	? (TO) TT=1800.06	? (MO) TT=396.922	? (MO) TT=412.415	UNSAT TT=0.771	? (TO) TT=1800.08
dimacs/dubois/ dubois-30_ext.xml	UNSAT TT=0.036	UNSAT TT=2.887 CHECKS=509013 NODES=38395	UNSAT TT=1.438 CHECKS=66987 NODES=13379	? (TO) TT=1800.08	? (TO) TT=1800.02	? (TO) TT=1800.07	? (TO) TT=1800.07	UNSAT TT=0.036	UNSAT TT=0.739	UNSAT TT=0.67	? (TO) TT=1800.06	? (MO) TT=419.096	? (MO) TT=405.648	UNSAT TT=0.728	? (TO) TT=1800.1
dimacs/dubois/ dubois-50_ext.xml	UNSAT TT=0.056	UNSAT TT=12.44 CHECKS=1279940 NODES=181834	? (TO) TT=1800.23	? (TO) TT=1800.02	? (TO) TT=1800	? (TO) TT=1800.08	? (TO) TT=1800.01	UNSAT TT=0.056	UNSAT TT=0.837	UNSAT TT=0.787	? (TO) TT=1800.05	? (MO) TT=477.066	? (MO) TT=445.174	UNSAT TT=0.576	? (TO) TT=1800.09
dimacs/ jnhSat/ jnh01_ext.xml	SAT TT=0.077	SAT TT=1.226 CHECKS=10557 NODES=556	SAT TT=1.068 CHECKS=8164 NODES=544	SAT TT=0.612	SAT TT=2.39 NODES=360	SAT TT=1.672 NODES=175	SAT TT=1.729 CHECKS=12639 NODES=185	SAT TT=0.077	SAT TT=6	SAT TT=5.649	SAT TT=0.188	SAT TT=2.014	SAT TT=2.175	SAT TT=1.163	SAT TT=0.32
dimacs/ jnhSat/ jnh07_ext.xml	SAT TT=0.068	SAT TT=1.024 CHECKS=6220 NODES=263	SAT TT=1.017 CHECKS=5057 NODES=266	SAT TT=0.068	SAT TT=1.589 NODES=176	SAT TT=1.495 NODES=186	SAT TT=1.541 CHECKS=10474 NODES=186	SAT TT=0.073	SAT TT=5.104	SAT TT=4.702	SAT TT=0.169	SAT TT=1.876	SAT TT=1.899	SAT TT=1.15	SAT TT=0.281
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
dimacs/ jnhSat/ jnh12_ext.xml	SAT TT=0.075	SAT TT=0.964 CHECKS=4196 NODES=0	SAT TT=1.065 CHECKS=3789 NODES=187	SAT TT=0.075	SAT TT=1.527 NODES=143	SAT TT=1.385 NODES=134	SAT TT=1.416 CHECKS=10544 NODES=134	SAT TT=0.075	SAT TT=5.214	SAT TT=4.887	SAT TT=0.132	SAT TT=1.824	SAT TT=1.852	SAT TT=1.07	SAT TT=0.137
dimacs/ jnhSat/ jnh17_ext.xml	SAT TT=0.07	SAT TT=1.13 CHECKS=5310 NODES=214	SAT TT=0.983 CHECKS=3999 NODES=210	SAT TT=0.106	SAT TT=1.497 NODES=130	SAT TT=1.388 NODES=178	SAT TT=1.504 CHECKS=10351 NODES=178	SAT TT=0.07	SAT TT=5.095	SAT TT=4.813	SAT TT=0.161	SAT TT=1.818	SAT TT=2.012	SAT TT=1.083	SAT TT=0.137
dimacs/ jnhSat/ jnh201_ext.xml	SAT TT=0.073	SAT TT=1.127 CHECKS=6194 NODES=280	SAT TT=0.992 CHECKS=4684 NODES=263	SAT TT=0.174	SAT TT=1.578 NODES=120	SAT TT=1.495 NODES=173	SAT TT=1.541 CHECKS=12048 NODES=173	SAT TT=0.073	SAT TT=5.801	SAT TT=5.568	SAT TT=0.081	SAT TT=1.867	SAT TT=1.988	SAT TT=1.15	SAT TT=0.083
dimacs/ jnhSat/ jnh204_ext.xml	SAT TT=0.071	SAT TT=1.285 CHECKS=16272 NODES=723	SAT TT=1.355 CHECKS=20721 NODES=918	SAT TT=0.674	SAT TT=2.977 NODES=693	SAT TT=1.8 NODES=309	SAT TT=1.86 CHECKS=14154 NODES=309	SAT TT=0.071	SAT TT=4.928	SAT TT=4.731	SAT TT=0.674	SAT TT=1.999	SAT TT=2.206	SAT TT=1.13	SAT TT=0.298
dimacs/ jnhSat/ jnh205_ext.xml	SAT TT=0.08	SAT TT=1.144 CHECKS=10992 NODES=418	SAT TT=1.19 CHECKS=12898 NODES=598	SAT TT=1.25	SAT TT=1.391 NODES=153	SAT TT=1.328 NODES=154	SAT TT=1.459 CHECKS=10711 NODES=157	SAT TT=0.08	SAT TT=5.054	SAT TT=4.769	SAT TT=0.186	SAT TT=2.034	SAT TT=2.151	SAT TT=1.06	SAT TT=0.109
dimacs/ jnhSat/ jnh207_ext.xml	SAT TT=0.072	SAT TT=0.923 CHECKS=1937 NODES=0	SAT TT=1.22 CHECKS=18725 NODES=833	SAT TT=0.218	SAT TT=1.599 NODES=181	SAT TT=1.752 NODES=304	SAT TT=1.958 CHECKS=13575 NODES=304	SAT TT=0.072	SAT TT=4.982	SAT TT=4.748	SAT TT=0.266	SAT TT=2.032	SAT TT=2.122	SAT TT=1.246	SAT TT=0.659
dimacs/ jnhSat/ jnh209_ext.xml	SAT TT=0.071	SAT TT=1.13 CHECKS=13795 NODES=656	SAT TT=1.126 CHECKS=11016 NODES=455	SAT TT=0.23	SAT TT=1.485 NODES=175	SAT TT=1.458 NODES=183	SAT TT=1.523 CHECKS=14769 NODES=183	SAT TT=0.071	SAT TT=4.732	SAT TT=4.452	SAT TT=0.165	SAT TT=1.931	SAT TT=1.911	SAT TT=1.06	SAT TT=0.304
dimacs/ jnhSat/ jnh210_ext.xml	SAT TT=0.057	SAT TT=1.073 CHECKS=8646 NODES=379	SAT TT=1 CHECKS=4510 NODES=251	SAT TT=0.057	SAT TT=1.593 NODES=202	SAT TT=1.301 NODES=165	SAT TT=1.424 CHECKS=10441 NODES=167	SAT TT=0.07	SAT TT=4.966	SAT TT=4.603	SAT TT=0.14	SAT TT=1.74	SAT TT=1.807	SAT TT=1.259	SAT TT=0.127
dimacs/ jnhSat/ jnh212_ext.xml	SAT TT=0.069	SAT TT=1.425 CHECKS=19154 NODES=888	SAT TT=1.191 CHECKS=13875 NODES=729	SAT TT=1.607	SAT TT=1.856 NODES=299	SAT TT=3.018 NODES=689	SAT TT=2.756 CHECKS=14892 NODES=563	SAT TT=0.069	SAT TT=4.962	SAT TT=4.774	SAT TT=0.636	SAT TT=1.962	SAT TT=2.031	SAT TT=1.315	SAT TT=1.109
dimacs/ jnhSat/ jnh213_ext.xml	SAT TT=0.07	SAT TT=1.186 CHECKS=4923 NODES=235	SAT TT=0.984 CHECKS=3456 NODES=251	SAT TT=0.279	SAT TT=1.3 NODES=124	SAT TT=1.138 NODES=114	SAT TT=1.272 CHECKS=9486 NODES=114	SAT TT=0.07	SAT TT=4.977	SAT TT=4.663	SAT TT=0.137	SAT TT=1.715	SAT TT=1.868	SAT TT=1.273	SAT TT=0.153
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
dimacs/ jnhSat/ jnh217_ext.xml	SAT TT=0.07	SAT TT=1.074 CHECKS=8456 NODES=421	SAT TT=1.017 CHECKS=5522 NODES=311	SAT TT=0.084	SAT TT=1.459 NODES=150	SAT TT=1.785 NODES=333	SAT TT=2.465 CHECKS=14979 NODES=464	SAT TT=0.07	SAT TT=4.93	SAT TT=4.656	SAT TT=0.093	SAT TT=1.786	SAT TT=1.898	SAT TT=1.273	SAT TT=0.093
dimacs/ jnhSat/ jnh218_ext.xml	SAT TT=0.073	SAT TT=1.144 CHECKS=4554 NODES=161	SAT TT=0.939 CHECKS=3996 NODES=209	SAT TT=0.165	SAT TT=1.41 NODES=141	SAT TT=1.363 NODES=183	SAT TT=1.422 CHECKS=9601 NODES=184	SAT TT=0.073	SAT TT=4.946	SAT TT=4.768	SAT TT=0.205	SAT TT=1.803	SAT TT=1.888	SAT TT=1.12	SAT TT=0.161
dimacs/ jnhSat/ jnh220_ext.xml	SAT TT=0.07	SAT TT=1.484 CHECKS=25251 NODES=1180	SAT TT=1.267 CHECKS=22355 NODES=922	SAT TT=0.834	SAT TT=2.293 NODES=426	SAT TT=2.907 NODES=678	SAT TT=3.163 CHECKS=14223 NODES=678	SAT TT=0.07	SAT TT=4.951	SAT TT=4.754	SAT TT=0.149	SAT TT=2.076	SAT TT=1.918	SAT TT=1.06	SAT TT=0.688
dimacs/ jnhSat/ jnh301_ext.xml	SAT TT=0.074	SAT TT=1.545 CHECKS=40539 NODES=1849	SAT TT=1.471 CHECKS=29761 NODES=1240	SAT TT=0.497	SAT TT=2.521 NODES=338	SAT TT=2.675 NODES=418	SAT TT=2.994 CHECKS=13497 NODES=473	SAT TT=0.074	SAT TT=6.116	SAT TT=5.763	SAT TT=0.296	SAT TT=2.167	SAT TT=2.136	SAT TT=1.2	SAT TT=0.309
dimacs/ jnhUnsat/ jnh02_ext.xml	UNSAT TT=0.073	UNSAT TT=0.984 CHECKS=3128 NODES=0	UNSAT TT=1.003 CHECKS=1637 NODES=63	UNSAT TT=0.141	UNSAT TT=1.47 NODES=25	UNSAT TT=1.238 NODES=8	UNSAT TT=1.295 CHECKS=9786 NODES=8	UNSAT TT=0.073	UNSAT TT=4.625	UNSAT TT=4.094	UNSAT TT=0.111	UNSAT TT=1.815	UNSAT TT=1.822	UNSAT TT=1.131	UNSAT TT=0.114
dimacs/ jnhUnsat/ jnh03_ext.xml	UNSAT TT=0.076	UNSAT TT=1.433 CHECKS=29630 NODES=1371	UNSAT TT=1.353 CHECKS=27738 NODES=1269	UNSAT TT=1.137	UNSAT TT=2.606 NODES=420	UNSAT TT=3.091 NODES=526	UNSAT TT=3.332 CHECKS=13647 NODES=498	UNSAT TT=0.076	UNSAT TT=4.563	UNSAT TT=4.123	UNSAT TT=0.409	UNSAT TT=2.057	UNSAT TT=2.003	UNSAT TT=1.09	UNSAT TT=0.791
dimacs/ jnhUnsat/ jnh04_ext.xml	UNSAT TT=0.075	UNSAT TT=1.206 CHECKS=14478 NODES=730	UNSAT TT=1.105 CHECKS=10914 NODES=528	UNSAT TT=0.5	UNSAT TT=1.895 NODES=150	UNSAT TT=1.778 NODES=172	UNSAT TT=2.11 CHECKS=14823 NODES=194	UNSAT TT=0.075	UNSAT TT=4.457	UNSAT TT=3.972	UNSAT TT=0.22	UNSAT TT=1.874	UNSAT TT=1.873	UNSAT TT=1.17	UNSAT TT=0.346
dimacs/ jnhUnsat/ jnh05_ext.xml	UNSAT TT=0.074	UNSAT TT=1.091 CHECKS=7639 NODES=58	UNSAT TT=0.977 CHECKS=3462 NODES=161	UNSAT TT=1.242	UNSAT TT=1.497 NODES=28	UNSAT TT=1.278 NODES=15	UNSAT TT=1.395 CHECKS=12020 NODES=15	UNSAT TT=0.074	UNSAT TT=4.424	UNSAT TT=3.985	UNSAT TT=0.129	UNSAT TT=1.883	UNSAT TT=1.878	UNSAT TT=1.1	UNSAT TT=0.127
dimacs/ jnhUnsat/ jnh06_ext.xml	UNSAT TT=0.076	UNSAT TT=1.168 CHECKS=12091 NODES=497	UNSAT TT=1.165 CHECKS=11940 NODES=436	UNSAT TT=3.214	UNSAT TT=2.022 NODES=221	UNSAT TT=2.441 NODES=383	UNSAT TT=2.754 CHECKS=15867 NODES=365	UNSAT TT=0.076	UNSAT TT=4.342	UNSAT TT=3.912	UNSAT TT=0.246	UNSAT TT=2.012	UNSAT TT=2.107	UNSAT TT=1.11	UNSAT TT=0.378
dimacs/ jnhUnsat/ jnh08_ext.xml	UNSAT TT=0.073	UNSAT TT=1.135 CHECKS=6415 NODES=159	UNSAT TT=0.988 CHECKS=3368 NODES=136	UNSAT TT=0.464	UNSAT TT=1.532 NODES=70	UNSAT TT=1.354 NODES=35	UNSAT TT=1.409 CHECKS=12676 NODES=35	UNSAT TT=0.073	UNSAT TT=4.473	UNSAT TT=4.087	UNSAT TT=0.143	UNSAT TT=1.924	UNSAT TT=1.933	UNSAT TT=1.08	UNSAT TT=0.203
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
dimacs/ jnhUnsat/ jnh09_ext.xml	UNSAT TT=0.07	UNSAT TT=1.141 CHECKS=10209 NODES=443	UNSAT TT=1.122 CHECKS=10370 NODES=550	UNSAT TT=0.484	UNSAT TT=1.779 NODES=132	UNSAT TT=1.512 NODES=94	UNSAT TT=1.739 CHECKS=15268 NODES=110	UNSAT TT=0.07	UNSAT TT=4.339	UNSAT TT=3.814	UNSAT TT=0.146	UNSAT TT=1.801	UNSAT TT=2.003	UNSAT TT=1.08	UNSAT TT=0.139
dimacs/ jnhUnsat/ jnh10_ext.xml	UNSAT TT=0.07	UNSAT TT=0.993 CHECKS=4459 NODES=0	UNSAT TT=0.964 CHECKS=2757 NODES=81	UNSAT TT=0.983	UNSAT TT=1.529 NODES=33	UNSAT TT=1.275 NODES=23	UNSAT TT=1.441 CHECKS=11687 NODES=23	UNSAT TT=0.07	UNSAT TT=4.377	UNSAT TT=3.916	UNSAT TT=0.113	UNSAT TT=1.999	UNSAT TT=1.975	UNSAT TT=1.14	UNSAT TT=0.113
dimacs/ jnhUnsat/ jnh11_ext.xml	UNSAT TT=0.071	UNSAT TT=1.12 CHECKS=8290 NODES=178	UNSAT TT=1.222 CHECKS=12287 NODES=445	UNSAT TT=0.612	UNSAT TT=2.038 NODES=237	UNSAT TT=1.887 NODES=216	UNSAT TT=1.967 CHECKS=16309 NODES=216	UNSAT TT=0.071	UNSAT TT=4.144	UNSAT TT=3.807	UNSAT TT=0.175	UNSAT TT=1.937	UNSAT TT=2.086	UNSAT TT=1.09	UNSAT TT=0.288
dimacs/ jnhUnsat/ jnh13_ext.xml	UNSAT TT=0.069	UNSAT TT=1.022 CHECKS=4081 NODES=82	UNSAT TT=0.979 CHECKS=1885 NODES=91	UNSAT TT=0.182	UNSAT TT=1.463 NODES=22	UNSAT TT=1.25 NODES=10	UNSAT TT=1.375 CHECKS=13816 NODES=10	UNSAT TT=0.069	UNSAT TT=4.403	UNSAT TT=3.893	UNSAT TT=0.101	UNSAT TT=1.775	UNSAT TT=1.875	UNSAT TT=1.171	UNSAT TT=0.101
dimacs/ jnhUnsat/ jnh14_ext.xml	UNSAT TT=0.072	UNSAT TT=1.139 CHECKS=10248 NODES=373	UNSAT TT=1.09 CHECKS=9336 NODES=402	UNSAT TT=0.088	UNSAT TT=1.598 NODES=101	UNSAT TT=1.369 NODES=63	UNSAT TT=1.578 CHECKS=15106 NODES=63	UNSAT TT=0.072	UNSAT TT=4.27	UNSAT TT=3.799	UNSAT TT=0.161	UNSAT TT=1.835	UNSAT TT=1.792	UNSAT TT=1.07	UNSAT TT=0.18
dimacs/ jnhUnsat/ jnh15_ext.xml	UNSAT TT=0.067	UNSAT TT=1.112 CHECKS=9868 NODES=241	UNSAT TT=1.145 CHECKS=12768 NODES=548	UNSAT TT=0.95	UNSAT TT=1.721 NODES=135	UNSAT TT=1.469 NODES=86	UNSAT TT=1.577 CHECKS=12940 NODES=83	UNSAT TT=0.067	UNSAT TT=4.384	UNSAT TT=3.937	UNSAT TT=0.2	UNSAT TT=1.891	UNSAT TT=2.089	UNSAT TT=1.1	UNSAT TT=0.207
dimacs/ jnhUnsat/ jnh16_ext.xml	UNSAT TT=0.088	UNSAT TT=2.236 CHECKS=109886 NODES=4212	UNSAT TT=2.329 CHECKS=118797 NODES=4542	UNSAT TT=8.275	UNSAT TT=10.61 NODES=3670	UNSAT TT=13.011 NODES=3930	UNSAT TT=8.907 CHECKS=15922 NODES=1985	UNSAT TT=0.088	UNSAT TT=4.465	UNSAT TT=4.296	UNSAT TT=1.432	UNSAT TT=2.234	UNSAT TT=2.206	UNSAT TT=1.119	UNSAT TT=3.963
dimacs/ jnhUnsat/ jnh18_ext.xml	UNSAT TT=0.074	UNSAT TT=1.183 CHECKS=15859 NODES=732	UNSAT TT=1.211 CHECKS=17029 NODES=884	UNSAT TT=0.631	UNSAT TT=2.228 NODES=297	UNSAT TT=2.13 NODES=306	UNSAT TT=2.313 CHECKS=13913 NODES=277	UNSAT TT=0.074	UNSAT TT=4.54	UNSAT TT=4.11	UNSAT TT=0.252	UNSAT TT=1.935	UNSAT TT=2.112	UNSAT TT=1.08	UNSAT TT=0.512
dimacs/ jnhUnsat/ jnh19_ext.xml	UNSAT TT=0.077	UNSAT TT=1.272 CHECKS=21824 NODES=957	UNSAT TT=1.371 CHECKS=26646 NODES=1050	UNSAT TT=0.196	UNSAT TT=2.462 NODES=338	UNSAT TT=2.772 NODES=414	UNSAT TT=2.584 CHECKS=14574 NODES=351	UNSAT TT=0.077	UNSAT TT=4.328	UNSAT TT=3.868	UNSAT TT=0.308	UNSAT TT=1.877	UNSAT TT=1.955	UNSAT TT=1.01	UNSAT TT=0.289
dimacs/ jnhUnsat/ jnh202_ext.xml	UNSAT TT=0.069	UNSAT TT=0.917 CHECKS=1542 NODES=0	UNSAT TT=0.947 CHECKS=2324 NODES=116	UNSAT TT=0.088	UNSAT TT=1.336 NODES=31	UNSAT TT=1.234 NODES=23	UNSAT TT=1.364 CHECKS=9832 NODES=23	UNSAT TT=0.069	UNSAT TT=4.616	UNSAT TT=4.148	UNSAT TT=0.118	UNSAT TT=1.812	UNSAT TT=1.837	UNSAT TT=1.155	UNSAT TT=0.119
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
dimacs/ jnhUnsat/ jnh203_ext.xml	UNSAT TT=0.071	UNSAT TT=1.148 CHECKS=14786 NODES=657	UNSAT TT=1.087 CHECKS=12278 NODES=511	UNSAT TT=0.64	UNSAT TT=1.574 NODES=79	UNSAT TT=1.316 NODES=65	UNSAT TT=1.517 CHECKS=12802 NODES=65	UNSAT TT=0.071	UNSAT TT=4.26	UNSAT TT=3.868	UNSAT TT=0.162	UNSAT TT=1.828	UNSAT TT=1.925	UNSAT TT=1.147	UNSAT TT=0.173
dimacs/ jnhUnsat/ jnh206_ext.xml	UNSAT TT=0.069	UNSAT TT=1.438 CHECKS=25752 NODES=960	UNSAT TT=1.315 CHECKS=20064 NODES=874	UNSAT TT=0.623	UNSAT TT=1.676 NODES=146	UNSAT TT=1.622 NODES=114	UNSAT TT=1.752 CHECKS=12895 NODES=114	UNSAT TT=0.069	UNSAT TT=4.188	UNSAT TT=3.88	UNSAT TT=0.27	UNSAT TT=1.916	UNSAT TT=1.921	UNSAT TT=1.04	UNSAT TT=0.419
dimacs/ jnhUnsat/ jnh208_ext.xml	UNSAT TT=0.077	UNSAT TT=1.306 CHECKS=14068 NODES=427	UNSAT TT=1.074 CHECKS=12247 NODES=482	UNSAT TT=0.82	UNSAT TT=1.51 NODES=82	UNSAT TT=1.361 NODES=54	UNSAT TT=1.481 CHECKS=11064 NODES=54	UNSAT TT=0.077	UNSAT TT=4.215	UNSAT TT=3.935	UNSAT TT=0.207	UNSAT TT=1.933	UNSAT TT=1.958	UNSAT TT=1.12	UNSAT TT=0.239
dimacs/ jnhUnsat/ jnh20_ext.xml	UNSAT TT=0.073	UNSAT TT=1.105 CHECKS=8436 NODES=276	UNSAT TT=1.082 CHECKS=8670 NODES=352	UNSAT TT=2.109	UNSAT TT=1.692 NODES=96	UNSAT TT=1.433 NODES=71	UNSAT TT=1.624 CHECKS=12241 NODES=71	UNSAT TT=0.073	UNSAT TT=4.382	UNSAT TT=3.985	UNSAT TT=0.215	UNSAT TT=1.932	UNSAT TT=1.97	UNSAT TT=1.182	UNSAT TT=0.19
dimacs/ jnhUnsat/ jnh211_ext.xml	UNSAT TT=0.073	UNSAT TT=1.04 CHECKS=6032 NODES=190	UNSAT TT=1.015 CHECKS=4214 NODES=212	UNSAT TT=0.26	UNSAT TT=1.398 NODES=61	UNSAT TT=1.133 NODES=22	UNSAT TT=1.23 CHECKS=11640 NODES=22	UNSAT TT=0.073	UNSAT TT=4.133	UNSAT TT=3.816	UNSAT TT=0.107	UNSAT TT=1.819	UNSAT TT=1.818	UNSAT TT=1.07	UNSAT TT=0.111
dimacs/ jnhUnsat/ jnh214_ext.xml	UNSAT TT=0.075	UNSAT TT=1.081 CHECKS=6859 NODES=280	UNSAT TT=1.041 CHECKS=7278 NODES=281	UNSAT TT=0.166	UNSAT TT=1.449 NODES=46	UNSAT TT=1.323 NODES=59	UNSAT TT=1.431 CHECKS=13642 NODES=59	UNSAT TT=0.075	UNSAT TT=4.161	UNSAT TT=3.783	UNSAT TT=0.134	UNSAT TT=1.829	UNSAT TT=1.82	UNSAT TT=1.08	UNSAT TT=0.285
dimacs/ jnhUnsat/ jnh215_ext.xml	UNSAT TT=0.069	UNSAT TT=1.184 CHECKS=15654 NODES=611	UNSAT TT=1.106 CHECKS=9625 NODES=516	UNSAT TT=0.136	UNSAT TT=1.85 NODES=199	UNSAT TT=1.597 NODES=147	UNSAT TT=1.787 CHECKS=13548 NODES=147	UNSAT TT=0.069	UNSAT TT=4.112	UNSAT TT=3.764	UNSAT TT=0.162	UNSAT TT=1.806	UNSAT TT=1.91	UNSAT TT=1.04	UNSAT TT=0.169
dimacs/ jnhUnsat/ jnh216_ext.xml	UNSAT TT=0.071	UNSAT TT=1.208 CHECKS=14492 NODES=810	UNSAT TT=1.184 CHECKS=16402 NODES=920	UNSAT TT=2.452	UNSAT TT=1.747 NODES=173	UNSAT TT=1.489 NODES=103	UNSAT TT=1.617 CHECKS=11565 NODES=94	UNSAT TT=0.071	UNSAT TT=4.273	UNSAT TT=3.943	UNSAT TT=0.248	UNSAT TT=1.964	UNSAT TT=2.028	UNSAT TT=1.14	UNSAT TT=0.319
dimacs/ jnhUnsat/ jnh219_ext.xml	UNSAT TT=0.073	UNSAT TT=1.063 CHECKS=6766 NODES=258	UNSAT TT=1.066 CHECKS=4661 NODES=240	UNSAT TT=1.275	UNSAT TT=1.532 NODES=79	UNSAT TT=1.214 NODES=32	UNSAT TT=1.39 CHECKS=13057 NODES=32	UNSAT TT=0.073	UNSAT TT=4.321	UNSAT TT=3.975	UNSAT TT=0.213	UNSAT TT=1.94	UNSAT TT=1.928	UNSAT TT=1.087	UNSAT TT=0.516
dimacs/ jnhUnsat/ jnh302_ext.xml	UNSAT TT=0.053	UNSAT TT=0.899 CHECKS=169 NODES=0	UNSAT TT=0.903 CHECKS=169 NODES=0	UNSAT TT=0.061	UNSAT TT=1.531 NODES=0	UNSAT TT=1.245 NODES=0	UNSAT TT=1.37 CHECKS=0 NODES=0	UNSAT TT=0.082	UNSAT TT=4.717	UNSAT TT=4.209	UNSAT TT=0.1	UNSAT TT=1.852	UNSAT TT=1.865	UNSAT TT=0.053	UNSAT TT=0.096
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
dimacs/ jnhUnsat/ jnh303_ext.xml	UNSAT TT=0.078	UNSAT TT=1.198 CHECKS=16831 NODES=583	UNSAT TT=1.119 CHECKS=14331 NODES=537	UNSAT TT=1.257	UNSAT TT=1.82 NODES=121	UNSAT TT=1.654 NODES=84	UNSAT TT=1.68 CHECKS=15291 NODES=84	UNSAT TT=0.078	UNSAT TT=4.472	UNSAT TT=4.052	UNSAT TT=0.205	UNSAT TT=1.959	UNSAT TT=1.957	UNSAT TT=1.17	UNSAT TT=0.358
dimacs/ jnhUnsat/ jnh304_ext.xml	UNSAT TT=0.082	UNSAT TT=1.032 CHECKS=2933 NODES=0	UNSAT TT=1.065 CHECKS=6740 NODES=237	UNSAT TT=0.382	UNSAT TT=1.726 NODES=75	UNSAT TT=1.543 NODES=75	UNSAT TT=1.661 CHECKS=15006 NODES=75	UNSAT TT=0.084	UNSAT TT=4.582	UNSAT TT=4.072	UNSAT TT=0.082	UNSAT TT=1.862	UNSAT TT=1.878	UNSAT TT=1.19	UNSAT TT=0.082
dimacs/ jnhUnsat/ jnh305_ext.xml	UNSAT TT=0.08	UNSAT TT=1.006 CHECKS=3974 NODES=65	UNSAT TT=1.02 CHECKS=2213 NODES=65	UNSAT TT=0.276	UNSAT TT=1.643 NODES=26	UNSAT TT=1.334 NODES=12	UNSAT TT=1.378 CHECKS=12771 NODES=12	UNSAT TT=0.08	UNSAT TT=4.5	UNSAT TT=4.1	UNSAT TT=0.124	UNSAT TT=1.861	UNSAT TT=1.911	UNSAT TT=1.08	UNSAT TT=0.121
dimacs/ jnhUnsat/ jnh306_ext.xml	UNSAT TT=0.081	UNSAT TT=1.432 CHECKS=29980 NODES=1265	UNSAT TT=1.501 CHECKS=34048 NODES=1471	UNSAT TT=2.094	UNSAT TT=3.599 NODES=586	UNSAT TT=3.282 NODES=608	UNSAT TT=4.131 CHECKS=16267 NODES=628	UNSAT TT=0.081	UNSAT TT=4.488	UNSAT TT=4.187	UNSAT TT=0.74	UNSAT TT=2.073	UNSAT TT=2.053	UNSAT TT=1.13	UNSAT TT=1.333
dimacs/ jnhUnsat/ jnh307_ext.xml	UNSAT TT=0.063	UNSAT TT=0.933 CHECKS=573 NODES=0	UNSAT TT=0.93 CHECKS=580 NODES=33	UNSAT TT=0.063	UNSAT TT=1.476 NODES=26	UNSAT TT=1.228 NODES=2	UNSAT TT=1.387 CHECKS=7867 NODES=2	UNSAT TT=0.074	UNSAT TT=4.349	UNSAT TT=3.827	UNSAT TT=0.096	UNSAT TT=1.847	UNSAT TT=1.993	UNSAT TT=1.13	UNSAT TT=0.097
dimacs/ jnhUnsat/ jnh308_ext.xml	UNSAT TT=0.076	UNSAT TT=1.165 CHECKS=12750 NODES=430	UNSAT TT=1.194 CHECKS=9377 NODES=358	UNSAT TT=1.163	UNSAT TT=1.88 NODES=106	UNSAT TT=1.988 NODES=178	UNSAT TT=2.18 CHECKS=16410 NODES=181	UNSAT TT=0.076	UNSAT TT=4.368	UNSAT TT=3.899	UNSAT TT=0.19	UNSAT TT=2.059	UNSAT TT=1.986	UNSAT TT=1.11	UNSAT TT=0.203
dimacs/ jnhUnsat/ jnh309_ext.xml	UNSAT TT=0.077	UNSAT TT=0.96 CHECKS=2391 NODES=0	UNSAT TT=1.076 CHECKS=4277 NODES=151	UNSAT TT=0.212	UNSAT TT=1.589 NODES=33	UNSAT TT=1.398 NODES=34	UNSAT TT=1.608 CHECKS=11182 NODES=34	UNSAT TT=0.077	UNSAT TT=4.642	UNSAT TT=4.038	UNSAT TT=0.152	UNSAT TT=1.719	UNSAT TT=1.854	UNSAT TT=1.118	UNSAT TT=0.184
dimacs/ jnhUnsat/ jnh310_ext.xml	UNSAT TT=0.068	UNSAT TT=0.903 CHECKS=181 NODES=0	UNSAT TT=0.896 CHECKS=106 NODES=5	UNSAT TT=0.08	UNSAT TT=1.458 NODES=18	UNSAT TT=1.334 NODES=1	UNSAT TT=1.37 CHECKS=14152 NODES=1	UNSAT TT=0.075	UNSAT TT=4.433	UNSAT TT=3.959	UNSAT TT=0.075	UNSAT TT=1.831	UNSAT TT=1.866	UNSAT TT=1.101	UNSAT TT=0.068
dimacs/pret/ pret-150-25_ext.xml	UNSAT TT=0.045	UNSAT TT=13.28 CHECKS=975416 NODES=228595	UNSAT TT=5.937 CHECKS=409888 NODES=92288	? (TO) TT=1800.08	? (TO) TT=1800.03	? (TO) TT=1800.04	? (TO) TT=1800.07	UNSAT TT=0.045	UNSAT TT=0.822	UNSAT TT=0.807	? (TO) TT=1800.02	UNSAT TT=1.598	UNSAT TT=1.514	UNSAT TT=0.59	? (TO) TT=1800.07
dimacs/pret/ pret-150-40_ext.xml	UNSAT TT=0.046	UNSAT TT=640.591 CHECKS=142817109 NODES=8577422	UNSAT TT=29.899 CHECKS=2399469 NODES=460368	? (TO) TT=1800.12	? (TO) TT=1800.07	? (TO) TT=1800	? (TO) TT=1800.04	UNSAT TT=0.046	UNSAT TT=0.822	UNSAT TT=0.77	? (TO) TT=1800.08	UNSAT TT=1.258	UNSAT TT=1.419	UNSAT TT=0.084	? (TO) TT=1800.03
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
dimacs/pret/ pret-150-60_ext.xml	UNSAT TT=0.043	UNSAT TT=12.869 CHECKS=927969 NODES=209630	UNSAT TT=40.014 CHECKS=3085952 NODES=634477	? (TO) TT=1800.1	? (TO) TT=1800.06	? (TO) TT=1800.09	? (TO) TT=1800.06	UNSAT TT=0.043	UNSAT TT=0.85	UNSAT TT=0.813	? (TO) TT=1800.1	UNSAT TT=1.37	UNSAT TT=1.361	UNSAT TT=0.831	? (TO) TT=1800.11
dimacs/pret/ pret-150-75_ext.xml	UNSAT TT=0.046	UNSAT TT=83.726 CHECKS=10301713 NODES=1419745	UNSAT TT=8.828 CHECKS=660753 NODES=151699	? (TO) TT=1800.02	? (TO) TT=1800.06	? (TO) TT=1800.03	? (TO) TT=1800.08	UNSAT TT=0.046	UNSAT TT=0.799	UNSAT TT=0.808	? (TO) TT=1800.06	UNSAT TT=1.485	UNSAT TT=1.46	UNSAT TT=0.078	? (TO) TT=1800.02
dimacs/pret/ pret-60-25_ext.xml	UNSAT TT=0.026	UNSAT TT=2.356 CHECKS=261176 NODES=55150	UNSAT TT=1.291 CHECKS=87725 NODES=15042	UNSAT TT=200.259	UNSAT TT=1219.29 NODES=13785854	UNSAT TT=228.53 NODES=5764099	UNSAT TT=236.847 CHECKS=480 NODES=5764099	UNSAT TT=0.026	UNSAT TT=0.708	UNSAT TT=0.626	UNSAT TT=31.448	UNSAT TT=1.099	UNSAT TT=1.125	UNSAT TT=0.06	UNSAT TT=114.964
dimacs/pret/ pret-60-40_ext.xml	UNSAT TT=0.024	UNSAT TT=1.381 CHECKS=99112 NODES=16006	UNSAT TT=3.036 CHECKS=405547 NODES=65602	UNSAT TT=200.629	UNSAT TT=1528.62 NODES=16753877	UNSAT TT=232.531 NODES=5698327	UNSAT TT=245.817 CHECKS=480 NODES=5698327	UNSAT TT=0.024	UNSAT TT=0.7	UNSAT TT=0.667	UNSAT TT=35.825	UNSAT TT=0.995	UNSAT TT=1.054	UNSAT TT=0.68	UNSAT TT=118.909
dimacs/pret/ pret-60-60_ext.xml	UNSAT TT=0.026	UNSAT TT=1.664 CHECKS=175627 NODES=27054	UNSAT TT=0.982 CHECKS=38578 NODES=5340	UNSAT TT=189.253	UNSAT TT=1521.35 NODES=17662521	UNSAT TT=224.834 NODES=5727566	UNSAT TT=230.477 CHECKS=480 NODES=5727566	UNSAT TT=0.026	UNSAT TT=0.701	UNSAT TT=0.671	UNSAT TT=25.873	UNSAT TT=1.021	UNSAT TT=1.078	UNSAT TT=0.433	UNSAT TT=92.257
dimacs/pret/ pret-60-75_ext.xml	UNSAT TT=0.025	UNSAT TT=1.352 CHECKS=98700 NODES=14083	UNSAT TT=1 CHECKS=33275 NODES=5974	UNSAT TT=190.544	UNSAT TT=1654.49 NODES=19742110	UNSAT TT=235.601 NODES=5713843	UNSAT TT=251.889 CHECKS=480 NODES=5713843	UNSAT TT=0.025	UNSAT TT=0.698	UNSAT TT=0.635	UNSAT TT=24.226	UNSAT TT=1.137	UNSAT TT=1.082	UNSAT TT=0.46	UNSAT TT=89.724
dimacs/ssa/ ssa-0432-003_ext.xml	UNSAT TT=0.058	UNSAT TT=8.507 CHECKS=1651310 NODES=26015	UNSAT TT=14.835 CHECKS=3443275 NODES=46806	? (TO) TT=1800.03	UNSAT TT=27.666 NODES=159645	UNSAT TT=25.661 NODES=43670	UNSAT TT=25.688 CHECKS=6294 NODES=43670	UNSAT TT=0.058	UNSAT TT=1.176	UNSAT TT=1.042	UNSAT TT=0.245	UNSAT TT=2.021	UNSAT TT=1.84	UNSAT TT=1.029	UNSAT TT=0.981
dimacs/ssa/ ssa-2670-130_ext.xml	UNSAT TT=0.18	UNSAT TT=19.92 CHECKS=2911626 NODES=51709	UNSAT TT=49.057 CHECKS=3349424 NODES=62683	? (TO) TT=1800.04	UNSAT TT=446.93 NODES=1136730	UNSAT TT=169.649 NODES=66066	UNSAT TT=185.043 CHECKS=28393 NODES=66066	UNSAT TT=0.18	UNSAT TT=2.201	UNSAT TT=1.832	UNSAT TT=12.318	UNSAT TT=3.544	UNSAT TT=3.117	UNSAT TT=1.54	UNSAT TT=50.474
dimacs/ssa/ ssa-2670-141_ext.xml	SAT TT=0.028	SAT TT=0.825 CHECKS=445 NODES=0	SAT TT=0.861 CHECKS=444 NODES=391	SAT TT=0.033	SAT TT=0.47 NODES=0	SAT TT=0.499 NODES=391	SAT TT=0.552 CHECKS=3286 NODES=391	SAT TT=0.028	SAT TT=1.415	SAT TT=1.442	SAT TT=0.032	SAT TT=1.064	SAT TT=1.138	SAT TT=0.062	SAT TT=0.032
dimacs/ssa/ ssa-6288-047_ext.xml	SAT TT=1.495	SAT TT=327.909 CHECKS=280928 NODES=32356	SAT TT=232.096 CHECKS=92468 NODES=13721	SAT TT=1.495	SAT TT=140.538 NODES=12624	SAT TT=167.859 NODES=14628	SAT TT=241.977 CHECKS=392391 NODES=14628	SAT TT=2.987	SAT TT=252.319	SAT TT=259.362	SAT TT=46.306	SAT TT=8.527	SAT TT=8.692	SAT TT=8.73	SAT TT=62.329
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
dimacs/ssa/ ssa-7552-038_ext.xml	SAT TT=0.182	SAT TT=1.768 CHECKS=20657 NODES=0	SAT TT=3.084 CHECKS=30334 NODES=2193	? (TO) TT=1800.08	SAT TT=2.023 NODES=1914	SAT TT=5.309 NODES=4302	SAT TT=6.54 CHECKS=26245 NODES=4302	SAT TT=0.182	SAT TT=4.186	SAT TT=3.836	SAT TT=0.23	SAT TT=3.923	SAT TT=3.541	SAT TT=1.65	SAT TT=0.227
dimacs/ssa/ ssa-7552-158_ext.xml	SAT TT=0.111	SAT TT=1.282 CHECKS=6896 NODES=0	SAT TT=2.156 CHECKS=5678 NODES=1364	SAT TT=0.111	SAT TT=1.401 NODES=1522	SAT TT=1.276 NODES=1365	SAT TT=1.331 CHECKS=17102 NODES=1365	SAT TT=0.138	SAT TT=3.383	SAT TT=3.156	SAT TT=0.177	SAT TT=2.95	SAT TT=3.422	SAT TT=1.52	SAT TT=0.165
dimacs/ssa/ ssa-7552-159_ext.xml	SAT TT=0.117	SAT TT=1.508 CHECKS=10818 NODES=0	SAT TT=2.038 CHECKS=5791 NODES=1366	SAT TT=0.117	SAT TT=1.381 NODES=1488	SAT TT=1.32 NODES=1365	SAT TT=1.307 CHECKS=17854 NODES=1365	SAT TT=0.15	SAT TT=3.443	SAT TT=3.224	SAT TT=0.178	SAT TT=2.94	SAT TT=3.053	SAT TT=1.59	SAT TT=0.176
dimacs/ssa/ ssa-7552-160_ext.xml	SAT TT=0.061	SAT TT=1.005 CHECKS=2310 NODES=0	SAT TT=1.14 CHECKS=2063 NODES=757	SAT TT=0.061	SAT TT=0.703 NODES=0	SAT TT=0.851 NODES=757	SAT TT=0.951 CHECKS=12263 NODES=757	SAT TT=0.072	SAT TT=2.061	SAT TT=1.973	SAT TT=0.073	SAT TT=2.142	SAT TT=2.046	SAT TT=1.07	SAT TT=0.075
dimacs/varDimacs/ bf-0432-007_ext.xml	SAT TT=0.097	SAT TT=1.314 CHECKS=10228 NODES=0	SAT TT=1.615 CHECKS=5681 NODES=970	SAT TT=0.097	SAT TT=1.266 NODES=1248	SAT TT=1.099 NODES=973	SAT TT=1.219 CHECKS=21374 NODES=973	SAT TT=0.133	SAT TT=3.114	SAT TT=2.818	SAT TT=0.153	SAT TT=2.694	SAT TT=2.795	SAT TT=1.36	SAT TT=0.14
dimacs/varDimacs/ bf-1355-075_ext.xml	SAT TT=0.117	SAT TT=1.415 CHECKS=5440 NODES=0	SAT TT=2.493 CHECKS=4850 NODES=1818	SAT TT=0.117	SAT TT=1.426 NODES=2	SAT TT=2.324 NODES=1824	SAT TT=2.536 CHECKS=37032 NODES=1824	SAT TT=0.154	SAT TT=3.963	SAT TT=3.939	SAT TT=0.205	SAT TT=3.037	SAT TT=3.034	SAT TT=1.44	SAT TT=0.204
dimacs/varDimacs/ bf-1355-638_ext.xml	SAT TT=0.039	SAT TT=0.834 CHECKS=1053 NODES=0	SAT TT=0.936 CHECKS=959 NODES=532	SAT TT=0.039	SAT TT=0.557 NODES=0	SAT TT=0.614 NODES=532	SAT TT=0.621 CHECKS=4806 NODES=532	SAT TT=0.043	SAT TT=1.583	SAT TT=1.53	SAT TT=0.042	SAT TT=1.219	SAT TT=1.316	SAT TT=1.07	SAT TT=0.04
dimacs/varDimacs/ bf-2670-001_ext.xml	SAT TT=0.095	SAT TT=1.875 CHECKS=8483 NODES=1244	SAT TT=1.575 CHECKS=3834 NODES=1244	SAT TT=0.095	SAT TT=1.33 NODES=1328	SAT TT=1.154 NODES=1246	SAT TT=1.146 CHECKS=11479 NODES=1246	SAT TT=0.109	SAT TT=2.723	SAT TT=2.59	SAT TT=0.127	SAT TT=2.699	SAT TT=2.646	SAT TT=1.33	SAT TT=0.125
dimacs/ varDimacs/ hole-06_ext.xml	UNSAT TT=0.036	UNSAT TT=1.009 CHECKS=108196 NODES=5410	UNSAT TT=1.035 CHECKS=100362 NODES=4802	UNSAT TT=0.081	UNSAT TT=1.929 NODES=12328	UNSAT TT=0.593 NODES=2221	UNSAT TT=0.647 CHECKS=756 NODES=2221	UNSAT TT=0.036	UNSAT TT=0.598	UNSAT TT=0.646	UNSAT TT=0.04	UNSAT TT=1.159	UNSAT TT=1.089	UNSAT TT=0.307	UNSAT TT=0.102
dimacs/ varDimacs/ hole-07_ext.xml	UNSAT TT=0.1	UNSAT TT=3.478 CHECKS=1103593 NODES=49656	UNSAT TT=3.187 CHECKS=952442 NODES=43028	UNSAT TT=0.725	UNSAT TT=18.108 NODES=120010	UNSAT TT=3.318 NODES=23193	UNSAT TT=4.161 CHECKS=1176 NODES=23193	UNSAT TT=0.1	UNSAT TT=0.715	UNSAT TT=0.791	UNSAT TT=0.226	UNSAT TT=1.174	UNSAT TT=1.293	UNSAT TT=0.428	UNSAT TT=0.924
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
dimacs/ varDimacs/ hole-08_ext.xml	UNSAT TT=0.543	UNSAT TT=23.837 CHECKS=11793676 NODES=472274	UNSAT TT=25.253 CHECKS=12133659 NODES=479455	UNSAT TT=8.748	UNSAT TT=246.378 NODES=1658424	UNSAT TT=40.618 NODES=245999	UNSAT TT=51.725 CHECKS=1728 NODES=245999	UNSAT TT=0.543	UNSAT TT=0.858	UNSAT TT=2.556	UNSAT TT=2.008	UNSAT TT=1.707	UNSAT TT=1.695	UNSAT TT=1.31	UNSAT TT=7.757
dimacs/ varDimacs/ hole-09_ext.xml	UNSAT TT=1.34	UNSAT TT=325.512 CHECKS=152270777 NODES=5540213	UNSAT TT=323.131 CHECKS=143486605 NODES=5382235	UNSAT TT=124.576	? (TO) TT=1800.01	UNSAT TT=541.72 NODES=2720755	UNSAT TT=707.611 CHECKS=2430 NODES=2720755	UNSAT TT=3.53	UNSAT TT=1.34	UNSAT TT=1.51	UNSAT TT=20.411	UNSAT TT=3.866	UNSAT TT=3.96	UNSAT TT=5.13	UNSAT TT=94.737
dimacs/ varDimacs/ hole-10_ext.xml	UNSAT TT=2.544	? (TO) TT=1800.16	? (TO) TT=1800.18	? (TO) TT=1800.11	? (TO) TT=1800.01	? (TO) TT=1800.08	? (TO) TT=1800.09	UNSAT TT=90.164	UNSAT TT=2.544	UNSAT TT=3.373	UNSAT TT=274.076	UNSAT TT=31.001	UNSAT TT=30.481	UNSAT TT=63.08	UNSAT TT=1040.15
random/rand-10-20-10/ rand-10-20-10-5-10000-11_ext.xml	UNSAT TT=12.062	UNSAT TT=12.786 CHECKS=9548040 NODES=11127	UNSAT TT=12.062 CHECKS=9543799 NODES=11127	? (problem) TT=328.922	? TT=0.535	? TT=0.508	? TT=0.546	UNSAT TT=246.633	UNSAT TT=451.221	UNSAT TT=281.375	? (exit code) TT=0.369	? (MO) TT=31.968	? (MO) TT=25.686	? TT=9.24	? (exit code) TT=0.376
random/rand-10-20-10/ rand-10-20-10-5-10000-13_ext.xml	UNSAT TT=3.553	UNSAT TT=3.553 CHECKS=1804002 NODES=11424	UNSAT TT=5.361 CHECKS=3345958 NODES=11443	? (problem) TT=307.548	? TT=0.537	? TT=0.543	? TT=0.519	UNSAT TT=300.952	UNSAT TT=530.522	? (TO) TT=1800.08	? (exit code) TT=0.361	? (MO) TT=25.335	? (MO) TT=24.114	? TT=8.91	? (exit code) TT=0.368
random/rand-10-20-10/ rand-10-20-10-5-10000-15_ext.xml	UNSAT TT=4.083	UNSAT TT=4.083 CHECKS=2143280 NODES=11127	UNSAT TT=4.105 CHECKS=2094662 NODES=11128	? (problem) TT=302.311	? TT=0.501	? TT=0.503	? TT=0.52	UNSAT TT=282.566	UNSAT TT=536.933	UNSAT TT=904.177	? (exit code) TT=0.373	? (MO) TT=25.557	? (MO) TT=24.581	? TT=8.81	? (exit code) TT=0.386
random/rand-10-20-10/ rand-10-20-10-5-10000-17_ext.xml	UNSAT TT=3.619	UNSAT TT=3.792 CHECKS=2033905 NODES=11129	UNSAT TT=3.619 CHECKS=2025456 NODES=11129	? (problem) TT=313.956	? TT=0.507	? TT=0.524	? TT=0.512	UNSAT TT=234.547	UNSAT TT=513.154	UNSAT TT=463.631	? (exit code) TT=0.363	? (MO) TT=34.466	? (MO) TT=23.918	? TT=9.13	? (exit code) TT=0.367
random/rand-10-20-10/ rand-10-20-10-5-10000-19_ext.xml	UNSAT TT=18.025	UNSAT TT=18.025 CHECKS=15377127 NODES=11127	UNSAT TT=18.477 CHECKS=15365313 NODES=11127	? (problem) TT=313.355	? TT=0.554	? TT=0.542	? TT=0.521	UNSAT TT=259.464	UNSAT TT=254.353	UNSAT TT=198.278	? (exit code) TT=0.368	? (MO) TT=24.791	? (MO) TT=24.947	? TT=8.97	? (exit code) TT=0.38
random/rand-10-20-10/ rand-10-20-10-5-10000-1_ext.xml	UNSAT TT=3.363	UNSAT TT=3.363 CHECKS=1763609 NODES=11514	UNSAT TT=22.794 CHECKS=20482683 NODES=11537	? (problem) TT=311.44	? TT=0.508	? TT=0.502	? TT=0.503	UNSAT TT=538.205	UNSAT TT=424.155	UNSAT TT=1248.4	? (exit code) TT=0.375	? (MO) TT=25.926	? (MO) TT=24.812	? TT=9.2	? (exit code) TT=0.371
random/rand-10-20-10/ rand-10-20-10-5-10000-3_ext.xml	UNSAT TT=3.39	UNSAT TT=3.619 CHECKS=1791934 NODES=11132	UNSAT TT=3.39 CHECKS=1790041 NODES=11158	? (problem) TT=302.731	? TT=0.544	? TT=0.548	? TT=0.51	UNSAT TT=430.164	UNSAT TT=348.825	UNSAT TT=816.252	? (exit code) TT=0.373	? (MO) TT=33.61	? (MO) TT=24.448	? TT=8.91	? (exit code) TT=0.381
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
random/rand-10-20-10/ rand-10-20-10-5-10000-5_ext.xml	UNSAT TT=4.946	UNSAT TT=5.149 CHECKS=3268373 NODES=11290	UNSAT TT=4.946 CHECKS=3279333 NODES=11148	? (problem) TT=315.784	? TT=0.536	? TT=0.499	? TT=0.509	UNSAT TT=328.617	UNSAT TT=782.637	UNSAT TT=1283.16	? (exit code) TT=0.336	? (MO) TT=26.57	? (MO) TT=24.063	? TT=8.7	? (exit code) TT=0.379
random/rand-10-20-10/ rand-10-20-10-5-10000-7_ext.xml	UNSAT TT=13.824	UNSAT TT=14.376 CHECKS=11355785 NODES=11155	UNSAT TT=13.824 CHECKS=11343851 NODES=11127	? (problem) TT=315.761	? TT=0.534	? TT=0.517	? TT=0.545	UNSAT TT=134.373	UNSAT TT=311.881	UNSAT TT=563.427	? (exit code) TT=0.365	? (MO) TT=25.522	? (MO) TT=24.182	? TT=9.42	? (exit code) TT=0.375
random/rand-10-20-10/ rand-10-20-10-5-10000-9_ext.xml	UNSAT TT=21.227	UNSAT TT=21.227 CHECKS=18314476 NODES=11223	UNSAT TT=21.808 CHECKS=18356708 NODES=11131	? (problem) TT=315.439	? TT=0.513	? TT=0.537	? TT=0.508	UNSAT TT=328.698	UNSAT TT=328.258	UNSAT TT=901.864	? (exit code) TT=0.339	? (MO) TT=25.241	? (MO) TT=28.598	? TT=9.26	? (exit code) TT=0.378
random/rand-3-20-20-fcd/ rand-3-20-20-60-632-fcd-11_ext.xml	SAT TT=4.625	SAT TT=50.136 CHECKS=39902377 NODES=50726	SAT TT=41.779 CHECKS=34119507 NODES=44346	SAT TT=90.111	SAT TT=43.935 NODES=71428	SAT TT=11.543 NODES=13949	SAT TT=8.533 CHECKS=530091 NODES=14652	? (TO) TT=1800.1	? (TO) TT=1800.1	? (TO) TT=1800.01	SAT TT=4.625	SAT TT=10.325	SAT TT=10.512	? (TO) TT=1800.94	SAT TT=94.478
random/rand-3-20-20-fcd/ rand-3-20-20-60-632-fcd-13_ext.xml	SAT TT=38.279	SAT TT=40.923 CHECKS=31886534 NODES=37411	SAT TT=38.279 CHECKS=31465743 NODES=36829	? (TO) TT=1800.04	SAT TT=219.893 NODES=382578	SAT TT=122.222 NODES=185149	SAT TT=87.321 CHECKS=501370 NODES=183566	? (TO) TT=1800.08	? (TO) TT=1800.05	? (TO) TT=1800.08	SAT TT=51.562	? (TO) TT=1800.15	? (TO) TT=1800.19	? (TO) TT=1800.16	SAT TT=68.032
random/rand-3-20-20-fcd/ rand-3-20-20-60-632-fcd-15_ext.xml	SAT TT=5.655	SAT TT=39.441 CHECKS=34170149 NODES=41841	SAT TT=34.535 CHECKS=27703181 NODES=32804	SAT TT=144.749	SAT TT=262.733 NODES=477055	SAT TT=73.981 NODES=95826	SAT TT=47.421 CHECKS=501277 NODES=96865	? (TO) TT=1800.07	? (TO) TT=1800.09	? (TO) TT=1800.04	SAT TT=15.378	SAT TT=328.076	SAT TT=341.947	? (TO) TT=1800.23	SAT TT=5.655
random/rand-3-20-20-fcd/ rand-3-20-20-60-632-fcd-17_ext.xml	SAT TT=2.229	SAT TT=11.753 CHECKS=9239240 NODES=10548	SAT TT=10.134 CHECKS=8289009 NODES=9653	SAT TT=35.766	SAT TT=54.566 NODES=105663	SAT TT=80.966 NODES=112611	SAT TT=57.13 CHECKS=501237 NODES=115180	? (TO) TT=1800.1	? (TO) TT=1800.08	? (TO) TT=1800.03	SAT TT=2.229	SAT TT=393.354	SAT TT=386.72	? (TO) TT=1800.28	SAT TT=42.97
random/rand-3-20-20-fcd/ rand-3-20-20-60-632-fcd-19_ext.xml	SAT TT=29.612	SAT TT=80.269 CHECKS=65816810 NODES=86076	SAT TT=131.868 CHECKS=110409249 NODES=155893	SAT TT=253.891	SAT TT=272.023 NODES=519450	SAT TT=135.952 NODES=220475	SAT TT=44.687 CHECKS=505022 NODES=103874	? (TO) TT=1800.09	? (TO) TT=1800.01	? (TO) TT=1800.07	SAT TT=29.612	? (TO) TT=1800.18	? (TO) TT=1800.14	? (TO) TT=1800.23	SAT TT=42.608
random/rand-3-20-20-fcd/ rand-3-20-20-60-632-fcd-21_ext.xml	SAT TT=16.81	SAT TT=58.977 CHECKS=48621535 NODES=49456	SAT TT=52.143 CHECKS=45153953 NODES=45593	SAT TT=202.573	SAT TT=123.263 NODES=221087	SAT TT=18.686 NODES=24191	SAT TT=16.81 CHECKS=501474 NODES=32041	? (TO) TT=1800.11	SAT TT=344.977	? (TO) TT=1800.02	SAT TT=23.862	SAT TT=19.457	SAT TT=19.531	? (TO) TT=1800.93	SAT TT=33.942
random/rand-3-20-20-fcd/ rand-3-20-20-60-632-fcd-23_ext.xml	SAT TT=7.308	SAT TT=36.741 CHECKS=29110912 NODES=34358	SAT TT=53.192 CHECKS=43316447 NODES=58289	SAT TT=175.888	SAT TT=50.794 NODES=89937	SAT TT=23.713 NODES=34878	SAT TT=17.485 CHECKS=486580 NODES=34314	? (TO) TT=1800.12	? (TO) TT=1800.08	? (TO) TT=1800.05	SAT TT=7.308	SAT TT=316.705	SAT TT=299.89	? (TO) TT=1800.83	SAT TT=12.726
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
random/rand-3-20-20-fcd/ rand-3-20-20-60-632-fcd-25_ext.xml	SAT TT=9.154	SAT TT=9.342 CHECKS=6912969 NODES=8012	SAT TT=12.638 CHECKS=9213391 NODES=10456	SAT TT=487.925	SAT TT=9.154 NODES=12110	SAT TT=68.907 NODES=92520	SAT TT=77.079 CHECKS=515867 NODES=152456	? (TO) TT=1800.12	? (TO) TT=1800.08	? (TO) TT=1800.01	SAT TT=56.438	SAT TT=311.626	SAT TT=306.356	? (TO) TT=1800.99	SAT TT=68.492
random/rand-3-20-20-fcd/ rand-3-20-20-60-632-fcd-27_ext.xml	SAT TT=8.064	SAT TT=8.064 CHECKS=5564061 NODES=6725	SAT TT=10.978 CHECKS=8300974 NODES=9489	? (TO) TT=1800.05	SAT TT=372.852 NODES=650917	SAT TT=205.311 NODES=271478	SAT TT=125.281 CHECKS=530234 NODES=266017	? (TO) TT=1800.12	? (TO) TT=1800.09	? (TO) TT=1800	SAT TT=48.559	SAT TT=35.759	SAT TT=36.552	? (TO) TT=1800.3	SAT TT=49.478
random/rand-3-20-20-fcd/ rand-3-20-20-60-632-fcd-29_ext.xml	SAT TT=13.543	SAT TT=95.808 CHECKS=83381993 NODES=84284	SAT TT=95.053 CHECKS=86415730 NODES=86421	SAT TT=183.386	SAT TT=127.933 NODES=216450	SAT TT=112.073 NODES=121899	SAT TT=13.543 CHECKS=486897 NODES=22725	? (TO) TT=1800.1	? (TO) TT=1800.01	? (TO) TT=1800.06	SAT TT=35.531	SAT TT=351.909	SAT TT=335.766	? (TO) TT=1801.02	SAT TT=25.778
random/rand-3-20-20-fcd/ rand-3-20-20-60-632-fcd-31_ext.xml	SAT TT=20.863	SAT TT=26.717 CHECKS=22626483 NODES=26787	SAT TT=20.863 CHECKS=16365354 NODES=19970	SAT TT=611.324	SAT TT=298.657 NODES=558529	SAT TT=58.516 NODES=78955	SAT TT=38.584 CHECKS=516072 NODES=73545	? (TO) TT=1800.13	? (TO) TT=1800.08	? (TO) TT=1800.03	SAT TT=79.184	SAT TT=39.838	SAT TT=39.047	? (TO) TT=1801.06	SAT TT=43.079
random/rand-3-20-20-fcd/ rand-3-20-20-60-632-fcd-33_ext.xml	SAT TT=30.991	SAT TT=259.01 CHECKS=225950942 NODES=291371	SAT TT=226.907 CHECKS=191926709 NODES=255200	? (TO) TT=1800.06	SAT TT=659.249 NODES=1165115	SAT TT=121.047 NODES=176561	SAT TT=94.469 CHECKS=516053 NODES=231411	? (TO) TT=1800.15	? (TO) TT=1800.09	? (TO) TT=1800.01	SAT TT=30.991	? (TO) TT=1800.13	? (TO) TT=1800.12	? (TO) TT=1800.83	SAT TT=153.804
random/rand-3-20-20-fcd/ rand-3-20-20-60-632-fcd-35_ext.xml	SAT TT=7.56	SAT TT=27.2 CHECKS=23970316 NODES=29944	SAT TT=24.384 CHECKS=19501145 NODES=25815	SAT TT=88.617	SAT TT=81.999 NODES=161470	SAT TT=53.748 NODES=78593	SAT TT=39.358 CHECKS=487049 NODES=83422	? (TO) TT=1800.14	? (TO) TT=1800.02	? (TO) TT=1800.06	SAT TT=7.56	SAT TT=658.444	SAT TT=657.748	? (TO) TT=1800.21	SAT TT=15.018
random/rand-3-20-20-fcd/ rand-3-20-20-60-632-fcd-37_ext.xml	SAT TT=17.397	SAT TT=624.571 CHECKS=555793417 NODES=603119	SAT TT=699.59 CHECKS=603996874 NODES=668453	SAT TT=315.611	SAT TT=898.61 NODES=1546437	SAT TT=180.09 NODES=250325	SAT TT=107.611 CHECKS=501397 NODES=238511	? (TO) TT=1800.06	? (TO) TT=1800.06	? (TO) TT=1800.06	SAT TT=17.397	? (TO) TT=1800.11	? (TO) TT=1800.17	? (TO) TT=1801.12	SAT TT=89.651
random/rand-3-20-20-fcd/ rand-3-20-20-60-632-fcd-39_ext.xml	SAT TT=48.298	SAT TT=119.087 CHECKS=94560927 NODES=117988	SAT TT=89.553 CHECKS=70397017 NODES=91101	SAT TT=393.656	SAT TT=299.205 NODES=558869	SAT TT=137.755 NODES=206244	SAT TT=76.698 CHECKS=515624 NODES=169075	? (TO) TT=1800.15	? (TO) TT=1800.06	? (TO) TT=1800.05	SAT TT=48.298	SAT TT=938.243	SAT TT=958.221	? (TO) TT=1800.97	SAT TT=87.157
random/rand-3-20-20-fcd/ rand-3-20-20-60-632-fcd-41_ext.xml	SAT TT=7.797	SAT TT=7.797 CHECKS=5340183 NODES=6716	SAT TT=18.421 CHECKS=14315346 NODES=16684	SAT TT=511.889	SAT TT=17.384 NODES=26198	SAT TT=20.043 NODES=23378	SAT TT=13.629 CHECKS=530155 NODES=23679	? (TO) TT=1800.09	? (TO) TT=1800.02	? (TO) TT=1800.08	SAT TT=29.383	? (TO) TT=1800.12	? (TO) TT=1800.19	? (TO) TT=1801.02	SAT TT=225.271
random/rand-3-20-20-fcd/ rand-3-20-20-60-632-fcd-43_ext.xml	SAT TT=7.789	SAT TT=15.221 CHECKS=12159815 NODES=16744	SAT TT=16.266 CHECKS=12812748 NODES=17601	SAT TT=333.561	SAT TT=127.011 NODES=226339	SAT TT=10.728 NODES=13175	SAT TT=9.098 CHECKS=486868 NODES=15657	? (TO) TT=1800.07	? (TO) TT=1800.09	? (TO) TT=1800.04	SAT TT=7.789	SAT TT=98.037	SAT TT=91.478	? (TO) TT=1800.16	SAT TT=8.968
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
random/rand-3-20-20-fcd/ rand-3-20-20-60-632-fcd-45_ext.xml	SAT TT=6.519	SAT TT=39.315 CHECKS=33977826 NODES=30786	SAT TT=41.214 CHECKS=34721408 NODES=33051	SAT TT=320.536	SAT TT=55.196 NODES=99781	SAT TT=30.365 NODES=37081	SAT TT=20.302 CHECKS=486815 NODES=33118	? (TO) TT=1800.06	? (TO) TT=1800	? (TO) TT=1800	SAT TT=6.519	SAT TT=37.601	SAT TT=36.561	? (TO) TT=1801	SAT TT=11.159
random/rand-3-20-20-fcd/ rand-3-20-20-60-632-fcd-47_ext.xml	SAT TT=0.591	SAT TT=12.294 CHECKS=10030609 NODES=12678	SAT TT=18.076 CHECKS=14829413 NODES=18967	SAT TT=95.955	SAT TT=93.857 NODES=169494	SAT TT=42.259 NODES=60046	SAT TT=36.751 CHECKS=501274 NODES=83325	? (TO) TT=1800.11	? (TO) TT=1800.07	? (TO) TT=1800.05	SAT TT=0.591	SAT TT=268.233	SAT TT=279.216	? (TO) TT=1800.24	SAT TT=2.931
random/rand-3-20-20-fcd/ rand-3-20-20-60-632-fcd-49_ext.xml	SAT TT=8.097	SAT TT=51.254 CHECKS=40497217 NODES=48638	SAT TT=248.418 CHECKS=210683306 NODES=263427	SAT TT=71.953	SAT TT=10.774 NODES=16126	SAT TT=8.097 NODES=9702	SAT TT=10.335 CHECKS=486874 NODES=19179	? (TO) TT=1800.09	? (TO) TT=1800	? (TO) TT=1800.09	SAT TT=34.893	? (TO) TT=1800.13	? (TO) TT=1800.41	? (TO) TT=1800.97	SAT TT=29.411
random/rand-3-20-20/ rand-3-20-20-60-632-11_ext.xml	UNSAT TT=170.881	UNSAT TT=441.821 CHECKS=389900728 NODES=455192	UNSAT TT=509.422 CHECKS=414829463 NODES=504679	? (TO) TT=1800.1	? (TO) TT=1800.09	UNSAT TT=328.334 NODES=474217	UNSAT TT=266.642 CHECKS=530341 NODES=619202	? (TO) TT=1800.07	? (TO) TT=1800.02	? (TO) TT=1800.05	UNSAT TT=170.881	? (TO) TT=1800.14	? (TO) TT=1800.12	? (TO) TT=1800.35	UNSAT TT=217.513
random/rand-3-20-20/ rand-3-20-20-60-632-13_ext.xml	SAT TT=5.33	SAT TT=11.745 CHECKS=9505284 NODES=11305	SAT TT=17.607 CHECKS=13677412 NODES=16334	SAT TT=1356.77	SAT TT=288.083 NODES=503450	SAT TT=92.493 NODES=137733	SAT TT=66.154 CHECKS=501337 NODES=144895	? (TO) TT=1800.13	? (TO) TT=1800.08	? (TO) TT=1800.06	SAT TT=13.031	SAT TT=1194.03	SAT TT=1229.74	? (TO) TT=1800.23	SAT TT=5.33
random/rand-3-20-20/ rand-3-20-20-60-632-15_ext.xml	SAT TT=5.624	SAT TT=23.89 CHECKS=19620260 NODES=22048	SAT TT=30.726 CHECKS=22658170 NODES=26041	SAT TT=531.687	SAT TT=198.262 NODES=356311	SAT TT=13.89 NODES=18860	SAT TT=39.368 CHECKS=501197 NODES=81473	? (TO) TT=1800.15	? (TO) TT=1800.09	? (TO) TT=1800.05	SAT TT=5.624	SAT TT=468.99	SAT TT=402.567	? (TO) TT=1800.85	SAT TT=23.764
random/rand-3-20-20/ rand-3-20-20-60-632-17_ext.xml	SAT TT=28.879	SAT TT=55.753 CHECKS=48197267 NODES=52238	SAT TT=51.071 CHECKS=43857143 NODES=47029	SAT TT=153.95	SAT TT=54.581 NODES=105527	SAT TT=79.939 NODES=119159	SAT TT=60.561 CHECKS=501307 NODES=125472	? (TO) TT=1800.12	? (TO) TT=1800.03	? (TO) TT=1800.01	SAT TT=41.302	SAT TT=379.08	SAT TT=394.393	? (TO) TT=1800.21	SAT TT=28.879
random/rand-3-20-20/ rand-3-20-20-60-632-19_ext.xml	UNSAT TT=65.503	UNSAT TT=196.655 CHECKS=168390949 NODES=234432	UNSAT TT=199.953 CHECKS=167444602 NODES=232976	? (TO) TT=1800.13	UNSAT TT=363.797 NODES=706173	UNSAT TT=132.705 NODES=226145	UNSAT TT=92.526 CHECKS=504854 NODES=225536	? (TO) TT=1800.06	? (TO) TT=1800.1	? (TO) TT=1800.04	UNSAT TT=65.503	? (TO) TT=1800.19	? (TO) TT=1800.19	? (TO) TT=1800.26	UNSAT TT=103.409
random/rand-3-20-20/ rand-3-20-20-60-632-1_ext.xml	SAT TT=14.53	SAT TT=73.446 CHECKS=64084772 NODES=68981	SAT TT=82.946 CHECKS=69192040 NODES=73480	SAT TT=484.49	SAT TT=56.197 NODES=98709	SAT TT=47.93 NODES=62973	SAT TT=16.003 CHECKS=530340 NODES=33871	? (TO) TT=1800.12	? (TO) TT=1800.02	? (TO) TT=1800.1	SAT TT=14.53	SAT TT=578.983	SAT TT=663.499	? (TO) TT=1800.24	SAT TT=24.305
random/rand-3-20-20/ rand-3-20-20-60-632-21_ext.xml	UNSAT TT=36.855	UNSAT TT=88.507 CHECKS=80695227 NODES=80546	UNSAT TT=99.334 CHECKS=85394845 NODES=91226	UNSAT TT=281.736	UNSAT TT=269.13 NODES=477614	UNSAT TT=79.3 NODES=101236	UNSAT TT=54.402 CHECKS=501539 NODES=101689	? (TO) TT=1800.09	? (TO) TT=1800.09	? (TO) TT=1800.1	UNSAT TT=36.855	UNSAT TT=839.751	UNSAT TT=776.584	? (TO) TT=1800.5	UNSAT TT=49.776
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
random/rand-3-20-20/ rand-3-20-20-60-632-23_ext.xml	UNSAT TT=47.943	UNSAT TT=130.86 CHECKS=108774055 NODES=145560	UNSAT TT=170.927 CHECKS=132912924 NODES=171224	UNSAT TT=822.147	UNSAT TT=280.598 NODES=464759	UNSAT TT=101.688 NODES=155576	UNSAT TT=68.694 CHECKS=486886 NODES=161202	? (TO) TT=1800.13	? (TO) TT=1800.09	? (TO) TT=1800.05	UNSAT TT=47.943	UNSAT TT=884.929	UNSAT TT=871.795	? (TO) TT=1800.75	UNSAT TT=57.908
random/rand-3-20-20/ rand-3-20-20-60-632-25_ext.xml	SAT TT=10.163	SAT TT=86.693 CHECKS=75224946 NODES=82673	SAT TT=95.593 CHECKS=84275832 NODES=94860	SAT TT=250.597	SAT TT=145.738 NODES=240413	SAT TT=71.601 NODES=100589	SAT TT=55.135 CHECKS=515901 NODES=109538	? (TO) TT=1800.1	? (TO) TT=1800.08	? (TO) TT=1800	SAT TT=31.363	SAT TT=10.163	SAT TT=11.163	? (TO) TT=1800.19	SAT TT=40.763
random/rand-3-20-20/ rand-3-20-20-60-632-27_ext.xml	SAT TT=14.774	SAT TT=19.181 CHECKS=14651741 NODES=17657	SAT TT=14.774 CHECKS=10557251 NODES=12388	? (TO) TT=1800.09	SAT TT=97.443 NODES=171528	SAT TT=204.477 NODES=277110	SAT TT=137.265 CHECKS=530084 NODES=270449	? (TO) TT=1800.08	? (TO) TT=1800.03	? (TO) TT=1800.03	SAT TT=47.019	SAT TT=17.575	SAT TT=16.677	? (TO) TT=1800.99	SAT TT=59.487
random/rand-3-20-20/ rand-3-20-20-60-632-29_ext.xml	SAT TT=14.603	SAT TT=20.346 CHECKS=17780106 NODES=18228	SAT TT=31.508 CHECKS=26005632 NODES=27937	SAT TT=686.903	SAT TT=41.937 NODES=73044	SAT TT=46.823 NODES=56406	SAT TT=109.586 CHECKS=486965 NODES=241618	? (TO) TT=1800.11	? (TO) TT=1800.08	? (TO) TT=1800.07	SAT TT=14.603	SAT TT=143.177	SAT TT=127.643	? (TO) TT=1800.97	SAT TT=27.186
random/rand-3-20-20/ rand-3-20-20-60-632-31_ext.xml	UNSAT TT=90.609	UNSAT TT=241.534 CHECKS=223238075 NODES=249032	UNSAT TT=215.477 CHECKS=201909200 NODES=237240	UNSAT TT=623.579	UNSAT TT=411.729 NODES=708462	UNSAT TT=176.747 NODES=258991	UNSAT TT=109.667 CHECKS=515948 NODES=258795	? (TO) TT=1800.13	? (TO) TT=1800.09	? (TO) TT=1800	UNSAT TT=90.609	? (TO) TT=1800.15	? (TO) TT=1800.2	? (TO) TT=1800.26	UNSAT TT=114.524
random/rand-3-20-20/ rand-3-20-20-60-632-33_ext.xml	UNSAT TT=221.25	UNSAT TT=584.062 CHECKS=503674399 NODES=653995	UNSAT TT=586.466 CHECKS=501652673 NODES=646474	? (TO) TT=1800.07	UNSAT TT=1510.72 NODES=2651286	UNSAT TT=400.399 NODES=634744	UNSAT TT=306.381 CHECKS=515944 NODES=724922	? (TO) TT=1800.1	? (TO) TT=1800.01	? (TO) TT=1800.05	UNSAT TT=221.25	? (TO) TT=1800.11	? (TO) TT=1800.13	? (TO) TT=1800.2	UNSAT TT=242.16
random/rand-3-20-20/ rand-3-20-20-60-632-35_ext.xml	UNSAT TT=27.75	UNSAT TT=74.181 CHECKS=66366264 NODES=81727	UNSAT TT=77.974 CHECKS=65579300 NODES=80141	UNSAT TT=268.945	UNSAT TT=118.088 NODES=247975	UNSAT TT=58.239 NODES=84610	UNSAT TT=38.102 CHECKS=487211 NODES=87610	? (TO) TT=1800.15	? (TO) TT=1800.07	? (TO) TT=1800	UNSAT TT=27.75	UNSAT TT=949.605	UNSAT TT=938.367	? (TO) TT=1801.01	UNSAT TT=33.631
random/rand-3-20-20/ rand-3-20-20-60-632-37_ext.xml	SAT TT=173.762	SAT TT=539.893 CHECKS=456449754 NODES=508372	SAT TT=173.762 CHECKS=144361238 NODES=163349	? (TO) TT=1800.1	SAT TT=290.527 NODES=463264	SAT TT=495.956 NODES=703230	SAT TT=179.496 CHECKS=501583 NODES=389081	? (TO) TT=1800.07	? (TO) TT=1800.02	? (TO) TT=1800.06	SAT TT=188.511	? (TO) TT=1800.2	? (TO) TT=1800.17	? (TO) TT=1800.96	SAT TT=264.604
random/rand-3-20-20/ rand-3-20-20-60-632-39_ext.xml	UNSAT TT=123.037	UNSAT TT=225.117 CHECKS=195158359 NODES=233910	UNSAT TT=226.806 CHECKS=189143035 NODES=225576	? (TO) TT=1800.13	UNSAT TT=530.794 NODES=1047381	UNSAT TT=237.22 NODES=343144	UNSAT TT=153.401 CHECKS=515700 NODES=344243	? (TO) TT=1800.12	? (TO) TT=1800.07	? (TO) TT=1800.08	UNSAT TT=123.037	? (TO) TT=1800.16	? (TO) TT=1800.1	? (TO) TT=1800.94	UNSAT TT=126.954
random/rand-3-20-20/ rand-3-20-20-60-632-3_ext.xml	UNSAT TT=99.712	UNSAT TT=260.024 CHECKS=228064322 NODES=275130	UNSAT TT=267.487 CHECKS=233240587 NODES=270555	UNSAT TT=668.183	UNSAT TT=539.865 NODES=1002853	UNSAT TT=187.584 NODES=299999	UNSAT TT=148.685 CHECKS=515743 NODES=330886	? (TO) TT=1800.14	? (TO) TT=1800.06	? (TO) TT=1800.01	UNSAT TT=99.712	? (TO) TT=1800.14	? (TO) TT=1800.16	? (TO) TT=1800.2	UNSAT TT=126.437
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
random/rand-3-20-20/ rand-3-20-20-60-632-41_ext.xml	SAT TT=6.709	SAT TT=15.01 CHECKS=12012520 NODES=14256	SAT TT=16.507 CHECKS=12594076 NODES=14729	SAT TT=219.51	SAT TT=16.138 NODES=25494	SAT TT=191.15 NODES=258840	SAT TT=127.31 CHECKS=530047 NODES=262409	? (TO) TT=1800.14	? (TO) TT=1800.07	? (TO) TT=1800.09	SAT TT=6.709	SAT TT=706.481	SAT TT=643.681	? (TO) TT=1800.91	SAT TT=12.127
random/rand-3-20-20/ rand-3-20-20-60-632-43_ext.xml	UNSAT TT=8.599	UNSAT TT=22.41 CHECKS=18022194 NODES=24023	UNSAT TT=22.083 CHECKS=17555615 NODES=23761	UNSAT TT=370.527	UNSAT TT=255.195 NODES=503970	UNSAT TT=20.28 NODES=27372	UNSAT TT=12.227 CHECKS=487333 NODES=23595	? (TO) TT=1800.11	? (TO) TT=1800.07	? (TO) TT=1800.02	UNSAT TT=8.599	UNSAT TT=167.387	UNSAT TT=192.54	? (TO) TT=1800.99	UNSAT TT=11.875
random/rand-3-20-20/ rand-3-20-20-60-632-45_ext.xml	UNSAT TT=24.077	UNSAT TT=64.026 CHECKS=53470306 NODES=49326	UNSAT TT=58.524 CHECKS=51052789 NODES=51063	UNSAT TT=282.022	UNSAT TT=144.687 NODES=257407	UNSAT TT=59.513 NODES=74925	UNSAT TT=39.333 CHECKS=486760 NODES=77139	? (TO) TT=1800.14	? (TO) TT=1800.06	? (TO) TT=1800.08	UNSAT TT=24.077	UNSAT TT=445.313	UNSAT TT=452.333	? (TO) TT=1800.46	UNSAT TT=31.262
random/rand-3-20-20/ rand-3-20-20-60-632-47_ext.xml	SAT TT=13.492	SAT TT=28.646 CHECKS=22597807 NODES=29547	SAT TT=40.848 CHECKS=31410650 NODES=40919	SAT TT=504.394	SAT TT=33.499 NODES=61547	SAT TT=13.492 NODES=17214	SAT TT=55.785 CHECKS=501596 NODES=120158	? (TO) TT=1800.07	? (TO) TT=1800.01	SAT TT=1251.04	SAT TT=17.13	SAT TT=209.063	SAT TT=208.558	? (TO) TT=1800.95	SAT TT=19.821
random/rand-3-20-20/ rand-3-20-20-60-632-49_ext.xml	SAT TT=28.295	SAT TT=110.126 CHECKS=94153175 NODES=112325	SAT TT=320.492 CHECKS=274767590 NODES=331441	SAT TT=622.047	SAT TT=919.762 NODES=1667107	SAT TT=57.934 NODES=80509	SAT TT=28.295 CHECKS=486887 NODES=57787	? (TO) TT=1800.13	? (TO) TT=1800.08	? (TO) TT=1800.03	SAT TT=96.153	? (TO) TT=1800.17	? (TO) TT=1800.12	? (TO) TT=1800.87	SAT TT=118.449
random/rand-3-20-20/ rand-3-20-20-60-632-5_ext.xml	UNSAT TT=86.688	UNSAT TT=247.837 CHECKS=213648000 NODES=261579	UNSAT TT=250.719 CHECKS=229144813 NODES=264300	? (TO) TT=1800.13	UNSAT TT=478.939 NODES=849196	UNSAT TT=184.556 NODES=281068	UNSAT TT=121.934 CHECKS=457863 NODES=258998	? (TO) TT=1800.1	? (TO) TT=1800.02	? (TO) TT=1800.02	UNSAT TT=86.688	? (TO) TT=1800.18	? (TO) TT=1800.1	? (TO) TT=1800.17	UNSAT TT=101.138
random/rand-3-20-20/ rand-3-20-20-60-632-7_ext.xml	SAT TT=8.668	SAT TT=19.112 CHECKS=14898557 NODES=17479	SAT TT=8.668 CHECKS=6482718 NODES=7710	SAT TT=457.412	SAT TT=71.313 NODES=127762	SAT TT=96.482 NODES=123358	SAT TT=83.1 CHECKS=486717 NODES=168027	? (TO) TT=1800.07	SAT TT=1567.79	? (TO) TT=1800.01	SAT TT=21.184	SAT TT=143.036	SAT TT=146.694	? (TO) TT=1801.06	SAT TT=26.733
random/rand-3-20-20/ rand-3-20-20-60-632-9_ext.xml	SAT TT=11.72	SAT TT=41.532 CHECKS=34162951 NODES=33737	SAT TT=45.06 CHECKS=39310450 NODES=40210	SAT TT=190.562	SAT TT=51.503 NODES=87186	SAT TT=29.823 NODES=36155	SAT TT=16.718 CHECKS=515837 NODES=31229	? (TO) TT=1800.1	? (TO) TT=1800.08	? (TO) TT=1800.01	SAT TT=11.72	SAT TT=33.785	SAT TT=35.01	? (TO) TT=1800.18	SAT TT=23.222
random/rand-3-24-24-fcd/ rand-3-24-24-76-632-fcd-11_ext.xml	SAT TT=64.911	? (TO) TT=1800.1	SAT TT=313.039 CHECKS=227829470 NODES=182629	? (TO) TT=1800.1	SAT TT=64.911 NODES=83015	SAT TT=390.675 NODES=407848	SAT TT=148.17 CHECKS=1110415 NODES=222888	? (TO) TT=1800.13	? (TO) TT=1800.05	? (TO) TT=1800.05	SAT TT=454.234	? (TO) TT=1800.17	? (TO) TT=1800.14	? (TO) TT=1800.27	SAT TT=772.775
random/rand-3-24-24-fcd/ rand-3-24-24-76-632-fcd-13_ext.xml	SAT TT=1220.64	? (TO) TT=1800.13	? (TO) TT=1800.14	? (TO) TT=1800.08	? (TO) TT=1800.03	SAT TT=1422.13 NODES=1473992	SAT TT=1220.64 CHECKS=1110322 NODES=2048933	? (TO) TT=1800.08	? (TO) TT=1800.02	? (TO) TT=1800.06	? (TO) TT=1800.09	? (TO) TT=1800.12	? (TO) TT=1800.16	? (TO) TT=1800.54	? (TO) TT=1800.05
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
random/rand-3-24-24-fcd/ rand-3-24-24-76-632-fcd-15_ext.xml	SAT TT=1341.78	? (TO) TT=1800.09	SAT TT=1341.78 CHECKS=1007430452 NODES=950437	? (TO) TT=1800.1	? (TO) TT=1800.03	? (TO) TT=1800.01	? (TO) TT=1800.02	? (TO) TT=1800.12	? (TO) TT=1800.01	? (TO) TT=1800.05	? (TO) TT=1800.11	? (TO) TT=1800.12	? (TO) TT=1800.33	? (TO) TT=1801.03	? (TO) TT=1800.1
random/rand-3-24-24-fcd/ rand-3-24-24-76-632-fcd-17_ext.xml	SAT TT=1115.6	? (TO) TT=1800.1	? (TO) TT=1800.12	? (TO) TT=1800.09	? (TO) TT=1800.05	? (TO) TT=1800.03	? (TO) TT=1800.08	? (TO) TT=1800.09	? (TO) TT=1800.01	? (TO) TT=1800.03	? (TO) TT=1800.04	? (TO) TT=1800.16	? (TO) TT=1800.15	? (TO) TT=1800.96	SAT TT=1115.6
random/rand-3-24-24-fcd/ rand-3-24-24-76-632-fcd-19_ext.xml		? (TO) TT=1800.14	? (TO) TT=1800.09	? (TO) TT=1800.14	? (TO) TT=1800.02	? (TO) TT=1800.06	? (TO) TT=1800.01	? (TO) TT=1800.14	? (TO) TT=1800.02	? (TO) TT=1800.06	? (TO) TT=1800.03	? (TO) TT=1800.13	? (TO) TT=1800.16	? (TO) TT=1800.78	? (TO) TT=1800.04
random/rand-3-24-24-fcd/ rand-3-24-24-76-632-fcd-21_ext.xml	SAT TT=25.582	SAT TT=25.582 CHECKS=18082625 NODES=14082	SAT TT=84.23 CHECKS=62034821 NODES=48662	? (TO) TT=1800.09	SAT TT=315.972 NODES=423429	SAT TT=124.85 NODES=119221	SAT TT=227.917 CHECKS=1110172 NODES=323306	? (TO) TT=1800.14	? (TO) TT=1800.04	? (TO) TT=1800.02	SAT TT=331.836	? (TO) TT=1800.19	? (TO) TT=1800.14	? (TO) TT=1801.06	SAT TT=153.281
random/rand-3-24-24-fcd/ rand-3-24-24-76-632-fcd-23_ext.xml		? (TO) TT=1800.09	? (TO) TT=1800.15	? (TO) TT=1800.13	? (TO) TT=1800.04	? (TO) TT=1800.02	? (TO) TT=1800.02	? (TO) TT=1800.12	? (TO) TT=1800.04	? (TO) TT=1800.03	? (TO) TT=1800.08	? (TO) TT=1800.1	? (TO) TT=1800.15	? (TO) TT=1800.94	? (TO) TT=1800.02
random/rand-3-24-24-fcd/ rand-3-24-24-76-632-fcd-25_ext.xml	SAT TT=308.313	SAT TT=831.23 CHECKS=623234622 NODES=585345	SAT TT=1271.69 CHECKS=941092517 NODES=902684	? (TO) TT=1800.12	SAT TT=779.447 NODES=1053006	? (TO) TT=1800.01	? (TO) TT=1800.02	? (TO) TT=1800.14	? (TO) TT=1800.08	? (TO) TT=1800.01	SAT TT=308.313	? (TO) TT=1800.25	? (TO) TT=1800.17	? (TO) TT=1801.09	SAT TT=402.398
random/rand-3-24-24-fcd/ rand-3-24-24-76-632-fcd-27_ext.xml		? (TO) TT=1800.11	? (TO) TT=1800.07	? (TO) TT=1800.13	? (TO) TT=1800.08	? (TO) TT=1800.04	? (TO) TT=1800.04	? (TO) TT=1800.16	? (TO) TT=1800.09	? (TO) TT=1800.08	? (TO) TT=1800.09	? (TO) TT=1800.22	? (TO) TT=1800.18	? (TO) TT=1800.99	? (TO) TT=1800.11
random/rand-3-24-24-fcd/ rand-3-24-24-76-632-fcd-29_ext.xml		? (TO) TT=1800.11	? (TO) TT=1800.14	? (TO) TT=1800.11	? (TO) TT=1800.03	? (TO) TT=1800.01	? (TO) TT=1800.1	? (TO) TT=1800.09	? (TO) TT=1800.03	? (TO) TT=1800.04	? (TO) TT=1800.05	? (TO) TT=1800.19	? (TO) TT=1800.18	? (TO) TT=1801	? (TO) TT=1800.07
random/rand-3-24-24-fcd/ rand-3-24-24-76-632-fcd-31_ext.xml	SAT TT=62.414	? (TO) TT=1800.15	? (TO) TT=1800.14	SAT TT=166.307	? (TO) TT=1800.08	? (TO) TT=1800.06	SAT TT=697.879 CHECKS=1060436 NODES=1021729	? (TO) TT=1800.13	? (TO) TT=1800.09	? (TO) TT=1800.08	SAT TT=62.414	? (TO) TT=1800.16	? (TO) TT=1800.12	? (TO) TT=1801	? (TO) TT=1800.1
random/rand-3-24-24-fcd/ rand-3-24-24-76-632-fcd-33_ext.xml	SAT TT=15.44	SAT TT=15.44 CHECKS=10062917 NODES=9702	SAT TT=38.785 CHECKS=25967279 NODES=24490	? (TO) TT=1800.05	? (TO) TT=1800.06	? (TO) TT=1800.04	? (TO) TT=1800.03	? (TO) TT=1800.1	? (TO) TT=1800.04	? (TO) TT=1800.08	SAT TT=402.946	SAT TT=1659.34	SAT TT=1609.44	? (TO) TT=1801	SAT TT=965.586
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
random/rand-3-24-24-fcd/ rand-3-24-24-76-632-fcd-35_ext.xml	SAT TT=47.618	SAT TT=492.231 CHECKS=375822224 NODES=318986	SAT TT=320.414 CHECKS=229871323 NODES=198433	? (TO) TT=1800.06	SAT TT=89.77 NODES=110988	SAT TT=1303.74 NODES=1248649	SAT TT=926.024 CHECKS=1135193 NODES=1314842	? (TO) TT=1800.13	? (TO) TT=1800.02	? (TO) TT=1800.01	SAT TT=47.618	? (TO) TT=1800.16	? (TO) TT=1800.12	? (TO) TT=1801	SAT TT=49.012
random/rand-3-24-24-fcd/ rand-3-24-24-76-632-fcd-37_ext.xml	SAT TT=1180.2	? (TO) TT=1800.11	? (TO) TT=1800.13	? (TO) TT=1800.12	SAT TT=1180.2 NODES=1539111	? (TO) TT=1800.07	? (TO) TT=1800.01	? (TO) TT=1800.14	? (TO) TT=1800	? (TO) TT=1800.01	? (TO) TT=1800.07	? (TO) TT=1800.23	? (TO) TT=1800.13	? (TO) TT=1800.93	? (TO) TT=1800.07
random/rand-3-24-24-fcd/ rand-3-24-24-76-632-fcd-39_ext.xml	SAT TT=159.171	? (TO) TT=1800.14	SAT TT=1274.72 CHECKS=977946863 NODES=954783	? (TO) TT=1800.11	? (TO) TT=1800.08	? (TO) TT=1800.1	SAT TT=159.171 CHECKS=1135187 NODES=246428	? (TO) TT=1800.08	? (TO) TT=1800.07	? (TO) TT=1800.01	SAT TT=1488.14	? (TO) TT=1800.12	? (TO) TT=1800.21	? (TO) TT=1800.97	SAT TT=772.763
random/rand-3-24-24-fcd/ rand-3-24-24-76-632-fcd-41_ext.xml	SAT TT=799.067	? (TO) TT=1800.13	? (TO) TT=1800.14	? (TO) TT=1800.13	? (TO) TT=1800.06	? (TO) TT=1800	SAT TT=1080.01 CHECKS=1160383 NODES=1946285	? (TO) TT=1800.11	? (TO) TT=1800.03	? (TO) TT=1800.06	SAT TT=799.067	? (TO) TT=1800.23	? (TO) TT=1800.22	? (TO) TT=1800.92	SAT TT=1642.14
random/rand-3-24-24-fcd/ rand-3-24-24-76-632-fcd-43_ext.xml	SAT TT=237	? (TO) TT=1800.11	? (TO) TT=1800.11	? (TO) TT=1800.11	? (TO) TT=1800.09	SAT TT=1563.72 NODES=1758483	SAT TT=304.665 CHECKS=1160180 NODES=563697	? (TO) TT=1800.08	? (TO) TT=1800	? (TO) TT=1800.07	SAT TT=237	? (TO) TT=1800.18	? (TO) TT=1800.17	? (TO) TT=1800.18	? (TO) TT=1800.09
random/rand-3-24-24-fcd/ rand-3-24-24-76-632-fcd-45_ext.xml	SAT TT=146.429	? (TO) TT=1800.08	SAT TT=545.603 CHECKS=394760319 NODES=318702	? (TO) TT=1800.12	? (TO) TT=1800.06	? (TO) TT=1800.01	? (TO) TT=1800.1	? (TO) TT=1800.15	? (TO) TT=1800.03	? (TO) TT=1800.08	SAT TT=146.429	? (TO) TT=1800.15	? (TO) TT=1800.19	? (TO) TT=1800.95	SAT TT=499.613
random/rand-3-24-24-fcd/ rand-3-24-24-76-632-fcd-47_ext.xml		? (TO) TT=1800.11	? (TO) TT=1800.13	? (TO) TT=1800.11	? (TO) TT=1800.02	? (TO) TT=1800.06	? (TO) TT=1800.02	? (TO) TT=1800.15	? (TO) TT=1800.05	? (TO) TT=1800	? (TO) TT=1800.04	? (TO) TT=1800.18	? (TO) TT=1800.14	? (TO) TT=1800.73	? (TO) TT=1800.1
random/rand-3-24-24-fcd/ rand-3-24-24-76-632-fcd-49_ext.xml	SAT TT=568.712	? (TO) TT=1800.1	? (TO) TT=1800.1	? (TO) TT=1800.13	? (TO) TT=1800.04	SAT TT=889.398 NODES=980885	? (TO) TT=1800.1	? (TO) TT=1800.13	? (TO) TT=1800.02	? (TO) TT=1800.02	SAT TT=1287.85	SAT TT=623.72	SAT TT=568.712	? (TO) TT=1800.99	SAT TT=1666.37
random/rand-3-24-24/ rand-3-24-24-76-632-10_ext.xml		? (TO) TT=1800.09	? (TO) TT=1800.12	? (TO) TT=1800.11	? (TO) TT=1800.08	? (TO) TT=1800.01	? (TO) TT=1800.1	? (TO) TT=1800.15	? (TO) TT=1800.05	? (TO) TT=1800	? (TO) TT=1800.05	? (TO) TT=1800.2	? (TO) TT=1800.18	? (TO) TT=1800.37	? (TO) TT=1800.05
random/rand-3-24-24/ rand-3-24-24-76-632-11_ext.xml	UNSAT TT=1232.27	? (TO) TT=1800.12	? (TO) TT=1800.17	? (TO) TT=1800.13	? (TO) TT=1800.05	? (TO) TT=1800.07	UNSAT TT=1662.25 CHECKS=1110607 NODES=2539966	? (TO) TT=1800.16	? (TO) TT=1800.02	? (TO) TT=1800.02	UNSAT TT=1232.27	? (TO) TT=1800.14	? (TO) TT=1800.22	? (TO) TT=1801.02	UNSAT TT=1556.95
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
random/rand-3-24-24/ rand-3-24-24-76-632-12_ext.xml		? (TO) TT=1800.08	? (TO) TT=1800.09	? (TO) TT=1800.08	? (TO) TT=1800.02	? (TO) TT=1800.01	? (TO) TT=1800.08	? (TO) TT=1800.08	? (TO) TT=1800.02	? (TO) TT=1800.06	? (TO) TT=1800.04	? (TO) TT=1800.17	? (TO) TT=1800.17	? (TO) TT=1800.94	? (TO) TT=1800.08
random/rand-3-24-24/ rand-3-24-24-76-632-13_ext.xml	SAT TT=1146.98	? (TO) TT=1800.07	? (TO) TT=1800.15	? (TO) TT=1800.06	? (TO) TT=1800.02	? (TO) TT=1800.03	SAT TT=1406.51 CHECKS=1110326 NODES=2488316	? (TO) TT=1800.17	? (TO) TT=1800.07	? (TO) TT=1800.01	SAT TT=1146.98	? (TO) TT=1800.22	? (TO) TT=1800.16	? (TO) TT=1800.17	SAT TT=1539.26
random/rand-3-24-24/ rand-3-24-24-76-632-14_ext.xml		? (TO) TT=1800.1	? (TO) TT=1800.07	? (TO) TT=1800.05	? (TO) TT=1800.08	? (TO) TT=1800.02	? (TO) TT=1800.01	? (TO) TT=1800.17	? (TO) TT=1800.04	? (TO) TT=1800.09	? (TO) TT=1800.08	? (TO) TT=1800.2	? (TO) TT=1800.16	? (TO) TT=1800.95	? (TO) TT=1800.11
random/rand-3-24-24/ rand-3-24-24-76-632-15_ext.xml	SAT TT=645.835	? (TO) TT=1800.11	? (TO) TT=1800.12	? (TO) TT=1800.14	? (TO) TT=1800.03	? (TO) TT=1800.09	? (TO) TT=1800.03	? (TO) TT=1800.11	? (TO) TT=1800.06	? (TO) TT=1800.06	SAT TT=645.835	? (TO) TT=1800.22	? (TO) TT=1800.2	? (TO) TT=1800.77	SAT TT=1598.32
random/rand-3-24-24/ rand-3-24-24-76-632-16_ext.xml	SAT TT=77.345	SAT TT=77.345 CHECKS=56568528 NODES=42488	SAT TT=80.677 CHECKS=62120411 NODES=46793	? (TO) TT=1800.12	? (TO) TT=1800.09	SAT TT=610.094 NODES=523936	SAT TT=288.297 CHECKS=1110706 NODES=389371	? (TO) TT=1800.14	? (TO) TT=1800.09	? (TO) TT=1800.08	SAT TT=309.037	? (TO) TT=1800.19	? (TO) TT=1800.1	? (TO) TT=1800.97	SAT TT=174.191
random/rand-3-24-24/ rand-3-24-24-76-632-17_ext.xml		? (TO) TT=1800.12	? (TO) TT=1800.06	? (TO) TT=1800.07	? (TO) TT=1800.05	? (TO) TT=1800.09	? (TO) TT=1800.01	? (TO) TT=1800.18	? (TO) TT=1800.08	? (TO) TT=1800.06	? (TO) TT=1800.11	? (TO) TT=1800.23	? (TO) TT=1800.15	? (TO) TT=1800.98	? (TO) TT=1800.06
random/rand-3-24-24/ rand-3-24-24-76-632-18_ext.xml	SAT TT=50.566	SAT TT=680.721 CHECKS=520167581 NODES=490458	SAT TT=723.498 CHECKS=513245495 NODES=471742	? (TO) TT=1800.14	? (TO) TT=1800.05	SAT TT=629.203 NODES=746042	SAT TT=486.617 CHECKS=1110589 NODES=784674	? (TO) TT=1800.09	? (TO) TT=1800.09	? (TO) TT=1800	SAT TT=50.566	? (TO) TT=1800.12	? (TO) TT=1800.25	? (TO) TT=1800.19	SAT TT=350.02
random/rand-3-24-24/ rand-3-24-24-76-632-19_ext.xml		? (TO) TT=1800.07	? (TO) TT=1800.17	? (TO) TT=1800.06	? (TO) TT=1800.1	? (TO) TT=1800.01	? (TO) TT=1800.01	? (TO) TT=1800.1	? (TO) TT=1800.1	? (TO) TT=1800.1	? (TO) TT=1800.04	? (TO) TT=1800.18	? (TO) TT=1800.25	? (TO) TT=1801.04	? (TO) TT=1800.09
random/rand-3-24-24/ rand-3-24-24-76-632-1_ext.xml	SAT TT=721.63	? (TO) TT=1800.13	? (TO) TT=1800.08	? (TO) TT=1800.07	? (TO) TT=1800.01	? (TO) TT=1800.08	? (TO) TT=1800.08	? (TO) TT=1800.12	? (TO) TT=1800.03	? (TO) TT=1800.07	SAT TT=721.63	? (TO) TT=1800.15	? (TO) TT=1800.17	? (TO) TT=1800.32	SAT TT=1666.87
random/rand-3-24-24/ rand-3-24-24-76-632-20_ext.xml	UNSAT TT=669.252	UNSAT TT=1797.72 CHECKS=1336061820 NODES=1037592	UNSAT TT=1745.68 CHECKS=1295573841 NODES=1043478	? (TO) TT=1800.11	? (TO) TT=1800.09	UNSAT TT=1053.58 NODES=1107870	UNSAT TT=778.166 CHECKS=1160460 NODES=1222035	? (TO) TT=1800.15	? (TO) TT=1800.08	? (TO) TT=1800.03	UNSAT TT=669.252	? (TO) TT=1800.13	? (TO) TT=1800.08	? (TO) TT=1801.02	UNSAT TT=802.147
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
random/rand-3-24-24/ rand-3-24-24-76-632-21_ext.xml	SAT TT=44.814	SAT TT=1474.23 CHECKS=1100679057 NODES=774605	SAT TT=622.444 CHECKS=476394233 NODES=353175	? (TO) TT=1800.1	SAT TT=1638.1 NODES=2160145	SAT TT=241.647 NODES=254418	SAT TT=44.814 CHECKS=1110259 NODES=64562	? (TO) TT=1800.16	? (TO) TT=1800.1	? (TO) TT=1800.02	SAT TT=77.842	? (TO) TT=1800.15	? (TO) TT=1800.14	? (TO) TT=1800.96	SAT TT=189.753
random/rand-3-24-24/ rand-3-24-24-76-632-22_ext.xml	UNSAT TT=377.497	UNSAT TT=1052.28 CHECKS=738641481 NODES=651804	UNSAT TT=1060.47 CHECKS=737725364 NODES=652262	? (TO) TT=1800.16	UNSAT TT=1563.63 NODES=2098386	UNSAT TT=693.701 NODES=658639	UNSAT TT=472.455 CHECKS=1160456 NODES=725863	? (TO) TT=1800.1	? (TO) TT=1800.09	? (TO) TT=1800.07	UNSAT TT=377.497	? (TO) TT=1800.16	? (TO) TT=1800.14	? (TO) TT=1800.15	UNSAT TT=539.364
random/rand-3-24-24/ rand-3-24-24-76-632-23_ext.xml	SAT TT=475.366	SAT TT=475.366 CHECKS=349080787 NODES=351426	? (TO) TT=1800.14	? (TO) TT=1800.07	? (TO) TT=1800.09	? (TO) TT=1800.07	? (TO) TT=1800.04	? (TO) TT=1800.15	? (TO) TT=1800.1	? (TO) TT=1800.06	? (TO) TT=1800.02	? (TO) TT=1800.22	? (TO) TT=1800.16	? (TO) TT=1801.02	? (TO) TT=1800.03
random/rand-3-24-24/ rand-3-24-24-76-632-24_ext.xml		? (TO) TT=1800.04	? (TO) TT=1800.06	? (TO) TT=1800.13	? (TO) TT=1800.01	? (TO) TT=1800.03	? (TO) TT=1800.04	? (TO) TT=1800.16	? (TO) TT=1800.01	? (TO) TT=1800.07	? (TO) TT=1800.03	? (TO) TT=1800.21	? (TO) TT=1800.21	? (TO) TT=1800.82	? (TO) TT=1800.06
random/rand-3-24-24/ rand-3-24-24-76-632-25_ext.xml	SAT TT=230.554	? (TO) TT=1800.16	? (TO) TT=1800.07	? (TO) TT=1800.16	SAT TT=230.554 NODES=307626	SAT TT=1554.58 NODES=1715958	SAT TT=614.017 CHECKS=1160355 NODES=1043091	? (TO) TT=1800.13	? (TO) TT=1800.05	? (TO) TT=1800.05	SAT TT=876.192	? (TO) TT=1800.14	? (TO) TT=1800.19	? (TO) TT=0.047	SAT TT=1127.94
random/rand-3-24-24/ rand-3-24-24-76-632-26_ext.xml	UNSAT TT=1250.43	? (TO) TT=1800.18	? (TO) TT=1800.07	? (TO) TT=1800.07	? (TO) TT=1800.08	? (TO) TT=1800.06	? (TO) TT=1800.05	? (TO) TT=1800.13	? (TO) TT=1800.06	? (TO) TT=1800.05	UNSAT TT=1250.43	? (TO) TT=1800.11	? (TO) TT=1800.16	? (TO) TT=1800.97	UNSAT TT=1680.41
random/rand-3-24-24/ rand-3-24-24-76-632-27_ext.xml	SAT TT=678.048	SAT TT=1185.24 CHECKS=898637634 NODES=736354	SAT TT=678.048 CHECKS=518910048 NODES=429604	? (TO) TT=1800.14	? (TO) TT=1800.04	? (TO) TT=1800.02	? (TO) TT=1800.04	? (TO) TT=1800.08	? (TO) TT=1800.08	? (TO) TT=1800.03	? (TO) TT=1800.03	? (TO) TT=1800.15	? (TO) TT=1800.16	? (TO) TT=1800.59	? (TO) TT=1800.12
random/rand-3-24-24/ rand-3-24-24-76-632-28_ext.xml	SAT TT=81.174	SAT TT=915.008 CHECKS=713533026 NODES=532495	SAT TT=1115.33 CHECKS=759653527 NODES=574601	? (TO) TT=1800.1	SAT TT=283.741 NODES=366477	SAT TT=109.407 NODES=115955	SAT TT=81.174 CHECKS=1061013 NODES=119719	? (TO) TT=1800.13	? (TO) TT=1800.11	? (TO) TT=1800	SAT TT=144.908	? (TO) TT=1800.15	? (TO) TT=1800.16	? (TO) TT=1800.99	SAT TT=196.87
random/rand-3-24-24/ rand-3-24-24-76-632-29_ext.xml		? (TO) TT=1800.11	? (TO) TT=1800.07	? (TO) TT=1800.15	? (TO) TT=1800.1	? (TO) TT=1800.05	? (TO) TT=1800.05	? (TO) TT=1800.12	? (TO) TT=1800.1	? (TO) TT=1800.09	? (TO) TT=1800.05	? (TO) TT=1800.15	? (TO) TT=1800.21	? (TO) TT=1801.13	? (TO) TT=1800.09
random/rand-3-24-24/ rand-3-24-24-76-632-2_ext.xml	SAT TT=1394.08	? (TO) TT=1800.09	? (TO) TT=1800.14	? (TO) TT=1800.08	? (TO) TT=1800.09	? (TO) TT=1800.04	SAT TT=1394.08 CHECKS=1085562 NODES=2811372	? (TO) TT=1800.15	? (TO) TT=1800.03	? (TO) TT=1800.08	? (TO) TT=1800.02	? (TO) TT=1800.2	? (TO) TT=1800.2	? (TO) TT=1801.01	? (TO) TT=1800.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
random/rand-3-24-24/ rand-3-24-24-76-632-30_ext.xml		? (TO) TT=1800.12	? (TO) TT=1800.15	? (TO) TT=1800.05	? (TO) TT=1800.09	? (TO) TT=1800.05	? (TO) TT=1800.07	? (TO) TT=1800.08	? (TO) TT=1800.04	? (TO) TT=1800.03	? (TO) TT=1800.03	? (TO) TT=1800.2	? (TO) TT=1800.17	? (TO) TT=1801.04	? (TO) TT=1800.09
random/rand-3-24-24/ rand-3-24-24-76-632-31_ext.xml	SAT TT=980.19	? (TO) TT=1800.07	? (TO) TT=1800.16	? (TO) TT=1800.09	? (TO) TT=1800.06	? (TO) TT=1800.01	? (TO) TT=1800.05	? (TO) TT=1800.11	? (TO) TT=1800.03	? (TO) TT=1800.02	SAT TT=980.19	? (TO) TT=1800.17	? (TO) TT=1800.15	? (TO) TT=1801.02	? (TO) TT=1800.01
random/rand-3-24-24/ rand-3-24-24-76-632-32_ext.xml	UNSAT TT=1710.44	? (TO) TT=1800.07	? (TO) TT=1800.07	? (TO) TT=1800.13	? (TO) TT=1800.06	? (TO) TT=1800.01	? (TO) TT=1800.07	? (TO) TT=1800.16	? (TO) TT=1800.06	? (TO) TT=1800.01	UNSAT TT=1710.44	? (TO) TT=1800.19	? (TO) TT=1800.21	? (TO) TT=1800.18	? (TO) TT=1800.1
random/rand-3-24-24/ rand-3-24-24-76-632-33_ext.xml	SAT TT=150.29	? (TO) TT=1800.15	? (TO) TT=1800.06	? (TO) TT=1800.08	? (TO) TT=1800.01	SAT TT=150.29 NODES=160580	SAT TT=181.594 CHECKS=1160361 NODES=286071	? (TO) TT=1800.17	? (TO) TT=1800.09	? (TO) TT=1800.05	SAT TT=1191.79	? (TO) TT=1800.24	? (TO) TT=1800.24	? (TO) TT=1800.92	SAT TT=1725.01
random/rand-3-24-24/ rand-3-24-24-76-632-34_ext.xml		? (TO) TT=1800.06	? (TO) TT=1800.09	? (TO) TT=1800.09	? (TO) TT=1800.09	? (TO) TT=1800.04	? (TO) TT=1800.02	? (TO) TT=1800.15	? (TO) TT=1800.09	? (TO) TT=1800.09	? (TO) TT=1800.07	? (TO) TT=1800.13	? (TO) TT=1800.17	? (TO) TT=1801.01	? (TO) TT=1800.07
random/rand-3-24-24/ rand-3-24-24-76-632-35_ext.xml	SAT TT=699.298	SAT TT=1438.19 CHECKS=1108547976 NODES=863608	? (TO) TT=1800.08	SAT TT=785.03	? (TO) TT=1800.01	SAT TT=1141.58 NODES=1124279	SAT TT=814.92 CHECKS=1135158 NODES=1141521	? (TO) TT=1800.14	? (TO) TT=1800.06	? (TO) TT=1800.06	SAT TT=699.298	SAT TT=1150.3	SAT TT=1139.78	? (TO) TT=1800.98	SAT TT=951.611
random/rand-3-24-24/ rand-3-24-24-76-632-36_ext.xml		? (TO) TT=1800.13	? (TO) TT=1800.09	? (TO) TT=1800.1	? (TO) TT=1800.08	? (TO) TT=1800.02	? (TO) TT=1800.06	? (TO) TT=1800.12	? (TO) TT=1800.08	? (TO) TT=1800.09	? (TO) TT=1800.03	? (TO) TT=1800.12	? (TO) TT=1800.16	? (TO) TT=1801.02	? (TO) TT=1800.12
random/rand-3-24-24/ rand-3-24-24-76-632-37_ext.xml		? (TO) TT=1800.13	? (TO) TT=1800.07	? (TO) TT=1800.07	? (TO) TT=1800.08	? (TO) TT=1800.06	? (TO) TT=1800.04	? (TO) TT=1800.09	? (TO) TT=1800.02	? (TO) TT=1800.09	? (TO) TT=1800.08	? (TO) TT=1800.18	? (TO) TT=1800.19	? (TO) TT=1801.03	? (TO) TT=1800.08
random/rand-3-24-24/ rand-3-24-24-76-632-38_ext.xml	SAT TT=421.256	SAT TT=421.256 CHECKS=300159833 NODES=313558	SAT TT=586.865 CHECKS=429201652 NODES=433942	? (TO) TT=1800.15	? (TO) TT=1800.01	SAT TT=1214.47 NODES=1579717	? (TO) TT=1800.09	? (TO) TT=1800.18	? (TO) TT=1800.03	? (TO) TT=1800.03	SAT TT=864.252	? (TO) TT=1800.23	? (TO) TT=1800.11	? (TO) TT=1800.99	SAT TT=1191.1
random/rand-3-24-24/ rand-3-24-24-76-632-39_ext.xml	SAT TT=395.207	? (TO) TT=1800.09	? (TO) TT=1800.18	? (TO) TT=1800.1	? (TO) TT=1800.04	SAT TT=946.47 NODES=1097704	SAT TT=395.207 CHECKS=1135232 NODES=674993	? (TO) TT=1800.14	? (TO) TT=1800.06	? (TO) TT=1800	? (TO) TT=1800.05	? (TO) TT=1800.17	? (TO) TT=1800.18	? (TO) TT=1800.41	? (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
random/rand-3-24-24/ rand-3-24-24-76-632-3_ext.xml	UNSAT TT=976.11	? (TO) TT=1800.15	? (TO) TT=1800.09	? (TO) TT=1800.11	? (TO) TT=1800.01	? (TO) TT=1800.07	UNSAT TT=1449.53 CHECKS=1110294 NODES=2465398	? (TO) TT=1800.13	? (TO) TT=1800.07	? (TO) TT=1800.04	UNSAT TT=976.11	? (TO) TT=1800.15	? (TO) TT=1800.19	? (TO) TT=1800.89	UNSAT TT=1264.98
random/rand-3-24-24/ rand-3-24-24-76-632-40_ext.xml		? (TO) TT=1800.06	? (TO) TT=1800.12	? (TO) TT=1800.09	? (TO) TT=1800.04	? (TO) TT=1800.08	? (TO) TT=1800.01	? (TO) TT=1800.09	? (TO) TT=1800.01	? (TO) TT=1800.09	? (TO) TT=1800.07	? (TO) TT=1800.16	? (TO) TT=1800.15	? (TO) TT=1801.02	? (TO) TT=1800.07
random/rand-3-24-24/ rand-3-24-24-76-632-41_ext.xml	SAT TT=226.419	? (TO) TT=1800.1	? (TO) TT=1800.11	? (TO) TT=1800.11	? (TO) TT=1800	SAT TT=299.472 NODES=290527	SAT TT=226.419 CHECKS=1160365 NODES=374911	? (TO) TT=1800.16	? (TO) TT=1800.02	? (TO) TT=1800.04	? (TO) TT=1800.1	? (TO) TT=1800.23	? (TO) TT=1800.12	? (TO) TT=1801.02	SAT TT=239.524
random/rand-3-24-24/ rand-3-24-24-76-632-42_ext.xml	UNSAT TT=539.028	UNSAT TT=1680.87 CHECKS=1246709720 NODES=1046384	UNSAT TT=1663.45 CHECKS=1236829999 NODES=1041250	? (TO) TT=1800.11	? (TO) TT=1800.11	UNSAT TT=918.477 NODES=983412	UNSAT TT=622.639 CHECKS=1060477 NODES=1032156	? (TO) TT=1800.08	? (TO) TT=1800.04	? (TO) TT=1800	UNSAT TT=539.028	? (TO) TT=1800.14	? (TO) TT=1800.14	? (TO) TT=1801.01	UNSAT TT=662.378
random/rand-3-24-24/ rand-3-24-24-76-632-43_ext.xml		? (TO) TT=1800.06	? (TO) TT=1800.14	? (TO) TT=1800.12	? (TO) TT=1800.08	? (TO) TT=1800.01	? (TO) TT=1800.1	? (TO) TT=1800.18	? (TO) TT=1800.06	? (TO) TT=1800.05	? (TO) TT=1800.07	? (TO) TT=1800.14	? (TO) TT=1800.17	? (TO) TT=1800.98	? (TO) TT=1800.06
random/rand-3-24-24/ rand-3-24-24-76-632-44_ext.xml	SAT TT=922.959	SAT TT=1380.49 CHECKS=1048316645 NODES=919430	? (TO) TT=1800.13	? (TO) TT=1800.11	? (TO) TT=1800.09	? (TO) TT=1800	? (TO) TT=1800.09	? (TO) TT=1800.09	? (TO) TT=1800.04	? (TO) TT=1800.06	SAT TT=922.959	? (TO) TT=1800.19	? (TO) TT=1800.14	? (TO) TT=1800.31	SAT TT=1469.21
random/rand-3-24-24/ rand-3-24-24-76-632-45_ext.xml		? (TO) TT=1800.16	? (TO) TT=1800.13	? (TO) TT=1800.08	? (TO) TT=1800.06	? (TO) TT=1800.01	? (TO) TT=1800.05	? (TO) TT=1800.18	? (TO) TT=1800.03	? (TO) TT=1800.08	? (TO) TT=1800.02	? (TO) TT=1800.12	? (TO) TT=1800.15	? (TO) TT=1800.73	? (TO) TT=1800.1
random/rand-3-24-24/ rand-3-24-24-76-632-46_ext.xml		? (TO) TT=1800.11	? (TO) TT=1800.13	? (TO) TT=1800.15	? (TO) TT=1800.04	? (TO) TT=1800.07	? (TO) TT=1800.05	? (TO) TT=1800.14	? (TO) TT=1800.06	? (TO) TT=1800.07	? (TO) TT=1800.06	? (TO) TT=1800.43	? (TO) TT=1800.24	? (TO) TT=1801	? (TO) TT=1800.08
random/rand-3-24-24/ rand-3-24-24-76-632-47_ext.xml		? (TO) TT=1800.08	? (TO) TT=1800.09	? (TO) TT=1800.07	? (TO) TT=1800.01	? (TO) TT=1800.07	? (TO) TT=1800	? (TO) TT=1800.18	? (TO) TT=1800.06	? (TO) TT=1800	? (TO) TT=1800.1	? (TO) TT=1800.23	? (TO) TT=1800.13	? (TO) TT=1801.11	? (TO) TT=1800.11
random/rand-3-24-24/ rand-3-24-24-76-632-48_ext.xml		? (TO) TT=1800.06	? (TO) TT=1800.05	? (TO) TT=1800.08	? (TO) TT=1800	? (TO) TT=1800.04	? (TO) TT=1800.07	? (TO) TT=1800.16	? (TO) TT=1800.02	? (TO) TT=1800.04	? (TO) TT=1800.08	? (TO) TT=1800.12	? (TO) TT=1800.13	? (TO) TT=1800.22	? (TO) TT=1800.03
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
random/rand-3-24-24/ rand-3-24-24-76-632-49_ext.xml	SAT TT=407.519	? (TO) TT=1800.12	SAT TT=407.519 CHECKS=310253738 NODES=300815	? (TO) TT=1800.11	? (TO) TT=1800.04	? (TO) TT=1800.09	SAT TT=1443.13 CHECKS=1085256 NODES=2592514	? (TO) TT=1800.08	? (TO) TT=1800.03	? (TO) TT=1800.1	SAT TT=1458.53	? (TO) TT=1800.2	? (TO) TT=1800.13	? (TO) TT=1800.97	SAT TT=760.624
random/rand-3-24-24/ rand-3-24-24-76-632-4_ext.xml	UNSAT TT=284.015	UNSAT TT=913.892 CHECKS=648736794 NODES=480771	UNSAT TT=931.082 CHECKS=651305203 NODES=481784	? (TO) TT=1800.14	UNSAT TT=1180.7 NODES=1498021	UNSAT TT=472.993 NODES=484953	UNSAT TT=284.015 CHECKS=1160446 NODES=413565	? (TO) TT=1800.13	? (TO) TT=1800.02	? (TO) TT=1800.08	UNSAT TT=290.634	? (TO) TT=1800.18	? (TO) TT=1800.15	? (TO) TT=1800.96	UNSAT TT=398.721
random/rand-3-24-24/ rand-3-24-24-76-632-50_ext.xml		? (TO) TT=1800.07	? (TO) TT=1800.13	? (TO) TT=1800.07	? (TO) TT=1800.03	? (TO) TT=1800.02	? (TO) TT=1800.04	? (TO) TT=1800.18	? (TO) TT=1800.09	? (TO) TT=1800.05	? (TO) TT=1800.02	? (TO) TT=1800.23	? (TO) TT=1800.41	? (TO) TT=1801	? (TO) TT=1800.03
random/rand-3-24-24/ rand-3-24-24-76-632-5_ext.xml		? (TO) TT=1800.14	? (TO) TT=1800.11	? (TO) TT=1800.16	? (TO) TT=1800.02	? (TO) TT=1800.03	? (TO) TT=1800.1	? (TO) TT=1800.12	? (TO) TT=1800.09	? (TO) TT=1800.08	? (TO) TT=1800.04	? (TO) TT=1800.23	? (TO) TT=1800.12	? (TO) TT=1801.01	? (TO) TT=1800.04
random/rand-3-24-24/ rand-3-24-24-76-632-6_ext.xml		? (TO) TT=1800.08	? (TO) TT=1800.07	? (TO) TT=1800.14	? (TO) TT=1800.01	? (TO) TT=1800.07	? (TO) TT=1800.04	? (TO) TT=1800.1	? (TO) TT=1800.04	? (TO) TT=1800.06	? (TO) TT=1800.07	? (TO) TT=1800.47	? (TO) TT=1800.16	? (TO) TT=1800.99	? (TO) TT=1800.06
random/rand-3-24-24/ rand-3-24-24-76-632-7_ext.xml	SAT TT=3.948	SAT TT=345.468 CHECKS=254099312 NODES=217040	SAT TT=3.948 CHECKS=1648298 NODES=1506	? (TO) TT=1800.07	SAT TT=59.897 NODES=81046	SAT TT=232.379 NODES=208306	SAT TT=261.468 CHECKS=1110427 NODES=380488	? (TO) TT=1800.09	? (TO) TT=1800.08	? (TO) TT=1800.01	SAT TT=238.984	? (TO) TT=1800.2	? (TO) TT=1800.14	? (TO) TT=1800.99	SAT TT=350.098
random/rand-3-24-24/ rand-3-24-24-76-632-8_ext.xml	UNSAT TT=1500.09	? (TO) TT=1800.07	? (TO) TT=1800.09	? (TO) TT=1800.06	? (TO) TT=1800.01	? (TO) TT=1800.03	? (TO) TT=1800.1	? (TO) TT=1800.13	? (TO) TT=1800.08	? (TO) TT=1800.05	UNSAT TT=1500.09	? (TO) TT=1800.17	? (TO) TT=1800.37	? (TO) TT=1800.98	? (TO) TT=1800.07
random/rand-3-24-24/ rand-3-24-24-76-632-9_ext.xml	UNSAT TT=1487.13	? (TO) TT=1800.05	? (TO) TT=1800.13	? (TO) TT=1800.11	? (TO) TT=1800.05	? (TO) TT=1800.01	? (TO) TT=1800.1	? (TO) TT=1800.15	? (TO) TT=1800	? (TO) TT=1800.07	UNSAT TT=1487.13	? (TO) TT=1800.15	? (TO) TT=1800.13	? (TO) TT=1800.23	? (TO) TT=1800.04
random/rand-3-28-28-fcd/ rand-3-28-28-93-632-fcd-11_ext.xml		? (TO) TT=1800.14	? (TO) TT=1800.07	? (TO) TT=1800.1	? (TO) TT=1800.08	? (TO) TT=1800.01	? (TO) TT=1800.01	? (MO) TT=10.237	? (TO) TT=1800.02	? (TO) TT=1800.04	? (TO) TT=1800.06	? (TO) TT=1800.21	? (TO) TT=1800.21	? TT=299.26	? (TO) TT=1800.09
random/rand-3-28-28-fcd/ rand-3-28-28-93-632-fcd-13_ext.xml	SAT TT=718.704	SAT TT=718.704 CHECKS=439981372 NODES=319010	? (TO) TT=1800.14	? (TO) TT=1800.19	? (TO) TT=1800.04	? (TO) TT=1800.04	? (TO) TT=1800.08	? (MO) TT=11.103	? (TO) TT=1800.08	? (TO) TT=1800.05	? (TO) TT=1800.04	? (TO) TT=1800.16	? (TO) TT=1800.17	? TT=320.29	? (TO) TT=1800.03
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
random/rand-3-28-28-fcd/ rand-3-28-28-93-632-fcd-15_ext.xml		? (TO) TT=1800.05	? (TO) TT=1800.14	? (TO) TT=1800.14	? (TO) TT=1800.03	? (TO) TT=1800.08	? (TO) TT=1800.08	? (MO) TT=10.378	? (TO) TT=1800.09	? (TO) TT=1800.05	? (TO) TT=1800.11	? (TO) TT=1800.19	? (TO) TT=1800.15	? TT=318.71	? (TO) TT=1800.05
random/rand-3-28-28-fcd/ rand-3-28-28-93-632-fcd-17_ext.xml		? (TO) TT=1800.19	? (TO) TT=1800.13	? (TO) TT=1800.13	? (TO) TT=1800.11	? (TO) TT=1800.1	? (TO) TT=1800.01	? (MO) TT=11.094	? (TO) TT=1800.01	? (TO) TT=1800.08	? (TO) TT=1800.08	? (TO) TT=1800.25	? (TO) TT=1800.17	? TT=327.48	? (TO) TT=1800.09
random/rand-3-28-28-fcd/ rand-3-28-28-93-632-fcd-19_ext.xml		? (TO) TT=1800.1	? (TO) TT=1800.11	? (TO) TT=1800.13	? (TO) TT=1800.06	? (TO) TT=1800.07	? (TO) TT=1800.06	? (MO) TT=9.755	? (TO) TT=1800.01	? (TO) TT=1800	? (TO) TT=1800.11	? (TO) TT=1800.19	? (TO) TT=1800.22	? TT=331.26	? (TO) TT=1800.08
random/rand-3-28-28-fcd/ rand-3-28-28-93-632-fcd-21_ext.xml		? (TO) TT=1800.08	? (TO) TT=1800.12	? (TO) TT=1800.17	? (TO) TT=1800.01	? (TO) TT=1800.03	? (TO) TT=1800.1	? (MO) TT=10.479	? (TO) TT=1800.08	? (TO) TT=0.028	? (TO) TT=1800.05	? (TO) TT=1800.21	? (TO) TT=1800.18	? TT=323.75	? (TO) TT=1800.09
random/rand-3-28-28-fcd/ rand-3-28-28-93-632-fcd-23_ext.xml	SAT TT=100.169	? (TO) TT=1800.14	? (TO) TT=1800.06	? (TO) TT=1800.16	? (TO) TT=1800.02	? (TO) TT=1800.1	? (TO) TT=1800.02	? (MO) TT=10.385	? (TO) TT=1800.1	? (TO) TT=1800.09	SAT TT=100.169	? (TO) TT=1800.2	? (TO) TT=1800.12	? TT=339.24	? (TO) TT=1800.02
random/rand-3-28-28-fcd/ rand-3-28-28-93-632-fcd-25_ext.xml		? (TO) TT=1800.08	? (TO) TT=1800.14	? (TO) TT=1800.17	? (TO) TT=1800.1	? (TO) TT=1800.03	? (TO) TT=1800.07	? (MO) TT=10.181	? (TO) TT=1800.02	? (TO) TT=0.024	? (TO) TT=1800.04	? (TO) TT=1800.18	? (TO) TT=1800.17	? TT=344.09	? (TO) TT=1800.08
random/rand-3-28-28-fcd/ rand-3-28-28-93-632-fcd-27_ext.xml		? (TO) TT=1800.11	? (TO) TT=1800.13	? (TO) TT=1800.14	? (TO) TT=1800.02	? (TO) TT=1800.01	? (TO) TT=1800.1	? (MO) TT=11.112	? (TO) TT=1800.06	? (TO) TT=1800.05	? (TO) TT=1800.12	? (TO) TT=1800.23	? (TO) TT=1800.25	? TT=299.02	? (TO) TT=1800.11
random/rand-3-28-28-fcd/ rand-3-28-28-93-632-fcd-29_ext.xml		? (TO) TT=1800.12	? (TO) TT=1800.11	? (TO) TT=1800.11	? (TO) TT=1800.09	? (TO) TT=1800.01	? (TO) TT=1800.04	? (MO) TT=11.152	? (TO) TT=1800.07	? (TO) TT=1800.1	? (TO) TT=1800.09	? (TO) TT=1800.14	? (TO) TT=1800.23	? TT=329.85	? (TO) TT=1800.08
random/rand-3-28-28-fcd/ rand-3-28-28-93-632-fcd-31_ext.xml		? (TO) TT=1800.1	? (TO) TT=1800.13	? (TO) TT=1800.1	? (TO) TT=1800.07	? (TO) TT=1800.1	? (TO) TT=1800.07	? (MO) TT=11.095	? (TO) TT=1800.02	? (TO) TT=1800.04	? (TO) TT=1800.11	? (TO) TT=1800.23	? (TO) TT=1800.18	? TT=330.58	? (TO) TT=1800.06
random/rand-3-28-28-fcd/ rand-3-28-28-93-632-fcd-33_ext.xml		? (TO) TT=1800.14	? (TO) TT=1800.15	? (TO) TT=1800.15	? (TO) TT=1800.02	? (TO) TT=1800.01	? (TO) TT=1800.03	? (MO) TT=10.395	? (TO) TT=1800.04	? (TO) TT=1800	? (TO) TT=1800.08	? (TO) TT=1800.27	? (TO) TT=1800.16	? TT=303.63	? (TO) TT=1800.07
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
random/rand-3-28-28-fcd/ rand-3-28-28-93-632-fcd-35_ext.xml		? (TO) TT=1800.05	? (TO) TT=1800.15	? (TO) TT=1800.1	? (TO) TT=1800.01	? (TO) TT=1800.04	? (TO) TT=1800.09	? (MO) TT=10.895	? (TO) TT=1800.05	? (TO) TT=0.027	? (TO) TT=1800.04	? (TO) TT=1800.22	? (TO) TT=1800.15	? TT=316.39	? (TO) TT=1800.04
random/rand-3-28-28-fcd/ rand-3-28-28-93-632-fcd-37_ext.xml		? (TO) TT=1800.12	? (TO) TT=1800.11	? (TO) TT=1800.19	? (TO) TT=1800	? (TO) TT=1800.08	? (TO) TT=1800.08	? (MO) TT=10.48	? (TO) TT=1800.08	? (TO) TT=1800.07	? (TO) TT=1800.04	? (TO) TT=1800.17	? (TO) TT=1800.17	? TT=334.97	? (TO) TT=1800.01
random/rand-3-28-28-fcd/ rand-3-28-28-93-632-fcd-39_ext.xml		? (TO) TT=1800.1	? (TO) TT=1800.17	? (TO) TT=1800.18	? (TO) TT=1800.09	? (TO) TT=1800.02	? (TO) TT=1800.05	? (MO) TT=11.099	? (TO) TT=1800.01	? (TO) TT=1800.02	? (TO) TT=1800.03	? (TO) TT=1800.18	? (TO) TT=1800.2	? TT=335.25	? (TO) TT=1800.05
random/rand-3-28-28-fcd/ rand-3-28-28-93-632-fcd-41_ext.xml	SAT TT=36.098	? (TO) TT=1800.17	? (TO) TT=1800.14	? (TO) TT=1800.17	? (TO) TT=1800.07	SAT TT=1083.5 NODES=800471	SAT TT=36.098 CHECKS=2135667 NODES=35771	? (MO) TT=10.383	? (TO) TT=1800.09	? (TO) TT=1800.04	? (TO) TT=1800.03	? (TO) TT=1800.17	? (TO) TT=1800.15	? TT=325.8	? (TO) TT=1800.11
random/rand-3-28-28-fcd/ rand-3-28-28-93-632-fcd-43_ext.xml	SAT TT=246.336	? (TO) TT=1800.1	? (TO) TT=1800.12	? (TO) TT=1800.16	SAT TT=246.336 NODES=228598	? (TO) TT=1800.08	? (TO) TT=1800.03	? (MO) TT=10.911	? (TO) TT=1800.01	? (TO) TT=1800.07	SAT TT=1276.13	? (TO) TT=1800.22	? (TO) TT=1800.17	? TT=330.83	SAT TT=1540.85
random/rand-3-28-28-fcd/ rand-3-28-28-93-632-fcd-45_ext.xml		? (TO) TT=1800.08	? (TO) TT=1800.09	? (TO) TT=1800.1	? (TO) TT=1800.09	? (TO) TT=1800.04	? (TO) TT=1800.09	? (MO) TT=9.844	? (TO) TT=1800.08	? (TO) TT=1800	? (TO) TT=1800.1	? (TO) TT=1800.18	? (TO) TT=1800.23	? TT=317.86	? (TO) TT=1800.11
random/rand-3-28-28-fcd/ rand-3-28-28-93-632-fcd-47_ext.xml		? (TO) TT=1800.07	? (TO) TT=1800.1	? (TO) TT=1800.16	? (TO) TT=1800.05	? (TO) TT=1800.02	? (TO) TT=1800.1	? (MO) TT=10.812	? (TO) TT=1800.09	? (TO) TT=1800.02	? (TO) TT=1800.07	? (TO) TT=1800.13	? (TO) TT=1800.47	? TT=343.56	? (TO) TT=1800.1
random/rand-3-28-28-fcd/ rand-3-28-28-93-632-fcd-49_ext.xml		? (TO) TT=1800.08	? (TO) TT=1800.13	? (TO) TT=1800.1	? (TO) TT=1800.08	? (TO) TT=1800.08	? (TO) TT=1800.04	? (MO) TT=10.98	? (TO) TT=1800.09	? (TO) TT=1800.06	? (TO) TT=1800.06	? (TO) TT=1800.15	? (TO) TT=1800.18	? TT=328.09	? (TO) TT=1800.06
random/rand-3-28-28/ rand-3-28-28-93-632-10_ext.xml	SAT TT=1741.14	? (TO) TT=1800.11	? (TO) TT=1800.13	? (TO) TT=1800.2	? (TO) TT=1800.08	? (TO) TT=1800.06	SAT TT=1741.14 CHECKS=2254343 NODES=1994805	? (MO) TT=9.903	? (TO) TT=1800.02	? (TO) TT=1800.02	? (TO) TT=1800.03	? (TO) TT=1800.23	? (TO) TT=1800.17	? TT=334.93	? (TO) TT=1800.08
random/rand-3-28-28/ rand-3-28-28-93-632-11_ext.xml		? (TO) TT=1800.14	? (TO) TT=1800.09	? (TO) TT=1800.11	? (TO) TT=1800.05	? (TO) TT=1800.1	? (TO) TT=1800.08	? (MO) TT=10.602	? (TO) TT=1800.02	? (TO) TT=1800.02	? (TO) TT=1800.02	? (TO) TT=1800.2	? (TO) TT=1800.44	? TT=297.66	? (TO) TT=1800.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
random/rand-3-28-28/ rand-3-28-28-93-632-12_ext.xml		? (TO) TT=1800.16	? (TO) TT=1800.16	? (TO) TT=1800.13	? (TO) TT=1800	? (TO) TT=1800.07	? (TO) TT=1800.09	? (MO) TT=10.268	? (TO) TT=1800.07	? (TO) TT=1800.04	? (TO) TT=1800.07	? (TO) TT=1800.21	? (TO) TT=1800.21	? TT=352.12	? (TO) TT=1800.07
random/rand-3-28-28/ rand-3-28-28-93-632-13_ext.xml	SAT TT=312.575	? (TO) TT=1800.16	SAT TT=312.575 CHECKS=191174096 NODES=139663	? (TO) TT=1800.18	? (TO) TT=1800.01	? (TO) TT=1800.09	? (TO) TT=1800.06	? (MO) TT=9.989	? (TO) TT=1800.04	? (TO) TT=1800.02	? (TO) TT=1800.06	? (TO) TT=1800.24	? (TO) TT=1800.21	? TT=319.32	? (TO) TT=1800.01
random/rand-3-28-28/ rand-3-28-28-93-632-14_ext.xml		? (TO) TT=1800.19	? (TO) TT=1800.13	? (TO) TT=1800.17	? (TO) TT=1800.09	? (TO) TT=1800.04	? (TO) TT=1800.07	? (MO) TT=10.258	? (TO) TT=1800.08	? (TO) TT=0.03	? (TO) TT=1800.1	? (TO) TT=1800.3	? (TO) TT=1800.21	? TT=328.86	? (TO) TT=1800.06
random/rand-3-28-28/ rand-3-28-28-93-632-15_ext.xml		? (TO) TT=1800.11	? (TO) TT=1800.19	? (TO) TT=1800.14	? (TO) TT=1800.06	? (TO) TT=1800.05	? (TO) TT=1800.08	? (MO) TT=9.754	? (TO) TT=1800.1	? (TO) TT=1800.05	? (TO) TT=1800.02	? (TO) TT=1800.19	? (TO) TT=1800.26	? TT=315.47	? (TO) TT=1800.02
random/rand-3-28-28/ rand-3-28-28-93-632-16_ext.xml		? (TO) TT=1800.13	? (TO) TT=1800.14	? (TO) TT=1800.19	? (TO) TT=1800.05	? (TO) TT=1800.07	? (TO) TT=1800.03	? (MO) TT=10.736	? (TO) TT=1800.03	? (TO) TT=1800.04	? (TO) TT=1800.06	? (TO) TT=1800.24	? (TO) TT=1800.21	? TT=326.74	? (TO) TT=1800.1
random/rand-3-28-28/ rand-3-28-28-93-632-17_ext.xml		? (TO) TT=1800.1	? (TO) TT=1800.11	? (TO) TT=1800.16	? (TO) TT=1800.1	? (TO) TT=1800.07	? (TO) TT=1800.05	? (MO) TT=9.977	? (TO) TT=1800.06	? (TO) TT=1800.07	? (TO) TT=1800.02	? (TO) TT=1800.2	? (TO) TT=1800.19	? TT=312.15	? (TO) TT=1800.01
random/rand-3-28-28/ rand-3-28-28-93-632-18_ext.xml		? (TO) TT=1800.14	? (TO) TT=1800.14	? (TO) TT=1800.15	? (TO) TT=1800.08	? (TO) TT=1800.05	? (TO) TT=1800.09	? (MO) TT=9.968	? (TO) TT=1800.03	? (TO) TT=0.031	? (TO) TT=1800.05	? (TO) TT=1800.23	? (TO) TT=1800.18	? TT=330	? (TO) TT=1800.07
random/rand-3-28-28/ rand-3-28-28-93-632-19_ext.xml		? (TO) TT=1800.13	? (TO) TT=1800.1	? (TO) TT=1800.09	? (TO) TT=1800.07	? (TO) TT=1800.01	? (TO) TT=1800.06	? (MO) TT=10.626	? (TO) TT=1800.07	? (TO) TT=0.028	? (TO) TT=1800.05	? (TO) TT=1800.18	? (TO) TT=1800.17	? TT=323.76	? (TO) TT=1800.07
random/rand-3-28-28/ rand-3-28-28-93-632-1_ext.xml		? (TO) TT=1800.14	? (TO) TT=1800.08	? (TO) TT=1800.18	? (TO) TT=1800.05	? (TO) TT=1800	? (TO) TT=1800.05	? (MO) TT=11.21	? (TO) TT=1800.01	? (TO) TT=1800.04	? (TO) TT=1800.07	? (TO) TT=1800.24	? (TO) TT=1800.16	? TT=296.06	? (TO) TT=1800.09
random/rand-3-28-28/ rand-3-28-28-93-632-20_ext.xml		? (TO) TT=1800.09	? (TO) TT=1800.12	? (TO) TT=1800.09	? (TO) TT=1800.03	? (TO) TT=1800.04	? (TO) TT=1800	? (MO) TT=10.556	? (TO) TT=1800.08	? (TO) TT=1800.06	? (TO) TT=1800.05	? (TO) TT=1800.17	? (TO) TT=1800.38	? TT=321.11	? (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
random/rand-3-28-28/ rand-3-28-28-93-632-21_ext.xml		? (TO) TT=1800.14	? (TO) TT=1800.16	? (TO) TT=1800.17	? (TO) TT=1800.02	? (TO) TT=1800.01	? (TO) TT=1800.08	? (MO) TT=10.117	? (TO) TT=1800	? (TO) TT=1800.03	? (TO) TT=1800.02	? (TO) TT=1800.19	? (TO) TT=1800.26	? TT=335.24	? (TO) TT=1800.02
random/rand-3-28-28/ rand-3-28-28-93-632-22_ext.xml		? (TO) TT=1800.15	? (TO) TT=1800.1	? (TO) TT=1800.1	? (TO) TT=1800.03	? (TO) TT=1800.01	? (TO) TT=1800.08	? (MO) TT=9.895	? (TO) TT=1800.08	? (TO) TT=1800.05	? (TO) TT=1800.06	? (TO) TT=1800.21	? (TO) TT=1800.14	? TT=317.64	? (TO) TT=1800.1
random/rand-3-28-28/ rand-3-28-28-93-632-23_ext.xml		? (TO) TT=1800.13	? (TO) TT=1800.11	? (TO) TT=1800.15	? (TO) TT=1800	? (TO) TT=1800.03	? (TO) TT=1800	? (MO) TT=10.12	? (TO) TT=1800.05	? (TO) TT=1800.03	? (TO) TT=1800.08	? (TO) TT=1800.14	? (TO) TT=1800.14	? TT=331.96	? (TO) TT=1800.09
random/rand-3-28-28/ rand-3-28-28-93-632-24_ext.xml		? (TO) TT=1800.13	? (TO) TT=1800.16	? (TO) TT=1800.16	? (TO) TT=1800.06	? (TO) TT=1800.01	? (TO) TT=1800.03	? (MO) TT=10.318	? (TO) TT=1800.09	? (TO) TT=1800.03	? (TO) TT=1800.04	? (TO) TT=1800.26	? (TO) TT=1800.16	? TT=333.37	? (TO) TT=1800.09
random/rand-3-28-28/ rand-3-28-28-93-632-25_ext.xml		? (TO) TT=1800.16	? (TO) TT=1800.13	? (TO) TT=1800.16	? (TO) TT=1800.09	? (TO) TT=1800.01	? (TO) TT=1800.07	? (MO) TT=10.351	? (TO) TT=1800.05	? (TO) TT=0.029	? (TO) TT=1800.08	? (TO) TT=1800.27	? (TO) TT=1800.19	? TT=330.4	? (TO) TT=1800.06
random/rand-3-28-28/ rand-3-28-28-93-632-26_ext.xml		? (TO) TT=1800.13	? (TO) TT=1800.09	? (TO) TT=1800.18	? (TO) TT=1800.08	? (TO) TT=1800.02	? (TO) TT=1800.06	? (MO) TT=10.009	? (TO) TT=1800.08	? (TO) TT=0.025	? (TO) TT=1800.11	? (TO) TT=1800.27	? (TO) TT=1800.14	? TT=330.13	? (TO) TT=1800.02
random/rand-3-28-28/ rand-3-28-28-93-632-27_ext.xml		? (TO) TT=1800.12	? (TO) TT=1800.1	? (TO) TT=1800.19	? (TO) TT=1800.06	? (TO) TT=1800.05	? (TO) TT=1800.06	? (MO) TT=9.987	? (TO) TT=1800.09	? (TO) TT=1800.04	? (TO) TT=1800.03	? (TO) TT=1800.18	? (TO) TT=1800.2	? TT=331.79	? (TO) TT=1800.07
random/rand-3-28-28/ rand-3-28-28-93-632-28_ext.xml		? (TO) TT=1800.07	? (TO) TT=1800.09	? (TO) TT=1800.12	? (TO) TT=1800.01	? (TO) TT=1800.01	? (TO) TT=1800.03	? (MO) TT=9.943	? (TO) TT=1800.07	? (TO) TT=1800	? (TO) TT=1800.06	? (TO) TT=1800.22	? (TO) TT=1800.21	? TT=310.43	? (TO) TT=1800.05
random/rand-3-28-28/ rand-3-28-28-93-632-29_ext.xml		? (TO) TT=1800.07	? (TO) TT=1800.11	? (TO) TT=1800.13	? (TO) TT=1800.09	? (TO) TT=1800.01	? (TO) TT=1800.07	? (MO) TT=10.539	? (TO) TT=1800.07	? (TO) TT=1800.02	? (TO) TT=1800.09	? (TO) TT=1800.22	? (TO) TT=1800.18	? TT=314.03	? (TO) TT=1800.02
random/rand-3-28-28/ rand-3-28-28-93-632-2_ext.xml		? (TO) TT=1800.13	? (TO) TT=1800.15	? (TO) TT=1800.14	? (TO) TT=1800.04	? (TO) TT=1800.09	? (TO) TT=1800.09	? (MO) TT=10.479	? (TO) TT=1800.04	? (TO) TT=0.028	? (TO) TT=1800.06	? (TO) TT=1800.2	? (TO) TT=1800.14	? TT=350.79	? (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
random/rand-3-28-28/ rand-3-28-28-93-632-30_ext.xml		? (TO) TT=1800.11	? (TO) TT=1800.09	? (TO) TT=1800.16	? (TO) TT=1800.06	? (TO) TT=1800.06	? (TO) TT=1800.06	? (MO) TT=10.596	? (TO) TT=1800.08	? (TO) TT=1800.09	? (TO) TT=1800.04	? (TO) TT=1800.18	? (TO) TT=1800.2	? TT=307.58	? (TO) TT=1800.06
random/rand-3-28-28/ rand-3-28-28-93-632-31_ext.xml		? (TO) TT=1800.11	? (TO) TT=1800.15	? (TO) TT=1800.19	? (TO) TT=1800.06	? (TO) TT=1800.03	? (TO) TT=1800.03	? (MO) TT=9.97	? (TO) TT=1800.11	? (TO) TT=1800.07	? (TO) TT=1800.06	? (TO) TT=1800.16	? (TO) TT=1800.16	? TT=330.02	? (TO) TT=1800.08
random/rand-3-28-28/ rand-3-28-28-93-632-32_ext.xml		? (TO) TT=1800.1	? (TO) TT=1800.14	? (TO) TT=1800.17	? (TO) TT=1800.03	? (TO) TT=1800.06	? (TO) TT=1800.01	? (MO) TT=10.471	? (TO) TT=1800.09	? (MO) TT=0.02	? (TO) TT=1800.07	? (TO) TT=1800.25	? (TO) TT=1800.21	? TT=327.86	? (TO) TT=1800.11
random/rand-3-28-28/ rand-3-28-28-93-632-33_ext.xml		? (TO) TT=1800.13	? (TO) TT=1800.09	? (TO) TT=1800.17	? (TO) TT=1800.04	? (TO) TT=1800.04	? (TO) TT=1800.09	? (MO) TT=10.306	? (TO) TT=1800.04	? (TO) TT=1800.08	? (TO) TT=1800.08	? (TO) TT=1800.21	? (TO) TT=1800.23	? TT=328.16	? (TO) TT=1800.11
random/rand-3-28-28/ rand-3-28-28-93-632-34_ext.xml		? (TO) TT=1800.13	? (TO) TT=1800.12	? (TO) TT=1800.18	? (TO) TT=1800.09	? (TO) TT=1800.09	? (TO) TT=1800.05	? (MO) TT=10.376	? (TO) TT=1800.04	? (TO) TT=1800.06	? (TO) TT=1800.1	? (TO) TT=1800.47	? (TO) TT=1800.21	? TT=310.04	? (TO) TT=1800.05
random/rand-3-28-28/ rand-3-28-28-93-632-35_ext.xml		? (TO) TT=1800.14	? (TO) TT=1800.09	? (TO) TT=1800.14	? (TO) TT=1800.1	? (TO) TT=1800.02	? (TO) TT=1800.05	? (MO) TT=10.557	? (TO) TT=1800.09	? (TO) TT=0.027	? (TO) TT=1800.03	? (TO) TT=1800.21	? (TO) TT=1800.13	? TT=318.03	? (TO) TT=1800.07
random/rand-3-28-28/ rand-3-28-28-93-632-36_ext.xml		? (TO) TT=1800.13	? (TO) TT=1800.12	? (TO) TT=1800.15	? (TO) TT=1800.08	? (TO) TT=1800.09	? (TO) TT=1800.01	? (MO) TT=9.89	? (TO) TT=1800.05	? (TO) TT=0.027	? (TO) TT=1800.06	? (TO) TT=1800.2	? (TO) TT=1800.25	? TT=326.84	? (TO) TT=1800.07
random/rand-3-28-28/ rand-3-28-28-93-632-37_ext.xml		? (TO) TT=1800.07	? (TO) TT=1800.13	? (TO) TT=1800.12	? (TO) TT=1800	? (TO) TT=1800.08	? (TO) TT=1800.1	? (MO) TT=10.276	? (TO) TT=1800.08	? (TO) TT=1800.09	? (TO) TT=1800.03	? (TO) TT=1800.25	? (TO) TT=1800.17	? TT=299.16	? (TO) TT=1800.02
random/rand-3-28-28/ rand-3-28-28-93-632-38_ext.xml		? (TO) TT=1800.11	? (TO) TT=1800.12	? (TO) TT=1800.1	? (TO) TT=1800.02	? (TO) TT=1800.08	? (TO) TT=1800.01	? (MO) TT=9.824	? (TO) TT=1800.1	? (TO) TT=1800.06	? (TO) TT=1800.04	? (TO) TT=1800.23	? (TO) TT=1800.16	? TT=331.17	? (TO) TT=1800.03
random/rand-3-28-28/ rand-3-28-28-93-632-39_ext.xml		? (TO) TT=1800.16	? (TO) TT=1800.1	? (TO) TT=1800.15	? (TO) TT=1800.04	? (TO) TT=1800.05	? (TO) TT=1800.01	? (MO) TT=9.909	? (TO) TT=1800.05	? (TO) TT=1800.09	? (TO) TT=1800.12	? (TO) TT=1800.13	? (TO) TT=1800.19	? TT=351.05	? (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
random/rand-3-28-28/ rand-3-28-28-93-632-3_ext.xml		? (TO) TT=1800.12	? (TO) TT=1800.17	? (TO) TT=1800.11	? (TO) TT=1800.02	? (TO) TT=1800.06	? (TO) TT=1800.03	? (MO) TT=10.479	? (TO) TT=1800.03	? (TO) TT=1800.02	? (TO) TT=1800.01	? (MO) TT=1779.39	? (TO) TT=1800.26	? TT=320.54	? (TO) TT=1800.08
random/rand-3-28-28/ rand-3-28-28-93-632-40_ext.xml		? (TO) TT=1800.16	? (TO) TT=1800.12	? (TO) TT=1800.14	? (TO) TT=1800.02	? (TO) TT=1800.09	? (TO) TT=1800.09	? (MO) TT=10.246	? (TO) TT=1800.07	? (TO) TT=1800.1	? (TO) TT=1800.05	? (TO) TT=1800.11	? (TO) TT=1800.16	? TT=339.18	? (TO) TT=1800.02
random/rand-3-28-28/ rand-3-28-28-93-632-41_ext.xml		? (TO) TT=1800.18	? (TO) TT=1800.09	? (TO) TT=1800.17	? (TO) TT=1800.02	? (TO) TT=1800.02	? (TO) TT=1800.06	? (MO) TT=10.589	? (TO) TT=1800.1	? (TO) TT=0.028	? (TO) TT=1800.03	? (TO) TT=1800.13	? (TO) TT=1800.16	? TT=315.77	? (TO) TT=1800.12
random/rand-3-28-28/ rand-3-28-28-93-632-42_ext.xml		? (TO) TT=1800.08	? (TO) TT=1800.07	? (TO) TT=1800.09	? (TO) TT=1800.09	? (TO) TT=1800.06	? (TO) TT=1800.07	? (MO) TT=10.549	? (TO) TT=1800.05	? (TO) TT=1800.09	? (TO) TT=1800.11	? (TO) TT=1800.21	? (TO) TT=1800.14	? TT=342.88	? (TO) TT=1800.04
random/rand-3-28-28/ rand-3-28-28-93-632-43_ext.xml		? (TO) TT=1800.08	? (TO) TT=1800.12	? (TO) TT=1800.13	? (TO) TT=1800	? (TO) TT=1800.07	? (TO) TT=1800.09	? (MO) TT=9.866	? (TO) TT=1800.09	? (TO) TT=1800.02	? (TO) TT=1800.1	? (TO) TT=1800.18	? (TO) TT=1800.49	? TT=330.1	? (TO) TT=1800.08
random/rand-3-28-28/ rand-3-28-28-93-632-44_ext.xml		? (TO) TT=1800.07	? (TO) TT=1800.11	? (TO) TT=1800.17	? (TO) TT=1800.11	? (TO) TT=1800.02	? (TO) TT=1800.05	? (MO) TT=10.483	? (TO) TT=1800.03	? (TO) TT=1800.08	? (TO) TT=1800.03	? (TO) TT=1800.18	? (TO) TT=1800.19	? TT=318.92	? (TO) TT=1800.03
random/rand-3-28-28/ rand-3-28-28-93-632-45_ext.xml		? (TO) TT=1800.15	? (TO) TT=1800.14	? (TO) TT=1800.1	? (TO) TT=1800.03	? (TO) TT=1800.07	? (TO) TT=1800.09	? (MO) TT=10.124	? (TO) TT=1800.07	? (TO) TT=0.023	? (TO) TT=1800.11	? (TO) TT=1800.17	? (TO) TT=1800.2	? TT=314.95	? (TO) TT=1800.09
random/rand-3-28-28/ rand-3-28-28-93-632-46_ext.xml	SAT TT=81.297	? (TO) TT=1800.1	? (TO) TT=1800.06	? (TO) TT=1800.09	? (TO) TT=1800.03	? (TO) TT=1800.09	? (TO) TT=1800.04	? (MO) TT=9.892	? (TO) TT=1800.07	? (TO) TT=1800.04	SAT TT=81.297	? (TO) TT=1800.13	? (TO) TT=1800.18	? TT=315.36	? (TO) TT=1800.05
random/rand-3-28-28/ rand-3-28-28-93-632-47_ext.xml		? (TO) TT=1800.11	? (TO) TT=1800.06	? (TO) TT=1800.15	? (TO) TT=1800.01	? (TO) TT=1800.01	? (TO) TT=1800.07	? (MO) TT=9.975	? (TO) TT=1800.01	? (TO) TT=1800.06	? (TO) TT=1800.09	? (TO) TT=1800.13	? (TO) TT=1800.19	? TT=350.65	? (TO) TT=1800.06
random/rand-3-28-28/ rand-3-28-28-93-632-48_ext.xml		? (TO) TT=1800.13	? (TO) TT=1800.15	? (TO) TT=1800.15	? (TO) TT=1800.04	? (TO) TT=1800.01	? (TO) TT=1800.07	? (MO) TT=10.585	? (TO) TT=1800.09	? (TO) TT=0.028	? (TO) TT=1800.03	? (TO) TT=1800.19	? (TO) TT=1800.23	? TT=295.56	? (TO) TT=1800.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
random/rand-3-28-28/ rand-3-28-28-93-632-49_ext.xml	SAT TT=444.223	? (TO) TT=1800.13	? (TO) TT=1800.15	? (TO) TT=1800.18	? (TO) TT=1800.07	? (TO) TT=1800.07	? (TO) TT=1800.08	? (MO) TT=9.828	? (TO) TT=1800.08	? (TO) TT=0.023	SAT TT=444.223	? (TO) TT=1800.14	? (TO) TT=1800.19	? TT=345.49	? (TO) TT=1800.09
random/rand-3-28-28/ rand-3-28-28-93-632-4_ext.xml		? (TO) TT=1800.14	? (TO) TT=1800.15	? (TO) TT=1800.16	? (TO) TT=1800.01	? (TO) TT=1800.07	? (TO) TT=1800.03	? (MO) TT=9.964	? (TO) TT=1800.1	? (TO) TT=1800.03	? (TO) TT=1800.09	? (TO) TT=1800.17	? (TO) TT=1800.16	? TT=307.88	? (TO) TT=1800.08
random/rand-3-28-28/ rand-3-28-28-93-632-50_ext.xml		? (TO) TT=1800.14	? (TO) TT=1800.17	? (TO) TT=1800.15	? (TO) TT=1800.04	? (TO) TT=1800.1	? (TO) TT=1800.07	? (MO) TT=9.83	? (TO) TT=1800.08	? (TO) TT=1800.08	? (TO) TT=1800.02	? (TO) TT=1800.21	? (TO) TT=1800.27	? TT=314.78	? (TO) TT=1800.11
random/rand-3-28-28/ rand-3-28-28-93-632-5_ext.xml		? (TO) TT=1800.07	? (TO) TT=1800.11	? (TO) TT=1800.18	? (TO) TT=1800.03	? (TO) TT=1800.07	? (TO) TT=1800.06	? (MO) TT=9.951	? (TO) TT=1800.1	? (TO) TT=1800	? (TO) TT=1800.01	? (TO) TT=1800.22	? (TO) TT=1800.14	? TT=326.86	? (TO) TT=1800.06
random/rand-3-28-28/ rand-3-28-28-93-632-6_ext.xml		? (TO) TT=1800.1	? (TO) TT=1800.14	? (TO) TT=1800.11	? (TO) TT=1800.01	? (TO) TT=1800	? (TO) TT=1800.03	? (MO) TT=10.563	? (TO) TT=1800	? (TO) TT=0.029	? (TO) TT=1800.11	? (TO) TT=1800.17	? (MO) TT=1763.03	? TT=330.12	? (TO) TT=1800.1
random/rand-3-28-28/ rand-3-28-28-93-632-7_ext.xml		? (TO) TT=1800.14	? (TO) TT=1800.17	? (TO) TT=1800.14	? (TO) TT=1800	? (TO) TT=1800.05	? (TO) TT=1800.01	? (MO) TT=9.94	? (TO) TT=1800.07	? (TO) TT=1800.07	? (TO) TT=1800.12	? (TO) TT=1800.18	? (TO) TT=1800.15	? TT=330.44	? (TO) TT=1800.06
random/rand-3-28-28/ rand-3-28-28-93-632-8_ext.xml		? (TO) TT=1800.12	? (TO) TT=1800.18	? (TO) TT=1800.13	? (TO) TT=1800.03	? (TO) TT=1800.02	? (TO) TT=1800.01	? (MO) TT=9.94	? (TO) TT=1800.09	? (TO) TT=1800.06	? (TO) TT=1800.08	? (TO) TT=1800.17	? (TO) TT=1800.2	? TT=335.31	? (TO) TT=1800.02
random/rand-3-28-28/ rand-3-28-28-93-632-9_ext.xml		? (TO) TT=1800.1	? (TO) TT=1800.14	? (TO) TT=1800.18	? (TO) TT=1800.06	? (TO) TT=1800.01	? (TO) TT=1800.02	? (MO) TT=9.855	? (TO) TT=1800.08	? (TO) TT=1800.1	? (TO) TT=1800.1	? (TO) TT=1800.14	? (TO) TT=1800.17	? TT=321.6	? (TO) TT=1800.09
random/rand-8-20-5/ rand-8-20-5-18-800-11_ext.xml	SAT TT=12.968	SAT TT=108.028 CHECKS=33909885 NODES=102827	SAT TT=110.517 CHECKS=33925931 NODES=102699	? (conv) TT=0.019	SAT TT=27.337 NODES=32254	SAT TT=12.968 NODES=2137	SAT TT=18.142 CHECKS=0 NODES=10614	? (MO) TT=17.08	? (TO) TT=1800.02	? (problem) TT=257.148	? (exit code) TT=0.379	? (MO) TT=28.432	? (MO) TT=36.232	? TT=324	? (exit code) TT=0.395
random/rand-8-20-5/ rand-8-20-5-18-800-13_ext.xml	SAT TT=54.623	SAT TT=106.134 CHECKS=30738466 NODES=109945	SAT TT=54.623 CHECKS=14878510 NODES=53718	? (conv) TT=0.019	SAT TT=1318.2 NODES=2873483	SAT TT=1379.21 NODES=3012112	SAT TT=687.096 CHECKS=0 NODES=1447527	? (MO) TT=16.999	? (TO) TT=1800.03	? (problem) TT=228.562	? (exit code) TT=0.398	? (MO) TT=27.83	? (MO) TT=28.53	? TT=315.73	? (exit code) TT=0.395
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
random/rand-8-20-5/ rand-8-20-5-18-800-15_ext.xml	SAT TT=23.176	SAT TT=26.077 CHECKS=4278991 NODES=14283	SAT TT=23.176 CHECKS=4420083 NODES=14930	? (conv) TT=0.019	SAT TT=673.636 NODES=1461596	SAT TT=153.624 NODES=273132	SAT TT=213.812 CHECKS=0 NODES=398038	? (MO) TT=17.238	? (TO) TT=1800.09	? (MO) TT=0.028	? (exit code) TT=0.401	? (MO) TT=28.449	? (MO) TT=27.815	? TT=334.85	? (exit code) TT=0.402
random/rand-8-20-5/ rand-8-20-5-18-800-17_ext.xml	SAT TT=17.162	SAT TT=17.162 CHECKS=2371549 NODES=6383	SAT TT=17.977 CHECKS=2299831 NODES=6069	? (conv) TT=0.019	SAT TT=302.083 NODES=591818	SAT TT=302.667 NODES=595913	SAT TT=98.958 CHECKS=0 NODES=165536	? (MO) TT=16.842	? (TO) TT=1800.08	? (problem) TT=269.443	? (exit code) TT=0.373	? (MO) TT=34.185	? TT=69.414	? TT=311.73	? (exit code) TT=0.392
random/rand-8-20-5/ rand-8-20-5-18-800-19_ext.xml	SAT TT=110.339	SAT TT=110.339 CHECKS=35614502 NODES=87468	SAT TT=117.083 CHECKS=36213711 NODES=88327	? (conv) TT=0.019	SAT TT=1007.71 NODES=2162906	SAT TT=372.169 NODES=722768	SAT TT=453.198 CHECKS=0 NODES=906457	? (MO) TT=17.923	? (TO) TT=1800.02	? (problem) TT=255.126	? (exit code) TT=0.405	? (MO) TT=29.698	? (MO) TT=34.151	? TT=300.01	? (exit code) TT=0.393
random/rand-8-20-5/ rand-8-20-5-18-800-1_ext.xml	SAT TT=155.889	SAT TT=283.768 CHECKS=93368732 NODES=217455	SAT TT=301.116 CHECKS=93142565 NODES=217469	? (conv) TT=0.018	SAT TT=762.852 NODES=1572730	SAT TT=351.925 NODES=603553	SAT TT=155.889 CHECKS=0 NODES=287249	? (MO) TT=17.254	? (TO) TT=1800.02	? (problem) TT=206.774	? (exit code) TT=0.396	? (MO) TT=28.191	? (MO) TT=26.794	? TT=303.16	? (exit code) TT=0.407
random/rand-8-20-5/ rand-8-20-5-18-800-3_ext.xml	SAT TT=34.515	SAT TT=118.565 CHECKS=39782224 NODES=80842	SAT TT=114.395 CHECKS=39222653 NODES=79898	? (conv) TT=0.018	SAT TT=428.955 NODES=848577	SAT TT=34.575 NODES=36530	SAT TT=34.515 CHECKS=0 NODES=38357	? (MO) TT=17.343	? (TO) TT=1800.08	? (problem) TT=257.122	? (exit code) TT=0.382	? (MO) TT=27.917	? (MO) TT=28.491	? TT=318.14	? (exit code) TT=0.408
random/rand-8-20-5/ rand-8-20-5-18-800-5_ext.xml	SAT TT=33.758	SAT TT=254.706 CHECKS=93968747 NODES=290693	SAT TT=238.94 CHECKS=93500931 NODES=289176	? (conv) TT=0.019	SAT TT=299.932 NODES=595245	SAT TT=33.758 NODES=54271	SAT TT=125.665 CHECKS=0 NODES=243256	? (MO) TT=17.451	? (TO) TT=1800.02	? (MO) TT=0.028	? (exit code) TT=0.398	? (MO) TT=26.882	? (MO) TT=26.993	? TT=307.57	? (exit code) TT=0.365
random/rand-8-20-5/ rand-8-20-5-18-800-7_ext.xml	SAT TT=20.257	SAT TT=23.538 CHECKS=3579304 NODES=12762	SAT TT=22.624 CHECKS=3567367 NODES=12733	? (conv) TT=0.018	SAT TT=20.257 NODES=18439	SAT TT=24.542 NODES=23330	SAT TT=22.748 CHECKS=0 NODES=23787	? (MO) TT=17.234	SAT TT=1040.11	? (problem) TT=259.25	? (exit code) TT=0.401	? TT=88.368	? TT=82.101	? TT=319.38	? (exit code) TT=0.409
random/rand-8-20-5/ rand-8-20-5-18-800-9_ext.xml	SAT TT=62.181	SAT TT=130.96 CHECKS=42915145 NODES=88293	SAT TT=120.175 CHECKS=42644180 NODES=87437	? (conv) TT=0.018	SAT TT=204.182 NODES=429089	SAT TT=62.181 NODES=84954	SAT TT=62.64 CHECKS=0 NODES=84421	? (MO) TT=18.997	? (TO) TT=1800.03	? (MO) TT=0.029	? (exit code) TT=0.403	? (MO) TT=34.218	? (MO) TT=34.266	? TT=320.18	? (exit code) TT=0.377
renault/ renault-mgd_ext.xml	SAT TT=1.199	SAT TT=1.826 CHECKS=19147 NODES=101	SAT TT=1.726 CHECKS=5930 NODES=101	? (problem) TT=382.957	SAT TT=54.352 NODES=108	SAT TT=20.811 NODES=101	SAT TT=19.705 CHECKS=21053 NODES=101	SAT TT=4.568	SAT TT=11.142	SAT TT=9.287	SAT TT=1.199	? (MO) TT=25.35	? (MO) TT=24.465	? (TO) TT=1800.99	SAT TT=1.21
travellingSalesman/ travellingSalesman-20/ tsp-20-142_ext.xml	SAT TT=29.671	SAT TT=42.598 CHECKS=77296168 NODES=34647	SAT TT=29.671 CHECKS=52215791 NODES=25997	? (TO) TT=1800.07	? TT=35.301	? TT=34.73	? TT=40.19	? (MO) TT=593.134	? (TO) TT=1800.09	? (problem) TT=101.032	SAT TT=77.527	? (MO) TT=215.226	? (MO) TT=233.587	? TT=19.97	SAT TT=31.307
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
travellingSalesman/ travellingSalesman-20/ tsp-20-190_ext.xml	SAT TT=4.795	SAT TT=5.832 CHECKS=8032926 NODES=8411	SAT TT=4.795 CHECKS=5659192 NODES=6856	? (TO) TT=1800.07	SAT TT=143.512 NODES=3140	SAT TT=149.232 NODES=9439	? TT=44.57	? (TO) TT=1800.14	SAT TT=921.032	? (problem) TT=111.985	SAT TT=19.221	? (MO) TT=181.293	? (MO) TT=190.859	? TT=14.25	SAT TT=24.048
travellingSalesman/ travellingSalesman-20/ tsp-20-193_ext.xml	SAT TT=4.248	SAT TT=16.365 CHECKS=27383402 NODES=9809	SAT TT=4.248 CHECKS=5457990 NODES=1498	? (TO) TT=1800.03	? TT=33.307	? TT=33.542	? TT=33.453	? (MO) TT=13.736	? (TO) TT=1800.08	? (problem) TT=100.28	SAT TT=64.762	? (MO) TT=175.238	? (MO) TT=229.292	? TT=27.25	SAT TT=90.452
travellingSalesman/ travellingSalesman-20/ tsp-20-1_ext.xml	SAT TT=1.312	SAT TT=1.728 CHECKS=1511349 NODES=334	SAT TT=1.312 CHECKS=569013 NODES=358	? (TO) TT=1800.05	? TT=45.942	? TT=53.078	? TT=44.81	? (TO) TT=1800.16	SAT TT=665.841	? (problem) TT=106.247	SAT TT=13.821	? (MO) TT=182.602	? (MO) TT=246.618	? TT=16.44	SAT TT=15.632
travellingSalesman/ travellingSalesman-20/ tsp-20-29_ext.xml	SAT TT=0.946	SAT TT=1.585 CHECKS=1081125 NODES=77	SAT TT=0.946 CHECKS=118352 NODES=102	? (TO) TT=1800.05	SAT TT=91.032 NODES=81	SAT TT=86.622 NODES=67	SAT TT=86.418 CHECKS=48290 NODES=68	? (TO) TT=1800.13	SAT TT=405.161	? (problem) TT=111.584	SAT TT=12.658	? (MO) TT=221.083	? (MO) TT=181.395	? TT=10.1	SAT TT=12.585
travellingSalesman/ travellingSalesman-20/ tsp-20-2_ext.xml	SAT TT=3.566	SAT TT=3.566 CHECKS=3973614 NODES=2759	SAT TT=7.219 CHECKS=10544129 NODES=8292	? (TO) TT=1800.07	? TT=33.741	? TT=33.546	? TT=41.952	? (MO) TT=707.972	SAT TT=954.91	? (problem) TT=104.135	SAT TT=23.483	? (MO) TT=239.508	? (MO) TT=171.358	? TT=18.72	SAT TT=30.861
travellingSalesman/ travellingSalesman-20/ tsp-20-30_ext.xml	SAT TT=1.079	SAT TT=1.906 CHECKS=1797844 NODES=118	SAT TT=1.079 CHECKS=268735 NODES=150	? (TO) TT=1800.05	SAT TT=111.665 NODES=195	SAT TT=111.213 NODES=148	SAT TT=105.853 CHECKS=96323 NODES=134	? (TO) TT=1800.12	SAT TT=598.19	? (problem) TT=98.614	SAT TT=15.313	? (MO) TT=199.224	? (MO) TT=236.924	? TT=12.23	SAT TT=14.056
travellingSalesman/ travellingSalesman-20/ tsp-20-366_ext.xml	SAT TT=1.57	SAT TT=2.394 CHECKS=2734190 NODES=835	SAT TT=1.57 CHECKS=912402 NODES=612	? (TO) TT=1800.02	? TT=34.063	? TT=35.878	? TT=37.391	? (MO) TT=1076.57	? (TO) TT=1800.04	? (problem) TT=82.891	SAT TT=28.204	? (MO) TT=162.925	? (MO) TT=169.628	? TT=19.57	SAT TT=24.758
travellingSalesman/ travellingSalesman-20/ tsp-20-453_ext.xml	SAT TT=24.312	SAT TT=41.817 CHECKS=65348880 NODES=45778	SAT TT=24.312 CHECKS=40149486 NODES=29052	? (TO) TT=1800.11	? TT=31.939	? TT=39.679	? TT=39.131	? (MO) TT=584.555	? (TO) TT=1800.01	? (problem) TT=98.03	SAT TT=73.297	? (MO) TT=202.934	? (MO) TT=194.705	? TT=19.53	SAT TT=95.617
travellingSalesman/ travellingSalesman-20/ tsp-20-68_ext.xml	SAT TT=0.858	SAT TT=0.877 CHECKS=44035 NODES=0	SAT TT=0.858 CHECKS=47559 NODES=63	SAT TT=46.262	SAT TT=54.254 NODES=69	SAT TT=56.204 NODES=63	SAT TT=55.425 CHECKS=16839 NODES=63	SAT TT=305.877	SAT TT=249.581	SAT TT=135.092	SAT TT=6.674	? (MO) TT=450.347	? (MO) TT=448.284	? (TO) TT=1800.39	SAT TT=6.729
travellingSalesman/ travellingSalesman-20/ tsp-20-727_ext.xml	SAT TT=1.778	SAT TT=1.778 CHECKS=1413013 NODES=637	SAT TT=2.746 CHECKS=2999289 NODES=1760	? (TO) TT=1800.05	? TT=32.992	? TT=31.692	? TT=38.103	? (MO) TT=14.02	SAT TT=635.91	? (problem) TT=117.591	SAT TT=33.412	? (MO) TT=196.999	? (MO) TT=177.672	? TT=27.45	SAT TT=37.823
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
travellingSalesman/ travellingSalesman-20/ tsp-20-75_ext.xml	SAT TT=25.938	SAT TT=25.938 CHECKS=46112722 NODES=18661	SAT TT=31.267 CHECKS=53930185 NODES=23808	? (TO) TT=1800.03	? TT=32.905	? TT=35.888	? TT=40.322	? (MO) TT=685.298	? (TO) TT=1800.01	? (problem) TT=98.166	SAT TT=30.412	? (MO) TT=290.695	? (MO) TT=193.381	? TT=19.75	SAT TT=52.437
travellingSalesman/ travellingSalesman-20/ tsp-20-76_ext.xml	SAT TT=6.608	SAT TT=6.608 CHECKS=8944371 NODES=6783	SAT TT=9.712 CHECKS=13928994 NODES=12028	? (TO) TT=1800.12	? TT=33.48	? TT=39.158	? TT=36.647	? (MO) TT=12.599	? (TO) TT=1800.03	? (problem) TT=99.848	SAT TT=23.028	? (MO) TT=168.456	? (MO) TT=216.889	? TT=19.87	SAT TT=47.899
travellingSalesman/ travellingSalesman-20/ tsp-20-8_ext.xml	SAT TT=1.006	SAT TT=1.213 CHECKS=639941 NODES=190	SAT TT=1.006 CHECKS=149977 NODES=120	SAT TT=1643.8	SAT TT=77.064 NODES=80	SAT TT=81.972 NODES=112	SAT TT=76.831 CHECKS=64682 NODES=104	? (TO) TT=1800.1	SAT TT=324.125	? (problem) TT=105.345	SAT TT=13.284	? (MO) TT=205.706	? (MO) TT=193.122	? TT=8.81	SAT TT=13.675
travellingSalesman/ travellingSalesman-20/ tsp-20-901_ext.xml	SAT TT=16.903	SAT TT=16.903 CHECKS=26027182 NODES=15054	SAT TT=18.444 CHECKS=29544604 NODES=17602	? (TO) TT=1800.1	? TT=38.35	? TT=40.846	? TT=49.644	? (MO) TT=12.261	? (TO) TT=1800.02	? (problem) TT=104.27	SAT TT=50.75	? (MO) TT=276.917	? (MO) TT=226.22	? TT=24.31	SAT TT=36.565
travellingSalesman/ travellingSalesman-25/ tsp-25-13_ext.xml	SAT TT=2.513	SAT TT=2.878 CHECKS=3142874 NODES=1270	SAT TT=2.513 CHECKS=2752350 NODES=1615	? (TO) TT=1800.03	SAT TT=148.061 NODES=763	SAT TT=120.31 NODES=590	SAT TT=115.86 CHECKS=139265 NODES=753	? (TO) TT=1800.16	SAT TT=869.971	? (problem) TT=81.354	SAT TT=17.95	? (MO) TT=164.468	? (MO) TT=140.075	? TT=13.75	SAT TT=21.551
travellingSalesman/ travellingSalesman-25/ tsp-25-163_ext.xml	SAT TT=18.464	SAT TT=22.834 CHECKS=34990930 NODES=15511	SAT TT=18.464 CHECKS=28772400 NODES=14578	? (TO) TT=1800.09	? TT=30.598	? TT=32.96	? TT=38.933	? (MO) TT=14.279	? (TO) TT=1800.05	? (problem) TT=100.699	SAT TT=146.61	? (MO) TT=238.926	? (MO) TT=192.365	? TT=37.54	SAT TT=478.525
travellingSalesman/ travellingSalesman-25/ tsp-25-190_ext.xml	SAT TT=65.121	SAT TT=65.121 CHECKS=108054720 NODES=64740	SAT TT=147.691 CHECKS=244802389 NODES=152317	? (TO) TT=1800.1	? TT=36.793	? TT=38.598	? TT=38.302	? (MO) TT=14.252	? (TO) TT=1800.05	? (problem) TT=108.56	SAT TT=204.239	? (MO) TT=140.446	? (MO) TT=140.535	? TT=23.06	SAT TT=329.341
travellingSalesman/ travellingSalesman-25/ tsp-25-312_ext.xml	SAT TT=55.676	SAT TT=55.676 CHECKS=90564399 NODES=52043	SAT TT=198.213 CHECKS=349237626 NODES=214803	? (TO) TT=1800.04	? TT=33.142	? TT=34.274	? TT=46.757	? (MO) TT=12.89	? (TO) TT=1800	? (problem) TT=98.458	SAT TT=63.651	? (MO) TT=151.896	? (MO) TT=160.154	? TT=28.01	SAT TT=155.684
travellingSalesman/ travellingSalesman-25/ tsp-25-38_ext.xml	SAT TT=2.577	SAT TT=6.313 CHECKS=9054075 NODES=3219	SAT TT=2.577 CHECKS=2615130 NODES=1288	? (TO) TT=1800.04	? TT=33.596	? TT=37.915	? TT=46.81	? (TO) TT=1800.16	SAT TT=773.637	? (problem) TT=101.789	SAT TT=21.456	? (MO) TT=164.496	? (MO) TT=171.36	? TT=15.9	SAT TT=22.625
travellingSalesman/ travellingSalesman-25/ tsp-25-3_ext.xml	SAT TT=5.438	SAT TT=8.764 CHECKS=13628740 NODES=6579	SAT TT=5.438 CHECKS=7469759 NODES=3890	? (TO) TT=1800.04	? TT=37.964	? TT=37.577	? TT=46.557	? (TO) TT=1800.18	SAT TT=1072.38	? (problem) TT=106.206	SAT TT=22.495	? (MO) TT=148.571	? (MO) TT=135.929	? TT=16.59	SAT TT=19.907
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
travellingSalesman/ travellingSalesman-25/ tsp-25-456_ext.xml	SAT TT=172.385	SAT TT=410.67 CHECKS=655413427 NODES=410201	SAT TT=172.385 CHECKS=276606578 NODES=177045	? (TO) TT=1800.08	? TT=34.776	? TT=34.982	? TT=39.776	? (MO) TT=13.261	SAT TT=1369.92	? (problem) TT=127.218	SAT TT=274.097	? (MO) TT=225.21	? (MO) TT=168.707	? TT=28.49	SAT TT=748.222
travellingSalesman/ travellingSalesman-25/ tsp-25-48_ext.xml	SAT TT=65.6	SAT TT=234.533 CHECKS=407968421 NODES=247452	SAT TT=104.792 CHECKS=167984767 NODES=99788	? (TO) TT=1800.05	? TT=44.506	? TT=34.47	? TT=41.214	? (MO) TT=11.892	? (TO) TT=1800.07	? (problem) TT=88.502	SAT TT=264.952	? (MO) TT=162.23	? (MO) TT=169.491	? TT=27.3	SAT TT=65.6
travellingSalesman/ travellingSalesman-25/ tsp-25-523_ext.xml	SAT TT=18.232	SAT TT=62.003 CHECKS=98707542 NODES=64607	SAT TT=18.232 CHECKS=30861080 NODES=18878	? (TO) TT=1800.05	? TT=34.506	? TT=34.328	? TT=38.99	? (MO) TT=13.561	? (TO) TT=1800.01	? (problem) TT=101.4	SAT TT=200.606	? (MO) TT=157.039	? (MO) TT=192.835	? TT=24.32	SAT TT=309.398
travellingSalesman/ travellingSalesman-25/ tsp-25-54_ext.xml	SAT TT=1.42	SAT TT=1.529 CHECKS=998883 NODES=217	SAT TT=1.42 CHECKS=933033 NODES=433	? (TO) TT=1800.03	? TT=42.246	? TT=40.743	? TT=44.004	SAT TT=1661.47	SAT TT=752.099	? (problem) TT=98.709	SAT TT=15.626	? (MO) TT=156.548	? (MO) TT=157.888	? TT=14.12	SAT TT=15.203
travellingSalesman/ travellingSalesman-25/ tsp-25-561_ext.xml	SAT TT=19.54	SAT TT=47.855 CHECKS=78100244 NODES=42336	SAT TT=19.54 CHECKS=31686630 NODES=17327	? (TO) TT=1800.09	? TT=42.529	? TT=41.925	? TT=37.52	? (MO) TT=13.803	? (TO) TT=1800.07	? (problem) TT=105.378	SAT TT=80.036	? (MO) TT=143.032	? (MO) TT=137.738	? TT=24.4	SAT TT=38.682
travellingSalesman/ travellingSalesman-25/ tsp-25-66_ext.xml	SAT TT=2.033	SAT TT=2.033 CHECKS=1780095 NODES=784	SAT TT=3.274 CHECKS=3422235 NODES=2712	? (TO) TT=1800.03	SAT TT=92.377 NODES=1684	SAT TT=90.272 NODES=1990	SAT TT=84.479 CHECKS=182235 NODES=2210	? (TO) TT=1800.21	SAT TT=362.851	? (problem) TT=125.029	SAT TT=16.829	? (MO) TT=151.435	? (MO) TT=144.834	? (TO) TT=1800.24	SAT TT=14.123
travellingSalesman/ travellingSalesman-25/ tsp-25-681_ext.xml	SAT TT=111.18	SAT TT=128.074 CHECKS=208962146 NODES=139003	SAT TT=111.18 CHECKS=183507178 NODES=120943	? (TO) TT=1800.11	? TT=44.191	? TT=44.601	? TT=37.152	? (MO) TT=12.853	? (TO) TT=1800.07	? (problem) TT=103.962	SAT TT=220.967	? (MO) TT=161.765	? (MO) TT=172.571	? TT=27.99	SAT TT=426.419
travellingSalesman/ travellingSalesman-25/ tsp-25-715_ext.xml	SAT TT=205.171	SAT TT=491.037 CHECKS=859715351 NODES=425341	SAT TT=205.171 CHECKS=359984572 NODES=179989	? (TO) TT=1800.02	? TT=33.176	? TT=32.574	? TT=37.582	? (MO) TT=12.728	? (TO) TT=1800.1	? (problem) TT=106.592	SAT TT=1332.07	? (MO) TT=183.758	? (MO) TT=208.851	? TT=25.98	SAT TT=1492.45
travellingSalesman/ travellingSalesman-25/ tsp-25-843_ext.xml	SAT TT=37.801	SAT TT=60.854 CHECKS=105121773 NODES=64040	SAT TT=37.801 CHECKS=65756549 NODES=41883	? (TO) TT=1800.07	? TT=43.062	? TT=41.596	? TT=45.385	? (MO) TT=1299.98	? (TO) TT=1800.07	? (problem) TT=103.812	SAT TT=46.621	? (MO) TT=212.294	? (MO) TT=148.225	? TT=17.74	SAT TT=50.877

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	276	277	150	219	234	239	176	191	175	269	187	187	161	260
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)	23	38	12	6	6	15	120	2	2	64	1	1	1	28