MAX-CSP 2006 Competition: results by benchmark

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

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

REMINDER

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

Description of a cell contents:

Cell exampleMeaning
AnswerSolver result
f=...value of the objective function for the model reported by the solver
TT=...Total Time (TT): this is the CPU time (in seconds) used by the solver until termination. This time is only meaningful for complete solvers because incomplete solvers will always run until they time out
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
MaxCSP/randomMaxCSP/
completeLoose/
vcsp-25-10-100-18-11_ext.xml		 MOPT
f=299
TT=12.336

 OPTIMUM
f=299
TT=39.136
T1=10.65
 OPTIMUM
f=299
TT=23.913
T1=9.81
 OPTIMUM
f=299
TT=107.661
T1=108.59
 OPTIMUM
f=299
TT=98.335
T1=98.36
 MSAT (TO)
f=299
TT=2400.05
T1=1.13
 OPTIMUM
f=299
TT=12.336

 OPTIMUM
f=299
TT=13.252

 ? (TO)

TT=2400.09

 OPTIMUM
f=299
TT=21.303
MaxCSP/randomMaxCSP/
completeLoose/
vcsp-25-10-100-18-13_ext.xml		 MOPT
f=298
TT=22.156

 OPTIMUM
f=298
TT=597.858
T1=0.82
 OPTIMUM
f=298
TT=314.787
T1=0.88
 OPTIMUM
f=298
TT=164.139
T1=165.35
 OPTIMUM
f=298
TT=160.685
T1=160.72
 MSAT (TO)
f=296
TT=2400.09
T1=0.56
 OPTIMUM
f=298
TT=22.21

 OPTIMUM
f=298
TT=22.156

 ? (TO)

TT=2400.07

 OPTIMUM
f=298
TT=127.703
MaxCSP/randomMaxCSP/
completeLoose/
vcsp-25-10-100-18-15_ext.xml		 MOPT
f=298
TT=24.904

 OPTIMUM
f=298
TT=753.547
T1=0.76
 OPTIMUM
f=298
TT=342.763
T1=0.76
 OPTIMUM
f=298
TT=177.497
T1=177.54
 OPTIMUM
f=298
TT=173.292
T1=174.62
 MSAT (TO)
f=296
TT=2400.02
T1=0.86
 OPTIMUM
f=298
TT=24.904

 OPTIMUM
f=298
TT=26.46

 ? (TO)

TT=2400.07

 OPTIMUM
f=298
TT=140.373
MaxCSP/randomMaxCSP/
completeLoose/
vcsp-25-10-100-18-17_ext.xml		 MOPT
f=299
TT=6.757

 OPTIMUM
f=299
TT=20.469
T1=0.8
 OPTIMUM
f=299
TT=6.757
T1=0.84
 OPTIMUM
f=299
TT=134.204
T1=134.49
 OPTIMUM
f=299
TT=130.778
T1=131.77
 MSAT (TO)
f=298
TT=2400

 OPTIMUM
f=299
TT=9.236

 OPTIMUM
f=299
TT=10.151

 ? (TO)

TT=2400.05

 OPTIMUM
f=299
TT=13.558
MaxCSP/randomMaxCSP/
completeLoose/
vcsp-25-10-100-18-19_ext.xml		 MOPT
f=298
TT=22.183

 OPTIMUM
f=298
TT=611.576
T1=0.83
 OPTIMUM
f=298
TT=271.714
T1=0.81
 OPTIMUM
f=298
TT=292.668
T1=294.15
 OPTIMUM
f=298
TT=308.18
T1=309.63
 MSAT (TO)
f=296
TT=2400.02
T1=0.58
 OPTIMUM
f=298
TT=22.183

 OPTIMUM
f=298
TT=23.608

 ? (TO)

TT=2400.07

 OPTIMUM
f=298
TT=124.754
MaxCSP/randomMaxCSP/
completeLoose/
vcsp-25-10-100-18-1_ext.xml		 MOPT
f=298
TT=21.583

 OPTIMUM
f=298
TT=530.793
T1=0.8
 OPTIMUM
f=298
TT=312.996
T1=0.84
 OPTIMUM
f=298
TT=122.394
T1=122.42
 OPTIMUM
f=298
TT=120.506
T1=121.41
 MSAT (TO)
f=297
TT=2400.04

 OPTIMUM
f=298
TT=21.583

 OPTIMUM
f=298
TT=23.187

 ? (TO)

TT=2400.02

 OPTIMUM
f=298
TT=121.388
MaxCSP/randomMaxCSP/
completeLoose/
vcsp-25-10-100-18-21_ext.xml		 MOPT
f=299
TT=9.837

 OPTIMUM
f=299
TT=27.426
T1=1.25
 OPTIMUM
f=299
TT=10.328
T1=1.29
 OPTIMUM
f=299
TT=50.027
T1=50.41
 OPTIMUM
f=299
TT=49.011
T1=49.37
 MSAT (TO)
f=299
TT=2400.05

 OPTIMUM
f=299
TT=9.837

 OPTIMUM
f=299
TT=10.135

 ? (TO)

TT=2400.03

 OPTIMUM
f=299
TT=13.788
MaxCSP/randomMaxCSP/
completeLoose/
vcsp-25-10-100-18-23_ext.xml		 MOPT
f=298
TT=24.179

 OPTIMUM
f=298
TT=873.408
T1=0.98
 OPTIMUM
f=298
TT=410.986
T1=1.01
 OPTIMUM
f=298
TT=97.4
T1=97.77
 OPTIMUM
f=298
TT=95.302
T1=95.68
 MSAT (TO)
f=297
TT=2400.03
T1=2.16
 OPTIMUM
f=298
TT=24.179

 OPTIMUM
f=298
TT=25.866

 ? (TO)

TT=2400.06

 OPTIMUM
f=298
TT=155.683
MaxCSP/randomMaxCSP/
completeLoose/
vcsp-25-10-100-18-25_ext.xml		 MOPT
f=299
TT=8.309

 OPTIMUM
f=299
TT=20.617
T1=1.12
 OPTIMUM
f=299
TT=8.309
T1=1.18
 OPTIMUM
f=299
TT=102.841
T1=102.87
 OPTIMUM
f=299
TT=101.521
T1=102.36
 MSAT (TO)
f=298
TT=2400.07
T1=1.35
 OPTIMUM
f=299
TT=9.028

 OPTIMUM
f=299
TT=9.334

 ? (TO)

TT=2400.06

 OPTIMUM
f=299
TT=13.12
MaxCSP/randomMaxCSP/
completeLoose/
vcsp-25-10-100-18-27_ext.xml		 MOPT
f=298
TT=23.282

 OPTIMUM
f=298
TT=726.259
T1=0.8
 OPTIMUM
f=298
TT=323.843
T1=0.77
 OPTIMUM
f=298
TT=97.249
T1=97.98
 OPTIMUM
f=298
TT=94.966
T1=95.32
 MSAT (TO)
f=298
TT=2400.05
T1=2.8
 OPTIMUM
f=298
TT=23.289

 OPTIMUM
f=298
TT=23.282

 ? (TO)

TT=2400.01

 OPTIMUM
f=298
TT=135.218
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/randomMaxCSP/
completeLoose/
vcsp-25-10-100-18-29_ext.xml		 MOPT
f=298
TT=24.242

 OPTIMUM
f=298
TT=699.606
T1=0.7
 OPTIMUM
f=298
TT=307.545
T1=0.76
 OPTIMUM
f=298
TT=158.909
T1=159.61
 OPTIMUM
f=298
TT=167.28
T1=167.33
 MSAT (TO)
f=298
TT=2400.02
T1=0.77
 OPTIMUM
f=298
TT=24.242

 OPTIMUM
f=298
TT=26.014

 ? (TO)

TT=2400.04

 OPTIMUM
f=298
TT=134.398
MaxCSP/randomMaxCSP/
completeLoose/
vcsp-25-10-100-18-31_ext.xml		 MOPT
f=298
TT=24.915

 OPTIMUM
f=298
TT=687.707
T1=0.91
 OPTIMUM
f=298
TT=324.976
T1=0.88
 OPTIMUM
f=298
TT=114.781
T1=115.24
 OPTIMUM
f=298
TT=112.339
T1=112.4
 MSAT (TO)
f=297
TT=2400.07
T1=1.93
 OPTIMUM
f=298
TT=24.915

 OPTIMUM
f=298
TT=26.523

 ? (TO)

TT=2400.1

 OPTIMUM
f=298
TT=135.427
MaxCSP/randomMaxCSP/
completeLoose/
vcsp-25-10-100-18-33_ext.xml		 MOPT
f=299
TT=9.496

 OPTIMUM
f=299
TT=25.176
T1=1.34
 OPTIMUM
f=299
TT=9.496
T1=1.28
 OPTIMUM
f=299
TT=29.653
T1=29.88
 OPTIMUM
f=299
TT=31.07
T1=31.08
 MSAT (TO)
f=299
TT=2400.08

 OPTIMUM
f=299
TT=9.781

 OPTIMUM
f=299
TT=10.159

 ? (TO)

TT=2400.07

 OPTIMUM
f=299
TT=13.821
MaxCSP/randomMaxCSP/
completeLoose/
vcsp-25-10-100-18-35_ext.xml		 MOPT
f=299
TT=2.639

 OPTIMUM
f=299
TT=24.489
T1=1.57
 OPTIMUM
f=299
TT=12.608
T1=1.54
 OPTIMUM
f=299
TT=2.724
T1=2.74
 OPTIMUM
f=299
TT=2.639
T1=2.64
 MSAT (TO)
f=299
TT=2400.07

 OPTIMUM
f=299
TT=9.878

 OPTIMUM
f=299
TT=10.167

 ? (TO)

TT=2400.1

 OPTIMUM
f=299
TT=13.674
MaxCSP/randomMaxCSP/
completeLoose/
vcsp-25-10-100-18-37_ext.xml		 MOPT
f=299
TT=8.66

 OPTIMUM
f=299
TT=22.383
T1=1.19
 OPTIMUM
f=299
TT=8.66
T1=1.28
 OPTIMUM
f=299
TT=112.764
T1=113.19
 OPTIMUM
f=299
TT=111.129
T1=112.07
 MSAT (TO)
f=298
TT=2400.03
T1=0.58
 OPTIMUM
f=299
TT=9.575

 OPTIMUM
f=299
TT=9.398

 OPTIMUM
f=299
TT=1191.99

 OPTIMUM
f=299
TT=13.206
MaxCSP/randomMaxCSP/
completeLoose/
vcsp-25-10-100-18-39_ext.xml		 MOPT
f=299
TT=9.58

 OPTIMUM
f=299
TT=25.82
T1=1.25
 OPTIMUM
f=299
TT=10.2
T1=1.22
 OPTIMUM
f=299
TT=96.69
T1=97.07
 OPTIMUM
f=299
TT=96.175
T1=96.88
 MSAT (TO)
f=299
TT=2400.04
T1=1.11
 OPTIMUM
f=299
TT=9.58

 OPTIMUM
f=299
TT=9.896

 ? (TO)

TT=2400.05

 OPTIMUM
f=299
TT=13.602
MaxCSP/randomMaxCSP/
completeLoose/
vcsp-25-10-100-18-3_ext.xml		 MOPT
f=299
TT=7.762

 OPTIMUM
f=299
TT=23.575
T1=0.99
 OPTIMUM
f=299
TT=7.762
T1=0.98
 OPTIMUM
f=299
TT=148.926
T1=149.37
 OPTIMUM
f=299
TT=149.589
T1=150.69
 MSAT (TO)
f=296
TT=2400.02
T1=0.57
 OPTIMUM
f=299
TT=9.848

 OPTIMUM
f=299
TT=10.203

 ? (TO)

TT=2400.09

 OPTIMUM
f=299
TT=13.445
MaxCSP/randomMaxCSP/
completeLoose/
vcsp-25-10-100-18-5_ext.xml		 MOPT
f=299
TT=9.885

 OPTIMUM
f=299
TT=28.128
T1=1.84
 OPTIMUM
f=299
TT=12.879
T1=1.73
 OPTIMUM
f=299
TT=74.927
T1=75.23
 OPTIMUM
f=299
TT=73.735
T1=74.03
 MSAT (TO)
f=298
TT=2400.08
T1=0.62
 OPTIMUM
f=299
TT=9.885

 OPTIMUM
f=299
TT=10.116

 ? (TO)

TT=2400.1

 OPTIMUM
f=299
TT=14.305
MaxCSP/randomMaxCSP/
completeLoose/
vcsp-25-10-100-18-7_ext.xml		 MOPT
f=299
TT=9.582

 OPTIMUM
f=299
TT=27.482
T1=1.55
 OPTIMUM
f=299
TT=12.215
T1=1.58
 OPTIMUM
f=299
TT=16.069
T1=16.07
 OPTIMUM
f=299
TT=15.755
T1=15.89
 MSAT (TO)
f=297
TT=2400.08
T1=0.78
 OPTIMUM
f=299
TT=9.917

 OPTIMUM
f=299
TT=9.582

 ? (TO)

TT=2400.08

 OPTIMUM
f=299
TT=14.059
MaxCSP/randomMaxCSP/
completeLoose/
vcsp-25-10-100-18-9_ext.xml		 MOPT
f=298
TT=22.274

 OPTIMUM
f=298
TT=687.784
T1=0.72
 OPTIMUM
f=298
TT=346.164
T1=0.79
 OPTIMUM
f=298
TT=80.178
T1=80.49
 OPTIMUM
f=298
TT=79.02
T1=79.69
 MSAT (TO)
f=298
TT=2400.05
T1=1.25
 OPTIMUM
f=298
TT=22.274

 OPTIMUM
f=298
TT=23.857

 ? (TO)

TT=2400.07

 OPTIMUM
f=298
TT=140.584
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/randomMaxCSP/
completeTight/
vcsp-15-10-100-93-11_ext.xml		 MOPT
f=33
TT=16.188

 OPTIMUM
f=33
TT=824.276
T1=0.61
 OPTIMUM
f=33
TT=2039.68
T1=0.67
 OPTIMUM
f=33
TT=154.525
T1=154.87
 OPTIMUM
f=33
TT=168.525
T1=169.49
 ? (problem)

TT=0.378

NODES=0
 OPTIMUM
f=33
TT=16.611

 OPTIMUM
f=33
TT=16.188

 ? (TO)

TT=2400.1

 OPTIMUM
f=33
TT=53.74
MaxCSP/randomMaxCSP/
completeTight/
vcsp-15-10-100-93-13_ext.xml		 MOPT
f=32
TT=18.384

 OPTIMUM
f=32
TT=819.236
T1=0.58
 OPTIMUM
f=32
TT=2014.47
T1=0.69
 OPTIMUM
f=32
TT=331.784
T1=333.45
 OPTIMUM
f=32
TT=319.172
T1=320.77
 ? (problem)

TT=0.403

NODES=0
 OPTIMUM
f=32
TT=18.384

 OPTIMUM
f=32
TT=19.338

 ? (TO)

TT=2400.1

 OPTIMUM
f=32
TT=59.661
MaxCSP/randomMaxCSP/
completeTight/
vcsp-15-10-100-93-15_ext.xml		 MOPT
f=33
TT=13.949

 OPTIMUM
f=33
TT=731.124
T1=0.64
 OPTIMUM
f=33
TT=1723.99
T1=0.65
 OPTIMUM
f=33
TT=134.403
T1=135.56
 OPTIMUM
f=33
TT=134.305
T1=134.34
 ? (problem)

TT=0.396

NODES=0
 OPTIMUM
f=33
TT=13.949

 OPTIMUM
f=33
TT=14.08

 ? (TO)

TT=2400.08

 OPTIMUM
f=33
TT=43.035
MaxCSP/randomMaxCSP/
completeTight/
vcsp-15-10-100-93-17_ext.xml		 MOPT
f=32
TT=18.859

 OPTIMUM
f=32
TT=1258.28
T1=0.59
 MSAT (TO)
f=32
TT=2400.08
T1=0.61
 OPTIMUM
f=32
TT=226.297
T1=226.59
 OPTIMUM
f=32
TT=241.982
T1=243.77
 ? (problem)

TT=0.38

NODES=0
 OPTIMUM
f=32
TT=18.859

 OPTIMUM
f=32
TT=20.472

 ? (TO)

TT=2400.01

 OPTIMUM
f=32
TT=69.948
MaxCSP/randomMaxCSP/
completeTight/
vcsp-15-10-100-93-19_ext.xml		 MOPT
f=32
TT=16.901

 OPTIMUM
f=32
TT=1136.72
T1=0.59
 MSAT (TO)
f=32
TT=2400.06
T1=0.64
 OPTIMUM
f=32
TT=310.626
T1=312.96
 OPTIMUM
f=32
TT=292.31
T1=293.66
 ? (problem)

TT=0.403

NODES=0
 OPTIMUM
f=32
TT=16.901

 OPTIMUM
f=32
TT=17.775

 ? (TO)

TT=2400.07

 OPTIMUM
f=32
TT=62.193
MaxCSP/randomMaxCSP/
completeTight/
vcsp-15-10-100-93-1_ext.xml		 MOPT
f=32
TT=19.797

 OPTIMUM
f=32
TT=936.572
T1=0.71
 MSAT (TO)
f=32
TT=2400.1
T1=0.74
 OPTIMUM
f=32
TT=317.591
T1=317.69
 OPTIMUM
f=32
TT=318.169
T1=318.23
 ? (problem)

TT=0.378

NODES=0
 OPTIMUM
f=32
TT=19.797

 OPTIMUM
f=32
TT=20.78

 ? (TO)

TT=2400.07

 OPTIMUM
f=32
TT=60.399
MaxCSP/randomMaxCSP/
completeTight/
vcsp-15-10-100-93-21_ext.xml		 MOPT
f=33
TT=16.792

 OPTIMUM
f=33
TT=654.733
T1=0.7
 OPTIMUM
f=33
TT=1807.12
T1=0.7
 OPTIMUM
f=33
TT=305.803
T1=306.77
 OPTIMUM
f=33
TT=322.8
T1=325.68
 ? (problem)

TT=0.404

NODES=0
 OPTIMUM
f=33
TT=16.792

 OPTIMUM
f=33
TT=17.409

 ? (TO)

TT=2400.08

 OPTIMUM
f=33
TT=54.315
MaxCSP/randomMaxCSP/
completeTight/
vcsp-15-10-100-93-23_ext.xml		 MOPT
f=35
TT=11.527

 OPTIMUM
f=35
TT=325.448
T1=0.6
 OPTIMUM
f=35
TT=1060.58
T1=0.62
 OPTIMUM
f=35
TT=75.888
T1=76.23
 OPTIMUM
f=35
TT=76.914
T1=77.31
 ? (problem)

TT=0.377

NODES=0
 OPTIMUM
f=35
TT=11.527

 OPTIMUM
f=35
TT=12.003

 ? (TO)

TT=2400.06

 OPTIMUM
f=35
TT=26.842
MaxCSP/randomMaxCSP/
completeTight/
vcsp-15-10-100-93-25_ext.xml		 MOPT
f=35
TT=10.864

 OPTIMUM
f=35
TT=531.076
T1=0.62
 OPTIMUM
f=35
TT=1468.23
T1=0.62
 OPTIMUM
f=35
TT=57.027
T1=57.05
 OPTIMUM
f=35
TT=54.484
T1=54.67
 ? (problem)

TT=0.381

NODES=0
 OPTIMUM
f=35
TT=10.864

 OPTIMUM
f=35
TT=11.255

 ? (TO)

TT=2400.02

 OPTIMUM
f=35
TT=27.929
MaxCSP/randomMaxCSP/
completeTight/
vcsp-15-10-100-93-27_ext.xml		 MOPT
f=35
TT=11.906

 OPTIMUM
f=35
TT=317.04
T1=0.62
 OPTIMUM
f=35
TT=453.691
T1=0.58
 OPTIMUM
f=35
TT=151.614
T1=152.33
 OPTIMUM
f=35
TT=152.26
T1=153.55
 ? (problem)

TT=0.377

NODES=0
 OPTIMUM
f=35
TT=12.346

 OPTIMUM
f=35
TT=11.906

 ? (TO)

TT=2400.08

 OPTIMUM
f=35
TT=27.475
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/randomMaxCSP/
completeTight/
vcsp-15-10-100-93-29_ext.xml		 MOPT
f=33
TT=17.517

 OPTIMUM
f=33
TT=878.551
T1=0.62
 OPTIMUM
f=33
TT=2344.34
T1=0.62
 OPTIMUM
f=33
TT=235.917
T1=236.7
 OPTIMUM
f=33
TT=245.484
T1=245.54
 ? (problem)

TT=0.4

NODES=0
 OPTIMUM
f=33
TT=17.517

 OPTIMUM
f=33
TT=18.276

 ? (TO)

TT=2400.06

 OPTIMUM
f=33
TT=53.534
MaxCSP/randomMaxCSP/
completeTight/
vcsp-15-10-100-93-31_ext.xml		 MOPT
f=32
TT=24.341

 OPTIMUM
f=32
TT=1184.23
T1=0.62
 MSAT (TO)
f=32
TT=2400.08
T1=0.61
 OPTIMUM
f=32
TT=337.54
T1=337.65
 OPTIMUM
f=32
TT=338.907
T1=341.4
 ? (problem)

TT=0.402

NODES=0
 OPTIMUM
f=32
TT=24.341

 OPTIMUM
f=32
TT=26.106

 ? (TO)

TT=2400.08

 OPTIMUM
f=32
TT=82.912
MaxCSP/randomMaxCSP/
completeTight/
vcsp-15-10-100-93-33_ext.xml		 MOPT
f=35
TT=11.315

 OPTIMUM
f=35
TT=308.9
T1=0.65
 OPTIMUM
f=35
TT=819.405
T1=0.58
 OPTIMUM
f=35
TT=151.815
T1=152.83
 OPTIMUM
f=35
TT=151.332
T1=151.57
 ? (problem)

TT=0.386

NODES=0
 OPTIMUM
f=35
TT=11.315

 OPTIMUM
f=35
TT=12.571

 ? (TO)

TT=2400.06

 OPTIMUM
f=35
TT=29.429
MaxCSP/randomMaxCSP/
completeTight/
vcsp-15-10-100-93-35_ext.xml		 MOPT
f=33
TT=16.301

 OPTIMUM
f=33
TT=748.472
T1=0.69
 OPTIMUM
f=33
TT=1264.27
T1=0.84
 OPTIMUM
f=33
TT=211.278
T1=213.06
 OPTIMUM
f=33
TT=198.565
T1=198.85
 ? (problem)

TT=0.398

NODES=0
 OPTIMUM
f=33
TT=16.301

 OPTIMUM
f=33
TT=17.1

 ? (TO)

TT=2400.05

 OPTIMUM
f=33
TT=50.848
MaxCSP/randomMaxCSP/
completeTight/
vcsp-15-10-100-93-37_ext.xml		 MOPT
f=35
TT=9.901

 OPTIMUM
f=35
TT=298.538
T1=0.68
 OPTIMUM
f=35
TT=654.805
T1=0.59
 OPTIMUM
f=35
TT=104.039
T1=104.07
 OPTIMUM
f=35
TT=98.249
T1=98.42
 ? (problem)

TT=0.404

NODES=0
 OPTIMUM
f=35
TT=9.901

 OPTIMUM
f=35
TT=10.364

 ? (TO)

TT=2400.01

 OPTIMUM
f=35
TT=20.575
MaxCSP/randomMaxCSP/
completeTight/
vcsp-15-10-100-93-39_ext.xml		 MOPT
f=33
TT=16.427

 OPTIMUM
f=33
TT=852.287
T1=0.62
 OPTIMUM
f=33
TT=1637.44
T1=0.59
 OPTIMUM
f=33
TT=247.828
T1=249.66
 OPTIMUM
f=33
TT=248.414
T1=250.27
 ? (problem)

TT=0.401

NODES=0
 OPTIMUM
f=33
TT=16.722

 OPTIMUM
f=33
TT=16.427

 ? (TO)

TT=2400.08

 OPTIMUM
f=33
TT=44.464
MaxCSP/randomMaxCSP/
completeTight/
vcsp-15-10-100-93-3_ext.xml		 MOPT
f=33
TT=13.258

 OPTIMUM
f=33
TT=570.512
T1=0.66
 OPTIMUM
f=33
TT=2014.95
T1=0.72
 OPTIMUM
f=33
TT=116.342
T1=117.35
 OPTIMUM
f=33
TT=115.911
T1=116.76
 ? (problem)

TT=0.374

NODES=0
 OPTIMUM
f=33
TT=13.258

 OPTIMUM
f=33
TT=13.756

 ? (TO)

TT=2400.06

 OPTIMUM
f=33
TT=37.509
MaxCSP/randomMaxCSP/
completeTight/
vcsp-15-10-100-93-5_ext.xml		 MOPT
f=32
TT=23.104

 OPTIMUM
f=32
TT=1123.65
T1=0.59
 MSAT (TO)
f=32
TT=2400.08
T1=0.62
 OPTIMUM
f=32
TT=315.72
T1=317.18
 OPTIMUM
f=32
TT=315.952
T1=318.61
 ? (problem)

TT=0.379

NODES=0
 OPTIMUM
f=32
TT=23.104

 OPTIMUM
f=32
TT=24.673

 ? (TO)

TT=2400.02

 OPTIMUM
f=32
TT=75.871
MaxCSP/randomMaxCSP/
completeTight/
vcsp-15-10-100-93-7_ext.xml		 MOPT
f=34
TT=13.234

 OPTIMUM
f=34
TT=537.366
T1=0.62
 OPTIMUM
f=34
TT=1242.84
T1=0.61
 OPTIMUM
f=34
TT=128.051
T1=128.28
 OPTIMUM
f=34
TT=127.42
T1=127.46
 ? (problem)

TT=0.401

NODES=0
 OPTIMUM
f=34
TT=13.302

 OPTIMUM
f=34
TT=13.234

 ? (TO)

TT=2400.01

 OPTIMUM
f=34
TT=41.68
MaxCSP/randomMaxCSP/
completeTight/
vcsp-15-10-100-93-9_ext.xml		 MOPT
f=33
TT=18.086

 OPTIMUM
f=33
TT=641.112
T1=0.59
 MSAT (TO)
f=33
TT=2400.11
T1=0.67
 OPTIMUM
f=33
TT=260.889
T1=262.08
 OPTIMUM
f=33
TT=261.702
T1=262.71
 ? (problem)

TT=0.398

NODES=0
 OPTIMUM
f=33
TT=18.086

 OPTIMUM
f=33
TT=18.839

 ? (TO)

TT=2400.06

 OPTIMUM
f=33
TT=54.18
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/randomMaxCSP/denseLoose/
vcsp-30-10-25-48-11_ext.xml		 MOPT
f=106
TT=4.625

 OPTIMUM
f=106
TT=73.159
T1=0.95
 OPTIMUM
f=106
TT=68.72
T1=0.95
 Signal

TT=0.054

 Signal

TT=0.051

 MSAT (TO)
f=106
TT=2400.04

 OPTIMUM
f=106
TT=4.715

 OPTIMUM
f=106
TT=4.625

 ? (TO)

TT=2400.06

 OPTIMUM
f=106
TT=7.423
MaxCSP/randomMaxCSP/denseLoose/
vcsp-30-10-25-48-13_ext.xml		 MOPT
f=107
TT=3.29

 OPTIMUM
f=107
TT=60.989
T1=5.82
 OPTIMUM
f=107
TT=65.707
T1=5.83
 OPTIMUM
f=107
TT=3.29
T1=3.32
 OPTIMUM
f=107
TT=8.811
T1=8.88
 MSAT (TO)
f=105
TT=2400.02

 OPTIMUM
f=107
TT=3.868

 OPTIMUM
f=107
TT=3.77

 ? (TO)

TT=2400.08

 OPTIMUM
f=107
TT=4.351
MaxCSP/randomMaxCSP/denseLoose/
vcsp-30-10-25-48-15_ext.xml		 MOPT
f=107
TT=2.476

 OPTIMUM
f=107
TT=67.194
T1=0.7
 OPTIMUM
f=107
TT=80.115
T1=0.67
 OPTIMUM
f=107
TT=2.476
T1=2.49
 OPTIMUM
f=107
TT=2.796
T1=2.8
 MSAT (TO)
f=103
TT=2400.05
T1=0.61
 OPTIMUM
f=107
TT=4.201

 OPTIMUM
f=107
TT=4.379

 ? (TO)

TT=2400.08

 OPTIMUM
f=107
TT=5.33
MaxCSP/randomMaxCSP/denseLoose/
vcsp-30-10-25-48-17_ext.xml		 MOPT
f=107
TT=3.722

 OPTIMUM
f=107
TT=81.942
T1=0.64
 OPTIMUM
f=107
TT=59.467
T1=0.83
 OPTIMUM
f=107
TT=3.918
T1=3.92
 OPTIMUM
f=107
TT=8.612
T1=8.67
 MSAT (TO)
f=106
TT=2400

 OPTIMUM
f=107
TT=3.722

 OPTIMUM
f=107
TT=3.939

 ? (TO)

TT=2400.08

 OPTIMUM
f=107
TT=4.485
MaxCSP/randomMaxCSP/denseLoose/
vcsp-30-10-25-48-19_ext.xml		 MOPT
f=107
TT=3.028

 OPTIMUM
f=107
TT=51.024
T1=0.92
 OPTIMUM
f=107
TT=53.674
T1=0.88
 OPTIMUM
f=107
TT=3.613
T1=3.65
 OPTIMUM
f=107
TT=3.233
T1=3.26
 MSAT (TO)
f=103
TT=2400.05

 OPTIMUM
f=107
TT=3.028

 OPTIMUM
f=107
TT=3.257

 ? (TO)

TT=2400.05

 OPTIMUM
f=107
TT=3.535
MaxCSP/randomMaxCSP/denseLoose/
vcsp-30-10-25-48-1_ext.xml		 MOPT
f=107
TT=3.491

 OPTIMUM
f=107
TT=52.046
T1=0.62
 OPTIMUM
f=107
TT=50.63
T1=0.61
 OPTIMUM
f=107
TT=5.205
T1=5.22
 OPTIMUM
f=107
TT=5.709
T1=5.75
 MSAT (TO)
f=106
TT=2400.06

 OPTIMUM
f=107
TT=3.491

 OPTIMUM
f=107
TT=3.638

 ? (TO)

TT=2400.09

 OPTIMUM
f=107
TT=4.113
MaxCSP/randomMaxCSP/denseLoose/
vcsp-30-10-25-48-21_ext.xml		 MOPT
f=106
TT=3.297

 OPTIMUM
f=106
TT=72.121
T1=1.12
 OPTIMUM
f=106
TT=67.413
T1=1.11
 OPTIMUM
f=106
TT=3.297
T1=3.31
 OPTIMUM
f=106
TT=5.594
T1=5.62
 MSAT (TO)
f=104
TT=2400.04

 OPTIMUM
f=106
TT=4.738

 OPTIMUM
f=106
TT=4.884

 ? (TO)

TT=2400

 OPTIMUM
f=106
TT=5.739
MaxCSP/randomMaxCSP/denseLoose/
vcsp-30-10-25-48-23_ext.xml		 MOPT
f=106
TT=3.956

 OPTIMUM
f=106
TT=58.749
T1=3.51
 OPTIMUM
f=106
TT=65.951
T1=3.58
 OPTIMUM
f=106
TT=4.364
T1=4.36
 OPTIMUM
f=106
TT=3.956
T1=3.97
 MSAT (TO)
f=105
TT=2400.07

 OPTIMUM
f=106
TT=4.825

 OPTIMUM
f=106
TT=5.363

 ? (TO)

TT=2400.08

 OPTIMUM
f=106
TT=7.006
MaxCSP/randomMaxCSP/denseLoose/
vcsp-30-10-25-48-25_ext.xml		 MOPT
f=107
TT=5.647

 OPTIMUM
f=107
TT=60.96
T1=8.21
 OPTIMUM
f=107
TT=68.991
T1=8.79
 OPTIMUM
f=107
TT=8.078
T1=8.14
 OPTIMUM
f=107
TT=8.479
T1=8.54
 MSAT (TO)
f=105
TT=2400.02

 OPTIMUM
f=107
TT=5.647

 OPTIMUM
f=107
TT=5.821

 ? (TO)

TT=2400.1

 OPTIMUM
f=107
TT=8.542
MaxCSP/randomMaxCSP/denseLoose/
vcsp-30-10-25-48-27_ext.xml		 MOPT
f=107
TT=3.076

 OPTIMUM
f=107
TT=47.699
T1=0.7
 OPTIMUM
f=107
TT=49.565
T1=0.81
 OPTIMUM
f=107
TT=3.884
T1=3.9
 OPTIMUM
f=107
TT=3.076
T1=3.1
 MSAT (TO)
f=106
TT=2400.05

 OPTIMUM
f=107
TT=3.507

 OPTIMUM
f=107
TT=3.686

 ? (TO)

TT=2400.01

 OPTIMUM
f=107
TT=3.821
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/randomMaxCSP/denseLoose/
vcsp-30-10-25-48-29_ext.xml		 MOPT
f=107
TT=1.396

 OPTIMUM
f=107
TT=58.906
T1=0.66
 OPTIMUM
f=107
TT=61.329
T1=0.64
 OPTIMUM
f=107
TT=1.396
T1=1.41
 OPTIMUM
f=107
TT=1.406
T1=1.41
 MSAT (TO)
f=104
TT=2400.05

 OPTIMUM
f=107
TT=3.753

 OPTIMUM
f=107
TT=4.186

 ? (TO)

TT=2400.06

 OPTIMUM
f=107
TT=4.668
MaxCSP/randomMaxCSP/denseLoose/
vcsp-30-10-25-48-31_ext.xml		 MOPT
f=107
TT=3.869

 OPTIMUM
f=107
TT=61.898
T1=0.99
 OPTIMUM
f=107
TT=51.938
T1=0.92
 OPTIMUM
f=107
TT=21.566
T1=21.64
 OPTIMUM
f=107
TT=21.085
T1=21.16
 MSAT (TO)
f=106
TT=2400.09

 OPTIMUM
f=107
TT=3.869

 OPTIMUM
f=107
TT=4.266

 ? (TO)

TT=2400.07

 OPTIMUM
f=107
TT=4.827
MaxCSP/randomMaxCSP/denseLoose/
vcsp-30-10-25-48-33_ext.xml		 MOPT
f=107
TT=2.066

 OPTIMUM
f=107
TT=39.745
T1=0.66
 OPTIMUM
f=107
TT=42.662
T1=0.76
 OPTIMUM
f=107
TT=2.066
T1=2.08
 OPTIMUM
f=107
TT=3.496
T1=3.52
 MSAT (TO)
f=105
TT=2400.06

 OPTIMUM
f=107
TT=4.017

 OPTIMUM
f=107
TT=4.198

 ? (TO)

TT=2400.06

 OPTIMUM
f=107
TT=4.407
MaxCSP/randomMaxCSP/denseLoose/
vcsp-30-10-25-48-35_ext.xml		 MOPT
f=107
TT=1.222

 OPTIMUM
f=107
TT=53.558
T1=2.4
 OPTIMUM
f=107
TT=49.4
T1=2.37
 OPTIMUM
f=107
TT=1.222
T1=1.23
 OPTIMUM
f=107
TT=4.863
T1=4.88
 MSAT (TO)
f=104
TT=2400.09
T1=0.48
 OPTIMUM
f=107
TT=3.935

 OPTIMUM
f=107
TT=4.112

 ? (TO)

TT=2400.08

 OPTIMUM
f=107
TT=4.478
MaxCSP/randomMaxCSP/denseLoose/
vcsp-30-10-25-48-37_ext.xml		 MOPT
f=107
TT=2.358

 OPTIMUM
f=107
TT=56.232
T1=0.89
 OPTIMUM
f=107
TT=70.861
T1=0.9
 OPTIMUM
f=107
TT=2.358
T1=2.37
 OPTIMUM
f=107
TT=3.332
T1=3.34
 MSAT (TO)
f=105
TT=2400.09

 OPTIMUM
f=107
TT=4.248

 OPTIMUM
f=107
TT=4.44

 ? (TO)

TT=2400.01

 OPTIMUM
f=107
TT=5.021
MaxCSP/randomMaxCSP/denseLoose/
vcsp-30-10-25-48-39_ext.xml		 MOPT
f=106
TT=2.011

 OPTIMUM
f=106
TT=93.529
T1=0.63
 OPTIMUM
f=106
TT=84.248
T1=0.64
 OPTIMUM
f=106
TT=2.011
T1=2.02
 OPTIMUM
f=106
TT=2.173
T1=2.2
 MSAT (TO)
f=105
TT=2400.04

 OPTIMUM
f=106
TT=4.078

 OPTIMUM
f=106
TT=4.259

 ? (TO)

TT=2400.08

 OPTIMUM
f=106
TT=5.85
MaxCSP/randomMaxCSP/denseLoose/
vcsp-30-10-25-48-3_ext.xml		 MOPT
f=107
TT=4.502

 OPTIMUM
f=107
TT=55.9
T1=3.63
 OPTIMUM
f=107
TT=74.927
T1=3.7
 OPTIMUM
f=107
TT=5.095
T1=5.13
 OPTIMUM
f=107
TT=5.08
T1=5.12
 MSAT (TO)
f=100
TT=2400.1
T1=0.56
 OPTIMUM
f=107
TT=4.502

 OPTIMUM
f=107
TT=4.713

 ? (TO)

TT=2400.05

 OPTIMUM
f=107
TT=6.041
MaxCSP/randomMaxCSP/denseLoose/
vcsp-30-10-25-48-5_ext.xml		 MOPT
f=107
TT=1.722

 OPTIMUM
f=107
TT=52.617
T1=0.65
 OPTIMUM
f=107
TT=56.373
T1=0.67
 OPTIMUM
f=107
TT=1.722
T1=1.73
 OPTIMUM
f=107
TT=2.46
T1=2.48
 MSAT (TO)
f=104
TT=2400.02
T1=0.53
 OPTIMUM
f=107
TT=4.056

 OPTIMUM
f=107
TT=4.198

 ? (TO)

TT=2400.04

 OPTIMUM
f=107
TT=4.426
MaxCSP/randomMaxCSP/denseLoose/
vcsp-30-10-25-48-7_ext.xml		 MOPT
f=106
TT=4.816

 OPTIMUM
f=106
TT=69.271
T1=0.7
 OPTIMUM
f=106
TT=52.393
T1=0.66
 OPTIMUM
f=106
TT=5.466
T1=5.46
 OPTIMUM
f=106
TT=6.399
T1=6.4
 MSAT (TO)
f=103
TT=2400.08

 OPTIMUM
f=106
TT=4.944

 OPTIMUM
f=106
TT=4.816

 ? (TO)

TT=2400.01

 OPTIMUM
f=106
TT=8.288
MaxCSP/randomMaxCSP/denseLoose/
vcsp-30-10-25-48-9_ext.xml		 MOPT
f=107
TT=3.972

 OPTIMUM
f=107
TT=36.748
T1=1.69
 OPTIMUM
f=107
TT=37.707
T1=1.87
 OPTIMUM
f=107
TT=4.97
T1=4.99
 OPTIMUM
f=107
TT=4.077
T1=4.11
 MSAT (TO)
f=102
TT=2400.08

 OPTIMUM
f=107
TT=3.972

 OPTIMUM
f=107
TT=4.155

 ? (TO)

TT=2400.01

 OPTIMUM
f=107
TT=4.43
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/randomMaxCSP/denseTight/
vcsp-25-10-25-87-11_ext.xml		 MOPT
f=45
TT=5.634

 MSAT (TO)
f=45
TT=2400.11
T1=0.84
 MSAT (TO)
f=45
TT=2400.17
T1=0.84
 OPTIMUM
f=45
TT=22.523
T1=22.71
 OPTIMUM
f=45
TT=22.414
T1=22.6
 ? (problem)

TT=0.398

NODES=0
 OPTIMUM
f=45
TT=5.776

 OPTIMUM
f=45
TT=5.634

 ? (TO)

TT=2400.03

 OPTIMUM
f=45
TT=7.057
MaxCSP/randomMaxCSP/denseTight/
vcsp-25-10-25-87-13_ext.xml		 MOPT
f=46
TT=6.098

 MSAT (TO)
f=46
TT=2400.16
T1=0.66
 MSAT (TO)
f=46
TT=2400.09
T1=0.63
 OPTIMUM
f=46
TT=12.61
T1=12.71
 OPTIMUM
f=46
TT=21.91
T1=22.02
 ? (problem)

TT=0.398

NODES=0
 OPTIMUM
f=46
TT=6.098

 OPTIMUM
f=46
TT=6.399

 ? (TO)

TT=2400

 OPTIMUM
f=46
TT=7.152
MaxCSP/randomMaxCSP/denseTight/
vcsp-25-10-25-87-15_ext.xml		 MOPT
f=47
TT=5.95

 OPTIMUM
f=47
TT=1025.16
T1=0.65
 OPTIMUM
f=47
TT=1698.59
T1=0.65
 OPTIMUM
f=47
TT=10.632
T1=10.71
 OPTIMUM
f=47
TT=16.704
T1=16.77
 ? (problem)

TT=0.384

NODES=0
 OPTIMUM
f=47
TT=5.95

 OPTIMUM
f=47
TT=6.167

 ? (TO)

TT=2400.06

 OPTIMUM
f=47
TT=7.12
MaxCSP/randomMaxCSP/denseTight/
vcsp-25-10-25-87-17_ext.xml		 MOPT
f=47
TT=6.321

 OPTIMUM
f=47
TT=561.299
T1=0.64
 OPTIMUM
f=47
TT=518.897
T1=0.59
 OPTIMUM
f=47
TT=12.769
T1=12.87
 OPTIMUM
f=47
TT=17.055
T1=17.07
 ? (problem)

TT=0.393

NODES=0
 OPTIMUM
f=47
TT=6.321

 OPTIMUM
f=47
TT=6.431

 ? (TO)

TT=2400.07

 OPTIMUM
f=47
TT=7.12
MaxCSP/randomMaxCSP/denseTight/
vcsp-25-10-25-87-19_ext.xml		 MOPT
f=45
TT=4.858

 OPTIMUM
f=45
TT=1591.08
T1=0.65
 MSAT (TO)
f=45
TT=2400.14
T1=0.66
 OPTIMUM
f=45
TT=9.281
T1=9.33
 OPTIMUM
f=45
TT=9.348
T1=9.35
 ? (problem)

TT=0.375

NODES=0
 OPTIMUM
f=45
TT=4.858

 OPTIMUM
f=45
TT=5.436

 ? (TO)

TT=2400.06

 OPTIMUM
f=45
TT=6.735
MaxCSP/randomMaxCSP/denseTight/
vcsp-25-10-25-87-1_ext.xml		 MOPT
f=47
TT=5.965

 OPTIMUM
f=47
TT=1066.35
T1=0.61
 OPTIMUM
f=47
TT=1291.19
T1=0.6
 OPTIMUM
f=47
TT=12.339
T1=12.38
 OPTIMUM
f=47
TT=10.467
T1=10.51
 ? (problem)

TT=0.401

NODES=0
 OPTIMUM
f=47
TT=5.965

 OPTIMUM
f=47
TT=6.328

 ? (TO)

TT=2400.1

 OPTIMUM
f=47
TT=7.373
MaxCSP/randomMaxCSP/denseTight/
vcsp-25-10-25-87-21_ext.xml		 MOPT
f=46
TT=6.761

 MSAT (TO)
f=46
TT=2400.12
T1=0.89
 MSAT (TO)
f=46
TT=2400.08
T1=0.97
 OPTIMUM
f=46
TT=43.881
T1=44.25
 OPTIMUM
f=46
TT=43.619
T1=43.94
 ? (problem)

TT=0.399

NODES=0
 OPTIMUM
f=46
TT=6.761

 OPTIMUM
f=46
TT=7.243

 ? (TO)

TT=2400.07

 OPTIMUM
f=46
TT=9.406
MaxCSP/randomMaxCSP/denseTight/
vcsp-25-10-25-87-23_ext.xml		 MOPT
f=45
TT=6.318

 MSAT (TO)
f=45
TT=2400.11
T1=3.15
 MSAT (TO)
f=45
TT=2400.12
T1=3.04
 OPTIMUM
f=45
TT=18.498
T1=18.57
 OPTIMUM
f=45
TT=17.406
T1=17.49
 ? (problem)

TT=0.366

NODES=0
 OPTIMUM
f=45
TT=6.498

 OPTIMUM
f=45
TT=6.318

 ? (TO)

TT=2400.09

 OPTIMUM
f=45
TT=7.247
MaxCSP/randomMaxCSP/denseTight/
vcsp-25-10-25-87-25_ext.xml		 MOPT
f=45
TT=3.617

 MSAT (TO)
f=45
TT=2400.08
T1=7.16
 MSAT (TO)
f=45
TT=2400.04
T1=7.16
 OPTIMUM
f=45
TT=16.26
T1=16.28
 OPTIMUM
f=45
TT=16.744
T1=16.88
 ? (problem)

TT=0.372

NODES=0
 OPTIMUM
f=45
TT=3.617

 OPTIMUM
f=45
TT=4.172

 ? (TO)

TT=2400.1

 OPTIMUM
f=45
TT=6.083
MaxCSP/randomMaxCSP/denseTight/
vcsp-25-10-25-87-27_ext.xml		 MOPT
f=46
TT=5.578

 MSAT (TO)
f=46
TT=2400.13
T1=0.69
 MSAT (TO)
f=46
TT=2400.07
T1=0.68
 OPTIMUM
f=46
TT=58.506
T1=58.73
 OPTIMUM
f=46
TT=60.629
T1=61.22
 ? (problem)

TT=0.375

NODES=0
 OPTIMUM
f=46
TT=5.578

 OPTIMUM
f=46
TT=5.857

 ? (TO)

TT=2400.09

 OPTIMUM
f=46
TT=7.462
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/randomMaxCSP/denseTight/
vcsp-25-10-25-87-29_ext.xml		 MOPT
f=45
TT=8.173

 MSAT (TO)
f=45
TT=2400.14
T1=3.74
 MSAT (TO)
f=45
TT=2400.14
T1=3.8
 OPTIMUM
f=45
TT=95.087
T1=95.46
 OPTIMUM
f=45
TT=98.657
T1=99.04
 ? (problem)

TT=0.399

NODES=0
 OPTIMUM
f=45
TT=8.173

 OPTIMUM
f=45
TT=8.768

 ? (TO)

TT=2400.04

 OPTIMUM
f=45
TT=17.414
MaxCSP/randomMaxCSP/denseTight/
vcsp-25-10-25-87-31_ext.xml		 MOPT
f=46
TT=6.487

 MSAT (TO)
f=46
TT=2400.15
T1=0.76
 MSAT (TO)
f=46
TT=2400.05
T1=0.71
 OPTIMUM
f=46
TT=16.099
T1=16.24
 OPTIMUM
f=46
TT=18.431
T1=18.51
 ? (problem)

TT=0.374

NODES=0
 OPTIMUM
f=46
TT=6.487

 OPTIMUM
f=46
TT=6.8

 ? (TO)

TT=2400.09

 OPTIMUM
f=46
TT=7.229
MaxCSP/randomMaxCSP/denseTight/
vcsp-25-10-25-87-33_ext.xml		 MOPT
f=47
TT=6.446

 MSAT (TO)
f=47
TT=2400.16
T1=1.32
 MSAT (TO)
f=47
TT=2400.08
T1=1.43
 OPTIMUM
f=47
TT=40.742
T1=41.04
 OPTIMUM
f=47
TT=34.188
T1=34.48
 ? (problem)

TT=0.401

NODES=0
 OPTIMUM
f=47
TT=6.446

 OPTIMUM
f=47
TT=6.717

 ? (TO)

TT=2400.04

 OPTIMUM
f=47
TT=8.274
MaxCSP/randomMaxCSP/denseTight/
vcsp-25-10-25-87-35_ext.xml		 MOPT
f=43
TT=5.873

 MSAT (TO)
f=43
TT=2400.09
T1=0.61
 MSAT (TO)
f=43
TT=2400.07
T1=0.62
 OPTIMUM
f=43
TT=22.917
T1=23.01
 OPTIMUM
f=43
TT=89.12
T1=89.86
 ? (problem)

TT=0.381

NODES=0
 OPTIMUM
f=43
TT=5.873

 OPTIMUM
f=43
TT=6.265

 ? (TO)

TT=2400.04

 OPTIMUM
f=43
TT=10.684
MaxCSP/randomMaxCSP/denseTight/
vcsp-25-10-25-87-37_ext.xml		 MOPT
f=46
TT=4.975

 OPTIMUM
f=46
TT=496.709
T1=0.63
 OPTIMUM
f=46
TT=589.041
T1=0.66
 OPTIMUM
f=46
TT=13.277
T1=13.3
 OPTIMUM
f=46
TT=16.853
T1=17
 ? (problem)

TT=0.403

NODES=0
 OPTIMUM
f=46
TT=4.975

 OPTIMUM
f=46
TT=5.178

 ? (TO)

TT=2400.04

 OPTIMUM
f=46
TT=5.685
MaxCSP/randomMaxCSP/denseTight/
vcsp-25-10-25-87-39_ext.xml		 MOPT
f=44
TT=7.199

 MSAT (TO)
f=44
TT=2400.14
T1=0.76
 MSAT (TO)
f=44
TT=2400.07
T1=0.68
 OPTIMUM
f=44
TT=36.704
T1=36.98
 OPTIMUM
f=44
TT=99.354
T1=99.45
 ? (problem)

TT=0.408

NODES=0
 OPTIMUM
f=44
TT=7.199

 OPTIMUM
f=44
TT=7.787

 ? (TO)

TT=2400

 OPTIMUM
f=44
TT=12.769
MaxCSP/randomMaxCSP/denseTight/
vcsp-25-10-25-87-3_ext.xml		 MOPT
f=45
TT=4.904

 OPTIMUM
f=45
TT=1701.49
T1=1.05
 OPTIMUM
f=45
TT=2222.46
T1=1.07
 OPTIMUM
f=45
TT=22.329
T1=22.41
 OPTIMUM
f=45
TT=33.951
T1=34.13
 ? (problem)

TT=0.394

NODES=0
 OPTIMUM
f=45
TT=4.904

 OPTIMUM
f=45
TT=5.381

 ? (TO)

TT=2400.02

 OPTIMUM
f=45
TT=7.733
MaxCSP/randomMaxCSP/denseTight/
vcsp-25-10-25-87-5_ext.xml		 MOPT
f=45
TT=7.848

 MSAT (TO)
f=45
TT=2400.12
T1=0.63
 MSAT (TO)
f=45
TT=2400.12
T1=0.64
 OPTIMUM
f=45
TT=62.969
T1=63.43
 OPTIMUM
f=45
TT=65.158
T1=65.64
 ? (problem)

TT=0.398

NODES=0
 OPTIMUM
f=45
TT=7.848

 OPTIMUM
f=45
TT=8.442

 ? (TO)

TT=2400.08

 OPTIMUM
f=45
TT=16.237
MaxCSP/randomMaxCSP/denseTight/
vcsp-25-10-25-87-7_ext.xml		 MOPT
f=45
TT=6.173

 MSAT (TO)
f=45
TT=2400.13
T1=0.73
 MSAT (TO)
f=45
TT=2400.1
T1=0.69
 OPTIMUM
f=45
TT=46.784
T1=46.96
 OPTIMUM
f=45
TT=67.814
T1=68.15
 ? (problem)

TT=0.399

NODES=0
 OPTIMUM
f=45
TT=6.173

 OPTIMUM
f=45
TT=6.599

 ? (TO)

TT=2400.02

 OPTIMUM
f=45
TT=10.128
MaxCSP/randomMaxCSP/denseTight/
vcsp-25-10-25-87-9_ext.xml		 MOPT
f=46
TT=6.248

 MSAT (TO)
f=46
TT=2400.14
T1=0.65
 MSAT (TO)
f=46
TT=2400.07
T1=0.64
 OPTIMUM
f=46
TT=24.409
T1=24.6
 OPTIMUM
f=46
TT=59.233
T1=59.73
 ? (problem)

TT=0.396

NODES=0
 OPTIMUM
f=46
TT=6.383

 OPTIMUM
f=46
TT=6.248

 ? (TO)

TT=2400.04

 OPTIMUM
f=46
TT=8.933
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/randomMaxCSP/sparseLoose/
vcsp-40-10-13-60-11_ext.xml		 MOPT
f=99
TT=2.717

 OPTIMUM
f=99
TT=71.582
T1=19.14
 OPTIMUM
f=99
TT=58.415
T1=17.87
 OPTIMUM
f=99
TT=4.698
T1=4.72
 OPTIMUM
f=99
TT=4.571
T1=4.59
 MSAT (TO)
f=89
TT=2400.08
T1=0.52
 OPTIMUM
f=99
TT=2.717

 OPTIMUM
f=99
TT=3.088

 ? (TO)

TT=2400.01

 OPTIMUM
f=99
TT=3.213
MaxCSP/randomMaxCSP/sparseLoose/
vcsp-40-10-13-60-13_ext.xml		 MOPT
f=98
TT=2.247

 OPTIMUM
f=98
TT=69.671
T1=0.73
 OPTIMUM
f=98
TT=64.736
T1=0.7
 OPTIMUM
f=98
TT=2.247
T1=2.25
 OPTIMUM
f=98
TT=54.472
T1=54.72
 MSAT (TO)
f=95
TT=2400.04

 OPTIMUM
f=98
TT=3.157

 OPTIMUM
f=98
TT=3.431

 ? (TO)

TT=2400

 OPTIMUM
f=98
TT=3.628
MaxCSP/randomMaxCSP/sparseLoose/
vcsp-40-10-13-60-15_ext.xml		 MOPT
f=99
TT=1.277

 OPTIMUM
f=99
TT=43.681
T1=0.65
 OPTIMUM
f=99
TT=39.83
T1=0.66
 OPTIMUM
f=99
TT=1.277
T1=1.28
 OPTIMUM
f=99
TT=1.277
T1=1.29
 MSAT (TO)
f=97
TT=2400.1

 OPTIMUM
f=99
TT=2.928

 OPTIMUM
f=99
TT=3.005

 ? (TO)

TT=2400.05

 OPTIMUM
f=99
TT=2.993
MaxCSP/randomMaxCSP/sparseLoose/
vcsp-40-10-13-60-17_ext.xml		 MOPT
f=99
TT=3.306

 OPTIMUM
f=99
TT=49.84
T1=3.43
 OPTIMUM
f=99
TT=50.651
T1=3.23
 OPTIMUM
f=99
TT=13.018
T1=13.12
 OPTIMUM
f=99
TT=12.739
T1=12.83
 MSAT (TO)
f=98
TT=2400.08

 OPTIMUM
f=99
TT=3.306

 OPTIMUM
f=99
TT=3.468

 ? (TO)

TT=2400.07

 OPTIMUM
f=99
TT=3.711
MaxCSP/randomMaxCSP/sparseLoose/
vcsp-40-10-13-60-19_ext.xml		 MOPT
f=100
TT=1.349

 OPTIMUM
f=100
TT=1.539
T1=1.22
 OPTIMUM
f=100
TT=1.349
T1=1.2
 OPTIMUM
f=100
TT=15.489
T1=15.55
 OPTIMUM
f=100
TT=16.425
T1=16.5
 MSAT (TO)
f=98
TT=2400.05

 OPTIMUM
f=100
TT=2.731

 OPTIMUM
f=100
TT=3.068

 ? (TO)

TT=2400.09

 OPTIMUM
f=100
TT=2.955
MaxCSP/randomMaxCSP/sparseLoose/
vcsp-40-10-13-60-1_ext.xml		 MOPT
f=98
TT=4.418

 OPTIMUM
f=98
TT=109.111
T1=0.65
 OPTIMUM
f=98
TT=138.157
T1=0.65
 OPTIMUM
f=98
TT=8.739
T1=8.77
 OPTIMUM
f=98
TT=15.583
T1=15.63
 MSAT (TO)
f=95
TT=2400.03

 OPTIMUM
f=98
TT=4.418

 OPTIMUM
f=98
TT=4.693

 ? (TO)

TT=2400.1

 OPTIMUM
f=98
TT=7.453
MaxCSP/randomMaxCSP/sparseLoose/
vcsp-40-10-13-60-21_ext.xml		 MOPT
f=97
TT=3.557

 OPTIMUM
f=97
TT=187.593
T1=3.78
 OPTIMUM
f=97
TT=213.321
T1=3.5
 OPTIMUM
f=97
TT=3.557
T1=3.59
 OPTIMUM
f=97
TT=4.03
T1=4.04
 MSAT (TO)
f=96
TT=2400.05

 OPTIMUM
f=97
TT=4.014

 OPTIMUM
f=97
TT=3.987

 ? (TO)

TT=2400.08

 OPTIMUM
f=97
TT=5.195
MaxCSP/randomMaxCSP/sparseLoose/
vcsp-40-10-13-60-23_ext.xml		 MOPT
f=98
TT=3.541

 OPTIMUM
f=98
TT=75.488
T1=0.69
 OPTIMUM
f=98
TT=79.577
T1=0.69
 OPTIMUM
f=98
TT=4.811
T1=4.85
 OPTIMUM
f=98
TT=6.348
T1=6.4
 MSAT (TO)
f=90
TT=2400.07
T1=0.48
 OPTIMUM
f=98
TT=3.541

 OPTIMUM
f=98
TT=3.862

 ? (TO)

TT=2400.02

 OPTIMUM
f=98
TT=4.771
MaxCSP/randomMaxCSP/sparseLoose/
vcsp-40-10-13-60-25_ext.xml		 MOPT
f=98
TT=4.102

 OPTIMUM
f=98
TT=139.402
T1=0.68
 OPTIMUM
f=98
TT=106.282
T1=0.73
 OPTIMUM
f=98
TT=4.725
T1=4.72
 OPTIMUM
f=98
TT=5.461
T1=5.48
 MSAT (TO)
f=97
TT=2400.04

 OPTIMUM
f=98
TT=4.102

 OPTIMUM
f=98
TT=4.337

 ? (TO)

TT=2400.05

 OPTIMUM
f=98
TT=6.471
MaxCSP/randomMaxCSP/sparseLoose/
vcsp-40-10-13-60-27_ext.xml		 MOPT
f=99
TT=3.16

 OPTIMUM
f=99
TT=85.396
T1=0.66
 OPTIMUM
f=99
TT=77.342
T1=0.65
 OPTIMUM
f=99
TT=4.214
T1=4.25
 OPTIMUM
f=99
TT=19.8
T1=19.88
 MSAT (TO)
f=99
TT=2400.06

 OPTIMUM
f=99
TT=3.16

 OPTIMUM
f=99
TT=3.306

 ? (TO)

TT=2400.08

 OPTIMUM
f=99
TT=3.64
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/randomMaxCSP/sparseLoose/
vcsp-40-10-13-60-29_ext.xml		 MOPT
f=99
TT=3.365

 OPTIMUM
f=99
TT=53.92
T1=3.16
 OPTIMUM
f=99
TT=58.48
T1=3.5
 OPTIMUM
f=99
TT=31.449
T1=31.69
 OPTIMUM
f=99
TT=37.738
T1=38.01
 MSAT (TO)
f=99
TT=2400.08

 OPTIMUM
f=99
TT=3.365

 OPTIMUM
f=99
TT=3.444

 ? (TO)

TT=2400.06

 OPTIMUM
f=99
TT=3.807
MaxCSP/randomMaxCSP/sparseLoose/
vcsp-40-10-13-60-31_ext.xml		 MOPT
f=98
TT=3.774

 OPTIMUM
f=98
TT=65.387
T1=3.5
 OPTIMUM
f=98
TT=69.018
T1=3.29
 OPTIMUM
f=98
TT=17.762
T1=17.8
 OPTIMUM
f=98
TT=5.58
T1=5.62
 MSAT (TO)
f=89
TT=2400.02
T1=0.51
 OPTIMUM
f=98
TT=3.811

 OPTIMUM
f=98
TT=3.774

 ? (TO)

TT=2400.07

 OPTIMUM
f=98
TT=4.672
MaxCSP/randomMaxCSP/sparseLoose/
vcsp-40-10-13-60-33_ext.xml		 MOPT
f=97
TT=5.901

 OPTIMUM
f=97
TT=650.487
T1=0.91
 OPTIMUM
f=97
TT=391.869
T1=0.85
 Signal

TT=28.972

 Signal

TT=0.056

 MSAT (TO)
f=90
TT=2400.12
T1=0.51
 OPTIMUM
f=97
TT=5.975

 OPTIMUM
f=97
TT=5.901

 ? (TO)

TT=2400.09

 OPTIMUM
f=97
TT=15.69
MaxCSP/randomMaxCSP/sparseLoose/
vcsp-40-10-13-60-35_ext.xml		 MOPT
f=98
TT=3.627

 OPTIMUM
f=98
TT=57.34
T1=1.18
 OPTIMUM
f=98
TT=68.304
T1=1.09
 OPTIMUM
f=98
TT=4.929
T1=4.97
 OPTIMUM
f=98
TT=6.912
T1=6.94
 MSAT (TO)
f=90
TT=2400.08

 OPTIMUM
f=98
TT=3.627

 OPTIMUM
f=98
TT=3.812

 ? (TO)

TT=2400.08

 OPTIMUM
f=98
TT=4.314
MaxCSP/randomMaxCSP/sparseLoose/
vcsp-40-10-13-60-37_ext.xml		 MOPT
f=97
TT=4.855

 OPTIMUM
f=97
TT=136.343
T1=8.75
 OPTIMUM
f=97
TT=142.192
T1=9.4
 Signal

TT=77.256

 Signal

TT=0.057

 MSAT (TO)
f=91
TT=2400.06

 OPTIMUM
f=97
TT=4.855

 OPTIMUM
f=97
TT=5.118

 ? (TO)

TT=2400.01

 OPTIMUM
f=97
TT=8.9
MaxCSP/randomMaxCSP/sparseLoose/
vcsp-40-10-13-60-39_ext.xml		 MOPT
f=99
TT=3.232

 OPTIMUM
f=99
TT=54.598
T1=0.67
 OPTIMUM
f=99
TT=54.799
T1=0.67
 Signal

TT=2.364

 Signal

TT=0.058

 MSAT (TO)
f=99
TT=2400.09

 OPTIMUM
f=99
TT=3.232

 OPTIMUM
f=99
TT=3.39

 ? (TO)

TT=2400.04

 OPTIMUM
f=99
TT=3.715
MaxCSP/randomMaxCSP/sparseLoose/
vcsp-40-10-13-60-3_ext.xml		 MOPT
f=97
TT=4.057

 OPTIMUM
f=97
TT=197.497
T1=26.76
 OPTIMUM
f=97
TT=138.849
T1=25.33
 OPTIMUM
f=97
TT=12.18
T1=12.24
 OPTIMUM
f=97
TT=13.408
T1=13.46
 MSAT (TO)
f=88
TT=2400.09
T1=0.48
 OPTIMUM
f=97
TT=4.057

 OPTIMUM
f=97
TT=4.379

 ? (TO)

TT=2400.03

 OPTIMUM
f=97
TT=5.706
MaxCSP/randomMaxCSP/sparseLoose/
vcsp-40-10-13-60-5_ext.xml		 MOPT
f=100
TT=2.945

 OPTIMUM
f=100
TT=7.909
T1=7.7
 OPTIMUM
f=100
TT=7.839
T1=7.62
 OPTIMUM
f=100
TT=6.167
T1=6.21
 OPTIMUM
f=100
TT=7.033
T1=7.09
 MSAT (TO)
f=98
TT=2400

 OPTIMUM
f=100
TT=2.945

 OPTIMUM
f=100
TT=3.123

 ? (TO)

TT=2400.01

 OPTIMUM
f=100
TT=2.978
MaxCSP/randomMaxCSP/sparseLoose/
vcsp-40-10-13-60-7_ext.xml		 MOPT
f=97
TT=18.26

 OPTIMUM
f=97
TT=287.415
T1=1.28
 OPTIMUM
f=97
TT=333.324
T1=1.22
 OPTIMUM
f=97
TT=186.098
T1=187.47
 OPTIMUM
f=97
TT=335.655
T1=335.73
 MSAT (TO)
f=91
TT=2400.07

 OPTIMUM
f=97
TT=18.26

 OPTIMUM
f=97
TT=20.843

 ? (TO)

TT=2400.01

 OPTIMUM
f=97
TT=49.348
MaxCSP/randomMaxCSP/sparseLoose/
vcsp-40-10-13-60-9_ext.xml		 MOPT
f=98
TT=3.591

 OPTIMUM
f=98
TT=57.184
T1=13.04
 OPTIMUM
f=98
TT=64.059
T1=12.92
 OPTIMUM
f=98
TT=10.767
T1=10.85
 OPTIMUM
f=98
TT=32.088
T1=32.37
 MSAT (TO)
f=92
TT=2400.1

 OPTIMUM
f=98
TT=3.591

 OPTIMUM
f=98
TT=3.759

 ? (TO)

TT=2400.06

 OPTIMUM
f=98
TT=4.152
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/randomMaxCSP/sparseTight/
vcsp-25-10-21-85-11_ext.xml		 MOPT
f=43
TT=4.781

 OPTIMUM
f=43
TT=847.13
T1=0.63
 OPTIMUM
f=43
TT=1142.58
T1=0.67
 OPTIMUM
f=43
TT=12.405
T1=12.5
 OPTIMUM
f=43
TT=16.07
T1=16.1
 ? (problem)

TT=0.392

NODES=0
 OPTIMUM
f=43
TT=4.781

 OPTIMUM
f=43
TT=5.009

 ? (TO)

TT=2400.06

 OPTIMUM
f=43
TT=5.47
MaxCSP/randomMaxCSP/sparseTight/
vcsp-25-10-21-85-13_ext.xml		 MOPT
f=44
TT=4.471

 OPTIMUM
f=44
TT=829.657
T1=0.66
 OPTIMUM
f=44
TT=1080.7
T1=0.65
 OPTIMUM
f=44
TT=5.212
T1=5.25
 OPTIMUM
f=44
TT=5.672
T1=5.72
 ? (problem)

TT=0.395

NODES=0
 OPTIMUM
f=44
TT=4.471

 OPTIMUM
f=44
TT=4.664

 ? (TO)

TT=2400.08

 OPTIMUM
f=44
TT=4.824
MaxCSP/randomMaxCSP/sparseTight/
vcsp-25-10-21-85-15_ext.xml		 MOPT
f=44
TT=3.896

 OPTIMUM
f=44
TT=1898.73
T1=0.9
 MSAT (TO)
f=44
TT=2400.08
T1=0.85
 OPTIMUM
f=44
TT=14.457
T1=14.58
 OPTIMUM
f=44
TT=12.282
T1=12.37
 ? (problem)

TT=0.39

NODES=0
 OPTIMUM
f=44
TT=3.896

 OPTIMUM
f=44
TT=4.065

 ? (TO)

TT=2400.07

 OPTIMUM
f=44
TT=4.325
MaxCSP/randomMaxCSP/sparseTight/
vcsp-25-10-21-85-17_ext.xml		 MOPT
f=42
TT=4.652

 OPTIMUM
f=42
TT=1021.04
T1=0.69
 OPTIMUM
f=42
TT=1447.59
T1=0.74
 OPTIMUM
f=42
TT=11.01
T1=11.09
 OPTIMUM
f=42
TT=10.178
T1=10.17
 ? (problem)

TT=0.392

NODES=0
 OPTIMUM
f=42
TT=4.652

 OPTIMUM
f=42
TT=4.898

 ? (TO)

TT=2400.06

 OPTIMUM
f=42
TT=5.287
MaxCSP/randomMaxCSP/sparseTight/
vcsp-25-10-21-85-19_ext.xml		 MOPT
f=45
TT=1.671

 OPTIMUM
f=45
TT=230
T1=0.86
 OPTIMUM
f=45
TT=188.672
T1=0.92
 OPTIMUM
f=45
TT=1.818
T1=1.83
 OPTIMUM
f=45
TT=1.671
T1=1.69
 ? (problem)

TT=0.392

NODES=0
 OPTIMUM
f=45
TT=4.125

 OPTIMUM
f=45
TT=4.292

 ? (TO)

TT=2400.02

 OPTIMUM
f=45
TT=4.392
MaxCSP/randomMaxCSP/sparseTight/
vcsp-25-10-21-85-1_ext.xml		 MOPT
f=44
TT=3.929

 OPTIMUM
f=44
TT=382.073
T1=1.19
 OPTIMUM
f=44
TT=370.101
T1=1.18
 OPTIMUM
f=44
TT=3.929
T1=3.96
 OPTIMUM
f=44
TT=4.812
T1=4.85
 ? (problem)

TT=0.388

NODES=0
 OPTIMUM
f=44
TT=5.633

 OPTIMUM
f=44
TT=5.841

 ? (TO)

TT=2400.02

 OPTIMUM
f=44
TT=5.755
MaxCSP/randomMaxCSP/sparseTight/
vcsp-25-10-21-85-21_ext.xml		 MOPT
f=42
TT=4.574

 OPTIMUM
f=42
TT=1798.66
T1=0.62
 MSAT (TO)
f=42
TT=2400.17
T1=0.63
 OPTIMUM
f=42
TT=18.158
T1=18.24
 OPTIMUM
f=42
TT=22.058
T1=22.25
 ? (problem)

TT=0.392

NODES=0
 OPTIMUM
f=42
TT=4.574

 OPTIMUM
f=42
TT=4.766

 ? (TO)

TT=2400.04

 OPTIMUM
f=42
TT=5.85
MaxCSP/randomMaxCSP/sparseTight/
vcsp-25-10-21-85-23_ext.xml		 MOPT
f=42
TT=3.443

 OPTIMUM
f=42
TT=497.803
T1=0.7
 OPTIMUM
f=42
TT=540.458
T1=0.73
 OPTIMUM
f=42
TT=3.443
T1=3.46
 OPTIMUM
f=42
TT=4.289
T1=4.3
 ? (problem)

TT=0.393

NODES=0
 OPTIMUM
f=42
TT=3.612

 OPTIMUM
f=42
TT=3.771

 ? (TO)

TT=2400.02

 OPTIMUM
f=42
TT=3.954
MaxCSP/randomMaxCSP/sparseTight/
vcsp-25-10-21-85-25_ext.xml		 MOPT
f=43
TT=4.837

 MSAT (TO)
f=43
TT=2400.04
T1=1.16
 MSAT (TO)
f=43
TT=2400.06
T1=1.28
 OPTIMUM
f=43
TT=9.955
T1=10.01
 OPTIMUM
f=43
TT=19.585
T1=19.73
 ? (problem)

TT=0.392

NODES=0
 OPTIMUM
f=43
TT=4.837

 OPTIMUM
f=43
TT=5.023

 ? (TO)

TT=2400.01

 OPTIMUM
f=43
TT=6.146
MaxCSP/randomMaxCSP/sparseTight/
vcsp-25-10-21-85-27_ext.xml		 MOPT
f=43
TT=6.061

 OPTIMUM
f=43
TT=1631.59
T1=0.81
 OPTIMUM
f=43
TT=1384.32
T1=0.77
 OPTIMUM
f=43
TT=13.224
T1=13.32
 OPTIMUM
f=43
TT=16.212
T1=16.23
 ? (problem)

TT=0.366

NODES=0
 OPTIMUM
f=43
TT=6.061

 OPTIMUM
f=43
TT=6.509

 ? (TO)

TT=2400.08

 OPTIMUM
f=43
TT=7.885
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/randomMaxCSP/sparseTight/
vcsp-25-10-21-85-29_ext.xml		 MOPT
f=44
TT=4.346

 OPTIMUM
f=44
TT=633.28
T1=0.62
 OPTIMUM
f=44
TT=834.776
T1=0.63
 OPTIMUM
f=44
TT=7.09
T1=7.11
 OPTIMUM
f=44
TT=7.854
T1=7.88
 ? (problem)

TT=0.392

NODES=0
 OPTIMUM
f=44
TT=4.346

 OPTIMUM
f=44
TT=4.81

 ? (TO)

TT=2400.1

 OPTIMUM
f=44
TT=5.023
MaxCSP/randomMaxCSP/sparseTight/
vcsp-25-10-21-85-31_ext.xml		 MOPT
f=43
TT=2.421

 OPTIMUM
f=43
TT=237.469
T1=1.06
 OPTIMUM
f=43
TT=278.404
T1=0.98
 OPTIMUM
f=43
TT=2.604
T1=2.6
 OPTIMUM
f=43
TT=2.421
T1=2.44
 ? (problem)

TT=0.389

NODES=0
 OPTIMUM
f=43
TT=3.826

 OPTIMUM
f=43
TT=4.052

 ? (TO)

TT=2400.02

 OPTIMUM
f=43
TT=3.971
MaxCSP/randomMaxCSP/sparseTight/
vcsp-25-10-21-85-33_ext.xml		 MOPT
f=44
TT=2.362

 OPTIMUM
f=44
TT=386.38
T1=0.68
 OPTIMUM
f=44
TT=320.27
T1=0.65
 OPTIMUM
f=44
TT=2.362
T1=2.36
 OPTIMUM
f=44
TT=12.536
T1=12.58
 ? (problem)

TT=0.393

NODES=0
 OPTIMUM
f=44
TT=4.21

 OPTIMUM
f=44
TT=4.39

 ? (TO)

TT=2400.08

 OPTIMUM
f=44
TT=4.632
MaxCSP/randomMaxCSP/sparseTight/
vcsp-25-10-21-85-35_ext.xml		 MOPT
f=44
TT=2.359

 OPTIMUM
f=44
TT=214.315
T1=0.71
 OPTIMUM
f=44
TT=324.56
T1=0.7
 OPTIMUM
f=44
TT=2.359
T1=2.38
 OPTIMUM
f=44
TT=3.501
T1=3.53
 ? (problem)

TT=0.392

NODES=0
 OPTIMUM
f=44
TT=4.619

 OPTIMUM
f=44
TT=4.835

 ? (TO)

TT=2400.07

 OPTIMUM
f=44
TT=5.012
MaxCSP/randomMaxCSP/sparseTight/
vcsp-25-10-21-85-37_ext.xml		 MOPT
f=46
TT=1.106

 OPTIMUM
f=46
TT=114.079
T1=0.61
 OPTIMUM
f=46
TT=97.126
T1=0.62
 OPTIMUM
f=46
TT=1.106
T1=1.11
 OPTIMUM
f=46
TT=1.229
T1=1.22
 ? (problem)

TT=0.39

NODES=0
 OPTIMUM
f=46
TT=3.953

 OPTIMUM
f=46
TT=3.997

 ? (TO)

TT=2400.01

 OPTIMUM
f=46
TT=4.312
MaxCSP/randomMaxCSP/sparseTight/
vcsp-25-10-21-85-39_ext.xml		 MOPT
f=42
TT=4.747

 MSAT (TO)
f=42
TT=2400.12
T1=6.49
 MSAT (TO)
f=42
TT=2400.1
T1=6.5
 OPTIMUM
f=42
TT=17.098
T1=17.25
 OPTIMUM
f=42
TT=61.472
T1=61.48
 ? (problem)

TT=0.395

NODES=0
 OPTIMUM
f=42
TT=4.747

 OPTIMUM
f=42
TT=5.221

 ? (TO)

TT=2400

 OPTIMUM
f=42
TT=6.649
MaxCSP/randomMaxCSP/sparseTight/
vcsp-25-10-21-85-3_ext.xml		 MOPT
f=42
TT=4.26

 OPTIMUM
f=42
TT=877.666
T1=0.79
 OPTIMUM
f=42
TT=1076.07
T1=0.75
 OPTIMUM
f=42
TT=16.181
T1=16.23
 OPTIMUM
f=42
TT=12.147
T1=12.19
 ? (problem)

TT=0.367

NODES=0
 OPTIMUM
f=42
TT=4.26

 OPTIMUM
f=42
TT=4.517

 ? (TO)

TT=2400.06

 OPTIMUM
f=42
TT=4.481
MaxCSP/randomMaxCSP/sparseTight/
vcsp-25-10-21-85-5_ext.xml		 MOPT
f=42
TT=4.434

 OPTIMUM
f=42
TT=909.252
T1=0.71
 OPTIMUM
f=42
TT=965.458
T1=0.67
 OPTIMUM
f=42
TT=5.367
T1=5.41
 OPTIMUM
f=42
TT=5.311
T1=5.33
 ? (problem)

TT=0.394

NODES=0
 OPTIMUM
f=42
TT=4.434

 OPTIMUM
f=42
TT=4.59

 ? (TO)

TT=2400.06

 OPTIMUM
f=42
TT=4.881
MaxCSP/randomMaxCSP/sparseTight/
vcsp-25-10-21-85-7_ext.xml		 MOPT
f=43
TT=4.353

 OPTIMUM
f=43
TT=1291.75
T1=0.66
 OPTIMUM
f=43
TT=1352.74
T1=0.68
 OPTIMUM
f=43
TT=7.39
T1=7.44
 OPTIMUM
f=43
TT=30.094
T1=30.28
 ? (problem)

TT=0.395

NODES=0
 OPTIMUM
f=43
TT=4.353

 OPTIMUM
f=43
TT=4.528

 ? (TO)

TT=2400.03

 OPTIMUM
f=43
TT=4.926
MaxCSP/randomMaxCSP/sparseTight/
vcsp-25-10-21-85-9_ext.xml		 MOPT
f=43
TT=5.02

 OPTIMUM
f=43
TT=2335.11
T1=0.9
 OPTIMUM
f=43
TT=2307.33
T1=0.84
 Signal

TT=6.55

 Signal

TT=0.035

 ? (problem)

TT=0.394

NODES=0
 OPTIMUM
f=43
TT=5.02

 OPTIMUM
f=43
TT=5.173

 ? (TO)

TT=2400.09

 OPTIMUM
f=43
TT=5.617
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-2-23/
rand-23-23-253-131-46021_ext.xml		 MOPT
f=252
TT=70.663

 MSAT (TO)
f=252
TT=2400.11
T1=2.88
 OPTIMUM
f=252
TT=621.535
T1=2.93
 OPTIMUM
f=252
TT=680.837
T1=686.37
 OPTIMUM
f=252
TT=679.957
T1=685.16
 MSAT (TO)
f=250
TT=2400

 OPTIMUM
f=252
TT=70.663

 OPTIMUM
f=252
TT=88.626

 ? (TO)

TT=2400.06

 OPTIMUM
f=252
TT=1367.48
random/rand-2-23/
rand-23-23-253-131-47021_ext.xml		 MOPT
f=252
TT=67.573

 MSAT (TO)
f=252
TT=2400.09
T1=3.17
 OPTIMUM
f=252
TT=581.966
T1=2.94
 OPTIMUM
f=252
TT=1388.97
T1=1401.2
 OPTIMUM
f=252
TT=1380.55
T1=1392.69
 MSAT (TO)
f=252
TT=2400.08

 OPTIMUM
f=252
TT=67.573

 OPTIMUM
f=252
TT=83.386

 ? (TO)

TT=2400.02

 OPTIMUM
f=252
TT=1288.96
random/rand-2-23/
rand-23-23-253-131-51021_ext.xml		 MOPT
f=252
TT=74.752

 MSAT (TO)
f=252
TT=2400.06
T1=0.92
 OPTIMUM
f=252
TT=664.352
T1=0.93
 OPTIMUM
f=252
TT=844.392
T1=851.46
 OPTIMUM
f=252
TT=822.813
T1=826.81
 MSAT (TO)
f=250
TT=2400.06
T1=2.11
 OPTIMUM
f=252
TT=74.752

 OPTIMUM
f=252
TT=94.938

 ? (TO)

TT=2400.07

 OPTIMUM
f=252
TT=1442.19
random/rand-2-23/
rand-23-23-253-131-52021_ext.xml		 MOPT
f=252
TT=63.952

 MSAT (TO)
f=252
TT=2400.11
T1=3.08
 OPTIMUM
f=252
TT=567.094
T1=2.82
 OPTIMUM
f=252
TT=807.966
T1=809.37
 OPTIMUM
f=252
TT=796.731
T1=800.52
 MSAT (TO)
f=249
TT=2400.04
T1=0.89
 OPTIMUM
f=252
TT=63.952

 OPTIMUM
f=252
TT=86.526

 ? (TO)

TT=2400.02

 OPTIMUM
f=252
TT=1347.86
random/rand-2-23/
rand-23-23-253-131-55021_ext.xml		 MOPT
f=252
TT=70.072

 MSAT (TO)
f=252
TT=2400.08
T1=6.74
 OPTIMUM
f=252
TT=651.938
T1=6.74
 OPTIMUM
f=252
TT=877.995
T1=885.74
 OPTIMUM
f=252
TT=805.694
T1=806.69
 MSAT (TO)
f=250
TT=2400.08
T1=1.52
 OPTIMUM
f=252
TT=70.072

 OPTIMUM
f=252
TT=82.354

 ? (TO)

TT=2400.09

 OPTIMUM
f=252
TT=1569.73
random/rand-2-24/
rand-24-24-276-139-49021_ext.xml		 MOPT
f=275
TT=136.392

 MSAT (TO)
f=275
TT=2400.14
T1=0.88
 OPTIMUM
f=275
TT=1421.54
T1=0.87
 ? (TO)

TT=2400.04

 ? (TO)

TT=2400.1

 MSAT (TO)
f=272
TT=2400.03
T1=1.58
 OPTIMUM
f=275
TT=136.392

 OPTIMUM
f=275
TT=172.934

 ? (TO)

TT=2400.04

 MSAT (TO)
f=275
TT=2400.06
random/rand-2-24/
rand-24-24-276-139-51021_ext.xml		 MOPT
f=275
TT=143.858

 MSAT (TO)
f=275
TT=2400.04
T1=11.92
 OPTIMUM
f=275
TT=1566.17
T1=10.88
 ? (TO)

TT=2400.09

 ? (TO)

TT=2400.03

 MSAT (TO)
f=273
TT=2400.06

 OPTIMUM
f=275
TT=143.858

 OPTIMUM
f=275
TT=187.691

 ? (TO)

TT=2400.1

 MSAT (TO)
f=275
TT=2400.04
random/rand-2-24/
rand-24-24-276-139-52021_ext.xml		 MOPT
f=275
TT=141.547

 MSAT (TO)
f=275
TT=2400.14
T1=2.52
 OPTIMUM
f=275
TT=1447.97
T1=2.61
 ? (TO)

TT=2400.1

 ? (TO)

TT=2400.08

 MSAT (TO)
f=272
TT=2400.09
T1=0.91
 OPTIMUM
f=275
TT=141.547

 OPTIMUM
f=275
TT=182.489

 ? (TO)

TT=2400.06

 MSAT (TO)
f=275
TT=2400.1
random/rand-2-24/
rand-24-24-276-139-53021_ext.xml		 MOPT
f=275
TT=143.124

 MSAT (TO)
f=275
TT=2400.08
T1=3.26
 OPTIMUM
f=275
TT=1581.96
T1=3.28
 OPTIMUM
f=275
TT=1186.98
T1=1195.34
 OPTIMUM
f=275
TT=1159.31
T1=1167.92
 MSAT (TO)
f=273
TT=2400.03
T1=2.02
 OPTIMUM
f=275
TT=143.124

 OPTIMUM
f=275
TT=177.587

 ? (TO)

TT=2400.07

 MSAT (TO)
f=275
TT=2400.11
random/rand-2-24/
rand-24-24-276-139-54021_ext.xml		 MOPT
f=275
TT=145.305

 MSAT (TO)
f=275
TT=2400.08
T1=1.11
 OPTIMUM
f=275
TT=1605.95
T1=1.11
 OPTIMUM
f=275
TT=1744.21
T1=1750.9
 OPTIMUM
f=275
TT=1615.66
T1=1623.09
 MSAT (TO)
f=272
TT=2400.09
T1=3.64
 OPTIMUM
f=275
TT=145.305

 OPTIMUM
f=275
TT=187.53

 ? (TO)

TT=2400.08

 MSAT (TO)
f=275
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-2-24/
rand-24-24-276-139-56021_ext.xml		 MOPT
f=275
TT=132.892

 MSAT (TO)
f=275
TT=2400.08
T1=1.17
 OPTIMUM
f=275
TT=1568.58
T1=1.1
 ? (TO)

TT=2400.08

 OPTIMUM
f=275
TT=2389.37
T1=2403.54
 MSAT (TO)
f=272
TT=2400.08
T1=1.27
 OPTIMUM
f=275
TT=132.892

 OPTIMUM
f=275
TT=175.826

 ? (TO)

TT=2400.03

 MSAT (TO)
f=275
TT=2400.06
random/rand-2-24/
rand-24-24-276-139-57021_ext.xml		 MOPT
f=275
TT=138.468

 MSAT (TO)
f=275
TT=2400.09
T1=2.19
 OPTIMUM
f=275
TT=1434.21
T1=2.07
 OPTIMUM
f=275
TT=442.59
T1=442.7
 OPTIMUM
f=275
TT=407.808
T1=408.92
 MSAT (TO)
f=275
TT=2400.02

 OPTIMUM
f=275
TT=138.468

 OPTIMUM
f=275
TT=166.471

 ? (TO)

TT=2400.09

 MSAT (TO)
f=275
TT=2400.08
random/rand-2-25/
rand-25-25-300-147-50021_ext.xml		 MOPT
f=299
TT=306.531

 MSAT (TO)
f=299
TT=2400.15
T1=10.8
 MSAT (TO)
f=299
TT=2400.05
T1=11.53
 ? (TO)

TT=2400.04

 ? (TO)

TT=2400.11

 MSAT (TO)
f=297
TT=2400.02
T1=3.7
 OPTIMUM
f=299
TT=306.531

 OPTIMUM
f=299
TT=372.442

 ? (TO)

TT=2400.08

 MSAT (TO)
f=299
TT=2400.08
random/rand-2-25/
rand-25-25-300-147-55021_ext.xml		 MOPT
f=299
TT=283.383

 MSAT (TO)
f=299
TT=2400.11
T1=2.12
 MSAT (TO)
f=299
TT=2400.15
T1=1.99
 ? (TO)

TT=2400.09

 ? (TO)

TT=2400.11

 MSAT (TO)
f=295
TT=2400.01
T1=1.73
 OPTIMUM
f=299
TT=283.383

 OPTIMUM
f=299
TT=380.637

 ? (TO)

TT=2400.07

 MSAT (TO)
f=299
TT=2400.12
random/rand-2-25/
rand-25-25-300-147-57021_ext.xml		 MOPT
f=299
TT=300.895

 MSAT (TO)
f=299
TT=2400.05
T1=11.33
 MSAT (TO)
f=299
TT=2400.1
T1=11.26
 ? (TO)

TT=2400.02

 ? (TO)

TT=2400.11

 MSAT (TO)
f=297
TT=2400.09

 OPTIMUM
f=299
TT=300.895

 OPTIMUM
f=299
TT=364.716

 ? (TO)

TT=2400.01

 MSAT (TO)
f=299
TT=2400.1
random/rand-2-25/
rand-25-25-300-147-58021_ext.xml		 MOPT
f=299
TT=316.096

 MSAT (TO)
f=299
TT=2400.11
T1=12.47
 MSAT (TO)
f=299
TT=2400.05
T1=12.05
 ? (TO)

TT=2400.08

 ? (TO)

TT=2400.03

 MSAT (TO)
f=297
TT=2400.04

 OPTIMUM
f=299
TT=316.096

 OPTIMUM
f=299
TT=403.07

 ? (TO)

TT=2400.08

 MSAT (TO)
f=299
TT=2400.12
random/rand-2-26/
rand-26-26-325-155-52021_ext.xml		 MOPT
f=324
TT=674.779

 MSAT (TO)
f=324
TT=2400.14
T1=27.55
 MSAT (TO)
f=324
TT=2400.08
T1=25.94
 ? (TO)

TT=2400.01

 ? (TO)

TT=2400.11

 MSAT (TO)
f=322
TT=2400.09
T1=2.06
 OPTIMUM
f=324
TT=674.779

 OPTIMUM
f=324
TT=944.691

 ? (TO)

TT=2400.06

 MSAT (TO)
f=324
TT=2400.08
random/rand-2-26/
rand-26-26-325-155-56021_ext.xml		 MOPT
f=324
TT=747.136

 MSAT (TO)
f=324
TT=2400.13
T1=6.91
 MSAT (TO)
f=324
TT=2400.17
T1=7.51
 ? (TO)

TT=2400.12

 ? (TO)

TT=2400.04

 MSAT (TO)
f=320
TT=2400.1
T1=1.59
 OPTIMUM
f=324
TT=747.136

 OPTIMUM
f=324
TT=977.712

 ? (TO)

TT=2400.09

 MSAT (TO)
f=324
TT=2400.09
random/rand-2-26/
rand-26-26-325-155-57021_ext.xml		 MOPT
f=324
TT=2383.14

 MSAT (TO)
f=324
TT=2400.09
T1=10.64
 MSAT (TO)
f=324
TT=2400.14
T1=10.09
 ? (TO)

TT=2400.03

 ? (TO)

TT=2400.03

 MSAT (TO)
f=323
TT=2400.02

 OPTIMUM
f=324
TT=2383.14

 ? (TO)

TT=2400.05

 ? (TO)

TT=2400

 MSAT (TO)
f=323
TT=2400.12
random/rand-2-26/
rand-26-26-325-155-58021_ext.xml		 MOPT
f=324
TT=690.55

 MSAT (TO)
f=324
TT=2400.12
T1=0.95
 MSAT (TO)
f=324
TT=2400.14
T1=0.87
 ? (TO)

TT=2400.1

 ? (TO)

TT=2400

 MSAT (TO)
f=324
TT=2400.03

 OPTIMUM
f=324
TT=690.55

 OPTIMUM
f=324
TT=893.81

 ? (TO)

TT=2400.06

 MSAT (TO)
f=324
TT=2400.11
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-2-26/
rand-26-26-325-155-60021_ext.xml		 MOPT
f=324
TT=694.721

 MSAT (TO)
f=324
TT=2400.09
T1=12.46
 MSAT (TO)
f=324
TT=2400.07
T1=13.45
 ? (TO)

TT=2400.11

 ? (TO)

TT=2400.02

 MSAT (TO)
f=319
TT=2400.02
T1=0.88
 OPTIMUM
f=324
TT=694.721

 OPTIMUM
f=324
TT=901.044

 ? (TO)

TT=2400.05

 MSAT (TO)
f=324
TT=2400.09
random/rand-2-30-15/
rand-2-30-15-306-230-11_ext.xml		 MOPT
f=229
TT=10.729

 OPTIMUM
f=229
TT=64.732
T1=0.79
 OPTIMUM
f=229
TT=19.136
T1=0.83
 OPTIMUM
f=229
TT=24.124
T1=24.13
 OPTIMUM
f=229
TT=25.698
T1=25.91
 MSAT (TO)
f=227
TT=2400.05
T1=0.74
 OPTIMUM
f=229
TT=10.729

 OPTIMUM
f=229
TT=12.154

 ? (TO)

TT=2400.02

 OPTIMUM
f=229
TT=26.772
random/rand-2-30-15/
rand-2-30-15-306-230-12_ext.xml		 MOPT
f=220
TT=10.149

 OPTIMUM
f=220
TT=75.077
T1=0.76
 OPTIMUM
f=220
TT=18.717
T1=0.74
 OPTIMUM
f=220
TT=28.466
T1=28.59
 OPTIMUM
f=220
TT=26.905
T1=27.13
 MSAT (TO)
f=220
TT=2400.01

 OPTIMUM
f=220
TT=10.149

 OPTIMUM
f=220
TT=11.149

 ? (TO)

TT=2400

 OPTIMUM
f=220
TT=29.738
random/rand-2-30-15/
rand-2-30-15-306-230-13_ext.xml		 MOPT
f=211
TT=9.168

 OPTIMUM
f=211
TT=23.913
T1=5.03
 OPTIMUM
f=211
TT=10.599
T1=4.7
 OPTIMUM
f=211
TT=141.479
T1=142.08
 OPTIMUM
f=211
TT=43.345
T1=43.51
 MSAT (TO)
f=209
TT=2400.02

 OPTIMUM
f=211
TT=9.261

 OPTIMUM
f=211
TT=9.168

 ? (TO)

TT=2400.02

 OPTIMUM
f=211
TT=16.071
random/rand-2-30-15/
rand-2-30-15-306-230-15_ext.xml		 MOPT
f=223
TT=12.616

 OPTIMUM
f=223
TT=41.634
T1=1.07
 OPTIMUM
f=223
TT=16.844
T1=1.07
 OPTIMUM
f=223
TT=45.013
T1=45.21
 OPTIMUM
f=223
TT=36.916
T1=36.92
 MSAT (TO)
f=222
TT=2400.04

 OPTIMUM
f=223
TT=12.616

 OPTIMUM
f=223
TT=14.163

 ? (TO)

TT=2400.05

 OPTIMUM
f=223
TT=21.096
random/rand-2-30-15/
rand-2-30-15-306-230-16_ext.xml		 MOPT
f=227
TT=11.9

 OPTIMUM
f=227
TT=108.868
T1=0.73
 OPTIMUM
f=227
TT=35.291
T1=0.74
 OPTIMUM
f=227
TT=148.819
T1=149.01
 OPTIMUM
f=227
TT=141.871
T1=142.93
 MSAT (TO)
f=224
TT=2400.04

 OPTIMUM
f=227
TT=11.9

 OPTIMUM
f=227
TT=13.138

 ? (TO)

TT=2400.05

 OPTIMUM
f=227
TT=44.232
random/rand-2-30-15/
rand-2-30-15-306-230-19_ext.xml		 MOPT
f=222
TT=10.16

 OPTIMUM
f=222
TT=49.54
T1=0.91
 OPTIMUM
f=222
TT=17.338
T1=0.92
 OPTIMUM
f=222
TT=31.296
T1=31.5
 OPTIMUM
f=222
TT=29.386
T1=29.41
 MSAT (TO)
f=222
TT=2400.05
T1=1.98
 OPTIMUM
f=222
TT=10.16

 OPTIMUM
f=222
TT=10.779

 ? (TO)

TT=2400.01

 OPTIMUM
f=222
TT=22.575
random/rand-2-30-15/
rand-2-30-15-306-230-20_ext.xml		 MOPT
f=222
TT=9.186

 OPTIMUM
f=222
TT=44.254
T1=2.25
 OPTIMUM
f=222
TT=19.992
T1=2.02
 OPTIMUM
f=222
TT=34.686
T1=34.97
 OPTIMUM
f=222
TT=31.886
T1=32.05
 MSAT (TO)
f=221
TT=2400.05

 OPTIMUM
f=222
TT=9.186

 OPTIMUM
f=222
TT=10.141

 ? (TO)

TT=2400.02

 OPTIMUM
f=222
TT=22.409
random/rand-2-30-15/
rand-2-30-15-306-230-27_ext.xml		 MOPT
f=217
TT=9.294

 OPTIMUM
f=217
TT=35.697
T1=0.82
 OPTIMUM
f=217
TT=11.324
T1=0.77
 OPTIMUM
f=217
TT=88.717
T1=88.8
 OPTIMUM
f=217
TT=94.261
T1=94.94
 MSAT (TO)
f=215
TT=2400.09
T1=1.12
 OPTIMUM
f=217
TT=9.294

 OPTIMUM
f=217
TT=9.798

 ? (TO)

TT=2400.05

 OPTIMUM
f=217
TT=24.221
random/rand-2-30-15/
rand-2-30-15-306-230-29_ext.xml		 MOPT
f=224
TT=10.17

 OPTIMUM
f=224
TT=80.521
T1=2.73
 OPTIMUM
f=224
TT=31.789
T1=2.84
 OPTIMUM
f=224
TT=31.631
T1=31.64
 OPTIMUM
f=224
TT=31.396
T1=31.54
 MSAT (TO)
f=223
TT=2400.07
T1=1.28
 OPTIMUM
f=224
TT=10.17

 OPTIMUM
f=224
TT=11.473

 ? (TO)

TT=2400.06

 OPTIMUM
f=224
TT=22.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
random/rand-2-30-15/
rand-2-30-15-306-230-2_ext.xml		 MOPT
f=220
TT=9.19

 OPTIMUM
f=220
TT=59.488
T1=1.79
 OPTIMUM
f=220
TT=22.507
T1=1.67
 OPTIMUM
f=220
TT=41.004
T1=41.17
 OPTIMUM
f=220
TT=40.875
T1=40.89
 MSAT (TO)
f=218
TT=2400.1

 OPTIMUM
f=220
TT=9.19

 OPTIMUM
f=220
TT=9.398

 ? (TO)

TT=2400.09

 OPTIMUM
f=220
TT=25.2
random/rand-2-40-19/
rand-2-40-19-443-230-11_ext.xml		 MOPT
f=337
TT=289.719

 MSAT (TO)
f=336
TT=2400.07
T1=1.51
 MSAT (TO)
f=336
TT=2400.11
T1=1.41
 ? (TO)

TT=2400.11

 ? (TO)

TT=2400.08

 MSAT (TO)
f=333
TT=2400.08

 OPTIMUM
f=337
TT=289.719

 OPTIMUM
f=337
TT=400.748

 ? (TO)

TT=2400.03

 MSAT (TO)
f=337
TT=2400.1
random/rand-2-40-19/
rand-2-40-19-443-230-13_ext.xml		 MOPT
f=341
TT=275.149

 MSAT (TO)
f=341
TT=2400.06
T1=6.2
 OPTIMUM
f=341
TT=733.834
T1=6.13
 ? (TO)

TT=2400.08

 ? (TO)

TT=2400.04

 MSAT (TO)
f=338
TT=2400.06

 OPTIMUM
f=341
TT=275.149

 OPTIMUM
f=341
TT=325.801

 ? (TO)

TT=2400.05

 OPTIMUM
f=341
TT=1210.34
random/rand-2-40-19/
rand-2-40-19-443-230-14_ext.xml		 MOPT
f=334
TT=155.8

 MSAT (TO)
f=334
TT=2400.06
T1=27.08
 OPTIMUM
f=334
TT=1790.85
T1=26.66
 ? (TO)

TT=2400.03

 ? (TO)

TT=2400.08

 MSAT (TO)
f=334
TT=2400.06

 OPTIMUM
f=334
TT=155.8

 OPTIMUM
f=334
TT=226.421

 ? (TO)

TT=2400.01

 OPTIMUM
f=334
TT=1995.06
random/rand-2-40-19/
rand-2-40-19-443-230-16_ext.xml		 MOPT
f=337
TT=548.304

 MSAT (TO)
f=337
TT=2400.07
T1=1594.9
 MSAT (TO)
f=336
TT=2400.06
T1=3.08
 ? (TO)

TT=2400.04

 ? (TO)

TT=2400.1

 MSAT (TO)
f=337
TT=2400.06

 OPTIMUM
f=337
TT=548.304

 OPTIMUM
f=337
TT=763.848

 ? (TO)

TT=2400.02

 MSAT (TO)
f=337
TT=2400.11
random/rand-2-40-19/
rand-2-40-19-443-230-19_ext.xml		 MOPT
f=334
TT=140.788

 MSAT (TO)
f=334
TT=2400.06
T1=3.64
 OPTIMUM
f=334
TT=1537.68
T1=3.37
 OPTIMUM
f=334
TT=1830.58
T1=1839.34
 ? (TO)

TT=2400.1

 MSAT (TO)
f=329
TT=2400.02

 OPTIMUM
f=334
TT=140.788

 OPTIMUM
f=334
TT=187.519

 ? (TO)

TT=2400.09

 OPTIMUM
f=334
TT=1280.16
random/rand-2-40-19/
rand-2-40-19-443-230-1_ext.xml		 MOPT
f=345
TT=125.638

 MSAT (TO)
f=345
TT=2400.05
T1=3.19
 OPTIMUM
f=345
TT=887.242
T1=2.98
 ? (TO)

TT=2400.05

 ? (TO)

TT=2400.05

 MSAT (TO)
f=344
TT=2400.02

 OPTIMUM
f=345
TT=125.638

 OPTIMUM
f=345
TT=169.146

 ? (TO)

TT=2400.01

 OPTIMUM
f=345
TT=1092.94
random/rand-2-40-19/
rand-2-40-19-443-230-20_ext.xml		 MOPT
f=324
TT=186.273

 MSAT (TO)
f=324
TT=2400.05
T1=12.3
 OPTIMUM
f=324
TT=1751.89
T1=11.27
 ? (TO)

TT=2400.05

 ? (TO)

TT=2400.08

 MSAT (TO)
f=320
TT=2400.07

 OPTIMUM
f=324
TT=186.273

 OPTIMUM
f=324
TT=244.72

 ? (TO)

TT=2400.01

 OPTIMUM
f=324
TT=2099.62
random/rand-2-40-19/
rand-2-40-19-443-230-24_ext.xml		 MOPT
f=341
TT=401.669

 MSAT (TO)
f=341
TT=2400.13
T1=22.53
 OPTIMUM
f=341
TT=1701.15
T1=22.05
 ? (TO)

TT=2400.06

 ? (TO)

TT=2400.11

 MSAT (TO)
f=337
TT=2400.06

 OPTIMUM
f=341
TT=401.669

 OPTIMUM
f=341
TT=472.401

 ? (TO)

TT=2400.09

 MSAT (TO)
f=340
TT=2400.05
random/rand-2-40-19/
rand-2-40-19-443-230-25_ext.xml		 MOPT
f=338
TT=427.325

 MSAT (TO)
f=338
TT=2400.13
T1=18.87
 OPTIMUM
f=338
TT=1127.22
T1=18.73
 ? (TO)

TT=2400.02

 ? (TO)

TT=2400.1

 MSAT (TO)
f=335
TT=2400
T1=2.42
 OPTIMUM
f=338
TT=427.325

 OPTIMUM
f=338
TT=496.399

 ? (TO)

TT=2400.07

 MSAT (TO)
f=338
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-2-40-19/
rand-2-40-19-443-230-27_ext.xml		 MOPT
f=337
TT=111.705

 MSAT (TO)
f=336
TT=2400.1
T1=5.4
 MSAT (TO)
f=336
TT=2400.17
T1=5.92
 ? (TO)

TT=2400.04

 ? (TO)

TT=2400.02

 MSAT (TO)
f=334
TT=2400.1
T1=0.78
 OPTIMUM
f=337
TT=111.705

 OPTIMUM
f=337
TT=155.379

 ? (TO)

TT=2400.02

 OPTIMUM
f=337
TT=857.155
random/rand-2-40-19/
rand-2-40-19-443-230-28_ext.xml		 MOPT
f=333
TT=142.044

 MSAT (TO)
f=333
TT=2400.06
T1=15.89
 OPTIMUM
f=333
TT=1158.99
T1=17.06
 ? (TO)

TT=2400.05

 ? (TO)

TT=2400.07

 MSAT (TO)
f=328
TT=2400.06

 OPTIMUM
f=333
TT=142.044

 OPTIMUM
f=333
TT=196.173

 ? (TO)

TT=2400.08

 OPTIMUM
f=333
TT=2113.85
random/rand-2-40-19/
rand-2-40-19-443-230-29_ext.xml		 MOPT
f=329
TT=253.348

 MSAT (TO)
f=328
TT=2400.07
T1=2.5
 MSAT (TO)
f=328
TT=2400.15
T1=2.49
 OPTIMUM
f=329
TT=1713.6
T1=1714.83
 OPTIMUM
f=329
TT=1753.77
T1=1767.46
 MSAT (TO)
f=324
TT=2400.07

 OPTIMUM
f=329
TT=253.348

 OPTIMUM
f=329
TT=297.246

 ? (TO)

TT=2400.02

 MSAT (TO)
f=328
TT=2400.13
random/rand-2-40-19/
rand-2-40-19-443-230-2_ext.xml		 MOPT
f=329
TT=262.975

 MSAT (TO)
f=329
TT=2400.1
T1=24.41
 OPTIMUM
f=329
TT=2364.26
T1=24.64
 ? (TO)

TT=2400.03

 ? (TO)

TT=2400.04

 MSAT (TO)
f=322
TT=2400.05

 OPTIMUM
f=329
TT=262.975

 OPTIMUM
f=329
TT=383.3

 ? (TO)

TT=2400.1

 MSAT (TO)
f=329
TT=2400.09
random/rand-2-40-19/
rand-2-40-19-443-230-30_ext.xml		 MSAT TO
f=333
TT=2400.06

 MSAT (TO)
f=333
TT=2400.1
T1=33.11
 MSAT (TO)
f=333
TT=2400.13
T1=30.49
 ? (TO)

TT=2400.1

 ? (TO)

TT=2400.03

 MSAT (TO)
f=329
TT=2400.04

 MSAT (TO)
f=332
TT=2400.09

 ? (TO)

TT=2400.03

 ? (TO)

TT=2400.09

 MSAT (TO)
f=333
TT=2400.06
random/rand-2-40-19/
rand-2-40-19-443-230-32_ext.xml		 MOPT
f=335
TT=259.322

 MSAT (TO)
f=335
TT=2400.06
T1=2.55
 OPTIMUM
f=335
TT=1797.51
T1=2.38
 ? (TO)

TT=2400.05

 ? (TO)

TT=2400.07

 MSAT (TO)
f=333
TT=2400.07

 OPTIMUM
f=335
TT=259.322

 OPTIMUM
f=335
TT=347.789

 ? (TO)

TT=2400.08

 OPTIMUM
f=335
TT=2349.83
tightness/tightness0.1/
rand-2-40-8-753-100-13_ext.xml		 MOPT
f=752
TT=18.662

 OPTIMUM
f=752
TT=980.421

 OPTIMUM
f=752
TT=123.817

 OPTIMUM
f=752
TT=186.741
T1=188.14
 OPTIMUM
f=752
TT=181.104
T1=182.45
 MSAT (TO)
f=751
TT=2400.09

 OPTIMUM
f=752
TT=18.662

 OPTIMUM
f=752
TT=23.816

 ? (TO)

TT=2400.06

 OPTIMUM
f=752
TT=85.671
tightness/tightness0.1/
rand-2-40-8-753-100-16_ext.xml		 MOPT
f=752
TT=25.7

 OPTIMUM
f=752
TT=1594.47

 OPTIMUM
f=752
TT=188.133

 ? (TO)

TT=2400.09

 OPTIMUM
f=752
TT=2255.26
T1=2264.08
 MSAT (TO)
f=751
TT=2400.07

 OPTIMUM
f=752
TT=25.7

 OPTIMUM
f=752
TT=32.17

 ? (TO)

TT=2400.01

 OPTIMUM
f=752
TT=139.926
tightness/tightness0.1/
rand-2-40-8-753-100-17_ext.xml		 MOPT
f=752
TT=23.972

 OPTIMUM
f=752
TT=1131.46

 OPTIMUM
f=752
TT=211.241

 OPTIMUM
f=752
TT=964.267
T1=972.47
 OPTIMUM
f=752
TT=915.263
T1=918.86
 MSAT (TO)
f=752
TT=2400.03

 OPTIMUM
f=752
TT=23.972

 OPTIMUM
f=752
TT=29.606

 ? (TO)

TT=2400.05

 OPTIMUM
f=752
TT=128.597
tightness/tightness0.1/
rand-2-40-8-753-100-1_ext.xml		 MOPT
f=752
TT=19.766

 OPTIMUM
f=752
TT=927.363
T1=2.4
 OPTIMUM
f=752
TT=149.529
T1=2.26
 OPTIMUM
f=752
TT=384.962
T1=386.95
 OPTIMUM
f=752
TT=384.658
T1=386.48
 MSAT (TO)
f=751
TT=2400.01
T1=3.74
 OPTIMUM
f=752
TT=19.766

 OPTIMUM
f=752
TT=23.66

 ? (TO)

TT=2400.05

 OPTIMUM
f=752
TT=165.102
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
tightness/tightness0.1/
rand-2-40-8-753-100-20_ext.xml		 MOPT
f=752
TT=20.67

 OPTIMUM
f=752
TT=1138.6

 OPTIMUM
f=752
TT=145.634

 ? (TO)

TT=2400.1

 ? (TO)

TT=2400.04

 MSAT (TO)
f=752
TT=2400.05

 OPTIMUM
f=752
TT=20.67

 OPTIMUM
f=752
TT=24.871

 ? (TO)

TT=2400.04

 OPTIMUM
f=752
TT=113.276
tightness/tightness0.1/
rand-2-40-8-753-100-21_ext.xml		 MOPT
f=752
TT=0

 OPTIMUM
f=752
TT=0
T1=1.4
 OPTIMUM
f=752
TT=189.872
T1=1.46
 OPTIMUM
f=752
TT=895.007
T1=898.54
 OPTIMUM
f=752
TT=842.635
T1=846.98
 MSAT (TO)
f=751
TT=2400.08
T1=1.76
 OPTIMUM
f=752
TT=22.021

 OPTIMUM
f=752
TT=26.863

 ? (TO)

TT=2400.07

 OPTIMUM
f=752
TT=170.032
tightness/tightness0.1/
rand-2-40-8-753-100-28_ext.xml		 MOPT
f=752
TT=20.641

 OPTIMUM
f=752
TT=1078.8
T1=1.79
 OPTIMUM
f=752
TT=131.264
T1=1.92
 OPTIMUM
f=752
TT=1018.31
T1=1019.45
 OPTIMUM
f=752
TT=1057.37
T1=1057.63
 MSAT (TO)
f=752
TT=2400.07
T1=1.82
 OPTIMUM
f=752
TT=20.641

 OPTIMUM
f=752
TT=24.735

 ? (TO)

TT=2400.01

 OPTIMUM
f=752
TT=92.682
tightness/tightness0.1/
rand-2-40-8-753-100-30_ext.xml		 MOPT
f=752
TT=22.776

 OPTIMUM
f=752
TT=1402.59
T1=1.31
 OPTIMUM
f=752
TT=191.809
T1=1.2
 OPTIMUM
f=752
TT=2080.93
T1=2084.3
 OPTIMUM
f=752
TT=2162.92
T1=2179.37
 MSAT (TO)
f=752
TT=2400.02

 OPTIMUM
f=752
TT=22.776

 OPTIMUM
f=752
TT=27.797

 ? (TO)

TT=2400.06

 OPTIMUM
f=752
TT=124.247
tightness/tightness0.1/
rand-2-40-8-753-100-31_ext.xml		 MOPT
f=752
TT=22.907

 OPTIMUM
f=752
TT=965.274

 OPTIMUM
f=752
TT=176.953

 ? (TO)

TT=2400.09

 ? (TO)

TT=2400.06

 MSAT (TO)
f=751
TT=2400.01

 OPTIMUM
f=752
TT=22.907

 OPTIMUM
f=752
TT=27.969

 ? (TO)

TT=2400.01

 OPTIMUM
f=752
TT=119.74
tightness/tightness0.1/
rand-2-40-8-753-100-33_ext.xml		 MOPT
f=752
TT=21.018

 OPTIMUM
f=752
TT=1043.52
T1=2.43
 OPTIMUM
f=752
TT=167.632
T1=2.51
 ? (TO)

TT=2400.07

 ? (TO)

TT=2400.07

 MSAT (TO)
f=751
TT=2400.03
T1=11.48
 OPTIMUM
f=752
TT=21.018

 OPTIMUM
f=752
TT=25.326

 ? (TO)

TT=2400.07

 OPTIMUM
f=752
TT=123.027
tightness/tightness0.1/
rand-2-40-8-753-100-35_ext.xml		 MOPT
f=752
TT=20.115

 OPTIMUM
f=752
TT=885.916

 OPTIMUM
f=752
TT=124.681

 ? (TO)

TT=2400.08

 ? (TO)

TT=2400.08

 MSAT (TO)
f=752
TT=2400.04

 OPTIMUM
f=752
TT=20.115

 OPTIMUM
f=752
TT=23.987

 ? (TO)

TT=2400.06

 OPTIMUM
f=752
TT=97.595
tightness/tightness0.1/
rand-2-40-8-753-100-36_ext.xml		 MOPT
f=752
TT=0

 OPTIMUM
f=752
TT=1071.59

 OPTIMUM
f=752
TT=0

 OPTIMUM
f=752
TT=1007.83
T1=1016.06
 OPTIMUM
f=752
TT=959.813
T1=966.47
 MSAT (TO)
f=752
TT=2400.08

 OPTIMUM
f=752
TT=22.755

 OPTIMUM
f=752
TT=27.941

 ? (TO)

TT=2400.04

 OPTIMUM
f=752
TT=119.266
tightness/tightness0.1/
rand-2-40-8-753-100-37_ext.xml		 MOPT
f=752
TT=20.7

 OPTIMUM
f=752
TT=1017.95
T1=1
 OPTIMUM
f=752
TT=131.806
T1=1.02
 OPTIMUM
f=752
TT=1450.51
T1=1461.28
 OPTIMUM
f=752
TT=1427.27
T1=1436.82
 MSAT (TO)
f=752
TT=2400.09

 OPTIMUM
f=752
TT=20.7

 OPTIMUM
f=752
TT=24.805

 ? (TO)

TT=2400.05

 OPTIMUM
f=752
TT=97.285
tightness/tightness0.1/
rand-2-40-8-753-100-3_ext.xml		 MOPT
f=752
TT=20.657

 OPTIMUM
f=752
TT=990.618

 OPTIMUM
f=752
TT=159.836

 OPTIMUM
f=752
TT=1480.55
T1=1487.66
 OPTIMUM
f=752
TT=1442.3
T1=1453.53
 MSAT (TO)
f=750
TT=2400

 OPTIMUM
f=752
TT=20.657

 OPTIMUM
f=752
TT=24.748

 ? (TO)

TT=2400.02

 OPTIMUM
f=752
TT=107.826
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
tightness/tightness0.1/
rand-2-40-8-753-100-43_ext.xml		 MOPT
f=751
TT=1093.91

 MSAT (TO)
f=751
TT=2400.06
T1=1.02
 MSAT (TO)
f=751
TT=2400.12
T1=0.94
 ? (TO)

TT=2400.04

 ? (TO)

TT=2400.07

 MSAT (TO)
f=750
TT=2400.06
T1=4.54
 OPTIMUM
f=751
TT=1093.91

 OPTIMUM
f=751
TT=1255.08

 ? (TO)

TT=2400.02

 MSAT (TO)
f=751
TT=2400.13
tightness/tightness0.2/
rand-2-40-11-414-200-0_ext.xml		 MOPT
f=413
TT=21.443

 OPTIMUM
f=413
TT=983.372
T1=1.26
 OPTIMUM
f=413
TT=199.919
T1=1.28
 OPTIMUM
f=413
TT=1697.23
T1=1703.02
 OPTIMUM
f=413
TT=1669.98
T1=1676.31
 MSAT (TO)
f=412
TT=2400.07
T1=3.35
 OPTIMUM
f=413
TT=21.443

 OPTIMUM
f=413
TT=26.973

 ? (TO)

TT=2400.07

 OPTIMUM
f=413
TT=150.029
tightness/tightness0.2/
rand-2-40-11-414-200-11_ext.xml		 MOPT
f=413
TT=20.511

 OPTIMUM
f=413
TT=1302.77
T1=11.88
 OPTIMUM
f=413
TT=186.074
T1=11.7
 OPTIMUM
f=413
TT=952.537
T1=959.41
 OPTIMUM
f=413
TT=938.039
T1=944.55
 MSAT (TO)
f=410
TT=2400.03
T1=1.09
 OPTIMUM
f=413
TT=20.511

 OPTIMUM
f=413
TT=25.563

 ? (TO)

TT=2400.03

 OPTIMUM
f=413
TT=102.243
tightness/tightness0.2/
rand-2-40-11-414-200-13_ext.xml		 MOPT
f=413
TT=23.386

 OPTIMUM
f=413
TT=1636.89
T1=2.87
 OPTIMUM
f=413
TT=245.543
T1=2.85
 OPTIMUM
f=413
TT=1990.89
T1=1996.42
 OPTIMUM
f=413
TT=2000.77
T1=2006.49
 MSAT (TO)
f=412
TT=2400.07

 OPTIMUM
f=413
TT=23.386

 OPTIMUM
f=413
TT=29.411

 ? (TO)

TT=2400.01

 OPTIMUM
f=413
TT=129.677
tightness/tightness0.2/
rand-2-40-11-414-200-19_ext.xml		 MOPT
f=413
TT=17.322

 OPTIMUM
f=413
TT=730.971
T1=5.98
 OPTIMUM
f=413
TT=138.761
T1=6.58
 ? (TO)

TT=2400.09

 ? (TO)

TT=2400.09

 MSAT (TO)
f=409
TT=2400.04
T1=1.33
 OPTIMUM
f=413
TT=17.322

 OPTIMUM
f=413
TT=20.856

 ? (TO)

TT=2400.03

 OPTIMUM
f=413
TT=88.289
tightness/tightness0.2/
rand-2-40-11-414-200-1_ext.xml		 MOPT
f=413
TT=161.952

 OPTIMUM
f=413
TT=432.659
T1=4.57
 OPTIMUM
f=413
TT=161.952
T1=4.9
 OPTIMUM
f=413
TT=2094.07
T1=2109.38
 OPTIMUM
f=413
TT=2048.8
T1=2065.77
 MSAT (TO)
f=412
TT=2400.05

 OPTIMUM
f=413
TT=511.201

 OPTIMUM
f=413
TT=639.335

 ? (TO)

TT=2400.03

 OPTIMUM
f=413
TT=371.978
tightness/tightness0.2/
rand-2-40-11-414-200-25_ext.xml		 MOPT
f=413
TT=22.759

 OPTIMUM
f=413
TT=1087.27
T1=1.42
 OPTIMUM
f=413
TT=261.74
T1=1.4
 ? (TO)

TT=2400.1

 ? (TO)

TT=2400.05

 MSAT (TO)
f=413
TT=2400.05
T1=2.1
 OPTIMUM
f=413
TT=22.759

 OPTIMUM
f=413
TT=28.713

 ? (TO)

TT=2400.02

 OPTIMUM
f=413
TT=143.443
tightness/tightness0.2/
rand-2-40-11-414-200-26_ext.xml		 MOPT
f=413
TT=29.545

 OPTIMUM
f=413
TT=1853
T1=1.07
 OPTIMUM
f=413
TT=258.924
T1=0.98
 OPTIMUM
f=413
TT=874.599
T1=879.12
 OPTIMUM
f=413
TT=891.336
T1=899.32
 MSAT (TO)
f=411
TT=2400.04
T1=1.18
 OPTIMUM
f=413
TT=29.545

 OPTIMUM
f=413
TT=38.786

 ? (TO)

TT=2400.09

 OPTIMUM
f=413
TT=179.322
tightness/tightness0.2/
rand-2-40-11-414-200-28_ext.xml		 MOPT
f=413
TT=23.465

 OPTIMUM
f=413
TT=893.618
T1=14.95
 OPTIMUM
f=413
TT=146.339
T1=15.15
 ? (TO)

TT=2400.05

 ? (TO)

TT=2400.02

 MSAT (TO)
f=410
TT=2400.01

 OPTIMUM
f=413
TT=23.465

 OPTIMUM
f=413
TT=29.871

 ? (TO)

TT=2400.03

 OPTIMUM
f=413
TT=168.771
tightness/tightness0.2/
rand-2-40-11-414-200-29_ext.xml		 MOPT
f=413
TT=24.111

 OPTIMUM
f=413
TT=2341.45
T1=1.34
 OPTIMUM
f=413
TT=276.564
T1=1.34
 ? (TO)

TT=2400.1

 ? (TO)

TT=2400.08

 MSAT (TO)
f=413
TT=2400.05

 OPTIMUM
f=413
TT=24.111

 OPTIMUM
f=413
TT=30.914

 ? (TO)

TT=2400.09

 OPTIMUM
f=413
TT=152.763
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
tightness/tightness0.2/
rand-2-40-11-414-200-2_ext.xml		 MOPT
f=413
TT=21.001

 OPTIMUM
f=413
TT=1257.2
T1=0.81
 OPTIMUM
f=413
TT=235.572
T1=0.85
 OPTIMUM
f=413
TT=473.353
T1=475.52
 OPTIMUM
f=413
TT=502.039
T1=506.4
 MSAT (TO)
f=413
TT=2400.07
T1=4.29
 OPTIMUM
f=413
TT=21.001

 OPTIMUM
f=413
TT=28.517

 ? (TO)

TT=2400.04

 OPTIMUM
f=413
TT=182.99
tightness/tightness0.2/
rand-2-40-11-414-200-34_ext.xml		 MOPT
f=413
TT=25.712

 OPTIMUM
f=413
TT=2192.66
T1=2.4
 OPTIMUM
f=413
TT=286.209
T1=2.42
 OPTIMUM
f=413
TT=1214.39
T1=1218.14
 OPTIMUM
f=413
TT=1290.19
T1=1301.75
 MSAT (TO)
f=410
TT=2400.04
T1=0.95
 OPTIMUM
f=413
TT=25.712

 OPTIMUM
f=413
TT=32.779

 ? (TO)

TT=2400.07

 OPTIMUM
f=413
TT=215.543
tightness/tightness0.2/
rand-2-40-11-414-200-37_ext.xml		 MOPT
f=413
TT=29.154

 OPTIMUM
f=413
TT=1033.82
T1=0.91
 OPTIMUM
f=413
TT=264.787
T1=0.91
 OPTIMUM
f=413
TT=902.366
T1=909.73
 OPTIMUM
f=413
TT=872.658
T1=874.51
 MSAT (TO)
f=412
TT=2400

 OPTIMUM
f=413
TT=29.154

 OPTIMUM
f=413
TT=35.321

 ? (TO)

TT=2400.07

 OPTIMUM
f=413
TT=153.381
tightness/tightness0.2/
rand-2-40-11-414-200-39_ext.xml		 MOPT
f=413
TT=25.914

 OPTIMUM
f=413
TT=1622.35
T1=6.56
 OPTIMUM
f=413
TT=311.747
T1=7.14
 OPTIMUM
f=413
TT=2319.69
T1=2331.96
 OPTIMUM
f=413
TT=1948.13
T1=1956.81
 MSAT (TO)
f=412
TT=2400.08

 OPTIMUM
f=413
TT=25.914

 OPTIMUM
f=413
TT=33.509

 ? (TO)

TT=2400.01

 OPTIMUM
f=413
TT=219.471
tightness/tightness0.2/
rand-2-40-11-414-200-3_ext.xml		 MOPT
f=413
TT=19.675

 OPTIMUM
f=413
TT=793.926
T1=9.75
 OPTIMUM
f=413
TT=230.904
T1=9.82
 OPTIMUM
f=413
TT=1054.22
T1=1057.97
 OPTIMUM
f=413
TT=1023.89
T1=1025.16
 MSAT (TO)
f=413
TT=2400.02

 OPTIMUM
f=413
TT=19.675

 OPTIMUM
f=413
TT=24.374

 ? (TO)

TT=2400.09

 OPTIMUM
f=413
TT=124.725
tightness/tightness0.2/
rand-2-40-11-414-200-40_ext.xml		 MOPT
f=413
TT=22.374

 OPTIMUM
f=413
TT=1794.71
T1=2.67
 OPTIMUM
f=413
TT=299.047
T1=2.88
 OPTIMUM
f=413
TT=239.926
T1=242.01
 OPTIMUM
f=413
TT=245.108
T1=247.25
 MSAT (TO)
f=410
TT=2400.05

 OPTIMUM
f=413
TT=22.374

 OPTIMUM
f=413
TT=28.338

 ? (TO)

TT=2400.02

 OPTIMUM
f=413
TT=261.506
tightness/tightness0.35/
rand-2-40-16-250-350-15_ext.xml		 MOPT
f=249
TT=16.442

 OPTIMUM
f=249
TT=442.404
T1=6.44
 OPTIMUM
f=249
TT=107.575
T1=6.96
 OPTIMUM
f=249
TT=479.644
T1=480.22
 OPTIMUM
f=249
TT=525.144
T1=525.44
 MSAT (TO)
f=246
TT=2400.08

 OPTIMUM
f=249
TT=16.442

 OPTIMUM
f=249
TT=19.38

 ? (TO)

TT=2400.01

 OPTIMUM
f=249
TT=93.224
tightness/tightness0.35/
rand-2-40-16-250-350-16_ext.xml		 MOPT
f=249
TT=245.775

 OPTIMUM
f=249
TT=961.152
T1=4.22
 OPTIMUM
f=249
TT=245.775
T1=3.98
 ? (TO)

TT=2400.05

 ? (TO)

TT=2400.05

 MSAT (TO)
f=247
TT=2400.03

 OPTIMUM
f=249
TT=341.312

 OPTIMUM
f=249
TT=434.668

 ? (TO)

TT=2400.02

 OPTIMUM
f=249
TT=945.749
tightness/tightness0.35/
rand-2-40-16-250-350-19_ext.xml		 MOPT
f=249
TT=13.658

 OPTIMUM
f=249
TT=244.441
T1=0.85
 OPTIMUM
f=249
TT=82.602
T1=0.91
 OPTIMUM
f=249
TT=892.259
T1=900.25
 OPTIMUM
f=249
TT=933.215
T1=933.48
 MSAT (TO)
f=246
TT=2400.06

 OPTIMUM
f=249
TT=13.658

 OPTIMUM
f=249
TT=15.827

 ? (TO)

TT=2400.1

 OPTIMUM
f=249
TT=68.569
tightness/tightness0.35/
rand-2-40-16-250-350-1_ext.xml		 MOPT
f=249
TT=26.784

 OPTIMUM
f=249
TT=990.096
T1=16.47
 OPTIMUM
f=249
TT=181.512
T1=16.52
 ? (TO)

TT=2400.08

 ? (TO)

TT=2400.05

 MSAT (TO)
f=242
TT=2400.06

 OPTIMUM
f=249
TT=26.784

 OPTIMUM
f=249
TT=29.428

 ? (TO)

TT=2400.03

 OPTIMUM
f=249
TT=288.568
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
tightness/tightness0.35/
rand-2-40-16-250-350-24_ext.xml		 MOPT
f=249
TT=19.138

 OPTIMUM
f=249
TT=705.219
T1=3.22
 OPTIMUM
f=249
TT=186.608
T1=2.98
 OPTIMUM
f=249
TT=2216.63
T1=2219.91
 OPTIMUM
f=249
TT=2385.07
T1=2386.02
 MSAT (TO)
f=243
TT=2400.09
T1=0.67
 OPTIMUM
f=249
TT=19.138

 OPTIMUM
f=249
TT=23.747

 ? (TO)

TT=2400.09

 OPTIMUM
f=249
TT=178.539
tightness/tightness0.35/
rand-2-40-16-250-350-26_ext.xml		 MOPT
f=249
TT=22.786

 OPTIMUM
f=249
TT=733.429
T1=0.8
 OPTIMUM
f=249
TT=181.441
T1=0.77
 OPTIMUM
f=249
TT=1336.3
T1=1347.96
 OPTIMUM
f=249
TT=1436.24
T1=1437.08
 MSAT (TO)
f=245
TT=2400.02

 OPTIMUM
f=249
TT=22.786

 OPTIMUM
f=249
TT=28.558

 ? (TO)

TT=2400

 OPTIMUM
f=249
TT=274.204
tightness/tightness0.35/
rand-2-40-16-250-350-27_ext.xml		 MOPT
f=249
TT=28.119

 OPTIMUM
f=249
TT=888.654
T1=1.68
 OPTIMUM
f=249
TT=240.383
T1=1.67
 OPTIMUM
f=249
TT=1950.97
T1=1962.09
 OPTIMUM
f=249
TT=1873.58
T1=1883.37
 MSAT (TO)
f=247
TT=2400.07

 OPTIMUM
f=249
TT=28.119

 OPTIMUM
f=249
TT=36.851

 ? (TO)

TT=2400.03

 OPTIMUM
f=249
TT=335.393
tightness/tightness0.35/
rand-2-40-16-250-350-29_ext.xml		 MOPT
f=249
TT=27.599

 OPTIMUM
f=249
TT=1206.67
T1=9.81
 OPTIMUM
f=249
TT=260.751
T1=10.34
 OPTIMUM
f=249
TT=1404.99
T1=1411.48
 OPTIMUM
f=249
TT=1506.36
T1=1513
 MSAT (TO)
f=244
TT=2400.08

 OPTIMUM
f=249
TT=27.599

 OPTIMUM
f=249
TT=37.519

 ? (TO)

TT=2400

 OPTIMUM
f=249
TT=367.821
tightness/tightness0.35/
rand-2-40-16-250-350-2_ext.xml		 MOPT
f=249
TT=35.39

 OPTIMUM
f=249
TT=1246.33
T1=2.69
 OPTIMUM
f=249
TT=319.877
T1=2.72
 ? (TO)

TT=2400.05

 ? (TO)

TT=2400.06

 MSAT (TO)
f=243
TT=2400.02
T1=0.96
 OPTIMUM
f=249
TT=35.39

 OPTIMUM
f=249
TT=45.577

 ? (TO)

TT=2400.04

 OPTIMUM
f=249
TT=366.979
tightness/tightness0.35/
rand-2-40-16-250-350-30_ext.xml		 MOPT
f=249
TT=181.544

 OPTIMUM
f=249
TT=697.576
T1=7.65
 OPTIMUM
f=249
TT=181.544
T1=7.45
 ? (TO)

TT=2400.11

 ? (TO)

TT=2400.05

 MSAT (TO)
f=244
TT=2400.09
T1=1.03
 OPTIMUM
f=249
TT=268.775

 OPTIMUM
f=249
TT=306.86

 ? (TO)

TT=2400.02

 OPTIMUM
f=249
TT=233.579
tightness/tightness0.35/
rand-2-40-16-250-350-35_ext.xml		 MOPT
f=249
TT=31.428

 OPTIMUM
f=249
TT=1439.09
T1=5.82
 OPTIMUM
f=249
TT=323.797
T1=6.23
 OPTIMUM
f=249
TT=2051.94
T1=2060.53
 ? (TO)

TT=2400.11

 MSAT (TO)
f=243
TT=2400.11
T1=1.32
 OPTIMUM
f=249
TT=31.428

 OPTIMUM
f=249
TT=39.639

 ? (TO)

TT=2400.05

 OPTIMUM
f=249
TT=358.317
tightness/tightness0.35/
rand-2-40-16-250-350-3_ext.xml		 MOPT
f=249
TT=109.174

 OPTIMUM
f=249
TT=513.633
T1=5.03
 OPTIMUM
f=249
TT=177.53
T1=5.58
 ? (TO)

TT=2400

 ? (TO)

TT=2400.06

 MSAT (TO)
f=248
TT=2400.06

 OPTIMUM
f=249
TT=109.174

 OPTIMUM
f=249
TT=129.378

 ? (TO)

TT=2400.06

 OPTIMUM
f=249
TT=578.196
tightness/tightness0.35/
rand-2-40-16-250-350-40_ext.xml		 MOPT
f=249
TT=216.457

 OPTIMUM
f=249
TT=1232.29
T1=16.53
 OPTIMUM
f=249
TT=261.728
T1=16.45
 ? (TO)

TT=2400.02

 ? (TO)

TT=2400.1

 MSAT (TO)
f=245
TT=2400.01

 OPTIMUM
f=249
TT=216.457

 OPTIMUM
f=249
TT=260.051

 ? (TO)

TT=2400.1

 OPTIMUM
f=249
TT=992.528
tightness/tightness0.35/
rand-2-40-16-250-350-41_ext.xml		 MOPT
f=249
TT=22.412

 MSAT (TO)
f=248
TT=2400.09
T1=1.58
 MSAT (TO)
f=248
TT=2400.11
T1=1.56
 OPTIMUM
f=249
TT=781.774
T1=783.19
 OPTIMUM
f=249
TT=833.973
T1=841.11
 MSAT (TO)
f=246
TT=2400.01

 OPTIMUM
f=249
TT=22.412

 OPTIMUM
f=249
TT=26.341

 ? (TO)

TT=2400.02

 OPTIMUM
f=249
TT=209.769
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
tightness/tightness0.35/
rand-2-40-16-250-350-42_ext.xml		 MOPT
f=249
TT=33.133

 MSAT (TO)
f=249
TT=2400.06
T1=1841.46
 MSAT (TO)
f=248
TT=2400.15
T1=4.17
 OPTIMUM
f=249
TT=1792.28
T1=1793.59
 OPTIMUM
f=249
TT=1684.69
T1=1699.3
 MSAT (TO)
f=242
TT=2400.01
T1=1.24
 OPTIMUM
f=249
TT=33.133

 OPTIMUM
f=249
TT=37.916

 ? (TO)

TT=2400.02

 OPTIMUM
f=249
TT=996.336
tightness/tightness0.5/
rand-2-40-25-180-500-0_ext.xml		 MOPT
f=179
TT=559.557

 MSAT (TO)
f=178
TT=2400.12
T1=1.2
 MSAT (TO)
f=178
TT=2400.08
T1=1.25
 ? (TO)

TT=2400.09

 ? (TO)

TT=2400.05

 MSAT (TO)
f=169
TT=2400.09
T1=0.9
 OPTIMUM
f=179
TT=559.557

 OPTIMUM
f=179
TT=652.437

 ? (TO)

TT=2400.07

 MSAT (TO)
f=178
TT=2400.04
tightness/tightness0.5/
rand-2-40-25-180-500-10_ext.xml		 MOPT
f=179
TT=146.378

 OPTIMUM
f=179
TT=2376.37
T1=860.91
 MSAT (TO)
f=178
TT=2400.04
T1=11.78
 ? (TO)

TT=2400.06

 ? (TO)

TT=2400.02

 MSAT (TO)
f=172
TT=2400.04

 OPTIMUM
f=179
TT=146.378

 OPTIMUM
f=179
TT=172.417

 ? (TO)

TT=2400.01

 OPTIMUM
f=179
TT=753.515
tightness/tightness0.5/
rand-2-40-25-180-500-11_ext.xml		 MOPT
f=179
TT=119.509

 OPTIMUM
f=179
TT=311.184
T1=11.31
 OPTIMUM
f=179
TT=180.414
T1=11.29
 ? (TO)

TT=2400.09

 ? (TO)

TT=2400.01

 MSAT (TO)
f=172
TT=2400.05

 OPTIMUM
f=179
TT=119.509

 OPTIMUM
f=179
TT=127.91

 ? (TO)

TT=2400.01

 OPTIMUM
f=179
TT=1191.65
tightness/tightness0.5/
rand-2-40-25-180-500-12_ext.xml		 MOPT
f=179
TT=547.059

 MSAT (TO)
f=178
TT=2400.05
T1=14.7
 MSAT (TO)
f=179
TT=2400.07
T1=2403.44
 ? (TO)

TT=2400.1

 ? (TO)

TT=2400.08

 MSAT (TO)
f=172
TT=2400.08

 OPTIMUM
f=179
TT=547.059

 OPTIMUM
f=179
TT=617.964

 ? (TO)

TT=2400.07

 MSAT (TO)
f=178
TT=2400.06
tightness/tightness0.5/
rand-2-40-25-180-500-14_ext.xml		 MOPT
f=179
TT=34.184

 MSAT (TO)
f=178
TT=2400.08
T1=19.14
 OPTIMUM
f=179
TT=1123.67
T1=976.28
 OPTIMUM
f=179
TT=966.805
T1=974.92
 ? (TO)

TT=2400.1

 MSAT (TO)
f=176
TT=2400.05

 OPTIMUM
f=179
TT=34.184

 OPTIMUM
f=179
TT=41.775

 ? (TO)

TT=2400.01

 OPTIMUM
f=179
TT=1392.38
tightness/tightness0.5/
rand-2-40-25-180-500-16_ext.xml		 MOPT
f=179
TT=39.466

 MSAT (TO)
f=179
TT=2400.08
T1=2275.85
 OPTIMUM
f=179
TT=221.295
T1=51.86
 ? (TO)

TT=2400.08

 ? (TO)

TT=2400.02

 MSAT (TO)
f=174
TT=2400.09

 OPTIMUM
f=179
TT=39.466

 OPTIMUM
f=179
TT=46.023

 ? (TO)

TT=2400.02

 OPTIMUM
f=179
TT=1366.17
tightness/tightness0.5/
rand-2-40-25-180-500-18_ext.xml		 MOPT
f=179
TT=149.519

 MSAT (TO)
f=178
TT=2400.07
T1=7.04
 OPTIMUM
f=179
TT=1586.34
T1=1417.88
 OPTIMUM
f=179
TT=1315.99
T1=1327.21
 OPTIMUM
f=179
TT=1456.11
T1=1466.92
 MSAT (TO)
f=170
TT=2400.08

 OPTIMUM
f=179
TT=149.519

 OPTIMUM
f=179
TT=166.444

 ? (TO)

TT=2400.09

 OPTIMUM
f=179
TT=771.807
tightness/tightness0.5/
rand-2-40-25-180-500-20_ext.xml		 MOPT
f=179
TT=38.878

 MSAT (TO)
f=178
TT=2400.04
T1=2.6
 MSAT (TO)
f=178
TT=2400.12
T1=2.7
 ? (TO)

TT=2400.07

 ? (TO)

TT=2400.08

 MSAT (TO)
f=173
TT=2400.07

 OPTIMUM
f=179
TT=38.878

 OPTIMUM
f=179
TT=49.414

 ? (TO)

TT=2400

 OPTIMUM
f=179
TT=370.257
tightness/tightness0.5/
rand-2-40-25-180-500-24_ext.xml		 MOPT
f=179
TT=103.769

 MSAT (TO)
f=178
TT=2400.05
T1=1.99
 MSAT (TO)
f=178
TT=2400.09
T1=1.82
 ? (TO)

TT=2400.07

 ? (TO)

TT=2400.09

 MSAT (TO)
f=176
TT=2400.09

 OPTIMUM
f=179
TT=103.769

 OPTIMUM
f=179
TT=125.863

 ? (TO)

TT=2400.03

 OPTIMUM
f=179
TT=1402.18
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
tightness/tightness0.5/
rand-2-40-25-180-500-29_ext.xml		 MOPT
f=179
TT=118.222

 MSAT (TO)
f=178
TT=2400.05
T1=0.79
 OPTIMUM
f=179
TT=2386.74
T1=1162.99
 ? (TO)

TT=2400.02

 ? (TO)

TT=2400.03

 MSAT (TO)
f=177
TT=2400.02

 OPTIMUM
f=179
TT=118.222

 OPTIMUM
f=179
TT=136.703

 ? (TO)

TT=2400.03

 OPTIMUM
f=179
TT=1408.19
tightness/tightness0.5/
rand-2-40-25-180-500-2_ext.xml		 MOPT
f=179
TT=36.969

 OPTIMUM
f=179
TT=744.925
T1=8.96
 OPTIMUM
f=179
TT=273.885
T1=9.04
 ? (TO)

TT=2400.06

 ? (TO)

TT=2400.11

 MSAT (TO)
f=176
TT=2400.04

 OPTIMUM
f=179
TT=36.969

 OPTIMUM
f=179
TT=45.434

 ? (TO)

TT=2400

 OPTIMUM
f=179
TT=192.658
tightness/tightness0.5/
rand-2-40-25-180-500-30_ext.xml		 MOPT
f=179
TT=49.611

 MSAT (TO)
f=178
TT=2400.07
T1=0.86
 OPTIMUM
f=179
TT=2295.66
T1=2230.34
 ? (TO)

TT=2400.06

 OPTIMUM
f=179
TT=1929.16
T1=1937.47
 MSAT (TO)
f=173
TT=2400.04

 OPTIMUM
f=179
TT=49.611

 OPTIMUM
f=179
TT=54.277

 ? (TO)

TT=2400.02

 OPTIMUM
f=179
TT=439.895
tightness/tightness0.5/
rand-2-40-25-180-500-33_ext.xml		 MOPT
f=179
TT=26.065

 MSAT (TO)
f=178
TT=2400.14
T1=0.9
 MSAT (TO)
f=179
TT=2400.06
T1=2273.96
 ? (TO)

TT=2400.09

 ? (TO)

TT=2400.03

 MSAT (TO)
f=175
TT=2400.04

 OPTIMUM
f=179
TT=26.065

 OPTIMUM
f=179
TT=32.148

 ? (TO)

TT=2400.07

 OPTIMUM
f=179
TT=326.927
tightness/tightness0.5/
rand-2-40-25-180-500-37_ext.xml		 MOPT
f=179
TT=129.074

 MSAT (TO)
f=178
TT=2400.1
T1=18.54
 MSAT (TO)
f=179
TT=2400.1
T1=1946.62
 OPTIMUM
f=179
TT=1496.54
T1=1496.92
 OPTIMUM
f=179
TT=1698.98
T1=1711.46
 MSAT (TO)
f=171
TT=2400.05

 OPTIMUM
f=179
TT=129.074

 OPTIMUM
f=179
TT=165.457

 ? (TO)

TT=2400.07

 OPTIMUM
f=179
TT=1265.29
tightness/tightness0.5/
rand-2-40-25-180-500-3_ext.xml		 MOPT
f=179
TT=29.123

 OPTIMUM
f=179
TT=86.849
T1=1.08
 OPTIMUM
f=179
TT=29.123
T1=0.97
 ? (TO)

TT=2400.02

 ? (TO)

TT=2400.03

 MSAT (TO)
f=169
TT=2400.03

 OPTIMUM
f=179
TT=104.992

 OPTIMUM
f=179
TT=114.504

 ? (TO)

TT=2400.06

 OPTIMUM
f=179
TT=965.9
tightness/tightness0.65/
rand-2-40-40-135-650-10_ext.xml		 MOPT
f=134
TT=20.171

 OPTIMUM
f=134
TT=852.468
T1=416.35
 OPTIMUM
f=134
TT=1080.05
T1=1009.07
 ? (TO)

TT=2400.08

 ? (TO)

TT=2400.08

 MSAT (TO)
f=123
TT=2400.08

 OPTIMUM
f=134
TT=20.171

 OPTIMUM
f=134
TT=23.005

 ? (MO)

TT=1.07

 OPTIMUM
f=134
TT=163.039
tightness/tightness0.65/
rand-2-40-40-135-650-12_ext.xml		 MOPT
f=134
TT=79.603

 MSAT (TO)
f=133
TT=2400.1
T1=15.68
 OPTIMUM
f=134
TT=1793.21
T1=1191.03
 ? (TO)

TT=2400.04

 ? (TO)

TT=2400.06

 MSAT (TO)
f=118
TT=2400.08
T1=0.96
 OPTIMUM
f=134
TT=79.603

 OPTIMUM
f=134
TT=94.17

 ? (MO)

TT=1.07

 OPTIMUM
f=134
TT=569.794
tightness/tightness0.65/
rand-2-40-40-135-650-13_ext.xml		 MOPT
f=134
TT=0

 OPTIMUM
f=134
TT=913.299
T1=584.45
 OPTIMUM
f=134
TT=1522.85
T1=1366.8
 OPTIMUM
f=134
TT=1912.22
T1=1929.29
 ? (TO)

TT=2400.03

 MSAT (TO)
f=129
TT=2400.03

 OPTIMUM
f=134
TT=0

 OPTIMUM
f=134
TT=85.362

 ? (MO)

TT=1.07

 OPTIMUM
f=134
TT=309.635
tightness/tightness0.65/
rand-2-40-40-135-650-14_ext.xml		 MOPT
f=134
TT=0

 OPTIMUM
f=134
TT=391.358
T1=174.11
 OPTIMUM
f=134
TT=436.743
T1=363.11
 ? (TO)

TT=2400.06

 ? (TO)

TT=2400.11

 MSAT (TO)
f=133
TT=2400.06

 OPTIMUM
f=134
TT=19.956

 OPTIMUM
f=134
TT=22.035

 ? (MO)

TT=1.08

 OPTIMUM
f=134
TT=0
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
tightness/tightness0.65/
rand-2-40-40-135-650-15_ext.xml		 MOPT
f=134
TT=30.299

 OPTIMUM
f=134
TT=1095.93
T1=812.98
 OPTIMUM
f=134
TT=539.963
T1=489.55
 ? (TO)

TT=2400.08

 ? (TO)

TT=2400.06

 MSAT (TO)
f=119
TT=2400.06

 OPTIMUM
f=134
TT=30.299

 OPTIMUM
f=134
TT=32.517

 ? (MO)

TT=1.08

 OPTIMUM
f=134
TT=69.837
tightness/tightness0.65/
rand-2-40-40-135-650-16_ext.xml		 MOPT
f=134
TT=204.3

 MSAT (TO)
f=132
TT=2400.09
T1=15.07
 MSAT (TO)
f=133
TT=2400.08
T1=1910.85
 ? (TO)

TT=2400.02

 ? (TO)

TT=2400.09

 MSAT (TO)
f=129
TT=2400.02

 OPTIMUM
f=134
TT=204.3

 OPTIMUM
f=134
TT=219.106

 ? (MO)

TT=1.07

 MSAT (TO)
f=133
TT=2400.12
tightness/tightness0.65/
rand-2-40-40-135-650-18_ext.xml		 MOPT
f=134
TT=29.449

 OPTIMUM
f=134
TT=413.368
T1=244.19
 OPTIMUM
f=134
TT=357.315
T1=245.81
 OPTIMUM
f=134
TT=2061.12
T1=2072.56
 OPTIMUM
f=134
TT=1728.75
T1=1742.15
 MSAT (TO)
f=120
TT=2400.03
T1=0.87
 OPTIMUM
f=134
TT=29.449

 OPTIMUM
f=134
TT=35.275

 ? (MO)

TT=1.06

 OPTIMUM
f=134
TT=397.691
tightness/tightness0.65/
rand-2-40-40-135-650-22_ext.xml		 MOPT
f=134
TT=96.411

 OPTIMUM
f=134
TT=1154.28
T1=27.05
 OPTIMUM
f=134
TT=498.619
T1=26.97
 ? (TO)

TT=2400.11

 ? (TO)

TT=2400.03

 MSAT (TO)
f=126
TT=2400.02

 OPTIMUM
f=134
TT=96.411

 OPTIMUM
f=134
TT=109.197

 ? (MO)

TT=1.06

 OPTIMUM
f=134
TT=477.183
tightness/tightness0.65/
rand-2-40-40-135-650-23_ext.xml		 MOPT
f=134
TT=142.922

 MSAT (TO)
f=133
TT=2400.16
T1=11.17
 MSAT (TO)
f=133
TT=2400.09
T1=11.13
 ? (TO)

TT=2400.08

 ? (TO)

TT=2400.08

 MSAT (TO)
f=127
TT=2400.08

 OPTIMUM
f=134
TT=142.922

 OPTIMUM
f=134
TT=165.323

 ? (MO)

TT=1.06

 OPTIMUM
f=134
TT=596.198
tightness/tightness0.65/
rand-2-40-40-135-650-25_ext.xml		 MOPT
f=134
TT=171.767

 MSAT (TO)
f=132
TT=2400.12
T1=29.79
 MSAT (TO)
f=132
TT=2400.11
T1=29.84
 ? (TO)

TT=2400.08

 ? (TO)

TT=2400.11

 MSAT (TO)
f=129
TT=2400.04

 OPTIMUM
f=134
TT=171.767

 OPTIMUM
f=134
TT=172.868

 ? (MO)

TT=1.06

 OPTIMUM
f=134
TT=431.478
tightness/tightness0.65/
rand-2-40-40-135-650-28_ext.xml		 MOPT
f=134
TT=88.682

 MSAT (TO)
f=133
TT=2400.03
T1=863.11
 OPTIMUM
f=134
TT=938.083
T1=877.87
 OPTIMUM
f=134
TT=1719.16
T1=1733.59
 OPTIMUM
f=134
TT=1745.86
T1=1746.7
 MSAT (TO)
f=127
TT=2400.02

 OPTIMUM
f=134
TT=88.682

 OPTIMUM
f=134
TT=89.038

 ? (MO)

TT=1.06

 OPTIMUM
f=134
TT=430.906
tightness/tightness0.65/
rand-2-40-40-135-650-29_ext.xml		 MOPT
f=134
TT=56.019

 MSAT (TO)
f=133
TT=2400.12
T1=1934.56
 MSAT (TO)
f=132
TT=2400.13
T1=16.84
 ? (TO)

TT=2400.11

 ? (TO)

TT=2400.06

 MSAT (TO)
f=130
TT=2400.01

 OPTIMUM
f=134
TT=56.019

 OPTIMUM
f=134
TT=68.292

 ? (MO)

TT=1.09

 OPTIMUM
f=134
TT=524.344
tightness/tightness0.65/
rand-2-40-40-135-650-2_ext.xml		 MOPT
f=134
TT=22.305

 OPTIMUM
f=134
TT=534.219
T1=232.15
 OPTIMUM
f=134
TT=623.055
T1=350.42
 OPTIMUM
f=134
TT=377.839
T1=381.12
 OPTIMUM
f=134
TT=766.202
T1=771.35
 MSAT (TO)
f=126
TT=2400.05
T1=0.93
 OPTIMUM
f=134
TT=22.305

 OPTIMUM
f=134
TT=24.763

 ? (MO)

TT=1.07

 OPTIMUM
f=134
TT=89.684
tightness/tightness0.65/
rand-2-40-40-135-650-30_ext.xml		 MOPT
f=134
TT=62.096

 MSAT (TO)
f=133
TT=2400.15
T1=28.93
 OPTIMUM
f=134
TT=1782.27
T1=1235.79
 OPTIMUM
f=134
TT=2080.17
T1=2089.82
 OPTIMUM
f=134
TT=2270.55
T1=2273.64
 MSAT (TO)
f=131
TT=2400.02

 OPTIMUM
f=134
TT=62.096

 OPTIMUM
f=134
TT=72.593

 ? (MO)

TT=1.09

 OPTIMUM
f=134
TT=439.301
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
tightness/tightness0.65/
rand-2-40-40-135-650-31_ext.xml		 MOPT
f=134
TT=1478.47

 MSAT (TO)
f=133
TT=2400.1
T1=10.82
 MSAT (TO)
f=133
TT=2400.09
T1=10.73
 ? (TO)

TT=2400.01

 ? (TO)

TT=2400.09

 MSAT (TO)
f=124
TT=2400.04
T1=0.94
 OPTIMUM
f=134
TT=1478.47

 OPTIMUM
f=134
TT=1581.82

 ? (MO)

TT=1.08

 MSAT (TO)
f=133
TT=2400.07
tightness/tightness0.8/
rand-2-40-80-103-800-0_ext.xml		 MSAT TO
f=101
TT=2400.14

 MSAT (TO)
f=101
TT=2400.14
T1=2405.76
 MSAT (TO)
f=100
TT=2400.06
T1=2274.09
 ? (TO)

TT=2400.02

 ? (TO)

TT=2400.09

 MSAT (TO)
f=92
TT=2400.01

 ? (TO)

TT=2400.09

 ? (TO)

TT=2400.04

 ? (exit code)

TT=0.644

 ? (TO)

TT=2400.09
tightness/tightness0.8/
rand-2-40-80-103-800-11_ext.xml		 MOPT
f=102
TT=34.456

 OPTIMUM
f=102
TT=341.012
T1=232.92
 OPTIMUM
f=102
TT=224.371
T1=194.2
 OPTIMUM
f=102
TT=2364.7
T1=2371.56
 ? (TO)

TT=2400.1

 MSAT (TO)
f=86
TT=2400.04
T1=1.24
 OPTIMUM
f=102
TT=34.456

 OPTIMUM
f=102
TT=34.666

 ? (exit code)

TT=0.68

 OPTIMUM
f=102
TT=204.211
tightness/tightness0.8/
rand-2-40-80-103-800-14_ext.xml		 MOPT
f=102
TT=1252.44

 OPTIMUM
f=102
TT=1460.47
T1=1237.9
 MSAT (TO)
f=100
TT=2400.12
T1=2195.1
 ? (TO)

TT=2400.02

 ? (TO)

TT=2400.07

 MSAT (TO)
f=88
TT=2400
T1=1.26
 OPTIMUM
f=102
TT=1252.44

 OPTIMUM
f=102
TT=1317.21

 ? (exit code)

TT=0.648

 OPTIMUM
f=102
TT=1635.17
tightness/tightness0.8/
rand-2-40-80-103-800-15_ext.xml		 MOPT
f=102
TT=177.884

 MSAT (TO)
f=100
TT=2400.07
T1=2294.05
 OPTIMUM
f=102
TT=2356.72
T1=2353.13
 ? (TO)

TT=2400.04

 ? (TO)

TT=2400.02

 MSAT (TO)
f=92
TT=2400.06

 OPTIMUM
f=102
TT=188.588

 OPTIMUM
f=102
TT=177.884

 ? (exit code)

TT=0.648

 OPTIMUM
f=102
TT=783.726
tightness/tightness0.8/
rand-2-40-80-103-800-16_ext.xml		 MOPT
f=102
TT=1005.01

 MSAT (TO)
f=100
TT=2400.11
T1=628.72
 MSAT (TO)
f=99
TT=2400.07
T1=21.54
 ? (TO)

TT=2400.06

 ? (TO)

TT=2400.06

 MSAT (TO)
f=92
TT=2400.09

 OPTIMUM
f=102
TT=1005.01

 OPTIMUM
f=102
TT=1080.84

 ? (exit code)

TT=0.648

 ? (TO)

TT=2400.09
tightness/tightness0.8/
rand-2-40-80-103-800-18_ext.xml		 MOPT
f=101
TT=716.109

 MSAT (TO)
f=101
TT=2400.09
T1=1810.76
 MSAT (TO)
f=101
TT=2400.11
T1=2060.49
 ? (TO)

TT=2400.02

 ? (TO)

TT=2400.06

 MSAT (TO)
f=86
TT=2400.05
T1=1.23
 OPTIMUM
f=101
TT=716.109

 OPTIMUM
f=101
TT=765.123

 ? (exit code)

TT=0.679

 MSAT (TO)
f=101
TT=2400.09
tightness/tightness0.8/
rand-2-40-80-103-800-20_ext.xml		 MOPT
f=102
TT=49.368

 OPTIMUM
f=102
TT=885.897
T1=595.43
 OPTIMUM
f=102
TT=314.82
T1=281.37
 ? (TO)

TT=2400.06

 ? (TO)

TT=2400.09

 MSAT (TO)
f=88
TT=2400.06
T1=1.24
 OPTIMUM
f=102
TT=49.368

 OPTIMUM
f=102
TT=50.802

 ? (exit code)

TT=0.68

 OPTIMUM
f=102
TT=525.702
tightness/tightness0.8/
rand-2-40-80-103-800-22_ext.xml		 MSAT TO
f=101
TT=2400.11

 MSAT (TO)
f=98
TT=2400.12
T1=1.63
 MSAT (TO)
f=99
TT=2400.1
T1=839.02
 ? (TO)

TT=2400.04

 ? (TO)

TT=2400.06

 MSAT (TO)
f=95
TT=2400.01

 MSAT (TO)
f=101
TT=2400.11

 ? (TO)

TT=2400.08

 ? (exit code)

TT=0.683

 ? (TO)

TT=2400.13
tightness/tightness0.8/
rand-2-40-80-103-800-25_ext.xml		 MSAT TO
f=100
TT=2400.11

 MSAT (TO)
f=99
TT=2400.07
T1=1161.43
 MSAT (TO)
f=100
TT=2400.11
T1=1677.81
 ? (TO)

TT=2400.12

 ? (TO)

TT=2400.08

 MSAT (TO)
f=88
TT=2400.14
T1=1.22
 MSAT (TO)
f=100
TT=2400.24

 ? (TO)

TT=2400.09

 ? (exit code)

TT=0.677

 ? (TO)

TT=2400.08
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
tightness/tightness0.8/
rand-2-40-80-103-800-28_ext.xml		 MOPT
f=101
TT=894.888

 MSAT (TO)
f=100
TT=2400.09
T1=342.73
 MSAT (TO)
f=101
TT=2400.17
T1=1207.7
 ? (TO)

TT=2400.01

 ? (TO)

TT=2400.07

 MSAT (TO)
f=81
TT=2400.04
T1=1.21
 OPTIMUM
f=101
TT=894.888

 OPTIMUM
f=101
TT=951.107

 ? (exit code)

TT=0.68

 MSAT (TO)
f=100
TT=2400.05
tightness/tightness0.8/
rand-2-40-80-103-800-29_ext.xml		 MSAT TO
f=101
TT=2400.07

 MSAT (TO)
f=101
TT=2400.08
T1=796.03
 MSAT (TO)
f=100
TT=2400.09
T1=27.61
 ? (TO)

TT=2400.01

 ? (TO)

TT=2400.11

 MSAT (TO)
f=87
TT=2400.03
T1=1.25
 MSAT (TO)
f=101
TT=2400.07

 ? (TO)

TT=2400

 ? (exit code)

TT=0.654

 MSAT (TO)
f=100
TT=2400.07
tightness/tightness0.8/
rand-2-40-80-103-800-2_ext.xml		 MOPT
f=102
TT=636.562

 OPTIMUM
f=102
TT=1527.83
T1=1272.81
 OPTIMUM
f=102
TT=1458.81
T1=1124
 ? (TO)

TT=2400.05

 ? (TO)

TT=2400

 MSAT (TO)
f=89
TT=2400.08
T1=1.21
 OPTIMUM
f=102
TT=642.201

 OPTIMUM
f=102
TT=636.562

 ? (exit code)

TT=0.678

 ? (TO)

TT=2400.07
tightness/tightness0.8/
rand-2-40-80-103-800-32_ext.xml		 MOPT
f=102
TT=405.378

 OPTIMUM
f=102
TT=2249.68
T1=1599.77
 OPTIMUM
f=102
TT=1847.61
T1=1678.74
 ? (TO)

TT=2400.04

 ? (TO)

TT=2400.07

 MSAT (TO)
f=88
TT=2400.04
T1=1.28
 OPTIMUM
f=102
TT=463.793

 OPTIMUM
f=102
TT=405.378

 ? (exit code)

TT=0.677

 OPTIMUM
f=102
TT=938.955
tightness/tightness0.8/
rand-2-40-80-103-800-35_ext.xml		 MOPT
f=102
TT=769.087

 OPTIMUM
f=102
TT=769.087
T1=720.92
 OPTIMUM
f=102
TT=1184.28
T1=1171.65
 ? (TO)

TT=2400.09

 ? (TO)

TT=2400.03

 MSAT (TO)
f=94
TT=2400.01

 ? (TO)

TT=2400.09

 ? (TO)

TT=2400.01

 ? (exit code)

TT=0.679

 MSAT (TO)
f=100
TT=2400.07
tightness/tightness0.8/
rand-2-40-80-103-800-36_ext.xml		 MOPT
f=102
TT=378.89

 OPTIMUM
f=102
TT=1313.39
T1=481.68
 OPTIMUM
f=102
TT=1226.09
T1=881.8
 ? (TO)

TT=2400.09

 ? (TO)

TT=2400.1

 MSAT (TO)
f=86
TT=2400.04
T1=1.27
 OPTIMUM
f=102
TT=552.381

 OPTIMUM
f=102
TT=378.89

 ? (exit code)

TT=0.671

 OPTIMUM
f=102
TT=1349.88
tightness/tightness0.9/
rand-2-40-180-84-900-11_ext.xml		 MOPT
f=83
TT=131.824

 OPTIMUM
f=83
TT=186.317
T1=101.71
 OPTIMUM
f=83
TT=131.824
T1=107.92
 ? (TO)

TT=2400.06

 ? (TO)

TT=2400.08

 MSAT (TO)
f=74
TT=2400.02

 OPTIMUM
f=83
TT=150.354

 OPTIMUM
f=83
TT=153.358

 ? (exit code)

TT=2.564

 OPTIMUM
f=83
TT=353.664
tightness/tightness0.9/
rand-2-40-180-84-900-14_ext.xml		 MSAT TO
f=81
TT=2400.07

 MSAT (TO)
f=81
TT=2400.07
T1=1459.98
 MSAT (TO)
f=80
TT=2400.12
T1=701.57
 ? (TO)

TT=2400.04

 ? (TO)

TT=2400.1

 MSAT (TO)
f=67
TT=2400.01
T1=1.94
 ? (TO)

TT=2400.05

 ? (TO)

TT=2400.05

 ? (exit code)

TT=2.711

 ? (TO)

TT=2400.09
tightness/tightness0.9/
rand-2-40-180-84-900-15_ext.xml		 MOPT
f=83
TT=2219.75

 OPTIMUM
f=83
TT=2219.75
T1=2144.96
 MSAT (TO)
f=81
TT=2400.07
T1=1628.3
 ? (TO)

TT=2400.1

 ? (TO)

TT=2400.04

 MSAT (TO)
f=68
TT=2400.08

 ? (TO)

TT=2400.14

 ? (TO)

TT=2400.03

 ? (exit code)

TT=2.75

 ? (TO)

TT=2400.09
tightness/tightness0.9/
rand-2-40-180-84-900-16_ext.xml		 MSAT TO
f=83
TT=2400.16

 MSAT (TO)
f=83
TT=2400.16
T1=1965.61
 MSAT (TO)
f=81
TT=2400.1
T1=1277.4
 ? (TO)

TT=2400.03

 ? (TO)

TT=2400.08

 MSAT (TO)
f=68
TT=2400.06
T1=1.97
 ? (TO)

TT=2400.08

 ? (TO)

TT=2400

 ? (exit code)

TT=2.534

 ? (TO)

TT=2400.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
tightness/tightness0.9/
rand-2-40-180-84-900-18_ext.xml		 MOPT
f=82
TT=1354.8

 MSAT (TO)
f=81
TT=2400.08
T1=291.26
 OPTIMUM
f=82
TT=2181.81
T1=1045.29
 ? (TO)

TT=2400.09

 ? (TO)

TT=2400.13

 MSAT (TO)
f=76
TT=2400.07

 OPTIMUM
f=82
TT=1776.55

 OPTIMUM
f=82
TT=1354.8

 ? (exit code)

TT=2.722

 ? (TO)

TT=2400
tightness/tightness0.9/
rand-2-40-180-84-900-22_ext.xml		 MOPT
f=83
TT=2337.27

 MSAT (TO)
f=82
TT=2400.05
T1=999.91
 OPTIMUM
f=83
TT=2337.27
T1=2300.7
 ? (TO)

TT=2400.01

 Signal

TT=2.954

 MSAT (TO)
f=66
TT=2400.03
T1=1.94
 ? (TO)

TT=2400.12

 ? (TO)

TT=2400.06

 ? (exit code)

TT=2.737

 ? (TO)

TT=2400.08
tightness/tightness0.9/
rand-2-40-180-84-900-23_ext.xml		 MOPT
f=83
TT=200.271

 OPTIMUM
f=83
TT=2121.34
T1=1353.53
 OPTIMUM
f=83
TT=1567.01
T1=1261.67
 ? (TO)

TT=2400.02

 ? (TO)

TT=2400.06

 MSAT (TO)
f=69
TT=2400.02
T1=1.94
 OPTIMUM
f=83
TT=235.689

 OPTIMUM
f=83
TT=200.271

 ? (exit code)

TT=2.619

 ? (TO)

TT=2400.09
tightness/tightness0.9/
rand-2-40-180-84-900-25_ext.xml		 MSAT TO
f=78
TT=2400.06

 MSAT (TO)
f=77
TT=2400.03
T1=17.93
 MSAT (TO)
f=78
TT=2400.06
T1=1240.81
 ? (TO)

TT=2400.07

 ? (TO)

TT=2400.1

 MSAT (TO)
f=65
TT=2400.06
T1=1.94
 ? (TO)

TT=2400.06

 ? (TO)

TT=2400

 ? (exit code)

TT=2.712

 ? (TO)

TT=2400.08
tightness/tightness0.9/
rand-2-40-180-84-900-27_ext.xml		 MSAT TO
f=80
TT=2400.09

 MSAT (TO)
f=80
TT=2400.17
T1=21.31
 MSAT (TO)
f=80
TT=2400.09
T1=21.24
 ? (TO)

TT=2400.11

 ? (TO)

TT=2400.02

 MSAT (TO)
f=69
TT=2400.07
T1=1.97
 ? (TO)

TT=2400.11

 ? (TO)

TT=2400.05

 ? (exit code)

TT=2.732

 ? (TO)

TT=2400.01
tightness/tightness0.9/
rand-2-40-180-84-900-28_ext.xml		 MOPT
f=82
TT=1774.08

 MSAT (TO)
f=82
TT=2400.12
T1=1293.83
 OPTIMUM
f=82
TT=1774.08
T1=1270.29
 ? (TO)

TT=2400.06

 ? (TO)

TT=2400.07

 MSAT (TO)
f=70
TT=2400.1
T1=1.94
 ? (TO)

TT=2400.12

 ? (TO)

TT=2400.03

 ? (exit code)

TT=2.731

 ? (TO)

TT=2400.02
tightness/tightness0.9/
rand-2-40-180-84-900-29_ext.xml		 MOPT
f=83
TT=356.638

 OPTIMUM
f=83
TT=982.667
T1=879.88
 OPTIMUM
f=83
TT=991.39
T1=926.08
 ? (TO)

TT=2400.08

 ? (TO)

TT=2400.08

 MSAT (TO)
f=66
TT=2400.02
T1=1.95
 OPTIMUM
f=83
TT=463.424

 OPTIMUM
f=83
TT=356.638

 ? (exit code)

TT=2.739

 ? (TO)

TT=2400.09
tightness/tightness0.9/
rand-2-40-180-84-900-2_ext.xml		 MOPT
f=83
TT=1888.16

 OPTIMUM
f=83
TT=2239.28
T1=2003.26
 OPTIMUM
f=83
TT=1888.16
T1=1808.11
 ? (TO)

TT=2400.06

 ? (TO)

TT=2400.05

 MSAT (TO)
f=69
TT=2400.1

 ? (TO)

TT=2400.07

 ? (TO)

TT=2400.05

 ? (exit code)

TT=2.72

 ? (TO)

TT=2400.06
tightness/tightness0.9/
rand-2-40-180-84-900-34_ext.xml		 MOPT
f=83
TT=938.143

 OPTIMUM
f=83
TT=1292.7
T1=958.13
 OPTIMUM
f=83
TT=938.143
T1=752.48
 ? (TO)

TT=2400.02

 ? (TO)

TT=2400.05

 MSAT (TO)
f=64
TT=2400.01
T1=1.95
 OPTIMUM
f=83
TT=1327.21

 OPTIMUM
f=83
TT=1435.35

 ? (exit code)

TT=2.739

 OPTIMUM
f=83
TT=2256.19
tightness/tightness0.9/
rand-2-40-180-84-900-35_ext.xml		 MSAT TO
f=81
TT=2400.15

 MSAT (TO)
f=80
TT=2400.13
T1=1328.04
 MSAT (TO)
f=81
TT=2400.15
T1=2001.21
 ? (TO)

TT=2400.07

 ? (TO)

TT=2400.07

 MSAT (TO)
f=62
TT=2400.01
T1=1.94
 ? (TO)

TT=2400.14

 ? (TO)

TT=2400.03

 ? (exit code)

TT=2.614

 ? (TO)

TT=2400.02
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
tightness/tightness0.9/
rand-2-40-180-84-900-39_ext.xml		 MSAT TO
f=82
TT=2400.1

 MSAT (TO)
f=82
TT=2400.1
T1=1369.5
 MSAT (TO)
f=82
TT=2400.14
T1=1941.15
 ? (TO)

TT=2400.1

 ? (TO)

TT=2400.04

 MSAT (TO)
f=64
TT=2400.05
T1=1.92
 ? (TO)

TT=2400.13

 ? (TO)

TT=2400

 ? (exit code)

TT=2.726

 ? (TO)

TT=2400.02

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 answer18720817317102582540222
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)102217601992202