CSP 2006 Competition (second round): results by benchmark

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

This page displays the results of the different solvers for each benchmark for category binary constraints in intension (2-ARY-INT), 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
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
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	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	VALCSP 3.0	VALCSP 3.1
jobShop/ jobShop-e0ddr1/ e0ddr1-10-by-5-10.xml	SAT TT=0.076	SAT TT=1.79 CHECKS=435093 NODES=187	SAT TT=1.892 CHECKS=2376455 NODES=1641	SAT TT=896.149	SAT TT=0.355	SAT TT=4.672	SAT TT=5.445 NODES=2306	? (TO) TT=1800.1	SAT TT=3.641 CHECKS=5763548 NODES=1169	? (TO) TT=1800.08	SAT TT=66.54	SAT TT=31.038	SAT TT=0.855	? (TO) TT=1800.18	SAT TT=954.208	SAT TT=1.04	SAT TT=0.076	SAT TT=0.716 CHECKS=1344210 NODES=50	SAT TT=0.663 CHECKS=1344210 NODES=50
jobShop/ jobShop-e0ddr1/ e0ddr1-10-by-5-1.xml	SAT TT=0.036	SAT TT=1.956 CHECKS=2454022 NODES=1436	SAT TT=1.738 CHECKS=1196602 NODES=955	SAT TT=268.29	SAT TT=0.323	SAT TT=4.096	SAT TT=6.542 NODES=3261	SAT TT=5.597 NODES=760	SAT TT=3.059 CHECKS=5094837 NODES=198	? (TO) TT=1800.05	SAT TT=236.67	SAT TT=27.613	SAT TT=0.036	SAT TT=13.332	SAT TT=15.585	SAT TT=1.04	SAT TT=0.037	SAT TT=182.759 CHECKS=22641600000 NODES=461829	SAT TT=180.77 CHECKS=22641600000 NODES=461829
jobShop/ jobShop-e0ddr1/ e0ddr1-10-by-5-2.xml	SAT TT=0.031	SAT TT=1.629 CHECKS=149301 NODES=0	SAT TT=1.768 CHECKS=241679 NODES=173	SAT TT=1792.73	SAT TT=0.336	SAT TT=4.003	SAT TT=4.624 NODES=2616	SAT TT=3.732 NODES=118	SAT TT=3.224 CHECKS=5186675 NODES=118	? (TO) TT=1800.09	SAT TT=42.886	SAT TT=26.355	SAT TT=0.039	SAT TT=11.417	SAT TT=15.926	SAT TT=1.01	SAT TT=0.031	? (TO) TT=1800.05	? (TO) TT=1800.1
jobShop/ jobShop-e0ddr1/ e0ddr1-10-by-5-3.xml	SAT TT=0.044	SAT TT=3.273 CHECKS=24928420 NODES=18280	? (TO) TT=1800.1	? (TO) TT=1800.08	SAT TT=0.374	SAT TT=4.176	SAT TT=40.55 NODES=25949	? (TO) TT=1800.06	? (TO) TT=1800.09	? (TO) TT=1800.04	? (TO) TT=1800.06	SAT TT=718.06	SAT TT=2.095	? (TO) TT=1800.22	SAT TT=1564.47	SAT TT=1.02	SAT TT=0.044	? (TO) TT=1800.07	? (TO) TT=1800.1
jobShop/ jobShop-e0ddr1/ e0ddr1-10-by-5-4.xml	SAT TT=0.037	SAT TT=1.633 CHECKS=60529 NODES=0	SAT TT=1.697 CHECKS=60217 NODES=50	SAT TT=898.304	SAT TT=0.323	SAT TT=3.918	SAT TT=11.32 NODES=6961	SAT TT=3.293 NODES=109	SAT TT=3.007 CHECKS=5062693 NODES=109	? (TO) TT=1800.07	SAT TT=40.126	SAT TT=28.841	SAT TT=0.04	SAT TT=10.664	SAT TT=13.906	SAT TT=0.96	SAT TT=0.037	SAT TT=1184.95 CHECKS=143846000000 NODES=2637230	SAT TT=1203.03 CHECKS=143846000000 NODES=2637230
jobShop/ jobShop-e0ddr1/ e0ddr1-10-by-5-5.xml	SAT TT=0.034	SAT TT=1.761 CHECKS=59163 NODES=0	SAT TT=1.811 CHECKS=198531 NODES=212	SAT TT=1344.48	SAT TT=0.332	SAT TT=4.98	SAT TT=2.661 NODES=172	SAT TT=3.166 NODES=50	SAT TT=3.279 CHECKS=5447172 NODES=50	? (TO) TT=1800.02	SAT TT=43.433	SAT TT=27.305	SAT TT=0.036	SAT TT=11.426	SAT TT=15.081	SAT TT=1.03	SAT TT=0.034	SAT TT=0.698 CHECKS=1231360 NODES=52	SAT TT=0.659 CHECKS=1231360 NODES=52
jobShop/ jobShop-e0ddr1/ e0ddr1-10-by-5-6.xml	SAT TT=0.036	SAT TT=1.684 CHECKS=67051 NODES=0	SAT TT=1.714 CHECKS=200386 NODES=162	SAT TT=0.037	SAT TT=0.342	SAT TT=5.537	SAT TT=2.594 NODES=50	SAT TT=3.454 NODES=50	SAT TT=3.15 CHECKS=5741775 NODES=50	? (TO) TT=1800.01	SAT TT=43.874	SAT TT=25.063	SAT TT=0.039	SAT TT=11.531	SAT TT=14.919	SAT TT=1.04	SAT TT=0.036	SAT TT=0.75 CHECKS=1338460 NODES=50	SAT TT=0.697 CHECKS=1338460 NODES=50
jobShop/ jobShop-e0ddr1/ e0ddr1-10-by-5-7.xml	SAT TT=0.035	SAT TT=1.665 CHECKS=90980 NODES=0	SAT TT=1.813 CHECKS=781241 NODES=840	SAT TT=0.038	SAT TT=0.331	SAT TT=4.031	SAT TT=4.232 NODES=2157	SAT TT=3.038 NODES=50	SAT TT=3.17 CHECKS=5129846 NODES=50	? (TO) TT=1800.1	SAT TT=42.786	SAT TT=26.262	SAT TT=0.038	SAT TT=10.88	SAT TT=14.615	SAT TT=1.062	SAT TT=0.035	SAT TT=0.712 CHECKS=1267030 NODES=50	SAT TT=0.667 CHECKS=1267030 NODES=50
jobShop/ jobShop-e0ddr1/ e0ddr1-10-by-5-8.xml	SAT TT=0.044	SAT TT=3.264 CHECKS=21183209 NODES=14260	SAT TT=1.754 CHECKS=1485959 NODES=1077	? (TO) TT=1800.09	SAT TT=0.339	SAT TT=4.15	SAT TT=6.312 NODES=2764	SAT TT=4.534 NODES=633	SAT TT=3.423 CHECKS=5227342 NODES=497	? (TO) TT=1800.04	? (TO) TT=1800.05	SAT TT=247.551	SAT TT=0.044	SAT TT=11.742	SAT TT=14.407	SAT TT=1.08	SAT TT=0.05	SAT TT=67.516 CHECKS=7290100000 NODES=86816	SAT TT=63.752 CHECKS=7290100000 NODES=86816
jobShop/ jobShop-e0ddr1/ e0ddr1-10-by-5-9.xml	SAT TT=0.036	SAT TT=1.794 CHECKS=100429 NODES=0	SAT TT=1.874 CHECKS=61060 NODES=50	SAT TT=0.036	SAT TT=0.342	SAT TT=4.784	SAT TT=2.402 NODES=54	SAT TT=3.471 NODES=66	SAT TT=3.305 CHECKS=5627798 NODES=59	? (TO) TT=1800.04	SAT TT=40.981	SAT TT=25.993	SAT TT=0.036	SAT TT=11.464	SAT TT=14.269	SAT TT=1.04	SAT TT=0.037	SAT TT=0.731 CHECKS=1166650 NODES=50	SAT TT=0.693 CHECKS=1166650 NODES=50
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	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	VALCSP 3.0	VALCSP 3.1
jobShop/ jobShop-e0ddr2/ e0ddr2-10-by-5-10.xml	SAT TT=0.034	SAT TT=1.813 CHECKS=78785 NODES=0	SAT TT=1.826 CHECKS=79757 NODES=50	SAT TT=0.653	SAT TT=0.397	SAT TT=5.526	SAT TT=5.068 NODES=2994	SAT TT=4.15 NODES=50	SAT TT=3.694 CHECKS=7139758 NODES=50	? (TO) TT=1800.1	SAT TT=54.145	SAT TT=401.486	SAT TT=0.037	SAT TT=14.099	SAT TT=18.413	SAT TT=1.11	SAT TT=0.034	SAT TT=0.969 CHECKS=1960910 NODES=64	SAT TT=0.978 CHECKS=1960910 NODES=64
jobShop/ jobShop-e0ddr2/ e0ddr2-10-by-5-1.xml	SAT TT=0.042	SAT TT=2.095 CHECKS=3039127 NODES=873	SAT TT=1.983 CHECKS=308523 NODES=133	? (TO) TT=1800.01	SAT TT=0.522	SAT TT=5.442	SAT TT=13.953 NODES=7089	SAT TT=6.636 NODES=2605	SAT TT=3.744 CHECKS=6491815 NODES=526	? (TO) TT=1800.11	SAT TT=98.333	? (TO) TT=0.029	SAT TT=0.095	SAT TT=12.271	SAT TT=17.019	SAT TT=1.01	SAT TT=0.042	? (TO) TT=1800.1	? (TO) TT=1800.09
jobShop/ jobShop-e0ddr2/ e0ddr2-10-by-5-2.xml	SAT TT=0.522	SAT TT=1.861 CHECKS=547258 NODES=172	SAT TT=2.061 CHECKS=1301425 NODES=557	? (TO) TT=1800.06	SAT TT=0.69	SAT TT=4.859	SAT TT=7.297 NODES=2518	SAT TT=6.116 NODES=1847	SAT TT=4.893 CHECKS=7009274 NODES=3903	? (TO) TT=1800.1	SAT TT=109.204	? (TO) TT=1800.1	SAT TT=0.522	SAT TT=18.149	SAT TT=20.86	SAT TT=1.06	SAT TT=1.197	? (TO) TT=1800.05	? (TO) TT=1800.09
jobShop/ jobShop-e0ddr2/ e0ddr2-10-by-5-3.xml	SAT TT=0.036	SAT TT=2.12 CHECKS=2254459 NODES=735	SAT TT=1.995 CHECKS=414074 NODES=274	SAT TT=899.358	SAT TT=0.372	SAT TT=4.577	SAT TT=2.791 NODES=55	SAT TT=3.776 NODES=51	SAT TT=3.411 CHECKS=6675056 NODES=51	? (TO) TT=1800.09	SAT TT=61.029	SAT TT=207.938	SAT TT=0.039	SAT TT=13.833	SAT TT=17.616	SAT TT=0.95	SAT TT=0.036	? (TO) TT=1800.04	? (TO) TT=1800.11
jobShop/ jobShop-e0ddr2/ e0ddr2-10-by-5-4.xml	SAT TT=0.038	SAT TT=2.072 CHECKS=213681 NODES=0	SAT TT=2.04 CHECKS=81114 NODES=50	SAT TT=899.227	SAT TT=0.389	SAT TT=6.046	SAT TT=2.881 NODES=55	SAT TT=4.33 NODES=128	SAT TT=3.549 CHECKS=7168569 NODES=123	? (TO) TT=1800.07	SAT TT=59.052	SAT TT=132.849	SAT TT=0.039	SAT TT=13.495	SAT TT=18.304	SAT TT=1.153	SAT TT=0.038	SAT TT=1.003 CHECKS=1724600 NODES=50	SAT TT=1.001 CHECKS=1724600 NODES=50
jobShop/ jobShop-e0ddr2/ e0ddr2-10-by-5-5.xml	SAT TT=0.036	SAT TT=2.053 CHECKS=158495 NODES=0	SAT TT=2.051 CHECKS=77517 NODES=50	SAT TT=45.138	SAT TT=0.395	SAT TT=6.048	SAT TT=2.709 NODES=53	SAT TT=4.118 NODES=121	SAT TT=3.605 CHECKS=7211044 NODES=121	? (TO) TT=1800.07	SAT TT=56.779	SAT TT=39.776	SAT TT=0.037	SAT TT=14.31	SAT TT=18.699	SAT TT=0.98	SAT TT=0.036	SAT TT=0.964 CHECKS=1748150 NODES=50	SAT TT=0.924 CHECKS=1748150 NODES=50
jobShop/ jobShop-e0ddr2/ e0ddr2-10-by-5-6.xml	SAT TT=0.035	SAT TT=1.856 CHECKS=83701 NODES=0	SAT TT=2.019 CHECKS=88314 NODES=60	SAT TT=0.037	SAT TT=0.381	SAT TT=5.7	SAT TT=2.819 NODES=77	SAT TT=4.076 NODES=124	SAT TT=3.694 CHECKS=7144373 NODES=124	? (TO) TT=1800.06	SAT TT=53.073	SAT TT=161.189	SAT TT=0.035	SAT TT=14.632	SAT TT=17.616	SAT TT=1.01	SAT TT=0.037	SAT TT=0.981 CHECKS=1614900 NODES=50	SAT TT=0.912 CHECKS=1614900 NODES=50
jobShop/ jobShop-e0ddr2/ e0ddr2-10-by-5-7.xml	SAT TT=0.037	SAT TT=1.808 CHECKS=131091 NODES=0	SAT TT=1.97 CHECKS=73559 NODES=50	SAT TT=899.85	SAT TT=0.381	SAT TT=4.948	SAT TT=2.821 NODES=55	SAT TT=3.884 NODES=50	SAT TT=3.363 CHECKS=6719584 NODES=50	? (TO) TT=1800.08	SAT TT=56.857	SAT TT=113.46	SAT TT=0.037	SAT TT=14.895	SAT TT=18.568	SAT TT=1.02	SAT TT=0.039	SAT TT=0.934 CHECKS=1789270 NODES=50	SAT TT=0.905 CHECKS=1789270 NODES=50
jobShop/ jobShop-e0ddr2/ e0ddr2-10-by-5-8.xml	SAT TT=0.051	SAT TT=2.01 CHECKS=269725 NODES=50	SAT TT=2.001 CHECKS=107709 NODES=64	SAT TT=1349.51	SAT TT=0.391	SAT TT=4.966	SAT TT=2.644 NODES=53	SAT TT=4.169 NODES=216	SAT TT=3.684 CHECKS=6687803 NODES=214	? (TO) TT=1800.09	SAT TT=62.78	SAT TT=53.785	SAT TT=0.057	SAT TT=13.685	SAT TT=17.504	SAT TT=1.05	SAT TT=0.051	SAT TT=1.282 CHECKS=33908300 NODES=1701	SAT TT=1.26 CHECKS=33908300 NODES=1701
jobShop/ jobShop-e0ddr2/ e0ddr2-10-by-5-9.xml	SAT TT=0.042	SAT TT=2.299 CHECKS=4346253 NODES=1520	SAT TT=2.195 CHECKS=2546684 NODES=1165	? (TO) TT=1800.12	SAT TT=0.435	SAT TT=5.307	SAT TT=31.405 NODES=16754	SAT TT=4.658 NODES=491	SAT TT=4.425 CHECKS=7075264 NODES=2677	? (TO) TT=1800.07	SAT TT=319.77	SAT TT=704.722	SAT TT=0.042	SAT TT=14.619	SAT TT=18.616	SAT TT=0.98	SAT TT=0.101	? (TO) TT=1800.07	? (TO) TT=1800.09
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	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	VALCSP 3.0	VALCSP 3.1
jobShop/ jobShop-enddr1/ enddr1-10-by-5-10.xml	SAT TT=0.038	SAT TT=1.853 CHECKS=94335 NODES=0	SAT TT=1.932 CHECKS=458143 NODES=347	SAT TT=1799.62	SAT TT=0.348	SAT TT=4.75	SAT TT=2.48 NODES=52	SAT TT=3.926 NODES=119	SAT TT=3.342 CHECKS=5892885 NODES=121	? (TO) TT=1800.02	SAT TT=43.117	SAT TT=30.545	SAT TT=0.038	SAT TT=13.398	SAT TT=17.032	SAT TT=1.08	SAT TT=0.039	SAT TT=757.253 CHECKS=92155900000 NODES=1568470	SAT TT=747.53 CHECKS=92155900000 NODES=1568470
jobShop/ jobShop-enddr1/ enddr1-10-by-5-1.xml	SAT TT=0.037	SAT TT=1.662 CHECKS=68605 NODES=0	SAT TT=1.854 CHECKS=534569 NODES=453	SAT TT=0.037	SAT TT=0.339	SAT TT=4.143	SAT TT=2.404 NODES=54	SAT TT=3.204 NODES=50	SAT TT=3.405 CHECKS=5531924 NODES=50	? (TO) TT=1800.08	SAT TT=44.541	SAT TT=26.449	SAT TT=0.055	SAT TT=11.778	SAT TT=15.921	SAT TT=1.09	SAT TT=0.045	SAT TT=27.404 CHECKS=3269840000 NODES=104296	SAT TT=28.802 CHECKS=3269840000 NODES=104296
jobShop/ jobShop-enddr1/ enddr1-10-by-5-2.xml	SAT TT=0.036	SAT TT=1.69 CHECKS=63103 NODES=0	SAT TT=1.846 CHECKS=66694 NODES=50	SAT TT=0.037	SAT TT=0.331	SAT TT=4.687	SAT TT=2.605 NODES=51	SAT TT=3.322 NODES=50	SAT TT=3.362 CHECKS=5770449 NODES=50	? (TO) TT=1800.09	SAT TT=45.317	SAT TT=27.703	SAT TT=0.037	SAT TT=11.697	SAT TT=16.36	SAT TT=1.08	SAT TT=0.036	SAT TT=0.765 CHECKS=1488070 NODES=50	SAT TT=0.757 CHECKS=1488070 NODES=50
jobShop/ jobShop-enddr1/ enddr1-10-by-5-3.xml	SAT TT=0.038	SAT TT=1.684 CHECKS=66316 NODES=0	SAT TT=1.897 CHECKS=642006 NODES=476	SAT TT=0.038	SAT TT=0.338	SAT TT=4.317	SAT TT=3.916 NODES=1777	SAT TT=3.381 NODES=59	SAT TT=3.47 CHECKS=5563659 NODES=59	? (TO) TT=1800.07	SAT TT=44.264	SAT TT=26.783	SAT TT=0.061	SAT TT=12.318	SAT TT=15.211	SAT TT=0.93	SAT TT=0.073	SAT TT=0.683 CHECKS=1453080 NODES=50	SAT TT=0.684 CHECKS=1453080 NODES=50
jobShop/ jobShop-enddr1/ enddr1-10-by-5-4.xml	SAT TT=0.034	SAT TT=1.682 CHECKS=64932 NODES=0	SAT TT=1.671 CHECKS=229724 NODES=136	SAT TT=0.036	SAT TT=0.333	SAT TT=4.86	SAT TT=2.454 NODES=67	SAT TT=3.489 NODES=50	SAT TT=3.41 CHECKS=5454443 NODES=50	? (TO) TT=1800.01	SAT TT=45.276	SAT TT=26.583	SAT TT=0.038	SAT TT=11.908	SAT TT=14.549	SAT TT=1.07	SAT TT=0.034	SAT TT=0.723 CHECKS=1384850 NODES=50	SAT TT=0.726 CHECKS=1384850 NODES=50
jobShop/ jobShop-enddr1/ enddr1-10-by-5-5.xml	SAT TT=0.037	SAT TT=1.732 CHECKS=59837 NODES=0	SAT TT=1.817 CHECKS=65058 NODES=50	SAT TT=0.037	SAT TT=0.331	SAT TT=5.673	SAT TT=2.596 NODES=50	SAT TT=3.514 NODES=50	SAT TT=3.435 CHECKS=6109216 NODES=50	? (TO) TT=1800.01	SAT TT=44.496	SAT TT=27.731	SAT TT=0.037	SAT TT=12.52	SAT TT=16.636	SAT TT=1.06	SAT TT=0.038	SAT TT=0.768 CHECKS=1237760 NODES=50	SAT TT=0.716 CHECKS=1237760 NODES=50
jobShop/ jobShop-enddr1/ enddr1-10-by-5-6.xml	SAT TT=0.037	SAT TT=1.901 CHECKS=68808 NODES=0	SAT TT=1.803 CHECKS=67332 NODES=50	SAT TT=0.037	SAT TT=0.367	SAT TT=5.959	SAT TT=2.715 NODES=52	SAT TT=3.471 NODES=50	SAT TT=3.479 CHECKS=6551156 NODES=50	? (TO) TT=1800.09	SAT TT=45.367	SAT TT=31.836	SAT TT=0.037	SAT TT=13.019	SAT TT=16.552	SAT TT=0.926	SAT TT=0.037	SAT TT=0.865 CHECKS=1587290 NODES=50	SAT TT=0.825 CHECKS=1587290 NODES=50
jobShop/ jobShop-enddr1/ enddr1-10-by-5-7.xml	SAT TT=0.036	SAT TT=1.717 CHECKS=63711 NODES=0	SAT TT=1.772 CHECKS=451111 NODES=450	SAT TT=0.036	SAT TT=0.345	SAT TT=5.309	SAT TT=5.587 NODES=3822	SAT TT=3.322 NODES=50	SAT TT=3.21 CHECKS=5954459 NODES=50	? (TO) TT=1800.04	SAT TT=46.11	SAT TT=27.032	SAT TT=0.036	SAT TT=13.249	SAT TT=16.191	SAT TT=1.02	SAT TT=0.037	SAT TT=0.777 CHECKS=1418130 NODES=50	SAT TT=0.734 CHECKS=1418130 NODES=50
jobShop/ jobShop-enddr1/ enddr1-10-by-5-8.xml	SAT TT=0.036	SAT TT=1.714 CHECKS=104295 NODES=0	SAT TT=1.732 CHECKS=138122 NODES=92	SAT TT=0.038	SAT TT=0.335	SAT TT=4.854	SAT TT=4.998 NODES=2473	SAT TT=3.653 NODES=50	SAT TT=3.501 CHECKS=5730789 NODES=50	? (TO) TT=1800.04	SAT TT=46.089	SAT TT=27.363	SAT TT=0.036	SAT TT=11.841	SAT TT=14.697	SAT TT=1.141	SAT TT=0.037	SAT TT=0.749 CHECKS=1398020 NODES=50	SAT TT=0.77 CHECKS=1398020 NODES=50
jobShop/ jobShop-enddr1/ enddr1-10-by-5-9.xml	SAT TT=0.036	SAT TT=1.795 CHECKS=64422 NODES=0	SAT TT=1.803 CHECKS=67137 NODES=50	SAT TT=0.036	SAT TT=0.349	SAT TT=6.264	SAT TT=2.499 NODES=52	SAT TT=3.753 NODES=50	SAT TT=3.363 CHECKS=6517775 NODES=50	? (TO) TT=1800.06	SAT TT=47.502	SAT TT=27.443	SAT TT=0.036	SAT TT=12.559	SAT TT=17.207	SAT TT=0.933	SAT TT=0.037	SAT TT=0.883 CHECKS=1398840 NODES=50	SAT TT=0.896 CHECKS=1398840 NODES=50
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	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	VALCSP 3.0	VALCSP 3.1
jobShop/ jobShop-enddr2/ enddr2-10-by-5-10.xml	SAT TT=0.036	SAT TT=2.083 CHECKS=82687 NODES=0	SAT TT=1.973 CHECKS=81464 NODES=50	SAT TT=0.036	SAT TT=0.412	SAT TT=7.313	SAT TT=3.04 NODES=50	SAT TT=4.305 NODES=50	SAT TT=3.94 CHECKS=7862121 NODES=50	? (TO) TT=1800.04	SAT TT=54.753	SAT TT=43.665	SAT TT=0.038	SAT TT=15.581	SAT TT=20.271	SAT TT=1.1	SAT TT=0.038	SAT TT=1.124 CHECKS=1985120 NODES=50	SAT TT=1.016 CHECKS=1985120 NODES=50
jobShop/ jobShop-enddr2/ enddr2-10-by-5-1.xml	SAT TT=0.047	SAT TT=2.058 CHECKS=140526 NODES=0	SAT TT=2.135 CHECKS=445962 NODES=158	SAT TT=899.875	SAT TT=0.412	SAT TT=6.746	SAT TT=5.511 NODES=1961	SAT TT=4.985 NODES=537	SAT TT=3.835 CHECKS=7173802 NODES=113	? (TO) TT=1800.07	SAT TT=70.627	SAT TT=131.072	SAT TT=0.052	SAT TT=14.581	SAT TT=18.896	SAT TT=1.13	SAT TT=0.047	SAT TT=0.98 CHECKS=1968180 NODES=50	SAT TT=0.995 CHECKS=1968180 NODES=50
jobShop/ jobShop-enddr2/ enddr2-10-by-5-2.xml	SAT TT=0.04	SAT TT=2.107 CHECKS=369155 NODES=62	SAT TT=2.123 CHECKS=297632 NODES=222	? (TO) TT=1800.08	SAT TT=0.429	SAT TT=5.99	SAT TT=2.837 NODES=52	SAT TT=4.221 NODES=211	SAT TT=3.808 CHECKS=6944294 NODES=236	? (TO) TT=1800.1	SAT TT=76.435	SAT TT=437.642	SAT TT=0.042	SAT TT=19.698	SAT TT=18.743	SAT TT=1.144	SAT TT=0.04	? (TO) TT=1800.03	? (TO) TT=1800.02
jobShop/ jobShop-enddr2/ enddr2-10-by-5-3.xml	SAT TT=0.037	SAT TT=2.163 CHECKS=270274 NODES=0	SAT TT=2.134 CHECKS=90133 NODES=55	SAT TT=1798.31	SAT TT=0.411	SAT TT=6.062	SAT TT=2.818 NODES=55	SAT TT=4.72 NODES=214	SAT TT=4.011 CHECKS=7602501 NODES=214	? (TO) TT=1800.01	SAT TT=62.263	SAT TT=34.888	SAT TT=0.037	SAT TT=14.841	SAT TT=18.953	SAT TT=1.129	SAT TT=0.038	SAT TT=1.061 CHECKS=2053950 NODES=50	SAT TT=1.039 CHECKS=2053950 NODES=50
jobShop/ jobShop-enddr2/ enddr2-10-by-5-4.xml	SAT TT=0.036	SAT TT=2.128 CHECKS=82529 NODES=0	SAT TT=2.024 CHECKS=88863 NODES=50	SAT TT=0.039	SAT TT=0.411	SAT TT=7.517	SAT TT=3.013 NODES=52	SAT TT=4.121 NODES=50	SAT TT=3.713 CHECKS=7827801 NODES=50	? (TO) TT=1800.08	SAT TT=59.564	SAT TT=39.258	SAT TT=0.037	SAT TT=14.996	SAT TT=19.842	SAT TT=1.11	SAT TT=0.036	SAT TT=1.094 CHECKS=1960770 NODES=50	SAT TT=1.07 CHECKS=1960770 NODES=50
jobShop/ jobShop-enddr2/ enddr2-10-by-5-5.xml	SAT TT=0.037	SAT TT=2.147 CHECKS=83779 NODES=0	SAT TT=2.206 CHECKS=91727 NODES=50	SAT TT=0.038	SAT TT=0.42	SAT TT=7.581	SAT TT=3 NODES=52	SAT TT=4.382 NODES=50	SAT TT=4.015 CHECKS=7970660 NODES=50	? (TO) TT=1800.11	SAT TT=61.741	SAT TT=39.059	SAT TT=0.039	SAT TT=14.786	SAT TT=19.88	SAT TT=1.09	SAT TT=0.037	SAT TT=1.088 CHECKS=2173580 NODES=50	SAT TT=1.133 CHECKS=2173580 NODES=50
jobShop/ jobShop-ewddr2/ ewddr2-10-by-5-10.xml	SAT TT=0.036	SAT TT=2.243 CHECKS=86944 NODES=0	SAT TT=2.081 CHECKS=87044 NODES=50	SAT TT=0.036	SAT TT=0.425	SAT TT=9.686	SAT TT=2.958 NODES=55	SAT TT=4.563 NODES=50	SAT TT=4.065 CHECKS=8460585 NODES=50	? (TO) TT=1800.11	SAT TT=60.109	SAT TT=34.906	SAT TT=0.036	SAT TT=15.305	SAT TT=21.166	SAT TT=1.1	SAT TT=0.037	SAT TT=1.14 CHECKS=2297050 NODES=50	SAT TT=1.164 CHECKS=2297050 NODES=50
jobShop/ jobShop-ewddr2/ ewddr2-10-by-5-1.xml	SAT TT=0.037	SAT TT=2.075 CHECKS=157754 NODES=0	SAT TT=2.188 CHECKS=131612 NODES=64	SAT TT=0.038	SAT TT=0.44	SAT TT=8.083	SAT TT=3.068 NODES=50	SAT TT=3.98 NODES=50	SAT TT=3.97 CHECKS=7873751 NODES=50	? (TO) TT=1800.09	SAT TT=62.774	SAT TT=37.884	SAT TT=0.038	SAT TT=15.274	SAT TT=19.746	SAT TT=1.145	SAT TT=0.037	SAT TT=1.083 CHECKS=2131870 NODES=50	SAT TT=1.035 CHECKS=2131870 NODES=50
jobShop/ jobShop-ewddr2/ ewddr2-10-by-5-2.xml	SAT TT=0.037	SAT TT=1.931 CHECKS=79176 NODES=0	SAT TT=2.061 CHECKS=85801 NODES=50	SAT TT=0.04	SAT TT=0.381	SAT TT=7.57	SAT TT=2.696 NODES=52	SAT TT=4.029 NODES=51	SAT TT=3.589 CHECKS=7410340 NODES=51	? (TO) TT=1800.01	SAT TT=59.874	SAT TT=70.26	SAT TT=0.037	SAT TT=15.539	SAT TT=19.182	SAT TT=1.08	SAT TT=0.04	SAT TT=0.932 CHECKS=2220920 NODES=50	SAT TT=1.017 CHECKS=2220920 NODES=50
jobShop/ jobShop-ewddr2/ ewddr2-10-by-5-3.xml	SAT TT=0.036	SAT TT=2.097 CHECKS=163769 NODES=0	SAT TT=2.268 CHECKS=305461 NODES=268	SAT TT=0.038	SAT TT=0.427	SAT TT=7.825	SAT TT=3.076 NODES=52	SAT TT=4.176 NODES=50	SAT TT=3.778 CHECKS=8323382 NODES=50	? (TO) TT=1800.06	SAT TT=61.547	SAT TT=42.542	SAT TT=0.038	SAT TT=15.327	SAT TT=20.591	SAT TT=1.093	SAT TT=0.036	SAT TT=1.191 CHECKS=2611780 NODES=60	SAT TT=1.13 CHECKS=2611780 NODES=60
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	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	VALCSP 3.0	VALCSP 3.1
jobShop/ jobShop-ewddr2/ ewddr2-10-by-5-4.xml	SAT TT=0.035	SAT TT=2.091 CHECKS=84214 NODES=0	SAT TT=2.098 CHECKS=88951 NODES=50	SAT TT=23.47	SAT TT=0.392	SAT TT=8.733	SAT TT=3.136 NODES=51	SAT TT=4.057 NODES=50	SAT TT=3.965 CHECKS=8351064 NODES=50	? (TO) TT=1800.06	SAT TT=59.873	SAT TT=42.526	SAT TT=0.037	SAT TT=16.201	SAT TT=21.375	SAT TT=1.05	SAT TT=0.035	SAT TT=1.168 CHECKS=2316840 NODES=50	SAT TT=1.088 CHECKS=2316840 NODES=50
jobShop/ jobShop-ewddr2/ ewddr2-10-by-5-5.xml	SAT TT=0.038	SAT TT=2.269 CHECKS=86194 NODES=0	SAT TT=2.212 CHECKS=93286 NODES=50	SAT TT=0.039	SAT TT=0.436	SAT TT=9.86	SAT TT=3.101 NODES=51	SAT TT=4.673 NODES=50	SAT TT=4.18 CHECKS=8657106 NODES=50	? (TO) TT=1800.11	SAT TT=69.593	SAT TT=41.12	SAT TT=0.039	SAT TT=17.58	SAT TT=20.757	SAT TT=1.161	SAT TT=0.038	SAT TT=1.24 CHECKS=2717200 NODES=50	SAT TT=1.143 CHECKS=2717200 NODES=50
jobShop/ jobShop-ewddr2/ ewddr2-10-by-5-6.xml	SAT TT=0.034	SAT TT=2.157 CHECKS=86546 NODES=0	SAT TT=2.227 CHECKS=92625 NODES=50	SAT TT=0.039	SAT TT=0.438	SAT TT=8.774	SAT TT=3.276 NODES=52	SAT TT=4.291 NODES=50	SAT TT=4.219 CHECKS=8868760 NODES=50	? (TO) TT=1800.06	SAT TT=60.521	SAT TT=39.151	SAT TT=0.037	SAT TT=17.294	SAT TT=22.753	SAT TT=0.99	SAT TT=0.034	SAT TT=1.25 CHECKS=2214380 NODES=50	SAT TT=1.251 CHECKS=2214380 NODES=50
jobShop/ jobShop-ewddr2/ ewddr2-10-by-5-7.xml	SAT TT=0.038	SAT TT=2.195 CHECKS=80639 NODES=0	SAT TT=2.174 CHECKS=93244 NODES=50	SAT TT=0.039	SAT TT=0.395	SAT TT=6.879	SAT TT=2.891 NODES=53	SAT TT=4.321 NODES=50	SAT TT=3.759 CHECKS=8009601 NODES=50	? (TO) TT=1800.08	SAT TT=60.892	SAT TT=40.578	SAT TT=0.039	SAT TT=16.817	SAT TT=20.434	SAT TT=1.1	SAT TT=0.038	SAT TT=1.132 CHECKS=1941640 NODES=50	SAT TT=1.036 CHECKS=1941640 NODES=50
jobShop/ jobShop-ewddr2/ ewddr2-10-by-5-8.xml	SAT TT=0.038	SAT TT=2.274 CHECKS=192560 NODES=0	SAT TT=2.252 CHECKS=93971 NODES=50	SAT TT=7.674	SAT TT=0.428	SAT TT=7.999	SAT TT=2.94 NODES=52	SAT TT=4.128 NODES=50	SAT TT=3.839 CHECKS=8488999 NODES=50	? (TO) TT=1800.1	SAT TT=62.688	SAT TT=51.396	SAT TT=0.039	SAT TT=17.163	SAT TT=21.837	SAT TT=1.111	SAT TT=0.038	SAT TT=1.201 CHECKS=2161810 NODES=50	SAT TT=1.229 CHECKS=2161810 NODES=50
jobShop/ jobShop-ewddr2/ ewddr2-10-by-5-9.xml	SAT TT=0.036	SAT TT=2.065 CHECKS=84356 NODES=0	SAT TT=2.08 CHECKS=84911 NODES=50	SAT TT=0.042	SAT TT=0.418	SAT TT=7.613	SAT TT=2.867 NODES=53	SAT TT=4.114 NODES=50	SAT TT=3.766 CHECKS=7899307 NODES=50	? (TO) TT=1800.03	SAT TT=63.154	SAT TT=37.003	SAT TT=0.038	SAT TT=14.924	SAT TT=20.8	SAT TT=1.13	SAT TT=0.036	SAT TT=1.125 CHECKS=2269670 NODES=50	SAT TT=1.085 CHECKS=2269670 NODES=50
os-gp/ gp10-01-1093.xml	SAT TT=0.328	? (TO) TT=1800.07	? (TO) TT=1800.11	? (TO) TT=1800.02	? (TO) TT=1800.04	? (TO) TT=1800.06	? (TO) TT=1800.01	? (TO) TT=1800.05	? (TO) TT=1800.06	? (TO) TT=1800.05	? (problem) TT=94.325	? (problem) TT=115.378	SAT TT=0.696	? TT=312.278	? (MO) TT=98.51	SAT TT=5.65	SAT TT=0.328	? (MO) TT=189.086	? (MO) TT=176.419
os-gp/ gp10-02-1097.xml	SAT TT=0.186	SAT TT=638.337 CHECKS=11952822944 NODES=36283	? (TO) TT=1800.11	? (TO) TT=1800.03	SAT TT=13.104	SAT TT=507.16	? (TO) TT=1800.03	? (TO) TT=1800	SAT TT=700.204 CHECKS=1443796759 NODES=11613	? (TO) TT=1800.07	? (problem) TT=104.455	? (problem) TT=115.147	SAT TT=0.186	? TT=308.091	? TT=138.659	SAT TT=4.49	SAT TT=0.201	? (MO) TT=188.966	? (MO) TT=188.645
os-gp/ gp10-03-1081.xml	SAT TT=1.179	? (TO) TT=1800.09	? (TO) TT=1800.05	? (TO) TT=1800.05	? (TO) TT=1800.12	? (TO) TT=1800.08	? (TO) TT=1800.03	? (TO) TT=1800.04	? (TO) TT=0.006	? (TO) TT=1800.02	? (problem) TT=99.884	? (problem) TT=111.085	SAT TT=674.149	? TT=320.059	? (MO) TT=79.901	SAT TT=6.61	SAT TT=1.179	? (MO) TT=178.941	? (MO) TT=181.094
os-gp/ gp10-04-1077.xml	SAT TT=0.298	? (TO) TT=1800.13	? (TO) TT=1800.11	? (TO) TT=1800.02	? (TO) TT=1800.1	? (TO) TT=1800.03	? (TO) TT=1800.01	? (TO) TT=1800.04	? (TO) TT=0.004	? (TO) TT=1800.05	? (problem) TT=89.238	? (problem) TT=102.236	SAT TT=0.415	? TT=328.936	? (MO) TT=98.795	SAT TT=5.522	SAT TT=0.298	? (MO) TT=186.605	? (MO) TT=176.818
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	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	VALCSP 3.0	VALCSP 3.1
os-gp/ gp10-05-1071.xml	SAT TT=1.405	? (TO) TT=1800.12	? (TO) TT=1800.1	? (TO) TT=1800.03	? (TO) TT=1800.05	? (TO) TT=1800.1	? (TO) TT=1800.08	? (TO) TT=1800.02	? (TO) TT=1800.09	? (TO) TT=1800.03	? (problem) TT=92.779	? (problem) TT=106.881	SAT TT=5.96	? TT=294.354	? TT=137.989	SAT TT=6.603	SAT TT=1.405	? (MO) TT=185.993	? (MO) TT=177.105
os-gp/ gp10-06-1071.xml	SAT TT=0.272	? (TO) TT=1800.1	? (TO) TT=1800.11	? (TO) TT=1800.07	? (TO) TT=1800.06	? (TO) TT=1800.06	? (TO) TT=1800.05	? (TO) TT=1800.05	? (TO) TT=1800.06	? (TO) TT=1800.04	? (problem) TT=90.473	? (problem) TT=91.901	SAT TT=0.941	? TT=315.177	? (MO) TT=79.273	SAT TT=4.63	SAT TT=0.272	? (MO) TT=185.755	? (MO) TT=189.093
os-gp/ gp10-07-1079.xml	SAT TT=0.533	? (TO) TT=1800.11	? (TO) TT=1800.12	? (TO) TT=1800.05	? (TO) TT=1800.07	? (TO) TT=1800.07	? (TO) TT=1800.01	? (TO) TT=1800.07	? (TO) TT=0.005	? (TO) TT=1800.11	? (problem) TT=88.079	? (problem) TT=87.053	SAT TT=4.178	? TT=341.901	? (MO) TT=91.262	SAT TT=5.979	SAT TT=0.533	? (MO) TT=186.116	? (MO) TT=173.568
os-gp/ gp10-08-1093.xml	SAT TT=0.349	? (TO) TT=1800.07	? (TO) TT=1800.08	? (TO) TT=1800.04	SAT TT=129.464	SAT TT=629.926	? (TO) TT=1800.02	? (TO) TT=1800.05	? (TO) TT=0.004	? (TO) TT=1800.04	? (problem) TT=84.357	? (problem) TT=91.722	SAT TT=0.908	? TT=322.663	? TT=136.399	SAT TT=5.482	SAT TT=0.349	? (MO) TT=181.644	? (MO) TT=182.658
os-gp/ gp10-09-1112.xml	SAT TT=0.37	? (TO) TT=1800.12	? (TO) TT=1800.07	? (TO) TT=1800.04	? (TO) TT=1800.12	? (TO) TT=1800.13	? (TO) TT=1800.1	? (TO) TT=1800.01	? (TO) TT=0.004	? (TO) TT=1800.12	? (problem) TT=118.531	? (problem) TT=99.177	SAT TT=0.829	? TT=317.687	? (MO) TT=44.95	SAT TT=5.46	SAT TT=0.37	? (MO) TT=190.581	? (MO) TT=190.484
os-gp/ gp10-10-1092.xml	SAT TT=0.306	? (TO) TT=1800.14	? (TO) TT=1800.09	? (TO) TT=1800.02	? (TO) TT=1800.05	? (TO) TT=1800.02	? (TO) TT=1800.01	? (TO) TT=1800.09	? (TO) TT=1800.09	? (TO) TT=1800.1	? (problem) TT=110.777	? (problem) TT=119.2	SAT TT=0.376	? TT=337.086	? (exit code) TT=140.568	SAT TT=5.56	SAT TT=0.306	? (MO) TT=192.145	? (MO) TT=188.859
taillard/js-taillard-15/ js-taillard-15-100-1.xml	SAT TT=61.004	? (TO) TT=1800.16	? (TO) TT=1800.1	? (TO) TT=1800.03	? (TO) TT=1800.09	? (TO) TT=1800.11	? TT=26.896	? TT=30.091	? TT=21.412	? (TO) TT=1800.1	? (problem) TT=180.427	? (problem) TT=190.01	? (TO) TT=1800.03	? TT=408.147	? (exit code) TT=106.769	SAT TT=61.004	? (TO) TT=1800.03	? (MO) TT=232.238	? (MO) TT=226.318
taillard/js-taillard-15/ js-taillard-15-100-3.xml	SAT TT=204.81	? (TO) TT=1800.11	? (TO) TT=1800.14	? (TO) TT=1800.1	? (TO) TT=1800.01	? (TO) TT=1800.11	? TT=20.883	? TT=23.81	? TT=27.505	? (TO) TT=1800.09	? (problem) TT=167.005	? (problem) TT=167.703	? (TO) TT=1800.06	? TT=322.249	? (MO) TT=75.788	SAT TT=204.81	? (TO) TT=1800.09	? (MO) TT=207.573	? (MO) TT=201.874
taillard/js-taillard-15/ js-taillard-15-100-5.xml	SAT TT=732.82	? (TO) TT=1800.14	? (TO) TT=1800.06	? (TO) TT=1800.03	? (TO) TT=1800.02	? (TO) TT=1800.1	? TT=33.015	? TT=30.384	? TT=21.621	? (TO) TT=1800.08	? (problem) TT=140.419	? (problem) TT=134.155	? (TO) TT=1800.04	? TT=288.134	? TT=116.141	SAT TT=732.82	? (TO) TT=1800.1	? (MO) TT=216.892	? (MO) TT=202.715
taillard/js-taillard-15/ js-taillard-15-100-7.xml	SAT TT=426.42	? (TO) TT=1800.1	? (TO) TT=1800.14	? (TO) TT=1800.1	? (TO) TT=1800	? (TO) TT=1800.1	? TT=26.209	? TT=25.927	? TT=21.787	? (TO) TT=1800.1	? (problem) TT=149.153	? (problem) TT=151.935	? (TO) TT=1800.06	? TT=277.483	? TT=88.003	SAT TT=426.42	? (TO) TT=1800.07	? (MO) TT=201.573	? (MO) TT=205.338
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	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	VALCSP 3.0	VALCSP 3.1
taillard/js-taillard-15/ js-taillard-15-100-9.xml	SAT TT=204.53	? (TO) TT=1800.14	? (TO) TT=1800.16	? (TO) TT=1800.02	? (TO) TT=1800.09	? (TO) TT=1800.04	? TT=21.172	? TT=20.939	? TT=21.84	? (TO) TT=1800.05	? (problem) TT=158.341	? (problem) TT=150.209	? (TO) TT=1800.04	? TT=302.402	? (MO) TT=83.146	SAT TT=204.53	? (TO) TT=1800.03	? (MO) TT=235.644	? (MO) TT=218.503
taillard/js-taillard-15/ js-taillard-15-105-1.xml	SAT TT=5.14	? (TO) TT=1800.11	? (TO) TT=1800.1	? (TO) TT=1800.05	SAT TT=50.296	SAT TT=543.181	? TT=26.271	? TT=28.09	? TT=21.334	? (TO) TT=1800.12	? (problem) TT=164.814	? (problem) TT=176.399	SAT TT=6.418	? TT=288.71	? (exit code) TT=113.954	SAT TT=12.51	SAT TT=5.14	? (MO) TT=230.977	? (MO) TT=226.191
taillard/js-taillard-15/ js-taillard-15-105-3.xml	SAT TT=12.23	? (TO) TT=1800.12	? (TO) TT=1800.07	? (TO) TT=1800.03	SAT TT=382.769	? (TO) TT=1800.05	? TT=20.948	? TT=22.165	? TT=27.096	? (TO) TT=1800.1	? (problem) TT=174.296	? (problem) TT=166.516	? (TO) TT=1800.05	? TT=275.915	? (MO) TT=71.799	SAT TT=12.23	? (TO) TT=1800.09	? (MO) TT=218.771	? (MO) TT=206.447
taillard/js-taillard-15/ js-taillard-15-105-5.xml	SAT TT=40.48	? (TO) TT=1800.11	? (TO) TT=1800.08	? (TO) TT=1800.05	? (TO) TT=1800.02	? (TO) TT=1800.03	? TT=23.476	? TT=24.409	? TT=27.016	? (TO) TT=1800.06	? (problem) TT=144.632	? (problem) TT=139.9	? (TO) TT=1800.02	? TT=274.864	? TT=117.827	SAT TT=40.48	? (TO) TT=1800.08	? (MO) TT=226.326	? (MO) TT=215.809
taillard/js-taillard-15/ js-taillard-15-105-7.xml	SAT TT=16.07	? (TO) TT=1800.16	? (TO) TT=1800.14	? (TO) TT=1800.07	SAT TT=247.037	SAT TT=1457.34	? TT=21.314	? TT=21.767	? TT=26.991	? (TO) TT=1800.07	? (problem) TT=143.6	? (problem) TT=146.04	? (TO) TT=1800.06	? TT=277.806	? (exit code) TT=124.658	SAT TT=16.07	? (TO) TT=1800.05	? (MO) TT=223.139	? (MO) TT=218.779
taillard/js-taillard-15/ js-taillard-15-105-9.xml	SAT TT=8.592	? (TO) TT=1800.19	? (TO) TT=1800.13	? (TO) TT=1800.04	SAT TT=173.424	SAT TT=561.988	? TT=20.335	? TT=20.61	? TT=21.552	? (TO) TT=1800.11	? (problem) TT=160.749	? (problem) TT=179.846	? (TO) TT=1800.1	? TT=283.511	? TT=109.815	SAT TT=12.483	SAT TT=8.592	? (MO) TT=224.597	? (MO) TT=235.638
taillard/ js-taillard-15/ js-taillard-15-95-0.xml	UNSAT TT=12.27	? (TO) TT=1800.2	? (TO) TT=1800.12	? (TO) TT=1800.11	? (TO) TT=1800.1	? (TO) TT=1800.03	? TT=24.913	? TT=24.083	? TT=21.206	? (TO) TT=1800.08	? (problem) TT=173.982	? (problem) TT=175.504	UNSAT TT=12.841	? TT=363.864	? (MO) TT=84.318	UNSAT TT=12.27	UNSAT TT=25.661	? (MO) TT=198.089	? (MO) TT=208.696
taillard/ js-taillard-15/ js-taillard-15-95-1.xml	UNSAT TT=31.529	? (TO) TT=1800.16	? (TO) TT=1800.11	? (TO) TT=1800.08	? (TO) TT=1800.09	? (TO) TT=1800.04	? TT=24.902	? TT=21.074	? TT=26.981	? (TO) TT=1800.11	? (problem) TT=195.079	? (problem) TT=205.664	? (TO) TT=1800.12	? TT=386.815	? (exit code) TT=113.688	UNSAT TT=31.529	UNSAT TT=73.157	? (MO) TT=214.844	? (MO) TT=205.294
taillard/ js-taillard-15/ js-taillard-15-95-2.xml	UNSAT TT=7.622	? (TO) TT=1800.13	? (TO) TT=1800.11	? (TO) TT=1800.04	? (TO) TT=1800.09	? (TO) TT=1800.02	? TT=260.266	? TT=265.52	? TT=27.753	? (TO) TT=1800.09	? (problem) TT=183.786	? (problem) TT=173.55	UNSAT TT=7.622	? TT=306.676	? (exit code) TT=105.858	UNSAT TT=18.29	UNSAT TT=82.822	? (MO) TT=198.326	? (MO) TT=194.888
taillard/ js-taillard-15/ js-taillard-15-95-3.xml	UNSAT TT=4.93	? (TO) TT=1800.1	? (TO) TT=1800.12	? (TO) TT=1800.09	? (TO) TT=1800.08	? (TO) TT=1800.01	? (exit code) TT=571.865	? (exit code) TT=542.615	? TT=21.753	? (TO) TT=1800.08	? (problem) TT=195.947	? (problem) TT=176.697	UNSAT TT=4.93	? TT=279.584	? (exit code) TT=112.995	UNSAT TT=10.52	UNSAT TT=5.048	? (MO) TT=196.046	? (MO) TT=185.545
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	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	VALCSP 3.0	VALCSP 3.1
taillard/ js-taillard-15/ js-taillard-15-95-4.xml	UNSAT TT=21.633	? (TO) TT=1800.11	? (TO) TT=1800.1	? (TO) TT=1800.08	? (TO) TT=1800.04	? (TO) TT=1800.05	? TT=179.612	? TT=175.831	? TT=21.926	? (TO) TT=1800.11	? (problem) TT=157.072	? (problem) TT=153.156	? (TO) TT=1800.02	? TT=282.949	? TT=308.536	UNSAT TT=21.633	? (TO) TT=1800.07	? (MO) TT=222.032	? (MO) TT=187.912
taillard/ js-taillard-15/ js-taillard-15-95-5.xml	UNSAT TT=317.01	? (TO) TT=1800.16	? (TO) TT=1800.12	? (TO) TT=1800.11	? (TO) TT=1800.11	? (TO) TT=1800.11	? TT=24.663	? TT=25.179	? TT=27.826	? (TO) TT=1800.11	? (problem) TT=145.227	? (problem) TT=175.987	? (TO) TT=1800.12	? TT=308.548	? (exit code) TT=102.112	UNSAT TT=317.01	? (TO) TT=1800.11	? (MO) TT=207.209	? (MO) TT=200.027
taillard/ js-taillard-15/ js-taillard-15-95-6.xml	UNSAT TT=20.25	? (TO) TT=1800.07	? (TO) TT=1800.16	? (TO) TT=1800.04	? (TO) TT=1800.11	? (TO) TT=1800.07	? TT=263.928	? TT=252.301	? TT=21.355	? (TO) TT=1800.1	? (problem) TT=148.6	? (problem) TT=139.267	UNSAT TT=31.105	? TT=283.122	? TT=130.209	UNSAT TT=20.25	UNSAT TT=35.688	? (MO) TT=201.977	? (MO) TT=199.365
taillard/ js-taillard-15/ js-taillard-15-95-7.xml	UNSAT TT=7.827	? (TO) TT=1800.2	? (TO) TT=1800.09	? (TO) TT=1800.09	? (TO) TT=1800.01	? (TO) TT=1800.05	? (exit code) TT=536.779	? (exit code) TT=572.556	? TT=22.863	? (TO) TT=1800.13	? (problem) TT=157.904	? (problem) TT=155.641	UNSAT TT=7.827	? (exit code) TT=304.72	? (exit code) TT=113.609	UNSAT TT=12.514	UNSAT TT=14.88	? (MO) TT=209.707	? (MO) TT=189.992
taillard/ js-taillard-15/ js-taillard-15-95-8.xml	UNSAT TT=15.6	? (TO) TT=1800.11	? (TO) TT=1800.12	? (TO) TT=1800.05	? (TO) TT=1800.08	? (TO) TT=1800.1	? TT=20.906	? TT=20.334	? TT=27.469	? (TO) TT=1800.06	? (problem) TT=135.556	? (problem) TT=172.2	UNSAT TT=20.733	? TT=301.712	? (MO) TT=76.443	UNSAT TT=15.6	? (TO) TT=1800.09	? (MO) TT=209.476	? (MO) TT=201.355
taillard/ js-taillard-15/ js-taillard-15-95-9.xml	UNSAT TT=15.079	? (TO) TT=1800.13	? (TO) TT=1800.13	? (TO) TT=1800.05	? (TO) TT=1800.02	? (TO) TT=1800	? TT=20.433	? TT=20.954	? TT=21.61	? (TO) TT=1800.1	? (problem) TT=173.629	? (problem) TT=169.76	? (TO) TT=1800.11	? (exit code) TT=288.258	? (MO) TT=117.686	UNSAT TT=15.079	? (TO) TT=1800.05	? (MO) TT=213.129	? (MO) TT=213.055
taillard/js-taillard-20-15/ js-taillard-20-15-100-1.xml		? (TO) TT=1800.18	? (TO) TT=1800.13	? (TO) TT=1800.06	? (TO) TT=1800.04	? (TO) TT=1800.07	? TT=20.004	? TT=19.839	? TT=25.896	? (TO) TT=1800.05	? (problem) TT=150.463	? (problem) TT=144.741	? (TO) TT=1800.1	? TT=271.386	? (MO) TT=77.018	? (TO) TT=1800.08	? (TO) TT=1800.09	? (MO) TT=239.195	? (MO) TT=238.379
taillard/js-taillard-20-15/ js-taillard-20-15-100-3.xml		? (TO) TT=1800.13	? (TO) TT=1800.11	? (TO) TT=1800.04	? (TO) TT=1800.05	? (TO) TT=1800.01	? TT=19.877	? TT=19.776	? TT=25.909	? (TO) TT=1800.05	? (problem) TT=142.014	? (problem) TT=141.926	? (TO) TT=1800.1	? TT=256.138	? (exit code) TT=117.829	? (TO) TT=1800.12	? (TO) TT=1800.1	? (MO) TT=232.417	? (MO) TT=227.473
taillard/js-taillard-20-15/ js-taillard-20-15-100-5.xml		? (TO) TT=1800.14	? (TO) TT=1800.12	? (TO) TT=1800.11	? (TO) TT=1800.09	? (TO) TT=1800.1	? TT=28.974	? TT=29.419	? TT=21.162	? (TO) TT=1800.05	? (problem) TT=152.027	? (problem) TT=158.569	? (TO) TT=1800.01	? TT=339.623	? TT=323.899	? (TO) TT=1800.14	? (TO) TT=1800.09	? (MO) TT=238.797	? (MO) TT=237.431
taillard/js-taillard-20-15/ js-taillard-20-15-100-7.xml		? (TO) TT=1800.08	? (TO) TT=1800.13	? (TO) TT=1800.05	? (TO) TT=1800.05	? (TO) TT=1800.06	? TT=23.64	? TT=24.487	? TT=25.462	? (TO) TT=1800.13	? (problem) TT=140.014	? (problem) TT=152.896	? (TO) TT=1800.04	? TT=270.082	? TT=437.828	? (TO) TT=1800.07	? (TO) TT=1800.04	? (MO) TT=246.369	? (MO) TT=241.177
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	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	VALCSP 3.0	VALCSP 3.1
taillard/js-taillard-20-15/ js-taillard-20-15-100-9.xml	SAT TT=1715.13	? (TO) TT=1800.08	? (TO) TT=1800.09	? (TO) TT=1800.06	? (TO) TT=1800.09	? (TO) TT=1800.08	? TT=19.622	? TT=21.466	? TT=25.494	? (TO) TT=1800.12	? (problem) TT=115.483	? (problem) TT=113.298	? (TO) TT=1800.02	? TT=346.95	? TT=97.984	SAT TT=1715.13	? (TO) TT=1800.05	? (MO) TT=234.262	? (MO) TT=236.902
taillard/js-taillard-20-15/ js-taillard-20-15-105-1.xml	SAT TT=96.628	? (TO) TT=1800.16	? (TO) TT=1800.1	? (TO) TT=1800.09	? (TO) TT=1800.07	? (TO) TT=1800.04	? TT=35.079	? TT=35.647	? TT=25.568	? (TO) TT=1800.13	? (problem) TT=137.451	? (problem) TT=132.515	? (TO) TT=1800.11	? TT=236.184	? (exit code) TT=106.127	SAT TT=96.628	? (TO) TT=1800.06	? (MO) TT=242.985	? (MO) TT=250.788
taillard/js-taillard-20-15/ js-taillard-20-15-105-3.xml	SAT TT=118.642	? (TO) TT=1800.21	? (TO) TT=1800.09	? (TO) TT=1800.08	? (TO) TT=1800.07	? (TO) TT=1800.02	? TT=24.051	? TT=24.165	? TT=20.213	? (TO) TT=1800.08	? (problem) TT=138.895	? (problem) TT=143.833	? (TO) TT=1800.03	? TT=265.762	? TT=330.797	SAT TT=118.642	? (TO) TT=1800.11	? (MO) TT=233.909	? (MO) TT=240.423
taillard/js-taillard-20-15/ js-taillard-20-15-105-5.xml	SAT TT=74.47	? (TO) TT=1800.13	? (TO) TT=1800.14	? (TO) TT=1800.09	? (TO) TT=1800.04	? (TO) TT=1800	? TT=23.146	? TT=19.294	? TT=24.985	? (TO) TT=1800.13	? (problem) TT=153.455	? (problem) TT=180.379	? (TO) TT=1800.08	? TT=339.384	? (MO) TT=72.527	SAT TT=74.47	? (TO) TT=1800.02	? (MO) TT=251.875	? (MO) TT=232.454
taillard/js-taillard-20-15/ js-taillard-20-15-105-7.xml	SAT TT=675.43	? (TO) TT=1800.14	? (TO) TT=1800.09	? (TO) TT=1800.11	? (TO) TT=1800.01	? (TO) TT=1800.09	? TT=18.147	? TT=18.943	? TT=25.1	? (TO) TT=1800.09	? (problem) TT=134.533	? (problem) TT=132.919	? (TO) TT=1800.08	? TT=257.429	? (MO) TT=92.184	SAT TT=675.43	? (TO) TT=1800.09	? (MO) TT=258.679	? (MO) TT=243.389
taillard/js-taillard-20-15/ js-taillard-20-15-105-9.xml	SAT TT=27.88	? (TO) TT=1800.17	? (TO) TT=1800.13	? (TO) TT=1800.11	? (TO) TT=1800.01	? (TO) TT=1800.03	? TT=19.096	? TT=18.372	? TT=24.963	? (TO) TT=1800.09	? (problem) TT=132.835	? (problem) TT=128.785	? (TO) TT=1800.05	? TT=259.564	? TT=809.046	SAT TT=27.88	? (TO) TT=1800.04	? (MO) TT=246.162	? (MO) TT=230.465
taillard/js-taillard-20-15/ js-taillard-20-15-95-0.xml		? (TO) TT=1800.14	? (TO) TT=1800.14	? (TO) TT=1800.09	? (TO) TT=1800.06	? (TO) TT=1800.03	? TT=20.356	? TT=25.66	? TT=26.88	? (TO) TT=1800.11	? (problem) TT=147.511	? (problem) TT=153.161	? (TO) TT=1800.06	? TT=268.127	? (MO) TT=74.094	? (TO) TT=1800.1	? (TO) TT=1800.06	? (MO) TT=210.677	? (MO) TT=214.384
taillard/js-taillard-20-15/ js-taillard-20-15-95-1.xml		? (TO) TT=1800.14	? (TO) TT=1800.1	? (TO) TT=1800.04	? (TO) TT=1800.03	? (TO) TT=1800.02	? TT=20.139	? TT=21.008	? TT=26.481	? (TO) TT=1800.12	? (problem) TT=147.001	? (problem) TT=155.262	? (TO) TT=1800.04	? TT=269.44	? (MO) TT=99.279	? (TO) TT=1800.11	? (TO) TT=1800.1	? (MO) TT=228.185	? (MO) TT=223.391
taillard/js-taillard-20-15/ js-taillard-20-15-95-2.xml		? (TO) TT=1800.16	? (TO) TT=1800.07	? (TO) TT=1800.1	? (TO) TT=1800.07	? (TO) TT=1800.01	? TT=20.302	? TT=20.195	? TT=26.815	? (TO) TT=1800.13	? (problem) TT=181.165	? (problem) TT=174.155	? (TO) TT=1800.05	? TT=271.323	? (MO) TT=91.745	? (TO) TT=1800.12	? (TO) TT=1800.08	? (MO) TT=226.089	? (MO) TT=211.739
taillard/js-taillard-20-15/ js-taillard-20-15-95-3.xml		? (TO) TT=1800.12	? (TO) TT=1800.18	? (TO) TT=1800.1	? (TO) TT=1800.01	? (TO) TT=1800.02	? TT=21.36	? TT=21.459	? TT=20.672	? (TO) TT=1800.09	? (problem) TT=148.414	? (problem) TT=151.021	? (TO) TT=1800.02	? TT=275.084	? TT=111.539	? (TO) TT=1800.06	? (TO) TT=1800.01	? (MO) TT=223.461	? (MO) TT=231.019
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	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	VALCSP 3.0	VALCSP 3.1
taillard/js-taillard-20-15/ js-taillard-20-15-95-4.xml		? (TO) TT=1800.2	? (TO) TT=1800.12	? (TO) TT=1800.02	? (TO) TT=1800.03	? (TO) TT=1800.09	? TT=25.391	? TT=21.097	? TT=21.174	? (TO) TT=1800.09	? (problem) TT=202.591	? (problem) TT=204.213	? (TO) TT=1800.05	? TT=256.874	? (MO) TT=61.517	? (TO) TT=1800.11	? (TO) TT=1800.07	? (MO) TT=220.857	? (MO) TT=238.712
taillard/js-taillard-20-15/ js-taillard-20-15-95-5.xml		? (TO) TT=1800.18	? (TO) TT=1800.15	? (TO) TT=1800.1	? (TO) TT=1800.05	? (TO) TT=1800.04	? TT=26.141	? TT=25.9	? TT=25.944	? (TO) TT=1800.12	? (problem) TT=183.318	? (problem) TT=160.705	? (TO) TT=1800.1	? TT=266.332	? (MO) TT=48.138	? (TO) TT=1800.15	? (TO) TT=1800.08	? (MO) TT=225.835	? (MO) TT=212.418
taillard/js-taillard-20-15/ js-taillard-20-15-95-6.xml		? (TO) TT=1800.21	? (TO) TT=1800.1	? (TO) TT=1800.1	? (TO) TT=1800.06	? (TO) TT=1800.04	? TT=20.122	? TT=19.506	? TT=25.88	? (TO) TT=1800.14	? (problem) TT=155.753	? (problem) TT=137.227	? (TO) TT=1800.05	? TT=257.583	? (MO) TT=60.944	? (TO) TT=1800.14	? (TO) TT=1800.04	? (MO) TT=230.948	? (MO) TT=245.203
taillard/js-taillard-20-15/ js-taillard-20-15-95-7.xml		? (TO) TT=1800.14	? (TO) TT=1800.07	? (TO) TT=1800.11	? (TO) TT=1800.05	? (TO) TT=1800.06	? TT=19.384	? TT=19.382	? TT=26.219	? (TO) TT=1800.09	? (problem) TT=125.419	? (problem) TT=127.575	? (TO) TT=1800.05	? TT=258.847	? (MO) TT=69.566	? (TO) TT=1800.15	? (TO) TT=1800.07	? (MO) TT=231.915	? (MO) TT=223.136
taillard/js-taillard-20-15/ js-taillard-20-15-95-8.xml		? (TO) TT=1800.19	? (TO) TT=1800.14	? (TO) TT=1800.11	? (TO) TT=1800.03	? (TO) TT=1800.01	? TT=21.757	? TT=20.273	? TT=27.039	? (TO) TT=1800.07	? (problem) TT=154.52	? (problem) TT=164.27	? (TO) TT=1800.11	? TT=257.718	? TT=109.821	? (TO) TT=1800.06	? (TO) TT=1800.02	? (MO) TT=226.131	? (MO) TT=215.698
taillard/js-taillard-20-15/ js-taillard-20-15-95-9.xml		? (TO) TT=1800.11	? (TO) TT=1800.17	? (TO) TT=1800.02	? (TO) TT=1800.06	? (TO) TT=1800	? TT=28.882	? TT=22.142	? TT=25.988	? (TO) TT=1800.14	? (problem) TT=128.41	? (problem) TT=131.996	? (TO) TT=1800.03	? TT=261.219	? (MO) TT=100.514	? (TO) TT=1800.15	? (TO) TT=1800.11	? (MO) TT=223.476	? (MO) TT=211.824
taillard/js-taillard-20/ js-taillard-20-100-1.xml		? (TO) TT=1800.18	? (TO) TT=1800.15	? (TO) TT=1800.11	? (TO) TT=1800.05	? (TO) TT=1800.03	? TT=19.886	? TT=20.615	? TT=20.126	? (TO) TT=1800.07	? (problem) TT=159.827	? (problem) TT=170.386	? (TO) TT=1800.1	? (MO) TT=91.748	? (MO) TT=50.517	? (TO) TT=1800.12	? (TO) TT=1800.03	? (MO) TT=291.936	? (MO) TT=265.371
taillard/js-taillard-20/ js-taillard-20-100-3.xml		? (TO) TT=1800.13	? (TO) TT=1800.09	? (TO) TT=1800.06	? (TO) TT=1800.07	? (TO) TT=1800	? TT=18.101	? TT=18.069	? TT=19.884	? (TO) TT=1800.16	? (problem) TT=151.42	? (problem) TT=146.347	? (TO) TT=1800.05	? (MO) TT=68.507	? (MO) TT=33.308	? (TO) TT=1800.18	? (TO) TT=1800.12	? (MO) TT=268.425	? (MO) TT=267.921
taillard/js-taillard-20/ js-taillard-20-100-5.xml		? (TO) TT=1800.13	? (TO) TT=1800.09	? (TO) TT=1800.06	? (TO) TT=1800.04	? (TO) TT=1800.03	? TT=19.118	? TT=19.684	? TT=22.16	? (TO) TT=1800.06	? (problem) TT=122.336	? (problem) TT=135.884	? (TO) TT=1800.1	? (MO) TT=246.334	? (MO) TT=39.686	? (TO) TT=1800.19	? (TO) TT=1800.08	? (MO) TT=270.237	? (MO) TT=268.254
taillard/js-taillard-20/ js-taillard-20-100-7.xml	SAT TT=1405.62	? (TO) TT=1800.11	? (TO) TT=1800.21	? (TO) TT=1800.02	? (TO) TT=1800.01	? (TO) TT=1800	? TT=19.139	? TT=22.17	? TT=23.632	? (TO) TT=1800.06	? (problem) TT=119.49	? (problem) TT=118.539	? (TO) TT=1800.09	? (MO) TT=241.599	? (MO) TT=49.027	SAT TT=1405.62	? (TO) TT=1800.03	? (MO) TT=277.114	? (MO) TT=258.405
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	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	VALCSP 3.0	VALCSP 3.1
taillard/js-taillard-20/ js-taillard-20-100-9.xml		? (TO) TT=1800.09	? (TO) TT=1800.15	? (TO) TT=1800.03	? (TO) TT=1800.04	? (TO) TT=1800.09	? TT=22.215	? TT=18.483	? TT=20.454	? (TO) TT=1800.15	? (problem) TT=172.995	? (problem) TT=177.984	? (TO) TT=1800.06	? (MO) TT=96.463	? (MO) TT=39.405	? (TO) TT=1800.12	? (TO) TT=1800.04	? (MO) TT=278.328	? (MO) TT=260.299
taillard/js-taillard-20/ js-taillard-20-105-1.xml	SAT TT=109.911	? (TO) TT=1800.16	? (TO) TT=1800.11	? (TO) TT=1800.12	? (TO) TT=1800.03	? (TO) TT=1800.04	? TT=18.49	? TT=18.502	? TT=20.733	? (TO) TT=1800.11	? (problem) TT=156.533	? (problem) TT=154.63	? (TO) TT=1800.05	? (MO) TT=226.677	? (MO) TT=60.656	SAT TT=109.911	? (TO) TT=1800.1	? (MO) TT=280.01	? (MO) TT=285.811
taillard/js-taillard-20/ js-taillard-20-105-3.xml	SAT TT=38.808	? (TO) TT=1800.15	? (TO) TT=1800.14	? (TO) TT=1800.03	? (TO) TT=1800.04	? (TO) TT=1800.05	? TT=18.67	? TT=17.954	? TT=23.553	? (TO) TT=1800.13	? (problem) TT=149.898	? (problem) TT=149.632	? (TO) TT=1800.03	? (MO) TT=60.936	? (MO) TT=44.887	SAT TT=38.808	? (TO) TT=1800.02	? (MO) TT=301.874	? (MO) TT=281.766
taillard/js-taillard-20/ js-taillard-20-105-5.xml	SAT TT=44.59	? (TO) TT=1800.17	? (TO) TT=1800.11	? (TO) TT=1800.11	? (TO) TT=1800.01	? (TO) TT=1800.06	? TT=22.578	? TT=23.555	? TT=18.092	? (TO) TT=1800.13	? (problem) TT=121.822	? (problem) TT=126.235	? (TO) TT=1800.09	? (MO) TT=231.007	? (MO) TT=38.768	SAT TT=44.59	? (TO) TT=1800.1	? (MO) TT=309.116	? (MO) TT=290.802
taillard/js-taillard-20/ js-taillard-20-105-7.xml	SAT TT=39.744	? (TO) TT=1800.26	? (TO) TT=1800.11	? (TO) TT=1800.04	? (TO) TT=1800.01	? (TO) TT=1800.04	? TT=19.496	? TT=19.12	? TT=22.674	? (TO) TT=1800.07	? (problem) TT=118.515	? (problem) TT=112.887	? (TO) TT=1800.07	? TT=234.902	? (MO) TT=58.119	SAT TT=39.744	? (TO) TT=1800.04	? (MO) TT=291.485	? (MO) TT=275.846
taillard/js-taillard-20/ js-taillard-20-105-9.xml	SAT TT=161.655	? (TO) TT=1800.19	? (TO) TT=1800.19	? (TO) TT=1800.01	? (TO) TT=1800.06	? (TO) TT=1800.08	? TT=18.563	? TT=18.457	? TT=17.873	? (TO) TT=1800.15	? (problem) TT=155.456	? (problem) TT=172.434	? (TO) TT=1800.09	? (MO) TT=68.072	? (MO) TT=36.927	SAT TT=161.655	? (TO) TT=1800.11	? (MO) TT=293.276	? (MO) TT=290.28
taillard/ js-taillard-20/ js-taillard-20-95-0.xml	UNSAT TT=303.38	? (TO) TT=1800.2	? (TO) TT=1800.11	? (TO) TT=1800.09	? (TO) TT=1800.04	? (TO) TT=1800.07	? TT=20.838	? TT=22.225	? TT=32.125	? (TO) TT=1800.1	? (problem) TT=145.601	? (problem) TT=145.95	? (TO) TT=1800.08	? (MO) TT=239.309	? (MO) TT=51.39	UNSAT TT=303.38	? (TO) TT=1800.03	? (MO) TT=270.694	? (MO) TT=261.099
taillard/ js-taillard-20/ js-taillard-20-95-1.xml		? (TO) TT=1800.12	? (TO) TT=1800.13	? (TO) TT=1800.02	? (TO) TT=1800.1	? (TO) TT=1800.05	? TT=19.168	? TT=19.11	? TT=19.984	? (TO) TT=1800.09	? (problem) TT=185.205	? (problem) TT=162.104	? (TO) TT=1800.05	? (MO) TT=89.653	? (exit code) TT=107.236	? (TO) TT=1800.19	? (TO) TT=1800.05	? (MO) TT=263.112	? (MO) TT=255.02
taillard/ js-taillard-20/ js-taillard-20-95-2.xml	UNSAT TT=712.71	? (TO) TT=1800.16	? (TO) TT=1800.14	? (TO) TT=1800.12	? (TO) TT=1800.08	? (TO) TT=1800.07	? TT=20.379	? TT=23.277	? TT=19.703	? (TO) TT=1800.12	? (problem) TT=123.949	? (problem) TT=144.919	? (TO) TT=1800.09	? (MO) TT=87.552	? (MO) TT=38.871	UNSAT TT=712.71	? (TO) TT=1800.05	? (MO) TT=257.413	? (MO) TT=239.879
taillard/ js-taillard-20/ js-taillard-20-95-3.xml	UNSAT TT=1549.35	? (TO) TT=1800.19	? (TO) TT=1800.16	? (TO) TT=1800.05	? (TO) TT=1800.09	? (TO) TT=1800.1	? TT=18.196	? TT=17.975	? TT=25.413	? (TO) TT=1800.16	? (problem) TT=144.005	? (problem) TT=174.806	? (TO) TT=1800.07	? (MO) TT=209.714	? (MO) TT=51.129	UNSAT TT=1549.35	? (TO) TT=1800.12	? (MO) TT=255.67	? (MO) TT=273.518
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	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	VALCSP 3.0	VALCSP 3.1
taillard/ js-taillard-20/ js-taillard-20-95-4.xml	UNSAT TT=374.043	? (TO) TT=1800.17	? (TO) TT=1800.16	? (TO) TT=1800.11	? (TO) TT=1800.01	? (TO) TT=1800	? TT=21.448	? TT=19.208	? TT=24.595	? (TO) TT=1800.07	? (problem) TT=237.443	? (problem) TT=255.069	? (TO) TT=1800.06	? (MO) TT=246.019	? (MO) TT=52.06	UNSAT TT=374.043	? (TO) TT=1800.06	? (MO) TT=272.598	? (MO) TT=270.705
taillard/ js-taillard-20/ js-taillard-20-95-5.xml		? (TO) TT=1800.15	? (TO) TT=1800.14	? (TO) TT=1800.09	? (TO) TT=1800.09	? (TO) TT=1800.06	? TT=18.753	? TT=18.826	? TT=21.967	? (TO) TT=1800.08	? (problem) TT=131.271	? (problem) TT=136.15	? (TO) TT=1800.02	? (MO) TT=94.195	? (MO) TT=36.816	? (TO) TT=1800.21	? (TO) TT=1800.03	? (MO) TT=253.61	? (MO) TT=268.154
taillard/ js-taillard-20/ js-taillard-20-95-6.xml		? (TO) TT=1800.18	? (TO) TT=1800.15	? (TO) TT=1800.03	? (TO) TT=1800.1	? (TO) TT=1800.06	? TT=20.558	? TT=20.66	? TT=18.886	? (TO) TT=1800.11	? (problem) TT=204.697	? (problem) TT=181.525	? (TO) TT=1800.03	? (MO) TT=160.648	? (MO) TT=39.977	? (TO) TT=1800.12	? (TO) TT=1800.05	? (MO) TT=281.512	? (MO) TT=284.222
taillard/ js-taillard-20/ js-taillard-20-95-7.xml	UNSAT TT=229.784	? (TO) TT=1800.11	? (TO) TT=1800.07	? (TO) TT=1800.04	? (TO) TT=1800	? (TO) TT=1800.03	? TT=18.671	? TT=18.622	? TT=19.164	? (TO) TT=1800.06	? (problem) TT=132.53	? (problem) TT=110.593	? (TO) TT=1800.12	? (MO) TT=225.146	? (MO) TT=63.94	UNSAT TT=229.784	? (TO) TT=1800.09	? (MO) TT=261.369	? (MO) TT=261.623
taillard/ js-taillard-20/ js-taillard-20-95-8.xml	UNSAT TT=846.447	? (TO) TT=1800.12	? (TO) TT=1800.15	? (TO) TT=1800.09	? (TO) TT=1800.07	? (TO) TT=1800.04	? TT=18.736	? TT=18.8	? TT=21.316	? (TO) TT=1800.1	? (problem) TT=154.116	? (problem) TT=147.407	? (TO) TT=1800.04	? (MO) TT=168.89	? (MO) TT=38.151	UNSAT TT=846.447	? (TO) TT=1800.08	? (MO) TT=258.061	? (MO) TT=268.907
taillard/ js-taillard-20/ js-taillard-20-95-9.xml		? (TO) TT=1800.11	? (TO) TT=1800.12	? (TO) TT=1800.11	? (TO) TT=1800.07	? (TO) TT=1800.03	? TT=18.982	? TT=18.983	? TT=19.251	? (TO) TT=1800.06	? (problem) TT=150.232	? (problem) TT=143.607	? (TO) TT=1800.04	? (MO) TT=219.378	? (MO) TT=59.111	? (TO) TT=1800.17	? (TO) TT=1800.05	? (MO) TT=267.074	? (MO) TT=245.581
taillard/os-taillard-10/ os-taillard-10-100-1.xml	SAT TT=0.429	SAT TT=150.101 CHECKS=904753053 NODES=56386	? (TO) TT=1800.14	? (TO) TT=1800.1	SAT TT=9.995	SAT TT=509.31	SAT TT=379.672 NODES=7217	? (TO) TT=1800.09	? (TO) TT=1800.09	? (TO) TT=1800.11	? (problem) TT=290.356	? (problem) TT=295.193	? (TO) TT=1800.06	? TT=478.742	? TT=111.818	SAT TT=3.35	SAT TT=0.429	? (MO) TT=111	? (MO) TT=101.509
taillard/os-taillard-10/ os-taillard-10-100-3.xml	SAT TT=0.182	SAT TT=91.61 CHECKS=517959596 NODES=18573	SAT TT=1159.45 CHECKS=2119863682 NODES=113863	? (TO) TT=1800.03	SAT TT=3.247	SAT TT=491.463	SAT TT=432.405 NODES=10072	? (TO) TT=1800.07	? (TO) TT=1800.02	? (TO) TT=1800.08	? (problem) TT=285.628	? (problem) TT=275.414	? (TO) TT=1800.11	? TT=385.65	? TT=112.262	SAT TT=3.53	SAT TT=0.182	? (MO) TT=108.197	? (MO) TT=108.212
taillard/os-taillard-10/ os-taillard-10-100-5.xml	SAT TT=0.403	SAT TT=77.881 CHECKS=638690653 NODES=20669	SAT TT=42.874 CHECKS=96768415 NODES=4164	? (TO) TT=1800.07	SAT TT=4.421	SAT TT=494.046	SAT TT=401.108 NODES=17231	SAT TT=735.819 NODES=13037	SAT TT=405.383 CHECKS=727534427 NODES=67968	? (TO) TT=1800.04	? (problem) TT=330.475	? (problem) TT=324.587	SAT TT=2.126	? TT=521.081	? TT=560.385	SAT TT=3.29	SAT TT=0.403	? (TO) TT=1800.22	? (TO) TT=1800.17
taillard/os-taillard-10/ os-taillard-10-100-7.xml	SAT TT=0.664	? (TO) TT=1800.15	? (TO) TT=1800.1	? (TO) TT=1800.1	SAT TT=8.173	SAT TT=502.787	SAT TT=210.541 NODES=2599	? (TO) TT=1800.09	? (TO) TT=1800.01	? (TO) TT=1800.04	? (problem) TT=320.676	? (problem) TT=278.67	? (TO) TT=1800.03	? TT=425.391	? TT=311.481	SAT TT=3.548	SAT TT=0.664	? (MO) TT=113.742	? (MO) TT=111.892
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	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	VALCSP 3.0	VALCSP 3.1
taillard/os-taillard-10/ os-taillard-10-100-9.xml	SAT TT=0.22	SAT TT=103.377 CHECKS=311378976 NODES=25137	SAT TT=551.94 CHECKS=1210097063 NODES=55290	? (TO) TT=1800.06	SAT TT=12.836	SAT TT=499.558	SAT TT=96.498 NODES=645	? (TO) TT=1800.05	SAT TT=525.876 CHECKS=952443245 NODES=86326	? (TO) TT=1800.12	? (problem) TT=266.947	? (problem) TT=261.178	SAT TT=0.533	? TT=395.309	? TT=310.688	SAT TT=3.39	SAT TT=0.22	? (MO) TT=111.831	? (MO) TT=113.003
taillard/os-taillard-10/ os-taillard-10-105-1.xml	SAT TT=0.155	SAT TT=89.727 CHECKS=74105534 NODES=6944	SAT TT=18.821 CHECKS=33694827 NODES=492	? (TO) TT=1800.08	SAT TT=2.491	SAT TT=489.702	SAT TT=101.893 NODES=115	SAT TT=240.218 NODES=1680	SAT TT=154.412 CHECKS=491966098 NODES=313	? (TO) TT=1800.1	? (problem) TT=263.735	? (problem) TT=268.456	SAT TT=0.155	? TT=647.049	? TT=348.554	SAT TT=3.38	SAT TT=0.158	? (MO) TT=117.009	? (MO) TT=115.938
taillard/os-taillard-10/ os-taillard-10-105-3.xml	SAT TT=0.2	SAT TT=72.825 CHECKS=4731759 NODES=141	SAT TT=12.623 CHECKS=18561719 NODES=200	SAT TT=1341.62	SAT TT=1.779	SAT TT=488.751	SAT TT=95.919 NODES=115	SAT TT=173.793 NODES=248	SAT TT=150.208 CHECKS=475509282 NODES=252	? (TO) TT=1800.11	? (problem) TT=267.261	? (problem) TT=280.657	SAT TT=0.2	? TT=377.365	? TT=117.248	SAT TT=3.28	SAT TT=0.506	? (MO) TT=112.534	? (MO) TT=114.087
taillard/os-taillard-10/ os-taillard-10-105-5.xml	SAT TT=0.216	SAT TT=62.311 CHECKS=4504404 NODES=110	SAT TT=15.724 CHECKS=28794901 NODES=503	SAT TT=1349.94	SAT TT=2.051	SAT TT=488.96	SAT TT=165.641 NODES=3569	SAT TT=158.564 NODES=319	SAT TT=129.47 CHECKS=409047557 NODES=330	? (TO) TT=1800.06	? (problem) TT=314.436	? (problem) TT=310.459	SAT TT=0.287	? TT=396.088	? TT=291.895	SAT TT=2.953	SAT TT=0.216	? (MO) TT=117.67	? (MO) TT=115.396
taillard/os-taillard-10/ os-taillard-10-105-7.xml	SAT TT=0.241	SAT TT=82.783 CHECKS=6120507 NODES=176	SAT TT=20.535 CHECKS=37702482 NODES=598	SAT TT=4.111	SAT TT=1.761	SAT TT=490.38	SAT TT=100.875 NODES=259	SAT TT=223.566 NODES=897	SAT TT=154.599 CHECKS=513353599 NODES=1936	? (TO) TT=1800.06	? (problem) TT=264.483	? (problem) TT=253.993	SAT TT=0.241	? TT=415.83	? TT=342.399	SAT TT=3.21	SAT TT=0.314	? (MO) TT=115.428	? (MO) TT=115.267
taillard/os-taillard-10/ os-taillard-10-105-9.xml	SAT TT=0.153	SAT TT=84.635 CHECKS=1780664 NODES=0	SAT TT=12.716 CHECKS=19022505 NODES=112	? (TO) TT=1800.05	SAT TT=3.126	SAT TT=491.327	SAT TT=114.083 NODES=165	SAT TT=173.401 NODES=146	SAT TT=164.066 CHECKS=520704851 NODES=182	? (TO) TT=1800.09	? (problem) TT=254.217	? (problem) TT=258.457	SAT TT=0.156	? TT=310.964	? TT=323.474	SAT TT=3.42	SAT TT=0.153	? (MO) TT=117.165	? (MO) TT=117.126
taillard/ os-taillard-10/ os-taillard-10-95-0.xml	UNSAT TT=247.97	? (TO) TT=1800.12	? (TO) TT=1800.11	? (TO) TT=1800.11	? (TO) TT=1800.09	? (TO) TT=1800.09	? (TO) TT=1800.02	? (TO) TT=1800.02	? (TO) TT=1800.01	? (TO) TT=1800.06	? (problem) TT=246.248	? (problem) TT=232.65	? (TO) TT=1800.08	? TT=402.308	? (TO) TT=1802.2	UNSAT TT=247.97	? (TO) TT=1800.11	? (MO) TT=113.649	? (MO) TT=110.102
taillard/ os-taillard-10/ os-taillard-10-95-1.xml	UNSAT TT=26.53	? (TO) TT=1800.17	? (TO) TT=1800.06	? (TO) TT=1800.11	? (TO) TT=1800.06	? (TO) TT=1800.03	? (TO) TT=1800.05	? (TO) TT=1800.04	? (TO) TT=1800.04	? (TO) TT=1800.02	? (problem) TT=323.292	? (problem) TT=290.922	? (TO) TT=1800.02	? TT=477.858	? (exit code) TT=127.943	UNSAT TT=26.53	? (TO) TT=1800.08	? (MO) TT=104.536	? (MO) TT=100.686
taillard/ os-taillard-10/ os-taillard-10-95-2.xml	UNSAT TT=5.44	? (TO) TT=1800.17	? (TO) TT=1800.06	? (TO) TT=1800.03	? (TO) TT=1800.11	? (TO) TT=1800.06	? (TO) TT=1800.05	? (TO) TT=1800.09	? (TO) TT=1800.08	? (TO) TT=1800.05	? (problem) TT=264.64	? (problem) TT=283.059	? (TO) TT=1800.03	? TT=380.59	? TT=318.365	UNSAT TT=5.44	UNSAT TT=6.486	? (MO) TT=106.045	? (MO) TT=105.677
taillard/ os-taillard-10/ os-taillard-10-95-3.xml	UNSAT TT=5.45	? (TO) TT=1800.1	? (TO) TT=1800.16	? (TO) TT=1800.07	? (TO) TT=1800.11	? (TO) TT=1800.05	? (TO) TT=1800.08	? (TO) TT=1800.05	? (TO) TT=1800.08	? (TO) TT=1800.1	? (problem) TT=286.515	? (problem) TT=295.713	? (TO) TT=1800.04	? TT=446.544	? TT=113.154	UNSAT TT=5.45	UNSAT TT=6.768	? (TO) TT=1800.22	? (TO) TT=1800.22
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	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	VALCSP 3.0	VALCSP 3.1
taillard/ os-taillard-10/ os-taillard-10-95-4.xml	UNSAT TT=19.319	? (TO) TT=1800.15	? (TO) TT=1800.07	? (TO) TT=1800.05	? (TO) TT=1800.12	? (TO) TT=1800.07	? (TO) TT=1800.02	? (TO) TT=1800.09	? (TO) TT=1800.03	? (TO) TT=1800.02	? (problem) TT=289.674	? (problem) TT=270.006	? (TO) TT=1800.11	? TT=469.192	? TT=374.564	UNSAT TT=19.319	? (TO) TT=1800.1	? (MO) TT=103.927	? (MO) TT=102.316
taillard/ os-taillard-10/ os-taillard-10-95-5.xml	UNSAT TT=0.882	? (TO) TT=1800.16	? (TO) TT=1800.05	? (TO) TT=1800.08	? (TO) TT=1800.04	? (TO) TT=1800.05	? (TO) TT=1800.1	? (TO) TT=1800.05	? (TO) TT=1800.03	? (TO) TT=1800.04	? (problem) TT=348.452	? (problem) TT=341.851	? (TO) TT=1800.05	? TT=401.403	? TT=349.541	UNSAT TT=2.94	UNSAT TT=0.882	? (TO) TT=1800.15	? (TO) TT=1800.17
taillard/ os-taillard-10/ os-taillard-10-95-6.xml	UNSAT TT=24.352	? (TO) TT=1800.09	? (TO) TT=1800.12	? (TO) TT=1800.03	? (TO) TT=1800.14	? (TO) TT=1800.12	? (TO) TT=1800.07	? (TO) TT=1800.06	? (TO) TT=1800.02	? (TO) TT=1800.05	? (problem) TT=265.057	? (problem) TT=272.374	? (TO) TT=1800.09	? TT=474.615	? TT=331.148	UNSAT TT=24.352	? (TO) TT=1800.1	? (MO) TT=107.398	? (MO) TT=107.223
taillard/ os-taillard-10/ os-taillard-10-95-7.xml	UNSAT TT=23.26	? (TO) TT=1800.13	? (TO) TT=1800.17	? (TO) TT=1800.08	? (TO) TT=1800.03	? (TO) TT=1800.03	? (TO) TT=1800	? (TO) TT=1800.04	? (TO) TT=1800.07	? (TO) TT=1800.08	? (problem) TT=362.301	? (problem) TT=370.286	? (TO) TT=1800.04	? TT=411.696	? TT=374.468	UNSAT TT=23.26	? (TO) TT=1800.12	? (MO) TT=107.814	? (MO) TT=110.108
taillard/ os-taillard-10/ os-taillard-10-95-8.xml	UNSAT TT=26.72	? (TO) TT=1800.12	? (TO) TT=1800.06	? (TO) TT=1800.06	? (TO) TT=1800.05	? (TO) TT=1800.09	? (TO) TT=1800.03	? (TO) TT=1800.08	? (TO) TT=1800.01	? (TO) TT=1800.1	? (problem) TT=311.128	? (problem) TT=280.026	? (TO) TT=1800.04	? TT=369.665	? TT=299.219	UNSAT TT=26.72	? (TO) TT=1800.04	? (MO) TT=104.624	? (MO) TT=105.281
taillard/ os-taillard-10/ os-taillard-10-95-9.xml	UNSAT TT=269.004	? (TO) TT=1800.08	? (TO) TT=1800.1	? (TO) TT=1800.11	? (TO) TT=1800.12	? (TO) TT=1800.09	? (TO) TT=1800.06	? (TO) TT=1800.04	? (TO) TT=1800.02	? (TO) TT=1800.09	? (problem) TT=261.239	? (problem) TT=349.006	? (TO) TT=1800.09	? TT=429.335	? (exit code) TT=104.196	UNSAT TT=269.004	? (TO) TT=1800.08	? (MO) TT=112.671	? (MO) TT=108.099
taillard/os-taillard-15/ os-taillard-15-100-1.xml	SAT TT=0.397	SAT TT=475.606 CHECKS=467515592 NODES=15198	SAT TT=107.067 CHECKS=244754295 NODES=2120	? (TO) TT=1800.04	SAT TT=13.186	SAT TT=513.255	? TT=30.482	? TT=22.631	? TT=32.666	? (TO) TT=1800.09	? (problem) TT=177.16	? (problem) TT=163.358	? (TO) TT=1800.06	? TT=266.418	? TT=334.745	SAT TT=12.89	SAT TT=0.397	? (MO) TT=158.64	? (MO) TT=155.262
taillard/os-taillard-15/ os-taillard-15-100-3.xml	SAT TT=0.793	SAT TT=449.604 CHECKS=378715145 NODES=11935	SAT TT=82.888 CHECKS=194031399 NODES=1275	? (TO) TT=1800.11	SAT TT=23.516	SAT TT=512.006	? TT=28.576	? TT=22.759	? TT=24.042	? (TO) TT=1800.12	? (problem) TT=224.021	? (problem) TT=227.878	? (TO) TT=1800.06	? TT=267.98	? TT=309.533	SAT TT=14.755	SAT TT=0.793	? (MO) TT=168.23	? (MO) TT=160.96
taillard/os-taillard-15/ os-taillard-15-100-5.xml	SAT TT=0.289	SAT TT=380.946 CHECKS=343846615 NODES=6601	SAT TT=139.854 CHECKS=325294299 NODES=3525	? (TO) TT=1800.04	SAT TT=12.753	SAT TT=507.644	? TT=22.429	? TT=23.838	? TT=27.499	? (TO) TT=1800.03	? (problem) TT=195.408	? (problem) TT=191.1	SAT TT=0.289	? TT=266.846	? TT=102.688	SAT TT=12.568	SAT TT=0.299	? (MO) TT=169.774	? (MO) TT=171.506
taillard/os-taillard-15/ os-taillard-15-100-7.xml	SAT TT=0.38	SAT TT=390.946 CHECKS=296340986 NODES=11134	SAT TT=59.851 CHECKS=137259462 NODES=1059	? (TO) TT=1800.06	SAT TT=23.234	SAT TT=530.674	? TT=22.456	? TT=24.611	? TT=28.628	? (TO) TT=1800.04	? (problem) TT=205.447	? (problem) TT=206.037	? (TO) TT=1800.02	? (exit code) TT=310.971	? TT=137.627	SAT TT=13.18	SAT TT=0.38	? (MO) TT=162.009	? (MO) TT=150.664
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	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	VALCSP 3.0	VALCSP 3.1
taillard/os-taillard-15/ os-taillard-15-100-9.xml	SAT TT=0.65	SAT TT=325.235 CHECKS=252146189 NODES=4477	SAT TT=145.126 CHECKS=332405141 NODES=4163	? (TO) TT=1800.06	SAT TT=26.427	SAT TT=509.743	? TT=32.281	? TT=26.911	? TT=29.921	? (TO) TT=1800.04	? (problem) TT=198.221	? (problem) TT=280.301	? (TO) TT=1800.1	? TT=291.452	? TT=303.034	SAT TT=15.91	SAT TT=0.65	? (MO) TT=168.085	? (MO) TT=168.005
taillard/os-taillard-15/ os-taillard-15-105-1.xml	SAT TT=0.297	SAT TT=256.537 CHECKS=139137982 NODES=225	SAT TT=41.069 CHECKS=89864928 NODES=225	? (TO) TT=1800.06	SAT TT=8.496	SAT TT=504.086	? TT=29.384	? TT=27.558	? TT=21.35	? (TO) TT=1800.05	? (problem) TT=171.295	? (problem) TT=156.443	SAT TT=0.297	? TT=280.263	? TT=967.91	SAT TT=13.927	SAT TT=0.303	? (MO) TT=166.182	? (MO) TT=173.723
taillard/os-taillard-15/ os-taillard-15-105-3.xml	SAT TT=0.281	SAT TT=260.393 CHECKS=139157387 NODES=239	SAT TT=40.856 CHECKS=88622740 NODES=226	? (TO) TT=1800.08	SAT TT=9.33	SAT TT=500.175	? TT=22.021	? TT=21.44	? TT=29.073	? (TO) TT=1800.11	? (problem) TT=219.089	? (problem) TT=216.257	SAT TT=0.305	? TT=268.351	? (exit code) TT=111.575	SAT TT=13.405	SAT TT=0.281	? (MO) TT=180.392	? (MO) TT=167.234
taillard/os-taillard-15/ os-taillard-15-105-5.xml	SAT TT=0.289	SAT TT=228.112 CHECKS=66840586 NODES=0	SAT TT=41.369 CHECKS=90170325 NODES=245	SAT TT=1345.56	SAT TT=7.581	SAT TT=512.846	? TT=21.338	? TT=27.754	? TT=28.026	? (TO) TT=1800.08	? (problem) TT=184.619	? (problem) TT=189.265	SAT TT=0.289	? TT=300.365	? TT=102.408	SAT TT=13.283	SAT TT=0.299	? (MO) TT=178.363	? (MO) TT=181.528
taillard/os-taillard-15/ os-taillard-15-105-7.xml	SAT TT=0.375	SAT TT=258.412 CHECKS=149730627 NODES=465	SAT TT=58.226 CHECKS=134740642 NODES=608	? (TO) TT=1800.07	SAT TT=14.152	SAT TT=512.067	? TT=27.388	? TT=30.93	? TT=28.141	? (TO) TT=1800.04	? (problem) TT=211.591	? (problem) TT=172.984	? (TO) TT=1800.1	? TT=394.997	? (TO) TT=1802.14	SAT TT=12.617	SAT TT=0.375	? (MO) TT=163.886	? (MO) TT=159.199
taillard/os-taillard-15/ os-taillard-15-105-9.xml	SAT TT=0.304	SAT TT=226.445 CHECKS=62537457 NODES=0	SAT TT=42.445 CHECKS=87442514 NODES=282	? (TO) TT=1800.1	SAT TT=8.331	SAT TT=505.542	? TT=24.024	? TT=21.127	? TT=30.966	? (TO) TT=1800.07	? (problem) TT=188.075	? (problem) TT=202.307	SAT TT=0.304	? TT=307.577	? TT=355.421	SAT TT=12.719	SAT TT=0.313	? (MO) TT=176.554	? (MO) TT=174.52
taillard/ os-taillard-15/ os-taillard-15-95-0.xml		? (TO) TT=1800.12	? (TO) TT=1800.05	? (TO) TT=1800.01	? (TO) TT=1800.1	? (TO) TT=1800.08	? TT=25.525	? TT=30.782	? TT=29.083	? (TO) TT=1800.1	? (problem) TT=190.838	? (problem) TT=198.626	? (TO) TT=1800.04	? TT=324.632	? TT=105.247	? (TO) TT=1800.05	? (TO) TT=1800.05	? (MO) TT=163.567	? (MO) TT=167.399
taillard/ os-taillard-15/ os-taillard-15-95-1.xml		? (TO) TT=1800.13	? (TO) TT=1800.05	? (TO) TT=1800.09	? (TO) TT=1800.04	? (TO) TT=1800.04	? TT=22.216	? TT=23.286	? TT=31.229	? (TO) TT=1800.1	? (problem) TT=171.445	? (problem) TT=161.834	? (TO) TT=1800.1	? TT=297.75	? TT=286.908	? (TO) TT=1800.07	? (TO) TT=1800.03	? (MO) TT=159.31	? (MO) TT=182.007
taillard/ os-taillard-15/ os-taillard-15-95-2.xml		? (TO) TT=1800.16	? (TO) TT=1800.11	? (TO) TT=1800.04	? (TO) TT=1800.06	? (TO) TT=1800.04	? (exit code) TT=575.831	? (exit code) TT=557.065	? TT=28.459	? (TO) TT=1800.11	? (problem) TT=227.43	? (problem) TT=228.264	? (TO) TT=1800.03	? TT=287.409	? TT=109.096	? (TO) TT=1800.13	? (TO) TT=1800.11	? (MO) TT=184.435	? (MO) TT=158.107
taillard/ os-taillard-15/ os-taillard-15-95-3.xml		? (TO) TT=1800.15	? (TO) TT=1800.08	? (TO) TT=1800.07	? (TO) TT=1800.13	? (TO) TT=1800.01	? TT=39.944	? TT=28.48	? TT=28.68	? (TO) TT=1800.05	? (problem) TT=232.668	? (problem) TT=228.847	? (TO) TT=1800.04	? TT=268.936	? TT=308.136	? (TO) TT=1800.13	? (TO) TT=1800.09	? (MO) TT=164.586	? (MO) TT=156.273
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	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	VALCSP 3.0	VALCSP 3.1
taillard/ os-taillard-15/ os-taillard-15-95-4.xml		? (TO) TT=1800.18	? (TO) TT=1800.1	? (TO) TT=1800.06	? (TO) TT=1800.09	? (TO) TT=1800.11	? TT=33.497	? TT=43.859	? TT=30.305	? (TO) TT=1800.07	? (problem) TT=169.581	? (problem) TT=153.072	? (TO) TT=1800.03	? TT=295.451	? TT=308.58	? (TO) TT=1800.16	? (TO) TT=1800.05	? (MO) TT=166.014	? (MO) TT=166.515
taillard/ os-taillard-15/ os-taillard-15-95-5.xml		? (TO) TT=1800.18	? (TO) TT=1800.14	? (TO) TT=1800.08	? (TO) TT=1800	? (TO) TT=1800.08	? TT=22.974	? TT=23.348	? TT=34.888	? (TO) TT=1800.03	? (problem) TT=204.626	? (problem) TT=218.962	? (TO) TT=1800.04	? TT=313.051	? TT=104.435	? (TO) TT=1800.17	? (TO) TT=1800.05	? (MO) TT=163.88	? (MO) TT=153.056
taillard/ os-taillard-15/ os-taillard-15-95-6.xml		? (TO) TT=1800.14	? (TO) TT=1800.04	? (TO) TT=1800.01	? (TO) TT=1800.07	? (TO) TT=1800.07	? TT=26.663	? TT=23.243	? TT=27.707	? (TO) TT=1800.12	? (problem) TT=189.274	? (problem) TT=208.239	? (TO) TT=1800.04	? TT=410.075	? TT=103.533	? (TO) TT=1800.09	? (TO) TT=1800.1	? (MO) TT=156.144	? (MO) TT=150.432
taillard/ os-taillard-15/ os-taillard-15-95-7.xml		? (TO) TT=1800.15	? (TO) TT=1800.07	? (TO) TT=1800.09	? (TO) TT=1800.1	? (TO) TT=1800.13	? TT=189.449	? TT=184.905	? TT=30.196	? (TO) TT=1800.04	? (problem) TT=240.517	? (problem) TT=225.406	? (TO) TT=1800.1	? TT=362.779	? TT=324.787	? (TO) TT=1800.12	? (TO) TT=1800.1	? (MO) TT=155.029	? (MO) TT=154.554
taillard/ os-taillard-15/ os-taillard-15-95-8.xml	SAT TT=5.926	? (TO) TT=1800.1	? (TO) TT=1800.09	? (TO) TT=1800.03	SAT TT=147.803	SAT TT=627.018	? TT=24.143	? TT=26.363	? TT=28.874	? (TO) TT=1800.04	? (problem) TT=297.662	? (problem) TT=248.208	? (TO) TT=1800.02	? TT=281.99	? TT=121.41	SAT TT=15.866	SAT TT=5.926	? (MO) TT=151.84	? (MO) TT=152.424
taillard/ os-taillard-15/ os-taillard-15-95-9.xml		? (TO) TT=1800.13	? (TO) TT=1800.08	? (TO) TT=1800.03	? (TO) TT=1800.06	? (TO) TT=1800.11	? TT=27.818	? TT=27.569	? TT=30.849	? (TO) TT=1800.11	? (problem) TT=202.445	? (problem) TT=206.793	? (TO) TT=1800.06	? TT=275.046	? TT=379.81	? (TO) TT=1800.08	? (TO) TT=1800.01	? (MO) TT=158.767	? (MO) TT=148.535
taillard/os-taillard-20/ os-taillard-20-100-1.xml	SAT TT=1.084	? (TO) TT=1800.2	SAT TT=481.424 CHECKS=1133395604 NODES=7092	? (TO) TT=1800.08	SAT TT=62.232	SAT TT=580.71	? TT=23.107	? TT=19.617	? TT=26.301	? (TO) TT=1800.06	? (problem) TT=132.152	? (problem) TT=123.278	SAT TT=1.084	? (MO) TT=90.279	? (MO) TT=64.123	SAT TT=50.661	SAT TT=1.62	? (MO) TT=226.779	? (MO) TT=224.652
taillard/os-taillard-20/ os-taillard-20-100-3.xml	SAT TT=4.083	SAT TT=568.328 CHECKS=851177739 NODES=2131	SAT TT=426.173 CHECKS=931075783 NODES=4502	? (TO) TT=1800.05	SAT TT=37.675	SAT TT=555.411	? TT=23.694	? TT=24.205	? TT=26.582	? (TO) TT=1800.07	? (problem) TT=184.5	? (problem) TT=176.262	? (TO) TT=1800.03	? TT=261.296	? (exit code) TT=109.589	SAT TT=44.086	SAT TT=4.083	? (MO) TT=217.76	? (MO) TT=216.82
taillard/os-taillard-20/ os-taillard-20-100-5.xml	SAT TT=1.138	SAT TT=459.728 CHECKS=574226718 NODES=714	SAT TT=112.772 CHECKS=248471868 NODES=401	? (TO) TT=1800.02	SAT TT=25.359	SAT TT=534.183	? TT=20.648	? TT=21.965	? TT=25.992	? (TO) TT=1800.09	? (problem) TT=144.489	? (problem) TT=154.461	? (TO) TT=1800.07	? TT=264.473	? (exit code) TT=96.989	SAT TT=41.12	SAT TT=1.138	? (MO) TT=218.715	? (MO) TT=214.949
taillard/os-taillard-20/ os-taillard-20-100-7.xml	SAT TT=0.917	SAT TT=302.675 CHECKS=232563252 NODES=0	SAT TT=178.957 CHECKS=402263216 NODES=1099	? (TO) TT=1800.09	SAT TT=22.049	SAT TT=533.524	? TT=25.041	? TT=21.197	? TT=25.357	? (TO) TT=1800.05	? (problem) TT=172.987	? (problem) TT=165.654	SAT TT=1.094	? TT=279.138	? (MO) TT=69.195	SAT TT=43.03	SAT TT=0.917	? (MO) TT=210.935	? (MO) TT=220.426
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	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	VALCSP 3.0	VALCSP 3.1
taillard/os-taillard-20/ os-taillard-20-100-9.xml	SAT TT=1.903	SAT TT=693.154 CHECKS=994192011 NODES=5210	SAT TT=238.733 CHECKS=534923040 NODES=1484	? (TO) TT=1800.06	SAT TT=29.382	SAT TT=521.835	? TT=20.711	? TT=22.35	? TT=26.008	? (TO) TT=1800.07	? (problem) TT=152.39	? (problem) TT=175.512	SAT TT=2.474	? TT=256.816	? TT=108.774	SAT TT=48.52	SAT TT=1.903	? (MO) TT=223.782	? (MO) TT=207.842
taillard/os-taillard-20/ os-taillard-20-105-1.xml	SAT TT=0.764	SAT TT=451.766 CHECKS=568760351 NODES=400	SAT TT=186.119 CHECKS=430634003 NODES=933	? (TO) TT=1800.03	SAT TT=23.294	SAT TT=531.309	? TT=18.505	? TT=19.661	? TT=24.534	? (TO) TT=1800.14	? (problem) TT=139.227	? (problem) TT=124.565	SAT TT=0.805	? (MO) TT=89.029	? (MO) TT=40.754	SAT TT=41.22	SAT TT=0.764	? (MO) TT=255.363	? (MO) TT=222.075
taillard/os-taillard-20/ os-taillard-20-105-3.xml	SAT TT=0.805	SAT TT=434.42 CHECKS=573004383 NODES=400	SAT TT=187.605 CHECKS=429152901 NODES=896	SAT TT=1798.89	SAT TT=25	SAT TT=529.818	? TT=22.256	? TT=21.302	? TT=27.392	? (TO) TT=1800.1	? (problem) TT=166.77	? (problem) TT=161.716	SAT TT=0.837	? (MO) TT=225.091	? (MO) TT=37.567	SAT TT=43.012	SAT TT=0.805	? (MO) TT=239.682	? (MO) TT=240.819
taillard/os-taillard-20/ os-taillard-20-105-5.xml	SAT TT=0.951	SAT TT=410.408 CHECKS=500110223 NODES=400	SAT TT=115.872 CHECKS=256111973 NODES=400	? (TO) TT=1800.02	SAT TT=19.16	SAT TT=513.344	? TT=23.671	? TT=21.571	? TT=25.905	? (TO) TT=1800.09	? (problem) TT=150.339	? (problem) TT=146.34	SAT TT=3.691	? (exit code) TT=262.232	? (exit code) TT=93.132	SAT TT=47.794	SAT TT=0.951	? (MO) TT=219.538	? (MO) TT=216.087
taillard/os-taillard-20/ os-taillard-20-105-7.xml	SAT TT=0.636	SAT TT=436.184 CHECKS=528223750 NODES=400	SAT TT=116.232 CHECKS=254190389 NODES=400	SAT TT=0.636	SAT TT=21.968	SAT TT=538.817	? TT=19.91	? TT=20.346	? TT=27.976	? (TO) TT=1800.14	? (problem) TT=195.421	? (problem) TT=168.495	SAT TT=1.312	? (MO) TT=233.066	? (MO) TT=49.859	SAT TT=44.159	SAT TT=0.916	? (MO) TT=221.254	? (MO) TT=233.604
taillard/os-taillard-20/ os-taillard-20-105-9.xml	SAT TT=0.793	SAT TT=420.058 CHECKS=536099041 NODES=400	SAT TT=117.223 CHECKS=259509203 NODES=400	? (TO) TT=1800.11	SAT TT=21.771	SAT TT=524.211	? TT=19.879	? TT=19.866	? TT=26.178	? (TO) TT=1800.1	? (problem) TT=170.614	? (problem) TT=157.305	SAT TT=0.793	? (MO) TT=177.796	? (MO) TT=73.356	SAT TT=44.662	SAT TT=0.799	? (MO) TT=236.641	? (MO) TT=225.488
taillard/ os-taillard-20/ os-taillard-20-95-0.xml		? (TO) TT=1800.13	? (TO) TT=1800.12	? (TO) TT=1800.09	? (TO) TT=1800.01	? (TO) TT=1800.08	? TT=21.894	? TT=22.23	? TT=26.771	? (TO) TT=1800.08	? (problem) TT=163.639	? (problem) TT=163.2	? (TO) TT=1800.07	? TT=276.598	? TT=1197.96	? (TO) TT=1800.3	? (TO) TT=1800.01	? (MO) TT=186.886	? (MO) TT=184.367
taillard/ os-taillard-20/ os-taillard-20-95-1.xml	SAT TT=45.402	? (TO) TT=1800.19	? (TO) TT=1800.12	? (TO) TT=1800.1	SAT TT=642.121	SAT TT=864.454	? TT=21.625	? TT=21.508	? TT=25.265	? (TO) TT=1800.14	? (problem) TT=134.197	? (problem) TT=160.412	? (TO) TT=1800.11	? TT=283.585	? (MO) TT=64.455	SAT TT=45.402	? (TO) TT=1800.05	? (MO) TT=211.014	? (MO) TT=201.788
taillard/ os-taillard-20/ os-taillard-20-95-2.xml		? (TO) TT=1800.16	? (TO) TT=1800.15	? (TO) TT=1800.05	? (TO) TT=1800.06	? (TO) TT=1800.02	? TT=22.257	? TT=22.093	? TT=29.593	? (TO) TT=1800.09	? (problem) TT=150.151	? (problem) TT=150.537	? (TO) TT=1800.06	? TT=261.86	? (MO) TT=62.692	? (TO) TT=1800.29	? (TO) TT=1800.05	? (MO) TT=216.757	? (MO) TT=217.583
taillard/ os-taillard-20/ os-taillard-20-95-3.xml		? (TO) TT=1800.09	? (TO) TT=1800.11	? (TO) TT=1800.04	? (TO) TT=1800	? (TO) TT=1800.07	? TT=21.246	? TT=21.606	? TT=26.328	? (TO) TT=1800.1	? (problem) TT=197.39	? (problem) TT=188.05	? (TO) TT=1800.04	? TT=255.622	? (MO) TT=66.24	? (TO) TT=1800.2	? (TO) TT=1800.02	? (MO) TT=217.792	? (MO) TT=216.74
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	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	VALCSP 3.0	VALCSP 3.1
taillard/ os-taillard-20/ os-taillard-20-95-4.xml		? (TO) TT=1800.15	? (TO) TT=1800.13	? (TO) TT=1800.03	? (TO) TT=1800.07	? (TO) TT=1800.06	? TT=21.169	? TT=21.103	? TT=25.457	? (TO) TT=1800.12	? (problem) TT=178.409	? (problem) TT=183.085	? (TO) TT=1800.02	? TT=264.613	? TT=105.897	? (TO) TT=1800.22	? (TO) TT=1800.09	? (MO) TT=217.671	? (MO) TT=221.101
taillard/ os-taillard-20/ os-taillard-20-95-5.xml		? (TO) TT=1800.2	? (TO) TT=1800.14	? (TO) TT=1800.06	? (TO) TT=1800	? (TO) TT=1800.05	? TT=30.557	? TT=27.871	? TT=29.515	? (TO) TT=1800.11	? (problem) TT=172.353	? (problem) TT=194.907	? (TO) TT=1800.05	? TT=338.994	? TT=99.956	? (TO) TT=1800.19	? (TO) TT=1800.11	? (MO) TT=202.289	? (MO) TT=193.308
taillard/ os-taillard-20/ os-taillard-20-95-6.xml		? (TO) TT=1800.1	? (TO) TT=1800.14	? (TO) TT=1800.09	? (TO) TT=1800.01	? (TO) TT=1800.05	? TT=20.649	? TT=24.974	? TT=23.356	? (TO) TT=1800.11	? (problem) TT=170.603	? (problem) TT=170.777	? (TO) TT=1800.02	? TT=268.264	? TT=96.258	? (TO) TT=1800.24	? (TO) TT=1800.08	? (MO) TT=208.15	? (MO) TT=207.635
taillard/ os-taillard-20/ os-taillard-20-95-7.xml	SAT TT=1.765	? (TO) TT=1800.11	SAT TT=636.088 CHECKS=1462371805 NODES=12662	? (TO) TT=1800.09	SAT TT=58.041	SAT TT=667.89	? TT=21.144	? TT=20.74	? TT=20.357	? (TO) TT=1800.05	? (problem) TT=172.5	? (problem) TT=189.699	? (TO) TT=1800.08	? TT=273.821	? (MO) TT=64.882	SAT TT=40.607	SAT TT=1.765	? (MO) TT=210.3	? (MO) TT=195.826
taillard/ os-taillard-20/ os-taillard-20-95-8.xml		? (TO) TT=1800.11	? (TO) TT=1800.17	? (TO) TT=1800.08	? (TO) TT=1800.08	? (TO) TT=1800.05	? TT=27.573	? TT=24.861	? TT=25.983	? (TO) TT=1800.05	? (problem) TT=205.595	? (problem) TT=203.271	? (TO) TT=1800.11	? TT=266.282	? (MO) TT=64.321	? (TO) TT=1800.16	? (TO) TT=1800.05	? (MO) TT=209.788	? (MO) TT=225.303
taillard/ os-taillard-20/ os-taillard-20-95-9.xml		? (TO) TT=1800.15	? (TO) TT=1800.12	? (TO) TT=1800.09	? (TO) TT=1800.09	? (TO) TT=1800.04	? TT=21.048	? TT=20.823	? TT=24.978	? (TO) TT=1800.13	? (problem) TT=157.337	? (problem) TT=164.955	? (TO) TT=1800.11	? TT=378.267	? TT=104.665	? (TO) TT=1800.24	? (TO) TT=1800.11	? (MO) TT=214.029	? (MO) TT=201.654
taillard/os-taillard-4/ os-taillard-4-100-1.xml	SAT TT=0.015	SAT TT=1.213 CHECKS=222178 NODES=0	SAT TT=1.808 CHECKS=15524385 NODES=2553	SAT TT=1705.56	SAT TT=0.22	SAT TT=0.88	SAT TT=8.229 NODES=3496	SAT TT=1.677 NODES=47	SAT TT=3.501 CHECKS=3490184 NODES=3757	? (TO) TT=1800.04	SAT TT=147.792	SAT TT=183.026	SAT TT=0.015	SAT TT=13.028	SAT TT=14.673	SAT TT=0.34	SAT TT=0.02	SAT TT=3.716 CHECKS=498711000 NODES=1475	SAT TT=3.728 CHECKS=498711000 NODES=1475
taillard/os-taillard-4/ os-taillard-4-100-3.xml	SAT TT=0.018	SAT TT=1.411 CHECKS=1257353 NODES=212	SAT TT=1.331 CHECKS=1972549 NODES=373	SAT TT=20.874	SAT TT=0.197	SAT TT=0.525	SAT TT=6.848 NODES=3186	SAT TT=5.452 NODES=1111	SAT TT=5.61 CHECKS=5085811 NODES=6264	? (TO) TT=1800.02	SAT TT=78.355	SAT TT=13.28	SAT TT=0.018	SAT TT=9.654	SAT TT=11.881	SAT TT=0.081	SAT TT=0.019	SAT TT=1.508 CHECKS=203563000 NODES=255	SAT TT=1.415 CHECKS=203563000 NODES=255
taillard/os-taillard-4/ os-taillard-4-100-5.xml	SAT TT=0.015	SAT TT=1.047 CHECKS=21621 NODES=0	SAT TT=0.985 CHECKS=21214 NODES=16	SAT TT=0.027	SAT TT=0.141	SAT TT=1.408	SAT TT=1.331 NODES=41	SAT TT=1.013 NODES=16	SAT TT=1.14 CHECKS=899726 NODES=16	? (TO) TT=1800.11	SAT TT=16.152	SAT TT=6.6	SAT TT=0.015	SAT TT=4.375	SAT TT=5.487	SAT TT=0.31	SAT TT=0.016	SAT TT=0.215 CHECKS=477452 NODES=16	SAT TT=0.219 CHECKS=477452 NODES=16
taillard/os-taillard-4/ os-taillard-4-100-7.xml	SAT TT=0.015	SAT TT=1.123 CHECKS=27467 NODES=0	SAT TT=1.099 CHECKS=31000 NODES=17	SAT TT=0.089	SAT TT=0.154	SAT TT=0.944	SAT TT=1.02 NODES=26	SAT TT=1.248 NODES=50	SAT TT=1.313 CHECKS=1312718 NODES=87	? (TO) TT=1800.11	SAT TT=22.178	SAT TT=8.639	SAT TT=0.018	SAT TT=6.434	SAT TT=7.96	SAT TT=0.066	SAT TT=0.015	SAT TT=0.274 CHECKS=612212 NODES=16	SAT TT=0.275 CHECKS=612212 NODES=16
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	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	VALCSP 3.0	VALCSP 3.1
taillard/os-taillard-4/ os-taillard-4-100-9.xml	SAT TT=0.017	SAT TT=1.112 CHECKS=352264 NODES=0	SAT TT=1.393 CHECKS=5162047 NODES=958	SAT TT=6.74	SAT TT=0.179	SAT TT=7.196	SAT TT=6.4 NODES=2690	SAT TT=3.098 NODES=477	SAT TT=1.337 CHECKS=1734236 NODES=96	? (TO) TT=1800.05	SAT TT=25.145	SAT TT=19.995	SAT TT=0.018	SAT TT=6.608	SAT TT=8.191	SAT TT=0.069	SAT TT=0.017	SAT TT=1.381 CHECKS=141267000 NODES=446	SAT TT=1.34 CHECKS=141267000 NODES=446
taillard/os-taillard-4/ os-taillard-4-105-1.xml	SAT TT=0.016	SAT TT=1.201 CHECKS=51888 NODES=0	SAT TT=1.219 CHECKS=40505 NODES=17	SAT TT=0.023	SAT TT=0.184	SAT TT=1.143	SAT TT=1.272 NODES=21	SAT TT=1.672 NODES=43	SAT TT=1.433 CHECKS=2200155 NODES=24	? (TO) TT=1800.08	SAT TT=34.984	SAT TT=12.415	SAT TT=0.017	SAT TT=6.941	SAT TT=9.249	SAT TT=0.072	SAT TT=0.016	SAT TT=0.451 CHECKS=806869 NODES=16	SAT TT=0.397 CHECKS=806869 NODES=16
taillard/os-taillard-4/ os-taillard-4-105-3.xml	SAT TT=0.017	SAT TT=1.337 CHECKS=41607 NODES=0	SAT TT=1.276 CHECKS=39557 NODES=16	SAT TT=0.023	SAT TT=0.202	SAT TT=0.71	SAT TT=1.324 NODES=17	SAT TT=1.693 NODES=42	SAT TT=1.668 CHECKS=2467602 NODES=67	? (TO) TT=1800.11	SAT TT=35.535	SAT TT=13.144	SAT TT=0.017	SAT TT=8.117	SAT TT=10.328	SAT TT=0.341	SAT TT=0.018	SAT TT=0.5 CHECKS=1076240 NODES=16	SAT TT=0.447 CHECKS=1076240 NODES=16
taillard/os-taillard-4/ os-taillard-4-105-5.xml	SAT TT=0.016	SAT TT=1.032 CHECKS=25630 NODES=0	SAT TT=1.029 CHECKS=25137 NODES=16	SAT TT=0.022	SAT TT=0.143	SAT TT=1.909	SAT TT=1.02 NODES=19	SAT TT=1.2 NODES=16	SAT TT=1.129 CHECKS=1135082 NODES=16	? (TO) TT=1800.02	SAT TT=17.86	SAT TT=7.315	SAT TT=0.017	SAT TT=4.814	SAT TT=5.951	SAT TT=0.063	SAT TT=0.016	SAT TT=0.242 CHECKS=568790 NODES=16	SAT TT=0.242 CHECKS=568790 NODES=16
taillard/os-taillard-4/ os-taillard-4-105-7.xml	SAT TT=0.016	SAT TT=1.098 CHECKS=32692 NODES=0	SAT TT=1.129 CHECKS=30282 NODES=16	SAT TT=0.021	SAT TT=0.163	SAT TT=1.164	SAT TT=1.114 NODES=22	SAT TT=1.353 NODES=16	SAT TT=1.318 CHECKS=1538740 NODES=16	? (TO) TT=1800.08	SAT TT=24.68	SAT TT=9.46	SAT TT=0.016	SAT TT=5.881	SAT TT=7.485	SAT TT=0.065	SAT TT=0.016	SAT TT=0.343 CHECKS=775096 NODES=16	SAT TT=0.329 CHECKS=775096 NODES=16
taillard/os-taillard-4/ os-taillard-4-105-9.xml	SAT TT=0.014	SAT TT=1.251 CHECKS=70642 NODES=0	SAT TT=1.133 CHECKS=28865 NODES=16	SAT TT=234.626	SAT TT=0.195	SAT TT=8.745	SAT TT=1.113 NODES=17	SAT TT=1.547 NODES=46	SAT TT=1.405 CHECKS=1980695 NODES=47	? (TO) TT=1800.02	SAT TT=26.413	SAT TT=11.878	SAT TT=0.016	SAT TT=7.359	SAT TT=8.995	SAT TT=0.237	SAT TT=0.014	SAT TT=0.39 CHECKS=1295970 NODES=16	SAT TT=0.361 CHECKS=1295970 NODES=16
taillard/os-taillard-4/ os-taillard-4-95-0.xml	UNSAT TT=0.015	UNSAT TT=0.991 CHECKS=233575 NODES=0	UNSAT TT=1.057 CHECKS=327121 NODES=53	UNSAT TT=0.078	UNSAT TT=0.128	UNSAT TT=1.483	UNSAT TT=1.167 NODES=53	UNSAT TT=1.314 NODES=49	UNSAT TT=1.043 CHECKS=836182 NODES=49	? (TO) TT=1800.02	UNSAT TT=15.158	UNSAT TT=5.872	UNSAT TT=0.015	UNSAT TT=4.721	UNSAT TT=5.981	UNSAT TT=0.56	UNSAT TT=0.016	UNSAT TT=0.217 CHECKS=3346640 NODES=0	UNSAT TT=0.209 CHECKS=3346640 NODES=0
taillard/os-taillard-4/ os-taillard-4-95-1.xml	UNSAT TT=0.015	UNSAT TT=1.668 CHECKS=9994298 NODES=0	UNSAT TT=1.571 CHECKS=10503097 NODES=2478	UNSAT TT=112.426	UNSAT TT=0.172	UNSAT TT=0.675	UNSAT TT=11.529 NODES=5869	UNSAT TT=3.635 NODES=857	UNSAT TT=2.007 CHECKS=2360557 NODES=1280	? (TO) TT=1800.05	UNSAT TT=25.036	UNSAT TT=15.336	UNSAT TT=0.015	UNSAT TT=11.329	UNSAT TT=11.966	UNSAT TT=0.059	UNSAT TT=0.015	UNSAT TT=0.442 CHECKS=23798400 NODES=52	UNSAT TT=0.441 CHECKS=23798400 NODES=52
taillard/os-taillard-4/ os-taillard-4-95-2.xml	UNSAT TT=0.016	UNSAT TT=1.488 CHECKS=1926683 NODES=0	UNSAT TT=1.401 CHECKS=3416172 NODES=529	UNSAT TT=0.054	UNSAT TT=0.28	UNSAT TT=10.352	UNSAT TT=5.46 NODES=1858	UNSAT TT=2.955 NODES=267	UNSAT TT=1.647 CHECKS=2437788 NODES=194	? (TO) TT=1800.11	UNSAT TT=41.965	UNSAT TT=13.03	UNSAT TT=0.018	UNSAT TT=8.475	UNSAT TT=10.122	UNSAT TT=0.068	UNSAT TT=0.016	UNSAT TT=0.568 CHECKS=26235900 NODES=20	UNSAT TT=0.568 CHECKS=26235900 NODES=20
taillard/os-taillard-4/ os-taillard-4-95-3.xml	UNSAT TT=0.016	UNSAT TT=1.75 CHECKS=11935143 NODES=0	UNSAT TT=1.629 CHECKS=9424236 NODES=2007	UNSAT TT=0.126	UNSAT TT=0.191	UNSAT TT=0.405	UNSAT TT=9.802 NODES=4547	UNSAT TT=4.071 NODES=1132	UNSAT TT=1.915 CHECKS=2333101 NODES=934	? (TO) TT=1800.07	UNSAT TT=37.983	UNSAT TT=17.053	UNSAT TT=0.018	UNSAT TT=11.252	UNSAT TT=13.025	UNSAT TT=0.323	UNSAT TT=0.016	UNSAT TT=0.657 CHECKS=56671500 NODES=76	UNSAT TT=0.641 CHECKS=56671500 NODES=76
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	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	VALCSP 3.0	VALCSP 3.1
taillard/os-taillard-4/ os-taillard-4-95-4.xml	UNSAT TT=0.018	UNSAT TT=2.531 CHECKS=32993632 NODES=4710	UNSAT TT=2.623 CHECKS=37958535 NODES=6366	UNSAT TT=252.788	UNSAT TT=0.219	UNSAT TT=0.449	UNSAT TT=27.104 NODES=10541	UNSAT TT=11.896 NODES=2783	UNSAT TT=3.737 CHECKS=4667880 NODES=3109	? (TO) TT=1800.07	UNSAT TT=83.497	UNSAT TT=325.26	UNSAT TT=0.018	UNSAT TT=29.081	UNSAT TT=31.018	UNSAT TT=0.336	UNSAT TT=0.019	UNSAT TT=1.558 CHECKS=222115000 NODES=123	UNSAT TT=1.536 CHECKS=222115000 NODES=123
taillard/os-taillard-4/ os-taillard-4-95-5.xml	UNSAT TT=0.015	UNSAT TT=1.035 CHECKS=163433 NODES=0	UNSAT TT=1.082 CHECKS=210837 NODES=27	UNSAT TT=0.03	UNSAT TT=0.126	UNSAT TT=0.97	UNSAT TT=1.02 NODES=29	UNSAT TT=1.126 NODES=27	UNSAT TT=0.995 CHECKS=700072 NODES=27	? (TO) TT=1800.07	UNSAT TT=14.973	UNSAT TT=5.285	UNSAT TT=0.016	UNSAT TT=4.829	UNSAT TT=5.543	UNSAT TT=0.321	UNSAT TT=0.015	UNSAT TT=0.187 CHECKS=850218 NODES=0	UNSAT TT=0.183 CHECKS=850218 NODES=0
taillard/os-taillard-4/ os-taillard-4-95-6.xml	UNSAT TT=0.016	UNSAT TT=1.036 CHECKS=515912 NODES=0	UNSAT TT=1.056 CHECKS=739261 NODES=158	UNSAT TT=0.115	UNSAT TT=0.178	UNSAT TT=0.665	UNSAT TT=1.666 NODES=395	UNSAT TT=1.383 NODES=141	UNSAT TT=1.21 CHECKS=1187878 NODES=153	UNSAT TT=730.883	UNSAT TT=16.621	UNSAT TT=6.134	UNSAT TT=0.017	UNSAT TT=5.235	UNSAT TT=6.251	UNSAT TT=0.06	UNSAT TT=0.016	UNSAT TT=0.335 CHECKS=16292100 NODES=26	UNSAT TT=0.336 CHECKS=16292100 NODES=26
taillard/os-taillard-4/ os-taillard-4-95-7.xml	UNSAT TT=0.016	UNSAT TT=1.028 CHECKS=144022 NODES=0	UNSAT TT=1.057 CHECKS=192006 NODES=39	UNSAT TT=0.031	UNSAT TT=0.134	UNSAT TT=0.678	UNSAT TT=1.085 NODES=38	UNSAT TT=1.164 NODES=39	UNSAT TT=1.108 CHECKS=964429 NODES=39	UNSAT TT=816.739	UNSAT TT=18.938	UNSAT TT=7.05	UNSAT TT=0.016	UNSAT TT=4.928	UNSAT TT=6.63	UNSAT TT=0.581	UNSAT TT=0.016	UNSAT TT=0.235 CHECKS=669913 NODES=0	UNSAT TT=0.241 CHECKS=669913 NODES=0
taillard/os-taillard-4/ os-taillard-4-95-8.xml	UNSAT TT=0.016	UNSAT TT=1.295 CHECKS=676811 NODES=0	UNSAT TT=1.337 CHECKS=2016702 NODES=310	UNSAT TT=0.036	UNSAT TT=0.183	UNSAT TT=0.306	UNSAT TT=2.649 NODES=687	UNSAT TT=2.468 NODES=329	UNSAT TT=1.54 CHECKS=1823916 NODES=179	? (TO) TT=1800.02	UNSAT TT=30.797	UNSAT TT=11.823	UNSAT TT=0.019	UNSAT TT=7.175	UNSAT TT=8.655	UNSAT TT=0.313	UNSAT TT=0.016	UNSAT TT=0.398 CHECKS=4929500 NODES=4	UNSAT TT=0.384 CHECKS=4929500 NODES=4
taillard/os-taillard-4/ os-taillard-4-95-9.xml	UNSAT TT=0.017	UNSAT TT=1.169 CHECKS=837161 NODES=0	UNSAT TT=1.364 CHECKS=6494914 NODES=1798	UNSAT TT=0.377	UNSAT TT=0.16	UNSAT TT=5.44	UNSAT TT=7.042 NODES=3296	UNSAT TT=2.45 NODES=519	UNSAT TT=1.366 CHECKS=1578034 NODES=276	? (TO) TT=1800.11	UNSAT TT=20.845	UNSAT TT=15.273	UNSAT TT=0.018	UNSAT TT=6.495	UNSAT TT=8.148	UNSAT TT=0.323	UNSAT TT=0.017	UNSAT TT=0.391 CHECKS=19884600 NODES=30	UNSAT TT=0.376 CHECKS=19884600 NODES=30
taillard/os-taillard-5/ os-taillard-5-100-1.xml	SAT TT=0.025	SAT TT=2.341 CHECKS=3850970 NODES=294	SAT TT=3.402 CHECKS=32910684 NODES=2900	? (TO) TT=1800.1	SAT TT=2.267	SAT TT=11.115	SAT TT=37.426 NODES=9800	SAT TT=13.083 NODES=2784	SAT TT=5.598 CHECKS=8989710 NODES=3247	? (TO) TT=1800.03	SAT TT=658.489	SAT TT=696.786	SAT TT=0.026	SAT TT=45.17	SAT TT=48.107	SAT TT=0.926	SAT TT=0.025	SAT TT=87.288 CHECKS=11950000000 NODES=17674	SAT TT=82.185 CHECKS=11950000000 NODES=17674
taillard/os-taillard-5/ os-taillard-5-100-3.xml	SAT TT=0.164	SAT TT=66.039 CHECKS=2146842921 NODES=225522	SAT TT=7.958 CHECKS=190969779 NODES=22560	? (TO) TT=1800.07	SAT TT=7.418	SAT TT=4.896	SAT TT=320.605 NODES=74864	? (TO) TT=1800.01	? (TO) TT=1800.02	? (TO) TT=1800.02	? (MO) TT=0	? (TO) TT=0.028	SAT TT=0.164	SAT TT=99.328	SAT TT=101.899	SAT TT=1.06	SAT TT=0.233	? (TO) TT=1800.08	? (TO) TT=1800.1
taillard/os-taillard-5/ os-taillard-5-100-5.xml	SAT TT=0.031	SAT TT=8.772 CHECKS=225478456 NODES=18871	SAT TT=16.457 CHECKS=491512516 NODES=49367	? (TO) TT=1800.02	SAT TT=10.418	SAT TT=26.081	? (TO) TT=1800.07	? (TO) TT=1800.09	? (TO) TT=1800.1	? (TO) TT=1800.04	? (MO) TT=0	? (TO) TT=0.033	SAT TT=0.059	SAT TT=395.166	SAT TT=419.853	SAT TT=0.797	SAT TT=0.031	SAT TT=1001 CHECKS=162852000000 NODES=129284	SAT TT=995.21 CHECKS=162852000000 NODES=129284
taillard/os-taillard-5/ os-taillard-5-100-7.xml	SAT TT=0.101	SAT TT=176.43 CHECKS=5611030273 NODES=702070	SAT TT=185.062 CHECKS=5811096528 NODES=696315	? (TO) TT=1800.07	SAT TT=4.957	SAT TT=8.228	? (TO) TT=1800.06	? (TO) TT=1800.07	SAT TT=92.041 CHECKS=83756369 NODES=90426	? (TO) TT=1800.08	? (MO) TT=0	? (TO) TT=0.026	SAT TT=1.535	SAT TT=1260.03	SAT TT=562.298	SAT TT=0.92	SAT TT=0.101	? (TO) TT=1800.09	? (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	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	VALCSP 3.0	VALCSP 3.1
taillard/os-taillard-5/ os-taillard-5-100-9.xml	SAT TT=0.026	SAT TT=4.767 CHECKS=60234894 NODES=5563	SAT TT=6.212 CHECKS=114795981 NODES=11428	? (TO) TT=1800.08	SAT TT=1.992	SAT TT=4.823	SAT TT=180.947 NODES=45987	? (TO) TT=1800.07	SAT TT=324.847 CHECKS=282447057 NODES=341204	? (TO) TT=1800.11	? (MO) TT=0	? (TO) TT=1800.01	SAT TT=0.026	SAT TT=34.786	SAT TT=42.21	SAT TT=0.94	SAT TT=0.029	SAT TT=918.804 CHECKS=154924000000 NODES=205662	SAT TT=970.725 CHECKS=154924000000 NODES=205662
taillard/os-taillard-5/ os-taillard-5-105-1.xml	SAT TT=0.02	SAT TT=2.26 CHECKS=155705 NODES=0	SAT TT=2.324 CHECKS=90806 NODES=25	SAT TT=68.886	SAT TT=0.391	SAT TT=11.856	SAT TT=4.254 NODES=537	SAT TT=4.069 NODES=109	SAT TT=3.307 CHECKS=7242093 NODES=71	? (TO) TT=1800.11	SAT TT=79.838	SAT TT=39.68	SAT TT=0.021	SAT TT=18.243	SAT TT=23.484	SAT TT=0.093	SAT TT=0.02	SAT TT=1.564 CHECKS=26184400 NODES=78	SAT TT=1.57 CHECKS=26184400 NODES=78
taillard/os-taillard-5/ os-taillard-5-105-3.xml	SAT TT=0.021	SAT TT=2.995 CHECKS=283735 NODES=0	SAT TT=3.017 CHECKS=1731747 NODES=197	? (TO) TT=1800.08	SAT TT=0.601	SAT TT=6.089	SAT TT=3.179 NODES=30	SAT TT=14.839 NODES=1888	SAT TT=4.326 CHECKS=9514748 NODES=96	? (TO) TT=1800.1	SAT TT=307.993	SAT TT=66.134	SAT TT=0.023	SAT TT=20.689	SAT TT=30.902	SAT TT=0.88	SAT TT=0.021	SAT TT=1.959 CHECKS=3727970 NODES=25	SAT TT=2.038 CHECKS=3727970 NODES=25
taillard/os-taillard-5/ os-taillard-5-105-5.xml	SAT TT=0.021	SAT TT=2.796 CHECKS=828327 NODES=30	SAT TT=2.799 CHECKS=2112342 NODES=245	? (TO) TT=1800.06	SAT TT=0.57	SAT TT=26.093	SAT TT=3.97 NODES=187	SAT TT=5.418 NODES=100	SAT TT=4.968 CHECKS=10273220 NODES=388	? (TO) TT=1800.08	SAT TT=392.96	SAT TT=323.808	SAT TT=0.023	SAT TT=23.384	SAT TT=30.804	SAT TT=0.889	SAT TT=0.021	SAT TT=1.957 CHECKS=6414590 NODES=25	SAT TT=2.023 CHECKS=6414590 NODES=25
taillard/os-taillard-5/ os-taillard-5-105-7.xml	SAT TT=0.024	SAT TT=2.665 CHECKS=398131 NODES=25	SAT TT=2.814 CHECKS=1168658 NODES=163	SAT TT=1574.87	SAT TT=0.497	SAT TT=9.086	SAT TT=3.728 NODES=170	SAT TT=4.348 NODES=70	SAT TT=4.063 CHECKS=9153057 NODES=77	? (TO) TT=1800.06	SAT TT=144.197	SAT TT=65.512	SAT TT=0.024	SAT TT=25.268	SAT TT=28.855	SAT TT=0.435	SAT TT=0.026	SAT TT=2.188 CHECKS=4616370 NODES=25	SAT TT=1.886 CHECKS=4616370 NODES=25
taillard/os-taillard-5/ os-taillard-5-105-9.xml	SAT TT=0.022	SAT TT=2.946 CHECKS=1951883 NODES=254	SAT TT=3.177 CHECKS=1590175 NODES=254	? (TO) TT=1800.08	SAT TT=0.526	SAT TT=5.871	SAT TT=3.803 NODES=138	SAT TT=5.139 NODES=55	SAT TT=4.56 CHECKS=10617428 NODES=55	? (TO) TT=1800.04	SAT TT=372.944	SAT TT=79.371	SAT TT=0.022	SAT TT=26.169	SAT TT=32.289	SAT TT=0.868	SAT TT=0.024	SAT TT=2.313 CHECKS=11604300 NODES=25	SAT TT=2.23 CHECKS=11604300 NODES=25
taillard/os-taillard-5/ os-taillard-5-95-0.xml	UNSAT TT=0.022	UNSAT TT=5.425 CHECKS=105330488 NODES=8376	UNSAT TT=8.678 CHECKS=188236123 NODES=18303	UNSAT TT=1589.09	UNSAT TT=3.954	UNSAT TT=11.373	UNSAT TT=60.789 NODES=13259	UNSAT TT=34.416 NODES=5854	UNSAT TT=7.621 CHECKS=12163830 NODES=3495	? (TO) TT=1800.03	UNSAT TT=98.887	UNSAT TT=55.575	UNSAT TT=0.023	UNSAT TT=23.723	UNSAT TT=28.621	UNSAT TT=0.092	UNSAT TT=0.022	UNSAT TT=13.079 CHECKS=2108760000 NODES=832	UNSAT TT=13.639 CHECKS=2108760000 NODES=832
taillard/os-taillard-5/ os-taillard-5-95-1.xml	UNSAT TT=0.023	UNSAT TT=2.595 CHECKS=12831798 NODES=1539	UNSAT TT=2.513 CHECKS=12014026 NODES=1584	UNSAT TT=0.082	UNSAT TT=1.884	UNSAT TT=8.124	UNSAT TT=16.094 NODES=3707	UNSAT TT=6.584 NODES=671	UNSAT TT=3.566 CHECKS=6503383 NODES=809	? (TO) TT=1800.06	UNSAT TT=81.812	UNSAT TT=33.484	UNSAT TT=0.023	UNSAT TT=17.656	UNSAT TT=20.451	UNSAT TT=0.087	UNSAT TT=0.023	UNSAT TT=1.505 CHECKS=99208800 NODES=51	UNSAT TT=1.603 CHECKS=99208800 NODES=51
taillard/os-taillard-5/ os-taillard-5-95-2.xml	UNSAT TT=0.025	UNSAT TT=4.75 CHECKS=79876529 NODES=8098	UNSAT TT=35.167 CHECKS=1152938732 NODES=131987	? (TO) TT=1800.03	UNSAT TT=4.983	UNSAT TT=15.966	UNSAT TT=80.771 NODES=16281	UNSAT TT=386.367 NODES=75744	UNSAT TT=54.468 CHECKS=69171861 NODES=47185	? (TO) TT=1800.09	? (TO) TT=0	UNSAT TT=776.964	UNSAT TT=0.028	UNSAT TT=32.244	UNSAT TT=37.089	UNSAT TT=0.692	UNSAT TT=0.025	UNSAT TT=7.832 CHECKS=948968000 NODES=177	UNSAT TT=6.596 CHECKS=948968000 NODES=177
taillard/os-taillard-5/ os-taillard-5-95-3.xml	UNSAT TT=0.023	UNSAT TT=6.211 CHECKS=114533582 NODES=9030	UNSAT TT=4.171 CHECKS=59674917 NODES=5328	UNSAT TT=55.719	UNSAT TT=1.731	UNSAT TT=3.591	UNSAT TT=77.503 NODES=17503	UNSAT TT=21.461 NODES=2450	UNSAT TT=6.738 CHECKS=10500398 NODES=2412	? (TO) TT=1800.11	UNSAT TT=122.256	UNSAT TT=82.795	UNSAT TT=0.023	UNSAT TT=29.262	UNSAT TT=32.463	UNSAT TT=0.427	UNSAT TT=0.023	UNSAT TT=6.385 CHECKS=986535000 NODES=141	UNSAT TT=6.428 CHECKS=986535000 NODES=141
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	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	VALCSP 3.0	VALCSP 3.1
taillard/os-taillard-5/ os-taillard-5-95-4.xml	UNSAT TT=0.023	UNSAT TT=24.206 CHECKS=711738256 NODES=63826	UNSAT TT=17.56 CHECKS=486253992 NODES=41818	UNSAT TT=1599.88	UNSAT TT=16.9	UNSAT TT=23.01	UNSAT TT=404.548 NODES=94494	UNSAT TT=109.178 NODES=13431	UNSAT TT=32.929 CHECKS=40765853 NODES=25100	? (TO) TT=1800.02	UNSAT TT=724.931	UNSAT TT=762.768	UNSAT TT=0.023	UNSAT TT=139.862	UNSAT TT=152.448	UNSAT TT=0.095	UNSAT TT=0.023	UNSAT TT=736.155 CHECKS=135830000000 NODES=55338	UNSAT TT=772.788 CHECKS=135830000000 NODES=55338
taillard/os-taillard-5/ os-taillard-5-95-5.xml	UNSAT TT=0.023	UNSAT TT=5.568 CHECKS=112973366 NODES=12053	UNSAT TT=20.454 CHECKS=605728723 NODES=56317	? (TO) TT=1800.07	UNSAT TT=2.638	UNSAT TT=17.5	UNSAT TT=319.637 NODES=66107	UNSAT TT=105.982 NODES=17387	UNSAT TT=33.704 CHECKS=42769240 NODES=28736	? (TO) TT=1800.04	UNSAT TT=497.142	UNSAT TT=178.865	UNSAT TT=0.023	UNSAT TT=57.453	UNSAT TT=66.054	UNSAT TT=0.707	UNSAT TT=0.023	UNSAT TT=7.152 CHECKS=926934000 NODES=474	UNSAT TT=7.02 CHECKS=926934000 NODES=474
taillard/os-taillard-5/ os-taillard-5-95-6.xml	UNSAT TT=0.025	UNSAT TT=6.252 CHECKS=121716123 NODES=11138	UNSAT TT=6.389 CHECKS=110303884 NODES=10258	? (TO) TT=1800.03	UNSAT TT=7.487	UNSAT TT=11.941	UNSAT TT=478.136 NODES=107836	UNSAT TT=24.993 NODES=4026	UNSAT TT=12.359 CHECKS=17965030 NODES=8066	? (TO) TT=1800.11	UNSAT TT=105.24	UNSAT TT=72.024	UNSAT TT=0.031	UNSAT TT=72.025	UNSAT TT=74.8	UNSAT TT=0.398	UNSAT TT=0.025	UNSAT TT=5.982 CHECKS=793147000 NODES=322	UNSAT TT=5.658 CHECKS=793147000 NODES=322
taillard/os-taillard-5/ os-taillard-5-95-7.xml	UNSAT TT=0.025	UNSAT TT=7.508 CHECKS=183651989 NODES=17712	UNSAT TT=6.393 CHECKS=137528711 NODES=16826	? (TO) TT=1800.01	UNSAT TT=0.984	UNSAT TT=6.121	UNSAT TT=137.401 NODES=28005	UNSAT TT=40.964 NODES=6343	UNSAT TT=15.349 CHECKS=20020581 NODES=9896	? (TO) TT=1800.02	UNSAT TT=250.464	UNSAT TT=174.005	UNSAT TT=0.032	UNSAT TT=38.464	UNSAT TT=46.515	UNSAT TT=0.695	UNSAT TT=0.025	UNSAT TT=11.215 CHECKS=1800820000 NODES=867	UNSAT TT=11.089 CHECKS=1800820000 NODES=867
taillard/os-taillard-5/ os-taillard-5-95-8.xml	UNSAT TT=0.023	UNSAT TT=11.459 CHECKS=311993938 NODES=25408	UNSAT TT=17.442 CHECKS=490014500 NODES=37035	? (TO) TT=1800.04	UNSAT TT=9.006	UNSAT TT=5.624	UNSAT TT=279.88 NODES=54994	UNSAT TT=164.571 NODES=20761	UNSAT TT=146.724 CHECKS=186597703 NODES=130591	? (TO) TT=1800.04	UNSAT TT=388.576	UNSAT TT=567.2	UNSAT TT=0.023	UNSAT TT=91.349	UNSAT TT=92.819	UNSAT TT=0.403	UNSAT TT=0.023	UNSAT TT=714.402 CHECKS=118133000000 NODES=44634	UNSAT TT=725.108 CHECKS=118133000000 NODES=44634
taillard/os-taillard-5/ os-taillard-5-95-9.xml	UNSAT TT=0.024	UNSAT TT=16.49 CHECKS=484762517 NODES=38881	UNSAT TT=7.707 CHECKS=164959428 NODES=17353	? (TO) TT=1800.11	UNSAT TT=3.908	UNSAT TT=3.861	UNSAT TT=264.622 NODES=57323	UNSAT TT=112.192 NODES=14750	UNSAT TT=10.737 CHECKS=16400788 NODES=6027	? (TO) TT=1800.07	UNSAT TT=336.45	UNSAT TT=262.121	UNSAT TT=0.024	UNSAT TT=40.735	UNSAT TT=49.182	UNSAT TT=0.748	UNSAT TT=0.026	UNSAT TT=12.611 CHECKS=1780580000 NODES=633	UNSAT TT=12.321 CHECKS=1780580000 NODES=633
taillard/os-taillard-7/ os-taillard-7-100-1.xml	SAT TT=0.639	SAT TT=212.948 CHECKS=8825742275 NODES=387120	? (TO) TT=1800.11	? (TO) TT=1800.1	SAT TT=111.468	SAT TT=191.392	? (TO) TT=1800.1	? (TO) TT=1800.03	SAT TT=236.835 CHECKS=321066456 NODES=93816	? (TO) TT=1800.04	? (MO) TT=0	? (problem) TT=308.541	SAT TT=17.418	SAT TT=1550.89	? TT=137.658	SAT TT=1.66	SAT TT=0.639	? (TO) TT=1800.14	? (TO) TT=1800.11
taillard/os-taillard-7/ os-taillard-7-100-3.xml	SAT TT=1.79	SAT TT=715.46 CHECKS=31542519736 NODES=1506838	? (TO) TT=1800.12	? (TO) TT=1800.04	SAT TT=32.536	SAT TT=141.986	SAT TT=1258.84 NODES=102122	? (TO) TT=1800.08	? (TO) TT=1800.04	? (TO) TT=1800.03	? (TO) TT=0.028	? (problem) TT=337.849	SAT TT=5.258	? TT=1735.02	? TT=315.511	SAT TT=1.79	SAT TT=6.437	? (TO) TT=1800.05	? (TO) TT=1800.11
taillard/os-taillard-7/ os-taillard-7-100-5.xml	SAT TT=8.98	? (TO) TT=1800.12	? (TO) TT=1800.08	? (TO) TT=1800.06	? (TO) TT=1800.04	? (TO) TT=1800.1	? (TO) TT=1800.05	? (TO) TT=1800.02	? (TO) TT=1800.04	? (TO) TT=1800.07	? (TO) TT=0.029	? (problem) TT=413.037	? (TO) TT=1800.04	? (exit code) TT=1549.17	? TT=116.293	SAT TT=8.98	? (TO) TT=1800.03	? (TO) TT=1800.06	? (TO) TT=1800.05
taillard/os-taillard-7/ os-taillard-7-100-7.xml	SAT TT=0.379	SAT TT=44.073 CHECKS=1352581272 NODES=60482	SAT TT=667.229 CHECKS=3171099094 NODES=173593	? (TO) TT=1800.08	SAT TT=59.187	SAT TT=194.546	SAT TT=639.051 NODES=56354	SAT TT=1613.94 NODES=86527	? (TO) TT=1800.04	? (TO) TT=1800.02	? (MO) TT=0	? (problem) TT=364.488	SAT TT=1.563	? (TO) TT=1800.2	? TT=111.107	SAT TT=1.33	SAT TT=0.379	SAT TT=15.681 CHECKS=12335700 NODES=51	SAT TT=14.451 CHECKS=12335700 NODES=51
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	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	VALCSP 3.0	VALCSP 3.1
taillard/os-taillard-7/ os-taillard-7-100-9.xml	SAT TT=0.638	SAT TT=13.868 CHECKS=102284879 NODES=5354	SAT TT=571.415 CHECKS=2527934700 NODES=159718	? (TO) TT=1800.04	SAT TT=22.447	SAT TT=80.497	? (TO) TT=1800.03	? (TO) TT=1800.11	? (TO) TT=1800.06	? (TO) TT=1800.01	? (MO) TT=0	? (MO) TT=0.026	SAT TT=7.226	SAT TT=997.766	? TT=582.12	SAT TT=1.4	SAT TT=0.638	SAT TT=83.154 CHECKS=9009340000 NODES=5375	SAT TT=82.726 CHECKS=9009340000 NODES=5375
taillard/os-taillard-7/ os-taillard-7-105-1.xml	SAT TT=0.061	SAT TT=18.73 CHECKS=150626561 NODES=6725	SAT TT=16.116 CHECKS=40200794 NODES=1813	? (TO) TT=1800.05	SAT TT=1.393	SAT TT=125.519	SAT TT=54.451 NODES=3248	SAT TT=102.462 NODES=3845	SAT TT=26.788 CHECKS=77543565 NODES=511	? (TO) TT=1800.04	? (TO) TT=0.027	? (problem) TT=358.423	SAT TT=0.061	SAT TT=156.109	? TT=317.24	SAT TT=1.35	SAT TT=0.065	SAT TT=156.701 CHECKS=19870300000 NODES=3225	SAT TT=153.797 CHECKS=19870300000 NODES=3225
taillard/os-taillard-7/ os-taillard-7-105-3.xml	SAT TT=0.067	SAT TT=23.711 CHECKS=379273794 NODES=18270	SAT TT=6.694 CHECKS=5168027 NODES=57	? (TO) TT=1800.08	SAT TT=0.832	SAT TT=165.721	SAT TT=22.493 NODES=169	SAT TT=1119.3 NODES=64578	SAT TT=27.173 CHECKS=83776469 NODES=406	? (TO) TT=1800.07	? (problem) TT=297.358	? (problem) TT=310.679	SAT TT=0.068	SAT TT=251.892	? TT=317.546	SAT TT=1.373	SAT TT=0.067	SAT TT=21.67 CHECKS=81968600 NODES=136	SAT TT=19.988 CHECKS=81968600 NODES=136
taillard/os-taillard-7/ os-taillard-7-105-5.xml	SAT TT=0.188	SAT TT=17.063 CHECKS=62896934 NODES=2554	SAT TT=10.344 CHECKS=16992474 NODES=731	? (TO) TT=1800.02	SAT TT=1.156	SAT TT=159.28	SAT TT=38.239 NODES=1132	SAT TT=1002.47 NODES=95309	SAT TT=122.688 CHECKS=188578100 NODES=51393	? (TO) TT=1800.1	? (TO) TT=0.027	? (problem) TT=408.352	SAT TT=0.428	SAT TT=168.924	? TT=116.549	SAT TT=1.26	SAT TT=0.188	SAT TT=858.993 CHECKS=100562000000 NODES=12223	SAT TT=896.867 CHECKS=100562000000 NODES=12223
taillard/os-taillard-7/ os-taillard-7-105-7.xml	SAT TT=0.054	SAT TT=15.229 CHECKS=118549582 NODES=5910	SAT TT=6.523 CHECKS=5340924 NODES=198	? (TO) TT=1800.06	SAT TT=0.73	SAT TT=214.448	SAT TT=30.825 NODES=1072	SAT TT=39.022 NODES=544	SAT TT=24.403 CHECKS=71227119 NODES=254	? (TO) TT=1800.02	? (MO) TT=0	? (problem) TT=325.606	SAT TT=0.06	SAT TT=151.371	? TT=334.287	SAT TT=1.39	SAT TT=0.054	SAT TT=17.35 CHECKS=32966900 NODES=69	SAT TT=17.218 CHECKS=32966900 NODES=69
taillard/os-taillard-7/ os-taillard-7-105-9.xml	SAT TT=0.05	SAT TT=12.281 CHECKS=1966982 NODES=97	SAT TT=5.766 CHECKS=3021419 NODES=53	? (TO) TT=1800.04	SAT TT=0.838	SAT TT=90.162	SAT TT=13.779 NODES=52	SAT TT=33.926 NODES=404	SAT TT=21.886 CHECKS=61479057 NODES=239	? (TO) TT=1800.06	SAT TT=599.394	? (problem) TT=312.967	SAT TT=0.053	SAT TT=121.163	? (exit code) TT=138.524	SAT TT=1.31	SAT TT=0.05	SAT TT=14.607 CHECKS=9280520 NODES=49	SAT TT=13.957 CHECKS=9280520 NODES=49
taillard/os-taillard-7/ os-taillard-7-95-0.xml	UNSAT TT=0.179	? (TO) TT=1800.08	? (TO) TT=1800.12	? (TO) TT=1800.1	UNSAT TT=1787.08	UNSAT TT=1073.56	? (TO) TT=1800.03	? (TO) TT=1800	? (TO) TT=1800.04	? (TO) TT=1800.02	? (MO) TT=0	? (problem) TT=351.863	UNSAT TT=0.179	? (TO) TT=1800.21	? TT=378.881	UNSAT TT=0.584	UNSAT TT=0.449	? (TO) TT=1800.07	? (TO) TT=1800.05
taillard/os-taillard-7/ os-taillard-7-95-1.xml	UNSAT TT=0.052	UNSAT TT=393.733 CHECKS=17899684024 NODES=747548	? (TO) TT=1800.11	? (TO) TT=1800.02	UNSAT TT=700.132	UNSAT TT=742.948	? (TO) TT=1800.03	? (TO) TT=1800.09	UNSAT TT=1533.46 CHECKS=1911146081 NODES=587299	? (TO) TT=1800.06	? (MO) TT=0	? (problem) TT=335.009	UNSAT TT=0.073	? (TO) TT=1800.17	? TT=121.714	UNSAT TT=1.475	UNSAT TT=0.052	? (TO) TT=1800.09	? (TO) TT=1800.13
taillard/os-taillard-7/ os-taillard-7-95-2.xml	UNSAT TT=0.1	? (TO) TT=1800.06	? (TO) TT=1800.1	? (TO) TT=1800.08	? (TO) TT=1800.04	UNSAT TT=746.836	? (TO) TT=1800.04	? (TO) TT=1800.08	? (TO) TT=1800.01	? (TO) TT=1800.04	? (TO) TT=0.029	? (problem) TT=344.506	UNSAT TT=0.563	? (TO) TT=1800.19	? TT=118.138	UNSAT TT=1.03	UNSAT TT=0.1	? (TO) TT=1800.13	? (TO) TT=1800.09
taillard/os-taillard-7/ os-taillard-7-95-3.xml	UNSAT TT=0.352	? (TO) TT=1800.04	? (TO) TT=1800.08	? (TO) TT=1800.02	? (TO) TT=1800.05	UNSAT TT=1346.56	? (TO) TT=1800.02	? (TO) TT=1800.06	? (TO) TT=1800.02	? (TO) TT=1800.05	? (TO) TT=0	? (problem) TT=347.852	UNSAT TT=3.3	? (TO) TT=1800.29	? TT=110.158	UNSAT TT=1.45	UNSAT TT=0.352	? (TO) TT=1800.08	? (TO) TT=1800.09
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	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	VALCSP 3.0	VALCSP 3.1
taillard/os-taillard-7/ os-taillard-7-95-4.xml	UNSAT TT=0.347	? (TO) TT=1800.15	? (TO) TT=1800.12	? (TO) TT=1800.07	? (TO) TT=1800.04	UNSAT TT=1131.74	? (TO) TT=1800.04	? (TO) TT=1800.08	? (TO) TT=1800.04	? (TO) TT=1800.09	? (MO) TT=0	? (problem) TT=316.445	UNSAT TT=2.759	? (TO) TT=1800.16	? TT=126.803	UNSAT TT=1.14	UNSAT TT=0.347	? (TO) TT=1800.06	? (TO) TT=1800.07
taillard/os-taillard-7/ os-taillard-7-95-5.xml	UNSAT TT=0.182	? (TO) TT=1800.09	? (TO) TT=1800.07	? (TO) TT=1800.08	? (TO) TT=1800.12	? (TO) TT=1800.04	? (TO) TT=1800.07	? (TO) TT=1800.06	? (TO) TT=1800.06	? (TO) TT=1800.07	? (TO) TT=0	? (problem) TT=327.843	UNSAT TT=0.182	? (TO) TT=1800.2	? TT=148.456	UNSAT TT=1.54	UNSAT TT=0.461	? (TO) TT=1800.12	? (TO) TT=1800.04
taillard/os-taillard-7/ os-taillard-7-95-6.xml	UNSAT TT=0.107	? (TO) TT=1800.08	? (TO) TT=1800.13	? (TO) TT=1800	? (TO) TT=1800.07	UNSAT TT=1793.5	? (TO) TT=1800.08	? (TO) TT=1800.07	? (TO) TT=1800.08	? (TO) TT=1800.06	? (MO) TT=0	? (problem) TT=301.653	UNSAT TT=3.23	? (TO) TT=1800.23	? TT=358.257	UNSAT TT=1.46	UNSAT TT=0.107	? (TO) TT=1800.11	? (TO) TT=1800.08
taillard/os-taillard-7/ os-taillard-7-95-7.xml	UNSAT TT=0.174	? (TO) TT=1800.14	? (TO) TT=1800.12	? (TO) TT=1800.08	? (TO) TT=1800.05	UNSAT TT=1080.04	? (TO) TT=1800.06	? (TO) TT=1800.01	? (TO) TT=1800.07	? (TO) TT=1800.04	? (MO) TT=0	? (problem) TT=281.873	UNSAT TT=0.174	? (TO) TT=1800.15	? TT=108.916	UNSAT TT=1.13	UNSAT TT=0.426	? (TO) TT=1800.05	? (TO) TT=1800.08
taillard/os-taillard-7/ os-taillard-7-95-8.xml	UNSAT TT=0.19	? (TO) TT=1800.08	? (TO) TT=1800.08	? (TO) TT=1800.03	? (TO) TT=1800.12	UNSAT TT=942.656	? (TO) TT=1800.04	? (TO) TT=1800.04	? (TO) TT=1800.06	? (TO) TT=1800.04	? (TO) TT=0	? (problem) TT=333.223	UNSAT TT=0.19	? (TO) TT=1800.24	? TT=115.227	UNSAT TT=1.25	UNSAT TT=0.453	? (TO) TT=1800.12	? (TO) TT=1800.05
taillard/os-taillard-7/ os-taillard-7-95-9.xml	UNSAT TT=0.178	UNSAT TT=500.029 CHECKS=21106506373 NODES=1107684	? (TO) TT=1800.06	? (TO) TT=1800.03	UNSAT TT=379.354	UNSAT TT=445.481	? (TO) TT=1800.08	? (TO) TT=1800.1	UNSAT TT=626.556 CHECKS=804755741 NODES=251884	? (TO) TT=1800.08	? (MO) TT=0	? (MO) TT=0.028	UNSAT TT=0.178	? (TO) TT=1800.16	? TT=117.517	UNSAT TT=1.1	UNSAT TT=0.452	? (TO) TT=1800.05	? (TO) TT=1800.04

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	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	VALCSP 3.0	VALCSP 3.1
Number of times the solver is able to give the best known answer	126	121	72	137	142	101	92	99	2	80	80	142	91	86	197	158	0	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	10	0	0	0	0	0	0	0	0	51	0	0	45	103	0	0