MAX-CSP 2006 Competition: results by benchmark

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

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

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
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 answer71870
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)71850