MAX-CSP 2006 Competition: results by benchmark

Results by benchmark for category binary constraints in intension (2-ARY-INT), subcategory real world problems

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

REMINDER

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

Description of a cell contents:

Cell exampleMeaning
AnswerSolver result
f=...value of the objective function for the model reported by the solver
TT=...Total Time (TT): this is the CPU time (in seconds) used by the solver until termination. This time is only meaningful for complete solvers because incomplete solvers will always run until they time out
Remember that CPU time and wall clock time are two very different notions. The CPU time represents the time during which the instructions of the solver were executed by the processor. The wall clock time represents how much time ellapsed on the clock. For a same event, the CPU time may be either smaller or greater than the wall clock time depending on the number of threads of execution and the number of processors.

Meaning of some abbreviations:

AbbreviationMeaning
f=...Value of the objective function
TOTime Out
MOMem. Out (out of memory)

Meaning of the different colors:

ColorMeaning
textthe solver cannot handle this instance
textthe solver gave no answer
textthe solver could give an answer (SAT)
textthe solver gave a definitive answer (OPTIMUM FOUND or UNSAT)
textthe solver performed better than the other ones on that instance
textthe solver was ended by a signal
textthe solver gave an incomplete answer
textthe solver was disqualified in the category
textthe solver gave a wrong answer

For better readability, you may choose to hide some solvers:
AbsconMax 109 EPFC
AbsconMax 109 PFC
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
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

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 answer79766
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)77746