MAX-CSP 2006 Competition: results by benchmark

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

This page displays the results of the different solvers for each benchmark for category binary constraints in extension (2-ARY-EXT), subcategory boolean 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/cnf/2-40-100-1000/
cnf-2-40-1000-261921_ext.xml		 MOPT
f=399
TT=4.88

 OPTIMUM
f=399
TT=594.31
T1=267.65
 OPTIMUM
f=399
TT=538.099
T1=126.38
 OPTIMUM
f=399
TT=7.434
T1=7.46
 OPTIMUM
f=399
TT=6.48
T1=6.5
 ? (problem)

TT=0.5

NODES=0
 OPTIMUM
f=399
TT=4.88

 OPTIMUM
f=399
TT=5.39

 OPTIMUM
f=399
TT=1.016

 OPTIMUM
f=399
TT=10.484
MaxCSP/cnf/2-40-100-1000/
cnf-2-40-100-730621_ext.xml		 MOPT
f=90
TT=0.047

 OPTIMUM
f=90
TT=30.784
T1=0.54
 OPTIMUM
f=90
TT=30.806
T1=0.6
 OPTIMUM
f=90
TT=0.047
T1=0.05
 OPTIMUM
f=90
TT=0.049
T1=0.05
 ? (problem)

TT=0.333

NODES=0
 OPTIMUM
f=90
TT=1.207

 OPTIMUM
f=90
TT=1.355

 OPTIMUM
f=90
TT=0.277

 OPTIMUM
f=90
TT=1.217
MaxCSP/cnf/2-40-100-1000/
cnf-2-40-200-456321_ext.xml		 MOPT
f=160
TT=0.127

 OPTIMUM
f=160
TT=40.1
T1=0.66
 OPTIMUM
f=160
TT=38.945
T1=0.62
 OPTIMUM
f=160
TT=0.127
T1=0.13
 OPTIMUM
f=160
TT=0.128
T1=0.12
 ? (problem)

TT=0.37

NODES=0
 OPTIMUM
f=160
TT=1.928

 OPTIMUM
f=160
TT=1.955

 OPTIMUM
f=160
TT=0.381

 OPTIMUM
f=160
TT=1.847
MaxCSP/cnf/2-40-100-1000/
cnf-2-40-300-182021_ext.xml		 MOPT
f=211
TT=0.152

 OPTIMUM
f=211
TT=57.517
T1=0.65
 OPTIMUM
f=211
TT=65.466
T1=0.68
 OPTIMUM
f=211
TT=0.164
T1=0.16
 OPTIMUM
f=211
TT=0.152
T1=0.15
 ? (problem)

TT=0.376

NODES=0
 OPTIMUM
f=211
TT=2.655

 OPTIMUM
f=211
TT=2.812

 OPTIMUM
f=211
TT=0.472

 OPTIMUM
f=211
TT=2.723
MaxCSP/cnf/2-40-100-1000/
cnf-2-40-400-907721_ext.xml		 MOPT
f=267
TT=0.542

 OPTIMUM
f=267
TT=74.635
T1=0.75
 OPTIMUM
f=267
TT=70.239
T1=0.74
 OPTIMUM
f=267
TT=0.605
T1=0.61
 OPTIMUM
f=267
TT=0.542
T1=0.54
 ? (problem)

TT=0.409

NODES=0
 OPTIMUM
f=267
TT=2.713

 OPTIMUM
f=267
TT=3.004

 OPTIMUM
f=267
TT=0.55

 OPTIMUM
f=267
TT=3.059
MaxCSP/cnf/2-40-100-1000/
cnf-2-40-500-633421_ext.xml		 MOPT
f=299
TT=0.637

 OPTIMUM
f=299
TT=120.733
T1=0.73
 OPTIMUM
f=299
TT=159.972
T1=0.76
 OPTIMUM
f=299
TT=0.676
T1=0.67
 OPTIMUM
f=299
TT=0.637
T1=0.63
 ? (problem)

TT=0.43

NODES=0
 OPTIMUM
f=299
TT=3.161

 OPTIMUM
f=299
TT=3.381

 OPTIMUM
f=299
TT=0.643

 OPTIMUM
f=299
TT=3.99
MaxCSP/cnf/2-40-100-1000/
cnf-2-40-600-359121_ext.xml		 MOPT
f=345
TT=0.354

 OPTIMUM
f=345
TT=82.428
T1=1.34
 OPTIMUM
f=345
TT=168.574
T1=1.33
 OPTIMUM
f=345
TT=0.388
T1=0.38
 OPTIMUM
f=345
TT=0.354
T1=0.35
 ? (problem)

TT=0.456

NODES=0
 OPTIMUM
f=345
TT=3.45

 OPTIMUM
f=345
TT=3.573

 OPTIMUM
f=345
TT=0.713

 OPTIMUM
f=345
TT=3.881
MaxCSP/cnf/2-40-100-1000/
cnf-2-40-700-084821_ext.xml		 MOPT
f=371
TT=3.092

 OPTIMUM
f=371
TT=193.663
T1=4.99
 OPTIMUM
f=371
TT=180.129
T1=4.85
 OPTIMUM
f=371
TT=3.295
T1=3.3
 OPTIMUM
f=371
TT=3.092
T1=3.11
 ? (problem)

TT=0.473

NODES=0
 OPTIMUM
f=371
TT=4.028

 OPTIMUM
f=371
TT=4.325

 OPTIMUM
f=371
TT=0.748

 OPTIMUM
f=371
TT=5.601
MaxCSP/cnf/2-40-100-1000/
cnf-2-40-800-810521_ext.xml		 MOPT
f=376
TT=0.788

 OPTIMUM
f=376
TT=104.354
T1=35.37
 OPTIMUM
f=376
TT=72.474
T1=32.33
 OPTIMUM
f=376
TT=0.865
T1=0.86
 OPTIMUM
f=376
TT=0.788
T1=0.79
 ? (problem)

TT=0.513

NODES=0
 OPTIMUM
f=376
TT=4.153

 OPTIMUM
f=376
TT=4.247

 OPTIMUM
f=376
TT=0.841

 OPTIMUM
f=376
TT=4.849
MaxCSP/cnf/2-40-100-1000/
cnf-2-40-900-536221_ext.xml		 MOPT
f=397
TT=1.29

 OPTIMUM
f=397
TT=314.955
T1=116.11
 OPTIMUM
f=397
TT=351.938
T1=37.34
 OPTIMUM
f=397
TT=1.533
T1=1.53
 OPTIMUM
f=397
TT=1.29
T1=1.3
 ? (problem)

TT=0.522

NODES=0
 OPTIMUM
f=397
TT=4.525

 OPTIMUM
f=397
TT=4.847

 OPTIMUM
f=397
TT=0.936

 OPTIMUM
f=397
TT=6.488
Bench nameBest results
on this
instance		AbsconMax
109 EPFC		AbsconMax
109 PFC		aolibdvo
2007-01-17		aolibpvo
2007-01-17		CSP4J - MaxCSP
2006-12-19		toolbar
2007-01-12		Toolbar_BTD
2007-01-12		Toolbar_MaxSat
2007-01-19		Toulbar2
2007-01-12
MaxCSP/cnf/2-40-1100-2000/
cnf-2-40-1100-987621_ext.xml		 MOPT
f=421
TT=5.826

 OPTIMUM
f=421
TT=603.72
T1=0.65
 OPTIMUM
f=421
TT=642.098
T1=0.69
 OPTIMUM
f=421
TT=8.781
T1=8.85
 OPTIMUM
f=421
TT=7.797
T1=7.82
 ? (problem)

TT=0.544

NODES=0
 OPTIMUM
f=421
TT=5.826

 OPTIMUM
f=421
TT=6.124

 OPTIMUM
f=421
TT=1.137

 OPTIMUM
f=421
TT=13.869
MaxCSP/cnf/2-40-1100-2000/
cnf-2-40-1200-713321_ext.xml		 MOPT
f=440
TT=3.899

 OPTIMUM
f=440
TT=366.669
T1=3.19
 OPTIMUM
f=440
TT=321.809
T1=3.08
 OPTIMUM
f=440
TT=4.165
T1=4.2
 OPTIMUM
f=440
TT=3.899
T1=3.93
 ? (problem)

TT=0.551

NODES=0
 OPTIMUM
f=440
TT=4.699

 OPTIMUM
f=440
TT=4.921

 OPTIMUM
f=440
TT=1.149

 OPTIMUM
f=440
TT=6.795
MaxCSP/cnf/
2-40-1100-2000/
cnf-2-40-1300-39021_ext.xml		 MOPT
f=437
TT=4.634

 OPTIMUM
f=437
TT=606.08
T1=1.76
 OPTIMUM
f=437
TT=624.112
T1=1.64
 OPTIMUM
f=437
TT=5.056
T1=5.1
 OPTIMUM
f=437
TT=4.634
T1=4.67
 ? (problem)

TT=0.554

NODES=0
 OPTIMUM
f=437
TT=5.649

 OPTIMUM
f=437
TT=5.853

 OPTIMUM
f=437
TT=1.228

 OPTIMUM
f=437
TT=11.433
MaxCSP/cnf/2-40-1100-2000/
cnf-2-40-1400-164721_ext.xml		 MOPT
f=433
TT=5.648

 OPTIMUM
f=433
TT=1029.15
T1=1.38
 OPTIMUM
f=433
TT=818.101
T1=1.49
 OPTIMUM
f=433
TT=7.132
T1=7.16
 OPTIMUM
f=433
TT=6.526
T1=6.57
 ? (problem)

TT=0.559

NODES=0
 OPTIMUM
f=433
TT=5.648

 OPTIMUM
f=433
TT=5.953

 OPTIMUM
f=433
TT=1.287

 OPTIMUM
f=433
TT=13.403
MaxCSP/cnf/2-40-1100-2000/
cnf-2-40-1500-890421_ext.xml		 MOPT
f=452
TT=4.298

 OPTIMUM
f=452
TT=299.718
T1=0.7
 OPTIMUM
f=452
TT=353.799
T1=0.67
 OPTIMUM
f=452
TT=4.702
T1=4.74
 OPTIMUM
f=452
TT=4.298
T1=4.31
 ? (problem)

TT=0.557

NODES=0
 OPTIMUM
f=452
TT=5.248

 OPTIMUM
f=452
TT=5.414

 OPTIMUM
f=452
TT=1.285

 OPTIMUM
f=452
TT=8.317
MaxCSP/cnf/2-40-1100-2000/
cnf-2-40-1600-616121_ext.xml		 MOPT
f=433
TT=5.27

 OPTIMUM
f=433
TT=1032.62
T1=141.16
 OPTIMUM
f=433
TT=936.416
T1=191.45
 OPTIMUM
f=433
TT=7.956
T1=7.99
 OPTIMUM
f=433
TT=7.346
T1=7.41
 ? (problem)

TT=0.558

NODES=0
 OPTIMUM
f=433
TT=5.27

 OPTIMUM
f=433
TT=5.484

 OPTIMUM
f=433
TT=1.373

 OPTIMUM
f=433
TT=11.301
MaxCSP/cnf/2-40-1100-2000/
cnf-2-40-1700-341821_ext.xml		 MOPT
f=405
TT=5.926

 OPTIMUM
f=405
TT=984.487
T1=5.31
 OPTIMUM
f=405
TT=1092.47
T1=4.97
 OPTIMUM
f=405
TT=6.481
T1=6.53
 OPTIMUM
f=405
TT=5.94
T1=5.96
 ? (problem)

TT=0.551

NODES=0
 OPTIMUM
f=405
TT=5.926

 OPTIMUM
f=405
TT=6.2

 OPTIMUM
f=405
TT=1.403

 OPTIMUM
f=405
TT=14.04
MaxCSP/cnf/2-40-1100-2000/
cnf-2-40-1800-067521_ext.xml		 MOPT
f=426
TT=6.204

 OPTIMUM
f=426
TT=716.67
T1=247.43
 OPTIMUM
f=426
TT=592.118
T1=249.03
 OPTIMUM
f=426
TT=14.213
T1=14.32
 OPTIMUM
f=426
TT=12.962
T1=13.07
 ? (problem)

TT=0.572

NODES=0
 OPTIMUM
f=426
TT=6.204

 OPTIMUM
f=426
TT=6.53

 OPTIMUM
f=426
TT=1.412

 OPTIMUM
f=426
TT=14.138
MaxCSP/cnf/2-40-1100-2000/
cnf-2-40-1900-793221_ext.xml		 MOPT
f=440
TT=3.504

 OPTIMUM
f=440
TT=668.249
T1=381.6
 OPTIMUM
f=440
TT=572.149
T1=35.7
 OPTIMUM
f=440
TT=3.873
T1=3.91
 OPTIMUM
f=440
TT=3.504
T1=3.53
 ? (problem)

TT=0.564

NODES=0
 OPTIMUM
f=440
TT=5.417

 OPTIMUM
f=440
TT=5.657

 OPTIMUM
f=440
TT=1.413

 OPTIMUM
f=440
TT=9.322
MaxCSP/cnf/2-40-1100-2000/
cnf-2-40-2000-518921_ext.xml		 MOPT
f=403
TT=6.027

 OPTIMUM
f=403
TT=862.971
T1=0.99
 OPTIMUM
f=403
TT=902.531
T1=0.99
 OPTIMUM
f=403
TT=10.948
T1=11.04
 OPTIMUM
f=403
TT=10.102
T1=10.19
 ? (problem)

TT=0.56

NODES=0
 OPTIMUM
f=403
TT=6.027

 OPTIMUM
f=403
TT=6.236

 OPTIMUM
f=403
TT=1.45

 OPTIMUM
f=403
TT=13.495
Bench nameBest results
on this
instance		AbsconMax
109 EPFC		AbsconMax
109 PFC		aolibdvo
2007-01-17		aolibpvo
2007-01-17		CSP4J - MaxCSP
2006-12-19		toolbar
2007-01-12		Toolbar_BTD
2007-01-12		Toolbar_MaxSat
2007-01-19		Toulbar2
2007-01-12
MaxCSP/cnf/2-40-2100-3000/
cnf-2-40-2100-244621_ext.xml		 MOPT
f=437
TT=1.093

 OPTIMUM
f=437
TT=167.379
T1=2.67
 OPTIMUM
f=437
TT=193.909
T1=2.84
 OPTIMUM
f=437
TT=1.202
T1=1.21
 OPTIMUM
f=437
TT=1.093
T1=1.1
 ? (problem)

TT=0.536

NODES=0
 OPTIMUM
f=437
TT=5.208

 OPTIMUM
f=437
TT=5.281

 OPTIMUM
f=437
TT=1.437

 OPTIMUM
f=437
TT=6.722
MaxCSP/cnf/2-40-2100-3000/
cnf-2-40-2200-970321_ext.xml		 MOPT
f=428
TT=3.295

 OPTIMUM
f=428
TT=378.62
T1=34.96
 OPTIMUM
f=428
TT=400.857
T1=32.21
 OPTIMUM
f=428
TT=3.66
T1=3.66
 OPTIMUM
f=428
TT=3.295
T1=3.29
 ? (problem)

TT=0.53

NODES=0
 OPTIMUM
f=428
TT=5.689

 OPTIMUM
f=428
TT=5.904

 OPTIMUM
f=428
TT=1.485

 OPTIMUM
f=428
TT=10.34
MaxCSP/cnf/
2-40-2100-3000/
cnf-2-40-2300-96021_ext.xml		 MOPT
f=391
TT=4.797

 OPTIMUM
f=391
TT=591.42
T1=0.77
 OPTIMUM
f=391
TT=580.258
T1=0.78
 OPTIMUM
f=391
TT=5.061
T1=5.08
 OPTIMUM
f=391
TT=4.797
T1=4.8
 ? (problem)

TT=0.556

NODES=0
 OPTIMUM
f=391
TT=5.624

 OPTIMUM
f=391
TT=5.437

 OPTIMUM
f=391
TT=1.496

 OPTIMUM
f=391
TT=12.671
MaxCSP/cnf/2-40-2100-3000/
cnf-2-40-2400-421721_ext.xml		 MOPT
f=387
TT=5.529

 OPTIMUM
f=387
TT=770.822
T1=177.48
 OPTIMUM
f=387
TT=921.708
T1=749.16
 OPTIMUM
f=387
TT=9.028
T1=9.07
 OPTIMUM
f=387
TT=8.506
T1=8.55
 ? (problem)

TT=0.56

NODES=0
 OPTIMUM
f=387
TT=5.529

 OPTIMUM
f=387
TT=6.21

 OPTIMUM
f=387
TT=1.538

 OPTIMUM
f=387
TT=13.663
MaxCSP/cnf/2-40-2100-3000/
cnf-2-40-2500-147421_ext.xml		 MOPT
f=379
TT=7.697

 OPTIMUM
f=379
TT=1409.42
T1=853.9
 OPTIMUM
f=379
TT=1688.27
T1=711.25
 OPTIMUM
f=379
TT=16.081
T1=16.16
 OPTIMUM
f=379
TT=14.274
T1=14.3
 ? (problem)

TT=0.568

NODES=0
 OPTIMUM
f=379
TT=7.697

 OPTIMUM
f=379
TT=8.637

 OPTIMUM
f=379
TT=1.639

 OPTIMUM
f=379
TT=21.159
MaxCSP/cnf/2-40-2100-3000/
cnf-2-40-2600-873121_ext.xml		 MOPT
f=373
TT=5.362

 OPTIMUM
f=373
TT=540.113
T1=2.49
 OPTIMUM
f=373
TT=626.227
T1=2.43
 OPTIMUM
f=373
TT=6.102
T1=6.13
 OPTIMUM
f=373
TT=5.927
T1=5.95
 ? (problem)

TT=0.551

NODES=0
 OPTIMUM
f=373
TT=5.362

 OPTIMUM
f=373
TT=5.927

 OPTIMUM
f=373
TT=1.537

 OPTIMUM
f=373
TT=10.817
MaxCSP/cnf/2-40-2100-3000/
cnf-2-40-2700-598821_ext.xml		 MOPT
f=381
TT=2.493

 OPTIMUM
f=381
TT=397.371
T1=0.94
 OPTIMUM
f=381
TT=398.623
T1=0.92
 OPTIMUM
f=381
TT=2.677
T1=2.69
 OPTIMUM
f=381
TT=2.493
T1=2.5
 ? (problem)

TT=0.55

NODES=0
 OPTIMUM
f=381
TT=4.777

 OPTIMUM
f=381
TT=5.048

 OPTIMUM
f=381
TT=1.511

 OPTIMUM
f=381
TT=5.923
MaxCSP/cnf/2-40-2100-3000/
cnf-2-40-2800-324521_ext.xml		 MOPT
f=374
TT=5.275

 OPTIMUM
f=374
TT=327.936
T1=52.52
 OPTIMUM
f=374
TT=265.694
T1=123.48
 OPTIMUM
f=374
TT=8.009
T1=8.03
 OPTIMUM
f=374
TT=7.786
T1=7.85
 ? (problem)

TT=0.558

NODES=0
 OPTIMUM
f=374
TT=5.275

 OPTIMUM
f=374
TT=5.453

 OPTIMUM
f=374
TT=1.567

 OPTIMUM
f=374
TT=8.296
MaxCSP/cnf/2-40-2100-3000/
cnf-2-40-2900-050221_ext.xml		 MOPT
f=357
TT=4.593

 OPTIMUM
f=357
TT=706.618
T1=4.2
 OPTIMUM
f=357
TT=493.936
T1=3.94
 OPTIMUM
f=357
TT=4.593
T1=4.59
 OPTIMUM
f=357
TT=4.807
T1=4.85
 ? (problem)

TT=0.527

NODES=0
 OPTIMUM
f=357
TT=5.183

 OPTIMUM
f=357
TT=5.483

 OPTIMUM
f=357
TT=1.589

 OPTIMUM
f=357
TT=8.683
MaxCSP/cnf/2-40-2100-3000/
cnf-2-40-3000-775921_ext.xml		 MOPT
f=334
TT=5.193

 OPTIMUM
f=334
TT=905.608
T1=1.69
 OPTIMUM
f=334
TT=604.223
T1=1.74
 OPTIMUM
f=334
TT=7.32
T1=7.35
 OPTIMUM
f=334
TT=7.233
T1=7.26
 ? (problem)

TT=0.559

NODES=0
 OPTIMUM
f=334
TT=5.193

 OPTIMUM
f=334
TT=5.477

 OPTIMUM
f=334
TT=1.491

 OPTIMUM
f=334
TT=12.689
Bench nameBest results
on this
instance		AbsconMax
109 EPFC		AbsconMax
109 PFC		aolibdvo
2007-01-17		aolibpvo
2007-01-17		CSP4J - MaxCSP
2006-12-19		toolbar
2007-01-12		Toolbar_BTD
2007-01-12		Toolbar_MaxSat
2007-01-19		Toulbar2
2007-01-12
MaxCSP/cnf/2-80-100-1000/
cnf-2-80-1000-266841_ext.xml		 MOPT
f=734
TT=217.416

 MSAT (TO)
f=733
TT=2400.12
T1=6.74
 MSAT (TO)
f=733
TT=2400.11
T1=6.76
 OPTIMUM
f=734
TT=1256.55
T1=1262.57
 OPTIMUM
f=734
TT=1195.86
T1=1201.21
 ? (problem)

TT=0.595

NODES=0
 OPTIMUM
f=734
TT=220.517

 OPTIMUM
f=734
TT=217.416

 OPTIMUM
f=734
TT=10.218

 OPTIMUM
f=734
TT=1182.55
MaxCSP/cnf/2-80-100-1000/
cnf-2-80-100-735541_ext.xml		 SAT
f=100
TT=0.065

 SAT
f=100
TT=0.75
T1=0.76
 SAT
f=100
TT=0.768
T1=0.8
 Signal

TT=0.076

 Signal

TT=0.062

 SAT
f=100
TT=0.351
T1=0.38
NODES=42
 SAT
f=100
TT=0.071

 SAT
f=100
TT=0.082

 SAT
f=100
TT=0.102

 SAT
f=100
TT=0.065
MaxCSP/cnf/2-80-100-1000/
cnf-2-80-200-461241_ext.xml		 MOPT
f=189
TT=0.268

 OPTIMUM
f=189
TT=91.824
T1=3.62
 OPTIMUM
f=189
TT=82.633
T1=3.38
 OPTIMUM
f=189
TT=0.308
T1=0.31
 OPTIMUM
f=189
TT=0.268
T1=0.26
 ? (problem)

TT=0.373

NODES=0
 OPTIMUM
f=189
TT=1.715

 OPTIMUM
f=189
TT=1.882

 OPTIMUM
f=189
TT=0.325

 OPTIMUM
f=189
TT=1.765
MaxCSP/cnf/2-80-100-1000/
cnf-2-80-300-186941_ext.xml		 MOPT
f=269
TT=1.196

 OPTIMUM
f=269
TT=981.391
T1=2.95
 OPTIMUM
f=269
TT=815.622
T1=2.99
 OPTIMUM
f=269
TT=1.196
T1=1.2
 OPTIMUM
f=269
TT=1.96
T1=1.97
 ? (problem)

TT=0.418

NODES=0
 OPTIMUM
f=269
TT=2.262

 OPTIMUM
f=269
TT=2.439

 OPTIMUM
f=269
TT=0.459

 OPTIMUM
f=269
TT=2.557
MaxCSP/cnf/2-80-100-1000/
cnf-2-80-400-912641_ext.xml		 MOPT
f=334
TT=3.359

 MSAT (TO)
f=333
TT=2400.04
T1=3.18
 MSAT (TO)
f=333
TT=2400.13
T1=3.16
 OPTIMUM
f=334
TT=8.947
T1=8.98
 OPTIMUM
f=334
TT=12.208
T1=12.25
 ? (problem)

TT=0.462

NODES=0
 OPTIMUM
f=334
TT=3.359

 OPTIMUM
f=334
TT=3.804

 OPTIMUM
f=334
TT=0.849

 OPTIMUM
f=334
TT=8.215
MaxCSP/cnf/2-80-100-1000/
cnf-2-80-500-638341_ext.xml		 MOPT
f=408
TT=4.03

 MSAT (TO)
f=408
TT=2400.12
T1=5.71
 MSAT (TO)
f=408
TT=2400.13
T1=5.83
 OPTIMUM
f=408
TT=14.831
T1=14.93
 OPTIMUM
f=408
TT=13.78
T1=13.89
 ? (problem)

TT=0.487

NODES=0
 OPTIMUM
f=408
TT=4.03

 OPTIMUM
f=408
TT=4.321

 OPTIMUM
f=408
TT=0.904

 OPTIMUM
f=408
TT=9.945
MaxCSP/cnf/2-80-100-1000/
cnf-2-80-600-364041_ext.xml		 MOPT
f=479
TT=32.306

 MSAT (TO)
f=477
TT=2400.15
T1=0.79
 MSAT (TO)
f=477
TT=2400.09
T1=0.79
 OPTIMUM
f=479
TT=202.346
T1=203.14
 OPTIMUM
f=479
TT=181.313
T1=182.9
 ? (problem)

TT=0.522

NODES=0
 OPTIMUM
f=479
TT=32.306

 OPTIMUM
f=479
TT=34.156

 OPTIMUM
f=479
TT=3.276

 OPTIMUM
f=479
TT=196.24
MaxCSP/cnf/2-80-100-1000/
cnf-2-80-700-089741_ext.xml		 MOPT
f=540
TT=24.582

 MSAT (TO)
f=540
TT=2400.12
T1=5.06
 MSAT (TO)
f=540
TT=2400.09
T1=5.14
 OPTIMUM
f=540
TT=183.706
T1=184.43
 OPTIMUM
f=540
TT=170.282
T1=171.65
 ? (problem)

TT=0.542

NODES=0
 OPTIMUM
f=540
TT=24.582

 OPTIMUM
f=540
TT=25.959

 OPTIMUM
f=540
TT=13.058

 OPTIMUM
f=540
TT=92.283
MaxCSP/cnf/2-80-100-1000/
cnf-2-80-800-815441_ext.xml		 MOPT
f=605
TT=38.244

 MSAT (TO)
f=603
TT=2400.12
T1=4.34
 MSAT (TO)
f=603
TT=2400.1
T1=3.97
 OPTIMUM
f=605
TT=382.203
T1=383.55
 OPTIMUM
f=605
TT=370.693
T1=370.79
 ? (problem)

TT=0.563

NODES=0
 OPTIMUM
f=605
TT=38.244

 OPTIMUM
f=605
TT=40.138

 OPTIMUM
f=605
TT=4.793

 OPTIMUM
f=605
TT=230.165
MaxCSP/cnf/2-80-100-1000/
cnf-2-80-900-541141_ext.xml		 MOPT
f=662
TT=766.158

 MSAT (TO)
f=661
TT=2400.14
T1=2.97
 MSAT (TO)
f=661
TT=2400.14
T1=2.93
 MSAT (TO)
f=656
TT=2400.06
T1=160.03
 MSAT (TO)
f=660
TT=2400.03
T1=2246.97
 ? (problem)

TT=0.575

NODES=0
 OPTIMUM
f=662
TT=766.158

 OPTIMUM
f=662
TT=855.172

 OPTIMUM
f=662
TT=25.674

 MSAT (TO)
f=662
TT=2400.13
Bench nameBest results
on this
instance		AbsconMax
109 EPFC		AbsconMax
109 PFC		aolibdvo
2007-01-17		aolibpvo
2007-01-17		CSP4J - MaxCSP
2006-12-19		toolbar
2007-01-12		Toolbar_BTD
2007-01-12		Toolbar_MaxSat
2007-01-19		Toulbar2
2007-01-12
MaxCSP/cnf/2-80-1100-2000/
cnf-2-80-1100-992541_ext.xml		 MOPT
f=763
TT=1705.87

 MSAT (TO)
f=761
TT=2400.07
T1=13.76
 MSAT (TO)
f=761
TT=2400.15
T1=13.7
 MSAT (TO)
f=728
TT=2400.05
T1=0.77
 MSAT (TO)
f=730
TT=2400.1
T1=38.71
 ? (problem)

TT=0.609

NODES=0
 OPTIMUM
f=763
TT=1730.1

 OPTIMUM
f=763
TT=1705.87

 OPTIMUM
f=763
TT=23.847

 MSAT (TO)
f=763
TT=2400.1
MaxCSP/cnf/2-80-1100-2000/
cnf-2-80-1200-718241_ext.xml		 MOPT
f=813
TT=1627

 MSAT (TO)
f=808
TT=2400.12
T1=8.06
 MSAT (TO)
f=808
TT=2400.13
T1=8.13
 MSAT (TO)
f=803
TT=2400.04
T1=16.25
 MSAT (TO)
f=800
TT=2400.03
T1=3.7
 ? (problem)

TT=0.578

NODES=0
 OPTIMUM
f=813
TT=1627

 OPTIMUM
f=813
TT=1670.63

 OPTIMUM
f=813
TT=41.344

 MSAT (TO)
f=813
TT=2400.06
MaxCSP/cnf/2-80-1100-2000/
cnf-2-80-1300-443941_ext.xml		 MSAT TO
f=903
TT=2400.05

 MSAT (TO)
f=898
TT=2400.12
T1=25.86
 MSAT (TO)
f=898
TT=2400.12
T1=27.89
 MSAT (TO)
f=886
TT=2400.05
T1=45.58
 MSAT (TO)
f=882
TT=2400.07
T1=27.32
 ? (problem)

TT=0.604

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

 ? (TO)

TT=2400.03

 OPTIMUM
f=903
TT=31.722

 MSAT (TO)
f=903
TT=2400.07
MaxCSP/cnf/2-80-1100-2000/
cnf-2-80-1400-169641_ext.xml		 MOPT
f=931
TT=1221.28

 MSAT (TO)
f=925
TT=2400.14
T1=3.64
 MSAT (TO)
f=925
TT=2400.09
T1=3.31
 MSAT (TO)
f=908
TT=2400.11
T1=527.09
 MSAT (TO)
f=920
TT=2400.03
T1=1697.18
 ? (problem)

TT=0.659

NODES=0
 OPTIMUM
f=931
TT=1221.28

 OPTIMUM
f=931
TT=1284.9

 OPTIMUM
f=931
TT=17.321

 MSAT (TO)
f=931
TT=2400.05
MaxCSP/cnf/2-80-1100-2000/
cnf-2-80-1500-895341_ext.xml		 MSAT TO
f=949
TT=2400.09

 MSAT (TO)
f=946
TT=2400.11
T1=11.89
 MSAT (TO)
f=946
TT=2400.06
T1=12.85
 MSAT (TO)
f=940
TT=2400.06
T1=187.52
 MSAT (TO)
f=938
TT=2400.03
T1=145.03
 ? (problem)

TT=0.676

NODES=0
 MSAT (TO)
f=949
TT=2400.13

 ? (TO)

TT=2400.02

 OPTIMUM
f=949
TT=29.568

 MSAT (TO)
f=949
TT=2400.09
MaxCSP/cnf/2-80-1100-2000/
cnf-2-80-1600-621041_ext.xml		 MOPT
f=1022
TT=1993.98

 MSAT (TO)
f=1022
TT=2400.14
T1=3.66
 MSAT (TO)
f=1022
TT=2400.12
T1=3.95
 MSAT (TO)
f=972
TT=2400.11
T1=3.09
 MSAT (TO)
f=976
TT=2400.04
T1=11.81
 ? (problem)

TT=0.679

NODES=0
 OPTIMUM
f=1022
TT=1999.99

 OPTIMUM
f=1022
TT=1993.98

 OPTIMUM
f=1022
TT=12.731

 MSAT (TO)
f=1022
TT=2400.12
MaxCSP/cnf/2-80-1100-2000/
cnf-2-80-1700-346741_ext.xml		 MSAT TO
f=1039
TT=2400.05

 MSAT (TO)
f=1035
TT=2400.15
T1=13.65
 MSAT (TO)
f=1035
TT=2400.14
T1=12.92
 MSAT (TO)
f=996
TT=2400.08
T1=1.29
 MSAT (TO)
f=1014
TT=2400.1
T1=1803.07
 ? (problem)

TT=0.669

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

 ? (TO)

TT=2400.1

 OPTIMUM
f=1039
TT=146.013

 MSAT (TO)
f=1039
TT=2400.05
MaxCSP/cnf/2-80-1100-2000/
cnf-2-80-1800-072441_ext.xml		 MSAT TO
f=1062
TT=2400.11

 MSAT (TO)
f=1058
TT=2400.05
T1=4.2
 MSAT (TO)
f=1058
TT=2400.1
T1=4.07
 MSAT (TO)
f=1041
TT=2400.05
T1=245.42
 MSAT (TO)
f=1040
TT=2400.07
T1=234.52
 ? (problem)

TT=0.68

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

 ? (TO)

TT=2400.05

 OPTIMUM
f=1062
TT=116.998

 MSAT (TO)
f=1062
TT=2400.11
MaxCSP/cnf/2-80-1100-2000/
cnf-2-80-1900-798141_ext.xml		 MSAT TO
f=1114
TT=2400.07

 MSAT (TO)
f=1108
TT=2400.04
T1=6.33
 MSAT (TO)
f=1108
TT=2400.11
T1=6.75
 MSAT (TO)
f=1070
TT=2400.04
T1=5.94
 MSAT (TO)
f=1082
TT=2400.03
T1=41.94
 ? (problem)

TT=0.744

NODES=0
 MSAT (TO)
f=1114
TT=2400.07

 ? (TO)

TT=2400.01

 OPTIMUM
f=1114
TT=196.897

 MSAT (TO)
f=1114
TT=2400.08
MaxCSP/cnf/2-80-1100-2000/
cnf-2-80-2000-523841_ext.xml		 MSAT TO
f=1157
TT=2400.07

 MSAT (TO)
f=1154
TT=2400.07
T1=12.67
 MSAT (TO)
f=1154
TT=2400.13
T1=11.62
 MSAT (TO)
f=1110
TT=2400.02
T1=8.09
 MSAT (TO)
f=1120
TT=2400.06
T1=785.63
 ? (problem)

TT=0.767

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

 ? (TO)

TT=2400

 OPTIMUM
f=1157
TT=228.972

 MSAT (TO)
f=1157
TT=2400.07
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/maxcut/
maxcut-30/
maxcut-30-310-1_ext.xml		 MOPT
f=188
TT=4.567

 OPTIMUM
f=188
TT=278.986
T1=0.65
 OPTIMUM
f=188
TT=230.592
T1=0.61
 OPTIMUM
f=188
TT=6.784
T1=6.81
 OPTIMUM
f=188
TT=6.314
T1=6.35
 MSAT (TO)
f=188
TT=2400
T1=0.5
 OPTIMUM
f=188
TT=4.567

 OPTIMUM
f=188
TT=4.812

 OPTIMUM
f=188
TT=1.361

 OPTIMUM
f=188
TT=10.903
MaxCSP/maxcut/
maxcut-30/
maxcut-30-310-9_ext.xml		 MOPT
f=183
TT=6.704

 OPTIMUM
f=183
TT=429.546
T1=0.65
 OPTIMUM
f=183
TT=390.894
T1=0.64
 OPTIMUM
f=183
TT=20.855
T1=21.01
 OPTIMUM
f=183
TT=19.78
T1=19.85
 MSAT (TO)
f=177
TT=2400.1
T1=0.46
 OPTIMUM
f=183
TT=6.704

 OPTIMUM
f=183
TT=7.37

 OPTIMUM
f=183
TT=2.545

 OPTIMUM
f=183
TT=23.047
MaxCSP/maxcut/
maxcut-30/
maxcut-30-320-1_ext.xml		 MOPT
f=192
TT=5.808

 OPTIMUM
f=192
TT=284.792
T1=0.61
 OPTIMUM
f=192
TT=300.928
T1=0.66
 OPTIMUM
f=192
TT=13.68
T1=13.78
 OPTIMUM
f=192
TT=11.899
T1=11.94
 MSAT (TO)
f=190
TT=2400.08
T1=0.44
 OPTIMUM
f=192
TT=5.808

 OPTIMUM
f=192
TT=6.134

 OPTIMUM
f=192
TT=1.663

 OPTIMUM
f=192
TT=14.536
MaxCSP/maxcut/
maxcut-30/
maxcut-30-320-9_ext.xml		 MOPT
f=190
TT=6.693

 OPTIMUM
f=190
TT=362.634
T1=0.65
 OPTIMUM
f=190
TT=317.723
T1=0.6
 OPTIMUM
f=190
TT=19.233
T1=19.31
 OPTIMUM
f=190
TT=19.312
T1=19.47
 MSAT (TO)
f=186
TT=2400.04
T1=0.47
 OPTIMUM
f=190
TT=6.693

 OPTIMUM
f=190
TT=7.293

 OPTIMUM
f=190
TT=2.277

 OPTIMUM
f=190
TT=22.991
MaxCSP/maxcut/
maxcut-30/
maxcut-30-330-1_ext.xml		 MOPT
f=198
TT=5.925

 OPTIMUM
f=198
TT=371.247
T1=0.59
 OPTIMUM
f=198
TT=250.949
T1=0.59
 OPTIMUM
f=198
TT=13.797
T1=13.9
 OPTIMUM
f=198
TT=13.408
T1=13.46
 MSAT (TO)
f=198
TT=2400.01
T1=0.48
 OPTIMUM
f=198
TT=5.925

 OPTIMUM
f=198
TT=6.283

 OPTIMUM
f=198
TT=1.644

 OPTIMUM
f=198
TT=15.134
MaxCSP/maxcut/
maxcut-30/
maxcut-30-330-9_ext.xml		 MOPT
f=194
TT=8.041

 OPTIMUM
f=194
TT=468.308
T1=0.65
 OPTIMUM
f=194
TT=413.827
T1=0.65
 OPTIMUM
f=194
TT=23.487
T1=23.53
 OPTIMUM
f=194
TT=21.814
T1=21.9
 MSAT (TO)
f=187
TT=2400.09
T1=0.46
 OPTIMUM
f=194
TT=8.041

 OPTIMUM
f=194
TT=8.651

 OPTIMUM
f=194
TT=3.159

 OPTIMUM
f=194
TT=42.202
MaxCSP/maxcut/
maxcut-30/
maxcut-30-340-1_ext.xml		 MOPT
f=202
TT=6.699

 OPTIMUM
f=202
TT=476.848
T1=0.63
 OPTIMUM
f=202
TT=418.376
T1=0.62
 OPTIMUM
f=202
TT=19.158
T1=19.3
 OPTIMUM
f=202
TT=20.245
T1=20.4
 MSAT (TO)
f=194
TT=2400.03
T1=0.47
 OPTIMUM
f=202
TT=6.699

 OPTIMUM
f=202
TT=7.165

 OPTIMUM
f=202
TT=2.07

 OPTIMUM
f=202
TT=20.607
MaxCSP/maxcut/
maxcut-30/
maxcut-30-340-9_ext.xml		 MOPT
f=197
TT=12.143

 OPTIMUM
f=197
TT=651.32
T1=0.66
 OPTIMUM
f=197
TT=684.085
T1=0.71
 OPTIMUM
f=197
TT=44.473
T1=44.64
 OPTIMUM
f=197
TT=40.746
T1=40.75
 MSAT (TO)
f=196
TT=2400.01
T1=0.44
 OPTIMUM
f=197
TT=12.143

 OPTIMUM
f=197
TT=13.021

 OPTIMUM
f=197
TT=5.317

 OPTIMUM
f=197
TT=63.912
MaxCSP/maxcut/
maxcut-30/
maxcut-30-350-1_ext.xml		 MOPT
f=205
TT=9.311

 OPTIMUM
f=205
TT=665.792
T1=0.67
 OPTIMUM
f=205
TT=552.589
T1=0.65
 OPTIMUM
f=205
TT=29.967
T1=30.2
 OPTIMUM
f=205
TT=27.793
T1=27.83
 MSAT (TO)
f=200
TT=2400.05
T1=0.48
 OPTIMUM
f=205
TT=9.311

 OPTIMUM
f=205
TT=9.982

 OPTIMUM
f=205
TT=3.17

 OPTIMUM
f=205
TT=28.306
MaxCSP/maxcut/
maxcut-30/
maxcut-30-350-9_ext.xml		 MOPT
f=201
TT=14.55

 OPTIMUM
f=201
TT=929.942
T1=0.65
 OPTIMUM
f=201
TT=814.106
T1=0.61
 OPTIMUM
f=201
TT=62.467
T1=62.48
 OPTIMUM
f=201
TT=54.897
T1=55.15
 MSAT (TO)
f=201
TT=2400.08
T1=0.51
 OPTIMUM
f=201
TT=14.55

 OPTIMUM
f=201
TT=16.636

 OPTIMUM
f=201
TT=6.497

 OPTIMUM
f=201
TT=93.918
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/maxcut/
maxcut-30/
maxcut-30-360-1_ext.xml		 MOPT
f=208
TT=11.964

 OPTIMUM
f=208
TT=748.953
T1=0.64
 OPTIMUM
f=208
TT=654.235
T1=0.6
 OPTIMUM
f=208
TT=41.976
T1=42.09
 OPTIMUM
f=208
TT=40.48
T1=40.64
 MSAT (TO)
f=201
TT=2400.02
T1=0.47
 OPTIMUM
f=208
TT=11.964

 OPTIMUM
f=208
TT=12.78

 OPTIMUM
f=208
TT=4.757

 OPTIMUM
f=208
TT=42.956
MaxCSP/maxcut/
maxcut-30/
maxcut-30-360-9_ext.xml		 MOPT
f=207
TT=14.489

 OPTIMUM
f=207
TT=887.843
T1=0.63
 OPTIMUM
f=207
TT=859.516
T1=0.64
 OPTIMUM
f=207
TT=59.652
T1=59.88
 OPTIMUM
f=207
TT=56.103
T1=56.52
 MSAT (TO)
f=201
TT=2400.01
T1=0.47
 OPTIMUM
f=207
TT=14.489

 OPTIMUM
f=207
TT=14.552

 OPTIMUM
f=207
TT=5.677

 OPTIMUM
f=207
TT=99.095
MaxCSP/maxcut/
maxcut-30/
maxcut-30-370-1_ext.xml		 MOPT
f=213
TT=12.25

 OPTIMUM
f=213
TT=862.275
T1=0.78
 OPTIMUM
f=213
TT=804.382
T1=0.72
 OPTIMUM
f=213
TT=44.943
T1=45.15
 OPTIMUM
f=213
TT=44.761
T1=44.93
 MSAT (TO)
f=205
TT=2400.1
T1=0.52
 OPTIMUM
f=213
TT=12.25

 OPTIMUM
f=213
TT=13.19

 OPTIMUM
f=213
TT=5.319

 OPTIMUM
f=213
TT=72.783
MaxCSP/maxcut/
maxcut-30/
maxcut-30-370-9_ext.xml		 MOPT
f=211
TT=18.891

 OPTIMUM
f=211
TT=1183.66
T1=0.86
 OPTIMUM
f=211
TT=1103.79
T1=0.88
 OPTIMUM
f=211
TT=77.219
T1=77.86
 OPTIMUM
f=211
TT=77.176
T1=77.2
 MSAT (TO)
f=205
TT=2400.1
T1=0.51
 OPTIMUM
f=211
TT=18.891

 OPTIMUM
f=211
TT=20.174

 OPTIMUM
f=211
TT=7.379

 OPTIMUM
f=211
TT=116.862
MaxCSP/maxcut/
maxcut-30/
maxcut-30-380-1_ext.xml		 MOPT
f=215
TT=21.296

 OPTIMUM
f=215
TT=1403.34
T1=0.59
 OPTIMUM
f=215
TT=1432.97
T1=0.64
 OPTIMUM
f=215
TT=85.584
T1=85.78
 OPTIMUM
f=215
TT=85.45
T1=86.09
 MSAT (TO)
f=209
TT=2400.02
T1=0.65
 OPTIMUM
f=215
TT=21.296

 OPTIMUM
f=215
TT=22.984

 OPTIMUM
f=215
TT=11.307

 OPTIMUM
f=215
TT=122.423
MaxCSP/maxcut/
maxcut-30/
maxcut-30-380-9_ext.xml		 MOPT
f=213
TT=32.667

 OPTIMUM
f=213
TT=1907.06
T1=0.75
 OPTIMUM
f=213
TT=1607.81
T1=0.72
 OPTIMUM
f=213
TT=152.368
T1=153.71
 OPTIMUM
f=213
TT=141.59
T1=142.65
 MSAT (TO)
f=208
TT=2400.09
T1=0.48
 OPTIMUM
f=213
TT=32.667

 OPTIMUM
f=213
TT=32.708

 OPTIMUM
f=213
TT=16.827

 OPTIMUM
f=213
TT=199.162
MaxCSP/maxcut/
maxcut-30/
maxcut-30-390-1_ext.xml		 MOPT
f=218
TT=28.577

 OPTIMUM
f=218
TT=2141.2
T1=0.72
 OPTIMUM
f=218
TT=1977.7
T1=0.66
 OPTIMUM
f=218
TT=160.161
T1=161.52
 OPTIMUM
f=218
TT=148.553
T1=149.66
 MSAT (TO)
f=214
TT=2400.01
T1=0.5
 OPTIMUM
f=218
TT=28.577

 OPTIMUM
f=218
TT=28.755

 OPTIMUM
f=218
TT=18.005

 OPTIMUM
f=218
TT=185.374
MaxCSP/maxcut/
maxcut-30/
maxcut-30-390-9_ext.xml		 MOPT
f=217
TT=37.242

 OPTIMUM
f=217
TT=2126.18
T1=0.63
 OPTIMUM
f=217
TT=2246.83
T1=0.64
 OPTIMUM
f=217
TT=189.305
T1=190.77
 OPTIMUM
f=217
TT=176.465
T1=177.32
 MSAT (TO)
f=214
TT=2400.06
T1=0.53
 OPTIMUM
f=217
TT=37.242

 OPTIMUM
f=217
TT=41.068

 OPTIMUM
f=217
TT=24.453

 OPTIMUM
f=217
TT=252.674
MaxCSP/maxcut/
maxcut-30/
maxcut-30-400-1_ext.xml		 MOPT
f=220
TT=50.519

 MSAT (TO)
f=220
TT=2400.12
T1=0.72
 MSAT (TO)
f=220
TT=2400.09
T1=0.67
 OPTIMUM
f=220
TT=266.179
T1=268.4
 OPTIMUM
f=220
TT=233.397
T1=233.97
 MSAT (TO)
f=218
TT=2400.1
T1=0.48
 OPTIMUM
f=220
TT=50.519

 OPTIMUM
f=220
TT=54.675

 OPTIMUM
f=220
TT=41.202

 OPTIMUM
f=220
TT=350.678
MaxCSP/maxcut/
maxcut-30/
maxcut-30-400-9_ext.xml		 MOPT
f=220
TT=61.394

 MSAT (TO)
f=220
TT=2400.16
T1=0.75
 MSAT (TO)
f=220
TT=2400.13
T1=0.67
 OPTIMUM
f=220
TT=323.296
T1=324.81
 OPTIMUM
f=220
TT=285.47
T1=287.46
 MSAT (TO)
f=219
TT=2400.05
T1=0.5
 OPTIMUM
f=220
TT=61.394

 OPTIMUM
f=220
TT=70.544

 OPTIMUM
f=220
TT=39.582

 OPTIMUM
f=220
TT=412.774
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/maxcut/
maxcut-40/
maxcut-40-420-1_ext.xml		 MOPT
f=265
TT=19.962

 MSAT (TO)
f=265
TT=2400.04
T1=0.78
 MSAT (TO)
f=265
TT=2400.14
T1=0.67
 OPTIMUM
f=265
TT=91.408
T1=91.48
 OPTIMUM
f=265
TT=80.311
T1=80.97
 MSAT (TO)
f=255
TT=2400.01
T1=0.62
 OPTIMUM
f=265
TT=19.962

 OPTIMUM
f=265
TT=21.26

 OPTIMUM
f=265
TT=1.924

 OPTIMUM
f=265
TT=62.882
MaxCSP/maxcut/
maxcut-40/
maxcut-40-420-9_ext.xml		 MOPT
f=261
TT=33.143

 MSAT (TO)
f=261
TT=2400.12
T1=0.64
 MSAT (TO)
f=261
TT=2400.11
T1=0.69
 OPTIMUM
f=261
TT=134.783
T1=134.87
 OPTIMUM
f=261
TT=134.699
T1=135.6
 MSAT (TO)
f=258
TT=2400.08
T1=0.54
 OPTIMUM
f=261
TT=33.143

 OPTIMUM
f=261
TT=35.45

 OPTIMUM
f=261
TT=3.66

 OPTIMUM
f=261
TT=164.017
MaxCSP/maxcut/
maxcut-40/
maxcut-40-440-1_ext.xml		 MOPT
f=273
TT=33.371

 MSAT (TO)
f=273
TT=2400.12
T1=0.76
 MSAT (TO)
f=273
TT=2400.08
T1=0.78
 OPTIMUM
f=273
TT=167.009
T1=168.46
 OPTIMUM
f=273
TT=156.507
T1=156.56
 MSAT (TO)
f=263
TT=2400.05
T1=0.54
 OPTIMUM
f=273
TT=33.371

 OPTIMUM
f=273
TT=35.347

 OPTIMUM
f=273
TT=3.525

 OPTIMUM
f=273
TT=182.553
MaxCSP/maxcut/
maxcut-40/
maxcut-40-440-9_ext.xml		 MOPT
f=272
TT=40.768

 MSAT (TO)
f=272
TT=2400.1
T1=0.69
 MSAT (TO)
f=272
TT=2400.14
T1=0.68
 OPTIMUM
f=272
TT=175.828
T1=176.75
 OPTIMUM
f=272
TT=172.124
T1=173.42
 MSAT (TO)
f=256
TT=2400
T1=0.56
 OPTIMUM
f=272
TT=40.768

 OPTIMUM
f=272
TT=41.961

 OPTIMUM
f=272
TT=7.917

 OPTIMUM
f=272
TT=225.315
MaxCSP/maxcut/
maxcut-40/
maxcut-40-460-1_ext.xml		 MOPT
f=282
TT=50.442

 MSAT (TO)
f=282
TT=2400.1
T1=0.91
 MSAT (TO)
f=282
TT=2400.08
T1=0.96
 OPTIMUM
f=282
TT=262.628
T1=264.57
 OPTIMUM
f=282
TT=234.45
T1=235.53
 MSAT (TO)
f=269
TT=2400.02
T1=0.54
 OPTIMUM
f=282
TT=50.442

 OPTIMUM
f=282
TT=53.773

 OPTIMUM
f=282
TT=5.957

 OPTIMUM
f=282
TT=287.514
MaxCSP/maxcut/
maxcut-40/
maxcut-40-460-9_ext.xml		 MOPT
f=283
TT=42.732

 MSAT (TO)
f=283
TT=2400.05
T1=0.78
 MSAT (TO)
f=283
TT=2400.08
T1=0.8
 OPTIMUM
f=283
TT=205.515
T1=207.07
 OPTIMUM
f=283
TT=199.344
T1=199.79
 MSAT (TO)
f=272
TT=2400.07
T1=0.55
 OPTIMUM
f=283
TT=42.732

 OPTIMUM
f=283
TT=48.491

 OPTIMUM
f=283
TT=5.988

 OPTIMUM
f=283
TT=249.115
MaxCSP/maxcut/
maxcut-40/
maxcut-40-480-1_ext.xml		 MOPT
f=292
TT=79.284

 MSAT (TO)
f=292
TT=2400.13
T1=1.58
 MSAT (TO)
f=292
TT=2400.16
T1=1.7
 OPTIMUM
f=292
TT=414.92
T1=415.03
 OPTIMUM
f=292
TT=457.861
T1=459.61
 MSAT (TO)
f=288
TT=2400.03
T1=0.58
 OPTIMUM
f=292
TT=79.284

 OPTIMUM
f=292
TT=84.822

 OPTIMUM
f=292
TT=9.229

 OPTIMUM
f=292
TT=447.946
MaxCSP/maxcut/
maxcut-40/
maxcut-40-480-9_ext.xml		 MOPT
f=292
TT=61.888

 MSAT (TO)
f=292
TT=2400.14
T1=0.98
 MSAT (TO)
f=292
TT=2400.09
T1=0.83
 OPTIMUM
f=292
TT=355.432
T1=358.48
 OPTIMUM
f=292
TT=327.878
T1=330.33
 MSAT (TO)
f=283
TT=2400.03
T1=0.56
 OPTIMUM
f=292
TT=61.888

 OPTIMUM
f=292
TT=62.464

 OPTIMUM
f=292
TT=13.982

 OPTIMUM
f=292
TT=329.322
MaxCSP/maxcut/
maxcut-40/
maxcut-40-500-1_ext.xml		 MOPT
f=301
TT=105.399

 MSAT (TO)
f=301
TT=2400.03
T1=1.15
 MSAT (TO)
f=301
TT=2400.07
T1=1.06
 OPTIMUM
f=301
TT=484.325
T1=485.17
 OPTIMUM
f=301
TT=479.537
T1=480.82
 MSAT (TO)
f=291
TT=2400.09
T1=0.58
 OPTIMUM
f=301
TT=106.021

 OPTIMUM
f=301
TT=105.399

 OPTIMUM
f=301
TT=13.329

 OPTIMUM
f=301
TT=561.799
MaxCSP/maxcut/
maxcut-40/
maxcut-40-500-9_ext.xml		 MOPT
f=300
TT=113.588

 MSAT (TO)
f=300
TT=2400.11
T1=0.8
 MSAT (TO)
f=300
TT=2400.11
T1=0.75
 OPTIMUM
f=300
TT=605.39
T1=609.35
 OPTIMUM
f=300
TT=578.902
T1=583.23
 MSAT (TO)
f=289
TT=2400.08
T1=0.53
 OPTIMUM
f=300
TT=113.588

 OPTIMUM
f=300
TT=114.426

 OPTIMUM
f=300
TT=25.169

 OPTIMUM
f=300
TT=542.215
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/maxcut/
maxcut-40/
maxcut-40-520-1_ext.xml		 MOPT
f=310
TT=157.551

 MSAT (TO)
f=310
TT=2400.11
T1=0.79
 MSAT (TO)
f=310
TT=2400.12
T1=0.81
 OPTIMUM
f=310
TT=801.287
T1=805.55
 OPTIMUM
f=310
TT=804.408
T1=811.14
 MSAT (TO)
f=308
TT=2400.01
T1=0.58
 OPTIMUM
f=310
TT=157.551

 OPTIMUM
f=310
TT=169.034

 OPTIMUM
f=310
TT=19.447

 OPTIMUM
f=310
TT=915.773
MaxCSP/maxcut/
maxcut-40/
maxcut-40-520-9_ext.xml		 MOPT
f=307
TT=242.93

 MSAT (TO)
f=307
TT=2400.05
T1=0.91
 MSAT (TO)
f=307
TT=2400.12
T1=0.87
 OPTIMUM
f=307
TT=1315.77
T1=1323.78
 OPTIMUM
f=307
TT=1223.95
T1=1225.22
 MSAT (TO)
f=300
TT=2400.01
T1=0.57
 OPTIMUM
f=307
TT=242.93

 OPTIMUM
f=307
TT=262.022

 OPTIMUM
f=307
TT=44.12

 OPTIMUM
f=307
TT=1346.61
MaxCSP/maxcut/
maxcut-40/
maxcut-40-540-1_ext.xml		 MOPT
f=321
TT=185.971

 MSAT (TO)
f=321
TT=2400.13
T1=1.48
 MSAT (TO)
f=321
TT=2400.12
T1=1.57
 OPTIMUM
f=321
TT=939.633
T1=947.72
 OPTIMUM
f=321
TT=832.111
T1=837.84
 MSAT (TO)
f=312
TT=2400.01
T1=0.55
 OPTIMUM
f=321
TT=185.971

 OPTIMUM
f=321
TT=199.203

 OPTIMUM
f=321
TT=22.389

 OPTIMUM
f=321
TT=990.571
MaxCSP/maxcut/
maxcut-40/
maxcut-40-540-9_ext.xml		 MOPT
f=319
TT=282.878

 MSAT (TO)
f=319
TT=2400.08
T1=0.83
 MSAT (TO)
f=319
TT=2400.05
T1=0.82
 OPTIMUM
f=319
TT=1513.52
T1=1527.01
 OPTIMUM
f=319
TT=1323.84
T1=1325.36
 MSAT (TO)
f=309
TT=2400.07
T1=0.58
 OPTIMUM
f=319
TT=284.137

 OPTIMUM
f=319
TT=282.878

 OPTIMUM
f=319
TT=36.717

 OPTIMUM
f=319
TT=1393.74
MaxCSP/maxcut/
maxcut-40/
maxcut-40-560-1_ext.xml		 MOPT
f=327
TT=366.997

 MSAT (TO)
f=327
TT=2400.16
T1=0.77
 MSAT (TO)
f=327
TT=2400.06
T1=0.74
 OPTIMUM
f=327
TT=1959.42
T1=1966.56
 OPTIMUM
f=327
TT=1809.2
T1=1817.75
 MSAT (TO)
f=317
TT=2400.02
T1=0.58
 OPTIMUM
f=327
TT=366.997

 OPTIMUM
f=327
TT=419.54

 OPTIMUM
f=327
TT=66.898

 OPTIMUM
f=327
TT=2210.1
MaxCSP/maxcut/
maxcut-40/
maxcut-40-560-9_ext.xml		 MOPT
f=329
TT=307.626

 MSAT (TO)
f=329
TT=2400.12
T1=0.95
 MSAT (TO)
f=329
TT=2400.15
T1=0.93
 OPTIMUM
f=329
TT=1605.03
T1=1614.79
 OPTIMUM
f=329
TT=1542.25
T1=1548.36
 MSAT (TO)
f=321
TT=2400.05
T1=0.59
 OPTIMUM
f=329
TT=307.626

 OPTIMUM
f=329
TT=328.643

 OPTIMUM
f=329
TT=61.755

 OPTIMUM
f=329
TT=1663.54
MaxCSP/maxcut/
maxcut-40/
maxcut-40-580-1_ext.xml		 MOPT
f=339
TT=406.03

 MSAT (TO)
f=339
TT=2400.12
T1=0.76
 MSAT (TO)
f=339
TT=2400.12
T1=0.71
 ? (TO)

TT=2400.11

 ? (TO)

TT=2400.07

 MSAT (TO)
f=332
TT=2400.04
T1=0.6
 OPTIMUM
f=339
TT=406.03

 OPTIMUM
f=339
TT=440.094

 OPTIMUM
f=339
TT=51.546

 OPTIMUM
f=339
TT=2204.35
MaxCSP/maxcut/
maxcut-40/
maxcut-40-580-9_ext.xml		 MOPT
f=337
TT=510.825

 MSAT (TO)
f=337
TT=2400.09
T1=0.9
 MSAT (TO)
f=337
TT=2400.05
T1=0.83
 ? (TO)

TT=2400.08

 ? (TO)

TT=2400.08

 MSAT (TO)
f=322
TT=2400.06
T1=0.59
 OPTIMUM
f=337
TT=510.825

 OPTIMUM
f=337
TT=524.709

 OPTIMUM
f=337
TT=75.519

 MSAT (TO)
f=337
TT=2400.06
MaxCSP/maxcut/
maxcut-40/
maxcut-40-600-1_ext.xml		 MOPT
f=345
TT=805.88

 MSAT (TO)
f=345
TT=2400.14
T1=8.85
 MSAT (TO)
f=345
TT=2400.05
T1=8.86
 ? (TO)

TT=2400.04

 ? (TO)

TT=2400.11

 MSAT (TO)
f=332
TT=2400.09
T1=0.56
 OPTIMUM
f=345
TT=805.88

 OPTIMUM
f=345
TT=873.121

 OPTIMUM
f=345
TT=155.095

 MSAT (TO)
f=345
TT=2400.15
MaxCSP/maxcut/
maxcut-40/
maxcut-40-600-9_ext.xml		 MOPT
f=346
TT=781.84

 MSAT (TO)
f=346
TT=2400.12
T1=0.75
 MSAT (TO)
f=346
TT=2400.06
T1=0.74
 ? (TO)

TT=2400.06

 ? (TO)

TT=2400.09

 MSAT (TO)
f=332
TT=2400.1
T1=0.58
 OPTIMUM
f=346
TT=784.736

 OPTIMUM
f=346
TT=781.84

 OPTIMUM
f=346
TT=128.123

 MSAT (TO)
f=346
TT=2400.14
Bench nameBest results
on this
instance		AbsconMax
109 EPFC		AbsconMax
109 PFC		aolibdvo
2007-01-17		aolibpvo
2007-01-17		CSP4J - MaxCSP
2006-12-19		toolbar
2007-01-12		Toolbar_BTD
2007-01-12		Toolbar_MaxSat
2007-01-19		Toulbar2
2007-01-12
MaxCSP/maxcut/
maxcut-50/
maxcut-50-500-1_ext.xml		 MOPT
f=312
TT=413.284

 MSAT (TO)
f=312
TT=2400.12
T1=0.8
 MSAT (TO)
f=312
TT=2400.08
T1=0.78
 OPTIMUM
f=312
TT=2336.68
T1=2345.58
 ? (TO)

TT=2400.1

 MSAT (TO)
f=308
TT=2400.01
T1=0.57
 OPTIMUM
f=312
TT=413.284

 OPTIMUM
f=312
TT=437.671

 OPTIMUM
f=312
TT=50.838

 OPTIMUM
f=312
TT=1882.98
MaxCSP/maxcut/
maxcut-50/
maxcut-50-500-9_ext.xml		 MOPT
f=313
TT=238.918

 MSAT (TO)
f=313
TT=2400.11
T1=0.69
 MSAT (TO)
f=313
TT=2400.04
T1=0.66
 OPTIMUM
f=313
TT=1295.23
T1=1303.23
 OPTIMUM
f=313
TT=1254.73
T1=1255.14
 MSAT (TO)
f=310
TT=2400.08
T1=0.57
 OPTIMUM
f=313
TT=238.918

 OPTIMUM
f=313
TT=270.441

 OPTIMUM
f=313
TT=34.024

 OPTIMUM
f=313
TT=1172.88
MaxCSP/maxcut/
maxcut-50/
maxcut-50-520-1_ext.xml		 MOPT
f=323
TT=438.562

 MSAT (TO)
f=323
TT=2400.13
T1=0.71
 MSAT (TO)
f=323
TT=2400.12
T1=0.7
 ? (TO)

TT=2400.08

 ? (TO)

TT=2400.05

 MSAT (TO)
f=320
TT=2400.07
T1=0.57
 OPTIMUM
f=323
TT=438.562

 OPTIMUM
f=323
TT=494.71

 OPTIMUM
f=323
TT=53.349

 OPTIMUM
f=323
TT=2394.1
MaxCSP/maxcut/
maxcut-50/
maxcut-50-520-9_ext.xml		 MOPT
f=326
TT=223.584

 MSAT (TO)
f=326
TT=2400.09
T1=1.36
 MSAT (TO)
f=326
TT=2400.15
T1=1.27
 OPTIMUM
f=326
TT=1212.12
T1=1219.47
 OPTIMUM
f=326
TT=1264.19
T1=1264.53
 MSAT (TO)
f=324
TT=2400.04
T1=0.58
 OPTIMUM
f=326
TT=223.584

 OPTIMUM
f=326
TT=254.555

 OPTIMUM
f=326
TT=30.626

 OPTIMUM
f=326
TT=1316.21
MaxCSP/maxcut/
maxcut-50/
maxcut-50-540-1_ext.xml		 MOPT
f=332
TT=789.09

 MSAT (TO)
f=332
TT=2400.06
T1=1.26
 MSAT (TO)
f=332
TT=2400.1
T1=1.24
 ? (TO)

TT=2400.04

 ? (TO)

TT=2400.03

 MSAT (TO)
f=330
TT=2400.05
T1=0.66
 OPTIMUM
f=332
TT=789.09

 OPTIMUM
f=332
TT=839.8

 OPTIMUM
f=332
TT=123.658

 MSAT (TO)
f=332
TT=2400.11
MaxCSP/maxcut/
maxcut-50/
maxcut-50-540-9_ext.xml		 MOPT
f=336
TT=376.949

 MSAT (TO)
f=336
TT=2400.1
T1=0.96
 MSAT (TO)
f=336
TT=2400.13
T1=0.88
 OPTIMUM
f=336
TT=2089.13
T1=2097.98
 OPTIMUM
f=336
TT=2052.66
T1=2064.94
 MSAT (TO)
f=334
TT=2400.01
T1=0.58
 OPTIMUM
f=336
TT=376.949

 OPTIMUM
f=336
TT=404.166

 OPTIMUM
f=336
TT=41.818

 OPTIMUM
f=336
TT=1881.65
MaxCSP/maxcut/
maxcut-50/
maxcut-50-560-1_ext.xml		 MOPT
f=343
TT=1228.74

 MSAT (TO)
f=343
TT=2400.1
T1=1.08
 MSAT (TO)
f=343
TT=2400.14
T1=1.08
 ? (TO)

TT=2400.04

 ? (TO)

TT=2400.08

 MSAT (TO)
f=340
TT=2400.09
T1=0.58
 OPTIMUM
f=343
TT=1250.74

 OPTIMUM
f=343
TT=1228.74

 OPTIMUM
f=343
TT=115.778

 MSAT (TO)
f=343
TT=2400.03
MaxCSP/maxcut/
maxcut-50/
maxcut-50-560-9_ext.xml		 MOPT
f=348
TT=481.108

 MSAT (TO)
f=348
TT=2400.08
T1=1.33
 MSAT (TO)
f=348
TT=2400.05
T1=1.21
 ? (TO)

TT=2400.11

 ? (TO)

TT=2400.04

 MSAT (TO)
f=333
TT=2400.09
T1=0.58
 OPTIMUM
f=348
TT=481.108

 OPTIMUM
f=348
TT=508.692

 OPTIMUM
f=348
TT=36.724

 OPTIMUM
f=348
TT=2174.9
MaxCSP/maxcut/
maxcut-50/
maxcut-50-580-1_ext.xml		 MOPT
f=355
TT=1433.1

 MSAT (TO)
f=355
TT=2400.1
T1=1.03
 MSAT (TO)
f=355
TT=2400.16
T1=1.03
 ? (TO)

TT=2400.07

 ? (TO)

TT=2400.1

 MSAT (TO)
f=348
TT=2400.05
T1=0.6
 OPTIMUM
f=355
TT=1433.1

 OPTIMUM
f=355
TT=1508.29

 OPTIMUM
f=355
TT=154.256

 MSAT (TO)
f=355
TT=2400.12
MaxCSP/maxcut/
maxcut-50/
maxcut-50-580-9_ext.xml		 MOPT
f=360
TT=506.04

 MSAT (TO)
f=360
TT=2400.1
T1=0.95
 MSAT (TO)
f=360
TT=2400.12
T1=0.85
 ? (TO)

TT=2400.1

 ? (TO)

TT=2400.11

 MSAT (TO)
f=345
TT=2400.07
T1=0.59
 OPTIMUM
f=360
TT=506.04

 OPTIMUM
f=360
TT=565.202

 OPTIMUM
f=360
TT=51.046

 MSAT (TO)
f=360
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
MaxCSP/maxcut/
maxcut-50/
maxcut-50-600-1_ext.xml		 MOPT
f=366
TT=1598.03

 MSAT (TO)
f=366
TT=2400.11
T1=0.8
 MSAT (TO)
f=366
TT=2400.05
T1=0.81
 ? (TO)

TT=2400.03

 ? (TO)

TT=2400.03

 MSAT (TO)
f=353
TT=2400.02
T1=0.53
 OPTIMUM
f=366
TT=1598.03

 OPTIMUM
f=366
TT=1777.2

 OPTIMUM
f=366
TT=122.97

 MSAT (TO)
f=366
TT=2400.14
MaxCSP/maxcut/
maxcut-50/
maxcut-50-600-9_ext.xml		 MOPT
f=368
TT=832.102

 MSAT (TO)
f=368
TT=2400.05
T1=0.69
 MSAT (TO)
f=368
TT=2400.13
T1=0.74
 ? (TO)

TT=2400.09

 ? (TO)

TT=2400.03

 MSAT (TO)
f=367
TT=2400.07
T1=0.65
 OPTIMUM
f=368
TT=832.102

 OPTIMUM
f=368
TT=885.855

 OPTIMUM
f=368
TT=82.545

 MSAT (TO)
f=368
TT=2400.15
MaxCSP/maxcut/
maxcut-50/
maxcut-50-620-1_ext.xml		 MSAT TO
f=375
TT=2400.06

 MSAT (TO)
f=375
TT=2400.06
T1=0.85
 MSAT (TO)
f=375
TT=2400.13
T1=0.76
 ? (TO)

TT=2400.11

 ? (TO)

TT=2400.06

 MSAT (TO)
f=371
TT=2400.02
T1=0.56
 MSAT (TO)
f=375
TT=2400.12

 ? (TO)

TT=2400.03

 OPTIMUM
f=375
TT=219.627

 MSAT (TO)
f=375
TT=2400.08
MaxCSP/maxcut/
maxcut-50/
maxcut-50-620-9_ext.xml		 MOPT
f=380
TT=816.949

 MSAT (TO)
f=380
TT=2400.06
T1=0.74
 MSAT (TO)
f=380
TT=2400.14
T1=0.74
 ? (TO)

TT=2400.01

 ? (TO)

TT=2400.06

 MSAT (TO)
f=376
TT=2400.08
T1=0.61
 OPTIMUM
f=380
TT=816.949

 OPTIMUM
f=380
TT=860.624

 OPTIMUM
f=380
TT=81.931

 MSAT (TO)
f=380
TT=2400.08
MaxCSP/maxcut/
maxcut-50/
maxcut-50-640-1_ext.xml		 MSAT TO
f=386
TT=2400.06

 MSAT (TO)
f=386
TT=2400.08
T1=1.16
 MSAT (TO)
f=386
TT=2400.06
T1=1.16
 ? (TO)

TT=2400.1

 ? (TO)

TT=2400.17

 MSAT (TO)
f=377
TT=2400.05
T1=0.62
 MSAT (TO)
f=386
TT=2400.13

 ? (TO)

TT=2400.06

 OPTIMUM
f=386
TT=246.374

 MSAT (TO)
f=386
TT=2400.09
MaxCSP/maxcut/
maxcut-50/
maxcut-50-640-9_ext.xml		 MOPT
f=387
TT=1245.12

 MSAT (TO)
f=387
TT=2400.05
T1=0.95
 MSAT (TO)
f=387
TT=2400.13
T1=1.05
 ? (TO)

TT=2400.08

 ? (TO)

TT=2400.1

 MSAT (TO)
f=383
TT=2400.11
T1=0.6
 OPTIMUM
f=387
TT=1245.12

 OPTIMUM
f=387
TT=1390.74

 OPTIMUM
f=387
TT=147.975

 MSAT (TO)
f=387
TT=2400.06
MaxCSP/maxcut/
maxcut-50/
maxcut-50-660-1_ext.xml		 MSAT TO
f=396
TT=2400.06

 MSAT (TO)
f=396
TT=2400.12
T1=0.67
 MSAT (TO)
f=396
TT=2400.1
T1=0.7
 ? (TO)

TT=2400.02

 ? (TO)

TT=2400.1

 MSAT (TO)
f=382
TT=2400.07
T1=0.61
 MSAT (TO)
f=396
TT=2400.12

 ? (TO)

TT=2400.04

 OPTIMUM
f=396
TT=277.387

 MSAT (TO)
f=396
TT=2400.06
MaxCSP/maxcut/
maxcut-50/
maxcut-50-660-9_ext.xml		 MOPT
f=396
TT=1980.36

 MSAT (TO)
f=396
TT=2400.06
T1=0.74
 MSAT (TO)
f=396
TT=2400.07
T1=0.78
 ? (TO)

TT=2400.06

 ? (TO)

TT=2400.06

 MSAT (TO)
f=385
TT=2400.08
T1=0.6
 OPTIMUM
f=396
TT=1980.36

 OPTIMUM
f=396
TT=2083.07

 OPTIMUM
f=396
TT=254.831

 MSAT (TO)
f=396
TT=2400.07
MaxCSP/maxcut/
maxcut-50/
maxcut-50-680-1_ext.xml		 MSAT TO
f=407
TT=2400.13

 MSAT (TO)
f=407
TT=2400.16
T1=1.2
 MSAT (TO)
f=407
TT=2400.13
T1=1.17
 ? (TO)

TT=2400.07

 ? (TO)

TT=2400.06

 MSAT (TO)
f=398
TT=2400.08
T1=0.6
 MSAT (TO)
f=407
TT=2400.13

 ? (TO)

TT=2400.08

 OPTIMUM
f=407
TT=302.841

 MSAT (TO)
f=407
TT=2400.14
MaxCSP/maxcut/
maxcut-50/
maxcut-50-680-9_ext.xml		 MSAT TO
f=405
TT=2400.06

 MSAT (TO)
f=405
TT=2400.14
T1=0.7
 MSAT (TO)
f=405
TT=2400.12
T1=0.65
 ? (TO)

TT=2400.1

 ? (TO)

TT=2400.03

 MSAT (TO)
f=399
TT=2400.09
T1=0.7
 MSAT (TO)
f=405
TT=2400.06

 ? (TO)

TT=2400.06

 OPTIMUM
f=405
TT=476.593

 MSAT (TO)
f=405
TT=2400.06
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/maxcut/
maxcut-60/
maxcut-60-420-1_ext.xml		 MOPT
f=281
TT=186.616

 MSAT (TO)
f=281
TT=2400.09
T1=0.75
 MSAT (TO)
f=281
TT=2400.07
T1=0.77
 OPTIMUM
f=281
TT=1097.29
T1=1099.56
 OPTIMUM
f=281
TT=1055.06
T1=1055.45
 MSAT (TO)
f=267
TT=2400.04
T1=0.54
 OPTIMUM
f=281
TT=186.616

 OPTIMUM
f=281
TT=211.111

 OPTIMUM
f=281
TT=11.85

 OPTIMUM
f=281
TT=938.286
MaxCSP/maxcut/
maxcut-60/
maxcut-60-420-9_ext.xml		 MOPT
f=285
TT=82.52

 MSAT (TO)
f=285
TT=2400.17
T1=0.82
 MSAT (TO)
f=285
TT=2400.12
T1=0.82
 OPTIMUM
f=285
TT=546.643
T1=549.03
 OPTIMUM
f=285
TT=571.929
T1=574.6
 MSAT (TO)
f=267
TT=2400.04
T1=0.62
 OPTIMUM
f=285
TT=82.52

 OPTIMUM
f=285
TT=88.393

 OPTIMUM
f=285
TT=5.236

 OPTIMUM
f=285
TT=460.19
MaxCSP/maxcut/
maxcut-60/
maxcut-60-440-1_ext.xml		 MOPT
f=294
TT=201.514

 MSAT (TO)
f=294
TT=2400.12
T1=0.87
 MSAT (TO)
f=294
TT=2400.14
T1=0.87
 OPTIMUM
f=294
TT=1178.47
T1=1183.23
 OPTIMUM
f=294
TT=1405.39
T1=1414.72
 MSAT (TO)
f=288
TT=2400.02
T1=0.55
 OPTIMUM
f=294
TT=203.307

 OPTIMUM
f=294
TT=201.514

 OPTIMUM
f=294
TT=10.588

 OPTIMUM
f=294
TT=933.443
MaxCSP/maxcut/
maxcut-60/
maxcut-60-440-9_ext.xml		 MOPT
f=295
TT=187.995

 MSAT (TO)
f=295
TT=2400.1
T1=1.22
 MSAT (TO)
f=295
TT=2400.15
T1=1.16
 OPTIMUM
f=295
TT=1231.23
T1=546.38
 OPTIMUM
f=295
TT=1170.37
T1=1180.36
 MSAT (TO)
f=278
TT=2400.08
T1=0.5
 OPTIMUM
f=295
TT=187.995

 OPTIMUM
f=295
TT=200.175

 OPTIMUM
f=295
TT=10.843

 OPTIMUM
f=295
TT=967.683
MaxCSP/maxcut/
maxcut-60/
maxcut-60-460-1_ext.xml		 MOPT
f=305
TT=330.419

 MSAT (TO)
f=305
TT=2400.09
T1=0.75
 MSAT (TO)
f=305
TT=2400.06
T1=0.73
 OPTIMUM
f=305
TT=1661.61
T1=1673.91
 OPTIMUM
f=305
TT=1709.99
T1=1720.34
 MSAT (TO)
f=295
TT=2400.1
T1=0.54
 OPTIMUM
f=305
TT=330.419

 OPTIMUM
f=305
TT=348.883

 OPTIMUM
f=305
TT=15.948

 OPTIMUM
f=305
TT=1429.2
MaxCSP/maxcut/
maxcut-60/
maxcut-60-460-9_ext.xml		 MOPT
f=306
TT=253.88

 MSAT (TO)
f=306
TT=2400.07
T1=0.65
 MSAT (TO)
f=306
TT=2400.13
T1=0.69
 OPTIMUM
f=306
TT=1396.88
T1=1404.12
 OPTIMUM
f=306
TT=1393.77
T1=1405.65
 MSAT (TO)
f=296
TT=2400.05
T1=0.54
 OPTIMUM
f=306
TT=258.265

 OPTIMUM
f=306
TT=253.88

 OPTIMUM
f=306
TT=13.425

 OPTIMUM
f=306
TT=1205.25
MaxCSP/maxcut/
maxcut-60/
maxcut-60-480-1_ext.xml		 MOPT
f=314
TT=494.064

 MSAT (TO)
f=314
TT=2400.1
T1=0.69
 MSAT (TO)
f=314
TT=2400.05
T1=0.67
 ? (TO)

TT=2400.05

 ? (TO)

TT=2400.03

 MSAT (TO)
f=300
TT=2400.06
T1=0.57
 OPTIMUM
f=314
TT=494.064

 OPTIMUM
f=314
TT=517.464

 OPTIMUM
f=314
TT=33.614

 OPTIMUM
f=314
TT=2259.93
MaxCSP/maxcut/
maxcut-60/
maxcut-60-480-9_ext.xml		 MOPT
f=317
TT=329.744

 MSAT (TO)
f=317
TT=2400.09
T1=0.75
 MSAT (TO)
f=317
TT=2400.09
T1=0.88
 OPTIMUM
f=317
TT=2150.38
T1=2160.82
 OPTIMUM
f=317
TT=2056.09
T1=2073.26
 MSAT (TO)
f=309
TT=2400.03
T1=0.55
 OPTIMUM
f=317
TT=329.744

 OPTIMUM
f=317
TT=342.705

 OPTIMUM
f=317
TT=19.002

 OPTIMUM
f=317
TT=1693.23
MaxCSP/maxcut/
maxcut-60/
maxcut-60-500-1_ext.xml		 MOPT
f=325
TT=628.087

 MSAT (TO)
f=325
TT=2400.14
T1=0.71
 MSAT (TO)
f=325
TT=2400.08
T1=0.86
 ? (TO)

TT=2400.03

 ? (TO)

TT=2400.02

 MSAT (TO)
f=313
TT=2400.06
T1=0.58
 OPTIMUM
f=325
TT=628.087

 OPTIMUM
f=325
TT=645.59

 OPTIMUM
f=325
TT=47.678

 MSAT (TO)
f=325
TT=2400.07
MaxCSP/maxcut/
maxcut-60/
maxcut-60-500-9_ext.xml		 MOPT
f=328
TT=487.104

 MSAT (TO)
f=328
TT=2400.1
T1=0.71
 MSAT (TO)
f=328
TT=2400.1
T1=0.74
 ? (TO)

TT=2400.1

 ? (TO)

TT=2400.09

 MSAT (TO)
f=323
TT=2400.04
T1=0.57
 OPTIMUM
f=328
TT=487.104

 OPTIMUM
f=328
TT=511.977

 OPTIMUM
f=328
TT=26.202

 OPTIMUM
f=328
TT=2252.63
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/maxcut/
maxcut-60/
maxcut-60-520-1_ext.xml		 MOPT
f=335
TT=1279.73

 MSAT (TO)
f=335
TT=2400.06
T1=0.8
 MSAT (TO)
f=335
TT=2400.11
T1=0.81
 ? (TO)

TT=2400.02

 ? (TO)

TT=2400.03

 MSAT (TO)
f=325
TT=2400.04
T1=0.58
 OPTIMUM
f=335
TT=1279.73

 OPTIMUM
f=335
TT=1419.57

 OPTIMUM
f=335
TT=59.431

 MSAT (TO)
f=335
TT=2400.08
MaxCSP/maxcut/
maxcut-60/
maxcut-60-520-9_ext.xml		 MOPT
f=342
TT=364.896

 MSAT (TO)
f=342
TT=2400.04
T1=0.87
 MSAT (TO)
f=342
TT=2400.09
T1=0.88
 ? (TO)

TT=2400.09

 MSAT (TO)
f=340
TT=2400.1
T1=1028.53
 MSAT (TO)
f=325
TT=2400.09
T1=0.57
 OPTIMUM
f=342
TT=364.896

 OPTIMUM
f=342
TT=393.535

 OPTIMUM
f=342
TT=16.822

 OPTIMUM
f=342
TT=1934.42
MaxCSP/maxcut/
maxcut-60/
maxcut-60-540-1_ext.xml		 MOPT
f=345
TT=1639.85

 MSAT (TO)
f=345
TT=2400.07
T1=0.69
 MSAT (TO)
f=345
TT=2400.08
T1=0.63
 ? (TO)

TT=2400.05

 ? (TO)

TT=2400.03

 MSAT (TO)
f=333
TT=2400
T1=0.66
 OPTIMUM
f=345
TT=1644.58

 OPTIMUM
f=345
TT=1639.85

 OPTIMUM
f=345
TT=100.536

 MSAT (TO)
f=345
TT=2400.09
MaxCSP/maxcut/
maxcut-60/
maxcut-60-540-9_ext.xml		 MOPT
f=349
TT=839.598

 MSAT (TO)
f=349
TT=2400.16
T1=1.11
 MSAT (TO)
f=349
TT=2400.13
T1=1.15
 ? (TO)

TT=2400.03

 ? (TO)

TT=2400.07

 MSAT (TO)
f=343
TT=2400.05
T1=0.54
 OPTIMUM
f=349
TT=839.598

 OPTIMUM
f=349
TT=942.754

 OPTIMUM
f=349
TT=50.744

 MSAT (TO)
f=349
TT=2400.12
MaxCSP/maxcut/
maxcut-60/
maxcut-60-560-1_ext.xml		 MSAT TO
f=355
TT=2400.08

 MSAT (TO)
f=355
TT=2400.11
T1=1.33
 MSAT (TO)
f=355
TT=2400.11
T1=1.33
 ? (TO)

TT=2400.1

 ? (TO)

TT=2400.02

 MSAT (TO)
f=345
TT=2400.03
T1=0.54
 MSAT (TO)
f=355
TT=2400.1

 ? (TO)

TT=2400.05

 OPTIMUM
f=355
TT=175.238

 MSAT (TO)
f=355
TT=2400.08
MaxCSP/maxcut/
maxcut-60/
maxcut-60-560-9_ext.xml		 MOPT
f=360
TT=1307.93

 MSAT (TO)
f=360
TT=2400.07
T1=0.78
 MSAT (TO)
f=360
TT=2400.13
T1=0.72
 ? (TO)

TT=2400.05

 ? (TO)

TT=2400.02

 MSAT (TO)
f=356
TT=2400.02
T1=0.59
 OPTIMUM
f=360
TT=1329.93

 OPTIMUM
f=360
TT=1307.93

 OPTIMUM
f=360
TT=67.334

 MSAT (TO)
f=360
TT=2400.07
MaxCSP/maxcut/
maxcut-60/
maxcut-60-580-1_ext.xml		 MSAT TO
f=365
TT=2400.08

 MSAT (TO)
f=365
TT=2400.16
T1=1.14
 MSAT (TO)
f=365
TT=2400.13
T1=1.21
 ? (TO)

TT=2400.11

 ? (TO)

TT=2400.02

 MSAT (TO)
f=361
TT=2400.07
T1=0.62
 MSAT (TO)
f=365
TT=2400.08

 ? (TO)

TT=2400.06

 OPTIMUM
f=365
TT=396.886

 MSAT (TO)
f=365
TT=2400.11
MaxCSP/maxcut/
maxcut-60/
maxcut-60-580-9_ext.xml		 MOPT
f=372
TT=1531.44

 MSAT (TO)
f=372
TT=2400.12
T1=1.58
 MSAT (TO)
f=372
TT=2400.14
T1=1.51
 ? (TO)

TT=2400.11

 MSAT (TO)
f=369
TT=2400.08
T1=987.28
 MSAT (TO)
f=370
TT=2400.06
T1=0.59
 OPTIMUM
f=372
TT=1557.2

 OPTIMUM
f=372
TT=1531.44

 OPTIMUM
f=372
TT=84.563

 MSAT (TO)
f=372
TT=2400.14
MaxCSP/maxcut/
maxcut-60/
maxcut-60-600-1_ext.xml		 MSAT TO
f=378
TT=2400.06

 MSAT (TO)
f=378
TT=2400.11
T1=1.28
 MSAT (TO)
f=378
TT=2400.15
T1=1.14
 ? (TO)

TT=2400.02

 ? (TO)

TT=2400.03

 MSAT (TO)
f=375
TT=2400.01
T1=0.6
 MSAT (TO)
f=378
TT=2400.08

 ? (TO)

TT=2400.01

 OPTIMUM
f=378
TT=302.81

 MSAT (TO)
f=378
TT=2400.06
MaxCSP/maxcut/
maxcut-60/
maxcut-60-600-9_ext.xml		 MOPT
f=382
TT=2008.68

 MSAT (TO)
f=382
TT=2400.14
T1=1.34
 MSAT (TO)
f=382
TT=2400.09
T1=1.43
 ? (TO)

TT=2400.02

 ? (TO)

TT=2400.09

 MSAT (TO)
f=376
TT=2400.03
T1=0.59
 OPTIMUM
f=382
TT=2008.68

 OPTIMUM
f=382
TT=2045.95

 OPTIMUM
f=382
TT=85.697

 MSAT (TO)
f=382
TT=2400.1

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 answer5959858411301160106
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)8841609712015