MAX-CSP 2008 Competition: results by benchmark

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

This page displays the results of the different solvers for each benchmark for category binary constraints in extension (2-ARY-EXT), subcategory random 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 exampleMeaning
AnswerSolver 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:

AbbreviationMeaning
f=...Value of the objective function
TOTime Out
MOMem. Out (out of memory)

Meaning of the different colors:

ColorMeaning
textthe solver cannot handle this instance
textthe solver gave no answer
textthe solver could give an answer (SAT)
textthe solver gave a definitive answer (OPTIMUM FOUND or UNSAT)
textthe solver performed better than the other ones on that instance
textthe solver was ended by a signal
textthe solver gave an incomplete answer
textthe solver was disqualified in the category
textthe 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 nameBest 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/marc/
normalized-large-80-unsat_ext.xml		 MSAT TO
f=780
TT=1610.07
T1=1610.02
 MSAT (TO)
f=781
TT=1638.57
T1=10.39
 MSAT (TO)
f=780
TT=1610.07
T1=1610.02
 MSAT (TO)
f=780
TT=3600.09

 MSAT (TO)
f=780
TT=3600.01

 ? (MO)

TT=19.918

 ? (MO)

TT=20.285

 ? (TO)

TT=3600.03

 ? (TO)
f=1564
TT=3600.08
T1=1870.83
csp/marc/
normalized-large-84-unsat_ext.xml		 MSAT TO
f=862
TT=1595.61
T1=11.61
 MSAT (TO)
f=862
TT=1595.61
T1=12.25
 MSAT (TO)
f=862
TT=1633.07
T1=11.61
 MSAT (TO)
f=862
TT=3600

 MSAT (TO)
f=862
TT=3600.04

 ? (MO)

TT=21.97

 ? (MO)

TT=22.38

 ? (TO)

TT=3600.06

 ? (TO)
f=1702
TT=3600.02
T1=651.76
csp/marc/
normalized-large-88-unsat_ext.xml		 MSAT TO
f=946
TT=1603.52
T1=13.58
 MSAT (TO)
f=946
TT=1603.52
T1=13.58
 MSAT (TO)
f=946
TT=1618.44
T1=14.79
 MSAT (TO)
f=946
TT=3600.04

 MSAT (TO)
f=946
TT=3600.05

 ? (MO)

TT=25.145

 ? (MO)

TT=24.162

 ? (TO)

TT=3600.08

 ? (TO)
f=1903
TT=3600.07
T1=327.62
csp/marc/
normalized-large-92-unsat_ext.xml		 MSAT TO
f=1036
TT=1626.96
T1=15.8
 MSAT (TO)
f=1036
TT=1629.07
T1=15.8
 MSAT (TO)
f=1036
TT=1626.96
T1=17.35
 MSAT (TO)
f=1036
TT=3600.1

 MSAT (TO)
f=1036
TT=3600.06

 ? (MO)

TT=28.73

 ? (MO)

TT=27.99

 ? (TO)

TT=3600.1

 ? (TO)
f=2088
TT=3600.07
T1=285.04
csp/marc/
normalized-large-96-unsat_ext.xml		 MSAT TO
f=1128
TT=1619.07
T1=20.1
 MSAT (TO)
f=1128
TT=1659.96
T1=20.64
 MSAT (TO)
f=1128
TT=1619.07
T1=20.1
 MSAT (TO)
f=1128
TT=3600.05

 MSAT (TO)
f=1128
TT=3600.02

 ? (MO)

TT=30.89

 ? (MO)

TT=32.86

 ? (TO)

TT=3600.09

 ? (TO)
f=2259
TT=3600.08
T1=877.92
csp/rand-2-23/
normalized-rand-23-23-253-131-46021_ext.xml		 MOPT
f=1
TT=1751.45
T1=3.12
 MSAT (TO)
f=1
TT=1584.39
T1=3.12
 MSAT (TO)
f=1
TT=1597.12
T1=3.16
 MSAT (TO)
f=1
TT=3600.05

 MSAT (TO)
f=1
TT=3600.01

 MSAT (TO)
f=4
TT=3600.05
T1=880.55
 MSAT (TO)
f=3
TT=3600.13
T1=3097.54
 OPTIMUM
f=1
TT=1751.45
T1=579.74
 OPTIMUM
f=1
TT=1722.71
T1=647.76
csp/rand-2-23/
normalized-rand-23-23-253-131-47021_ext.xml		 MOPT
f=1
TT=1896.83
T1=2.9
 MSAT (TO)
f=1
TT=1595.84
T1=3.24
 MSAT (TO)
f=1
TT=1585.75
T1=2.9
 MSAT (TO)
f=1
TT=3600.03

 MSAT (TO)
f=1
TT=3600.09

 MSAT (TO)
f=1
TT=3600.04
T1=1626.93
 MSAT (TO)
f=1
TT=3600.13
T1=972.67
 OPTIMUM
f=1
TT=1896.83
T1=896.7
 OPTIMUM
f=1
TT=1838.29
T1=819.16
csp/rand-2-23/
normalized-rand-23-23-253-131-51021_ext.xml		 MOPT
f=1
TT=1819.42
T1=0.84
 MSAT (TO)
f=1
TT=1601.75
T1=1.03
 MSAT (TO)
f=1
TT=1615.13
T1=0.84
 MSAT (TO)
f=1
TT=3600.09

 MSAT (TO)
f=1
TT=3600.02

 MSAT (TO)
f=1
TT=3600.1
T1=1129.57
 MSAT (TO)
f=8
TT=3600.09
T1=1778.35
 OPTIMUM
f=1
TT=1819.42
T1=656.34
 OPTIMUM
f=1
TT=1837.36
T1=684.1
csp/rand-2-23/
normalized-rand-23-23-253-131-52021_ext.xml		 MOPT
f=1
TT=1738.43
T1=2.91
 MSAT (TO)
f=1
TT=1594.4
T1=2.94
 MSAT (TO)
f=1
TT=1580.04
T1=2.91
 MSAT (TO)
f=1
TT=3600.03

 MSAT (TO)
f=1
TT=3600.06

 MSAT (TO)
f=1
TT=3600.06
T1=3540.69
 MSAT (TO)
f=1
TT=3600.09
T1=2293.11
 OPTIMUM
f=1
TT=1738.43
T1=838.8
 OPTIMUM
f=1
TT=1946.82
T1=724.24
csp/rand-2-23/
normalized-rand-23-23-253-131-55021_ext.xml		 MOPT
f=1
TT=1457.77
T1=6.08
 MSAT (TO)
f=1
TT=1582.81
T1=6.08
 MSAT (TO)
f=1
TT=1575.16
T1=6.25
 MSAT (TO)
f=1
TT=3600.07

 MSAT (TO)
f=1
TT=3600.08

 MSAT (TO)
f=1
TT=3600.11
T1=1701.55
 MSAT (TO)
f=3
TT=3600.11
T1=1038.37
 OPTIMUM
f=1
TT=1457.77
T1=323.37
 OPTIMUM
f=1
TT=1576.47
T1=391.63
Bench nameBest 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/rand-2-24/
normalized-rand-24-24-276-139-49021_ext.xml		 MSAT TO
f=1
TT=1585.22
T1=0.76
 MSAT (TO)
f=1
TT=1598.53
T1=0.76
 MSAT (TO)
f=1
TT=1585.22
T1=0.8
 MSAT (TO)
f=1
TT=3600.05

 MSAT (TO)
f=1
TT=3600.02

 MSAT (TO)
f=6
TT=3600.06
T1=1219
 MSAT (TO)
f=8
TT=3600.12
T1=707.06
 ? (TO)

TT=3600.03

 ? (TO)
f=1
TT=3600.1
T1=2266.91
csp/rand-2-24/
normalized-rand-24-24-276-139-51021_ext.xml		 MSAT TO
f=1
TT=1595.93
T1=10.45
 MSAT (TO)
f=1
TT=1614.69
T1=10.45
 MSAT (TO)
f=1
TT=1595.93
T1=11.56
 MSAT (TO)
f=1
TT=3600.02

 MSAT (TO)
f=1
TT=3600.07

 MSAT (TO)
f=29
TT=3600.08
T1=2.77
 MSAT (TO)
f=16
TT=3600.06
T1=934.85
 ? (TO)

TT=3600.07

 ? (TO)
f=1
TT=3600.07
T1=3109.83
csp/rand-2-24/
normalized-rand-24-24-276-139-52021_ext.xml		 MOPT
f=1
TT=3358.04
T1=2.37
 MSAT (TO)
f=1
TT=1588.93
T1=2.37
 MSAT (TO)
f=1
TT=1598.01
T1=2.48
 MSAT (TO)
f=1
TT=3600.04

 MSAT (TO)
f=1
TT=3600.07

 MSAT (TO)
f=3
TT=3600.08
T1=1258.81
 MSAT (TO)
f=7
TT=3600.14
T1=954.35
 OPTIMUM
f=1
TT=3358.04
T1=672.22
 ? (TO)
f=1
TT=3600.13
T1=1279.04
csp/rand-2-24/
normalized-rand-24-24-276-139-53021_ext.xml		 MSAT TO
f=1
TT=1586.03
T1=3.06
 MSAT (TO)
f=1
TT=1586.03
T1=3.12
 MSAT (TO)
f=1
TT=1590.89
T1=3.06
 MSAT (TO)
f=1
TT=3600.06

 MSAT (TO)
f=1
TT=3600.04

 MSAT (TO)
f=2
TT=3600.07
T1=505.67
 MSAT (TO)
f=1
TT=3600.12
T1=2260.63
 ? (TO)

TT=3600.03

 ? (TO)
f=1
TT=3600.03
T1=1904.76
csp/rand-2-24/
normalized-rand-24-24-276-139-54021_ext.xml		 MSAT TO
f=1
TT=1596.17
T1=1
 MSAT (TO)
f=1
TT=1601.01
T1=1.07
 MSAT (TO)
f=1
TT=1596.17
T1=1
 MSAT (TO)
f=1
TT=3600.02

 MSAT (TO)
f=1
TT=3600.05

 MSAT (TO)
f=6
TT=3600.03
T1=542.56
 MSAT (TO)
f=4
TT=3600.12
T1=2066.15
 ? (TO)

TT=3600.07

 ? (TO)
f=2
TT=3600.05
T1=183.44
csp/rand-2-24/
normalized-rand-24-24-276-139-56021_ext.xml		 MSAT TO
f=1
TT=1592.55
T1=0.95
 MSAT (TO)
f=1
TT=1607.49
T1=0.95
 MSAT (TO)
f=1
TT=1592.55
T1=0.98
 MSAT (TO)
f=1
TT=3600.09

 MSAT (TO)
f=1
TT=3600.07

 MSAT (TO)
f=14
TT=3600.09
T1=95.78
 MSAT (TO)
f=4
TT=3600.07
T1=2909.84
 ? (TO)

TT=3600.02

 ? (TO)
f=1
TT=3600.07
T1=1519.03
csp/rand-2-24/
normalized-rand-24-24-276-139-57021_ext.xml		 MOPT
f=1
TT=3031.16
T1=1.94
 MSAT (TO)
f=1
TT=1598.38
T1=2.01
 MSAT (TO)
f=1
TT=1607.8
T1=1.94
 MSAT (TO)
f=1
TT=3600.09

 MSAT (TO)
f=1
TT=3600.09

 MSAT (TO)
f=3
TT=3600.04
T1=1780.16
 MSAT (TO)
f=4
TT=3600.11
T1=2033.35
 OPTIMUM
f=1
TT=3031.16
T1=219.11
 OPTIMUM
f=1
TT=3058.68
T1=488.31
csp/rand-2-25/
normalized-rand-25-25-300-147-50021_ext.xml		 MSAT TO
f=1
TT=1594.05
T1=11.04
 MSAT (TO)
f=1
TT=1602.25
T1=12.88
 MSAT (TO)
f=1
TT=1594.05
T1=11.04
 MSAT (TO)
f=1
TT=3600

 MSAT (TO)
f=1
TT=3600.08

 MSAT (TO)
f=2
TT=3600.04
T1=2248.67
 MSAT (TO)
f=18
TT=3600.04
T1=2626.04
 ? (TO)

TT=3600.09

 ? (TO)
f=1
TT=3600.05
T1=2226.51
csp/rand-2-25/
normalized-rand-25-25-300-147-55021_ext.xml		 MSAT TO
f=1
TT=1587.25
T1=1.74
 MSAT (TO)
f=1
TT=1621.06
T1=1.74
 MSAT (TO)
f=1
TT=1587.25
T1=2.17
 MSAT (TO)
f=1
TT=3600.06

 MSAT (TO)
f=1
TT=3600.02

 MSAT (TO)
f=15
TT=3600.1
T1=66.16
 MSAT (TO)
f=17
TT=3600.06
T1=2072.16
 ? (TO)

TT=3600.05

 ? (TO)
f=1
TT=3600.03
T1=2260.72
csp/rand-2-25/
normalized-rand-25-25-300-147-57021_ext.xml		 MSAT TO
f=1
TT=1580.14
T1=10.13
 MSAT (TO)
f=1
TT=1597.02
T1=10.13
 MSAT (TO)
f=1
TT=1580.14
T1=11.04
 MSAT (TO)
f=1
TT=3600.1

 MSAT (TO)
f=1
TT=3600.04

 MSAT (TO)
f=16
TT=3600.06
T1=355.53
 MSAT (TO)
f=4
TT=3600.08
T1=3539.5
 ? (TO)

TT=3600.03

 ? (TO)
f=2
TT=3600.11
T1=540.97
Bench nameBest 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/rand-2-25/
normalized-rand-25-25-300-147-58021_ext.xml		 MSAT TO
f=1
TT=1587.14
T1=10.68
 MSAT (TO)
f=1
TT=1587.14
T1=11.56
 MSAT (TO)
f=1
TT=1607.85
T1=10.68
 MSAT (TO)
f=1
TT=3600.02

 MSAT (TO)
f=1
TT=3600.05

 MSAT (TO)
f=8
TT=3600.07
T1=3267.1
 MSAT (TO)
f=9
TT=3600.13
T1=1226.99
 ? (TO)

TT=3600.02

 ? (TO)
f=3
TT=3600.1
T1=975.93
csp/rand-2-26/
normalized-rand-26-26-325-155-52021_ext.xml		 MSAT TO
f=1
TT=1646.13
T1=25.31
 MSAT (TO)
f=1
TT=1646.13
T1=25.31
 MSAT (TO)
f=1
TT=3600.23
T1=26.97
 MSAT (TO)
f=1
TT=3600.03

 MSAT (TO)
f=1
TT=3600.01

 MSAT (TO)
f=14
TT=3600.08
T1=1049.07
 MSAT (TO)
f=37
TT=3600.06
T1=2.43
 ? (TO)

TT=3600.07

 ? (TO)
f=3
TT=3600.03
T1=3453.19
csp/rand-2-26/
normalized-rand-26-26-325-155-56021_ext.xml		 MSAT TO
f=1
TT=1582.78
T1=6.73
 MSAT (TO)
f=1
TT=1596.68
T1=7.41
 MSAT (TO)
f=1
TT=1582.78
T1=6.73
 MSAT (TO)
f=1
TT=3600.04

 MSAT (TO)
f=1
TT=3600.03

 MSAT (TO)
f=23
TT=3600.09
T1=4.63
 MSAT (TO)
f=24
TT=3600.09
T1=593.57
 ? (TO)

TT=3600.05

 ? (TO)
f=2
TT=3600.05
T1=1500.45
csp/rand-2-26/
normalized-rand-26-26-325-155-57021_ext.xml		 MSAT TO
f=1
TT=1585.16
T1=9.64
 MSAT (TO)
f=1
TT=2915.66
T1=9.73
 MSAT (TO)
f=1
TT=1585.16
T1=9.64
 MSAT (TO)
f=1
TT=3600

 MSAT (TO)
f=1
TT=3600.07

 MSAT (TO)
f=6
TT=3600.07
T1=1671.78
 MSAT (TO)
f=7
TT=3600.1
T1=2738.56
 ? (TO)

TT=3600.02

 ? (TO)
f=2
TT=3600.1
T1=2855.53
csp/rand-2-26/
normalized-rand-26-26-325-155-58021_ext.xml		 MSAT TO
f=1
TT=1214.24
T1=0.88
 MSAT (TO)
f=1
TT=1214.24
T1=0.88
 MSAT (TO)
f=1
TT=3561.21
T1=0.88
 MSAT (TO)
f=1
TT=3600.02

 MSAT (TO)
f=1
TT=3600.04

 MSAT (TO)
f=14
TT=3600.07
T1=913.47
 MSAT (TO)
f=14
TT=3600.12
T1=3507.07
 ? (TO)

TT=3600.1

 ? (TO)
f=3
TT=3600.11
T1=2887.65
csp/rand-2-26/
normalized-rand-26-26-325-155-60021_ext.xml		 MSAT TO
f=1
TT=1223.77
T1=12.2
 MSAT (TO)
f=1
TT=1593.9
T1=12.2
 MSAT (TO)
f=1
TT=1223.77
T1=12.46
 MSAT (TO)
f=1
TT=3600

 MSAT (TO)
f=1
TT=3600.01

 MSAT (TO)
f=18
TT=3600.05
T1=1177.07
 MSAT (TO)
f=6
TT=3600.09
T1=3255.44
 ? (TO)

TT=3600.03

 ? (TO)
f=3
TT=3600.1
T1=1190.73
csp/rand-2-30-15/
normalized-rand-2-30-15-306-230-19_ext.xml		 MOPT
f=1
TT=15.936
T1=0.78
 MSAT (TO)
f=1
TT=3121.53
T1=0.78
 OPTIMUM
f=1
TT=1680.82
T1=0.79
CHECKS=136770000
NODES=72790
 MSAT (TO)
f=1
TT=3600.05

 MSAT (TO)
f=1
TT=3600.05

 OPTIMUM
f=1
TT=22.361
T1=14.74
 OPTIMUM
f=1
TT=29.381
T1=21.61
 OPTIMUM
f=1
TT=15.936
T1=6.43
 OPTIMUM
f=1
TT=21.096
T1=13.36
csp/rand-2-30-15/
normalized-rand-2-30-15-306-230-29_ext.xml		 MOPT
f=1
TT=22.255
T1=2.58
 MSAT (TO)
f=1
TT=1573.07
T1=2.58
 OPTIMUM
f=1
TT=1304.72
T1=2.59
CHECKS=120123000
NODES=64419
 MSAT (TO)
f=1
TT=3600.06

 MSAT (TO)
f=1
TT=3600.09

 OPTIMUM
f=1
TT=37.911
T1=33.12
 OPTIMUM
f=1
TT=50.519
T1=44.54
 OPTIMUM
f=1
TT=22.255
T1=11.19
 OPTIMUM
f=1
TT=20.281
T1=11.59
csp/rand-2-30-15/
normalized-rand-2-30-15-306-230-31_ext.xml		 MOPT
f=1
TT=18.148
T1=0.75
 MSAT (TO)
f=1
TT=3600.24
T1=0.78
 MSAT (TO)
f=1
TT=1566.92
T1=0.75
 MSAT (TO)
f=1
TT=3600.06

 MSAT (TO)
f=1
TT=3600.06

 OPTIMUM
f=1
TT=51.73
T1=42.73
 OPTIMUM
f=1
TT=22.003
T1=13.67
 OPTIMUM
f=1
TT=18.148
T1=4.35
 OPTIMUM
f=1
TT=16.929
T1=6.07
csp/rand-2-30-15/
normalized-rand-2-30-15-306-230-40_ext.xml		 MOPT
f=1
TT=36.621
T1=4.6
 MSAT (TO)
f=1
TT=1584.13
T1=4.6
 OPTIMUM
f=1
TT=1034.14
T1=4.63
CHECKS=133730000
NODES=64093
 MSAT (TO)
f=1
TT=3600.09

 MSAT (TO)
f=1
TT=3600.06

 OPTIMUM
f=1
TT=57.412
T1=38.28
 OPTIMUM
f=1
TT=97.423
T1=87.82
 OPTIMUM
f=1
TT=36.621
T1=25.46
 OPTIMUM
f=1
TT=35.812
T1=24.86
Bench nameBest 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/rand-2-30-15/
normalized-rand-2-30-15-306-230-49_ext.xml		 MOPT
f=1
TT=18.629
T1=0.67
 MSAT (TO)
f=1
TT=1571.68
T1=0.67
 MSAT (TO)
f=1
TT=1597.89
T1=0.68
 MSAT (TO)
f=1
TT=3600.1

 MSAT (TO)
f=1
TT=3600

 OPTIMUM
f=1
TT=28.609
T1=22.69
 OPTIMUM
f=1
TT=18.629
T1=10.89
 OPTIMUM
f=1
TT=28.881
T1=17.08
 OPTIMUM
f=1
TT=34.302
T1=22.39
csp/rand-2-30-15/
normalized-rand-2-30-15-306-230-6_ext.xml		 MOPT
f=1
TT=9.969
T1=1.57
 MSAT (TO)
f=1
TT=1592.45
T1=1.58
 MSAT (TO)
f=1
TT=1592.53
T1=1.57
 MSAT (TO)
f=1
TT=3600.01

 MSAT (TO)
f=1
TT=3600.04

 OPTIMUM
f=1
TT=21.731
T1=19.23
 OPTIMUM
f=1
TT=9.969
T1=6.64
 OPTIMUM
f=1
TT=32.148
T1=23.28
 OPTIMUM
f=1
TT=25.988
T1=19.62
csp/rand-2-40-19/
normalized-rand-2-40-19-443-230-11_ext.xml		 MSAT TO
f=1
TT=3600.02

 MSAT (TO)
f=2
TT=1575.75
T1=1.47
 MSAT (TO)
f=2
TT=3170.55
T1=1.37
 MSAT (TO)
f=1
TT=3600.02

 MSAT (TO)
f=1
TT=3600.08

 MSAT (TO)
f=5
TT=3600.08
T1=633.23
 MSAT (TO)
f=10
TT=3600.15
T1=340.14
 ? (TO)

TT=3600.09

 ? (TO)
f=5
TT=3600.1
T1=3359.73
csp/rand-2-40-19/
normalized-rand-2-40-19-443-230-19_ext.xml		 MOPT
f=1
TT=2558.75
T1=3.16
 MSAT (TO)
f=1
TT=1591.41
T1=3.44
 MSAT (TO)
f=1
TT=1583.32
T1=3.16
 MSAT (TO)
f=1
TT=3600.03

 MSAT (TO)
f=1
TT=3600.09

 OPTIMUM
f=1
TT=2558.75
T1=1534.78
 MSAT (TO)
f=14
TT=3600.12
T1=117.64
 OPTIMUM
f=1
TT=3577.66
T1=2601.95
 ? (TO)
f=1
TT=3600.06
T1=2821.62
csp/rand-2-40-19/
normalized-rand-2-40-19-443-230-24_ext.xml		 MOPT
f=1
TT=1371.86
T1=21.59
 MSAT (TO)
f=1
TT=1595.25
T1=21.59
 MSAT (TO)
f=1
TT=1595.21
T1=21.66
 MSAT (TO)
f=1
TT=3600.08

 MSAT (TO)
f=1
TT=3600.05

 MSAT (TO)
f=2
TT=3600.09
T1=2979.16
 MSAT (TO)
f=10
TT=3600.06
T1=1772.34
 OPTIMUM
f=1
TT=1371.86
T1=607.81
 OPTIMUM
f=1
TT=2276.93
T1=1527.32
csp/rand-2-40-19/
normalized-rand-2-40-19-443-230-25_ext.xml		 MOPT
f=1
TT=2861.39
T1=16.44
 MSAT (TO)
f=1
TT=1579.45
T1=17.7
 MSAT (TO)
f=1
TT=1598.34
T1=16.44
 MSAT (TO)
f=1
TT=3600.03

 MSAT (TO)
f=1
TT=3600.01

 OPTIMUM
f=1
TT=2861.39
T1=1399.72
 MSAT (TO)
f=33
TT=3600.08
T1=2.74
 ? (TO)

TT=3600.07

 ? (TO)
f=5
TT=3600.12
T1=3510.53
csp/rand-2-40-19/
normalized-rand-2-40-19-443-230-28_ext.xml		 MOPT
f=1
TT=2245.49
T1=15.02
 MSAT (TO)
f=1
TT=2695.15
T1=15.02
 MSAT (TO)
f=1
TT=1610.67
T1=15.09
 MSAT (TO)
f=1
TT=3600.02

 MSAT (TO)
f=1
TT=3600.03

 MSAT (TO)
f=1
TT=3600.08
T1=2886.03
 MSAT (TO)
f=1
TT=3600.15
T1=2365.63
 OPTIMUM
f=1
TT=2245.49
T1=1382.14
 OPTIMUM
f=1
TT=2721.32
T1=2053.89
csp/rand-2-40-19/
normalized-rand-2-40-19-443-230-29_ext.xml		 MOPT
f=1
TT=1245.82
T1=962
 MSAT (TO)
f=2
TT=1579.46
T1=2.36
 MSAT (TO)
f=2
TT=1562.3
T1=2.33
 MSAT (TO)
f=1
TT=3600.04

 MSAT (TO)
f=1
TT=3600.01

 OPTIMUM
f=1
TT=3591.06
T1=3239.8
 OPTIMUM
f=1
TT=2596.53
T1=2214.96
 OPTIMUM
f=1
TT=1245.82
T1=962
 OPTIMUM
f=1
TT=925.15
T1=649.12
csp/rand-2-40-19/
normalized-rand-2-40-19-443-230-30_ext.xml		 MSAT TO
f=1
TT=1591.54
T1=32.67
 MSAT (TO)
f=1
TT=1591.54
T1=32.86
 MSAT (TO)
f=1
TT=1618.04
T1=32.67
 MSAT (TO)
f=1
TT=3600.05

 MSAT (TO)
f=1
TT=3600.06

 MSAT (TO)
f=2
TT=3600.12
T1=3197.61
 MSAT (TO)
f=20
TT=3600.13
T1=2.57
 ? (TO)

TT=3600.01

 ? (TO)
f=5
TT=3600.12
T1=1203.09
csp/rand-2-40-19/
normalized-rand-2-40-19-443-230-32_ext.xml		 MOPT
f=1
TT=2881.21
T1=2.26
 MSAT (TO)
f=1
TT=1588.37
T1=2.29
 MSAT (TO)
f=1
TT=1569.27
T1=2.26
 MSAT (TO)
f=1
TT=3600.06

 MSAT (TO)
f=1
TT=3600

 MSAT (TO)
f=1
TT=3600.11
T1=1472.68
 MSAT (TO)
f=1
TT=3600.07
T1=2460.13
 OPTIMUM
f=1
TT=2881.21
T1=1559.37
 OPTIMUM
f=1
TT=2998.16
T1=1803.73
Bench nameBest 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/rand-2-40-19/
normalized-rand-2-40-19-443-230-41_ext.xml		 MSAT TO
f=1
TT=1599.03
T1=14.89
 MSAT (TO)
f=1
TT=1604.21
T1=16.04
 MSAT (TO)
f=1
TT=1599.03
T1=14.89
 MSAT (TO)
f=1
TT=3600.01

 MSAT (TO)
f=1
TT=3600.01

 MSAT (TO)
f=4
TT=3600.05
T1=2987.12
 MSAT (TO)
f=2
TT=3600.06
T1=1247.81
 ? (TO)

TT=3600.1

 ? (TO)
f=3
TT=3600.05
T1=2070.29
csp/rand-2-40-19/
normalized-rand-2-40-19-443-230-43_ext.xml		 MSAT TO
f=1
TT=1592.21
T1=27.44
 MSAT (TO)
f=1
TT=1592.21
T1=27.73
 MSAT (TO)
f=1
TT=3600.21
T1=27.44
 MSAT (TO)
f=1
TT=3600.04

 MSAT (TO)
f=1
TT=3600.03

 MSAT (TO)
f=4
TT=3600.07
T1=656.02
 MSAT (TO)
f=5
TT=3600.08
T1=2601.4
 ? (TO)

TT=3600.04

 ? (TO)
f=2
TT=3600.09
T1=561.66
csp/tightness0.1/
normalized-rand-2-40-8-753-100-64_ext.xml		 MOPT
f=1
TT=2700.07
T1=1.06
 MSAT (TO)
f=1
TT=1581.45
T1=1.06
 MSAT (TO)
f=1
TT=1604.57
T1=1.22
 MSAT (TO)
f=1
TT=3600.08

 MSAT (TO)
f=1
TT=3600.03

 MSAT (TO)
f=2
TT=3600.09
T1=3197.79
 MSAT (TO)
f=9
TT=3600.14
T1=184.86
 OPTIMUM
f=1
TT=2700.07
T1=2624.39
 OPTIMUM
f=1
TT=3502.55
T1=3413.58
csp/tightness0.1/
normalized-rand-2-40-8-753-100-6_ext.xml		 MOPT
f=1
TT=654.204
T1=1.43
 MSAT (TO)
f=1
TT=1597.51
T1=1.56
 MSAT (TO)
f=1
TT=1597.96
T1=1.43
 MSAT (TO)
f=1
TT=3600.09

 MSAT (TO)
f=1
TT=3600.09

 OPTIMUM
f=1
TT=1049.54
T1=1003.67
 OPTIMUM
f=1
TT=654.204
T1=571.82
 OPTIMUM
f=1
TT=1012.08
T1=908.18
 OPTIMUM
f=1
TT=1399.84
T1=1297.76
csp/tightness0.1/
normalized-rand-2-40-8-753-100-72_ext.xml		 MOPT
f=1
TT=540.521
T1=3.74
 MSAT (TO)
f=1
TT=1583.57
T1=3.74
 MSAT (TO)
f=1
TT=1596.03
T1=3.96
 MSAT (TO)
f=1
TT=3600.05

 MSAT (TO)
f=1
TT=3600.03

 OPTIMUM
f=1
TT=1248.44
T1=1198.23
 OPTIMUM
f=1
TT=870.55
T1=805.71
 OPTIMUM
f=1
TT=540.521
T1=462.75
 OPTIMUM
f=1
TT=481.214
T1=408.82
csp/tightness0.1/
normalized-rand-2-40-8-753-100-78_ext.xml		 MSAT TO
f=2
TT=1592.6
T1=1.92
 MSAT (TO)
f=2
TT=1592.6
T1=1.92
 MSAT (TO)
f=2
TT=1721.52
T1=1.97
 MSAT (TO)
f=2
TT=3600.09

 MSAT (TO)
f=2
TT=3600.04

 MSAT (TO)
f=2
TT=3600.04
T1=2347.05
 MSAT (TO)
f=5
TT=3600.11
T1=967.99
 ? (TO)

TT=3600.03

 ? (TO)
f=4
TT=3600.11
T1=2325.55
csp/tightness0.1/
normalized-rand-2-40-8-753-100-82_ext.xml		 MOPT
f=1
TT=1056.98
T1=1.04
 MSAT (TO)
f=1
TT=1648.45
T1=1.04
 MSAT (TO)
f=1
TT=1557.47
T1=1.04
 MSAT (TO)
f=1
TT=3600.04

 MSAT (TO)
f=1
TT=3600.04

 OPTIMUM
f=1
TT=1800.18
T1=1752.22
 MSAT (TO)
f=26
TT=3600.09
T1=4.51
 OPTIMUM
f=1
TT=1056.98
T1=930.19
 OPTIMUM
f=1
TT=1442.3
T1=1275.87
csp/tightness0.1/
normalized-rand-2-40-8-753-100-83_ext.xml		 MOPT
f=1
TT=292.45
T1=2.13
 MSAT (TO)
f=1
TT=1592.54
T1=2.19
 MSAT (TO)
f=1
TT=1761.96
T1=2.13
 MSAT (TO)
f=1
TT=3600.11

 MSAT (TO)
f=1
TT=3600.05

 OPTIMUM
f=1
TT=1882.78
T1=1841.29
 OPTIMUM
f=1
TT=2149.31
T1=2089.66
 OPTIMUM
f=1
TT=292.45
T1=189.95
 OPTIMUM
f=1
TT=436.755
T1=326.17
csp/tightness0.1/
normalized-rand-2-40-8-753-100-94_ext.xml		 MOPT
f=1
TT=585.395
T1=1.86
 MSAT (TO)
f=1
TT=1598.01
T1=1.86
 MSAT (TO)
f=1
TT=1595.62
T1=1.86
 MSAT (TO)
f=1
TT=3600.07

 MSAT (TO)
f=1
TT=3600.01

 OPTIMUM
f=1
TT=585.395
T1=553.17
 OPTIMUM
f=1
TT=1906.22
T1=1847.25
 OPTIMUM
f=1
TT=2246.48
T1=2150.97
 OPTIMUM
f=1
TT=2462.86
T1=2373.2
csp/tightness0.2/
normalized-rand-2-40-11-414-200-11_ext.xml		 MOPT
f=1
TT=648.756
T1=10.61
 MSAT (TO)
f=1
TT=1601.04
T1=11.39
 MSAT (TO)
f=1
TT=1604.93
T1=10.61
 MSAT (TO)
f=1
TT=3600.03

 MSAT (TO)
f=1
TT=3600

 OPTIMUM
f=1
TT=648.756
T1=594.58
 OPTIMUM
f=1
TT=2439.28
T1=2353.21
 OPTIMUM
f=1
TT=2367.75
T1=2282.72
 OPTIMUM
f=1
TT=2418.46
T1=2342.81
Bench nameBest 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/tightness0.2/
normalized-rand-2-40-11-414-200-76_ext.xml		 MOPT
f=1
TT=610.676
T1=10.68
 MSAT (TO)
f=1
TT=1599.82
T1=11.93
 MSAT (TO)
f=1
TT=1599.75
T1=10.68
 MSAT (TO)
f=1
TT=3600.07

 MSAT (TO)
f=1
TT=3600.03

 MSAT (TO)
f=3
TT=3600.09
T1=3248.75
 OPTIMUM
f=1
TT=610.676
T1=516.17
 OPTIMUM
f=1
TT=724.26
T1=618.68
 OPTIMUM
f=1
TT=932.102
T1=821.89
csp/tightness0.35/
normalized-rand-2-40-16-250-350-10_ext.xml		 MOPT
f=1
TT=186.861
T1=134.89
 MSAT (TO)
f=2
TT=1584.07
T1=5.92
 MSAT (TO)
f=2
TT=1587.59
T1=5.93
 MSAT (TO)
f=1
TT=3600.04

 MSAT (TO)
f=1
TT=3600.05

 OPTIMUM
f=1
TT=186.861
T1=134.89
 OPTIMUM
f=1
TT=207.814
T1=147.78
 OPTIMUM
f=1
TT=364.587
T1=308.42
 OPTIMUM
f=1
TT=716.132
T1=656.12
csp/tightness0.35/
normalized-rand-2-40-16-250-350-11_ext.xml		 MOPT
f=1
TT=498.343
T1=1.08
 MSAT (TO)
f=1
TT=1575.91
T1=1.08
 MSAT (TO)
f=1
TT=1580.99
T1=1.28
 MSAT (TO)
f=1
TT=3600.03

 MSAT (TO)
f=1
TT=3600.03

 OPTIMUM
f=1
TT=549.513
T1=425.54
 OPTIMUM
f=1
TT=498.343
T1=318.61
 OPTIMUM
f=1
TT=871.716
T1=734.21
 OPTIMUM
f=1
TT=993.213
T1=851.24
csp/tightness0.35/
normalized-rand-2-40-16-250-350-27_ext.xml		 MOPT
f=1
TT=278.166
T1=1.76
 MSAT (TO)
f=1
TT=1578.48
T1=1.76
 MSAT (TO)
f=1
TT=1588.16
T1=1.78
 MSAT (TO)
f=1
TT=3600.06

 MSAT (TO)
f=1
TT=3600.08

 OPTIMUM
f=1
TT=353.471
T1=251.68
 OPTIMUM
f=1
TT=278.166
T1=82.55
 OPTIMUM
f=1
TT=486.919
T1=356.76
 OPTIMUM
f=1
TT=512.988
T1=414.19
csp/tightness0.35/
normalized-rand-2-40-16-250-350-40_ext.xml		 MOPT
f=1
TT=888.34
T1=16.12
 MSAT (TO)
f=1
TT=1584.46
T1=16.23
 MSAT (TO)
f=1
TT=1584.35
T1=16.12
 MSAT (TO)
f=1
TT=3600.08

 MSAT (TO)
f=1
TT=3600.09

 OPTIMUM
f=1
TT=3008.07
T1=2881.06
 OPTIMUM
f=1
TT=1423.78
T1=1268.44
 OPTIMUM
f=1
TT=888.34
T1=771.82
 OPTIMUM
f=1
TT=870.234
T1=744.28
csp/tightness0.35/
normalized-rand-2-40-16-250-350-53_ext.xml		 MOPT
f=1
TT=621.432
T1=8
 MSAT (TO)
f=1
TT=1588.71
T1=8
 MSAT (TO)
f=1
TT=1586.54
T1=8
 MSAT (TO)
f=1
TT=3600.03

 MSAT (TO)
f=1
TT=3600.02

 OPTIMUM
f=1
TT=621.432
T1=346.68
 OPTIMUM
f=1
TT=1239.48
T1=835.45
 OPTIMUM
f=1
TT=1495.79
T1=1201.93
 OPTIMUM
f=1
TT=1102.53
T1=849.73
csp/tightness0.35/
normalized-rand-2-40-16-250-350-7_ext.xml		 MOPT
f=1
TT=1329.01
T1=1.17
 MSAT (TO)
f=1
TT=1567.23
T1=1.17
 MSAT (TO)
f=1
TT=1597.15
T1=1.17
 MSAT (TO)
f=1
TT=3600.08

 MSAT (TO)
f=1
TT=3600

 OPTIMUM
f=1
TT=1329.01
T1=1190.82
 OPTIMUM
f=1
TT=2129.1
T1=1946.98
 OPTIMUM
f=1
TT=1665.09
T1=1555.14
 OPTIMUM
f=1
TT=1460.22
T1=1355.32
csp/tightness0.35/
normalized-rand-2-40-16-250-350-90_ext.xml		 MOPT
f=1
TT=260.461
T1=15.45
 MSAT (TO)
f=1
TT=1605.39
T1=15.47
 MSAT (TO)
f=1
TT=1584.73
T1=15.45
 MSAT (TO)
f=1
TT=3600.08

 MSAT (TO)
f=1
TT=3600.02

 OPTIMUM
f=1
TT=714.398
T1=574.44
 OPTIMUM
f=1
TT=1141.81
T1=952.86
 OPTIMUM
f=1
TT=260.461
T1=148.86
 OPTIMUM
f=1
TT=324.069
T1=183.44
csp/tightness0.35/
normalized-rand-2-40-16-250-350-95_ext.xml		 MOPT
f=1
TT=888.841
T1=2.55
 MSAT (TO)
f=1
TT=1582.02
T1=2.56
 MSAT (TO)
f=1
TT=1574.52
T1=2.55
 MSAT (TO)
f=1
TT=3600.06

 MSAT (TO)
f=1
TT=3600.07

 OPTIMUM
f=1
TT=888.841
T1=594.18
 OPTIMUM
f=1
TT=1180.28
T1=707.74
 OPTIMUM
f=1
TT=893.181
T1=671.04
 OPTIMUM
f=1
TT=1720.37
T1=1483.77
csp/tightness0.5/
normalized-rand-2-40-25-180-500-11_ext.xml		 MOPT
f=1
TT=285.515
T1=10.98
 MSAT (TO)
f=1
TT=1582.15
T1=10.98
 MSAT (TO)
f=1
TT=1587.12
T1=11.57
 MSAT (TO)
f=1
TT=3600.02

 MSAT (TO)
f=1
TT=3600.04

 OPTIMUM
f=1
TT=285.515
T1=190.57
 OPTIMUM
f=1
TT=890.263
T1=771.54
 OPTIMUM
f=1
TT=330.969
T1=241.3
 OPTIMUM
f=1
TT=1025.51
T1=917.08
Bench nameBest 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/tightness0.5/
normalized-rand-2-40-25-180-500-12_ext.xml		 MOPT
f=1
TT=2017.19
T1=1833.37
 MSAT (TO)
f=2
TT=1600.08
T1=14.35
 MSAT (TO)
f=2
TT=1593.2
T1=14.35
 MSAT (TO)
f=1
TT=3600.07

 MSAT (TO)
f=1
TT=3600.03

 OPTIMUM
f=1
TT=2762.63
T1=2042.42
 OPTIMUM
f=1
TT=3380.41
T1=2256.88
 OPTIMUM
f=1
TT=2017.19
T1=1833.37
 OPTIMUM
f=1
TT=3566.83
T1=3396.59
csp/tightness0.5/
normalized-rand-2-40-25-180-500-16_ext.xml		 MOPT
f=1
TT=747.931
T1=49.38
 MSAT (TO)
f=1
TT=1596.87
T1=49.97
 MSAT (TO)
f=1
TT=1579.8
T1=49.38
 MSAT (TO)
f=1
TT=3600.09

 MSAT (TO)
f=1
TT=3600.03

 OPTIMUM
f=1
TT=2171.54
T1=2033.48
 OPTIMUM
f=1
TT=2000.03
T1=1842.35
 OPTIMUM
f=1
TT=747.931
T1=684.62
 OPTIMUM
f=1
TT=473.24
T1=398.65
csp/tightness0.5/
normalized-rand-2-40-25-180-500-18_ext.xml		 MOPT
f=1
TT=216.332
T1=172.37
 MSAT (TO)
f=2
TT=1575.67
T1=6.7
 MSAT (TO)
f=2
TT=1582.45
T1=7.35
 MSAT (TO)
f=1
TT=3600.05

 MSAT (TO)
f=1
TT=3600.05

 OPTIMUM
f=1
TT=630.47
T1=468.25
 OPTIMUM
f=1
TT=610.234
T1=383.09
 OPTIMUM
f=1
TT=216.332
T1=172.37
 OPTIMUM
f=1
TT=335.447
T1=287.5
csp/tightness0.5/
normalized-rand-2-40-25-180-500-24_ext.xml		 MOPT
f=1
TT=909.126
T1=548.9
 MSAT (TO)
f=2
TT=1594.69
T1=1.86
 MSAT (TO)
f=2
TT=1580.47
T1=1.73
 MSAT (TO)
f=1
TT=3600.01

 MSAT (TO)
f=1
TT=3600.03

 OPTIMUM
f=1
TT=1907.16
T1=548.9
 MSAT (TO)
f=1
TT=3600.14
T1=2685.8
 OPTIMUM
f=1
TT=909.126
T1=629.2
 OPTIMUM
f=1
TT=739.876
T1=468.2
csp/tightness0.5/
normalized-rand-2-40-25-180-500-37_ext.xml		 MOPT
f=1
TT=441.578
T1=97.74
 MSAT (TO)
f=2
TT=1591.33
T1=17.72
 MSAT (TO)
f=2
TT=1582.39
T1=18.12
 MSAT (TO)
f=1
TT=3600.03

 MSAT (TO)
f=1
TT=3600.04

 MSAT (TO)
f=5
TT=3600.01
T1=1170.22
 MSAT (TO)
f=9
TT=3600.05
T1=1320.81
 OPTIMUM
f=1
TT=441.578
T1=97.74
 OPTIMUM
f=1
TT=574.092
T1=573.99
csp/tightness0.5/
normalized-rand-2-40-25-180-500-93_ext.xml		 MOPT
f=1
TT=99.614
T1=7.17
 MSAT (TO)
f=1
TT=1573.47
T1=7.17
 MSAT (TO)
f=1
TT=1575.5
T1=7.9
 MSAT (TO)
f=1
TT=3600.04

 MSAT (TO)
f=1
TT=3600.02

 OPTIMUM
f=1
TT=537.37
T1=499.98
 OPTIMUM
f=1
TT=99.614
T1=59.53
 OPTIMUM
f=1
TT=297.87
T1=273.33
 OPTIMUM
f=1
TT=462.713
T1=462.66
csp/tightness0.65/
normalized-rand-2-40-40-135-650-13_ext.xml		 MOPT
f=1
TT=199.209
T1=160.58
 MSAT (TO)
f=2
TT=1620.14
T1=26.72
 MSAT (TO)
f=2
TT=3600.39
T1=24.98
 MSAT (TO)
f=1
TT=3600.02

 MSAT (TO)
f=1
TT=3600.06

 OPTIMUM
f=1
TT=396.003
T1=245.98
 OPTIMUM
f=1
TT=411.763
T1=219.75
 OPTIMUM
f=1
TT=199.209
T1=160.58
 OPTIMUM
f=1
TT=321.338
T1=321.29
csp/tightness0.65/
normalized-rand-2-40-40-135-650-14_ext.xml		 MOPT
f=1
TT=118.773
T1=100.29
 MSAT (TO)
f=2
TT=3600.1
T1=23.17
 MSAT (TO)
f=2
TT=1594.54
T1=23.07
 MSAT (TO)
f=1
TT=3600.01

 MSAT (TO)
f=1
TT=3600.06

 OPTIMUM
f=1
TT=1168.58
T1=1059.32
 OPTIMUM
f=1
TT=2746.81
T1=2641.24
 OPTIMUM
f=1
TT=118.773
T1=100.29
 OPTIMUM
f=1
TT=261.178
T1=261.13
csp/tightness0.65/
normalized-rand-2-40-40-135-650-37_ext.xml		 MOPT
f=1
TT=365.643
T1=277.84
 MSAT (TO)
f=2
TT=1594.75
T1=39.71
 MSAT (TO)
f=2
TT=1608.28
T1=39.8
 MSAT (TO)
f=1
TT=3600.03

 MSAT (TO)
f=1
TT=3600.05

 OPTIMUM
f=1
TT=1778.64
T1=1339.91
 OPTIMUM
f=1
TT=959.512
T1=485.39
 OPTIMUM
f=1
TT=365.643
T1=277.84
 OPTIMUM
f=1
TT=1213.88
T1=1213.83
csp/tightness0.65/
normalized-rand-2-40-40-135-650-66_ext.xml		 MOPT
f=1
TT=1232.73
T1=1144.57
 MSAT (TO)
f=2
TT=1564.38
T1=7.9
 MSAT (TO)
f=2
TT=3600.2
T1=7.3
 MSAT (TO)
f=1
TT=3600.03

 MSAT (TO)
f=1
TT=3600.03

 MSAT (TO)
f=2
TT=3600.07
T1=1271.01
 MSAT (TO)
f=1
TT=3600.13
T1=3565.08
 OPTIMUM
f=1
TT=1232.73
T1=1144.57
 OPTIMUM
f=1
TT=1956.14
T1=1956.02
Bench nameBest 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/tightness0.65/
normalized-rand-2-40-40-135-650-79_ext.xml		 MOPT
f=1
TT=1115.23
T1=945.95
 MSAT (TO)
f=2
TT=1586.08
T1=16.59
 MSAT (TO)
f=2
TT=1625.77
T1=16.39
 MSAT (TO)
f=1
TT=3600.04

 MSAT (TO)
f=1
TT=3600.06

 OPTIMUM
f=1
TT=2200.73
T1=1646.71
 MSAT (TO)
f=1
TT=3600.06
T1=2995.47
 OPTIMUM
f=1
TT=1115.23
T1=945.95
 OPTIMUM
f=1
TT=935.368
T1=935.24
csp/tightness0.8/
normalized-rand-2-40-80-103-800-25_ext.xml		 MSAT TO
f=2
TT=3600.03

 MSAT (TO)
f=5
TT=3338.83
T1=2.16
 MSAT (TO)
f=5
TT=2257.99
T1=1.96
 MSAT (TO)
f=2
TT=3600.08

 MSAT (TO)
f=2
TT=3600.03

 MSAT (TO)
f=6
TT=3600.04
T1=44.05
 MSAT (TO)
f=6
TT=3600.09
T1=36.93
 ? (TO)

TT=3600.1

 ? (TO)

TT=3600.1
csp/tightness0.8/
normalized-rand-2-40-80-103-800-29_ext.xml		 MOPT
f=1
TT=615.293
T1=406.96
 MSAT (TO)
f=3
TT=2818.17
T1=24.57
 MSAT (TO)
f=3
TT=1599.53
T1=25.86
 MSAT (TO)
f=1
TT=3600.08

 MSAT (TO)
f=2
TT=3600.02

 OPTIMUM
f=1
TT=615.293
T1=406.96
 OPTIMUM
f=1
TT=665.894
T1=453.17
 ? (TO)

TT=3600.09

 ? (TO)

TT=3600.07
csp/tightness0.8/
normalized-rand-2-40-80-103-800-3_ext.xml		 MOPT
f=2
TT=1184.98
T1=251.14
 MSAT (TO)
f=5
TT=3600.16
T1=1
 MSAT (TO)
f=5
TT=2204.21
T1=1.16
 MSAT (TO)
f=2
TT=3600.05

 MSAT (TO)
f=2
TT=3600.1

 OPTIMUM
f=2
TT=1184.98
T1=251.14
 OPTIMUM
f=2
TT=2809.4
T1=2809.19
 ? (TO)

TT=3600.03

 OPTIMUM
f=2
TT=2539.53
T1=2539.49
csp/tightness0.8/
normalized-rand-2-40-80-103-800-40_ext.xml		 MSAT TO
f=1
TT=3600.01
T1=2603.49
 MSAT (TO)
f=3
TT=2542.58
T1=18.6
 MSAT (TO)
f=3
TT=1768.98
T1=19.92
 MSAT (TO)
f=1
TT=3600.09

 MSAT (TO)
f=3
TT=3600.01

 MSAT (TO)
f=1
TT=3600.01
T1=2603.49
 MSAT (TO)
f=3
TT=3600.05
T1=1036.02
 ? (TO)

TT=3600.06

 ? (TO)

TT=3600.09
csp/tightness0.8/
normalized-rand-2-40-80-103-800-53_ext.xml		 MOPT
f=1
TT=210.724
T1=57.25
 MSAT (TO)
f=3
TT=1583.07
T1=8.87
 MSAT (TO)
f=3
TT=1573.3
T1=9
 MSAT (TO)
f=1
TT=3600.12

 MSAT (TO)
f=1
TT=3600.06

 OPTIMUM
f=1
TT=210.724
T1=57.25
 OPTIMUM
f=1
TT=359.43
T1=189.22
 OPTIMUM
f=1
TT=675.949
T1=650.27
 OPTIMUM
f=1
TT=1124.01
T1=1123.95
csp/tightness0.8/
normalized-rand-2-40-80-103-800-64_ext.xml		 MOPT
f=1
TT=730.668
T1=246.11
 MSAT (TO)
f=2
TT=3307.25
T1=1.01
 MSAT (TO)
f=2
TT=1786.84
T1=1.03
 MSAT (TO)
f=1
TT=3600.1

 MSAT (TO)
f=1
TT=3600.02

 OPTIMUM
f=1
TT=975.746
T1=246.11
 OPTIMUM
f=1
TT=1059.78
T1=371.47
 OPTIMUM
f=1
TT=730.668
T1=625.25
 OPTIMUM
f=1
TT=326.797
T1=326.7
csp/tightness0.8/
normalized-rand-2-40-80-103-800-78_ext.xml		 MSAT TO
f=1
TT=3600.07

 MSAT (TO)
f=2
TT=3484
T1=21.02
 MSAT (TO)
f=2
TT=2406.73
T1=22.16
 MSAT (TO)
f=1
TT=3600.07

 MSAT (TO)
f=1
TT=3600.1

 MSAT (TO)
f=2
TT=3600.05
T1=264.54
 MSAT (TO)
f=2
TT=3600.1
T1=449.51
 ? (TO)

TT=3600.1

 ? (TO)

TT=3600.07
csp/tightness0.8/
normalized-rand-2-40-80-103-800-94_ext.xml		 MOPT
f=1
TT=1214.03
T1=185.46
 MSAT (TO)
f=3
TT=2662.24
T1=17.36
 MSAT (TO)
f=3
TT=1608.49
T1=18.77
 MSAT (TO)
f=1
TT=3600.07

 MSAT (TO)
f=1
TT=3600.07

 OPTIMUM
f=1
TT=2190.08
T1=1330.2
 OPTIMUM
f=1
TT=1214.03
T1=185.46
 OPTIMUM
f=1
TT=1792.89
T1=1569.46
 OPTIMUM
f=1
TT=2130.92
T1=2130.83
csp/tightness0.9/
normalized-rand-2-40-180-84-900-11_ext.xml		 MOPT
f=1
TT=47.471
T1=16.46
 MSAT (TO)
f=4
TT=1603.47
T1=11.48
 MSAT (TO)
f=4
TT=1578.89
T1=10.61
 MSAT (TO)
f=1
TT=3600.03

 MSAT (TO)
f=1
TT=3600.07

 OPTIMUM
f=1
TT=47.471
T1=16.46
 OPTIMUM
f=1
TT=65.152
T1=23.89
 OPTIMUM
f=1
TT=470.513
T1=362.01
 ? (exit code)

TT=17.678
Bench nameBest 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/tightness0.9/
normalized-rand-2-40-180-84-900-27_ext.xml		 MSAT TO
f=2
TT=3600.02
T1=307.83
 MSAT (TO)
f=4
TT=1595.39
T1=18.72
 MSAT (TO)
f=4
TT=2279.15
T1=18.57
 MSAT (TO)
f=2
TT=3600.05

 MSAT (TO)
f=2
TT=3600.02

 MSAT (TO)
f=2
TT=3600.02
T1=307.83
 MSAT (TO)
f=2
TT=3600.07
T1=826.43
 ? (TO)

TT=3600.01

 ? (exit code)

TT=17.088
csp/tightness0.9/
normalized-rand-2-40-180-84-900-29_ext.xml		 MOPT
f=1
TT=155.54
T1=60.92
 MSAT (TO)
f=2
TT=1586.37
T1=2.35
 MSAT (TO)
f=2
TT=1540.16
T1=2.4
 MSAT (TO)
f=1
TT=3600.08

 MSAT (TO)
f=2
TT=3600.04

 OPTIMUM
f=1
TT=195.027
T1=122.34
 OPTIMUM
f=1
TT=155.54
T1=60.92
 ? (TO)

TT=3600.05

 ? (exit code)

TT=17.559
csp/tightness0.9/
normalized-rand-2-40-180-84-900-40_ext.xml		 MSAT TO
f=1
TT=3600.06
T1=2977.84
 MSAT (TO)
f=5
TT=1587.28
T1=19.29
 MSAT (TO)
f=5
TT=1573.8
T1=18
 MSAT (TO)
f=2
TT=3600.07

 MSAT (TO)
f=4
TT=3600.09

 MSAT (TO)
f=5
TT=3600.02
T1=156.94
 MSAT (TO)
f=1
TT=3600.06
T1=2977.84
 ? (TO)

TT=3600.05

 ? (exit code)

TT=16.98
csp/tightness0.9/
normalized-rand-2-40-180-84-900-43_ext.xml		 MOPT
f=1
TT=467.888
T1=361.99
 MSAT (TO)
f=3
TT=3265.52
T1=22.11
 MSAT (TO)
f=3
TT=1601.09
T1=23.93
 MSAT (TO)
f=1
TT=3600.06

 MSAT (TO)
f=1
TT=3600.08

 OPTIMUM
f=1
TT=2241.34
T1=2166.88
 OPTIMUM
f=1
TT=467.888
T1=361.99
 ? (TO)

TT=3600.01

 ? (exit code)

TT=17.009
csp/tightness0.9/
normalized-rand-2-40-180-84-900-45_ext.xml		 MOPT
f=1
TT=131.423
T1=52.84
 MSAT (TO)
f=3
TT=1574.76
T1=25.14
 MSAT (TO)
f=3
TT=1571.83
T1=27.03
 MSAT (TO)
f=1
TT=3600.07

 MSAT (TO)
f=2
TT=3600.1

 OPTIMUM
f=1
TT=131.423
T1=52.84
 OPTIMUM
f=1
TT=148.183
T1=74.27
 OPTIMUM
f=1
TT=893.364
T1=865.44
 ? (exit code)

TT=17.36
csp/tightness0.9/
normalized-rand-2-40-180-84-900-4_ext.xml		 MSAT TO
f=2
TT=3600
T1=181.31
 MSAT (TO)
f=6
TT=1566.77
T1=5.39
 MSAT (TO)
f=6
TT=1571.68
T1=5.33
 MSAT (TO)
f=2
TT=3600

 MSAT (TO)
f=2
TT=3600.03

 MSAT (TO)
f=5
TT=3600.05
T1=21.5
 MSAT (TO)
f=2
TT=3600.13
T1=181.31
 ? (TO)

TT=3600.05

 ? (exit code)

TT=18.277
csp/tightness0.9/
normalized-rand-2-40-180-84-900-76_ext.xml		 MSAT TO
f=1
TT=3600.01

 MSAT (TO)
f=3
TT=1590.81
T1=39.9
 MSAT (TO)
f=3
TT=2639.76
T1=36.96
 MSAT (TO)
f=1
TT=3600.01

 MSAT (TO)
f=2
TT=3600.09

 MSAT (TO)
f=2
TT=3600.04
T1=1161.73
 MSAT (TO)
f=5
TT=3600.14
T1=9.27
 ? (TO)

TT=3600.05

 ? (exit code)

TT=17.979
maxcsp/randomMaxCSP/
completeLoose/
normalized-vcsp-25-10-100-18-10_ext.xml		 MOPT
f=1
TT=53.327
T1=15.07
 OPTIMUM
f=1
TT=718.959
T1=15.07
CHECKS=38934100
NODES=25376
 OPTIMUM
f=1
TT=1032.98
T1=16.22
CHECKS=51379600
NODES=25536
 MSAT (TO)
f=1
TT=3600.08

 MSAT (TO)
f=1
TT=3600.04

 OPTIMUM
f=1
TT=199.147
T1=196.39
 OPTIMUM
f=1
TT=303.759
T1=302.08
 OPTIMUM
f=1
TT=53.327
T1=49.96
 OPTIMUM
f=1
TT=61.505
T1=58.62
maxcsp/randomMaxCSP/
completeLoose/
normalized-vcsp-25-10-100-18-15_ext.xml		 MOPT
f=2
TT=100.907
T1=0.65
 MSAT (TO)
f=2
TT=1579.75
T1=0.77
 MSAT (TO)
f=2
TT=1582.92
T1=0.65
 MSAT (TO)
f=2
TT=3600.09

 MSAT (TO)
f=2
TT=3600.1

 OPTIMUM
f=2
TT=1538.99
T1=1440.52
 OPTIMUM
f=2
TT=1201.3
T1=1043.3
 OPTIMUM
f=2
TT=100.907
T1=32.5
 OPTIMUM
f=2
TT=75.77
T1=5.95
maxcsp/randomMaxCSP/
completeLoose/
normalized-vcsp-25-10-100-18-1_ext.xml		 MOPT
f=2
TT=141.108
T1=0.77
 MSAT (TO)
f=2
TT=1586.14
T1=0.77
 MSAT (TO)
f=2
TT=1574.7
T1=0.79
 MSAT (TO)
f=2
TT=3600.06

 MSAT (TO)
f=2
TT=3600.08

 OPTIMUM
f=2
TT=209.247
T1=86.27
 OPTIMUM
f=2
TT=454.246
T1=292.17
 OPTIMUM
f=2
TT=141.108
T1=102.09
 OPTIMUM
f=2
TT=98.079
T1=52.42
Bench nameBest 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/randomMaxCSP/
completeLoose/
normalized-vcsp-25-10-100-18-25_ext.xml		 MOPT
f=1
TT=74.399
T1=0.98
 OPTIMUM
f=1
TT=640.39
T1=1.02
CHECKS=34494700
NODES=22841
 OPTIMUM
f=1
TT=805.065
T1=0.98
CHECKS=41010900
NODES=20423
 MSAT (TO)
f=1
TT=3600.09

 MSAT (TO)
f=1
TT=3600.03

 OPTIMUM
f=1
TT=74.399
T1=71.61
 OPTIMUM
f=1
TT=455.526
T1=453.49
 OPTIMUM
f=1
TT=88.504
T1=87.73
 OPTIMUM
f=1
TT=49.785
T1=47.48
maxcsp/randomMaxCSP/
completeLoose/
normalized-vcsp-25-10-100-18-27_ext.xml		 MOPT
f=2
TT=137.682
T1=0.87
 MSAT (TO)
f=2
TT=1591.62
T1=0.87
 MSAT (TO)
f=2
TT=1581.06
T1=0.88
 MSAT (TO)
f=2
TT=3600.09

 MSAT (TO)
f=2
TT=3600.02

 OPTIMUM
f=2
TT=245.354
T1=106.49
 OPTIMUM
f=2
TT=358.044
T1=246.25
 OPTIMUM
f=2
TT=137.682
T1=80.02
 OPTIMUM
f=2
TT=90.204
T1=26.47
maxcsp/randomMaxCSP/
completeLoose/
normalized-vcsp-25-10-100-18-36_ext.xml		 MOPT
f=1
TT=40.495
T1=1.38
 OPTIMUM
f=1
TT=802.189
T1=1.56
CHECKS=43759700
NODES=28000
 OPTIMUM
f=1
TT=461.579
T1=1.38
CHECKS=24446700
NODES=13724
 MSAT (TO)
f=1
TT=3600.1

 MSAT (TO)
f=1
TT=3600.05

 OPTIMUM
f=1
TT=170.259
T1=167.69
 OPTIMUM
f=1
TT=282.697
T1=280.32
 OPTIMUM
f=1
TT=40.495
T1=38.86
 OPTIMUM
f=1
TT=33.109
T1=31.11
maxcsp/randomMaxCSP/
completeLoose/
normalized-vcsp-25-10-100-18-44_ext.xml		 MOPT
f=1
TT=132.283
T1=18.51
 OPTIMUM
f=1
TT=744.962
T1=18.59
CHECKS=39785600
NODES=26131
 OPTIMUM
f=1
TT=750.999
T1=18.51
CHECKS=39427300
NODES=19974
 MSAT (TO)
f=1
TT=3600.01

 MSAT (TO)
f=1
TT=3600.06

 OPTIMUM
f=1
TT=132.283
T1=129.83
 OPTIMUM
f=1
TT=937.495
T1=933.67
 OPTIMUM
f=1
TT=149.471
T1=147.5
 OPTIMUM
f=1
TT=81.619
T1=79.4
maxcsp/randomMaxCSP/
completeLoose/
normalized-vcsp-25-10-100-18-46_ext.xml		 MOPT
f=2
TT=94.882
T1=0.68
 MSAT (TO)
f=2
TT=1600.11
T1=0.68
 MSAT (TO)
f=2
TT=1582.65
T1=0.77
 MSAT (TO)
f=2
TT=3600.05

 MSAT (TO)
f=2
TT=3600.04

 OPTIMUM
f=2
TT=280.165
T1=150.94
 OPTIMUM
f=2
TT=489.957
T1=315.95
 OPTIMUM
f=2
TT=94.882
T1=26.18
 OPTIMUM
f=2
TT=98.347
T1=27.73
maxcsp/randomMaxCSP/
completeTight/
normalized-vcsp-15-10-100-93-14_ext.xml		 MOPT
f=73
TT=12.302
T1=0.51
 MSAT (TO)
f=73
TT=1587.63
T1=0.59
 MSAT (TO)
f=73
TT=1572.99
T1=0.51
 MSAT (TO)
f=73
TT=3600

 MSAT (TO)
f=73
TT=3600.03

 MSAT (TO)
f=79
TT=3600.08
T1=624.51
 MSAT (TO)
f=77
TT=3600.07
T1=514.24
 OPTIMUM
f=73
TT=12.302
T1=1.37
 OPTIMUM
f=73
TT=16.291
T1=3.25
maxcsp/randomMaxCSP/
completeTight/
normalized-vcsp-15-10-100-93-1_ext.xml		 MOPT
f=73
TT=24.546
T1=0.68
 MSAT (TO)
f=73
TT=1583.09
T1=0.77
 MSAT (TO)
f=73
TT=1572.71
T1=0.68
 MSAT (TO)
f=73
TT=3600.09

 MSAT (TO)
f=73
TT=3600.07

 MSAT (TO)
f=79
TT=3600.09
T1=227.09
 MSAT (TO)
f=78
TT=3600.07
T1=489.8
 OPTIMUM
f=73
TT=24.546
T1=19.21
 OPTIMUM
f=73
TT=17.353
T1=6.71
maxcsp/randomMaxCSP/
completeTight/
normalized-vcsp-15-10-100-93-20_ext.xml		 MOPT
f=73
TT=10.759
T1=0.58
 MSAT (TO)
f=73
TT=1575.93
T1=0.58
 MSAT (TO)
f=73
TT=1588.71
T1=0.58
 MSAT (TO)
f=73
TT=3600.02

 MSAT (TO)
f=73
TT=3600

 MSAT (TO)
f=80
TT=3600.08
T1=283.74
 MSAT (TO)
f=79
TT=3600.12
T1=603.63
 OPTIMUM
f=73
TT=10.759
T1=0.99
 OPTIMUM
f=73
TT=15.569
T1=8.63
maxcsp/randomMaxCSP/
completeTight/
normalized-vcsp-15-10-100-93-23_ext.xml		 MOPT
f=70
TT=4.969
T1=0.57
 MSAT (TO)
f=70
TT=1585.39
T1=0.58
 MSAT (TO)
f=70
TT=1562.05
T1=0.57
 MSAT (TO)
f=70
TT=3600.07

 MSAT (TO)
f=70
TT=3600.01

 MSAT (TO)
f=77
TT=3600.06
T1=514.7
 MSAT (TO)
f=79
TT=3600.06
T1=463.28
 OPTIMUM
f=70
TT=4.969
T1=1.86
 OPTIMUM
f=70
TT=5.718
T1=4.55
maxcsp/randomMaxCSP/
completeTight/
normalized-vcsp-15-10-100-93-41_ext.xml		 MOPT
f=72
TT=10.775
T1=0
 MSAT (TO)
f=72
TT=1595.56
T1=0.51
 MSAT (TO)
f=72
TT=1589.46
T1=0.57
 MSAT (TO)
f=72
TT=3600.08

 MSAT (TO)
f=72
TT=3600.08

 MSAT (TO)
f=77
TT=3600.09
T1=321.19
 MSAT (TO)
f=78
TT=3600.05
T1=406.03
 OPTIMUM
f=72
TT=10.775
T1=0
 OPTIMUM
f=72
TT=11.314
T1=3.26
Bench nameBest 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/randomMaxCSP/
completeTight/
normalized-vcsp-15-10-100-93-47_ext.xml		 MOPT
f=71
TT=7.077
T1=0.58
 MSAT (TO)
f=71
TT=1590.15
T1=0.63
 MSAT (TO)
f=71
TT=1578.73
T1=0.58
 MSAT (TO)
f=71
TT=3600.01

 MSAT (TO)
f=71
TT=3600.08

 MSAT (TO)
f=76
TT=3600.13
T1=295.79
 MSAT (TO)
f=80
TT=3600.1
T1=507.63
 OPTIMUM
f=71
TT=7.077
T1=2.36
 OPTIMUM
f=71
TT=7.469
T1=2.82
maxcsp/randomMaxCSP/
completeTight/
normalized-vcsp-15-10-100-93-49_ext.xml		 MOPT
f=73
TT=24.41
T1=0.57
 MSAT (TO)
f=73
TT=1590.22
T1=0.58
 MSAT (TO)
f=73
TT=1578.56
T1=0.57
 MSAT (TO)
f=73
TT=3600

 MSAT (TO)
f=73
TT=3600

 MSAT (TO)
f=80
TT=3600.11
T1=399.12
 MSAT (TO)
f=78
TT=3600.04
T1=876.65
 OPTIMUM
f=73
TT=24.41
T1=11.13
 OPTIMUM
f=73
TT=26.784
T1=22.28
maxcsp/randomMaxCSP/
completeTight/
normalized-vcsp-15-10-100-93-8_ext.xml		 MOPT
f=71
TT=10.275
T1=0.56
 MSAT (TO)
f=71
TT=1576.69
T1=0.56
 MSAT (TO)
f=71
TT=1583.62
T1=0.77
 MSAT (TO)
f=71
TT=3600.01

 MSAT (TO)
f=71
TT=3600.06

 MSAT (TO)
f=79
TT=3600.12
T1=335.79
 MSAT (TO)
f=77
TT=3600.05
T1=451.26
 OPTIMUM
f=71
TT=10.275
T1=6.13
 OPTIMUM
f=71
TT=8.323
T1=2.76
maxcsp/randomMaxCSP/
denseLoose/
normalized-vcsp-30-10-25-48-11_ext.xml		 MOPT
f=3
TT=1.648
T1=0
 MSAT (TO)
f=3
TT=1577.62
T1=0.87
 MSAT (TO)
f=3
TT=1595.44
T1=0.85
 MSAT (TO)
f=3
TT=3600.05

 MSAT (TO)
f=3
TT=3600.02

 OPTIMUM
f=3
TT=5.594
T1=3.83
 OPTIMUM
f=3
TT=4.01
T1=1.86
 OPTIMUM
f=3
TT=1.648
T1=0
 OPTIMUM
f=3
TT=2.064
T1=1.95
maxcsp/randomMaxCSP/
denseLoose/
normalized-vcsp-30-10-25-48-15_ext.xml		 MOPT
f=2
TT=2.764
T1=0.57
 MSAT (TO)
f=2
TT=1580.43
T1=0.57
 MSAT (TO)
f=2
TT=1584.31
T1=0.68
 MSAT (TO)
f=2
TT=3600.05

 MSAT (TO)
f=2
TT=3600.07

 OPTIMUM
f=2
TT=3.051
T1=2.92
 OPTIMUM
f=2
TT=3.484
T1=3.32
 OPTIMUM
f=2
TT=2.764
T1=2.07
 OPTIMUM
f=2
TT=3.519
T1=2.63
maxcsp/randomMaxCSP/
denseLoose/
normalized-vcsp-30-10-25-48-21_ext.xml		 MOPT
f=3
TT=3.989
T1=1.14
 MSAT (TO)
f=3
TT=1605.33
T1=1.14
 MSAT (TO)
f=3
TT=1589.26
T1=1.18
 MSAT (TO)
f=3
TT=3600.08

 MSAT (TO)
f=3
TT=3600.03

 OPTIMUM
f=3
TT=3.989
T1=2.67
 OPTIMUM
f=3
TT=6.275
T1=5.26
 OPTIMUM
f=3
TT=4.534
T1=4.04
 OPTIMUM
f=3
TT=2.929
T1=2.87
maxcsp/randomMaxCSP/
denseLoose/
normalized-vcsp-30-10-25-48-32_ext.xml		 MOPT
f=4
TT=4.944
T1=0.55
 MSAT (TO)
f=4
TT=1580.77
T1=0.55
 MSAT (TO)
f=4
TT=1583.31
T1=0.67
 MSAT (TO)
f=4
TT=3600.03

 MSAT (TO)
f=4
TT=3600.05

 OPTIMUM
f=4
TT=21.663
T1=21.51
 OPTIMUM
f=4
TT=24.202
T1=24.03
 OPTIMUM
f=4
TT=4.944
T1=1.58
 OPTIMUM
f=4
TT=5.618
T1=5.5
maxcsp/randomMaxCSP/
denseLoose/
normalized-vcsp-30-10-25-48-33_ext.xml		 MOPT
f=2
TT=1.031
T1=0
 OPTIMUM
f=2
TT=216.063
T1=0.56
CHECKS=10560400
NODES=9982
 OPTIMUM
f=2
TT=516.428
T1=0.61
CHECKS=27782800
NODES=28004
 MSAT (TO)
f=2
TT=3600.08

 MSAT (TO)
f=2
TT=3600.01

 OPTIMUM
f=2
TT=2.486
T1=2.32
 OPTIMUM
f=2
TT=2.392
T1=2.23
 OPTIMUM
f=2
TT=1.031
T1=0
 OPTIMUM
f=2
TT=0.765
T1=0.08
maxcsp/randomMaxCSP/
denseLoose/
normalized-vcsp-30-10-25-48-39_ext.xml		 MOPT
f=3
TT=0.882
T1=0
 MSAT (TO)
f=3
TT=1578.22
T1=0.53
 MSAT (TO)
f=3
TT=1570.95
T1=0.56
 MSAT (TO)
f=3
TT=3600.04

 MSAT (TO)
f=3
TT=3600.09

 OPTIMUM
f=3
TT=3.147
T1=1.98
 OPTIMUM
f=3
TT=3.025
T1=1.9
 OPTIMUM
f=3
TT=0.882
T1=0
 OPTIMUM
f=3
TT=1.091
T1=0.07
maxcsp/randomMaxCSP/
denseLoose/
normalized-vcsp-30-10-25-48-42_ext.xml		 MOPT
f=2
TT=1.376
T1=0.61
 MSAT (TO)
f=2
TT=1574.26
T1=0.61
 OPTIMUM
f=2
TT=1020.13
T1=0.67
CHECKS=55166500
NODES=57299
 MSAT (TO)
f=2
TT=3600.01

 MSAT (TO)
f=2
TT=3600.06

 OPTIMUM
f=2
TT=2.346
T1=2.18
 OPTIMUM
f=2
TT=3.361
T1=3.2
 OPTIMUM
f=2
TT=1.376
T1=1.07
 OPTIMUM
f=2
TT=1.685
T1=1.17
Bench nameBest 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/randomMaxCSP/
denseLoose/
normalized-vcsp-30-10-25-48-44_ext.xml		 MOPT
f=2
TT=0.394
T1=0.19
 MSAT (TO)
f=2
TT=1583.1
T1=4.45
 OPTIMUM
f=2
TT=1341.95
T1=4.37
CHECKS=69242900
NODES=65492
 MSAT (TO)
f=2
TT=3600

 MSAT (TO)
f=2
TT=3600.07

 OPTIMUM
f=2
TT=1.961
T1=1.85
 OPTIMUM
f=2
TT=16.374
T1=16.23
 OPTIMUM
f=2
TT=0.394
T1=0.19
 OPTIMUM
f=2
TT=0.741
T1=0.06
maxcsp/randomMaxCSP/
denseTight/
normalized-vcsp-25-10-25-87-16_ext.xml		 MOPT
f=30
TT=1.544
T1=0
 MSAT (TO)
f=30
TT=1556.51
T1=0.87
 MSAT (TO)
f=30
TT=1573.01
T1=0.54
 MSAT (TO)
f=30
TT=3600.06

 MSAT (TO)
f=30
TT=3600.07

 MSAT (TO)
f=38
TT=3600.08
T1=20.35
 MSAT (TO)
f=38
TT=3600.09
T1=0.73
 OPTIMUM
f=30
TT=1.544
T1=0
 OPTIMUM
f=30
TT=1.891
T1=0.04
maxcsp/randomMaxCSP/
denseTight/
normalized-vcsp-25-10-25-87-21_ext.xml		 MOPT
f=29
TT=1.476
T1=0
 MSAT (TO)
f=29
TT=1580.55
T1=0.81
 MSAT (TO)
f=29
TT=1561.55
T1=0.87
 MSAT (TO)
f=29
TT=3600

 MSAT (TO)
f=29
TT=3600.02

 MSAT (TO)
f=37
TT=3600.13
T1=0.83
 MSAT (TO)
f=37
TT=3600.09
T1=0.89
 OPTIMUM
f=29
TT=1.476
T1=0
 OPTIMUM
f=29
TT=2.645
T1=1.51
maxcsp/randomMaxCSP/
denseTight/
normalized-vcsp-25-10-25-87-22_ext.xml		 MOPT
f=29
TT=1.132
T1=0
 MSAT (TO)
f=29
TT=1580.27
T1=0.74
 MSAT (TO)
f=29
TT=1575.04
T1=0.67
 MSAT (TO)
f=29
TT=3600.07

 MSAT (TO)
f=29
TT=3600.07

 MSAT (TO)
f=38
TT=3600.13
T1=58.9
 MSAT (TO)
f=38
TT=3600.13
T1=0.69
 OPTIMUM
f=29
TT=1.132
T1=0
 OPTIMUM
f=29
TT=1.933
T1=0.98
maxcsp/randomMaxCSP/
denseTight/
normalized-vcsp-25-10-25-87-36_ext.xml		 MOPT
f=29
TT=1.857
T1=0
 MSAT (TO)
f=29
TT=1568.75
T1=0.59
 MSAT (TO)
f=29
TT=1551.73
T1=0.57
 MSAT (TO)
f=29
TT=3600.03

 MSAT (TO)
f=29
TT=3600.09

 MSAT (TO)
f=38
TT=3600.04
T1=0.9
 MSAT (TO)
f=38
TT=3600.05
T1=10.34
 OPTIMUM
f=29
TT=1.857
T1=0
 OPTIMUM
f=29
TT=5.989
T1=4.93
maxcsp/randomMaxCSP/
denseTight/
normalized-vcsp-25-10-25-87-38_ext.xml		 MOPT
f=29
TT=0.874
T1=0.09
 MSAT (TO)
f=29
TT=1572.26
T1=1.16
 MSAT (TO)
f=29
TT=1568.79
T1=1.18
 MSAT (TO)
f=29
TT=3600.08

 MSAT (TO)
f=29
TT=3600.01

 MSAT (TO)
f=37
TT=3600.08
T1=0.72
 MSAT (TO)
f=29
TT=3600.06
T1=1213.74
 OPTIMUM
f=29
TT=0.874
T1=0.09
 OPTIMUM
f=29
TT=1.227
T1=0.05
maxcsp/randomMaxCSP/
denseTight/
normalized-vcsp-25-10-25-87-44_ext.xml		 MOPT
f=32
TT=5.842
T1=1.39
 MSAT (TO)
f=32
TT=1594.03
T1=1.46
 MSAT (TO)
f=32
TT=1566.22
T1=1.39
 MSAT (TO)
f=32
TT=3600.04

 MSAT (TO)
f=32
TT=3600.02

 MSAT (TO)
f=37
TT=3600.06
T1=0.84
 MSAT (TO)
f=37
TT=3600.11
T1=1.96
 OPTIMUM
f=32
TT=5.842
T1=1.58
 OPTIMUM
f=32
TT=7.069
T1=7.01
maxcsp/randomMaxCSP/
denseTight/
normalized-vcsp-25-10-25-87-49_ext.xml		 MOPT
f=31
TT=4.089
T1=0.85
 MSAT (TO)
f=31
TT=1590.28
T1=0.85
 MSAT (TO)
f=31
TT=1585.21
T1=0.86
 MSAT (TO)
f=31
TT=3600.02

 MSAT (TO)
f=31
TT=3600.04

 MSAT (TO)
f=38
TT=3600.12
T1=1.02
 MSAT (TO)
f=37
TT=3600.08
T1=1.43
 OPTIMUM
f=31
TT=4.089
T1=2.57
 OPTIMUM
f=31
TT=5.383
T1=5.26
maxcsp/randomMaxCSP/
denseTight/
normalized-vcsp-25-10-25-87-9_ext.xml		 MOPT
f=29
TT=3.034
T1=0.5
 MSAT (TO)
f=29
TT=1568.18
T1=0.5
 MSAT (TO)
f=29
TT=1563.85
T1=0.55
 MSAT (TO)
f=29
TT=3600.03

 MSAT (TO)
f=29
TT=3600.08

 MSAT (TO)
f=36
TT=3600.08
T1=0.85
 MSAT (TO)
f=36
TT=3600.13
T1=0.83
 OPTIMUM
f=29
TT=3.034
T1=1.78
 OPTIMUM
f=29
TT=2.82
T1=2.77
maxcsp/randomMaxCSP/
sparseLoose/
normalized-vcsp-40-10-13-60-14_ext.xml		 MOPT
f=4
TT=3.244
T1=0.83
 MSAT (TO)
f=4
TT=1563.77
T1=0.98
 OPTIMUM
f=4
TT=1455.7
T1=0.83
CHECKS=82131400
NODES=84244
 MSAT (TO)
f=4
TT=3600.1

 MSAT (TO)
f=4
TT=3600.09

 OPTIMUM
f=4
TT=6.022
T1=4.29
 OPTIMUM
f=4
TT=17.004
T1=15.5
 OPTIMUM
f=4
TT=3.244
T1=2.07
 OPTIMUM
f=4
TT=4.456
T1=4.35
Bench nameBest 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/randomMaxCSP/
sparseLoose/
normalized-vcsp-40-10-13-60-24_ext.xml		 MOPT
f=3
TT=2.036
T1=0.98
 MSAT (TO)
f=3
TT=1592.98
T1=0.98
 MSAT (TO)
f=3
TT=1588.39
T1=1
 MSAT (TO)
f=3
TT=3600.03

 MSAT (TO)
f=3
TT=3600.01

 OPTIMUM
f=3
TT=9.152
T1=9
 OPTIMUM
f=3
TT=5.389
T1=5.21
 OPTIMUM
f=3
TT=2.036
T1=1.58
 OPTIMUM
f=3
TT=2.947
T1=2.85
maxcsp/randomMaxCSP/
sparseLoose/
normalized-vcsp-40-10-13-60-4_ext.xml		 MOPT
f=3
TT=3.7
T1=3.07
 MSAT (TO)
f=3
TT=1588.95
T1=13.95
 MSAT (TO)
f=3
TT=1591.31
T1=13.09
 MSAT (TO)
f=3
TT=3600.07

 MSAT (TO)
f=3
TT=3600.03

 OPTIMUM
f=3
TT=9.079
T1=8.91
 OPTIMUM
f=3
TT=5.008
T1=4.84
 OPTIMUM
f=3
TT=3.7
T1=3.07
 OPTIMUM
f=3
TT=6.997
T1=6.87
maxcsp/randomMaxCSP/
sparseLoose/
normalized-vcsp-60-10-8-60-1_ext.xml		 MOPT
f=1
TT=4.031
T1=3.84
 OPTIMUM
f=1
TT=132.082
T1=3.95
CHECKS=5854360
NODES=7659
 OPTIMUM
f=1
TT=65.481
T1=4.24
CHECKS=1596210
NODES=1267
 MSAT (TO)
f=1
TT=3600.06

 MSAT (TO)
f=1
TT=3600.08

 OPTIMUM
f=1
TT=4.161
T1=3.94
 OPTIMUM
f=1
TT=4.031
T1=3.84
 OPTIMUM
f=1
TT=7.137
T1=7.02
 OPTIMUM
f=1
TT=15.112
T1=15.06
maxcsp/randomMaxCSP/
sparseLoose/
normalized-vcsp-60-10-8-60-4_ext.xml		 MOPT
f=3
TT=6.544
T1=1.37
 MSAT (TO)
f=3
TT=1601.36
T1=30.98
 MSAT (TO)
f=3
TT=1584.46
T1=30.72
 MSAT (TO)
f=3
TT=3600.09

 MSAT (TO)
f=3
TT=3600.02

 OPTIMUM
f=3
TT=7.181
T1=7.01
 OPTIMUM
f=3
TT=6.544
T1=6.47
 OPTIMUM
f=3
TT=6.795
T1=1.37
 OPTIMUM
f=3
TT=11.015
T1=10.94
maxcsp/randomMaxCSP/
sparseLoose/
normalized-vcsp-70-10-7-60-1_ext.xml		 MOPT
f=3
TT=9.153
T1=8.96
 MSAT (TO)
f=5
TT=1593.68
T1=1.46
 MSAT (TO)
f=5
TT=1590.1
T1=1.31
 MSAT (TO)
f=3
TT=3600.09

 MSAT (TO)
f=3
TT=3600.06

 OPTIMUM
f=3
TT=9.153
T1=8.96
 OPTIMUM
f=3
TT=11.592
T1=10.43
 OPTIMUM
f=3
TT=18.248
T1=17.61
 OPTIMUM
f=3
TT=41.625
T1=41.58
maxcsp/randomMaxCSP/
sparseLoose/
normalized-vcsp-80-10-6-60-4_ext.xml		 MOPT
f=4
TT=183.963
T1=136.06
 MSAT (TO)
f=5
TT=1582.41
T1=10.34
 MSAT (TO)
f=5
TT=1597.79
T1=11.17
 MSAT (TO)
f=4
TT=3600.07

 MSAT (TO)
f=4
TT=3600.01

 OPTIMUM
f=4
TT=614.688
T1=589.2
 OPTIMUM
f=4
TT=183.963
T1=136.06
 OPTIMUM
f=4
TT=620.308
T1=594.76
 OPTIMUM
f=4
TT=564.24
T1=564.13
maxcsp/randomMaxCSP/
sparseLoose/
normalized-vcsp-80-10-6-60-8_ext.xml		 MOPT
f=3
TT=153.115
T1=118.28
 MSAT (TO)
f=4
TT=1599.9
T1=7.41
 MSAT (TO)
f=4
TT=1577.7
T1=7.4
 MSAT (TO)
f=3
TT=3600.01

 MSAT (TO)
f=3
TT=3600.08

 OPTIMUM
f=3
TT=257.926
T1=257.73
 OPTIMUM
f=3
TT=337.287
T1=337.08
 OPTIMUM
f=3
TT=153.115
T1=118.28
 OPTIMUM
f=3
TT=381.96
T1=381.84
maxcsp/randomMaxCSP/
sparseTight/
normalized-vcsp-25-10-21-85-15_ext.xml		 MOPT
f=19
TT=0.564
T1=0
 MSAT (TO)
f=19
TT=1579.4
T1=0.88
 MSAT (TO)
f=19
TT=1600.34
T1=0.88
 MSAT (TO)
f=19
TT=3600.03

 MSAT (TO)
f=19
TT=3600.05

 MSAT (TO)
f=20
TT=3600.09
T1=369.49
 MSAT (TO)
f=20
TT=3600.1
T1=502.6
 OPTIMUM
f=19
TT=0.564
T1=0
 OPTIMUM
f=19
TT=0.666
T1=0.03
maxcsp/randomMaxCSP/
sparseTight/
normalized-vcsp-25-10-21-85-20_ext.xml		 MOPT
f=20
TT=0.888
T1=0
 MSAT (TO)
f=20
TT=1600.28
T1=0.87
 MSAT (TO)
f=20
TT=1554.4
T1=0.68
 MSAT (TO)
f=20
TT=3600.02

 MSAT (TO)
f=20
TT=3600.08

 OPTIMUM
f=20
TT=1884.49
T1=1046.62
 OPTIMUM
f=20
TT=1821.45
T1=1781.03
 OPTIMUM
f=20
TT=0.888
T1=0
 OPTIMUM
f=20
TT=1.675
T1=1.57
maxcsp/randomMaxCSP/
sparseTight/
normalized-vcsp-25-10-21-85-24_ext.xml		 MOPT
f=19
TT=0.825
T1=0
 MSAT (TO)
f=19
TT=1566.22
T1=1.47
 MSAT (TO)
f=19
TT=1566.42
T1=1.67
 MSAT (TO)
f=19
TT=3600.01

 MSAT (TO)
f=19
TT=3600.05

 OPTIMUM
f=19
TT=1752.53
T1=1752.38
 OPTIMUM
f=19
TT=2498.04
T1=2497.85
 OPTIMUM
f=19
TT=0.825
T1=0
 OPTIMUM
f=19
TT=0.502
T1=0.03
Bench nameBest 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/randomMaxCSP/
sparseTight/
normalized-vcsp-25-10-21-85-27_ext.xml		 MOPT
f=20
TT=1.056
T1=0
 MSAT (TO)
f=20
TT=1570.28
T1=0.69
 MSAT (TO)
f=20
TT=1579.53
T1=0.78
 MSAT (TO)
f=20
TT=3600.06

 MSAT (TO)
f=20
TT=3600.08

 MSAT (TO)
f=20
TT=3600.07
T1=1606.21
 OPTIMUM
f=20
TT=1563.16
T1=188.74
 OPTIMUM
f=20
TT=1.056
T1=0
 OPTIMUM
f=20
TT=1.292
T1=1.26
maxcsp/randomMaxCSP/
sparseTight/
normalized-vcsp-25-10-21-85-33_ext.xml		 MOPT
f=19
TT=0.219
T1=0
 MSAT (TO)
f=19
TT=1561.49
T1=0.57
 MSAT (TO)
f=19
TT=1585.22
T1=0.66
 MSAT (TO)
f=19
TT=3600.04

 MSAT (TO)
f=19
TT=3600.02

 OPTIMUM
f=19
TT=555.625
T1=555.48
 OPTIMUM
f=19
TT=486.161
T1=486.1
 OPTIMUM
f=19
TT=0.219
T1=0
 OPTIMUM
f=19
TT=0.429
T1=0.04
maxcsp/randomMaxCSP/
sparseTight/
normalized-vcsp-25-10-21-85-35_ext.xml		 MOPT
f=19
TT=0.195
T1=0
 MSAT (TO)
f=19
TT=1573.85
T1=0.58
 MSAT (TO)
f=19
TT=1578.14
T1=0.88
 MSAT (TO)
f=19
TT=3600.07

 MSAT (TO)
f=19
TT=3600.01

 OPTIMUM
f=19
TT=1194.15
T1=1194
 OPTIMUM
f=19
TT=1403.27
T1=1403.1
 OPTIMUM
f=19
TT=0.195
T1=0
 OPTIMUM
f=19
TT=0.24
T1=0.04
maxcsp/randomMaxCSP/
sparseTight/
normalized-vcsp-25-10-21-85-43_ext.xml		 MOPT
f=19
TT=1.354
T1=0
 MSAT (TO)
f=19
TT=1578.36
T1=0.58
 MSAT (TO)
f=19
TT=1593
T1=0.49
 MSAT (TO)
f=19
TT=3600.08

 MSAT (TO)
f=19
TT=3600.03

 OPTIMUM
f=19
TT=646.841
T1=646.69
 OPTIMUM
f=19
TT=927.308
T1=927.14
 OPTIMUM
f=19
TT=1.354
T1=0
 OPTIMUM
f=19
TT=1.874
T1=0.04
maxcsp/randomMaxCSP/
sparseTight/
normalized-vcsp-25-10-21-85-48_ext.xml		 MOPT
f=21
TT=1.983
T1=0
 MSAT (TO)
f=21
TT=1587.62
T1=0.68
 MSAT (TO)
f=21
TT=1576.26
T1=0.63
 MSAT (TO)
f=21
TT=3600.06

 MSAT (TO)
f=21
TT=3600

 MSAT (TO)
f=23
TT=3600.1
T1=174.23
 MSAT (TO)
f=24
TT=3600.07
T1=970.19
 OPTIMUM
f=21
TT=1.983
T1=0
 OPTIMUM
f=21
TT=1.926
T1=1.85

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		toulbar2/BTD
2008-06-27
Number of times the solver is able to give the best known answer283530287472990
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)1031041341298180990
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)914752016730
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)434600117300