MAX-CSP 2008 Competition: results by benchmark

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

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

REMINDER

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

Description of a cell contents:

Cell example	Meaning
Answer	Solver result
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
maxcsp/cnf/2-40-100-1000/ normalized-cnf-2-40-300-182021_ext.xml	MOPT f=35 TT=0.059 T1=0	OPTIMUM f=35 TT=452.667 T1=0.66 CHECKS=24895500 NODES=88717	OPTIMUM f=35 TT=447.453 T1=0.64 CHECKS=23793600 NODES=60396	MSAT (TO) f=35 TT=3600.01	MSAT (TO) f=35 TT=3600.08	OPTIMUM f=35 TT=3352.91 T1=304.54	OPTIMUM f=35 TT=3543.91 T1=3543.72	OPTIMUM f=35 TT=0.059 T1=0	OPTIMUM f=35 TT=0.129 T1=0.01
maxcsp/cnf/2-40-100-1000/ normalized-cnf-2-40-300-182022_ext.xml	MOPT f=34 TT=0.06 T1=0	OPTIMUM f=34 TT=94.521 T1=0.59 CHECKS=3930810 NODES=15898	OPTIMUM f=34 TT=360.881 T1=0.59 CHECKS=17450200 NODES=43106	MSAT (TO) f=34 TT=3600.08	MSAT (TO) f=34 TT=3600.05	OPTIMUM f=34 TT=3205.8 T1=1665.26	OPTIMUM f=34 TT=2620.7 T1=2620.46	OPTIMUM f=34 TT=0.06 T1=0	OPTIMUM f=34 TT=0.11 T1=0.01
maxcsp/cnf/2-40-100-1000/ normalized-cnf-2-40-300-182024_ext.xml	MOPT f=35 TT=0.057 T1=0	OPTIMUM f=35 TT=156.885 T1=0.75 CHECKS=8039830 NODES=29676	OPTIMUM f=35 TT=415.093 T1=0.88 CHECKS=21170800 NODES=52169	MSAT (TO) f=35 TT=3600.06	MSAT (TO) f=35 TT=3600.01	OPTIMUM f=35 TT=3427.3 T1=1017.05	OPTIMUM f=35 TT=3246.55 T1=3246.34	OPTIMUM f=35 TT=0.057 T1=0	OPTIMUM f=35 TT=0.106 T1=0.01
maxcsp/cnf/2-40-100-1000/ normalized-cnf-2-40-400-907730_ext.xml	MOPT f=57 TT=0.222 T1=0.19	OPTIMUM f=57 TT=922.979 T1=0.63 CHECKS=58402400 NODES=169660	MSAT (TO) f=57 TT=1607.97 T1=0.58	MSAT (TO) f=57 TT=3600.03	MSAT (TO) f=57 TT=3600.06	MSAT (TO) f=59 TT=3600.07 T1=349.12	MSAT (TO) f=72 TT=3600.03 T1=1.84	OPTIMUM f=57 TT=0.222 T1=0.19	OPTIMUM f=57 TT=0.349 T1=0.02
maxcsp/cnf/2-40-100-1000/ normalized-cnf-2-40-500-633422_ext.xml	MOPT f=65 TT=0.296 T1=0	OPTIMUM f=65 TT=495.483 T1=0.68 CHECKS=28605700 NODES=71790	OPTIMUM f=65 TT=671.961 T1=0.56 CHECKS=36160700 NODES=55772	MSAT (TO) f=65 TT=3600.09	MSAT (TO) f=65 TT=3600.01	MSAT (TO) f=71 TT=3600.13 T1=1111.49	MSAT (TO) f=81 TT=3600.11 T1=2.26	OPTIMUM f=65 TT=0.296 T1=0	OPTIMUM f=65 TT=0.348 T1=0.02
maxcsp/cnf/2-40-100-1000/ normalized-cnf-2-40-600-359126_ext.xml	MOPT f=83 TT=0.334 T1=0	MSAT (TO) f=83 TT=1618.57 T1=3.64	MSAT (TO) f=83 TT=1617.22 T1=3.45	MSAT (TO) f=83 TT=3600.06	MSAT (TO) f=83 TT=3600.05	MSAT (TO) f=99 TT=3600.07 T1=1.81	MSAT (TO) f=100 TT=3600.13 T1=20.24	OPTIMUM f=83 TT=0.334 T1=0	OPTIMUM f=83 TT=0.597 T1=0.02
maxcsp/cnf/2-40-100-1000/ normalized-cnf-2-40-800-810521_ext.xml	MOPT f=107 TT=0.238 T1=0	OPTIMUM f=107 TT=699.392 T1=699.33 CHECKS=41320300 NODES=67143	OPTIMUM f=107 TT=946.059 T1=945.99 CHECKS=49014700 NODES=56396	MSAT (TO) f=107 TT=3600.05	MSAT (TO) f=107 TT=3600.08	MSAT (TO) f=180 TT=3600.05 T1=2.11	MSAT (TO) f=163 TT=3600.13 T1=1.58	OPTIMUM f=107 TT=0.238 T1=0	OPTIMUM f=107 TT=0.354 T1=0.02
maxcsp/cnf/2-40-100-1000/ normalized-cnf-2-40-800-810527_ext.xml	MOPT f=113 TT=0.565 T1=0	MSAT (TO) f=113 TT=1612.67 T1=1.94	MSAT (TO) f=113 TT=1603.24 T1=1.88	MSAT (TO) f=113 TT=3600.08	MSAT (TO) f=113 TT=3600.01	MSAT (TO) f=175 TT=3600.05 T1=2.03	MSAT (TO) f=185 TT=3600.09 T1=18.87	OPTIMUM f=113 TT=0.565 T1=0	OPTIMUM f=113 TT=0.793 T1=0.02
maxcsp/cnf/2-40-1100-2000/ normalized-cnf-2-40-1100-987629_ext.xml	MOPT f=159 TT=0.851 T1=0	MSAT (TO) f=159 TT=1637.56 T1=1.59	MSAT (TO) f=159 TT=1597.52 T1=1.7	MSAT (TO) f=159 TT=3600.09	MSAT (TO) f=159 TT=3600.07	MSAT (TO) f=230 TT=3600.02 T1=11.47	MSAT (TO) f=230 TT=3600.06 T1=2.58	OPTIMUM f=159 TT=0.851 T1=0	OPTIMUM f=159 TT=0.854 T1=0.03
maxcsp/cnf/2-40-1100-2000/ normalized-cnf-2-40-1100-987630_ext.xml	MOPT f=162 TT=2.032 T1=0.79	MSAT (TO) f=162 TT=1624.36 T1=0.79	MSAT (TO) f=162 TT=1616.04 T1=0.79	MSAT (TO) f=162 TT=3600.08	MSAT (TO) f=162 TT=3600	MSAT (TO) f=225 TT=3600.06 T1=4.41	MSAT (TO) f=206 TT=3600.07 T1=2.27	OPTIMUM f=162 TT=2.032 T1=1.28	OPTIMUM f=162 TT=1.713 T1=0.03
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/cnf/2-40-1100-2000/ normalized-cnf-2-40-1500-890423-ext.xml	MOPT f=217 TT=6.824 T1=5.64	MSAT (TO) f=217 TT=1614.98 T1=1614.95	MSAT (TO) f=219 TT=1617.11 T1=8.61	MSAT (TO) f=217 TT=3600.06	MSAT (TO) f=217 TT=3600.04	MSAT (TO) f=265 TT=3600.1 T1=3.31	MSAT (TO) f=258 TT=3600.06 T1=3.27	OPTIMUM f=217 TT=6.824 T1=5.64	OPTIMUM f=217 TT=4.56 T1=1.36
maxcsp/cnf/2-40-1100-2000/ normalized-cnf-2-40-1500-890427_ext.xml	MOPT f=210 TT=1.523 T1=0	MSAT (TO) f=210 TT=1613.39 T1=0.58	MSAT (TO) f=210 TT=1612.06 T1=0.58	MSAT (TO) f=210 TT=3600.06	MSAT (TO) f=210 TT=3600.04	MSAT (TO) f=273 TT=3600.07 T1=3	MSAT (TO) f=257 TT=3600.16 T1=3.17	OPTIMUM f=210 TT=1.523 T1=0	OPTIMUM f=210 TT=2.038 T1=0.03
maxcsp/cnf/2-40-1100-2000/ normalized-cnf-2-40-1600-616123-ext.xml	MOPT f=227 TT=1.889 T1=0	MSAT (TO) f=230 TT=1622.13 T1=2.36	MSAT (TO) f=230 TT=1622.34 T1=2.23	MSAT (TO) f=227 TT=3600.02	MSAT (TO) f=227 TT=3600.07	MSAT (TO) f=278 TT=3600.04 T1=3.7	MSAT (TO) f=282 TT=3600.09 T1=7.47	OPTIMUM f=227 TT=1.889 T1=0	OPTIMUM f=227 TT=3.121 T1=1.95
maxcsp/cnf/2-40-1100-2000/ normalized-cnf-2-40-1600-616124_ext.xml	MOPT f=220 TT=1.659 T1=0	MSAT (TO) f=221 TT=1869.36 T1=9.7	MSAT (TO) f=221 TT=1616.33 T1=9.79	MSAT (TO) f=220 TT=3600.09	MSAT (TO) f=220 TT=3600	MSAT (TO) f=285 TT=3600.06 T1=6.75	MSAT (TO) f=265 TT=3600.12 T1=2.12	OPTIMUM f=220 TT=1.659 T1=0	OPTIMUM f=220 TT=2.539 T1=1.45
maxcsp/cnf/2-40-1100-2000/ normalized-cnf-2-40-1800-067529_ext.xml	MOPT f=246 TT=1.418 T1=1.17	MSAT (TO) f=246 TT=1632.69 T1=1.32	MSAT (TO) f=246 TT=1605.85 T1=1.37	MSAT (TO) f=246 TT=3600.04	MSAT (TO) f=246 TT=3600.03	MSAT (TO) f=278 TT=3600.05 T1=3.33	MSAT (TO) f=302 TT=3600.07 T1=5.32	OPTIMUM f=246 TT=1.418 T1=1.17	OPTIMUM f=246 TT=1.225 T1=0.03
maxcsp/cnf/2-40-1100-2000/ normalized-cnf-2-40-1900-793226_ext.xml	MOPT f=253 TT=4.102 T1=2.28	MSAT (TO) f=254 TT=1621.94 T1=0.58	MSAT (TO) f=253 TT=1613.1 T1=30.99	MSAT (TO) f=253 TT=3600.08	MSAT (TO) f=253 TT=3600.1	MSAT (TO) f=294 TT=3600.09 T1=9.83	MSAT (TO) f=291 TT=3600.11 T1=3.22	OPTIMUM f=253 TT=4.102 T1=2.28	OPTIMUM f=253 TT=4.143 T1=2.26
maxcsp/cnf/2-40-2100-3000/ normalized-cnf-2-40-2300-96030_ext.xml	MOPT f=276 TT=4.334 T1=0.74	MSAT (TO) f=276 TT=1610.65 T1=0.88	MSAT (TO) f=276 TT=1616.48 T1=0.74	MSAT (TO) f=276 TT=3600.05	MSAT (TO) f=276 TT=3600.08	MSAT (TO) f=313 TT=3600.1 T1=10.28	MSAT (TO) f=325 TT=3600.09 T1=42.56	OPTIMUM f=276 TT=4.334 T1=3.75	OPTIMUM f=276 TT=4.77 T1=4.14
maxcsp/cnf/2-40-2100-3000/ normalized-cnf-2-40-2400-421722_ext.xml	MOPT f=279 TT=1.539 T1=0	MSAT (TO) f=279 TT=1604.89 T1=1604.85	MSAT (TO) f=279 TT=1608.76 T1=1608.72	MSAT (TO) f=279 TT=3600.04	MSAT (TO) f=279 TT=3600.07	MSAT (TO) f=303 TT=3600.04 T1=18.5	MSAT (TO) f=304 TT=3600.07 T1=20.53	OPTIMUM f=279 TT=1.539 T1=0	OPTIMUM f=279 TT=3.609 T1=2.63
maxcsp/cnf/2-40-2100-3000/ normalized-cnf-2-40-2400-421727_ext.xml	MOPT f=284 TT=5.198 T1=0.65	MSAT (TO) f=284 TT=1625.12 T1=0.65	MSAT (TO) f=284 TT=1625.75 T1=0.69	MSAT (TO) f=284 TT=3600.08	MSAT (TO) f=284 TT=3600.07	MSAT (TO) f=308 TT=3600.03 T1=850.28	MSAT (TO) f=322 TT=3600.05 T1=27.71	OPTIMUM f=284 TT=5.198 T1=3.55	OPTIMUM f=284 TT=5.266 T1=3.25
maxcsp/cnf/2-40-2100-3000/ normalized-cnf-2-40-2400-421728_ext.xml	MOPT f=291 TT=3.925 T1=0	MSAT (TO) f=291 TT=1615.15 T1=0.78	MSAT (TO) f=291 TT=1618.25 T1=0.79	MSAT (TO) f=291 TT=3600.05	MSAT (TO) f=291 TT=3600.07	MSAT (TO) f=327 TT=3600.05 T1=21.12	MSAT (TO) f=318 TT=3600.16 T1=54.08	OPTIMUM f=291 TT=3.925 T1=0	OPTIMUM f=291 TT=4.288 T1=1.95
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/cnf/2-40-2100-3000/ normalized-cnf-2-40-2500-147422_ext.xml	MOPT f=294 TT=11.734 T1=0.88	MSAT (TO) f=294 TT=1616.47 T1=0.88	MSAT (TO) f=294 TT=1621.45 T1=0.88	MSAT (TO) f=294 TT=3600.05	MSAT (TO) f=294 TT=3600.08	MSAT (TO) f=332 TT=3600.09 T1=3.76	MSAT (TO) f=337 TT=3600.11 T1=6.77	OPTIMUM f=294 TT=11.734 T1=7.59	OPTIMUM f=294 TT=9.884 T1=6.69
maxcsp/cnf/2-40-2100-3000/ normalized-cnf-2-40-2500-147426_ext.xml	MOPT f=307 TT=2.298 T1=0	MSAT (TO) f=307 TT=1611.88 T1=8.54	MSAT (TO) f=307 TT=1611.31 T1=9.16	MSAT (TO) f=307 TT=3600.05	MSAT (TO) f=307 TT=3600.01	MSAT (TO) f=340 TT=3600.03 T1=3032.2	? (TO) TT=3600.11	OPTIMUM f=307 TT=2.298 T1=0	OPTIMUM f=307 TT=2.311 T1=0.04
maxcsp/cnf/2-40-2100-3000/ normalized-cnf-2-40-2600-873121_ext.xml	MOPT f=297 TT=3.742 T1=2.12	MSAT (TO) f=297 TT=1629.77 T1=2.3	MSAT (TO) f=297 TT=1628.83 T1=2.12	MSAT (TO) f=297 TT=3600.01	MSAT (TO) f=297 TT=3600.03	MSAT (TO) f=317 TT=3600.06 T1=15.48	MSAT (TO) f=318 TT=3600.07 T1=150.21	OPTIMUM f=297 TT=3.742 T1=3.45	OPTIMUM f=297 TT=3.412 T1=2.26
maxcsp/cnf/2-40-2100-3000/ normalized-cnf-2-40-2900-050223-ext.xml	MOPT f=289 TT=2.385 T1=0.85	MSAT (TO) f=289 TT=1625.72 T1=0.88	MSAT (TO) f=289 TT=1617.21 T1=0.85	MSAT (TO) f=289 TT=3600.06	MSAT (TO) f=289 TT=3600.09	? (TO) TT=3600.04	? (TO) TT=3600.1	OPTIMUM f=289 TT=2.385 T1=1.68	OPTIMUM f=289 TT=2.573 T1=0.03
maxcsp/cnf/2-80-100-1000/ normalized-cnf-2-80-300-186944_ext.xml	MOPT f=22 TT=0.586 T1=0	MSAT (TO) f=22 TT=1639.21 T1=1.86	MSAT (TO) f=22 TT=1607.8 T1=1.77	MSAT (TO) f=22 TT=3600.07	MSAT (TO) f=22 TT=3600.05	MSAT (TO) f=24 TT=3600.08 T1=1280.26	MSAT (TO) f=22 TT=3600.1 T1=2840.12	OPTIMUM f=22 TT=0.586 T1=0	OPTIMUM f=22 TT=0.935 T1=0.01
maxcsp/cnf/2-80-100-1000/ normalized-cnf-2-80-300-186945_ext.xml	MOPT f=25 TT=1.033 T1=0	MSAT (TO) f=25 TT=1606.84 T1=0.82	MSAT (TO) f=25 TT=1619.82 T1=0.86	MSAT (TO) f=25 TT=3600.03	MSAT (TO) f=25 TT=3600.09	MSAT (TO) f=25 TT=3600.1 T1=1951.59	MSAT (TO) f=34 TT=3600.13 T1=2.8	OPTIMUM f=25 TT=1.033 T1=0	OPTIMUM f=25 TT=1.518 T1=1.46
maxcsp/cnf/2-80-100-1000/ normalized-cnf-2-80-600-364043_ext.xml	MOPT f=63 TT=12.615 T1=0	MSAT (TO) f=63 TT=1618.18 T1=0.87	MSAT (TO) f=63 TT=1631.09 T1=0.98	MSAT (TO) f=63 TT=3600.08	MSAT (TO) f=63 TT=3600.1	MSAT (TO) f=108 TT=3600.07 T1=3.02	MSAT (TO) f=96 TT=3600.07 T1=3.09	OPTIMUM f=63 TT=12.615 T1=0	OPTIMUM f=63 TT=12.355 T1=0.03
maxcsp/cnf/2-80-100-1000/ normalized-cnf-2-80-600-364046_ext.xml	MOPT f=70 TT=23.825 T1=6.46	MSAT (TO) f=71 TT=1629.38 T1=4.24	MSAT (TO) f=71 TT=1620.38 T1=4.21	MSAT (TO) f=70 TT=3600.02	MSAT (TO) f=70 TT=3600.02	MSAT (TO) f=128 TT=3600.02 T1=2.49	MSAT (TO) f=106 TT=3600.12 T1=4.76	OPTIMUM f=70 TT=23.825 T1=6.46	OPTIMUM f=70 TT=26.692 T1=16.33
maxcsp/cnf/2-80-100-1000/ normalized-cnf-2-80-700-089745_ext.xml	MOPT f=80 TT=24.303 T1=2.99	MSAT (TO) f=80 TT=1639.33 T1=20.83	MSAT (TO) f=80 TT=1632.17 T1=19.75	MSAT (TO) f=80 TT=3600	MSAT (TO) f=80 TT=3600.09	MSAT (TO) f=130 TT=3600.06 T1=3.89	MSAT (TO) f=136 TT=3600.14 T1=3.93	OPTIMUM f=80 TT=24.303 T1=2.99	OPTIMUM f=80 TT=47.722 T1=30.6
maxcsp/cnf/2-80-100-1000/ normalized-cnf-2-80-700-089750_ext.xml	MOPT f=81 TT=51.348 T1=7.39	MSAT (TO) f=81 TT=1637.4 T1=7.39	MSAT (TO) f=81 TT=1635.51 T1=7.42	MSAT (TO) f=81 TT=3600.06	MSAT (TO) f=81 TT=3600	MSAT (TO) f=113 TT=3600.02 T1=19.17	MSAT (TO) f=107 TT=3600.12 T1=25.13	OPTIMUM f=81 TT=51.348 T1=36.67	OPTIMUM f=81 TT=53.795 T1=27.35
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/cnf/2-80-100-1000/ normalized-cnf-2-80-800-815444_ext.xml	MOPT f=107 TT=717.983 T1=7.09	MSAT (TO) f=107 TT=1628.83 T1=7.39	MSAT (TO) f=107 TT=1632.93 T1=7.09	MSAT (TO) f=107 TT=3600.04	MSAT (TO) f=107 TT=3600.08	MSAT (TO) f=140 TT=3600.1 T1=11.8	MSAT (TO) f=163 TT=3600.11 T1=11.31	OPTIMUM f=107 TT=717.983 T1=668.13	OPTIMUM f=107 TT=493.525 T1=330.21
maxcsp/cnf/2-80-100-1000/ normalized-cnf-2-80-800-815450_ext.xml	MOPT f=102 TT=246.568 T1=121.31	MSAT (TO) f=103 TT=1662.76 T1=36.05	MSAT (TO) f=103 TT=1631.08 T1=36.05	MSAT (TO) f=102 TT=3600.05	MSAT (TO) f=102 TT=3600.09	MSAT (TO) f=182 TT=3600.05 T1=3.33	MSAT (TO) f=159 TT=3600.12 T1=3.82	OPTIMUM f=102 TT=246.568 T1=121.31	OPTIMUM f=102 TT=229.375 T1=123.53
maxcsp/cnf/2-80-1100-2000/ normalized-cnf-2-80-1100-992546_ext.xml	MOPT f=160 TT=2121.51 T1=1828.64	MSAT (TO) f=162 TT=1648.26 T1=11.08	MSAT (TO) f=162 TT=1631.02 T1=10.68	MSAT (TO) f=160 TT=3600	MSAT (TO) f=160 TT=3600.09	MSAT (TO) f=219 TT=3600 T1=1250.75	MSAT (TO) f=206 TT=3600.14 T1=108.95	OPTIMUM f=160 TT=2121.51 T1=1828.64	OPTIMUM f=160 TT=1808.36 T1=912.85
maxcsp/cnf/2-80-1100-2000/ normalized-cnf-2-80-1200-718241_ext.xml	MOPT f=176 TT=3241.53 T1=2242.68	MSAT (TO) f=181 TT=1639.15 T1=8.52	MSAT (TO) f=181 TT=1625.87 T1=8.62	MSAT (TO) f=176 TT=3600.01	MSAT (TO) f=176 TT=3600.08	MSAT (TO) f=228 TT=3600.06 T1=136.07	MSAT (TO) f=226 TT=3600.12 T1=2419.66	OPTIMUM f=176 TT=3241.53 T1=2242.68	? (TO) f=176 TT=3600.09 T1=3074.71
maxcsp/cnf/2-80-1100-2000/ normalized-cnf-2-80-1300-443946_ext.xml	MSAT TO f=207 TT=3600.09	MSAT (TO) f=209 TT=1612.64 T1=1.7	MSAT (TO) f=209 TT=1622.4 T1=1.54	MSAT (TO) f=207 TT=3600.09	MSAT (TO) f=207 TT=3600.09	MSAT (TO) f=303 TT=3600.04 T1=7.2	MSAT (TO) f=256 TT=3600.09 T1=326.99	? (TO) TT=3600.02	? (TO) f=221 TT=3600.11 T1=3160.01
maxcsp/cnf/2-80-1100-2000/ normalized-cnf-2-80-1400-169641_ext.xml	MOPT f=201 TT=2714.97 T1=207.05	MSAT (TO) f=207 TT=1647.79 T1=3.34	MSAT (TO) f=207 TT=1612.34 T1=3.72	MSAT (TO) f=201 TT=3600	MSAT (TO) f=201 TT=3600.06	MSAT (TO) f=327 TT=3600 T1=7.37	MSAT (TO) f=306 TT=3600.11 T1=7.05	OPTIMUM f=201 TT=2714.97 T1=207.05	OPTIMUM f=201 TT=2575.69 T1=42.23
maxcsp/cnf/2-80-1100-2000/ normalized-cnf-2-80-1500-895349_ext.xml	MSAT TO f=231 TT=1624.27 T1=3.82	MSAT (TO) f=231 TT=1624.27 T1=3.87	MSAT (TO) f=231 TT=1625.62 T1=3.82	MSAT (TO) f=231 TT=3600.07	MSAT (TO) f=231 TT=3600.07	MSAT (TO) f=356 TT=3600.02 T1=7.81	MSAT (TO) f=355 TT=3600.12 T1=10.84	? (TO) TT=3600.05	? (TO) f=238 TT=3600.09 T1=1569.94
maxcsp/cnf/2-80-1100-2000/ normalized-cnf-2-80-1700-346746_ext.xml	MSAT TO f=272 TT=3600	MSAT (TO) f=276 TT=1637.89 T1=10.38	MSAT (TO) f=276 TT=1648.98 T1=9.5	MSAT (TO) f=272 TT=3600	MSAT (TO) f=272 TT=3600.08	MSAT (TO) f=406 TT=3600.02 T1=10.49	MSAT (TO) f=354 TT=3600.15 T1=3020	? (TO) TT=3600.03	? (TO) f=276 TT=3600.11 T1=2850.57
maxcsp/cnf/2-80-1100-2000/ normalized-cnf-2-80-1700-346750_ext.xml	MSAT TO f=272 TT=3600.02	MSAT (TO) f=275 TT=1659.03 T1=20.57	MSAT (TO) f=275 TT=1640.95 T1=22.26	MSAT (TO) f=272 TT=3600.02	MSAT (TO) f=272 TT=3600.05	MSAT (TO) f=360 TT=3600.03 T1=9.37	MSAT (TO) f=386 TT=3600.19 T1=11.17	? (TO) TT=3600.07	? (TO) f=275 TT=3600.11 T1=3551.89
maxcsp/cnf/2-80-1100-2000/ normalized-cnf-2-80-1900-798146_ext.xml	MSAT TO f=316 TT=3600.08	MSAT (TO) f=322 TT=1630.81 T1=15.66	MSAT (TO) f=322 TT=1649.58 T1=17.47	MSAT (TO) f=316 TT=3600.08	MSAT (TO) f=316 TT=3600.11	MSAT (TO) f=400 TT=3600.03 T1=9.81	MSAT (TO) f=421 TT=3600.17 T1=8.68	? (TO) TT=3600.11	? (TO) f=324 TT=3600.11 T1=2284.91
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/maxcut/maxcut-30/ normalized-maxcut-30-340-2_ext.xml	MOPT f=142 TT=20.163 T1=0	MSAT (TO) f=142 TT=1624.17 T1=0.57	MSAT (TO) f=142 TT=1601.31 T1=0.57	MSAT (TO) f=142 TT=3600.05	MSAT (TO) f=142 TT=3600.02	MSAT (TO) f=170 TT=3600.06 T1=1.68	MSAT (TO) f=170 TT=3600.14 T1=2.32	OPTIMUM f=142 TT=20.163 T1=0	OPTIMUM f=142 TT=19.974 T1=1.48
maxcsp/maxcut/maxcut-30/ normalized-maxcut-30-340-5_ext.xml	MOPT f=142 TT=17.851 T1=0.57	MSAT (TO) f=142 TT=1629.52 T1=0.62	MSAT (TO) f=142 TT=1618.28 T1=0.57	MSAT (TO) f=142 TT=3600.02	MSAT (TO) f=142 TT=3600.03	MSAT (TO) f=168 TT=3600.09 T1=1.84	MSAT (TO) f=166 TT=3600.08 T1=5.24	OPTIMUM f=142 TT=17.851 T1=4.65	OPTIMUM f=142 TT=17.042 T1=0
maxcsp/maxcut/maxcut-30/ normalized-maxcut-30-360-4_ext.xml	MOPT f=151 TT=29.375 T1=0.77	MSAT (TO) f=151 TT=1613.89 T1=0.78	MSAT (TO) f=151 TT=1618.61 T1=0.77	MSAT (TO) f=151 TT=3600.01	MSAT (TO) f=151 TT=3600.06	MSAT (TO) f=180 TT=3600.09 T1=3.25	MSAT (TO) f=176 TT=3600.09 T1=5.48	OPTIMUM f=151 TT=29.375 T1=2.96	OPTIMUM f=151 TT=29.463 T1=14.71
maxcsp/maxcut/maxcut-30/ normalized-maxcut-30-370-5_ext.xml	MOPT f=160 TT=50.857 T1=0.63	MSAT (TO) f=160 TT=1626.91 T1=0.63	MSAT (TO) f=160 TT=1613.84 T1=0.76	MSAT (TO) f=160 TT=3600.09	MSAT (TO) f=160 TT=3600.03	MSAT (TO) f=185 TT=3600.06 T1=2.11	MSAT (TO) f=183 TT=3600.11 T1=6.54	OPTIMUM f=160 TT=50.857 T1=22.14	OPTIMUM f=160 TT=41.787 T1=0
maxcsp/maxcut/maxcut-30/ normalized-maxcut-30-390-8_ext.xml	MOPT f=173 TT=136.187 T1=0.57	MSAT (TO) f=173 TT=1640.33 T1=0.62	MSAT (TO) f=173 TT=1606.8 T1=0.57	MSAT (TO) f=173 TT=3600.03	MSAT (TO) f=173 TT=3600.08	MSAT (TO) f=192 TT=3600.05 T1=5.52	MSAT (TO) f=188 TT=3600.07 T1=3.26	OPTIMUM f=173 TT=136.187 T1=40.12	OPTIMUM f=173 TT=128.839 T1=1.56
maxcsp/maxcut/maxcut-30/ normalized-maxcut-30-400-10_ext.xml	MOPT f=179 TT=161.684 T1=0.55	MSAT (TO) f=179 TT=1614.92 T1=0.57	MSAT (TO) f=179 TT=1616.09 T1=0.55	MSAT (TO) f=179 TT=3600.04	MSAT (TO) f=179 TT=3600.09	MSAT (TO) f=199 TT=3600.1 T1=2.35	MSAT (TO) f=200 TT=3600.08 T1=5.06	OPTIMUM f=179 TT=161.684 T1=8.3	OPTIMUM f=179 TT=161.084 T1=21.37
maxcsp/maxcut/maxcut-30/ normalized-maxcut-30-400-2_ext.xml	MOPT f=179 TT=163.366 T1=0.58	MSAT (TO) f=179 TT=1606.07 T1=0.67	MSAT (TO) f=179 TT=1610.4 T1=0.58	MSAT (TO) f=179 TT=3600.08	MSAT (TO) f=179 TT=3600.08	MSAT (TO) f=198 TT=3600.07 T1=2.94	MSAT (TO) f=200 TT=3600.1 T1=4.13	OPTIMUM f=179 TT=163.366 T1=20.08	OPTIMUM f=179 TT=144.708 T1=3.95
maxcsp/maxcut/maxcut-30/ normalized-maxcut-30-400-5_ext.xml	MOPT f=179 TT=160.628 T1=0.68	MSAT (TO) f=179 TT=1625.01 T1=0.68	MSAT (TO) f=179 TT=1621.95 T1=0.69	MSAT (TO) f=179 TT=3600.09	MSAT (TO) f=179 TT=3600.03	MSAT (TO) f=199 TT=3600.05 T1=3.43	MSAT (TO) f=200 TT=3600.09 T1=3.75	OPTIMUM f=179 TT=160.628 T1=67.35	OPTIMUM f=179 TT=147.241 T1=16.9
maxcsp/maxcut/maxcut-40/ normalized-maxcut-40-420-5_ext.xml	MOPT f=161 TT=84.745 T1=0.67	MSAT (TO) f=161 TT=1620.04 T1=0.67	MSAT (TO) f=161 TT=1621.67 T1=0.79	MSAT (TO) f=161 TT=3600.07	MSAT (TO) f=161 TT=3600.03	MSAT (TO) f=196 TT=3600.06 T1=2.19	MSAT (TO) f=203 TT=3600.1 T1=3.16	OPTIMUM f=161 TT=84.745 T1=38.55	OPTIMUM f=161 TT=70.521 T1=4.56
maxcsp/maxcut/maxcut-40/ normalized-maxcut-40-440-6_ext.xml	MOPT f=173 TT=125.363 T1=0	MSAT (TO) f=173 TT=1624.61 T1=0.69	MSAT (TO) f=173 TT=1613.58 T1=0.6	MSAT (TO) f=173 TT=3600.02	MSAT (TO) f=173 TT=3600.01	MSAT (TO) f=201 TT=3600.01 T1=2.87	MSAT (TO) f=203 TT=3600.09 T1=1.99	OPTIMUM f=173 TT=125.363 T1=0	OPTIMUM f=173 TT=128.286 T1=62.3
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/maxcut/maxcut-40/ normalized-maxcut-40-480-6_ext.xml	MOPT f=193 TT=272.491 T1=0.79	MSAT (TO) f=193 TT=1623.41 T1=0.87	MSAT (TO) f=193 TT=1627.83 T1=0.79	MSAT (TO) f=193 TT=3600.07	MSAT (TO) f=193 TT=3600.04	MSAT (TO) f=234 TT=3600.12 T1=16.51	MSAT (TO) f=232 TT=3600.14 T1=6.52	OPTIMUM f=193 TT=272.491 T1=29.85	OPTIMUM f=193 TT=294.181 T1=84.02
maxcsp/maxcut/maxcut-40/ normalized-maxcut-40-480-8_ext.xml	MOPT f=192 TT=283.354 T1=0.68	MSAT (TO) f=192 TT=1607.78 T1=0.68	MSAT (TO) f=192 TT=1613.52 T1=0.77	MSAT (TO) f=192 TT=3600.09	MSAT (TO) f=192 TT=3600.07	MSAT (TO) f=226 TT=3600.1 T1=8.68	MSAT (TO) f=236 TT=3600.13 T1=4.13	OPTIMUM f=192 TT=283.354 T1=124.46	OPTIMUM f=192 TT=247.102 T1=12.12
maxcsp/maxcut/maxcut-40/ normalized-maxcut-40-520-10_ext.xml	MOPT f=213 TT=461.111 T1=0.75	MSAT (TO) f=213 TT=1626.37 T1=0.75	MSAT (TO) f=213 TT=1607.55 T1=0.88	MSAT (TO) f=213 TT=3600.04	MSAT (TO) f=213 TT=3600.07	MSAT (TO) f=243 TT=3600.04 T1=17.47	MSAT (TO) f=236 TT=3600.08 T1=6.6	OPTIMUM f=213 TT=461.111 T1=78.16	OPTIMUM f=213 TT=436.324 T1=31.21
maxcsp/maxcut/maxcut-40/ normalized-maxcut-40-520-1_ext.xml	MOPT f=210 TT=391.728 T1=0.67	MSAT (TO) f=210 TT=1599.98 T1=0.67	MSAT (TO) f=210 TT=1635.91 T1=0.77	MSAT (TO) f=210 TT=3600.09	MSAT (TO) f=210 TT=3600.04	MSAT (TO) f=246 TT=3600.08 T1=6.55	MSAT (TO) f=247 TT=3600.13 T1=6.54	OPTIMUM f=210 TT=391.728 T1=56.22	OPTIMUM f=210 TT=389.329 T1=73.13
maxcsp/maxcut/maxcut-40/ normalized-maxcut-40-540-3_ext.xml	MOPT f=225 TT=940.592 T1=0.68	MSAT (TO) f=225 TT=1631.9 T1=0.68	MSAT (TO) f=225 TT=1611.39 T1=0.89	MSAT (TO) f=225 TT=3600.02	MSAT (TO) f=225 TT=3600.02	MSAT (TO) f=257 TT=3600.09 T1=4.88	MSAT (TO) f=268 TT=3600.09 T1=203.6	OPTIMUM f=225 TT=940.592 T1=516.8	OPTIMUM f=225 TT=899.416 T1=134.6
maxcsp/maxcut/maxcut-40/ normalized-maxcut-40-580-1_ext.xml	MOPT f=241 TT=1101.83 T1=0.77	MSAT (TO) f=241 TT=1624.42 T1=0.77	MSAT (TO) f=241 TT=1617.03 T1=0.88	MSAT (TO) f=241 TT=3600.03	MSAT (TO) f=241 TT=3600.1	MSAT (TO) f=287 TT=3600.02 T1=23.88	MSAT (TO) f=288 TT=3600.12 T1=18.03	OPTIMUM f=241 TT=1101.83 T1=205.38	OPTIMUM f=241 TT=1130.91 T1=470.33
maxcsp/maxcut/maxcut-50/ normalized-maxcut-50-560-10_ext.xml	MOPT f=212 TT=1151.8 T1=0.67	MSAT (TO) f=212 TT=1603.46 T1=0.67	MSAT (TO) f=212 TT=1634.09 T1=0.77	MSAT (TO) f=212 TT=3600.03	MSAT (TO) f=212 TT=3600.01	MSAT (TO) f=273 TT=3600.04 T1=14.55	MSAT (TO) f=258 TT=3600.14 T1=3.17	OPTIMUM f=212 TT=1151.8 T1=33.41	OPTIMUM f=212 TT=1394.67 T1=804.77
maxcsp/maxcut/maxcut-50/ normalized-maxcut-50-580-10_ext.xml	MOPT f=221 TT=1508.98 T1=0.68	MSAT (TO) f=221 TT=1632.74 T1=0.68	MSAT (TO) f=221 TT=1621.93 T1=0.68	MSAT (TO) f=221 TT=3600.03	MSAT (TO) f=221 TT=3600.03	MSAT (TO) f=256 TT=3600.06 T1=2.99	MSAT (TO) f=269 TT=3600.07 T1=24	OPTIMUM f=221 TT=1508.98 T1=364.57	OPTIMUM f=221 TT=1550.34 T1=854.94
maxcsp/maxcut/maxcut-50/ normalized-maxcut-50-580-2_ext.xml	MOPT f=217 TT=971.091 T1=0.77	MSAT (TO) f=217 TT=1631.09 T1=0.77	MSAT (TO) f=217 TT=1627.63 T1=0.78	MSAT (TO) f=217 TT=3600.06	MSAT (TO) f=217 TT=3600	? (TO) TT=3600	MSAT (TO) f=261 TT=3600.11 T1=267.27	OPTIMUM f=217 TT=971.091 T1=158.24	OPTIMUM f=217 TT=1115.78 T1=655.43
maxcsp/maxcut/maxcut-50/ normalized-maxcut-50-580-3_ext.xml	MOPT f=224 TT=3198.73 T1=1.37	MSAT (TO) f=224 TT=1621.25 T1=1.37	MSAT (TO) f=224 TT=1617.63 T1=1.64	MSAT (TO) f=224 TT=3600	MSAT (TO) f=224 TT=3600.05	MSAT (TO) f=265 TT=3600.06 T1=18.4	MSAT (TO) f=285 TT=3600.13 T1=141.01	OPTIMUM f=224 TT=3198.73 T1=1403.27	OPTIMUM f=224 TT=2906.53 T1=224.89
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/maxcut/maxcut-50/ normalized-maxcut-50-580-6_ext.xml	MOPT f=219 TT=1143.39 T1=0.68	MSAT (TO) f=219 TT=1631.3 T1=0.68	MSAT (TO) f=219 TT=1627.92 T1=0.78	MSAT (TO) f=219 TT=3600.05	MSAT (TO) f=219 TT=3600.07	MSAT (TO) f=280 TT=3600.04 T1=58.78	MSAT (TO) f=260 TT=3600.1 T1=10.02	OPTIMUM f=219 TT=1143.39 T1=82.74	OPTIMUM f=219 TT=1378.21 T1=673.38
maxcsp/maxcut/maxcut-50/ normalized-maxcut-50-620-2_ext.xml	MSAT TO f=244 TT=1620.73 T1=0.99	MSAT (TO) f=244 TT=1620.73 T1=1.08	MSAT (TO) f=244 TT=1623.06 T1=0.99	MSAT (TO) f=244 TT=3600.07	MSAT (TO) f=244 TT=3600.09	MSAT (TO) f=288 TT=3600.03 T1=90.96	MSAT (TO) f=304 TT=3600.12 T1=36.42	? (TO) TT=3600.1	? (TO) f=244 TT=3600.08 T1=230.89
maxcsp/maxcut/maxcut-50/ normalized-maxcut-50-660-4_ext.xml	MSAT TO f=264 TT=1615.81 T1=0.67	MSAT (TO) f=264 TT=1633.85 T1=0.87	MSAT (TO) f=264 TT=1615.81 T1=0.67	MSAT (TO) f=264 TT=3600.07	MSAT (TO) f=264 TT=3600.05	MSAT (TO) f=324 TT=3600.1 T1=122.87	MSAT (TO) f=297 TT=3600.08 T1=44.68	? (TO) TT=3600.09	? (TO) f=264 TT=3600.12 T1=48.49
maxcsp/maxcut/maxcut-50/ normalized-maxcut-50-680-6_ext.xml	MSAT TO f=270 TT=1609.89 T1=0.64	MSAT (TO) f=270 TT=1609.89 T1=0.87	MSAT (TO) f=270 TT=1636.88 T1=0.64	MSAT (TO) f=270 TT=3600.07	MSAT (TO) f=270 TT=3600.09	MSAT (TO) f=317 TT=3600.01 T1=4.27	MSAT (TO) f=314 TT=3600.12 T1=12.42	? (TO) TT=3600.02	? (TO) f=270 TT=3600.05 T1=3252.02
maxcsp/maxcut/maxcut-60/ normalized-maxcut-60-420-2_ext.xml	MOPT f=135 TT=176.564 T1=0.68	MSAT (TO) f=135 TT=2011.04 T1=0.76	MSAT (TO) f=135 TT=1609.6 T1=0.68	MSAT (TO) f=135 TT=3600.06	MSAT (TO) f=135 TT=3600.08	MSAT (TO) f=192 TT=3600.08 T1=2.02	MSAT (TO) f=193 TT=3600.09 T1=29.45	OPTIMUM f=135 TT=176.564 T1=27.27	OPTIMUM f=135 TT=180.05 T1=61.5
maxcsp/maxcut/maxcut-60/ normalized-maxcut-60-460-1_ext.xml	MOPT f=155 TT=665.399 T1=0.68	MSAT (TO) f=155 TT=1611.56 T1=0.68	MSAT (TO) f=155 TT=1620.98 T1=0.69	MSAT (TO) f=155 TT=3600.06	MSAT (TO) f=155 TT=3600.09	MSAT (TO) f=194 TT=3600.07 T1=2.44	MSAT (TO) f=193 TT=3600.08 T1=3.6	OPTIMUM f=155 TT=665.399 T1=206.31	OPTIMUM f=155 TT=743.77 T1=270.95
maxcsp/maxcut/maxcut-60/ normalized-maxcut-60-500-4_ext.xml	MOPT f=171 TT=824.21 T1=0.94	MSAT (TO) f=171 TT=1622.54 T1=1.08	MSAT (TO) f=171 TT=1618.56 T1=0.94	MSAT (TO) f=171 TT=3600.08	MSAT (TO) f=171 TT=3600.08	MSAT (TO) f=235 TT=3600.02 T1=13.12	MSAT (TO) f=219 TT=3600.1 T1=2.86	OPTIMUM f=171 TT=824.21 T1=129.96	OPTIMUM f=171 TT=848.58 T1=265.1
maxcsp/maxcut/maxcut-60/ normalized-maxcut-60-500-7_ext.xml	MOPT f=175 TT=2045.32 T1=0.78	MSAT (TO) f=175 TT=1620.83 T1=0.78	MSAT (TO) f=175 TT=1626.14 T1=0.78	MSAT (TO) f=175 TT=3600.03	MSAT (TO) f=175 TT=3600.01	MSAT (TO) f=247 TT=3600.03 T1=1150.7	MSAT (TO) f=225 TT=3600.13 T1=3.25	OPTIMUM f=175 TT=2045.32 T1=616.73	OPTIMUM f=175 TT=2139.57 T1=816.13
maxcsp/maxcut/maxcut-60/ normalized-maxcut-60-520-6_ext.xml	MOPT f=180 TT=1471.08 T1=0.87	MSAT (TO) f=180 TT=1612.75 T1=0.88	MSAT (TO) f=180 TT=3600.16 T1=0.87	MSAT (TO) f=180 TT=3600.01	MSAT (TO) f=180 TT=3600.05	MSAT (TO) f=240 TT=3600.03 T1=2.22	MSAT (TO) f=223 TT=3600.14 T1=7.17	OPTIMUM f=180 TT=1471.08 T1=726.35	OPTIMUM f=180 TT=1613.18 T1=848.44
maxcsp/maxcut/maxcut-60/ normalized-maxcut-60-560-9_ext.xml	MOPT f=200 TT=3081.6 T1=0.65	MSAT (TO) f=200 TT=1609.15 T1=0.72	MSAT (TO) f=200 TT=1607.49 T1=0.65	MSAT (TO) f=200 TT=3600.07	MSAT (TO) f=200 TT=3600.06	MSAT (TO) f=253 TT=3600.03 T1=5.51	MSAT (TO) f=256 TT=3600.13 T1=8.86	OPTIMUM f=200 TT=3081.6 T1=1765.04	OPTIMUM f=200 TT=3199.45 T1=835.51
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/maxcut/maxcut-60/ normalized-maxcut-60-580-1_ext.xml	MSAT TO f=215 TT=1633.9 T1=1.08	MSAT (TO) f=215 TT=1633.9 T1=1.18	MSAT (TO) f=215 TT=1641.34 T1=1.08	MSAT (TO) f=215 TT=3600.05	MSAT (TO) f=215 TT=3600.07	MSAT (TO) f=254 TT=3600.07 T1=3.07	MSAT (TO) f=263 TT=3600.11 T1=17.3	? (TO) TT=3600.04	? (TO) f=215 TT=3600.1 T1=584.23
maxcsp/maxcut/maxcut-60/ normalized-maxcut-60-580-2_ext.xml	MOPT f=207 TT=3316.9 T1=0.87	MSAT (TO) f=207 TT=1594.82 T1=0.87	MSAT (TO) f=207 TT=1613.31 T1=0.97	MSAT (TO) f=207 TT=3600.07	MSAT (TO) f=207 TT=3600.05	MSAT (TO) f=259 TT=3600.09 T1=3.42	MSAT (TO) f=265 TT=3600.15 T1=4.15	OPTIMUM f=207 TT=3316.9 T1=1098.59	OPTIMUM f=207 TT=2604.21 T1=125.52

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 2008-06-27
Number of times the solver is able to give the best known answer	11	10	9	9	3	3	63
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)	60	60	72	72	4	4	63
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)	4	1	4	4	0	0	63
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)	20	23	0	0	0	0	29