CSP 2006 Competition (second round): results by benchmark

Results by benchmark for category global constraints (GLOBAL), subcategory problems with patterns

This page displays the results of the different solvers for each benchmark for category global constraints (GLOBAL), 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
CSP4J - Combo 2006-12-19
CSP4J - MAC 2006-12-19
CSP4J - MAC 2007-01-16
CSPtoSAT+minisat 0.3
galac 1
galacJ beta 1
Mistral 2006-12-04
sat4jCSP 1.7 RC BF3
SAT4JCSP-CACHED 1.7 RC BF3
sugar 0.40
Tramontane 2006-12-04

Bench name	Best results on this instance	Abscon 109 ESAC	Abscon 109 AC	BPrologCSPSolver70a 2006-12-13	CSP4J - Combo 2006-12-19	CSP4J - MAC 2006-12-19	CSP4J - MAC 2007-01-16	CSPtoSAT+minisat 0.3	galac 1	galacJ beta 1	Mistral 2006-12-04	sat4jCSP 1.7 RC BF3	SAT4JCSP-CACHED 1.7 RC BF3	sugar 0.40	Tramontane 2006-12-04
bqwh/bqwh-15-106_glb/ bqwh-15-106-11_glb.xml	SAT TT=0.018	SAT TT=0.807 CHECKS=30 NODES=379	SAT TT=0.831 CHECKS=30 NODES=396	SAT TT=0.025	SAT TT=0.414 NODES=205	SAT TT=0.417 NODES=292	SAT TT=0.454 CHECKS=0 NODES=281	SAT TT=0.023	SAT TT=3.261	SAT TT=3.071	SAT TT=0.018	SAT TT=1.023	SAT TT=1.023	SAT TT=1.05	SAT TT=0.019
bqwh/bqwh-15-106_glb/ bqwh-15-106-13_glb.xml	SAT TT=0.022	SAT TT=0.955 CHECKS=30 NODES=300	SAT TT=0.833 CHECKS=30 NODES=454	SAT TT=0.023	SAT TT=0.489 NODES=297	SAT TT=0.377 NODES=170	SAT TT=0.47 CHECKS=0 NODES=578	SAT TT=0.023	SAT TT=3.052	SAT TT=2.953	SAT TT=0.022	SAT TT=1.121	SAT TT=1.065	SAT TT=0.079	SAT TT=0.043
bqwh/bqwh-15-106_glb/ bqwh-15-106-15_glb.xml	SAT TT=0.03	SAT TT=0.933 CHECKS=30 NODES=301	SAT TT=0.936 CHECKS=30 NODES=1930	SAT TT=0.042	SAT TT=0.75 NODES=931	SAT TT=0.505 NODES=553	SAT TT=0.908 CHECKS=0 NODES=2764	SAT TT=0.037	SAT TT=2.919	SAT TT=2.746	SAT TT=0.053	SAT TT=1.335	SAT TT=1.114	SAT TT=1.1	SAT TT=0.03
bqwh/bqwh-15-106_glb/ bqwh-15-106-17_glb.xml	SAT TT=0.021	SAT TT=0.902 CHECKS=30 NODES=521	SAT TT=0.78 CHECKS=30 NODES=499	SAT TT=0.027	SAT TT=0.386 NODES=119	SAT TT=0.359 NODES=115	SAT TT=0.37 CHECKS=0 NODES=136	SAT TT=0.021	SAT TT=3.164	SAT TT=3.086	SAT TT=0.026	SAT TT=1.059	SAT TT=1.039	SAT TT=1.02	SAT TT=0.031
bqwh/bqwh-15-106_glb/ bqwh-15-106-19_glb.xml	SAT TT=0.02	SAT TT=0.747 CHECKS=30 NODES=146	SAT TT=0.824 CHECKS=30 NODES=733	SAT TT=0.022	SAT TT=0.406 NODES=122	SAT TT=0.371 NODES=122	SAT TT=0.413 CHECKS=0 NODES=354	SAT TT=0.02	SAT TT=3.032	SAT TT=2.896	SAT TT=0.031	SAT TT=0.985	SAT TT=0.835	SAT TT=1.05	SAT TT=0.024
bqwh/bqwh-15-106_glb/ bqwh-15-106-1_glb.xml	SAT TT=0.023	SAT TT=0.955 CHECKS=30 NODES=1638	SAT TT=0.825 CHECKS=30 NODES=775	SAT TT=0.026	SAT TT=0.59 NODES=601	SAT TT=0.556 NODES=644	SAT TT=0.694 CHECKS=0 NODES=1635	SAT TT=0.025	SAT TT=3.241	SAT TT=3.043	SAT TT=0.057	SAT TT=1.108	SAT TT=1.108	SAT TT=1.06	SAT TT=0.023
bqwh/bqwh-15-106_glb/ bqwh-15-106-21_glb.xml	SAT TT=0.023	SAT TT=0.812 CHECKS=30 NODES=481	SAT TT=0.787 CHECKS=30 NODES=589	SAT TT=0.023	SAT TT=0.443 NODES=230	SAT TT=0.415 NODES=295	SAT TT=0.449 CHECKS=0 NODES=573	SAT TT=0.023	SAT TT=3	SAT TT=2.881	SAT TT=0.029	SAT TT=1.125	SAT TT=1.253	SAT TT=1.03	SAT TT=0.053
bqwh/bqwh-15-106_glb/ bqwh-15-106-23_glb.xml	SAT TT=0.021	SAT TT=0.764 CHECKS=30 NODES=197	SAT TT=0.751 CHECKS=30 NODES=116	SAT TT=0.023	SAT TT=0.421 NODES=183	SAT TT=0.407 NODES=168	SAT TT=0.422 CHECKS=0 NODES=210	SAT TT=0.021	SAT TT=3.075	SAT TT=2.939	SAT TT=0.022	SAT TT=0.843	SAT TT=0.86	SAT TT=0.816	SAT TT=0.026
bqwh/bqwh-15-106_glb/ bqwh-15-106-25_glb.xml	SAT TT=0.027	SAT TT=0.942 CHECKS=30 NODES=1541	SAT TT=0.717 CHECKS=30 NODES=187	SAT TT=0.027	SAT TT=0.478 NODES=287	SAT TT=0.463 NODES=430	SAT TT=1.114 CHECKS=0 NODES=4047	SAT TT=0.033	SAT TT=3.08	SAT TT=3.003	SAT TT=0.03	SAT TT=1.187	SAT TT=1.054	SAT TT=1.03	SAT TT=0.034
bqwh/bqwh-15-106_glb/ bqwh-15-106-27_glb.xml	SAT TT=0.027	SAT TT=0.858 CHECKS=30 NODES=472	SAT TT=1.123 CHECKS=30 NODES=4256	SAT TT=0.058	SAT TT=0.543 NODES=561	SAT TT=0.536 NODES=611	SAT TT=0.548 CHECKS=0 NODES=892	SAT TT=0.027	SAT TT=2.969	SAT TT=2.798	SAT TT=0.122	SAT TT=0.964	SAT TT=0.978	SAT TT=1.02	SAT TT=0.047
Bench name	Best results on this instance	Abscon 109 ESAC	Abscon 109 AC	BPrologCSPSolver70a 2006-12-13	CSP4J - Combo 2006-12-19	CSP4J - MAC 2006-12-19	CSP4J - MAC 2007-01-16	CSPtoSAT+minisat 0.3	galac 1	galacJ beta 1	Mistral 2006-12-04	sat4jCSP 1.7 RC BF3	SAT4JCSP-CACHED 1.7 RC BF3	sugar 0.40	Tramontane 2006-12-04
bqwh/bqwh-15-106_glb/ bqwh-15-106-29_glb.xml	SAT TT=0.028	SAT TT=0.843 CHECKS=30 NODES=573	SAT TT=0.872 CHECKS=30 NODES=1238	SAT TT=0.043	SAT TT=0.662 NODES=675	SAT TT=0.432 NODES=310	SAT TT=0.514 CHECKS=0 NODES=883	SAT TT=0.028	SAT TT=3.122	SAT TT=3.007	SAT TT=0.094	SAT TT=1.311	SAT TT=1.194	SAT TT=1.06	SAT TT=0.083
bqwh/bqwh-15-106_glb/ bqwh-15-106-31_glb.xml	SAT TT=0.023	SAT TT=0.804 CHECKS=30 NODES=0	SAT TT=0.793 CHECKS=30 NODES=278	SAT TT=0.024	SAT TT=0.433 NODES=237	SAT TT=0.419 NODES=211	SAT TT=0.395 CHECKS=0 NODES=254	SAT TT=0.023	SAT TT=3.114	SAT TT=2.899	SAT TT=0.059	SAT TT=1.053	SAT TT=1.049	SAT TT=1.02	SAT TT=0.045
bqwh/bqwh-15-106_glb/ bqwh-15-106-33_glb.xml	SAT TT=0.021	SAT TT=0.751 CHECKS=30 NODES=117	SAT TT=0.741 CHECKS=30 NODES=315	SAT TT=0.025	SAT TT=0.419 NODES=211	SAT TT=0.489 NODES=429	SAT TT=0.422 CHECKS=0 NODES=285	SAT TT=0.021	SAT TT=2.996	SAT TT=2.892	SAT TT=0.021	SAT TT=1.143	SAT TT=1.118	SAT TT=1.02	SAT TT=0.022
bqwh/bqwh-15-106_glb/ bqwh-15-106-35_glb.xml	SAT TT=0.021	SAT TT=0.779 CHECKS=30 NODES=107	SAT TT=0.77 CHECKS=30 NODES=175	SAT TT=0.033	SAT TT=0.402 NODES=159	SAT TT=0.395 NODES=173	SAT TT=0.682 CHECKS=0 NODES=1619	SAT TT=0.021	SAT TT=3.462	SAT TT=3.23	SAT TT=0.022	SAT TT=0.941	SAT TT=0.955	SAT TT=1.02	SAT TT=0.024
bqwh/bqwh-15-106_glb/ bqwh-15-106-37_glb.xml	SAT TT=0.022	SAT TT=0.844 CHECKS=30 NODES=106	SAT TT=0.8 CHECKS=30 NODES=326	SAT TT=0.023	SAT TT=0.503 NODES=438	SAT TT=0.661 NODES=1066	SAT TT=0.614 CHECKS=0 NODES=1499	SAT TT=0.022	SAT TT=2.827	SAT TT=2.764	SAT TT=0.044	SAT TT=1.189	SAT TT=1.148	SAT TT=0.863	SAT TT=0.054
bqwh/bqwh-15-106_glb/ bqwh-15-106-39_glb.xml	SAT TT=0.028	SAT TT=0.796 CHECKS=30 NODES=207	SAT TT=0.753 CHECKS=30 NODES=611	SAT TT=0.028	SAT TT=0.407 NODES=199	SAT TT=0.407 NODES=155	SAT TT=0.505 CHECKS=0 NODES=807	SAT TT=0.033	SAT TT=3.074	SAT TT=2.969	SAT TT=0.032	SAT TT=1.38	SAT TT=1.167	SAT TT=0.091	SAT TT=0.038
bqwh/bqwh-15-106_glb/ bqwh-15-106-3_glb.xml	SAT TT=0.024	SAT TT=0.77 CHECKS=30 NODES=229	SAT TT=0.821 CHECKS=30 NODES=355	SAT TT=0.112	SAT TT=0.454 NODES=313	SAT TT=0.541 NODES=694	SAT TT=0.461 CHECKS=0 NODES=413	SAT TT=0.05	SAT TT=3.143	SAT TT=3.012	SAT TT=0.024	SAT TT=1.046	SAT TT=0.975	SAT TT=1.08	SAT TT=0.029
bqwh/bqwh-15-106_glb/ bqwh-15-106-41_glb.xml	SAT TT=0.022	SAT TT=0.928 CHECKS=30 NODES=877	SAT TT=0.8 CHECKS=30 NODES=610	SAT TT=0.044	SAT TT=0.479 NODES=344	SAT TT=0.405 NODES=280	SAT TT=0.552 CHECKS=0 NODES=838	SAT TT=0.023	SAT TT=3.038	SAT TT=2.843	SAT TT=0.04	SAT TT=1.124	SAT TT=1.094	SAT TT=1.02	SAT TT=0.022
bqwh/bqwh-15-106_glb/ bqwh-15-106-43_glb.xml	SAT TT=0.02	SAT TT=0.803 CHECKS=30 NODES=0	SAT TT=0.844 CHECKS=30 NODES=572	SAT TT=0.023	SAT TT=0.408 NODES=137	SAT TT=0.376 NODES=153	SAT TT=0.446 CHECKS=0 NODES=467	SAT TT=0.021	SAT TT=3.079	SAT TT=2.869	SAT TT=0.02	SAT TT=1.197	SAT TT=1.177	SAT TT=0.852	SAT TT=0.02
bqwh/bqwh-15-106_glb/ bqwh-15-106-45_glb.xml	SAT TT=0.022	SAT TT=0.881 CHECKS=30 NODES=470	SAT TT=0.726 CHECKS=30 NODES=200	SAT TT=0.024	SAT TT=0.39 NODES=132	SAT TT=0.38 NODES=140	SAT TT=0.4 CHECKS=0 NODES=150	SAT TT=0.022	SAT TT=3.122	SAT TT=2.966	SAT TT=0.04	SAT TT=0.883	SAT TT=1.001	SAT TT=1.07	SAT TT=0.043
Bench name	Best results on this instance	Abscon 109 ESAC	Abscon 109 AC	BPrologCSPSolver70a 2006-12-13	CSP4J - Combo 2006-12-19	CSP4J - MAC 2006-12-19	CSP4J - MAC 2007-01-16	CSPtoSAT+minisat 0.3	galac 1	galacJ beta 1	Mistral 2006-12-04	sat4jCSP 1.7 RC BF3	SAT4JCSP-CACHED 1.7 RC BF3	sugar 0.40	Tramontane 2006-12-04
bqwh/bqwh-15-106_glb/ bqwh-15-106-47_glb.xml	SAT TT=0.022	SAT TT=0.808 CHECKS=30 NODES=0	SAT TT=0.742 CHECKS=30 NODES=444	SAT TT=0.028	SAT TT=0.378 NODES=130	SAT TT=0.371 NODES=135	SAT TT=0.388 CHECKS=0 NODES=192	SAT TT=0.026	SAT TT=3	SAT TT=2.804	SAT TT=0.022	SAT TT=1.026	SAT TT=1.018	SAT TT=1.07	SAT TT=0.023
bqwh/bqwh-15-106_glb/ bqwh-15-106-49_glb.xml	SAT TT=0.022	SAT TT=0.817 CHECKS=30 NODES=298	SAT TT=0.877 CHECKS=30 NODES=795	SAT TT=0.027	SAT TT=0.57 NODES=564	SAT TT=0.469 NODES=393	SAT TT=1.224 CHECKS=0 NODES=5120	SAT TT=0.022	SAT TT=3.005	SAT TT=2.848	SAT TT=0.052	SAT TT=1.093	SAT TT=1.056	SAT TT=0.092	SAT TT=0.025
bqwh/bqwh-15-106_glb/ bqwh-15-106-51_glb.xml	SAT TT=0.022	SAT TT=0.975 CHECKS=30 NODES=1887	SAT TT=0.955 CHECKS=30 NODES=1714	SAT TT=0.05	SAT TT=0.414 NODES=189	SAT TT=0.382 NODES=174	SAT TT=0.404 CHECKS=0 NODES=296	SAT TT=0.024	SAT TT=3.074	SAT TT=2.89	SAT TT=0.022	SAT TT=1.087	SAT TT=1.079	SAT TT=1.06	SAT TT=0.026
bqwh/bqwh-15-106_glb/ bqwh-15-106-53_glb.xml	SAT TT=0.021	SAT TT=0.801 CHECKS=30 NODES=234	SAT TT=0.755 CHECKS=30 NODES=338	SAT TT=0.023	SAT TT=0.421 NODES=160	SAT TT=0.372 NODES=125	SAT TT=0.447 CHECKS=0 NODES=523	SAT TT=0.021	SAT TT=3.092	SAT TT=2.885	SAT TT=0.023	SAT TT=1.042	SAT TT=1.214	SAT TT=1.05	SAT TT=0.029
bqwh/bqwh-15-106_glb/ bqwh-15-106-55_glb.xml	SAT TT=0.022	SAT TT=0.898 CHECKS=30 NODES=1382	SAT TT=1.151 CHECKS=30 NODES=3598	SAT TT=0.045	SAT TT=0.433 NODES=200	SAT TT=0.537 NODES=636	SAT TT=0.425 CHECKS=0 NODES=245	SAT TT=0.022	SAT TT=3.255	SAT TT=3.211	SAT TT=0.068	SAT TT=1.038	SAT TT=1.113	SAT TT=1.134	SAT TT=0.321
bqwh/bqwh-15-106_glb/ bqwh-15-106-57_glb.xml	SAT TT=0.025	SAT TT=0.826 CHECKS=30 NODES=179	SAT TT=0.83 CHECKS=30 NODES=564	SAT TT=0.037	SAT TT=0.928 NODES=1657	SAT TT=0.412 NODES=285	SAT TT=0.469 CHECKS=0 NODES=471	SAT TT=0.025	SAT TT=3.11	SAT TT=2.915	SAT TT=0.101	SAT TT=0.94	SAT TT=1.005	SAT TT=1.04	SAT TT=0.027
bqwh/bqwh-15-106_glb/ bqwh-15-106-59_glb.xml	SAT TT=0.026	SAT TT=1.118 CHECKS=30 NODES=3271	SAT TT=0.847 CHECKS=30 NODES=974	SAT TT=0.026	SAT TT=0.521 NODES=457	SAT TT=0.423 NODES=260	SAT TT=1.377 CHECKS=0 NODES=5929	SAT TT=0.03	SAT TT=3.341	SAT TT=3.218	SAT TT=0.03	SAT TT=1.237	SAT TT=1.135	SAT TT=1.03	SAT TT=0.068
bqwh/bqwh-15-106_glb/ bqwh-15-106-5_glb.xml	SAT TT=0.024	SAT TT=0.785 CHECKS=30 NODES=0	SAT TT=0.744 CHECKS=30 NODES=256	SAT TT=0.029	SAT TT=0.521 NODES=510	SAT TT=0.573 NODES=576	SAT TT=0.607 CHECKS=0 NODES=1097	SAT TT=0.024	SAT TT=3.079	SAT TT=2.868	SAT TT=0.07	SAT TT=1.172	SAT TT=1.057	SAT TT=1.01	SAT TT=0.025
bqwh/bqwh-15-106_glb/ bqwh-15-106-61_glb.xml	SAT TT=0.027	SAT TT=0.993 CHECKS=30 NODES=1389	SAT TT=1.223 CHECKS=30 NODES=4153	SAT TT=0.031	SAT TT=0.421 NODES=135	SAT TT=0.377 NODES=127	SAT TT=0.402 CHECKS=0 NODES=158	SAT TT=0.027	SAT TT=3.006	SAT TT=2.968	SAT TT=0.034	SAT TT=1.04	SAT TT=1.004	SAT TT=1.06	SAT TT=0.03
bqwh/bqwh-15-106_glb/ bqwh-15-106-63_glb.xml	SAT TT=0.024	SAT TT=0.81 CHECKS=30 NODES=534	SAT TT=0.871 CHECKS=30 NODES=828	SAT TT=0.027	SAT TT=0.414 NODES=217	SAT TT=0.391 NODES=228	SAT TT=0.484 CHECKS=0 NODES=536	SAT TT=0.024	SAT TT=3.014	SAT TT=2.823	SAT TT=0.039	SAT TT=1.079	SAT TT=1.183	SAT TT=1.03	SAT TT=0.059
Bench name	Best results on this instance	Abscon 109 ESAC	Abscon 109 AC	BPrologCSPSolver70a 2006-12-13	CSP4J - Combo 2006-12-19	CSP4J - MAC 2006-12-19	CSP4J - MAC 2007-01-16	CSPtoSAT+minisat 0.3	galac 1	galacJ beta 1	Mistral 2006-12-04	sat4jCSP 1.7 RC BF3	SAT4JCSP-CACHED 1.7 RC BF3	sugar 0.40	Tramontane 2006-12-04
bqwh/bqwh-15-106_glb/ bqwh-15-106-65_glb.xml	SAT TT=0.02	SAT TT=0.85 CHECKS=30 NODES=297	SAT TT=0.716 CHECKS=30 NODES=191	SAT TT=0.024	SAT TT=0.426 NODES=209	SAT TT=0.401 NODES=198	SAT TT=0.397 CHECKS=0 NODES=255	SAT TT=0.022	SAT TT=3.093	SAT TT=2.951	SAT TT=0.02	SAT TT=1.105	SAT TT=1.275	SAT TT=0.553	SAT TT=0.021
bqwh/bqwh-15-106_glb/ bqwh-15-106-67_glb.xml	SAT TT=0.02	SAT TT=0.842 CHECKS=30 NODES=0	SAT TT=0.768 CHECKS=30 NODES=607	SAT TT=0.041	SAT TT=0.605 NODES=603	SAT TT=0.4 NODES=230	SAT TT=0.941 CHECKS=0 NODES=3308	SAT TT=0.02	SAT TT=2.882	SAT TT=2.789	SAT TT=0.041	SAT TT=1.07	SAT TT=1.083	SAT TT=1.03	SAT TT=0.148
bqwh/bqwh-15-106_glb/ bqwh-15-106-69_glb.xml	SAT TT=0.024	SAT TT=0.883 CHECKS=30 NODES=1295	SAT TT=0.825 CHECKS=30 NODES=510	SAT TT=0.025	SAT TT=0.385 NODES=120	SAT TT=0.362 NODES=122	SAT TT=0.483 CHECKS=0 NODES=583	SAT TT=0.024	SAT TT=3.087	SAT TT=2.95	SAT TT=0.06	SAT TT=1.047	SAT TT=1.03	SAT TT=0.09	SAT TT=0.038
bqwh/bqwh-15-106_glb/ bqwh-15-106-71_glb.xml	SAT TT=0.025	SAT TT=1.07 CHECKS=30 NODES=3376	SAT TT=0.871 CHECKS=30 NODES=750	SAT TT=0.025	SAT TT=0.432 NODES=229	SAT TT=0.586 NODES=808	SAT TT=5.568 CHECKS=0 NODES=36380	SAT TT=0.03	SAT TT=3.202	SAT TT=2.979	SAT TT=0.034	SAT TT=1.206	SAT TT=1.11	SAT TT=1.05	SAT TT=0.041
bqwh/bqwh-15-106_glb/ bqwh-15-106-73_glb.xml	SAT TT=0.022	SAT TT=0.79 CHECKS=30 NODES=0	SAT TT=0.822 CHECKS=30 NODES=618	SAT TT=0.023	SAT TT=0.398 NODES=141	SAT TT=0.368 NODES=157	SAT TT=0.405 CHECKS=0 NODES=211	SAT TT=0.022	SAT TT=2.951	SAT TT=2.809	SAT TT=0.043	SAT TT=1.103	SAT TT=1.264	SAT TT=1.057	SAT TT=0.04
bqwh/bqwh-15-106_glb/ bqwh-15-106-75_glb.xml	SAT TT=0.023	SAT TT=0.805 CHECKS=30 NODES=383	SAT TT=0.766 CHECKS=30 NODES=349	SAT TT=0.031	SAT TT=0.406 NODES=110	SAT TT=0.357 NODES=110	SAT TT=0.387 CHECKS=0 NODES=152	SAT TT=0.023	SAT TT=3.52	SAT TT=3.286	SAT TT=0.027	SAT TT=1.02	SAT TT=1.029	SAT TT=0.113	SAT TT=0.064
bqwh/bqwh-15-106_glb/ bqwh-15-106-77_glb.xml	SAT TT=0.022	SAT TT=0.792 CHECKS=30 NODES=0	SAT TT=0.832 CHECKS=30 NODES=366	SAT TT=0.022	SAT TT=0.414 NODES=136	SAT TT=0.373 NODES=126	SAT TT=0.398 CHECKS=0 NODES=147	SAT TT=0.023	SAT TT=2.955	SAT TT=2.79	SAT TT=0.032	SAT TT=1.071	SAT TT=1.02	SAT TT=0.99	SAT TT=0.04
bqwh/bqwh-15-106_glb/ bqwh-15-106-79_glb.xml	SAT TT=0.02	SAT TT=0.877 CHECKS=30 NODES=350	SAT TT=0.777 CHECKS=30 NODES=501	SAT TT=0.025	SAT TT=0.389 NODES=144	SAT TT=0.378 NODES=135	SAT TT=0.489 CHECKS=0 NODES=610	SAT TT=0.02	SAT TT=2.863	SAT TT=2.729	SAT TT=0.024	SAT TT=1.069	SAT TT=1.063	SAT TT=1	SAT TT=0.04
bqwh/bqwh-15-106_glb/ bqwh-15-106-7_glb.xml	SAT TT=0.025	SAT TT=0.784 CHECKS=30 NODES=380	SAT TT=0.806 CHECKS=30 NODES=613	SAT TT=0.029	SAT TT=0.513 NODES=499	SAT TT=0.415 NODES=256	SAT TT=0.481 CHECKS=0 NODES=585	SAT TT=0.025	SAT TT=3.035	SAT TT=2.919	SAT TT=0.045	SAT TT=1.185	SAT TT=1.159	SAT TT=0.093	SAT TT=0.094
bqwh/bqwh-15-106_glb/ bqwh-15-106-81_glb.xml	SAT TT=0.023	SAT TT=0.786 CHECKS=30 NODES=431	SAT TT=1.058 CHECKS=30 NODES=2901	SAT TT=0.043	SAT TT=0.476 NODES=355	SAT TT=0.595 NODES=938	SAT TT=1.274 CHECKS=0 NODES=5359	SAT TT=0.026	SAT TT=3.059	SAT TT=2.923	SAT TT=0.087	SAT TT=1.159	SAT TT=1.154	SAT TT=1.05	SAT TT=0.023
Bench name	Best results on this instance	Abscon 109 ESAC	Abscon 109 AC	BPrologCSPSolver70a 2006-12-13	CSP4J - Combo 2006-12-19	CSP4J - MAC 2006-12-19	CSP4J - MAC 2007-01-16	CSPtoSAT+minisat 0.3	galac 1	galacJ beta 1	Mistral 2006-12-04	sat4jCSP 1.7 RC BF3	SAT4JCSP-CACHED 1.7 RC BF3	sugar 0.40	Tramontane 2006-12-04
bqwh/bqwh-15-106_glb/ bqwh-15-106-83_glb.xml	SAT TT=0.028	SAT TT=0.81 CHECKS=30 NODES=237	SAT TT=1.012 CHECKS=30 NODES=1997	SAT TT=0.209	SAT TT=0.964 NODES=1606	SAT TT=0.426 NODES=300	SAT TT=0.466 CHECKS=0 NODES=512	SAT TT=0.031	SAT TT=3.161	SAT TT=3.195	SAT TT=0.092	SAT TT=1.211	SAT TT=1.196	SAT TT=1.122	SAT TT=0.028
bqwh/bqwh-15-106_glb/ bqwh-15-106-85_glb.xml	SAT TT=0.028	SAT TT=0.822 CHECKS=30 NODES=218	SAT TT=0.935 CHECKS=30 NODES=1383	SAT TT=0.029	SAT TT=0.877 NODES=1531	SAT TT=0.457 NODES=392	SAT TT=0.427 CHECKS=0 NODES=425	SAT TT=0.028	SAT TT=2.981	SAT TT=2.897	SAT TT=0.13	SAT TT=1.149	SAT TT=1.126	SAT TT=1.02	SAT TT=0.095
bqwh/bqwh-15-106_glb/ bqwh-15-106-87_glb.xml	SAT TT=0.021	SAT TT=0.842 CHECKS=30 NODES=677	SAT TT=0.712 CHECKS=30 NODES=151	SAT TT=0.023	SAT TT=0.439 NODES=245	SAT TT=0.43 NODES=339	SAT TT=0.581 CHECKS=0 NODES=1264	SAT TT=0.03	SAT TT=2.985	SAT TT=2.769	SAT TT=0.021	SAT TT=0.935	SAT TT=0.943	SAT TT=1	SAT TT=0.051
bqwh/bqwh-15-106_glb/ bqwh-15-106-89_glb.xml	SAT TT=0.022	SAT TT=0.878 CHECKS=30 NODES=115	SAT TT=0.801 CHECKS=30 NODES=596	SAT TT=0.024	SAT TT=0.9 NODES=1801	SAT TT=0.462 NODES=407	SAT TT=0.493 CHECKS=0 NODES=701	SAT TT=0.026	SAT TT=2.966	SAT TT=2.976	SAT TT=0.022	SAT TT=1.182	SAT TT=1.098	SAT TT=1.08	SAT TT=0.043
bqwh/bqwh-15-106_glb/ bqwh-15-106-91_glb.xml	SAT TT=0.024	SAT TT=0.83 CHECKS=30 NODES=225	SAT TT=0.787 CHECKS=30 NODES=791	SAT TT=0.026	SAT TT=0.463 NODES=285	SAT TT=0.557 NODES=567	SAT TT=0.883 CHECKS=0 NODES=2737	SAT TT=0.024	SAT TT=3.129	SAT TT=2.989	SAT TT=0.038	SAT TT=1.112	SAT TT=1.127	SAT TT=1.082	SAT TT=0.037
bqwh/bqwh-15-106_glb/ bqwh-15-106-93_glb.xml	SAT TT=0.025	SAT TT=0.915 CHECKS=30 NODES=1367	SAT TT=0.745 CHECKS=30 NODES=429	SAT TT=0.025	SAT TT=0.377 NODES=114	SAT TT=0.368 NODES=109	SAT TT=0.431 CHECKS=0 NODES=111	SAT TT=0.028	SAT TT=3.055	SAT TT=2.89	SAT TT=0.037	SAT TT=0.923	SAT TT=0.851	SAT TT=0.94	SAT TT=0.032
bqwh/bqwh-15-106_glb/ bqwh-15-106-95_glb.xml	SAT TT=0.019	SAT TT=0.757 CHECKS=30 NODES=114	SAT TT=0.717 CHECKS=30 NODES=116	SAT TT=0.027	SAT TT=0.401 NODES=179	SAT TT=0.384 NODES=177	SAT TT=0.43 CHECKS=0 NODES=439	SAT TT=0.02	SAT TT=3.14	SAT TT=3.001	SAT TT=0.022	SAT TT=1.227	SAT TT=1.242	SAT TT=0.98	SAT TT=0.019
bqwh/bqwh-15-106_glb/ bqwh-15-106-97_glb.xml	SAT TT=0.023	SAT TT=0.829 CHECKS=30 NODES=781	SAT TT=0.849 CHECKS=30 NODES=1029	SAT TT=0.025	SAT TT=0.509 NODES=384	SAT TT=0.429 NODES=313	SAT TT=0.447 CHECKS=0 NODES=551	SAT TT=0.023	SAT TT=3.038	SAT TT=2.735	SAT TT=0.029	SAT TT=1.112	SAT TT=1.079	SAT TT=1.07	SAT TT=0.087
bqwh/bqwh-15-106_glb/ bqwh-15-106-99_glb.xml	SAT TT=0.026	SAT TT=0.78 CHECKS=30 NODES=314	SAT TT=0.713 CHECKS=30 NODES=181	SAT TT=0.026	SAT TT=0.402 NODES=126	SAT TT=0.373 NODES=145	SAT TT=0.405 CHECKS=0 NODES=166	SAT TT=0.028	SAT TT=3.098	SAT TT=2.983	SAT TT=0.045	SAT TT=0.921	SAT TT=0.992	SAT TT=1.01	SAT TT=0.031
bqwh/bqwh-15-106_glb/ bqwh-15-106-9_glb.xml	SAT TT=0.021	SAT TT=0.905 CHECKS=30 NODES=782	SAT TT=0.907 CHECKS=30 NODES=1029	SAT TT=0.03	SAT TT=0.41 NODES=121	SAT TT=0.362 NODES=109	SAT TT=0.366 CHECKS=0 NODES=114	SAT TT=0.021	SAT TT=2.999	SAT TT=2.932	SAT TT=0.031	SAT TT=0.948	SAT TT=0.948	SAT TT=1.06	SAT TT=0.072
Bench name	Best results on this instance	Abscon 109 ESAC	Abscon 109 AC	BPrologCSPSolver70a 2006-12-13	CSP4J - Combo 2006-12-19	CSP4J - MAC 2006-12-19	CSP4J - MAC 2007-01-16	CSPtoSAT+minisat 0.3	galac 1	galacJ beta 1	Mistral 2006-12-04	sat4jCSP 1.7 RC BF3	SAT4JCSP-CACHED 1.7 RC BF3	sugar 0.40	Tramontane 2006-12-04
bqwh/bqwh-18-141_glb/ bqwh-18-141-11_glb.xml	SAT TT=0.026	SAT TT=1.008 CHECKS=36 NODES=1804	SAT TT=1.005 CHECKS=36 NODES=1887	SAT TT=0.026	SAT TT=1.046 NODES=1398	SAT TT=0.992 NODES=1692	SAT TT=0.615 CHECKS=0 NODES=955	SAT TT=0.027	SAT TT=4.533	SAT TT=4.25	SAT TT=0.097	SAT TT=1.455	SAT TT=1.53	SAT TT=1.09	SAT TT=0.1
bqwh/bqwh-18-141_glb/ bqwh-18-141-13_glb.xml	SAT TT=0.027	SAT TT=0.93 CHECKS=36 NODES=488	SAT TT=1.379 CHECKS=36 NODES=5983	SAT TT=0.027	SAT TT=0.591 NODES=551	SAT TT=0.528 NODES=448	SAT TT=3.454 CHECKS=0 NODES=14930	SAT TT=0.036	SAT TT=4.677	SAT TT=4.746	SAT TT=0.281	SAT TT=1.377	SAT TT=1.359	SAT TT=0.93	SAT TT=0.033
bqwh/bqwh-18-141_glb/ bqwh-18-141-15_glb.xml	SAT TT=0.043	SAT TT=1.271 CHECKS=36 NODES=4505	SAT TT=0.782 CHECKS=36 NODES=657	SAT TT=0.272	SAT TT=24.911 NODES=74332	SAT TT=5.413 NODES=15419	SAT TT=1.105 CHECKS=0 NODES=3407	SAT TT=0.043	SAT TT=4.364	SAT TT=4.308	SAT TT=0.374	SAT TT=1.962	SAT TT=1.497	SAT TT=1.26	SAT TT=0.384
bqwh/bqwh-18-141_glb/ bqwh-18-141-17_glb.xml	SAT TT=0.03	SAT TT=1.213 CHECKS=36 NODES=2454	SAT TT=1.275 CHECKS=36 NODES=4409	SAT TT=0.454	SAT TT=1.041 NODES=1417	SAT TT=1.04 NODES=2005	SAT TT=6.261 CHECKS=0 NODES=27201	SAT TT=0.03	SAT TT=4.199	SAT TT=3.958	SAT TT=0.316	SAT TT=1.424	SAT TT=1.308	SAT TT=1.216	SAT TT=0.358
bqwh/bqwh-18-141_glb/ bqwh-18-141-19_glb.xml	SAT TT=0.035	SAT TT=1.046 CHECKS=36 NODES=1322	SAT TT=0.981 CHECKS=36 NODES=1394	SAT TT=0.345	SAT TT=7.785 NODES=18838	SAT TT=0.535 NODES=431	SAT TT=2.654 CHECKS=0 NODES=9746	SAT TT=0.035	SAT TT=4.371	SAT TT=4.189	SAT TT=0.074	SAT TT=1.519	SAT TT=1.45	SAT TT=1.19	SAT TT=0.214
bqwh/bqwh-18-141_glb/ bqwh-18-141-1_glb.xml	SAT TT=0.029	SAT TT=1.318 CHECKS=36 NODES=4476	SAT TT=0.891 CHECKS=36 NODES=1181	SAT TT=0.03	SAT TT=0.498 NODES=337	SAT TT=0.932 NODES=1646	SAT TT=0.833 CHECKS=0 NODES=2110	SAT TT=0.04	SAT TT=5.551	SAT TT=6.779	SAT TT=0.029	SAT TT=1.356	SAT TT=1.472	SAT TT=1.307	SAT TT=0.399
bqwh/bqwh-18-141_glb/ bqwh-18-141-21_glb.xml	SAT TT=0.031	SAT TT=0.885 CHECKS=36 NODES=460	SAT TT=0.981 CHECKS=36 NODES=1469	SAT TT=0.069	SAT TT=0.906 NODES=1329	SAT TT=0.514 NODES=496	SAT TT=1.322 CHECKS=0 NODES=4409	SAT TT=0.031	SAT TT=4.443	SAT TT=4.015	SAT TT=0.135	SAT TT=1.41	SAT TT=1.363	SAT TT=1.25	SAT TT=0.424
bqwh/bqwh-18-141_glb/ bqwh-18-141-23_glb.xml	SAT TT=0.046	SAT TT=1.001 CHECKS=36 NODES=0	SAT TT=1.303 CHECKS=36 NODES=5053	SAT TT=0.069	SAT TT=10.289 NODES=29672	SAT TT=6.38 NODES=17934	SAT TT=7.77 CHECKS=0 NODES=35418	SAT TT=0.046	SAT TT=4.696	SAT TT=4.584	SAT TT=0.41	SAT TT=1.297	SAT TT=1.308	SAT TT=1.01	SAT TT=0.72
bqwh/bqwh-18-141_glb/ bqwh-18-141-25_glb.xml	SAT TT=0.059	SAT TT=2.166 CHECKS=36 NODES=13717	SAT TT=2.566 CHECKS=36 NODES=19221	SAT TT=0.267	SAT TT=135.736 NODES=423644	SAT TT=5.878 NODES=14013	SAT TT=3.831 CHECKS=0 NODES=16049	SAT TT=0.059	SAT TT=4.918	SAT TT=4.639	SAT TT=0.776	SAT TT=1.416	SAT TT=1.423	SAT TT=1.13	SAT TT=6.34
bqwh/bqwh-18-141_glb/ bqwh-18-141-27_glb.xml	SAT TT=0.032	SAT TT=1.696 CHECKS=36 NODES=8913	SAT TT=1.926 CHECKS=36 NODES=11541	SAT TT=0.106	SAT TT=110.523 NODES=334672	SAT TT=4.07 NODES=9455	SAT TT=4.145 CHECKS=0 NODES=18204	SAT TT=0.032	SAT TT=4.588	SAT TT=4.372	SAT TT=0.281	SAT TT=1.299	SAT TT=1.246	SAT TT=1.06	SAT TT=0.219
Bench name	Best results on this instance	Abscon 109 ESAC	Abscon 109 AC	BPrologCSPSolver70a 2006-12-13	CSP4J - Combo 2006-12-19	CSP4J - MAC 2006-12-19	CSP4J - MAC 2007-01-16	CSPtoSAT+minisat 0.3	galac 1	galacJ beta 1	Mistral 2006-12-04	sat4jCSP 1.7 RC BF3	SAT4JCSP-CACHED 1.7 RC BF3	sugar 0.40	Tramontane 2006-12-04
bqwh/bqwh-18-141_glb/ bqwh-18-141-29_glb.xml	SAT TT=0.029	SAT TT=1.129 CHECKS=36 NODES=2823	SAT TT=1.157 CHECKS=36 NODES=3254	SAT TT=1.435	SAT TT=1.915 NODES=4437	SAT TT=0.658 NODES=717	SAT TT=1.456 CHECKS=0 NODES=4998	SAT TT=0.029	SAT TT=5.341	SAT TT=4.854	SAT TT=0.05	SAT TT=1.313	SAT TT=1.337	SAT TT=1.23	SAT TT=0.099
bqwh/bqwh-18-141_glb/ bqwh-18-141-31_glb.xml	SAT TT=0.028	SAT TT=1.256 CHECKS=36 NODES=3535	SAT TT=0.884 CHECKS=36 NODES=1277	SAT TT=0.028	SAT TT=12.211 NODES=35223	SAT TT=0.806 NODES=1050	SAT TT=4.874 CHECKS=0 NODES=21972	SAT TT=0.029	SAT TT=5.588	SAT TT=5.272	SAT TT=1.457	SAT TT=1.555	SAT TT=1.523	SAT TT=1.23	SAT TT=0.324
bqwh/bqwh-18-141_glb/ bqwh-18-141-33_glb.xml	SAT TT=0.026	SAT TT=0.929 CHECKS=36 NODES=324	SAT TT=0.83 CHECKS=36 NODES=675	SAT TT=0.026	SAT TT=0.427 NODES=200	SAT TT=0.41 NODES=214	SAT TT=0.418 CHECKS=0 NODES=268	SAT TT=0.026	SAT TT=4.165	SAT TT=3.796	SAT TT=0.04	SAT TT=1.068	SAT TT=1.123	SAT TT=0.91	SAT TT=0.043
bqwh/bqwh-18-141_glb/ bqwh-18-141-35_glb.xml	SAT TT=0.034	SAT TT=0.946 CHECKS=36 NODES=523	SAT TT=0.959 CHECKS=36 NODES=1532	SAT TT=0.034	SAT TT=0.431 NODES=201	SAT TT=0.403 NODES=199	SAT TT=2.72 CHECKS=0 NODES=11038	SAT TT=0.034	SAT TT=4.188	SAT TT=3.905	SAT TT=0.066	SAT TT=1.374	SAT TT=1.367	SAT TT=1.1	SAT TT=0.736
bqwh/bqwh-18-141_glb/ bqwh-18-141-37_glb.xml	SAT TT=0.033	SAT TT=1.005 CHECKS=36 NODES=1187	SAT TT=1.165 CHECKS=36 NODES=3397	SAT TT=0.033	SAT TT=26.653 NODES=77728	SAT TT=1.899 NODES=3847	SAT TT=4.844 CHECKS=0 NODES=20745	SAT TT=0.04	SAT TT=4.454	SAT TT=4.244	SAT TT=0.089	SAT TT=1.413	SAT TT=1.354	SAT TT=1.17	SAT TT=0.164
bqwh/bqwh-18-141_glb/ bqwh-18-141-39_glb.xml	SAT TT=0.033	SAT TT=1.028 CHECKS=36 NODES=811	SAT TT=0.909 CHECKS=36 NODES=1420	SAT TT=0.074	SAT TT=0.523 NODES=415	SAT TT=1.962 NODES=4087	SAT TT=1.808 CHECKS=0 NODES=6346	SAT TT=0.033	SAT TT=4.456	SAT TT=4.199	SAT TT=0.221	SAT TT=1.164	SAT TT=1.191	SAT TT=1.07	SAT TT=0.215
bqwh/bqwh-18-141_glb/ bqwh-18-141-3_glb.xml	SAT TT=0.026	SAT TT=1.825 CHECKS=36 NODES=10284	SAT TT=1.941 CHECKS=36 NODES=12389	SAT TT=3.454	SAT TT=1.275 NODES=2155	SAT TT=3.835 NODES=9366	SAT TT=1.397 CHECKS=0 NODES=4984	SAT TT=0.026	SAT TT=4.632	SAT TT=4.494	SAT TT=6.451	SAT TT=1.696	SAT TT=1.788	SAT TT=1.074	SAT TT=5.454
bqwh/bqwh-18-141_glb/ bqwh-18-141-41_glb.xml	SAT TT=0.033	SAT TT=1.114 CHECKS=36 NODES=2293	SAT TT=0.949 CHECKS=36 NODES=1498	SAT TT=1.263	SAT TT=1.038 NODES=1656	SAT TT=0.884 NODES=1286	SAT TT=5.683 CHECKS=0 NODES=24061	SAT TT=0.033	SAT TT=4.411	SAT TT=3.964	SAT TT=0.39	SAT TT=1.606	SAT TT=1.622	SAT TT=0.95	SAT TT=0.279
bqwh/bqwh-18-141_glb/ bqwh-18-141-43_glb.xml	SAT TT=0.059	SAT TT=2.266 CHECKS=36 NODES=16909	SAT TT=1.367 CHECKS=36 NODES=6325	SAT TT=0.873	SAT TT=141.348 NODES=443824	SAT TT=55.203 NODES=155749	SAT TT=2.291 CHECKS=0 NODES=9758	SAT TT=0.059	SAT TT=5.162	SAT TT=5.395	SAT TT=0.176	SAT TT=1.525	SAT TT=1.438	SAT TT=1.36	SAT TT=0.258
bqwh/bqwh-18-141_glb/ bqwh-18-141-45_glb.xml	SAT TT=0.054	SAT TT=0.85 CHECKS=36 NODES=425	SAT TT=0.778 CHECKS=36 NODES=358	SAT TT=0.131	SAT TT=25.597 NODES=79059	SAT TT=0.635 NODES=801	SAT TT=2.223 CHECKS=0 NODES=9026	SAT TT=0.058	SAT TT=4.911	SAT TT=5.028	SAT TT=0.076	SAT TT=1.202	SAT TT=1.229	SAT TT=1.19	SAT TT=0.054
Bench name	Best results on this instance	Abscon 109 ESAC	Abscon 109 AC	BPrologCSPSolver70a 2006-12-13	CSP4J - Combo 2006-12-19	CSP4J - MAC 2006-12-19	CSP4J - MAC 2007-01-16	CSPtoSAT+minisat 0.3	galac 1	galacJ beta 1	Mistral 2006-12-04	sat4jCSP 1.7 RC BF3	SAT4JCSP-CACHED 1.7 RC BF3	sugar 0.40	Tramontane 2006-12-04
bqwh/bqwh-18-141_glb/ bqwh-18-141-47_glb.xml	SAT TT=0.05	SAT TT=2.043 CHECKS=36 NODES=12421	SAT TT=14.588 CHECKS=36 NODES=169752	SAT TT=1.475	SAT TT=22.614 NODES=64374	SAT TT=2.482 NODES=5752	SAT TT=0.917 CHECKS=0 NODES=2650	SAT TT=0.05	SAT TT=4.632	SAT TT=4.351	SAT TT=2.742	SAT TT=1.422	SAT TT=1.518	SAT TT=1.15	SAT TT=3.975
bqwh/bqwh-18-141_glb/ bqwh-18-141-49_glb.xml	SAT TT=0.058	SAT TT=0.984 CHECKS=36 NODES=855	SAT TT=1.449 CHECKS=36 NODES=7124	SAT TT=0.158	SAT TT=12.299 NODES=33631	SAT TT=0.748 NODES=974	SAT TT=71.554 CHECKS=0 NODES=388258	SAT TT=0.058	SAT TT=5.271	SAT TT=5.342	SAT TT=0.793	SAT TT=1.387	SAT TT=1.347	SAT TT=1.133	SAT TT=0.27
bqwh/bqwh-18-141_glb/ bqwh-18-141-51_glb.xml	SAT TT=0.027	SAT TT=1.089 CHECKS=36 NODES=1818	SAT TT=1.323 CHECKS=36 NODES=5040	SAT TT=0.027	SAT TT=14.69 NODES=40410	SAT TT=4.773 NODES=11298	SAT TT=2.782 CHECKS=0 NODES=9830	SAT TT=0.031	SAT TT=4.702	SAT TT=4.485	SAT TT=0.034	SAT TT=1.37	SAT TT=1.332	SAT TT=1.196	SAT TT=0.126
bqwh/bqwh-18-141_glb/ bqwh-18-141-53_glb.xml	SAT TT=0.025	SAT TT=0.847 CHECKS=36 NODES=539	SAT TT=0.922 CHECKS=36 NODES=1277	SAT TT=0.025	SAT TT=0.451 NODES=209	SAT TT=0.433 NODES=256	SAT TT=0.779 CHECKS=0 NODES=1763	SAT TT=0.036	SAT TT=5.519	SAT TT=5.993	SAT TT=0.029	SAT TT=1.362	SAT TT=1.371	SAT TT=1.179	SAT TT=0.032
bqwh/bqwh-18-141_glb/ bqwh-18-141-55_glb.xml	SAT TT=0.046	SAT TT=1.406 CHECKS=36 NODES=3243	SAT TT=1.039 CHECKS=36 NODES=2221	SAT TT=0.047	SAT TT=1.394 NODES=2508	SAT TT=0.872 NODES=1221	SAT TT=2.933 CHECKS=0 NODES=10307	SAT TT=0.046	SAT TT=4.103	SAT TT=3.889	SAT TT=0.209	SAT TT=1.181	SAT TT=1.174	SAT TT=1.21	SAT TT=0.237
bqwh/bqwh-18-141_glb/ bqwh-18-141-57_glb.xml	SAT TT=0.03	SAT TT=0.905 CHECKS=36 NODES=862	SAT TT=1.007 CHECKS=36 NODES=1880	SAT TT=0.038	SAT TT=0.825 NODES=886	SAT TT=0.631 NODES=748	SAT TT=3.137 CHECKS=0 NODES=12600	SAT TT=0.03	SAT TT=4.154	SAT TT=4.004	SAT TT=0.088	SAT TT=1.283	SAT TT=1.365	SAT TT=1.11	SAT TT=0.124
bqwh/bqwh-18-141_glb/ bqwh-18-141-59_glb.xml	SAT TT=0.035	SAT TT=1.069 CHECKS=36 NODES=2246	SAT TT=0.851 CHECKS=36 NODES=1027	SAT TT=1.504	SAT TT=7.116 NODES=18616	SAT TT=0.675 NODES=810	SAT TT=1.602 CHECKS=0 NODES=6329	SAT TT=0.035	SAT TT=4.9	SAT TT=4.835	SAT TT=4.65	SAT TT=1.313	SAT TT=1.295	SAT TT=1.07	SAT TT=0.474
bqwh/bqwh-18-141_glb/ bqwh-18-141-5_glb.xml	SAT TT=0.062	SAT TT=1.041 CHECKS=36 NODES=991	SAT TT=1.49 CHECKS=36 NODES=6708	SAT TT=0.084	SAT TT=0.604 NODES=569	SAT TT=4.558 NODES=12585	SAT TT=2.897 CHECKS=0 NODES=13137	SAT TT=0.062	SAT TT=5.004	SAT TT=4.886	SAT TT=0.528	SAT TT=1.747	SAT TT=1.671	SAT TT=1.384	SAT TT=3.17
bqwh/bqwh-18-141_glb/ bqwh-18-141-61_glb.xml	SAT TT=0.051	SAT TT=1.914 CHECKS=36 NODES=12859	SAT TT=5.637 CHECKS=36 NODES=66050	SAT TT=10.083	SAT TT=27.778 NODES=82750	SAT TT=0.674 NODES=918	SAT TT=14.101 CHECKS=0 NODES=65753	SAT TT=0.051	SAT TT=4.751	SAT TT=4.776	SAT TT=2.818	SAT TT=1.435	SAT TT=1.54	SAT TT=1.28	SAT TT=0.068
bqwh/bqwh-18-141_glb/ bqwh-18-141-63_glb.xml	SAT TT=0.041	SAT TT=1.298 CHECKS=36 NODES=3508	SAT TT=0.9 CHECKS=36 NODES=1137	SAT TT=0.111	SAT TT=1.246 NODES=1963	SAT TT=1.368 NODES=2795	SAT TT=2.051 CHECKS=0 NODES=7636	SAT TT=0.041	SAT TT=4.6	SAT TT=4.384	SAT TT=0.305	SAT TT=1.534	SAT TT=1.489	SAT TT=0.93	SAT TT=2.135
Bench name	Best results on this instance	Abscon 109 ESAC	Abscon 109 AC	BPrologCSPSolver70a 2006-12-13	CSP4J - Combo 2006-12-19	CSP4J - MAC 2006-12-19	CSP4J - MAC 2007-01-16	CSPtoSAT+minisat 0.3	galac 1	galacJ beta 1	Mistral 2006-12-04	sat4jCSP 1.7 RC BF3	SAT4JCSP-CACHED 1.7 RC BF3	sugar 0.40	Tramontane 2006-12-04
bqwh/bqwh-18-141_glb/ bqwh-18-141-65_glb.xml	SAT TT=0.029	SAT TT=1.712 CHECKS=36 NODES=8756	SAT TT=1.344 CHECKS=36 NODES=4977	SAT TT=0.029	SAT TT=1.753 NODES=2703	SAT TT=3.329 NODES=8290	SAT TT=9.982 CHECKS=0 NODES=50751	SAT TT=0.058	SAT TT=4.064	SAT TT=3.844	SAT TT=0.181	SAT TT=1.463	SAT TT=1.453	SAT TT=1.21	SAT TT=1.636
bqwh/bqwh-18-141_glb/ bqwh-18-141-67_glb.xml	SAT TT=0.071	SAT TT=1.302 CHECKS=36 NODES=3986	SAT TT=0.836 CHECKS=36 NODES=735	SAT TT=0.075	SAT TT=35.317 NODES=111350	SAT TT=0.505 NODES=487	SAT TT=0.92 CHECKS=0 NODES=2499	SAT TT=0.071	SAT TT=4.578	SAT TT=4.124	SAT TT=0.7	SAT TT=1.356	SAT TT=1.382	SAT TT=1.053	SAT TT=0.094
bqwh/bqwh-18-141_glb/ bqwh-18-141-69_glb.xml	SAT TT=0.059	SAT TT=1.545 CHECKS=36 NODES=6188	SAT TT=1.456 CHECKS=36 NODES=6412	SAT TT=0.228	SAT TT=2.139 NODES=3784	SAT TT=1.771 NODES=4176	SAT TT=7.631 CHECKS=0 NODES=37048	SAT TT=0.059	SAT TT=3.955	SAT TT=4.05	SAT TT=0.207	SAT TT=1.333	SAT TT=1.344	SAT TT=1.011	SAT TT=0.298
bqwh/bqwh-18-141_glb/ bqwh-18-141-71_glb.xml	SAT TT=0.031	SAT TT=1.071 CHECKS=36 NODES=2336	SAT TT=1.776 CHECKS=36 NODES=9297	SAT TT=0.581	SAT TT=12.258 NODES=32587	SAT TT=2.001 NODES=4525	SAT TT=1.401 CHECKS=0 NODES=4488	SAT TT=0.031	SAT TT=4.764	SAT TT=4.728	SAT TT=0.04	SAT TT=1.433	SAT TT=1.48	SAT TT=1.08	SAT TT=2.217
bqwh/bqwh-18-141_glb/ bqwh-18-141-73_glb.xml	SAT TT=0.029	SAT TT=1.008 CHECKS=36 NODES=1347	SAT TT=2.017 CHECKS=36 NODES=13035	SAT TT=1.124	SAT TT=40.945 NODES=121263	SAT TT=1.816 NODES=3896	SAT TT=26.656 CHECKS=0 NODES=125650	SAT TT=0.029	SAT TT=4.892	SAT TT=4.686	SAT TT=2.125	SAT TT=1.275	SAT TT=1.295	SAT TT=1.02	SAT TT=1.214
bqwh/bqwh-18-141_glb/ bqwh-18-141-75_glb.xml	SAT TT=0.024	SAT TT=1.145 CHECKS=36 NODES=2215	SAT TT=0.964 CHECKS=36 NODES=1791	SAT TT=0.032	SAT TT=1.516 NODES=2518	SAT TT=0.511 NODES=468	SAT TT=1.804 CHECKS=0 NODES=6101	SAT TT=0.024	SAT TT=4.473	SAT TT=4.266	SAT TT=0.096	SAT TT=2.158	SAT TT=1.499	SAT TT=1.14	SAT TT=0.055
bqwh/bqwh-18-141_glb/ bqwh-18-141-77_glb.xml	SAT TT=0.034	SAT TT=1.069 CHECKS=36 NODES=2106	SAT TT=1.571 CHECKS=36 NODES=8436	SAT TT=0.034	SAT TT=0.92 NODES=1113	SAT TT=0.713 NODES=856	SAT TT=0.869 CHECKS=0 NODES=2017	SAT TT=0.091	SAT TT=5.158	SAT TT=5.787	SAT TT=0.1	SAT TT=1.405	SAT TT=1.262	SAT TT=1.16	SAT TT=0.152
bqwh/bqwh-18-141_glb/ bqwh-18-141-79_glb.xml	SAT TT=0.036	SAT TT=1.425 CHECKS=36 NODES=4323	SAT TT=1.38 CHECKS=36 NODES=4857	SAT TT=0.068	SAT TT=3.414 NODES=7604	SAT TT=0.98 NODES=1874	SAT TT=2.635 CHECKS=0 NODES=10957	SAT TT=0.036	SAT TT=4.145	SAT TT=3.788	SAT TT=0.516	SAT TT=1.518	SAT TT=1.456	SAT TT=1.2	SAT TT=1.106
bqwh/bqwh-18-141_glb/ bqwh-18-141-7_glb.xml	SAT TT=0.048	SAT TT=1.393 CHECKS=36 NODES=4851	SAT TT=1.034 CHECKS=36 NODES=2343	SAT TT=0.325	SAT TT=1.279 NODES=1981	SAT TT=4.938 NODES=13962	SAT TT=7.739 CHECKS=0 NODES=36029	SAT TT=0.048	SAT TT=4.579	SAT TT=4.45	SAT TT=0.063	SAT TT=1.486	SAT TT=1.531	SAT TT=1.136	SAT TT=0.076
bqwh/bqwh-18-141_glb/ bqwh-18-141-81_glb.xml	SAT TT=0.041	SAT TT=2.902 CHECKS=36 NODES=23745	SAT TT=1.079 CHECKS=36 NODES=2912	SAT TT=0.041	SAT TT=59.43 NODES=179233	SAT TT=8.127 NODES=23405	SAT TT=12.456 CHECKS=0 NODES=58884	SAT TT=0.074	SAT TT=4.657	SAT TT=5.207	SAT TT=0.109	SAT TT=1.54	SAT TT=1.617	SAT TT=1.05	SAT TT=0.046
Bench name	Best results on this instance	Abscon 109 ESAC	Abscon 109 AC	BPrologCSPSolver70a 2006-12-13	CSP4J - Combo 2006-12-19	CSP4J - MAC 2006-12-19	CSP4J - MAC 2007-01-16	CSPtoSAT+minisat 0.3	galac 1	galacJ beta 1	Mistral 2006-12-04	sat4jCSP 1.7 RC BF3	SAT4JCSP-CACHED 1.7 RC BF3	sugar 0.40	Tramontane 2006-12-04
bqwh/bqwh-18-141_glb/ bqwh-18-141-83_glb.xml	SAT TT=0.034	SAT TT=0.929 CHECKS=36 NODES=977	SAT TT=1.3 CHECKS=36 NODES=6038	SAT TT=0.088	SAT TT=10.541 NODES=32114	SAT TT=0.497 NODES=443	SAT TT=0.861 CHECKS=0 NODES=2454	SAT TT=0.034	SAT TT=4.368	SAT TT=4.122	SAT TT=0.139	SAT TT=1.222	SAT TT=1.23	SAT TT=1.21	SAT TT=0.116
bqwh/bqwh-18-141_glb/ bqwh-18-141-85_glb.xml	SAT TT=0.034	SAT TT=1.123 CHECKS=36 NODES=2796	SAT TT=1.108 CHECKS=36 NODES=2338	SAT TT=0.089	SAT TT=17.694 NODES=50380	SAT TT=1.024 NODES=1927	SAT TT=1.237 CHECKS=0 NODES=3970	SAT TT=0.034	SAT TT=4.136	SAT TT=4.068	SAT TT=0.124	SAT TT=1.401	SAT TT=1.384	SAT TT=1.21	SAT TT=0.046
bqwh/bqwh-18-141_glb/ bqwh-18-141-87_glb.xml	SAT TT=0.041	SAT TT=1.103 CHECKS=36 NODES=1763	SAT TT=1.395 CHECKS=36 NODES=6527	SAT TT=0.464	SAT TT=1.306 NODES=1967	SAT TT=17.021 NODES=51038	SAT TT=2.413 CHECKS=0 NODES=9644	SAT TT=0.041	SAT TT=5.578	SAT TT=5.197	SAT TT=0.193	SAT TT=1.372	SAT TT=1.353	SAT TT=1.048	SAT TT=0.423
bqwh/bqwh-18-141_glb/ bqwh-18-141-89_glb.xml	SAT TT=0.049	SAT TT=1.099 CHECKS=36 NODES=1000	SAT TT=0.906 CHECKS=36 NODES=1426	SAT TT=0.058	SAT TT=0.429 NODES=168	SAT TT=0.442 NODES=254	SAT TT=0.812 CHECKS=0 NODES=1701	SAT TT=0.049	SAT TT=4.961	SAT TT=4.579	SAT TT=0.189	SAT TT=1.173	SAT TT=1.157	SAT TT=1.07	SAT TT=1.12
bqwh/bqwh-18-141_glb/ bqwh-18-141-91_glb.xml	SAT TT=0.047	SAT TT=1.339 CHECKS=36 NODES=4214	SAT TT=2.893 CHECKS=36 NODES=26746	SAT TT=0.047	SAT TT=7.691 NODES=22337	SAT TT=7.044 NODES=22128	SAT TT=7.956 CHECKS=0 NODES=35488	SAT TT=0.048	SAT TT=4.437	SAT TT=4.285	SAT TT=0.421	SAT TT=1.291	SAT TT=1.364	SAT TT=1.18	SAT TT=0.125
bqwh/bqwh-18-141_glb/ bqwh-18-141-93_glb.xml	SAT TT=0.024	SAT TT=0.745 CHECKS=36 NODES=0	SAT TT=0.713 CHECKS=36 NODES=142	SAT TT=0.024	SAT TT=0.846 NODES=968	SAT TT=0.946 NODES=1582	SAT TT=1.204 CHECKS=0 NODES=3597	SAT TT=0.038	SAT TT=4.278	SAT TT=4.071	SAT TT=0.029	SAT TT=1.173	SAT TT=1.238	SAT TT=0.91	SAT TT=0.101
bqwh/bqwh-18-141_glb/ bqwh-18-141-95_glb.xml	SAT TT=0.039	SAT TT=0.903 CHECKS=36 NODES=854	SAT TT=0.867 CHECKS=36 NODES=862	SAT TT=0.052	SAT TT=3.203 NODES=7277	SAT TT=0.98 NODES=1571	SAT TT=6.306 CHECKS=0 NODES=28988	SAT TT=0.039	SAT TT=4.757	SAT TT=4.716	SAT TT=0.374	SAT TT=1.393	SAT TT=1.48	SAT TT=1.19	SAT TT=0.508
bqwh/bqwh-18-141_glb/ bqwh-18-141-97_glb.xml	SAT TT=0.059	SAT TT=2.621 CHECKS=36 NODES=20749	SAT TT=0.795 CHECKS=36 NODES=495	SAT TT=0.507	SAT TT=1.645 NODES=2668	SAT TT=4.49 NODES=12474	SAT TT=13.97 CHECKS=0 NODES=68617	SAT TT=0.059	SAT TT=4.197	SAT TT=4.002	SAT TT=0.371	SAT TT=1.529	SAT TT=1.549	SAT TT=1.2	SAT TT=3.496
bqwh/bqwh-18-141_glb/ bqwh-18-141-99_glb.xml	SAT TT=0.028	SAT TT=1.44 CHECKS=36 NODES=4224	SAT TT=1.691 CHECKS=36 NODES=8343	SAT TT=0.028	SAT TT=1.053 NODES=1451	SAT TT=2.474 NODES=4598	SAT TT=15.443 CHECKS=0 NODES=75929	SAT TT=0.029	SAT TT=4.677	SAT TT=4.584	SAT TT=0.065	SAT TT=1.403	SAT TT=1.421	SAT TT=1.21	SAT TT=2.465
bqwh/bqwh-18-141_glb/ bqwh-18-141-9_glb.xml	SAT TT=0.033	SAT TT=0.938 CHECKS=36 NODES=423	SAT TT=0.929 CHECKS=36 NODES=1405	SAT TT=0.033	SAT TT=0.824 NODES=903	SAT TT=0.541 NODES=426	SAT TT=1.822 CHECKS=0 NODES=6167	SAT TT=0.043	SAT TT=4.83	SAT TT=4.427	SAT TT=0.64	SAT TT=1.343	SAT TT=1.41	SAT TT=1.22	SAT TT=0.038

Some statistics...

	Abscon 109 ESAC	Abscon 109 AC	BPrologCSPSolver70a 2006-12-13	CSP4J - Combo 2006-12-19	CSP4J - MAC 2006-12-19	CSP4J - MAC 2007-01-16	CSPtoSAT+minisat 0.3	galac 1	galacJ beta 1	Mistral 2006-12-04	sat4jCSP 1.7 RC BF3	SAT4JCSP-CACHED 1.7 RC BF3	sugar 0.40	Tramontane 2006-12-04
Number of times the solver is able to give the best known answer	100	100	100	100	100	100	100	100	0	100	100	100	100	100
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	22	0	0	0	62	0	0	11	0	0	0	8