MAX-CSP 2006 Competition: results by benchmark

Results by benchmark for category binary constraints in intension (2-ARY-INT)

This page displays the results of the different solvers for each benchmark for category binary constraints in intension (2-ARY-INT)

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
CSP4J - MaxCSP 2006-12-19

Bench nameBest results
on this
instance		AbsconMax
109 EPFC		AbsconMax
109 PFC		CSP4J - MaxCSP
2006-12-19
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 nameBest 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 nameBest 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 nameBest 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 nameBest 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 nameBest 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 nameBest 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 nameBest 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 nameBest 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 nameBest 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 nameBest 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 nameBest 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 nameBest 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 nameBest 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 nameBest 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 nameBest 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 nameBest 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 nameBest 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 nameBest 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

Some statistics...

AbsconMax
109 EPFC		AbsconMax
109 PFC		CSP4J - MaxCSP
2006-12-19
Number of times the solver is able to give the best known answer1601736
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)1581596