MAX-CSP 2008 Competition: results by benchmark

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

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

REMINDER

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

Description of a cell contents:

Cell example	Meaning
Answer	Solver result
f=...	value of the objective function for the model reported by the solver
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
T1=...	Time to get the best model (T1): this is the wall clock time (in seconds) ellapsed when the solver found its best model. This time is obtained from the 'o lines'. It is useful to compare both complete and incomplete solvers. It doesn't take into account the time to prove optimality of the solution.

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
f=...	Value of the objective function
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 could give an answer (SAT)
text	the solver gave a definitive answer (OPTIMUM FOUND 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:
AbsconMax 112 pc-d
AbsconMax 112 pc-w
Concrete + CSP4J - MCRW Engine 2008-05-30
Concrete + CSP4J - Tabu Engine 2008-05-30
Sugar v1.13+minisat
Sugar++ v1.13+minisat-inc
toulbar2 2008-06-27
toulbar2/BTD 2008-06-27

Bench name	Best results on this instance	AbsconMax 112 pc-d	AbsconMax 112 pc-w	Concrete + CSP4J - MCRW Engine 2008-05-30	Concrete + CSP4J - Tabu Engine 2008-05-30	Sugar v1.13+minisat	Sugar++ v1.13+minisat-inc	toulbar2 2008-06-27	toulbar2/BTD 2008-06-27
csp/lexVg/ normalized-crossword-m1c-lex-vg10-11_ext.xml	MSAT TO f=11 TT=3600.02 T1=188.45	MSAT (TO) f=21 TT=3600.1 T1=0.57	MSAT (TO) f=21 TT=3600.11 T1=0.48	? (TO) TT=3600.09	? (TO) TT=3600.09	MSAT (TO) f=11 TT=3600.02 T1=188.45	MSAT (TO) f=11 TT=3600.09 T1=892.24	? (TO) TT=3600.11	? (TO) f=21 TT=3600.05 T1=1.06
csp/lexVg/ normalized-crossword-m1c-lex-vg11-15_ext.xml	MSAT TO f=13 TT=3600.02 T1=51.14	MSAT (TO) f=26 TT=3600.07 T1=0.48	MSAT (TO) f=26 TT=3600.16 T1=0.66	? (TO) TT=3600.02	? (TO) TT=3600.04	MSAT (TO) f=13 TT=3600.02 T1=53.5	MSAT (TO) f=13 TT=3600.16 T1=51.14	? (TO) TT=3600.07	? (TO) f=26 TT=3600.08 T1=0.33
csp/lexVg/ normalized-crossword-m1c-lex-vg12-14_ext.xml	MSAT TO f=13 TT=3600.09 T1=83.86	MSAT (TO) f=26 TT=3600.03 T1=0.47	MSAT (TO) f=26 TT=3600.12 T1=0.48	? (TO) TT=3600.02	? (TO) TT=3600.04	MSAT (TO) f=13 TT=3600.09 T1=766.7	MSAT (TO) f=13 TT=3600.12 T1=83.86	? (exit code) TT=0.015	? (exit code) TT=0.03
csp/lexVg/ normalized-crossword-m1c-lex-vg13-15_ext.xml	MSAT TO f=14 TT=3600.08 T1=25.19	MSAT (TO) f=28 TT=3600.07 T1=0.48	MSAT (TO) f=28 TT=3600.07 T1=0.48	? (TO) TT=3600.05	? (TO) TT=3600.07	MSAT (TO) f=14 TT=3600.08 T1=25.19	MSAT (TO) f=14 TT=3600.09 T1=128.21	? (TO) TT=3600.06	? (TO) f=28 TT=3600.04 T1=0.14
csp/lexVg/ normalized-crossword-m1c-lex-vg13-16_ext.xml	MSAT TO f=15 TT=3600.06 T1=32.64	MSAT (TO) f=29 TT=3600.09 T1=0.57	MSAT (TO) f=29 TT=3600.08 T1=0.57	? (TO) TT=3600.08	? (TO) TT=3600.07	MSAT (TO) f=15 TT=3600.06 T1=130.92	MSAT (TO) f=15 TT=3600.15 T1=32.64	? (TO) TT=3600.08	? (TO) f=29 TT=3600.03 T1=0.15
csp/lexVg/ normalized-crossword-m1c-lex-vg15-18_ext.xml	MOPT f=14 TT=16.424 T1=16.15	MSAT (TO) f=33 TT=3600.13 T1=0.48	MSAT (TO) f=33 TT=3600.11 T1=0.53	? (TO) TT=3600.09	? (TO) TT=3600.02	OPTIMUM f=14 TT=26.685 T1=26.43	OPTIMUM f=14 TT=16.424 T1=16.15	? (TO) TT=3600.03	? (TO) f=33 TT=3600.11 T1=0.09
csp/lexVg/ normalized-crossword-m1c-lex-vg16-20_ext.xml	MOPT f=16 TT=2.466 T1=2.24	MSAT (TO) f=36 TT=3600.18 T1=0.69	MSAT (TO) f=36 TT=3600.05 T1=0.58	? (TO) TT=3600.08	? (TO) TT=3600.07	OPTIMUM f=16 TT=3.523 T1=2.75	OPTIMUM f=16 TT=2.466 T1=2.24	? (exit code) TT=0.043	? (exit code) TT=0.084
csp/lexVg/ normalized-crossword-m1c-lex-vg5-7_ext.xml	MSAT TO f=1 TT=3600.03 T1=108.1	MSAT (TO) f=4 TT=3600.06 T1=3.25	MSAT (TO) f=4 TT=3600.08 T1=3.26	MSAT (TO) f=2 TT=3600.07	MSAT (TO) f=9 TT=3600.01	MSAT (TO) f=1 TT=3600.03 T1=108.1	MSAT (TO) f=1 TT=3600.13 T1=256.78	? (TO) TT=3600.06	? (TO) f=12 TT=3600.12 T1=0.96
csp/lexVg/ normalized-crossword-m1c-lex-vg5-9_ext.xml	MSAT TO f=3 TT=3600.06 T1=47.53	MSAT (TO) f=5 TT=3600.11 T1=1.47	MSAT (TO) f=5 TT=3600.09 T1=1.47	MSAT (TO) f=5 TT=3600.03	MSAT (TO) f=11 TT=3600	MSAT (TO) f=3 TT=3600.06 T1=49.15	MSAT (TO) f=3 TT=3600.14 T1=47.53	? (TO) TT=3600.11	? (TO) f=14 TT=3600.09 T1=0.67
csp/lexVg/ normalized-crossword-m1c-lex-vg6-10_ext.xml	MSAT TO f=4 TT=3600.05 T1=123.72	MSAT (TO) f=6 TT=3600.05 T1=11.44	MSAT (TO) f=6 TT=3600.11 T1=12.23	MSAT (TO) f=6 TT=3600.03	MSAT (TO) f=14 TT=3600.05	MSAT (TO) f=4 TT=3600.05 T1=342.93	MSAT (TO) f=4 TT=3600.12 T1=123.72	? (TO) TT=3600.04	? (TO) f=16 TT=3600.08 T1=1.15
Bench name	Best results on this instance	AbsconMax 112 pc-d	AbsconMax 112 pc-w	Concrete + CSP4J - MCRW Engine 2008-05-30	Concrete + CSP4J - Tabu Engine 2008-05-30	Sugar v1.13+minisat	Sugar++ v1.13+minisat-inc	toulbar2 2008-06-27	toulbar2/BTD 2008-06-27
csp/lexVg/ normalized-crossword-m1c-lex-vg6-8_ext.xml	MSAT TO f=3 TT=3600.05 T1=322.17	MSAT (TO) f=6 TT=3600.08 T1=12.08	MSAT (TO) f=6 TT=3600.06 T1=13.07	MSAT (TO) f=5 TT=3600.1	MSAT (TO) f=12 TT=3600.09	MSAT (TO) f=3 TT=3600.05 T1=641.59	MSAT (TO) f=3 TT=3600.09 T1=322.17	? (TO) TT=3600.05	? (TO) f=14 TT=3600.09 T1=1.16
csp/lexVg/ normalized-crossword-m1c-lex-vg7-10_ext.xml	MSAT TO f=9 TT=3600.06 T1=73.13	MSAT (TO) f=15 TT=3600.14 T1=29.17	MSAT (TO) f=15 TT=3600.13 T1=31.68	MSAT (TO) f=12 TT=3600.04	MSAT (TO) f=16 TT=3600.05	MSAT (TO) f=9 TT=3600.06 T1=73.13	MSAT (TO) f=9 TT=3600.17 T1=85.19	? (TO) TT=3600.04	? (TO) f=17 TT=3600.04 T1=1.25
csp/lexVg/ normalized-crossword-m1c-lex-vg9-10_ext.xml	MSAT TO f=10 TT=3600.02 T1=123.48	MSAT (TO) f=19 TT=3600.12 T1=0.48	MSAT (TO) f=19 TT=3600.08 T1=0.67	? (TO) TT=3600.08	? (TO) TT=3600.01	MSAT (TO) f=10 TT=3600.02 T1=123.48	MSAT (TO) f=10 TT=3600.09 T1=415.6	? (TO) TT=3600.08	? (TO) f=19 TT=3600.08 T1=1.36
csp/lexVg/ normalized-crossword-m1c-lex-vg9-12_ext.xml	MSAT TO f=11 TT=3600.01 T1=90.27	MSAT (TO) f=21 TT=3600.11 T1=0.69	MSAT (TO) f=21 TT=3600.1 T1=0.57	? (TO) TT=3600.05	? (TO) TT=3600.04	MSAT (TO) f=11 TT=3600.01 T1=129.47	MSAT (TO) f=11 TT=3600.12 T1=90.27	? (exit code) TT=0.189	? (exit code) TT=0.376
csp/lexVg/ normalized-crossword-m1c-lex-vg9-9_ext.xml	MSAT TO f=9 TT=3600.01 T1=254.56	MSAT (TO) f=18 TT=3600.13 T1=0.68	MSAT (TO) f=18 TT=3600.16 T1=0.57	? (TO) TT=3600.07	? (TO) TT=3600.06	MSAT (TO) f=9 TT=3600.01 T1=255.63	MSAT (TO) f=9 TT=3600.08 T1=254.56	? (TO) TT=3600.04	? (TO) f=18 TT=3600.08 T1=1.36
csp/modifiedRenault/ normalized-renault-mod-10_ext.xml	MOPT f=1 TT=6.824 T1=6.61	MSAT (TO) f=2 TT=3083.95 T1=3083.89	MSAT (TO) f=2 TT=3600.16 T1=91.13	MSAT (TO) f=1 TT=3600	MSAT (TO) f=1 TT=3600.09	OPTIMUM f=1 TT=9.333 T1=9.08	OPTIMUM f=1 TT=9.11 T1=8.91	OPTIMUM f=1 TT=28.716 T1=22.11	OPTIMUM f=1 TT=6.824 T1=6.61
csp/modifiedRenault/ normalized-renault-mod-12_ext.xml	MOPT f=1 TT=5.752 T1=5.58	MSAT (TO) f=2 TT=3597.77 T1=3597.69	MSAT (TO) f=2 TT=3600.12 T1=95.85	MSAT (TO) f=1 TT=3600.06	MSAT (TO) f=1 TT=3600.05	OPTIMUM f=1 TT=9.303 T1=9.05	OPTIMUM f=1 TT=8.212 T1=8.03	OPTIMUM f=1 TT=2.229 T1=1.87	OPTIMUM f=1 TT=5.752 T1=5.58
csp/modifiedRenault/ normalized-renault-mod-14_ext.xml	MOPT f=1 TT=5.637 T1=5.5	MSAT (TO) f=1 TT=2073.02 T1=40.49	OPTIMUM f=1 TT=1473.99 T1=40.58 CHECKS=4788940000 NODES=1199	MSAT (TO) f=1 TT=3600.03	MSAT (TO) f=1 TT=3600.05	OPTIMUM f=1 TT=9.106 T1=8.9	OPTIMUM f=1 TT=9.243 T1=9.01	OPTIMUM f=1 TT=3.706 T1=1.56	OPTIMUM f=1 TT=5.637 T1=5.5
csp/modifiedRenault/ normalized-renault-mod-16_ext.xml	MOPT f=1 TT=9.001 T1=8.71	MSAT (TO) f=1 TT=2394.46 T1=2394.42	OPTIMUM f=1 TT=561.232 T1=561.19 CHECKS=1916160000 NODES=3410	MSAT (TO) f=1 TT=3600.08	MSAT (TO) f=1 TT=3600.09	OPTIMUM f=1 TT=9.406 T1=9.13	OPTIMUM f=1 TT=9.001 T1=8.71	OPTIMUM f=1 TT=21.796 T1=2.26	OPTIMUM f=1 TT=24.524 T1=24.35
csp/modifiedRenault/ normalized-renault-mod-17_ext.xml	MOPT f=1 TT=7.291 T1=7.11	MSAT (TO) f=4 TT=2807.57 T1=1.86	MSAT (TO) f=2 TT=3600.1 T1=964.97	MSAT (TO) f=1 TT=3600.09	MSAT (TO) f=2 TT=3600.03	OPTIMUM f=1 TT=9.156 T1=8.93	OPTIMUM f=1 TT=8.895 T1=8.71	OPTIMUM f=1 TT=2.349 T1=1.98	OPTIMUM f=1 TT=7.291 T1=7.11
Bench name	Best results on this instance	AbsconMax 112 pc-d	AbsconMax 112 pc-w	Concrete + CSP4J - MCRW Engine 2008-05-30	Concrete + CSP4J - Tabu Engine 2008-05-30	Sugar v1.13+minisat	Sugar++ v1.13+minisat-inc	toulbar2 2008-06-27	toulbar2/BTD 2008-06-27
csp/modifiedRenault/ normalized-renault-mod-18_ext.xml	MOPT f=1 TT=8.906 T1=8.7	MSAT (TO) f=1 TT=2392.33 T1=2392.29	OPTIMUM f=1 TT=885.875 T1=92.9 CHECKS=2891810000 NODES=2555	MSAT (TO) f=1 TT=3600.08	MSAT (TO) f=1 TT=3600.03	OPTIMUM f=1 TT=9.264 T1=9.01	OPTIMUM f=1 TT=8.906 T1=8.7	OPTIMUM f=1 TT=4.719 T1=1.67	OPTIMUM f=1 TT=296.932 T1=296.8
csp/modifiedRenault/ normalized-renault-mod-1_ext.xml	MOPT f=1 TT=8.823 T1=8.64	OPTIMUM f=1 TT=731.303 T1=27.52 CHECKS=2162300000 NODES=15375	OPTIMUM f=1 TT=1206.97 T1=27.42 CHECKS=3778460000 NODES=1056	MSAT (TO) f=1 TT=3600.02	MSAT (TO) f=1 TT=3600.03	OPTIMUM f=1 TT=9.121 T1=8.89	OPTIMUM f=1 TT=8.823 T1=8.64	OPTIMUM f=1 TT=2.161 T1=1.87	OPTIMUM f=1 TT=10.111 T1=9.98
csp/modifiedRenault/ normalized-renault-mod-20_ext.xml	MOPT f=4 TT=17.509 T1=15.08	MSAT (TO) f=5 TT=3600.09 T1=21.78	MSAT (TO) f=5 TT=3600.13 T1=21.5	MSAT (TO) f=4 TT=3600.07	MSAT (TO) f=4 TT=3600.06	OPTIMUM f=4 TT=17.509 T1=15.08	OPTIMUM f=4 TT=22.265 T1=20.67	OPTIMUM f=4 TT=403.828 T1=164.84	OPTIMUM f=4 TT=70.16 T1=70.02
csp/modifiedRenault/ normalized-renault-mod-21_ext.xml	MOPT f=3 TT=12.088 T1=11.85	MSAT (TO) f=6 TT=3600.04 T1=57.92	MSAT (TO) f=4 TT=3600.11 T1=3600.07	MSAT (TO) f=3 TT=3600.07	MSAT (TO) f=4 TT=3600	OPTIMUM f=3 TT=12.704 T1=12.52	OPTIMUM f=3 TT=12.088 T1=11.85	OPTIMUM f=3 TT=74.249 T1=25.95	OPTIMUM f=3 TT=44.655 T1=44.49
csp/modifiedRenault/ normalized-renault-mod-22_ext.xml	MOPT f=3 TT=7.366 T1=7.21	MSAT (TO) f=4 TT=3062.41 T1=33.29	MSAT (TO) f=4 TT=3600.12 T1=30.07	MSAT (TO) f=4 TT=3600.03	MSAT (TO) f=4 TT=3600.09	OPTIMUM f=3 TT=10.684 T1=10.6	OPTIMUM f=3 TT=10.11 T1=9.57	OPTIMUM f=3 TT=29.403 T1=6.13	OPTIMUM f=3 TT=7.366 T1=7.21
csp/modifiedRenault/ normalized-renault-mod-23_ext.xml	MOPT f=4 TT=21.571 T1=21.34	MSAT (TO) f=5 TT=3267.65 T1=13.92	MSAT (TO) f=5 TT=3600.07 T1=13.84	MSAT (TO) f=4 TT=3600.09	MSAT (TO) f=5 TT=3600.02	OPTIMUM f=4 TT=22.256 T1=22.08	OPTIMUM f=4 TT=21.571 T1=21.34	OPTIMUM f=4 TT=253.987 T1=107.88	OPTIMUM f=4 TT=75.658 T1=75.52
csp/modifiedRenault/ normalized-renault-mod-27_ext.xml	MOPT f=6 TT=16.156 T1=16.04	MSAT (TO) f=7 TT=3537.16 T1=72.42	MSAT (TO) f=7 TT=3600.15 T1=3600.08	MSAT (TO) f=7 TT=3600.1	MSAT (TO) f=6 TT=3600.06	OPTIMUM f=6 TT=16.156 T1=16.04	OPTIMUM f=6 TT=17.953 T1=17.71	OPTIMUM f=6 TT=149.565 T1=8.78	OPTIMUM f=6 TT=141.002 T1=140.86
csp/modifiedRenault/ normalized-renault-mod-35_ext.xml	MOPT f=1 TT=6.633 T1=6.51	OPTIMUM f=1 TT=1869.36 T1=25.4 CHECKS=5838970000 NODES=120836	OPTIMUM f=1 TT=744.901 T1=25.07 CHECKS=2532550000 NODES=818	MSAT (TO) f=1 TT=3600.03	MSAT (TO) f=1 TT=3600.07	OPTIMUM f=1 TT=9.369 T1=9.12	OPTIMUM f=1 TT=9.087 T1=8.9	OPTIMUM f=1 TT=2.277 T1=1.46	OPTIMUM f=1 TT=6.633 T1=6.51
csp/modifiedRenault/ normalized-renault-mod-37_ext.xml	MOPT f=1 TT=6.656 T1=6.51	MSAT (TO) f=2 TT=3101.16 T1=18.5	OPTIMUM f=1 TT=3005.77 T1=3001.05 CHECKS=10194300000 NODES=1708	MSAT (TO) f=1 TT=3600	MSAT (TO) f=1 TT=3600	OPTIMUM f=1 TT=9.381 T1=9.15	OPTIMUM f=1 TT=9.009 T1=8.81	OPTIMUM f=1 TT=1.704 T1=1.46	OPTIMUM f=1 TT=6.656 T1=6.51
csp/modifiedRenault/ normalized-renault-mod-3_ext.xml	MOPT f=1 TT=8.493 T1=8.26	MSAT (TO) f=1 TT=2397.97 T1=36.48	OPTIMUM f=1 TT=1155.63 T1=55.92 CHECKS=3853470000 NODES=1062	MSAT (TO) f=1 TT=3600	MSAT (TO) f=2 TT=3600.07	OPTIMUM f=1 TT=9.012 T1=8.77	OPTIMUM f=1 TT=8.493 T1=8.26	OPTIMUM f=1 TT=7.115 T1=6.23	OPTIMUM f=1 TT=61.971 T1=61.82
Bench name	Best results on this instance	AbsconMax 112 pc-d	AbsconMax 112 pc-w	Concrete + CSP4J - MCRW Engine 2008-05-30	Concrete + CSP4J - Tabu Engine 2008-05-30	Sugar v1.13+minisat	Sugar++ v1.13+minisat-inc	toulbar2 2008-06-27	toulbar2/BTD 2008-06-27
csp/modifiedRenault/ normalized-renault-mod-40_ext.xml	MOPT f=1 TT=8.518 T1=8.28	OPTIMUM f=1 TT=437.289 T1=36.83 CHECKS=1414420000 NODES=2421	OPTIMUM f=1 TT=610.857 T1=63.92 CHECKS=2169990000 NODES=905	MSAT (TO) f=1 TT=3600.07	MSAT (TO) f=1 TT=3600.06	OPTIMUM f=1 TT=8.61 T1=8.43	OPTIMUM f=1 TT=8.518 T1=8.28	OPTIMUM f=1 TT=2.33 T1=1.97	OPTIMUM f=1 TT=20.025 T1=19.9
csp/modifiedRenault/ normalized-renault-mod-42_ext.xml	MOPT f=1 TT=8.272 T1=8.07	OPTIMUM f=1 TT=2285.82 T1=2285.78 CHECKS=5994670000 NODES=1233960	OPTIMUM f=1 TT=1691.77 T1=118.38 CHECKS=6040610000 NODES=6603	MSAT (TO) f=1 TT=3600.06	MSAT (TO) f=1 TT=3600.02	OPTIMUM f=1 TT=8.582 T1=8.36	OPTIMUM f=1 TT=8.272 T1=8.07	OPTIMUM f=1 TT=2.965 T1=2.66	OPTIMUM f=1 TT=131.676 T1=131.5
csp/ogdVg/ normalized-crossword-m1c-ogd-vg12-15_ext.xml	MSAT TO f=27 TT=3600.07 T1=1.08	MSAT (TO) f=27 TT=3600.12 T1=1.08	MSAT (TO) f=27 TT=3600.07 T1=1.17	? (TO) TT=3600.09	? (TO) TT=3600.07	? (TO) TT=3600.16	? (TO) TT=3600.09	? (exit code) TT=0.266	? (exit code) TT=0.529
csp/ogdVg/ normalized-crossword-m1c-ogd-vg13-14_ext.xml	MSAT TO f=27 TT=3600.08 T1=0.98	MSAT (TO) f=27 TT=3600.14 T1=0.99	MSAT (TO) f=27 TT=3600.08 T1=0.98	? (TO) TT=3600.08	? (TO) TT=3600.07	? (TO) TT=3600.21	? (TO) TT=3600.16	? (TO) TT=3600.04	? (TO) f=27 TT=3600.01 T1=20.15
csp/ogdVg/ normalized-crossword-m1c-ogd-vg13-15_ext.xml	MSAT TO f=28 TT=3600.03 T1=0.81	MSAT (TO) f=28 TT=3600.08 T1=0.88	MSAT (TO) f=28 TT=3600.03 T1=0.81	? (TO) TT=3600.02	? (TO) TT=3600.04	? (TO) TT=3600.16	? (TO) TT=3600.21	? (TO) TT=3600.04	? (TO) f=28 TT=3600.07 T1=18.28
csp/ogdVg/ normalized-crossword-m1c-ogd-vg13-16_ext.xml	MSAT TO f=29 TT=3600.09 T1=0.77	MSAT (TO) f=29 TT=3600.12 T1=0.77	MSAT (TO) f=29 TT=3600.09 T1=0.82	? (TO) TT=3600	? (TO) TT=3600.01	? (TO) TT=3600.12	? (TO) TT=3600.1	? (TO) TT=3600.02	? (TO) f=29 TT=3600.09 T1=16.51
csp/ogdVg/ normalized-crossword-m1c-ogd-vg14-15_ext.xml	MSAT TO f=29 TT=3600.08 T1=0.77	MSAT (TO) f=29 TT=3600.08 T1=0.77	MSAT (TO) f=29 TT=3600.08 T1=0.77	? (TO) TT=3600	? (TO) TT=3600.09	? (TO) TT=3600.13	? (TO) TT=3600.2	? (TO) TT=3600.07	? (TO) f=29 TT=3600.02 T1=13.95
csp/ogdVg/ normalized-crossword-m1c-ogd-vg14-17_ext.xml	MSAT TO f=31 TT=3600.08 T1=0.87	MSAT (TO) f=31 TT=3600.14 T1=0.87	MSAT (TO) f=31 TT=3600.08 T1=0.91	? (TO) TT=3600.06	? (TO) TT=3600.1	? (TO) TT=3600.17	? (TO) TT=3600.05	? (TO) TT=3600.09	? (TO) f=31 TT=3600.1 T1=10.94
csp/ogdVg/ normalized-crossword-m1c-ogd-vg15-16_ext.xml	MSAT TO f=31 TT=3600.08 T1=0.63	MSAT (TO) f=31 TT=3600.08 T1=0.68	MSAT (TO) f=31 TT=3600.08 T1=0.63	? (TO) TT=3600.05	? (TO) TT=3600.05	? (TO) TT=3600.06	? (TO) TT=3600.14	? (TO) TT=3600.03	? (TO) f=31 TT=3600.12 T1=7.78
csp/ogdVg/ normalized-crossword-m1c-ogd-vg15-19_ext.xml	MSAT TO f=34 TT=3600.05 T1=0.69	MSAT (TO) f=34 TT=3600.05 T1=0.74	MSAT (TO) f=34 TT=3600.13 T1=0.69	? (TO) TT=3600	? (TO) TT=3600.08	? (TO) TT=3600.19	? (TO) TT=3600.02	? (TO) TT=3600.12	? (TO) f=34 TT=3600.05 T1=8.39
Bench name	Best results on this instance	AbsconMax 112 pc-d	AbsconMax 112 pc-w	Concrete + CSP4J - MCRW Engine 2008-05-30	Concrete + CSP4J - Tabu Engine 2008-05-30	Sugar v1.13+minisat	Sugar++ v1.13+minisat-inc	toulbar2 2008-06-27	toulbar2/BTD 2008-06-27
csp/ogdVg/ normalized-crossword-m1c-ogd-vg16-16_ext.xml	MSAT TO f=32 TT=3600.1 T1=0.57	MSAT (TO) f=32 TT=3600.11 T1=0.57	MSAT (TO) f=32 TT=3600.1 T1=0.57	? (TO) TT=3600.01	? (TO) TT=3600.1	? (TO) TT=3600.15	? (TO) TT=3600.31	? (TO) TT=3600.1	? (TO) f=32 TT=3600.07 T1=3.05
csp/ogdVg/ normalized-crossword-m1c-ogd-vg16-18_ext.xml	MSAT TO f=34 TT=3600.07 T1=0.57	MSAT (TO) f=34 TT=3600.14 T1=0.57	MSAT (TO) f=34 TT=3600.07 T1=0.68	? (TO) TT=3600.09	? (TO) TT=3600.02	? (TO) TT=3600.14	? (TO) TT=3600.28	? (TO) TT=3600.11	? (TO) f=34 TT=3600.08 T1=2.47
csp/ogdVg/ normalized-crossword-m1c-ogd-vg16-20_ext.xml	MSAT TO f=36 TT=3600.08 T1=0.6	MSAT (TO) f=36 TT=3600.11 T1=0.68	MSAT (TO) f=36 TT=3600.08 T1=0.6	? (TO) TT=3600.01	? (TO) TT=3600.06	? (TO) TT=3600.12	? (TO) TT=3600.21	? (exit code) TT=0.3	? (exit code) TT=0.591
csp/ukVg/ normalized-crossword-m1c-uk-vg11-15_ext.xml	MSAT TO f=26 TT=3600.09 T1=0.78	MSAT (TO) f=26 TT=3600.09 T1=0.78	MSAT (TO) f=26 TT=3600.1 T1=0.78	? (TO) TT=3600.03	? (TO) TT=3600.05	? (TO) TT=3600.17	? (TO) TT=3600.16	? (TO) TT=3600.01	? (TO) f=26 TT=3600.13 T1=9.72
csp/ukVg/ normalized-crossword-m1c-uk-vg12-16_ext.xml	MSAT TO f=28 TT=3600.11 T1=0.69	MSAT (TO) f=28 TT=3600.12 T1=0.78	MSAT (TO) f=28 TT=3600.11 T1=0.69	? (TO) TT=3600.08	? (TO) TT=3600.06	? (TO) TT=3600.09	? (TO) TT=3600.18	? (exit code) TT=0.083	? (exit code) TT=0.167
csp/ukVg/ normalized-crossword-m1c-uk-vg13-17_ext.xml	MSAT TO f=30 TT=3600.08 T1=0.69	MSAT (TO) f=30 TT=3600.13 T1=0.69	MSAT (TO) f=30 TT=3600.08 T1=0.78	? (TO) TT=3600.02	? (TO) TT=3600.1	? (TO) TT=3600.1	? (TO) TT=3600.35	? (TO) TT=3600.05	? (TO) f=30 TT=3600.09 T1=5.91
csp/ukVg/ normalized-crossword-m1c-uk-vg14-14_ext.xml	MSAT TO f=28 TT=3600.07 T1=0.57	MSAT (TO) f=28 TT=3600.08 T1=0.57	MSAT (TO) f=28 TT=3600.07 T1=0.59	? (TO) TT=3600.06	? (TO) TT=3600.01	? (TO) TT=3600.29	? (TO) TT=3600.4	? (TO) TT=3600.1	? (TO) f=28 TT=3600.13 T1=5.61
csp/ukVg/ normalized-crossword-m1c-uk-vg14-15_ext.xml	MSAT TO f=29 TT=3600.05 T1=0.67	MSAT (TO) f=29 TT=3600.12 T1=0.67	MSAT (TO) f=29 TT=3600.05 T1=0.78	? (TO) TT=3600.09	? (TO) TT=3600.07	? (TO) TT=3600.19	? (TO) TT=3600.38	? (TO) TT=3600.05	? (TO) f=29 TT=3600.06 T1=4.82
csp/ukVg/ normalized-crossword-m1c-uk-vg14-17_ext.xml	MSAT TO f=31 TT=3600.08 T1=0.67	MSAT (TO) f=31 TT=3600.12 T1=0.68	MSAT (TO) f=31 TT=3600.08 T1=0.67	? (TO) TT=3600.04	? (TO) TT=3600.05	? (TO) TT=3600.2	? (TO) TT=3600.28	? (TO) TT=3600.11	? (TO) f=31 TT=3600.07 T1=4.43
csp/ukVg/ normalized-crossword-m1c-uk-vg14-18_ext.xml	MSAT TO f=16 TT=3600.32 T1=3431.63	MSAT (TO) f=32 TT=3600.24 T1=0.58	MSAT (TO) f=32 TT=3600.06 T1=0.67	? (TO) TT=3600.02	? (TO) TT=3600.08	? (TO) TT=3600.19	MSAT (TO) f=16 TT=3600.32 T1=3431.63	? (TO) TT=3600.07	? (TO) f=32 TT=3600.06 T1=4.25
Bench name	Best results on this instance	AbsconMax 112 pc-d	AbsconMax 112 pc-w	Concrete + CSP4J - MCRW Engine 2008-05-30	Concrete + CSP4J - Tabu Engine 2008-05-30	Sugar v1.13+minisat	Sugar++ v1.13+minisat-inc	toulbar2 2008-06-27	toulbar2/BTD 2008-06-27
csp/ukVg/ normalized-crossword-m1c-uk-vg15-17_ext.xml	MSAT TO f=32 TT=3600.09 T1=0.67	MSAT (TO) f=32 TT=3600.12 T1=0.67	MSAT (TO) f=32 TT=3600.09 T1=0.68	? (TO) TT=3600.02	? (TO) TT=3600.05	? (TO) TT=3600.19	? (TO) TT=3600.28	? (TO) TT=3600.1	? (TO) f=32 TT=3600.07 T1=3.24
csp/ukVg/ normalized-crossword-m1c-uk-vg15-18_ext.xml	MSAT TO f=33 TT=3600.06 T1=0.59	MSAT (TO) f=33 TT=3600.06 T1=0.79	MSAT (TO) f=33 TT=3600.08 T1=0.59	? (TO) TT=3600.03	? (TO) TT=3600.01	? (TO) TT=3600.15	? (TO) TT=3600.29	? (TO) TT=3600.08	? (TO) f=33 TT=3600.04 T1=3.24
csp/ukVg/ normalized-crossword-m1c-uk-vg15-19_ext.xml	MSAT TO f=34 TT=3600.09 T1=0.57	MSAT (TO) f=34 TT=3600.09 T1=0.58	MSAT (TO) f=34 TT=3600.13 T1=0.57	? (TO) TT=3600.07	? (TO) TT=3600.03	? (TO) TT=3600.17	? (TO) TT=3600.2	? (TO) TT=3600.12	? (TO) f=34 TT=3600.04 T1=3.44
csp/ukVg/ normalized-crossword-m1c-uk-vg16-16_ext.xml	MSAT TO f=32 TT=3600.06 T1=0.68	MSAT (TO) f=32 TT=3600.06 T1=0.68	MSAT (TO) f=32 TT=3600.08 T1=0.68	? (TO) TT=3600.08	? (TO) TT=3600.07	? (TO) TT=3600.14	? (TO) TT=3600.23	? (TO) TT=3600.11	? (TO) f=32 TT=3600.15 T1=2.75
csp/ukVg/ normalized-crossword-m1c-uk-vg16-17_ext.xml	MSAT TO f=33 TT=3600.08 T1=0.58	MSAT (TO) f=33 TT=3600.08 T1=0.58	MSAT (TO) f=33 TT=3600.16 T1=0.59	? (TO) TT=3600	? (TO) TT=3600.07	? (TO) TT=3600.09	? (TO) TT=3600.27	? (TO) TT=3600.03	? (TO) f=33 TT=3600.13 T1=2.54
csp/ukVg/ normalized-crossword-m1c-uk-vg16-18_ext.xml	MSAT TO f=34 TT=3600.14 T1=0.68	MSAT (TO) f=34 TT=3600.14 T1=0.87	MSAT (TO) f=34 TT=3600.14 T1=0.68	? (TO) TT=3600.05	? (TO) TT=3600.01	? (TO) TT=3600.12	? (TO) TT=3600.22	? (TO) TT=3600.05	? (TO) f=34 TT=3600.04 T1=2.54
csp/ukVg/ normalized-crossword-m1c-uk-vg16-19_ext.xml	MSAT TO f=35 TT=3600.07 T1=0.58	MSAT (TO) f=35 TT=3600.12 T1=0.58	MSAT (TO) f=35 TT=3600.07 T1=0.67	? (TO) TT=3600.02	? (TO) TT=3600.03	? (TO) TT=3600.13	? (TO) TT=3600.19	? (TO) TT=3600.04	? (TO) f=35 TT=3600.11 T1=2.64
csp/wordsVg/ normalized-crossword-m1c-words-vg10-10_ext.xml	MSAT TO f=10 TT=3600 T1=284.73	MSAT (TO) f=20 TT=3600.11 T1=0.54	MSAT (TO) f=20 TT=3600.07 T1=0.47	? (TO) TT=3600.06	? (TO) TT=3600	MSAT (TO) f=10 TT=3600 T1=284.73	MSAT (TO) f=10 TT=3600.17 T1=721.98	? (TO) TT=3600.1	? (TO) f=20 TT=3600.07 T1=2.26
csp/wordsVg/ normalized-crossword-m1c-words-vg10-14_ext.xml	MSAT TO f=12 TT=3600.04 T1=413.81	MSAT (TO) f=24 TT=3600.06 T1=0.68	MSAT (TO) f=24 TT=3600.16 T1=0.69	? (TO) TT=3600.09	? (TO) TT=3600.05	MSAT (TO) f=12 TT=3600.04 T1=413.81	MSAT (TO) f=12 TT=3600.17 T1=948.9	? (TO) TT=3600.09	? (TO) f=24 TT=3600.09 T1=1.17
csp/wordsVg/ normalized-crossword-m1c-words-vg11-14_ext.xml	MSAT TO f=13 TT=3600.05 T1=275.94	MSAT (TO) f=25 TT=3600.06 T1=0.68	MSAT (TO) f=25 TT=3600.14 T1=0.68	? (TO) TT=3600.05	? (TO) TT=3600.03	MSAT (TO) f=13 TT=3600.05 T1=275.94	MSAT (TO) f=13 TT=3600.17 T1=671.82	? (TO) TT=3600.04	? (TO) f=25 TT=3600.03 T1=1.57
Bench name	Best results on this instance	AbsconMax 112 pc-d	AbsconMax 112 pc-w	Concrete + CSP4J - MCRW Engine 2008-05-30	Concrete + CSP4J - Tabu Engine 2008-05-30	Sugar v1.13+minisat	Sugar++ v1.13+minisat-inc	toulbar2 2008-06-27	toulbar2/BTD 2008-06-27
csp/wordsVg/ normalized-crossword-m1c-words-vg12-16_ext.xml	MSAT TO f=14 TT=3600.01 T1=119.79	MSAT (TO) f=28 TT=3600.09 T1=0.49	MSAT (TO) f=28 TT=3600.05 T1=0.58	? (TO) TT=3600.06	? (TO) TT=3600.03	MSAT (TO) f=14 TT=3600.01 T1=186.68	MSAT (TO) f=14 TT=3600.11 T1=119.79	? (exit code) TT=0.02	? (exit code) TT=0.04
csp/wordsVg/ normalized-crossword-m1c-words-vg13-17_ext.xml	MSAT TO f=15 TT=3600.04 T1=83.8	MSAT (TO) f=30 TT=3600.12 T1=0.57	MSAT (TO) f=30 TT=3600.17 T1=0.68	? (TO) TT=3600.1	? (TO) TT=3600.03	MSAT (TO) f=15 TT=3600.04 T1=83.8	MSAT (TO) f=15 TT=3600.14 T1=1037.67	? (TO) TT=3600.04	? (TO) f=30 TT=3600.03 T1=1.27
csp/wordsVg/ normalized-crossword-m1c-words-vg14-14_ext.xml	MSAT TO f=28 TT=3600.09 T1=0.35	MSAT (TO) f=28 TT=3600.14 T1=0.47	MSAT (TO) f=28 TT=3600.09 T1=0.66	? (TO) TT=3600.09	? (TO) TT=3600.05	? (TO) TT=3600.01	? (TO) TT=3600.16	? (TO) TT=3600.03	? (TO) f=28 TT=3600.07 T1=0.35
csp/wordsVg/ normalized-crossword-m1c-words-vg15-15_ext.xml	MSAT TO f=30 TT=3600.06 T1=0.47	MSAT (TO) f=30 TT=3600.06 T1=0.54	MSAT (TO) f=30 TT=3600.11 T1=0.47	? (TO) TT=3600.09	? (TO) TT=3600.01	? (TO) TT=3600.02	? (TO) TT=3600.09	? (TO) TT=3600.11	? (TO) f=30 TT=3600.12 T1=0.96
csp/wordsVg/ normalized-crossword-m1c-words-vg15-16_ext.xml	MSAT TO f=31 TT=3600.09 T1=0.58	MSAT (TO) f=31 TT=3600.09 T1=0.67	MSAT (TO) f=31 TT=3600.13 T1=0.58	? (TO) TT=3600	? (TO) TT=3600.06	? (TO) TT=3600.06	? (TO) TT=3600.07	? (TO) TT=3600.03	? (TO) f=31 TT=3600.08 T1=0.97
csp/wordsVg/ normalized-crossword-m1c-words-vg15-19_ext.xml	MOPT f=14 TT=263.821 T1=263.51	MSAT (TO) f=34 TT=3600.14 T1=0.57	MSAT (TO) f=34 TT=3600.08 T1=0.6	? (TO) TT=3600.08	? (TO) TT=3600.02	OPTIMUM f=14 TT=393.872 T1=393.64	OPTIMUM f=14 TT=263.821 T1=263.51	? (TO) TT=3600.02	? (TO) f=34 TT=3600.04 T1=1.26
csp/wordsVg/ normalized-crossword-m1c-words-vg5-9_ext.xml	MSAT TO f=3 TT=3600.08 T1=99.41	MSAT (TO) f=4 TT=3600.13 T1=13.42	MSAT (TO) f=4 TT=3600.11 T1=12.74	MSAT (TO) f=4 TT=3600.05	MSAT (TO) f=10 TT=3600	MSAT (TO) f=3 TT=3600.09 T1=99.41	MSAT (TO) f=3 TT=3600.08 T1=100.11	? (TO) TT=3600.03	? (TO) f=14 TT=3600.06 T1=1.06
csp/wordsVg/ normalized-crossword-m1c-words-vg6-10_ext.xml	MSAT TO f=4 TT=3600.05 T1=1106.87	MSAT (TO) f=6 TT=3600.1 T1=19.28	MSAT (TO) f=6 TT=3600.08 T1=17.99	MSAT (TO) f=6 TT=3600.06	MSAT (TO) f=14 TT=3600.01	MSAT (TO) f=4 TT=3600.05 T1=1199.85	MSAT (TO) f=4 TT=3600.13 T1=1106.87	? (TO) TT=3600.05	? (TO) f=16 TT=3600.12 T1=1.31
csp/wordsVg/ normalized-crossword-m1c-words-vg8-11_ext.xml	MSAT TO f=10 TT=3600.01 T1=276.55	MSAT (TO) f=19 TT=3600.1 T1=0.78	MSAT (TO) f=19 TT=3600.13 T1=0.68	MSAT (TO) f=18 TT=3600.08	MSAT (TO) f=18 TT=3600.08	MSAT (TO) f=10 TT=3600.01 T1=276.55	MSAT (TO) f=10 TT=3600.11 T1=313.73	? (TO) TT=3600.03	? (TO) f=19 TT=3600.09 T1=2.37
csp/wordsVg/ normalized-crossword-m1c-words-vg8-8_ext.xml	MSAT TO f=8 TT=3600.06 T1=240.4	MSAT (TO) f=16 TT=3600.08 T1=0.68	MSAT (TO) f=16 TT=3600.15 T1=0.68	? (TO) TT=3600.05	? (TO) TT=3600.08	MSAT (TO) f=8 TT=3600.06 T1=240.4	MSAT (TO) f=8 TT=3600.17 T1=251.41	? (TO) TT=3600.05	? (TO) f=16 TT=3600.08 T1=2.46
Bench name	Best results on this instance	AbsconMax 112 pc-d	AbsconMax 112 pc-w	Concrete + CSP4J - MCRW Engine 2008-05-30	Concrete + CSP4J - Tabu Engine 2008-05-30	Sugar v1.13+minisat	Sugar++ v1.13+minisat-inc	toulbar2 2008-06-27	toulbar2/BTD 2008-06-27
csp/wordsVg/ normalized-crossword-m1c-words-vg9-10_ext.xml	MSAT TO f=10 TT=3600.03 T1=355.72	MSAT (TO) f=19 TT=3600.14 T1=0.58	MSAT (TO) f=19 TT=3600.07 T1=0.61	? (TO) TT=3600.07	? (TO) TT=3600.05	MSAT (TO) f=10 TT=3600.03 T1=445.54	MSAT (TO) f=10 TT=3600.19 T1=355.72	? (TO) TT=3600.05	? (TO) f=19 TT=3600.13 T1=2.27
csp/wordsVg/ normalized-crossword-m1c-words-vg9-11_ext.xml	MSAT TO f=10 TT=3600.06 T1=375.22	MSAT (TO) f=20 TT=3600.07 T1=0.58	MSAT (TO) f=20 TT=3600.12 T1=0.68	? (TO) TT=3600.01	? (TO) TT=3600.05	MSAT (TO) f=10 TT=3600.06 T1=445.87	MSAT (TO) f=10 TT=3600.15 T1=375.22	? (TO) TT=3600.09	? (TO) f=20 TT=3600.07 T1=2.27
maxcsp/pedigree/ normalized-connell_ext.xml	MOPT f=1 TT=0.03 T1=0	OPTIMUM f=1 TT=30.739 T1=0.48 CHECKS=402 NODES=9	OPTIMUM f=1 TT=30.647 T1=0.47 CHECKS=431 NODES=7	MSAT (TO) f=1 TT=3600.03	MSAT (TO) f=1 TT=3600	OPTIMUM f=1 TT=0.601 T1=0.47	OPTIMUM f=1 TT=0.615 T1=0.48	OPTIMUM f=1 TT=0.011 T1=0	OPTIMUM f=1 TT=0.03 T1=0
maxcsp/pedigree/ normalized-eye_ext.xml	MOPT f=1 TT=1.553 T1=0.54	OPTIMUM f=1 TT=30.872 T1=0.58 CHECKS=7651 NODES=17	OPTIMUM f=1 TT=30.803 T1=0.54 CHECKS=13218 NODES=20	MSAT (TO) f=1 TT=3600.05	MSAT (TO) f=1 TT=3600.09	OPTIMUM f=1 TT=1.71 T1=1.54	OPTIMUM f=1 TT=1.67 T1=1.5	OPTIMUM f=1 TT=0.065 T1=0	OPTIMUM f=1 TT=1.553 T1=1.23
maxcsp/pedigree/ normalized-pedck1000_ext.xml	MOPT f=19 TT=13.497 T1=1.81	MSAT (TO) f=19 TT=2392.19 T1=1.81	MSAT (TO) f=19 TT=2194.42 T1=1.93	MSAT (TO) f=19 TT=3600.06	MSAT (TO) f=19 TT=3600.09	MSAT (TO) f=20 TT=3600.08 T1=1429.48	MSAT (TO) f=22 TT=3600.07 T1=2597.24	OPTIMUM f=19 TT=0.266 T1=0	OPTIMUM f=19 TT=13.497 T1=13.45
maxcsp/pedigree/ normalized-pedck350_ext.xml	MOPT f=2 TT=1.749 T1=0.87	OPTIMUM f=2 TT=43.265 T1=0.96 CHECKS=688051 NODES=291	OPTIMUM f=2 TT=95.838 T1=0.87 CHECKS=4481730 NODES=5148	MSAT (TO) f=2 TT=3600.1	MSAT (TO) f=2 TT=3600.08	OPTIMUM f=2 TT=9.44 T1=8.85	OPTIMUM f=2 TT=5.351 T1=5.06	OPTIMUM f=2 TT=0.122 T1=0	OPTIMUM f=2 TT=1.749 T1=1.49
maxcsp/pedigree/ normalized-pedck350l2_ext.xml	MOPT f=1 TT=1.723 T1=0.79	OPTIMUM f=1 TT=31.308 T1=0.87 CHECKS=4522 NODES=45	OPTIMUM f=1 TT=31.244 T1=0.79 CHECKS=5455 NODES=181	MSAT (TO) f=1 TT=3600.03	MSAT (TO) f=1 TT=3600.02	OPTIMUM f=1 TT=9.994 T1=9.46	OPTIMUM f=1 TT=5.757 T1=5.34	OPTIMUM f=1 TT=0.123 T1=0	OPTIMUM f=1 TT=1.723 T1=1.47
maxcsp/pedigree/ normalized-pedck60-L12_ext.xml	MOPT f=6 TT=0.343 T1=0.25	OPTIMUM f=6 TT=92.534 T1=0.6 CHECKS=7144910 NODES=8730	OPTIMUM f=6 TT=144.251 T1=0.58 CHECKS=16524300 NODES=28346	MSAT (TO) f=6 TT=3600.08	MSAT (TO) f=6 TT=3600.07	OPTIMUM f=6 TT=1.572 T1=1.35	OPTIMUM f=6 TT=1.463 T1=1.28	OPTIMUM f=6 TT=0.031 T1=0	OPTIMUM f=6 TT=0.343 T1=0.25
maxcsp/pedigree/ normalized-pedck60-L1_ext.xml	MOPT f=2 TT=0.324 T1=0.28	OPTIMUM f=2 TT=30.921 T1=0.54 CHECKS=3853 NODES=5	OPTIMUM f=2 TT=31.058 T1=0.49 CHECKS=22029 NODES=52	MSAT (TO) f=2 TT=3600.08	MSAT (TO) f=2 TT=3600.03	OPTIMUM f=2 TT=1.791 T1=1.63	OPTIMUM f=2 TT=1.702 T1=1.52	OPTIMUM f=2 TT=0.028 T1=0	OPTIMUM f=2 TT=0.324 T1=0.28
maxcsp/pedigree/ normalized-pedck60-L2_ext.xml	MOPT f=2 TT=0.325 T1=0.24	OPTIMUM f=2 TT=31.143 T1=0.58 CHECKS=24799 NODES=28	OPTIMUM f=2 TT=32.156 T1=0.58 CHECKS=110939 NODES=214	MSAT (TO) f=2 TT=3600.09	MSAT (TO) f=2 TT=3600.07	OPTIMUM f=2 TT=1.814 T1=1.73	OPTIMUM f=2 TT=1.695 T1=1.52	OPTIMUM f=2 TT=0.029 T1=0	OPTIMUM f=2 TT=0.325 T1=0.24
Bench name	Best results on this instance	AbsconMax 112 pc-d	AbsconMax 112 pc-w	Concrete + CSP4J - MCRW Engine 2008-05-30	Concrete + CSP4J - Tabu Engine 2008-05-30	Sugar v1.13+minisat	Sugar++ v1.13+minisat-inc	toulbar2 2008-06-27	toulbar2/BTD 2008-06-27
maxcsp/pedigree/ normalized-sheep4nr_ext.xml	MSAT TO f=41 TT=3600	? TT=183.764	? TT=176.941	MSAT (TO) f=41 TT=3600	MSAT (TO) f=139 TT=3600.08	? TT=218.64	? TT=210.341	OPTIMUM f=23 TT=157.089 T1=156.82	? (TO) TT=3600.1
maxcsp/pedigree/ normalized-sheep4r-4-2_ext.xml	MOPT f=1 TT=24.325 T1=24.2	MSAT (TO) f=3 TT=3190.96 T1=13.67	? f=3 TT=51.311 T1=13.58	MSAT (TO) f=1 TT=3600.08	MSAT (TO) f=11 TT=3600.04	OPTIMUM f=1 TT=357.119 T1=350.86	MSAT (TO) f=287 TT=3600.29 T1=93.49	OPTIMUM f=1 TT=0.706 T1=0	OPTIMUM f=1 TT=24.325 T1=24.2
maxcsp/pedigree/ normalized-sheep4r-4-3_ext.xml	MOPT f=1 TT=51.703 T1=17.6	OPTIMUM f=1 TT=54.208 T1=17.6 CHECKS=166624 NODES=994	OPTIMUM f=1 TT=51.703 T1=17.77 CHECKS=634202 NODES=59	MSAT (TO) f=1 TT=3600	MSAT (TO) f=17 TT=3600	OPTIMUM f=1 TT=496.304 T1=486.48	MSAT (TO) f=352 TT=3600.36 T1=57.48	OPTIMUM f=1 TT=0.909 T1=0	OPTIMUM f=1 TT=51.797 T1=51.68
maxcsp/pedigree/ normalized-sheep4r_ext.xml	MSAT TO f=6 TT=3600.03	? TT=182.427	? TT=182.19	MSAT (TO) f=6 TT=3600.03	MSAT (TO) f=110 TT=3600.06	? TT=197.076	? TT=186.143	OPTIMUM f=2 TT=13.121 T1=12.83	? (TO) TT=3600.04
maxcsp/pedigree/ normalized-simple_ext.xml	MOPT f=1 TT=0.028 T1=0	OPTIMUM f=1 TT=30.629 T1=0.44 CHECKS=73 NODES=0	OPTIMUM f=1 TT=30.687 T1=0.46 CHECKS=73 NODES=0	MSAT (TO) f=1 TT=3600.1	MSAT (TO) f=1 TT=3600.03	OPTIMUM f=1 TT=0.679 T1=0.56	OPTIMUM f=1 TT=0.733 T1=0.6	OPTIMUM f=1 TT=0.008 T1=0	OPTIMUM f=1 TT=0.028 T1=0
maxcsp/pedigree/ normalized-wijsmanguo_ext.xml	MOPT f=1 TT=2.957 T1=0.48	OPTIMUM f=1 TT=30.871 T1=0.48 CHECKS=37817 NODES=30	OPTIMUM f=1 TT=30.842 T1=0.49 CHECKS=43572 NODES=17	MSAT (TO) f=1 TT=3600.08	MSAT (TO) f=1 TT=3600	OPTIMUM f=1 TT=3.777 T1=3.52	OPTIMUM f=1 TT=2.957 T1=2.78	OPTIMUM f=1 TT=0.437 T1=0	OPTIMUM f=1 TT=9.703 T1=9.25
maxcsp/spot5/ normalized-spot5-1401_ext.xml	MSAT TO f=330 TT=3600.04	MSAT (TO) f=371 TT=1934.25 T1=1.43	MSAT (TO) f=354 TT=1673.48 T1=1673.44	MSAT (TO) f=342 TT=3600.05	MSAT (TO) f=330 TT=3600.04	? TT=192.652	? TT=194.927	? (TO) TT=3600.02	? (TO) TT=3600.04
maxcsp/spot5/ normalized-spot5-1403_ext.xml	MSAT TO f=428 TT=3600.08	MSAT (TO) f=481 TT=1799.78 T1=2.02	MSAT (TO) f=476 TT=1697.16 T1=1697.12	MSAT (TO) f=447 TT=3600.05	MSAT (TO) f=428 TT=3600.08	? TT=169.402	? TT=168.047	? (TO) TT=3600.02	? (TO) TT=3600.1
maxcsp/spot5/ normalized-spot5-1405_ext.xml	MSAT TO f=564 TT=3600.1	MSAT (TO) f=623 TT=2604.95 T1=2.92	MSAT (TO) f=623 TT=2606.99 T1=2.72	MSAT (TO) f=595 TT=3600.08	MSAT (TO) f=564 TT=3600.1	? TT=256.473	? TT=255.94	? (TO) TT=3600.07	? (TO) TT=3600.12
maxcsp/spot5/ normalized-spot5-1407_ext.xml	MSAT TO f=692 TT=3600	MSAT (TO) f=777 TT=1886.23 T1=3.33	MSAT (TO) f=777 TT=1701.51 T1=3.29	MSAT (TO) f=736 TT=3600.01	MSAT (TO) f=692 TT=3600	? TT=242.273	? TT=252.535	? (TO) TT=3600.03	? (TO) TT=3600.12
Bench name	Best results on this instance	AbsconMax 112 pc-d	AbsconMax 112 pc-w	Concrete + CSP4J - MCRW Engine 2008-05-30	Concrete + CSP4J - Tabu Engine 2008-05-30	Sugar v1.13+minisat	Sugar++ v1.13+minisat-inc	toulbar2 2008-06-27	toulbar2/BTD 2008-06-27
maxcsp/spot5/ normalized-spot5-1506_ext.xml	MSAT TO f=587 TT=3600.07	MSAT (TO) f=669 TT=2259.71 T1=2.58	MSAT (TO) f=662 TT=1757.25 T1=1757.2	MSAT (TO) f=618 TT=3600.06	MSAT (TO) f=587 TT=3600.07	? TT=209.948	? TT=202.581	? (TO) TT=3600.08	? (TO) TT=3600.05
maxcsp/spot5/ normalized-spot5-28_ext.xml	MSAT TO f=180 TT=3600.03	MSAT (TO) f=194 TT=1854.77 T1=0.96	MSAT (TO) f=194 TT=1665.45 T1=0.96	MSAT (TO) f=183 TT=3600.09	MSAT (TO) f=180 TT=3600.03	? (MO) TT=82.1	? (MO) TT=81.117	? (TO) TT=3600.01	? (TO) TT=3600.03
maxcsp/spot5/ normalized-spot5-404_ext.xml	MOPT f=65 TT=3.626 T1=3.56	MSAT (TO) f=69 TT=1634.54 T1=5.21	MSAT (TO) f=68 TT=1633.3 T1=1633.25	MSAT (TO) f=65 TT=3600.03	MSAT (TO) f=65 TT=3600.01	MSAT (TO) f=75 TT=3600.02 T1=529.85	MSAT (TO) f=81 TT=3600.14 T1=21.95	? (TO) TT=3600.11	OPTIMUM f=65 TT=3.626 T1=3.56
maxcsp/spot5/ normalized-spot5-408_ext.xml	MSAT TO f=134 TT=3600.04	MSAT (TO) f=142 TT=1691.19 T1=15.58	MSAT (TO) f=141 TT=1649.69 T1=1649.65	MSAT (TO) f=134 TT=3600.04	MSAT (TO) f=134 TT=3600.07	MSAT (TO) f=166 TT=3600.07 T1=160.14	MSAT (TO) f=181 TT=3600.16 T1=24.62	? (TO) TT=3600.12	? (TO) TT=3600.09
maxcsp/spot5/ normalized-spot5-414_ext.xml	MSAT TO f=260 TT=3600.05	MSAT (TO) f=280 TT=2299.12 T1=1.38	MSAT (TO) f=277 TT=1808.95 T1=1808.8	MSAT (TO) f=265 TT=3600.04	MSAT (TO) f=260 TT=3600.05	? TT=218.555	? TT=207.177	? (TO) TT=3600.12	? (TO) TT=3600.07
maxcsp/spot5/ normalized-spot5-503_ext.xml	MOPT f=69 TT=2.562 T1=2.47	MSAT (TO) f=72 TT=1667.92 T1=30.86	MSAT (TO) f=72 TT=1660.32 T1=30.88	MSAT (TO) f=69 TT=3600.07	MSAT (TO) f=69 TT=3600.06	MSAT (TO) f=93 TT=3600.05 T1=4.1	MSAT (TO) f=93 TT=3600.08 T1=3.09	? (TO) TT=3600.07	OPTIMUM f=69 TT=2.562 T1=2.47
maxcsp/spot5/ normalized-spot5-505_ext.xml	MSAT TO f=151 TT=3600.05	MSAT (TO) f=163 TT=1668.97 T1=0.79	MSAT (TO) f=161 TT=1639.83 T1=31.34	MSAT (TO) f=151 TT=3600.05	MSAT (TO) f=151 TT=3600.07	MSAT (TO) f=212 TT=3600.1 T1=45.37	MSAT (TO) f=197 TT=3600.16 T1=22.83	? (TO) TT=3600.06	? (TO) TT=3600.13
maxcsp/spot5/ normalized-spot5-509_ext.xml	MSAT TO f=245 TT=3600.08	MSAT (TO) f=265 TT=1860.87 T1=1.36	MSAT (TO) f=263 TT=1713.12 T1=1713.08	MSAT (TO) f=250 TT=3600	MSAT (TO) f=245 TT=3600.08	? TT=183.542	? TT=169.153	? (TO) TT=3600.08	? (TO) TT=3600.12
maxcsp/spot5/ normalized-spot5-54_ext.xml	MOPT f=22 TT=0.372 T1=0.02	MSAT (TO) f=22 TT=1635.99 T1=3.26	MSAT (TO) f=22 TT=1740.37 T1=3.35	MSAT (TO) f=22 TT=3600.02	MSAT (TO) f=22 TT=3600.04	MSAT (TO) f=23 TT=3600.09 T1=11.99	MSAT (TO) f=32 TT=3600.08 T1=1.29	OPTIMUM f=22 TT=2.744 T1=1.97	OPTIMUM f=22 TT=0.372 T1=0.02

Some statistics...

	AbsconMax 112 pc-d	AbsconMax 112 pc-w	Concrete + CSP4J - MCRW Engine 2008-05-30	Concrete + CSP4J - Tabu Engine 2008-05-30	Sugar v1.13+minisat	Sugar++ v1.13+minisat-inc	toulbar2/BTD 2008-06-27
Number of times the solver is able to give the best known answer	41	46	4	10	55	54	32
Number of times the solver is able to give the best known answer from an incomplete solver point of view (i.e. without considering optimality proof)	47	48	34	35	55	54	32
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)	27	28	4	10	26	37	20
Number of times the solver is the best solver from an incomplete solver point of view (i.e. best known answer and best T1 time)	17	19	0	0	14	24	16