MAX-CSP 2006 Competition: results by benchmark

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

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

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
coloring/
dsjc-125-1-4-ext.xml		 MSAT TO
f=716
TT=2400.1

 MSAT (TO)
f=716
TT=2400.11
T1=1.71
 MSAT (TO)
f=716
TT=2400.11
T1=1.89
 ? (TO)

TT=2400.05

 MSAT (TO)
f=703
TT=2400.1
T1=104.24
 MSAT (TO)
f=702
TT=2400.08

 MSAT (TO)
f=716
TT=2400.11

 ? (TO)

TT=2400.08

 ? (TO)

TT=2400.04

 MSAT (TO)
f=716
TT=2400.1
coloring/
geom-30a-3-ext.xml		 MOPT
f=70
TT=0.365

 OPTIMUM
f=70
TT=119.269
T1=0.55
 OPTIMUM
f=70
TT=87.285
T1=0.6
 OPTIMUM
f=70
TT=5.281
T1=5.32
 OPTIMUM
f=70
TT=0.365
T1=0.37
 MSAT (TO)
f=70
TT=2400.08
T1=0.35
 OPTIMUM
f=70
TT=2.184

 OPTIMUM
f=70
TT=1.679

 ? (TO)

TT=2400.1

 OPTIMUM
f=70
TT=2.148
coloring/
geom-30a-4-ext.xml		 MOPT
f=77
TT=0.392

 OPTIMUM
f=77
TT=51.473
T1=0.55
 OPTIMUM
f=77
TT=47.414
T1=0.56
 OPTIMUM
f=77
TT=3.955
T1=3.99
 OPTIMUM
f=77
TT=0.392
T1=0.39
 MSAT (TO)
f=77
TT=2400.09
T1=0.37
 OPTIMUM
f=77
TT=3.665

 OPTIMUM
f=77
TT=1.754

 ? (TO)

TT=2400.09

 OPTIMUM
f=77
TT=2.276
coloring/
geom-30a-5-ext.xml		 MOPT
f=80
TT=0.094

 OPTIMUM
f=80
TT=0.839
T1=0.56
 OPTIMUM
f=80
TT=0.838
T1=0.64
 OPTIMUM
f=80
TT=0.094
T1=0.09
 OPTIMUM
f=80
TT=0.121
T1=0.12
 MSAT (TO)
f=80
TT=2400.05
T1=0.39
 OPTIMUM
f=80
TT=1.606

 OPTIMUM
f=80
TT=1.769

 ? (TO)

TT=2400.13

 OPTIMUM
f=80
TT=1.717
coloring/
geom-40-2-ext.xml		 MOPT
f=56
TT=1.447

 OPTIMUM
f=56
TT=99.716
T1=0.57
 OPTIMUM
f=56
TT=186.178
T1=0.54
 Signal

TT=0.091

 Signal

TT=0.046

 MSAT (TO)
f=53
TT=2400.12
T1=0.32
 OPTIMUM
f=56
TT=1.505

 OPTIMUM
f=56
TT=1.557

 OPTIMUM
f=56
TT=0.387

 OPTIMUM
f=56
TT=1.447
coloring/
geom-40-3-ext.xml		 MOPT
f=71
TT=1.921

 OPTIMUM
f=71
TT=254.239
T1=0.54
 OPTIMUM
f=71
TT=238.299
T1=0.57
 Signal

TT=0.799

 Signal

TT=0.052

 MSAT (TO)
f=71
TT=2400.1
T1=0.37
 OPTIMUM
f=71
TT=24.989

 OPTIMUM
f=71
TT=1.921

 ? (TO)

TT=2400.13

 OPTIMUM
f=71
TT=2.115
coloring/
geom-40-4-ext.xml		 MOPT
f=75
TT=1.573

 OPTIMUM
f=75
TT=40.989
T1=0.56
 OPTIMUM
f=75
TT=37.234
T1=0.55
 Signal

TT=0.12

 Signal

TT=0.06

 MSAT (TO)
f=75
TT=2400.03
T1=0.37
 OPTIMUM
f=75
TT=1842.3

 OPTIMUM
f=75
TT=1.573

 ? (TO)

TT=2400.11

 OPTIMUM
f=75
TT=2.761
coloring/
geom-40-5-ext.xml		 MOPT
f=77
TT=0.801

 OPTIMUM
f=77
TT=0.823
T1=0.56
 OPTIMUM
f=77
TT=0.801
T1=0.56
 Signal

TT=0.052

 Signal

TT=0.048

 MSAT (TO)
f=77
TT=2400.04
T1=0.37
 OPTIMUM
f=77
TT=1128.6

 OPTIMUM
f=77
TT=1.619

 ? (TO)

TT=2400.16

 OPTIMUM
f=77
TT=1.548
coloring/
le-450-5a-2-ext.xml		 MSAT TO
f=3741
TT=2400.08

 MSAT (TO)
f=3686
TT=2400.06
T1=14.89
 MSAT (TO)
f=3686
TT=2400.14
T1=15.36
 MSAT (TO)
f=3391
TT=2400.1
T1=16.1
 MSAT (TO)
f=3344
TT=2400.03
T1=547.81
 MSAT (TO)
f=3505
TT=2400
T1=5.49
 MSAT (TO)
f=3741
TT=2400.08

 ? (TO)

TT=2400.05

 ? (TO)

TT=2400.08

 ? (TO)

TT=2400.1
coloring/
le-450-5a-3-ext.xml		 MSAT TO
f=4762
TT=2400.11

 MSAT (TO)
f=4762
TT=2400.12
T1=39.63
 MSAT (TO)
f=4762
TT=2400.11
T1=39.47
 MSAT (TO)
f=4447
TT=2400.05
T1=375.4
 MSAT (TO)
f=4428
TT=2400.09
T1=14.73
 MSAT (TO)
f=4596
TT=2400.04
T1=5.64
 ? (TO)

TT=2400.09

 ? (TO)

TT=2400.06

 ? (TO)

TT=2400.08

 ? (TO)

TT=2400.1
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
coloring/
myciel-5g-3-ext.xml		 MOPT
f=220
TT=3.079

 OPTIMUM
f=220
TT=434.306
T1=0.7
 OPTIMUM
f=220
TT=373.402
T1=0.65
 OPTIMUM
f=220
TT=3.079
T1=3.1
 OPTIMUM
f=220
TT=3.205
T1=3.23
 MSAT (TO)
f=216
TT=2400.06
T1=0.46
 OPTIMUM
f=220
TT=3.27

 OPTIMUM
f=220
TT=3.458

 ? (TO)

TT=2400.1

 OPTIMUM
f=220
TT=7.308
coloring/
myciel-5g-4-ext.xml		 MOPT
f=232
TT=8.109

 OPTIMUM
f=232
TT=1976.36
T1=0.62
 MSAT (TO)
f=232
TT=2400.13
T1=0.62
 OPTIMUM
f=232
TT=22.929
T1=22.97
 OPTIMUM
f=232
TT=22.56
T1=22.73
 MSAT (TO)
f=231
TT=2400.02
T1=0.48
 OPTIMUM
f=232
TT=8.109

 OPTIMUM
f=232
TT=8.995

 ? (TO)

TT=2400.05

 OPTIMUM
f=232
TT=34.587
coloring/
myciel-5g-5-ext.xml		 MOPT
f=235
TT=26.936

 OPTIMUM
f=235
TT=1579.34
T1=0.57
 OPTIMUM
f=235
TT=1645.21
T1=0.65
 OPTIMUM
f=235
TT=115.957
T1=116.93
 OPTIMUM
f=235
TT=94.134
T1=94.89
 MSAT (TO)
f=235
TT=2400.09
T1=0.48
 OPTIMUM
f=235
TT=26.936

 OPTIMUM
f=235
TT=38.089

 ? (TO)

TT=2400.05

 OPTIMUM
f=235
TT=207.373
coloring/
queens-5-5-3-ext.xml		 MOPT
f=131
TT=11.989

 OPTIMUM
f=131
TT=776.653
T1=0.6
 OPTIMUM
f=131
TT=662.895
T1=0.58
 OPTIMUM
f=131
TT=46.161
T1=46.53
 OPTIMUM
f=131
TT=50.853
T1=51.24
 MSAT (TO)
f=129
TT=2400.03

 OPTIMUM
f=131
TT=11.989

 OPTIMUM
f=131
TT=12.934

 OPTIMUM
f=131
TT=2355.45

 OPTIMUM
f=131
TT=77.109
coloring/
queens-5-5-4-ext.xml		 MOPT
f=148
TT=15.968

 OPTIMUM
f=148
TT=790.187
T1=0.63
 OPTIMUM
f=148
TT=741.606
T1=0.62
 OPTIMUM
f=148
TT=76.628
T1=77.2
 OPTIMUM
f=148
TT=93.654
T1=94.35
 MSAT (TO)

TT=0

 OPTIMUM
f=148
TT=15.968

 OPTIMUM
f=148
TT=17.308

 ? (TO)

TT=2400.12

 OPTIMUM
f=148
TT=100.653
MaxCSP/kbtree/kbtree-5-2-4-5/
kbtree-5-2-4-5-10/
kbtree-5-2-4-5-10-01_ext.xml		 SAT
f=211
TT=0.079

 SAT
f=211
TT=0.788
T1=0.82
 SAT
f=211
TT=0.847
T1=0.91
 SAT
f=211
TT=0.108
T1=0.11
 SAT
f=211
TT=0.105
T1=0.1
 SAT
f=211
TT=0.465
T1=0.47
NODES=0
 SAT
f=211
TT=0.079

 SAT
f=211
TT=0.08

 SAT
f=211
TT=0.272

 SAT
f=211
TT=0.08
MaxCSP/kbtree/kbtree-5-2-4-5/
kbtree-5-2-4-5-10/
kbtree-5-2-4-5-10-11_ext.xml		 SAT
f=211
TT=0.08

 SAT
f=211
TT=0.774
T1=0.84
 SAT
f=211
TT=0.844
T1=0.83
 SAT
f=211
TT=0.106
T1=0.1
 SAT
f=211
TT=0.104
T1=0.1
 SAT
f=211
TT=0.465
T1=0.47
NODES=1
 SAT
f=211
TT=0.086

 SAT
f=211
TT=0.08

 SAT
f=211
TT=0.283

 SAT
f=211
TT=0.084
MaxCSP/kbtree/kbtree-5-2-4-5/
kbtree-5-2-4-5-10/
kbtree-5-2-4-5-10-21_ext.xml		 SAT
f=211
TT=0.083

 SAT
f=211
TT=0.792
T1=0.77
 SAT
f=211
TT=0.793
T1=0.78
 SAT
f=211
TT=0.109
T1=0.11
 SAT
f=211
TT=0.105
T1=0.1
 SAT
f=211
TT=0.462
T1=0.47
NODES=5
 SAT
f=211
TT=0.086

 SAT
f=211
TT=0.083

 SAT
f=211
TT=0.287

 SAT
f=211
TT=0.083
MaxCSP/kbtree/kbtree-5-2-4-5/
kbtree-5-2-4-5-20/
kbtree-5-2-4-5-20-01_ext.xml		 SAT
f=211
TT=0.091

 SAT
f=211
TT=0.861
T1=0.86
 SAT
f=211
TT=0.872
T1=0.86
 SAT
f=211
TT=0.107
T1=0.11
 SAT
f=211
TT=0.107
T1=0.11
 SAT
f=211
TT=0.509
T1=0.52
NODES=54
 SAT
f=211
TT=0.092

 SAT
f=211
TT=0.092

 SAT
f=211
TT=0.3

 SAT
f=211
TT=0.091
MaxCSP/kbtree/kbtree-5-2-4-5/
kbtree-5-2-4-5-20/
kbtree-5-2-4-5-20-11_ext.xml		 SAT
f=211
TT=0.089

 SAT
f=211
TT=0.81
T1=0.79
 SAT
f=211
TT=0.809
T1=0.88
 SAT
f=211
TT=0.114
T1=0.11
 SAT
f=211
TT=0.111
T1=0.11
 SAT
f=211
TT=0.501
T1=0.56
NODES=7
 SAT
f=211
TT=0.091

 SAT
f=211
TT=0.089

 SAT
f=211
TT=0.3

 SAT
f=211
TT=0.09
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/kbtree/kbtree-5-2-4-5/
kbtree-5-2-4-5-20/
kbtree-5-2-4-5-20-21_ext.xml		 SAT
f=211
TT=0.088

 SAT
f=211
TT=0.862
T1=0.92
 SAT
f=211
TT=0.813
T1=0.79
 SAT
f=211
TT=0.11
T1=0.11
 SAT
f=211
TT=0.107
T1=0.11
 SAT
f=211
TT=0.504
T1=0.51
NODES=24
 SAT
f=211
TT=0.089

 SAT
f=211
TT=0.088

 SAT
f=211
TT=0.298

 SAT
f=211
TT=0.091
MaxCSP/kbtree/kbtree-5-2-4-5/
kbtree-5-2-4-5-30/
kbtree-5-2-4-5-30-01_ext.xml		 SAT
f=211
TT=0.116

 SAT
f=211
TT=0.92
T1=0.95
 SAT
f=211
TT=0.899
T1=0.89
 SAT
f=211
TT=0.126
T1=0.12
 SAT
f=211
TT=0.116
T1=0.11
 SAT
f=211
TT=0.546
T1=0.64
NODES=170
 SAT
f=211
TT=0.121

 SAT
f=211
TT=0.121

 SAT
f=211
TT=11.037

 SAT
f=211
TT=0.12
MaxCSP/kbtree/kbtree-5-2-4-5/
kbtree-5-2-4-5-30/
kbtree-5-2-4-5-30-11_ext.xml		 SAT
f=211
TT=0.12

 SAT
f=211
TT=0.956
T1=0.95
 SAT
f=211
TT=0.995
T1=1.07
 SAT
f=211
TT=0.127
T1=0.13
 SAT
f=211
TT=0.12
T1=0.13
 SAT
f=211
TT=0.573
T1=0.58
NODES=412
 SAT
f=211
TT=0.136

 SAT
f=211
TT=0.139

 SAT
f=211
TT=3.581

 SAT
f=211
TT=0.138
MaxCSP/kbtree/kbtree-5-2-4-5/
kbtree-5-2-4-5-30/
kbtree-5-2-4-5-30-21_ext.xml		 SAT
f=211
TT=0.122

 SAT
f=211
TT=0.946
T1=0.94
 SAT
f=211
TT=0.898
T1=0.89
 SAT
f=211
TT=0.123
T1=0.12
 SAT
f=211
TT=0.122
T1=0.12
 SAT
f=211
TT=0.558
T1=0.56
NODES=324
 SAT
f=211
TT=0.179

 SAT
f=211
TT=0.181

 SAT
f=211
TT=339.435

 SAT
f=211
TT=0.181
MaxCSP/kbtree/kbtree-5-2-4-5/
kbtree-5-2-4-5-40/
kbtree-5-2-4-5-40-01_ext.xml		 MOPT
f=204
TT=0.694

 OPTIMUM
f=204
TT=368.805
T1=1.23
 OPTIMUM
f=204
TT=239.051
T1=1.2
 OPTIMUM
f=204
TT=1.503
T1=1.51
 OPTIMUM
f=204
TT=0.694
T1=0.7
 MSAT (TO)
f=202
TT=2400.03

 OPTIMUM
f=204
TT=2.964

 OPTIMUM
f=204
TT=2.895

 ? (TO)

TT=2400.05

 OPTIMUM
f=204
TT=3.24
MaxCSP/kbtree/kbtree-5-2-4-5/
kbtree-5-2-4-5-40/
kbtree-5-2-4-5-40-11_ext.xml		 MOPT
f=204
TT=0.213

 OPTIMUM
f=204
TT=568.713
T1=1.08
 OPTIMUM
f=204
TT=600.62
T1=1.02
 OPTIMUM
f=204
TT=0.331
T1=0.34
 OPTIMUM
f=204
TT=0.213
T1=0.21
 MSAT (TO)
f=197
TT=2400.05

 OPTIMUM
f=204
TT=2.706

 OPTIMUM
f=204
TT=2.793

 ? (TO)

TT=2400.01

 OPTIMUM
f=204
TT=3.232
MaxCSP/kbtree/kbtree-5-2-4-5/
kbtree-5-2-4-5-40/
kbtree-5-2-4-5-40-21_ext.xml		 MOPT
f=201
TT=0.867

 MSAT (TO)
f=201
TT=2400.13
T1=3.53
 MSAT (TO)
f=201
TT=2400.03
T1=3.33
 OPTIMUM
f=201
TT=10.455
T1=10.54
 OPTIMUM
f=201
TT=0.867
T1=0.86
 MSAT (TO)
f=196
TT=2400.06
T1=0.5
 OPTIMUM
f=201
TT=6.273

 OPTIMUM
f=201
TT=2.839

 ? (TO)

TT=2400.06

 OPTIMUM
f=201
TT=16.046
MaxCSP/kbtree/kbtree-5-2-4-5/
kbtree-5-2-4-5-50/
kbtree-5-2-4-5-50-01_ext.xml		 MOPT
f=192
TT=1.251

 MSAT (TO)
f=191
TT=2400.07
T1=16.88
 MSAT (TO)
f=191
TT=2400.04
T1=16.82
 OPTIMUM
f=192
TT=5.823
T1=5.82
 OPTIMUM
f=192
TT=1.251
T1=1.25
 ? (problem)

TT=0.476

NODES=0
 OPTIMUM
f=192
TT=7.531

 OPTIMUM
f=192
TT=3.157

 ? (TO)

TT=2400.04

 OPTIMUM
f=192
TT=14.892
MaxCSP/kbtree/kbtree-5-2-4-5/
kbtree-5-2-4-5-50/
kbtree-5-2-4-5-50-11_ext.xml		 MOPT
f=192
TT=0.61

 MSAT (TO)
f=192
TT=2400.08
T1=16.96
 MSAT (TO)
f=192
TT=2400.13
T1=17.19
 OPTIMUM
f=192
TT=1.1
T1=1.1
 OPTIMUM
f=192
TT=0.61
T1=0.61
 ? (problem)

TT=0.478

NODES=0
 OPTIMUM
f=192
TT=6.504

 OPTIMUM
f=192
TT=3.477

 ? (TO)

TT=2400.06

 OPTIMUM
f=192
TT=9.556
MaxCSP/kbtree/kbtree-5-2-4-5/
kbtree-5-2-4-5-50/
kbtree-5-2-4-5-50-21_ext.xml		 MOPT
f=188
TT=2.919

 MSAT (TO)
f=188
TT=2400.13
T1=34.05
 MSAT (TO)
f=188
TT=2400.14
T1=34.03
 OPTIMUM
f=188
TT=209.182
T1=210.79
 OPTIMUM
f=188
TT=2.919
T1=2.93
 ? (problem)

TT=0.481

NODES=0
 OPTIMUM
f=188
TT=29.289

 OPTIMUM
f=188
TT=3.473

 ? (TO)

TT=2400.02

 OPTIMUM
f=188
TT=98.441
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/kbtree/kbtree-5-2-4-5/
kbtree-5-2-4-5-60/
kbtree-5-2-4-5-60-01_ext.xml		 MOPT
f=171
TT=3.907

 MSAT (TO)
f=171
TT=2400.13
T1=19.4
 MSAT (TO)
f=171
TT=2400.09
T1=17.99
 OPTIMUM
f=171
TT=62.761
T1=62.77
 OPTIMUM
f=171
TT=7.709
T1=7.73
 ? (problem)

TT=0.475

NODES=0
 OPTIMUM
f=171
TT=19.017

 OPTIMUM
f=171
TT=3.907

 ? (TO)

TT=2400.04

 OPTIMUM
f=171
TT=59.94
MaxCSP/kbtree/kbtree-5-2-4-5/
kbtree-5-2-4-5-60/
kbtree-5-2-4-5-60-11_ext.xml		 MOPT
f=169
TT=3.167

 MSAT (TO)
f=169
TT=2400.04
T1=22.17
 MSAT (TO)
f=169
TT=2400.12
T1=22.18
 OPTIMUM
f=169
TT=22.246
T1=22.41
 OPTIMUM
f=169
TT=3.167
T1=3.17
 ? (problem)

TT=0.469

NODES=0
 OPTIMUM
f=169
TT=25.146

 OPTIMUM
f=169
TT=4.134

 ? (TO)

TT=2400.08

 OPTIMUM
f=169
TT=102.296
MaxCSP/kbtree/kbtree-5-2-4-5/
kbtree-5-2-4-5-60/
kbtree-5-2-4-5-60-21_ext.xml		 MOPT
f=170
TT=1.223

 MSAT (TO)
f=168
TT=2400.07
T1=8
 MSAT (TO)
f=168
TT=2400.15
T1=7.91
 OPTIMUM
f=170
TT=2.837
T1=2.86
 OPTIMUM
f=170
TT=1.223
T1=1.23
 ? (problem)

TT=0.479

NODES=0
 OPTIMUM
f=170
TT=7.198

 OPTIMUM
f=170
TT=4.312

 ? (TO)

TT=2400.05

 OPTIMUM
f=170
TT=14.791
MaxCSP/kbtree/kbtree-5-2-4-5/
kbtree-5-2-4-5-70/
kbtree-5-2-4-5-70-01_ext.xml		 MOPT
f=155
TT=1.094

 MSAT (TO)
f=154
TT=2400.07
T1=0.73
 MSAT (TO)
f=154
TT=2400.14
T1=0.73
 OPTIMUM
f=155
TT=1.338
T1=1.33
 OPTIMUM
f=155
TT=1.094
T1=1.09
 ? (problem)

TT=0.452

NODES=0
 OPTIMUM
f=155
TT=4.947

 OPTIMUM
f=155
TT=3.72

 ? (TO)

TT=2400.01

 OPTIMUM
f=155
TT=9.162
MaxCSP/kbtree/kbtree-5-2-4-5/
kbtree-5-2-4-5-70/
kbtree-5-2-4-5-70-11_ext.xml		 MOPT
f=150
TT=3.941

 MSAT (TO)
f=150
TT=2400.13
T1=5.33
 MSAT (TO)
f=150
TT=2400.11
T1=5.3
 OPTIMUM
f=150
TT=38.928
T1=39.17
 OPTIMUM
f=150
TT=3.941
T1=3.97
 ? (problem)

TT=0.484

NODES=0
 OPTIMUM
f=150
TT=12.743

 OPTIMUM
f=150
TT=3.999

 ? (TO)

TT=2400.09

 OPTIMUM
f=150
TT=68.206
MaxCSP/kbtree/kbtree-5-2-4-5/
kbtree-5-2-4-5-70/
kbtree-5-2-4-5-70-21_ext.xml		 MOPT
f=150
TT=1.092

 MSAT (TO)
f=150
TT=2400.16
T1=15.41
 MSAT (TO)
f=150
TT=2400.14
T1=15.23
 OPTIMUM
f=150
TT=15.688
T1=15.85
 OPTIMUM
f=150
TT=1.092
T1=1.09
 ? (problem)

TT=0.443

NODES=0
 OPTIMUM
f=150
TT=7.428

 OPTIMUM
f=150
TT=3.536

 ? (TO)

TT=2400.06

 OPTIMUM
f=150
TT=22.029
MaxCSP/kbtree/kbtree-5-2-4-5/
kbtree-5-2-4-5-80/
kbtree-5-2-4-5-80-01_ext.xml		 MOPT
f=122
TT=3.902

 MSAT (TO)
f=120
TT=2400.07
T1=25.24
 MSAT (TO)
f=120
TT=2400.07
T1=24.57
 OPTIMUM
f=122
TT=53.882
T1=54.33
 OPTIMUM
f=122
TT=5.334
T1=5.38
 ? (problem)

TT=0.475

NODES=0
 OPTIMUM
f=122
TT=30.512

 OPTIMUM
f=122
TT=3.902

 ? (TO)

TT=2400.04

 OPTIMUM
f=122
TT=68.741
MaxCSP/kbtree/kbtree-5-2-4-5/
kbtree-5-2-4-5-80/
kbtree-5-2-4-5-80-11_ext.xml		 MOPT
f=121
TT=4.328

 MSAT (TO)
f=121
TT=2400.13
T1=1.55
 MSAT (TO)
f=121
TT=2400.09
T1=1.66
 OPTIMUM
f=121
TT=60.99
T1=61.44
 OPTIMUM
f=121
TT=7.909
T1=7.97
 ? (problem)

TT=0.462

NODES=0
 OPTIMUM
f=121
TT=11.651

 OPTIMUM
f=121
TT=4.328

 ? (TO)

TT=2400

 OPTIMUM
f=121
TT=55.971
MaxCSP/kbtree/kbtree-5-2-4-5/
kbtree-5-2-4-5-80/
kbtree-5-2-4-5-80-21_ext.xml		 MOPT
f=117
TT=4.07

 MSAT (TO)
f=116
TT=2400.16
T1=26.7
 MSAT (TO)
f=116
TT=2400.05
T1=26.58
 OPTIMUM
f=117
TT=81.766
T1=82.38
 OPTIMUM
f=117
TT=4.694
T1=4.73
 ? (problem)

TT=0.473

NODES=0
 OPTIMUM
f=117
TT=31.779

 OPTIMUM
f=117
TT=4.07

 ? (TO)

TT=2400.04

 OPTIMUM
f=117
TT=103.212
MaxCSP/kbtree/kbtree-5-2-4-5/
kbtree-5-2-4-5-90/
kbtree-5-2-4-5-90-01_ext.xml		 MOPT
f=90
TT=1.686

 MSAT (TO)
f=90
TT=2400.13
T1=0.75
 MSAT (TO)
f=90
TT=2400.11
T1=0.68
 OPTIMUM
f=90
TT=16.983
T1=17.12
 OPTIMUM
f=90
TT=1.686
T1=1.7
 ? (problem)

TT=0.446

NODES=0
 OPTIMUM
f=90
TT=10.303

 OPTIMUM
f=90
TT=3.819

 ? (TO)

TT=2400.08

 OPTIMUM
f=90
TT=24.345
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/kbtree/kbtree-5-2-4-5/
kbtree-5-2-4-5-90/
kbtree-5-2-4-5-90-11_ext.xml		 MOPT
f=93
TT=1.164

 MSAT (TO)
f=93
TT=2400.07
T1=0.88
 MSAT (TO)
f=93
TT=2400.06
T1=0.96
 OPTIMUM
f=93
TT=1.76
T1=1.75
 OPTIMUM
f=93
TT=1.164
T1=1.17
 ? (problem)

TT=0.443

NODES=0
 OPTIMUM
f=93
TT=4.641

 OPTIMUM
f=93
TT=3.825

 ? (TO)

TT=2400.03

 OPTIMUM
f=93
TT=6.932
MaxCSP/kbtree/kbtree-5-2-4-5/
kbtree-5-2-4-5-90/
kbtree-5-2-4-5-90-21_ext.xml		 MOPT
f=91
TT=1.801

 MSAT (TO)
f=91
TT=2400.12
T1=5.13
 MSAT (TO)
f=91
TT=2400.09
T1=5.13
 OPTIMUM
f=91
TT=14.557
T1=14.66
 OPTIMUM
f=91
TT=1.801
T1=1.81
 ? (problem)

TT=0.448

NODES=0
 OPTIMUM
f=91
TT=11.022

 OPTIMUM
f=91
TT=3.612

 ? (TO)

TT=2400

 OPTIMUM
f=91
TT=29.302
MaxCSP/kbtree/kbtree-9-2-3-5/
kbtree-9-2-3-5-10/
kbtree-9-2-3-5-10-01_ext.xml		 SAT
f=309
TT=0.081

 SAT
f=309
TT=0.818
T1=0.81
 SAT
f=309
TT=0.835
T1=0.81
 SAT
f=309
TT=0.113
T1=0.11
 SAT
f=309
TT=0.116
T1=0.11
 SAT
f=309
TT=0.475
T1=0.47
NODES=0
 SAT
f=309
TT=0.089

 SAT
f=309
TT=0.092

 SAT
f=309
TT=0.273

 SAT
f=309
TT=0.081
MaxCSP/kbtree/kbtree-9-2-3-5/
kbtree-9-2-3-5-10/
kbtree-9-2-3-5-10-11_ext.xml		 SAT
f=309
TT=0.083

 SAT
f=309
TT=0.863
T1=0.86
 SAT
f=309
TT=0.856
T1=0.83
 SAT
f=309
TT=0.117
T1=0.12
 SAT
f=309
TT=0.117
T1=0.12
 SAT
f=309
TT=0.496
T1=0.5
NODES=1
 SAT
f=309
TT=0.09

 SAT
f=309
TT=0.086

 SAT
f=309
TT=0.266

 SAT
f=309
TT=0.083
MaxCSP/kbtree/kbtree-9-2-3-5/
kbtree-9-2-3-5-10/
kbtree-9-2-3-5-10-21_ext.xml		 SAT
f=309
TT=0.081

 SAT
f=309
TT=0.826
T1=0.91
 SAT
f=309
TT=0.846
T1=0.82
 SAT
f=309
TT=0.109
T1=0.11
 SAT
f=309
TT=0.107
T1=0.1
 SAT
f=309
TT=0.479
T1=0.48
NODES=1
 SAT
f=309
TT=0.086

 SAT
f=309
TT=0.085

 SAT
f=309
TT=0.272

 SAT
f=309
TT=0.081
MaxCSP/kbtree/kbtree-9-2-3-5/
kbtree-9-2-3-5-20/
kbtree-9-2-3-5-20-01_ext.xml		 SAT
f=309
TT=0.112

 SAT
f=309
TT=0.995
T1=0.98
 SAT
f=309
TT=0.903
T1=0.89
 SAT
f=309
TT=0.147
T1=0.15
 SAT
f=309
TT=0.12
T1=0.11
 SAT
f=309
TT=0.604
T1=0.61
NODES=340
 SAT
f=309
TT=0.113

 SAT
f=309
TT=0.112

 SAT
f=309
TT=3.324

 SAT
f=309
TT=0.114
MaxCSP/kbtree/kbtree-9-2-3-5/
kbtree-9-2-3-5-20/
kbtree-9-2-3-5-20-11_ext.xml		 SAT
f=309
TT=0.125

 SAT
f=309
TT=0.956
T1=0.95
 SAT
f=309
TT=0.851
T1=0.83
 SAT
f=309
TT=0.131
T1=0.13
 SAT
f=309
TT=0.135
T1=0.13
 SAT
f=309
TT=0.546
T1=0.61
NODES=66
 SAT
f=309
TT=0.125

 SAT
f=309
TT=0.125

 SAT
f=309
TT=72.072

 SAT
f=309
TT=0.127
MaxCSP/kbtree/kbtree-9-2-3-5/
kbtree-9-2-3-5-20/
kbtree-9-2-3-5-20-21_ext.xml		 SAT
f=309
TT=0.128

 SAT
f=309
TT=0.988
T1=1.09
 SAT
f=309
TT=1.039
T1=1.07
 SAT
f=309
TT=0.128
T1=0.13
 SAT
f=309
TT=0.134
T1=0.13
 SAT
f=309
TT=0.708
T1=0.72
NODES=1157
 SAT
f=309
TT=0.19

 SAT
f=309
TT=0.19

 SAT
f=309
TT=28.339

 SAT
f=309
TT=0.179
MaxCSP/kbtree/kbtree-9-2-3-5/
kbtree-9-2-3-5-30/
kbtree-9-2-3-5-30-01_ext.xml		 MOPT
f=305
TT=1.94

 OPTIMUM
f=305
TT=86.846
T1=0.7
 OPTIMUM
f=305
TT=89.361
T1=0.85
 OPTIMUM
f=305
TT=4.556
T1=4.59
 OPTIMUM
f=305
TT=1.94
T1=1.95
 MSAT (TO)
f=302
TT=2400.04

 OPTIMUM
f=305
TT=3.181

 OPTIMUM
f=305
TT=3.393

 ? (TO)

TT=2400.14

 OPTIMUM
f=305
TT=4.408
MaxCSP/kbtree/kbtree-9-2-3-5/
kbtree-9-2-3-5-30/
kbtree-9-2-3-5-30-11_ext.xml		 MOPT
f=304
TT=2.271

 OPTIMUM
f=304
TT=266.142
T1=0.85
 OPTIMUM
f=304
TT=230.859
T1=0.92
 OPTIMUM
f=304
TT=4.835
T1=4.88
 OPTIMUM
f=304
TT=2.271
T1=2.27
 MSAT (TO)
f=304
TT=2400.02

 OPTIMUM
f=304
TT=4.228

 OPTIMUM
f=304
TT=3.466

 ? (TO)

TT=2400.07

 OPTIMUM
f=304
TT=5.466
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/kbtree/kbtree-9-2-3-5/
kbtree-9-2-3-5-30/
kbtree-9-2-3-5-30-21_ext.xml		 MOPT
f=301
TT=3.635

 MSAT (TO)
f=301
TT=2400.11
T1=1.69
 MSAT (TO)
f=301
TT=2400.15
T1=1.57
 OPTIMUM
f=301
TT=14.743
T1=14.87
 OPTIMUM
f=301
TT=10.189
T1=10.23
 MSAT (TO)
f=291
TT=2400.02

 OPTIMUM
f=301
TT=8.862

 OPTIMUM
f=301
TT=3.635

 ? (TO)

TT=2400.09

 OPTIMUM
f=301
TT=24.677
MaxCSP/kbtree/kbtree-9-2-3-5/
kbtree-9-2-3-5-40/
kbtree-9-2-3-5-40-01_ext.xml		 MOPT
f=283
TT=4.385

 MSAT (TO)
f=283
TT=2400.09
T1=13.25
 MSAT (TO)
f=283
TT=2400.12
T1=12.21
 OPTIMUM
f=283
TT=4.385
T1=4.42
 OPTIMUM
f=283
TT=30.95
T1=31.18
 ? (problem)

TT=0.505

NODES=0
 OPTIMUM
f=283
TT=25.373

 OPTIMUM
f=283
TT=5.056

 ? (TO)

TT=2400.02

 OPTIMUM
f=283
TT=116.729
MaxCSP/kbtree/kbtree-9-2-3-5/
kbtree-9-2-3-5-40/
kbtree-9-2-3-5-40-11_ext.xml		 MOPT
f=280
TT=4.753

 MSAT (TO)
f=279
TT=2400.05
T1=6.04
 MSAT (TO)
f=279
TT=2400.08
T1=5.58
 OPTIMUM
f=280
TT=10.072
T1=10.15
 OPTIMUM
f=280
TT=289.919
T1=291.67
 MSAT (TO)
f=266
TT=2400.08
T1=0.55
 OPTIMUM
f=280
TT=217.854

 OPTIMUM
f=280
TT=4.753

 ? (TO)

TT=2400.09

 OPTIMUM
f=280
TT=977.356
MaxCSP/kbtree/kbtree-9-2-3-5/
kbtree-9-2-3-5-40/
kbtree-9-2-3-5-40-21_ext.xml		 MOPT
f=282
TT=5.402

 MSAT (TO)
f=282
TT=2400.1
T1=14.19
 MSAT (TO)
f=282
TT=2400.14
T1=13.07
 OPTIMUM
f=282
TT=40.065
T1=40.07
 OPTIMUM
f=282
TT=1242.32
T1=1253.39
 ? (problem)

TT=0.513

NODES=0
 OPTIMUM
f=282
TT=49.662

 OPTIMUM
f=282
TT=5.402

 ? (TO)

TT=2400.08

 OPTIMUM
f=282
TT=177.276
MaxCSP/kbtree/kbtree-9-2-3-5/
kbtree-9-2-3-5-50/
kbtree-9-2-3-5-50-01_ext.xml		 MOPT
f=264
TT=6.596

 MSAT (TO)
f=264
TT=2400.06
T1=21.31
 MSAT (TO)
f=264
TT=2400.15
T1=21.38
 OPTIMUM
f=264
TT=25.509
T1=25.51
 OPTIMUM
f=264
TT=978.65
T1=978.99
 ? (problem)

TT=0.472

NODES=0
 OPTIMUM
f=264
TT=60.008

 OPTIMUM
f=264
TT=6.596

 ? (TO)

TT=2400.05

 OPTIMUM
f=264
TT=385.3
MaxCSP/kbtree/kbtree-9-2-3-5/
kbtree-9-2-3-5-50/
kbtree-9-2-3-5-50-11_ext.xml		 MOPT
f=260
TT=6.246

 MSAT (TO)
f=258
TT=2400.1
T1=1.01
 MSAT (TO)
f=258
TT=2400.16
T1=1.06
 OPTIMUM
f=260
TT=203.217
T1=203.28
 ? (TO)

TT=2400.1

 ? (problem)

TT=0.472

NODES=0
 OPTIMUM
f=260
TT=770.115

 OPTIMUM
f=260
TT=6.246

 ? (TO)

TT=2400.04

 MSAT (TO)
f=260
TT=2400.08
MaxCSP/kbtree/kbtree-9-2-3-5/
kbtree-9-2-3-5-50/
kbtree-9-2-3-5-50-21_ext.xml		 MOPT
f=266
TT=7.162

 MSAT (TO)
f=265
TT=2400.04
T1=16.65
 MSAT (TO)
f=265
TT=2400.08
T1=16.94
 OPTIMUM
f=266
TT=237.689
T1=239.45
 OPTIMUM
f=266
TT=1841.18
T1=1844.86
 ? (problem)

TT=0.475

NODES=0
 OPTIMUM
f=266
TT=155.787

 OPTIMUM
f=266
TT=7.162

 ? (TO)

TT=2400.05

 OPTIMUM
f=266
TT=839.153
MaxCSP/kbtree/kbtree-9-2-3-5/
kbtree-9-2-3-5-60/
kbtree-9-2-3-5-60-01_ext.xml		 MOPT
f=223
TT=7.46

 MSAT (TO)
f=223
TT=2400.14
T1=14.97
 MSAT (TO)
f=223
TT=2400.07
T1=13.93
 OPTIMUM
f=223
TT=13.9
T1=14.01
 ? (TO)

TT=2400.08

 ? (problem)

TT=0.496

NODES=0
 OPTIMUM
f=223
TT=1816.69

 OPTIMUM
f=223
TT=7.46

 ? (TO)

TT=2400.06

 MSAT (TO)
f=223
TT=2400.1
MaxCSP/kbtree/kbtree-9-2-3-5/
kbtree-9-2-3-5-60/
kbtree-9-2-3-5-60-11_ext.xml		 MOPT
f=225
TT=6.964

 MSAT (TO)
f=225
TT=2400.08
T1=35.78
 MSAT (TO)
f=225
TT=2400.11
T1=33.05
 OPTIMUM
f=225
TT=267.971
T1=268.47
 ? (TO)

TT=2400.1

 ? (problem)

TT=0.493

NODES=0
 OPTIMUM
f=225
TT=1027.3

 OPTIMUM
f=225
TT=6.964

 ? (TO)

TT=2400.01

 MSAT (TO)
f=225
TT=2400.05
MaxCSP/kbtree/kbtree-9-2-3-5/
kbtree-9-2-3-5-60/
kbtree-9-2-3-5-60-21_ext.xml		 MOPT
f=224
TT=7.19

 MSAT (TO)
f=223
TT=2400.08
T1=6.48
 MSAT (TO)
f=223
TT=2400.08
T1=6.64
 OPTIMUM
f=224
TT=1342.52
T1=1346.84
 ? (TO)

TT=2400.04

 ? (problem)

TT=0.496

NODES=0
 MSAT (TO)
f=224
TT=2400.08

 OPTIMUM
f=224
TT=7.19

 ? (TO)

TT=2400.02

 MSAT (TO)
f=224
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
MaxCSP/kbtree/kbtree-9-2-3-5/
kbtree-9-2-3-5-70/
kbtree-9-2-3-5-70-01_ext.xml		 MOPT
f=202
TT=5.784

 MSAT (TO)
f=201
TT=2400.06
T1=0.77
 MSAT (TO)
f=201
TT=2400.14
T1=1
 OPTIMUM
f=202
TT=14.141
T1=14.25
 ? (TO)

TT=2400.04

 ? (problem)

TT=0.489

NODES=0
 OPTIMUM
f=202
TT=124.414

 OPTIMUM
f=202
TT=5.784

 ? (TO)

TT=2400.04

 OPTIMUM
f=202
TT=820.184
MaxCSP/kbtree/kbtree-9-2-3-5/
kbtree-9-2-3-5-70/
kbtree-9-2-3-5-70-11_ext.xml		 MOPT
f=203
TT=6.893

 MSAT (TO)
f=203
TT=2400.1
T1=5.98
 MSAT (TO)
f=203
TT=2400.04
T1=5.54
 OPTIMUM
f=203
TT=34.034
T1=34.04
 OPTIMUM
f=203
TT=2129.91
T1=2130.68
 ? (problem)

TT=0.468

NODES=0
 OPTIMUM
f=203
TT=227.723

 OPTIMUM
f=203
TT=6.893

 ? (TO)

TT=2400.07

 OPTIMUM
f=203
TT=955.529
MaxCSP/kbtree/kbtree-9-2-3-5/
kbtree-9-2-3-5-70/
kbtree-9-2-3-5-70-21_ext.xml		 MOPT
f=195
TT=5.634

 MSAT (TO)
f=194
TT=2400.09
T1=2.5
 MSAT (TO)
f=194
TT=2400.14
T1=2.53
 OPTIMUM
f=195
TT=5.634
T1=5.68
 OPTIMUM
f=195
TT=1251.65
T1=1262.49
 ? (problem)

TT=0.497

NODES=0
 OPTIMUM
f=195
TT=1475.18

 OPTIMUM
f=195
TT=6.028

 ? (TO)

TT=2400.01

 MSAT (TO)
f=195
TT=2400.05
MaxCSP/kbtree/kbtree-9-2-3-5/
kbtree-9-2-3-5-80/
kbtree-9-2-3-5-80-01_ext.xml		 MOPT
f=151
TT=6.964

 MSAT (TO)
f=151
TT=2400.08
T1=8.19
 MSAT (TO)
f=151
TT=2400.12
T1=8.06
 OPTIMUM
f=151
TT=317.215
T1=319.89
 ? (TO)

TT=2400.04

 ? (problem)

TT=0.493

NODES=0
 OPTIMUM
f=151
TT=2016.77

 OPTIMUM
f=151
TT=6.964

 ? (TO)

TT=2400

 MSAT (TO)
f=151
TT=2400.07
MaxCSP/kbtree/kbtree-9-2-3-5/
kbtree-9-2-3-5-80/
kbtree-9-2-3-5-80-11_ext.xml		 MOPT
f=149
TT=6.683

 MSAT (TO)
f=148
TT=2400.14
T1=7.3
 MSAT (TO)
f=148
TT=2400.08
T1=7.4
 OPTIMUM
f=149
TT=31.057
T1=31.28
 ? (TO)

TT=2400.05

 ? (problem)

TT=0.494

NODES=0
 OPTIMUM
f=149
TT=675.49

 OPTIMUM
f=149
TT=6.683

 ? (TO)

TT=2400.03

 MSAT (TO)
f=149
TT=2400.04
MaxCSP/kbtree/kbtree-9-2-3-5/
kbtree-9-2-3-5-80/
kbtree-9-2-3-5-80-21_ext.xml		 MOPT
f=148
TT=6.791

 MSAT (TO)
f=148
TT=2400.07
T1=1.94
 MSAT (TO)
f=148
TT=2400.13
T1=1.97
 OPTIMUM
f=148
TT=1273.4
T1=1275.29
 ? (TO)

TT=2400.08

 ? (problem)

TT=0.495

NODES=0
 MSAT (TO)
f=148
TT=2400.04

 OPTIMUM
f=148
TT=6.791

 ? (TO)

TT=2400.02

 MSAT (TO)
f=148
TT=2400.11
MaxCSP/kbtree/kbtree-9-2-3-5/
kbtree-9-2-3-5-90/
kbtree-9-2-3-5-90-01_ext.xml		 MOPT
f=113
TT=5.878

 MSAT (TO)
f=112
TT=2400.17
T1=1.07
 MSAT (TO)
f=112
TT=2400.1
T1=1.17
 OPTIMUM
f=113
TT=13.298
T1=13.39
 OPTIMUM
f=113
TT=148.244
T1=148.38
 ? (problem)

TT=0.486

NODES=0
 OPTIMUM
f=113
TT=459.133

 OPTIMUM
f=113
TT=5.878

 ? (TO)

TT=2400.09

 OPTIMUM
f=113
TT=1333.5
MaxCSP/kbtree/kbtree-9-2-3-5/
kbtree-9-2-3-5-90/
kbtree-9-2-3-5-90-11_ext.xml		 MOPT
f=115
TT=6.642

 MSAT (TO)
f=114
TT=2400.1
T1=6.75
 MSAT (TO)
f=114
TT=2400.11
T1=6.87
 OPTIMUM
f=115
TT=337.534
T1=338.85
 OPTIMUM
f=115
TT=1659.64
T1=1671.5
 ? (problem)

TT=0.492

NODES=0
 OPTIMUM
f=115
TT=724.881

 OPTIMUM
f=115
TT=6.642

 ? (TO)

TT=2400.05

 MSAT (TO)
f=115
TT=2400.07
MaxCSP/kbtree/kbtree-9-2-3-5/
kbtree-9-2-3-5-90/
kbtree-9-2-3-5-90-21_ext.xml		 MOPT
f=118
TT=6.41

 MSAT (TO)
f=117
TT=2400.04
T1=3.83
 MSAT (TO)
f=117
TT=2400.04
T1=3.66
 OPTIMUM
f=118
TT=21.619
T1=21.7
 OPTIMUM
f=118
TT=383.74
T1=385.16
 ? (problem)

TT=0.488

NODES=0
 OPTIMUM
f=118
TT=47.033

 OPTIMUM
f=118
TT=6.41

 ? (TO)

TT=2400.01

 OPTIMUM
f=118
TT=125.969
MaxCSP/kbtree/kbtree-9-5-3-5/
kbtree-9-5-3-5-10/
kbtree-9-5-3-5-10-01_ext.xml		 SAT
f=255
TT=0.079

 SAT
f=255
TT=0.794
T1=0.81
 SAT
f=255
TT=0.838
T1=0.83
 SAT
f=255
TT=0.08
T1=0.07
 SAT
f=255
TT=0.079
T1=0.07
 SAT
f=255
TT=0.474
T1=0.5
NODES=1
 SAT
f=255
TT=0.082

 SAT
f=255
TT=0.084

 SAT
f=255
TT=0.191

 SAT
f=255
TT=0.085
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/kbtree/kbtree-9-5-3-5/
kbtree-9-5-3-5-10/
kbtree-9-5-3-5-10-11_ext.xml		 SAT
f=255
TT=0.078

 SAT
f=255
TT=0.79
T1=0.79
 SAT
f=255
TT=0.838
T1=0.83
 SAT
f=255
TT=0.082
T1=0.08
 SAT
f=255
TT=0.079
T1=0.08
 SAT
f=255
TT=0.473
T1=0.48
NODES=5
 SAT
f=255
TT=0.078

 SAT
f=255
TT=0.083

 SAT
f=255
TT=0.188

 SAT
f=255
TT=0.078
MaxCSP/kbtree/kbtree-9-5-3-5/
kbtree-9-5-3-5-10/
kbtree-9-5-3-5-10-21_ext.xml		 SAT
f=255
TT=0.075

 SAT
f=255
TT=0.798
T1=0.78
 SAT
f=255
TT=0.844
T1=0.86
 SAT
f=255
TT=0.082
T1=0.08
 SAT
f=255
TT=0.075
T1=0.07
 SAT
f=255
TT=0.478
T1=0.55
NODES=2
 SAT
f=255
TT=0.082

 SAT
f=255
TT=0.083

 SAT
f=255
TT=0.187

 SAT
f=255
TT=0.085
MaxCSP/kbtree/kbtree-9-5-3-5/
kbtree-9-5-3-5-20/
kbtree-9-5-3-5-20-01_ext.xml		 MOPT
f=254
TT=0.222

 OPTIMUM
f=254
TT=1.197
T1=0.75
 OPTIMUM
f=254
TT=1.008
T1=0.7
 OPTIMUM
f=254
TT=0.316
T1=0.32
 OPTIMUM
f=254
TT=0.222
T1=0.22
 MSAT (TO)
f=254
TT=2400

 OPTIMUM
f=254
TT=3.134

 OPTIMUM
f=254
TT=3.224

 OPTIMUM
f=254
TT=202.557

 OPTIMUM
f=254
TT=3.139
MaxCSP/kbtree/kbtree-9-5-3-5/
kbtree-9-5-3-5-20/
kbtree-9-5-3-5-20-11_ext.xml		 MOPT
f=253
TT=0.113

 OPTIMUM
f=253
TT=39.509
T1=0.72
 OPTIMUM
f=253
TT=44.617
T1=0.66
 OPTIMUM
f=253
TT=0.129
T1=0.12
 OPTIMUM
f=253
TT=0.113
T1=0.11
 MSAT (TO)
f=253
TT=2400.06
T1=1
 OPTIMUM
f=253
TT=2.914

 OPTIMUM
f=253
TT=3.041

 ? (TO)

TT=2400.13

 OPTIMUM
f=253
TT=3.013
MaxCSP/kbtree/kbtree-9-5-3-5/
kbtree-9-5-3-5-20/
kbtree-9-5-3-5-20-21_ext.xml		 MOPT
f=254
TT=0.172

 OPTIMUM
f=254
TT=1.13
T1=0.72
 OPTIMUM
f=254
TT=1.075
T1=0.78
 OPTIMUM
f=254
TT=0.22
T1=0.21
 OPTIMUM
f=254
TT=0.172
T1=0.17
 MSAT (TO)
f=252
TT=2400.08

 OPTIMUM
f=254
TT=2.992

 OPTIMUM
f=254
TT=3.13

 ? (TO)

TT=2400.13

 OPTIMUM
f=254
TT=2.947
MaxCSP/kbtree/kbtree-9-5-3-5/
kbtree-9-5-3-5-30/
kbtree-9-5-3-5-30-01_ext.xml		 MOPT
f=247
TT=3.01

 OPTIMUM
f=247
TT=138.583
T1=2.7
 OPTIMUM
f=247
TT=137.942
T1=2.68
 OPTIMUM
f=247
TT=9.314
T1=9.35
 OPTIMUM
f=247
TT=3.01
T1=3.03
 MSAT (TO)
f=238
TT=2400.05

 OPTIMUM
f=247
TT=4.004

 OPTIMUM
f=247
TT=4.032

 ? (TO)

TT=2400.15

 OPTIMUM
f=247
TT=5.366
MaxCSP/kbtree/kbtree-9-5-3-5/
kbtree-9-5-3-5-30/
kbtree-9-5-3-5-30-11_ext.xml		 MOPT
f=245
TT=4.279

 OPTIMUM
f=245
TT=449.524
T1=4.4
 OPTIMUM
f=245
TT=462.254
T1=4.42
 OPTIMUM
f=245
TT=13.488
T1=13.6
 OPTIMUM
f=245
TT=8.099
T1=8.13
 MSAT (TO)
f=242
TT=2400.08

 OPTIMUM
f=245
TT=4.279

 OPTIMUM
f=245
TT=4.538

 ? (TO)

TT=2400.05

 OPTIMUM
f=245
TT=9.58
MaxCSP/kbtree/kbtree-9-5-3-5/
kbtree-9-5-3-5-30/
kbtree-9-5-3-5-30-21_ext.xml		 MOPT
f=245
TT=3.938

 OPTIMUM
f=245
TT=273.961
T1=0.85
 OPTIMUM
f=245
TT=231.471
T1=0.86
 OPTIMUM
f=245
TT=7.035
T1=7.06
 OPTIMUM
f=245
TT=3.938
T1=3.97
 MSAT (TO)
f=238
TT=2400.06
T1=0.54
 OPTIMUM
f=245
TT=4.412

 OPTIMUM
f=245
TT=4.371

 ? (TO)

TT=2400.14

 OPTIMUM
f=245
TT=8.016
MaxCSP/kbtree/kbtree-9-5-3-5/
kbtree-9-5-3-5-40/
kbtree-9-5-3-5-40-01_ext.xml		 MOPT
f=223
TT=6.892

 MSAT (TO)
f=223
TT=2400.09
T1=0.82
 MSAT (TO)
f=223
TT=2400.06
T1=0.78
 OPTIMUM
f=223
TT=32.747
T1=33.06
 OPTIMUM
f=223
TT=22.99
T1=23.05
 ? (problem)

TT=0.458

NODES=0
 OPTIMUM
f=223
TT=6.892

 OPTIMUM
f=223
TT=8.114

 ? (TO)

TT=2400.06

 OPTIMUM
f=223
TT=21.823
MaxCSP/kbtree/kbtree-9-5-3-5/
kbtree-9-5-3-5-40/
kbtree-9-5-3-5-40-11_ext.xml		 MOPT
f=225
TT=11.282

 MSAT (TO)
f=225
TT=2400.14
T1=1.49
 MSAT (TO)
f=225
TT=2400.03
T1=1.5
 OPTIMUM
f=225
TT=125.532
T1=126.21
 OPTIMUM
f=225
TT=78.328
T1=78.96
 ? (problem)

TT=0.472

NODES=0
 OPTIMUM
f=225
TT=11.282

 OPTIMUM
f=225
TT=14.94

 ? (TO)

TT=2400.15

 OPTIMUM
f=225
TT=47.469
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/kbtree/kbtree-9-5-3-5/
kbtree-9-5-3-5-40/
kbtree-9-5-3-5-40-21_ext.xml		 MOPT
f=225
TT=6.054

 MSAT (TO)
f=225
TT=2400.07
T1=2.85
 MSAT (TO)
f=225
TT=2400.05
T1=2.86
 OPTIMUM
f=225
TT=18.768
T1=18.93
 OPTIMUM
f=225
TT=10.295
T1=10.38
 ? (problem)

TT=0.495

NODES=0
 OPTIMUM
f=225
TT=6.054

 OPTIMUM
f=225
TT=6.781

 ? (TO)

TT=2400.08

 OPTIMUM
f=225
TT=16.738
MaxCSP/kbtree/kbtree-9-5-3-5/
kbtree-9-5-3-5-50/
kbtree-9-5-3-5-50-01_ext.xml		 MOPT
f=212
TT=5.55

 MSAT (TO)
f=212
TT=2400.07
T1=0.72
 MSAT (TO)
f=212
TT=2400.11
T1=0.77
 OPTIMUM
f=212
TT=12.121
T1=12.17
 OPTIMUM
f=212
TT=11.557
T1=11.64
 ? (problem)

TT=0.487

NODES=0
 OPTIMUM
f=212
TT=5.55

 OPTIMUM
f=212
TT=6.107

 ? (TO)

TT=2400.14

 OPTIMUM
f=212
TT=10.667
MaxCSP/kbtree/kbtree-9-5-3-5/
kbtree-9-5-3-5-50/
kbtree-9-5-3-5-50-11_ext.xml		 MOPT
f=208
TT=11.122

 MSAT (TO)
f=208
TT=2400.09
T1=9.51
 MSAT (TO)
f=208
TT=2400.11
T1=9.53
 OPTIMUM
f=208
TT=133.822
T1=135.03
 OPTIMUM
f=208
TT=73.896
T1=74.18
 ? (problem)

TT=0.467

NODES=0
 OPTIMUM
f=208
TT=11.122

 OPTIMUM
f=208
TT=23.273

 ? (TO)

TT=2400.11

 OPTIMUM
f=208
TT=45.642
MaxCSP/kbtree/kbtree-9-5-3-5/
kbtree-9-5-3-5-50/
kbtree-9-5-3-5-50-21_ext.xml		 MOPT
f=204
TT=14.04

 MSAT (TO)
f=204
TT=2400.06
T1=4.51
 MSAT (TO)
f=204
TT=2400.12
T1=4.55
 OPTIMUM
f=204
TT=144.173
T1=144.79
 OPTIMUM
f=204
TT=111.873
T1=112.31
 ? (problem)

TT=0.506

NODES=0
 OPTIMUM
f=204
TT=17.033

 OPTIMUM
f=204
TT=14.04

 ? (TO)

TT=2400.07

 OPTIMUM
f=204
TT=75.132
MaxCSP/kbtree/kbtree-9-5-3-5/
kbtree-9-5-3-5-60/
kbtree-9-5-3-5-60-01_ext.xml		 MOPT
f=178
TT=7.97

 MSAT (TO)
f=178
TT=2400.11
T1=11.06
 MSAT (TO)
f=178
TT=2400.12
T1=10.44
 OPTIMUM
f=178
TT=67.657
T1=67.84
 OPTIMUM
f=178
TT=41.882
T1=42.21
 ? (problem)

TT=0.467

NODES=0
 OPTIMUM
f=178
TT=7.97

 OPTIMUM
f=178
TT=7.992

 ? (TO)

TT=2400.08

 OPTIMUM
f=178
TT=30.331
MaxCSP/kbtree/kbtree-9-5-3-5/
kbtree-9-5-3-5-60/
kbtree-9-5-3-5-60-11_ext.xml		 MOPT
f=177
TT=6.511

 MSAT (TO)
f=177
TT=2400.16
T1=0.72
 MSAT (TO)
f=177
TT=2400.11
T1=0.67
 OPTIMUM
f=177
TT=23.806
T1=24.01
 OPTIMUM
f=177
TT=21.045
T1=21.04
 ? (problem)

TT=0.474

NODES=0
 OPTIMUM
f=177
TT=6.511

 OPTIMUM
f=177
TT=7.306

 ? (TO)

TT=2400.04

 OPTIMUM
f=177
TT=15.675
MaxCSP/kbtree/kbtree-9-5-3-5/
kbtree-9-5-3-5-60/
kbtree-9-5-3-5-60-21_ext.xml		 MOPT
f=177
TT=7.455

 MSAT (TO)
f=177
TT=2400.03
T1=1.98
 MSAT (TO)
f=177
TT=2400.17
T1=2.08
 OPTIMUM
f=177
TT=36.33
T1=36.48
 OPTIMUM
f=177
TT=28.967
T1=29.07
 ? (problem)

TT=0.46

NODES=0
 OPTIMUM
f=177
TT=7.455

 OPTIMUM
f=177
TT=7.507

 ? (TO)

TT=2400.15

 OPTIMUM
f=177
TT=31.047
MaxCSP/kbtree/kbtree-9-5-3-5/
kbtree-9-5-3-5-70/
kbtree-9-5-3-5-70-01_ext.xml		 MOPT
f=157
TT=7.412

 MSAT (TO)
f=157
TT=2400.16
T1=12.48
 MSAT (TO)
f=157
TT=2400.14
T1=12.65
 OPTIMUM
f=157
TT=49.583
T1=49.99
 OPTIMUM
f=157
TT=58.837
T1=59.07
 ? (problem)

TT=0.484

NODES=0
 OPTIMUM
f=157
TT=7.412

 OPTIMUM
f=157
TT=9.056

 ? (TO)

TT=2400.03

 OPTIMUM
f=157
TT=19.614
MaxCSP/kbtree/kbtree-9-5-3-5/
kbtree-9-5-3-5-70/
kbtree-9-5-3-5-70-11_ext.xml		 MOPT
f=163
TT=11.81

 MSAT (TO)
f=162
TT=2400.09
T1=5.04
 MSAT (TO)
f=162
TT=2400.13
T1=5.03
 OPTIMUM
f=163
TT=67.902
T1=68.42
 OPTIMUM
f=163
TT=309.835
T1=312.35
 ? (problem)

TT=0.485

NODES=0
 OPTIMUM
f=163
TT=11.81

 OPTIMUM
f=163
TT=48.397

 ? (TO)

TT=2400.1

 OPTIMUM
f=163
TT=37.97
MaxCSP/kbtree/kbtree-9-5-3-5/
kbtree-9-5-3-5-70/
kbtree-9-5-3-5-70-21_ext.xml		 MOPT
f=158
TT=7.883

 MSAT (TO)
f=158
TT=2400.1
T1=0.89
 MSAT (TO)
f=158
TT=2400.1
T1=0.86
 OPTIMUM
f=158
TT=28.168
T1=28.38
 OPTIMUM
f=158
TT=72.13
T1=72.14
 ? (problem)

TT=0.484

NODES=0
 OPTIMUM
f=158
TT=7.883

 OPTIMUM
f=158
TT=9.214

 ? (TO)

TT=2400.04

 OPTIMUM
f=158
TT=20.485
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/kbtree/kbtree-9-5-3-5/
kbtree-9-5-3-5-80/
kbtree-9-5-3-5-80-01_ext.xml		 MOPT
f=124
TT=12.707

 MSAT (TO)
f=124
TT=2400.14
T1=0.71
 MSAT (TO)
f=124
TT=2400.12
T1=0.73
 OPTIMUM
f=124
TT=66.43
T1=67
 OPTIMUM
f=124
TT=116.23
T1=117.1
 ? (problem)

TT=0.474

NODES=0
 OPTIMUM
f=124
TT=12.707

 OPTIMUM
f=124
TT=21.647

 ? (TO)

TT=2400

 OPTIMUM
f=124
TT=47.686
MaxCSP/kbtree/kbtree-9-5-3-5/
kbtree-9-5-3-5-80/
kbtree-9-5-3-5-80-11_ext.xml		 MOPT
f=118
TT=10.169

 MSAT (TO)
f=118
TT=2400.08
T1=0.81
 MSAT (TO)
f=118
TT=2400.08
T1=0.86
 OPTIMUM
f=118
TT=93.054
T1=93.23
 OPTIMUM
f=118
TT=87.859
T1=88.52
 ? (problem)

TT=0.472

NODES=0
 OPTIMUM
f=118
TT=10.169

 OPTIMUM
f=118
TT=16.593

 ? (TO)

TT=2400.05

 OPTIMUM
f=118
TT=34.954
MaxCSP/kbtree/kbtree-9-5-3-5/
kbtree-9-5-3-5-80/
kbtree-9-5-3-5-80-21_ext.xml		 MOPT
f=124
TT=6.477

 MSAT (TO)
f=124
TT=2400.09
T1=1.41
 MSAT (TO)
f=124
TT=2400.13
T1=1.42
 OPTIMUM
f=124
TT=24.922
T1=25.11
 OPTIMUM
f=124
TT=22.501
T1=22.67
 ? (problem)

TT=0.476

NODES=0
 OPTIMUM
f=124
TT=6.477

 OPTIMUM
f=124
TT=6.677

 ? (TO)

TT=2400.08

 OPTIMUM
f=124
TT=11.521
MaxCSP/kbtree/kbtree-9-5-3-5/
kbtree-9-5-3-5-90/
kbtree-9-5-3-5-90-01_ext.xml		 MOPT
f=92
TT=6.25

 MSAT (TO)
f=92
TT=2400.09
T1=1.14
 MSAT (TO)
f=92
TT=2400.06
T1=1.21
 OPTIMUM
f=92
TT=17.23
T1=17.37
 OPTIMUM
f=92
TT=22.066
T1=22.07
 ? (problem)

TT=0.459

NODES=0
 OPTIMUM
f=92
TT=6.25

 OPTIMUM
f=92
TT=6.559

 ? (TO)

TT=2400.03

 OPTIMUM
f=92
TT=9.614
MaxCSP/kbtree/kbtree-9-5-3-5/
kbtree-9-5-3-5-90/
kbtree-9-5-3-5-90-11_ext.xml		 MOPT
f=88
TT=18.9

 MSAT (TO)
f=88
TT=2400.15
T1=1.28
 MSAT (TO)
f=88
TT=2400.07
T1=1.17
 OPTIMUM
f=88
TT=198.388
T1=198.48
 OPTIMUM
f=88
TT=337.632
T1=338.93
 ? (problem)

TT=0.461

NODES=0
 OPTIMUM
f=88
TT=18.9

 OPTIMUM
f=88
TT=31.069

 ? (TO)

TT=2400.08

 OPTIMUM
f=88
TT=71.021
MaxCSP/kbtree/kbtree-9-5-3-5/
kbtree-9-5-3-5-90/
kbtree-9-5-3-5-90-21_ext.xml		 MOPT
f=91
TT=5.334

 MSAT (TO)
f=91
TT=2400.07
T1=1.71
 MSAT (TO)
f=91
TT=2400.11
T1=1.8
 OPTIMUM
f=91
TT=6.649
T1=6.67
 OPTIMUM
f=91
TT=5.97
T1=5.97
 ? (problem)

TT=0.432

NODES=0
 OPTIMUM
f=91
TT=5.334

 OPTIMUM
f=91
TT=5.556

 ? (TO)

TT=2400.03

 OPTIMUM
f=91
TT=6.912
MaxCSP/kbtree/kbtree-9-7-3-5/
kbtree-9-7-3-5-10/
kbtree-9-7-3-5-10-01_ext.xml		 SAT
f=189
TT=0.052

 SAT
f=189
TT=0.777
T1=0.77
 SAT
f=189
TT=0.748
T1=0.74
 SAT
f=189
TT=0.052
T1=0.05
 SAT
f=189
TT=0.056
T1=0.05
 SAT
f=189
TT=0.403
T1=0.4
NODES=0
 SAT
f=189
TT=0.071

 SAT
f=189
TT=0.077

 SAT
f=189
TT=0.145

 SAT
f=189
TT=0.077
MaxCSP/kbtree/kbtree-9-7-3-5/
kbtree-9-7-3-5-10/
kbtree-9-7-3-5-10-11_ext.xml		 SAT
f=189
TT=0.055

 SAT
f=189
TT=0.779
T1=0.78
 SAT
f=189
TT=0.727
T1=0.72
 SAT
f=189
TT=0.055
T1=0.05
 SAT
f=189
TT=0.055
T1=0.05
 SAT
f=189
TT=0.399
T1=0.42
NODES=1
 SAT
f=189
TT=0.079

 SAT
f=189
TT=0.077

 SAT
f=189
TT=0.125

 SAT
f=189
TT=0.076
MaxCSP/kbtree/kbtree-9-7-3-5/
kbtree-9-7-3-5-10/
kbtree-9-7-3-5-10-21_ext.xml		 SAT
f=189
TT=0.055

 SAT
f=189
TT=0.795
T1=0.81
 SAT
f=189
TT=0.757
T1=0.74
 SAT
f=189
TT=0.055
T1=0.05
 SAT
f=189
TT=0.055
T1=0.05
 SAT
f=189
TT=0.407
T1=0.42
NODES=4
 SAT
f=189
TT=0.075

 SAT
f=189
TT=0.076

 SAT
f=189
TT=0.141

 SAT
f=189
TT=0.079
MaxCSP/kbtree/kbtree-9-7-3-5/
kbtree-9-7-3-5-20/
kbtree-9-7-3-5-20-01_ext.xml		 MOPT
f=186
TT=0.141

 OPTIMUM
f=186
TT=41.93
T1=0.64
 OPTIMUM
f=186
TT=43.982
T1=0.66
 OPTIMUM
f=186
TT=0.148
T1=0.14
 OPTIMUM
f=186
TT=0.141
T1=0.14
 MSAT (TO)
f=186
TT=2400.01

 OPTIMUM
f=186
TT=2.959

 OPTIMUM
f=186
TT=2.933

 OPTIMUM
f=186
TT=1758.13

 OPTIMUM
f=186
TT=3.106
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/kbtree/kbtree-9-7-3-5/
kbtree-9-7-3-5-20/
kbtree-9-7-3-5-20-11_ext.xml		 MOPT
f=188
TT=0.084

 OPTIMUM
f=188
TT=0.894
T1=0.65
 OPTIMUM
f=188
TT=0.851
T1=0.66
 OPTIMUM
f=188
TT=0.091
T1=0.09
 OPTIMUM
f=188
TT=0.084
T1=0.08
 MSAT (TO)
f=187
TT=2400.02
T1=0.56
 OPTIMUM
f=188
TT=2.97

 OPTIMUM
f=188
TT=3.356

 OPTIMUM
f=188
TT=92.442

 OPTIMUM
f=188
TT=2.992
MaxCSP/kbtree/kbtree-9-7-3-5/
kbtree-9-7-3-5-20/
kbtree-9-7-3-5-20-21_ext.xml		 MOPT
f=188
TT=0.145

 OPTIMUM
f=188
TT=0.876
T1=0.64
 OPTIMUM
f=188
TT=0.865
T1=0.66
 OPTIMUM
f=188
TT=0.165
T1=0.16
 OPTIMUM
f=188
TT=0.145
T1=0.14
 MSAT (TO)
f=188
TT=2400.01
T1=0.55
 OPTIMUM
f=188
TT=2.699

 OPTIMUM
f=188
TT=3.073

 OPTIMUM
f=188
TT=8.052

 OPTIMUM
f=188
TT=2.915
MaxCSP/kbtree/kbtree-9-7-3-5/
kbtree-9-7-3-5-30/
kbtree-9-7-3-5-30-01_ext.xml		 MOPT
f=180
TT=1.114

 OPTIMUM
f=180
TT=67.731
T1=0.88
 OPTIMUM
f=180
TT=61.907
T1=0.89
 OPTIMUM
f=180
TT=1.114
T1=1.12
 OPTIMUM
f=180
TT=1.139
T1=1.13
 MSAT (TO)
f=175
TT=2400.08
T1=0.56
 OPTIMUM
f=180
TT=3.517

 OPTIMUM
f=180
TT=3.685

 ? (TO)

TT=2400.06

 OPTIMUM
f=180
TT=3.631
MaxCSP/kbtree/kbtree-9-7-3-5/
kbtree-9-7-3-5-30/
kbtree-9-7-3-5-30-11_ext.xml		 MOPT
f=180
TT=1.125

 OPTIMUM
f=180
TT=61.218
T1=0.77
 OPTIMUM
f=180
TT=44.392
T1=0.74
 OPTIMUM
f=180
TT=1.305
T1=1.3
 OPTIMUM
f=180
TT=1.125
T1=1.13
 MSAT (TO)
f=178
TT=2400.06

 OPTIMUM
f=180
TT=3.762

 OPTIMUM
f=180
TT=3.66

 ? (TO)

TT=2400.11

 OPTIMUM
f=180
TT=4.072
MaxCSP/kbtree/kbtree-9-7-3-5/
kbtree-9-7-3-5-30/
kbtree-9-7-3-5-30-21_ext.xml		 MOPT
f=180
TT=0.803

 OPTIMUM
f=180
TT=64.685
T1=0.65
 OPTIMUM
f=180
TT=53.504
T1=0.61
 OPTIMUM
f=180
TT=0.803
T1=0.8
 OPTIMUM
f=180
TT=0.823
T1=0.82
 MSAT (TO)
f=176
TT=2400.09
T1=0.59
 OPTIMUM
f=180
TT=3.788

 OPTIMUM
f=180
TT=4.037

 ? (TO)

TT=2400.1

 OPTIMUM
f=180
TT=4.027
MaxCSP/kbtree/kbtree-9-7-3-5/
kbtree-9-7-3-5-40/
kbtree-9-7-3-5-40-01_ext.xml		 MOPT
f=162
TT=4.305

 OPTIMUM
f=162
TT=396.626
T1=0.75
 OPTIMUM
f=162
TT=297.029
T1=0.72
 OPTIMUM
f=162
TT=6.036
T1=6.03
 OPTIMUM
f=162
TT=5.546
T1=5.54
 ? (problem)

TT=0.462

NODES=0
 OPTIMUM
f=162
TT=4.305

 OPTIMUM
f=162
TT=4.487

 ? (TO)

TT=2400.07

 OPTIMUM
f=162
TT=8.403
MaxCSP/kbtree/kbtree-9-7-3-5/
kbtree-9-7-3-5-40/
kbtree-9-7-3-5-40-11_ext.xml		 MOPT
f=167
TT=2.278

 OPTIMUM
f=167
TT=90.223
T1=0.66
 OPTIMUM
f=167
TT=47.742
T1=0.64
 OPTIMUM
f=167
TT=2.405
T1=2.4
 OPTIMUM
f=167
TT=2.278
T1=2.28
 MSAT (TO)
f=161
TT=2400.05

 OPTIMUM
f=167
TT=4.247

 OPTIMUM
f=167
TT=4.488

 ? (TO)

TT=2400.15

 OPTIMUM
f=167
TT=4.679
MaxCSP/kbtree/kbtree-9-7-3-5/
kbtree-9-7-3-5-40/
kbtree-9-7-3-5-40-21_ext.xml		 MOPT
f=168
TT=1.49

 OPTIMUM
f=168
TT=95.441
T1=0.74
 OPTIMUM
f=168
TT=71.595
T1=0.7
 OPTIMUM
f=168
TT=1.589
T1=1.58
 OPTIMUM
f=168
TT=1.49
T1=1.49
 ? (problem)

TT=0.444

NODES=0
 OPTIMUM
f=168
TT=4.436

 OPTIMUM
f=168
TT=4.945

 ? (TO)

TT=2400.08

 OPTIMUM
f=168
TT=5.159
MaxCSP/kbtree/kbtree-9-7-3-5/
kbtree-9-7-3-5-50/
kbtree-9-7-3-5-50-01_ext.xml		 MOPT
f=153
TT=3.78

 OPTIMUM
f=153
TT=297.546
T1=0.8
 OPTIMUM
f=153
TT=189.313
T1=0.92
 OPTIMUM
f=153
TT=4.073
T1=4.11
 OPTIMUM
f=153
TT=3.78
T1=3.8
 ? (problem)

TT=0.474

NODES=0
 OPTIMUM
f=153
TT=5.692

 OPTIMUM
f=153
TT=5.741

 ? (TO)

TT=2400.15

 OPTIMUM
f=153
TT=8.598
MaxCSP/kbtree/kbtree-9-7-3-5/
kbtree-9-7-3-5-50/
kbtree-9-7-3-5-50-11_ext.xml		 MOPT
f=151
TT=2.437

 OPTIMUM
f=151
TT=86.523
T1=0.7
 OPTIMUM
f=151
TT=160.625
T1=0.7
 OPTIMUM
f=151
TT=2.523
T1=2.53
 OPTIMUM
f=151
TT=2.437
T1=2.43
 ? (problem)

TT=0.474

NODES=0
 OPTIMUM
f=151
TT=4.952

 OPTIMUM
f=151
TT=4.926

 ? (TO)

TT=2400.11

 OPTIMUM
f=151
TT=6.819
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/kbtree/kbtree-9-7-3-5/
kbtree-9-7-3-5-50/
kbtree-9-7-3-5-50-21_ext.xml		 MOPT
f=154
TT=3.622

 OPTIMUM
f=154
TT=268.878
T1=0.72
 OPTIMUM
f=154
TT=185.903
T1=0.8
 OPTIMUM
f=154
TT=3.832
T1=3.83
 OPTIMUM
f=154
TT=3.622
T1=3.64
 ? (problem)

TT=0.441

NODES=0
 OPTIMUM
f=154
TT=5.102

 OPTIMUM
f=154
TT=5.234

 ? (TO)

TT=2400.12

 OPTIMUM
f=154
TT=7.988
MaxCSP/kbtree/kbtree-9-7-3-5/
kbtree-9-7-3-5-60/
kbtree-9-7-3-5-60-01_ext.xml		 MOPT
f=135
TT=4.619

 OPTIMUM
f=135
TT=153.016
T1=0.64
 OPTIMUM
f=135
TT=203.38
T1=0.75
 OPTIMUM
f=135
TT=5.462
T1=5.51
 OPTIMUM
f=135
TT=4.619
T1=4.62
 ? (problem)

TT=0.442

NODES=0
 OPTIMUM
f=135
TT=6.354

 OPTIMUM
f=135
TT=6.088

 ? (TO)

TT=2400.09

 OPTIMUM
f=135
TT=6.984
MaxCSP/kbtree/kbtree-9-7-3-5/
kbtree-9-7-3-5-60/
kbtree-9-7-3-5-60-11_ext.xml		 MOPT
f=130
TT=4.144

 OPTIMUM
f=130
TT=329.288
T1=1.38
 OPTIMUM
f=130
TT=319.373
T1=1.37
 OPTIMUM
f=130
TT=5.181
T1=5.18
 OPTIMUM
f=130
TT=4.144
T1=4.17
 ? (problem)

TT=0.444

NODES=0
 OPTIMUM
f=130
TT=4.713

 OPTIMUM
f=130
TT=4.886

 ? (TO)

TT=2400.05

 OPTIMUM
f=130
TT=5.942
MaxCSP/kbtree/kbtree-9-7-3-5/
kbtree-9-7-3-5-60/
kbtree-9-7-3-5-60-21_ext.xml		 MOPT
f=132
TT=3.565

 OPTIMUM
f=132
TT=402.044
T1=1.23
 OPTIMUM
f=132
TT=333.678
T1=1.25
 OPTIMUM
f=132
TT=3.565
T1=3.57
 OPTIMUM
f=132
TT=3.837
T1=3.84
 ? (problem)

TT=0.439

NODES=0
 OPTIMUM
f=132
TT=4.745

 OPTIMUM
f=132
TT=5.22

 ? (TO)

TT=2400.1

 OPTIMUM
f=132
TT=7.271
MaxCSP/kbtree/kbtree-9-7-3-5/
kbtree-9-7-3-5-70/
kbtree-9-7-3-5-70-01_ext.xml		 MOPT
f=115
TT=2.712

 OPTIMUM
f=115
TT=392.454
T1=0.8
 OPTIMUM
f=115
TT=412.663
T1=0.88
 OPTIMUM
f=115
TT=2.712
T1=2.73
 OPTIMUM
f=115
TT=2.737
T1=2.75
 ? (problem)

TT=0.441

NODES=0
 OPTIMUM
f=115
TT=5.594

 OPTIMUM
f=115
TT=5.769

 ? (TO)

TT=2400.11

 OPTIMUM
f=115
TT=6.514
MaxCSP/kbtree/kbtree-9-7-3-5/
kbtree-9-7-3-5-70/
kbtree-9-7-3-5-70-11_ext.xml		 MOPT
f=116
TT=3.82

 OPTIMUM
f=116
TT=365.168
T1=0.74
 OPTIMUM
f=116
TT=367.697
T1=0.71
 OPTIMUM
f=116
TT=3.82
T1=3.85
 OPTIMUM
f=116
TT=3.969
T1=4
 ? (problem)

TT=0.438

NODES=0
 OPTIMUM
f=116
TT=5.177

 OPTIMUM
f=116
TT=5.455

 ? (TO)

TT=2400.06

 OPTIMUM
f=116
TT=7.64
MaxCSP/kbtree/kbtree-9-7-3-5/
kbtree-9-7-3-5-70/
kbtree-9-7-3-5-70-21_ext.xml		 MOPT
f=118
TT=2.333

 OPTIMUM
f=118
TT=219.147
T1=1.28
 OPTIMUM
f=118
TT=279.267
T1=1.29
 OPTIMUM
f=118
TT=2.506
T1=2.5
 OPTIMUM
f=118
TT=2.333
T1=2.34
 ? (problem)

TT=0.429

NODES=0
 OPTIMUM
f=118
TT=4.985

 OPTIMUM
f=118
TT=5.155

 ? (TO)

TT=2400.08

 OPTIMUM
f=118
TT=5.974
MaxCSP/kbtree/kbtree-9-7-3-5/
kbtree-9-7-3-5-80/
kbtree-9-7-3-5-80-01_ext.xml		 MOPT
f=93
TT=2.033

 OPTIMUM
f=93
TT=376.873
T1=0.84
 OPTIMUM
f=93
TT=567.411
T1=0.88
 OPTIMUM
f=93
TT=2.033
T1=2.03
 OPTIMUM
f=93
TT=2.104
T1=2.12
 ? (problem)

TT=0.449

NODES=0
 OPTIMUM
f=93
TT=5.398

 OPTIMUM
f=93
TT=5.5

 ? (TO)

TT=2400.06

 OPTIMUM
f=93
TT=6.304
MaxCSP/kbtree/kbtree-9-7-3-5/
kbtree-9-7-3-5-80/
kbtree-9-7-3-5-80-11_ext.xml		 MOPT
f=85
TT=5.743

 MSAT (TO)
f=85
TT=2400.12
T1=0.78
 MSAT (TO)
f=85
TT=2400.16
T1=0.79
 OPTIMUM
f=85
TT=11.053
T1=11.05
 OPTIMUM
f=85
TT=10.92
T1=11
 ? (problem)

TT=0.419

NODES=0
 OPTIMUM
f=85
TT=5.743

 OPTIMUM
f=85
TT=5.851

 ? (TO)

TT=2400.11

 OPTIMUM
f=85
TT=12.036
MaxCSP/kbtree/kbtree-9-7-3-5/
kbtree-9-7-3-5-80/
kbtree-9-7-3-5-80-21_ext.xml		 MOPT
f=87
TT=3.01

 OPTIMUM
f=87
TT=533.103
T1=1.01
 OPTIMUM
f=87
TT=533.859
T1=1.15
 OPTIMUM
f=87
TT=3.01
T1=3.03
 OPTIMUM
f=87
TT=3.044
T1=3.05
 ? (problem)

TT=0.417

NODES=0
 OPTIMUM
f=87
TT=4.812

 OPTIMUM
f=87
TT=4.702

 ? (TO)

TT=2400.15

 OPTIMUM
f=87
TT=6.444
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/kbtree/kbtree-9-7-3-5/
kbtree-9-7-3-5-90/
kbtree-9-7-3-5-90-01_ext.xml		 MOPT
f=65
TT=3.048

 OPTIMUM
f=65
TT=359.698
T1=0.69
 OPTIMUM
f=65
TT=486.085
T1=0.69
 OPTIMUM
f=65
TT=3.459
T1=3.49
 OPTIMUM
f=65
TT=3.048
T1=3.04
 ? (problem)

TT=0.442

NODES=0
 OPTIMUM
f=65
TT=4.388

 OPTIMUM
f=65
TT=4.884

 ? (TO)

TT=2400.16

 OPTIMUM
f=65
TT=5.878
MaxCSP/kbtree/kbtree-9-7-3-5/
kbtree-9-7-3-5-90/
kbtree-9-7-3-5-90-11_ext.xml		 MOPT
f=66
TT=1.269

 OPTIMUM
f=66
TT=144.353
T1=0.63
 OPTIMUM
f=66
TT=373.726
T1=0.63
 OPTIMUM
f=66
TT=1.316
T1=1.31
 OPTIMUM
f=66
TT=1.269
T1=1.26
 ? (problem)

TT=0.44

NODES=0
 OPTIMUM
f=66
TT=5.62

 OPTIMUM
f=66
TT=5.719

 ? (TO)

TT=2400.1

 OPTIMUM
f=66
TT=5.981
MaxCSP/kbtree/kbtree-9-7-3-5/
kbtree-9-7-3-5-90/
kbtree-9-7-3-5-90-21_ext.xml		 MOPT
f=65
TT=4.966

 OPTIMUM
f=65
TT=566.472
T1=0.65
 OPTIMUM
f=65
TT=899.432
T1=0.65
 OPTIMUM
f=65
TT=5.181
T1=5.19
 OPTIMUM
f=65
TT=4.966
T1=5.01
 ? (problem)

TT=0.424

NODES=0
 OPTIMUM
f=65
TT=5.544

 OPTIMUM
f=65
TT=5.734

 ? (TO)

TT=2400.14

 OPTIMUM
f=65
TT=6.987
MaxCSP/
planning/
bwt5ac_ext.xml		 MOPT
f=27323
TT=236.571

 MSAT (TO)
f=27323
TT=2400.12

 MSAT (TO)
f=27323
TT=2400.11

 MSAT (TO)
f=27294
TT=2400.08

 MSAT (TO)
f=27298
TT=2400.07

 ?

TT=0.719

 OPTIMUM
f=27323
TT=362.069

 OPTIMUM
f=27323
TT=401.366

 ? (TO)

TT=2400.08

 OPTIMUM
f=27323
TT=236.571
MaxCSP/planning/
depot01ac_ext.xml		 MOPT
f=584
TT=0.142

 OPTIMUM
f=584
TT=30.862

 OPTIMUM
f=584
TT=30.868

 OPTIMUM
f=584
TT=0.169

 OPTIMUM
f=584
TT=0.142

 ?

TT=0.323

 OPTIMUM
f=584
TT=7.43

 OPTIMUM
f=584
TT=6.948

 OPTIMUM
f=584
TT=0.503

 OPTIMUM
f=584
TT=7.497
MaxCSP/planning/
driverlog02ac_ext.xml		 MSAT TO
f=19154
TT=2400.07

 MSAT (TO)
f=19154
TT=2400.07

 MSAT (TO)
f=19154
TT=2400.15

 MSAT (TO)
f=19025
TT=2400.09

 MSAT (TO)
f=19104
TT=2400.09

 ?

TT=0.748

 ? (TO)

TT=2400.09

 ? (TO)

TT=2400.02

 ? (TO)

TT=2400

 ? (TO)

TT=2400.12
MaxCSP/planning/
driverlog04ac_ext.xml		 MOPT
f=18585
TT=82.03

 MSAT (TO)
f=18585
TT=2400.06

 MSAT (TO)
f=18585
TT=2400.07

 MSAT (TO)
f=18577
TT=2400.11

 MSAT (TO)
f=18578
TT=2400.07

 ?

TT=0.639

 OPTIMUM
f=18585
TT=332.041

 OPTIMUM
f=18585
TT=334.157

 ? (TO)

TT=2400.03

 OPTIMUM
f=18585
TT=82.03
MaxCSP/planning/
driverlog05ac_ext.xml		 MOPT
f=30031
TT=488.217

 MSAT (TO)
f=30030
TT=2400.16

 MSAT (TO)
f=30030
TT=2400.12

 MSAT (TO)
f=29938
TT=2400.02

 MSAT (TO)
f=29945
TT=2400.02

 ?

TT=0.827

 ? (TO)

TT=2400.13

 ? (TO)

TT=2400.09

 ? (TO)

TT=2400.11

 OPTIMUM
f=30031
TT=488.217
MaxCSP/planning/
driverlog08ac_ext.xml		 MOPT
f=47453
TT=99.656

 MSAT (TO)
f=47450
TT=2400.12

 MSAT (TO)
f=47450
TT=2400.11

 MSAT (TO)
f=47399
TT=2400.1

 MSAT (TO)
f=47415
TT=2400.02

 ?

TT=1.398

 ? (TO)

TT=2400.12

 ? (TO)

TT=2400.06

 ? (TO)

TT=2400.07

 OPTIMUM
f=47453
TT=99.656
MaxCSP/planning/
logistics01ac_ext.xml		 MOPT
f=2610
TT=5.625

 OPTIMUM
f=2610
TT=236.475

 OPTIMUM
f=2610
TT=300.628

 OPTIMUM
f=2610
TT=5.625

 OPTIMUM
f=2610
TT=10.538

 ?

TT=0.52

 OPTIMUM
f=2610
TT=26.101

 OPTIMUM
f=2610
TT=24.607

 OPTIMUM
f=2610
TT=115.334

 OPTIMUM
f=2610
TT=24.558
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/planning/
mprime01ac_ext.xml		 MOPT
f=13116
TT=31.539

 OPTIMUM
f=13116
TT=48.905

 OPTIMUM
f=13116
TT=402.08

 OPTIMUM
f=13116
TT=70.554

 OPTIMUM
f=13116
TT=31.539

 ?

TT=0.423

 OPTIMUM
f=13116
TT=206.49

 OPTIMUM
f=13116
TT=206.661

 OPTIMUM
f=13116
TT=15.206

 OPTIMUM
f=13116
TT=205.082
MaxCSP/planning/
mprime03ac_ext.xml		 MOPT
f=622
TT=0.1

 OPTIMUM
f=622
TT=31.043

 OPTIMUM
f=622
TT=31.585

 OPTIMUM
f=622
TT=0.133

 OPTIMUM
f=622
TT=0.1

 ?

TT=0.294

 OPTIMUM
f=622
TT=24.087

 OPTIMUM
f=622
TT=24.208

 OPTIMUM
f=622
TT=0.563

 OPTIMUM
f=622
TT=22.463
MaxCSP/planning/
mprime04ac_ext.xml		 MOPT
f=24871
TT=231.676

 OPTIMUM
f=24871
TT=2336.53

 OPTIMUM
f=24871
TT=1214.04

 OPTIMUM
f=24871
TT=1005.76

 OPTIMUM
f=24871
TT=2074.96

 ?

TT=0.431

 OPTIMUM
f=24871
TT=246.913

 OPTIMUM
f=24871
TT=237.59

 ? (TO)

TT=2400.1

 OPTIMUM
f=24871
TT=231.676
MaxCSP/planning/
rovers02ac_ext.xml		 MOPT
f=5298
TT=23.373

 OPTIMUM
f=5298
TT=319.919

 OPTIMUM
f=5298
TT=372.296

 OPTIMUM
f=5298
TT=896.85

 OPTIMUM
f=5298
TT=353.421

 ?

TT=0.402

 OPTIMUM
f=5298
TT=25.724

 OPTIMUM
f=5298
TT=26.142

 OPTIMUM
f=5298
TT=2226.2

 OPTIMUM
f=5298
TT=23.373
MaxCSP/planning/
satellite01ac_ext.xml		 MOPT
f=7974
TT=0.52

 OPTIMUM
f=7974
TT=210.329

 OPTIMUM
f=7974
TT=324.563

 OPTIMUM
f=7974
TT=0.615

 OPTIMUM
f=7974
TT=0.52

 ? (problem)

TT=1.196

NODES=0
 OPTIMUM
f=7974
TT=12.24

 OPTIMUM
f=7974
TT=12.187

 OPTIMUM
f=7974
TT=23.245

 OPTIMUM
f=7974
TT=13.198
MaxCSP/planning/
satellite02ac_ext.xml		 MOPT
f=28415
TT=18.031

 MSAT (TO)
f=28415
TT=2400.09

 MSAT (TO)
f=28415
TT=2400.07

 OPTIMUM
f=28415
TT=389.677

 OPTIMUM
f=28415
TT=18.031

 ?

TT=0.815

 OPTIMUM
f=28415
TT=40.88

 OPTIMUM
f=28415
TT=38.615

 ? (TO)

TT=2400.09

 OPTIMUM
f=28415
TT=40.668
MaxCSP/planning/
zenotravel02ac_ext.xml		 MOPT
f=5758
TT=0.755

 OPTIMUM
f=5758
TT=33.029

 OPTIMUM
f=5758
TT=190.439

 OPTIMUM
f=5758
TT=1.039

 OPTIMUM
f=5758
TT=0.755

 ?

TT=0.374

 OPTIMUM
f=5758
TT=197.141

 OPTIMUM
f=5758
TT=203.973

 OPTIMUM
f=5758
TT=3.012

 OPTIMUM
f=5758
TT=202.947
MaxCSP/planning/
zenotravel04ac_ext.xml		 MOPT
f=18011
TT=11.335

 OPTIMUM
f=18011
TT=2391.1

 MSAT (TO)
f=18011
TT=2400.08

 OPTIMUM
f=18011
TT=22.298

 OPTIMUM
f=18011
TT=11.335

 ?

TT=0.44

 OPTIMUM
f=18011
TT=382.841

 OPTIMUM
f=18011
TT=405.017

 ? (TO)

TT=2400

 OPTIMUM
f=18011
TT=405.395
MaxCSP/
warehouses/
cap102_ext.xml		 MOPT
f=1275
TT=0.371

 OPTIMUM
f=1275
TT=31.11
T1=0.93
 OPTIMUM
f=1275
TT=31.048
T1=0.88
 OPTIMUM
f=1275
TT=0.374
T1=0.37
 OPTIMUM
f=1275
TT=0.371
T1=0.36
 OPTIMUM
f=1275
TT=0.749
T1=0.75
NODES=0
 OPTIMUM
f=1275
TT=8.142

 OPTIMUM
f=1275
TT=7.858

 ? (TO)

TT=2400.05

 OPTIMUM
f=1275
TT=7.628
MaxCSP/
warehouses/
cap122_ext.xml		 MOPT
f=2550
TT=0.793

 OPTIMUM
f=2550
TT=32.297
T1=2.12
 OPTIMUM
f=2550
TT=32.382
T1=2.19
 OPTIMUM
f=2550
TT=0.793
T1=0.78
 OPTIMUM
f=2550
TT=0.914
T1=0.9
 OPTIMUM
f=2550
TT=1.597
T1=1.7
NODES=0
 OPTIMUM
f=2550
TT=23.176

 OPTIMUM
f=2550
TT=23.554

 ? (MO)

TT=2

 OPTIMUM
f=2550
TT=23.486

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 answer8078128120231341340128
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)34175302929014