CSP 2006 Competition (second round): results by benchmark

Results by benchmark for category binary constraints in extension (2-ARY-EXT), subcategory problems with patterns

This page displays the results of the different solvers for each benchmark for category binary constraints in extension (2-ARY-EXT), subcategory problems with patterns

REMINDER

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

Description of a cell contents:

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

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

Meaning of some abbreviations:

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

Meaning of the different colors:

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

For better readability, you may choose to hide some solvers:
Abscon 109 ESAC
Abscon 109 AC
BPrologCSPSolver70a 2006-12-13
buggy_2_5 2007-01-08
buggy_2_5_s 2007-01-08
CSP4J - Combo 2006-12-19
CSP4J - MAC 2006-12-19
CSP4J - MAC 2007-01-16
CSPtoSAT+minisat 0.3
Diarmuid-rndi 2006-12-21
Diarmuid-rndi 2007-01-22
Diarmuid-wtdi 2006-12-21
galac 1
galacJ beta 1
Mistral 2006-12-04
rjw-solver 2006-12-09
rjw-solver 2007-01-21
sat4jCSP 1.7 RC BF3
SAT4JCSP-CACHED 1.7 RC BF3
sugar 0.40
Tramontane 2006-12-04
VALCSP 3.0
VALCSP 3.1

Bench name	Best results on this instance	Abscon 109 ESAC	Abscon 109 AC	BPrologCSPSolver70a 2006-12-13	buggy_2_5 2007-01-08	buggy_2_5_s 2007-01-08	CSP4J - Combo 2006-12-19	CSP4J - MAC 2006-12-19	CSP4J - MAC 2007-01-16	CSPtoSAT+minisat 0.3	Diarmuid-rndi 2006-12-21	Diarmuid-rndi 2007-01-22	Diarmuid-wtdi 2006-12-21	galac 1	galacJ beta 1	Mistral 2006-12-04	rjw-solver 2006-12-09	rjw-solver 2007-01-21	sat4jCSP 1.7 RC BF3	SAT4JCSP-CACHED 1.7 RC BF3	sugar 0.40	Tramontane 2006-12-04	VALCSP 3.0	VALCSP 3.1
blackHole/BH-4-13/ BlackHole-4-13-e-0_ext.xml		? (TO) TT=1800.18	? (TO) TT=1800.15	? (TO) TT=1800.02	? (TO) TT=1800.07	? (TO) TT=1800.06	? (TO) TT=1800.03	? (TO) TT=1800.09	? (TO) TT=1800.03	? (MO) TT=1610.83	? (problem) TT=0.069	? (problem) TT=0.431	? (problem) TT=0.068	? (TO) TT=13.557	? (TO) TT=0.026	? (TO) TT=1800.05	? (problem) TT=0.065	? (problem) TT=0.409	? (TO) TT=1800.17	? (TO) TT=1800.22	? (TO) TT=1800.97	? (TO) TT=1800.1	? (TO) TT=1800.07	? (TO) TT=1800.04
blackHole/BH-4-13/ BlackHole-4-13-e-1_ext.xml		? (TO) TT=1800.16	? (TO) TT=1800.23	? (TO) TT=1800.05	? (TO) TT=1800.07	? (TO) TT=1800.06	? (TO) TT=1800.07	? (TO) TT=1800.07	? (TO) TT=1800.09	? (TO) TT=1800.24	? (problem) TT=0.069	? (problem) TT=0.431	? (problem) TT=0.064	? (MO) TT=13.632	? (TO) TT=1800.06	? (TO) TT=1800.06	? (problem) TT=0.071	? (problem) TT=0.4	? (TO) TT=1800.19	? (TO) TT=1800.16	? (TO) TT=1800.65	? (TO) TT=1800.11	? (TO) TT=1800.04	? (TO) TT=1800.11
blackHole/BH-4-13/ BlackHole-4-13-e-2_ext.xml		? (TO) TT=1800.17	? (TO) TT=1800.15	? (TO) TT=1800.05	? (TO) TT=1800.11	? (TO) TT=1800.07	? (TO) TT=1800.09	? (TO) TT=1800.07	? (TO) TT=1800.09	? (MO) TT=1781.28	? (problem) TT=0.068	? (problem) TT=0.408	? (problem) TT=0.068	? (TO) TT=12.826	? (TO) TT=1800.06	? (TO) TT=1800.07	? (problem) TT=0.065	? (problem) TT=0.43	? (TO) TT=1800.19	? (TO) TT=1800.22	? (TO) TT=1801.68	? (TO) TT=1800.11	? (TO) TT=1800.1	? (TO) TT=1800.1
blackHole/BH-4-13/ BlackHole-4-13-e-3_ext.xml		? (TO) TT=1800.2	? (TO) TT=1800.2	? (TO) TT=1800.11	? (TO) TT=1800.03	? (TO) TT=1800.03	? (TO) TT=1800.01	? (TO) TT=1800.09	? (TO) TT=1800.01	? (TO) TT=1800.23	? (problem) TT=0.066	? (problem) TT=0.429	? (problem) TT=0.069	? (MO) TT=13.872	? (TO) TT=1800.04	? (TO) TT=1800.06	? (problem) TT=0.068	? (problem) TT=0.419	? (TO) TT=1800.21	? (TO) TT=1800.15	? (TO) TT=1801	? (TO) TT=1800.05	? (TO) TT=1800.03	? (TO) TT=1800.09
blackHole/BH-4-13/ BlackHole-4-13-m-0_ext.xml		? (TO) TT=1800.16	? (TO) TT=1800.12	? (TO) TT=1800.03	? (TO) TT=1800.13	? (TO) TT=1800.07	? (TO) TT=1800.04	? (TO) TT=1800.06	? (TO) TT=1800.02	? (TO) TT=1800.18	? (problem) TT=0.064	? (problem) TT=0.447	? (problem) TT=0.067	? (TO) TT=13.68	? (TO) TT=1800.1	? (TO) TT=1800.11	? (problem) TT=0.065	? (problem) TT=0.437	? (TO) TT=1800.19	? (TO) TT=1800.17	? (TO) TT=1800.54	? (TO) TT=1800.04	? (TO) TT=1800.07	? (TO) TT=1800.08
blackHole/BH-4-13/ BlackHole-4-13-m-1_ext.xml		? (TO) TT=1800.17	? (TO) TT=1800.23	? (TO) TT=1800.06	? (TO) TT=1800.11	? (TO) TT=1800.08	? (TO) TT=1800.07	? (TO) TT=1800.03	? (TO) TT=1800.06	? (MO) TT=1592.33	? (problem) TT=0.066	? (problem) TT=0.418	? (problem) TT=0.062	? (TO) TT=13.662	? (TO) TT=1800.07	? (TO) TT=1800.1	? (problem) TT=0.066	? (problem) TT=0.415	? (TO) TT=1800.15	? (TO) TT=1800.19	? (TO) TT=1800.99	? (TO) TT=1800.07	? (TO) TT=1800.11	? (TO) TT=1800.08
blackHole/BH-4-13/ BlackHole-4-13-m-2_ext.xml		? (TO) TT=1800.14	? (TO) TT=1800.12	? (TO) TT=1800.07	? (TO) TT=1800.07	? (TO) TT=1800.12	? (TO) TT=1800.04	? (TO) TT=1800.06	? (TO) TT=1800.08	? (TO) TT=1800.16	? (problem) TT=0.067	? (problem) TT=0.389	? (problem) TT=0.068	? (TO) TT=12.885	? (TO) TT=1800.04	? (TO) TT=1800.09	? (problem) TT=0.065	? (problem) TT=0.404	? (TO) TT=1800.22	? (TO) TT=1800.24	? (TO) TT=1800.73	? (TO) TT=1800.06	? (TO) TT=1800.09	? (TO) TT=1800.08
blackHole/BH-4-4/ BlackHole-4-4-e-0_ext.xml	UNSAT TT=0.26	UNSAT TT=1.508 CHECKS=5039017 NODES=5336	UNSAT TT=1.401 CHECKS=4894882 NODES=5197	? (TO) TT=1800.11	UNSAT TT=0.616	UNSAT TT=0.639	UNSAT TT=10.502 NODES=15870	UNSAT TT=3.741 NODES=5593	UNSAT TT=4.451 CHECKS=50507 NODES=5594	UNSAT TT=0.26	? (problem) TT=0.04	? (problem) TT=0.058	? (problem) TT=0.038	UNSAT TT=1.331	UNSAT TT=0.977	UNSAT TT=0.651	? (problem) TT=0.036	? (problem) TT=0.054	UNSAT TT=1.844	UNSAT TT=2.093	? (TO) TT=1800.09	UNSAT TT=0.996	UNSAT TT=1.276 CHECKS=48851700 NODES=81114	UNSAT TT=0.17 CHECKS=5598990 NODES=9437
blackHole/BH-4-4/ BlackHole-4-4-e-1_ext.xml	UNSAT TT=0.281	UNSAT TT=1.43 CHECKS=5039122 NODES=5336	UNSAT TT=1.49 CHECKS=4894987 NODES=5197	? (TO) TT=1800.03	UNSAT TT=0.643	UNSAT TT=0.648	UNSAT TT=7.147 NODES=10146	UNSAT TT=3.268 NODES=5602	UNSAT TT=4.657 CHECKS=50507 NODES=5604	UNSAT TT=0.281	? (problem) TT=0.046	? (problem) TT=0.059	? (problem) TT=0.04	UNSAT TT=1.427	UNSAT TT=1.074	UNSAT TT=0.648	? (problem) TT=0.041	? (problem) TT=0.056	UNSAT TT=1.672	UNSAT TT=1.684	UNSAT TT=770.086	UNSAT TT=0.99	UNSAT TT=1.266 CHECKS=48844800 NODES=81114	UNSAT TT=0.171 CHECKS=5592030 NODES=9437
blackHole/BH-4-4/ BlackHole-4-4-e-2_ext.xml	UNSAT TT=0.245	UNSAT TT=1.513 CHECKS=5038807 NODES=5336	UNSAT TT=1.481 CHECKS=4894672 NODES=5197	? (TO) TT=1800.03	UNSAT TT=0.649	UNSAT TT=0.646	UNSAT TT=7.149 NODES=10124	UNSAT TT=3.564 NODES=5606	UNSAT TT=4.586 CHECKS=50507 NODES=5594	UNSAT TT=0.245	? (problem) TT=0.038	? (problem) TT=0.057	? (problem) TT=0.04	UNSAT TT=1.358	UNSAT TT=1.084	UNSAT TT=0.652	? (problem) TT=0.04	? (problem) TT=0.06	UNSAT TT=2.038	UNSAT TT=1.935	UNSAT TT=910.5	UNSAT TT=0.992	UNSAT TT=1.273 CHECKS=48851100 NODES=81114	UNSAT TT=0.169 CHECKS=5598360 NODES=9437
Bench name	Best results on this instance	Abscon 109 ESAC	Abscon 109 AC	BPrologCSPSolver70a 2006-12-13	buggy_2_5 2007-01-08	buggy_2_5_s 2007-01-08	CSP4J - Combo 2006-12-19	CSP4J - MAC 2006-12-19	CSP4J - MAC 2007-01-16	CSPtoSAT+minisat 0.3	Diarmuid-rndi 2006-12-21	Diarmuid-rndi 2007-01-22	Diarmuid-wtdi 2006-12-21	galac 1	galacJ beta 1	Mistral 2006-12-04	rjw-solver 2006-12-09	rjw-solver 2007-01-21	sat4jCSP 1.7 RC BF3	SAT4JCSP-CACHED 1.7 RC BF3	sugar 0.40	Tramontane 2006-12-04	VALCSP 3.0	VALCSP 3.1
blackHole/BH-4-4/ BlackHole-4-4-e-3_ext.xml	UNSAT TT=0.234	UNSAT TT=1.508 CHECKS=5038912 NODES=5336	UNSAT TT=1.377 CHECKS=4894777 NODES=5197	? (TO) TT=1800.06	UNSAT TT=0.645	UNSAT TT=0.63	UNSAT TT=7.102 NODES=10130	UNSAT TT=3.91 NODES=5606	UNSAT TT=4.558 CHECKS=50507 NODES=5594	UNSAT TT=0.234	? (problem) TT=0.041	? (problem) TT=0.058	? (problem) TT=0.035	UNSAT TT=1.453	UNSAT TT=1.086	UNSAT TT=0.662	? (problem) TT=0.042	? (problem) TT=0.059	UNSAT TT=1.762	UNSAT TT=1.78	? (TO) TT=1800.12	UNSAT TT=0.986	UNSAT TT=1.282 CHECKS=48845300 NODES=81114	UNSAT TT=0.168 CHECKS=5592540 NODES=9437
blackHole/BH-4-4/ BlackHole-4-4-e-4_ext.xml	UNSAT TT=0.218	UNSAT TT=1.397 CHECKS=5038807 NODES=5336	UNSAT TT=1.395 CHECKS=4894672 NODES=5197	? (TO) TT=1800.11	UNSAT TT=0.639	UNSAT TT=0.611	UNSAT TT=10.583 NODES=15581	UNSAT TT=3.371 NODES=5586	UNSAT TT=4.63 CHECKS=50507 NODES=5594	UNSAT TT=0.218	? (problem) TT=0.043	? (problem) TT=0.061	? (problem) TT=0.037	UNSAT TT=1.442	UNSAT TT=1.11	UNSAT TT=0.601	? (problem) TT=0.038	? (problem) TT=0.057	UNSAT TT=1.735	UNSAT TT=1.858	UNSAT TT=181.852	UNSAT TT=0.986	UNSAT TT=1.266 CHECKS=48849000 NODES=81114	UNSAT TT=0.173 CHECKS=5596240 NODES=9437
blackHole/BH-4-4/ BlackHole-4-4-e-5_ext.xml	UNSAT TT=0.251	UNSAT TT=1.504 CHECKS=5038912 NODES=5336	UNSAT TT=1.486 CHECKS=4894777 NODES=5197	? (TO) TT=1800.06	UNSAT TT=0.642	UNSAT TT=0.639	UNSAT TT=10.466 NODES=16007	UNSAT TT=3.306 NODES=5599	UNSAT TT=4.518 CHECKS=50507 NODES=5604	UNSAT TT=0.251	? (problem) TT=0.042	? (problem) TT=0.06	? (problem) TT=0.036	UNSAT TT=1.4	UNSAT TT=0.998	UNSAT TT=0.604	? (problem) TT=0.04	? (problem) TT=0.057	UNSAT TT=1.976	UNSAT TT=2.148	UNSAT TT=1134.63	UNSAT TT=0.989	UNSAT TT=1.258 CHECKS=48848600 NODES=81114	UNSAT TT=0.159 CHECKS=5595810 NODES=9437
blackHole/BH-4-4/ BlackHole-4-4-e-6_ext.xml	UNSAT TT=0.229	UNSAT TT=1.451 CHECKS=5039017 NODES=5336	UNSAT TT=1.496 CHECKS=4894882 NODES=5197	? (TO) TT=1800.07	UNSAT TT=0.641	UNSAT TT=0.639	UNSAT TT=10.408 NODES=15969	UNSAT TT=3.421 NODES=5593	UNSAT TT=4.564 CHECKS=50507 NODES=5594	UNSAT TT=0.229	? (problem) TT=0.042	? (problem) TT=0.057	? (problem) TT=0.04	UNSAT TT=1.357	UNSAT TT=1.003	UNSAT TT=0.65	? (problem) TT=0.041	? (problem) TT=0.057	UNSAT TT=1.936	UNSAT TT=1.951	UNSAT TT=885.49	UNSAT TT=0.979	UNSAT TT=1.259 CHECKS=48847300 NODES=81114	UNSAT TT=0.159 CHECKS=5594500 NODES=9437
blackHole/BH-4-4/ BlackHole-4-4-e-7_ext.xml	UNSAT TT=0.197	UNSAT TT=1.511 CHECKS=5038807 NODES=5336	UNSAT TT=1.415 CHECKS=4894672 NODES=5197	? (TO) TT=1800.03	UNSAT TT=0.641	UNSAT TT=0.621	UNSAT TT=7.017 NODES=10388	UNSAT TT=3.591 NODES=5593	UNSAT TT=4.539 CHECKS=50507 NODES=5594	UNSAT TT=0.197	? (problem) TT=0.041	? (problem) TT=0.06	? (problem) TT=0.038	UNSAT TT=1.436	UNSAT TT=1.006	UNSAT TT=0.656	? (problem) TT=0.039	? (problem) TT=0.06	UNSAT TT=1.942	UNSAT TT=1.915	UNSAT TT=1183.21	UNSAT TT=0.955	UNSAT TT=1.28 CHECKS=48852700 NODES=81114	UNSAT TT=0.159 CHECKS=5599990 NODES=9437
blackHole/BH-4-4/ BlackHole-4-4-e-8_ext.xml	UNSAT TT=0.314	UNSAT TT=1.478 CHECKS=5039017 NODES=5336	UNSAT TT=1.483 CHECKS=4894882 NODES=5197	? (TO) TT=1800.04	UNSAT TT=0.634	UNSAT TT=0.638	UNSAT TT=7.104 NODES=10353	UNSAT TT=3.524 NODES=5606	UNSAT TT=4.23 CHECKS=50507 NODES=5594	UNSAT TT=0.314	? (problem) TT=0.043	? (problem) TT=0.06	? (problem) TT=0.037	UNSAT TT=1.314	UNSAT TT=1.006	UNSAT TT=0.648	? (problem) TT=0.038	? (problem) TT=0.058	UNSAT TT=1.807	UNSAT TT=1.756	UNSAT TT=720.732	UNSAT TT=0.926	UNSAT TT=1.277 CHECKS=48844600 NODES=81114	UNSAT TT=0.171 CHECKS=5591840 NODES=9437
blackHole/BH-4-4/ BlackHole-4-4-e-9_ext.xml	UNSAT TT=0.193	UNSAT TT=1.468 CHECKS=5038912 NODES=5336	UNSAT TT=1.406 CHECKS=4894777 NODES=5197	? (TO) TT=1800.04	UNSAT TT=0.65	UNSAT TT=0.638	UNSAT TT=7.019 NODES=10323	UNSAT TT=3.945 NODES=5604	UNSAT TT=4.194 CHECKS=50507 NODES=5604	UNSAT TT=0.193	? (problem) TT=0.044	? (problem) TT=0.057	? (problem) TT=0.037	UNSAT TT=1.411	UNSAT TT=0.926	UNSAT TT=0.65	? (problem) TT=0.038	? (problem) TT=0.056	UNSAT TT=2.061	UNSAT TT=1.886	UNSAT TT=542.769	UNSAT TT=1.003	UNSAT TT=1.19 CHECKS=48852800 NODES=81114	UNSAT TT=0.164 CHECKS=5600060 NODES=9437
blackHole/BH-4-7/ BlackHole-4-7-e-0_ext.xml		? (TO) TT=1800.18	? (TO) TT=1800.12	? (TO) TT=1800.1	? (TO) TT=1800.03	? (TO) TT=1800.12	? (TO) TT=1800	? (TO) TT=1800.04	? (TO) TT=1800.09	? (TO) TT=1800.06	? (problem) TT=0.044	? (problem) TT=0.114	? (problem) TT=0.047	? (TO) TT=1800.01	? (TO) TT=1800.07	? (TO) TT=1800.03	? (problem) TT=0.047	? (problem) TT=0.116	? (TO) TT=1800.13	? (TO) TT=1800.14	? (TO) TT=1800.12	? (TO) TT=1800.08	? (TO) TT=1800.07	? (TO) TT=1800.08
blackHole/BH-4-7/ BlackHole-4-7-e-1_ext.xml		? (TO) TT=1800.22	? (TO) TT=1800.15	? (TO) TT=1800.07	? (TO) TT=1800.09	? (TO) TT=1800.08	? (TO) TT=1800.09	? (TO) TT=1800.05	? (TO) TT=1800.02	? (TO) TT=1800.05	? (problem) TT=0.046	? (problem) TT=0.109	? (problem) TT=0.047	? (TO) TT=1800.03	? (TO) TT=1800.02	? (TO) TT=1800.06	? (problem) TT=0.044	? (problem) TT=0.105	? (TO) TT=1800.19	? (TO) TT=1800.19	? (TO) TT=1800.05	? (TO) TT=1800.11	? (TO) TT=1800.08	? (TO) TT=1800.09
blackHole/BH-4-7/ BlackHole-4-7-e-2_ext.xml		? (TO) TT=1800.17	? (TO) TT=1800.19	? (TO) TT=1800.1	? (TO) TT=1800.06	? (TO) TT=1800.04	? (TO) TT=1800.03	? (TO) TT=1800.04	? (TO) TT=1800.02	? (TO) TT=1800.06	? (problem) TT=0.043	? (problem) TT=0.104	? (problem) TT=0.049	? (TO) TT=1800.1	? (TO) TT=1800.05	? (TO) TT=1800.05	? (problem) TT=0.045	? (problem) TT=0.103	? (TO) TT=1800.2	? (TO) TT=1800.24	? (TO) TT=1800.07	? (TO) TT=1800.07	? (TO) TT=1800.02	? (TO) TT=1800.08
Bench name	Best results on this instance	Abscon 109 ESAC	Abscon 109 AC	BPrologCSPSolver70a 2006-12-13	buggy_2_5 2007-01-08	buggy_2_5_s 2007-01-08	CSP4J - Combo 2006-12-19	CSP4J - MAC 2006-12-19	CSP4J - MAC 2007-01-16	CSPtoSAT+minisat 0.3	Diarmuid-rndi 2006-12-21	Diarmuid-rndi 2007-01-22	Diarmuid-wtdi 2006-12-21	galac 1	galacJ beta 1	Mistral 2006-12-04	rjw-solver 2006-12-09	rjw-solver 2007-01-21	sat4jCSP 1.7 RC BF3	SAT4JCSP-CACHED 1.7 RC BF3	sugar 0.40	Tramontane 2006-12-04	VALCSP 3.0	VALCSP 3.1
blackHole/BH-4-7/ BlackHole-4-7-e-3_ext.xml		? (TO) TT=1800.19	? (TO) TT=1800.19	? (TO) TT=1800.02	? (TO) TT=1800.11	? (TO) TT=1800.06	? (TO) TT=1800.06	? (TO) TT=1800	? (TO) TT=1800.09	? (TO) TT=1800.14	? (problem) TT=0.048	? (problem) TT=0.107	? (problem) TT=0.047	? (TO) TT=1800.01	? (TO) TT=1800.03	? (TO) TT=1800.1	? (problem) TT=0.044	? (problem) TT=0.104	? (TO) TT=1800.17	? (TO) TT=1800.16	? (TO) TT=1800.05	? (TO) TT=1800.04	? (TO) TT=1800.06	? (TO) TT=1800.06
blackHole/BH-4-7/ BlackHole-4-7-e-4_ext.xml		? (TO) TT=1800.21	? (TO) TT=1800.21	? (TO) TT=1800.09	? (TO) TT=1800.05	? (TO) TT=1800.11	? (TO) TT=1800.06	? (TO) TT=1800.1	? (TO) TT=1800.06	? (TO) TT=1800.09	? (problem) TT=0.047	? (problem) TT=0.106	? (problem) TT=0.047	? (TO) TT=1800.03	? (TO) TT=1800.09	? (TO) TT=1800.07	? (problem) TT=0.043	? (problem) TT=0.106	? (TO) TT=1800.23	? (TO) TT=1800.18	? (TO) TT=1800.12	? (TO) TT=1800.11	? (TO) TT=1800.02	? (TO) TT=1800.02
blackHole/BH-4-7/ BlackHole-4-7-e-5_ext.xml		? (TO) TT=1800.14	? (TO) TT=1800.16	? (TO) TT=1800.08	? (TO) TT=1800.1	? (TO) TT=1800.08	? (TO) TT=1800.09	? (TO) TT=1800.06	? (TO) TT=1800.02	? (TO) TT=1800.04	? (problem) TT=0.049	? (problem) TT=0.107	? (problem) TT=0.048	? (TO) TT=1800.08	? (TO) TT=1800	? (TO) TT=1800.11	? (problem) TT=0.052	? (problem) TT=0.111	? (TO) TT=1800.16	? (TO) TT=1800.22	? (TO) TT=1800.08	? (TO) TT=1800.11	? (TO) TT=1800.08	? (TO) TT=1800.04
blackHole/BH-4-7/ BlackHole-4-7-e-6_ext.xml		? (TO) TT=1800.18	? (TO) TT=1800.22	? (TO) TT=1800.05	? (TO) TT=1800.1	? (TO) TT=1800.08	? (TO) TT=1800.08	? (TO) TT=1800.09	? (TO) TT=1800.04	? (TO) TT=1800.06	? (problem) TT=0.042	? (problem) TT=0.112	? (problem) TT=0.044	? (TO) TT=1800.03	? (TO) TT=1800.05	? (TO) TT=1800.04	? (problem) TT=0.047	? (problem) TT=0.107	? (TO) TT=1800.16	? (TO) TT=1800.19	? (TO) TT=1800.03	? (TO) TT=1800.07	? (TO) TT=1800.07	? (TO) TT=1800.07
blackHole/BH-4-7/ BlackHole-4-7-e-7_ext.xml		? (TO) TT=1800.19	? (TO) TT=1800.19	? (TO) TT=1800.09	? (TO) TT=1800.12	? (TO) TT=1800.12	? (TO) TT=1800.01	? (TO) TT=1800.06	? (TO) TT=1800.1	? (TO) TT=1800.11	? (problem) TT=0.046	? (problem) TT=0.113	? (problem) TT=0.05	? (TO) TT=1800.07	? (TO) TT=1800.01	? (TO) TT=1800.03	? (problem) TT=0.048	? (problem) TT=0.11	? (TO) TT=1800.19	? (TO) TT=1800.17	? (TO) TT=1800.05	? (TO) TT=1800.11	? (TO) TT=1800.06	? (TO) TT=1800.02
blackHole/BH-4-7/ BlackHole-4-7-e-8_ext.xml		? (TO) TT=1800.21	? (TO) TT=1800.23	? (TO) TT=1800	? (TO) TT=1800.08	? (TO) TT=1800.11	? (TO) TT=1800.09	? (TO) TT=1800.07	? (TO) TT=1800.07	? (TO) TT=1800.04	? (problem) TT=0.046	? (problem) TT=0.107	? (problem) TT=0.051	? (TO) TT=1800.04	? (TO) TT=1800.06	? (TO) TT=1800.02	? (problem) TT=0.047	? (problem) TT=0.11	? (TO) TT=1800.18	? (TO) TT=1800.18	? (TO) TT=1800.1	? (TO) TT=1800.02	? (TO) TT=1800.04	? (TO) TT=1800.09
blackHole/BH-4-7/ BlackHole-4-7-e-9_ext.xml		? (TO) TT=1800.2	? (TO) TT=1800.23	? (TO) TT=1800.06	? (TO) TT=1800.11	? (TO) TT=1800.08	? (TO) TT=1800.01	? (TO) TT=1800.08	? (TO) TT=1800	? (TO) TT=1800.06	? (problem) TT=0.043	? (problem) TT=0.106	? (problem) TT=0.047	? (TO) TT=1800.05	? (TO) TT=1800.03	? (TO) TT=1800.05	? (problem) TT=0.049	? (problem) TT=0.104	? (TO) TT=1800.4	? (TO) TT=1800.18	? (TO) TT=1800.06	? (TO) TT=1800.09	? (TO) TT=1800.07	? (TO) TT=1800.03
blackHole/BH-4-7/ BlackHole-4-7-h-0_ext.xml		? (TO) TT=1800.22	? (TO) TT=1800.2	? (TO) TT=1800.1	? (TO) TT=1800.05	? (TO) TT=1800.05	? (TO) TT=1800.03	? (TO) TT=1800.08	? (TO) TT=1800.04	? (TO) TT=1800.07	? (problem) TT=0.046	? (problem) TT=0.111	? (problem) TT=0.047	? (TO) TT=1800.05	? (TO) TT=1800.07	? (TO) TT=1800.02	? (problem) TT=0.047	? (problem) TT=0.102	? (TO) TT=1800.19	? (TO) TT=1800.14	? (TO) TT=1800.09	? (TO) TT=1800.04	? (TO) TT=1800.02	? (TO) TT=1800.06
blackHole/BH-4-7/ BlackHole-4-7-h-1_ext.xml		? (TO) TT=1800.16	? (TO) TT=1800.21	? (TO) TT=1800.06	? (TO) TT=1800.09	? (TO) TT=1800.13	? (TO) TT=1800.01	? (TO) TT=1800.03	? (TO) TT=1800.1	? (TO) TT=1800.12	? (problem) TT=0.044	? (problem) TT=0.106	? (problem) TT=0.046	? (TO) TT=1800.02	? (TO) TT=1800.07	? (TO) TT=1800.06	? (problem) TT=0.045	? (problem) TT=0.107	? (TO) TT=1800.2	? (TO) TT=1800.23	? (TO) TT=1800.08	? (TO) TT=1800.09	? (TO) TT=1800.03	? (TO) TT=1800.11
blackHole/BH-4-7/ BlackHole-4-7-h-2_ext.xml		? (TO) TT=1800.21	? (TO) TT=1800.15	? (TO) TT=1800.08	? (TO) TT=1800.05	? (TO) TT=1800.12	? (TO) TT=1800.07	? (TO) TT=1800.05	? (TO) TT=1800.02	? (TO) TT=1800.08	? (problem) TT=0.05	? (problem) TT=0.114	? (problem) TT=0.051	? (TO) TT=1800	? (TO) TT=1800.01	? (TO) TT=1800.03	? (problem) TT=0.046	? (problem) TT=0.109	? (TO) TT=1800.19	? (TO) TT=1800.19	? (TO) TT=1800.11	? (TO) TT=1800.11	? (TO) TT=1800.1	? (TO) TT=1800.12
Bench name	Best results on this instance	Abscon 109 ESAC	Abscon 109 AC	BPrologCSPSolver70a 2006-12-13	buggy_2_5 2007-01-08	buggy_2_5_s 2007-01-08	CSP4J - Combo 2006-12-19	CSP4J - MAC 2006-12-19	CSP4J - MAC 2007-01-16	CSPtoSAT+minisat 0.3	Diarmuid-rndi 2006-12-21	Diarmuid-rndi 2007-01-22	Diarmuid-wtdi 2006-12-21	galac 1	galacJ beta 1	Mistral 2006-12-04	rjw-solver 2006-12-09	rjw-solver 2007-01-21	sat4jCSP 1.7 RC BF3	SAT4JCSP-CACHED 1.7 RC BF3	sugar 0.40	Tramontane 2006-12-04	VALCSP 3.0	VALCSP 3.1
blackHole/BH-4-7/ BlackHole-4-7-h-3_ext.xml		? (TO) TT=1800.18	? (TO) TT=1800.15	? (TO) TT=1800.05	? (TO) TT=1800.07	? (TO) TT=1800.09	? (TO) TT=1800.02	? (TO) TT=1800.11	? (TO) TT=1800.13	? (TO) TT=1800.06	? (problem) TT=0.051	? (problem) TT=0.112	? (problem) TT=0.048	? (TO) TT=1800.05	? (TO) TT=1800.06	? (TO) TT=1800.07	? (problem) TT=0.047	? (problem) TT=0.109	? (TO) TT=1800.2	? (TO) TT=1800.19	? (TO) TT=1800.09	? (TO) TT=1800.1	? (TO) TT=1800.05	? (TO) TT=1800.1
blackHole/BH-4-7/ BlackHole-4-7-h-4_ext.xml		? (TO) TT=1800.19	? (TO) TT=1800.15	? (TO) TT=1800.1	? (TO) TT=1800.03	? (TO) TT=1800.06	? (TO) TT=1800.07	? (TO) TT=1800.1	? (TO) TT=1800.01	? (TO) TT=1800.11	? (problem) TT=0.046	? (problem) TT=0.108	? (problem) TT=0.043	? (TO) TT=1800.09	? (TO) TT=1800.06	? (TO) TT=1800.03	? (problem) TT=0.044	? (problem) TT=0.113	? (TO) TT=1800.24	? (TO) TT=1800.15	? (TO) TT=1800.04	? (TO) TT=1800.08	? (TO) TT=1800.06	? (TO) TT=1800.04
blackHole/BH-4-7/ BlackHole-4-7-h-5_ext.xml		? (TO) TT=1800.18	? (TO) TT=1800.23	? (TO) TT=1800.03	? (TO) TT=1800.1	? (TO) TT=1800.06	? (TO) TT=1800.09	? (TO) TT=1800.04	? (TO) TT=0.005	? (TO) TT=1800.11	? (problem) TT=0.046	? (problem) TT=0.113	? (problem) TT=0.047	? (TO) TT=1800.01	? (TO) TT=1800.08	? (TO) TT=1800.08	? (problem) TT=0.043	? (problem) TT=0.12	? (TO) TT=1800.22	? (TO) TT=1800.19	? (TO) TT=1800.06	? (TO) TT=1800.07	? (TO) TT=1800.11	? (TO) TT=1800.06
blackHole/BH-4-7/ BlackHole-4-7-h-6_ext.xml		? (TO) TT=1800.17	? (TO) TT=1800.16	? (TO) TT=1800.08	? (TO) TT=1800.1	? (TO) TT=1800.09	? (TO) TT=1800.01	? (TO) TT=1800.03	? (TO) TT=1800.03	? (TO) TT=1800.13	? (problem) TT=0.047	? (problem) TT=0.113	? (problem) TT=0.045	? (TO) TT=1800.01	? (TO) TT=1800.08	? (TO) TT=1800.09	? (problem) TT=0.046	? (problem) TT=0.109	? (TO) TT=1800.2	? (TO) TT=1800.18	? (TO) TT=1800.09	? (TO) TT=1800.04	? (TO) TT=1800.1	? (TO) TT=1800.09
blackHole/BH-4-7/ BlackHole-4-7-h-7_ext.xml		? (TO) TT=1800.17	? (TO) TT=1800.23	? (TO) TT=1800.09	? (TO) TT=1800.08	? (TO) TT=1800.1	? (TO) TT=1800.06	? (TO) TT=1800.01	? (TO) TT=1800.08	? (TO) TT=1800.11	? (problem) TT=0.047	? (problem) TT=0.109	? (problem) TT=0.047	? (TO) TT=1800.09	? (TO) TT=1800.08	? (TO) TT=1800.09	? (problem) TT=0.047	? (problem) TT=0.109	? (TO) TT=1800.17	? (TO) TT=1800.21	? (TO) TT=1800.01	? (TO) TT=1800.07	? (TO) TT=1800.11	? (TO) TT=1800.09
blackHole/BH-4-7/ BlackHole-4-7-h-8_ext.xml		? (TO) TT=1800.18	? (TO) TT=1800.13	? (TO) TT=1800.1	? (TO) TT=1800.05	? (TO) TT=1800.12	? (TO) TT=1800.04	? (TO) TT=1800.04	? (TO) TT=1800.03	? (TO) TT=1800.05	? (problem) TT=0.047	? (problem) TT=0.11	? (problem) TT=0.048	? (TO) TT=1800.02	? (TO) TT=1800.07	? (TO) TT=1800.02	? (problem) TT=0.049	? (problem) TT=0.12	? (TO) TT=1800.25	? (TO) TT=1800.18	? (TO) TT=1800.07	? (TO) TT=1800.08	? (TO) TT=1800.03	? (TO) TT=1800.12
blackHole/BH-4-7/ BlackHole-4-7-h-9_ext.xml		? (TO) TT=1800.17	? (TO) TT=1800.16	? (TO) TT=1800.07	? (TO) TT=1800.08	? (TO) TT=1800.09	? (TO) TT=1800.07	? (TO) TT=1800.03	? (TO) TT=1800.05	? (TO) TT=1800.08	? (problem) TT=0.045	? (problem) TT=0.11	? (problem) TT=0.047	? (TO) TT=1800.03	? (TO) TT=1800.07	? (TO) TT=1800.11	? (problem) TT=0.048	? (problem) TT=0.112	? (TO) TT=1800.22	? (TO) TT=1800.23	? (TO) TT=1800.06	? (TO) TT=1800.1	? (TO) TT=1800.03	? (TO) TT=1800.09
bqwh/bqwh-15-106/ bqwh-15-106-11_ext.xml	SAT TT=0.02	SAT TT=0.925 CHECKS=25895 NODES=393	SAT TT=0.969 CHECKS=52682 NODES=829	SAT TT=0.119	SAT TT=0.171	SAT TT=0.178	SAT TT=0.635 NODES=237	SAT TT=0.569 NODES=126	SAT TT=0.587 CHECKS=15180 NODES=126	SAT TT=0.059	SAT TT=2.951 CHECKS=507532 NODES=1744	SAT TT=25.579 CHECKS=4581348 NODES=13203	SAT TT=0.275 CHECKS=30555 NODES=189	SAT TT=1.587	SAT TT=1.631	SAT TT=0.055	SAT TT=0.306 CHECKS=30555 NODES=189	SAT TT=0.313 CHECKS=30555 NODES=189	SAT TT=1.715	SAT TT=1.705	SAT TT=1.11	SAT TT=0.081	SAT TT=0.02 CHECKS=73903 NODES=400	SAT TT=0.019 CHECKS=73903 NODES=400
bqwh/bqwh-15-106/ bqwh-15-106-13_ext.xml	SAT TT=0.028	SAT TT=0.954 CHECKS=40325 NODES=405	SAT TT=0.986 CHECKS=31169 NODES=455	SAT TT=0.089	SAT TT=0.243	SAT TT=0.248	SAT TT=0.708 NODES=377	SAT TT=0.683 NODES=388	SAT TT=0.72 CHECKS=11534 NODES=388	SAT TT=0.059	SAT TT=21.243 CHECKS=3904177 NODES=10472	SAT TT=18.076 CHECKS=3434349 NODES=9539	SAT TT=0.265 CHECKS=22876 NODES=179	SAT TT=1.646	SAT TT=1.726	SAT TT=0.051	SAT TT=0.286 CHECKS=22876 NODES=179	SAT TT=0.288 CHECKS=22876 NODES=179	SAT TT=1.726	SAT TT=1.728	SAT TT=1.09	SAT TT=0.053	SAT TT=0.028 CHECKS=210823 NODES=1033	SAT TT=0.03 CHECKS=210823 NODES=1033
bqwh/bqwh-15-106/ bqwh-15-106-15_ext.xml	SAT TT=0.06	SAT TT=1.011 CHECKS=88442 NODES=1003	SAT TT=1.026 CHECKS=119219 NODES=1341	SAT TT=0.414	SAT TT=0.443	SAT TT=0.486	SAT TT=0.699 NODES=332	SAT TT=1.14 NODES=1353	SAT TT=1.206 CHECKS=12863 NODES=1404	SAT TT=0.067	SAT TT=22.934 CHECKS=3940600 NODES=9966	SAT TT=30.479 CHECKS=5338342 NODES=13777	SAT TT=3.183 CHECKS=494965 NODES=1842	SAT TT=1.558	SAT TT=1.58	SAT TT=0.21	SAT TT=4.711 CHECKS=668136 NODES=2657	SAT TT=4.518 CHECKS=668136 NODES=2657	SAT TT=1.709	SAT TT=1.746	SAT TT=1.1	SAT TT=0.204	SAT TT=0.06 CHECKS=782539 NODES=2861	SAT TT=0.056 CHECKS=782539 NODES=2861
Bench name	Best results on this instance	Abscon 109 ESAC	Abscon 109 AC	BPrologCSPSolver70a 2006-12-13	buggy_2_5 2007-01-08	buggy_2_5_s 2007-01-08	CSP4J - Combo 2006-12-19	CSP4J - MAC 2006-12-19	CSP4J - MAC 2007-01-16	CSPtoSAT+minisat 0.3	Diarmuid-rndi 2006-12-21	Diarmuid-rndi 2007-01-22	Diarmuid-wtdi 2006-12-21	galac 1	galacJ beta 1	Mistral 2006-12-04	rjw-solver 2006-12-09	rjw-solver 2007-01-21	sat4jCSP 1.7 RC BF3	SAT4JCSP-CACHED 1.7 RC BF3	sugar 0.40	Tramontane 2006-12-04	VALCSP 3.0	VALCSP 3.1
bqwh/bqwh-15-106/ bqwh-15-106-17_ext.xml	SAT TT=0.017	SAT TT=0.938 CHECKS=35164 NODES=424	SAT TT=1.075 CHECKS=114194 NODES=1242	SAT TT=0.077	SAT TT=0.226	SAT TT=0.231	SAT TT=0.964 NODES=1576	SAT TT=0.698 NODES=307	SAT TT=0.686 CHECKS=14570 NODES=307	SAT TT=0.053	SAT TT=7.772 CHECKS=1299538 NODES=3807	SAT TT=3.526 CHECKS=595322 NODES=1754	SAT TT=0.571 CHECKS=64386 NODES=333	SAT TT=1.606	SAT TT=1.593	SAT TT=0.056	SAT TT=0.573 CHECKS=64386 NODES=333	SAT TT=0.55 CHECKS=64386 NODES=333	SAT TT=1.727	SAT TT=1.693	SAT TT=1.11	SAT TT=0.055	SAT TT=0.017 CHECKS=23821 NODES=138	SAT TT=0.017 CHECKS=23821 NODES=138
bqwh/bqwh-15-106/ bqwh-15-106-19_ext.xml	SAT TT=0.016	SAT TT=0.93 CHECKS=29787 NODES=355	SAT TT=1.024 CHECKS=100386 NODES=1324	SAT TT=0.051	SAT TT=0.227	SAT TT=0.227	SAT TT=0.659 NODES=264	SAT TT=0.817 NODES=652	SAT TT=0.862 CHECKS=11888 NODES=652	SAT TT=0.057	SAT TT=0.16 CHECKS=12162 NODES=107	SAT TT=12.227 CHECKS=2162381 NODES=6019	SAT TT=0.369 CHECKS=41020 NODES=255	SAT TT=1.625	SAT TT=1.609	SAT TT=0.058	SAT TT=0.404 CHECKS=41020 NODES=255	SAT TT=0.392 CHECKS=41020 NODES=255	SAT TT=1.541	SAT TT=1.443	SAT TT=1.05	SAT TT=0.062	SAT TT=0.016 CHECKS=33802 NODES=176	SAT TT=0.016 CHECKS=33802 NODES=176
bqwh/bqwh-15-106/ bqwh-15-106-1_ext.xml	SAT TT=0.037	SAT TT=0.971 CHECKS=66800 NODES=818	SAT TT=1.156 CHECKS=220441 NODES=2380	SAT TT=0.328	SAT TT=0.646	SAT TT=0.681	SAT TT=1.865 NODES=2352	SAT TT=0.62 NODES=246	SAT TT=0.673 CHECKS=13512 NODES=246	SAT TT=0.069	SAT TT=6.982 CHECKS=1318847 NODES=3830	SAT TT=5.192 CHECKS=986794 NODES=2863	SAT TT=1.694 CHECKS=277429 NODES=1083	SAT TT=1.688	SAT TT=1.581	SAT TT=0.235	SAT TT=8.507 CHECKS=1390113 NODES=5056	SAT TT=7.873 CHECKS=1390113 NODES=5056	SAT TT=1.765	SAT TT=1.765	SAT TT=1.06	SAT TT=0.082	SAT TT=0.037 CHECKS=362780 NODES=1550	SAT TT=0.037 CHECKS=362780 NODES=1550
bqwh/bqwh-15-106/ bqwh-15-106-21_ext.xml	SAT TT=0.023	SAT TT=0.905 CHECKS=35605 NODES=544	SAT TT=0.878 CHECKS=5562 NODES=156	SAT TT=0.048	SAT TT=0.192	SAT TT=0.216	SAT TT=0.606 NODES=224	SAT TT=0.576 NODES=192	SAT TT=0.615 CHECKS=11774 NODES=192	SAT TT=0.063	SAT TT=5.745 CHECKS=1027761 NODES=3165	SAT TT=1.576 CHECKS=275552 NODES=927	SAT TT=1.472 CHECKS=218045 NODES=1113	SAT TT=1.626	SAT TT=1.53	SAT TT=0.06	SAT TT=0.739 CHECKS=86842 NODES=488	SAT TT=0.741 CHECKS=86842 NODES=488	SAT TT=1.778	SAT TT=1.694	SAT TT=1.1	SAT TT=0.065	SAT TT=0.023 CHECKS=138790 NODES=653	SAT TT=0.027 CHECKS=138790 NODES=653
bqwh/bqwh-15-106/ bqwh-15-106-23_ext.xml	SAT TT=0.018	SAT TT=0.978 CHECKS=41290 NODES=552	SAT TT=0.926 CHECKS=10094 NODES=198	SAT TT=0.074	SAT TT=0.213	SAT TT=0.212	SAT TT=0.576 NODES=128	SAT TT=0.585 NODES=155	SAT TT=0.595 CHECKS=12444 NODES=155	SAT TT=0.06	SAT TT=1.381 CHECKS=251900 NODES=715	SAT TT=0.613 CHECKS=96919 NODES=316	SAT TT=0.34 CHECKS=33585 NODES=222	SAT TT=1.607	SAT TT=1.608	SAT TT=0.06	SAT TT=0.321 CHECKS=33585 NODES=222	SAT TT=0.343 CHECKS=33585 NODES=222	SAT TT=1.492	SAT TT=1.563	SAT TT=1.01	SAT TT=0.06	SAT TT=0.018 CHECKS=45422 NODES=184	SAT TT=0.018 CHECKS=45422 NODES=184
bqwh/bqwh-15-106/ bqwh-15-106-25_ext.xml	SAT TT=0.032	SAT TT=1.17 CHECKS=182493 NODES=2065	SAT TT=1.118 CHECKS=138219 NODES=1462	SAT TT=0.228	SAT TT=0.191	SAT TT=0.194	SAT TT=1.693 NODES=4294	SAT TT=0.666 NODES=343	SAT TT=0.708 CHECKS=13736 NODES=343	SAT TT=0.058	SAT TT=5.878 CHECKS=956745 NODES=2830	SAT TT=65.641 CHECKS=11152398 NODES=34025	SAT TT=1.29 CHECKS=189143 NODES=772	SAT TT=1.638	SAT TT=1.675	SAT TT=0.077	SAT TT=1.525 CHECKS=221077 NODES=1015	SAT TT=1.56 CHECKS=221077 NODES=1015	SAT TT=1.827	SAT TT=1.77	SAT TT=1.11	SAT TT=0.085	SAT TT=0.032 CHECKS=274361 NODES=949	SAT TT=0.032 CHECKS=274361 NODES=949
bqwh/bqwh-15-106/ bqwh-15-106-27_ext.xml	SAT TT=0.058	SAT TT=1.196 CHECKS=243566 NODES=2340	SAT TT=1.106 CHECKS=119135 NODES=1498	SAT TT=0.485	SAT TT=0.214	SAT TT=0.21	SAT TT=1.303 NODES=1323	SAT TT=0.658 NODES=331	SAT TT=0.676 CHECKS=12264 NODES=331	SAT TT=0.058	SAT TT=21.668 CHECKS=4318681 NODES=11548	SAT TT=11.339 CHECKS=2077280 NODES=5583	SAT TT=2.588 CHECKS=454499 NODES=1672	SAT TT=1.654	SAT TT=1.619	SAT TT=0.363	SAT TT=11.381 CHECKS=1796934 NODES=6812	SAT TT=11.678 CHECKS=1796934 NODES=6812	SAT TT=1.805	SAT TT=1.972	SAT TT=1.1	SAT TT=0.074	SAT TT=0.097 CHECKS=1384960 NODES=5499	SAT TT=0.097 CHECKS=1384960 NODES=5499
bqwh/bqwh-15-106/ bqwh-15-106-29_ext.xml	SAT TT=0.03	SAT TT=1.164 CHECKS=214997 NODES=2017	SAT TT=1.156 CHECKS=254121 NODES=2419	SAT TT=0.187	SAT TT=0.236	SAT TT=0.241	SAT TT=0.883 NODES=656	SAT TT=0.665 NODES=349	SAT TT=0.695 CHECKS=11871 NODES=349	SAT TT=0.069	SAT TT=31.661 CHECKS=5882716 NODES=16111	SAT TT=17.958 CHECKS=3298786 NODES=8924	SAT TT=6.838 CHECKS=1111907 NODES=3952	SAT TT=1.731	SAT TT=1.609	SAT TT=0.122	SAT TT=5.926 CHECKS=942144 NODES=3499	SAT TT=5.967 CHECKS=942144 NODES=3499	SAT TT=1.916	SAT TT=1.873	SAT TT=1.1	SAT TT=0.126	SAT TT=0.03 CHECKS=242334 NODES=1165	SAT TT=0.028 CHECKS=242334 NODES=1165
bqwh/bqwh-15-106/ bqwh-15-106-31_ext.xml	SAT TT=0.043	SAT TT=0.945 CHECKS=36465 NODES=455	SAT TT=0.958 CHECKS=14883 NODES=276	SAT TT=0.265	SAT TT=0.197	SAT TT=0.204	SAT TT=0.638 NODES=176	SAT TT=0.61 NODES=192	SAT TT=0.623 CHECKS=13700 NODES=192	SAT TT=0.062	SAT TT=3.299 CHECKS=571060 NODES=1581	SAT TT=1.988 CHECKS=356094 NODES=995	SAT TT=2.009 CHECKS=306089 NODES=1477	SAT TT=1.687	SAT TT=1.587	SAT TT=0.18	SAT TT=1.735 CHECKS=242447 NODES=1185	SAT TT=1.637 CHECKS=242447 NODES=1185	SAT TT=1.631	SAT TT=1.604	SAT TT=1.07	SAT TT=0.06	SAT TT=0.043 CHECKS=534658 NODES=2650	SAT TT=0.042 CHECKS=534658 NODES=2650
bqwh/bqwh-15-106/ bqwh-15-106-33_ext.xml	SAT TT=0.038	SAT TT=0.916 CHECKS=17067 NODES=258	SAT TT=1.043 CHECKS=76861 NODES=1008	SAT TT=0.055	SAT TT=0.179	SAT TT=0.188	SAT TT=0.623 NODES=222	SAT TT=0.689 NODES=413	SAT TT=0.729 CHECKS=12469 NODES=413	SAT TT=0.053	SAT TT=6.483 CHECKS=1227459 NODES=3743	SAT TT=15.59 CHECKS=2808775 NODES=8625	SAT TT=2.192 CHECKS=328023 NODES=1453	SAT TT=1.692	SAT TT=1.659	SAT TT=0.108	SAT TT=0.771 CHECKS=97866 NODES=510	SAT TT=0.757 CHECKS=97866 NODES=510	SAT TT=1.82	SAT TT=1.77	SAT TT=1.178	SAT TT=0.167	SAT TT=0.038 CHECKS=369995 NODES=1521	SAT TT=0.038 CHECKS=369995 NODES=1521
Bench name	Best results on this instance	Abscon 109 ESAC	Abscon 109 AC	BPrologCSPSolver70a 2006-12-13	buggy_2_5 2007-01-08	buggy_2_5_s 2007-01-08	CSP4J - Combo 2006-12-19	CSP4J - MAC 2006-12-19	CSP4J - MAC 2007-01-16	CSPtoSAT+minisat 0.3	Diarmuid-rndi 2006-12-21	Diarmuid-rndi 2007-01-22	Diarmuid-wtdi 2006-12-21	galac 1	galacJ beta 1	Mistral 2006-12-04	rjw-solver 2006-12-09	rjw-solver 2007-01-21	sat4jCSP 1.7 RC BF3	SAT4JCSP-CACHED 1.7 RC BF3	sugar 0.40	Tramontane 2006-12-04	VALCSP 3.0	VALCSP 3.1
bqwh/bqwh-15-106/ bqwh-15-106-35_ext.xml	SAT TT=0.019	SAT TT=0.944 CHECKS=38966 NODES=576	SAT TT=1.049 CHECKS=79871 NODES=1064	SAT TT=0.092	SAT TT=0.189	SAT TT=0.176	SAT TT=0.671 NODES=226	SAT TT=0.605 NODES=182	SAT TT=0.661 CHECKS=16752 NODES=182	SAT TT=0.063	SAT TT=29.956 CHECKS=5685852 NODES=19033	SAT TT=16.085 CHECKS=2935590 NODES=9897	SAT TT=0.213 CHECKS=17123 NODES=120	SAT TT=1.606	SAT TT=1.639	SAT TT=0.054	SAT TT=0.216 CHECKS=17123 NODES=120	SAT TT=0.218 CHECKS=17123 NODES=120	SAT TT=1.647	SAT TT=1.682	SAT TT=1.13	SAT TT=0.057	SAT TT=0.019 CHECKS=27800 NODES=159	SAT TT=0.017 CHECKS=27800 NODES=159
bqwh/bqwh-15-106/ bqwh-15-106-37_ext.xml	SAT TT=0.043	SAT TT=1.011 CHECKS=90450 NODES=982	SAT TT=1.069 CHECKS=138143 NODES=1559	SAT TT=0.35	SAT TT=0.762	SAT TT=0.748	SAT TT=1.02 NODES=1849	SAT TT=0.663 NODES=314	SAT TT=0.672 CHECKS=11218 NODES=314	SAT TT=0.058	SAT TT=13.337 CHECKS=2288786 NODES=6533	SAT TT=23.085 CHECKS=3944070 NODES=10943	SAT TT=3.35 CHECKS=552277 NODES=1977	SAT TT=1.607	SAT TT=1.583	SAT TT=0.104	SAT TT=3.333 CHECKS=515689 NODES=2099	SAT TT=3.316 CHECKS=515689 NODES=2099	SAT TT=1.758	SAT TT=1.879	SAT TT=1.09	SAT TT=0.137	SAT TT=0.043 CHECKS=480538 NODES=1829	SAT TT=0.044 CHECKS=480538 NODES=1829
bqwh/bqwh-15-106/ bqwh-15-106-39_ext.xml	SAT TT=0.022	SAT TT=1.031 CHECKS=94929 NODES=1117	SAT TT=0.955 CHECKS=54727 NODES=797	SAT TT=0.336	SAT TT=0.217	SAT TT=0.201	SAT TT=0.661 NODES=214	SAT TT=0.601 NODES=209	SAT TT=0.638 CHECKS=14322 NODES=209	SAT TT=0.06	SAT TT=31.995 CHECKS=5888495 NODES=16772	SAT TT=18.467 CHECKS=3207339 NODES=9256	SAT TT=0.413 CHECKS=46692 NODES=308	SAT TT=1.591	SAT TT=1.618	SAT TT=0.061	SAT TT=0.421 CHECKS=46692 NODES=308	SAT TT=0.456 CHECKS=46692 NODES=308	SAT TT=1.808	SAT TT=1.868	SAT TT=1.09	SAT TT=0.06	SAT TT=0.022 CHECKS=87642 NODES=464	SAT TT=0.022 CHECKS=87642 NODES=464
bqwh/bqwh-15-106/ bqwh-15-106-3_ext.xml	SAT TT=0.027	SAT TT=1.028 CHECKS=94840 NODES=1303	SAT TT=0.992 CHECKS=72901 NODES=1061	SAT TT=0.091	SAT TT=0.266	SAT TT=0.261	SAT TT=0.642 NODES=245	SAT TT=1.225 NODES=1687	SAT TT=1.268 CHECKS=14910 NODES=1687	SAT TT=0.065	SAT TT=52.181 CHECKS=9254312 NODES=29101	SAT TT=29.228 CHECKS=5280890 NODES=16572	SAT TT=18.408 CHECKS=3141695 NODES=11257	SAT TT=1.7	SAT TT=1.672	SAT TT=0.294	SAT TT=13.652 CHECKS=2176223 NODES=8488	SAT TT=13.648 CHECKS=2176223 NODES=8488	SAT TT=1.878	SAT TT=1.714	SAT TT=1.12	SAT TT=0.075	SAT TT=0.027 CHECKS=174715 NODES=768	SAT TT=0.03 CHECKS=174715 NODES=768
bqwh/bqwh-15-106/ bqwh-15-106-41_ext.xml	SAT TT=0.059	SAT TT=1.009 CHECKS=111538 NODES=1311	SAT TT=1.02 CHECKS=104399 NODES=1148	SAT TT=0.797	SAT TT=0.32	SAT TT=0.309	SAT TT=0.707 NODES=419	SAT TT=0.604 NODES=227	SAT TT=0.651 CHECKS=13143 NODES=227	SAT TT=0.059	SAT TT=15.469 CHECKS=3010312 NODES=8208	SAT TT=23.52 CHECKS=4190476 NODES=11367	SAT TT=4.944 CHECKS=898946 NODES=3028	SAT TT=1.615	SAT TT=1.602	SAT TT=0.088	SAT TT=2.566 CHECKS=403988 NODES=1670	SAT TT=2.48 CHECKS=403988 NODES=1670	SAT TT=1.819	SAT TT=2.025	SAT TT=1.176	SAT TT=0.171	SAT TT=0.062 CHECKS=846644 NODES=3380	SAT TT=0.057 CHECKS=846644 NODES=3380
bqwh/bqwh-15-106/ bqwh-15-106-43_ext.xml	SAT TT=0.018	SAT TT=0.977 CHECKS=54505 NODES=553	SAT TT=0.972 CHECKS=66583 NODES=895	SAT TT=0.052	SAT TT=0.189	SAT TT=0.216	SAT TT=0.671 NODES=338	SAT TT=0.612 NODES=216	SAT TT=0.634 CHECKS=12870 NODES=216	SAT TT=0.059	SAT TT=23.783 CHECKS=4782758 NODES=12832	SAT TT=22.225 CHECKS=4189245 NODES=11200	SAT TT=0.298 CHECKS=28383 NODES=170	SAT TT=1.686	SAT TT=1.61	SAT TT=0.052	SAT TT=0.283 CHECKS=28383 NODES=170	SAT TT=0.28 CHECKS=28383 NODES=170	SAT TT=1.731	SAT TT=1.814	SAT TT=1.195	SAT TT=0.053	SAT TT=0.018 CHECKS=40465 NODES=193	SAT TT=0.017 CHECKS=40465 NODES=193
bqwh/bqwh-15-106/ bqwh-15-106-45_ext.xml	SAT TT=0.035	SAT TT=0.96 CHECKS=42999 NODES=607	SAT TT=1.21 CHECKS=207604 NODES=2368	SAT TT=0.175	SAT TT=0.203	SAT TT=0.204	SAT TT=1.457 NODES=1667	SAT TT=0.685 NODES=372	SAT TT=0.748 CHECKS=15348 NODES=372	SAT TT=0.073	SAT TT=15.735 CHECKS=2808757 NODES=8371	SAT TT=0.56 CHECKS=77591 NODES=343	SAT TT=1.857 CHECKS=319644 NODES=1401	SAT TT=1.671	SAT TT=1.611	SAT TT=0.073	SAT TT=1.457 CHECKS=219936 NODES=1023	SAT TT=1.381 CHECKS=219936 NODES=1023	SAT TT=1.478	SAT TT=1.607	SAT TT=1.09	SAT TT=0.094	SAT TT=0.035 CHECKS=377005 NODES=1835	SAT TT=0.038 CHECKS=377005 NODES=1835
bqwh/bqwh-15-106/ bqwh-15-106-47_ext.xml	SAT TT=0.024	SAT TT=1.164 CHECKS=218794 NODES=2147	SAT TT=0.943 CHECKS=46809 NODES=621	SAT TT=0.205	SAT TT=0.225	SAT TT=0.228	SAT TT=0.867 NODES=940	SAT TT=0.684 NODES=355	SAT TT=0.716 CHECKS=12894 NODES=355	SAT TT=0.066	SAT TT=22.826 CHECKS=4189488 NODES=11606	SAT TT=11.691 CHECKS=2049747 NODES=5961	SAT TT=0.47 CHECKS=54788 NODES=307	SAT TT=1.613	SAT TT=1.595	SAT TT=0.061	SAT TT=0.45 CHECKS=54788 NODES=307	SAT TT=0.442 CHECKS=54788 NODES=307	SAT TT=1.612	SAT TT=1.632	SAT TT=0.98	SAT TT=0.064	SAT TT=0.024 CHECKS=150566 NODES=556	SAT TT=0.024 CHECKS=150566 NODES=556
bqwh/bqwh-15-106/ bqwh-15-106-49_ext.xml	SAT TT=0.036	SAT TT=1.186 CHECKS=207029 NODES=2261	SAT TT=0.929 CHECKS=33704 NODES=553	SAT TT=0.123	SAT TT=0.254	SAT TT=0.191	SAT TT=1.549 NODES=3950	SAT TT=0.736 NODES=484	SAT TT=0.761 CHECKS=13394 NODES=484	SAT TT=0.057	SAT TT=6.895 CHECKS=1231933 NODES=3872	SAT TT=10.043 CHECKS=1840498 NODES=5793	SAT TT=1.34 CHECKS=200204 NODES=875	SAT TT=1.632	SAT TT=1.633	SAT TT=0.211	SAT TT=2.149 CHECKS=325167 NODES=1421	SAT TT=2.156 CHECKS=325167 NODES=1421	SAT TT=1.545	SAT TT=1.611	SAT TT=1.1	SAT TT=0.057	SAT TT=0.036 CHECKS=341792 NODES=1659	SAT TT=0.036 CHECKS=341792 NODES=1659
bqwh/bqwh-15-106/ bqwh-15-106-51_ext.xml	SAT TT=0.043	SAT TT=0.93 CHECKS=25746 NODES=394	SAT TT=0.961 CHECKS=17789 NODES=383	SAT TT=0.071	SAT TT=0.432	SAT TT=0.398	SAT TT=0.682 NODES=241	SAT TT=0.718 NODES=425	SAT TT=0.777 CHECKS=13397 NODES=425	SAT TT=0.064	SAT TT=16.985 CHECKS=3225521 NODES=9813	SAT TT=18.426 CHECKS=3192322 NODES=9417	SAT TT=4.364 CHECKS=706202 NODES=2754	SAT TT=1.638	SAT TT=1.587	SAT TT=0.064	SAT TT=3.498 CHECKS=539437 NODES=2311	SAT TT=3.554 CHECKS=539437 NODES=2311	SAT TT=1.632	SAT TT=1.614	SAT TT=1.13	SAT TT=0.075	SAT TT=0.043 CHECKS=462265 NODES=1791	SAT TT=0.042 CHECKS=462265 NODES=1791
Bench name	Best results on this instance	Abscon 109 ESAC	Abscon 109 AC	BPrologCSPSolver70a 2006-12-13	buggy_2_5 2007-01-08	buggy_2_5_s 2007-01-08	CSP4J - Combo 2006-12-19	CSP4J - MAC 2006-12-19	CSP4J - MAC 2007-01-16	CSPtoSAT+minisat 0.3	Diarmuid-rndi 2006-12-21	Diarmuid-rndi 2007-01-22	Diarmuid-wtdi 2006-12-21	galac 1	galacJ beta 1	Mistral 2006-12-04	rjw-solver 2006-12-09	rjw-solver 2007-01-21	sat4jCSP 1.7 RC BF3	SAT4JCSP-CACHED 1.7 RC BF3	sugar 0.40	Tramontane 2006-12-04	VALCSP 3.0	VALCSP 3.1
bqwh/bqwh-15-106/ bqwh-15-106-53_ext.xml	SAT TT=0.033	SAT TT=0.94 CHECKS=21451 NODES=293	SAT TT=0.978 CHECKS=27422 NODES=448	SAT TT=0.063	SAT TT=0.203	SAT TT=0.203	SAT TT=0.646 NODES=245	SAT TT=0.656 NODES=240	SAT TT=0.65 CHECKS=13730 NODES=240	SAT TT=0.057	SAT TT=24.061 CHECKS=4192556 NODES=13222	SAT TT=23.885 CHECKS=4277797 NODES=13734	SAT TT=0.367 CHECKS=36350 NODES=240	SAT TT=1.628	SAT TT=1.614	SAT TT=0.057	SAT TT=0.35 CHECKS=36350 NODES=240	SAT TT=0.373 CHECKS=36350 NODES=240	SAT TT=1.774	SAT TT=1.837	SAT TT=1.12	SAT TT=0.074	SAT TT=0.033 CHECKS=332749 NODES=1433	SAT TT=0.033 CHECKS=332749 NODES=1433
bqwh/bqwh-15-106/ bqwh-15-106-55_ext.xml	SAT TT=0.044	SAT TT=1.023 CHECKS=78187 NODES=971	SAT TT=0.956 CHECKS=47797 NODES=631	SAT TT=0.254	SAT TT=0.218	SAT TT=0.224	SAT TT=0.729 NODES=395	SAT TT=0.652 NODES=288	SAT TT=0.659 CHECKS=14764 NODES=288	SAT TT=0.056	SAT TT=23.762 CHECKS=4339049 NODES=12551	SAT TT=27.975 CHECKS=4944734 NODES=13814	SAT TT=4.395 CHECKS=736229 NODES=2647	SAT TT=1.67	SAT TT=1.569	SAT TT=0.089	SAT TT=2.047 CHECKS=333858 NODES=1306	SAT TT=2.068 CHECKS=333858 NODES=1306	SAT TT=1.75	SAT TT=1.714	SAT TT=1.08	SAT TT=0.139	SAT TT=0.044 CHECKS=482851 NODES=2339	SAT TT=0.044 CHECKS=482851 NODES=2339
bqwh/bqwh-15-106/ bqwh-15-106-57_ext.xml	SAT TT=0.066	SAT TT=0.956 CHECKS=29083 NODES=429	SAT TT=1.043 CHECKS=61365 NODES=960	SAT TT=0.248	SAT TT=0.215	SAT TT=0.215	SAT TT=0.689 NODES=306	SAT TT=0.609 NODES=234	SAT TT=0.642 CHECKS=13672 NODES=234	SAT TT=0.066	SAT TT=10.012 CHECKS=1915596 NODES=5654	SAT TT=2.701 CHECKS=470230 NODES=1271	SAT TT=4.973 CHECKS=894103 NODES=3491	SAT TT=1.641	SAT TT=1.618	SAT TT=0.208	SAT TT=5.033 CHECKS=854728 NODES=3269	SAT TT=5.233 CHECKS=854728 NODES=3269	SAT TT=1.561	SAT TT=1.626	SAT TT=1.05	SAT TT=0.081	SAT TT=0.112 CHECKS=1723920 NODES=7048	SAT TT=0.107 CHECKS=1723920 NODES=7048
bqwh/bqwh-15-106/ bqwh-15-106-59_ext.xml	SAT TT=0.052	SAT TT=1.223 CHECKS=258283 NODES=2997	SAT TT=2.422 CHECKS=1927863 NODES=17101	SAT TT=0.108	SAT TT=1.257	SAT TT=1.248	SAT TT=0.993 NODES=1737	SAT TT=1.409 NODES=1996	SAT TT=1.413 CHECKS=15182 NODES=1996	SAT TT=0.067	SAT TT=34.078 CHECKS=5889926 NODES=20481	SAT TT=36.755 CHECKS=6435595 NODES=21355	SAT TT=0.329 CHECKS=31320 NODES=206	SAT TT=1.711	SAT TT=1.607	SAT TT=0.057	SAT TT=0.326 CHECKS=31320 NODES=206	SAT TT=0.325 CHECKS=31320 NODES=206	SAT TT=1.931	SAT TT=1.93	SAT TT=1.22	SAT TT=0.052	SAT TT=0.102 CHECKS=1511990 NODES=6107	SAT TT=0.096 CHECKS=1511990 NODES=6107
bqwh/bqwh-15-106/ bqwh-15-106-5_ext.xml	SAT TT=0.019	SAT TT=1.018 CHECKS=95566 NODES=1025	SAT TT=1.036 CHECKS=114223 NODES=1470	SAT TT=0.361	SAT TT=0.242	SAT TT=0.243	SAT TT=1.091 NODES=1026	SAT TT=0.667 NODES=352	SAT TT=0.713 CHECKS=12910 NODES=352	SAT TT=0.055	SAT TT=15.677 CHECKS=2838346 NODES=7925	SAT TT=16.288 CHECKS=2901486 NODES=8104	SAT TT=4.902 CHECKS=880686 NODES=2747	SAT TT=1.629	SAT TT=1.558	SAT TT=0.086	SAT TT=2.615 CHECKS=434137 NODES=1609	SAT TT=2.615 CHECKS=434137 NODES=1609	SAT TT=1.922	SAT TT=1.731	SAT TT=0.98	SAT TT=0.076	SAT TT=0.019 CHECKS=56977 NODES=278	SAT TT=0.019 CHECKS=56977 NODES=278
bqwh/bqwh-15-106/ bqwh-15-106-61_ext.xml	SAT TT=0.049	SAT TT=1.048 CHECKS=104344 NODES=1250	SAT TT=0.956 CHECKS=24222 NODES=363	SAT TT=0.228	SAT TT=0.428	SAT TT=0.45	SAT TT=0.747 NODES=432	SAT TT=0.645 NODES=268	SAT TT=0.695 CHECKS=13890 NODES=268	SAT TT=0.057	SAT TT=40.198 CHECKS=6786215 NODES=22547	SAT TT=28.377 CHECKS=4384256 NODES=14139	SAT TT=2.765 CHECKS=455286 NODES=1944	SAT TT=1.656	SAT TT=1.626	SAT TT=0.076	SAT TT=1.177 CHECKS=150049 NODES=788	SAT TT=1.108 CHECKS=150049 NODES=788	SAT TT=1.501	SAT TT=1.563	SAT TT=1.215	SAT TT=0.089	SAT TT=0.049 CHECKS=616781 NODES=2539	SAT TT=0.051 CHECKS=616781 NODES=2539
bqwh/bqwh-15-106/ bqwh-15-106-63_ext.xml	SAT TT=0.042	SAT TT=0.927 CHECKS=26651 NODES=309	SAT TT=0.931 CHECKS=50619 NODES=644	SAT TT=0.494	SAT TT=0.211	SAT TT=0.21	SAT TT=0.632 NODES=218	SAT TT=0.634 NODES=299	SAT TT=0.7 CHECKS=12698 NODES=299	SAT TT=0.058	SAT TT=17.592 CHECKS=3274067 NODES=9174	SAT TT=18.439 CHECKS=3598593 NODES=9993	SAT TT=4.876 CHECKS=848121 NODES=2845	SAT TT=1.625	SAT TT=1.593	SAT TT=0.146	SAT TT=3.034 CHECKS=526522 NODES=1788	SAT TT=3.033 CHECKS=526522 NODES=1788	SAT TT=1.576	SAT TT=1.914	SAT TT=1.169	SAT TT=0.107	SAT TT=0.042 CHECKS=486262 NODES=2035	SAT TT=0.041 CHECKS=486262 NODES=2035
bqwh/bqwh-15-106/ bqwh-15-106-65_ext.xml	SAT TT=0.031	SAT TT=0.978 CHECKS=57257 NODES=739	SAT TT=0.935 CHECKS=37537 NODES=606	SAT TT=0.089	SAT TT=0.301	SAT TT=0.301	SAT TT=0.651 NODES=243	SAT TT=0.629 NODES=259	SAT TT=0.694 CHECKS=12467 NODES=259	SAT TT=0.056	SAT TT=15.667 CHECKS=3002164 NODES=8044	SAT TT=25.614 CHECKS=4776725 NODES=12613	SAT TT=2.218 CHECKS=338173 NODES=1453	SAT TT=1.73	SAT TT=1.637	SAT TT=0.097	SAT TT=1.895 CHECKS=267404 NODES=1223	SAT TT=1.861 CHECKS=267404 NODES=1223	SAT TT=1.677	SAT TT=1.901	SAT TT=1.08	SAT TT=0.093	SAT TT=0.031 CHECKS=271482 NODES=1153	SAT TT=0.034 CHECKS=271482 NODES=1153
bqwh/bqwh-15-106/ bqwh-15-106-67_ext.xml	SAT TT=0.054	SAT TT=1.273 CHECKS=314365 NODES=3006	SAT TT=1.203 CHECKS=199088 NODES=1946	SAT TT=1.009	SAT TT=0.292	SAT TT=0.249	SAT TT=0.974 NODES=890	SAT TT=1.07 NODES=1172	SAT TT=1.106 CHECKS=12592 NODES=1172	SAT TT=0.055	SAT TT=14.95 CHECKS=2878502 NODES=7560	SAT TT=23.798 CHECKS=4403889 NODES=10894	SAT TT=1.783 CHECKS=280292 NODES=1019	SAT TT=1.584	SAT TT=1.629	SAT TT=0.123	SAT TT=2.188 CHECKS=336418 NODES=1220	SAT TT=2.162 CHECKS=336418 NODES=1220	SAT TT=1.627	SAT TT=1.658	SAT TT=0.47	SAT TT=0.082	SAT TT=0.054 CHECKS=691761 NODES=2451	SAT TT=0.05 CHECKS=691761 NODES=2451
bqwh/bqwh-15-106/ bqwh-15-106-69_ext.xml	SAT TT=0.034	SAT TT=0.996 CHECKS=56048 NODES=800	SAT TT=1.126 CHECKS=169464 NODES=1946	SAT TT=0.149	SAT TT=0.681	SAT TT=0.654	SAT TT=0.783 NODES=495	SAT TT=0.886 NODES=853	SAT TT=0.936 CHECKS=13989 NODES=853	SAT TT=0.059	SAT TT=31.348 CHECKS=5537427 NODES=16556	SAT TT=33.758 CHECKS=5743468 NODES=17148	SAT TT=2.439 CHECKS=357009 NODES=1666	SAT TT=1.644	SAT TT=1.62	SAT TT=0.318	SAT TT=3.061 CHECKS=432279 NODES=1998	SAT TT=3.03 CHECKS=432279 NODES=1998	SAT TT=1.661	SAT TT=1.656	SAT TT=1.08	SAT TT=0.221	SAT TT=0.034 CHECKS=283236 NODES=1368	SAT TT=0.031 CHECKS=283236 NODES=1368
Bench name	Best results on this instance	Abscon 109 ESAC	Abscon 109 AC	BPrologCSPSolver70a 2006-12-13	buggy_2_5 2007-01-08	buggy_2_5_s 2007-01-08	CSP4J - Combo 2006-12-19	CSP4J - MAC 2006-12-19	CSP4J - MAC 2007-01-16	CSPtoSAT+minisat 0.3	Diarmuid-rndi 2006-12-21	Diarmuid-rndi 2007-01-22	Diarmuid-wtdi 2006-12-21	galac 1	galacJ beta 1	Mistral 2006-12-04	rjw-solver 2006-12-09	rjw-solver 2007-01-21	sat4jCSP 1.7 RC BF3	SAT4JCSP-CACHED 1.7 RC BF3	sugar 0.40	Tramontane 2006-12-04	VALCSP 3.0	VALCSP 3.1
bqwh/bqwh-15-106/ bqwh-15-106-71_ext.xml	SAT TT=0.061	SAT TT=1.028 CHECKS=109241 NODES=1450	SAT TT=1.347 CHECKS=374535 NODES=3984	SAT TT=0.096	SAT TT=1.283	SAT TT=0.197	SAT TT=0.889 NODES=1241	SAT TT=0.971 NODES=936	SAT TT=1.006 CHECKS=15350 NODES=936	SAT TT=0.061	SAT TT=34.733 CHECKS=6414605 NODES=18299	SAT TT=31.213 CHECKS=5464079 NODES=15728	SAT TT=0.94 CHECKS=142049 NODES=646	SAT TT=1.641	SAT TT=1.607	SAT TT=0.227	SAT TT=6.442 CHECKS=1146136 NODES=3618	SAT TT=6.547 CHECKS=1146136 NODES=3618	SAT TT=1.736	SAT TT=1.734	SAT TT=1.146	SAT TT=0.384	SAT TT=0.068 CHECKS=921411 NODES=3545	SAT TT=0.067 CHECKS=921411 NODES=3545
bqwh/bqwh-15-106/ bqwh-15-106-73_ext.xml	SAT TT=0.041	SAT TT=0.973 CHECKS=67340 NODES=779	SAT TT=1.03 CHECKS=110768 NODES=1415	SAT TT=0.332	SAT TT=0.205	SAT TT=0.204	SAT TT=0.921 NODES=771	SAT TT=0.585 NODES=169	SAT TT=0.598 CHECKS=12000 NODES=169	SAT TT=0.055	SAT TT=3.956 CHECKS=814380 NODES=2092	SAT TT=7.419 CHECKS=1436737 NODES=3654	SAT TT=5.092 CHECKS=843796 NODES=2840	SAT TT=1.634	SAT TT=1.593	SAT TT=0.241	SAT TT=2.873 CHECKS=423353 NODES=1833	SAT TT=2.7 CHECKS=423353 NODES=1833	SAT TT=1.617	SAT TT=1.75	SAT TT=1.11	SAT TT=0.197	SAT TT=0.041 CHECKS=442262 NODES=1849	SAT TT=0.041 CHECKS=442262 NODES=1849
bqwh/bqwh-15-106/ bqwh-15-106-75_ext.xml	SAT TT=0.04	SAT TT=0.916 CHECKS=13961 NODES=221	SAT TT=0.96 CHECKS=45346 NODES=772	SAT TT=0.04	SAT TT=0.24	SAT TT=0.239	SAT TT=0.579 NODES=120	SAT TT=0.617 NODES=239	SAT TT=0.648 CHECKS=16032 NODES=239	SAT TT=0.061	SAT TT=3.317 CHECKS=598497 NODES=1787	SAT TT=22.494 CHECKS=4378908 NODES=13023	SAT TT=0.753 CHECKS=111415 NODES=569	SAT TT=1.625	SAT TT=1.627	SAT TT=0.057	SAT TT=0.742 CHECKS=87466 NODES=534	SAT TT=0.748 CHECKS=87466 NODES=534	SAT TT=1.623	SAT TT=1.695	SAT TT=1.15	SAT TT=0.062	SAT TT=0.063 CHECKS=816950 NODES=3365	SAT TT=0.061 CHECKS=816950 NODES=3365
bqwh/bqwh-15-106/ bqwh-15-106-77_ext.xml	SAT TT=0.023	SAT TT=0.996 CHECKS=76023 NODES=524	SAT TT=0.997 CHECKS=40092 NODES=587	SAT TT=0.095	SAT TT=0.217	SAT TT=0.204	SAT TT=0.683 NODES=338	SAT TT=0.619 NODES=156	SAT TT=0.639 CHECKS=11892 NODES=156	SAT TT=0.058	SAT TT=25.502 CHECKS=4627461 NODES=13001	SAT TT=4.508 CHECKS=834594 NODES=2489	SAT TT=1.334 CHECKS=181321 NODES=913	SAT TT=1.628	SAT TT=1.592	SAT TT=0.058	SAT TT=0.742 CHECKS=88051 NODES=510	SAT TT=0.758 CHECKS=88051 NODES=510	SAT TT=1.543	SAT TT=1.504	SAT TT=1.11	SAT TT=0.066	SAT TT=0.023 CHECKS=136215 NODES=620	SAT TT=0.023 CHECKS=136215 NODES=620
bqwh/bqwh-15-106/ bqwh-15-106-79_ext.xml	SAT TT=0.02	SAT TT=0.915 CHECKS=38859 NODES=364	SAT TT=0.968 CHECKS=27618 NODES=410	SAT TT=0.04	SAT TT=0.192	SAT TT=0.201	SAT TT=0.569 NODES=145	SAT TT=0.558 NODES=123	SAT TT=0.581 CHECKS=11478 NODES=123	SAT TT=0.056	SAT TT=10.218 CHECKS=1851871 NODES=5309	SAT TT=8.297 CHECKS=1418550 NODES=4119	SAT TT=0.448 CHECKS=49071 NODES=309	SAT TT=1.619	SAT TT=1.587	SAT TT=0.059	SAT TT=0.419 CHECKS=49071 NODES=309	SAT TT=0.42 CHECKS=49071 NODES=309	SAT TT=1.615	SAT TT=1.66	SAT TT=1.09	SAT TT=0.063	SAT TT=0.02 CHECKS=77146 NODES=301	SAT TT=0.018 CHECKS=77146 NODES=301
bqwh/bqwh-15-106/ bqwh-15-106-7_ext.xml	SAT TT=0.022	SAT TT=1.112 CHECKS=152822 NODES=1864	SAT TT=1.346 CHECKS=357215 NODES=3806	SAT TT=0.063	SAT TT=0.541	SAT TT=0.54	SAT TT=1.787 NODES=2453	SAT TT=0.725 NODES=500	SAT TT=0.793 CHECKS=13346 NODES=500	SAT TT=0.063	SAT TT=44.735 CHECKS=7335819 NODES=25982	SAT TT=31.002 CHECKS=5368234 NODES=17125	SAT TT=0.464 CHECKS=48707 NODES=320	SAT TT=1.673	SAT TT=1.727	SAT TT=0.14	SAT TT=0.47 CHECKS=48707 NODES=320	SAT TT=0.477 CHECKS=48707 NODES=320	SAT TT=2.011	SAT TT=2.11	SAT TT=1.245	SAT TT=0.191	SAT TT=0.022 CHECKS=79758 NODES=439	SAT TT=0.02 CHECKS=79758 NODES=439
bqwh/bqwh-15-106/ bqwh-15-106-81_ext.xml	SAT TT=0.033	SAT TT=1.384 CHECKS=518195 NODES=5152	SAT TT=0.981 CHECKS=59209 NODES=910	SAT TT=0.646	SAT TT=0.696	SAT TT=0.74	SAT TT=1.261 NODES=1495	SAT TT=0.809 NODES=576	SAT TT=0.801 CHECKS=13300 NODES=576	SAT TT=0.064	SAT TT=19.448 CHECKS=3311530 NODES=9892	SAT TT=22.34 CHECKS=3992033 NODES=11692	SAT TT=43.479 CHECKS=7325942 NODES=25352	SAT TT=1.668	SAT TT=1.66	SAT TT=0.663	SAT TT=12.012 CHECKS=1941141 NODES=7139	SAT TT=11.705 CHECKS=1941141 NODES=7139	SAT TT=1.625	SAT TT=1.73	SAT TT=1.13	SAT TT=0.322	SAT TT=0.033 CHECKS=297902 NODES=992	SAT TT=0.033 CHECKS=297902 NODES=992
bqwh/bqwh-15-106/ bqwh-15-106-83_ext.xml	SAT TT=0.045	SAT TT=1.003 CHECKS=81730 NODES=1024	SAT TT=1.133 CHECKS=183908 NODES=2011	SAT TT=4.577	SAT TT=0.503	SAT TT=0.531	SAT TT=3.167 NODES=10985	SAT TT=0.63 NODES=163	SAT TT=0.612 CHECKS=14140 NODES=163	SAT TT=0.068	SAT TT=24.29 CHECKS=4673375 NODES=12346	SAT TT=13.924 CHECKS=2775583 NODES=7304	SAT TT=3.613 CHECKS=660634 NODES=2343	SAT TT=1.695	SAT TT=1.554	SAT TT=0.183	SAT TT=18.453 CHECKS=3321667 NODES=11457	SAT TT=19.424 CHECKS=3321667 NODES=11457	SAT TT=1.793	SAT TT=1.905	SAT TT=1.217	SAT TT=0.057	SAT TT=0.045 CHECKS=521540 NODES=1894	SAT TT=0.046 CHECKS=521540 NODES=1894
bqwh/bqwh-15-106/ bqwh-15-106-85_ext.xml	SAT TT=0.084	SAT TT=1.237 CHECKS=321907 NODES=3139	SAT TT=0.926 CHECKS=10999 NODES=213	SAT TT=0.425	SAT TT=1.346	SAT TT=1.36	SAT TT=0.775 NODES=456	SAT TT=0.662 NODES=338	SAT TT=0.698 CHECKS=13442 NODES=338	SAT TT=0.084	SAT TT=40.317 CHECKS=7363661 NODES=20745	SAT TT=28.18 CHECKS=5409124 NODES=15283	SAT TT=15.866 CHECKS=2637287 NODES=9695	SAT TT=1.657	SAT TT=1.636	SAT TT=0.096	SAT TT=8.579 CHECKS=1469349 NODES=4818	SAT TT=8.551 CHECKS=1469349 NODES=4818	SAT TT=1.816	SAT TT=1.945	SAT TT=1.14	SAT TT=0.347	SAT TT=0.156 CHECKS=2404280 NODES=9483	SAT TT=0.147 CHECKS=2404280 NODES=9483
bqwh/bqwh-15-106/ bqwh-15-106-87_ext.xml	SAT TT=0.016	SAT TT=0.982 CHECKS=37580 NODES=449	SAT TT=1.035 CHECKS=61164 NODES=959	SAT TT=0.137	SAT TT=0.261	SAT TT=0.272	SAT TT=0.767 NODES=415	SAT TT=0.699 NODES=451	SAT TT=0.734 CHECKS=12391 NODES=451	SAT TT=0.058	SAT TT=20.293 CHECKS=3817857 NODES=10087	SAT TT=10.378 CHECKS=1867842 NODES=5152	SAT TT=1.112 CHECKS=171393 NODES=736	SAT TT=1.633	SAT TT=1.596	SAT TT=0.087	SAT TT=1.628 CHECKS=258969 NODES=1052	SAT TT=1.601 CHECKS=258969 NODES=1052	SAT TT=1.69	SAT TT=1.551	SAT TT=1.1	SAT TT=0.072	SAT TT=0.016 CHECKS=39912 NODES=203	SAT TT=0.018 CHECKS=39912 NODES=203
Bench name	Best results on this instance	Abscon 109 ESAC	Abscon 109 AC	BPrologCSPSolver70a 2006-12-13	buggy_2_5 2007-01-08	buggy_2_5_s 2007-01-08	CSP4J - Combo 2006-12-19	CSP4J - MAC 2006-12-19	CSP4J - MAC 2007-01-16	CSPtoSAT+minisat 0.3	Diarmuid-rndi 2006-12-21	Diarmuid-rndi 2007-01-22	Diarmuid-wtdi 2006-12-21	galac 1	galacJ beta 1	Mistral 2006-12-04	rjw-solver 2006-12-09	rjw-solver 2007-01-21	sat4jCSP 1.7 RC BF3	SAT4JCSP-CACHED 1.7 RC BF3	sugar 0.40	Tramontane 2006-12-04	VALCSP 3.0	VALCSP 3.1
bqwh/bqwh-15-106/ bqwh-15-106-89_ext.xml	SAT TT=0.017	SAT TT=0.945 CHECKS=23811 NODES=351	SAT TT=1.071 CHECKS=99651 NODES=1261	SAT TT=0.262	SAT TT=0.282	SAT TT=0.299	SAT TT=0.834 NODES=526	SAT TT=0.769 NODES=540	SAT TT=0.794 CHECKS=13718 NODES=540	SAT TT=0.062	SAT TT=8.167 CHECKS=1480917 NODES=4395	SAT TT=17.346 CHECKS=3144247 NODES=9057	SAT TT=0.504 CHECKS=53592 NODES=348	SAT TT=1.649	SAT TT=1.718	SAT TT=0.091	SAT TT=0.48 CHECKS=53592 NODES=348	SAT TT=0.515 CHECKS=53592 NODES=348	SAT TT=1.861	SAT TT=1.807	SAT TT=1.234	SAT TT=0.063	SAT TT=0.017 CHECKS=14217 NODES=106	SAT TT=0.017 CHECKS=14217 NODES=106
bqwh/bqwh-15-106/ bqwh-15-106-91_ext.xml	SAT TT=0.046	SAT TT=0.993 CHECKS=54404 NODES=629	SAT TT=1.075 CHECKS=89616 NODES=1136	SAT TT=4.441	SAT TT=0.357	SAT TT=0.375	SAT TT=0.898 NODES=610	SAT TT=0.573 NODES=160	SAT TT=0.63 CHECKS=13988 NODES=160	SAT TT=0.064	SAT TT=16.254 CHECKS=2996008 NODES=8624	SAT TT=0.597 CHECKS=88985 NODES=357	SAT TT=1.485 CHECKS=234101 NODES=921	SAT TT=1.697	SAT TT=1.618	SAT TT=0.115	SAT TT=3.778 CHECKS=648950 NODES=2477	SAT TT=4.102 CHECKS=648950 NODES=2477	SAT TT=1.779	SAT TT=1.804	SAT TT=1	SAT TT=0.061	SAT TT=0.046 CHECKS=547134 NODES=1997	SAT TT=0.042 CHECKS=547134 NODES=1997
bqwh/bqwh-15-106/ bqwh-15-106-93_ext.xml	SAT TT=0.018	SAT TT=0.941 CHECKS=24842 NODES=325	SAT TT=0.906 CHECKS=9904 NODES=253	SAT TT=0.219	SAT TT=0.229	SAT TT=0.231	SAT TT=0.623 NODES=131	SAT TT=0.963 NODES=990	SAT TT=1.028 CHECKS=13656 NODES=990	SAT TT=0.067	SAT TT=21.806 CHECKS=3838826 NODES=11356	SAT TT=20.285 CHECKS=3486420 NODES=9763	SAT TT=0.371 CHECKS=39205 NODES=262	SAT TT=1.656	SAT TT=1.676	SAT TT=0.056	SAT TT=0.415 CHECKS=39205 NODES=262	SAT TT=0.405 CHECKS=39205 NODES=262	SAT TT=1.557	SAT TT=1.487	SAT TT=1.1	SAT TT=0.051	SAT TT=0.018 CHECKS=35835 NODES=189	SAT TT=0.018 CHECKS=35835 NODES=189
bqwh/bqwh-15-106/ bqwh-15-106-95_ext.xml	SAT TT=0.035	SAT TT=0.929 CHECKS=21450 NODES=293	SAT TT=1.203 CHECKS=179017 NODES=2251	SAT TT=0.066	SAT TT=0.208	SAT TT=0.177	SAT TT=0.589 NODES=166	SAT TT=0.605 NODES=189	SAT TT=0.616 CHECKS=14028 NODES=189	SAT TT=0.059	SAT TT=1.344 CHECKS=227391 NODES=817	SAT TT=24.815 CHECKS=4343264 NODES=13008	SAT TT=0.195 CHECKS=13255 NODES=107	SAT TT=1.634	SAT TT=1.6	SAT TT=0.051	SAT TT=0.194 CHECKS=13255 NODES=107	SAT TT=0.194 CHECKS=13255 NODES=107	SAT TT=1.752	SAT TT=1.955	SAT TT=1.15	SAT TT=0.052	SAT TT=0.035 CHECKS=347238 NODES=1374	SAT TT=0.036 CHECKS=347238 NODES=1374
bqwh/bqwh-15-106/ bqwh-15-106-97_ext.xml	SAT TT=0.037	SAT TT=1.011 CHECKS=91605 NODES=1209	SAT TT=1.079 CHECKS=160474 NODES=1987	SAT TT=0.057	SAT TT=0.273	SAT TT=0.314	SAT TT=0.729 NODES=407	SAT TT=0.871 NODES=675	SAT TT=0.845 CHECKS=12572 NODES=675	SAT TT=0.057	SAT TT=27.249 CHECKS=5215806 NODES=14809	SAT TT=33.82 CHECKS=6469425 NODES=17829	SAT TT=3.136 CHECKS=525447 NODES=2245	SAT TT=1.638	SAT TT=1.558	SAT TT=0.088	SAT TT=1.409 CHECKS=193246 NODES=1128	SAT TT=1.394 CHECKS=193246 NODES=1128	SAT TT=1.781	SAT TT=1.766	SAT TT=1.11	SAT TT=0.095	SAT TT=0.037 CHECKS=311767 NODES=1619	SAT TT=0.036 CHECKS=311767 NODES=1619
bqwh/bqwh-15-106/ bqwh-15-106-99_ext.xml	SAT TT=0.028	SAT TT=0.937 CHECKS=21210 NODES=291	SAT TT=1.003 CHECKS=47281 NODES=767	SAT TT=0.694	SAT TT=0.29	SAT TT=0.292	SAT TT=0.606 NODES=174	SAT TT=0.926 NODES=886	SAT TT=0.949 CHECKS=14986 NODES=886	SAT TT=0.06	SAT TT=23.673 CHECKS=4164012 NODES=13438	SAT TT=27.533 CHECKS=4783616 NODES=14933	SAT TT=0.851 CHECKS=126930 NODES=635	SAT TT=1.627	SAT TT=1.722	SAT TT=0.122	SAT TT=1.834 CHECKS=273831 NODES=1245	SAT TT=1.789 CHECKS=273831 NODES=1245	SAT TT=1.647	SAT TT=1.824	SAT TT=1.04	SAT TT=0.129	SAT TT=0.028 CHECKS=198237 NODES=1015	SAT TT=0.028 CHECKS=198237 NODES=1015
bqwh/bqwh-15-106/ bqwh-15-106-9_ext.xml	SAT TT=0.017	SAT TT=1.09 CHECKS=138933 NODES=1687	SAT TT=0.932 CHECKS=5278 NODES=169	SAT TT=0.54	SAT TT=0.3	SAT TT=0.447	SAT TT=0.603 NODES=171	SAT TT=0.606 NODES=200	SAT TT=0.631 CHECKS=13606 NODES=200	SAT TT=0.058	SAT TT=22.683 CHECKS=4429986 NODES=12761	SAT TT=38.998 CHECKS=6907711 NODES=20039	SAT TT=0.52 CHECKS=63483 NODES=328	SAT TT=1.633	SAT TT=1.643	SAT TT=0.055	SAT TT=0.523 CHECKS=63483 NODES=328	SAT TT=0.487 CHECKS=63483 NODES=328	SAT TT=1.594	SAT TT=1.566	SAT TT=1.06	SAT TT=0.054	SAT TT=0.017 CHECKS=33604 NODES=159	SAT TT=0.019 CHECKS=33604 NODES=159
bqwh/bqwh-18-141/ bqwh-18-141-11_ext.xml	SAT TT=0.086	SAT TT=1.532 CHECKS=540134 NODES=5101	SAT TT=1.241 CHECKS=245726 NODES=2635	SAT TT=0.689	SAT TT=1.116	SAT TT=1.112	SAT TT=6.281 NODES=18373	SAT TT=1.842 NODES=2330	SAT TT=1.371 CHECKS=21612 NODES=1077	SAT TT=0.086	SAT TT=70.266 CHECKS=10019497 NODES=24530	SAT TT=53.968 CHECKS=8356425 NODES=19284	SAT TT=23.107 CHECKS=3025977 NODES=9877	SAT TT=1.907	SAT TT=1.939	SAT TT=3.704	SAT TT=36.472 CHECKS=5032495 NODES=14580	SAT TT=36.48 CHECKS=5032495 NODES=14580	SAT TT=2.438	SAT TT=2.586	SAT TT=1.261	SAT TT=1.185	SAT TT=0.839 CHECKS=14064200 NODES=47464	SAT TT=0.787 CHECKS=14064200 NODES=47464
bqwh/bqwh-18-141/ bqwh-18-141-13_ext.xml	SAT TT=0.083	SAT TT=1.247 CHECKS=249237 NODES=2805	SAT TT=1.031 CHECKS=73216 NODES=908	SAT TT=2.831	SAT TT=1.828	SAT TT=1.733	SAT TT=1.07 NODES=705	SAT TT=1.472 NODES=1563	SAT TT=1.659 CHECKS=20385 NODES=1563	SAT TT=0.083	SAT TT=50.098 CHECKS=7183330 NODES=18219	SAT TT=58.826 CHECKS=7949826 NODES=20881	SAT TT=32.07 CHECKS=4391785 NODES=13101	SAT TT=1.852	SAT TT=1.893	SAT TT=0.248	SAT TT=1.056 CHECKS=96037 NODES=617	SAT TT=1.166 CHECKS=96037 NODES=617	SAT TT=2.478	SAT TT=2.69	SAT TT=1.261	SAT TT=0.172	SAT TT=0.384 CHECKS=6776510 NODES=22298	SAT TT=0.41 CHECKS=6776510 NODES=22298
bqwh/bqwh-18-141/ bqwh-18-141-15_ext.xml	SAT TT=0.097	SAT TT=1.535 CHECKS=569453 NODES=4761	SAT TT=2.538 CHECKS=2102611 NODES=15786	SAT TT=15.026	SAT TT=2.42	SAT TT=2.419	SAT TT=3.895 NODES=10817	SAT TT=3.277 NODES=5074	SAT TT=3.661 CHECKS=21400 NODES=5074	SAT TT=0.097	SAT TT=35.3 CHECKS=5353498 NODES=12071	SAT TT=183.987 CHECKS=26630672 NODES=71222	SAT TT=11.685 CHECKS=1661476 NODES=5188	SAT TT=1.922	SAT TT=1.804	SAT TT=1.993	SAT TT=110.689 CHECKS=17496872 NODES=41767	SAT TT=112.433 CHECKS=17496872 NODES=41767	SAT TT=2.563	SAT TT=2.686	SAT TT=1.16	SAT TT=0.409	SAT TT=0.246 CHECKS=4241310 NODES=13231	SAT TT=0.261 CHECKS=4241310 NODES=13231
Bench name	Best results on this instance	Abscon 109 ESAC	Abscon 109 AC	BPrologCSPSolver70a 2006-12-13	buggy_2_5 2007-01-08	buggy_2_5_s 2007-01-08	CSP4J - Combo 2006-12-19	CSP4J - MAC 2006-12-19	CSP4J - MAC 2007-01-16	CSPtoSAT+minisat 0.3	Diarmuid-rndi 2006-12-21	Diarmuid-rndi 2007-01-22	Diarmuid-wtdi 2006-12-21	galac 1	galacJ beta 1	Mistral 2006-12-04	rjw-solver 2006-12-09	rjw-solver 2007-01-21	sat4jCSP 1.7 RC BF3	SAT4JCSP-CACHED 1.7 RC BF3	sugar 0.40	Tramontane 2006-12-04	VALCSP 3.0	VALCSP 3.1
bqwh/bqwh-18-141/ bqwh-18-141-17_ext.xml	SAT TT=0.102	SAT TT=1.122 CHECKS=135496 NODES=1354	SAT TT=1.386 CHECKS=465739 NODES=4161	SAT TT=11.171	SAT TT=2.73	SAT TT=2.761	SAT TT=1.378 NODES=1146	SAT TT=1.412 NODES=1267	SAT TT=1.485 CHECKS=18999 NODES=1267	SAT TT=0.102	SAT TT=85.502 CHECKS=12196105 NODES=26934	SAT TT=86.209 CHECKS=11709269 NODES=25616	SAT TT=27.222 CHECKS=3916337 NODES=9538	SAT TT=1.958	SAT TT=2.1	SAT TT=0.363	SAT TT=28.384 CHECKS=3807651 NODES=10318	SAT TT=29.019 CHECKS=3807651 NODES=10318	SAT TT=2.462	SAT TT=2.424	SAT TT=1.233	SAT TT=0.335	SAT TT=0.224 CHECKS=3541340 NODES=11007	SAT TT=0.224 CHECKS=3541340 NODES=11007
bqwh/bqwh-18-141/ bqwh-18-141-19_ext.xml	SAT TT=0.086	SAT TT=1.303 CHECKS=277234 NODES=2381	SAT TT=1.266 CHECKS=281276 NODES=2752	SAT TT=7.857	SAT TT=0.572	SAT TT=0.576	SAT TT=8.457 NODES=22117	SAT TT=1.445 NODES=1569	SAT TT=1.65 CHECKS=23320 NODES=1569	SAT TT=0.086	SAT TT=63.245 CHECKS=9695507 NODES=20072	SAT TT=46.251 CHECKS=7244863 NODES=15359	SAT TT=21.704 CHECKS=3373694 NODES=8583	SAT TT=1.847	SAT TT=1.86	SAT TT=0.911	SAT TT=6.428 CHECKS=852075 NODES=2537	SAT TT=6.253 CHECKS=852075 NODES=2537	SAT TT=2.572	SAT TT=2.645	SAT TT=1.266	SAT TT=0.201	SAT TT=0.588 CHECKS=10548700 NODES=30845	SAT TT=0.587 CHECKS=10548700 NODES=30845
bqwh/bqwh-18-141/ bqwh-18-141-1_ext.xml	SAT TT=0.044	SAT TT=2.318 CHECKS=1548127 NODES=12916	SAT TT=1.854 CHECKS=869242 NODES=7582	SAT TT=45.152	SAT TT=0.984	SAT TT=0.947	SAT TT=1.732 NODES=3538	SAT TT=1.989 NODES=2322	SAT TT=1.973 CHECKS=23736 NODES=2322	SAT TT=0.116	SAT TT=87.246 CHECKS=11803002 NODES=30349	SAT TT=48.405 CHECKS=7078625 NODES=18458	SAT TT=4.619 CHECKS=619528 NODES=2156	SAT TT=1.879	SAT TT=1.876	SAT TT=0.106	SAT TT=2.319 CHECKS=255647 NODES=1112	SAT TT=2.232 CHECKS=255647 NODES=1112	SAT TT=2.719	SAT TT=2.708	SAT TT=1.287	SAT TT=0.802	SAT TT=0.044 CHECKS=333688 NODES=1498	SAT TT=0.041 CHECKS=333688 NODES=1498
bqwh/bqwh-18-141/ bqwh-18-141-21_ext.xml	SAT TT=0.097	SAT TT=1.258 CHECKS=218465 NODES=2278	SAT TT=1.2 CHECKS=127421 NODES=1660	SAT TT=4.301	SAT TT=1.636	SAT TT=2.861	SAT TT=1.524 NODES=1510	SAT TT=1.185 NODES=1082	SAT TT=1.333 CHECKS=21806 NODES=1082	SAT TT=0.097	SAT TT=118.198 CHECKS=16796609 NODES=42855	SAT TT=53.717 CHECKS=7331642 NODES=16849	SAT TT=19.084 CHECKS=2746678 NODES=6842	SAT TT=1.839	SAT TT=1.925	SAT TT=1.279	SAT TT=31.464 CHECKS=4738172 NODES=12534	SAT TT=31.55 CHECKS=4738172 NODES=12534	SAT TT=2.358	SAT TT=2.576	SAT TT=1.278	SAT TT=0.165	SAT TT=0.114 CHECKS=1565760 NODES=5394	SAT TT=0.111 CHECKS=1565760 NODES=5394
bqwh/bqwh-18-141/ bqwh-18-141-23_ext.xml	SAT TT=0.105	SAT TT=5.276 CHECKS=5641718 NODES=42056	SAT TT=4.442 CHECKS=4924875 NODES=35977	SAT TT=18.754	SAT TT=6.127	SAT TT=6.584	SAT TT=53.088 NODES=158304	SAT TT=4.783 NODES=8015	SAT TT=6.455 CHECKS=23219 NODES=10286	SAT TT=0.105	SAT TT=230.615 CHECKS=32637831 NODES=81051	SAT TT=122.345 CHECKS=17257260 NODES=43042	SAT TT=25.278 CHECKS=3706914 NODES=9380	SAT TT=1.857	SAT TT=1.841	SAT TT=0.54	SAT TT=69.879 CHECKS=10328123 NODES=23739	SAT TT=66.589 CHECKS=10328123 NODES=23739	SAT TT=2.349	SAT TT=2.294	SAT TT=1.22	SAT TT=12.682	SAT TT=0.289 CHECKS=4791200 NODES=14968	SAT TT=0.283 CHECKS=4791200 NODES=14968
bqwh/bqwh-18-141/ bqwh-18-141-25_ext.xml	SAT TT=0.1	SAT TT=1.45 CHECKS=513662 NODES=4113	SAT TT=5.782 CHECKS=6523441 NODES=45669	SAT TT=13.973	SAT TT=4.396	SAT TT=4.547	SAT TT=3.87 NODES=9345	SAT TT=2.015 NODES=2717	SAT TT=2.382 CHECKS=21650 NODES=2717	SAT TT=0.1	SAT TT=170.705 CHECKS=23887194 NODES=55638	SAT TT=64.594 CHECKS=10047928 NODES=22726	SAT TT=21.371 CHECKS=3079282 NODES=8100	SAT TT=1.973	SAT TT=1.947	SAT TT=3.031	SAT TT=44.031 CHECKS=5914747 NODES=15120	SAT TT=40.976 CHECKS=5914747 NODES=15120	SAT TT=2.631	SAT TT=2.543	SAT TT=1.302	SAT TT=2.747	SAT TT=0.576 CHECKS=10112000 NODES=29227	SAT TT=0.582 CHECKS=10112000 NODES=29227
bqwh/bqwh-18-141/ bqwh-18-141-27_ext.xml	SAT TT=0.087	SAT TT=1.064 CHECKS=110044 NODES=1202	SAT TT=2.166 CHECKS=1207694 NODES=9238	SAT TT=59.916	SAT TT=1.361	SAT TT=1.329	SAT TT=1.699 NODES=1592	SAT TT=19.254 NODES=33825	SAT TT=10.388 CHECKS=20705 NODES=16487	SAT TT=0.087	SAT TT=61.771 CHECKS=8115163 NODES=20505	SAT TT=65.73 CHECKS=9901527 NODES=23084	SAT TT=20.479 CHECKS=2900414 NODES=7869	SAT TT=1.85	SAT TT=2.067	SAT TT=2.703	SAT TT=73.779 CHECKS=10316763 NODES=28538	SAT TT=71.778 CHECKS=10316763 NODES=28538	SAT TT=2.569	SAT TT=2.722	SAT TT=1.278	SAT TT=0.317	SAT TT=0.274 CHECKS=4499500 NODES=16104	SAT TT=0.276 CHECKS=4499500 NODES=16104
bqwh/bqwh-18-141/ bqwh-18-141-29_ext.xml	SAT TT=0.043	SAT TT=1.56 CHECKS=614738 NODES=5360	SAT TT=1.709 CHECKS=691895 NODES=6884	SAT TT=12.846	SAT TT=1.552	SAT TT=1.63	SAT TT=0.841 NODES=394	SAT TT=5.568 NODES=8277	SAT TT=5.646 CHECKS=22810 NODES=8277	SAT TT=0.091	SAT TT=184.266 CHECKS=26067421 NODES=75254	SAT TT=52.224 CHECKS=7168359 NODES=18423	SAT TT=17.132 CHECKS=2234840 NODES=7660	SAT TT=2.041	SAT TT=2.035	SAT TT=0.125	SAT TT=27.751 CHECKS=3459648 NODES=11035	SAT TT=25.775 CHECKS=3459648 NODES=11035	SAT TT=2.633	SAT TT=2.733	SAT TT=1.394	SAT TT=0.304	SAT TT=0.043 CHECKS=287308 NODES=1336	SAT TT=0.04 CHECKS=287308 NODES=1336
bqwh/bqwh-18-141/ bqwh-18-141-31_ext.xml	SAT TT=0.09	SAT TT=1.318 CHECKS=281114 NODES=3167	SAT TT=1.038 CHECKS=66670 NODES=1007	SAT TT=1.54	SAT TT=2.954	SAT TT=1.918	SAT TT=1.062 NODES=712	SAT TT=1.605 NODES=1827	SAT TT=1.725 CHECKS=25639 NODES=1827	SAT TT=0.09	SAT TT=66.022 CHECKS=9019029 NODES=23907	SAT TT=269.999 CHECKS=36315189 NODES=100173	SAT TT=12.851 CHECKS=1751478 NODES=5730	SAT TT=1.931	SAT TT=1.908	SAT TT=0.348	SAT TT=13.763 CHECKS=1890079 NODES=5974	SAT TT=13.352 CHECKS=1890079 NODES=5974	SAT TT=2.795	SAT TT=2.714	SAT TT=1.28	SAT TT=2.657	SAT TT=6.009 CHECKS=107004000 NODES=361445	SAT TT=5.997 CHECKS=107004000 NODES=361445
bqwh/bqwh-18-141/ bqwh-18-141-33_ext.xml	SAT TT=0.039	SAT TT=1.201 CHECKS=135360 NODES=1649	SAT TT=1.012 CHECKS=78324 NODES=883	SAT TT=0.276	SAT TT=0.343	SAT TT=0.353	SAT TT=1.325 NODES=1106	SAT TT=0.872 NODES=589	SAT TT=0.919 CHECKS=18782 NODES=589	SAT TT=0.088	SAT TT=16.774 CHECKS=2592083 NODES=6139	SAT TT=23.233 CHECKS=3177700 NODES=7758	SAT TT=3.333 CHECKS=396333 NODES=1335	SAT TT=1.847	SAT TT=1.999	SAT TT=0.109	SAT TT=1.555 CHECKS=170258 NODES=759	SAT TT=1.55 CHECKS=170258 NODES=759	SAT TT=2.209	SAT TT=2.282	SAT TT=1.13	SAT TT=0.083	SAT TT=0.039 CHECKS=285836 NODES=869	SAT TT=0.039 CHECKS=285836 NODES=869
Bench name	Best results on this instance	Abscon 109 ESAC	Abscon 109 AC	BPrologCSPSolver70a 2006-12-13	buggy_2_5 2007-01-08	buggy_2_5_s 2007-01-08	CSP4J - Combo 2006-12-19	CSP4J - MAC 2006-12-19	CSP4J - MAC 2007-01-16	CSPtoSAT+minisat 0.3	Diarmuid-rndi 2006-12-21	Diarmuid-rndi 2007-01-22	Diarmuid-wtdi 2006-12-21	galac 1	galacJ beta 1	Mistral 2006-12-04	rjw-solver 2006-12-09	rjw-solver 2007-01-21	sat4jCSP 1.7 RC BF3	SAT4JCSP-CACHED 1.7 RC BF3	sugar 0.40	Tramontane 2006-12-04	VALCSP 3.0	VALCSP 3.1
bqwh/bqwh-18-141/ bqwh-18-141-35_ext.xml	SAT TT=0.094	SAT TT=1.05 CHECKS=78799 NODES=1010	SAT TT=1.185 CHECKS=172501 NODES=1807	SAT TT=0.315	SAT TT=0.397	SAT TT=0.647	SAT TT=1.513 NODES=1402	SAT TT=0.852 NODES=459	SAT TT=0.849 CHECKS=21396 NODES=459	SAT TT=0.094	SAT TT=52.169 CHECKS=7361482 NODES=18620	SAT TT=45.591 CHECKS=6250132 NODES=15987	SAT TT=4.238 CHECKS=523344 NODES=1828	SAT TT=1.867	SAT TT=1.887	SAT TT=0.164	SAT TT=6.874 CHECKS=875976 NODES=2631	SAT TT=6.806 CHECKS=875976 NODES=2631	SAT TT=2.609	SAT TT=2.372	SAT TT=1.268	SAT TT=0.124	SAT TT=0.263 CHECKS=4426550 NODES=12644	SAT TT=0.252 CHECKS=4426550 NODES=12644
bqwh/bqwh-18-141/ bqwh-18-141-37_ext.xml	SAT TT=0.088	SAT TT=1.295 CHECKS=270094 NODES=2511	SAT TT=2.473 CHECKS=1890735 NODES=13579	SAT TT=13.854	SAT TT=2.268	SAT TT=2.384	SAT TT=6.487 NODES=18032	SAT TT=1.96 NODES=2400	SAT TT=2.246 CHECKS=21813 NODES=2400	SAT TT=0.105	SAT TT=69.271 CHECKS=10532531 NODES=26261	SAT TT=74.131 CHECKS=9964793 NODES=25500	SAT TT=14.96 CHECKS=2252064 NODES=5409	SAT TT=1.964	SAT TT=1.87	SAT TT=0.319	SAT TT=32.997 CHECKS=4584403 NODES=12238	SAT TT=32.413 CHECKS=4584403 NODES=12238	SAT TT=2.601	SAT TT=2.438	SAT TT=1.257	SAT TT=0.128	SAT TT=0.088 CHECKS=1194680 NODES=4291	SAT TT=0.09 CHECKS=1194680 NODES=4291
bqwh/bqwh-18-141/ bqwh-18-141-39_ext.xml	SAT TT=0.092	SAT TT=1.292 CHECKS=282314 NODES=2825	SAT TT=2.098 CHECKS=1461034 NODES=10648	SAT TT=14.379	SAT TT=0.897	SAT TT=4.018	SAT TT=1.142 NODES=1642	SAT TT=1.742 NODES=2055	SAT TT=2.643 CHECKS=22058 NODES=3167	SAT TT=0.092	SAT TT=41.223 CHECKS=6391342 NODES=14091	SAT TT=50.409 CHECKS=7635350 NODES=16375	SAT TT=2.896 CHECKS=372580 NODES=1167	SAT TT=1.832	SAT TT=2.013	SAT TT=0.32	SAT TT=15.487 CHECKS=2354143 NODES=5951	SAT TT=15.064 CHECKS=2354143 NODES=5951	SAT TT=2.554	SAT TT=2.38	SAT TT=1.261	SAT TT=0.144	SAT TT=0.224 CHECKS=3646510 NODES=11299	SAT TT=0.227 CHECKS=3646510 NODES=11299
bqwh/bqwh-18-141/ bqwh-18-141-3_ext.xml	SAT TT=0.113	SAT TT=3.046 CHECKS=2535177 NODES=19467	SAT TT=3.868 CHECKS=3673281 NODES=28670	SAT TT=266.365	SAT TT=4.133	SAT TT=4.218	SAT TT=15.705 NODES=46054	SAT TT=6.14 NODES=10604	SAT TT=7.038 CHECKS=22494 NODES=10604	SAT TT=0.113	SAT TT=102.657 CHECKS=14817275 NODES=36430	SAT TT=56.517 CHECKS=7982741 NODES=18479	SAT TT=13.639 CHECKS=1979582 NODES=5916	SAT TT=2.022	SAT TT=2.131	SAT TT=1.302	SAT TT=35.776 CHECKS=5394890 NODES=12460	SAT TT=35.324 CHECKS=5394890 NODES=12460	SAT TT=2.334	SAT TT=2.302	SAT TT=1.18	SAT TT=2.954	SAT TT=0.681 CHECKS=11707300 NODES=39671	SAT TT=0.659 CHECKS=11707300 NODES=39671
bqwh/bqwh-18-141/ bqwh-18-141-41_ext.xml	SAT TT=0.106	SAT TT=1.286 CHECKS=282676 NODES=2653	SAT TT=2 CHECKS=1394224 NODES=9988	SAT TT=17.42	SAT TT=2.723	SAT TT=2.551	SAT TT=26.589 NODES=72336	SAT TT=2.091 NODES=2696	SAT TT=2.434 CHECKS=20872 NODES=2696	SAT TT=0.115	SAT TT=95.344 CHECKS=13969969 NODES=32184	SAT TT=108.053 CHECKS=16309788 NODES=38110	SAT TT=130.402 CHECKS=19653174 NODES=47822	SAT TT=1.907	SAT TT=1.965	SAT TT=1.574	SAT TT=74.891 CHECKS=11318188 NODES=26209	SAT TT=71.235 CHECKS=11318188 NODES=26209	SAT TT=2.341	SAT TT=2.178	SAT TT=1.273	SAT TT=1.063	SAT TT=0.106 CHECKS=1422710 NODES=4557	SAT TT=0.103 CHECKS=1422710 NODES=4557
bqwh/bqwh-18-141/ bqwh-18-141-43_ext.xml	SAT TT=0.12	SAT TT=1.336 CHECKS=289611 NODES=3450	SAT TT=1.285 CHECKS=290903 NODES=3089	SAT TT=44.497	SAT TT=2.458	SAT TT=2.34	SAT TT=4.736 NODES=14142	SAT TT=0.894 NODES=570	SAT TT=0.937 CHECKS=24954 NODES=570	SAT TT=0.126	SAT TT=225.184 CHECKS=31713706 NODES=91042	SAT TT=270.015 CHECKS=33885688 NODES=98310	SAT TT=20.989 CHECKS=2793158 NODES=8809	SAT TT=2.018	SAT TT=2.055	SAT TT=0.952	SAT TT=130.267 CHECKS=18165811 NODES=52446	SAT TT=128.043 CHECKS=18165811 NODES=52446	SAT TT=2.474	SAT TT=2.391	SAT TT=1.314	SAT TT=0.37	SAT TT=0.12 CHECKS=1508330 NODES=5061	SAT TT=0.115 CHECKS=1508330 NODES=5061
bqwh/bqwh-18-141/ bqwh-18-141-45_ext.xml	SAT TT=0.123	SAT TT=1.459 CHECKS=407161 NODES=4013	SAT TT=1.454 CHECKS=369384 NODES=3927	SAT TT=10.434	SAT TT=0.393	SAT TT=0.542	SAT TT=0.756 NODES=229	SAT TT=1.057 NODES=926	SAT TT=1.072 CHECKS=23242 NODES=926	SAT TT=0.123	SAT TT=51.007 CHECKS=7312953 NODES=17517	SAT TT=51.218 CHECKS=6869745 NODES=18747	SAT TT=2.538 CHECKS=328085 NODES=1228	SAT TT=2.022	SAT TT=1.98	SAT TT=0.194	SAT TT=18.943 CHECKS=2663565 NODES=7633	SAT TT=18.154 CHECKS=2663565 NODES=7633	SAT TT=2.62	SAT TT=2.79	SAT TT=1.2	SAT TT=0.605	SAT TT=0.173 CHECKS=2622600 NODES=8789	SAT TT=0.173 CHECKS=2622600 NODES=8789
bqwh/bqwh-18-141/ bqwh-18-141-47_ext.xml	SAT TT=0.095	SAT TT=3.223 CHECKS=3150373 NODES=23932	SAT TT=8.31 CHECKS=11024810 NODES=73485	SAT TT=333.541	SAT TT=3.92	SAT TT=6.502	SAT TT=77.138 NODES=226667	SAT TT=20.08 NODES=35259	SAT TT=21.329 CHECKS=22713 NODES=35259	SAT TT=0.095	SAT TT=384.349 CHECKS=50726563 NODES=129420	SAT TT=344.24 CHECKS=51441753 NODES=128792	SAT TT=921.602 CHECKS=126591521 NODES=323099	SAT TT=1.872	SAT TT=2.063	SAT TT=6.685	SAT TT=348.772 CHECKS=50475264 NODES=124577	SAT TT=340.59 CHECKS=50475264 NODES=124577	SAT TT=2.405	SAT TT=2.712	SAT TT=1.27	SAT TT=11.67	SAT TT=0.568 CHECKS=10683900 NODES=32472	SAT TT=0.616 CHECKS=10683900 NODES=32472
bqwh/bqwh-18-141/ bqwh-18-141-49_ext.xml	SAT TT=0.078	SAT TT=1.538 CHECKS=603100 NODES=5654	SAT TT=1.619 CHECKS=731964 NODES=6697	SAT TT=0.243	SAT TT=0.37	SAT TT=0.383	SAT TT=1.363 NODES=1147	SAT TT=5.121 NODES=7087	SAT TT=4.826 CHECKS=24794 NODES=7087	SAT TT=0.078	SAT TT=56.919 CHECKS=7511301 NODES=19596	SAT TT=58.848 CHECKS=8671051 NODES=20793	SAT TT=6.421 CHECKS=907550 NODES=3228	SAT TT=1.868	SAT TT=1.851	SAT TT=0.73	SAT TT=47.112 CHECKS=6991781 NODES=19838	SAT TT=50.512 CHECKS=6991781 NODES=19838	SAT TT=2.568	SAT TT=2.383	SAT TT=1.301	SAT TT=0.181	SAT TT=1.964 CHECKS=32849800 NODES=127441	SAT TT=1.825 CHECKS=32849800 NODES=127441
bqwh/bqwh-18-141/ bqwh-18-141-51_ext.xml	SAT TT=0.11	SAT TT=1.07 CHECKS=42249 NODES=570	SAT TT=1.341 CHECKS=210189 NODES=2390	SAT TT=11.665	SAT TT=1.593	SAT TT=1.599	SAT TT=0.918 NODES=444	SAT TT=1.545 NODES=1801	SAT TT=1.724 CHECKS=23992 NODES=1722	SAT TT=0.11	SAT TT=63.561 CHECKS=9620310 NODES=22569	SAT TT=34.633 CHECKS=5131866 NODES=12845	SAT TT=72.683 CHECKS=10824583 NODES=28435	SAT TT=1.857	SAT TT=1.899	SAT TT=0.922	SAT TT=24.555 CHECKS=3438401 NODES=9031	SAT TT=24.861 CHECKS=3438401 NODES=9031	SAT TT=2.626	SAT TT=2.566	SAT TT=1.302	SAT TT=0.155	SAT TT=0.654 CHECKS=11243300 NODES=37982	SAT TT=0.653 CHECKS=11243300 NODES=37982
Bench name	Best results on this instance	Abscon 109 ESAC	Abscon 109 AC	BPrologCSPSolver70a 2006-12-13	buggy_2_5 2007-01-08	buggy_2_5_s 2007-01-08	CSP4J - Combo 2006-12-19	CSP4J - MAC 2006-12-19	CSP4J - MAC 2007-01-16	CSPtoSAT+minisat 0.3	Diarmuid-rndi 2006-12-21	Diarmuid-rndi 2007-01-22	Diarmuid-wtdi 2006-12-21	galac 1	galacJ beta 1	Mistral 2006-12-04	rjw-solver 2006-12-09	rjw-solver 2007-01-21	sat4jCSP 1.7 RC BF3	SAT4JCSP-CACHED 1.7 RC BF3	sugar 0.40	Tramontane 2006-12-04	VALCSP 3.0	VALCSP 3.1
bqwh/bqwh-18-141/ bqwh-18-141-53_ext.xml	SAT TT=0.092	SAT TT=1.433 CHECKS=363753 NODES=3973	SAT TT=1.524 CHECKS=449378 NODES=4770	SAT TT=9.588	SAT TT=0.337	SAT TT=0.622	SAT TT=2.04 NODES=2252	SAT TT=1.837 NODES=2365	SAT TT=2.126 CHECKS=25396 NODES=2365	SAT TT=0.092	SAT TT=62.687 CHECKS=8283808 NODES=21676	SAT TT=28.711 CHECKS=3988454 NODES=10328	SAT TT=5.042 CHECKS=659301 NODES=2384	SAT TT=1.876	SAT TT=1.859	SAT TT=0.147	SAT TT=27.592 CHECKS=3669684 NODES=11624	SAT TT=26.26 CHECKS=3669684 NODES=11624	SAT TT=2.557	SAT TT=2.62	SAT TT=1.19	SAT TT=0.552	SAT TT=13.005 CHECKS=218862000 NODES=842077	SAT TT=12.956 CHECKS=218862000 NODES=842077
bqwh/bqwh-18-141/ bqwh-18-141-55_ext.xml	SAT TT=0.089	SAT TT=1.685 CHECKS=752608 NODES=5718	SAT TT=1.237 CHECKS=180705 NODES=1717	SAT TT=14.599	SAT TT=0.352	SAT TT=0.348	SAT TT=1.659 NODES=1666	SAT TT=3.543 NODES=5008	SAT TT=4.654 CHECKS=20622 NODES=6579	SAT TT=0.104	SAT TT=51.868 CHECKS=7407585 NODES=16277	SAT TT=64.193 CHECKS=9305309 NODES=19609	SAT TT=42.295 CHECKS=6280417 NODES=15789	SAT TT=1.817	SAT TT=2.011	SAT TT=1.287	SAT TT=41.717 CHECKS=6547273 NODES=14430	SAT TT=42.964 CHECKS=6547273 NODES=14430	SAT TT=2.295	SAT TT=2.325	SAT TT=1.13	SAT TT=2.491	SAT TT=0.089 CHECKS=1140140 NODES=3573	SAT TT=0.082 CHECKS=1140140 NODES=3573
bqwh/bqwh-18-141/ bqwh-18-141-57_ext.xml	SAT TT=0.086	SAT TT=1.153 CHECKS=128888 NODES=1397	SAT TT=1.436 CHECKS=357378 NODES=3210	SAT TT=6.508	SAT TT=0.94	SAT TT=0.649	SAT TT=0.984 NODES=723	SAT TT=1.579 NODES=2003	SAT TT=1.819 CHECKS=19284 NODES=2003	SAT TT=0.086	SAT TT=69.604 CHECKS=11180191 NODES=23891	SAT TT=45.993 CHECKS=6904135 NODES=15793	SAT TT=4.158 CHECKS=589678 NODES=1800	SAT TT=1.861	SAT TT=1.932	SAT TT=0.301	SAT TT=5.307 CHECKS=693178 NODES=2546	SAT TT=5.254 CHECKS=693178 NODES=2546	SAT TT=2.519	SAT TT=2.647	SAT TT=1.106	SAT TT=0.61	SAT TT=0.123 CHECKS=1830110 NODES=5284	SAT TT=0.124 CHECKS=1830110 NODES=5284
bqwh/bqwh-18-141/ bqwh-18-141-59_ext.xml	SAT TT=0.092	SAT TT=1.766 CHECKS=884290 NODES=6744	SAT TT=1.242 CHECKS=212702 NODES=2509	SAT TT=11.943	SAT TT=2.74	SAT TT=0.769	SAT TT=0.913 NODES=582	SAT TT=1.069 NODES=909	SAT TT=1.102 CHECKS=21811 NODES=909	SAT TT=0.092	SAT TT=72.464 CHECKS=9917313 NODES=26272	SAT TT=53.291 CHECKS=6856161 NODES=18946	SAT TT=17.524 CHECKS=2393990 NODES=7192	SAT TT=1.951	SAT TT=2.103	SAT TT=0.329	SAT TT=16.541 CHECKS=2416551 NODES=6351	SAT TT=15.671 CHECKS=2416551 NODES=6351	SAT TT=2.44	SAT TT=2.618	SAT TT=1.2	SAT TT=0.126	SAT TT=0.114 CHECKS=1580560 NODES=6366	SAT TT=0.113 CHECKS=1580560 NODES=6366
bqwh/bqwh-18-141/ bqwh-18-141-5_ext.xml	SAT TT=0.104	SAT TT=2.826 CHECKS=2348322 NODES=19144	SAT TT=2.221 CHECKS=1652869 NODES=13396	SAT TT=15.475	SAT TT=3.162	SAT TT=3.329	SAT TT=60.499 NODES=182130	SAT TT=0.946 NODES=570	SAT TT=0.948 CHECKS=22422 NODES=570	SAT TT=0.124	SAT TT=80.705 CHECKS=12093567 NODES=31660	SAT TT=129.848 CHECKS=17649233 NODES=46276	SAT TT=6.666 CHECKS=865359 NODES=3194	SAT TT=1.999	SAT TT=1.986	SAT TT=1.772	SAT TT=37.524 CHECKS=5243130 NODES=15319	SAT TT=38.015 CHECKS=5243130 NODES=15319	SAT TT=2.58	SAT TT=2.684	SAT TT=1.38	SAT TT=0.706	SAT TT=0.104 CHECKS=1442980 NODES=5517	SAT TT=0.097 CHECKS=1442980 NODES=5517
bqwh/bqwh-18-141/ bqwh-18-141-61_ext.xml	SAT TT=0.108	SAT TT=1.962 CHECKS=1257456 NODES=10105	SAT TT=3.311 CHECKS=2826074 NODES=22886	SAT TT=0.212	SAT TT=3.176	SAT TT=3.275	SAT TT=8.803 NODES=21264	SAT TT=4.919 NODES=8243	SAT TT=5.593 CHECKS=23444 NODES=8244	SAT TT=0.108	SAT TT=125.839 CHECKS=17182462 NODES=47943	SAT TT=96.354 CHECKS=12426081 NODES=35006	SAT TT=76.815 CHECKS=10409130 NODES=29434	SAT TT=1.889	SAT TT=2.046	SAT TT=1.993	SAT TT=7.516 CHECKS=917741 NODES=2920	SAT TT=7.199 CHECKS=917741 NODES=2920	SAT TT=2.315	SAT TT=2.362	SAT TT=1.402	SAT TT=0.426	SAT TT=0.564 CHECKS=9700480 NODES=34493	SAT TT=0.565 CHECKS=9700480 NODES=34493
bqwh/bqwh-18-141/ bqwh-18-141-63_ext.xml	SAT TT=0.076	SAT TT=4.61 CHECKS=4950263 NODES=34678	SAT TT=2.066 CHECKS=1205805 NODES=9241	SAT TT=3.067	SAT TT=4.305	SAT TT=4.199	SAT TT=23.131 NODES=74420	SAT TT=1.294 NODES=1239	SAT TT=1.368 CHECKS=23369 NODES=1239	SAT TT=0.115	SAT TT=88.424 CHECKS=13297942 NODES=31062	SAT TT=99.857 CHECKS=13756132 NODES=32922	SAT TT=19.57 CHECKS=2755863 NODES=7708	SAT TT=1.949	SAT TT=1.856	SAT TT=0.628	SAT TT=7.478 CHECKS=1059740 NODES=3040	SAT TT=7.568 CHECKS=1059740 NODES=3040	SAT TT=2.465	SAT TT=2.445	SAT TT=1.2	SAT TT=0.632	SAT TT=0.076 CHECKS=992584 NODES=3525	SAT TT=0.076 CHECKS=992584 NODES=3525
bqwh/bqwh-18-141/ bqwh-18-141-65_ext.xml	SAT TT=0.105	SAT TT=1.75 CHECKS=860849 NODES=6838	SAT TT=1.422 CHECKS=309823 NODES=3014	SAT TT=0.634	SAT TT=3.135	SAT TT=3.266	SAT TT=1.291 NODES=1119	SAT TT=4.419 NODES=6719	SAT TT=5.995 CHECKS=18815 NODES=9204	SAT TT=0.105	SAT TT=108.59 CHECKS=15269765 NODES=36451	SAT TT=74.603 CHECKS=10670273 NODES=25121	SAT TT=5.749 CHECKS=650920 NODES=2215	SAT TT=1.882	SAT TT=1.873	SAT TT=1.045	SAT TT=33.052 CHECKS=4656595 NODES=12303	SAT TT=31.375 CHECKS=4656595 NODES=12303	SAT TT=2.337	SAT TT=2.339	SAT TT=1.15	SAT TT=1.111	SAT TT=0.298 CHECKS=4723320 NODES=14657	SAT TT=0.298 CHECKS=4723320 NODES=14657
bqwh/bqwh-18-141/ bqwh-18-141-67_ext.xml	SAT TT=0.101	SAT TT=4.525 CHECKS=4474465 NODES=32378	SAT TT=2.929 CHECKS=2456533 NODES=17953	SAT TT=3.42	SAT TT=3.833	SAT TT=3.597	SAT TT=1.45 NODES=1327	SAT TT=1.931 NODES=2182	SAT TT=2.011 CHECKS=20507 NODES=2182	SAT TT=0.101	SAT TT=107.268 CHECKS=15658910 NODES=38666	SAT TT=148.942 CHECKS=19862886 NODES=50475	SAT TT=100.472 CHECKS=14046442 NODES=34975	SAT TT=1.98	SAT TT=1.849	SAT TT=0.711	SAT TT=48.556 CHECKS=7157490 NODES=17754	SAT TT=46.507 CHECKS=7157490 NODES=17754	SAT TT=2.325	SAT TT=2.58	SAT TT=1.408	SAT TT=0.511	SAT TT=0.693 CHECKS=12292500 NODES=40504	SAT TT=0.736 CHECKS=12292500 NODES=40504
bqwh/bqwh-18-141/ bqwh-18-141-69_ext.xml	SAT TT=0.104	SAT TT=2.802 CHECKS=2533552 NODES=18183	SAT TT=3.772 CHECKS=3248453 NODES=23840	SAT TT=11.301	SAT TT=3.123	SAT TT=2.954	SAT TT=2.298 NODES=2645	SAT TT=3.563 NODES=4673	SAT TT=6.05 CHECKS=19505 NODES=8492	SAT TT=0.104	SAT TT=89.742 CHECKS=13525827 NODES=32025	SAT TT=44.084 CHECKS=6166077 NODES=13666	SAT TT=41.754 CHECKS=6278245 NODES=16347	SAT TT=2.019	SAT TT=1.809	SAT TT=1.72	SAT TT=59.089 CHECKS=8850103 NODES=22469	SAT TT=63.477 CHECKS=8850103 NODES=22469	SAT TT=2.381	SAT TT=2.291	SAT TT=1.247	SAT TT=0.755	SAT TT=0.333 CHECKS=5484350 NODES=18664	SAT TT=0.334 CHECKS=5484350 NODES=18664
Bench name	Best results on this instance	Abscon 109 ESAC	Abscon 109 AC	BPrologCSPSolver70a 2006-12-13	buggy_2_5 2007-01-08	buggy_2_5_s 2007-01-08	CSP4J - Combo 2006-12-19	CSP4J - MAC 2006-12-19	CSP4J - MAC 2007-01-16	CSPtoSAT+minisat 0.3	Diarmuid-rndi 2006-12-21	Diarmuid-rndi 2007-01-22	Diarmuid-wtdi 2006-12-21	galac 1	galacJ beta 1	Mistral 2006-12-04	rjw-solver 2006-12-09	rjw-solver 2007-01-21	sat4jCSP 1.7 RC BF3	SAT4JCSP-CACHED 1.7 RC BF3	sugar 0.40	Tramontane 2006-12-04	VALCSP 3.0	VALCSP 3.1
bqwh/bqwh-18-141/ bqwh-18-141-71_ext.xml	SAT TT=0.107	SAT TT=6.439 CHECKS=7758558 NODES=55788	SAT TT=2.43 CHECKS=1616366 NODES=12429	SAT TT=0.107	SAT TT=0.659	SAT TT=0.708	SAT TT=6.893 NODES=17562	SAT TT=13.388 NODES=22013	SAT TT=13.605 CHECKS=21805 NODES=22013	SAT TT=0.121	SAT TT=73.858 CHECKS=10543622 NODES=25111	SAT TT=52.229 CHECKS=7502445 NODES=17276	SAT TT=225.72 CHECKS=32295551 NODES=87481	SAT TT=2.05	SAT TT=1.857	SAT TT=0.933	SAT TT=118.984 CHECKS=17308490 NODES=40358	SAT TT=118.505 CHECKS=17308490 NODES=40358	SAT TT=2.836	SAT TT=2.778	SAT TT=1.379	SAT TT=1.12	SAT TT=0.827 CHECKS=14278400 NODES=43896	SAT TT=0.805 CHECKS=14278400 NODES=43896
bqwh/bqwh-18-141/ bqwh-18-141-73_ext.xml	SAT TT=0.093	SAT TT=1.673 CHECKS=719820 NODES=5970	SAT TT=6.048 CHECKS=6517808 NODES=50848	SAT TT=57.231	SAT TT=3.007	SAT TT=2.972	SAT TT=10.185 NODES=30103	SAT TT=2.566 NODES=3048	SAT TT=2.345 CHECKS=23094 NODES=3048	SAT TT=0.093	SAT TT=188.444 CHECKS=27089899 NODES=68417	SAT TT=311.617 CHECKS=43714804 NODES=111988	SAT TT=263.049 CHECKS=35527958 NODES=93109	SAT TT=2.082	SAT TT=1.897	SAT TT=1.078	SAT TT=297.503 CHECKS=45453561 NODES=123915	SAT TT=312.788 CHECKS=45453561 NODES=123915	SAT TT=2.898	SAT TT=2.695	SAT TT=1.297	SAT TT=5.578	SAT TT=0.514 CHECKS=8758660 NODES=27212	SAT TT=0.532 CHECKS=8758660 NODES=27212
bqwh/bqwh-18-141/ bqwh-18-141-75_ext.xml	SAT TT=0.047	SAT TT=1.199 CHECKS=150287 NODES=1844	SAT TT=1.108 CHECKS=60102 NODES=901	SAT TT=4.458	SAT TT=0.753	SAT TT=0.741	SAT TT=1.966 NODES=2074	SAT TT=1.459 NODES=1576	SAT TT=1.66 CHECKS=20779 NODES=1576	SAT TT=0.087	SAT TT=23.744 CHECKS=3617936 NODES=8986	SAT TT=17.472 CHECKS=2603868 NODES=6298	SAT TT=4.94 CHECKS=699024 NODES=2070	SAT TT=2.067	SAT TT=1.912	SAT TT=0.484	SAT TT=4.764 CHECKS=510383 NODES=2110	SAT TT=4.416 CHECKS=510383 NODES=2110	SAT TT=2.536	SAT TT=2.423	SAT TT=1.255	SAT TT=0.267	SAT TT=0.047 CHECKS=438942 NODES=1760	SAT TT=0.05 CHECKS=438942 NODES=1760
bqwh/bqwh-18-141/ bqwh-18-141-77_ext.xml	SAT TT=0.096	SAT TT=1.586 CHECKS=643449 NODES=5213	SAT TT=1.003 CHECKS=11810 NODES=273	SAT TT=48.706	SAT TT=4.162	SAT TT=0.753	SAT TT=1.785 NODES=1591	SAT TT=5.403 NODES=9115	SAT TT=6.076 CHECKS=23714 NODES=9115	SAT TT=0.096	SAT TT=62.196 CHECKS=8414867 NODES=19194	SAT TT=78.01 CHECKS=11733223 NODES=27584	SAT TT=9.74 CHECKS=1270844 NODES=4243	SAT TT=2.036	SAT TT=1.976	SAT TT=0.855	SAT TT=79.4 CHECKS=11129210 NODES=28007	SAT TT=75.712 CHECKS=11129210 NODES=28007	SAT TT=2.623	SAT TT=2.546	SAT TT=1.21	SAT TT=0.429	SAT TT=0.202 CHECKS=3134980 NODES=10946	SAT TT=0.187 CHECKS=3134980 NODES=10946
bqwh/bqwh-18-141/ bqwh-18-141-79_ext.xml	SAT TT=0.059	SAT TT=1.898 CHECKS=1111353 NODES=8399	SAT TT=3.405 CHECKS=3320655 NODES=24031	SAT TT=0.347	SAT TT=3.163	SAT TT=2.999	SAT TT=0.951 NODES=514	SAT TT=12.46 NODES=22233	SAT TT=15.015 CHECKS=20039 NODES=22233	SAT TT=0.092	SAT TT=103.827 CHECKS=15910609 NODES=34647	SAT TT=43.305 CHECKS=5910151 NODES=13152	SAT TT=199.85 CHECKS=29749274 NODES=69982	SAT TT=1.957	SAT TT=1.907	SAT TT=0.253	SAT TT=10.125 CHECKS=1336868 NODES=3702	SAT TT=9.662 CHECKS=1336868 NODES=3702	SAT TT=2.47	SAT TT=2.507	SAT TT=1.259	SAT TT=1.229	SAT TT=0.059 CHECKS=644940 NODES=2197	SAT TT=0.058 CHECKS=644940 NODES=2197
bqwh/bqwh-18-141/ bqwh-18-141-7_ext.xml	SAT TT=0.1	SAT TT=4.051 CHECKS=4379207 NODES=29160	SAT TT=2.181 CHECKS=1641893 NODES=12207	SAT TT=17.618	SAT TT=2.168	SAT TT=2.127	SAT TT=1.653 NODES=1751	SAT TT=1.077 NODES=922	SAT TT=1.151 CHECKS=21731 NODES=922	SAT TT=0.1	SAT TT=34.286 CHECKS=5431718 NODES=12876	SAT TT=104.249 CHECKS=14518266 NODES=38352	SAT TT=62.311 CHECKS=8794169 NODES=21566	SAT TT=1.958	SAT TT=2.042	SAT TT=2.079	SAT TT=147.305 CHECKS=22133448 NODES=55341	SAT TT=158.159 CHECKS=22133448 NODES=55341	SAT TT=2.638	SAT TT=2.555	SAT TT=1.334	SAT TT=1.197	SAT TT=0.811 CHECKS=13585200 NODES=43237	SAT TT=0.792 CHECKS=13585200 NODES=43237
bqwh/bqwh-18-141/ bqwh-18-141-81_ext.xml	SAT TT=0.099	SAT TT=3.481 CHECKS=3245852 NODES=25596	SAT TT=3.52 CHECKS=3480444 NODES=26641	SAT TT=0.997	SAT TT=0.934	SAT TT=0.991	SAT TT=0.808 NODES=402	SAT TT=1.743 NODES=2246	SAT TT=1.937 CHECKS=21291 NODES=2246	SAT TT=0.099	SAT TT=104.303 CHECKS=13872110 NODES=36579	SAT TT=75.934 CHECKS=10265058 NODES=26601	SAT TT=34.328 CHECKS=4981480 NODES=15326	SAT TT=1.885	SAT TT=1.872	SAT TT=1.052	SAT TT=29.289 CHECKS=4308038 NODES=11705	SAT TT=29.076 CHECKS=4308038 NODES=11705	SAT TT=2.587	SAT TT=2.588	SAT TT=1.269	SAT TT=0.154	SAT TT=1.454 CHECKS=25283000 NODES=91985	SAT TT=1.362 CHECKS=25283000 NODES=91985
bqwh/bqwh-18-141/ bqwh-18-141-83_ext.xml	SAT TT=0.095	SAT TT=1.645 CHECKS=648003 NODES=5614	SAT TT=1.348 CHECKS=335305 NODES=2957	SAT TT=0.552	SAT TT=0.665	SAT TT=0.641	SAT TT=1.099 NODES=1614	SAT TT=1.394 NODES=1415	SAT TT=1.417 CHECKS=19426 NODES=1364	SAT TT=0.095	SAT TT=52.905 CHECKS=7665570 NODES=18514	SAT TT=47.632 CHECKS=6717915 NODES=16684	SAT TT=39.152 CHECKS=5843263 NODES=16570	SAT TT=2.034	SAT TT=1.787	SAT TT=0.132	SAT TT=3.533 CHECKS=403821 NODES=1657	SAT TT=3.596 CHECKS=403821 NODES=1657	SAT TT=2.377	SAT TT=2.442	SAT TT=1.256	SAT TT=0.478	SAT TT=0.115 CHECKS=1472610 NODES=6285	SAT TT=0.112 CHECKS=1472610 NODES=6285
bqwh/bqwh-18-141/ bqwh-18-141-85_ext.xml	SAT TT=0.086	SAT TT=1.06 CHECKS=82264 NODES=795	SAT TT=1.442 CHECKS=534562 NODES=4533	SAT TT=0.15	SAT TT=2.772	SAT TT=2.59	SAT TT=0.722 NODES=268	SAT TT=2.631 NODES=3331	SAT TT=2.78 CHECKS=20387 NODES=3331	SAT TT=0.086	SAT TT=82.072 CHECKS=11741939 NODES=26661	SAT TT=79.483 CHECKS=11335154 NODES=25396	SAT TT=16.358 CHECKS=2179842 NODES=5932	SAT TT=1.954	SAT TT=1.793	SAT TT=0.152	SAT TT=4.631 CHECKS=643144 NODES=2088	SAT TT=4.821 CHECKS=643144 NODES=2088	SAT TT=2.611	SAT TT=3.165	SAT TT=1.215	SAT TT=0.095	SAT TT=0.101 CHECKS=1399680 NODES=3624	SAT TT=0.102 CHECKS=1399680 NODES=3624
bqwh/bqwh-18-141/ bqwh-18-141-87_ext.xml	SAT TT=0.089	SAT TT=3.815 CHECKS=3546380 NODES=29544	SAT TT=1.391 CHECKS=458883 NODES=4517	SAT TT=12.897	SAT TT=4.266	SAT TT=4.061	SAT TT=17.828 NODES=50567	SAT TT=5.655 NODES=9995	SAT TT=6.309 CHECKS=24653 NODES=9995	SAT TT=0.089	SAT TT=260.949 CHECKS=38436308 NODES=94299	SAT TT=165.144 CHECKS=23382141 NODES=58755	SAT TT=137.831 CHECKS=19618839 NODES=52721	SAT TT=1.91	SAT TT=1.991	SAT TT=0.24	SAT TT=9.515 CHECKS=1303663 NODES=4194	SAT TT=9.9 CHECKS=1303663 NODES=4194	SAT TT=2.686	SAT TT=2.605	SAT TT=1.259	SAT TT=0.349	SAT TT=0.113 CHECKS=1529920 NODES=5184	SAT TT=0.114 CHECKS=1529920 NODES=5184
Bench name	Best results on this instance	Abscon 109 ESAC	Abscon 109 AC	BPrologCSPSolver70a 2006-12-13	buggy_2_5 2007-01-08	buggy_2_5_s 2007-01-08	CSP4J - Combo 2006-12-19	CSP4J - MAC 2006-12-19	CSP4J - MAC 2007-01-16	CSPtoSAT+minisat 0.3	Diarmuid-rndi 2006-12-21	Diarmuid-rndi 2007-01-22	Diarmuid-wtdi 2006-12-21	galac 1	galacJ beta 1	Mistral 2006-12-04	rjw-solver 2006-12-09	rjw-solver 2007-01-21	sat4jCSP 1.7 RC BF3	SAT4JCSP-CACHED 1.7 RC BF3	sugar 0.40	Tramontane 2006-12-04	VALCSP 3.0	VALCSP 3.1
bqwh/bqwh-18-141/ bqwh-18-141-89_ext.xml	SAT TT=0.116	SAT TT=5.168 CHECKS=5949291 NODES=46007	SAT TT=1.077 CHECKS=39009 NODES=570	SAT TT=0.435	SAT TT=3.991	SAT TT=3.954	SAT TT=0.817 NODES=349	SAT TT=1.185 NODES=1045	SAT TT=1.218 CHECKS=23463 NODES=1045	SAT TT=0.116	SAT TT=53.719 CHECKS=7836370 NODES=18699	SAT TT=73.3 CHECKS=10311080 NODES=24286	SAT TT=6.594 CHECKS=926790 NODES=3014	SAT TT=1.947	SAT TT=1.835	SAT TT=0.118	SAT TT=2.676 CHECKS=286729 NODES=1188	SAT TT=2.389 CHECKS=286729 NODES=1188	SAT TT=2.44	SAT TT=2.396	SAT TT=1.276	SAT TT=0.715	SAT TT=2.802 CHECKS=51602500 NODES=185111	SAT TT=2.929 CHECKS=51602500 NODES=185111
bqwh/bqwh-18-141/ bqwh-18-141-91_ext.xml	SAT TT=0.12	SAT TT=1.748 CHECKS=929130 NODES=7704	SAT TT=2.784 CHECKS=2269513 NODES=17301	SAT TT=12.815	SAT TT=1.338	SAT TT=1.419	SAT TT=5.369 NODES=16648	SAT TT=1.305 NODES=1269	SAT TT=1.389 CHECKS=20384 NODES=1269	SAT TT=0.12	SAT TT=263.707 CHECKS=35482760 NODES=95979	SAT TT=136.947 CHECKS=18774698 NODES=45518	SAT TT=65.711 CHECKS=8903330 NODES=25724	SAT TT=2.023	SAT TT=1.878	SAT TT=1.464	SAT TT=26.273 CHECKS=3603187 NODES=10377	SAT TT=25.527 CHECKS=3603187 NODES=10377	SAT TT=2.466	SAT TT=2.341	SAT TT=1.251	SAT TT=2.587	SAT TT=0.441 CHECKS=7320930 NODES=25658	SAT TT=0.442 CHECKS=7320930 NODES=25658
bqwh/bqwh-18-141/ bqwh-18-141-93_ext.xml	SAT TT=0.042	SAT TT=2.08 CHECKS=1108559 NODES=8908	SAT TT=1.064 CHECKS=99897 NODES=1347	SAT TT=0.073	SAT TT=1.042	SAT TT=1.064	SAT TT=0.9 NODES=621	SAT TT=3.003 NODES=4230	SAT TT=3.21 CHECKS=21227 NODES=4230	SAT TT=0.102	SAT TT=56.636 CHECKS=8423111 NODES=19081	SAT TT=52.027 CHECKS=7645150 NODES=17943	SAT TT=15.386 CHECKS=2297613 NODES=6681	SAT TT=1.931	SAT TT=1.906	SAT TT=0.083	SAT TT=6.015 CHECKS=723213 NODES=2434	SAT TT=5.669 CHECKS=723213 NODES=2434	SAT TT=2.281	SAT TT=2.208	SAT TT=1.287	SAT TT=1.042	SAT TT=0.042 CHECKS=363555 NODES=1116	SAT TT=0.04 CHECKS=363555 NODES=1116
bqwh/bqwh-18-141/ bqwh-18-141-95_ext.xml	SAT TT=0.086	SAT TT=1.374 CHECKS=307778 NODES=3407	SAT TT=1.25 CHECKS=259661 NODES=2563	SAT TT=3.389	SAT TT=0.747	SAT TT=1.4	SAT TT=0.767 NODES=318	SAT TT=1.355 NODES=1288	SAT TT=1.511 CHECKS=23950 NODES=1288	SAT TT=0.086	SAT TT=48.003 CHECKS=7094806 NODES=18132	SAT TT=118.797 CHECKS=17054802 NODES=45858	SAT TT=22.005 CHECKS=3014145 NODES=8275	SAT TT=2.066	SAT TT=1.976	SAT TT=1.666	SAT TT=31.708 CHECKS=4528030 NODES=13038	SAT TT=33.127 CHECKS=4528030 NODES=13038	SAT TT=2.662	SAT TT=2.66	SAT TT=1.25	SAT TT=1.056	SAT TT=1.269 CHECKS=23312500 NODES=79575	SAT TT=1.342 CHECKS=23312500 NODES=79575
bqwh/bqwh-18-141/ bqwh-18-141-97_ext.xml	SAT TT=0.112	SAT TT=3.738 CHECKS=3799402 NODES=27411	SAT TT=1.397 CHECKS=461703 NODES=4172	SAT TT=56.323	SAT TT=0.905	SAT TT=0.906	SAT TT=8.77 NODES=22789	SAT TT=4.478 NODES=6898	SAT TT=4.716 CHECKS=21012 NODES=6898	SAT TT=0.112	SAT TT=155.717 CHECKS=22571613 NODES=58156	SAT TT=155.97 CHECKS=21141137 NODES=52303	SAT TT=53.31 CHECKS=7143350 NODES=18052	SAT TT=1.896	SAT TT=1.882	SAT TT=1.809	SAT TT=26.437 CHECKS=3673577 NODES=10276	SAT TT=26.122 CHECKS=3673577 NODES=10276	SAT TT=2.329	SAT TT=2.497	SAT TT=1.225	SAT TT=0.978	SAT TT=0.878 CHECKS=14902300 NODES=47489	SAT TT=0.888 CHECKS=14902300 NODES=47489
bqwh/bqwh-18-141/ bqwh-18-141-99_ext.xml	SAT TT=0.099	SAT TT=2.327 CHECKS=1618640 NODES=12296	SAT TT=5.911 CHECKS=5281222 NODES=38379	SAT TT=21.446	SAT TT=4.688	SAT TT=4.731	SAT TT=18.743 NODES=55134	SAT TT=8.538 NODES=12103	SAT TT=8.431 CHECKS=22902 NODES=12907	SAT TT=0.099	SAT TT=109.993 CHECKS=15230495 NODES=39983	SAT TT=119.898 CHECKS=17300898 NODES=45871	SAT TT=189.222 CHECKS=27163221 NODES=67502	SAT TT=1.863	SAT TT=1.882	SAT TT=1.48	SAT TT=61.245 CHECKS=9014533 NODES=22752	SAT TT=66.088 CHECKS=9014533 NODES=22752	SAT TT=2.566	SAT TT=2.449	SAT TT=1.287	SAT TT=1.524	SAT TT=0.483 CHECKS=8309860 NODES=24414	SAT TT=0.471 CHECKS=8309860 NODES=24414
bqwh/bqwh-18-141/ bqwh-18-141-9_ext.xml	SAT TT=0.084	SAT TT=1.602 CHECKS=675742 NODES=5549	SAT TT=0.969 CHECKS=4588 NODES=150	SAT TT=23.301	SAT TT=1.042	SAT TT=1.058	SAT TT=0.658 NODES=169	SAT TT=1.207 NODES=1086	SAT TT=1.245 CHECKS=21593 NODES=1086	SAT TT=0.097	SAT TT=44.011 CHECKS=6815029 NODES=15730	SAT TT=39.76 CHECKS=5749349 NODES=13262	SAT TT=34.303 CHECKS=4751761 NODES=11761	SAT TT=1.846	SAT TT=1.932	SAT TT=0.357	SAT TT=28.236 CHECKS=4242206 NODES=11017	SAT TT=28.095 CHECKS=4242206 NODES=11017	SAT TT=2.119	SAT TT=2.807	SAT TT=1.22	SAT TT=0.084	SAT TT=0.169 CHECKS=2659770 NODES=9512	SAT TT=0.157 CHECKS=2659770 NODES=9512
coloring/ dsjc-125-1-4-ext.xml	UNSAT TT=0.017	UNSAT TT=0.944 CHECKS=21378 NODES=58	UNSAT TT=0.886 CHECKS=18067 NODES=76	UNSAT TT=0.04	UNSAT TT=0.437	UNSAT TT=0.443	UNSAT TT=0.685 NODES=79	UNSAT TT=0.622 NODES=60	UNSAT TT=0.638 CHECKS=17664 NODES=60	UNSAT TT=0.049	UNSAT TT=20.011 CHECKS=2834834 NODES=5184	Wrong Cert. TT=0.19 CHECKS=9298 NODES=125	UNSAT TT=1.192 CHECKS=94595 CHECKS=230231 NODES=79 NODES=204	UNSAT TT=0.915	UNSAT TT=0.865	UNSAT TT=0.057	UNSAT TT=0.495 CHECKS=94595 NODES=79	Wrong Cert. TT=0.21 CHECKS=9296 NODES=125	UNSAT TT=1.61	UNSAT TT=1.577	UNSAT TT=1.243	UNSAT TT=0.058	UNSAT TT=0.017 CHECKS=87406 NODES=30	UNSAT TT=0.018 CHECKS=87406 NODES=30
coloring/ dsjc-125-1-5-ext.xml	SAT TT=0.056	SAT TT=1.051 CHECKS=168802 NODES=1526	SAT TT=0.951 CHECKS=20074 NODES=304	SAT TT=0.114	SAT TT=0.277	SAT TT=0.271	SAT TT=0.674 NODES=147	SAT TT=0.61 NODES=132	SAT TT=0.624 CHECKS=29440 NODES=132	SAT TT=0.082	SAT TT=24.224 CHECKS=3788104 NODES=9805	Wrong Cert. TT=0.194 CHECKS=11555 NODES=125	SAT TT=0.479 CHECKS=64480 NODES=252	SAT TT=1.608	SAT TT=1.903	SAT TT=0.056	SAT TT=0.492 CHECKS=64480 NODES=252	Wrong Cert. TT=0.209 CHECKS=11624 NODES=125	SAT TT=1.813	SAT TT=1.758	SAT TT=1.396	SAT TT=0.072	SAT TT=0.063 CHECKS=907080 NODES=2106	SAT TT=0.067 CHECKS=907080 NODES=2106
coloring/ geom-30a-3-ext.xml	UNSAT TT=0.004	UNSAT TT=0.662 CHECKS=1126 NODES=6	UNSAT TT=0.647 CHECKS=284 NODES=6	UNSAT TT=0.019	UNSAT TT=0.07	UNSAT TT=0.065	UNSAT TT=0.344 NODES=8	UNSAT TT=0.358 NODES=5	UNSAT TT=0.35 CHECKS=972 NODES=5	UNSAT TT=0.019	UNSAT TT=0.061 CHECKS=3946 CHECKS=5495 NODES=68 NODES=87	UNSAT TT=0.064 CHECKS=1969 CHECKS=4606 NODES=31 NODES=86	UNSAT TT=0.046 CHECKS=1523 CHECKS=2945 NODES=9 NODES=18	UNSAT TT=0.578	UNSAT TT=0.573	UNSAT TT=0.016	UNSAT TT=0.044 CHECKS=1523 NODES=9	UNSAT TT=0.044 CHECKS=1523 NODES=9	UNSAT TT=0.634	UNSAT TT=0.616	UNSAT TT=0.695	UNSAT TT=0.015	UNSAT TT=0.004 CHECKS=1525 NODES=3	UNSAT TT=0.003 CHECKS=1525 NODES=3
Bench name	Best results on this instance	Abscon 109 ESAC	Abscon 109 AC	BPrologCSPSolver70a 2006-12-13	buggy_2_5 2007-01-08	buggy_2_5_s 2007-01-08	CSP4J - Combo 2006-12-19	CSP4J - MAC 2006-12-19	CSP4J - MAC 2007-01-16	CSPtoSAT+minisat 0.3	Diarmuid-rndi 2006-12-21	Diarmuid-rndi 2007-01-22	Diarmuid-wtdi 2006-12-21	galac 1	galacJ beta 1	Mistral 2006-12-04	rjw-solver 2006-12-09	rjw-solver 2007-01-21	sat4jCSP 1.7 RC BF3	SAT4JCSP-CACHED 1.7 RC BF3	sugar 0.40	Tramontane 2006-12-04	VALCSP 3.0	VALCSP 3.1
coloring/ geom-30a-4-ext.xml	UNSAT TT=0.003	UNSAT TT=0.669 CHECKS=1810 NODES=29	UNSAT TT=0.717 CHECKS=1140 NODES=29	UNSAT TT=0.021	UNSAT TT=0.072	UNSAT TT=0.071	UNSAT TT=0.364 NODES=25	UNSAT TT=0.354 NODES=23	UNSAT TT=0.38 CHECKS=1944 NODES=23	UNSAT TT=0.019	UNSAT TT=0.627 CHECKS=135741 NODES=3744	UNSAT TT=0.901 CHECKS=193022 NODES=5445	UNSAT TT=0.07 CHECKS=4828 CHECKS=9058 NODES=40 NODES=80	UNSAT TT=0.602	UNSAT TT=0.558	UNSAT TT=0.016	UNSAT TT=0.057 CHECKS=4828 NODES=40	UNSAT TT=0.057 CHECKS=4828 NODES=40	UNSAT TT=0.647	UNSAT TT=0.654	UNSAT TT=0.291	UNSAT TT=0.018	UNSAT TT=0.003 CHECKS=4897 NODES=16	UNSAT TT=0.004 CHECKS=4897 NODES=16
coloring/ geom-30a-5-ext.xml	UNSAT TT=0.005	UNSAT TT=0.704 CHECKS=6452 NODES=180	UNSAT TT=0.741 CHECKS=5555 NODES=166	UNSAT TT=0.023	UNSAT TT=0.071	UNSAT TT=0.071	UNSAT TT=0.417 NODES=136	UNSAT TT=0.373 NODES=141	UNSAT TT=0.379 CHECKS=3301 NODES=141	UNSAT TT=0.021	UNSAT TT=0.565 CHECKS=124514 NODES=4394	UNSAT TT=0.574 CHECKS=122719 NODES=4484	UNSAT TT=0.383 CHECKS=95539 NODES=1043	UNSAT TT=0.59	UNSAT TT=0.58	UNSAT TT=0.02	UNSAT TT=0.177 CHECKS=33352 NODES=468	UNSAT TT=0.178 CHECKS=33352 NODES=468	UNSAT TT=0.809	UNSAT TT=0.85	UNSAT TT=0.304	UNSAT TT=0.02	UNSAT TT=0.005 CHECKS=34262 NODES=214	UNSAT TT=0.005 CHECKS=34262 NODES=214
coloring/ geom-30a-6-ext.xml	SAT TT=0.004	SAT TT=0.633 CHECKS=473 NODES=0	SAT TT=0.637 CHECKS=467 NODES=30	SAT TT=0.021	SAT TT=0.07	SAT TT=0.07	SAT TT=0.369 NODES=0	SAT TT=0.408 NODES=30	SAT TT=0.4 CHECKS=4860 NODES=30	SAT TT=0.018	SAT TT=0.048 CHECKS=2795 NODES=30	SAT TT=0.048 CHECKS=2602 NODES=30	SAT TT=0.046 CHECKS=2800 NODES=30	SAT TT=0.985	SAT TT=1.002	SAT TT=0.016	SAT TT=0.049 CHECKS=2800 NODES=30	SAT TT=0.048 CHECKS=2800 NODES=30	SAT TT=0.628	SAT TT=0.647	SAT TT=0.423	SAT TT=0.016	SAT TT=0.004 CHECKS=2788 NODES=30	SAT TT=0.004 CHECKS=2788 NODES=30
coloring/ geom-40-2-ext.xml	UNSAT TT=0.004	UNSAT TT=0.639 CHECKS=35 NODES=0	UNSAT TT=0.678 CHECKS=30 NODES=1	UNSAT TT=0.021	UNSAT TT=0.068	UNSAT TT=0.079	UNSAT TT=0.326 NODES=12	UNSAT TT=0.309 NODES=1	UNSAT TT=0.319 CHECKS=312 NODES=1	UNSAT TT=0.019	UNSAT TT=0.043 CHECKS=486 CHECKS=968 NODES=2 NODES=4	UNSAT TT=0.044 CHECKS=486 CHECKS=964 NODES=2 NODES=4	UNSAT TT=0.042 CHECKS=996 CHECKS=498 NODES=2 NODES=4	UNSAT TT=0.546	UNSAT TT=0.534	UNSAT TT=0.015	UNSAT TT=0.04 CHECKS=498 NODES=2	UNSAT TT=0.042 CHECKS=498 NODES=2	UNSAT TT=0.661	UNSAT TT=0.625	UNSAT TT=0.052	UNSAT TT=0.015	UNSAT TT=0.004 CHECKS=516 NODES=2	UNSAT TT=0.003 CHECKS=494 NODES=0
coloring/ geom-40-3-ext.xml	UNSAT TT=0.004	UNSAT TT=0.736 CHECKS=828 NODES=6	UNSAT TT=0.672 CHECKS=124 NODES=6	UNSAT TT=0.022	UNSAT TT=0.073	UNSAT TT=0.07	UNSAT TT=0.378 NODES=5	UNSAT TT=0.376 NODES=5	UNSAT TT=0.352 CHECKS=936 NODES=5	UNSAT TT=0.017	UNSAT TT=1.232 CHECKS=175426 NODES=5761	UNSAT TT=0.817 CHECKS=118827 NODES=3899	UNSAT TT=0.049 CHECKS=966 CHECKS=1946 NODES=9 NODES=18	UNSAT TT=0.601	UNSAT TT=0.574	UNSAT TT=0.019	UNSAT TT=0.042 CHECKS=966 NODES=9	UNSAT TT=0.047 CHECKS=966 NODES=9	UNSAT TT=0.617	UNSAT TT=0.658	UNSAT TT=0.664	UNSAT TT=0.015	UNSAT TT=0.004 CHECKS=1535 NODES=12	UNSAT TT=0.004 CHECKS=952 NODES=3
coloring/ geom-40-4-ext.xml	UNSAT TT=0.004	UNSAT TT=0.728 CHECKS=1394 NODES=46	UNSAT TT=0.684 CHECKS=728 NODES=30	UNSAT TT=0.022	UNSAT TT=0.07	UNSAT TT=0.067	UNSAT TT=0.384 NODES=51	UNSAT TT=0.363 NODES=50	UNSAT TT=0.386 CHECKS=1876 NODES=48	UNSAT TT=0.017	UNSAT TT=1.323 CHECKS=178395 NODES=10937	UNSAT TT=0.903 CHECKS=110679 NODES=6700	UNSAT TT=0.068 CHECKS=2840 CHECKS=5247 NODES=50 NODES=90	UNSAT TT=0.608	UNSAT TT=0.536	UNSAT TT=0.016	UNSAT TT=0.055 CHECKS=2840 NODES=50	UNSAT TT=0.056 CHECKS=2840 NODES=50	UNSAT TT=0.64	UNSAT TT=0.632	UNSAT TT=0.051	UNSAT TT=0.018	UNSAT TT=0.004 CHECKS=7302 NODES=72	UNSAT TT=0.004 CHECKS=2757 NODES=20
coloring/ geom-40-5-ext.xml	UNSAT TT=0.017	UNSAT TT=0.696 CHECKS=2659 NODES=181	UNSAT TT=0.75 CHECKS=2352 NODES=182	UNSAT TT=1635.32	UNSAT TT=0.072	UNSAT TT=0.071	UNSAT TT=0.537 NODES=770	UNSAT TT=0.409 NODES=174	UNSAT TT=0.399 CHECKS=3126 NODES=168	UNSAT TT=0.018	UNSAT TT=0.476 CHECKS=60952 NODES=4949	UNSAT TT=0.497 CHECKS=61328 NODES=4975	UNSAT TT=0.268 CHECKS=29342 NODES=1042	UNSAT TT=0.641	UNSAT TT=0.573	UNSAT TT=0.02	UNSAT TT=0.631 CHECKS=64865 NODES=3093	UNSAT TT=0.649 CHECKS=64865 NODES=3093	UNSAT TT=0.768	UNSAT TT=0.799	UNSAT TT=0.725	UNSAT TT=0.017	UNSAT TT=0.017 CHECKS=85589 NODES=1724	UNSAT TT=0.015 CHECKS=69089 NODES=1379
coloring/ geom-40-6-ext.xml	SAT TT=0.003	SAT TT=0.64 CHECKS=487 NODES=0	SAT TT=0.678 CHECKS=473 NODES=40	SAT TT=0.019	SAT TT=0.071	SAT TT=0.072	SAT TT=0.365 NODES=0	SAT TT=0.42 NODES=40	SAT TT=0.39 CHECKS=4680 NODES=40	SAT TT=0.018	SAT TT=0.049 CHECKS=2364 NODES=40	SAT TT=0.051 CHECKS=2392 NODES=40	SAT TT=0.05 CHECKS=2352 NODES=40	SAT TT=1.006	SAT TT=0.947	SAT TT=0.017	SAT TT=0.047 CHECKS=2352 NODES=40	SAT TT=0.051 CHECKS=2352 NODES=40	SAT TT=0.626	SAT TT=0.674	SAT TT=0.77	SAT TT=0.015	SAT TT=0.003 CHECKS=2349 NODES=40	SAT TT=0.003 CHECKS=2349 NODES=39
coloring/ le-450-5a-2-ext.xml	UNSAT TT=0.098	UNSAT TT=1.026 CHECKS=166 NODES=0	UNSAT TT=1.055 CHECKS=170 NODES=1	UNSAT TT=0.226	UNSAT TT=0.816	UNSAT TT=0.775	UNSAT TT=4.663 NODES=156	UNSAT TT=4.579 NODES=1	UNSAT TT=4.491 CHECKS=22856 NODES=1	UNSAT TT=0.32	UNSAT TT=1.239 CHECKS=34358 CHECKS=68780 NODES=2 NODES=4	UNSAT TT=1.285 CHECKS=34366 CHECKS=68768 NODES=2 NODES=4	UNSAT TT=1.267 CHECKS=34454 CHECKS=68908 NODES=2 NODES=4	UNSAT TT=2.387	UNSAT TT=1.658	UNSAT TT=0.256	UNSAT TT=1.033 CHECKS=34454 NODES=2	UNSAT TT=1.002 CHECKS=34454 NODES=2	UNSAT TT=4.359	UNSAT TT=4.232	UNSAT TT=2.53	UNSAT TT=0.25	UNSAT TT=0.098 CHECKS=34454 NODES=0	UNSAT TT=0.096 CHECKS=34454 NODES=0
coloring/ le-450-5a-3-ext.xml	UNSAT TT=0.102	UNSAT TT=1.582 CHECKS=123928 NODES=6	UNSAT TT=1.18 CHECKS=2262 NODES=6	UNSAT TT=0.165	UNSAT TT=0.933	UNSAT TT=0.96	UNSAT TT=4.742 NODES=103	UNSAT TT=4.67 NODES=5	UNSAT TT=4.341 CHECKS=68568 NODES=5	UNSAT TT=0.301	UNSAT TT=6.336 CHECKS=139681 CHECKS=238989 NODES=78 NODES=120	UNSAT TT=8.38 CHECKS=149224 CHECKS=309246 NODES=78 NODES=178	UNSAT TT=2.07 CHECKS=61969 CHECKS=123938 NODES=9 NODES=18	UNSAT TT=2.238	UNSAT TT=1.578	UNSAT TT=0.257	UNSAT TT=1.477 CHECKS=61969 NODES=9	UNSAT TT=1.561 CHECKS=61969 NODES=9	UNSAT TT=4.006	UNSAT TT=3.674	UNSAT TT=3.23	UNSAT TT=0.257	UNSAT TT=0.102 CHECKS=67768 NODES=3	UNSAT TT=0.108 CHECKS=67768 NODES=3
Bench name	Best results on this instance	Abscon 109 ESAC	Abscon 109 AC	BPrologCSPSolver70a 2006-12-13	buggy_2_5 2007-01-08	buggy_2_5_s 2007-01-08	CSP4J - Combo 2006-12-19	CSP4J - MAC 2006-12-19	CSP4J - MAC 2007-01-16	CSPtoSAT+minisat 0.3	Diarmuid-rndi 2006-12-21	Diarmuid-rndi 2007-01-22	Diarmuid-wtdi 2006-12-21	galac 1	galacJ beta 1	Mistral 2006-12-04	rjw-solver 2006-12-09	rjw-solver 2007-01-21	sat4jCSP 1.7 RC BF3	SAT4JCSP-CACHED 1.7 RC BF3	sugar 0.40	Tramontane 2006-12-04	VALCSP 3.0	VALCSP 3.1
coloring/ le-450-5a-4-ext.xml	UNSAT TT=0.152	UNSAT TT=1.524 CHECKS=103891 NODES=32	UNSAT TT=1.265 CHECKS=57963 NODES=159	UNSAT TT=0.262	UNSAT TT=6.951	UNSAT TT=7.051	UNSAT TT=5.506 NODES=177	UNSAT TT=5.547 NODES=48	UNSAT TT=5.047 CHECKS=137136 NODES=48	UNSAT TT=0.307	UNSAT TT=777.898 CHECKS=25606857 NODES=15893	UNSAT TT=855.048 CHECKS=30272222 NODES=17345	UNSAT TT=10.95 CHECKS=663855 CHECKS=833976 NODES=155 NODES=195	UNSAT TT=2.262	UNSAT TT=1.565	UNSAT TT=0.296	UNSAT TT=9.591 CHECKS=663855 NODES=155	UNSAT TT=9.318 CHECKS=663855 NODES=155	UNSAT TT=3.844	UNSAT TT=4.013	UNSAT TT=3.84	UNSAT TT=0.272	UNSAT TT=0.152 CHECKS=547412 NODES=75	UNSAT TT=0.157 CHECKS=547412 NODES=75
coloring/ le-450-5a-5-ext.xml	SAT TT=0.343	SAT TT=1.837 CHECKS=286557 NODES=924	SAT TT=1.577 CHECKS=311688 NODES=1119	SAT TT=11.524	SAT TT=1.444	SAT TT=1.382	SAT TT=13.685 NODES=1901	SAT TT=10.894 NODES=1096	SAT TT=9.929 CHECKS=228560 NODES=1096	SAT TT=0.343	SAT TT=1657.91 CHECKS=112468985 NODES=29343	? (TO) TT=1800.12	SAT TT=144.891 CHECKS=9814444 NODES=2572	SAT TT=4.088	SAT TT=4.215	SAT TT=2.726	SAT TT=889.342 CHECKS=58948524 NODES=13733	SAT TT=830.163 CHECKS=58948524 NODES=13733	SAT TT=4.375	SAT TT=3.866	SAT TT=5.05	SAT TT=2.434	SAT TT=0.948 CHECKS=8231600 NODES=2054	SAT TT=0.904 CHECKS=8231600 NODES=2054
coloring/ myciel-5g-3-ext.xml	UNSAT TT=0.006	UNSAT TT=0.713 CHECKS=8410 NODES=31	UNSAT TT=0.699 CHECKS=5441 NODES=29	UNSAT TT=0.027	UNSAT TT=0.123	UNSAT TT=0.119	UNSAT TT=0.438 NODES=29	UNSAT TT=0.431 NODES=19	UNSAT TT=0.438 CHECKS=2832 NODES=19	UNSAT TT=0.025	UNSAT TT=0.215 CHECKS=14702 CHECKS=33623 NODES=36 NODES=92	UNSAT TT=0.175 CHECKS=14512 CHECKS=28927 NODES=41 NODES=75	UNSAT TT=0.165 CHECKS=15098 CHECKS=28612 NODES=41 NODES=72	UNSAT TT=0.682	UNSAT TT=0.663	UNSAT TT=0.024	UNSAT TT=0.12 CHECKS=15098 NODES=41	UNSAT TT=0.118 CHECKS=15098 NODES=41	UNSAT TT=0.898	UNSAT TT=0.838	UNSAT TT=0.054	UNSAT TT=0.023	UNSAT TT=0.006 CHECKS=15777 NODES=83	UNSAT TT=0.006 CHECKS=15777 NODES=83
coloring/ myciel-5g-4-ext.xml	UNSAT TT=0.031	UNSAT TT=1.001 CHECKS=208284 NODES=2140	UNSAT TT=1.023 CHECKS=210064 NODES=1945	UNSAT TT=0.352	UNSAT TT=0.358	UNSAT TT=0.355	UNSAT TT=1.323 NODES=4286	UNSAT TT=1.066 NODES=2656	UNSAT TT=1.186 CHECKS=5677 NODES=2656	UNSAT TT=0.103	UNSAT TT=7.525 CHECKS=1807661 NODES=7081	UNSAT TT=6.514 CHECKS=1462517 NODES=5850	UNSAT TT=14.147 CHECKS=3664621 NODES=15869	UNSAT TT=0.76	UNSAT TT=1.229	UNSAT TT=0.142	UNSAT TT=2.458 CHECKS=640882 NODES=2541	UNSAT TT=2.546 CHECKS=640882 NODES=2541	UNSAT TT=1.665	UNSAT TT=1.579	UNSAT TT=0.643	UNSAT TT=0.255	UNSAT TT=0.031 CHECKS=489803 NODES=2181	UNSAT TT=0.032 CHECKS=489803 NODES=2181
coloring/ myciel-5g-5-ext.xml	UNSAT TT=27.08	UNSAT TT=149.631 CHECKS=267976826 NODES=3752791	UNSAT TT=149.97 CHECKS=267015113 NODES=3740662	UNSAT TT=271.013	UNSAT TT=52.09	UNSAT TT=55.604	UNSAT TT=641.99 NODES=3461469	UNSAT TT=943.601 NODES=5490308	UNSAT TT=1090.56 CHECKS=9465 NODES=5487786	UNSAT TT=71.572	? (TO) TT=1800.09	? (TO) TT=1800.07	? (TO) TT=1800.07	UNSAT TT=197.865	? (TO) TT=1800.07	UNSAT TT=143.231	? (TO) TT=1800.03	? (TO) TT=1800.08	? (TO) TT=1800.05	? (TO) TT=1800.15	UNSAT TT=27.08	UNSAT TT=394.083	UNSAT TT=97.261 CHECKS=1326620000 NODES=13178400	UNSAT TT=93.502 CHECKS=1326620000 NODES=13178400
coloring/ myciel-5g-6-ext.xml	SAT TT=0.006	SAT TT=0.737 CHECKS=1341 NODES=0	SAT TT=0.748 CHECKS=1303 NODES=47	SAT TT=0.025	SAT TT=0.091	SAT TT=0.091	SAT TT=0.444 NODES=0	SAT TT=0.449 NODES=47	SAT TT=0.483 CHECKS=14160 NODES=47	SAT TT=0.026	SAT TT=0.068 CHECKS=8393 NODES=47	SAT TT=0.07 CHECKS=9077 NODES=47	SAT TT=0.072 CHECKS=8325 NODES=47	SAT TT=1.204	SAT TT=1.115	SAT TT=0.023	SAT TT=0.073 CHECKS=8325 NODES=47	SAT TT=0.073 CHECKS=8325 NODES=47	SAT TT=0.806	SAT TT=0.818	SAT TT=1.072	SAT TT=0.022	SAT TT=0.006 CHECKS=8200 NODES=47	SAT TT=0.008 CHECKS=8200 NODES=47
coloring/ queens-5-5-3-ext.xml	UNSAT TT=0.004	UNSAT TT=0.669 CHECKS=2657 NODES=6	UNSAT TT=0.666 CHECKS=380 NODES=6	UNSAT TT=0.022	UNSAT TT=0.077	UNSAT TT=0.079	UNSAT TT=0.426 NODES=9	UNSAT TT=0.413 NODES=5	UNSAT TT=0.387 CHECKS=1920 NODES=5	UNSAT TT=0.02	UNSAT TT=0.067 CHECKS=3908 CHECKS=8096 NODES=15 NODES=30	UNSAT TT=0.065 CHECKS=3828 CHECKS=7202 NODES=15 NODES=24	UNSAT TT=0.058 CHECKS=3587 CHECKS=6649 NODES=9 NODES=18	UNSAT TT=0.641	UNSAT TT=0.562	UNSAT TT=0.018	UNSAT TT=0.054 CHECKS=3587 NODES=9	UNSAT TT=0.056 CHECKS=3587 NODES=9	UNSAT TT=0.729	UNSAT TT=0.763	UNSAT TT=0.048	UNSAT TT=0.018	UNSAT TT=0.004 CHECKS=3594 NODES=3	UNSAT TT=0.006 CHECKS=3594 NODES=3
coloring/ queens-5-5-4-ext.xml	UNSAT TT=0.006	UNSAT TT=0.711 CHECKS=4091 NODES=32	UNSAT TT=0.745 CHECKS=2279 NODES=38	UNSAT TT=0.025	UNSAT TT=0.088	UNSAT TT=0.09	UNSAT TT=0.408 NODES=29	UNSAT TT=0.399 NODES=33	UNSAT TT=0.442 CHECKS=3845 NODES=32	UNSAT TT=0.019	UNSAT TT=0.328 CHECKS=91026 NODES=455	UNSAT TT=0.24 CHECKS=60717 NODES=306	UNSAT TT=0.115 CHECKS=13176 CHECKS=26352 NODES=40 NODES=92	UNSAT TT=0.678	UNSAT TT=0.591	UNSAT TT=0.02	UNSAT TT=0.08 CHECKS=13176 NODES=40	UNSAT TT=0.078 CHECKS=13176 NODES=40	UNSAT TT=0.747	UNSAT TT=0.764	UNSAT TT=0.79	UNSAT TT=0.021	UNSAT TT=0.006 CHECKS=14164 NODES=16	UNSAT TT=0.005 CHECKS=14164 NODES=16
coloring/ queens-5-5-5-ext.xml	SAT TT=0.004	SAT TT=0.701 CHECKS=814 NODES=0	SAT TT=0.666 CHECKS=665 NODES=25	SAT TT=0.022	SAT TT=0.081	SAT TT=0.073	SAT TT=0.403 NODES=29	SAT TT=0.437 NODES=25	SAT TT=0.433 CHECKS=6400 NODES=25	SAT TT=0.02	SAT TT=0.124 CHECKS=31531 NODES=189	SAT TT=0.124 CHECKS=25279 NODES=151	SAT TT=0.054 CHECKS=5108 NODES=25	SAT TT=1.078	SAT TT=1.102	SAT TT=0.019	SAT TT=0.055 CHECKS=5108 NODES=25	SAT TT=0.057 CHECKS=5108 NODES=25	SAT TT=0.784	SAT TT=0.743	SAT TT=0.174	SAT TT=0.017	SAT TT=0.004 CHECKS=5137 NODES=25	SAT TT=0.005 CHECKS=5137 NODES=25
qcp-qwh/QCP-10/ qcp-10-67-0_ext.xml	SAT TT=0.023	SAT TT=0.862 CHECKS=13308 NODES=100	SAT TT=0.819 CHECKS=5414 NODES=100	SAT TT=0.378	SAT TT=0.169	SAT TT=0.172	SAT TT=0.639 NODES=110	SAT TT=0.641 NODES=150	SAT TT=0.7 CHECKS=17838 NODES=150	SAT TT=0.059	SAT TT=0.515 CHECKS=20901 NODES=101	SAT TT=2.174 CHECKS=185939 NODES=771	SAT TT=0.543 CHECKS=20691 NODES=100	SAT TT=1.705	SAT TT=1.561	SAT TT=0.06	SAT TT=0.53 CHECKS=20691 NODES=100	SAT TT=0.549 CHECKS=20691 NODES=100	SAT TT=1.563	SAT TT=1.635	SAT TT=1.42	SAT TT=0.054	SAT TT=0.023 CHECKS=23951 NODES=100	SAT TT=0.027 CHECKS=23951 NODES=100
Bench name	Best results on this instance	Abscon 109 ESAC	Abscon 109 AC	BPrologCSPSolver70a 2006-12-13	buggy_2_5 2007-01-08	buggy_2_5_s 2007-01-08	CSP4J - Combo 2006-12-19	CSP4J - MAC 2006-12-19	CSP4J - MAC 2007-01-16	CSPtoSAT+minisat 0.3	Diarmuid-rndi 2006-12-21	Diarmuid-rndi 2007-01-22	Diarmuid-wtdi 2006-12-21	galac 1	galacJ beta 1	Mistral 2006-12-04	rjw-solver 2006-12-09	rjw-solver 2007-01-21	sat4jCSP 1.7 RC BF3	SAT4JCSP-CACHED 1.7 RC BF3	sugar 0.40	Tramontane 2006-12-04	VALCSP 3.0	VALCSP 3.1
qcp-qwh/QCP-10/ qcp-10-67-1_ext.xml	SAT TT=0.023	SAT TT=0.789 CHECKS=7863 NODES=0	SAT TT=0.887 CHECKS=5719 NODES=102	SAT TT=0.041	SAT TT=0.173	SAT TT=0.183	SAT TT=0.686 NODES=110	SAT TT=0.654 NODES=102	SAT TT=0.707 CHECKS=18684 NODES=102	SAT TT=0.059	SAT TT=1.041 CHECKS=73257 NODES=306	SAT TT=1.07 CHECKS=77915 NODES=350	SAT TT=0.541 CHECKS=21809 NODES=102	SAT TT=1.725	SAT TT=1.653	SAT TT=0.059	SAT TT=0.554 CHECKS=21809 NODES=102	SAT TT=0.535 CHECKS=21809 NODES=102	SAT TT=1.582	SAT TT=1.713	SAT TT=1.45	SAT TT=0.058	SAT TT=0.023 CHECKS=24271 NODES=102	SAT TT=0.027 CHECKS=24271 NODES=102
qcp-qwh/QCP-10/ qcp-10-67-2_ext.xml	SAT TT=0.023	SAT TT=0.81 CHECKS=7712 NODES=0	SAT TT=0.818 CHECKS=5356 NODES=100	SAT TT=0.038	SAT TT=0.17	SAT TT=0.174	SAT TT=0.65 NODES=114	SAT TT=0.65 NODES=109	SAT TT=0.672 CHECKS=17118 NODES=109	SAT TT=0.062	SAT TT=1.269 CHECKS=110362 NODES=469	SAT TT=0.627 CHECKS=42353 NODES=162	SAT TT=0.503 CHECKS=20625 NODES=100	SAT TT=1.773	SAT TT=1.65	SAT TT=0.057	SAT TT=0.519 CHECKS=20625 NODES=100	SAT TT=0.524 CHECKS=20625 NODES=100	SAT TT=1.709	SAT TT=1.642	SAT TT=1.58	SAT TT=0.053	SAT TT=0.023 CHECKS=24120 NODES=100	SAT TT=0.026 CHECKS=24120 NODES=100
qcp-qwh/QCP-10/ qcp-10-67-3_ext.xml	SAT TT=0.023	SAT TT=0.881 CHECKS=13796 NODES=174	SAT TT=0.835 CHECKS=8343 NODES=170	SAT TT=0.04	SAT TT=0.171	SAT TT=0.18	SAT TT=0.639 NODES=105	SAT TT=0.636 NODES=110	SAT TT=0.669 CHECKS=17378 NODES=110	SAT TT=0.062	SAT TT=9.187 CHECKS=911437 NODES=3406	SAT TT=2.278 CHECKS=206653 NODES=818	SAT TT=0.598 CHECKS=31559 NODES=164	SAT TT=1.692	SAT TT=1.575	SAT TT=0.059	SAT TT=0.534 CHECKS=31559 NODES=164	SAT TT=0.567 CHECKS=31559 NODES=164	SAT TT=1.735	SAT TT=1.718	SAT TT=1.43	SAT TT=0.058	SAT TT=0.023 CHECKS=23288 NODES=100	SAT TT=0.025 CHECKS=23288 NODES=100
qcp-qwh/QCP-10/ qcp-10-67-4_ext.xml	SAT TT=0.027	SAT TT=0.878 CHECKS=9519 NODES=0	SAT TT=0.897 CHECKS=8823 NODES=241	SAT TT=0.532	SAT TT=0.183	SAT TT=0.183	SAT TT=0.657 NODES=131	SAT TT=0.633 NODES=135	SAT TT=0.707 CHECKS=18332 NODES=135	SAT TT=0.057	SAT TT=0.515 CHECKS=21228 NODES=100	SAT TT=0.542 CHECKS=22799 NODES=109	SAT TT=0.726 CHECKS=52237 NODES=325	SAT TT=1.835	SAT TT=1.621	SAT TT=0.059	SAT TT=0.732 CHECKS=52237 NODES=325	SAT TT=0.729 CHECKS=52237 NODES=325	SAT TT=1.699	SAT TT=1.685	SAT TT=1.454	SAT TT=0.056	SAT TT=0.027 CHECKS=81028 NODES=262	SAT TT=0.029 CHECKS=81028 NODES=262
qcp-qwh/QCP-10/ qcp-10-67-5_ext.xml	SAT TT=0.024	SAT TT=0.831 CHECKS=9202 NODES=0	SAT TT=0.827 CHECKS=5908 NODES=109	SAT TT=0.039	SAT TT=0.183	SAT TT=0.196	SAT TT=0.691 NODES=119	SAT TT=0.681 NODES=129	SAT TT=0.726 CHECKS=17224 NODES=129	SAT TT=0.061	SAT TT=0.506 CHECKS=20539 NODES=100	SAT TT=1.7 CHECKS=157501 NODES=544	SAT TT=0.509 CHECKS=21367 NODES=111	SAT TT=1.824	SAT TT=1.554	SAT TT=0.056	SAT TT=0.546 CHECKS=21367 NODES=111	SAT TT=0.562 CHECKS=21367 NODES=111	SAT TT=1.554	SAT TT=1.616	SAT TT=1.665	SAT TT=0.058	SAT TT=0.024 CHECKS=23942 NODES=115	SAT TT=0.026 CHECKS=23942 NODES=115
qcp-qwh/QCP-10/ qcp-10-67-6_ext.xml	SAT TT=0.023	SAT TT=0.847 CHECKS=13041 NODES=100	SAT TT=0.865 CHECKS=5531 NODES=100	SAT TT=0.039	SAT TT=0.178	SAT TT=0.174	SAT TT=0.672 NODES=104	SAT TT=0.635 NODES=101	SAT TT=0.719 CHECKS=19724 NODES=101	SAT TT=0.067	SAT TT=1.536 CHECKS=135333 NODES=544	SAT TT=0.444 CHECKS=22162 NODES=103	SAT TT=0.515 CHECKS=21955 NODES=100	SAT TT=1.727	SAT TT=1.556	SAT TT=0.057	SAT TT=0.493 CHECKS=21955 NODES=100	SAT TT=0.51 CHECKS=21955 NODES=100	SAT TT=1.63	SAT TT=1.565	SAT TT=1.48	SAT TT=0.056	SAT TT=0.023 CHECKS=32584 NODES=132	SAT TT=0.026 CHECKS=32584 NODES=132
qcp-qwh/QCP-10/ qcp-10-67-7_ext.xml	SAT TT=0.027	SAT TT=0.828 CHECKS=8916 NODES=0	SAT TT=0.89 CHECKS=7327 NODES=157	SAT TT=0.036	SAT TT=0.171	SAT TT=0.174	SAT TT=0.916 NODES=518	SAT TT=0.687 NODES=223	SAT TT=0.78 CHECKS=18496 NODES=223	SAT TT=0.061	SAT TT=0.465 CHECKS=22441 NODES=107	SAT TT=0.586 CHECKS=43430 NODES=258	SAT TT=0.596 CHECKS=35652 NODES=161	SAT TT=1.712	SAT TT=1.632	SAT TT=0.062	SAT TT=0.595 CHECKS=35652 NODES=161	SAT TT=0.601 CHECKS=35652 NODES=161	SAT TT=1.582	SAT TT=1.561	SAT TT=1.43	SAT TT=0.061	SAT TT=0.027 CHECKS=93558 NODES=241	SAT TT=0.03 CHECKS=93558 NODES=241
qcp-qwh/QCP-10/ qcp-10-67-8_ext.xml	SAT TT=0.024	SAT TT=0.82 CHECKS=9948 NODES=0	SAT TT=0.874 CHECKS=5730 NODES=109	SAT TT=0.037	SAT TT=0.198	SAT TT=0.188	SAT TT=0.654 NODES=118	SAT TT=0.634 NODES=100	SAT TT=0.672 CHECKS=18946 NODES=100	SAT TT=0.063	SAT TT=1.169 CHECKS=95648 NODES=400	SAT TT=1.1 CHECKS=81170 NODES=318	SAT TT=0.5 CHECKS=22920 NODES=110	SAT TT=1.712	SAT TT=1.542	SAT TT=0.057	SAT TT=0.543 CHECKS=22920 NODES=110	SAT TT=0.51 CHECKS=22920 NODES=110	SAT TT=1.626	SAT TT=1.598	SAT TT=1.483	SAT TT=0.055	SAT TT=0.024 CHECKS=43473 NODES=158	SAT TT=0.026 CHECKS=43473 NODES=158
qcp-qwh/QCP-10/ qcp-10-67-9_ext.xml	SAT TT=0.021	SAT TT=0.868 CHECKS=14202 NODES=100	SAT TT=0.835 CHECKS=7208 NODES=174	SAT TT=0.046	SAT TT=0.181	SAT TT=0.169	SAT TT=0.728 NODES=170	SAT TT=0.63 NODES=102	SAT TT=0.713 CHECKS=19174 NODES=102	SAT TT=0.061	SAT TT=0.623 CHECKS=54305 NODES=236	SAT TT=0.511 CHECKS=22058 NODES=100	SAT TT=0.694 CHECKS=52805 NODES=263	SAT TT=1.722	SAT TT=1.654	SAT TT=0.056	SAT TT=0.692 CHECKS=52805 NODES=263	SAT TT=0.642 CHECKS=52805 NODES=263	SAT TT=1.662	SAT TT=1.723	SAT TT=1.42	SAT TT=0.054	SAT TT=0.021 CHECKS=25800 NODES=118	SAT TT=0.027 CHECKS=25800 NODES=118
qcp-qwh/QCP-15/ qcp-15-120-0_ext.xml	SAT TT=0.178	SAT TT=1.352 CHECKS=145020 NODES=2190	SAT TT=1.344 CHECKS=194230 NODES=3307	SAT TT=1358.99	SAT TT=1.436	SAT TT=1.436	SAT TT=2.874 NODES=1173	SAT TT=2.598 NODES=968	SAT TT=2.852 CHECKS=43672 NODES=968	SAT TT=0.178	SAT TT=580.9 CHECKS=10839789 NODES=23945	SAT TT=361.524 CHECKS=7047934 NODES=16168	SAT TT=63.145 CHECKS=1991314 NODES=6523	SAT TT=3.013	SAT TT=2.476	SAT TT=12.019	SAT TT=592.957 CHECKS=36854914 NODES=105514	SAT TT=567.055 CHECKS=36854914 NODES=105514	SAT TT=3.057	SAT TT=3.296	SAT TT=3.015	SAT TT=0.295	SAT TT=1.413 CHECKS=20695300 NODES=71259	SAT TT=1.319 CHECKS=20695300 NODES=71259
Bench name	Best results on this instance	Abscon 109 ESAC	Abscon 109 AC	BPrologCSPSolver70a 2006-12-13	buggy_2_5 2007-01-08	buggy_2_5_s 2007-01-08	CSP4J - Combo 2006-12-19	CSP4J - MAC 2006-12-19	CSP4J - MAC 2007-01-16	CSPtoSAT+minisat 0.3	Diarmuid-rndi 2006-12-21	Diarmuid-rndi 2007-01-22	Diarmuid-wtdi 2006-12-21	galac 1	galacJ beta 1	Mistral 2006-12-04	rjw-solver 2006-12-09	rjw-solver 2007-01-21	sat4jCSP 1.7 RC BF3	SAT4JCSP-CACHED 1.7 RC BF3	sugar 0.40	Tramontane 2006-12-04	VALCSP 3.0	VALCSP 3.1
qcp-qwh/QCP-15/ qcp-15-120-1_ext.xml	SAT TT=0.233	SAT TT=1.692 CHECKS=486340 NODES=5674	SAT TT=1.298 CHECKS=113261 NODES=2064	SAT TT=0.932	SAT TT=2.192	SAT TT=2.132	SAT TT=1.771 NODES=465	SAT TT=1.783 NODES=403	SAT TT=1.923 CHECKS=40342 NODES=403	SAT TT=0.356	SAT TT=524.791 CHECKS=11095922 NODES=21545	SAT TT=464.392 CHECKS=10332151 NODES=20324	SAT TT=59.487 CHECKS=1697401 NODES=5337	SAT TT=3.015	SAT TT=2.493	SAT TT=0.815	SAT TT=12.236 CHECKS=455649 NODES=1453	SAT TT=11.792 CHECKS=455649 NODES=1453	SAT TT=2.993	SAT TT=3.226	SAT TT=2.93	SAT TT=0.434	SAT TT=0.233 CHECKS=2271750 NODES=7252	SAT TT=0.25 CHECKS=2271750 NODES=7252
qcp-qwh/QCP-15/ qcp-15-120-2_ext.xml	SAT TT=0.17	SAT TT=2.791 CHECKS=1566591 NODES=12976	SAT TT=1.275 CHECKS=89738 NODES=1975	SAT TT=901.078	SAT TT=4.486	SAT TT=4.679	SAT TT=4.322 NODES=2058	SAT TT=40.192 NODES=28977	SAT TT=47.324 CHECKS=42771 NODES=28977	SAT TT=0.17	SAT TT=725.985 CHECKS=16420873 NODES=34583	? (TO) TT=1800.09	SAT TT=124.494 CHECKS=5231162 NODES=14029	SAT TT=2.894	SAT TT=2.498	SAT TT=15.304	? (TO) TT=1800.08	? (TO) TT=1800.08	SAT TT=3.169	SAT TT=3.077	SAT TT=3.007	SAT TT=2.311	SAT TT=5.284 CHECKS=79716200 NODES=271201	SAT TT=4.889 CHECKS=79716200 NODES=271201
qcp-qwh/QCP-15/ qcp-15-120-3_ext.xml	SAT TT=0.092	SAT TT=1.346 CHECKS=207713 NODES=3127	SAT TT=4.074 CHECKS=3403504 NODES=22158	SAT TT=0.85	SAT TT=2.478	SAT TT=2.483	SAT TT=1.81 NODES=351	SAT TT=165.998 NODES=130007	SAT TT=211.557 CHECKS=40454 NODES=130007	SAT TT=0.203	? (TO) TT=1800.04	SAT TT=1723.61 CHECKS=93826901 NODES=195935	SAT TT=30.423 CHECKS=620822 NODES=2156	SAT TT=3.039	SAT TT=2.407	SAT TT=0.245	SAT TT=11.372 CHECKS=288209 NODES=1315	SAT TT=10.373 CHECKS=288209 NODES=1315	SAT TT=3.322	SAT TT=3.366	SAT TT=2.96	SAT TT=1.375	SAT TT=0.092 CHECKS=96621 NODES=365	SAT TT=0.089 CHECKS=96621 NODES=365
qcp-qwh/QCP-15/ qcp-15-120-4_ext.xml	SAT TT=0.181	SAT TT=1.431 CHECKS=193904 NODES=2833	SAT TT=1.363 CHECKS=160722 NODES=2796	SAT TT=15.551	SAT TT=1.988	SAT TT=2.029	SAT TT=18.849 NODES=15843	SAT TT=3.386 NODES=1579	SAT TT=3.931 CHECKS=41808 NODES=1579	SAT TT=0.181	SAT TT=582.602 CHECKS=14333771 NODES=27905	SAT TT=394.638 CHECKS=10627812 NODES=21454	SAT TT=55.156 CHECKS=1302783 NODES=4036	SAT TT=3.011	SAT TT=2.504	SAT TT=0.931	SAT TT=142.366 CHECKS=8271648 NODES=25376	SAT TT=139.092 CHECKS=8271648 NODES=25376	SAT TT=3.331	SAT TT=3.244	SAT TT=2.903	SAT TT=0.299	SAT TT=1.356 CHECKS=21518500 NODES=65925	SAT TT=1.483 CHECKS=21518500 NODES=65925
qcp-qwh/QCP-15/ qcp-15-120-5_ext.xml	SAT TT=0.289	SAT TT=17.971 CHECKS=23189352 NODES=106713	SAT TT=5.598 CHECKS=5506471 NODES=29439	SAT TT=503.833	SAT TT=5.248	SAT TT=5.372	SAT TT=27.015 NODES=22075	SAT TT=101.284 NODES=76165	SAT TT=137.007 CHECKS=37604 NODES=76165	SAT TT=0.289	SAT TT=1657.44 CHECKS=81468895 NODES=146991	SAT TT=510.556 CHECKS=11255774 NODES=22266	? (TO) TT=1800.06	SAT TT=3.21	SAT TT=2.521	SAT TT=39.179	? (TO) TT=1800.1	? (TO) TT=1800.07	SAT TT=3.772	SAT TT=3.735	SAT TT=3.06	SAT TT=2.561	SAT TT=13.275 CHECKS=208496000 NODES=549303	SAT TT=13.343 CHECKS=208496000 NODES=549303
qcp-qwh/QCP-15/ qcp-15-120-6_ext.xml	SAT TT=0.105	SAT TT=1.915 CHECKS=666524 NODES=7063	SAT TT=1.513 CHECKS=355735 NODES=4701	SAT TT=913.008	SAT TT=3.5	SAT TT=3.377	SAT TT=12.5 NODES=9780	SAT TT=6.388 NODES=4031	SAT TT=8.241 CHECKS=39968 NODES=4031	SAT TT=0.246	SAT TT=689.348 CHECKS=14181272 NODES=26469	SAT TT=727.283 CHECKS=14334319 NODES=27343	SAT TT=77.38 CHECKS=2425087 NODES=7246	SAT TT=2.83	SAT TT=2.411	SAT TT=5.361	SAT TT=477.421 CHECKS=29936224 NODES=81248	SAT TT=494.662 CHECKS=29936224 NODES=81248	SAT TT=3.209	SAT TT=3.018	SAT TT=3.067	SAT TT=0.889	SAT TT=0.105 CHECKS=359275 NODES=1132	SAT TT=0.109 CHECKS=359275 NODES=1132
qcp-qwh/QCP-15/ qcp-15-120-7_ext.xml	SAT TT=0.363	SAT TT=13.542 CHECKS=15210328 NODES=79939	SAT TT=1.709 CHECKS=420513 NODES=5210	SAT TT=6.848	SAT TT=27.944	SAT TT=28.116	SAT TT=6.598 NODES=3961	SAT TT=15.333 NODES=10456	SAT TT=18.265 CHECKS=40108 NODES=10456	SAT TT=0.363	SAT TT=674.83 CHECKS=13897156 NODES=26786	SAT TT=808.289 CHECKS=26855975 NODES=57609	SAT TT=194.792 CHECKS=9243077 NODES=22360	SAT TT=3.104	SAT TT=2.334	SAT TT=0.545	SAT TT=55.898 CHECKS=3208517 NODES=9193	SAT TT=53.358 CHECKS=3208517 NODES=9193	SAT TT=3.257	SAT TT=3.445	SAT TT=2.75	SAT TT=0.786	SAT TT=0.547 CHECKS=7112660 NODES=21008	SAT TT=0.55 CHECKS=7112660 NODES=21008
qcp-qwh/QCP-15/ qcp-15-120-8_ext.xml	SAT TT=0.233	SAT TT=3.11 CHECKS=2194206 NODES=15921	SAT TT=2.418 CHECKS=1474864 NODES=10775	SAT TT=127.351	SAT TT=3.972	SAT TT=3.978	SAT TT=4.317 NODES=2328	SAT TT=5.385 NODES=3122	SAT TT=6.652 CHECKS=41589 NODES=3122	SAT TT=0.289	SAT TT=892.759 CHECKS=27195787 NODES=53688	SAT TT=426.239 CHECKS=11308841 NODES=23535	SAT TT=57.401 CHECKS=1531436 NODES=4548	SAT TT=3.026	SAT TT=2.437	SAT TT=3.141	SAT TT=52.258 CHECKS=3767049 NODES=8947	SAT TT=51.057 CHECKS=3767049 NODES=8947	SAT TT=3.69	SAT TT=3.074	SAT TT=3.032	SAT TT=0.836	SAT TT=0.233 CHECKS=2434360 NODES=7899	SAT TT=0.219 CHECKS=2434360 NODES=7899
qcp-qwh/QCP-15/ qcp-15-120-9_ext.xml	SAT TT=0.184	SAT TT=40.041 CHECKS=48081753 NODES=242988	SAT TT=6.576 CHECKS=6742882 NODES=37995	? (TO) TT=1800.03	SAT TT=40.826	SAT TT=42.761	SAT TT=80.942 NODES=68654	SAT TT=76.452 NODES=54740	SAT TT=17.965 CHECKS=40136 NODES=9240	SAT TT=0.184	SAT TT=853.639 CHECKS=19451847 NODES=37982	SAT TT=1437.45 CHECKS=70103450 NODES=142858	SAT TT=384.689 CHECKS=19514541 NODES=43311	SAT TT=3.138	SAT TT=2.502	SAT TT=55.895	? (TO) TT=1800.11	? (TO) TT=1800.04	SAT TT=3.42	SAT TT=3.589	SAT TT=2.94	SAT TT=3.689	SAT TT=63.5 CHECKS=997271000 NODES=2739050	SAT TT=65.098 CHECKS=997271000 NODES=2739050
qcp-qwh/QCP-20/ qcp-20-187-0_ext.xml	SAT TT=2.017	SAT TT=83.917 CHECKS=91751651 NODES=341555	SAT TT=301.792 CHECKS=322101997 NODES=1159204	? (TO) TT=1800.09	SAT TT=64.341	SAT TT=64.682	SAT TT=511.659 NODES=185476	? (TO) TT=1800.02	? (TO) TT=1800.07	SAT TT=2.017	? (conv) TT=0	? (conv) TT=0	? (conv) TT=0	SAT TT=7.438	SAT TT=5.918	SAT TT=47.884	? (conv) TT=0	? (conv) TT=0	SAT TT=4.927	SAT TT=4.61	SAT TT=8.82	SAT TT=982.154	SAT TT=37.183 CHECKS=545755000 NODES=1278880	SAT TT=33.972 CHECKS=545755000 NODES=1278880
Bench name	Best results on this instance	Abscon 109 ESAC	Abscon 109 AC	BPrologCSPSolver70a 2006-12-13	buggy_2_5 2007-01-08	buggy_2_5_s 2007-01-08	CSP4J - Combo 2006-12-19	CSP4J - MAC 2006-12-19	CSP4J - MAC 2007-01-16	CSPtoSAT+minisat 0.3	Diarmuid-rndi 2006-12-21	Diarmuid-rndi 2007-01-22	Diarmuid-wtdi 2006-12-21	galac 1	galacJ beta 1	Mistral 2006-12-04	rjw-solver 2006-12-09	rjw-solver 2007-01-21	sat4jCSP 1.7 RC BF3	SAT4JCSP-CACHED 1.7 RC BF3	sugar 0.40	Tramontane 2006-12-04	VALCSP 3.0	VALCSP 3.1
qcp-qwh/QCP-20/ qcp-20-187-1_ext.xml	SAT TT=0.66	SAT TT=10.347 CHECKS=7426699 NODES=45438	SAT TT=101.366 CHECKS=99871056 NODES=387617	? (TO) TT=1800.03	? (TO) TT=1800.1	? (TO) TT=1800.12	? (TO) TT=1800.01	SAT TT=474.814 NODES=157022	SAT TT=727.503 CHECKS=94766 NODES=146014	SAT TT=0.66	? (TO) TT=1800.05	? (TO) TT=1800.11	? (TO) TT=1800	SAT TT=5.308	SAT TT=4.041	SAT TT=24.772	? (TO) TT=1800.04	? (TO) TT=1800.02	SAT TT=5.021	SAT TT=4.87	SAT TT=5.87	SAT TT=13.35	SAT TT=13.09 CHECKS=190757000 NODES=430378	SAT TT=12.292 CHECKS=190757000 NODES=430378
qcp-qwh/QCP-20/ qcp-20-187-2_ext.xml	SAT TT=2.012	? (TO) TT=1800.12	? (TO) TT=1800.1	? (TO) TT=1800.05	? (TO) TT=1800.05	? (TO) TT=1800.08	? (TO) TT=1800.09	? (TO) TT=1800.06	? (TO) TT=1800.07	SAT TT=2.012	? (TO) TT=1800.11	? (TO) TT=0	? (TO) TT=1800.04	SAT TT=6.099	SAT TT=8.65	? (TO) TT=1800.1	? (TO) TT=1800.08	? (TO) TT=1800.09	SAT TT=38.073	SAT TT=37.736	SAT TT=9.93	? (TO) TT=1800.04	? (TO) TT=1800.03	? (TO) TT=1800.04
qcp-qwh/QCP-20/ qcp-20-187-3_ext.xml	SAT TT=2.987	SAT TT=149.661 CHECKS=157535116 NODES=532279	? (TO) TT=1800.05	? (TO) TT=1800.03	? (TO) TT=1800.1	? (TO) TT=1800.07	? (TO) TT=1800.04	? (TO) TT=1800.05	? (TO) TT=1800.01	SAT TT=2.987	? (conv) TT=0	? (conv) TT=0	? (conv) TT=0	SAT TT=7.022	SAT TT=5.929	? (TO) TT=1800.1	? (conv) TT=0	? (conv) TT=0	SAT TT=7.449	SAT TT=7.434	SAT TT=6.3	? (TO) TT=1800.1	? (TO) TT=1800.08	? (TO) TT=1800.08
qcp-qwh/QCP-20/ qcp-20-187-4_ext.xml	SAT TT=3.732	? (TO) TT=1800.1	? (TO) TT=1800.12	? (TO) TT=1800.08	SAT TT=610.184	SAT TT=580.854	? (TO) TT=1800.06	? (TO) TT=1800.03	? (TO) TT=1800.11	SAT TT=3.732	? (TO) TT=1800.08	? (TO) TT=1800.1	? (TO) TT=1800.11	SAT TT=5.491	SAT TT=6.569	? (TO) TT=1800.04	? (TO) TT=1800.1	? (TO) TT=1800.05	SAT TT=13.361	SAT TT=14.113	SAT TT=19.14	? (TO) TT=1800.02	? (TO) TT=1800.03	? (TO) TT=1800.04
qcp-qwh/QCP-20/ qcp-20-187-5_ext.xml	SAT TT=1.563	SAT TT=256.167 CHECKS=264769940 NODES=982190	SAT TT=52.387 CHECKS=49899060 NODES=199840	? (TO) TT=1800.08	? (TO) TT=1800.02	? (TO) TT=1800.08	? (TO) TT=1800.05	? (TO) TT=1800.13	? (TO) TT=1800.02	SAT TT=1.563	? (conv) TT=0	? (conv) TT=0	? (conv) TT=0	SAT TT=5.465	SAT TT=3.943	? (TO) TT=1800.06	? (conv) TT=0	? (conv) TT=0	SAT TT=5.328	SAT TT=5.499	SAT TT=6.654	SAT TT=193.235	? (TO) TT=1800.01	? (TO) TT=1800.08
qcp-qwh/QCP-20/ qcp-20-187-6_ext.xml	SAT TT=3.198	SAT TT=373.165 CHECKS=399373789 NODES=1449986	SAT TT=1648.05 CHECKS=1761168110 NODES=6145327	? (TO) TT=1800.06	SAT TT=55.362	SAT TT=55.705	SAT TT=357.394 NODES=132753	? (TO) TT=1800.07	? (TO) TT=1800	SAT TT=3.198	? (conv) TT=0	? (conv) TT=0	? (conv) TT=0	SAT TT=5.335	SAT TT=5.76	SAT TT=141.615	? (conv) TT=0	? (conv) TT=0	SAT TT=7.318	SAT TT=7.333	SAT TT=8.38	? (TO) TT=1800.11	SAT TT=13.649 CHECKS=196085000 NODES=450168	SAT TT=14.222 CHECKS=196085000 NODES=450168
qcp-qwh/QCP-20/ qcp-20-187-7_ext.xml	SAT TT=2.65	SAT TT=525.707 CHECKS=600815510 NODES=2094988	? (TO) TT=1800.11	? (TO) TT=1800.04	? (TO) TT=1800.02	? (TO) TT=1800.04	SAT TT=968.826 NODES=340818	? (TO) TT=1800.02	? (TO) TT=1800.07	SAT TT=2.65	? (conv) TT=0	? (conv) TT=0	? (conv) TT=0	SAT TT=6.853	SAT TT=5.711	SAT TT=15.493	? (conv) TT=0	? (conv) TT=0	SAT TT=8.915	SAT TT=9.759	SAT TT=8.95	? (TO) TT=1800.08	SAT TT=437.787 CHECKS=6145960000 NODES=16136100	SAT TT=418.304 CHECKS=6145960000 NODES=16136100
qcp-qwh/QCP-20/ qcp-20-187-8_ext.xml	SAT TT=0.801	SAT TT=1043.02 CHECKS=1109807816 NODES=3851765	SAT TT=90.451 CHECKS=94747905 NODES=352002	? (TO) TT=1800.02	SAT TT=90.951	SAT TT=89.533	? (TO) TT=1800.1	? (TO) TT=1800.1	SAT TT=350.555 CHECKS=92975 NODES=64683	SAT TT=0.801	? (conv) TT=0	? (conv) TT=0	? (conv) TT=0	SAT TT=5.477	SAT TT=4.411	SAT TT=111.164	? (conv) TT=0	? (conv) TT=0	SAT TT=7.17	SAT TT=7.928	SAT TT=6.77	? (TO) TT=1800.02	SAT TT=326.123 CHECKS=4851530000 NODES=10567400	SAT TT=301.796 CHECKS=4851530000 NODES=10567400
qcp-qwh/QCP-20/ qcp-20-187-9_ext.xml	SAT TT=1.083	SAT TT=71.516 CHECKS=69574155 NODES=269432	SAT TT=43.848 CHECKS=41505980 NODES=160808	? (TO) TT=1800.09	SAT TT=34.023	SAT TT=33.529	SAT TT=493.429 NODES=174095	SAT TT=674.172 NODES=216258	SAT TT=1159.64 CHECKS=87992 NODES=216258	SAT TT=1.083	? (TO) TT=1800.01	? (TO) TT=1800.05	SAT TT=634.097 CHECKS=6365267 NODES=14387	SAT TT=6.338	SAT TT=5.767	SAT TT=1391.79	? (TO) TT=1800.09	? (TO) TT=1800.03	SAT TT=4.83	SAT TT=4.524	SAT TT=7.086	SAT TT=35.205	SAT TT=978.873 CHECKS=15037400000 NODES=35866500	SAT TT=977.781 CHECKS=15037400000 NODES=35866500
qcp-qwh/QCP-25/ qcp-25-264-0_ext.xml	SAT TT=26.469	? (TO) TT=1800.16	? (TO) TT=1800.08	? (TO) TT=1800.1	? (TO) TT=1800.12	? (TO) TT=1800.04	? (TO) TT=1800.01	? (TO) TT=1800.02	? (TO) TT=1800.07	SAT TT=42.878	? (TO) TT=1800.06	? (TO) TT=1800.02	? (problem) TT=1007.29	SAT TT=26.469	SAT TT=137.114	? (TO) TT=1800.04	? (TO) TT=1800.05	? (TO) TT=1800.03	SAT TT=189.408	SAT TT=200.453	SAT TT=152.748	? (TO) TT=1800.07	? (TO) TT=1800.08	? (TO) TT=1800.03
Bench name	Best results on this instance	Abscon 109 ESAC	Abscon 109 AC	BPrologCSPSolver70a 2006-12-13	buggy_2_5 2007-01-08	buggy_2_5_s 2007-01-08	CSP4J - Combo 2006-12-19	CSP4J - MAC 2006-12-19	CSP4J - MAC 2007-01-16	CSPtoSAT+minisat 0.3	Diarmuid-rndi 2006-12-21	Diarmuid-rndi 2007-01-22	Diarmuid-wtdi 2006-12-21	galac 1	galacJ beta 1	Mistral 2006-12-04	rjw-solver 2006-12-09	rjw-solver 2007-01-21	sat4jCSP 1.7 RC BF3	SAT4JCSP-CACHED 1.7 RC BF3	sugar 0.40	Tramontane 2006-12-04	VALCSP 3.0	VALCSP 3.1
qcp-qwh/QCP-25/ qcp-25-264-1_ext.xml	SAT TT=88.765	? (TO) TT=1800.05	? (TO) TT=1800.11	? (TO) TT=1800.06	? (TO) TT=1800.08	? (TO) TT=1800.01	? (TO) TT=1800.01	? (TO) TT=1800.04	? (TO) TT=1800.08	SAT TT=709.018	? (TO) TT=1800.02	? (TO) TT=1800.08	? (problem) TT=701.555	SAT TT=241.591	SAT TT=88.765	? (TO) TT=1800.03	? (TO) TT=1800.08	? (TO) TT=1800.07	SAT TT=277.729	SAT TT=279.56	SAT TT=885.741	? (TO) TT=1800.09	? (TO) TT=1800.03	? (TO) TT=1800.08
qcp-qwh/QCP-25/ qcp-25-264-2_ext.xml	SAT TT=10.808	? (TO) TT=1800.13	? (TO) TT=1800.14	? (TO) TT=1800.06	? (TO) TT=1800.05	? (TO) TT=1800.04	? (TO) TT=1800.09	? (TO) TT=1800.06	? (TO) TT=1800	SAT TT=16.585	? (TO) TT=1800.08	? (TO) TT=1800.02	? (TO) TT=1800.1	SAT TT=66.963	SAT TT=10.808	? (TO) TT=1800.07	? (TO) TT=1800.06	? (TO) TT=1800	SAT TT=12.582	SAT TT=12.396	SAT TT=40.72	? (TO) TT=1800.05	? (TO) TT=1800.04	? (TO) TT=1800.02
qcp-qwh/QCP-25/ qcp-25-264-3_ext.xml	SAT TT=27.139	? (TO) TT=1800.02	? (TO) TT=1800.11	? (TO) TT=1800.03	? (TO) TT=1800.09	? (TO) TT=1800.04	? (TO) TT=1800.04	? (TO) TT=1800.1	? (TO) TT=1800.1	SAT TT=280.816	? (TO) TT=1800	? (TO) TT=1800.08	? (TO) TT=1800.09	SAT TT=27.139	SAT TT=329.086	? (TO) TT=1800.08	? (TO) TT=1800.06	? (TO) TT=1800.07	? (TO) TT=1800.68	? (TO) TT=1800.13	SAT TT=189.787	? (TO) TT=1800.04	? (TO) TT=1800.07	? (TO) TT=1800.05
qcp-qwh/QCP-25/ qcp-25-264-4_ext.xml	SAT TT=14.245	? (TO) TT=1800.07	? (TO) TT=1800.08	? (TO) TT=1800.09	? (TO) TT=1800.06	? (TO) TT=1800.07	? (TO) TT=1800.03	? (TO) TT=1800.03	? (TO) TT=1800.07	SAT TT=470.645	? (TO) TT=1800.01	? (TO) TT=1800.08	? (TO) TT=1800.02	SAT TT=116.114	SAT TT=842.913	? (TO) TT=1800.06	? (TO) TT=1800.08	? (TO) TT=1800.08	SAT TT=349.697	SAT TT=330.738	SAT TT=14.245	? (TO) TT=1800.03	? (TO) TT=1800.1	? (TO) TT=1800.1
qcp-qwh/QCP-25/ qcp-25-264-5_ext.xml	SAT TT=105.163	? (TO) TT=1800.1	? (TO) TT=1800.09	? (TO) TT=1800.06	? (TO) TT=1800.03	? (TO) TT=1800.07	? (TO) TT=1800.05	? (TO) TT=1800.02	? (TO) TT=1800.04	SAT TT=166.166	? (TO) TT=1800.08	? (TO) TT=1800	? (TO) TT=1800.04	SAT TT=105.163	SAT TT=189.183	? (TO) TT=1800.06	? (TO) TT=1800.03	? (TO) TT=1800.09	SAT TT=1161.66	SAT TT=1175.01	SAT TT=295.363	? (TO) TT=1800.06	? (TO) TT=1800.11	? (TO) TT=1800.1
qcp-qwh/QCP-25/ qcp-25-264-6_ext.xml	SAT TT=86.142	? (TO) TT=1800.13	? (TO) TT=1800.06	? (TO) TT=1800.08	? (TO) TT=1800.04	? (TO) TT=1800.05	? (TO) TT=1800.05	? (TO) TT=1800.09	? (TO) TT=1800.02	SAT TT=240.364	? (TO) TT=1800.1	? (TO) TT=1800.03	? (TO) TT=1800.04	SAT TT=159.276	SAT TT=86.142	? (TO) TT=1800.08	? (TO) TT=1800.03	? (TO) TT=1800.08	SAT TT=1287.37	SAT TT=1239.91	SAT TT=98.584	? (TO) TT=1800.03	? (TO) TT=1800.1	? (TO) TT=1800.11
qcp-qwh/QCP-25/ qcp-25-264-7_ext.xml	SAT TT=7.317	? (TO) TT=1800.08	? (TO) TT=1800.13	? (TO) TT=1800.11	? (TO) TT=1800.08	? (TO) TT=1800.06	? (TO) TT=1800.07	? (TO) TT=1800.07	? (TO) TT=1800.01	SAT TT=7.317	? (TO) TT=1800.02	? (TO) TT=1800.08	? (problem) TT=1010.63	SAT TT=47.064	SAT TT=109.403	? (TO) TT=1800.11	? (TO) TT=1800.06	? (TO) TT=1800.07	SAT TT=251.94	SAT TT=233.32	SAT TT=128.534	? (TO) TT=1800.11	? (TO) TT=1800.05	? (TO) TT=1800.02
qcp-qwh/QCP-25/ qcp-25-264-8_ext.xml	SAT TT=29.634	? (TO) TT=1800.07	? (TO) TT=1800.11	? (TO) TT=1800.12	? (TO) TT=1800.05	? (TO) TT=1800.1	? (TO) TT=1800.1	? (TO) TT=1800.01	? (TO) TT=1800.05	SAT TT=29.634	? (TO) TT=1800.07	? (TO) TT=1800.07	? (TO) TT=1800.03	SAT TT=32.581	SAT TT=41.044	? (TO) TT=1800.05	? (TO) TT=1800.08	? (TO) TT=1800.07	SAT TT=210.879	SAT TT=209.216	SAT TT=78.285	? (TO) TT=1800.08	? (TO) TT=1800.08	? (TO) TT=1800.11
qcp-qwh/QCP-25/ qcp-25-264-9_ext.xml	SAT TT=33.837	? (TO) TT=1800.15	? (TO) TT=1800.09	? (TO) TT=1800.08	? (TO) TT=1800.05	? (TO) TT=1800.12	? (TO) TT=1800.02	? (TO) TT=1800.06	? (TO) TT=1800.05	SAT TT=33.837	? (TO) TT=1800.08	? (TO) TT=1800.02	? (TO) TT=1800.05	SAT TT=61.636	SAT TT=272.954	? (TO) TT=1800.04	? (TO) TT=1800.07	? (TO) TT=1800.07	SAT TT=373.408	SAT TT=359.921	SAT TT=33.848	? (TO) TT=1800.05	? (TO) TT=1800.11	? (TO) TT=1800.09
qcp-qwh/QWH-10/ qwh-10-57-0_ext.xml	SAT TT=0.019	SAT TT=0.895 CHECKS=19965 NODES=110	SAT TT=0.858 CHECKS=4817 NODES=101	SAT TT=0.038	SAT TT=0.17	SAT TT=0.156	SAT TT=0.619 NODES=117	SAT TT=0.654 NODES=113	SAT TT=0.682 CHECKS=7970 NODES=113	SAT TT=0.058	SAT TT=0.437 CHECKS=15194 NODES=105	SAT TT=0.454 CHECKS=19133 NODES=108	SAT TT=0.476 CHECKS=12509 NODES=101	SAT TT=1.645	SAT TT=1.511	SAT TT=0.056	SAT TT=0.494 CHECKS=12509 NODES=101	SAT TT=0.461 CHECKS=12509 NODES=101	SAT TT=1.553	SAT TT=1.666	SAT TT=1.3	SAT TT=0.054	SAT TT=0.019 CHECKS=14457 NODES=100	SAT TT=0.021 CHECKS=14457 NODES=100
Bench name	Best results on this instance	Abscon 109 ESAC	Abscon 109 AC	BPrologCSPSolver70a 2006-12-13	buggy_2_5 2007-01-08	buggy_2_5_s 2007-01-08	CSP4J - Combo 2006-12-19	CSP4J - MAC 2006-12-19	CSP4J - MAC 2007-01-16	CSPtoSAT+minisat 0.3	Diarmuid-rndi 2006-12-21	Diarmuid-rndi 2007-01-22	Diarmuid-wtdi 2006-12-21	galac 1	galacJ beta 1	Mistral 2006-12-04	rjw-solver 2006-12-09	rjw-solver 2007-01-21	sat4jCSP 1.7 RC BF3	SAT4JCSP-CACHED 1.7 RC BF3	sugar 0.40	Tramontane 2006-12-04	VALCSP 3.0	VALCSP 3.1
qcp-qwh/QWH-10/ qwh-10-57-1_ext.xml	SAT TT=0.021	SAT TT=0.812 CHECKS=14741 NODES=166	SAT TT=0.887 CHECKS=8671 NODES=271	SAT TT=0.042	SAT TT=0.172	SAT TT=0.174	SAT TT=0.682 NODES=128	SAT TT=0.6 NODES=142	SAT TT=0.679 CHECKS=8514 NODES=142	SAT TT=0.065	SAT TT=0.575 CHECKS=28973 NODES=164	SAT TT=0.484 CHECKS=13743 NODES=101	SAT TT=0.61 CHECKS=32390 NODES=255	SAT TT=1.693	SAT TT=1.553	SAT TT=0.057	SAT TT=0.571 CHECKS=32390 NODES=255	SAT TT=0.599 CHECKS=32390 NODES=255	SAT TT=1.554	SAT TT=1.549	SAT TT=1.29	SAT TT=0.058	SAT TT=0.021 CHECKS=33978 NODES=217	SAT TT=0.021 CHECKS=33978 NODES=217
qcp-qwh/QWH-10/ qwh-10-57-2_ext.xml	SAT TT=0.021	SAT TT=0.834 CHECKS=18256 NODES=242	SAT TT=0.867 CHECKS=4738 NODES=100	SAT TT=0.04	SAT TT=0.15	SAT TT=0.159	SAT TT=0.614 NODES=107	SAT TT=0.659 NODES=113	SAT TT=0.702 CHECKS=8420 NODES=113	SAT TT=0.058	SAT TT=0.484 CHECKS=13501 NODES=102	SAT TT=0.482 CHECKS=17732 NODES=131	SAT TT=0.515 CHECKS=12599 NODES=100	SAT TT=1.802	SAT TT=1.542	SAT TT=0.054	SAT TT=0.48 CHECKS=12599 NODES=100	SAT TT=0.449 CHECKS=12599 NODES=100	SAT TT=1.641	SAT TT=1.604	SAT TT=1.3	SAT TT=0.052	SAT TT=0.021 CHECKS=15158 NODES=100	SAT TT=0.02 CHECKS=15158 NODES=100
qcp-qwh/QWH-10/ qwh-10-57-3_ext.xml	SAT TT=0.021	SAT TT=0.897 CHECKS=17504 NODES=190	SAT TT=0.878 CHECKS=6282 NODES=163	SAT TT=0.042	SAT TT=0.175	SAT TT=0.164	SAT TT=0.676 NODES=131	SAT TT=0.622 NODES=135	SAT TT=0.702 CHECKS=8308 NODES=135	SAT TT=0.058	SAT TT=0.498 CHECKS=27212 NODES=158	SAT TT=0.628 CHECKS=44144 NODES=257	SAT TT=0.489 CHECKS=18714 NODES=136	SAT TT=1.668	SAT TT=1.535	SAT TT=0.055	SAT TT=0.508 CHECKS=18714 NODES=136	SAT TT=0.471 CHECKS=18714 NODES=136	SAT TT=1.722	SAT TT=1.566	SAT TT=1.31	SAT TT=0.053	SAT TT=0.021 CHECKS=29083 NODES=181	SAT TT=0.022 CHECKS=29083 NODES=181
qcp-qwh/QWH-10/ qwh-10-57-4_ext.xml	SAT TT=0.021	SAT TT=0.85 CHECKS=14641 NODES=106	SAT TT=0.877 CHECKS=7445 NODES=244	SAT TT=0.039	SAT TT=0.172	SAT TT=0.161	SAT TT=0.656 NODES=114	SAT TT=0.606 NODES=108	SAT TT=0.686 CHECKS=8994 NODES=108	SAT TT=0.057	SAT TT=0.522 CHECKS=31732 NODES=201	SAT TT=0.462 CHECKS=17591 NODES=119	SAT TT=0.559 CHECKS=24035 NODES=192	SAT TT=1.654	SAT TT=1.558	SAT TT=0.055	SAT TT=0.52 CHECKS=24035 NODES=192	SAT TT=0.537 CHECKS=24035 NODES=192	SAT TT=1.683	SAT TT=1.639	SAT TT=1.246	SAT TT=0.057	SAT TT=0.021 CHECKS=15874 NODES=100	SAT TT=0.022 CHECKS=15874 NODES=100
qcp-qwh/QWH-10/ qwh-10-57-5_ext.xml	SAT TT=0.021	SAT TT=0.842 CHECKS=19725 NODES=175	SAT TT=0.896 CHECKS=10688 NODES=312	SAT TT=0.058	SAT TT=0.158	SAT TT=0.158	SAT TT=0.615 NODES=107	SAT TT=0.59 NODES=117	SAT TT=0.698 CHECKS=8644 NODES=117	SAT TT=0.062	SAT TT=1.075 CHECKS=81308 NODES=331	SAT TT=0.487 CHECKS=19520 NODES=134	SAT TT=0.573 CHECKS=29038 NODES=213	SAT TT=1.706	SAT TT=1.528	SAT TT=0.055	SAT TT=0.572 CHECKS=29038 NODES=213	SAT TT=0.538 CHECKS=29038 NODES=213	SAT TT=1.597	SAT TT=1.695	SAT TT=1.33	SAT TT=0.056	SAT TT=0.021 CHECKS=22475 NODES=130	SAT TT=0.021 CHECKS=22475 NODES=130
qcp-qwh/QWH-10/ qwh-10-57-6_ext.xml	SAT TT=0.02	SAT TT=0.822 CHECKS=6738 NODES=0	SAT TT=0.873 CHECKS=4819 NODES=100	SAT TT=0.038	SAT TT=0.164	SAT TT=0.157	SAT TT=0.638 NODES=116	SAT TT=0.611 NODES=115	SAT TT=0.654 CHECKS=9178 NODES=115	SAT TT=0.059	SAT TT=1.059 CHECKS=69281 NODES=339	SAT TT=0.561 CHECKS=26438 NODES=179	SAT TT=0.477 CHECKS=13151 NODES=100	SAT TT=1.677	SAT TT=1.509	SAT TT=0.057	SAT TT=0.469 CHECKS=13151 NODES=100	SAT TT=0.494 CHECKS=13151 NODES=100	SAT TT=1.596	SAT TT=1.577	SAT TT=1.342	SAT TT=0.051	SAT TT=0.02 CHECKS=22024 NODES=138	SAT TT=0.02 CHECKS=22024 NODES=138
qcp-qwh/QWH-10/ qwh-10-57-7_ext.xml	SAT TT=0.022	SAT TT=0.942 CHECKS=28548 NODES=562	SAT TT=0.892 CHECKS=8063 NODES=244	SAT TT=0.042	SAT TT=0.177	SAT TT=0.185	SAT TT=0.66 NODES=167	SAT TT=0.685 NODES=165	SAT TT=0.743 CHECKS=8168 NODES=165	SAT TT=0.063	SAT TT=2.176 CHECKS=189046 NODES=851	SAT TT=1.308 CHECKS=111441 NODES=484	SAT TT=0.53 CHECKS=19496 NODES=151	SAT TT=1.66	SAT TT=1.536	SAT TT=0.061	SAT TT=0.532 CHECKS=19496 NODES=151	SAT TT=0.548 CHECKS=19496 NODES=151	SAT TT=1.616	SAT TT=1.524	SAT TT=1.32	SAT TT=0.056	SAT TT=0.022 CHECKS=14601 NODES=100	SAT TT=0.021 CHECKS=14601 NODES=100
qcp-qwh/QWH-10/ qwh-10-57-8_ext.xml	SAT TT=0.02	SAT TT=0.826 CHECKS=8392 NODES=0	SAT TT=0.859 CHECKS=5072 NODES=105	SAT TT=0.045	SAT TT=0.165	SAT TT=0.172	SAT TT=0.671 NODES=169	SAT TT=0.625 NODES=147	SAT TT=0.703 CHECKS=9438 NODES=147	SAT TT=0.061	? (conv) TT=0	? (conv) TT=0	? (conv) TT=0	SAT TT=1.668	SAT TT=1.628	SAT TT=0.056	? (conv) TT=0	? (conv) TT=0	SAT TT=1.551	SAT TT=1.58	SAT TT=1.271	SAT TT=0.057	SAT TT=0.02 CHECKS=16542 NODES=105	SAT TT=0.02 CHECKS=16542 NODES=105
qcp-qwh/QWH-10/ qwh-10-57-9_ext.xml	SAT TT=0.043	SAT TT=0.849 CHECKS=7170 NODES=0	SAT TT=0.886 CHECKS=6101 NODES=175	SAT TT=0.043	SAT TT=0.172	SAT TT=0.165	SAT TT=0.636 NODES=133	SAT TT=0.666 NODES=210	SAT TT=0.745 CHECKS=10772 NODES=210	SAT TT=0.061	SAT TT=6.552 CHECKS=646161 NODES=3120	SAT TT=4.085 CHECKS=337558 NODES=1758	SAT TT=1.053 CHECKS=65274 NODES=487	SAT TT=1.808	SAT TT=1.534	SAT TT=0.237	SAT TT=1.265 CHECKS=150549 NODES=896	SAT TT=1.237 CHECKS=150549 NODES=896	SAT TT=1.601	SAT TT=1.673	SAT TT=1.465	SAT TT=0.059	SAT TT=0.047 CHECKS=424591 NODES=2397	SAT TT=0.046 CHECKS=424591 NODES=2397
qcp-qwh/QWH-15/ qwh-15-106-0_ext.xml	SAT TT=0.083	SAT TT=1.402 CHECKS=243845 NODES=3380	SAT TT=1.449 CHECKS=273317 NODES=3361	SAT TT=0.231	SAT TT=1.499	SAT TT=1.494	SAT TT=1.55 NODES=271	SAT TT=1.941 NODES=653	SAT TT=2.177 CHECKS=27002 NODES=653	SAT TT=0.17	SAT TT=635.001 CHECKS=14777975 NODES=31051	SAT TT=468.091 CHECKS=9314839 NODES=19318	SAT TT=6.817 CHECKS=112913 NODES=494	SAT TT=2.981	SAT TT=2.349	SAT TT=0.254	SAT TT=6.887 CHECKS=112913 NODES=494	SAT TT=6.614 CHECKS=112913 NODES=494	SAT TT=3.305	SAT TT=3.314	SAT TT=2.796	SAT TT=0.282	SAT TT=0.083 CHECKS=85535 NODES=434	SAT TT=0.084 CHECKS=85535 NODES=434
Bench name	Best results on this instance	Abscon 109 ESAC	Abscon 109 AC	BPrologCSPSolver70a 2006-12-13	buggy_2_5 2007-01-08	buggy_2_5_s 2007-01-08	CSP4J - Combo 2006-12-19	CSP4J - MAC 2006-12-19	CSP4J - MAC 2007-01-16	CSPtoSAT+minisat 0.3	Diarmuid-rndi 2006-12-21	Diarmuid-rndi 2007-01-22	Diarmuid-wtdi 2006-12-21	galac 1	galacJ beta 1	Mistral 2006-12-04	rjw-solver 2006-12-09	rjw-solver 2007-01-21	sat4jCSP 1.7 RC BF3	SAT4JCSP-CACHED 1.7 RC BF3	sugar 0.40	Tramontane 2006-12-04	VALCSP 3.0	VALCSP 3.1
qcp-qwh/QWH-15/ qwh-15-106-1_ext.xml	SAT TT=0.182	SAT TT=2.693 CHECKS=1635312 NODES=13956	SAT TT=1.893 CHECKS=677863 NODES=6603	SAT TT=20.252	SAT TT=2.989	SAT TT=3.515	SAT TT=3.798 NODES=2040	SAT TT=5.39 NODES=3435	SAT TT=8.363 CHECKS=30222 NODES=4586	SAT TT=0.182	SAT TT=677.894 CHECKS=16947075 NODES=36841	SAT TT=538.905 CHECKS=15036822 NODES=33730	SAT TT=24.902 CHECKS=428344 NODES=1869	SAT TT=2.961	SAT TT=2.476	SAT TT=1.358	SAT TT=168.866 CHECKS=9954672 NODES=32326	SAT TT=173.315 CHECKS=9954672 NODES=32326	SAT TT=3.076	SAT TT=3.267	SAT TT=2.63	SAT TT=3.31	SAT TT=0.618 CHECKS=8203860 NODES=31280	SAT TT=0.62 CHECKS=8203860 NODES=31280
qcp-qwh/QWH-15/ qwh-15-106-2_ext.xml	SAT TT=0.141	SAT TT=1.766 CHECKS=512994 NODES=5557	SAT TT=1.236 CHECKS=164949 NODES=2881	SAT TT=0.859	SAT TT=4.092	SAT TT=4.329	SAT TT=3.305 NODES=1419	SAT TT=1.696 NODES=351	SAT TT=1.61 CHECKS=25218 NODES=351	SAT TT=0.17	SAT TT=509.921 CHECKS=11142422 NODES=22785	SAT TT=525.322 CHECKS=12213130 NODES=25107	SAT TT=40.786 CHECKS=857346 NODES=3419	SAT TT=2.78	SAT TT=2.458	SAT TT=0.5	SAT TT=23.498 CHECKS=956000 NODES=3997	SAT TT=22.943 CHECKS=956000 NODES=3997	SAT TT=3.135	SAT TT=3.097	SAT TT=2.54	SAT TT=0.262	SAT TT=0.141 CHECKS=914523 NODES=4159	SAT TT=0.15 CHECKS=914523 NODES=4159
qcp-qwh/QWH-15/ qwh-15-106-3_ext.xml	SAT TT=0.088	SAT TT=1.237 CHECKS=101155 NODES=2069	SAT TT=1.385 CHECKS=174354 NODES=2790	SAT TT=0.11	SAT TT=0.501	SAT TT=0.469	SAT TT=1.526 NODES=308	SAT TT=1.936 NODES=652	SAT TT=2.212 CHECKS=30833 NODES=652	SAT TT=0.182	SAT TT=376.475 CHECKS=7137628 NODES=17051	SAT TT=618.562 CHECKS=11686358 NODES=28111	SAT TT=24.858 CHECKS=467589 NODES=1967	SAT TT=2.746	SAT TT=2.282	SAT TT=0.193	SAT TT=7.864 CHECKS=165627 NODES=811	SAT TT=8.362 CHECKS=165627 NODES=811	SAT TT=3.164	SAT TT=3.189	SAT TT=2.591	SAT TT=0.193	SAT TT=0.088 CHECKS=158877 NODES=605	SAT TT=0.087 CHECKS=158877 NODES=605
qcp-qwh/QWH-15/ qwh-15-106-4_ext.xml	SAT TT=0.085	SAT TT=1.39 CHECKS=149492 NODES=2002	SAT TT=1.126 CHECKS=61180 NODES=1445	SAT TT=0.334	SAT TT=2.371	SAT TT=2.374	SAT TT=2.282 NODES=865	SAT TT=1.756 NODES=535	SAT TT=1.935 CHECKS=26118 NODES=535	SAT TT=0.189	SAT TT=434.074 CHECKS=10761174 NODES=22854	SAT TT=157.677 CHECKS=3285972 NODES=6744	SAT TT=37.543 CHECKS=912037 NODES=3457	SAT TT=2.878	SAT TT=2.519	SAT TT=0.229	SAT TT=8.14 CHECKS=169415 NODES=834	SAT TT=7.808 CHECKS=169415 NODES=834	SAT TT=3.302	SAT TT=3.043	SAT TT=2.588	SAT TT=0.421	SAT TT=0.085 CHECKS=109908 NODES=438	SAT TT=0.084 CHECKS=109908 NODES=438
qcp-qwh/QWH-15/ qwh-15-106-5_ext.xml	SAT TT=0.128	SAT TT=1.953 CHECKS=648709 NODES=7830	SAT TT=1.367 CHECKS=158652 NODES=2523	SAT TT=11.262	SAT TT=4.513	SAT TT=1.985	SAT TT=4.072 NODES=2184	SAT TT=2.621 NODES=1187	SAT TT=2.995 CHECKS=28122 NODES=1187	SAT TT=0.186	SAT TT=425.138 CHECKS=8595523 NODES=19493	SAT TT=399.251 CHECKS=8243664 NODES=18723	SAT TT=25.623 CHECKS=499081 NODES=2103	SAT TT=2.793	SAT TT=2.485	SAT TT=1.545	SAT TT=109.998 CHECKS=6153894 NODES=19743	SAT TT=100.275 CHECKS=6153894 NODES=19743	SAT TT=3.234	SAT TT=3.223	SAT TT=2.597	SAT TT=0.555	SAT TT=0.128 CHECKS=869445 NODES=3402	SAT TT=0.139 CHECKS=869445 NODES=3402
qcp-qwh/QWH-15/ qwh-15-106-6_ext.xml	SAT TT=0.09	SAT TT=1.277 CHECKS=147796 NODES=2369	SAT TT=1.096 CHECKS=45529 NODES=1357	SAT TT=5.052	SAT TT=0.554	SAT TT=0.524	SAT TT=1.573 NODES=370	SAT TT=1.549 NODES=310	SAT TT=1.62 CHECKS=29858 NODES=310	SAT TT=0.166	SAT TT=104.571 CHECKS=2184964 NODES=4888	SAT TT=78.146 CHECKS=1430600 NODES=3314	SAT TT=14.262 CHECKS=223341 NODES=992	SAT TT=2.745	SAT TT=2.362	SAT TT=0.478	SAT TT=7.691 CHECKS=147120 NODES=725	SAT TT=7.361 CHECKS=147120 NODES=725	SAT TT=3.012	SAT TT=2.971	SAT TT=2.743	SAT TT=0.243	SAT TT=0.09 CHECKS=174599 NODES=779	SAT TT=0.09 CHECKS=174599 NODES=779
qcp-qwh/QWH-15/ qwh-15-106-7_ext.xml	SAT TT=0.127	SAT TT=2.207 CHECKS=1130204 NODES=10880	SAT TT=2.463 CHECKS=1322473 NODES=9967	SAT TT=0.572	SAT TT=0.87	SAT TT=1.11	SAT TT=2.783 NODES=1259	SAT TT=2.906 NODES=1247	SAT TT=3.193 CHECKS=27956 NODES=1247	SAT TT=0.175	SAT TT=613.472 CHECKS=13038925 NODES=28946	SAT TT=233.709 CHECKS=4444968 NODES=9734	SAT TT=25.132 CHECKS=511669 NODES=2142	SAT TT=3	SAT TT=2.468	SAT TT=0.366	SAT TT=16.221 CHECKS=686234 NODES=2956	SAT TT=16.376 CHECKS=686234 NODES=2956	SAT TT=3.14	SAT TT=3.053	SAT TT=2.6	SAT TT=0.243	SAT TT=0.127 CHECKS=690109 NODES=2715	SAT TT=0.126 CHECKS=690109 NODES=2715
qcp-qwh/QWH-15/ qwh-15-106-8_ext.xml	SAT TT=0.144	SAT TT=1.47 CHECKS=184995 NODES=2830	SAT TT=1.27 CHECKS=114468 NODES=1844	SAT TT=0.977	SAT TT=2.732	SAT TT=3.178	SAT TT=2.514 NODES=856	SAT TT=2.252 NODES=817	SAT TT=2.659 CHECKS=25251 NODES=817	SAT TT=0.241	SAT TT=536.427 CHECKS=11773839 NODES=23089	SAT TT=404.088 CHECKS=9870686 NODES=18905	SAT TT=50.284 CHECKS=1430152 NODES=4766	SAT TT=2.753	SAT TT=2.535	SAT TT=0.419	SAT TT=17.836 CHECKS=897510 NODES=3064	SAT TT=18.86 CHECKS=897510 NODES=3064	SAT TT=3.276	SAT TT=3.657	SAT TT=2.731	SAT TT=0.503	SAT TT=0.144 CHECKS=973394 NODES=3437	SAT TT=0.145 CHECKS=973394 NODES=3437
qcp-qwh/QWH-15/ qwh-15-106-9_ext.xml	SAT TT=0.087	SAT TT=3.611 CHECKS=2741707 NODES=17998	SAT TT=1.132 CHECKS=59495 NODES=1476	SAT TT=1.893	SAT TT=1.31	SAT TT=1.28	SAT TT=2.363 NODES=981	SAT TT=1.699 NODES=481	SAT TT=1.973 CHECKS=28714 NODES=481	SAT TT=0.174	SAT TT=463.747 CHECKS=8895392 NODES=20270	SAT TT=357.085 CHECKS=7969993 NODES=18444	SAT TT=5.885 CHECKS=69468 NODES=356	SAT TT=2.876	SAT TT=2.315	SAT TT=0.184	SAT TT=6.496 CHECKS=69468 NODES=356	SAT TT=5.907 CHECKS=69468 NODES=356	SAT TT=3.223	SAT TT=3.216	SAT TT=2.768	SAT TT=0.179	SAT TT=0.087 CHECKS=150803 NODES=791	SAT TT=0.089 CHECKS=150803 NODES=791
qcp-qwh/QWH-20/ qwh-20-166-0_ext.xml	SAT TT=0.827	SAT TT=60.441 CHECKS=65126838 NODES=226733	SAT TT=4.024 CHECKS=2246857 NODES=11930	SAT TT=1365.78	SAT TT=188.046	SAT TT=167.301	SAT TT=20.835 NODES=5009	SAT TT=157.291 NODES=53313	SAT TT=1093.66 CHECKS=63556 NODES=232280	SAT TT=0.827	? (TO) TT=1800.09	? (TO) TT=1800.04	SAT TT=1387.44 CHECKS=16161222 NODES=30357	SAT TT=5.251	SAT TT=3.795	SAT TT=3.823	? (TO) TT=1800.09	? (TO) TT=1800.07	SAT TT=5.162	SAT TT=5.392	SAT TT=5.942	SAT TT=168.067	SAT TT=3.404 CHECKS=43997600 NODES=128750	SAT TT=3.359 CHECKS=43997600 NODES=128750
Bench name	Best results on this instance	Abscon 109 ESAC	Abscon 109 AC	BPrologCSPSolver70a 2006-12-13	buggy_2_5 2007-01-08	buggy_2_5_s 2007-01-08	CSP4J - Combo 2006-12-19	CSP4J - MAC 2006-12-19	CSP4J - MAC 2007-01-16	CSPtoSAT+minisat 0.3	Diarmuid-rndi 2006-12-21	Diarmuid-rndi 2007-01-22	Diarmuid-wtdi 2006-12-21	galac 1	galacJ beta 1	Mistral 2006-12-04	rjw-solver 2006-12-09	rjw-solver 2007-01-21	sat4jCSP 1.7 RC BF3	SAT4JCSP-CACHED 1.7 RC BF3	sugar 0.40	Tramontane 2006-12-04	VALCSP 3.0	VALCSP 3.1
qcp-qwh/QWH-20/ qwh-20-166-1_ext.xml	SAT TT=0.941	SAT TT=13.646 CHECKS=11854732 NODES=46092	SAT TT=9.753 CHECKS=7866591 NODES=30753	SAT TT=631.409	SAT TT=29.162	SAT TT=27.368	SAT TT=1145.68 NODES=427973	SAT TT=1763.76 NODES=581666	? (TO) TT=1800.08	SAT TT=0.941	? (conv) TT=0	? (conv) TT=0	? (conv) TT=0	SAT TT=4.903	SAT TT=3.699	SAT TT=12.918	? (conv) TT=0	? (conv) TT=0	SAT TT=4.805	SAT TT=4.57	SAT TT=5.09	SAT TT=42.454	SAT TT=9.616 CHECKS=134256000 NODES=381301	SAT TT=9.314 CHECKS=134256000 NODES=381301
qcp-qwh/QWH-20/ qwh-20-166-2_ext.xml	SAT TT=0.65	SAT TT=98.265 CHECKS=108163288 NODES=374047	SAT TT=102.174 CHECKS=97158244 NODES=343746	? (TO) TT=1800.08	SAT TT=149.818	SAT TT=270.919	? (TO) TT=1800.02	SAT TT=723.075 NODES=253357	SAT TT=126.075 CHECKS=67480 NODES=24312	SAT TT=0.65	? (conv) TT=0	? (conv) TT=0	? (conv) TT=0	SAT TT=4.908	SAT TT=3.692	SAT TT=194.737	? (conv) TT=0	? (conv) TT=0	SAT TT=5.074	SAT TT=5.172	SAT TT=5.012	SAT TT=381.345	SAT TT=27.884 CHECKS=387104000 NODES=1069490	SAT TT=28.207 CHECKS=387104000 NODES=1069490
qcp-qwh/QWH-20/ qwh-20-166-3_ext.xml	SAT TT=0.587	SAT TT=75.65 CHECKS=83950253 NODES=273098	SAT TT=5.103 CHECKS=3552025 NODES=18015	SAT TT=1174.71	SAT TT=241.26	SAT TT=154.902	SAT TT=107.788 NODES=43021	SAT TT=1187.22 NODES=385328	SAT TT=730.003 CHECKS=60860 NODES=145565	SAT TT=0.587	? (TO) TT=1800.11	? (TO) TT=1800.1	? (TO) TT=1800.03	SAT TT=5.003	SAT TT=4.327	SAT TT=39.517	? (TO) TT=1800.1	? (TO) TT=1800.07	SAT TT=4.935	SAT TT=5.054	SAT TT=4.847	SAT TT=10.419	SAT TT=8.74 CHECKS=115185000 NODES=328031	SAT TT=8.686 CHECKS=115185000 NODES=328031
qcp-qwh/QWH-20/ qwh-20-166-4_ext.xml	SAT TT=0.506	SAT TT=2.792 CHECKS=1151539 NODES=7263	SAT TT=7.957 CHECKS=6342259 NODES=29910	SAT TT=1153.83	SAT TT=22.576	SAT TT=17.773	SAT TT=70.069 NODES=26772	SAT TT=82.674 NODES=24854	SAT TT=46.557 CHECKS=60157 NODES=8530	SAT TT=0.506	? (conv) TT=0	? (conv) TT=0	? (conv) TT=0	SAT TT=5.045	SAT TT=3.749	SAT TT=8.187	? (conv) TT=0	? (conv) TT=0	SAT TT=4.994	SAT TT=5.605	SAT TT=4.95	SAT TT=0.867	SAT TT=7.028 CHECKS=94321900 NODES=272335	SAT TT=6.602 CHECKS=94321900 NODES=272335
qcp-qwh/QWH-20/ qwh-20-166-5_ext.xml	SAT TT=0.681	SAT TT=30.986 CHECKS=32390869 NODES=116155	SAT TT=8.066 CHECKS=6141409 NODES=28047	SAT TT=1411.61	SAT TT=231.92	SAT TT=234.875	SAT TT=107.304 NODES=38039	SAT TT=190.405 NODES=66729	SAT TT=181.42 CHECKS=61196 NODES=35881	SAT TT=0.681	? (TO) TT=1800.1	? (TO) TT=1800.13	? (TO) TT=1800.1	SAT TT=4.791	SAT TT=4.366	SAT TT=57.152	? (TO) TT=1800.04	? (TO) TT=1800.06	SAT TT=4.3	SAT TT=4.666	SAT TT=4.98	SAT TT=20.326	SAT TT=2.487 CHECKS=30801400 NODES=105493	SAT TT=2.322 CHECKS=30801400 NODES=105493
qcp-qwh/QWH-20/ qwh-20-166-6_ext.xml	SAT TT=1.379	SAT TT=153.192 CHECKS=158976882 NODES=548263	SAT TT=1145.49 CHECKS=1285735124 NODES=4476481	SAT TT=850.504	SAT TT=1341.33	SAT TT=1320.33	SAT TT=48.641 NODES=18102	? (TO) TT=1800.09	SAT TT=187.153 CHECKS=62009 NODES=37669	SAT TT=1.379	? (conv) TT=0	? (conv) TT=0	? (conv) TT=0	SAT TT=5.326	SAT TT=4.745	SAT TT=330.83	? (conv) TT=0	? (conv) TT=0	SAT TT=6.542	SAT TT=6.132	SAT TT=6.3	? (TO) TT=1800.07	SAT TT=34.423 CHECKS=464729000 NODES=1330670	SAT TT=35.371 CHECKS=464729000 NODES=1330670
qcp-qwh/QWH-20/ qwh-20-166-7_ext.xml	SAT TT=0.493	SAT TT=17.164 CHECKS=16977077 NODES=65584	SAT TT=158.422 CHECKS=167170378 NODES=587584	SAT TT=887.972	SAT TT=26.768	SAT TT=26.515	SAT TT=141.429 NODES=54677	SAT TT=76.695 NODES=26453	SAT TT=133.964 CHECKS=62106 NODES=26453	SAT TT=0.493	? (TO) TT=1800.06	? (TO) TT=1800.07	? (TO) TT=1800.1	SAT TT=4.882	SAT TT=4.373	SAT TT=4.614	? (TO) TT=1800.1	? (TO) TT=1800.07	SAT TT=4.895	SAT TT=5.126	SAT TT=5.59	SAT TT=35.594	SAT TT=2.166 CHECKS=27708200 NODES=78652	SAT TT=2.053 CHECKS=27708200 NODES=78652
qcp-qwh/QWH-20/ qwh-20-166-8_ext.xml	SAT TT=0.692	SAT TT=3.132 CHECKS=1047743 NODES=6636	SAT TT=10.167 CHECKS=8578096 NODES=37693	SAT TT=545.741	SAT TT=31.846	SAT TT=3.629	SAT TT=35.102 NODES=11878	SAT TT=369.403 NODES=135945	SAT TT=214.29 CHECKS=66246 NODES=43285	SAT TT=0.692	? (conv) TT=0	? (conv) TT=0	? (conv) TT=0	SAT TT=5.003	SAT TT=4.531	SAT TT=5.246	? (conv) TT=0	? (conv) TT=0	SAT TT=4.585	SAT TT=4.902	SAT TT=4.94	SAT TT=104.549	SAT TT=27.279 CHECKS=379267000 NODES=1163150	SAT TT=25.346 CHECKS=379267000 NODES=1163150
qcp-qwh/QWH-20/ qwh-20-166-9_ext.xml	SAT TT=0.992	SAT TT=22.29 CHECKS=21350870 NODES=82385	SAT TT=3.756 CHECKS=2096068 NODES=12466	SAT TT=108.269	SAT TT=3.965	SAT TT=15.884	SAT TT=293.701 NODES=108303	SAT TT=55.397 NODES=16348	SAT TT=89.467 CHECKS=57301 NODES=16348	SAT TT=0.992	? (conv) TT=0	? (conv) TT=0	? (conv) TT=0	SAT TT=5.036	SAT TT=4.247	SAT TT=8.214	? (conv) TT=0	? (conv) TT=0	SAT TT=4.748	SAT TT=4.698	SAT TT=5.518	SAT TT=2.819	SAT TT=2.832 CHECKS=35314000 NODES=127671	SAT TT=2.801 CHECKS=35314000 NODES=127671
qcp-qwh/QWH-25/ qwh-25-235-0_ext.xml	SAT TT=13.236	? (TO) TT=1800.13	? (TO) TT=1800.07	? (TO) TT=1800.05	? (TO) TT=1800.11	? (TO) TT=1800.05	? (TO) TT=1800.02	? (TO) TT=1800.06	? (TO) TT=1800.08	SAT TT=17.987	? (TO) TT=1800	? (TO) TT=1800.08	? (TO) TT=1800	SAT TT=18.879	SAT TT=48.951	? (TO) TT=1800.07	? (TO) TT=1800.04	? (TO) TT=1800.01	SAT TT=13.757	SAT TT=13.236	SAT TT=62.07	? (TO) TT=1800.1	? (TO) TT=1800.01	? (TO) TT=1800.08
Bench name	Best results on this instance	Abscon 109 ESAC	Abscon 109 AC	BPrologCSPSolver70a 2006-12-13	buggy_2_5 2007-01-08	buggy_2_5_s 2007-01-08	CSP4J - Combo 2006-12-19	CSP4J - MAC 2006-12-19	CSP4J - MAC 2007-01-16	CSPtoSAT+minisat 0.3	Diarmuid-rndi 2006-12-21	Diarmuid-rndi 2007-01-22	Diarmuid-wtdi 2006-12-21	galac 1	galacJ beta 1	Mistral 2006-12-04	rjw-solver 2006-12-09	rjw-solver 2007-01-21	sat4jCSP 1.7 RC BF3	SAT4JCSP-CACHED 1.7 RC BF3	sugar 0.40	Tramontane 2006-12-04	VALCSP 3.0	VALCSP 3.1
qcp-qwh/QWH-25/ qwh-25-235-1_ext.xml	SAT TT=4.699	? (TO) TT=1800.12	? (TO) TT=1800.11	? (TO) TT=1800.06	? (TO) TT=1800.04	? (TO) TT=1800	? (TO) TT=1800	? (TO) TT=1800.08	? (TO) TT=1800.01	SAT TT=4.699	? (TO) TT=1800.03	? (TO) TT=1800.08	? (problem) TT=563.275	SAT TT=11.516	SAT TT=13.926	? (TO) TT=1800.08	? (TO) TT=1800	? (TO) TT=1800.03	SAT TT=6.92	SAT TT=7.011	SAT TT=11.25	? (TO) TT=1800.11	? (TO) TT=1800.07	? (TO) TT=1800.1
qcp-qwh/QWH-25/ qwh-25-235-2_ext.xml	SAT TT=6.024	? (TO) TT=1800.15	? (TO) TT=1800.12	? (TO) TT=1800.05	? (TO) TT=1800.04	? (TO) TT=1800.1	? (TO) TT=1800.07	? (TO) TT=1800.07	? (TO) TT=1800.09	SAT TT=6.024	? (TO) TT=1800.07	? (TO) TT=1800.04	? (TO) TT=1800.04	SAT TT=10.155	SAT TT=15.175	? (TO) TT=1800.09	? (TO) TT=1800.02	? (TO) TT=1800.02	SAT TT=8.539	SAT TT=8.349	SAT TT=12.4	? (TO) TT=1800.05	? (TO) TT=1800.04	? (TO) TT=1800.1
qcp-qwh/QWH-25/ qwh-25-235-3_ext.xml	SAT TT=3.593	? (TO) TT=1800.13	? (TO) TT=1800.08	? (TO) TT=1800.1	? (TO) TT=1800.06	SAT TT=398.24	? (TO) TT=1800.1	? (TO) TT=1800.06	? (TO) TT=1800.08	SAT TT=3.593	? (TO) TT=1800.08	? (TO) TT=1800.04	? (TO) TT=1800.02	SAT TT=10.461	SAT TT=13.698	? (TO) TT=1800.02	? (TO) TT=1800.04	? (TO) TT=1800.06	SAT TT=10.275	SAT TT=10.049	SAT TT=11.49	? (TO) TT=1800.07	? (TO) TT=1800.01	? (TO) TT=1800.09
qcp-qwh/QWH-25/ qwh-25-235-4_ext.xml	SAT TT=2.17	SAT TT=1519.01 CHECKS=1401744301 NODES=3730394	SAT TT=584.807 CHECKS=506525872 NODES=1363651	? (TO) TT=1800.11	SAT TT=963.422	? (TO) TT=1800.03	? (TO) TT=1800.06	? (TO) TT=1800.04	? (TO) TT=1800	SAT TT=2.17	? (TO) TT=1800.04	? (TO) TT=1800.03	? (TO) TT=1800.02	SAT TT=10.502	SAT TT=14.856	? (TO) TT=1800.11	? (TO) TT=1800.01	? (TO) TT=1800.06	SAT TT=8.646	SAT TT=8.77	SAT TT=11.21	SAT TT=1311.67	? (TO) TT=1800.08	? (TO) TT=1800.06
qcp-qwh/QWH-25/ qwh-25-235-5_ext.xml	SAT TT=7.172	? (TO) TT=1800.11	? (TO) TT=1800.11	? (TO) TT=1800.08	? (TO) TT=1800.06	? (TO) TT=1800.14	? (TO) TT=1800.02	? (TO) TT=1800.06	? (TO) TT=1800.03	SAT TT=7.172	? (TO) TT=1800.09	? (TO) TT=1800.05	? (TO) TT=1800.07	SAT TT=9.816	SAT TT=12.65	? (TO) TT=1800.05	? (TO) TT=1800.1	? (TO) TT=1800.04	SAT TT=9.758	SAT TT=8.939	SAT TT=14.106	? (TO) TT=1800.03	? (TO) TT=1800.05	? (TO) TT=1800.09
qcp-qwh/QWH-25/ qwh-25-235-6_ext.xml	SAT TT=4.089	? (TO) TT=1800.11	? (TO) TT=1800.04	? (TO) TT=1800.02	? (TO) TT=1800.06	? (TO) TT=1800.05	? (TO) TT=1800.09	? (TO) TT=1800.04	? (TO) TT=1800.04	SAT TT=4.089	? (TO) TT=1800.07	? (TO) TT=1800.02	? (TO) TT=1800.07	SAT TT=10.5	SAT TT=9.824	? (TO) TT=1800.02	? (TO) TT=1800.06	? (TO) TT=1800.02	SAT TT=7.307	SAT TT=7.45	SAT TT=10.03	? (TO) TT=1800.02	? (TO) TT=1800.07	? (TO) TT=1800.06
qcp-qwh/QWH-25/ qwh-25-235-7_ext.xml	SAT TT=10.512	? (TO) TT=1800.08	? (TO) TT=1800.07	? (TO) TT=1800.09	? (TO) TT=1800.09	? (TO) TT=1800.11	? (TO) TT=1800.02	? (TO) TT=1800.06	? (TO) TT=1800.08	SAT TT=34.126	? (TO) TT=1800.01	? (TO) TT=1800.02	? (TO) TT=1800.08	SAT TT=10.512	SAT TT=28.492	? (TO) TT=1800.03	? (TO) TT=1800.07	? (TO) TT=1800.04	SAT TT=172.394	SAT TT=176.128	SAT TT=21.216	? (TO) TT=1800.05	? (TO) TT=1800.11	? (TO) TT=1800.07
qcp-qwh/QWH-25/ qwh-25-235-8_ext.xml	SAT TT=11.561	? (TO) TT=1800.05	? (TO) TT=1800.08	? (TO) TT=1800.11	? (TO) TT=1800.05	? (TO) TT=1800.09	? (TO) TT=1800.09	? (TO) TT=1800.01	? (TO) TT=1800.07	SAT TT=13.259	? (TO) TT=1800.01	? (TO) TT=1800.05	? (problem) TT=464.175	SAT TT=11.561	SAT TT=15.817	? (TO) TT=1800.1	? (TO) TT=1800	? (TO) TT=1800.03	SAT TT=17.454	SAT TT=17.115	SAT TT=14.76	? (TO) TT=1800.11	? (TO) TT=1800.11	? (TO) TT=1800.07
qcp-qwh/QWH-25/ qwh-25-235-9_ext.xml	SAT TT=9.59	? (TO) TT=1800.1	? (TO) TT=1800.17	? (TO) TT=1800.04	? (TO) TT=1800.07	? (TO) TT=1800.05	? (TO) TT=1800.08	? (TO) TT=1800.06	? (TO) TT=1800.03	SAT TT=15.011	? (TO) TT=1800.07	? (TO) TT=1800.11	? (TO) TT=1800	SAT TT=12.103	SAT TT=30.181	? (TO) TT=1800.11	? (TO) TT=1800.01	? (TO) TT=1800.02	SAT TT=10.506	SAT TT=11.221	SAT TT=9.59	? (TO) TT=1800.05	? (TO) TT=1800.02	? (TO) TT=1800.11

Some statistics...

	Abscon 109 ESAC	Abscon 109 AC	BPrologCSPSolver70a 2006-12-13	buggy_2_5 2007-01-08	buggy_2_5_s 2007-01-08	CSP4J - Combo 2006-12-19	CSP4J - MAC 2006-12-19	CSP4J - MAC 2007-01-16	CSPtoSAT+minisat 0.3	Diarmuid-rndi 2006-12-21	Diarmuid-rndi 2007-01-22	Diarmuid-wtdi 2006-12-21	galac 1	galacJ beta 1	Mistral 2006-12-04	rjw-solver 2006-12-09	rjw-solver 2007-01-21	sat4jCSP 1.7 RC BF3	SAT4JCSP-CACHED 1.7 RC BF3	sugar 0.40	Tramontane 2006-12-04	VALCSP 3.0	VALCSP 3.1
Number of times the solver is able to give the best known answer	191	189	170	188	188	0	0	184	212	0	0	0	212	211	188	0	0	210	210	210	186	188	0
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	3	0	0	0	0	0	88	0	0	0	5	3	1	0	0	0	1	3	2	106	0