MAX-CSP 2006 Competition: results by benchmark

Results by benchmark for category n-ary constraints in extension (N-ARY-EXT)

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

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
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 109 EPFC
AbsconMax 109 PFC
aolibdvo 2007-01-17
aolibpvo 2007-01-17
CSP4J - MaxCSP 2006-12-19
toolbar 2007-01-12
Toolbar_BTD 2007-01-12
Toolbar_MaxSat 2007-01-19
Toulbar2 2007-01-12

Bench nameBest results
on this
instance		AbsconMax
109 EPFC		AbsconMax
109 PFC		aolibdvo
2007-01-17		aolibpvo
2007-01-17		CSP4J - MaxCSP
2006-12-19		toolbar
2007-01-12		Toolbar_BTD
2007-01-12		Toolbar_MaxSat
2007-01-19		Toulbar2
2007-01-12
cril/
cril-6_ext.xml		 MOPT
f=152
TT=65.838

 OPTIMUM
f=152
TT=144.738
T1=0.67
 OPTIMUM
f=152
TT=65.838
T1=0.59
 ? (TO)

TT=2400.03

 ? (TO)

TT=2400.03

 MSAT (TO)
f=152
TT=2400.08
T1=0.58
 OPTIMUM
f=152
TT=763.991

 OPTIMUM
f=152
TT=1059.8

 ? (TO)

TT=2400.1

 MSAT (TO)
f=152
TT=2400.05
cril/
cril-7.ext.xml		 MOPT
f=152
TT=376.425

 OPTIMUM
f=152
TT=393.926
T1=0.67
 OPTIMUM
f=152
TT=376.425
T1=0.63
 ? (TO)

TT=2400.02

 ? (TO)

TT=2400.07

 MSAT (TO)
f=152
TT=2400.03
T1=0.48
 MSAT (TO)
f=152
TT=2400.05

 ? (TO)

TT=2400.09

 ? (TO)

TT=2400.09

 MSAT (TO)
f=152
TT=2400.13
dimacs/
jnhUnsat/
jnh02_ext.xml		 MOPT
f=848
TT=0.917

 OPTIMUM
f=848
TT=2.027
T1=1.26
 OPTIMUM
f=848
TT=1.692
T1=1.24
 OPTIMUM
f=848
TT=948.502
T1=951.68
 OPTIMUM
f=848
TT=770.814
T1=774.35
 MSAT (TO)
f=848
TT=2400.03

 OPTIMUM
f=848
TT=21.263

 OPTIMUM
f=848
TT=22.778

 OPTIMUM
f=848
TT=0.917

 OPTIMUM
f=848
TT=21.437
dimacs/
jnhUnsat/
jnh10_ext.xml		 MOPT
f=846
TT=0.987

 OPTIMUM
f=846
TT=1.645
T1=0.8
 OPTIMUM
f=846
TT=1.403
T1=0.81
 OPTIMUM
f=846
TT=1618.98
T1=1620.2
 OPTIMUM
f=846
TT=116.889
T1=117.9
 MSAT (TO)
f=844
TT=2400.08
T1=9.1
 OPTIMUM
f=846
TT=21.207

 OPTIMUM
f=846
TT=21.379

 OPTIMUM
f=846
TT=0.987

 OPTIMUM
f=846
TT=22.469
dimacs/
jnhUnsat/
jnh202_ext.xml		 MOPT
f=798
TT=0.901

 OPTIMUM
f=798
TT=1.781
T1=0.94
 OPTIMUM
f=798
TT=1.415
T1=0.94
 OPTIMUM
f=798
TT=341.601
T1=343.2
 OPTIMUM
f=798
TT=309.94
T1=311.23
 MSAT (TO)
f=797
TT=2400.04

 OPTIMUM
f=798
TT=21.259

 OPTIMUM
f=798
TT=21.786

 OPTIMUM
f=798
TT=0.901

 OPTIMUM
f=798
TT=21.524
dimacs/
jnhUnsat/
jnh208_ext.xml		 MOPT
f=796
TT=1.102

 OPTIMUM
f=796
TT=2.313
T1=0.81
 OPTIMUM
f=796
TT=2.125
T1=0.79
 MSAT (TO)
f=788
TT=2400.03
T1=1079.38
 MSAT (TO)
f=788
TT=2400.1
T1=940.79
 MSAT (TO)
f=795
TT=2400.09
T1=3.63
 OPTIMUM
f=796
TT=20.617

 OPTIMUM
f=796
TT=19.947

 OPTIMUM
f=796
TT=1.102

 OPTIMUM
f=796
TT=21.073
dimacs/
jnhUnsat/
jnh20_ext.xml		 MOPT
f=844
TT=1.833

 OPTIMUM
f=844
TT=718.805
T1=0.92
 OPTIMUM
f=844
TT=422.991
T1=0.86
 ? (TO)

TT=2400.01

 ? (TO)

TT=2400.04

 MSAT (TO)
f=844
TT=2400.06
T1=6.91
 OPTIMUM
f=844
TT=26.676

 OPTIMUM
f=844
TT=29.297

 OPTIMUM
f=844
TT=1.833

 OPTIMUM
f=844
TT=240.378
dimacs/
jnhUnsat/
jnh215_ext.xml		 MOPT
f=799
TT=0.845

 OPTIMUM
f=799
TT=2.19
T1=0.87
 OPTIMUM
f=799
TT=2.277
T1=0.89
 OPTIMUM
f=799
TT=338.038
T1=339.85
 OPTIMUM
f=799
TT=280.211
T1=281.08
 MSAT (TO)
f=797
TT=2400.01

 OPTIMUM
f=799
TT=18.731

 OPTIMUM
f=799
TT=20.28

 OPTIMUM
f=799
TT=0.845

 OPTIMUM
f=799
TT=20.25
dimacs/
jnhUnsat/
jnh216_ext.xml		 MOPT
f=796
TT=1.177

 OPTIMUM
f=796
TT=3.081
T1=0.86
 OPTIMUM
f=796
TT=2.703
T1=0.8
 OPTIMUM
f=796
TT=1132.81
T1=1134.09
 OPTIMUM
f=796
TT=921.983
T1=927.17
 MSAT (TO)
f=795
TT=2400.09

 OPTIMUM
f=796
TT=19.596

 OPTIMUM
f=796
TT=20.756

 OPTIMUM
f=796
TT=1.177

 OPTIMUM
f=796
TT=19.764
dimacs/
jnhUnsat/
jnh302_ext.xml		 MOPT
f=894
TT=8.31

 MSAT (TO)
f=894
TT=2400.07
T1=1.2
 MSAT (TO)
f=894
TT=2400.14
T1=1.12
 ? (TO)

TT=2400.05

 ? (TO)

TT=2400.09

 ? (problem)

TT=1.238

NODES=0
 OPTIMUM
f=894
TT=156.741

 OPTIMUM
f=894
TT=177.256

 OPTIMUM
f=894
TT=8.31

 OPTIMUM
f=894
TT=2019.5
Bench nameBest results
on this
instance		AbsconMax
109 EPFC		AbsconMax
109 PFC		aolibdvo
2007-01-17		aolibpvo
2007-01-17		CSP4J - MaxCSP
2006-12-19		toolbar
2007-01-12		Toolbar_BTD
2007-01-12		Toolbar_MaxSat
2007-01-19		Toulbar2
2007-01-12
dimacs/
jnhUnsat/
jnh308_ext.xml		 MOPT
f=898
TT=1.85

 OPTIMUM
f=898
TT=970.755
T1=0.95
 OPTIMUM
f=898
TT=1149.71
T1=1.01
 ? (TO)

TT=2400.09

 ? (TO)

TT=2400.11

 MSAT (TO)
f=894
TT=2400.1
T1=1.62
 OPTIMUM
f=898
TT=34.947

 OPTIMUM
f=898
TT=33.932

 OPTIMUM
f=898
TT=1.85

 OPTIMUM
f=898
TT=184.915
dimacs/
jnhUnsat/
jnh310_ext.xml		 MOPT
f=896
TT=3.738

 MSAT (TO)
f=896
TT=2400.12
T1=1.36
 MSAT (TO)
f=896
TT=2400.09
T1=1.26
 MSAT (TO)
f=890
TT=2400.03
T1=146.76
 ? (TO)

TT=2400.02

 MSAT (TO)
f=891
TT=2400.07

 OPTIMUM
f=896
TT=60.17

 OPTIMUM
f=896
TT=61.083

 OPTIMUM
f=896
TT=3.738

 OPTIMUM
f=896
TT=326.875
dimacs/pret/
pret-150-25_ext.xml		 MOPT
f=99
TT=2.458

 MSAT (TO)
f=99
TT=2400.11
T1=0.61
 MSAT (TO)
f=99
TT=2400.11
T1=0.7
 ? (TO)

TT=2400.05

 OPTIMUM
f=99
TT=2.028
T1=2.04
 MSAT (TO)
f=99
TT=2400.04
T1=0.44
 MSAT (TO)
f=99
TT=2400.05

 OPTIMUM
f=99
TT=2.458

 ? (TO)

TT=2400.1

 MSAT (TO)
f=99
TT=2400.03
dimacs/pret/
pret-150-40_ext.xml		 MOPT
f=99
TT=2.43

 MSAT (TO)
f=99
TT=2400.1
T1=0.64
 MSAT (TO)
f=99
TT=2400.1
T1=0.61
 ? (TO)

TT=2400.11

 OPTIMUM
f=99
TT=1.091
T1=1.09
 MSAT (TO)
f=99
TT=2400.03
T1=0.49
 MSAT (TO)
f=99
TT=2400.08

 OPTIMUM
f=99
TT=2.43

 ? (TO)

TT=2400.13

 MSAT (TO)
f=99
TT=2400.11
dimacs/pret/
pret-150-60_ext.xml		 MOPT
f=99
TT=2.448

 MSAT (TO)
f=99
TT=2400.11
T1=0.77
 MSAT (TO)
f=99
TT=2400.07
T1=0.6
 ? (TO)

TT=2400.06

 OPTIMUM
f=99
TT=1.658
T1=1.67
 MSAT (TO)
f=99
TT=2400.01
T1=0.5
 MSAT (TO)
f=99
TT=2400.12

 OPTIMUM
f=99
TT=2.448

 ? (TO)

TT=2400.13

 MSAT (TO)
f=99
TT=2400.12
dimacs/pret/
pret-150-75_ext.xml		 MOPT
f=99
TT=2.446

 MSAT (TO)
f=99
TT=2400.13
T1=0.65
 MSAT (TO)
f=99
TT=2400.14
T1=0.57
 ? (TO)

TT=2400.1

 OPTIMUM
f=99
TT=0.521
T1=0.51
 MSAT (TO)
f=99
TT=2400
T1=0.54
 MSAT (TO)
f=99
TT=2400.05

 OPTIMUM
f=99
TT=2.446

 ? (TO)

TT=2400.15

 MSAT (TO)
f=99
TT=2400.05
dimacs/pret/
pret-60-25_ext.xml		 MOPT
f=39
TT=1.298

 OPTIMUM
f=39
TT=1100.44
T1=0.55
 OPTIMUM
f=39
TT=1027.07
T1=0.51
 OPTIMUM
f=39
TT=166.62
T1=167.92
 OPTIMUM
f=39
TT=0.076
T1=0.07
 MSAT (TO)
f=39
TT=2400.03
T1=0.32
 OPTIMUM
f=39
TT=61.321

 OPTIMUM
f=39
TT=1.298

 OPTIMUM
f=39
TT=47.114

 OPTIMUM
f=39
TT=1.529
dimacs/pret/
pret-60-40_ext.xml		 MOPT
f=39
TT=1.292

 OPTIMUM
f=39
TT=1055.55
T1=0.5
 OPTIMUM
f=39
TT=1080.66
T1=0.54
 OPTIMUM
f=39
TT=166.502
T1=167.93
 OPTIMUM
f=39
TT=0.099
T1=0.1
 MSAT (TO)
f=39
TT=2400.05
T1=0.39
 OPTIMUM
f=39
TT=58.043

 OPTIMUM
f=39
TT=1.292

 OPTIMUM
f=39
TT=44.34

 OPTIMUM
f=39
TT=1.541
dimacs/pret/
pret-60-60_ext.xml		 MOPT
f=39
TT=1.305

 OPTIMUM
f=39
TT=1127.34
T1=0.52
 OPTIMUM
f=39
TT=1088.53
T1=0.56
 OPTIMUM
f=39
TT=164.336
T1=165.59
 OPTIMUM
f=39
TT=0.073
T1=0.07
 MSAT (TO)
f=39
TT=2400.1
T1=0.37
 OPTIMUM
f=39
TT=61.554

 OPTIMUM
f=39
TT=1.305

 OPTIMUM
f=39
TT=47.444

 OPTIMUM
f=39
TT=1.566
dimacs/pret/
pret-60-75_ext.xml		 MOPT
f=39
TT=1.291

 OPTIMUM
f=39
TT=1056.57
T1=0.67
 OPTIMUM
f=39
TT=1020.12
T1=0.54
 OPTIMUM
f=39
TT=166.804
T1=168.15
 OPTIMUM
f=39
TT=0.066
T1=0.07
 MSAT (TO)
f=39
TT=2400
T1=0.35
 OPTIMUM
f=39
TT=61.419

 OPTIMUM
f=39
TT=1.291

 OPTIMUM
f=39
TT=47.059

 OPTIMUM
f=39
TT=1.534
Bench nameBest results
on this
instance		AbsconMax
109 EPFC		AbsconMax
109 PFC		aolibdvo
2007-01-17		aolibpvo
2007-01-17		CSP4J - MaxCSP
2006-12-19		toolbar
2007-01-12		Toolbar_BTD
2007-01-12		Toolbar_MaxSat
2007-01-19		Toulbar2
2007-01-12
dimacs/ssa/
ssa-0432-003_ext.xml		 MOPT
f=737
TT=4.917

 OPTIMUM
f=737
TT=246.064
T1=0.92
 OPTIMUM
f=737
TT=298.884
T1=0.85
 ? (TO)

TT=2400.1

 OPTIMUM
f=737
TT=184.884
T1=184.91
 MSAT (TO)
f=737
TT=2400.03
T1=1.11
 MSAT (TO)
f=731
TT=2400.11

 ? (TO)

TT=2400.01

 OPTIMUM
f=737
TT=17.998

 OPTIMUM
f=737
TT=4.917
dimacs/ssa/
ssa-2670-130_ext.xml		 MOPT
f=2365
TT=1080.27

 OPTIMUM
f=2365
TT=1117.02
T1=4.25
 OPTIMUM
f=2365
TT=1080.27
T1=4.02
 ? (TO)

TT=2400.1

 MSAT (TO)
f=2364
TT=2400.13
T1=113.32
 MSAT (TO)
f=2365
TT=2400.1
T1=14.75
 ? (TO)

TT=2400.08

 ? (TO)

TT=2400.01

 ? (TO)

TT=2400.1

 MSAT (TO)
f=2365
TT=2400.1
dimacs/
varDimacs/
hole-06_ext.xml		 MOPT
f=132
TT=0.334

 OPTIMUM
f=132
TT=2.006
T1=0.57
 OPTIMUM
f=132
TT=1.946
T1=0.56
 OPTIMUM
f=132
TT=35.229
T1=35.52
 OPTIMUM
f=132
TT=8.419
T1=8.49
 MSAT (TO)
f=132
TT=2400.02
T1=0.38
 OPTIMUM
f=132
TT=1.623

 OPTIMUM
f=132
TT=1.802

 OPTIMUM
f=132
TT=0.334

 OPTIMUM
f=132
TT=1.88
dimacs/
varDimacs/
hole-07_ext.xml		 MOPT
f=203
TT=0.556

 OPTIMUM
f=203
TT=11.399
T1=0.6
 OPTIMUM
f=203
TT=10.645
T1=0.58
 OPTIMUM
f=203
TT=1006.42
T1=1015.39
 OPTIMUM
f=203
TT=149.108
T1=150.29
 MSAT (TO)
f=203
TT=2400.01
T1=0.43
 OPTIMUM
f=203
TT=2.814

 OPTIMUM
f=203
TT=3.195

 OPTIMUM
f=203
TT=0.556

 OPTIMUM
f=203
TT=4.176
MaxCSP/cnf/3-40-100-1000/
cnf-3-40-1000-261921_ext.xml		 MOPT
f=889
TT=28.454

 MSAT (TO)
f=889
TT=2400.06
T1=1.97
 MSAT (TO)
f=889
TT=2400.08
T1=2.1
 OPTIMUM
f=889
TT=685.451
T1=691.1
 OPTIMUM
f=889
TT=662.32
T1=667.67
 MSAT (TO)
f=885
TT=2400.09
T1=0.85
 OPTIMUM
f=889
TT=39.631

 OPTIMUM
f=889
TT=44.704

 OPTIMUM
f=889
TT=28.454

 OPTIMUM
f=889
TT=251.82
MaxCSP/cnf/3-40-100-1000/
cnf-3-40-100-730621_ext.xml		 SAT
f=99
TT=0.059

 SAT
f=99
TT=0.7
T1=0.69
 SAT
f=99
TT=0.731
T1=0.72
 SAT
f=99
TT=0.059
T1=0.06
 SAT
f=99
TT=0.051
T1=0.05
 SAT
f=99
TT=0.349
T1=0.35
NODES=21
 SAT
f=99
TT=0.064

 SAT
f=99
TT=0.067

 SAT
f=99
TT=0.086

 SAT
f=99
TT=0.069
MaxCSP/cnf/3-40-100-1000/
cnf-3-40-200-456321_ext.xml		 MOPT
f=196
TT=0.445

 OPTIMUM
f=196
TT=0.884
T1=0.58
 OPTIMUM
f=196
TT=0.865
T1=0.61
 OPTIMUM
f=196
TT=0.445
T1=0.44
 OPTIMUM
f=196
TT=0.423
T1=0.42
 MSAT (TO)
f=196
TT=2400.1
T1=0.43
 OPTIMUM
f=196
TT=3.192

 OPTIMUM
f=196
TT=3.156

 OPTIMUM
f=196
TT=0.496

 OPTIMUM
f=196
TT=3.216
MaxCSP/cnf/3-40-100-1000/
cnf-3-40-300-182021_ext.xml		 MOPT
f=288
TT=1.375

 OPTIMUM
f=288
TT=192.124
T1=0.65
 OPTIMUM
f=288
TT=190.894
T1=0.7
 OPTIMUM
f=288
TT=11.336
T1=11.33
 OPTIMUM
f=288
TT=6.46
T1=6.46
 MSAT (TO)
f=287
TT=2400.08

 OPTIMUM
f=288
TT=5.146

 OPTIMUM
f=288
TT=5.591

 OPTIMUM
f=288
TT=1.375

 OPTIMUM
f=288
TT=10.896
MaxCSP/cnf/3-40-100-1000/
cnf-3-40-400-907721_ext.xml		 MOPT
f=375
TT=1.711

 OPTIMUM
f=375
TT=313.797
T1=0.68
 OPTIMUM
f=375
TT=328.735
T1=0.72
 OPTIMUM
f=375
TT=19.501
T1=19.66
 OPTIMUM
f=375
TT=18.132
T1=18.28
 MSAT (TO)
f=374
TT=2400.1
T1=0.55
 OPTIMUM
f=375
TT=6.757

 OPTIMUM
f=375
TT=7.017

 OPTIMUM
f=375
TT=1.711

 OPTIMUM
f=375
TT=15.46
MaxCSP/cnf/3-40-100-1000/
cnf-3-40-500-633421_ext.xml		 MOPT
f=471
TT=1.692

 OPTIMUM
f=471
TT=387.606
T1=0.67
 OPTIMUM
f=471
TT=393.459
T1=0.66
 OPTIMUM
f=471
TT=19.975
T1=20.14
 OPTIMUM
f=471
TT=17.138
T1=17.14
 MSAT (TO)
f=467
TT=2400.05

 OPTIMUM
f=471
TT=8.342

 OPTIMUM
f=471
TT=8.517

 OPTIMUM
f=471
TT=1.692

 OPTIMUM
f=471
TT=16.135
Bench nameBest results
on this
instance		AbsconMax
109 EPFC		AbsconMax
109 PFC		aolibdvo
2007-01-17		aolibpvo
2007-01-17		CSP4J - MaxCSP
2006-12-19		toolbar
2007-01-12		Toolbar_BTD
2007-01-12		Toolbar_MaxSat
2007-01-19		Toulbar2
2007-01-12
MaxCSP/cnf/3-40-100-1000/
cnf-3-40-600-359121_ext.xml		 MOPT
f=550
TT=9.46

 MSAT (TO)
f=550
TT=2400.07
T1=0.84
 MSAT (TO)
f=550
TT=2400.09
T1=0.92
 OPTIMUM
f=550
TT=126.649
T1=127.59
 OPTIMUM
f=550
TT=119.343
T1=119.6
 MSAT (TO)
f=548
TT=2400.03
T1=0.62
 OPTIMUM
f=550
TT=17.628

 OPTIMUM
f=550
TT=18.6

 OPTIMUM
f=550
TT=9.46

 OPTIMUM
f=550
TT=78.826
MaxCSP/cnf/3-40-100-1000/
cnf-3-40-700-084821_ext.xml		 MOPT
f=645
TT=5.332

 MSAT (TO)
f=645
TT=2400.12
T1=0.8
 MSAT (TO)
f=645
TT=2400.12
T1=0.76
 OPTIMUM
f=645
TT=118.782
T1=119.8
 OPTIMUM
f=645
TT=110.064
T1=110.42
 MSAT (TO)
f=645
TT=2400

 OPTIMUM
f=645
TT=15.582

 OPTIMUM
f=645
TT=16.066

 OPTIMUM
f=645
TT=5.332

 OPTIMUM
f=645
TT=71.992
MaxCSP/cnf/3-40-100-1000/
cnf-3-40-800-810521_ext.xml		 MOPT
f=731
TT=16.63

 MSAT (TO)
f=731
TT=2400.12
T1=1.14
 MSAT (TO)
f=731
TT=2400.06
T1=1.21
 OPTIMUM
f=731
TT=494.61
T1=498.94
 OPTIMUM
f=731
TT=473.239
T1=473.39
 MSAT (TO)
f=727
TT=2400.1
T1=0.74
 OPTIMUM
f=731
TT=26.07

 OPTIMUM
f=731
TT=27.014

 OPTIMUM
f=731
TT=16.63

 OPTIMUM
f=731
TT=137.406
MaxCSP/cnf/3-40-100-1000/
cnf-3-40-900-536221_ext.xml		 MOPT
f=807
TT=17.897

 MSAT (TO)
f=807
TT=2400.05
T1=1.01
 MSAT (TO)
f=807
TT=2400.09
T1=1.1
 OPTIMUM
f=807
TT=263.663
T1=263.9
 OPTIMUM
f=807
TT=259.626
T1=260.47
 MSAT (TO)
f=801
TT=2400.07
T1=0.77
 OPTIMUM
f=807
TT=33.235

 OPTIMUM
f=807
TT=34.248

 OPTIMUM
f=807
TT=17.897

 OPTIMUM
f=807
TT=181.583
MaxCSP/cnf/3-40-1100-2000/
cnf-3-40-1100-987621_ext.xml		 MOPT
f=970
TT=89.959

 MSAT (TO)
f=970
TT=2400.13
T1=2.97
 MSAT (TO)
f=970
TT=2400.09
T1=2.72
 OPTIMUM
f=970
TT=1753.61
T1=1754.2
 OPTIMUM
f=970
TT=1702.98
T1=1712.67
 MSAT (TO)
f=962
TT=2400.03
T1=0.94
 OPTIMUM
f=970
TT=109.49

 OPTIMUM
f=970
TT=121.265

 OPTIMUM
f=970
TT=89.959

 OPTIMUM
f=970
TT=613.112
MaxCSP/cnf/3-40-1100-2000/
cnf-3-40-1200-713321_ext.xml		 MOPT
f=1043
TT=68.538

 MSAT (TO)
f=1043
TT=2400.11
T1=16.27
 MSAT (TO)
f=1043
TT=2400.13
T1=15.95
 OPTIMUM
f=1043
TT=1517.12
T1=1518.19
 OPTIMUM
f=1043
TT=1391.88
T1=1403.44
 MSAT (TO)
f=1031
TT=2400.04
T1=0.94
 OPTIMUM
f=1043
TT=79.322

 OPTIMUM
f=1043
TT=83.449

 OPTIMUM
f=1043
TT=68.538

 OPTIMUM
f=1043
TT=412.268
MaxCSP/cnf/3-40-1100-2000/
cnf-3-40-1300-439021_ext.xml		 MOPT
f=1136
TT=88.165

 MSAT (TO)
f=1136
TT=2400.04
T1=23.22
 MSAT (TO)
f=1136
TT=2400.16
T1=22.05
 OPTIMUM
f=1136
TT=1932.31
T1=1932.99
 OPTIMUM
f=1136
TT=1874.5
T1=1875.28
 MSAT (TO)
f=1130
TT=2400.09
T1=0.94
 OPTIMUM
f=1136
TT=100.294

 OPTIMUM
f=1136
TT=114.165

 OPTIMUM
f=1136
TT=88.165

 OPTIMUM
f=1136
TT=504.211
MaxCSP/cnf/3-40-1100-2000/
cnf-3-40-1400-164721_ext.xml		 MOPT
f=1171
TT=66.663

 MSAT (TO)
f=1171
TT=2400.06
T1=1.89
 MSAT (TO)
f=1171
TT=2400.06
T1=1.97
 OPTIMUM
f=1171
TT=1275.24
T1=1276.41
 OPTIMUM
f=1171
TT=1321.78
T1=1322.32
 MSAT (TO)
f=1170
TT=2400.08
T1=1.12
 OPTIMUM
f=1171
TT=104.25

 OPTIMUM
f=1171
TT=110.292

 OPTIMUM
f=1171
TT=66.663

 OPTIMUM
f=1171
TT=429.773
MaxCSP/cnf/3-40-1100-2000/
cnf-3-40-1500-890421_ext.xml		 MOPT
f=1272
TT=114.478

 MSAT (TO)
f=1271
TT=2400.13
T1=1.29
 MSAT (TO)
f=1271
TT=2400.05
T1=1.33
 ? (TO)

TT=2400.02

 ? (TO)

TT=2400.03

 MSAT (TO)
f=1263
TT=2400.09

 OPTIMUM
f=1272
TT=138.962

 OPTIMUM
f=1272
TT=145.22

 OPTIMUM
f=1272
TT=114.478

 OPTIMUM
f=1272
TT=668.636
MaxCSP/cnf/3-40-1100-2000/
cnf-3-40-1600-616121_ext.xml		 MOPT
f=1333
TT=66.638

 MSAT (TO)
f=1332
TT=2400.1
T1=4.93
 MSAT (TO)
f=1332
TT=2400.1
T1=5.31
 OPTIMUM
f=1333
TT=2083.72
T1=1659.45
 OPTIMUM
f=1333
TT=1985.74
T1=1596.81
 MSAT (TO)
f=1328
TT=2400.04
T1=1.23
 OPTIMUM
f=1333
TT=85.956

 OPTIMUM
f=1333
TT=90.112

 OPTIMUM
f=1333
TT=66.638

 OPTIMUM
f=1333
TT=401.994
Bench nameBest results
on this
instance		AbsconMax
109 EPFC		AbsconMax
109 PFC		aolibdvo
2007-01-17		aolibpvo
2007-01-17		CSP4J - MaxCSP
2006-12-19		toolbar
2007-01-12		Toolbar_BTD
2007-01-12		Toolbar_MaxSat
2007-01-19		Toulbar2
2007-01-12
MaxCSP/cnf/3-40-1100-2000/
cnf-3-40-1700-341821_ext.xml		 MOPT
f=1424
TT=103.976

 MSAT (TO)
f=1424
TT=2400.09
T1=18.49
 MSAT (TO)
f=1424
TT=2400.09
T1=17.62
 OPTIMUM
f=1424
TT=2000.31
T1=2005.48
 OPTIMUM
f=1424
TT=2045.73
T1=2047.67
 MSAT (TO)
f=1411
TT=2400.03

 OPTIMUM
f=1424
TT=120.453

 OPTIMUM
f=1424
TT=135

 OPTIMUM
f=1424
TT=103.976

 OPTIMUM
f=1424
TT=619.211
MaxCSP/cnf/3-40-1100-2000/
cnf-3-40-1800-067521_ext.xml		 MOPT
f=1510
TT=111.899

 MSAT (TO)
f=1510
TT=2400.12
T1=1.46
 MSAT (TO)
f=1510
TT=2400.12
T1=1.45
 OPTIMUM
f=1510
TT=1900.26
T1=1900.74
 OPTIMUM
f=1510
TT=1848.83
T1=1849.45
 MSAT (TO)
f=1496
TT=2400.1
T1=1.4
 OPTIMUM
f=1510
TT=113.531

 OPTIMUM
f=1510
TT=112.951

 OPTIMUM
f=1510
TT=111.899

 OPTIMUM
f=1510
TT=510.959
MaxCSP/cnf/3-40-1100-2000/
cnf-3-40-1900-793221_ext.xml		 MOPT
f=1575
TT=212.457

 MSAT (TO)
f=1575
TT=2400.04
T1=13.31
 MSAT (TO)
f=1575
TT=2400.11
T1=12.16
 ? (TO)

TT=2400.06

 ? (TO)

TT=2400.05

 MSAT (TO)
f=1557
TT=2400.07
T1=1.6
 OPTIMUM
f=1575
TT=212.457

 OPTIMUM
f=1575
TT=234.211

 OPTIMUM
f=1575
TT=233.752

 OPTIMUM
f=1575
TT=854.997
MaxCSP/cnf/3-40-1100-2000/
cnf-3-40-2000-518921_ext.xml		 MOPT
f=1659
TT=306.927

 MSAT (TO)
f=1659
TT=2400.13
T1=4.03
 MSAT (TO)
f=1659
TT=2400.07
T1=4.09
 ? (TO)

TT=2400.07

 ? (TO)

TT=2400.04

 MSAT (TO)
f=1643
TT=2400.03
T1=1.59
 OPTIMUM
f=1659
TT=343.037

 OPTIMUM
f=1659
TT=362.414

 OPTIMUM
f=1659
TT=306.927

 OPTIMUM
f=1659
TT=1161.09
MaxCSP/cnf/3-40-2100-3000/
cnf-3-40-2100-244621_ext.xml		 MOPT
f=1726
TT=127.78

 MSAT (TO)
f=1725
TT=2400.14
T1=7.03
 MSAT (TO)
f=1725
TT=2400.16
T1=7.18
 ? (TO)

TT=2400.1

 ? (TO)

TT=2400.12

 MSAT (TO)
f=1724
TT=2400
T1=1.66
 OPTIMUM
f=1726
TT=152.505

 OPTIMUM
f=1726
TT=150.174

 OPTIMUM
f=1726
TT=127.78

 OPTIMUM
f=1726
TT=581.852
MaxCSP/cnf/3-40-2100-3000/
cnf-3-40-2200-970321_ext.xml		 MOPT
f=1791
TT=302.103

 MSAT (TO)
f=1790
TT=2400.12
T1=4.88
 MSAT (TO)
f=1790
TT=2400.1
T1=5.04
 ? (TO)

TT=2400.04

 ? (TO)

TT=2400.02

 MSAT (TO)
f=1789
TT=2400.02
T1=1.92
 OPTIMUM
f=1791
TT=302.103

 OPTIMUM
f=1791
TT=302.39

 OPTIMUM
f=1791
TT=317.928

 OPTIMUM
f=1791
TT=1092.92
MaxCSP/cnf/3-40-2100-3000/
cnf-3-40-2300-696021_ext.xml		 MOPT
f=1853
TT=427.224

 MSAT (TO)
f=1853
TT=2400.14
T1=4.56
 MSAT (TO)
f=1853
TT=2400.09
T1=4.4
 ? (TO)

TT=2400.07

 ? (TO)

TT=2400.06

 MSAT (TO)
f=1849
TT=2400.01
T1=1.95
 OPTIMUM
f=1853
TT=427.224

 OPTIMUM
f=1853
TT=480.75

 OPTIMUM
f=1853
TT=609.276

 OPTIMUM
f=1853
TT=1460.31
MaxCSP/cnf/3-40-2100-3000/
cnf-3-40-2400-421721_ext.xml		 MOPT
f=1928
TT=246.827

 MSAT (TO)
f=1928
TT=2400.07
T1=7.15
 MSAT (TO)
f=1928
TT=2400.09
T1=6.61
 ? (TO)

TT=2400.11

 ? (TO)

TT=2400.11

 MSAT (TO)
f=1924
TT=2400.01
T1=1.93
 OPTIMUM
f=1928
TT=246.827

 OPTIMUM
f=1928
TT=267.644

 OPTIMUM
f=1928
TT=251.82

 OPTIMUM
f=1928
TT=896.237
MaxCSP/cnf/3-40-2100-3000/
cnf-3-40-2500-147421_ext.xml		 MOPT
f=2019
TT=713.635

 MSAT (TO)
f=2018
TT=2400.09
T1=2.1
 MSAT (TO)
f=2018
TT=2400.12
T1=2.36
 ? (TO)

TT=2400.09

 ? (TO)

TT=2400.05

 MSAT (TO)
f=2011
TT=2400.06
T1=2.11
 OPTIMUM
f=2019
TT=713.635

 OPTIMUM
f=2019
TT=771.501

 OPTIMUM
f=2019
TT=782.274

 OPTIMUM
f=2019
TT=2150.19
MaxCSP/cnf/3-40-2100-3000/
cnf-3-40-2600-873121_ext.xml		 MOPT
f=2060
TT=369.139

 MSAT (TO)
f=2059
TT=2400.07
T1=8.55
 MSAT (TO)
f=2059
TT=2400.1
T1=7.96
 ? (TO)

TT=2400.04

 ? (TO)

TT=2400.09

 MSAT (TO)
f=2057
TT=2400.04
T1=2.14
 OPTIMUM
f=2060
TT=369.139

 OPTIMUM
f=2060
TT=388.568

 OPTIMUM
f=2060
TT=381.219

 OPTIMUM
f=2060
TT=1267.91
Bench nameBest results
on this
instance		AbsconMax
109 EPFC		AbsconMax
109 PFC		aolibdvo
2007-01-17		aolibpvo
2007-01-17		CSP4J - MaxCSP
2006-12-19		toolbar
2007-01-12		Toolbar_BTD
2007-01-12		Toolbar_MaxSat
2007-01-19		Toulbar2
2007-01-12
MaxCSP/cnf/3-40-2100-3000/
cnf-3-40-2700-598821_ext.xml		 MOPT
f=2129
TT=291.681

 MSAT (TO)
f=2129
TT=2400.04
T1=25.05
 MSAT (TO)
f=2129
TT=2400.14
T1=24.67
 ? (TO)

TT=2400.1

 ? (TO)

TT=2400.05

 MSAT (TO)
f=2127
TT=2400.06

 OPTIMUM
f=2129
TT=294.427

 OPTIMUM
f=2129
TT=291.681

 OPTIMUM
f=2129
TT=373.023

 OPTIMUM
f=2129
TT=963.769
MaxCSP/cnf/3-40-2100-3000/
cnf-3-40-2800-324521_ext.xml		 MOPT
f=2191
TT=471.169

 MSAT (TO)
f=2191
TT=2400.06
T1=3.35
 MSAT (TO)
f=2191
TT=2400.08
T1=3.95
 ? (TO)

TT=2400.03

 ? (TO)

TT=2400.06

 ? (problem)

TT=2.173

NODES=0
 OPTIMUM
f=2191
TT=471.169

 OPTIMUM
f=2191
TT=531.774

 OPTIMUM
f=2191
TT=580.589

 OPTIMUM
f=2191
TT=1858.93
MaxCSP/cnf/3-40-2100-3000/
cnf-3-40-2900-050221_ext.xml		 MOPT
f=2258
TT=536.08

 MSAT (TO)
f=2256
TT=2400.09
T1=2.63
 MSAT (TO)
f=2256
TT=2400.13
T1=2.91
 ? (TO)

TT=2400.02

 ? (TO)

TT=2400.09

 ? (problem)

TT=2.385

NODES=0
 OPTIMUM
f=2258
TT=541.932

 OPTIMUM
f=2258
TT=536.08

 OPTIMUM
f=2258
TT=599.539

 OPTIMUM
f=2258
TT=1780.4
MaxCSP/cnf/3-40-2100-3000/
cnf-3-40-3000-775921_ext.xml		 MOPT
f=2344
TT=342.48

 MSAT (TO)
f=2343
TT=2400.12
T1=7.67
 MSAT (TO)
f=2343
TT=2400.12
T1=7.61
 ? (TO)

TT=2400.06

 ? (TO)

TT=2400.11

 MSAT (TO)
f=2338
TT=2400
T1=2.78
 OPTIMUM
f=2344
TT=342.48

 OPTIMUM
f=2344
TT=385.124

 OPTIMUM
f=2344
TT=485.749

 OPTIMUM
f=2344
TT=1079.79
MaxCSP/cnf/3-80-100-1000/
cnf-3-80-1000-266841_ext.xml		 MSAT TO
f=948
TT=2400.05

 MSAT (TO)
f=948
TT=2400.05
T1=2.65
 MSAT (TO)
f=948
TT=2400.07
T1=2.53
 ? (TO)

TT=2400.06

 ? (TO)

TT=2400.02

 MSAT (TO)
f=936
TT=2400.01
T1=0.86
 MSAT (TO)
f=948
TT=2400.09

 ? (TO)

TT=2400.09

 ? (TO)

TT=2400.06

 MSAT (TO)
f=948
TT=2400.09
MaxCSP/cnf/3-80-100-1000/
cnf-3-80-100-735541_ext.xml		 SAT
f=100
TT=0.071

 SAT
f=100
TT=0.765
T1=0.76
 SAT
f=100
TT=0.78
T1=0.77
 SAT
f=100
TT=0.081
T1=0.08
 SAT
f=100
TT=0.067
T1=0.07
 SAT
f=100
TT=0.38
T1=0.41
NODES=3
 SAT
f=100
TT=0.071

 SAT
f=100
TT=0.082

 SAT
f=100
TT=0.103

 SAT
f=100
TT=0.072
MaxCSP/cnf/3-80-100-1000/
cnf-3-80-200-461241_ext.xml		 SAT
f=200
TT=0.078

 SAT
f=200
TT=0.812
T1=0.81
 SAT
f=200
TT=0.823
T1=0.82
 SAT
f=200
TT=1.599
T1=1.61
 SAT
f=200
TT=0.164
T1=0.16
 SAT
f=200
TT=0.453
T1=0.46
NODES=58
 SAT
f=200
TT=0.078

 SAT
f=200
TT=0.084

 SAT
f=200
TT=0.108

 SAT
f=200
TT=0.078
MaxCSP/cnf/3-80-100-1000/
cnf-3-80-300-186941_ext.xml		 SAT
f=300
TT=0.14

 SAT
f=300
TT=1.07
T1=1.07
 SAT
f=300
TT=1.023
T1=1.02
 SAT
f=300
TT=47.193
T1=47.54
 SAT
f=300
TT=40.295
T1=40.44
 SAT
f=300
TT=0.548
T1=0.56
NODES=373
 SAT
f=300
TT=0.143

 SAT
f=300
TT=0.148

 SAT
f=300
TT=0.14

 SAT
f=300
TT=0.147
MaxCSP/cnf/3-80-100-1000/
cnf-3-80-400-912641_ext.xml		 MOPT
f=396
TT=10.659

 MSAT (TO)
f=396
TT=2400.14
T1=0.75
 MSAT (TO)
f=396
TT=2400.1
T1=0.72
 OPTIMUM
f=396
TT=774.954
T1=778.56
 OPTIMUM
f=396
TT=689.876
T1=694.59
 MSAT (TO)
f=395
TT=2400.05
T1=0.58
 OPTIMUM
f=396
TT=13.475

 OPTIMUM
f=396
TT=14.902

 OPTIMUM
f=396
TT=10.659

 OPTIMUM
f=396
TT=78.147
MaxCSP/cnf/3-80-100-1000/
cnf-3-80-500-638341_ext.xml		 MOPT
f=488
TT=288.987

 MSAT (TO)
f=488
TT=2400.14
T1=0.99
 MSAT (TO)
f=488
TT=2400.14
T1=0.95
 ? (TO)

TT=2400.09

 ? (TO)

TT=2400.08

 MSAT (TO)
f=486
TT=2400.07

 OPTIMUM
f=488
TT=288.987

 OPTIMUM
f=488
TT=328.024

 OPTIMUM
f=488
TT=440.49

 OPTIMUM
f=488
TT=1460.81
Bench nameBest results
on this
instance		AbsconMax
109 EPFC		AbsconMax
109 PFC		aolibdvo
2007-01-17		aolibpvo
2007-01-17		CSP4J - MaxCSP
2006-12-19		toolbar
2007-01-12		Toolbar_BTD
2007-01-12		Toolbar_MaxSat
2007-01-19		Toulbar2
2007-01-12
MaxCSP/cnf/3-80-100-1000/
cnf-3-80-600-364041_ext.xml		 MOPT
f=587
TT=422.783

 MSAT (TO)
f=587
TT=2400.09
T1=0.84
 MSAT (TO)
f=587
TT=2400.06
T1=0.67
 MSAT (TO)
f=574
TT=2400.05
T1=22.63
 MSAT (TO)
f=570
TT=2400.02
T1=2.58
 MSAT (TO)
f=583
TT=2400.06
T1=0.82
 OPTIMUM
f=587
TT=498.696

 OPTIMUM
f=587
TT=547.788

 OPTIMUM
f=587
TT=422.783

 MSAT (TO)
f=587
TT=2400.14
MaxCSP/cnf/3-80-100-1000/
cnf-3-80-700-089741_ext.xml		 MSAT TO
f=677
TT=2400.07

 MSAT (TO)
f=677
TT=2400.15
T1=2.55
 MSAT (TO)
f=677
TT=2400.07
T1=2.56
 MSAT (TO)
f=666
TT=2400.07
T1=1308.53
 MSAT (TO)
f=655
TT=2400.03
T1=41.15
 MSAT (TO)
f=671
TT=2400.06

 MSAT (TO)
f=677
TT=2400.08

 ? (TO)

TT=2400.03

 ? (TO)

TT=2400.13

 MSAT (TO)
f=677
TT=2400.1
MaxCSP/cnf/3-80-100-1000/
cnf-3-80-800-815441_ext.xml		 MSAT TO
f=773
TT=2400.07

 MSAT (TO)
f=773
TT=2400.13
T1=1.43
 MSAT (TO)
f=773
TT=2400.07
T1=1.49
 MSAT (TO)
f=749
TT=2400.08
T1=79.93
 MSAT (TO)
f=750
TT=2400.1
T1=2.18
 MSAT (TO)
f=765
TT=2400.07

 MSAT (TO)
f=773
TT=2400.1

 ? (TO)

TT=2400.02

 ? (TO)

TT=2400.07

 MSAT (TO)
f=773
TT=2400.14
MaxCSP/cnf/3-80-100-1000/
cnf-3-80-900-541141_ext.xml		 MSAT TO
f=863
TT=2400.05

 MSAT (TO)
f=863
TT=2400.05
T1=16.11
 MSAT (TO)
f=863
TT=2400.13
T1=17.47
 MSAT (TO)
f=844
TT=2400.02
T1=517.49
 MSAT (TO)
f=840
TT=2400.01
T1=12.9
 MSAT (TO)
f=850
TT=2400.04

 MSAT (TO)
f=863
TT=2400.09

 ? (TO)

TT=2400.05

 ? (TO)

TT=2400.14

 MSAT (TO)
f=863
TT=2400.11
MaxCSP/cnf/3-80-1100-2000/
cnf-3-80-1100-992541_ext.xml		 MSAT TO
f=1047
TT=2400.05

 MSAT (TO)
f=1047
TT=2400.14
T1=17.94
 MSAT (TO)
f=1047
TT=2400.15
T1=19.96
 MSAT (TO)
f=1029
TT=2400.05
T1=31.01
 MSAT (TO)
f=1030
TT=2400.1
T1=93.64
 MSAT (TO)
f=1039
TT=2400.06

 MSAT (TO)
f=1047
TT=2400.09

 ? (TO)

TT=2400.03

 ? (TO)

TT=2400.09

 MSAT (TO)
f=1047
TT=2400.05
MaxCSP/cnf/3-80-1100-2000/
cnf-3-80-1200-718241_ext.xml		 MSAT TO
f=1133
TT=2400.07

 MSAT (TO)
f=1133
TT=2400.1
T1=1.52
 MSAT (TO)
f=1133
TT=2400.1
T1=1.49
 MSAT (TO)
f=1101
TT=2400.04
T1=3.9
 ? (TO)

TT=2400.02

 MSAT (TO)
f=1127
TT=2400.03

 MSAT (TO)
f=1133
TT=2400.07

 ? (TO)

TT=2400.06

 ? (TO)

TT=2400.04

 MSAT (TO)
f=1133
TT=2400.12
MaxCSP/cnf/3-80-1100-2000/
cnf-3-80-1300-443941_ext.xml		 MSAT TO
f=1224
TT=2400.07

 MSAT (TO)
f=1224
TT=2400.07
T1=11.33
 MSAT (TO)
f=1224
TT=2400.1
T1=11.2
 MSAT (TO)
f=1211
TT=2400.11
T1=1954.61
 MSAT (TO)
f=1208
TT=2400.06
T1=944.13
 MSAT (TO)
f=1216
TT=2400.01

 MSAT (TO)
f=1224
TT=2400.12

 ? (TO)

TT=2400.06

 ? (TO)

TT=2400.08

 MSAT (TO)
f=1224
TT=2400.1
MaxCSP/cnf/3-80-1100-2000/
cnf-3-80-1400-169641_ext.xml		 MSAT TO
f=1310
TT=2400.05

 MSAT (TO)
f=1309
TT=2400.12
T1=4.38
 MSAT (TO)
f=1309
TT=2400.06
T1=4.86
 MSAT (TO)
f=1274
TT=2400.1
T1=959.16
 MSAT (TO)
f=1262
TT=2400.11
T1=16.86
 MSAT (TO)
f=1288
TT=2400.01
T1=1.03
 MSAT (TO)
f=1310
TT=2400.1

 ? (TO)

TT=2400.01

 ? (TO)

TT=2400.12

 MSAT (TO)
f=1310
TT=2400.05
MaxCSP/cnf/3-80-1100-2000/
cnf-3-80-1500-895341_ext.xml		 MSAT TO
f=1409
TT=2400.09

 MSAT (TO)
f=1408
TT=2400.14
T1=17.2
 MSAT (TO)
f=1408
TT=2400.14
T1=17.37
 MSAT (TO)
f=1366
TT=2400.08
T1=13.17
 MSAT (TO)
f=1367
TT=2400.05
T1=7.49
 MSAT (TO)
f=1392
TT=2400.09
T1=1.11
 MSAT (TO)
f=1409
TT=2400.09

 ? (TO)

TT=2400

 ? (TO)

TT=2400.11

 MSAT (TO)
f=1409
TT=2400.14
MaxCSP/cnf/3-80-1100-2000/
cnf-3-80-1600-621041_ext.xml		 MSAT TO
f=1494
TT=2400.08

 MSAT (TO)
f=1493
TT=2400.12
T1=23.92
 MSAT (TO)
f=1493
TT=2400.12
T1=23.95
 MSAT (TO)
f=1459
TT=2400.06
T1=701.42
 MSAT (TO)
f=1455
TT=2400.04
T1=96.01
 MSAT (TO)
f=1483
TT=2400.03
T1=1.26
 MSAT (TO)
f=1494
TT=2400.08

 ? (TO)

TT=2400

 ? (TO)

TT=2400.12

 MSAT (TO)
f=1494
TT=2400.14
Bench nameBest results
on this
instance		AbsconMax
109 EPFC		AbsconMax
109 PFC		aolibdvo
2007-01-17		aolibpvo
2007-01-17		CSP4J - MaxCSP
2006-12-19		toolbar
2007-01-12		Toolbar_BTD
2007-01-12		Toolbar_MaxSat
2007-01-19		Toulbar2
2007-01-12
MaxCSP/cnf/3-80-1100-2000/
cnf-3-80-1700-346741_ext.xml		 MSAT TO
f=1576
TT=2400.07

 MSAT (TO)
f=1575
TT=2400.13
T1=5.06
 MSAT (TO)
f=1575
TT=2400.12
T1=5.74
 MSAT (TO)
f=1531
TT=2400.09
T1=32.57
 MSAT (TO)
f=1532
TT=2400.06
T1=38.09
 MSAT (TO)
f=1568
TT=2400.05

 MSAT (TO)
f=1576
TT=2400.07

 ? (TO)

TT=2400.06

 ? (TO)

TT=2400.08

 MSAT (TO)
f=1576
TT=2400.08
MaxCSP/cnf/3-80-1100-2000/
cnf-3-80-1800-072441_ext.xml		 MSAT TO
f=1672
TT=2400.12

 MSAT (TO)
f=1669
TT=2400.11
T1=4.41
 MSAT (TO)
f=1669
TT=2400.06
T1=4.25
 ? (TO)

TT=2400.06

 ? (TO)

TT=2400.11

 MSAT (TO)
f=1651
TT=2400.03
T1=1.37
 MSAT (TO)
f=1672
TT=2400.15

 ? (TO)

TT=2400.01

 ? (TO)

TT=2400.13

 MSAT (TO)
f=1672
TT=2400.12
MaxCSP/cnf/3-80-1100-2000/
cnf-3-80-1900-798141_ext.xml		 MSAT TO
f=1763
TT=2400.06

 MSAT (TO)
f=1762
TT=2400.07
T1=42.08
 MSAT (TO)
f=1762
TT=2400.1
T1=44.82
 MSAT (TO)
f=1728
TT=2400.03
T1=7.95
 MSAT (TO)
f=1728
TT=2400.11
T1=7.5
 MSAT (TO)
f=1754
TT=2400.06

 ? (TO)

TT=2400.06

 ? (TO)

TT=2400.05

 ? (TO)

TT=2400.12

 MSAT (TO)
f=1763
TT=2400.06
MaxCSP/cnf/3-80-1100-2000/
cnf-3-80-2000-523841_ext.xml		 MSAT TO
f=1844
TT=2400.07

 MSAT (TO)
f=1842
TT=2400.09
T1=16.49
 MSAT (TO)
f=1842
TT=2400.13
T1=15.13
 MSAT (TO)
f=1796
TT=2400.04
T1=526.18
 MSAT (TO)
f=1796
TT=2400.08
T1=468.28
 MSAT (TO)
f=1828
TT=2400
T1=1.53
 MSAT (TO)
f=1844
TT=2400.07

 ? (TO)

TT=2400.02

 ? (TO)

TT=2400.12

 MSAT (TO)
f=1844
TT=2400.09
MaxCSP/
pedigree/
connell_ext.xml		 MOPT
f=14
TT=0.009

 OPTIMUM
f=14
TT=0.663
T1=0.51
 OPTIMUM
f=14
TT=0.69
T1=0.54
 OPTIMUM
f=14
TT=0.009
T1=0.01
 OPTIMUM
f=14
TT=0.009
T1=0.01
 MSAT (TO)
f=14
TT=2400.06
T1=0.33
 OPTIMUM
f=14
TT=1.513

 OPTIMUM
f=14
TT=1.674

 OPTIMUM
f=14
TT=0.722

 OPTIMUM
f=14
TT=1.517
MaxCSP/
pedigree/
eye_ext.xml		 MOPT
f=52
TT=0.127

 OPTIMUM
f=52
TT=0.733
T1=0.59
 OPTIMUM
f=52
TT=0.781
T1=0.6
 OPTIMUM
f=52
TT=0.127
T1=0.12
 OPTIMUM
f=52
TT=0.112
T1=0.1
 ? (problem)

TT=0.642

NODES=0
 OPTIMUM
f=52
TT=18.073

 OPTIMUM
f=52
TT=18.305

 ? (MO)

TT=1.07

 OPTIMUM
f=52
TT=17.863
MaxCSP/pedigree/
pedck1000_ext.xml		 MOPT
f=1651
TT=32.828

 MSAT (TO)
f=1651
TT=2400.11
T1=2.29
 MSAT (TO)
f=1651
TT=2400.07
T1=2.28
 ? (TO)

TT=2400.12

 ? (TO)

TT=2400.05

 ? (problem)

TT=1.302

NODES=0
 ? (TO)

TT=2400

 ? (TO)

TT=2400.01

 ? (MO)

TT=2.11

 OPTIMUM
f=1651
TT=32.828
MaxCSP/
pedigree/
pedck350_ext.xml		 MOPT
f=576
TT=5.035

 OPTIMUM
f=576
TT=69.917
T1=1
 OPTIMUM
f=576
TT=46.993
T1=1
 OPTIMUM
f=576
TT=5.035
T1=5.03
 OPTIMUM
f=576
TT=4.968
T1=4.98
 ? (problem)

TT=0.958

NODES=0
 OPTIMUM
f=576
TT=62.157

 OPTIMUM
f=576
TT=64.034

 ? (MO)

TT=1.06

 OPTIMUM
f=576
TT=60.991
MaxCSP/pedigree/
pedck350l2_ext.xml		 MOPT
f=577
TT=1.272

 OPTIMUM
f=577
TT=1.282
T1=1.03
 OPTIMUM
f=577
TT=1.272
T1=0.97
 OPTIMUM
f=577
TT=1.864
T1=1.83
 Wrong Opt.
f=575
TT=115.261
T1=4.11
 ? (problem)

TT=0.925

NODES=0
 OPTIMUM
f=577
TT=82.201

 OPTIMUM
f=577
TT=78.449

 ? (MO)

TT=1.08

 OPTIMUM
f=577
TT=76.765
MaxCSP/pedigree/
pedck60-L12_ext.xml		 MOPT
f=102
TT=3.078

 OPTIMUM
f=102
TT=31.943
T1=0.6
 OPTIMUM
f=102
TT=35.808
T1=0.73
 OPTIMUM
f=102
TT=3.078
T1=3.1
 OPTIMUM
f=102
TT=0.452
T1=0.45
 ? (problem)

TT=0.464

NODES=0
 OPTIMUM
f=102
TT=11.04

 OPTIMUM
f=102
TT=11.517

 ? (TO)

TT=2400

 OPTIMUM
f=102
TT=11.403
Bench nameBest results
on this
instance		AbsconMax
109 EPFC		AbsconMax
109 PFC		aolibdvo
2007-01-17		aolibpvo
2007-01-17		CSP4J - MaxCSP
2006-12-19		toolbar
2007-01-12		Toolbar_BTD
2007-01-12		Toolbar_MaxSat
2007-01-19		Toulbar2
2007-01-12
MaxCSP/pedigree/
pedck60-L1_ext.xml		 MOPT
f=106
TT=0.138

 OPTIMUM
f=106
TT=30.845
T1=0.67
 OPTIMUM
f=106
TT=30.889
T1=0.63
 OPTIMUM
f=106
TT=0.138
T1=0.14
 OPTIMUM
f=106
TT=0.12
T1=0.12
 ? (problem)

TT=0.529

NODES=0
 OPTIMUM
f=106
TT=13.821

 OPTIMUM
f=106
TT=13.421

 OPTIMUM
f=106
TT=1953.78

 OPTIMUM
f=106
TT=14.126
MaxCSP/pedigree/
pedck60-L2_ext.xml		 MOPT
f=104
TT=0.123

 OPTIMUM
f=104
TT=31.287
T1=0.63
 OPTIMUM
f=104
TT=30.953
T1=0.59
 OPTIMUM
f=104
TT=0.123
T1=0.12
 OPTIMUM
f=104
TT=0.09
T1=0.09
 ? (problem)

TT=0.469

NODES=0
 OPTIMUM
f=104
TT=12.323

 OPTIMUM
f=104
TT=12.264

 ? (TO)

TT=2400.04

 OPTIMUM
f=104
TT=11.741
MaxCSP/
pedigree/
sheep4nr_ext.xml		 MOPT
f=11190
TT=678.828

 MSAT (TO)
f=11189
TT=2400.12
T1=307.13
 MSAT (TO)
f=11189
TT=2400.08
T1=308.98
 ? (MO)

TT=75.354

 ? (MO)

TT=75.575

 ? (problem)

TT=35.325

NODES=0
 ? (MO)

TT=116.77

 ? (MO)

TT=28.48

 ? (MO)

TT=0.03

 OPTIMUM
f=11190
TT=678.828
MaxCSP/pedigree/
sheep4r-4-2_ext.xml		 MOPT
f=2829
TT=37.098

 OPTIMUM
f=2829
TT=104.901
T1=97.92
 OPTIMUM
f=2829
TT=106.54
T1=99.23
 ? (TO)

TT=2400.19

 ? (TO)

TT=2400.14

 ? (problem)

TT=3.875

NODES=0
 OPTIMUM
f=2829
TT=56.979

 ? (TO)

TT=2400.07

 ? (exit code)

TT=3.495

 OPTIMUM
f=2829
TT=37.098
MaxCSP/pedigree/
sheep4r-4-3_ext.xml		 MOPT
f=3634
TT=38.064

 OPTIMUM
f=3634
TT=41.464
T1=39.2
 OPTIMUM
f=3634
TT=39.91
T1=37.86
 ? (MO)

TT=8.695

 ? (MO)

TT=8.642

 ? (problem)

TT=5.137

NODES=0
 ? (MO)

TT=37.75

 ? (TO)

TT=2400.04

 ? (MO)

TT=0.031

 OPTIMUM
f=3634
TT=38.064
MaxCSP/
pedigree/
sheep4r_ext.xml		 MOPT
f=11105
TT=679.678

 MSAT (TO)
f=11101
TT=2400.1
T1=292.6
 MSAT (TO)
f=11101
TT=2400.14
T1=291.51
 ? (MO)

TT=74.979

 ? (MO)

TT=75.206

 ? (problem)

TT=40.185

NODES=0
 ? (MO)

TT=121.05

 ? (MO)

TT=27

 ? (MO)

TT=0.033

 OPTIMUM
f=11105
TT=679.678
MaxCSP/
pedigree/
simple_ext.xml		 MOPT
f=5
TT=0.004

 OPTIMUM
f=5
TT=0.656
T1=0.52
 OPTIMUM
f=5
TT=0.687
T1=0.57
 OPTIMUM
f=5
TT=0.004
T1=0
 OPTIMUM
f=5
TT=0.004
T1=0
 ? (problem)

TT=0.33

NODES=0
 OPTIMUM
f=5
TT=1.433

 OPTIMUM
f=5
TT=1.486

 OPTIMUM
f=5
TT=0.85

 OPTIMUM
f=5
TT=1.338
MaxCSP/pedigree/
wijsmanguo_ext.xml		 MOPT
f=67
TT=0.829

 OPTIMUM
f=67
TT=0.966
T1=0.67
 OPTIMUM
f=67
TT=0.829
T1=0.65
 OPTIMUM
f=67
TT=1.238
T1=1.23
 OPTIMUM
f=67
TT=5.507
T1=5.5
 ? (problem)

TT=1.339

NODES=0
 OPTIMUM
f=67
TT=25.469

 OPTIMUM
f=67
TT=24.243

 ? (exit code)

TT=1.47

 OPTIMUM
f=67
TT=24.5
MaxCSP/spot5/
spot5-28_ext.xml		 MSAT TO
f=5046
TT=2400.09

 MSAT (TO)
f=5035
TT=2400.16
T1=418.91
 MSAT (TO)
f=5037
TT=2400.1
T1=741
 ? (TO)

TT=2400.09

 ? (TO)

TT=2400.06

 ? (problem)

TT=3.372

NODES=0
 MSAT (TO)
f=5046
TT=2400.09

 ? (TO)

TT=2400.01

 ? (TO)

TT=2400.02

 ? (TO)

TT=2400.1
MaxCSP/spot5/
spot5-404_ext.xml		 MOPT
f=645
TT=1806.98

 MSAT (TO)
f=642
TT=2400.1
T1=42.21
 MSAT (TO)
f=643
TT=2400.09
T1=39.79
 OPTIMUM
f=645
TT=1806.98
T1=1816.61
 OPTIMUM
f=645
TT=41.578
T1=41.88
 ? (problem)

TT=0.57

NODES=0
 MSAT (TO)
f=645
TT=2400.11

 ? (TO)

TT=2400.05

 ? (TO)

TT=2400.06

 MSAT (TO)
f=645
TT=2400.14
Bench nameBest results
on this
instance		AbsconMax
109 EPFC		AbsconMax
109 PFC		aolibdvo
2007-01-17		aolibpvo
2007-01-17		CSP4J - MaxCSP
2006-12-19		toolbar
2007-01-12		Toolbar_BTD
2007-01-12		Toolbar_MaxSat
2007-01-19		Toulbar2
2007-01-12
MaxCSP/spot5/
spot5-408_ext.xml		 MSAT TO
f=2097
TT=2400.04

 MSAT (TO)
f=2092
TT=2400.02
T1=46.16
 MSAT (TO)
f=2090
TT=2400.12
T1=15.79
 ? (TO)

TT=2400.06

 ? (TO)

TT=2400.05

 ? (problem)

TT=0.972

NODES=0
 MSAT (TO)
f=2097
TT=2400.11

 ? (TO)

TT=2400

 ? (TO)

TT=2400.08

 MSAT (TO)
f=2097
TT=2400.04
MaxCSP/spot5/
spot5-412_ext.xml		 MSAT TO
f=4134
TT=2400.05

 MSAT (TO)
f=4123
TT=2400.06
T1=33.27
 MSAT (TO)
f=4126
TT=2400.11
T1=33.77
 ? (TO)

TT=2400.09

 ? (TO)

TT=2400.11

 ? (problem)

TT=2.492

NODES=0
 MSAT (TO)
f=4134
TT=2400.05

 ? (TO)

TT=2400.08

 ? (TO)

TT=2400.09

 MSAT (TO)
f=4134
TT=2400.05
MaxCSP/spot5/
spot5-414_ext.xml		 MSAT TO
f=9847
TT=2400.06

 MSAT (TO)
f=9831
TT=2400.14
T1=44.64
 MSAT (TO)
f=9832
TT=2400.14
T1=40.04
 ? (TO)

TT=2400.11

 ? (TO)

TT=2400.11

 ? (problem)

TT=13.838

NODES=0
 ? (TO)

TT=2400.13

 ? (TO)

TT=2400.05

 ? (TO)

TT=2400.04

 MSAT (TO)
f=9847
TT=2400.06
MaxCSP/spot5/
spot5-42_ext.xml		 MSAT TO
f=1284
TT=2400.09

 MSAT (TO)
f=1276
TT=2400.11
T1=14.82
 MSAT (TO)
f=1276
TT=2400.09
T1=13.77
 ? (TO)

TT=2400.08

 ? (TO)

TT=2400.04

 ? (problem)

TT=0.775

NODES=0
 MSAT (TO)
f=1284
TT=2400.14

 ? (TO)

TT=2400.03

 ? (TO)

TT=2400.03

 MSAT (TO)
f=1284
TT=2400.09
MaxCSP/spot5/
spot5-503_ext.xml		 MOPT
f=566
TT=14.794

 MSAT (TO)
f=563
TT=2400.07
T1=28.46
 MSAT (TO)
f=563
TT=2400.14
T1=29.02
 ? (TO)

TT=2400.1

 OPTIMUM
f=566
TT=137.079
T1=138.1
 ? (problem)

TT=0.57

NODES=0
 MSAT (TO)
f=566
TT=2400.12

 OPTIMUM
f=566
TT=14.794

 ? (TO)

TT=2400.07

 MSAT (TO)
f=566
TT=2400.04
MaxCSP/spot5/
spot5-505_ext.xml		 MSAT TO
f=2091
TT=2400.11

 MSAT (TO)
f=2081
TT=2400.15
T1=978.45
 MSAT (TO)
f=2082
TT=2400.07
T1=1007.57
 ? (TO)

TT=2400.09

 ? (TO)

TT=2400.02

 ? (problem)

TT=1.038

NODES=0
 MSAT (TO)
f=2091
TT=2400.11

 ? (TO)

TT=2400.02

 ? (TO)

TT=2400.04

 MSAT (TO)
f=2091
TT=2400.11
MaxCSP/spot5/
spot5-507_ext.xml		 MSAT TO
f=5519
TT=2400.05

 MSAT (TO)
f=5508
TT=2400.12
T1=34.72
 MSAT (TO)
f=5509
TT=2400.06
T1=1105.89
 ? (TO)

TT=2400.1

 ? (TO)

TT=2400.08

 ? (problem)

TT=4.028

NODES=0
 MSAT (TO)
f=5519
TT=2400.05

 ? (TO)

TT=2400.05

 ? (TO)

TT=2400.07

 MSAT (TO)
f=5519
TT=2400.06
MaxCSP/spot5/
spot5-509_ext.xml		 MSAT TO
f=8379
TT=2400.05

 MSAT (TO)
f=8359
TT=2400.11
T1=1.37
 MSAT (TO)
f=8359
TT=2400.05
T1=1.35
 ? (TO)

TT=2400.05

 ? (TO)

TT=2400.04

 ? (problem)

TT=9.591

NODES=0
 MSAT (TO)
f=8379
TT=2400.06

 ? (TO)

TT=2400.01

 ? (TO)

TT=2400.06

 MSAT (TO)
f=8379
TT=2400.05
MaxCSP/spot5/
spot5-54_ext.xml		 MOPT
f=249
TT=0.271

 MSAT (TO)
f=249
TT=2400.08
T1=3.34
 MSAT (TO)
f=249
TT=2400.1
T1=3.32
 OPTIMUM
f=249
TT=0.271
T1=0.27
 OPTIMUM
f=249
TT=1.525
T1=1.53
 ? (problem)

TT=0.445

NODES=0
 OPTIMUM
f=249
TT=5.615

 OPTIMUM
f=249
TT=4.44

 ? (TO)

TT=2400.11

 OPTIMUM
f=249
TT=6.917
MaxCSP/spot5/
spot5-5_ext.xml		 MSAT TO
f=5413
TT=2400.11

 MSAT (TO)
f=5393
TT=2400.08
T1=38.61
 MSAT (TO)
f=5395
TT=2400.13
T1=708.86
 ? (TO)

TT=2400.05

 ? (TO)

TT=2400.09

 ? (problem)

TT=3.958

NODES=0
 MSAT (TO)
f=5413
TT=2400.11

 ? (TO)

TT=2400.09

 ? (TO)

TT=2400

 MSAT (TO)
f=5413
TT=2400.12
Bench nameBest results
on this
instance		AbsconMax
109 EPFC		AbsconMax
109 PFC		aolibdvo
2007-01-17		aolibpvo
2007-01-17		CSP4J - MaxCSP
2006-12-19		toolbar
2007-01-12		Toolbar_BTD
2007-01-12		Toolbar_MaxSat
2007-01-19		Toulbar2
2007-01-12
random/rand-10-20-10/
rand-10-20-10-5-10000-0_ext.xml		 MOPT
f=3
TT=1160.59

 OPTIMUM
f=3
TT=1160.59
T1=166.48
 MSAT (TO)
f=2
TT=2400.07
T1=9.98
 Signal

TT=0.004

 Signal

TT=0.005

 ?

TT=0.511

 ? (exit code)

TT=0.048

 ? (exit code)

TT=0.05

 ? (exit code)

TT=0.042

 ? (TO)

TT=2400.06
random/rand-10-20-10/
rand-10-20-10-5-10000-10_ext.xml		 MSAT TO
f=3
TT=2400.11

 MSAT (TO)
f=3
TT=2400.11
T1=1054.68
 MSAT (TO)
f=3
TT=2400.14
T1=1958.54
 Signal

TT=0.004

 Signal

TT=0.006

 ?

TT=0.537

 ? (exit code)

TT=0.044

 ? (exit code)

TT=0.052

 ? (exit code)

TT=0.045

 ? (TO)

TT=2400.08
random/rand-10-20-10/
rand-10-20-10-5-10000-11_ext.xml		 MSAT TO
f=3
TT=2400.06

 MSAT (TO)
f=3
TT=2400.06
T1=1187.58
 MSAT (TO)
f=3
TT=2400.06
T1=695.55
 Signal

TT=0.004

 Signal

TT=0.004

 ?

TT=0.508

 ? (exit code)

TT=0.051

 ? (exit code)

TT=0.048

 ? (exit code)

TT=0.041

 MSAT (TO)
f=1
TT=2400.06
random/rand-10-20-10/
rand-10-20-10-5-10000-12_ext.xml		 MOPT
f=3
TT=750.774

 MSAT (TO)
f=3
TT=2400.13
T1=2029.9
 OPTIMUM
f=3
TT=750.774
T1=531.45
 Signal

TT=0.005

 Signal

TT=0.005

 ?

TT=0.512

 ? (exit code)

TT=0.048

 ? (exit code)

TT=0.048

 ? (exit code)

TT=0.044

 ? (TO)

TT=2400.2
random/rand-10-20-10/
rand-10-20-10-5-10000-13_ext.xml		 MSAT TO
f=2
TT=2400.04

 MSAT (TO)
f=2
TT=2400.04
T1=23.9
 MSAT (TO)
f=2
TT=2400.12
T1=24.26
 Signal

TT=0.005

 Signal

TT=0.005

 ?

TT=0.505

 ? (exit code)

TT=0.05

 ? (exit code)

TT=0.045

 ? (exit code)

TT=0.041

 ? (TO)

TT=2400.11
random/rand-10-20-10/
rand-10-20-10-5-10000-14_ext.xml		 MSAT TO
f=3
TT=2400.11

 MSAT (TO)
f=3
TT=2400.13
T1=112.19
 MSAT (TO)
f=3
TT=2400.11
T1=624.69
 Signal

TT=0.004

 Signal

TT=0.004

 ?

TT=0.539

 ? (exit code)

TT=0.049

 ? (exit code)

TT=0.048

 ? (exit code)

TT=0.04

 MSAT (TO)
f=2
TT=2400.07
random/rand-10-20-10/
rand-10-20-10-5-10000-15_ext.xml		 MOPT
f=3
TT=1153.56

 OPTIMUM
f=3
TT=2092.17
T1=53.67
 OPTIMUM
f=3
TT=1153.56
T1=152.34
 Signal

TT=0.004

 Signal

TT=0.005

 ?

TT=0.537

 ? (exit code)

TT=0.051

 ? (exit code)

TT=0.048

 ? (exit code)

TT=0.041

 MSAT (TO)
f=1
TT=2400.13
random/rand-10-20-10/
rand-10-20-10-5-10000-16_ext.xml		 MSAT TO
f=2
TT=2400.12

 MSAT (TO)
f=2
TT=2400.13
T1=11.45
 MSAT (TO)
f=2
TT=2400.12
T1=12.28
 Signal

TT=0.006

 Signal

TT=0.004

 ?

TT=0.521

 ? (exit code)

TT=0.049

 ? (exit code)

TT=0.048

 ? (exit code)

TT=0.042

 MSAT (TO)
f=2
TT=2400.14
random/rand-10-20-10/
rand-10-20-10-5-10000-17_ext.xml		 MOPT
f=3
TT=1022.9

 OPTIMUM
f=3
TT=1022.9
T1=851.51
 OPTIMUM
f=3
TT=1154.08
T1=984.42
 Signal

TT=0.005

 Signal

TT=0.004

 ?

TT=0.541

 ? (exit code)

TT=0.049

 ? (exit code)

TT=0.049

 ? (exit code)

TT=0.044

 MSAT (TO)
f=1
TT=2400.14
random/rand-10-20-10/
rand-10-20-10-5-10000-18_ext.xml		 MSAT TO
f=2
TT=2400.08

 MSAT (TO)
f=2
TT=2400.08
T1=17.14
 MSAT (TO)
f=2
TT=2400.16
T1=17.34
 Signal

TT=0.004

 Signal

TT=0.004

 ?

TT=0.537

 ? (exit code)

TT=0.048

 ? (exit code)

TT=0.049

 ? (exit code)

TT=0.04

 ? (TO)

TT=2400.05
Bench nameBest results
on this
instance		AbsconMax
109 EPFC		AbsconMax
109 PFC		aolibdvo
2007-01-17		aolibpvo
2007-01-17		CSP4J - MaxCSP
2006-12-19		toolbar
2007-01-12		Toolbar_BTD
2007-01-12		Toolbar_MaxSat
2007-01-19		Toulbar2
2007-01-12
random/rand-10-20-10/
rand-10-20-10-5-10000-19_ext.xml		 MSAT TO
f=3
TT=2400.12

 MSAT (TO)
f=2
TT=2400.05
T1=32.28
 MSAT (TO)
f=3
TT=2400.12
T1=1889.43
 Signal

TT=0.003

 Signal

TT=0.006

 ?

TT=0.528

 ? (exit code)

TT=0.045

 ? (exit code)

TT=0.052

 ? (exit code)

TT=0.044

 ? (TO)

TT=2400.23
random/rand-10-20-10/
rand-10-20-10-5-10000-1_ext.xml		 MOPT
f=3
TT=670.579

 OPTIMUM
f=3
TT=1986.79
T1=1060.31
 OPTIMUM
f=3
TT=670.579
T1=284.33
 Signal

TT=0.005

 Signal

TT=0.004

 ?

TT=0.504

 ? (exit code)

TT=0.046

 ? (exit code)

TT=0.05

 ? (exit code)

TT=0.042

 ? (TO)

TT=2400.05
random/rand-10-20-10/
rand-10-20-10-5-10000-2_ext.xml		 MSAT TO
f=2
TT=2400.04

 MSAT (TO)
f=2
TT=2400.08
T1=34.3
 MSAT (TO)
f=2
TT=2400.04
T1=33.17
 Signal

TT=0.004

 Signal

TT=0.005

 ?

TT=0.537

 ? (exit code)

TT=0.045

 ? (exit code)

TT=0.05

 ? (exit code)

TT=0.044

 MSAT (TO)
f=2
TT=2400.14
random/rand-10-20-10/
rand-10-20-10-5-10000-3_ext.xml		 MSAT TO
f=3
TT=2400.1

 MSAT (TO)
f=3
TT=2400.1
T1=808.85
 MSAT (TO)
f=3
TT=2400.14
T1=870.49
 Signal

TT=0.003

 Signal

TT=0.004

 ?

TT=0.526

 ? (exit code)

TT=0.052

 ? (exit code)

TT=0.048

 ? (exit code)

TT=0.041

 ? (TO)

TT=2400.11
random/rand-10-20-10/
rand-10-20-10-5-10000-4_ext.xml		 MOPT
f=3
TT=406.94

 OPTIMUM
f=3
TT=681.578
T1=75.01
 OPTIMUM
f=3
TT=406.94
T1=86.55
 Signal

TT=0.005

 Signal

TT=0.006

 ?

TT=0.537

 ? (exit code)

TT=0.046

 ? (exit code)

TT=0.051

 ? (exit code)

TT=0.046

 MSAT (TO)
f=1
TT=2400.07
random/rand-10-20-10/
rand-10-20-10-5-10000-5_ext.xml		 MOPT
f=3
TT=1309.67

 OPTIMUM
f=3
TT=2190.48
T1=960.27
 OPTIMUM
f=3
TT=1309.67
T1=192.75
 Signal

TT=0.005

 Signal

TT=0.005

 ?

TT=0.532

 ? (exit code)

TT=0.049

 ? (exit code)

TT=0.047

 ? (exit code)

TT=0.045

 ? (TO)

TT=2400.05
random/rand-10-20-10/
rand-10-20-10-5-10000-6_ext.xml		 MSAT TO
f=2
TT=2400.09

 MSAT (TO)
f=2
TT=2400.09
T1=39.04
 MSAT (TO)
f=2
TT=2400.12
T1=38.04
 Signal

TT=0.005

 Signal

TT=0.005

 ?

TT=0.518

 ? (exit code)

TT=0.047

 ? (exit code)

TT=0.049

 ? (exit code)

TT=0.042

 ? (TO)

TT=2400.05
random/rand-10-20-10/
rand-10-20-10-5-10000-7_ext.xml		 MOPT
f=3
TT=242.092

 OPTIMUM
f=3
TT=2106.49
T1=1255.36
 OPTIMUM
f=3
TT=242.092
T1=48.85
 Signal

TT=0.005

 Signal

TT=0.004

 ?

TT=0.539

 ? (exit code)

TT=0.049

 ? (exit code)

TT=0.05

 ? (exit code)

TT=0.042

 ? (TO)

TT=2400.07
random/rand-10-20-10/
rand-10-20-10-5-10000-8_ext.xml		 MOPT
f=3
TT=893.957

 MSAT (TO)
f=3
TT=2400.08
T1=1139.71
 OPTIMUM
f=3
TT=893.957
T1=182.29
 Signal

TT=0.005

 Signal

TT=0.005

 ?

TT=0.532

 ? (exit code)

TT=0.048

 ? (exit code)

TT=0.047

 ? (exit code)

TT=0.042

 ? (TO)

TT=2400.07
random/rand-10-20-10/
rand-10-20-10-5-10000-9_ext.xml		 MSAT TO
f=3
TT=2400.15

 MSAT (TO)
f=2
TT=2400.1
T1=12.01
 MSAT (TO)
f=3
TT=2400.15
T1=136.18
 Signal

TT=0.005

 Signal

TT=0.005

 ?

TT=0.533

 ? (exit code)

TT=0.047

 ? (exit code)

TT=0.052

 ? (exit code)

TT=0.044

 ? (TO)

TT=2400.05
Bench nameBest results
on this
instance		AbsconMax
109 EPFC		AbsconMax
109 PFC		aolibdvo
2007-01-17		aolibpvo
2007-01-17		CSP4J - MaxCSP
2006-12-19		toolbar
2007-01-12		Toolbar_BTD
2007-01-12		Toolbar_MaxSat
2007-01-19		Toulbar2
2007-01-12
random/rand-3-20-20/
rand-3-20-20-60-632-11_ext.xml		 MOPT
f=59
TT=237.937

 MSAT (TO)
f=59
TT=2400.13
T1=302.92
 OPTIMUM
f=59
TT=1775.96
T1=567.7
 OPTIMUM
f=59
TT=681.298
T1=687.13
 OPTIMUM
f=59
TT=890.604
T1=894.02
 MSAT (TO)
f=54
TT=2400.05

 OPTIMUM
f=59
TT=237.937

 OPTIMUM
f=59
TT=251.245

 ? (exit code)

TT=6.952

 OPTIMUM
f=59
TT=1895.53
random/rand-3-20-20/
rand-3-20-20-60-632-16_ext.xml		 MOPT
f=57
TT=220.504

 MSAT (TO)
f=57
TT=2400.1
T1=1357.2
 OPTIMUM
f=57
TT=2330.78
T1=525.03
 OPTIMUM
f=57
TT=1328.73
T1=1334.99
 OPTIMUM
f=57
TT=1258.73
T1=1268.06
 MSAT (TO)
f=54
TT=2400.08

 OPTIMUM
f=57
TT=220.504

 OPTIMUM
f=57
TT=254.93

 ? (exit code)

TT=23.788

 OPTIMUM
f=57
TT=1394.27
random/rand-3-20-20/
rand-3-20-20-60-632-18_ext.xml		 MOPT
f=54
TT=30.804

 OPTIMUM
f=54
TT=427.062
T1=208.87
 OPTIMUM
f=54
TT=368.405
T1=230.7
 OPTIMUM
f=54
TT=60.126
T1=60.23
 OPTIMUM
f=54
TT=51.137
T1=51.15
 MSAT (TO)
f=48
TT=2400.01

 OPTIMUM
f=54
TT=30.804

 OPTIMUM
f=54
TT=32.051

 ? (exit code)

TT=29.988

 OPTIMUM
f=54
TT=145.212
random/rand-3-20-20/
rand-3-20-20-60-632-19_ext.xml		 MOPT
f=57
TT=59.743

 OPTIMUM
f=57
TT=1771.72
T1=313.84
 OPTIMUM
f=57
TT=873.002
T1=173.89
 ? (TO)

TT=2400.02

 OPTIMUM
f=57
TT=985.473
T1=989.78
 MSAT (TO)
f=51
TT=2400.01

 OPTIMUM
f=57
TT=59.743

 OPTIMUM
f=57
TT=63.856

 ? (exit code)

TT=30.086

 OPTIMUM
f=57
TT=507.423
random/rand-3-20-20/
rand-3-20-20-60-632-21_ext.xml		 MOPT
f=57
TT=47.133

 OPTIMUM
f=57
TT=1210.88
T1=700.64
 OPTIMUM
f=57
TT=666.384
T1=431.41
 OPTIMUM
f=57
TT=47.133
T1=47.55
 OPTIMUM
f=57
TT=48.424
T1=48.67
 MSAT (TO)
f=54
TT=2400.02

 OPTIMUM
f=57
TT=377.661

 OPTIMUM
f=57
TT=413.7

 ? (exit code)

TT=30.404

 OPTIMUM
f=57
TT=235.33
random/rand-3-20-20/
rand-3-20-20-60-632-22_ext.xml		 MOPT
f=58
TT=234.383

 MSAT (TO)
f=57
TT=2400.1
T1=260.69
 MSAT (TO)
f=58
TT=2400.12
T1=2020.79
 OPTIMUM
f=58
TT=1523.63
T1=1524.02
 OPTIMUM
f=58
TT=1182.77
T1=1186.77
 MSAT (TO)
f=52
TT=2400.05

 OPTIMUM
f=58
TT=234.383

 OPTIMUM
f=58
TT=254.134

 ? (exit code)

TT=30.841

 OPTIMUM
f=58
TT=1626.72
random/rand-3-20-20/
rand-3-20-20-60-632-23_ext.xml		 MOPT
f=56
TT=36.664

 OPTIMUM
f=56
TT=1202.95
T1=346.05
 OPTIMUM
f=56
TT=426.199
T1=84.59
 ? (TO)

TT=2400.04

 OPTIMUM
f=56
TT=260.789
T1=262.74
 MSAT (TO)
f=51
TT=2400.01
T1=1.43
 OPTIMUM
f=56
TT=36.664

 OPTIMUM
f=56
TT=41.066

 ? (exit code)

TT=29.528

 OPTIMUM
f=56
TT=330.067
random/rand-3-20-20/
rand-3-20-20-60-632-2_ext.xml		 MOPT
f=59
TT=179.693

 OPTIMUM
f=59
TT=1916.42
T1=1395.81
 OPTIMUM
f=59
TT=1459.22
T1=934
 ? (TO)

TT=2400.05

 OPTIMUM
f=59
TT=689.13
T1=689.53
 MSAT (TO)
f=53
TT=2400.1
T1=1.59
 OPTIMUM
f=59
TT=179.693

 OPTIMUM
f=59
TT=223.518

 ? (exit code)

TT=32.093

 OPTIMUM
f=59
TT=207.483
random/rand-3-20-20/
rand-3-20-20-60-632-30_ext.xml		 MOPT
f=59
TT=202.418

 OPTIMUM
f=59
TT=660.637
T1=58.05
 OPTIMUM
f=59
TT=672.799
T1=362.14
 OPTIMUM
f=59
TT=687.558
T1=693.81
 OPTIMUM
f=59
TT=133.373
T1=134.37
 MSAT (TO)
f=49
TT=2400.05
T1=1.52
 OPTIMUM
f=59
TT=202.418

 OPTIMUM
f=59
TT=242.026

 ? (exit code)

TT=19.919

 OPTIMUM
f=59
TT=439.5
random/rand-3-20-20/
rand-3-20-20-60-632-31_ext.xml		 MOPT
f=58
TT=255.417

 MSAT (TO)
f=58
TT=2400.12
T1=2292.63
 OPTIMUM
f=58
TT=1959.25
T1=1272.83
 OPTIMUM
f=58
TT=1534.2
T1=1536.2
 OPTIMUM
f=58
TT=234.158
T1=236
 MSAT (TO)
f=52
TT=2400.06

 OPTIMUM
f=58
TT=255.417

 OPTIMUM
f=58
TT=296.96

 ? (exit code)

TT=1.11

 OPTIMUM
f=58
TT=667.865
Bench nameBest results
on this
instance		AbsconMax
109 EPFC		AbsconMax
109 PFC		aolibdvo
2007-01-17		aolibpvo
2007-01-17		CSP4J - MaxCSP
2006-12-19		toolbar
2007-01-12		Toolbar_BTD
2007-01-12		Toolbar_MaxSat
2007-01-19		Toulbar2
2007-01-12
random/rand-3-20-20/
rand-3-20-20-60-632-33_ext.xml		 MOPT
f=58
TT=351.726

 MSAT (TO)
f=58
TT=2400.12
T1=1783.02
 MSAT (TO)
f=58
TT=2400.12
T1=1434.7
 OPTIMUM
f=58
TT=673.952
T1=679.9
 OPTIMUM
f=58
TT=370.698
T1=373.96
 MSAT (TO)
f=51
TT=2400.09

 OPTIMUM
f=58
TT=351.726

 OPTIMUM
f=58
TT=377.141

 ? (exit code)

TT=30.108

 OPTIMUM
f=58
TT=1738.24
random/rand-3-20-20/
rand-3-20-20-60-632-34_ext.xml		 MOPT
f=58
TT=124.182

 OPTIMUM
f=58
TT=1099.01
T1=91.16
 OPTIMUM
f=58
TT=678.059
T1=71.5
 OPTIMUM
f=58
TT=1138.05
T1=1138.63
 OPTIMUM
f=58
TT=1119.15
T1=1124.04
 MSAT (TO)
f=50
TT=2400.05
T1=1.45
 OPTIMUM
f=58
TT=124.182

 OPTIMUM
f=58
TT=139.677

 ? (exit code)

TT=29.649

 OPTIMUM
f=58
TT=1091.07
random/rand-3-20-20/
rand-3-20-20-60-632-35_ext.xml		 MOPT
f=56
TT=66.526

 OPTIMUM
f=56
TT=1524.62
T1=1159.54
 OPTIMUM
f=56
TT=642.466
T1=421.52
 ? (TO)

TT=2400.08

 OPTIMUM
f=56
TT=254.003
T1=256.15
 MSAT (TO)
f=47
TT=2400.06
T1=1.43
 OPTIMUM
f=56
TT=66.526

 OPTIMUM
f=56
TT=72.969

 ? (exit code)

TT=1.079

 OPTIMUM
f=56
TT=545.449
random/rand-3-20-20/
rand-3-20-20-60-632-38_ext.xml		 MOPT
f=55
TT=21.832

 OPTIMUM
f=55
TT=1068.5
T1=784.74
 OPTIMUM
f=55
TT=223.763
T1=115.32
 OPTIMUM
f=55
TT=323.739
T1=324.16
 OPTIMUM
f=55
TT=276.946
T1=279.35
 MSAT (TO)
f=49
TT=2400.08
T1=1.39
 OPTIMUM
f=55
TT=21.832

 OPTIMUM
f=55
TT=23.05

 ? (exit code)

TT=23.954

 OPTIMUM
f=55
TT=145.917
random/rand-3-20-20/
rand-3-20-20-60-632-39_ext.xml		 MOPT
f=58
TT=85.381

 OPTIMUM
f=58
TT=1522.61
T1=337.06
 OPTIMUM
f=58
TT=673.634
T1=143.36
 OPTIMUM
f=58
TT=227.394
T1=229.48
 OPTIMUM
f=58
TT=909.556
T1=913.77
 MSAT (TO)
f=53
TT=2400.08

 OPTIMUM
f=58
TT=85.381

 OPTIMUM
f=58
TT=95.646

 ? (exit code)

TT=30.501

 OPTIMUM
f=58
TT=568.788

Some statistics...

AbsconMax
109 EPFC		AbsconMax
109 PFC		aolibdvo
2007-01-17		aolibpvo
2007-01-17		CSP4J - MaxCSP
2006-12-19		toolbar
2007-01-12		Toolbar_BTD
2007-01-12		Toolbar_MaxSat
2007-01-19		Toulbar2
2007-01-12
Number of times the solver is able to give the best known answer707654041008356106
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)1830120046113331