CSP 2006 Competition (second round): results by benchmark

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

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

REMINDER

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

Description of a cell contents:

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

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

Meaning of some abbreviations:

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

Meaning of the different colors:

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

For better readability, you may choose to hide some solvers:
Abscon 109 ESAC
Abscon 109 AC
BPrologCSPSolver70a 2006-12-13
CSP4J - Combo 2006-12-19
CSP4J - MAC 2006-12-19
CSP4J - MAC 2007-01-16
CSPtoSAT+minisat 0.3
galac 1
galacJ beta 1
Mistral 2006-12-04
sat4jCSP 1.7 RC BF3
SAT4JCSP-CACHED 1.7 RC BF3
sugar 0.40
Tramontane 2006-12-04

Bench name	Best results on this instance	Abscon 109 ESAC	Abscon 109 AC	BPrologCSPSolver70a 2006-12-13	CSP4J - Combo 2006-12-19	CSP4J - MAC 2006-12-19	CSP4J - MAC 2007-01-16	CSPtoSAT+minisat 0.3	galac 1	galacJ beta 1	Mistral 2006-12-04	sat4jCSP 1.7 RC BF3	SAT4JCSP-CACHED 1.7 RC BF3	sugar 0.40	Tramontane 2006-12-04
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
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
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-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
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
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-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
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
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-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
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
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-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
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
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-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
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
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-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
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
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-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
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
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-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
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
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/ 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
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
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/ 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
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
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/ 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
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
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/ 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
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
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/ 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
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
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-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
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
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-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
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

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	158	157	111	142	146	145	160	160	160	150	151	151	160	148
Number of times the solver is the best solver from a complete solver point of view (i.e. best known answer and best TT time)	0	0	12	0	0	0	120	2	0	9	0	0	1	23