MAX-CSP 2008 Competition: results by benchmark

Results by benchmark for category binary constraints in intension (2-ARY-INT)

This page displays the results of the different solvers for each benchmark for category binary constraints in intension (2-ARY-INT)

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

/tbodytr>/tabletr>/font>

Some statistics...

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
csp/fapp/fapp01/
normalized-fapp01-0200-2.xml
MSAT TO
f=4
TT=3600.01

MSAT (TO)
f=9
TT=1641.28
T1=24.63
MSAT (TO)
f=9
TT=1622.43
T1=23.3
MSAT (TO)
f=4
TT=3600.01

MSAT (TO)
f=12
TT=3600.01

MSAT (TO)
f=186
TT=3600.15
T1=1001.64
MSAT (TO)
f=196
TT=3600.23
T1=1974.35
csp/fapp/fapp02/
normalized-fapp02-0250-0.xml
MSAT TO
f=16
TT=3600.02

MSAT (TO)
f=26
TT=1727.15
T1=66.13
MSAT (TO)
f=26
TT=1734.37
T1=64.35
MSAT (TO)
f=16
TT=3600.02

MSAT (TO)
f=48
TT=3600.06

MSAT (TO)
f=474
TT=3600.34
T1=615.96
No Cert.

TT=181.946

csp/fapp/fapp03/
normalized-fapp03-0300-0.xml
MSAT TO
f=23
TT=3600.02

?

TT=259.121

?

TT=278.74

MSAT (TO)
f=23
TT=3600.02

MSAT (TO)
f=81
TT=3600.05

? (MO)

TT=99.191

? (MO)

TT=104.847

csp/fapp/fapp03/
normalized-fapp03-0300-4.xml
MSAT TO
f=18
TT=3600.02

?

TT=150.758

?

TT=158.058

MSAT (TO)
f=18
TT=3600.02

MSAT (TO)
f=37
TT=3600.04

? (MO)

TT=98.4

? (MO)

TT=106.811

csp/fapp/fapp04/
normalized-fapp04-0300-0.xml
MSAT TO
f=16
TT=3600.04

?

TT=165.45

?

TT=167.517

MSAT (TO)
f=16
TT=3600.04

MSAT (TO)
f=74
TT=3600.03

?

TT=82.841

? (MO)

TT=80.246

csp/fapp/fapp05/
normalized-fapp05-0350-1.xml
MSAT TO
f=3
TT=3600.09

?

TT=99.71

?

TT=99.956

MSAT (TO)
f=3
TT=3600.09

MSAT (TO)
f=43
TT=3600.01

? (MO)

TT=131.238

? (MO)

TT=132.153

csp/fapp/fapp05/
normalized-fapp05-0350-6.xml
MSAT TO
f=2
TT=3600.08

?

TT=207.95

?

TT=206.704

MSAT (TO)
f=2
TT=3600.08

MSAT (TO)
f=36
TT=3600.09

? (MO)

TT=127.376

? (MO)

TT=122.074

csp/fapp/fapp06/
normalized-fapp06-0500-0.xml
MSAT TO
f=28
TT=3600.09

?

TT=197.517

?

TT=196.916

MSAT (TO)
f=28
TT=3600.09

MSAT (TO)
f=127
TT=3600.05

? (MO)

TT=275.704

? (MO)

TT=210.818

csp/fapp/fapp06/
normalized-fapp06-0500-4.xml
MSAT TO
f=17
TT=3600.08

?

TT=223.496

?

TT=209.181

MSAT (TO)
f=17
TT=3600.08

MSAT (TO)
f=46
TT=3600.06

? (MO)

TT=196.555

? (MO)

TT=204.595

csp/fapp/fapp07/
normalized-fapp07-0600-6.xml
MSAT TO
f=28
TT=3600.04

?

TT=198.7

?

TT=197.288

MSAT (TO)
f=28
TT=3600.04

MSAT (TO)
f=57
TT=3600.02

?

TT=220.065

?

TT=236.266

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
csp/fapp/fapp07/
normalized-fapp07-0600-7.xml
MSAT TO
f=25
TT=3600

?

TT=201.794

?

TT=165.632

MSAT (TO)
f=25
TT=3600

MSAT (TO)
f=47
TT=3600.05

?

TT=234.254

?

TT=238.989

csp/fapp/fapp08/
normalized-fapp08-0700-0.xml
MSAT TO
f=73
TT=3600.1

?

TT=189.193

?

TT=202.501

MSAT (TO)
f=73
TT=3600.1

MSAT (TO)
f=136
TT=3600.01

?

TT=224.438

?

TT=223.73

csp/fapp/fapp08/
normalized-fapp08-0700-4.xml
MSAT TO
f=17
TT=3600

?

TT=213.467

?

TT=211.484

MSAT (TO)
f=17
TT=3600

MSAT (TO)
f=58
TT=3600.01

?

TT=201.564

?

TT=203.859

csp/fapp/fapp09/
normalized-fapp09-0800-0.xml
MSAT TO
f=78
TT=3600.02

?

TT=384.055

?

TT=368.735

MSAT (TO)
f=78
TT=3600.02

MSAT (TO)
f=114
TT=3600.04

?

TT=257.548

?

TT=239.961

csp/fapp/fapp10/
normalized-fapp10-0900-0.xml
MSAT TO
f=95
TT=3600.01

?

TT=399.332

?

TT=424.144

MSAT (TO)
f=95
TT=3600.01

MSAT (TO)
f=213
TT=3600.07

?

TT=276.72

?

TT=272.374

csp/fapp/fapp11/
normalized-fapp11-1000-1.xml
MSAT TO
f=37
TT=3600.06

?

TT=573.146

?

TT=542.742

MSAT (TO)
f=37
TT=3600.06

MSAT (TO)
f=210
TT=3600.07

?

TT=312.471

?

TT=298.186

csp/fapp/fapp11/
normalized-fapp11-1000-6.xml
MSAT TO
f=29
TT=3600.05

?

TT=485.176

?

TT=510.293

MSAT (TO)
f=29
TT=3600.05

MSAT (TO)
f=151
TT=3600.01

?

TT=325.403

?

TT=294.067

csp/fapp/fapp12/
normalized-fapp12-1500-0.xml
MSAT TO
f=92
TT=3600.03

?

TT=1153.59

?

TT=1098.92

MSAT (TO)
f=92
TT=3600.03

MSAT (TO)
f=750
TT=3600.02

?

TT=427.552

?

TT=403.068

csp/fapp/fapp14/
normalized-fapp14-2500-0.xml
MSAT TO
f=1158
TT=3600

?

TT=2078.47

?

TT=2230.85

MSAT (TO)
f=1158
TT=3600

MSAT (TO)
f=1267
TT=3600.05

?

TT=508.169

?

TT=514.694

csp/fapp/fapp14/
normalized-fapp14-2500-2.xml
MSAT TO
f=427
TT=3600.02

?

TT=1516.6

?

TT=1469.26

MSAT (TO)
f=427
TT=3600.02

MSAT (TO)
f=652
TT=3600.08

?

TT=539.893

?

TT=579.797

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
csp/fapp/fapp15/
normalized-fapp15-3000-0.xml
MSAT TO
f=1050
TT=3600.08

?

TT=588.141

?

TT=617.48

MSAT (TO)
f=1050
TT=3600.08

MSAT (TO)
f=1550
TT=3600.05

?

TT=337.108

?

TT=341.485

csp/fapp/fapp15/
normalized-fapp15-3000-2.xml
MSAT TO
f=365
TT=3600.03

?

TT=837.628

?

TT=655.398

MSAT (TO)
f=365
TT=3600.03

MSAT (TO)
f=848
TT=3600.04

?

TT=349.705

?

TT=330.15

csp/fapp/fapp16/
normalized-fapp16-0260-10.xml
MSAT TO
f=5
TT=1799.87
T1=53.19
MSAT (TO)
f=5
TT=1806.33
T1=53.19
MSAT (TO)
f=5
TT=1799.87
T1=53.25
MSAT (TO)
f=5
TT=3600.05

MSAT (TO)
f=5
TT=3600.01

? (MO)

TT=83.42

? (MO)

TT=81.395

csp/fapp/fapp16/
normalized-fapp16-0260-8.xml
MSAT TO
f=5
TT=1770.96
T1=38.23
MSAT (TO)
f=5
TT=1781.69
T1=38.23
MSAT (TO)
f=5
TT=1770.96
T1=40.04
MSAT (TO)
f=5
TT=3600.05

MSAT (TO)
f=5
TT=3600.09

? (MO)

TT=85.164

? (MO)

TT=85.095

csp/fapp/fapp17/
normalized-fapp17-0300-0.xml
MSAT TO
f=12
TT=3600.04

?

TT=96.711

?

TT=95.682

MSAT (TO)
f=12
TT=3600.1

MSAT (TO)
f=12
TT=3600.04

? (MO)

TT=98.127

? (MO)

TT=94.698

csp/fapp/fapp17/
normalized-fapp17-0300-1.xml
MSAT TO
f=11
TT=3600.01

?

TT=98.718

?

TT=92.56

MSAT (TO)
f=11
TT=3600.01

MSAT (TO)
f=11
TT=3600.08

? (MO)

TT=98.306

? (MO)

TT=98.156

csp/fapp/fapp18/
normalized-fapp18-0350-4.xml
MSAT TO
f=7
TT=3600.08

? (problem)

TT=138.182

CHECKS=4597100
NODES=0
? (problem)

TT=137.834

CHECKS=4597100
NODES=0
MSAT (TO)
f=7
TT=3600.08

MSAT (TO)
f=17
TT=3600.05

? (MO)

TT=98.06

? (MO)

TT=90.933

csp/fapp/fapp18/
normalized-fapp18-0350-6.xml
MSAT TO
f=15
TT=3600.06

? (problem)

TT=103.779

CHECKS=4783750
NODES=0
? (problem)

TT=104.492

CHECKS=4792430
NODES=0
MSAT (TO)
f=15
TT=3600.09

MSAT (TO)
f=15
TT=3600.06

? (MO)

TT=91.585

? (MO)

TT=97.847

csp/fapp/fapp19/
normalized-fapp19-0350-2.xml
MSAT TO
f=14
TT=3600.06

?

TT=399.739

?

TT=429.188

MSAT (TO)
f=14
TT=3600.06

MSAT (TO)
f=40
TT=3600.04

? (MO)

TT=301.224

? (MO)

TT=285.65

csp/fapp/fapp19/
normalized-fapp19-0350-5.xml
MSAT TO
f=4
TT=3600.04

?

TT=515.052

?

TT=479.804

MSAT (TO)
f=4
TT=3600.04

MSAT (TO)
f=66
TT=3600.08

? (MO)

TT=284.115

? (MO)

TT=303.19

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
csp/fapp/fapp20/
normalized-fapp20-0420-2.xml
MSAT TO
f=14
TT=3600.02

?

TT=177.112

?

TT=178.005

MSAT (TO)
f=14
TT=3600.02

MSAT (TO)
f=23
TT=3600.03

? (MO)

TT=131.261

? (MO)

TT=130.97

csp/fapp/fapp20/
normalized-fapp20-0420-5.xml
MSAT TO
f=8
TT=3600.06

?

TT=210.547

?

TT=193.025

MSAT (TO)
f=8
TT=3600.06

MSAT (TO)
f=15
TT=3600.07

? (MO)

TT=129.36

? (MO)

TT=131.054

csp/fapp/fapp22/
normalized-fapp22-1750-0.xml
MSAT TO
f=172
TT=3600.06

?

TT=1825.25

?

TT=1818.59

MSAT (TO)
f=330
TT=3600.01

MSAT (TO)
f=172
TT=3600.06

?

TT=706.325

?

TT=713.638

csp/fapp/fapp22/
normalized-fapp22-1750-6.xml
MSAT TO
f=309
TT=3600.03

?

TT=1995.8

?

TT=1986.04

MSAT (TO)
f=309
TT=3600.03

? (TO)

TT=3600.01

?

TT=777.599

?

TT=848.893

csp/fapp/fapp23/
normalized-fapp23-1800-4.xml




?

TT=1720.88

?

TT=1789.78

? (TO)

TT=892.56

? (TO)

TT=938.59

?

TT=479.713

?

TT=509.303

csp/fapp/fapp24/
normalized-fapp24-2000-1.xml
MSAT TO
f=23
TT=3600.02

?

TT=2132.59

?

TT=2174.8

MSAT (TO)
f=23
TT=3600.02

MSAT (TO)
f=257
TT=3600.05

?

TT=440.678

?

TT=455.087

csp/fapp/fapp25/
normalized-fapp25-2230-2.xml
MSAT TO
f=621
TT=3600.04

?

TT=1159.69

?

TT=1068.63

MSAT (TO)
f=621
TT=3600.04

MSAT (TO)
f=862
TT=3600.08

?

TT=443.79

?

TT=425.457

csp/fapp/fapp26/
normalized-fapp26-2300-4.xml
MSAT TO
f=61
TT=3600.01

?

TT=958.124

?

TT=913.63

MSAT (TO)
f=61
TT=3600.01

MSAT (TO)
f=700
TT=3600

?

TT=476.669

?

TT=459.035

csp/fapp/fapp27/
normalized-fapp27-2550-3.xml
MSAT TO
f=262
TT=3600

?

TT=768.635

?

TT=787.213

MSAT (TO)
f=262
TT=3600

MSAT (TO)
f=363
TT=3600.07

?

TT=382.718

?

TT=389.025

csp/fapp/fapp29/
normalized-fapp29-2900-3.xml




No Cert.

TT=3600.12

No Cert.

TT=3600.16

? (TO)

TT=963.04

? (TO)

TT=945.94

?

TT=980.256

?

TT=846.067

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
csp/fapp/fapp30/
normalized-fapp30-3000-1.xml




No Cert.

TT=3600.14

No Cert.

TT=3600.14

? (TO)

TT=1096.55

? (TO)

TT=1093.14

?

TT=869.3

?

TT=806.452

csp/fapp/fapp32/
normalized-fapp32-0550-1.xml
MSAT TO
f=52
TT=3600.07

?

TT=588.596

?

TT=560.922

MSAT (TO)
f=52
TT=3600.07

MSAT (TO)
f=127
TT=3600.1

?

TT=607.339

?

TT=635.112

csp/fapp/fapp33/
normalized-fapp33-0650-3.xml
MSAT TO
f=39
TT=3600.06

?

TT=475.987

?

TT=457.915

MSAT (TO)
f=39
TT=3600.06

MSAT (TO)
f=87
TT=3600.09

?

TT=310.04

?

TT=320.098

csp/fapp/fapp34/
normalized-fapp34-0750-0.xml
MSAT TO
f=36
TT=3600.03

?

TT=503.924

?

TT=499.027

MSAT (TO)
f=36
TT=3600.03

MSAT (TO)
f=77
TT=3600.06

?

TT=336.024

?

TT=357.176

csp/fapp/fapp35/
normalized-fapp35-1500-3.xml
MSAT TO
f=439
TT=3600.01

?

TT=2028.6

?

TT=2100.06

MSAT (TO)
f=441
TT=3600.01

MSAT (TO)
f=439
TT=3600.01

?

TT=721.902

?

TT=726.581

csp/fapp/fapp36/
normalized-fapp36-2000-3.xml
MSAT TO
f=232
TT=3600.01

?

TT=729.694

?

TT=721.017

MSAT (TO)
f=232
TT=3600.01

MSAT (TO)
f=458
TT=3600.01

?

TT=552.1

?

TT=571.128

csp/fapp/fapp37/
normalized-fapp37-2250-2.xml




?

TT=1763.39

?

TT=1704.03

? (TO)

TT=633.91

? (TO)

TT=641.7

?

TT=1358.69

?

TT=1062.11

csp/fapp/fapp40/
normalized-fapp40-3000-2.xml




?

TT=2670.89

?

TT=2618.3

? (TO)

TT=865.67

? (TO)

TT=822.63

?

TT=642.451

?

TT=632.329

csp/graphColoring/
hos/
normalized-abb313GPIA-5.xml
MSAT TO
f=2828
TT=3600.01

MSAT (TO)
f=3931
TT=2007.57
T1=122.08
MSAT (TO)
f=3931
TT=1774.91
T1=117
MSAT (TO)
f=3029
TT=3600.04

MSAT (TO)
f=2828
TT=3600.01

?

TT=185.855

?

TT=186.228

csp/graphColoring/
hos/
normalized-ash331GPIA-3.xml
MSAT TO
f=177
TT=3600.09

MSAT (TO)
f=222
TT=1798.84
T1=25.03
MSAT (TO)
f=222
TT=1683.08
T1=24.63
MSAT (TO)
f=177
TT=3600.09

MSAT (TO)
f=214
TT=3600.02

MSAT (MO)
f=816
TT=2675.65
T1=128.21
? (MO)

TT=61.214

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
csp/graphColoring/
hos/
normalized-ash608GPIA-3.xml
MSAT TO
f=322
TT=3600.03

MSAT (TO)
f=426
TT=1811.22
T1=32.42
MSAT (TO)
f=426
TT=1692.7
T1=30.55
MSAT (TO)
f=322
TT=3600.03

MSAT (TO)
f=380
TT=3600.01

? (MO)

TT=166.436

? (MO)

TT=168.748

csp/graphColoring/
hos/
normalized-ash958GPIA-3.xml
MSAT TO
f=566
TT=3600.1

MSAT (TO)
f=722
TT=1945.13
T1=41.48
MSAT (TO)
f=722
TT=1707.75
T1=46.09
MSAT (TO)
f=566
TT=3600.1

MSAT (TO)
f=629
TT=3600.03

?

TT=219.453

?

TT=229.134

csp/graphColoring/
hos/
normalized-will199GPIA-6.xml
MSAT TO
f=1
TT=3600.1

MSAT (TO)
f=2
TT=1706.31
T1=20.36
MSAT (TO)
f=2
TT=1701.65
T1=20.08
MSAT (TO)
f=1
TT=3600.1

MSAT (TO)
f=2
TT=3600.04

? (MO)

TT=135.461

? (MO)

TT=134.889

csp/graphColoring/insertion/
full-insertion/
normalized-1-fullins-3-3.xml
MOPT
f=2
TT=1.52
T1=0.58
OPTIMUM
f=2
TT=35.91
T1=0.58
CHECKS=287304
NODES=2681
OPTIMUM
f=2
TT=38.939
T1=0.64
CHECKS=412448
NODES=2543
MSAT (TO)
f=2
TT=3600.01

MSAT (TO)
f=2
TT=3600.05

OPTIMUM
f=2
TT=1.614
T1=1.47
OPTIMUM
f=2
TT=1.52
T1=1.36
csp/graphColoring/insertion/
full-insertion/
normalized-1-fullins-5-5.xml
MSAT TO
f=2
TT=1650.1
T1=1.34
MSAT (TO)
f=2
TT=1670.8
T1=1.34
MSAT (TO)
f=2
TT=1650.1
T1=1.36
MSAT (TO)
f=2
TT=3600.06

MSAT (TO)
f=2
TT=3600.01

MSAT (TO)
f=2
TT=3600.13
T1=336.18
MSAT (TO)
f=2
TT=3600.34
T1=43.22
csp/graphColoring/insertion/
full-insertion/
normalized-2-fullins-3-4.xml
MOPT
f=1
TT=2.239
T1=0.62
OPTIMUM
f=1
TT=493.17
T1=0.62
CHECKS=24447100
NODES=137974
OPTIMUM
f=1
TT=157.779
T1=0.68
CHECKS=7763310
NODES=49935
MSAT (TO)
f=1
TT=3600.08

MSAT (TO)
f=1
TT=3600.03

OPTIMUM
f=1
TT=2.477
T1=2.26
OPTIMUM
f=1
TT=2.239
T1=2.02
csp/graphColoring/insertion/
full-insertion/
normalized-4-fullins-4-7.xml
MSAT TO
f=1
TT=1657.69
T1=3.14
MSAT (TO)
f=1
TT=1906.32
T1=3.53
MSAT (TO)
f=1
TT=1657.69
T1=3.14
MSAT (TO)
f=1
TT=3600.08

MSAT (TO)
f=1
TT=3600.05

? (MO)

TT=115.371

? (MO)

TT=111.735

csp/graphColoring/insertion/
full-insertion/
normalized-5-fullins-3-6.xml
MOPT
f=3
TT=9.822
T1=0.88
MSAT (TO)
f=3
TT=1664.9
T1=0.97
MSAT (TO)
f=3
TT=1632.94
T1=0.88
MSAT (TO)
f=3
TT=3600.04

MSAT (TO)
f=3
TT=3600.05

OPTIMUM
f=3
TT=17.368
T1=13.22
OPTIMUM
f=3
TT=9.822
T1=5.45
csp/graphColoring/insertion/
k-insertion/
normalized-1-insertions-4-3.xml
MOPT
f=6
TT=935.497
T1=0.64
MSAT (TO)
f=6
TT=1643.66
T1=0.64
MSAT (TO)
f=6
TT=1634.26
T1=0.71
MSAT (TO)
f=6
TT=3600.04

MSAT (TO)
f=6
TT=3600.07

OPTIMUM
f=6
TT=935.497
T1=935.28
OPTIMUM
f=6
TT=1033.14
T1=1032.9
csp/graphColoring/insertion/
k-insertion/
normalized-2-insertions-3-3.xml
MOPT
f=1
TT=1.435
T1=0.48
OPTIMUM
f=1
TT=37.27
T1=0.58
CHECKS=466336
NODES=15688
OPTIMUM
f=1
TT=45.945
T1=0.48
CHECKS=932054
NODES=14793
MSAT (TO)
f=1
TT=3600.08

MSAT (TO)
f=1
TT=3600.03

OPTIMUM
f=1
TT=1.435
T1=1.23
OPTIMUM
f=1
TT=1.445
T1=1.22
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
csp/graphColoring/insertion/
k-insertion/
normalized-3-insertions-4-3.xml
MSAT TO
f=10
TT=1640.33
T1=5.19
MSAT (TO)
f=10
TT=1654.76
T1=5.62
MSAT (TO)
f=10
TT=1640.33
T1=5.19
MSAT (TO)
f=10
TT=3600.1

MSAT (TO)
f=10
TT=3600.02

MSAT (TO)
f=13
TT=3600.06
T1=567.55
MSAT (TO)
f=17
TT=3600.08
T1=318.32
csp/graphColoring/insertion/
k-insertion/
normalized-3-insertions-5-3.xml
MSAT TO
f=100
TT=3600.06

MSAT (TO)
f=112
TT=1734.34
T1=13.12
MSAT (TO)
f=112
TT=1711.98
T1=14.03
MSAT (TO)
f=100
TT=3600.06

MSAT (TO)
f=111
TT=3600.05

?

TT=199.057

?

TT=293.808

csp/graphColoring/insertion/
k-insertion/
normalized-4-insertions-4-3.xml
MSAT TO
f=12
TT=1658.93
T1=6.54
MSAT (TO)
f=12
TT=1690.9
T1=6.54
MSAT (TO)
f=12
TT=1658.93
T1=7.02
MSAT (TO)
f=12
TT=3600.04

MSAT (TO)
f=12
TT=3600.02

MSAT (TO)
f=30
TT=3600.07
T1=108.73
MSAT (TO)
f=28
TT=3600.22
T1=107.19
csp/graphColoring/leighton/
leighton-15/
normalized-lei450-15b-08.xml
MSAT TO
f=340
TT=3600.1

MSAT (TO)
f=414
TT=1675.89
T1=41.29
MSAT (TO)
f=414
TT=1682.94
T1=41.01
MSAT (TO)
f=377
TT=3600.04

MSAT (TO)
f=340
TT=3600.1

? (MO)

TT=176.686

? (MO)

TT=176.269

csp/graphColoring/leighton/
leighton-15/
normalized-lei450-15b-10.xml
MSAT TO
f=185
TT=3600.09

MSAT (TO)
f=241
TT=1720.72
T1=100.24
MSAT (TO)
f=241
TT=1722.17
T1=102.5
MSAT (TO)
f=207
TT=3600.05

MSAT (TO)
f=185
TT=3600.09

? (MO)

TT=169.486

? (MO)

TT=178.224

csp/graphColoring/leighton/
leighton-15/
normalized-lei450-15c-13.xml
MSAT TO
f=183
TT=3600.1

MSAT (TO)
f=395
TT=1710.68
T1=92.54
MSAT (TO)
f=395
TT=1715.63
T1=92.37
MSAT (TO)
f=183
TT=3600.1

MSAT (TO)
f=285
TT=3600.01

?

TT=241.212

?

TT=253.45

csp/graphColoring/leighton/
leighton-15/
normalized-lei450-15d-05.xml
MSAT TO
f=2043
TT=3600.06

MSAT (TO)
f=2264
TT=1702.02
T1=67.83
MSAT (TO)
f=2264
TT=1718.63
T1=77.4
MSAT (TO)
f=2043
TT=3600.06

MSAT (TO)
f=2093
TT=3600.04

?

TT=218.313

?

TT=572.508

csp/graphColoring/leighton/
leighton-15/
normalized-lei450-15d-08.xml
MSAT TO
f=892
TT=3600.05

MSAT (TO)
f=1114
TT=1707
T1=73.94
MSAT (TO)
f=1114
TT=1725.8
T1=73.87
MSAT (TO)
f=892
TT=3600.05

MSAT (TO)
f=927
TT=3600.08

?

TT=215.201

?

TT=221.21

csp/graphColoring/leighton/
leighton-25/
normalized-lei450-25a-15.xml
MSAT TO
f=104
TT=3600.07

MSAT (TO)
f=145
TT=1679.68
T1=88.69
MSAT (TO)
f=145
TT=1695.88
T1=88.55
MSAT (TO)
f=119
TT=3600.07

MSAT (TO)
f=104
TT=3600.07

? (MO)

TT=192.686

? (MO)

TT=193.387

csp/graphColoring/leighton/
leighton-25/
normalized-lei450-25a-23.xml
MSAT TO
f=13
TT=3600.05

MSAT (TO)
f=23
TT=1651.98
T1=10.24
MSAT (TO)
f=23
TT=1636.98
T1=10.81
MSAT (TO)
f=13
TT=3600.05

MSAT (TO)
f=13
TT=3600.06

? (MO)

TT=198.132

? (MO)

TT=188.238

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
csp/graphColoring/leighton/
leighton-25/
normalized-lei450-25b-15.xml
MSAT TO
f=109
TT=3600.01

MSAT (TO)
f=148
TT=1702.58
T1=65.3
MSAT (TO)
f=148
TT=1713.69
T1=69.77
MSAT (TO)
f=126
TT=3600

MSAT (TO)
f=109
TT=3600.01

? (MO)

TT=179.584

? (MO)

TT=174.709

csp/graphColoring/leighton/
leighton-25/
normalized-lei450-25b-24.xml
MSAT TO
f=6
TT=3600.01

MSAT (TO)
f=9
TT=1644.26
T1=12.58
MSAT (TO)
f=9
TT=1640.59
T1=12.41
MSAT (TO)
f=6
TT=3600.01

MSAT (TO)
f=6
TT=3600.06

? (MO)

TT=180.605

? (MO)

TT=188.198

csp/graphColoring/leighton/
leighton-25/
normalized-lei450-25c-05.xml
MSAT TO
f=2408
TT=3600.02

MSAT (TO)
f=2569
TT=1761.46
T1=144.39
MSAT (TO)
f=2569
TT=1757.59
T1=132.85
MSAT (TO)
f=2412
TT=3600.04

MSAT (TO)
f=2408
TT=3600.02

?

TT=167.749

?

TT=174.454

csp/graphColoring/leighton/
leighton-5/
normalized-lei450-05a-04.xml
MSAT TO
f=393
TT=3600.08

MSAT (TO)
f=444
TT=1690.83
T1=26.14
MSAT (TO)
f=444
TT=1681.31
T1=24.85
MSAT (TO)
f=393
TT=3600.08

MSAT (TO)
f=401
TT=3600.08

? (MO)

TT=94.43

? (MO)

TT=96.393

csp/graphColoring/
mug/
normalized-mug100-1-3.xml
MOPT
f=1
TT=2.174
T1=0.64
MSAT (TO)
f=1
TT=1749.94
T1=0.7
MSAT (TO)
f=1
TT=1707.26
T1=0.64
MSAT (TO)
f=1
TT=3600

MSAT (TO)
f=1
TT=3600.04

OPTIMUM
f=1
TT=2.174
T1=1.96
OPTIMUM
f=1
TT=2.452
T1=2
csp/graphColoring/
mug/
normalized-mug100-25-3.xml
MOPT
f=1
TT=2.045
T1=0.64
MSAT (TO)
f=1
TT=1713.9
T1=0.67
MSAT (TO)
f=1
TT=1766.35
T1=0.64
MSAT (TO)
f=1
TT=3600.06

MSAT (TO)
f=1
TT=3600.01

OPTIMUM
f=1
TT=2.21
T1=2
OPTIMUM
f=1
TT=2.045
T1=1.85
csp/graphColoring/
mug/
normalized-mug88-1-3.xml
MOPT
f=1
TT=1.879
T1=0.59
MSAT (TO)
f=1
TT=1720.47
T1=0.59
MSAT (TO)
f=1
TT=1727.56
T1=0.68
MSAT (TO)
f=1
TT=3600.07

MSAT (TO)
f=1
TT=3600.04

OPTIMUM
f=1
TT=2.007
T1=1.88
OPTIMUM
f=1
TT=1.879
T1=1.69
csp/graphColoring/
mug/
normalized-mug88-25-3.xml
MOPT
f=1
TT=1.857
T1=0.67
MSAT (TO)
f=1
TT=1724.15
T1=0.68
MSAT (TO)
f=1
TT=1721.03
T1=0.67
MSAT (TO)
f=1
TT=3600.03

MSAT (TO)
f=1
TT=3600.07

OPTIMUM
f=1
TT=2.026
T1=1.84
OPTIMUM
f=1
TT=1.857
T1=1.67
csp/graphColoring/
myciel/
normalized-myciel4-4.xml
MOPT
f=1
TT=1.439
T1=0.55
OPTIMUM
f=1
TT=35.341
T1=0.55
CHECKS=312660
NODES=6244
OPTIMUM
f=1
TT=41.836
T1=0.57
CHECKS=586229
NODES=5261
MSAT (TO)
f=1
TT=3600.02

MSAT (TO)
f=1
TT=3600.05

OPTIMUM
f=1
TT=1.439
T1=1.23
OPTIMUM
f=1
TT=4.047
T1=3.82
csp/graphColoring/
myciel/
normalized-myciel5-4.xml
MOPT
f=4
TT=736.879
T1=0.6
MSAT (TO)
f=4
TT=1632.26
T1=0.79
MSAT (TO)
f=4
TT=1624.61
T1=0.6
MSAT (TO)
f=4
TT=3600.01

MSAT (TO)
f=4
TT=3600.03

OPTIMUM
f=4
TT=736.879
T1=736.75
OPTIMUM
f=4
TT=903.786
T1=903.71
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
csp/graphColoring/
myciel/
normalized-myciel5-5.xml
MOPT
f=1
TT=93.888
T1=0.58
MSAT (TO)
f=1
TT=1648.38
T1=0.63
MSAT (TO)
f=1
TT=1652.28
T1=0.58
MSAT (TO)
f=1
TT=3600.08

MSAT (TO)
f=1
TT=3600.02

OPTIMUM
f=1
TT=93.888
T1=2.71
OPTIMUM
f=1
TT=435.02
T1=2.13
csp/graphColoring/
myciel/
normalized-myciel7-4.xml
MSAT TO
f=56
TT=1662.61
T1=25.06
MSAT (TO)
f=56
TT=1667.8
T1=25.06
MSAT (TO)
f=56
TT=1662.61
T1=25.77
MSAT (TO)
f=56
TT=3600.08

MSAT (TO)
f=56
TT=3600.03

MSAT (TO)
f=200
TT=3600.08
T1=70.71
MSAT (TO)
f=224
TT=3600.24
T1=24.17
csp/graphColoring/
myciel/
normalized-myciel7-5.xml
MSAT TO
f=16
TT=1645.12
T1=16.91
MSAT (TO)
f=16
TT=1645.12
T1=17.9
MSAT (TO)
f=16
TT=1667.44
T1=16.91
MSAT (TO)
f=16
TT=3600.07

MSAT (TO)
f=16
TT=3600.1

MSAT (TO)
f=42
TT=3600.05
T1=468.71
MSAT (TO)
f=50
TT=3600.15
T1=990.95
csp/graphColoring/
register/fpsol/
normalized-fpsol2-i-1-55.xml
MSAT TO
f=10
TT=1686.28
T1=61.45
MSAT (TO)
f=10
TT=1686.28
T1=65.53
MSAT (TO)
f=10
TT=1704.13
T1=61.45
MSAT (TO)
f=10
TT=3600.09

MSAT (TO)
f=15
TT=3600

?

TT=219.793

?

TT=212.651

csp/graphColoring/
register/fpsol/
normalized-fpsol2-i-2-10.xml
MSAT TO
f=103
TT=3600

MSAT (TO)
f=115
TT=1665.58
T1=11.96
MSAT (TO)
f=115
TT=1658.75
T1=11.19
MSAT (TO)
f=103
TT=3600

MSAT (TO)
f=116
TT=3600.06

?

TT=183.93

?

TT=198.09

csp/graphColoring/
register/fpsol/
normalized-fpsol2-i-2-15.xml
MSAT TO
f=44
TT=3600.06

MSAT (TO)
f=47
TT=1634.45
T1=16.29
MSAT (TO)
f=47
TT=1667.35
T1=17.35
MSAT (TO)
f=44
TT=3600.06

MSAT (TO)
f=64
TT=3600.01

?

TT=203.605

?

TT=188.678

csp/graphColoring/
register/fpsol/
normalized-fpsol2-i-2-27.xml
MSAT TO
f=5
TT=1674.19
T1=89.04
MSAT (TO)
f=5
TT=1684.8
T1=89.04
MSAT (TO)
f=5
TT=1674.19
T1=91.12
MSAT (TO)
f=5
TT=3600.01

MSAT (TO)
f=24
TT=3600.04

?

TT=186.181

?

TT=199.154

csp/graphColoring/
register/fpsol/
normalized-fpsol2-i-3-27.xml
MSAT TO
f=5
TT=1672.91
T1=56.65
MSAT (TO)
f=5
TT=1699.49
T1=56.65
MSAT (TO)
f=5
TT=1672.91
T1=56.7
MSAT (TO)
f=5
TT=3600.02

MSAT (TO)
f=26
TT=3600.03

?

TT=174.55

?

TT=190.319

csp/graphColoring/
register/inithx/
normalized-inithx-i-1-10.xml
MSAT TO
f=307
TT=3600

MSAT (TO)
f=406
TT=1709.61
T1=27.72
MSAT (TO)
f=406
TT=1678.72
T1=27.79
MSAT (TO)
f=307
TT=3600

MSAT (TO)
f=341
TT=3600

?

TT=177.515

?

TT=174.692

csp/graphColoring/
register/inithx/
normalized-inithx-i-1-45.xml
MSAT TO
f=9
TT=1781.18
T1=1781.12
MSAT (TO)
f=14
TT=1738.01
T1=120.06
MSAT (TO)
f=9
TT=1781.18
T1=1781.12
MSAT (TO)
f=9
TT=3600.05

MSAT (TO)
f=30
TT=3600.07

?

TT=167.823

?

TT=157.422

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
csp/graphColoring/
register/inithx/
normalized-inithx-i-2-15.xml
MSAT TO
f=47
TT=3600.02

MSAT (TO)
f=50
TT=1712.78
T1=54.85
MSAT (TO)
f=50
TT=1714.1
T1=51.45
MSAT (TO)
f=47
TT=3600.02

MSAT (TO)
f=128
TT=3600

?

TT=196.107

?

TT=194.252

csp/graphColoring/
register/inithx/
normalized-inithx-i-2-20.xml
MSAT TO
f=20
TT=3600

MSAT (TO)
f=37
TT=1684.28
T1=70.77
MSAT (TO)
f=21
TT=1781.89
T1=1781.84
MSAT (TO)
f=20
TT=3600

MSAT (TO)
f=91
TT=3600.07

?

TT=196.206

?

TT=183.92

csp/graphColoring/
register/inithx/
normalized-inithx-i-3-28.xml
MSAT TO
f=5
TT=1705.38
T1=1705.33
MSAT (TO)
f=19
TT=1707.15
T1=80.47
MSAT (TO)
f=5
TT=1705.38
T1=1705.33
MSAT (TO)
f=6
TT=3600.01

MSAT (TO)
f=54
TT=3600.08

?

TT=197.508

?

TT=194.102

csp/graphColoring/
register/mulsol/
normalized-mulsol-i-1-05.xml
MSAT TO
f=389
TT=3600.02

MSAT (TO)
f=420
TT=1622.41
T1=2.02
MSAT (TO)
f=420
TT=1639.86
T1=2.19
MSAT (TO)
f=389
TT=3600.02

MSAT (TO)
f=389
TT=3600.06

MSAT (TO)
f=661
TT=3600.3
T1=116.73
No Cert.

TT=68.267

csp/graphColoring/
register/mulsol/
normalized-mulsol-i-1-25.xml
MSAT TO
f=33
TT=3600.08

MSAT (TO)
f=34
TT=1648.81
T1=34.38
MSAT (TO)
f=34
TT=1690.57
T1=34.4
MSAT (TO)
f=33
TT=3600.08

MSAT (TO)
f=34
TT=3600.02

MSAT (TO)
f=58
TT=3600.36
T1=220.06
MSAT (MO)
f=244
TT=50.334
T1=49.61
csp/graphColoring/
register/mulsol/
normalized-mulsol-i-2-05.xml
MSAT TO
f=223
TT=3600

MSAT (TO)
f=254
TT=1666.07
T1=21.18
MSAT (TO)
f=254
TT=1653.93
T1=19.86
MSAT (TO)
f=223
TT=3600

MSAT (TO)
f=223
TT=3600.08

MSAT (TO)
f=697
TT=3600.32
T1=111.29
MSAT (TO)
f=517
TT=3600.41
T1=79.79
csp/graphColoring/
register/mulsol/
normalized-mulsol-i-2-20.xml
MSAT TO
f=22
TT=3568.04
T1=3567.91
MSAT (TO)
f=23
TT=1643.28
T1=5.45
MSAT (TO)
f=22
TT=3568.04
T1=3567.91
MSAT (TO)
f=22
TT=3600.05

MSAT (TO)
f=23
TT=3600.05

MSAT (TO)
f=37
TT=3600.28
T1=348.6
MSAT (MO)
f=307
TT=53.979
T1=50.98
csp/graphColoring/
register/mulsol/
normalized-mulsol-i-5-10.xml
MSAT TO
f=77
TT=3600.05

MSAT (TO)
f=84
TT=1640.48
T1=5.67
MSAT (TO)
f=84
TT=1650.91
T1=6.05
MSAT (TO)
f=77
TT=3600.05

MSAT (TO)
f=77
TT=3600.07

MSAT (TO)
f=167
TT=3600.28
T1=776.3
MSAT (MO)
f=616
TT=52.689
T1=50.35
csp/graphColoring/
register/zeroin/
normalized-zeroin-i-1-45.xml
MSAT TO
f=4
TT=1636.76
T1=7.63
MSAT (TO)
f=4
TT=1643.49
T1=7.63
MSAT (TO)
f=4
TT=1636.76
T1=7.66
MSAT (TO)
f=4
TT=3600.08

MSAT (TO)
f=7
TT=3600.08

MSAT (TO)
f=7
TT=3600.26
T1=3003.81
No Cert.

TT=57.727

csp/graphColoring/
register/zeroin/
normalized-zeroin-i-2-28.xml
MSAT TO
f=2
TT=1646.92
T1=2.85
MSAT (TO)
f=2
TT=1646.98
T1=2.85
MSAT (TO)
f=2
TT=1646.92
T1=3.14
MSAT (TO)
f=2
TT=3600.08

MSAT (TO)
f=8
TT=3600.09

MSAT (TO)
f=4
TT=3600.24
T1=581.8
MSAT (TO)
f=3
TT=3600.31
T1=49.31
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
csp/graphColoring/
school/
normalized-school1-13.xml
MSAT TO
f=126
TT=3600.01

MSAT (TO)
f=159
TT=1688.65
T1=25.59
MSAT (TO)
f=159
TT=1678.1
T1=26.57
MSAT (TO)
f=126
TT=3600.01

MSAT (TO)
f=126
TT=3600.05

?

TT=170.977

?

TT=176.968

csp/graphColoring/
school/
normalized-school1-nsh-12.xml
MSAT TO
f=177
TT=3600.08

MSAT (TO)
f=243
TT=1673.68
T1=26.99
MSAT (TO)
f=243
TT=1674.98
T1=28.51
MSAT (TO)
f=177
TT=3600.08

MSAT (TO)
f=177
TT=3600.09

?

TT=208.663

?

TT=201.168

csp/graphColoring/
school/
normalized-school1-nsh-13.xml
MSAT TO
f=80
TT=3600.01

MSAT (TO)
f=101
TT=1675.14
T1=37.3
MSAT (TO)
f=101
TT=1702.25
T1=35.17
MSAT (TO)
f=80
TT=3600.03

MSAT (TO)
f=80
TT=3600.01

?

TT=204.962

?

TT=202.635

csp/graphColoring/
sgb/book/
normalized-anna-9.xml
MOPT
f=2
TT=22.813
T1=0.81
MSAT (TO)
f=2
TT=1628.02
T1=0.81
MSAT (TO)
f=2
TT=1637.66
T1=0.87
MSAT (TO)
f=2
TT=3600.06

MSAT (TO)
f=2
TT=3600.02

OPTIMUM
f=2
TT=24.803
T1=4.5
OPTIMUM
f=2
TT=22.813
T1=3.62
csp/graphColoring/
sgb/book/
normalized-david-5.xml
MSAT TO
f=20
TT=3600

MSAT (TO)
f=21
TT=1613.85
T1=1.28
MSAT (TO)
f=21
TT=1627.11
T1=1.36
MSAT (TO)
f=20
TT=3600

MSAT (TO)
f=20
TT=3600

MSAT (TO)
f=35
TT=3600.04
T1=2.1
MSAT (TO)
f=25
TT=3600.1
T1=199.04
csp/graphColoring/
sgb/book/
normalized-homer-12.xml
MOPT
f=1
TT=163.587
T1=1.17
MSAT (TO)
f=1
TT=1614.23
T1=1.17
MSAT (TO)
f=1
TT=1735.3
T1=1.27
MSAT (TO)
f=1
TT=3600.03

MSAT (TO)
f=1
TT=3600.09

OPTIMUM
f=1
TT=170.487
T1=62.09
OPTIMUM
f=1
TT=163.587
T1=12.89
csp/graphColoring/
sgb/book/
normalized-huck-10.xml
MOPT
f=1
TT=5.681
T1=0.67
MSAT (TO)
f=1
TT=1631.26
T1=0.77
MSAT (TO)
f=1
TT=1627.01
T1=0.67
MSAT (TO)
f=1
TT=3600.03

MSAT (TO)
f=1
TT=3600.08

OPTIMUM
f=1
TT=5.681
T1=3.11
OPTIMUM
f=1
TT=5.716
T1=2.63
csp/graphColoring/
sgb/book/
normalized-jean-5.xml
MSAT TO
f=14
TT=1621.42
T1=2.54
MSAT (TO)
f=14
TT=1645.87
T1=2.54
MSAT (TO)
f=14
TT=1621.42
T1=2.55
MSAT (TO)
f=14
TT=3600.1

MSAT (TO)
f=14
TT=3600

MSAT (TO)
f=16
TT=3600.07
T1=2.24
MSAT (TO)
f=19
TT=3600.1
T1=1.7
csp/graphColoring/sgb/games/
normalized-games120-8.xml
MOPT
f=2
TT=5.095
T1=0.84
MSAT (TO)
f=2
TT=1631.37
T1=0.84
MSAT (TO)
f=2
TT=1655.18
T1=0.88
MSAT (TO)
f=2
TT=3600.03

MSAT (TO)
f=2
TT=3600.03

OPTIMUM
f=2
TT=9.558
T1=8.31
OPTIMUM
f=2
TT=5.095
T1=4.72
csp/graphColoring/
sgb/miles/
normalized-miles1500-30.xml
MSAT TO
f=58
TT=3600.01

MSAT (TO)
f=68
TT=1624.14
T1=1.83
MSAT (TO)
f=68
TT=1644.95
T1=2.07
MSAT (TO)
f=61
TT=3600.01

MSAT (TO)
f=58
TT=3600.01

? (MO)

TT=77.25

? (MO)

TT=81.259

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
csp/graphColoring/
sgb/miles/
normalized-miles500-10.xml
MSAT TO
f=18
TT=3600.08

MSAT (TO)
f=21
TT=1618.47
T1=3.18
MSAT (TO)
f=21
TT=1632.42
T1=2.94
MSAT (TO)
f=19
TT=3600.03

MSAT (TO)
f=18
TT=3600.08

MSAT (TO)
f=34
TT=3600.05
T1=22.81
MSAT (TO)
f=31
TT=3600.1
T1=220.87
csp/graphColoring/
sgb/miles/
normalized-miles500-15.xml
MSAT TO
f=5
TT=1608.2
T1=1.36
MSAT (TO)
f=5
TT=1608.2
T1=1.47
MSAT (TO)
f=5
TT=1618.87
T1=1.36
MSAT (TO)
f=5
TT=3600.03

MSAT (TO)
f=5
TT=3600.06

MSAT (TO)
f=6
TT=3600.03
T1=275.02
MSAT (TO)
f=5
TT=3600.15
T1=1782.87
csp/graphColoring/
sgb/miles/
normalized-miles750-15.xml
MSAT TO
f=28
TT=3600.02

MSAT (TO)
f=33
TT=1645.07
T1=32.38
MSAT (TO)
f=33
TT=1659.5
T1=32.26
MSAT (TO)
f=29
TT=3600.01

MSAT (TO)
f=28
TT=3600.02

MSAT (TO)
f=62
TT=3600.09
T1=39.59
MSAT (TO)
f=60
TT=3600.13
T1=20.34
csp/graphColoring/
sgb/miles/
normalized-miles750-29.xml
MSAT TO
f=2
TT=1616.38
T1=1.35
MSAT (TO)
f=2
TT=1624.85
T1=1.35
MSAT (TO)
f=2
TT=1616.38
T1=1.47
MSAT (TO)
f=2
TT=3600.02

MSAT (TO)
f=2
TT=3600.04

MSAT (TO)
f=2
TT=3600.04
T1=92.91
MSAT (TO)
f=2
TT=3600.2
T1=22.39
csp/graphColoring/
sgb/queen/
normalized-queen12-12-11.xml
MSAT TO
f=31
TT=3600.09

MSAT (TO)
f=34
TT=1630.33
T1=13.91
MSAT (TO)
f=34
TT=1627.5
T1=14.17
MSAT (TO)
f=32
TT=3600.09

MSAT (TO)
f=31
TT=3600.09

MSAT (MO)
f=120
TT=3442.62
T1=59.33
MSAT (MO)
f=97
TT=2944.87
T1=24.41
csp/graphColoring/
sgb/queen/
normalized-queen8-12-10.xml
MSAT TO
f=16
TT=1618.64
T1=3.46
MSAT (TO)
f=16
TT=1618.64
T1=3.46
MSAT (TO)
f=16
TT=1639.77
T1=3.52
MSAT (TO)
f=16
TT=3600.05

MSAT (TO)
f=16
TT=3600.08

MSAT (TO)
f=33
TT=3600.01
T1=625.43
MSAT (TO)
f=51
TT=3600.19
T1=265.9
csp/haystacks/
normalized-haystacks-05.xml
MOPT
f=1
TT=1.211
T1=1.07
OPTIMUM
f=1
TT=1070.06
T1=1.08
CHECKS=91602700
NODES=1297980
OPTIMUM
f=1
TT=846.722
T1=1.13
CHECKS=54165700
NODES=642818
MSAT (TO)
f=1
TT=3600.06

MSAT (TO)
f=1
TT=3600.09

OPTIMUM
f=1
TT=1.211
T1=1.07
OPTIMUM
f=1
TT=1.23
T1=1.08
csp/haystacks/
normalized-haystacks-08.xml
MOPT
f=1
TT=2.722
T1=2.33
MSAT (TO)
f=1
TT=1661.96
T1=4.59
MSAT (TO)
f=1
TT=1650.67
T1=4.96
MSAT (TO)
f=1
TT=3600.02

MSAT (TO)
f=1
TT=3600.1

OPTIMUM
f=1
TT=3.089
T1=2.71
OPTIMUM
f=1
TT=2.722
T1=2.33
csp/haystacks/
normalized-haystacks-10.xml
MOPT
f=1
TT=6.646
T1=3.69
MSAT (TO)
f=1
TT=1658.8
T1=11.66
MSAT (TO)
f=1
TT=1650.87
T1=11.76
MSAT (TO)
f=1
TT=3600.06

MSAT (TO)
f=1
TT=3600.01

OPTIMUM
f=1
TT=8.474
T1=5.88
OPTIMUM
f=1
TT=6.646
T1=3.69
csp/haystacks/
normalized-haystacks-11.xml
MOPT
f=1
TT=15.76
T1=2.35
MSAT (TO)
f=1
TT=1642.39
T1=2.56
MSAT (TO)
f=1
TT=1766.57
T1=2.35
MSAT (TO)
f=1
TT=3600.08

MSAT (TO)
f=1
TT=3600.02

OPTIMUM
f=1
TT=17.67
T1=8.06
OPTIMUM
f=1
TT=15.76
T1=4.58
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
csp/haystacks/
normalized-haystacks-12.xml
MOPT
f=1
TT=70.381
T1=4.45
MSAT (TO)
f=1
TT=1646.57
T1=4.45
MSAT (TO)
f=1
TT=1657.11
T1=4.53
MSAT (TO)
f=1
TT=3600.05

MSAT (TO)
f=1
TT=3600.08

OPTIMUM
f=1
TT=70.381
T1=13.16
OPTIMUM
f=1
TT=87.328
T1=5.26
csp/haystacks/
normalized-haystacks-15.xml
MSAT TO
f=1
TT=1639.09
T1=1.34
MSAT (TO)
f=1
TT=1650.02
T1=1.34
MSAT (TO)
f=1
TT=1639.09
T1=1.37
MSAT (TO)
f=1
TT=3600.04

MSAT (TO)
f=1
TT=3600.06

MSAT (TO)
f=1
TT=3600.06
T1=74.36
MSAT (TO)
f=1
TT=3600.24
T1=17
csp/haystacks/
normalized-haystacks-16.xml
MSAT TO
f=1
TT=1661.73
T1=12.28
MSAT (TO)
f=1
TT=1662.6
T1=12.35
MSAT (TO)
f=1
TT=1661.73
T1=12.28
MSAT (TO)
f=1
TT=3600.04

MSAT (TO)
f=1
TT=3600.07

MSAT (TO)
f=1
TT=3600.06
T1=119.84
MSAT (TO)
f=1
TT=3600.2
T1=42.63
csp/haystacks/
normalized-haystacks-20.xml
MSAT TO
f=1
TT=1677.64
T1=23.49
MSAT (TO)
f=1
TT=1690.57
T1=23.49
MSAT (TO)
f=1
TT=1677.64
T1=25.04
MSAT (TO)
f=1
TT=3600.03

MSAT (TO)
f=1
TT=3600

MSAT (TO)
f=1
TT=3600.27
T1=949.79
No Cert.

TT=129.979

csp/haystacks/
normalized-haystacks-29.xml
MSAT TO
f=1
TT=3600.02

MSAT (TO)
f=2
TT=1659.91
T1=7.49
MSAT (TO)
f=2
TT=1721.24
T1=6.75
MSAT (TO)
f=1
TT=3600.03

MSAT (TO)
f=1
TT=3600.02

?

TT=233.223

?

TT=247.919

csp/haystacks/
normalized-haystacks-30.xml
MSAT TO
f=1
TT=1691.9
T1=28.29
MSAT (TO)
f=1
TT=1691.9
T1=28.51
MSAT (TO)
f=1
TT=1810.18
T1=28.29
MSAT (TO)
f=1
TT=3600.07

MSAT (TO)
f=1
TT=3600.01

?

TT=177.04

?

TT=183.826

csp/haystacks/
normalized-haystacks-35.xml
MSAT TO
f=1
TT=1731.63
T1=22.53
MSAT (TO)
f=1
TT=1770.9
T1=22.77
MSAT (TO)
f=1
TT=1731.63
T1=22.53
MSAT (TO)
f=1
TT=3600.02

MSAT (TO)
f=2
TT=3600.03

?

TT=241.426

?

TT=213.555

csp/haystacks/
normalized-haystacks-36.xml
MSAT TO
f=1
TT=3600.03

MSAT (TO)
f=2
TT=1727.45
T1=26.29
MSAT (TO)
f=2
TT=1752.62
T1=24.22
MSAT (TO)
f=1
TT=3600.03

MSAT (TO)
f=2
TT=3600.04

?

TT=221.702

?

TT=207.488

csp/haystacks/
normalized-haystacks-43.xml
MSAT TO
f=1
TT=3600.02

?

TT=90.091

?

TT=98.047

MSAT (TO)
f=1
TT=3600.02

MSAT (TO)
f=2
TT=3600.04

?

TT=230.704

?

TT=224.265

csp/js-taillard-15/
normalized-js-taillard-15-95-2.xml
MOPT
f=2
TT=1098.43
T1=1098.14
?

TT=165.866

?

TT=165.749

MSAT (TO)
f=18
TT=3600.01

MSAT (TO)
f=22
TT=3600.03

OPTIMUM
f=2
TT=1506.77
T1=1506.58
OPTIMUM
f=2
TT=1098.43
T1=1098.14
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
csp/js-taillard-15/
normalized-js-taillard-15-95-4.xml
MSAT TO
f=2
TT=3600.16
T1=304.62
?

TT=188.418

?

TT=188.621

MSAT (TO)
f=17
TT=3600.07

MSAT (TO)
f=22
TT=3600.09

MSAT (TO)
f=2
TT=3600.16
T1=304.62
MSAT (TO)
f=2
TT=3600.29
T1=712.07
csp/js-taillard-20/
normalized-js-taillard-20-95-7.xml
MSAT TO
f=37
TT=3600.09

?

TT=131.296

?

TT=123.843

MSAT (TO)
f=42
TT=3600.08

MSAT (TO)
f=37
TT=3600.09

? (MO)

TT=78.67

? (MO)

TT=85.708

csp/knights/
normalized-knights-12-5.xml
MOPT
f=1
TT=0.878
T1=0.66
OPTIMUM
f=1
TT=36.657
T1=0.66
CHECKS=558698
NODES=143
OPTIMUM
f=1
TT=36.55
T1=0.67
CHECKS=558698
NODES=143
MSAT (TO)
f=1
TT=3600.1

MSAT (TO)
f=1
TT=3600.07

OPTIMUM
f=1
TT=0.878
T1=0.66
OPTIMUM
f=1
TT=1.071
T1=0.84
csp/knights/
normalized-knights-12-9.xml
MOPT
f=1
TT=44.701
T1=0.68
OPTIMUM
f=1
TT=48.282
T1=0.69
CHECKS=1764220
NODES=385
OPTIMUM
f=1
TT=44.701
T1=0.68
CHECKS=1236270
NODES=192
MSAT (TO)
f=1
TT=3600.01

MSAT (TO)
f=1
TT=3600.04

OPTIMUM
f=1
TT=44.707
T1=1.11
OPTIMUM
f=1
TT=68.079
T1=1.15
csp/knights/
normalized-knights-15-9.xml
MOPT
f=1
TT=62.845
T1=0.57
OPTIMUM
f=1
TT=79.581
T1=0.68
CHECKS=6625880
NODES=788
OPTIMUM
f=1
TT=62.845
T1=0.57
CHECKS=4475070
NODES=342
MSAT (TO)
f=1
TT=3600.09

MSAT (TO)
f=1
TT=3600.05

OPTIMUM
f=1
TT=150.35
T1=1.21
OPTIMUM
f=1
TT=176.267
T1=1.12
csp/knights/
normalized-knights-25-5.xml
MOPT
f=1
TT=1.188
T1=0.85
OPTIMUM
f=1
TT=138.243
T1=0.99
CHECKS=36604800
NODES=624
OPTIMUM
f=1
TT=131.193
T1=0.88
CHECKS=36604800
NODES=624
MSAT (TO)
f=1
TT=3600.01

MSAT (TO)
f=1
TT=3600

OPTIMUM
f=1
TT=1.316
T1=0.89
OPTIMUM
f=1
TT=1.188
T1=0.85
csp/knights/
normalized-knights-25-9.xml
MOPT
f=1
TT=276.481
T1=0.99
OPTIMUM
f=1
TT=387.217
T1=0.99
CHECKS=125474000
NODES=2903
OPTIMUM
f=1
TT=276.481
T1=1.18
CHECKS=87069200
NODES=1095
MSAT (TO)
f=1
TT=3600.09

MSAT (TO)
f=1
TT=3600

OPTIMUM
f=1
TT=614.707
T1=1.47
OPTIMUM
f=1
TT=613.784
T1=1.26
csp/knights/
normalized-knights-50-9.xml
MOPT
f=1
TT=2555.83
T1=1.81
MSAT (TO)
f=1
TT=1606.05
T1=7.62
MSAT (TO)
f=1
TT=1619.27
T1=7.8
MSAT (TO)
f=1
TT=3600.03

MSAT (TO)
f=1
TT=3600.05

OPTIMUM
f=1
TT=2796.16
T1=3.32
OPTIMUM
f=1
TT=2555.83
T1=1.81
csp/knights/
normalized-knights-8-5.xml
MOPT
f=1
TT=0.871
T1=0.58
MSAT (TOr>f=1
TT=1619.27
T1=7.8

TT=3600.09

8225"trace.php?idev=16&ped-haystacks-10.xml
MOPT
f=1
TT=6.646
T74000
NODES=2903
pc-dAbsconMax 112MOPT
f=1
TT=2555.83
T1=1.81
CT74">OPTIMUM
f=1
TT=96137
T1=0.84
OPTIMUM
f=1
TT=0.701
T1=0.68
cslangford2ts/
normalizelangford--12-10.xml
MOPT
f=1
TT7.77701
T1=0.68
MSAT (TO)
f=1
TT=1616316
T1=7.47
OPTIMUM
f=1
TT56.6.316
T1=0.68
CHECK=447919200
NODES6967odd">MOPT
f=1
TT=6.646
T74000
NODES=2903
MSAT (TO)
f=1
TT=3600.04

MSAT (TO)
f=1
TT=3600.07

OPTIMUM
f=1
TT=177701
T2.2r>TT=2555.83
T1=1.81
OPTIMUM
f=1
T5100C481
T1=9114
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
cslangford2ts/
normalizelangford--12-5.xml
MOPT
f=1
TT=70845
T1=4.58
OPTIMUM
f=1
TT1=0.445
T1=4.58
CHECKS200
NODES1112311">MSAT (TOr>f=1
TT=1619.27
T1=7.8

TT=3600.09

8225"tra69566">OPTIMUM
f=1
TT1=74845
T1=0.57
CHECKS200
NODES1112311">MSAT (TOr>f=1
TT=1619.27T1=7.8

TT=3600.09

8225"tra69293">MSAT (TO)
f=1
TT=3600.06

MSAT (TO)
f=1
TT=3600207

OPTIMUM
f=1
TT=70845
T1=5947
OPTIMUM
f=1
TT=71345
T1=4.58
cslangford2ts/
normalizelangford--15-5.xml
MOPT
f=1
TT=12245
T1=5947
AT (TOr>f=1
TT=1619.27
T1=7.8

TT=3600.09

8225"tra702php?idev=16&ped-haystacks-0310.xml7.64
CHECKS01698
NODE8903
MOPT
f=1
TT=6.646
T74000
NODES=2903
MSAT (TO)
f=1
TT=3600.02

MSAT (TO)
f=1
TT=3600.08

T1=7.8

TT=3600.09

8225"tra70334">OPTIMUM
f=1
TT=14211
T1=1.89
OPTIMUM
f=1
TT=12245
T1=9=17
cslangford3ts/
normalizelangford-312-11.xml
MSAT TO
f=2
TT=8727.45
T361.73
MSAT (TO)
f=2
TT=8727.45
T1=7.49
MSAT (TO)
f=2
TT=08=1.12
T1=5749
MSAT (TO)
f=2
TT=3600.07

MSAT (TO)
f=2
TT=3600.01

MSAT (TO)
3=1
TT=3600.08
T1=6.47
MSAT (TO)
f=2
TT=3601445
T361.73
cslangford3ts/
normalizelangford-312229.xml
MSAT TO
f=2
TT=13.2511
T1=1.35
MSAT (TO)
f=2
TT=3077.64
T2-19.77
MSAT (TO)
f=2
TT=13.2511
T=712.96
MSAT (TO)
f=2
TT=3600.05

MSAT (TO)
f=2
TT=3600905

MSAT (TO)
f=2
TT=3600.04
T7.8247
MSAT (TO)
f=2
TT=3600.18
T4=1.15
cslangford3ts/
normalizelangford-3123-4.xml
MSAT TO
f=2
TT=3600.02
T5=2.33
MSAT (TO)
3=2
TT=13.7381
T1=141r>
MSAT (TO)
3=2
TT=1650.02
T12=1.37
MSAT (TO)
f=2
TT=3600207

MSAT (TO)
f=2
TT=3600607

MSAT (TO)
f=2
TT=3600905
T1=61.73
MSAT (TO)
f=2
TT=3602.02
T5=2.33
cslangford3ts/
normalizelangford-315-2.xml
MOPT
f=2
T=61.245
T1=4.07
OPTIMUM
2=1
TT1=886esult">
OPTIMUM
2=1
TT1=76545
T1=4.07
CHECKS=.193
NODES718
MSAT (TO)
f=2
TT=3600607

MSAT (TO)
f=2
TT=3600207

OPTIMUM
2=1
T=61.245
T1=6.21
OPTIMUM
2=1
T=615316
T1=0215
cslangford3ts/
normalizelangford-313-5.xml
MOPT
2=1
TT=10845
T1=3.49
OPTIMUM
f=2
T37126.55
T1=4/td>
NODE2.646 OPTIMUM
f=2
T31=57511
Ta>
NODES4818
MSAT (TO)
f=2
TT=3600.05

MSAT (TO)
f=2
TT=3600.03

OPTIMUM
2=1
TT=10845
T1=5.88
OPTIMUM
2=1
TT=13481
T1=033
cslangford3ts/
normalizelangford-315-2.xml
MOPT
f=2
TT615771
T1=0.58
OPTIMUM
f=2
TTT=1792esult">
MSAT (TOr>f=1
TT=1619.27
T1=7.8

TT=3600.09

8225"tra32574">OPTIMUM
f=2
TT=800C481
T0..66
CHECK618701700
NODE51.079
MSAT (TO)
f=2
TT=3605

MSAT (TO)
f=2
TT=360007

OPTIMUM
f=2
TT615771
T1=5947
T1=7.8

TT=3600.09

8225"tra32177">OPTIMUM
f=2
TT.93771
T1=817
cslangford3ts/
normalizelangford-316-5.xml
MOPT
2=1
T2.1.445
T1=7258
MSAT (TO)
f=2
TT=86..243
T1=72r>TT=2555.83
T1=1.81
OPTIMUM
f=2
TT=18.5316
T1=7href="trace.p389169200
NODE6195079
MSAT (TO)
f=2
TT=3600607

MSAT (TO)
f=2
TT=3600.07

OPTIMUM
f=2
T2.1.445
TT.94r>TT=2555.83
T1=1.81
OPTIMUM
f=2
T2.18.35
T1=8.26
cslangford4ts/
normalizelangford-4ks-11.xml
MOPT
f=2
T516425.83
T25613.16
MSAT (TO)
5=2
TT=31=4/td> r>T1=216r>
MSAT (TO)
5=2
TT=43.94r>TTr>T1=298r>
MSAT (TO)
f=2
TT=3600.04

MSAT (TO)
f=2
TT=3600.07

OPTIMUM
f=2
T516425.83
T25613.16
555.83
T1=1.81
OPTIMUM
f=2
T=3607.328
T199.7.14
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
cslangford4ts/
normalizelangford-4ks2-5.xml
MOPT
2=1
T3296..35
T18512.28
MSAT (TO)
4=2
TT=26..784
T49.96r>
MSAT (TO)
4=2
TT=37.86esult">53=8.26
MSAT (TO)
3=1
TT=3600.03

MSAT (TO)
f=2
TT=3600905

MSAT (TO)
f=2
TT=3600.01
T18512.28
OPTIMUM
f=2
T3796..35
T3796.0107
cslangford4ts/
normalizelangford-4ks4-7.xml
MSAT TO
f=2
TT=3600.05
T14204.62
MSAT (TO)
8=2
TT=08=.445
TT3=6.75
MSAT (TO)
8=2
TT=53=0.18
T=213275
MSAT (TO)
4=2
TT=3600.05

MSAT (TO)
3=1
TT=3600503

MSAT (TO)
5=2
TT=3600.06
T49.56r>
MSAT (TO)
3=1
TT=3601905
T14204.62
cslangford4ts/
normalizelangford-4k2-5.xml
MOPT
2=1
T1=9=17
T1=4.58
OPTIMUM
f=2
T31=1.701
T1=4.58
CHECK=4067dev=16&idjob=1112311">MSAT (TOr>f=1
TT=1619.27
T1=7.8

TT=3600.09

8225"tr112577">OPTIMUM
f=2
T31=20845
T1=5.58
CHECK=635480
NODES=79
MSAT (TO)
f=2
TT=3600.04

MSAT (TO)
f=2
TT=3600607

T1=7.8

TT=3600.09

8225"tr112879">OPTIMUM
2=1
T=697193
T1=07r>
OPTIMUM
f=2
T1=9=17
T1=8207
cslangford4ts/
normalizelangford-4k3-2.xml
MOPT
f=2
TT622455
T1=0.67
OPTIMUM
f=2
T47.86855
T1=0.67
CHECK91672600
NODES4981112311">MSAT (TOr>f=1
TT=1619.27
T1=7.8

TT=3600.09

8225"tr112378">OPTIMUM
f=2
T37.99582
T1=0.69
CHECKS037.328
NODES=679
MSAT (TO)
f=2
TT=3605

MSAT (TO)
f=2
TT=3600207

T1=7.8

TT=3600.09

8225"tr112T74">OPTIMUM
f=2
TT88.418
T1=15r>
OPTIMUM
f=2
TT622455
T112.96
cslangford4ts/
normalizelangford-4k4-5.xml
MOPT
2=1
TT=68418
T1=0.68
OPTIMUM
f=2
TTT2306.77
T1=1.18
CHECK5857819200
NODE4495903
OPTIMUM
f=2
TT=4.94218
T1=0.68
CHECK61597S200
NODE426979
MSAT (TO)
f=2
TT=3600.07

MSAT (TO)
f=2
TT=3600905

OPTIMUM
f=2
TT688.43
T1.65r>
OPTIMUM
f=2
TT.68418
T1=5207
cslangford4ts/
normalizelangford-4k5-2.xml
MOPT
3=2
T2.9.581
T1=8.16
MSAT (TO)
3=2
TT=09..243
T1=88r>
MSAT (TO)
3=2
TT199.2781
T1=8.16
MSAT (TO)
3=2
TT=3600.01

MSAT (TO)
3=1
TT=3600503

OPTIMUM
3=2
T2.75.83
T2=1.89
OPTIMUM
3=2
T2.9.581
T2141r>
cslangford4ts/
normalizelangford-4k8-5.xml
MOPT
f=1
T4.56.77
T4.3.16
MSAT (TO)
f=2
TT59855.83
T10298r>
MSAT (TO)
f=2
TT=19.5771
T11=7.62
MSAT (TO)
f=1
TT=3600.01

MSAT (TO)
f=1
TT=3600.03

OPTIMUM
f=1
T9.16545
T8.5r>
OPTIMUM
f=1
TT.56.77
T4.3.16
cslangford4ts/
normalizelangford-4k9-2.xml
MOPT
f=2
T26.58698
T17=0.67

TT=3600.09

8225"tr112073">MSAT (TO)
3=2
TT=11.4845
T29.31r>
MSAT (TO)
3=2
TT=37.8.35
T29.09r>
MSAT (TO)
f=2
TT=3600607

MSAT (TO)
f=2
TT=3600.01

OPTIMUM
2=1
T26.58698
T17=0.67
T1=7.8

TT=3600.09

8225"tr112179">OPTIMUM
2=1
T44.64845
T44.3817
csnengfats/
normalizecolor43.xml
MSAT TO
f035=2
TT=3600.01

MSAT (TO)
f11905
TT=25.8418
T106=2.33
MSAT (TO)
f11905
TT=14=2.33
T97=0.89
MSAT (TO)
f035=2
TT=3600.01

MSAT (TO)
f057=2
TT=3600.01

?

TT86002201

?

TT=9.10.07

csos-gpts/
normalizegp10-01-109210.xml
MOPT
f=1
TT7.78698
T16=8207
?

T84.44704

?

T87.82.01

MSAT (TO)
8=2
TT=3600905

MSAT (TO)
1700
TT=3600.07

T1=7.8

TT=3600.09

8225"tra74654">OPTIMUM
f=1
TT=458.35
T43=0.18
OPTIMUM
f=1
TT=178698
T16=8207
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
csos-gpts/
normalizegp10-0-12-96-5.xml
MOPT
f=1
T1T.56.77
T13.9507
?

T73.27504

?

T74=0..01

MSAT (TO)
7=2
TT=3600.05

MSAT (TO)
1f=1
TT=3600

OPTIMUM
f=1
TT5.64.35
T4200207
OPTIMUM
f=1
TTT.56.77
T13.9507
csos-gpts/
normalizegp10-0312-8-10.xml
MOPT
f=1
T2T=13.77
T15=0.89
?

T98.45904

?

T95.00.07

MSAT (TO)
8=1
TT=3600.08

MSAT (TO)
1f=1
TT=3600.08

T1=7.8

TT=3600.09

8225"tra75861">OPTIMUM
f=1
T51056935
T43=5107
OPTIMUM
f=1
T2T=13.77
T15=0.89
csos-gpts/
normalizegp10-0412-76-5.xml
MOPT
f=1
T16=88.77
T15=9189
?

Tb=1.29204

?

Tf05.80.01

MSAT (TO)
8=2
TT=3600.02

MSAT (TO)
1f=1
TT=3600.08

T1=7.8

TT=3600.09

8225"tra71654">OPTIMUM
f=1
TT6.36.35
T4202.84
OPTIMUM
f=1
TT6=88.77
T15=9189
csos-gpts/
normalizegp10-0512-7-10.xml
MOPT
f=1
T27.82.05
T18=0.68
?

T76..784

?

T80.29602

MSAT (TO)
9=2
TT=3600.01

MSAT (TO)
f2=1
TT=3600.04

OPTIMUM
f=1
T67.2.701
T53=0.68
OPTIMUM
f=1
TT7.82.05
T18=0.68
csos-gpts/
normalizegp10-0612-7-10.xml
MOPT
f=1
T16=71905
T15.65r>
?

T77.40.07

?

T8T=14211

MSAT (TO)
7=2
TT=3600411

MSAT (TO)
1f=1
TT=3600.08

T1=7.8

TT=3600.09

8225"tra74061">OPTIMUM
f=1
T510194r>TTr>TT6.0.84
OPTIMUM
f=1
TT6=71905
T15.65r>
csos-gpts/
normalizegp10-0712-7810.xml
MOPT
f=1
TT7.80.35
T17141r>
?

Tb=4697193

?

Tb=5.00411

MSAT (TO)
8=2
TT=3600905

MSAT (TO)
1f=1
TT=3600.07

T1=7.8

TT=3600.09

8225"tra72254">OPTIMUM
f=1
TT5.6.217
T41..243
OPTIMUM
f=1
TT=180.35
T17141r>
csos-gpts/
normalizegp10-08-109210.xml
MOPT
f=1
T17.35316
T16.0.84
?

T80.73104

?

T77.31411

MSAT (TO)
7=2
TT=3600.02

MSAT (TO)
f0=1
TT=3600.03

OPTIMUM
f=1
TT5.89317
T41...68
OPTIMUM
f=1
TT=135316
T16.0.84
csos-gpts/
normalizegp10-09-b=1110.xml
MOPT
f=1
TT4.63381
T1=19784
?

T98.96784

?

T94.23905

MSAT (TO)
6=2
TT=3600607

MSAT (TO)
1f=1
TT=3600.07

T1=7.8

TT=3600.09

8225"tra76254">OPTIMUM
f=1
TT5.14417
T41.1.37
OPTIMUM
f=1
TTT.63381
T1=19784
csos-gpts/
normalizegp10-10-109110.xml
MOPT
f=1
T16=09.05
T1477.64
?

T88.9602

?

T85129.07

MSAT (TO)
7=2
TT=3600411

MSAT (TO)
1f=1
TT=3600.04

OPTIMUM
f=1
TT5.6217
T41.1107
OPTIMUM
f=1
TT6=09.05
T1477.64
csos-taillard-10ts/
normalizeos-taillard-10-95-110.xml
MOPT
4=1
T2T0..2218
T19212.33
?

T9219784

?

T91169.01

MSAT (TO)
8=2
TT=3600.07

TT=3600.01

T1=7.8

TT=3600.09

8225"tr11CT74">OPTIMUM
4=2
TT=45.3.77
T628298r>
OPTIMUM
4=1
T2T0..2218
T19212.33
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
csos-taillard-10ts/
normalizeos-taillard-10-95-3-5.xml
MOPT
4=1
T2T52./td> r>T1T52.5533
?

T89.2684

?

T60..4503

TT=3600803

TT=3600.03

MSAT (TO)
5=2
TT=3600.83
T1782=5749
OPTIMUM
4=1
T2T52./td> r>T1T52.5533
csos-taillard-10ts/
normalizeos-taillard-10-95-8-2.xml
MOPT
3=2
T167.15771
T142.5.33
?

T82=44684

?

T78297.07

MSAT (TO)
1f=2
TT=3600.04

MSAT (TO)
1f=1
TT=3600.08

T1=7.8

TT=3600.09

8225"tr118280">OPTIMUM
3=2
T778214/td> r>T346=9189
OPTIMUM
3=2
T167.15771
T142.5.33
csos-taillard-15ts/
normalizeos-taillard-15-95-243.xml
MSAT TO
f5=1
TT=3600.08

?

T12277.104

?

Tb=5.81.02

MSAT (TO)
19=2
TT=3600.01

MSAT (TO)
15=2
TT=3600803

MSAT (TO)
18=2
TT=3602.83
T33300.05
csos-taillard-15ts/
normalizeos-taillard-15-95-9-7.xml
MSAT TO
1f=2
TT=3600.35
T39912.33
?

T198.68304

?

T199.27103

MSAT (TO)
18=2
TT=360103

MSAT (TO)
18=2
TT=3600.01

MSAT (TO)
1f=2
TT=3600.35
T39912.33
csos-taillard-20ts/
normalizeos-taillard-20-95-0-4.xml
MSAT TO
f6=2
TT=3600.02

?

Tb60.11.01

?

Tb51.31.02

MSAT (TO)
33=2
TT=3600.07

MSAT (TO)
f6=2
TT=3600.02

?

T172=47.02

?

T172=45107

csos-taillard-20ts/
normalizeos-taillard-20-95-2-7.xml
MSAT TO
24=2
TT=3600607

?

Tb89=45401

?

Tb89=40607

MSAT (TO)
3f=2
TT=3600.01

MSAT (TO)
f4=2
TT=3600607

?

T171.32907

?

T177=88r>
csos-taillard-20ts/
normalizeos-taillard-20-95-6-4.xml
MSAT TO
f5=2
TT=3600.02

?

T97.72907

?

T102.90905

MSAT (TO)
3f=2
TT=3600901

MSAT (TO)
f5=2
TT=3600.02

?

T176..1802

?

T169.13.07

csos-taillard-4ts/
normalizeos-taillard-4-95-4-2.xml
MOPT
f=2
TT629977
T1=13r>
MSAT (TO)
f=2
TT=01=72r>TTr>T1=1.37
MSAT (TO)
f=2
TT59255.83
T1.2237
MSAT (TO)
f=2
TT=3600.04

MSAT (TO)
f=2
TT=3600207

T1=7.8

TT=3600.09

8225"tr155074">OPTIMUM
f=2
TT88.418
T1=16r>
OPTIMUM
2=1
TT=29977
T1=13r>
csos-taillard-4ts/
normalizeos-taillard-4-95-5-5.xml
MOPT
3=2
T1.16455
T1=9667
MSAT (TO)
3=2
TT=0600.35
T0.96r>
MSAT (TO)
3=2
TT=05.4218
T1=0.37
MSAT (TO)
3=1
TT=3600607

MSAT (TO)
3=1
TT=3600.07

T1=7.8

TT=3600.09

8225"tr152680">OPTIMUM
3=2
T1.36.77
T1=15r>
OPTIMUM
3=2
T1.16455
T1r>
csos-taillard-4ts/
normalizeos-taillard-4-95-8-2.xml
MOPT
3=2
T1.42.83
T1.21r>
MSAT (TO)
3=2
TT198=0.68
T216.37
MSAT (TO)
3=2
TT=02.14r>TTr>T1.9507
MSAT (TO)
3=1
TT=3600804

MSAT (TO)
3=1
TT=3600607

OPTIMUM
3=2
T1.42.83
T1.21r>
T1=7.8

TT=3600.09

8225"tr154253">OPTIMUM
3=2
T1.52455
T113533
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
csos-taillard-5ts/
normalizeos-taillard-5-95-5-5.xml
MOPT
3=2
T21634r>TTr>T1.45r>
MSAT (TO)
4=2
TT=22.4218
T801905
MSAT (TO)
4=2
T1589.8418
T8=0.89
MSAT (TO)
4=2
TT=3600905

MSAT (TO)
4=1
TT=3600.07

T1=7.8

TT=3600.09

8225"tr118280">OPTIMUM
3=2
T2.92.83
T2=..68
OPTIMUM
3=2
T2.634r>TTr>T1.45r>
csos-taillard-5ts/
normalizeos-taillard-5-95-8-2.xml
MOPT
5=2
T2.15918
T1=5207
MSAT (TO)
5=2
TT=03.1677
T4.43r>
MSAT (TO)
5=2
TT=05.4417
T4.09r>
MSAT (TO)
5=2
TT=3600.01

MSAT (TO)
5=1
TT=3600503

OPTIMUM
5=1
TT.047r>TTr>T1.3568
OPTIMUM
5=1
T2.15918
T1=5207
csos-taillard-5ts/
normalizeos-taillard-5-95-9-5.xml
MOPT
4=1
T2.12316
T1.9507
MSAT (TO)
4=2
TT=17.1107
T3.54r>
MSAT (TO)
4=2
T1599.2684
T3.45r>
MSAT (TO)
4=1
TT=3600.01

MSAT (TO)
4=2
TT=3600207

T1=7.8

TT=3600.09

8225"tr112879">OPTIMUM
4=2
TT.2.701
T300.03
OPTIMUM
4=1
T2.12316
T1.9507
csos-taillard-7ts/
normalizeos-taillard-7-95-4-2.xml
MOPT
3=2
T8=05771
T877.64

TT=3600.09

8225"tr191473">MSAT (TO)
6=2
T1599.4.35
T15=13r>

TT=3600.09

8225"tr191373">MSAT (TO)
6=2
T1=3605881
T1=18.16
MSAT (TO)
6=2
TT=3600803

MSAT (TO)
6=2
TT=3600905

OPTIMUM
3=2
T13..243
T13.189
OPTIMUM
3=2
T8=05771
T877.64
csos-taillard-7ts/
normalizeos-taillard-7-95-7-5.xml
MOPT
4=1
T7141918
T6=0.89
MSAT (TO)
5=2
TT=21=07r>
T42077r>
MSAT (TO)
5=2
TT=19.4218
T39.9507
MSAT (TO)
5=2
TT=3600.07

MSAT (TO)
6=2
TT=3600.01

T1=7.8

TT=3600.09

8225"tr190474">OPTIMUM
4=2
TT5.06.35
T9=7.62
OPTIMUM
4=2
T7141918
T6=0.89
csos-taillard-7ts/
normalizeos-taillard-7-95-8-2.xml
MOPT
3=2
T7.92881
T7=0.69
MSAT (TO)
5=2
TT=5500207
T38.1.62
MSAT (TO)
5=2
TT=71.4.35
TT5.8507
MSAT (TO)
6=2
TT=3600803

MSAT (TO)
6=2
TT=3600503

OPTIMUM
3=2
T20.15881
T1955.83
OPTIMUM
3=2
T7.92881
T7=0.69
csos-taillard-7ts/
normalizeos-taillard-7-95-9-5.xml
MOPT
3=2
T13.74218
T13=5207
MSAT (TO)
6=2
T1=2.83
T19.5r>
MSAT (TO)
6=2
T1576.9317
T18.4r>
MSAT (TO)
6=2
TT=3600803

MSAT (TO)
7=2
TT=3600207

T1=7.8

TT=3600.09

8225"tr191280">OPTIMUM
3=2
T18.50.05
T18=0.18
OPTIMUM
3=2
T13.74218
T13=5207
cspigeonsts/
normalizepigeons-1110.xml
MOPT
f=1
T2169.01
T0.53r>
MSAT (TO)
f=1
TT647=8207
T0.58r>
MSAT (TO)
f=1
TT647=1.01
T0.53r>
abr>
MSAT (TO)
f=1
TT=3600.07

MSAT (TO)
1=2
TT=360103

OPTIMUM
f=1
T2169.01
T0.99r>
T1=7.8

TT=3600.09

8225"tr179546">OPTIMUM
f=1
T3019.01
T0.9.68
cspigeonsts/
normalizepigeons-1310.xml
MOPT
f=1
T75..2218
T0.53r>
MSAT (TO)
f=1
TT639.218
T0.61r>
MSAT (TO)
f=1
TT652.4601
T0.53r>
abr>
MSAT (TO)
f=1
TT=3600.04

MSAT (TO)
f=1
TT=3600603

OPTIMUM
f=1
T75..2218
T1.4218
T1=7.8

TT=3600.09

8225"tr175946">OPTIMUM
f=1
T87.30455
T111807
cspigeonsts/
normalizepigeons-1410.xml
MOPT
f=1
T50.=13r>
T0.5207
MSAT (TO)
f=2
T1=28.6601
T0.57r>
MSAT (TO)
f=1
TT643.4845
T0=5207
MSAT (TO)
f=1
TT=3600.07

MSAT (TO)
f=1
TT=3600.04

T1=7.8

TT=3600.09

8225"tr174854">OPTIMUM
f=1
T649.36155
T1136r>
OPTIMUM
f=1
T50.=13r>
T112.33
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
cspigeonsts/
normalizepigeons-16-4.xml
MSAT TO
f=1
TT636.1845
T0=4867
MSAT (TO)
f=1
TT636.1845
T0=4867
MSAT (TO)
f=1
TT649./td> r>T0.57r>
MSAT (TO)
f=1
TT=3600.07

MSAT (TO)
f=1
TT=3600603

MSAT (TO)
f=1
TT=3600518
T1=54r>
MSAT (TO)
f=1
TT=3600.07
T1.4607
cspigeonsts/
normalizepigeons-30-ord10.xml
MOPT
f=1
T7.18301
T0.99r>
OPTIMUM
f=1
T297=48.01
T0.99r>
MSAT (TO)
f=1
TT60.=3301
T0.99r>

TT=3600.09

8225"tr178545">MSAT (TO)
f=1
TT=3600803

MSAT (TO)
f=1
TT=3600.01

T1=7.8

TT=3600.09

8225"tr179046">OPTIMUM
f=1
TT6=42.05
T14796r>
OPTIMUM
f=1
T7.18301
T7.1107
cspigeonsts/
normalizepigeons-30-4.xml
MSAT TO
f=1
TT634.1677
T1=07r>
MSAT (TO)
f=1
TT651.6601
T0.87r>
MSAT (TO)
f=1
TT634.1677
T1=9189

TT=3600.09

8225"tr176788">MSAT (TO)
f=1
TT=3600903

MSAT (TO)
f=1
TT=3600.01

MSAT (TO)
f=1
TT=3600903
T5=15r>
MSAT (TO)
1=2
TT=360103
T1.8707
cspigeonsts/
normalizepigeons-35-7.xml
MSAT TO
1=2
T1=29=3301
T0.78r>
MSAT (TO)
f=1
TT639.5301
T0.78r>
MSAT (TO)
f=1
TT629=3301
T0.88r>
MSAT (TO)
1=2
TT=3603

MSAT (TO)
f=1
TT=3600903

MSAT (TO)
f=1
TT=3600.04
T7=0.69
MSAT (TO)
f=1
TT=3601845
T4.2784
cspigeonsts/
normalizepigeons-40-4.xml
MSAT TO
f=1
TT651.3845
T0=9784
MSAT (TO)
f=2
T1=54.4218
T0298r>
MSAT (TO)
f=1
TT651.3845
T0=9784
MSAT (TO)
f=1
TT=3600603

MSAT (TO)
1=2
TT=3603

MSAT (TO)
f=1
TT=3600218
T13=81r>
MSAT (TO)
f=1
TT=3601845
T5=7.62
cspigeonsts/
normalizepigeons-50-7.xml
MSAT TO
1=2
T1=54.7445
T0=9784
MSAT (TO)
1=2
TT=75.218
T1.17r>
MSAT (TO)
f=2
T1=54.7445
T0=9784
MSAT (TO)
f=1
TT=3600.01

MSAT (TO)
f=1
TT=3600.04

MSAT (TO)
f=1
TT=3600518
T31141r>
MSAT (TO)
f=1
TT=3601318
T8=0784
cspigeonsts/
normalizepigeons-810.xml
MOPT
f=1
T0.933td> r>T0.57r>
OPTIMUM
f=1
T36.7445
T0=57r>
T1=7.8

TT=3600.09

8225"tr178146">OPTIMUM
f=1
T42.5.207
T0.58r>
MSAT (TO)
f=1
TT=3600.04

MSAT (TO)
f=1
TT=3600518

T1=7.8

TT=3600.09

8225"tr178254">OPTIMUM
f=1
T1=0.301
T0.9r>
OPTIMUM
f=1
T0.933td> r>T0.7807
cspseudo/mpsts/
normalizemps-diamond10.xml
MOPT
f=1
T0.55.01
T0.43r>
T1=7.8

TT=3600.09

8225"tr005254">OPTIMUM
f=1
T3.29307
T0.58r>
T1=7.8

TT=3600.09

8225"tr005154">OPTIMUM
f=1
T3.27907
T0.58r>
TT=3600.02

TT=3600303

OPTIMUM
f=1
T0.55.01
T0.43r>
T1=7.8

TT=3600.09

8225"tr005273">OPTIMUM
f=1
T0.56.77
T0.4417
csqueenAttackingts/
normalizequeenAttacking-310.xml
MOPT
f=1
T100603
T0.58r>
OPTIMUM
f=1
T31143607
T0.58r>
OPTIMUM
f=1
T31150107
T0.58r>
MSAT (TO)
f=1
TT=3600.03

MSAT (TO)
f=1
TT=3600.01

T1=7.8

TT=3600.09

8225"tr253688">OPTIMUM
f=1
T1==6355
T1r>
OPTIMUM
f=1
T1=0601
T0.9r>
csqueenAttackingts/
normalizequeenAttacking-410.xml
MOPT
f=1
T2117907
T0.63r>
T1=7.8

TT=3600.09

8225"tr252854">OPTIMUM
f=1
T67=47.02
T0.68r>
OPTIMUM
f=1
T80.59507
T0.63r>
MSAT (TO)
f=1
TT=3600.03

MSAT (TO)
f=1
TT=3600518

OPTIMUM
f=1
T2117907
T1.6601
T1=7.8

TT=3600.09

8225"tr252954">OPTIMUM
f=1
T2175203
T1.1807
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
csqueensKnightsts/
normalizequeensKnights-h=1-5-add-4.xml
MSAT TO
f=1
TT=3600607

?

T275.97502

?

T259.23818

MSAT (TO)
f=1
TT=3600.07

MSAT (TO)
f=1
TT=3600603

T88136r>

T90.71307

csqueensKnightsts/
normalizequeensKnights-h=1-5-mul-7.xml
MSAT TO
1=2
TT=3600.02

?

T3881412r>

?

T364.143r>

MSAT (TO)
f=1
TT=3600218

MSAT (TO)
f=1
TT=3600603

T103.548r>

T103.512r>
csqueensKnightsts/
normalizequeensKnights-h=-5-mul-7.xml
MOPT
f=1
T10771td> r>T0.57r>
OPTIMUM
f=1
T33.82445
T0=57r>
T1=7.8

TT=3600.09

8225"tr221154">OPTIMUM
f=1
T34006402
T0.68r>

TT=3600.09

8225"tr220945">MSAT (TO)
f=1
TT=3600803

MSAT (TO)
f=1
TT=3600218

T1=7.8

TT=3600.09

8225"tr221254">OPTIMUM
f=1
T1=95218
T1.69r>
OPTIMUM
f=1
T1=771td> r>T1=5207
csqueensKnightsts/
normalizequeensKnights-h2-5-mul-7.xml
MOPT
f=1
T1076502
T0.68r>
OPTIMUM
f=1
T36.7802
T0.68r>
T1=7.8

TT=3600.09

8225"tr222369">OPTIMUM
f=1
T37.38.01
T0.77r>

TT=3600.09

8225"tr222188">MSAT (TO)
f=1
TT=3600903

MSAT (TO)
f=1
TT=3600.04

OPTIMUM
f=1
T1=76502
T1.45r>
T1=7.8

TT=3600.09

8225"tr222588">OPTIMUM
f=1
T1=91316
T1.7.64
csqueensKnightsts/
normalizequeensKnights-2=-5-mul-7.xml
MOPT
f=1
T3136418
T0298r>
OPTIMUM
f=1
T76.17618
T0298r>
T1=7.8

TT=3600.09

8225"tr222954">OPTIMUM
f=1
T79=33455
T1116r>

TT=3600.09

8225"tr222745">MSAT (TO)
f=1
TT=3600803

MSAT (TO)
f=1
TT=3600.04

T1=7.8

TT=3600.09

8225"tr223254">OPTIMUM
f=1
T4=76502
T4.1.62
OPTIMUM
f=1
T3.36418
T2.9r>
csqueensKnightsts/
normalizequeensKnights-51-5-add-4.xml
MOPT
f=1
T2>v1.881
T7=2r>
MSAT (TO)
f=2
T1=67.71td> r>T7=2r>

TT=3600.09

8225"tr220546">MSAT (TO)
f=2
T1=69.91td> r>T7=81r>
MSAT (TO)
f=1
TT=3600518

MSAT (TO)
f=1
TT=3600518

T1=7.8

TT=3600.09

8225"tr220854">OPTIMUM
f=1
T56.45355
T51.2784
OPTIMUM
f=1
T2>v1.881
T17.2784
csqueensKnightsts/
normalizequeensKnights-81-5-add-4.xml
MOPT
f=1
T75.0677
T4.7.64
?
f=1
T669.19777
T4.7.64
?
f=2
T104905881
T600218
MSAT (TO)
f=1
TT=3600603

MSAT (TO)
f=1
TT=3600903

T1=7.8

TT=3600.09

8225"tr223854">OPTIMUM
f=1
T577.03455
T52618.16
OPTIMUM
f=1
T75.0677
T72.94r>
csqueensKnightsts/
normalizequeensKnights-81-5-mul-7.xml
MOPT
f=1
T974298718
T3112684
MS>?
f=2
T1197=15r>
T33.49r>
MS>?
f=2
T1137.4518
T3112684
abr>
MSAT (TO)
1=2
TT=360103

MSAT (TO)
f=1
TT=3600.04

OPTIMUM
f=1
T974298718
T90655.83
MSATM(TO)
f14=2
T45./td> r>T45.2784
csqueensKnightsts/
normalizequeensKnights-8-5-add-4.xml
MOPT
f=1
T1.272td> r>T0.57r>
OPTIMUM
f=1
T31192245
T0=57r>
OPTIMUM
f=1
T31193245
T0=57r>
MSAT (TO)
f=1
TT=3600603

MSAT (TO)
f=1
TT=3600603

T1=7.8

TT=3600.09

8225"tr219046">OPTIMUM
f=1
TT.27318
T1=0.37
OPTIMUM
f=1
T1.272td> r>T1.09r>
csqueensKnightsts/
normalizequeensKnights-8-5-mul-7.xml
MOPT
f=1
T1064702
T0.68r>
OPTIMUM
f=1
T32.21902
T0.68r>
OPTIMUM
f=1
T32.20107
T0.68r>

TT=3600.09

8225"tr219745">MSAT (TO)
f=1
TT=3600803

MSAT (TO)
f=1
TT=3600603

T1=7.8

TT=3600.09

8225"tr220246">OPTIMUM
f=1
T1.66502
T1.45r>
OPTIMUM
f=1
T1.64.07
T1.4.33
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
csrlfapGraphsModts/
normalizegraph12-w1-4.xml
MOPT
8=1
T58.58905
T1471507
MSAT (TO)
8=1
TT640.7802
T32175r>
MSAT (TO)
8=1
TT64700.07
T32171r>
MSAT (TO)
8=1
TT=3600603

MSAT (TO)
f6=2
TT=3600207

T1=7.8

TT=3600.09

8225"tr156246">OPTIMUM
8=1
T63.29918
T63.1107
OPTIMUM
8=1
T58.58905
T1471507
csrlfapGraphsModts/
normalizegraph13-w1-4.xml
MOPT
9r>
T277.94r>
T277141r>
MSAT (TO)
f2=2
T1=57.2907
T32114r>
MSAT (TO)
f2=2
T1=46.2684
T35.5r>
MSAT (TO)
9=1
TT=3600.07

MSAT (TO)
f9=1
TT=3600.07

OPTIMUM
9r>
T277.94r>
T277141r>
T1=7.8

TT=3600.09

8225"tr156754">OPTIMUM
9r>
T293..27r>TTr>T19218.16
csrlfapGraphsModts/
normalizegraph14-f28-4.xml
MSAT TO
f6=2
TT=3600803

MSAT (TO)
70=2
T1=81.3245
T43.63r>
MSAT (TO)
70=2
T1=68.7802
T40.9r>
MSAT (TO)
f6=2
TT=3600807

MSAT (TO)
69=1
TT=3600.04

T69.1904

T69.34907

csrlfapGraphsModts/
normalizegraph8-f1110.xml
MSAT TO
5=2
TT=360318
T869.79r>
MSAT (TO)
30=2
T1=61.1.62
T27.65r>
MSAT (TO)
30=2
T1=53.502
T28-32r>
MSAT (TO)
f4=2
TT=3603

MSAT (TO)
34=2
TT=3600303

MSAT (TO)
5=2
TT=360318
T869.79r>
csrlfapGraphsModts/
normalizegraph9-f10-4.xml
MSAT TO
f9=1
TT=3600.01

MSAT (TO)
52=2
T1=84.3607
T49054r>
MSAT (TO)
52=2
T1=76.6502
T53.43r>
MSAT (TO)
f9=1
TT=3600103

MSAT (TO)
39=2
TT=3600807

T92.05507

T90.45355

csrlfapGraphsts/
normalizegraph1110.xml
MSAT TO
26=1
TT=3600.07

MSAT (TO)
44=2
T1=76.43td> r>T45.44r>
MSAT (TO)
44=2
T1=55.5218
T44.9317
MSAT (TO)
26=1
TT=3600.07

MSAT (TO)
f94=2
TT=360103

MSAT (TO)
310=2
TT=3602118
T3147.31r>
csrlfapGraphsts/
normalizegraph6-4.xml
MOPT
f0=1
T586.98455
T586.784
MSAT (TO)
20=2
T1=20.31r>
T15.25r>
MSAT (TO)
20=2
T1=28.72r>
T15.19r>
MSAT (TO)
ff=1
TT=3600.01

MSAT (TO)
55=1
TT=3600.07

T1=7.8

TT=3600.09

8225"tr109454">OPTIMUM
f0=2
T83618.7r>TTr>T708.53r>
abr>
OPTIMUM
f0=2
T586.98455
T586.784
csrlfapGraphsts/
normalizegraph7-7.xml
MOPT
f0=2
T245.57618
T225.2907
MSAT (TO)
f9=1
T1=46.455
T19.2907
MSAT (TO)
f9=1
T1=3119955
T19.2807
MSAT (TO)
f0=1
TT=3600.07

MSAT (TO)
60=1
TT=3600.01

T1=7.8

TT=3600.09

8225"tr108254">OPTIMUM
f0=1
TT86.80802
T35055.83
OPTIMUM
f0=1
T245.57618
T225.2907
csrlfapScens11ts/
normalizescen11-f10-4.xml
MSAT TO
f7=2
TT=3603955
T786.455
MSAT (TO)
26=1
T1=2300218
T2306807
MSAT (TO)
26=1
T1=32.6355
T25.307
MSAT (TO)
27=1
TT=3600.07

MSAT (TO)
20=1
TT=3600518

MSAT (TO)
f7=2
TT=3603955
T786.455
T64.09655

csrlfapScens11ts/
normalizescen11-f1210.xml
MSAT TO
20=1
TT=3603245
T3193.5907
MSAT (TO)
28=1
TT672.5301
T4102118
MSAT (TO)
28=1
TT680.91td> r>T44.1307
MSAT (TO)
35=2
TT=3603

MSAT (TO)
29=1
TT=3600903

MSAT (TO)
20=1
TT=3603245
T3193.5907
T75.08907

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
csrlfapScens11ts/
normalizescen11-f1-4.xml
MOPT
2=2
T1525.2245
T872.284
MSAT (TO)
4=2
T1=35.7802
T7.1r>
MSAT (TO)
4=2
T1=30298r>
T605907
MSAT (TO)
2=1
TT=3600.01

MSAT (TO)
2=1
TT=3600703

OPTIMUM
2=2
T1525.2245
T872.284
csrlfapScens11ts/
normalizescen11-f2-7.xml
MOPT
2=2
T148801845
T23096r>
MSAT (TO)
2=2
T1=36.6418
T23796r>
MSAT (TO)
2=2
T1=5601845
T25=81r>
MSAT (TO)
2=1
TT=3600903

MSAT (TO)
2=1
TT=3600703

OPTIMUM
2=2
T148801845
T833.77r>
T67.261r>
csrlfapScens11ts/
normalizescen11-f3-4.xml
MSAT TO
3=2
T1=35.15r>
T10.69r>
MSAT (TO)
3=1
T2>35.45r>
T10.81r>
MSAT (TO)
3=1
T1=35.15r>
T10.69r>
MSAT (TO)
3=1
TT=3600603

MSAT (TO)
3=1
TT=3600.07

MSAT (TO)
3=1
TT=3604218
T786.1684
csrlfapScens11ts/
normalizescen11-f410.xml
MSAT TO
3=1
T1=52.7318
T38.17r>
MSAT (TO)
3=1
T1=52.7318
T38.17r>
MSAT (TO)
3=1
T1=5819955
T40.56r>
MSAT (TO)
3=1
TT=3600807

MSAT (TO)
3=1
TT=3600.04

MSAT (TO)
4=2
TT=3603455
T710.37r>
MSATM(TO)
438=2
T69.168r>
T61=5207
csrlfapScens11ts/
normalizescen11-f5-4.xml
MSAT TO
3=2
T1=36.3518
T23062r>
MSAT (TO)
3=1
T1=36.3518
T23062r>
MSAT (TO)
3=1
T1=51.09r>
T25=91r>
MSAT (TO)
4=1
TT=3600.07

MSAT (TO)
3=1
TT=3600.01

MSAT (TO)
3=1
TT=3602907
T849.69r>
csrlfapScens11ts/
normalizescen11-f610.xml
MSAT TO
6=1
TT=3600603
T766298r>
MSAT (TO)
f0=1
T1=3404218
T20.79r>
MSAT (TO)
f0=1
T1=4702118
T19.76r>
MSAT (TO)
7=1
TT=3600518

MSAT (TO)
6=1
TT=3600603

MSAT (TO)
6=1
TT=3603518
T766298r>
Tb=1.966r>
csrlfapScens11ts/
normalizescen11-f7-4.xml
MSAT TO
5=2
TT=3603318
T79302118
MSAT (TO)
8=1
TT694.7907
T39.9317
MSAT (TO)
8=1
TT668.8455
T39.96r>
MSAT (TO)
9=1
TT=3600903

MSAT (TO)
9=1
TT=3600118

MSAT (TO)
5=2
TT=3603318
T79302118
T78199955

csrlfapScens11ts/
normalizescen11-f810.xml
MSAT TO
7=1
TT=3603245
T90703455
MSAT (TO)
ff=1
T1=36.6118
T2618r>
MSAT (TO)
ff=1
T1717.6418
T2500518
MSAT (TO)
f6=2
TT=3600603

MSAT (TO)
f2=2
TT=3600118

MSAT (TO)
7=1
TT=3603245
T90703455
T740464r>
csrlfapScens11ts/
normalizescen11-f9-4.xml
MSAT TO
8=1
TT=36027r>TTr>T944.99r>
MSAT (TO)
f0=1
TT694.107
T84.47r>
MSAT (TO)
f0=1
TT69602907
T9202118
MSAT (TO)
f7=2
TT=3607

MSAT (TO)
f6=2
TT=3600903

MSAT (TO)
8=1
TT=36027r>TTr>T944.99r>
csrlfapScensModts/
normalizescen10-w1-f3-4.xml
MOPT
f=1
T13.86316
T13.72r>
MSAT (TO)
2=2
T1=41.15r>
T2600218
MSAT (TO)
2=2
T1=2900518
T2306918
MSAT (TO)
f=1
TT=3600518

MSAT (TO)
f6=2
TT=3600518

T1=7.8

TT=3600.09

8225"tr259654">OPTIMUM
f=1
T34.62245
T32.09r>
OPTIMUM
f=1
T13.86316
T13.72r>
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
csrlfapScensModts/
normalizescen1-f9-4.xml
MSAT TO
2=1
TT=3600.07

MSAT (TO)
f2=2
T1=65.15r>
T23071r>
MSAT (TO)
f2=2
T1=55.7618
T23.82r>
MSAT (TO)
2=1
TT=3600703

MSAT (TO)
ff=1
TT=3600.04

T106.28.04

T105.84655

csrlfapScensModts/
normalizescen2-f25-7.xml
MOPT
2=2
T12.63302
T1.45r>
MSAT (TO)
2=2
T1=19.8455
T1.45r>
MSAT (TO)
2=2
T1=1102118
T1.45r>
MSAT (TO)
2=1
TT=3600.01

MSAT (TO)
2=1
TT=3600807

T1=7.8

TT=3600.09

8225"tr258446">OPTIMUM
2=2
T36.19384
T35.8.16
OPTIMUM
2=2
T12.63302
T11.96r>
csrlfapScensModts/
normalizescen3-f1110.xml
MOPT
f=1
T43.82845
T43.2118
MSAT (TO)
f2=2
T1=2607118
T2619918
MSAT (TO)
f2=2
T1=38.2245
T290218
MSAT (TO)
3=1
TT=3600.04

MSAT (TO)
ff=1
TT=3600307

T1=7.8

TT=3600.09

8225"tr257854">OPTIMUM
f=1
T352.93607
T32616807
OPTIMUM
f=1
T43.82845
T43.2118
csrlfapScensModts/
normalizescen6-w1-f2-4.xml
MOPT
f=1
T4.30477
T4.0307
MSAT (TO)
f=2
T1=17.1307
T18.1.62
MSAT (TO)
f=2
T1=03.8955
T1616762
MSAT (TO)
f=1
TT=3600304

MSAT (TO)
f=1
TT=3600107

T1=7.8

TT=3600.09

8225"tr256654">OPTIMUM
f=1
T5.33607
T5=0.37
OPTIMUM
f=1
T4=30477
T4.0307
csrlfapScensModts/
normalizescen9-w1-f3-4.xml
MOPT
f=1
T13.48955
T1307
MSAT (TO)
2=2
T1=4900603
T25-53r>
MSAT (TO)
2=2
T1=47.91td> r>T23075r>
MSAT (TO)
f=1
TT=3600518

MSAT (TO)
f5=1
TT=3600603

T1=7.8

TT=3600.09

8225"tr257288">OPTIMUM
f=1
T34.26355
T31.4.16
OPTIMUM
f=1
T13.48955
T1307
csrlfapScensts/
normalizescen1010.xml
MSAT TO
67=1
TT=3600304

MSAT (TO)
1f5=1
T1=5609607
T37071r>
MSAT (TO)
1f5=1
T1=72.94r>
T37032r>
MSAT (TO)
67=1
TT=3600304

MSAT (TO)
f45=1
TT=3600.01

MSAT (TO)
f96=2
TT=3603455
T2403.55r>
csrlfapScensts/
normalizescen6-4.xml
MSAT TO
29=1
TT=3600603

MSAT (TO)
32=2
T1=3703455
T62r>
MSAT (TO)
32=2
T1=66297r>TTr>T6704.16
MSAT (TO)
29=1
TT=3600603

MSAT (TO)
37=1
TT=3600518

MSAT (TO)
56=1
TT=3600304
T56.55r>
MSAT (TO)
95=1
TT=3601307
T376.79r>
csrlfapScensts/
normalizescen710.xml
MSAT TO
56=2
TT=3600803

MSAT (TO)
fff=1
T1=5303245
T34.43r>
MSAT (TO)
fff=1
T1=32.2645
T34.04r>
MSAT (TO)
56=1
TT=3600818

MSAT (TO)
79=1
TT=3600.01

MSAT (TO)
452=1
TT=3601845
T170.7802
MSAT (TO)
268=1
TT=3602118
T3377.31r>
csrlfapScensts/
normalizescen8-4.xml
MSAT TO
f39=1
TT=3600.07

MSAT (TO)
255=1
T1706.502
T110=9r>
MSAT (TO)
255=1
T172619455
T116.2784
MSAT (TO)
f39=1
TT=3600.07

MSAT (TO)
222=1
TT=3600.04

T108.56r>

T104.5355

csrlfapScensts/
normalizescen910.xml
MSAT TO
68=1
TT=3600603

MSAT (TO)
1f5=1
T1=58.44r>
T39.75r>
MSAT (TO)
1f5=1
T1=9703245
T37.1r>
MSAT (TO)
68=1
TT=3600603

MSAT (TO)
f41=1
TT=3600.01

MSAT (TO)
f96=2
TT=3603455
T2401.1107
MSATM(TO)
842=2
T116164316
T104.71r>
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
cssubsts/
normalizescen06-sub0-4.xml
MOPT
6=1
T4=25218
T1.2645
MSAT (TO)
6=1
T1589.118
T1.2645
MSAT (TO)
6=1
T160819955
T1.3845
MSAT (TO)
6=1
TT=3600304

MSAT (TO)
6=2
TT=360103

T1=7.8

TT=3600.09

8225"tr413888">OPTIMUM
6=1
T5.62707
T5=42r>
OPTIMUM
6=1
T4=25218
T471507
cssubsts/
normalizescen06-sub110.xml
MSAT TO
2f=1
T1=62.5301
T60.25r>
MSAT (TO)
2f=1
T1=62.5301
T60.25r>
MSAT (TO)
22=2
T1=22.44r>
T3206807
MSAT (TO)
21=1
TT=3600.01

MSAT (TO)
21=1
TT=3600601

MSAT (TO)
38=1
TT=3600304
T3=9r>
MSAT (TO)
34=2
TT=3600955
T742=91r>
cssubsts/
normalizescen06-sub2-4.xml
MSAT TO
2f=2
T1=12.19r>
T31.7784
MSAT (TO)
22=2
T1569.8455
T1.95r>
MSAT (TO)
2f=2
T1=12.19r>
T31.7784
MSAT (TO)
21=1
TT=3600401

MSAT (TO)
21=1
TT=3600.01

MSAT (TO)
41=1
TT=3600401
T14.6118
MSAT (TO)
49=1
TT=3601.62
T1344-53r>
cssubsts/
normalizescen06-sub310.xml
MSAT TO
23=1
TT=3600.07

MSAT (TO)
24=2
T1=06.3845
T1.75r>
MSAT (TO)
24=2
T159503245
T116762
MSAT (TO)
23=1
TT=3600703

MSAT (TO)
23=1
TT=360.01

MSAT (TO)
35=2
TT=3600518
T1543.04r>
MSAT (TO)
27=1
TT=3601.62
T685062r>
cssubsts/
normalizescen06-sub4-4.xml
MSAT TO
23=1
TT=3600.04

MSAT (TO)
27=1
T1=15.6502
T2=0.37
MSAT (TO)
27=1
T159400518
T200601
MSAT (TO)
23=1
TT=3600403

MSAT (TO)
23=1
TT=3600401

MSAT (TO)
26=1
TT=3600304
T24004.16
MSAT (TO)
52=2
TT=360.01
T36601845
cssubsts/
normalizescen07-sub110.xml
MSAT TO
17=2
T159505218
T474445
MSAT (TO)
f7=2
T159509955
T4.44r>
MSAT (TO)
f7=2
T159505218
T4754r>
MSAT (TO)
f7=1
TT=3600401

MSAT (TO)
f7=1
TT=3600601

MSAT (TO)
f7=1
TT=36009r>
T3575.85r>
MSAT (TO)
f7=1
TT=36011td> r>T2183.2807
cssubsts/
normalizescen07-sub2-4.xml
MOPT
f7=1
TT36805907
T9.1684
MSAT (TO)
f7=2
T1598.7618
T90218
MSAT (TO)
f7=1
T1=1801.62
T9.1684
MSAT (TO)
f7=1
TT=3600201

MSAT (TO)
f7=1
TT=3600201

OPTIMUM
f7=1
TT36805907
T783.79r>
MSAT (TO)
17=2
TT=3600518
T1508.13r>
cssubsts/
normalizescen07-sub310.xml
MSAT TO
f9=1
T1=09.4845
T46.24r>
MSAT (TO)
f9=1
T1=09.4845
T46.7318
MSAT (TO)
f9=1
T1=25.17r>
T46.24r>
MSAT (TO)
f9=1
TT=3600304

MSAT (TO)
19=1
TT=3600903

MSAT (TO)
22=1
TT=36009r>
T2844.307
MSAT (TO)
28=1
TT=3601.62
T4.6418
cssubsts/
normalizescen07-sub4-4.xml
MSAT TO
f9=1
T1=07.5r>
T10.22r>
MSAT (TO)
f9=1
T1=07.5r>
T10.22r>
MSAT (TO)
f9=1
T1=1800316
T10298r>
MSAT (TO)
f9=1
TT=3600304

MSAT (TO)
f9=1
TT=3600304

MSAT (TO)
36=1
TT=3600818
T5=85r>
MSAT (TO)
29=1
TT=36008r>
T67805818
cssuper-jsssuper-js-taillard-15ts/
normalizesuper-js-taillard-15-2210.xml
MSAT TO
51=1
TT=3600304

MSAT (TO)
5f=1
TT=3600304

MSAT (TO)
85=2
TT=3603

Tb=9.50818

Tb=3.87307

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
cssuper-jsssuper-js-taillard-15ts/
normalizesuper-js-taillard-15-23-4.xml
MSAT TO
48=2
TT=3600803

MSAT (TO)
48=2
TT=3600803

MSAT (TO)
82=1
TT=3600.04

Tb=3.02.04

Tb=6.23855

cssuper-jsssuper-js-taillard-15ts/
normalizesuper-js-taillard-15-3010.xml
MSAT TO
51=1
TT=3600203

MSAT (TO)
5f=1
TT=3600203

MSAT (TO)
9f=1
TT=3600.04

T334.80903

T122=0.6r>
cssuper-jsssuper-js-taillard-20-15ts/
normalizesuper-js-taillard-20-15-24-4.xml
MSAT TO
89=1
TT=3600.07

MSAT (TO)
89=1
TT=3600.07

MSAT (TO)
f41=1
TT=3600818

cssuper-osssuper-os-taillard-10ts/
normalizesuper-os-taillard-10-24-4.xml
MSAT TO
33=1
TT=3600304

MSAT (TO)
33=1
TT=3600304

MSAT (TO)
36=2
TT=3600603

MSAT (TO)
85=2
TT=3602118
T16002118
MSAT (TO)
f20=2
TT=3603318
T49.7784
cssuper-osssuper-os-taillard-15ts/
normalizesuper-os-taillard-15-27-4.xml
MSAT TO
56=1
TT=3600304

MSAT (TO)
56=1
TT=3600304
MSAT (TO)
58=1
TT=3600903

cssuper-osssuper-os-taillard-20ts/
normalizesuper-os-taillard-20-2710.xml
MSAT TO
90=1
TT=3600.07

MSAT (TO)
90=1
TT=3600.07

MSAT (TO)
f18=1
TT=3600818

cssuper-osssuper-os-taillard-20ts/
normalizesuper-os-taillard-20-29-4.xml
MSAT TO
94=1
TT=3600304

MSAT (TO)
94=1
TT=3600304

MSAT (TO)
1f5=1
TT=3600203

cssuper-osssuper-os-taillard-4ts/
normalizesuper-os-taillard-4-5-7.xml
MOPT
3=1
T13.35304
T3=02r>
MSAT (TO)
3=1
T1=04.2707
T300218
MSAT (TO)
3=2
T1581.49r>
T3.35r>
MSAT (TO)
3=1
TT=3600903

MSAT (TO)
3=1
TT=3600703

T1=7.8

TT=3600.09

8225"tr248446">OPTIMUM
3=1
T1=.26955
T1611r>
OPTIMUM
3=1
T13.35304
T13.24r3
cssuper-osssuper-os-taillard-4ts/
normalizesuper-os-taillard-4-8-4.xml
MOPT
3=1
T9.74745
T1156r>
MSAT (TO)
3=1
T160815845
T1156r>
MSAT (TO)
3=1
T160902118
T116762
MSAT (TO)
3=1
TT=3600903

MSAT (TO)
3=1
TT=3600518

OPTIMUM
3=1
T9.74745
T9754r>
T1=7.8

TT=3600.09

8225"tr247754">OPTIMUM
3=1
T13.39304
T13.2r>
cssuper-osssuper-os-taillard-5ts/
normalizesuper-os-taillard-5-1-7.xml
MOPT
3=1
T411029607
T411002r>
MSAT (TO)
6=1
T1597.5107
T8.23r>
MSAT (TO)
6=1
T161106807
T8.39r>
MSAT (TO)
3=1
TT=3600603

MSAT (TO)
6=2
TT=3600203

T1=7.8

TT=3600.09

8225"tr244854">OPTIMUM
3=1
T428.10107
T427.88r>
OPTIMUM
3=1
T411029607
T411002r>
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
cssuper-osssuper-os-taillard-5ts/
normalizesuper-os-taillard-5-21-4.xml
MSAT TO
f1=1
TT=3600.04

MSAT (TO)
f2=2
T1=13.36r>
T31.3118
MSAT (TO)
f2=2
T1=460.01
T28.55r>
MSAT (TO)
11=1
TT=3600401

MSAT (TO)
f2=2
TT=3600.01

MSAT (TO)
16=2
TT=360.01
T48.39r>
MSAT (TO)
14=1
TT=3601.62
T1100818
cssuper-osssuper-os-taillard-5ts/
normalizesuper-os-taillard-5-4-4.xml
MSAT TO
3=1
TT=36009r>
T2503.36r>
MSAT (TO)
7=1
T1=0004.16
T8.6807
MSAT (TO)
7=1
T1=01.8716
T8.95r>
MSAT (TO)
9=1
TT=3600.07

MSAT (TO)
f2=2
TT=3600903

MSAT (TO)
4=1
TT=3600603
T534.46r>
MSAT (TO)
3=1
TT=3600903
T2503.36r>
cssuper-osssuper-os-taillard-5ts/
normalizesuper-os-taillard-5-5-4.xml
MSAT TO
3=2
TT=3600203
T2917.04r>
MSAT (TO)
ff=2
T1=0209607
T10.7802
MSAT (TO)
f1=1
T1=15.08r>
T9.83r>
MSAT (TO)
6=2
TT=3600.07

MSAT (TO)
9=1
TT=3600201

MSAT (TO)
3=1
TT=3600203
T2917.04r>
MSAT (TO)
3=1
TT=360.01
T3591.618
cssuper-osssuper-os-taillard-5ts/
normalizesuper-os-taillard-5-7-7.xml
MOPT
3=1
T645.598r>
T645.39r>
MSAT (TO)
6=1
T1596.08r>
T3.22r>
MSAT (TO)
6=1
T1=25.0304
T3=54r>
MSAT (TO)
3=1
TT=3600203

MSAT (TO)
9=1
TT=3600201

OPTIMUM
3=1
T645.598r>
T645.39r>
T1=7.8

TT=3600.09

8225"tr242388">OPTIMUM
3=1
T702072401
T702046r>
cssuper-osssuper-os-taillard-7ts/
normalizesuper-os-taillard-7-2-4.xml
MSAT TO
5=1
TT=36008r>
T104602307
MSAT (TO)
13=1
T167903318
T43.8716
MSAT (TO)
13=1
T163301845
T38.14r>
MSAT (TO)
f5=2
TT=3600803

MSAT (TO)
21=1
TT=3600201

MSAT (TO)
5=1
TT=36008r>
T104602307
MSAT (TO)
5=1
TT=360.62
T1123298r>
cssuper-osssuper-os-taillard-7ts/
normalizesuper-os-taillard-7-3010.xml
MSAT TO
16=2
TT=360.845
T3462.2r>
MSAT (TO)
18=1
T165600.07
T42.36r>
MSAT (TO)
18=1
T1659.6607
T45.14r>
MSAT (TO)
22=1
TT=3603

MSAT (TO)
25=1
TT=3600603

MSAT (TO)
44=1
TT=3600304
T48.19r>
MSAT (TO)
16=2
TT=360.845
T3462.2r>
cssuper-queensts/
normalizesuper-queens-11-4.xml
MOPT
3=1
T0.944r>
T0.55r>
T1=7.8

TT=3600.09

8225"tr263688">OPTIMUM
3=1
T310026r>
T0.6807
OPTIMUM
3=1
T30.891r>
T0.55r>

TT=3600.09

8225"tr263345">MSAT (TO)
3=1
TT=3600304

MSAT (TO)
3=1
TT=3600518

T1=7.8

TT=3600.09

8225"tr263854">OPTIMUM
3=1
T0.946r>
T0.82r>
OPTIMUM
3=1
T0.944r>
T0.8r>
cssuper-queensts/
normalizesuper-queens-13-7.xml
MOPT
4=1
TT47546r>
T0.62r>
MSAT (TO)
4=1
T1591.9r>
T0.62r>
T1=7.8

TT=3600.09

8225"tr267754">OPTIMUM
4=1
T638.256r>
T0.67r>

TT=3600.09

8225"tr267545">MSAT (TO)
4=1
TT=360.01

MSAT (TO)
4=1
TT=3600101

OPTIMUM
4=1
TT47546r>
T9.45r>
T1=7.8

TT=3600.09

8225"tr267945">OPTIMUM
4=1
T45.13245
T603318
cssuper-queensts/
normalizesuper-queens-1-4.xml
MOPT
4=1
TT088.74r>
T0.7802
MSAT (TO)
4=1
T1609014r>
T0.7802
MSAT (TO)
4=1
T1=01.3r>
T0.8802
MSAT (TO)
4=1
TT=3600803

MSAT (TO)
4=1
TT=360.01

OPTIMUM
4=1
TT088.74r>
T8600101
T1=7.8

TT=3600.09

8225"tr265545">OPTIMUM
4=1
TT564.83r>
T3564.6418
cssuper-queensts/
normalizesuper-queens-210.xml
MSAT TO
f1=1
T1=96.7618
T97.2902
MSAT (TO)
ff=2
T1714.7318
T97.2902
MSAT (TO)
f1=1
T1=96.7618
T104.8716
MSAT (TO)
f2=1
TT=3603

MSAT (TO)
20=2
TT=36006r>

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
cssuper-queensts/
normalizesuper-queens-3-4.xml
MSAT TO
4=1
T159409745
T111502
MSAT (TO)
4=1
T1598014r>
T171507
MSAT (TO)
4=1
T159409745
T1119r>
MSAT (TO)
4=1
TT=3600304

MSAT (TO)
4=1
TT=3600101

MSAT (TO)
6=2
TT=3600618
T471r>
MSAT (TO)
6=2
TT=36008r>
T3.5618
cssuper-queensts/
normalizesuper-queens-4-4.xml
MSAT TO
13=1
TT=3600304


TT=3600.09

8225"tr267245">MSAT (TO)
f7=2
T175401.62
T162.35r>
MSAT (TO)
f7=2
T1742=28r>
T161.9307
MSAT (TO)
13=1
TT=3600304

MSAT (TO)
29=1
TT=3600903

cssuper-queensts/
normalizesuper-queens-5-4.xml
MSAT TO
3=2
TT=3600304


TT=3600.09

8225"tr264245">MSAT (TO)
4=1
T1598008r>
T2=85r>
MSAT (TO)
4=1
T1=03=85r>
T300507
MSAT (TO)
3=1
TT=3600903

MSAT (TO)
3=1
TT=3600304

MSAT (TO)
5=1
TT=3600401
T223.42r>
MSAT (TO)
4=1
TT=360..62
T1972.8716
cssuper-queensts/
normalizesuper-queens-610.xml
MSAT TO
16=2
TT=3600803


TT=3600.09

8225"tr263045">MSAT (TO)
68=1
T1686098r>
T1686093r>
MSAT (TO)
86=1
T1733.2707
T3411r>
MSAT (TO)
f6=1
TT=3600803

MSAT (TO)
34=2
TT=36006r>

cssuper-queensts/
normalizesuper-queens-7-4.xml
MSAT TO
22=1
TT=3600604

MSAT (TO)
22=1
TT=3600604

MSAT (TO)
41=1
TT=360103

cssuper-queensts/
normalizesuper-queens-810.xml
MSAT TO
4=1
T1=00071r>
T2=87r>
MSAT (TO)
4=1
T1=00071r>
T3.2618
MSAT (TO)
4=1
T1=17.9304
T2.8716
MSAT (TO)
4=1
TT=3600403

MSAT (TO)
4=1
TT=3600504

MSAT (TO)
9=1
TT=3600201
T274.75r>
MSAT (TO)
9=1
TT=3600.07
T113011td> r>
dn" width=3>Number of times the sdsolv is able to give the ="be known answera>dnrmagn="center">69a>dnrmagn="center">740>dnrmagn="center">1340>dnrmagn="center">71r>dnrmagn="center">1270>dnrmagn="center">119a>dn" width=3>Number of times the sdsolv is able to give the ="be known answer from an ltincomple sdsolv point of view (i.e.n" thout bscsp?iring optimrmaty proof)0>dnrmagn="center">1090>dnrmagn="center">1120>dnrmagn="center">2140>dnrmagn="center">145r>dnrmagn="center">128r>dnrmagn="center">120a>dn" width=3>Number of times the sdsolv is the ="be sdsolv from a incomple sdsolv point of view (i.e.n="be known answer andn="be TT time)0>dnrmagn="center">130>dnrmagn="center">330>dnrmagn="center">940>dnrmagn="center">38r>dnrmagn="center">45r>dnrmagn="center">740>dn" width=3>Number of times the sdsolv is the ="be sdsolv from an ltincomple sdsolv point of view (i.e.n="be known answer andn="be T1 time)0>dnrmagn="center">59r>dnrmagn="center">45r>dnrmagn="center">0r>dnrmagn="center">0r>dnrmagn="center">21r>dnrmagn="center">420>/bodytr>/html>
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