chessboardColoration/ cc-10-10-2.xml |
MSAT TO
f=1895 TT=2400.13
|
MSAT (TO) f=1895 TT=2400.13 T1=2.52
|
MSAT (TO) f=1895 TT=2400.13 T1=2.72
|
MSAT (TO) f=1885 TT=2400.03 T1=6.59
|
chessboardColoration/ cc-12-12-2.xml |
MSAT TO
f=4032 TT=2400.12
|
MSAT (TO) f=4032 TT=2400.12 T1=20.66
|
MSAT (TO) f=4032 TT=2400.19 T1=20.87
|
MSAT (TO) f=4018 TT=2400.05 T1=16.87
|
chessboardColoration/ cc-15-15-2.xml |
MSAT TO
f=10069 TT=2400.19
|
MSAT (TO) f=10069 TT=2400.21 T1=58.52
|
MSAT (TO) f=10069 TT=2400.19 T1=55.29
|
MSAT (TO) f=10063 TT=2400.03 T1=74.55
|
chessboardColoration/ cc-20-20-2.xml |
MSAT TO
f=32612 TT=2400.05
|
MSAT (TO) f=32612 TT=2400.12 T1=49.22
|
MSAT (TO) f=32612 TT=2400.05 T1=49.98
|
MSAT (TO) f=32588 TT=2400.02 T1=605.72
|
chessboardColoration/ cc-25-25-2.xml |
MSAT TO
f=80764 TT=2400.21
|
MSAT (TO) f=80764 TT=2400.22 T1=17.45
|
MSAT (TO) f=80764 TT=2400.21 T1=16.85
|
?
TT=599.16
|
chessboardColoration/ cc-5-5-2.xml |
MOPT
f=98 TT=37.533
|
OPTIMUM f=98 TT=38.252 T1=0.63
|
OPTIMUM f=98 TT=37.533 T1=0.57
|
MSAT (TO) f=98 TT=2400.05 T1=0.89
|
chessboardColoration/ cc-6-6-2.xml |
MOPT
f=219 TT=1610.42
|
OPTIMUM f=219 TT=1946.09 T1=0.71
|
OPTIMUM f=219 TT=1610.42 T1=0.64
|
MSAT (TO) f=219 TT=2400.07 T1=1.46
|
chessboardColoration/ cc-7-7-2.xml |
MSAT TO
f=420 TT=2400.02
|
MSAT (TO) f=420 TT=2400.09 T1=0.72
|
MSAT (TO) f=420 TT=2400.11 T1=0.73
|
MSAT (TO) f=420 TT=2400.02 T1=1.93
|
chessboardColoration/ cc-8-8-2.xml |
MSAT TO
f=744 TT=2400.02
|
MSAT (TO) f=744 TT=2400.17 T1=0.95
|
MSAT (TO) f=744 TT=2400.15 T1=0.95
|
MSAT (TO) f=744 TT=2400.02
|
chessboardColoration/ cc-9-9-2.xml |
MSAT TO
f=1216 TT=2400.12
|
MSAT (TO) f=1216 TT=2400.12 T1=1.03
|
MSAT (TO) f=1216 TT=2400.15 T1=0.97
|
MSAT (TO) f=1214 TT=2400.08 T1=10.95
|
Bench name | Best results on this instance | AbsconMax 109 EPFC | AbsconMax 109 PFC | CSP4J - MaxCSP 2006-12-19 |
---|
golombRuler/ golombRulerArity3/ruler-17-7-a3.xml |
MOPT
f=248 TT=1708.61
|
OPTIMUM f=248 TT=1708.61 T1=7.62
|
MSAT (TO) f=248 TT=2400.13 T1=7.98
|
MSAT (TO) f=239 TT=2400 T1=1.08
|
golombRuler/ golombRulerArity3/ruler-25-8-a3.xml |
MSAT TO
f=429 TT=2400.04
|
MSAT (TO) f=429 TT=2400.14 T1=23.47
|
MSAT (TO) f=429 TT=2400.04 T1=25.29
|
MSAT (TO) f=421 TT=2400.06 T1=1.59
|
golombRuler/ golombRulerArity3/ruler-34-9-a3.xml |
MSAT TO
f=695 TT=2400.08
|
MSAT (TO) f=695 TT=2400.08 T1=17.1
|
MSAT (TO) f=695 TT=2400.09 T1=16.09
|
MSAT (TO) f=687 TT=2400.01
|
golombRuler/ golombRulerArity3/ ruler-44-10-a3.xml |
MSAT TO
f=1066 TT=2400.09
|
MSAT (TO) f=1066 TT=2400.1 T1=45.92
|
MSAT (TO) f=1066 TT=2400.09 T1=46.06
|
MSAT (TO) f=1048 TT=2400.06 T1=5.27
|
golombRuler/ golombRulerArity3/ ruler-55-11-a3.xml |
MSAT TO
f=1576 TT=2400.14
|
MSAT (TO) f=1576 TT=2400.14 T1=29.05
|
MSAT (TO) f=1576 TT=2400.15 T1=28.72
|
MSAT (TO) f=1574 TT=2400.03
|
golombRuler/ golombRulerArity3/ ruler-67-12-a3.xml |
MSAT TO
f=2259 TT=2400.05
|
MSAT (TO) f=2259 TT=2400.07 T1=7.11
|
MSAT (TO) f=2259 TT=2400.05 T1=7.12
|
MSAT (TO) f=2251 TT=2400.1
|
golombRuler/ golombRulerArity3/ ruler-70-13-a3.xml |
MSAT TO
f=3126 TT=2400
|
MSAT (TO) f=3126 TT=2400.1 T1=30.55
|
MSAT (TO) f=3126 TT=2400.05 T1=28.06
|
MSAT (TO) f=3126 TT=2400
|
golombRuler/ golombRulerArity4/ruler-17-7-a4.xml |
MOPT
f=195 TT=1.417
|
OPTIMUM f=195 TT=1.803 T1=0.86
|
OPTIMUM f=195 TT=1.417 T1=0.84
|
MSAT (TO) f=193 TT=2400.04
|
golombRuler/ golombRulerArity4/ruler-25-8-a4.xml |
MOPT
f=349 TT=7.418
|
OPTIMUM f=349 TT=11.936 T1=1.94
|
OPTIMUM f=349 TT=7.418 T1=2.01
|
MSAT (TO) f=347 TT=2400.01
|
golombRuler/ golombRulerArity4/ruler-34-9-a4.xml |
MOPT
f=581 TT=98.319
|
OPTIMUM f=581 TT=200.865 T1=19.97
|
OPTIMUM f=581 TT=98.319 T1=18.76
|
MSAT (TO) f=577 TT=2400.03
|
Bench name | Best results on this instance | AbsconMax 109 EPFC | AbsconMax 109 PFC | CSP4J - MaxCSP 2006-12-19 |
---|
golombRuler/ golombRulerArity4/ ruler-44-10-a4.xml |
MSAT TO
f=914 TT=2400.15
|
MSAT (TO) f=914 TT=2400.15 T1=1619.68
|
MSAT (TO) f=913 TT=2400.15 T1=8.23
|
?
TT=158.168
|
golombRuler/ golombRulerArity4/ ruler-55-11-a4.xml |
MSAT TO
f=1371 TT=2400.05
|
MSAT (TO) f=1371 TT=2400.05 T1=7.4
|
MSAT (TO) f=1371 TT=2400.05 T1=7.38
|
?
TT=17.186
|
golombRuler/ golombRulerArity4/ ruler-67-12-a4.xml |
MSAT TO
f=1986 TT=2400.1
|
MSAT (TO) f=1986 TT=2400.16 T1=6.37
|
MSAT (TO) f=1986 TT=2400.1 T1=6.38
|
?
TT=62.307
|
golombRuler/ golombRulerArity4/ ruler-70-13-a4.xml |
MSAT TO
f=2784 TT=2400.07
|
MSAT (TO) f=2784 TT=2400.13 T1=24.67
|
MSAT (TO) f=2784 TT=2400.07 T1=24.82
|
?
TT=63.878
|
pseudoSeries/chnl/ chnl-10-11.xml |
MSAT TO
f=40 TT=2400.08
|
MSAT (TO) f=40 TT=2400.1 T1=3.07
|
MSAT (TO) f=40 TT=2400.13 T1=3.04
|
MSAT (TO) f=40 TT=2400.08 T1=0.8
|
pseudoSeries/chnl/ chnl-10-20.xml |
MSAT TO
f=58 TT=2400.05
|
MSAT (TO) f=50 TT=2400.07 T1=2223.52
|
MSAT (TO) f=43 TT=2400.1 T1=100.91
|
MSAT (TO) f=58 TT=2400.05
|
pseudoSeries/ mpsReduced/ mps-red-bandm.xml |
|
No Cert.
TT=127.562
|
No Cert.
TT=135.038
|
? (TO)
TT=2400.07
|
pseudoSeries/ mpsReduced/ mps-red-blend.xml |
MSAT TO
f=73 TT=2400.06
|
MSAT (TO) f=73 TT=2400.07 T1=18.51
|
MSAT (TO) f=73 TT=2400.06 T1=19.05
|
? (TO)
TT=0.005
|
pseudoSeries/ mpsReduced/ mps-red-egout.xml |
MSAT TO
f=111 TT=2400.08
|
MSAT (TO) f=111 TT=2400.1 T1=56.25
|
MSAT (TO) f=111 TT=2400.08 T1=60.79
|
? (TO)
TT=2400.09
|
pseudoSeries/ mpsReduced/ mps-red-harp2.xml |
MSAT TO
f=75 TT=2400.08
|
MSAT (TO) f=75 TT=2400.08 T1=24.21
|
MSAT (TO) f=75 TT=2400.17 T1=26.07
|
? (TO)
TT=2400.09
|
Bench name | Best results on this instance | AbsconMax 109 EPFC | AbsconMax 109 PFC | CSP4J - MaxCSP 2006-12-19 |
---|
pseudoSeries/ mpsReduced/ mps-red-neos20.xml |
MSAT TO
f=2945 TT=2400.08
|
MSAT (TO) f=2945 TT=2400.12 T1=125.2
|
MSAT (TO) f=2945 TT=2400.08 T1=124.29
|
?
TT=80.994
|
pseudoSeries/ mpsReduced/ mps-red-rout.xml |
MSAT TO
f=283 TT=2400.1
|
MSAT (TO) f=283 TT=2400.11 T1=133.93
|
MSAT (TO) f=283 TT=2400.1 T1=133.9
|
? (exit code)
TT=1661.17
|
pseudoSeries/ mpsReduced/ mps-red-vpm1.xml |
MSAT TO
f=432 TT=2400.09
|
MSAT (TO) f=432 TT=2400.14 T1=95.67
|
MSAT (TO) f=432 TT=2400.09 T1=98.07
|
? (TO)
TT=2400.03
|
pseudoSeries/ primesDimacs/ bf-0432-007.xml |
MSAT TO
f=4701 TT=2400.09
|
MSAT (TO) f=4701 TT=2400.1 T1=11.18
|
MSAT (TO) f=4701 TT=2400.16 T1=11.62
|
MSAT (TO) f=4701 TT=2400.09 T1=70.35
|
pseudoSeries/ primesDimacs/ bf-1355-075.xml |
MOPT
f=8952 TT=281.725
|
OPTIMUM f=8952 TT=304.148 T1=14.25
|
OPTIMUM f=8952 TT=281.725 T1=14.58
|
MSAT (TO) f=8952 TT=2400.01
|
pseudoSeries/ primesDimacs/ bf-1355-638.xml |
MOPT
f=8939 TT=306.229
|
OPTIMUM f=8939 TT=431.536 T1=17.87
|
OPTIMUM f=8939 TT=306.229 T1=16.78
|
MSAT (TO) f=8939 TT=2400.03
|
pseudoSeries/ primesDimacs/ bf-2670-001.xml |
MOPT
f=4820 TT=133.95
|
OPTIMUM f=4820 TT=167.966 T1=11.53
|
OPTIMUM f=4820 TT=133.95 T1=12.2
|
MSAT (TO) f=4820 TT=2400.09 T1=171.7
|
pseudoSeries/ ssa/ssa-0432-003.xml |
MOPT
f=1457 TT=164.92
|
OPTIMUM f=1457 TT=164.92 T1=1.32
|
OPTIMUM f=1457 TT=1339.43 T1=1.39
|
MSAT (TO) f=1457 TT=2400.04 T1=5.45
|
pseudoSeries/ ssa/ssa-2670-130.xml |
MSAT TO
f=4675 TT=2400.01
|
MSAT (TO) f=4675 TT=2400.13 T1=6.6
|
MSAT (TO) f=4675 TT=2400.13 T1=7.68
|
MSAT (TO) f=4675 TT=2400.01 T1=95.9
|
pseudoSeries/ ssa/ssa-2670-141.xml |
MSAT TO
f=3296 TT=2400.02
|
MSAT (TO) f=3296 TT=2400.13 T1=4.43
|
MSAT (TO) f=3296 TT=2400.17 T1=4.77
|
MSAT (TO) f=3296 TT=2400.02 T1=51.49
|
Bench name | Best results on this instance | AbsconMax 109 EPFC | AbsconMax 109 PFC | CSP4J - MaxCSP 2006-12-19 |
---|
pseudoSeries/ ssa/ssa-6288-047.xml |
MSAT TO
f=44258 TT=2400.12
|
MSAT (TO) f=44258 TT=2400.15 T1=273.69
|
MSAT (TO) f=44258 TT=2400.12 T1=280.69
|
? (problem)
TT=493.618
NODES=0
|
pseudoSeries/uclid/ 25s-smv.xml |
MSAT TO
f=12827 TT=2400.06
|
MSAT (TO) f=12827 TT=2400.06 T1=196.94
|
MSAT (TO) f=12827 TT=2400.07 T1=206.02
|
MSAT (TO) f=12827 TT=2400.07
|
pseudoSeries/uclid/ 37s-smv.xml |
MSAT TO
f=3181 TT=2400.06
|
MSAT (TO) f=3181 TT=2400.14 T1=9.09
|
MSAT (TO) f=3181 TT=2400.14 T1=9.16
|
MSAT (TO) f=3181 TT=2400.06
|
pseudoSeries/uclid/ 44s-smv.xml |
MOPT
f=938 TT=149.749
|
OPTIMUM f=938 TT=149.749 T1=1.88
|
OPTIMUM f=938 TT=426.628 T1=2
|
MSAT (TO) f=938 TT=2400.09
|
pseudoSeries/uclid/ 46s-smv.xml |
MSAT TO
f=3651 TT=2400.02
|
MSAT (TO) f=3651 TT=2400.11 T1=17.16
|
MSAT (TO) f=3651 TT=2400.13 T1=17.39
|
MSAT (TO) f=3651 TT=2400.02
|
pseudoSeries/uclid/ blast-floppy1-2.xml |
MOPT
f=125 TT=116.148
|
OPTIMUM f=125 TT=116.148 T1=4.34
|
OPTIMUM f=125 TT=116.774 T1=4.61
|
MSAT (TO) f=125 TT=2400.1
|
pseudoSeries/uclid/ blast-floppy1-6.xml |
MSAT TO
f=590 TT=2400.04
|
MSAT (TO) f=583 TT=2400.16 T1=257.3
|
MSAT (TO) f=582 TT=2400.07 T1=454.37
|
MSAT (TO) f=590 TT=2400.04
|
pseudoSeries/uclid/ blast-tlan2.xml |
MSAT TO
f=2989 TT=2400
|
MSAT (TO) f=2972 TT=2400.16 T1=42.22
|
MSAT (TO) f=2972 TT=2400.12 T1=45.23
|
MSAT (TO) f=2989 TT=2400
|
pseudoSeries/uclid/ cache-inv10-ucl.xml |
MSAT TO
f=26309 TT=2400.06
|
MSAT (TO) f=26307 TT=2400.08 T1=138.24
|
MSAT (TO) f=26307 TT=2400.08 T1=139.26
|
MSAT (TO) f=26309 TT=2400.06
|
pseudoSeries/uclid/ cache-inv12-ucl.xml |
MSAT TO
f=76575 TT=2400.08
|
MSAT (TO) f=76575 TT=2400.08 T1=1070.06
|
MSAT (TO) f=76575 TT=2400.16 T1=1008.04
|
?
TT=543.839
|
Bench name | Best results on this instance | AbsconMax 109 EPFC | AbsconMax 109 PFC | CSP4J - MaxCSP 2006-12-19 |
---|
pseudoSeries/uclid/ elf-rf6.xml |
MOPT
f=130 TT=0.824
|
OPTIMUM f=130 TT=0.824 T1=0.62
|
OPTIMUM f=130 TT=0.828 T1=0.62
|
MSAT (TO) f=130 TT=2400.02
|
schurrLemma/ lemma-100-9-mod.xml |
MSAT TO
f=2070 TT=2400.09
|
MSAT (TO) f=2070 TT=2400.11 T1=57.09
|
MSAT (TO) f=2070 TT=2400.09 T1=57.29
|
MSAT (TO) f=1968 TT=2400.07 T1=12.9
|
schurrLemma/ lemma-12-9-mod.xml |
MOPT
f=29 TT=49.029
|
OPTIMUM f=29 TT=70.194 T1=0.55
|
OPTIMUM f=29 TT=49.029 T1=0.58
|
MSAT (TO) f=29 TT=2400.02 T1=0.58
|
schurrLemma/ lemma-15-9-mod.xml |
MSAT TO
f=46 TT=2400.01
|
MSAT (TO) f=46 TT=2400.15 T1=0.57
|
MSAT (TO) f=46 TT=2400.12 T1=0.59
|
MSAT (TO) f=46 TT=2400.01 T1=0.75
|
schurrLemma/ lemma-20-9-mod.xml |
MSAT TO
f=83 TT=2400.07
|
MSAT (TO) f=83 TT=2400.08 T1=0.61
|
MSAT (TO) f=83 TT=2400.07 T1=0.63
|
MSAT (TO) f=81 TT=2400.05 T1=0.95
|
schurrLemma/ lemma-24-3.xml |
MOPT
f=131 TT=1.681
|
OPTIMUM f=131 TT=2.88 T1=0.75
|
OPTIMUM f=131 TT=1.681 T1=0.65
|
MSAT (TO) f=131 TT=2400.05 T1=0.87
|
schurrLemma/ lemma-30-9-mod.xml |
MSAT TO
f=189 TT=2400.12
|
MSAT (TO) f=189 TT=2400.12 T1=19.66
|
MSAT (TO) f=189 TT=2400.17 T1=19.7
|
MSAT (TO) f=179 TT=2400.08 T1=1.58
|
schurrLemma/ lemma-50-9-mod.xml |
MSAT TO
f=520 TT=2400.13
|
MSAT (TO) f=520 TT=2400.16 T1=21.64
|
MSAT (TO) f=520 TT=2400.13 T1=22.7
|
MSAT (TO) f=492 TT=2400.09 T1=3.36
|