fapp/fapp11-15/ fapp11/ fapp11-1000-0.xml |
MSAT TO
f=14239 TT=2400.09
|
MSAT (TO) f=14239 TT=2400.15 T1=674.4
|
MSAT (TO) f=14239 TT=2400.09 T1=702.72
|
? (problem)
TT=289.987
NODES=0
|
fapp/fapp11-15/ fapp11/ fapp11-1000-1.xml |
MSAT TO
f=14565 TT=2400.11
|
MSAT (TO) f=14565 TT=2400.11 T1=465.99
|
MSAT (TO) f=14565 TT=2400.12 T1=463.42
|
? (problem)
TT=293.572
NODES=0
|
fapp/fapp11-15/ fapp11/ fapp11-1000-2.xml |
MSAT TO
f=14626 TT=2400.16
|
MSAT (TO) f=14626 TT=2400.16 T1=466.09
|
MSAT (TO) f=14575 TT=2400.07 T1=424.61
|
? (problem)
TT=294.148
NODES=0
|
fapp/fapp11-15/ fapp11/ fapp11-1000-3.xml |
MSAT TO
f=14635 TT=2400.06
|
MSAT (TO) f=14635 TT=2400.06 T1=480.29
|
MSAT (TO) f=14635 TT=2400.08 T1=480.51
|
? (problem)
TT=294.067
NODES=0
|
fapp/fapp11-15/ fapp11/ fapp11-1000-4.xml |
MSAT TO
f=14754 TT=2400.09
|
MSAT (TO) f=14754 TT=2400.09 T1=855.38
|
MSAT (TO) f=14703 TT=2400.11 T1=699.02
|
? (problem)
TT=294.735
NODES=0
|
fapp/fapp11-15/ fapp11/ fapp11-1000-5.xml |
MSAT TO
f=14581 TT=2400.1
|
MSAT (TO) f=14581 TT=2400.11 T1=349.95
|
MSAT (TO) f=14581 TT=2400.1 T1=352.76
|
? (problem)
TT=277.442
NODES=0
|
fapp/fapp11-15/ fapp11/ fapp11-1000-6.xml |
MSAT TO
f=14745 TT=2400.09
|
MSAT (TO) f=14745 TT=2400.1 T1=428.43
|
MSAT (TO) f=14745 TT=2400.09 T1=433.15
|
? (problem)
TT=282.118
NODES=0
|
fapp/fapp11-15/ fapp11/ fapp11-1000-7.xml |
MSAT TO
f=14533 TT=2400.13
|
MSAT (TO) f=14533 TT=2400.25 T1=224.23
|
MSAT (TO) f=14533 TT=2400.13 T1=246.89
|
? (problem)
TT=283.563
NODES=0
|
fapp/fapp11-15/ fapp12/ fapp12-1500-0.xml |
MSAT TO
f=23393 TT=2400.13
|
MSAT (TO) f=23393 TT=2400.15 T1=658.66
|
MSAT (TO) f=23393 TT=2400.13 T1=652.18
|
? (problem)
TT=1533.67
NODES=0
|
fapp/fapp11-15/ fapp12/ fapp12-1500-1.xml |
MSAT TO
f=24589 TT=2400.08
|
MSAT (TO) f=24589 TT=2400.18 T1=1008.27
|
MSAT (TO) f=24589 TT=2400.08 T1=1015.55
|
? (problem)
TT=1776.59
NODES=0
|
Bench name | Best results on this instance | AbsconMax 109 EPFC | AbsconMax 109 PFC | CSP4J - MaxCSP 2006-12-19 |
---|
fapp/fapp11-15/ fapp13/ fapp13-2000-0.xml |
MSAT TO
f=23963 TT=2400.09
|
MSAT (TO) f=23963 TT=2400.09 T1=612.15
|
MSAT (TO) f=23963 TT=2400.09 T1=573.73
|
? (problem)
TT=598.118
NODES=0
|
fapp/fapp11-15/ fapp13/ fapp13-2000-1.xml |
MSAT TO
f=24560 TT=2400.13
|
MSAT (TO) f=24560 TT=2400.14 T1=455.27
|
MSAT (TO) f=24560 TT=2400.13 T1=455.19
|
? (problem)
TT=608.242
NODES=0
|
fapp/fapp11-15/ fapp13/ fapp13-2000-2.xml |
MSAT TO
f=24559 TT=2400.07
|
MSAT (TO) f=24559 TT=2400.11 T1=383.11
|
MSAT (TO) f=24559 TT=2400.07 T1=362.99
|
? (problem)
TT=620.683
NODES=0
|
fapp/fapp11-15/ fapp14/ fapp14-2500-0.xml |
MSAT TO
f=37041 TT=2400.27
|
MSAT (TO) f=37041 TT=2400.27 T1=2039.19
|
MSAT (TO) f=37041 TT=2400.27 T1=2056.34
|
?
TT=158.909
|
fapp/fapp11-15/ fapp14/ fapp14-2500-1.xml |
MSAT TO
f=38847 TT=2400.17
|
MSAT (TO) f=38528 TT=2400.09 T1=1739.41
|
MSAT (TO) f=38847 TT=2400.17 T1=2102.9
|
?
TT=154.198
|
fapp/fapp11-15/ fapp14/ fapp14-2500-2.xml |
MSAT TO
f=38464 TT=2400.08
|
MSAT (TO) f=38464 TT=2400.13 T1=1648.43
|
MSAT (TO) f=38464 TT=2400.08 T1=1650.92
|
?
TT=161.054
|
fapp/fapp11-15/ fapp14/ fapp14-2500-3.xml |
MSAT TO
f=38371 TT=2400.11
|
MSAT (TO) f=38371 TT=2400.11 T1=1444.23
|
MSAT (TO) f=38371 TT=2400.17 T1=1462.94
|
?
TT=166.227
|
fapp/fapp11-15/ fapp15/ fapp15-3000-0.xml |
MSAT TO
f=30637 TT=2400.11
|
MSAT (TO) f=30637 TT=2400.11 T1=1211.73
|
MSAT (TO) f=30637 TT=2400.14 T1=1155.25
|
? (problem)
TT=952.667
NODES=0
|
fapp/fapp11-15/ fapp15/ fapp15-3000-1.xml |
MSAT TO
f=31573 TT=2400.09
|
MSAT (TO) f=31573 TT=2400.13 T1=1070.6
|
MSAT (TO) f=31573 TT=2400.09 T1=1127.41
|
? (problem)
TT=1029.32
NODES=0
|
fapp/fapp11-15/ fapp15/ fapp15-3000-2.xml |
MSAT TO
f=30941 TT=2400.09
|
MSAT (TO) f=30941 TT=2400.09 T1=642.05
|
MSAT (TO) f=30941 TT=2400.14 T1=625.31
|
? (problem)
TT=999.84
NODES=0
|
Bench name | Best results on this instance | AbsconMax 109 EPFC | AbsconMax 109 PFC | CSP4J - MaxCSP 2006-12-19 |
---|
fapp/fapp11-15/ fapp15/ fapp15-3000-3.xml |
MSAT TO
f=31255 TT=2400.07
|
MSAT (TO) f=31255 TT=2400.13 T1=785.18
|
MSAT (TO) f=31255 TT=2400.07 T1=848.21
|
? (problem)
TT=1061.82
NODES=0
|
fapp/fapp11-15/ fapp15/ fapp15-3000-4.xml |
MSAT TO
f=31270 TT=2400.14
|
MSAT (TO) f=31270 TT=2400.14 T1=798.07
|
MSAT (TO) f=31270 TT=2400.16 T1=797.1
|
? (problem)
TT=988.472
NODES=0
|
fapp/fapp36-40/ fapp36/ fapp36-2000-0.xml |
MSAT TO
f=17076 TT=2400.07
|
MSAT (TO) f=17076 TT=2400.15 T1=1327.2
|
MSAT (TO) f=17076 TT=2400.07 T1=1325.03
|
? (problem)
TT=1111.63
NODES=0
|
fapp/fapp36-40/ fapp36/ fapp36-2000-1.xml |
MSAT TO
f=17485 TT=2400.1
|
MSAT (TO) f=17485 TT=2400.18 T1=1754.1
|
MSAT (TO) f=17485 TT=2400.1 T1=1746.66
|
? (problem)
TT=1094.07
NODES=0
|
fapp/fapp36-40/ fapp36/ fapp36-2000-2.xml |
MSAT TO
f=17405 TT=2400.12
|
MSAT (TO) f=17405 TT=2400.16 T1=1536.56
|
MSAT (TO) f=17405 TT=2400.12 T1=1557.32
|
? (problem)
TT=1118.29
NODES=0
|
fapp/fapp36-40/ fapp36/ fapp36-2000-3.xml |
MSAT TO
f=16894 TT=2400.18
|
MSAT (TO) f=16894 TT=2400.18 T1=726.62
|
MSAT (TO) f=16894 TT=2400.2 T1=686.32
|
? (problem)
TT=1037.34
NODES=0
|
fapp/fapp36-40/ fapp36/ fapp36-2000-4.xml |
MSAT TO
f=17415 TT=2400.11
|
MSAT (TO) f=17415 TT=2400.11 T1=1361.46
|
MSAT (TO) f=16897 TT=2400.14 T1=800.4
|
? (problem)
TT=1114.26
NODES=0
|
fapp/fapp36-40/ fapp36/ fapp36-2000-5.xml |
MSAT TO
f=17033 TT=2400.11
|
MSAT (TO) f=17033 TT=2400.11 T1=965.37
|
MSAT (TO) f=17033 TT=2400.17 T1=950.81
|
? (problem)
TT=1120.23
NODES=0
|
fapp/fapp36-40/ fapp36/ fapp36-2000-6.xml |
MSAT TO
f=17572 TT=2400.11
|
MSAT (TO) f=17572 TT=2400.17 T1=1797.38
|
MSAT (TO) f=17572 TT=2400.11 T1=1808.59
|
? (problem)
TT=1124.83
NODES=0
|
fapp/fapp36-40/ fapp37/ fapp37-2250-0.xml |
MSAT TO
f=36092 TT=2400.18
|
MSAT (TO) f=36092 TT=2400.21 T1=1539.85
|
MSAT (TO) f=36092 TT=2400.18 T1=1518.13
|
?
TT=33.319
|
Bench name | Best results on this instance | AbsconMax 109 EPFC | AbsconMax 109 PFC | CSP4J - MaxCSP 2006-12-19 |
---|
fapp/fapp36-40/ fapp37/ fapp37-2250-1.xml |
MSAT TO
f=38427 TT=2400.2
|
MSAT (TO) f=38288 TT=2400.16 T1=2420.81
|
MSAT (TO) f=38427 TT=2400.2 T1=2406.42
|
?
TT=33.233
|
fapp/fapp36-40/ fapp37/ fapp37-2250-2.xml |
MSAT TO
f=37163 TT=2400.19
|
MSAT (TO) f=37163 TT=2400.19 T1=2032.25
|
MSAT (TO) f=37163 TT=2400.24 T1=1885.76
|
?
TT=33.31
|
fapp/fapp36-40/ fapp37/ fapp37-2250-3.xml |
MSAT TO
f=36591 TT=2400.12
|
MSAT (TO) f=36591 TT=2400.12 T1=1273.39
|
MSAT (TO) f=36591 TT=2400.22 T1=1403.41
|
?
TT=35.018
|
fapp/fapp36-40/ fapp37/ fapp37-2250-4.xml |
MSAT TO
f=37483 TT=2400.18
|
MSAT (TO) f=37483 TT=2400.18 T1=2050.81
|
MSAT (TO) f=37483 TT=2400.2 T1=2069.89
|
?
TT=32.322
|
fapp/fapp36-40/ fapp38/ fapp38-2500-0.xml |
MSAT TO
f=53320 TT=2400.1
|
MSAT (TO) f=53320 TT=2400.1 T1=2419.87
|
MSAT (TO) f=53320 TT=2400.12 T1=2399.51
|
?
TT=41.483
|
fapp/fapp36-40/ fapp38/ fapp38-2500-1.xml |
MSAT TO
f=54208 TT=2400.12
|
MSAT (TO) f=54208 TT=2400.12 T1=2411.6
|
MSAT (TO) f=54022 TT=2400.15 T1=2400.12
|
?
TT=40.134
|
fapp/fapp36-40/ fapp38/ fapp38-2500-2.xml |
MSAT TO
f=53964 TT=2400.1
|
MSAT (TO) f=53846 TT=2400.17 T1=2419.98
|
MSAT (TO) f=53964 TT=2400.1 T1=2403.93
|
?
TT=40.015
|
fapp/fapp36-40/ fapp39/ fapp39-2750-0.xml |
MSAT TO
f=19948 TT=2400.09
|
MSAT (TO) f=19948 TT=2400.09 T1=707.58
|
MSAT (TO) f=19948 TT=2400.13 T1=708.36
|
?
TT=63.986
|
fapp/fapp36-40/ fapp39/ fapp39-2750-1.xml |
MSAT TO
f=20342 TT=2400.09
|
MSAT (TO) f=20342 TT=2400.11 T1=1228.63
|
MSAT (TO) f=20342 TT=2400.09 T1=1144.42
|
?
TT=63.74
|
fapp/fapp36-40/ fapp39/ fapp39-2750-2.xml |
MSAT TO
f=20689 TT=2400.06
|
MSAT (TO) f=20689 TT=2400.06 T1=1626.91
|
MSAT (TO) f=20689 TT=2400.18 T1=1657.87
|
?
TT=63.02
|
Bench name | Best results on this instance | AbsconMax 109 EPFC | AbsconMax 109 PFC | CSP4J - MaxCSP 2006-12-19 |
---|
fapp/fapp36-40/ fapp40/ fapp40-3000-0.xml |
MSAT TO
f=46543 TT=2400.12
|
MSAT (TO) f=46543 TT=2400.12 T1=2402.37
|
MSAT (TO) f=46418 TT=2400.1 T1=2397.7
|
?
TT=69.745
|
fapp/fapp36-40/ fapp40/ fapp40-3000-1.xml |
MSAT TO
f=46957 TT=2400.07
|
MSAT (TO) f=46584 TT=2400.12 T1=2213.46
|
MSAT (TO) f=46957 TT=2400.07 T1=2417.52
|
?
TT=59.897
|
fapp/fapp36-40/ fapp40/ fapp40-3000-2.xml |
MSAT TO
f=46992 TT=2400.18
|
MSAT (TO) f=46992 TT=2400.18 T1=2402.13
|
MSAT (TO) f=46823 TT=2400.15 T1=2410.31
|
?
TT=58.202
|
fapp/fapp36-40/ fapp40/ fapp40-3000-3.xml |
MSAT TO
f=46522 TT=2400.17
|
MSAT (TO) f=46522 TT=2400.17 T1=2401.19
|
MSAT (TO) f=46517 TT=2400.08 T1=2410.34
|
?
TT=55.46
|
queensKnights/ queensKnights-10-5-add.xml |
MOPT
f=54 TT=0.923
|
OPTIMUM f=54 TT=0.923 T1=0.63
|
OPTIMUM f=54 TT=1.861 T1=0.64
|
MSAT (TO) f=54 TT=2400.08
|
queensKnights/ queensKnights-10-5-mul.xml |
MOPT
f=104 TT=0.971
|
OPTIMUM f=104 TT=0.971 T1=0.7
|
OPTIMUM f=104 TT=2.607 T1=0.66
|
MSAT (TO) f=104 TT=2400.06 T1=0.96
|
queensKnights/ queensKnights-12-5-add.xml |
MOPT
f=75 TT=1.01
|
OPTIMUM f=75 TT=1.01 T1=0.62
|
OPTIMUM f=75 TT=2.302 T1=0.67
|
MSAT (TO) f=74 TT=2400.08 T1=0.79
|
queensKnights/ queensKnights-12-5-mul.xml |
MOPT
f=135 TT=1.061
|
OPTIMUM f=135 TT=1.061 T1=0.67
|
OPTIMUM f=135 TT=3.809 T1=0.66
|
MSAT (TO) f=134 TT=2400 T1=1.07
|
queensKnights/ queensKnights-20-5-add.xml |
MOPT
f=199 TT=3.351
|
OPTIMUM f=199 TT=3.351 T1=0.89
|
OPTIMUM f=199 TT=16.766 T1=0.91
|
MSAT (TO) f=197 TT=2400.04 T1=1.66
|
queensKnights/ queensKnights-20-5-mul.xml |
MOPT
f=299 TT=3.348
|
OPTIMUM f=299 TT=3.348 T1=0.95
|
OPTIMUM f=299 TT=50.678 T1=1
|
MSAT (TO) f=298 TT=2400.08 T1=2.52
|
Bench name | Best results on this instance | AbsconMax 109 EPFC | AbsconMax 109 PFC | CSP4J - MaxCSP 2006-12-19 |
---|
queensKnights/ queensKnights-25-5-add.xml |
MOPT
f=309 TT=8.296
|
OPTIMUM f=309 TT=8.296 T1=1.26
|
OPTIMUM f=309 TT=29.223 T1=1.26
|
MSAT (TO) f=308 TT=2400.09 T1=2.62
|
queensKnights/ queensKnights-25-5-mul.xml |
MOPT
f=434 TT=8.809
|
OPTIMUM f=434 TT=8.809 T1=1.45
|
OPTIMUM f=434 TT=86.822 T1=1.46
|
MSAT (TO) f=434 TT=2400.06 T1=4.85
|
queensKnights/ queensKnights-50-5-add.xml |
MOPT
f=1234 TT=194.489
|
OPTIMUM f=1234 TT=194.489 T1=8.54
|
OPTIMUM f=1234 TT=891.73 T1=8.81
|
MSAT (TO) f=1233 TT=2400.03 T1=26.37
|
queensKnights/ queensKnights-50-5-mul.xml |
MOPT
f=1484 TT=208.903
|
OPTIMUM f=1484 TT=208.903 T1=9.71
|
OPTIMUM f=1484 TT=1764.17 T1=10.17
|
MSAT (TO) f=1482 TT=2400.06 T1=74.95
|
rlfap/ rlfapGraphs/graph11.xml |
MSAT TO
f=3713 TT=2400.12
|
MSAT (TO) f=3713 TT=2400.17 T1=47.92
|
MSAT (TO) f=3713 TT=2400.12 T1=46.43
|
? (problem)
TT=10.818
NODES=0
|
rlfap/ rlfapGraphs/graph12.xml |
MSAT TO
f=3957 TT=2400.11
|
MSAT (TO) f=3957 TT=2400.12 T1=56.02
|
MSAT (TO) f=3957 TT=2400.11 T1=57.55
|
? (problem)
TT=11.674
NODES=0
|
rlfap/ rlfapGraphs/graph13.xml |
MSAT TO
f=5210 TT=2400.12
|
MSAT (TO) f=5210 TT=2400.12 T1=134.05
|
MSAT (TO) f=5210 TT=2400.12 T1=130.54
|
? (problem)
TT=17.243
NODES=0
|
rlfap/ rlfapGraphs/graph5.xml |
MOPT
f=1129 TT=2041.34
|
MSAT (TO) f=1129 TT=2400.15 T1=16.21
|
OPTIMUM f=1129 TT=2041.34 T1=15.1
|
? (problem)
TT=3.297
NODES=0
|
rlfap/ rlfapGraphs/graph6.xml |
MSAT TO
f=2150 TT=2400.1
|
MSAT (TO) f=2150 TT=2400.13 T1=16.65
|
MSAT (TO) f=2150 TT=2400.1 T1=16.04
|
? (problem)
TT=6.231
NODES=0
|
rlfap/ rlfapGraphs/graph7.xml |
MSAT TO
f=2151 TT=2400.13
|
MSAT (TO) f=2151 TT=2400.13 T1=18.87
|
MSAT (TO) f=2151 TT=2400.13 T1=19.2
|
? (problem)
TT=6.326
NODES=0
|
Bench name | Best results on this instance | AbsconMax 109 EPFC | AbsconMax 109 PFC | CSP4J - MaxCSP 2006-12-19 |
---|
rlfap/ rlfapGraphsMod/graph12-w1.xml |
MSAT TO
f=1140 TT=2400.1
|
MSAT (TO) f=1140 TT=2400.1 T1=32.16
|
MSAT (TO) f=1140 TT=2400.1 T1=33.9
|
MSAT (TO) f=1091 TT=2400.05
|
rlfap/ rlfapGraphsMod/graph13-w1.xml |
MSAT TO
f=1467 TT=2400.07
|
MSAT (TO) f=1467 TT=2400.1 T1=36.82
|
MSAT (TO) f=1467 TT=2400.07 T1=33.58
|
MSAT (TO) f=1406 TT=2400.09
|
rlfap/ rlfapGraphsMod/ graph14-f28.xml |
MSAT TO
f=4568 TT=2400.07
|
MSAT (TO) f=4568 TT=2400.07 T1=38.41
|
MSAT (TO) f=4568 TT=2400.12 T1=37.63
|
MSAT (TO) f=4524 TT=2400.07
|
rlfap/ rlfapGraphsMod/graph2-f25.xml |
MSAT TO
f=2243 TT=2400.05
|
MSAT (TO) f=2242 TT=2400.1 T1=52.12
|
MSAT (TO) f=2242 TT=2400.07 T1=53.72
|
MSAT (TO) f=2243 TT=2400.05
|
rlfap/ rlfapGraphsMod/graph8-f11.xml |
MSAT TO
f=3727 TT=2400.12
|
MSAT (TO) f=3727 TT=2400.12 T1=33.86
|
MSAT (TO) f=3727 TT=2400.14 T1=31.61
|
MSAT (TO) f=3632 TT=2400.02
|
rlfap/ rlfapGraphsMod/graph9-f10.xml |
MSAT TO
f=5194 TT=2400.1
|
MSAT (TO) f=5194 TT=2400.15 T1=53.04
|
MSAT (TO) f=5194 TT=2400.1 T1=52.54
|
MSAT (TO) f=5118 TT=2400.08
|
rlfap/ rlfapScens11/ scen11-f10.xml |
MSAT TO
f=4077 TT=2400.05
|
MSAT (TO) f=4077 TT=2400.09 T1=20.46
|
MSAT (TO) f=4077 TT=2400.05 T1=19.37
|
MSAT (TO) f=4067 TT=2400.07
|
rlfap/ rlfapScens11/ scen11-f11.xml |
MSAT TO
f=4075 TT=2400.09
|
MSAT (TO) f=4075 TT=2400.09 T1=23.29
|
MSAT (TO) f=4075 TT=2400.1 T1=22.45
|
MSAT (TO) f=4051 TT=2400.07
|
rlfap/ rlfapScens11/ scen11-f12.xml |
MSAT TO
f=4075 TT=2400.06
|
MSAT (TO) f=4075 TT=2400.06 T1=32.59
|
MSAT (TO) f=4075 TT=2400.09 T1=35.59
|
MSAT (TO) f=4052 TT=2400.07
|
rlfap/ rlfapScens11/ scen11-f1.xml |
MSAT TO
f=4101 TT=2400.01
|
MSAT (TO) f=4099 TT=2400.09 T1=5.27
|
MSAT (TO) f=4099 TT=2400.11 T1=5.32
|
MSAT (TO) f=4101 TT=2400.01 T1=23.45
|
Bench name | Best results on this instance | AbsconMax 109 EPFC | AbsconMax 109 PFC | CSP4J - MaxCSP 2006-12-19 |
---|
rlfap/ rlfapScens11/ scen11-f2.xml |
MSAT TO
f=4101 TT=2400.12
|
MSAT (TO) f=4101 TT=2400.13 T1=19.05
|
MSAT (TO) f=4101 TT=2400.12 T1=20.54
|
MSAT (TO) f=4100 TT=2400.05 T1=16.41
|
rlfap/ rlfapScens11/ scen11-f3.xml |
MSAT TO
f=4100 TT=2400.06
|
MSAT (TO) f=4100 TT=2400.16 T1=8.88
|
MSAT (TO) f=4100 TT=2400.06 T1=8.92
|
MSAT (TO) f=4098 TT=2400.05 T1=16.54
|
rlfap/ rlfapScens11/ scen11-f4.xml |
MSAT TO
f=4100 TT=2400.04
|
MSAT (TO) f=4100 TT=2400.11 T1=32.02
|
MSAT (TO) f=4100 TT=2400.04 T1=30.88
|
MSAT (TO) f=4100 TT=2400.09
|
rlfap/ rlfapScens11/ scen11-f5.xml |
MSAT TO
f=4100 TT=2400.05
|
MSAT (TO) f=4100 TT=2400.14 T1=18.37
|
MSAT (TO) f=4100 TT=2400.05 T1=18.91
|
MSAT (TO) f=4096 TT=2400.06
|
rlfap/ rlfapScens11/ scen11-f6.xml |
MSAT TO
f=4093 TT=2400.08
|
MSAT (TO) f=4093 TT=2400.1 T1=16.29
|
MSAT (TO) f=4093 TT=2400.08 T1=15.26
|
MSAT (TO) f=4085 TT=2400.03
|
rlfap/ rlfapScens11/ scen11-f7.xml |
MSAT TO
f=4095 TT=2400.04
|
MSAT (TO) f=4095 TT=2400.04 T1=30.31
|
MSAT (TO) f=4095 TT=2400.14 T1=30.51
|
MSAT (TO) f=4090 TT=2400.03
|
rlfap/ rlfapScens11/ scen11-f8.xml |
MSAT TO
f=4092 TT=2400.07
|
MSAT (TO) f=4092 TT=2400.07 T1=19.64
|
MSAT (TO) f=4092 TT=2400.09 T1=20.9
|
MSAT (TO) f=4089 TT=2400.04
|
rlfap/ rlfapScens11/ scen11-f9.xml |
MSAT TO
f=4093 TT=2400.03
|
MSAT (TO) f=4093 TT=2400.03 T1=73.65
|
MSAT (TO) f=4093 TT=2400.09 T1=69.46
|
MSAT (TO) f=4085 TT=2400.04
|
rlfap/rlfapScensMod/ scen10-w1-f3.xml |
MOPT
f=1137 TT=1159.76
|
OPTIMUM f=1137 TT=1159.76 T1=1165.34
|
MSAT (TO) f=1136 TT=2400.14 T1=26.38
|
MSAT (TO) f=1081 TT=2400.08
|
rlfap/ rlfapScensMod/scen1-f9.xml |
MSAT TO
f=5546 TT=2400.02
|
MSAT (TO) f=5540 TT=2400.12 T1=2229.02
|
MSAT (TO) f=5536 TT=2400.08 T1=20.27
|
MSAT (TO) f=5546 TT=2400.02
|
Bench name | Best results on this instance | AbsconMax 109 EPFC | AbsconMax 109 PFC | CSP4J - MaxCSP 2006-12-19 |
---|
rlfap/ rlfapScensMod/scen2-f25.xml |
MOPT
f=1233 TT=233.061
|
OPTIMUM f=1233 TT=540.168 T1=1.28
|
OPTIMUM f=1233 TT=233.061 T1=1.27
|
MSAT (TO) f=1233 TT=2400.05
|
rlfap/ rlfapScensMod/scen3-f11.xml |
MSAT TO
f=2755 TT=2400.06
|
MSAT (TO) f=2748 TT=2400.09 T1=28.51
|
MSAT (TO) f=2748 TT=2400.09 T1=26.77
|
MSAT (TO) f=2755 TT=2400.06
|
rlfap/ rlfapScensMod/ scen6-w1-f2.xml |
MOPT
f=318 TT=19.369
|
OPTIMUM f=318 TT=25.25 T1=18.59
|
OPTIMUM f=318 TT=19.369 T1=17.48
|
MSAT (TO) f=318 TT=2400.06
|
rlfap/ rlfapScensMod/scen6-w2.xml |
MSAT TO
f=637 TT=2400.1
|
MSAT (TO) f=637 TT=2400.1 T1=47.63
|
MSAT (TO) f=637 TT=2400.13 T1=51.15
|
MSAT (TO) f=584 TT=2400.02 T1=2.64
|
rlfap/ rlfapScensMod/ scen7-w1-f5.xml |
MOPT
f=659 TT=496.215
|
OPTIMUM f=659 TT=496.215 T1=496.59
|
OPTIMUM f=659 TT=1581.39 T1=1570.76
|
MSAT (TO) f=656 TT=2400.05
|
rlfap/ rlfapScensMod/ scen9-w1-f3.xml |
MOPT
f=1137 TT=1155.87
|
OPTIMUM f=1137 TT=1155.87 T1=1156.3
|
MSAT (TO) f=1136 TT=2400.16 T1=26.8
|
MSAT (TO) f=1081 TT=2400.05
|
rlfap/ rlfapScens/scen10.xml |
MSAT TO
f=3988 TT=2400.08
|
MSAT (TO) f=3988 TT=2400.12 T1=37.59
|
MSAT (TO) f=3988 TT=2400.08 T1=40.1
|
? (problem)
TT=13.381
NODES=0
|
rlfap/ rlfapScens/scen6.xml |
MSAT TO
f=1290 TT=2400.08
|
MSAT (TO) f=1290 TT=2400.08 T1=67.64
|
MSAT (TO) f=1290 TT=2400.09 T1=63.08
|
? (problem)
TT=4.198
NODES=0
|
rlfap/ rlfapScens/scen7.xml |
MSAT TO
f=2754 TT=2400.06
|
MSAT (TO) f=2754 TT=2400.06 T1=34.66
|
MSAT (TO) f=2754 TT=2400.08 T1=35.14
|
? (problem)
TT=8.232
NODES=0
|
rlfap/ rlfapScens/scen8.xml |
MSAT TO
f=5499 TT=2400.08
|
MSAT (TO) f=5499 TT=2400.13 T1=131.04
|
MSAT (TO) f=5499 TT=2400.08 T1=133.7
|
? (problem)
TT=19.275
NODES=0
|
Bench name | Best results on this instance | AbsconMax 109 EPFC | AbsconMax 109 PFC | CSP4J - MaxCSP 2006-12-19 |
---|
rlfap/ rlfapScens/scen9.xml |
MSAT TO
f=3988 TT=2400.07
|
MSAT (TO) f=3988 TT=2400.17 T1=37.87
|
MSAT (TO) f=3988 TT=2400.07 T1=41.05
|
? (problem)
TT=13.31
NODES=0
|
rlfap/rlfapSubs/ scen06-sub0.xml |
MOPT
f=217 TT=1377.83
|
OPTIMUM f=217 TT=1377.83 T1=1.2
|
OPTIMUM f=217 TT=1738.19 T1=1.31
|
MSAT (TO) f=212 TT=2400.03
|
rlfap/rlfapSubs/ scen06-sub1.xml |
MSAT TO
f=293 TT=2400.11
|
MSAT (TO) f=293 TT=2400.11 T1=61.1
|
MSAT (TO) f=293 TT=2400.12 T1=57.92
|
MSAT (TO) f=289 TT=2400.03 T1=1.51
|
rlfap/rlfapSubs/ scen06-sub2.xml |
MSAT TO
f=348 TT=2400.06
|
MSAT (TO) f=347 TT=2400.1 T1=2.02
|
MSAT (TO) f=348 TT=2400.06 T1=31.12
|
MSAT (TO) f=345 TT=2400.04 T1=1.89
|
rlfap/rlfapSubs/ scen06-sub3.xml |
MSAT TO
f=415 TT=2400.1
|
MSAT (TO) f=415 TT=2400.1 T1=1.77
|
MSAT (TO) f=415 TT=2400.11 T1=1.75
|
MSAT (TO) f=413 TT=2400.05
|
rlfap/rlfapSubs/ scen06-sub4.xml |
MSAT TO
f=473 TT=2400.01
|
MSAT (TO) f=472 TT=2400.15 T1=1.98
|
MSAT (TO) f=472 TT=2400.08 T1=1.9
|
MSAT (TO) f=473 TT=2400.01 T1=2.25
|
rlfap/rlfapSubs/ scen07-sub1.xml |
MSAT TO
f=297 TT=2400.07
|
MSAT (TO) f=297 TT=2400.07 T1=4.29
|
MSAT (TO) f=297 TT=2400.1 T1=4.06
|
MSAT (TO) f=294 TT=2400.1 T1=1.63
|
rlfap/rlfapSubs/ scen07-sub2.xml |
MSAT TO
f=352 TT=2400.1
|
MSAT (TO) f=352 TT=2400.14 T1=8.32
|
MSAT (TO) f=352 TT=2400.1 T1=9.08
|
MSAT (TO) f=351 TT=2400.03 T1=1.88
|
rlfap/rlfapSubs/ scen07-sub3.xml |
MSAT TO
f=420 TT=2400.07
|
MSAT (TO) f=420 TT=2400.12 T1=41.91
|
MSAT (TO) f=420 TT=2400.07 T1=45.97
|
MSAT (TO) f=411 TT=2400.06
|
rlfap/rlfapSubs/ scen07-sub4.xml |
MSAT TO
f=480 TT=2400.08
|
MSAT (TO) f=480 TT=2400.14 T1=10.77
|
MSAT (TO) f=480 TT=2400.08 T1=10.8
|
MSAT (TO) f=462 TT=2400.09 T1=2.22
|
Bench name | Best results on this instance | AbsconMax 109 EPFC | AbsconMax 109 PFC | CSP4J - MaxCSP 2006-12-19 |
---|
taillard/ js-taillard-15/ js-taillard-15-95-0.xml |
MSAT TO
f=1745 TT=2400.1
|
MSAT (TO) f=1745 TT=2400.1 T1=2187.54
|
MSAT (TO) f=1742 TT=2400.17 T1=159.49
|
?
TT=25.222
|
taillard/ js-taillard-15/ js-taillard-15-95-1.xml |
MSAT TO
f=1757 TT=2400.06
|
MSAT (TO) f=1755 TT=2400.14 T1=1750.89
|
MSAT (TO) f=1757 TT=2400.06 T1=1134.2
|
?
TT=20.041
|
taillard/ js-taillard-15/ js-taillard-15-95-2.xml |
MSAT TO
f=1741 TT=2400.18
|
MSAT (TO) f=1741 TT=2400.18 T1=124.08
|
MSAT (TO) f=1741 TT=2400.2 T1=127.71
|
?
TT=263.298
|
taillard/ js-taillard-15/ js-taillard-15-95-3.xml |
MSAT TO
f=1742 TT=2400.16
|
MSAT (TO) f=1741 TT=2400.1 T1=161.18
|
MSAT (TO) f=1742 TT=2400.16 T1=659.4
|
? (exit code)
TT=558.318
|
taillard/ js-taillard-15/ js-taillard-15-95-4.xml |
MSAT TO
f=1753 TT=2400.19
|
MSAT (TO) f=1752 TT=2400.13 T1=221.1
|
MSAT (TO) f=1753 TT=2400.19 T1=720.08
|
?
TT=180.421
|
taillard/ js-taillard-15/ js-taillard-15-95-5.xml |
MSAT TO
f=1734 TT=2400.2
|
MSAT (TO) f=1734 TT=2400.2 T1=111.8
|
MSAT (TO) f=1734 TT=2400.23 T1=107.36
|
?
TT=24.381
|
taillard/ js-taillard-15/ js-taillard-15-95-6.xml |
MSAT TO
f=1737 TT=2400.16
|
MSAT (TO) f=1737 TT=2400.19 T1=141.52
|
MSAT (TO) f=1737 TT=2400.16 T1=135.13
|
?
TT=244.721
|
taillard/ js-taillard-15/ js-taillard-15-95-7.xml |
MSAT TO
f=1733 TT=2400.13
|
MSAT (TO) f=1733 TT=2400.18 T1=123.01
|
MSAT (TO) f=1733 TT=2400.13 T1=119.22
|
? (exit code)
TT=570.871
|
taillard/ js-taillard-15/ js-taillard-15-95-8.xml |
MSAT TO
f=1744 TT=2400.14
|
MSAT (TO) f=1742 TT=2400.09 T1=1926.01
|
MSAT (TO) f=1744 TT=2400.14 T1=973.24
|
?
TT=21.296
|
taillard/ js-taillard-15/ js-taillard-15-95-9.xml |
MSAT TO
f=1743 TT=2400.15
|
MSAT (TO) f=1743 TT=2400.16 T1=152.43
|
MSAT (TO) f=1743 TT=2400.15 T1=152.01
|
?
TT=20.416
|
Bench name | Best results on this instance | AbsconMax 109 EPFC | AbsconMax 109 PFC | CSP4J - MaxCSP 2006-12-19 |
---|
taillard/js-taillard-20-15/ js-taillard-20-15-95-0.xml |
MSAT TO
f=3039 TT=2400.11
|
MSAT (TO) f=3039 TT=2400.16 T1=153.04
|
MSAT (TO) f=3039 TT=2400.11 T1=152.2
|
?
TT=21.15
|
taillard/js-taillard-20-15/ js-taillard-20-15-95-1.xml |
MSAT TO
f=3058 TT=2400.13
|
MSAT (TO) f=3057 TT=2400.12 T1=287.21
|
MSAT (TO) f=3058 TT=2400.13 T1=2141.04
|
?
TT=21.861
|
taillard/js-taillard-20-15/ js-taillard-20-15-95-2.xml |
MSAT TO
f=3069 TT=2400.1
|
MSAT (TO) f=3069 TT=2400.1 T1=331.29
|
MSAT (TO) f=3069 TT=2400.12 T1=338.82
|
?
TT=20.493
|
taillard/js-taillard-20-15/ js-taillard-20-15-95-3.xml |
MSAT TO
f=3051 TT=2400.15
|
MSAT (TO) f=3051 TT=2400.15 T1=186.11
|
MSAT (TO) f=3051 TT=2400.16 T1=181.88
|
?
TT=20.94
|
taillard/js-taillard-20-15/ js-taillard-20-15-95-4.xml |
MSAT TO
f=3050 TT=2400.1
|
MSAT (TO) f=3050 TT=2400.1 T1=196.67
|
MSAT (TO) f=3050 TT=2400.11 T1=209.06
|
?
TT=21.242
|
taillard/js-taillard-20-15/ js-taillard-20-15-95-5.xml |
MSAT TO
f=3046 TT=2400.07
|
MSAT (TO) f=3046 TT=2400.07 T1=193.36
|
MSAT (TO) f=3046 TT=2400.14 T1=192.99
|
?
TT=20.123
|
taillard/js-taillard-20-15/ js-taillard-20-15-95-6.xml |
MSAT TO
f=3051 TT=2400.07
|
MSAT (TO) f=3051 TT=2400.07 T1=186.44
|
MSAT (TO) f=3051 TT=2400.07 T1=178.96
|
?
TT=19.457
|
taillard/js-taillard-20-15/ js-taillard-20-15-95-7.xml |
MSAT TO
f=3047 TT=2400.18
|
MSAT (TO) f=3046 TT=2400.1 T1=166.96
|
MSAT (TO) f=3047 TT=2400.18 T1=859.24
|
?
TT=19.851
|
taillard/js-taillard-20-15/ js-taillard-20-15-95-8.xml |
MSAT TO
f=3053 TT=2400.09
|
MSAT (TO) f=3053 TT=2400.11 T1=226.39
|
MSAT (TO) f=3053 TT=2400.09 T1=225.54
|
?
TT=19.976
|
taillard/js-taillard-20-15/ js-taillard-20-15-95-9.xml |
MSAT TO
f=3060 TT=2400.12
|
MSAT (TO) f=3060 TT=2400.15 T1=270.23
|
MSAT (TO) f=3060 TT=2400.12 T1=287.78
|
?
TT=22.339
|
Bench name | Best results on this instance | AbsconMax 109 EPFC | AbsconMax 109 PFC | CSP4J - MaxCSP 2006-12-19 |
---|
taillard/ js-taillard-20/ js-taillard-20-95-0.xml |
MSAT TO
f=4074 TT=2400.15
|
MSAT (TO) f=4073 TT=2400.14 T1=250.13
|
MSAT (TO) f=4074 TT=2400.15 T1=1534.77
|
?
TT=18.241
|
taillard/ js-taillard-20/ js-taillard-20-95-1.xml |
MSAT TO
f=4074 TT=2400.08
|
MSAT (TO) f=4073 TT=2400.11 T1=270.3
|
MSAT (TO) f=4074 TT=2400.08 T1=1514.57
|
?
TT=18.642
|
taillard/ js-taillard-20/ js-taillard-20-95-2.xml |
MSAT TO
f=4074 TT=2400.13
|
MSAT (TO) f=4072 TT=2400.07 T1=237.8
|
MSAT (TO) f=4074 TT=2400.13 T1=248.67
|
?
TT=19.839
|
taillard/ js-taillard-20/ js-taillard-20-95-3.xml |
MSAT TO
f=4069 TT=2400.12
|
MSAT (TO) f=4069 TT=2400.12 T1=213.4
|
MSAT (TO) f=4069 TT=2400.14 T1=215.01
|
?
TT=19.136
|
taillard/ js-taillard-20/ js-taillard-20-95-4.xml |
MSAT TO
f=4085 TT=2400.08
|
MSAT (TO) f=4085 TT=2400.08 T1=322.61
|
MSAT (TO) f=4085 TT=2400.14 T1=321.61
|
?
TT=18.166
|
taillard/ js-taillard-20/ js-taillard-20-95-5.xml |
MSAT TO
f=4064 TT=2400.09
|
MSAT (TO) f=4064 TT=2400.12 T1=189.41
|
MSAT (TO) f=4064 TT=2400.09 T1=188.05
|
?
TT=18.857
|
taillard/ js-taillard-20/ js-taillard-20-95-6.xml |
MSAT TO
f=4072 TT=2400.11
|
MSAT (TO) f=4072 TT=2400.11 T1=229.47
|
MSAT (TO) f=4072 TT=2400.2 T1=212.23
|
?
TT=18.402
|
taillard/ js-taillard-20/ js-taillard-20-95-7.xml |
MSAT TO
f=4065 TT=2400.16
|
MSAT (TO) f=4064 TT=2400.13 T1=217.86
|
MSAT (TO) f=4065 TT=2400.16 T1=1913.76
|
?
TT=18.025
|
taillard/ js-taillard-20/ js-taillard-20-95-8.xml |
MSAT TO
f=4070 TT=2400.09
|
MSAT (TO) f=4070 TT=2400.14 T1=220.52
|
MSAT (TO) f=4070 TT=2400.09 T1=213.11
|
?
TT=18.669
|
taillard/ js-taillard-20/ js-taillard-20-95-9.xml |
MSAT TO
f=4067 TT=2400.08
|
MSAT (TO) f=4067 TT=2400.08 T1=260.69
|
MSAT (TO) f=4067 TT=2400.11 T1=271.58
|
?
TT=18.466
|
Bench name | Best results on this instance | AbsconMax 109 EPFC | AbsconMax 109 PFC | CSP4J - MaxCSP 2006-12-19 |
---|
taillard/ os-taillard-10/ os-taillard-10-95-0.xml |
MSAT TO
f=888 TT=2400.09
|
MSAT (TO) f=888 TT=2400.15 T1=107.9
|
MSAT (TO) f=888 TT=2400.09 T1=104.25
|
MSAT (TO) f=878 TT=2400.04
|
taillard/ os-taillard-10/ os-taillard-10-95-1.xml |
MSAT TO
f=894 TT=2400.08
|
MSAT (TO) f=894 TT=2400.09 T1=98.32
|
MSAT (TO) f=894 TT=2400.08 T1=94.06
|
MSAT (TO) f=878 TT=2400.08
|
taillard/ os-taillard-10/ os-taillard-10-95-2.xml |
MSAT TO
f=890 TT=2400.05
|
MSAT (TO) f=890 TT=2400.19 T1=88.29
|
MSAT (TO) f=890 TT=2400.05 T1=88.96
|
MSAT (TO) f=873 TT=2400.07 T1=64.91
|
taillard/ os-taillard-10/ os-taillard-10-95-3.xml |
MSAT TO
f=893 TT=2400.08
|
MSAT (TO) f=893 TT=2400.08 T1=94.55
|
MSAT (TO) f=893 TT=2400.18 T1=89.45
|
MSAT (TO) f=880 TT=2400.09
|
taillard/ os-taillard-10/ os-taillard-10-95-4.xml |
MSAT TO
f=891 TT=2400.11
|
MSAT (TO) f=891 TT=2400.11 T1=120.45
|
MSAT (TO) f=891 TT=2400.12 T1=126.73
|
MSAT (TO) f=877 TT=2400.1
|
taillard/ os-taillard-10/ os-taillard-10-95-5.xml |
MSAT TO
f=892 TT=2400.11
|
MSAT (TO) f=892 TT=2400.16 T1=71.89
|
MSAT (TO) f=892 TT=2400.11 T1=76.53
|
MSAT (TO) f=878 TT=2400.01
|
taillard/ os-taillard-10/ os-taillard-10-95-6.xml |
MSAT TO
f=891 TT=2400.08
|
MSAT (TO) f=891 TT=2400.08 T1=83.73
|
MSAT (TO) f=891 TT=2400.11 T1=86.87
|
MSAT (TO) f=876 TT=2400.07
|
taillard/ os-taillard-10/ os-taillard-10-95-7.xml |
MSAT TO
f=890 TT=2400.08
|
MSAT (TO) f=890 TT=2400.15 T1=83.47
|
MSAT (TO) f=890 TT=2400.08 T1=80.25
|
MSAT (TO) f=878 TT=2400
|
taillard/ os-taillard-10/ os-taillard-10-95-8.xml |
MSAT TO
f=890 TT=2400.1
|
MSAT (TO) f=890 TT=2400.15 T1=83.92
|
MSAT (TO) f=890 TT=2400.1 T1=83.9
|
MSAT (TO) f=881 TT=2400.04
|
taillard/ os-taillard-10/ os-taillard-10-95-9.xml |
MSAT TO
f=892 TT=2400.11
|
MSAT (TO) f=892 TT=2400.13 T1=93.96
|
MSAT (TO) f=892 TT=2400.11 T1=95.22
|
MSAT (TO) f=878 TT=2400.03
|
Bench name | Best results on this instance | AbsconMax 109 EPFC | AbsconMax 109 PFC | CSP4J - MaxCSP 2006-12-19 |
---|
taillard/ os-taillard-15/ os-taillard-15-95-0.xml |
MSAT TO
f=3127 TT=2400.11
|
MSAT (TO) f=3127 TT=2400.11 T1=141.4
|
MSAT (TO) f=3127 TT=2400.12 T1=150.78
|
?
TT=21.312
|
taillard/ os-taillard-15/ os-taillard-15-95-1.xml |
MSAT TO
f=3128 TT=2400.08
|
MSAT (TO) f=3128 TT=2400.14 T1=246.3
|
MSAT (TO) f=3128 TT=2400.08 T1=221.36
|
?
TT=22.286
|
taillard/ os-taillard-15/ os-taillard-15-95-2.xml |
MSAT TO
f=3122 TT=2400.13
|
MSAT (TO) f=3122 TT=2400.16 T1=144.61
|
MSAT (TO) f=3122 TT=2400.13 T1=135.8
|
? (exit code)
TT=538.468
|
taillard/ os-taillard-15/ os-taillard-15-95-3.xml |
MSAT TO
f=3137 TT=2400.09
|
MSAT (TO) f=3124 TT=2400.14 T1=889.18
|
MSAT (TO) f=3137 TT=2400.09 T1=211.75
|
?
TT=26.468
|
taillard/ os-taillard-15/ os-taillard-15-95-4.xml |
MSAT TO
f=3125 TT=2400.09
|
MSAT (TO) f=3125 TT=2400.1 T1=175.77
|
MSAT (TO) f=3125 TT=2400.09 T1=174.73
|
?
TT=35.726
|
taillard/ os-taillard-15/ os-taillard-15-95-5.xml |
MSAT TO
f=3133 TT=2400.13
|
MSAT (TO) f=3127 TT=2400.09 T1=156.93
|
MSAT (TO) f=3133 TT=2400.13 T1=216.68
|
?
TT=22.912
|
taillard/ os-taillard-15/ os-taillard-15-95-6.xml |
MSAT TO
f=3131 TT=2400.11
|
MSAT (TO) f=3131 TT=2400.12 T1=215.82
|
MSAT (TO) f=3131 TT=2400.11 T1=214.53
|
?
TT=22.646
|
taillard/ os-taillard-15/ os-taillard-15-95-7.xml |
MSAT TO
f=3142 TT=2400.08
|
MSAT (TO) f=3142 TT=2400.13 T1=255.5
|
MSAT (TO) f=3142 TT=2400.08 T1=276.35
|
?
TT=188.356
|
taillard/ os-taillard-15/ os-taillard-15-95-8.xml |
MSAT TO
f=3136 TT=2400.09
|
MSAT (TO) f=3136 TT=2400.09 T1=235.64
|
MSAT (TO) f=3136 TT=2400.15 T1=236.2
|
?
TT=23.115
|
taillard/ os-taillard-15/ os-taillard-15-95-9.xml |
MSAT TO
f=3135 TT=2400.15
|
MSAT (TO) f=3135 TT=2400.15 T1=220.81
|
MSAT (TO) f=3119 TT=2400.14 T1=454.05
|
?
TT=23.605
|
Bench name | Best results on this instance | AbsconMax 109 EPFC | AbsconMax 109 PFC | CSP4J - MaxCSP 2006-12-19 |
---|
taillard/ os-taillard-20/ os-taillard-20-95-0.xml |
MSAT TO
f=7564 TT=2400.08
|
MSAT (TO) f=7562 TT=2400.14 T1=2307.4
|
MSAT (TO) f=7564 TT=2400.08 T1=683.99
|
?
TT=22.161
|
taillard/ os-taillard-20/ os-taillard-20-95-1.xml |
MSAT TO
f=7558 TT=2400.09
|
MSAT (TO) f=7556 TT=2400.15 T1=1850.48
|
MSAT (TO) f=7558 TT=2400.09 T1=645.62
|
?
TT=20.736
|
taillard/ os-taillard-20/ os-taillard-20-95-2.xml |
MSAT TO
f=7564 TT=2400.16
|
MSAT (TO) f=7557 TT=2400.26 T1=1274.13
|
MSAT (TO) f=7564 TT=2400.16 T1=1398.48
|
?
TT=20.565
|
taillard/ os-taillard-20/ os-taillard-20-95-3.xml |
MSAT TO
f=7560 TT=2400.15
|
MSAT (TO) f=7556 TT=2400.16 T1=1500.04
|
MSAT (TO) f=7560 TT=2400.15 T1=673.05
|
?
TT=20.259
|
taillard/ os-taillard-20/ os-taillard-20-95-4.xml |
MSAT TO
f=7557 TT=2400.17
|
MSAT (TO) f=7557 TT=2400.17 T1=1441.58
|
MSAT (TO) f=7557 TT=2400.19 T1=675.4
|
?
TT=20.716
|
taillard/ os-taillard-20/ os-taillard-20-95-5.xml |
MSAT TO
f=7562 TT=2400.08
|
MSAT (TO) f=7558 TT=2400.06 T1=1705.23
|
MSAT (TO) f=7562 TT=2400.08 T1=1518.11
|
?
TT=28.571
|
taillard/ os-taillard-20/ os-taillard-20-95-6.xml |
MSAT TO
f=7564 TT=2400.09
|
MSAT (TO) f=7564 TT=2400.09 T1=1429.86
|
MSAT (TO) f=7560 TT=2400.15 T1=1365.83
|
?
TT=21.913
|
taillard/ os-taillard-20/ os-taillard-20-95-7.xml |
MSAT TO
f=7559 TT=2400.23
|
MSAT (TO) f=7558 TT=2400.2 T1=1265.38
|
MSAT (TO) f=7559 TT=2400.23 T1=745.46
|
?
TT=20.658
|
taillard/ os-taillard-20/ os-taillard-20-95-8.xml |
MSAT TO
f=7565 TT=2400.13
|
MSAT (TO) f=7556 TT=2400.19 T1=1355.15
|
MSAT (TO) f=7565 TT=2400.13 T1=2353.51
|
?
TT=20.564
|
taillard/ os-taillard-20/ os-taillard-20-95-9.xml |
MSAT TO
f=7560 TT=2400.17
|
MSAT (TO) f=7560 TT=2400.17 T1=1287.35
|
MSAT (TO) f=7560 TT=2400.25 T1=545.3
|
?
TT=20.523
|
Bench name | Best results on this instance | AbsconMax 109 EPFC | AbsconMax 109 PFC | CSP4J - MaxCSP 2006-12-19 |
---|
taillard/os-taillard-4/ os-taillard-4-95-0.xml |
MOPT
f=46 TT=495.795
|
OPTIMUM f=46 TT=495.795 T1=1.58
|
OPTIMUM f=46 TT=602.949 T1=1.6
|
MSAT (TO) f=42 TT=2400.07 T1=0.99
|
taillard/os-taillard-4/ os-taillard-4-95-1.xml |
MSAT TO
f=45 TT=2400.05
|
MSAT (TO) f=45 TT=2400.12 T1=1.09
|
MSAT (TO) f=45 TT=2400.05 T1=1.17
|
MSAT (TO) f=42 TT=2400.02 T1=1.05
|
taillard/os-taillard-4/ os-taillard-4-95-2.xml |
MSAT TO
f=46 TT=2400.1
|
MSAT (TO) f=46 TT=2400.13 T1=1.31
|
MSAT (TO) f=46 TT=2400.1 T1=1.14
|
MSAT (TO) f=44 TT=2400.1 T1=1.24
|
taillard/os-taillard-4/ os-taillard-4-95-3.xml |
MSAT TO
f=46 TT=2400.06
|
MSAT (TO) f=46 TT=2400.08 T1=10.94
|
MSAT (TO) f=46 TT=2400.06 T1=10.31
|
MSAT (TO) f=41 TT=2400 T1=1.09
|
taillard/os-taillard-4/ os-taillard-4-95-4.xml |
MSAT TO
f=46 TT=2400.05
|
MSAT (TO) f=46 TT=2400.05 T1=1.36
|
MSAT (TO) f=46 TT=2400.11 T1=1.38
|
MSAT (TO) f=41 TT=2400.07 T1=1.28
|
taillard/os-taillard-4/ os-taillard-4-95-5.xml |
MSAT TO
f=45 TT=2400.12
|
MSAT (TO) f=45 TT=2400.12 T1=1.01
|
MSAT (TO) f=45 TT=2400.12 T1=1.03
|
MSAT (TO) f=43 TT=2400.04
|
taillard/os-taillard-4/ os-taillard-4-95-6.xml |
MOPT
f=46 TT=307.534
|
OPTIMUM f=46 TT=307.534 T1=1.6
|
OPTIMUM f=46 TT=363.347 T1=1.72
|
MSAT (TO) f=44 TT=2400.04 T1=0.9
|
taillard/os-taillard-4/ os-taillard-4-95-7.xml |
MSAT TO
f=43 TT=2400.08
|
MSAT (TO) f=43 TT=2400.16 T1=1.13
|
MSAT (TO) f=43 TT=2400.08 T1=1.03
|
MSAT (TO) f=40 TT=2400.03 T1=0.97
|
taillard/os-taillard-4/ os-taillard-4-95-8.xml |
MSAT TO
f=45 TT=2400.09
|
MSAT (TO) f=45 TT=2400.1 T1=2.71
|
MSAT (TO) f=45 TT=2400.09 T1=2.91
|
MSAT (TO) f=42 TT=2400.06
|
taillard/os-taillard-4/ os-taillard-4-95-9.xml |
MSAT TO
f=45 TT=2400.1
|
MSAT (TO) f=45 TT=2400.1 T1=1.1
|
MSAT (TO) f=45 TT=2400.11 T1=1.02
|
MSAT (TO) f=42 TT=2400.05 T1=1
|
Bench name | Best results on this instance | AbsconMax 109 EPFC | AbsconMax 109 PFC | CSP4J - MaxCSP 2006-12-19 |
---|
taillard/os-taillard-5/ os-taillard-5-95-0.xml |
MSAT TO
f=96 TT=2400.05
|
MSAT (TO) f=96 TT=2400.08 T1=8.73
|
MSAT (TO) f=96 TT=2400.05 T1=9.69
|
MSAT (TO) f=90 TT=2400.07 T1=2.36
|
taillard/os-taillard-5/ os-taillard-5-95-1.xml |
MSAT TO
f=95 TT=2400.13
|
MSAT (TO) f=95 TT=2400.16 T1=4.63
|
MSAT (TO) f=95 TT=2400.13 T1=4.22
|
MSAT (TO) f=91 TT=2400.07 T1=2.03
|
taillard/os-taillard-5/ os-taillard-5-95-2.xml |
MSAT TO
f=95 TT=2400.11
|
MSAT (TO) f=95 TT=2400.11 T1=3.75
|
MSAT (TO) f=95 TT=2400.15 T1=3.81
|
MSAT (TO) f=92 TT=2400.04
|
taillard/os-taillard-5/ os-taillard-5-95-3.xml |
MSAT TO
f=94 TT=2400.07
|
MSAT (TO) f=94 TT=2400.07 T1=2.71
|
MSAT (TO) f=94 TT=2400.1 T1=2.75
|
MSAT (TO) f=91 TT=2400.01
|
taillard/os-taillard-5/ os-taillard-5-95-4.xml |
MSAT TO
f=96 TT=2400.11
|
MSAT (TO) f=96 TT=2400.12 T1=6.98
|
MSAT (TO) f=96 TT=2400.11 T1=6.84
|
MSAT (TO) f=91 TT=2400.05
|
taillard/os-taillard-5/ os-taillard-5-95-5.xml |
MSAT TO
f=96 TT=2400.09
|
MSAT (TO) f=96 TT=2400.13 T1=8.92
|
MSAT (TO) f=96 TT=2400.09 T1=8.81
|
MSAT (TO) f=91 TT=2400
|
taillard/os-taillard-5/ os-taillard-5-95-6.xml |
MSAT TO
f=97 TT=2400.07
|
MSAT (TO) f=97 TT=2400.07 T1=15.45
|
MSAT (TO) f=97 TT=2400.08 T1=15.53
|
MSAT (TO) f=92 TT=2400.04
|
taillard/os-taillard-5/ os-taillard-5-95-7.xml |
MSAT TO
f=96 TT=2400.02
|
MSAT (TO) f=96 TT=2400.09 T1=26.97
|
MSAT (TO) f=96 TT=2400.02 T1=27.02
|
MSAT (TO) f=91 TT=2400.06
|
taillard/os-taillard-5/ os-taillard-5-95-8.xml |
MSAT TO
f=95 TT=2400.1
|
MSAT (TO) f=95 TT=2400.1 T1=4.5
|
MSAT (TO) f=95 TT=2400.13 T1=4.4
|
MSAT (TO) f=90 TT=2400.01 T1=2.85
|
taillard/os-taillard-5/ os-taillard-5-95-9.xml |
MSAT TO
f=96 TT=2400.04
|
MSAT (TO) f=96 TT=2400.04 T1=3.44
|
MSAT (TO) f=96 TT=2400.18 T1=3.55
|
MSAT (TO) f=93 TT=2400.08
|
Bench name | Best results on this instance | AbsconMax 109 EPFC | AbsconMax 109 PFC | CSP4J - MaxCSP 2006-12-19 |
---|
taillard/os-taillard-7/ os-taillard-7-95-0.xml |
MSAT TO
f=288 TT=2400.14
|
MSAT (TO) f=288 TT=2400.14 T1=14.83
|
MSAT (TO) f=288 TT=2400.14 T1=13.89
|
MSAT (TO) f=282 TT=2400.06
|
taillard/os-taillard-7/ os-taillard-7-95-1.xml |
MSAT TO
f=287 TT=2400.1
|
MSAT (TO) f=287 TT=2400.1 T1=12.52
|
MSAT (TO) f=287 TT=2400.15 T1=12.24
|
MSAT (TO) f=278 TT=2400.09 T1=12.03
|
taillard/os-taillard-7/ os-taillard-7-95-2.xml |
MSAT TO
f=285 TT=2400.06
|
MSAT (TO) f=285 TT=2400.06 T1=16.45
|
MSAT (TO) f=285 TT=2400.17 T1=15.41
|
MSAT (TO) f=281 TT=2400.01
|
taillard/os-taillard-7/ os-taillard-7-95-3.xml |
MSAT TO
f=288 TT=2400.07
|
MSAT (TO) f=288 TT=2400.12 T1=18.15
|
MSAT (TO) f=288 TT=2400.07 T1=19.38
|
MSAT (TO) f=281 TT=2400.1
|
taillard/os-taillard-7/ os-taillard-7-95-4.xml |
MSAT TO
f=288 TT=2400.08
|
MSAT (TO) f=288 TT=2400.08 T1=14.18
|
MSAT (TO) f=288 TT=2400.13 T1=15.18
|
MSAT (TO) f=281 TT=2400.09
|
taillard/os-taillard-7/ os-taillard-7-95-5.xml |
MSAT TO
f=286 TT=2400.13
|
MSAT (TO) f=286 TT=2400.13 T1=21.41
|
MSAT (TO) f=286 TT=2400.14 T1=23.85
|
MSAT (TO) f=279 TT=2400.1
|
taillard/os-taillard-7/ os-taillard-7-95-6.xml |
MSAT TO
f=287 TT=2400.08
|
MSAT (TO) f=287 TT=2400.13 T1=41.55
|
MSAT (TO) f=287 TT=2400.08 T1=45.1
|
MSAT (TO) f=279 TT=2400.07
|
taillard/os-taillard-7/ os-taillard-7-95-7.xml |
MSAT TO
f=289 TT=2400.06
|
MSAT (TO) f=289 TT=2400.1 T1=43.31
|
MSAT (TO) f=289 TT=2400.06 T1=43.44
|
MSAT (TO) f=286 TT=2400.08
|
taillard/os-taillard-7/ os-taillard-7-95-8.xml |
MSAT TO
f=289 TT=2400.06
|
MSAT (TO) f=289 TT=2400.15 T1=37.83
|
MSAT (TO) f=289 TT=2400.06 T1=38.71
|
MSAT (TO) f=281 TT=2400.01
|
taillard/os-taillard-7/ os-taillard-7-95-9.xml |
MSAT TO
f=288 TT=2400.09
|
MSAT (TO) f=288 TT=2400.09 T1=18.23
|
MSAT (TO) f=288 TT=2400.13 T1=18.22
|
MSAT (TO) f=284 TT=2400.07
|