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 name | Best 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 name | Best 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 name | Best 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 name | Best 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 name | Best 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 name | Best 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 name | Best 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 name | Best 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 name | Best 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 name | Best 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 name | Best 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 name | Best 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
|