MAX-CSP 2006 Competition: results by benchmark

Results by benchmark for category n-ary constraints in extension (N-ARY-EXT), subcategory boolean problems

This page displays the results of the different solvers for each benchmark for category n-ary constraints in extension (N-ARY-EXT), subcategory boolean 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
aolibdvo 2007-01-17
aolibpvo 2007-01-17
CSP4J - MaxCSP 2006-12-19
toolbar 2007-01-12
Toolbar_BTD 2007-01-12
Toolbar_MaxSat 2007-01-19
Toulbar2 2007-01-12

Bench nameBest results
on this
instance		AbsconMax
109 EPFC		AbsconMax
109 PFC		aolibdvo
2007-01-17		aolibpvo
2007-01-17		CSP4J - MaxCSP
2006-12-19		toolbar
2007-01-12		Toolbar_BTD
2007-01-12		Toolbar_MaxSat
2007-01-19		Toulbar2
2007-01-12
dimacs/
jnhUnsat/
jnh02_ext.xml		 MOPT
f=848
TT=0.917

 OPTIMUM
f=848
TT=2.027
T1=1.26
 OPTIMUM
f=848
TT=1.692
T1=1.24
 OPTIMUM
f=848
TT=948.502
T1=951.68
 OPTIMUM
f=848
TT=770.814
T1=774.35
 MSAT (TO)
f=848
TT=2400.03

 OPTIMUM
f=848
TT=21.263

 OPTIMUM
f=848
TT=22.778

 OPTIMUM
f=848
TT=0.917

 OPTIMUM
f=848
TT=21.437
dimacs/
jnhUnsat/
jnh10_ext.xml		 MOPT
f=846
TT=0.987

 OPTIMUM
f=846
TT=1.645
T1=0.8
 OPTIMUM
f=846
TT=1.403
T1=0.81
 OPTIMUM
f=846
TT=1618.98
T1=1620.2
 OPTIMUM
f=846
TT=116.889
T1=117.9
 MSAT (TO)
f=844
TT=2400.08
T1=9.1
 OPTIMUM
f=846
TT=21.207

 OPTIMUM
f=846
TT=21.379

 OPTIMUM
f=846
TT=0.987

 OPTIMUM
f=846
TT=22.469
dimacs/
jnhUnsat/
jnh202_ext.xml		 MOPT
f=798
TT=0.901

 OPTIMUM
f=798
TT=1.781
T1=0.94
 OPTIMUM
f=798
TT=1.415
T1=0.94
 OPTIMUM
f=798
TT=341.601
T1=343.2
 OPTIMUM
f=798
TT=309.94
T1=311.23
 MSAT (TO)
f=797
TT=2400.04

 OPTIMUM
f=798
TT=21.259

 OPTIMUM
f=798
TT=21.786

 OPTIMUM
f=798
TT=0.901

 OPTIMUM
f=798
TT=21.524
dimacs/
jnhUnsat/
jnh208_ext.xml		 MOPT
f=796
TT=1.102

 OPTIMUM
f=796
TT=2.313
T1=0.81
 OPTIMUM
f=796
TT=2.125
T1=0.79
 MSAT (TO)
f=788
TT=2400.03
T1=1079.38
 MSAT (TO)
f=788
TT=2400.1
T1=940.79
 MSAT (TO)
f=795
TT=2400.09
T1=3.63
 OPTIMUM
f=796
TT=20.617

 OPTIMUM
f=796
TT=19.947

 OPTIMUM
f=796
TT=1.102

 OPTIMUM
f=796
TT=21.073
dimacs/
jnhUnsat/
jnh20_ext.xml		 MOPT
f=844
TT=1.833

 OPTIMUM
f=844
TT=718.805
T1=0.92
 OPTIMUM
f=844
TT=422.991
T1=0.86
 ? (TO)

TT=2400.01

 ? (TO)

TT=2400.04

 MSAT (TO)
f=844
TT=2400.06
T1=6.91
 OPTIMUM
f=844
TT=26.676

 OPTIMUM
f=844
TT=29.297

 OPTIMUM
f=844
TT=1.833

 OPTIMUM
f=844
TT=240.378
dimacs/
jnhUnsat/
jnh215_ext.xml		 MOPT
f=799
TT=0.845

 OPTIMUM
f=799
TT=2.19
T1=0.87
 OPTIMUM
f=799
TT=2.277
T1=0.89
 OPTIMUM
f=799
TT=338.038
T1=339.85
 OPTIMUM
f=799
TT=280.211
T1=281.08
 MSAT (TO)
f=797
TT=2400.01

 OPTIMUM
f=799
TT=18.731

 OPTIMUM
f=799
TT=20.28

 OPTIMUM
f=799
TT=0.845

 OPTIMUM
f=799
TT=20.25
dimacs/
jnhUnsat/
jnh216_ext.xml		 MOPT
f=796
TT=1.177

 OPTIMUM
f=796
TT=3.081
T1=0.86
 OPTIMUM
f=796
TT=2.703
T1=0.8
 OPTIMUM
f=796
TT=1132.81
T1=1134.09
 OPTIMUM
f=796
TT=921.983
T1=927.17
 MSAT (TO)
f=795
TT=2400.09

 OPTIMUM
f=796
TT=19.596

 OPTIMUM
f=796
TT=20.756

 OPTIMUM
f=796
TT=1.177

 OPTIMUM
f=796
TT=19.764
dimacs/
jnhUnsat/
jnh302_ext.xml		 MOPT
f=894
TT=8.31

 MSAT (TO)
f=894
TT=2400.07
T1=1.2
 MSAT (TO)
f=894
TT=2400.14
T1=1.12
 ? (TO)

TT=2400.05

 ? (TO)

TT=2400.09

 ? (problem)

TT=1.238

NODES=0
 OPTIMUM
f=894
TT=156.741

 OPTIMUM
f=894
TT=177.256

 OPTIMUM
f=894
TT=8.31

 OPTIMUM
f=894
TT=2019.5
dimacs/
jnhUnsat/
jnh308_ext.xml		 MOPT
f=898
TT=1.85

 OPTIMUM
f=898
TT=970.755
T1=0.95
 OPTIMUM
f=898
TT=1149.71
T1=1.01
 ? (TO)

TT=2400.09

 ? (TO)

TT=2400.11

 MSAT (TO)
f=894
TT=2400.1
T1=1.62
 OPTIMUM
f=898
TT=34.947

 OPTIMUM
f=898
TT=33.932

 OPTIMUM
f=898
TT=1.85

 OPTIMUM
f=898
TT=184.915
dimacs/
jnhUnsat/
jnh310_ext.xml		 MOPT
f=896
TT=3.738

 MSAT (TO)
f=896
TT=2400.12
T1=1.36
 MSAT (TO)
f=896
TT=2400.09
T1=1.26
 MSAT (TO)
f=890
TT=2400.03
T1=146.76
 ? (TO)

TT=2400.02

 MSAT (TO)
f=891
TT=2400.07

 OPTIMUM
f=896
TT=60.17

 OPTIMUM
f=896
TT=61.083

 OPTIMUM
f=896
TT=3.738

 OPTIMUM
f=896
TT=326.875
Bench nameBest results
on this
instance		AbsconMax
109 EPFC		AbsconMax
109 PFC		aolibdvo
2007-01-17		aolibpvo
2007-01-17		CSP4J - MaxCSP
2006-12-19		toolbar
2007-01-12		Toolbar_BTD
2007-01-12		Toolbar_MaxSat
2007-01-19		Toulbar2
2007-01-12
dimacs/pret/
pret-150-25_ext.xml		 MOPT
f=99
TT=2.458

 MSAT (TO)
f=99
TT=2400.11
T1=0.61
 MSAT (TO)
f=99
TT=2400.11
T1=0.7
 ? (TO)

TT=2400.05

 OPTIMUM
f=99
TT=2.028
T1=2.04
 MSAT (TO)
f=99
TT=2400.04
T1=0.44
 MSAT (TO)
f=99
TT=2400.05

 OPTIMUM
f=99
TT=2.458

 ? (TO)

TT=2400.1

 MSAT (TO)
f=99
TT=2400.03
dimacs/pret/
pret-150-40_ext.xml		 MOPT
f=99
TT=2.43

 MSAT (TO)
f=99
TT=2400.1
T1=0.64
 MSAT (TO)
f=99
TT=2400.1
T1=0.61
 ? (TO)

TT=2400.11

 OPTIMUM
f=99
TT=1.091
T1=1.09
 MSAT (TO)
f=99
TT=2400.03
T1=0.49
 MSAT (TO)
f=99
TT=2400.08

 OPTIMUM
f=99
TT=2.43

 ? (TO)

TT=2400.13

 MSAT (TO)
f=99
TT=2400.11
dimacs/pret/
pret-150-60_ext.xml		 MOPT
f=99
TT=2.448

 MSAT (TO)
f=99
TT=2400.11
T1=0.77
 MSAT (TO)
f=99
TT=2400.07
T1=0.6
 ? (TO)

TT=2400.06

 OPTIMUM
f=99
TT=1.658
T1=1.67
 MSAT (TO)
f=99
TT=2400.01
T1=0.5
 MSAT (TO)
f=99
TT=2400.12

 OPTIMUM
f=99
TT=2.448

 ? (TO)

TT=2400.13

 MSAT (TO)
f=99
TT=2400.12
dimacs/pret/
pret-150-75_ext.xml		 MOPT
f=99
TT=2.446

 MSAT (TO)
f=99
TT=2400.13
T1=0.65
 MSAT (TO)
f=99
TT=2400.14
T1=0.57
 ? (TO)

TT=2400.1

 OPTIMUM
f=99
TT=0.521
T1=0.51
 MSAT (TO)
f=99
TT=2400
T1=0.54
 MSAT (TO)
f=99
TT=2400.05

 OPTIMUM
f=99
TT=2.446

 ? (TO)

TT=2400.15

 MSAT (TO)
f=99
TT=2400.05
dimacs/pret/
pret-60-25_ext.xml		 MOPT
f=39
TT=1.298

 OPTIMUM
f=39
TT=1100.44
T1=0.55
 OPTIMUM
f=39
TT=1027.07
T1=0.51
 OPTIMUM
f=39
TT=166.62
T1=167.92
 OPTIMUM
f=39
TT=0.076
T1=0.07
 MSAT (TO)
f=39
TT=2400.03
T1=0.32
 OPTIMUM
f=39
TT=61.321

 OPTIMUM
f=39
TT=1.298

 OPTIMUM
f=39
TT=47.114

 OPTIMUM
f=39
TT=1.529
dimacs/pret/
pret-60-40_ext.xml		 MOPT
f=39
TT=1.292

 OPTIMUM
f=39
TT=1055.55
T1=0.5
 OPTIMUM
f=39
TT=1080.66
T1=0.54
 OPTIMUM
f=39
TT=166.502
T1=167.93
 OPTIMUM
f=39
TT=0.099
T1=0.1
 MSAT (TO)
f=39
TT=2400.05
T1=0.39
 OPTIMUM
f=39
TT=58.043

 OPTIMUM
f=39
TT=1.292

 OPTIMUM
f=39
TT=44.34

 OPTIMUM
f=39
TT=1.541
dimacs/pret/
pret-60-60_ext.xml		 MOPT
f=39
TT=1.305

 OPTIMUM
f=39
TT=1127.34
T1=0.52
 OPTIMUM
f=39
TT=1088.53
T1=0.56
 OPTIMUM
f=39
TT=164.336
T1=165.59
 OPTIMUM
f=39
TT=0.073
T1=0.07
 MSAT (TO)
f=39
TT=2400.1
T1=0.37
 OPTIMUM
f=39
TT=61.554

 OPTIMUM
f=39
TT=1.305

 OPTIMUM
f=39
TT=47.444

 OPTIMUM
f=39
TT=1.566
dimacs/pret/
pret-60-75_ext.xml		 MOPT
f=39
TT=1.291

 OPTIMUM
f=39
TT=1056.57
T1=0.67
 OPTIMUM
f=39
TT=1020.12
T1=0.54
 OPTIMUM
f=39
TT=166.804
T1=168.15
 OPTIMUM
f=39
TT=0.066
T1=0.07
 MSAT (TO)
f=39
TT=2400
T1=0.35
 OPTIMUM
f=39
TT=61.419

 OPTIMUM
f=39
TT=1.291

 OPTIMUM
f=39
TT=47.059

 OPTIMUM
f=39
TT=1.534
dimacs/ssa/
ssa-0432-003_ext.xml		 MOPT
f=737
TT=4.917

 OPTIMUM
f=737
TT=246.064
T1=0.92
 OPTIMUM
f=737
TT=298.884
T1=0.85
 ? (TO)

TT=2400.1

 OPTIMUM
f=737
TT=184.884
T1=184.91
 MSAT (TO)
f=737
TT=2400.03
T1=1.11
 MSAT (TO)
f=731
TT=2400.11

 ? (TO)

TT=2400.01

 OPTIMUM
f=737
TT=17.998

 OPTIMUM
f=737
TT=4.917
dimacs/ssa/
ssa-2670-130_ext.xml		 MOPT
f=2365
TT=1080.27

 OPTIMUM
f=2365
TT=1117.02
T1=4.25
 OPTIMUM
f=2365
TT=1080.27
T1=4.02
 ? (TO)

TT=2400.1

 MSAT (TO)
f=2364
TT=2400.13
T1=113.32
 MSAT (TO)
f=2365
TT=2400.1
T1=14.75
 ? (TO)

TT=2400.08

 ? (TO)

TT=2400.01

 ? (TO)

TT=2400.1

 MSAT (TO)
f=2365
TT=2400.1
Bench nameBest results
on this
instance		AbsconMax
109 EPFC		AbsconMax
109 PFC		aolibdvo
2007-01-17		aolibpvo
2007-01-17		CSP4J - MaxCSP
2006-12-19		toolbar
2007-01-12		Toolbar_BTD
2007-01-12		Toolbar_MaxSat
2007-01-19		Toulbar2
2007-01-12
dimacs/
varDimacs/
hole-06_ext.xml		 MOPT
f=132
TT=0.334

 OPTIMUM
f=132
TT=2.006
T1=0.57
 OPTIMUM
f=132
TT=1.946
T1=0.56
 OPTIMUM
f=132
TT=35.229
T1=35.52
 OPTIMUM
f=132
TT=8.419
T1=8.49
 MSAT (TO)
f=132
TT=2400.02
T1=0.38
 OPTIMUM
f=132
TT=1.623

 OPTIMUM
f=132
TT=1.802

 OPTIMUM
f=132
TT=0.334

 OPTIMUM
f=132
TT=1.88
dimacs/
varDimacs/
hole-07_ext.xml		 MOPT
f=203
TT=0.556

 OPTIMUM
f=203
TT=11.399
T1=0.6
 OPTIMUM
f=203
TT=10.645
T1=0.58
 OPTIMUM
f=203
TT=1006.42
T1=1015.39
 OPTIMUM
f=203
TT=149.108
T1=150.29
 MSAT (TO)
f=203
TT=2400.01
T1=0.43
 OPTIMUM
f=203
TT=2.814

 OPTIMUM
f=203
TT=3.195

 OPTIMUM
f=203
TT=0.556

 OPTIMUM
f=203
TT=4.176
MaxCSP/cnf/3-40-100-1000/
cnf-3-40-1000-261921_ext.xml		 MOPT
f=889
TT=28.454

 MSAT (TO)
f=889
TT=2400.06
T1=1.97
 MSAT (TO)
f=889
TT=2400.08
T1=2.1
 OPTIMUM
f=889
TT=685.451
T1=691.1
 OPTIMUM
f=889
TT=662.32
T1=667.67
 MSAT (TO)
f=885
TT=2400.09
T1=0.85
 OPTIMUM
f=889
TT=39.631

 OPTIMUM
f=889
TT=44.704

 OPTIMUM
f=889
TT=28.454

 OPTIMUM
f=889
TT=251.82
MaxCSP/cnf/3-40-100-1000/
cnf-3-40-100-730621_ext.xml		 SAT
f=99
TT=0.059

 SAT
f=99
TT=0.7
T1=0.69
 SAT
f=99
TT=0.731
T1=0.72
 SAT
f=99
TT=0.059
T1=0.06
 SAT
f=99
TT=0.051
T1=0.05
 SAT
f=99
TT=0.349
T1=0.35
NODES=21
 SAT
f=99
TT=0.064

 SAT
f=99
TT=0.067

 SAT
f=99
TT=0.086

 SAT
f=99
TT=0.069
MaxCSP/cnf/3-40-100-1000/
cnf-3-40-200-456321_ext.xml		 MOPT
f=196
TT=0.445

 OPTIMUM
f=196
TT=0.884
T1=0.58
 OPTIMUM
f=196
TT=0.865
T1=0.61
 OPTIMUM
f=196
TT=0.445
T1=0.44
 OPTIMUM
f=196
TT=0.423
T1=0.42
 MSAT (TO)
f=196
TT=2400.1
T1=0.43
 OPTIMUM
f=196
TT=3.192

 OPTIMUM
f=196
TT=3.156

 OPTIMUM
f=196
TT=0.496

 OPTIMUM
f=196
TT=3.216
MaxCSP/cnf/3-40-100-1000/
cnf-3-40-300-182021_ext.xml		 MOPT
f=288
TT=1.375

 OPTIMUM
f=288
TT=192.124
T1=0.65
 OPTIMUM
f=288
TT=190.894
T1=0.7
 OPTIMUM
f=288
TT=11.336
T1=11.33
 OPTIMUM
f=288
TT=6.46
T1=6.46
 MSAT (TO)
f=287
TT=2400.08

 OPTIMUM
f=288
TT=5.146

 OPTIMUM
f=288
TT=5.591

 OPTIMUM
f=288
TT=1.375

 OPTIMUM
f=288
TT=10.896
MaxCSP/cnf/3-40-100-1000/
cnf-3-40-400-907721_ext.xml		 MOPT
f=375
TT=1.711

 OPTIMUM
f=375
TT=313.797
T1=0.68
 OPTIMUM
f=375
TT=328.735
T1=0.72
 OPTIMUM
f=375
TT=19.501
T1=19.66
 OPTIMUM
f=375
TT=18.132
T1=18.28
 MSAT (TO)
f=374
TT=2400.1
T1=0.55
 OPTIMUM
f=375
TT=6.757

 OPTIMUM
f=375
TT=7.017

 OPTIMUM
f=375
TT=1.711

 OPTIMUM
f=375
TT=15.46
MaxCSP/cnf/3-40-100-1000/
cnf-3-40-500-633421_ext.xml		 MOPT
f=471
TT=1.692

 OPTIMUM
f=471
TT=387.606
T1=0.67
 OPTIMUM
f=471
TT=393.459
T1=0.66
 OPTIMUM
f=471
TT=19.975
T1=20.14
 OPTIMUM
f=471
TT=17.138
T1=17.14
 MSAT (TO)
f=467
TT=2400.05

 OPTIMUM
f=471
TT=8.342

 OPTIMUM
f=471
TT=8.517

 OPTIMUM
f=471
TT=1.692

 OPTIMUM
f=471
TT=16.135
MaxCSP/cnf/3-40-100-1000/
cnf-3-40-600-359121_ext.xml		 MOPT
f=550
TT=9.46

 MSAT (TO)
f=550
TT=2400.07
T1=0.84
 MSAT (TO)
f=550
TT=2400.09
T1=0.92
 OPTIMUM
f=550
TT=126.649
T1=127.59
 OPTIMUM
f=550
TT=119.343
T1=119.6
 MSAT (TO)
f=548
TT=2400.03
T1=0.62
 OPTIMUM
f=550
TT=17.628

 OPTIMUM
f=550
TT=18.6

 OPTIMUM
f=550
TT=9.46

 OPTIMUM
f=550
TT=78.826
MaxCSP/cnf/3-40-100-1000/
cnf-3-40-700-084821_ext.xml		 MOPT
f=645
TT=5.332

 MSAT (TO)
f=645
TT=2400.12
T1=0.8
 MSAT (TO)
f=645
TT=2400.12
T1=0.76
 OPTIMUM
f=645
TT=118.782
T1=119.8
 OPTIMUM
f=645
TT=110.064
T1=110.42
 MSAT (TO)
f=645
TT=2400

 OPTIMUM
f=645
TT=15.582

 OPTIMUM
f=645
TT=16.066

 OPTIMUM
f=645
TT=5.332

 OPTIMUM
f=645
TT=71.992
Bench nameBest results
on this
instance		AbsconMax
109 EPFC		AbsconMax
109 PFC		aolibdvo
2007-01-17		aolibpvo
2007-01-17		CSP4J - MaxCSP
2006-12-19		toolbar
2007-01-12		Toolbar_BTD
2007-01-12		Toolbar_MaxSat
2007-01-19		Toulbar2
2007-01-12
MaxCSP/cnf/3-40-100-1000/
cnf-3-40-800-810521_ext.xml		 MOPT
f=731
TT=16.63

 MSAT (TO)
f=731
TT=2400.12
T1=1.14
 MSAT (TO)
f=731
TT=2400.06
T1=1.21
 OPTIMUM
f=731
TT=494.61
T1=498.94
 OPTIMUM
f=731
TT=473.239
T1=473.39
 MSAT (TO)
f=727
TT=2400.1
T1=0.74
 OPTIMUM
f=731
TT=26.07

 OPTIMUM
f=731
TT=27.014

 OPTIMUM
f=731
TT=16.63

 OPTIMUM
f=731
TT=137.406
MaxCSP/cnf/3-40-100-1000/
cnf-3-40-900-536221_ext.xml		 MOPT
f=807
TT=17.897

 MSAT (TO)
f=807
TT=2400.05
T1=1.01
 MSAT (TO)
f=807
TT=2400.09
T1=1.1
 OPTIMUM
f=807
TT=263.663
T1=263.9
 OPTIMUM
f=807
TT=259.626
T1=260.47
 MSAT (TO)
f=801
TT=2400.07
T1=0.77
 OPTIMUM
f=807
TT=33.235

 OPTIMUM
f=807
TT=34.248

 OPTIMUM
f=807
TT=17.897

 OPTIMUM
f=807
TT=181.583
MaxCSP/cnf/3-40-1100-2000/
cnf-3-40-1100-987621_ext.xml		 MOPT
f=970
TT=89.959

 MSAT (TO)
f=970
TT=2400.13
T1=2.97
 MSAT (TO)
f=970
TT=2400.09
T1=2.72
 OPTIMUM
f=970
TT=1753.61
T1=1754.2
 OPTIMUM
f=970
TT=1702.98
T1=1712.67
 MSAT (TO)
f=962
TT=2400.03
T1=0.94
 OPTIMUM
f=970
TT=109.49

 OPTIMUM
f=970
TT=121.265

 OPTIMUM
f=970
TT=89.959

 OPTIMUM
f=970
TT=613.112
MaxCSP/cnf/3-40-1100-2000/
cnf-3-40-1200-713321_ext.xml		 MOPT
f=1043
TT=68.538

 MSAT (TO)
f=1043
TT=2400.11
T1=16.27
 MSAT (TO)
f=1043
TT=2400.13
T1=15.95
 OPTIMUM
f=1043
TT=1517.12
T1=1518.19
 OPTIMUM
f=1043
TT=1391.88
T1=1403.44
 MSAT (TO)
f=1031
TT=2400.04
T1=0.94
 OPTIMUM
f=1043
TT=79.322

 OPTIMUM
f=1043
TT=83.449

 OPTIMUM
f=1043
TT=68.538

 OPTIMUM
f=1043
TT=412.268
MaxCSP/cnf/3-40-1100-2000/
cnf-3-40-1300-439021_ext.xml		 MOPT
f=1136
TT=88.165

 MSAT (TO)
f=1136
TT=2400.04
T1=23.22
 MSAT (TO)
f=1136
TT=2400.16
T1=22.05
 OPTIMUM
f=1136
TT=1932.31
T1=1932.99
 OPTIMUM
f=1136
TT=1874.5
T1=1875.28
 MSAT (TO)
f=1130
TT=2400.09
T1=0.94
 OPTIMUM
f=1136
TT=100.294

 OPTIMUM
f=1136
TT=114.165

 OPTIMUM
f=1136
TT=88.165

 OPTIMUM
f=1136
TT=504.211
MaxCSP/cnf/3-40-1100-2000/
cnf-3-40-1400-164721_ext.xml		 MOPT
f=1171
TT=66.663

 MSAT (TO)
f=1171
TT=2400.06
T1=1.89
 MSAT (TO)
f=1171
TT=2400.06
T1=1.97
 OPTIMUM
f=1171
TT=1275.24
T1=1276.41
 OPTIMUM
f=1171
TT=1321.78
T1=1322.32
 MSAT (TO)
f=1170
TT=2400.08
T1=1.12
 OPTIMUM
f=1171
TT=104.25

 OPTIMUM
f=1171
TT=110.292

 OPTIMUM
f=1171
TT=66.663

 OPTIMUM
f=1171
TT=429.773
MaxCSP/cnf/3-40-1100-2000/
cnf-3-40-1500-890421_ext.xml		 MOPT
f=1272
TT=114.478

 MSAT (TO)
f=1271
TT=2400.13
T1=1.29
 MSAT (TO)
f=1271
TT=2400.05
T1=1.33
 ? (TO)

TT=2400.02

 ? (TO)

TT=2400.03

 MSAT (TO)
f=1263
TT=2400.09

 OPTIMUM
f=1272
TT=138.962

 OPTIMUM
f=1272
TT=145.22

 OPTIMUM
f=1272
TT=114.478

 OPTIMUM
f=1272
TT=668.636
MaxCSP/cnf/3-40-1100-2000/
cnf-3-40-1600-616121_ext.xml		 MOPT
f=1333
TT=66.638

 MSAT (TO)
f=1332
TT=2400.1
T1=4.93
 MSAT (TO)
f=1332
TT=2400.1
T1=5.31
 OPTIMUM
f=1333
TT=2083.72
T1=1659.45
 OPTIMUM
f=1333
TT=1985.74
T1=1596.81
 MSAT (TO)
f=1328
TT=2400.04
T1=1.23
 OPTIMUM
f=1333
TT=85.956

 OPTIMUM
f=1333
TT=90.112

 OPTIMUM
f=1333
TT=66.638

 OPTIMUM
f=1333
TT=401.994
MaxCSP/cnf/3-40-1100-2000/
cnf-3-40-1700-341821_ext.xml		 MOPT
f=1424
TT=103.976

 MSAT (TO)
f=1424
TT=2400.09
T1=18.49
 MSAT (TO)
f=1424
TT=2400.09
T1=17.62
 OPTIMUM
f=1424
TT=2000.31
T1=2005.48
 OPTIMUM
f=1424
TT=2045.73
T1=2047.67
 MSAT (TO)
f=1411
TT=2400.03

 OPTIMUM
f=1424
TT=120.453

 OPTIMUM
f=1424
TT=135

 OPTIMUM
f=1424
TT=103.976

 OPTIMUM
f=1424
TT=619.211
MaxCSP/cnf/3-40-1100-2000/
cnf-3-40-1800-067521_ext.xml		 MOPT
f=1510
TT=111.899

 MSAT (TO)
f=1510
TT=2400.12
T1=1.46
 MSAT (TO)
f=1510
TT=2400.12
T1=1.45
 OPTIMUM
f=1510
TT=1900.26
T1=1900.74
 OPTIMUM
f=1510
TT=1848.83
T1=1849.45
 MSAT (TO)
f=1496
TT=2400.1
T1=1.4
 OPTIMUM
f=1510
TT=113.531

 OPTIMUM
f=1510
TT=112.951

 OPTIMUM
f=1510
TT=111.899

 OPTIMUM
f=1510
TT=510.959
Bench nameBest results
on this
instance		AbsconMax
109 EPFC		AbsconMax
109 PFC		aolibdvo
2007-01-17		aolibpvo
2007-01-17		CSP4J - MaxCSP
2006-12-19		toolbar
2007-01-12		Toolbar_BTD
2007-01-12		Toolbar_MaxSat
2007-01-19		Toulbar2
2007-01-12
MaxCSP/cnf/3-40-1100-2000/
cnf-3-40-1900-793221_ext.xml		 MOPT
f=1575
TT=212.457

 MSAT (TO)
f=1575
TT=2400.04
T1=13.31
 MSAT (TO)
f=1575
TT=2400.11
T1=12.16
 ? (TO)

TT=2400.06

 ? (TO)

TT=2400.05

 MSAT (TO)
f=1557
TT=2400.07
T1=1.6
 OPTIMUM
f=1575
TT=212.457

 OPTIMUM
f=1575
TT=234.211

 OPTIMUM
f=1575
TT=233.752

 OPTIMUM
f=1575
TT=854.997
MaxCSP/cnf/3-40-1100-2000/
cnf-3-40-2000-518921_ext.xml		 MOPT
f=1659
TT=306.927

 MSAT (TO)
f=1659
TT=2400.13
T1=4.03
 MSAT (TO)
f=1659
TT=2400.07
T1=4.09
 ? (TO)

TT=2400.07

 ? (TO)

TT=2400.04

 MSAT (TO)
f=1643
TT=2400.03
T1=1.59
 OPTIMUM
f=1659
TT=343.037

 OPTIMUM
f=1659
TT=362.414

 OPTIMUM
f=1659
TT=306.927

 OPTIMUM
f=1659
TT=1161.09
MaxCSP/cnf/3-40-2100-3000/
cnf-3-40-2100-244621_ext.xml		 MOPT
f=1726
TT=127.78

 MSAT (TO)
f=1725
TT=2400.14
T1=7.03
 MSAT (TO)
f=1725
TT=2400.16
T1=7.18
 ? (TO)

TT=2400.1

 ? (TO)

TT=2400.12

 MSAT (TO)
f=1724
TT=2400
T1=1.66
 OPTIMUM
f=1726
TT=152.505

 OPTIMUM
f=1726
TT=150.174

 OPTIMUM
f=1726
TT=127.78

 OPTIMUM
f=1726
TT=581.852
MaxCSP/cnf/3-40-2100-3000/
cnf-3-40-2200-970321_ext.xml		 MOPT
f=1791
TT=302.103

 MSAT (TO)
f=1790
TT=2400.12
T1=4.88
 MSAT (TO)
f=1790
TT=2400.1
T1=5.04
 ? (TO)

TT=2400.04

 ? (TO)

TT=2400.02

 MSAT (TO)
f=1789
TT=2400.02
T1=1.92
 OPTIMUM
f=1791
TT=302.103

 OPTIMUM
f=1791
TT=302.39

 OPTIMUM
f=1791
TT=317.928

 OPTIMUM
f=1791
TT=1092.92
MaxCSP/cnf/3-40-2100-3000/
cnf-3-40-2300-696021_ext.xml		 MOPT
f=1853
TT=427.224

 MSAT (TO)
f=1853
TT=2400.14
T1=4.56
 MSAT (TO)
f=1853
TT=2400.09
T1=4.4
 ? (TO)

TT=2400.07

 ? (TO)

TT=2400.06

 MSAT (TO)
f=1849
TT=2400.01
T1=1.95
 OPTIMUM
f=1853
TT=427.224

 OPTIMUM
f=1853
TT=480.75

 OPTIMUM
f=1853
TT=609.276

 OPTIMUM
f=1853
TT=1460.31
MaxCSP/cnf/3-40-2100-3000/
cnf-3-40-2400-421721_ext.xml		 MOPT
f=1928
TT=246.827

 MSAT (TO)
f=1928
TT=2400.07
T1=7.15
 MSAT (TO)
f=1928
TT=2400.09
T1=6.61
 ? (TO)

TT=2400.11

 ? (TO)

TT=2400.11

 MSAT (TO)
f=1924
TT=2400.01
T1=1.93
 OPTIMUM
f=1928
TT=246.827

 OPTIMUM
f=1928
TT=267.644

 OPTIMUM
f=1928
TT=251.82

 OPTIMUM
f=1928
TT=896.237
MaxCSP/cnf/3-40-2100-3000/
cnf-3-40-2500-147421_ext.xml		 MOPT
f=2019
TT=713.635

 MSAT (TO)
f=2018
TT=2400.09
T1=2.1
 MSAT (TO)
f=2018
TT=2400.12
T1=2.36
 ? (TO)

TT=2400.09

 ? (TO)

TT=2400.05

 MSAT (TO)
f=2011
TT=2400.06
T1=2.11
 OPTIMUM
f=2019
TT=713.635

 OPTIMUM
f=2019
TT=771.501

 OPTIMUM
f=2019
TT=782.274

 OPTIMUM
f=2019
TT=2150.19
MaxCSP/cnf/3-40-2100-3000/
cnf-3-40-2600-873121_ext.xml		 MOPT
f=2060
TT=369.139

 MSAT (TO)
f=2059
TT=2400.07
T1=8.55
 MSAT (TO)
f=2059
TT=2400.1
T1=7.96
 ? (TO)

TT=2400.04

 ? (TO)

TT=2400.09

 MSAT (TO)
f=2057
TT=2400.04
T1=2.14
 OPTIMUM
f=2060
TT=369.139

 OPTIMUM
f=2060
TT=388.568

 OPTIMUM
f=2060
TT=381.219

 OPTIMUM
f=2060
TT=1267.91
MaxCSP/cnf/3-40-2100-3000/
cnf-3-40-2700-598821_ext.xml		 MOPT
f=2129
TT=291.681

 MSAT (TO)
f=2129
TT=2400.04
T1=25.05
 MSAT (TO)
f=2129
TT=2400.14
T1=24.67
 ? (TO)

TT=2400.1

 ? (TO)

TT=2400.05

 MSAT (TO)
f=2127
TT=2400.06

 OPTIMUM
f=2129
TT=294.427

 OPTIMUM
f=2129
TT=291.681

 OPTIMUM
f=2129
TT=373.023

 OPTIMUM
f=2129
TT=963.769
MaxCSP/cnf/3-40-2100-3000/
cnf-3-40-2800-324521_ext.xml		 MOPT
f=2191
TT=471.169

 MSAT (TO)
f=2191
TT=2400.06
T1=3.35
 MSAT (TO)
f=2191
TT=2400.08
T1=3.95
 ? (TO)

TT=2400.03

 ? (TO)

TT=2400.06

 ? (problem)

TT=2.173

NODES=0
 OPTIMUM
f=2191
TT=471.169

 OPTIMUM
f=2191
TT=531.774

 OPTIMUM
f=2191
TT=580.589

 OPTIMUM
f=2191
TT=1858.93
Bench nameBest results
on this
instance		AbsconMax
109 EPFC		AbsconMax
109 PFC		aolibdvo
2007-01-17		aolibpvo
2007-01-17		CSP4J - MaxCSP
2006-12-19		toolbar
2007-01-12		Toolbar_BTD
2007-01-12		Toolbar_MaxSat
2007-01-19		Toulbar2
2007-01-12
MaxCSP/cnf/3-40-2100-3000/
cnf-3-40-2900-050221_ext.xml		 MOPT
f=2258
TT=536.08

 MSAT (TO)
f=2256
TT=2400.09
T1=2.63
 MSAT (TO)
f=2256
TT=2400.13
T1=2.91
 ? (TO)

TT=2400.02

 ? (TO)

TT=2400.09

 ? (problem)

TT=2.385

NODES=0
 OPTIMUM
f=2258
TT=541.932

 OPTIMUM
f=2258
TT=536.08

 OPTIMUM
f=2258
TT=599.539

 OPTIMUM
f=2258
TT=1780.4
MaxCSP/cnf/3-40-2100-3000/
cnf-3-40-3000-775921_ext.xml		 MOPT
f=2344
TT=342.48

 MSAT (TO)
f=2343
TT=2400.12
T1=7.67
 MSAT (TO)
f=2343
TT=2400.12
T1=7.61
 ? (TO)

TT=2400.06

 ? (TO)

TT=2400.11

 MSAT (TO)
f=2338
TT=2400
T1=2.78
 OPTIMUM
f=2344
TT=342.48

 OPTIMUM
f=2344
TT=385.124

 OPTIMUM
f=2344
TT=485.749

 OPTIMUM
f=2344
TT=1079.79
MaxCSP/cnf/3-80-100-1000/
cnf-3-80-1000-266841_ext.xml		 MSAT TO
f=948
TT=2400.05

 MSAT (TO)
f=948
TT=2400.05
T1=2.65
 MSAT (TO)
f=948
TT=2400.07
T1=2.53
 ? (TO)

TT=2400.06

 ? (TO)

TT=2400.02

 MSAT (TO)
f=936
TT=2400.01
T1=0.86
 MSAT (TO)
f=948
TT=2400.09

 ? (TO)

TT=2400.09

 ? (TO)

TT=2400.06

 MSAT (TO)
f=948
TT=2400.09
MaxCSP/cnf/3-80-100-1000/
cnf-3-80-100-735541_ext.xml		 SAT
f=100
TT=0.071

 SAT
f=100
TT=0.765
T1=0.76
 SAT
f=100
TT=0.78
T1=0.77
 SAT
f=100
TT=0.081
T1=0.08
 SAT
f=100
TT=0.067
T1=0.07
 SAT
f=100
TT=0.38
T1=0.41
NODES=3
 SAT
f=100
TT=0.071

 SAT
f=100
TT=0.082

 SAT
f=100
TT=0.103

 SAT
f=100
TT=0.072
MaxCSP/cnf/3-80-100-1000/
cnf-3-80-200-461241_ext.xml		 SAT
f=200
TT=0.078

 SAT
f=200
TT=0.812
T1=0.81
 SAT
f=200
TT=0.823
T1=0.82
 SAT
f=200
TT=1.599
T1=1.61
 SAT
f=200
TT=0.164
T1=0.16
 SAT
f=200
TT=0.453
T1=0.46
NODES=58
 SAT
f=200
TT=0.078

 SAT
f=200
TT=0.084

 SAT
f=200
TT=0.108

 SAT
f=200
TT=0.078
MaxCSP/cnf/3-80-100-1000/
cnf-3-80-300-186941_ext.xml		 SAT
f=300
TT=0.14

 SAT
f=300
TT=1.07
T1=1.07
 SAT
f=300
TT=1.023
T1=1.02
 SAT
f=300
TT=47.193
T1=47.54
 SAT
f=300
TT=40.295
T1=40.44
 SAT
f=300
TT=0.548
T1=0.56
NODES=373
 SAT
f=300
TT=0.143

 SAT
f=300
TT=0.148

 SAT
f=300
TT=0.14

 SAT
f=300
TT=0.147
MaxCSP/cnf/3-80-100-1000/
cnf-3-80-400-912641_ext.xml		 MOPT
f=396
TT=10.659

 MSAT (TO)
f=396
TT=2400.14
T1=0.75
 MSAT (TO)
f=396
TT=2400.1
T1=0.72
 OPTIMUM
f=396
TT=774.954
T1=778.56
 OPTIMUM
f=396
TT=689.876
T1=694.59
 MSAT (TO)
f=395
TT=2400.05
T1=0.58
 OPTIMUM
f=396
TT=13.475

 OPTIMUM
f=396
TT=14.902

 OPTIMUM
f=396
TT=10.659

 OPTIMUM
f=396
TT=78.147
MaxCSP/cnf/3-80-100-1000/
cnf-3-80-500-638341_ext.xml		 MOPT
f=488
TT=288.987

 MSAT (TO)
f=488
TT=2400.14
T1=0.99
 MSAT (TO)
f=488
TT=2400.14
T1=0.95
 ? (TO)

TT=2400.09

 ? (TO)

TT=2400.08

 MSAT (TO)
f=486
TT=2400.07

 OPTIMUM
f=488
TT=288.987

 OPTIMUM
f=488
TT=328.024

 OPTIMUM
f=488
TT=440.49

 OPTIMUM
f=488
TT=1460.81
MaxCSP/cnf/3-80-100-1000/
cnf-3-80-600-364041_ext.xml		 MOPT
f=587
TT=422.783

 MSAT (TO)
f=587
TT=2400.09
T1=0.84
 MSAT (TO)
f=587
TT=2400.06
T1=0.67
 MSAT (TO)
f=574
TT=2400.05
T1=22.63
 MSAT (TO)
f=570
TT=2400.02
T1=2.58
 MSAT (TO)
f=583
TT=2400.06
T1=0.82
 OPTIMUM
f=587
TT=498.696

 OPTIMUM
f=587
TT=547.788

 OPTIMUM
f=587
TT=422.783

 MSAT (TO)
f=587
TT=2400.14
MaxCSP/cnf/3-80-100-1000/
cnf-3-80-700-089741_ext.xml		 MSAT TO
f=677
TT=2400.07

 MSAT (TO)
f=677
TT=2400.15
T1=2.55
 MSAT (TO)
f=677
TT=2400.07
T1=2.56
 MSAT (TO)
f=666
TT=2400.07
T1=1308.53
 MSAT (TO)
f=655
TT=2400.03
T1=41.15
 MSAT (TO)
f=671
TT=2400.06

 MSAT (TO)
f=677
TT=2400.08

 ? (TO)

TT=2400.03

 ? (TO)

TT=2400.13

 MSAT (TO)
f=677
TT=2400.1
Bench nameBest results
on this
instance		AbsconMax
109 EPFC		AbsconMax
109 PFC		aolibdvo
2007-01-17		aolibpvo
2007-01-17		CSP4J - MaxCSP
2006-12-19		toolbar
2007-01-12		Toolbar_BTD
2007-01-12		Toolbar_MaxSat
2007-01-19		Toulbar2
2007-01-12
MaxCSP/cnf/3-80-100-1000/
cnf-3-80-800-815441_ext.xml		 MSAT TO
f=773
TT=2400.07

 MSAT (TO)
f=773
TT=2400.13
T1=1.43
 MSAT (TO)
f=773
TT=2400.07
T1=1.49
 MSAT (TO)
f=749
TT=2400.08
T1=79.93
 MSAT (TO)
f=750
TT=2400.1
T1=2.18
 MSAT (TO)
f=765
TT=2400.07

 MSAT (TO)
f=773
TT=2400.1

 ? (TO)

TT=2400.02

 ? (TO)

TT=2400.07

 MSAT (TO)
f=773
TT=2400.14
MaxCSP/cnf/3-80-100-1000/
cnf-3-80-900-541141_ext.xml		 MSAT TO
f=863
TT=2400.05

 MSAT (TO)
f=863
TT=2400.05
T1=16.11
 MSAT (TO)
f=863
TT=2400.13
T1=17.47
 MSAT (TO)
f=844
TT=2400.02
T1=517.49
 MSAT (TO)
f=840
TT=2400.01
T1=12.9
 MSAT (TO)
f=850
TT=2400.04

 MSAT (TO)
f=863
TT=2400.09

 ? (TO)

TT=2400.05

 ? (TO)

TT=2400.14

 MSAT (TO)
f=863
TT=2400.11
MaxCSP/cnf/3-80-1100-2000/
cnf-3-80-1100-992541_ext.xml		 MSAT TO
f=1047
TT=2400.05

 MSAT (TO)
f=1047
TT=2400.14
T1=17.94
 MSAT (TO)
f=1047
TT=2400.15
T1=19.96
 MSAT (TO)
f=1029
TT=2400.05
T1=31.01
 MSAT (TO)
f=1030
TT=2400.1
T1=93.64
 MSAT (TO)
f=1039
TT=2400.06

 MSAT (TO)
f=1047
TT=2400.09

 ? (TO)

TT=2400.03

 ? (TO)

TT=2400.09

 MSAT (TO)
f=1047
TT=2400.05
MaxCSP/cnf/3-80-1100-2000/
cnf-3-80-1200-718241_ext.xml		 MSAT TO
f=1133
TT=2400.07

 MSAT (TO)
f=1133
TT=2400.1
T1=1.52
 MSAT (TO)
f=1133
TT=2400.1
T1=1.49
 MSAT (TO)
f=1101
TT=2400.04
T1=3.9
 ? (TO)

TT=2400.02

 MSAT (TO)
f=1127
TT=2400.03

 MSAT (TO)
f=1133
TT=2400.07

 ? (TO)

TT=2400.06

 ? (TO)

TT=2400.04

 MSAT (TO)
f=1133
TT=2400.12
MaxCSP/cnf/3-80-1100-2000/
cnf-3-80-1300-443941_ext.xml		 MSAT TO
f=1224
TT=2400.07

 MSAT (TO)
f=1224
TT=2400.07
T1=11.33
 MSAT (TO)
f=1224
TT=2400.1
T1=11.2
 MSAT (TO)
f=1211
TT=2400.11
T1=1954.61
 MSAT (TO)
f=1208
TT=2400.06
T1=944.13
 MSAT (TO)
f=1216
TT=2400.01

 MSAT (TO)
f=1224
TT=2400.12

 ? (TO)

TT=2400.06

 ? (TO)

TT=2400.08

 MSAT (TO)
f=1224
TT=2400.1
MaxCSP/cnf/3-80-1100-2000/
cnf-3-80-1400-169641_ext.xml		 MSAT TO
f=1310
TT=2400.05

 MSAT (TO)
f=1309
TT=2400.12
T1=4.38
 MSAT (TO)
f=1309
TT=2400.06
T1=4.86
 MSAT (TO)
f=1274
TT=2400.1
T1=959.16
 MSAT (TO)
f=1262
TT=2400.11
T1=16.86
 MSAT (TO)
f=1288
TT=2400.01
T1=1.03
 MSAT (TO)
f=1310
TT=2400.1

 ? (TO)

TT=2400.01

 ? (TO)

TT=2400.12

 MSAT (TO)
f=1310
TT=2400.05
MaxCSP/cnf/3-80-1100-2000/
cnf-3-80-1500-895341_ext.xml		 MSAT TO
f=1409
TT=2400.09

 MSAT (TO)
f=1408
TT=2400.14
T1=17.2
 MSAT (TO)
f=1408
TT=2400.14
T1=17.37
 MSAT (TO)
f=1366
TT=2400.08
T1=13.17
 MSAT (TO)
f=1367
TT=2400.05
T1=7.49
 MSAT (TO)
f=1392
TT=2400.09
T1=1.11
 MSAT (TO)
f=1409
TT=2400.09

 ? (TO)

TT=2400

 ? (TO)

TT=2400.11

 MSAT (TO)
f=1409
TT=2400.14
MaxCSP/cnf/3-80-1100-2000/
cnf-3-80-1600-621041_ext.xml		 MSAT TO
f=1494
TT=2400.08

 MSAT (TO)
f=1493
TT=2400.12
T1=23.92
 MSAT (TO)
f=1493
TT=2400.12
T1=23.95
 MSAT (TO)
f=1459
TT=2400.06
T1=701.42
 MSAT (TO)
f=1455
TT=2400.04
T1=96.01
 MSAT (TO)
f=1483
TT=2400.03
T1=1.26
 MSAT (TO)
f=1494
TT=2400.08

 ? (TO)

TT=2400

 ? (TO)

TT=2400.12

 MSAT (TO)
f=1494
TT=2400.14
MaxCSP/cnf/3-80-1100-2000/
cnf-3-80-1700-346741_ext.xml		 MSAT TO
f=1576
TT=2400.07

 MSAT (TO)
f=1575
TT=2400.13
T1=5.06
 MSAT (TO)
f=1575
TT=2400.12
T1=5.74
 MSAT (TO)
f=1531
TT=2400.09
T1=32.57
 MSAT (TO)
f=1532
TT=2400.06
T1=38.09
 MSAT (TO)
f=1568
TT=2400.05

 MSAT (TO)
f=1576
TT=2400.07

 ? (TO)

TT=2400.06

 ? (TO)

TT=2400.08

 MSAT (TO)
f=1576
TT=2400.08
MaxCSP/cnf/3-80-1100-2000/
cnf-3-80-1800-072441_ext.xml		 MSAT TO
f=1672
TT=2400.12

 MSAT (TO)
f=1669
TT=2400.11
T1=4.41
 MSAT (TO)
f=1669
TT=2400.06
T1=4.25
 ? (TO)

TT=2400.06

 ? (TO)

TT=2400.11

 MSAT (TO)
f=1651
TT=2400.03
T1=1.37
 MSAT (TO)
f=1672
TT=2400.15

 ? (TO)

TT=2400.01

 ? (TO)

TT=2400.13

 MSAT (TO)
f=1672
TT=2400.12
Bench nameBest results
on this
instance		AbsconMax
109 EPFC		AbsconMax
109 PFC		aolibdvo
2007-01-17		aolibpvo
2007-01-17		CSP4J - MaxCSP
2006-12-19		toolbar
2007-01-12		Toolbar_BTD
2007-01-12		Toolbar_MaxSat
2007-01-19		Toulbar2
2007-01-12
MaxCSP/cnf/3-80-1100-2000/
cnf-3-80-1900-798141_ext.xml		 MSAT TO
f=1763
TT=2400.06

 MSAT (TO)
f=1762
TT=2400.07
T1=42.08
 MSAT (TO)
f=1762
TT=2400.1
T1=44.82
 MSAT (TO)
f=1728
TT=2400.03
T1=7.95
 MSAT (TO)
f=1728
TT=2400.11
T1=7.5
 MSAT (TO)
f=1754
TT=2400.06

 ? (TO)

TT=2400.06

 ? (TO)

TT=2400.05

 ? (TO)

TT=2400.12

 MSAT (TO)
f=1763
TT=2400.06
MaxCSP/cnf/3-80-1100-2000/
cnf-3-80-2000-523841_ext.xml		 MSAT TO
f=1844
TT=2400.07

 MSAT (TO)
f=1842
TT=2400.09
T1=16.49
 MSAT (TO)
f=1842
TT=2400.13
T1=15.13
 MSAT (TO)
f=1796
TT=2400.04
T1=526.18
 MSAT (TO)
f=1796
TT=2400.08
T1=468.28
 MSAT (TO)
f=1828
TT=2400
T1=1.53
 MSAT (TO)
f=1844
TT=2400.07

 ? (TO)

TT=2400.02

 ? (TO)

TT=2400.12

 MSAT (TO)
f=1844
TT=2400.09

Some statistics...

AbsconMax
109 EPFC		AbsconMax
109 PFC		aolibdvo
2007-01-17		aolibpvo
2007-01-17		CSP4J - MaxCSP
2006-12-19		toolbar
2007-01-12		Toolbar_BTD
2007-01-12		Toolbar_MaxSat
2007-01-19		Toulbar2
2007-01-12
Number of times the solver is able to give the best known answer3131320465565366
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)7820024103316