MAX-CSP 2006 Competition: results by benchmark

Results by benchmark for category binary constraints in extension (2-ARY-EXT), subcategory quasi random

This page displays the results of the different solvers for each benchmark for category binary constraints in extension (2-ARY-EXT), subcategory quasi random

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
composed/composed-25-1-25/
composed-25-1-25-1_ext.xml		 MOPT
f=244
TT=43.228

 OPTIMUM
f=244
TT=43.228
T1=0.79
 OPTIMUM
f=244
TT=47.905
T1=0.67
 ? (TO)

TT=2400.09

 ? (TO)

TT=2400.01

 MSAT (TO)
f=240
TT=2400.03
T1=0.54
 MSAT (TO)
f=244
TT=2400.04

 ? (TO)

TT=2400.05

 ? (TO)

TT=2400.03

 MSAT (TO)
f=244
TT=2400.1
composed/composed-25-1-25/
composed-25-1-25-3_ext.xml		 MOPT
f=245
TT=35.148

 OPTIMUM
f=245
TT=35.148
T1=0.74
 OPTIMUM
f=245
TT=35.299
T1=0.71
 ? (TO)

TT=2400.04

 ? (TO)

TT=2400.11

 MSAT (TO)
f=244
TT=2400.09

 MSAT (TO)
f=245
TT=2400.11

 ? (TO)

TT=2400.01

 ? (TO)

TT=2400.02

 OPTIMUM
f=245
TT=424.783
composed/composed-25-1-25/
composed-25-1-25-5_ext.xml		 MOPT
f=245
TT=32.462

 OPTIMUM
f=245
TT=32.462
T1=0.7
 OPTIMUM
f=245
TT=38.057
T1=0.64
 ? (TO)

TT=2400.11

 ? (TO)

TT=2400.03

 MSAT (TO)
f=242
TT=2400.04
T1=0.6
 MSAT (TO)
f=245
TT=2400.11

 ? (TO)

TT=2400.02

 ? (TO)

TT=2400.02

 OPTIMUM
f=245
TT=634.966
composed/composed-25-1-25/
composed-25-1-25-7_ext.xml		 MOPT
f=245
TT=34.351

 OPTIMUM
f=245
TT=34.351
T1=0.7
 OPTIMUM
f=245
TT=37.27
T1=0.69
 ? (TO)

TT=2400.04

 ? (TO)

TT=2400.02

 MSAT (TO)
f=242
TT=2400.06
T1=0.55
 MSAT (TO)
f=245
TT=2400.13

 ? (TO)

TT=2400.04

 ? (TO)

TT=2400.07

 MSAT (TO)
f=245
TT=2400.14
composed/composed-25-1-25/
composed-25-1-25-9_ext.xml		 MOPT
f=245
TT=32.989

 OPTIMUM
f=245
TT=32.989
T1=0.69
 OPTIMUM
f=245
TT=39.066
T1=0.69
 ? (TO)

TT=2400.02

 ? (TO)

TT=2400.02

 MSAT (TO)
f=244
TT=2400.07
T1=0.57
 MSAT (TO)
f=245
TT=2400.07

 ? (TO)

TT=2400.01

 ? (TO)

TT=2400.01

 MSAT (TO)
f=245
TT=2400.08
composed/composed-25-1-2/
composed-25-1-2-1_ext.xml		 MOPT
f=221
TT=36.266

 OPTIMUM
f=221
TT=36.266
T1=0.68
 OPTIMUM
f=221
TT=38.101
T1=0.67
 ? (TO)

TT=2400.09

 ? (TO)

TT=2400.08

 MSAT (TO)
f=218
TT=2400.01
T1=0.53
 MSAT (TO)
f=221
TT=2400.06

 ? (TO)

TT=2400.06

 ? (TO)

TT=2400.03

 MSAT (TO)
f=221
TT=2400.1
composed/composed-25-1-2/
composed-25-1-2-3_ext.xml		 MOPT
f=222
TT=36.244

 OPTIMUM
f=222
TT=36.244
T1=5.33
 OPTIMUM
f=222
TT=36.777
T1=5.21
 ? (TO)

TT=2400.05

 ? (TO)

TT=2400.08

 MSAT (TO)
f=217
TT=2400.05
T1=0.61
 MSAT (TO)
f=222
TT=2400.12

 ? (TO)

TT=2400.06

 ? (TO)

TT=2400.03

 OPTIMUM
f=222
TT=566.521
composed/composed-25-1-2/
composed-25-1-2-5_ext.xml		 MOPT
f=222
TT=32.788

 OPTIMUM
f=222
TT=32.788
T1=0.68
 OPTIMUM
f=222
TT=37.502
T1=0.77
 ? (TO)

TT=2400.02

 ? (TO)

TT=2400.08

 MSAT (TO)
f=221
TT=2400.09

 MSAT (TO)
f=222
TT=2400.09

 ? (TO)

TT=2400.08

 ? (TO)

TT=2400.04

 OPTIMUM
f=222
TT=945.588
composed/composed-25-1-2/
composed-25-1-2-7_ext.xml		 MOPT
f=222
TT=35.155

 OPTIMUM
f=222
TT=35.155
T1=0.73
 OPTIMUM
f=222
TT=35.294
T1=0.68
 ? (TO)

TT=2400.04

 ? (TO)

TT=2400.05

 MSAT (TO)
f=220
TT=2400.01

 MSAT (TO)
f=222
TT=2400.09

 ? (TO)

TT=2400.02

 ? (TO)

TT=2400.07

 MSAT (TO)
f=222
TT=2400.13
composed/composed-25-1-2/
composed-25-1-2-9_ext.xml		 MOPT
f=222
TT=1.631

 OPTIMUM
f=222
TT=32.585
T1=0.74
 OPTIMUM
f=222
TT=31.744
T1=0.69
 OPTIMUM
f=222
TT=1.631
T1=1.64
 ? (TO)

TT=2400.06

 MSAT (TO)
f=221
TT=2400.02

 MSAT (TO)
f=222
TT=2400.04

 OPTIMUM
f=222
TT=3.713

 ? (TO)

TT=2400.08

 MSAT (TO)
f=222
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
composed/composed-25-1-40/
composed-25-1-40-1_ext.xml		 MOPT
f=259
TT=34.419

 OPTIMUM
f=259
TT=35.089
T1=0.71
 OPTIMUM
f=259
TT=34.419
T1=0.7
 ? (TO)

TT=2400.08

 ? (TO)

TT=2400.06

 MSAT (TO)
f=258
TT=2400.07

 MSAT (TO)
f=259
TT=2400.13

 ? (TO)

TT=2400.03

 ? (TO)

TT=2400.03

 MSAT (TO)
f=259
TT=2400.06
composed/composed-25-1-40/
composed-25-1-40-3_ext.xml		 MOPT
f=260
TT=32.176

 OPTIMUM
f=260
TT=32.615
T1=0.71
 OPTIMUM
f=260
TT=32.176
T1=0.72
 ? (TO)

TT=2400.01

 ? (TO)

TT=2400.07

 MSAT (TO)
f=257
TT=2400.02
T1=0.55
 MSAT (TO)
f=260
TT=2400.05

 ? (TO)

TT=2400.07

 ? (TO)

TT=2400.09

 OPTIMUM
f=260
TT=455.21
composed/composed-25-1-40/
composed-25-1-40-5_ext.xml		 MOPT
f=260
TT=33.645

 OPTIMUM
f=260
TT=33.645
T1=0.72
 OPTIMUM
f=260
TT=34.689
T1=0.7
 ? (TO)

TT=2400.06

 ? (TO)

TT=2400.09

 MSAT (TO)
f=257
TT=2400.09
T1=0.53
 MSAT (TO)
f=260
TT=2400.13

 ? (TO)

TT=2400.02

 ? (TO)

TT=2400.01

 OPTIMUM
f=260
TT=499.525
composed/composed-25-1-40/
composed-25-1-40-7_ext.xml		 MOPT
f=260
TT=34.908

 OPTIMUM
f=260
TT=35.902
T1=0.68
 OPTIMUM
f=260
TT=34.908
T1=0.71
 ? (TO)

TT=2400.02

 ? (TO)

TT=2400.08

 MSAT (TO)
f=260
TT=2400.05

 MSAT (TO)
f=260
TT=2400.08

 ? (TO)

TT=2400.04

 ? (TO)

TT=2400.04

 MSAT (TO)
f=260
TT=2400.12
composed/composed-25-1-40/
composed-25-1-40-9_ext.xml		 MOPT
f=260
TT=32.919

 OPTIMUM
f=260
TT=32.919
T1=0.72
 OPTIMUM
f=260
TT=34.927
T1=0.71
 ? (TO)

TT=2400.06

 ? (TO)

TT=2400.01

 MSAT (TO)
f=259
TT=2400.08
T1=0.55
 MSAT (TO)
f=260
TT=2400.07

 ? (TO)

TT=2400.01

 ? (TO)

TT=2400.07

 MSAT (TO)
f=260
TT=2400.07
composed/composed-25-1-80/
composed-25-1-80-1_ext.xml		 MOPT
f=299
TT=33.756

 OPTIMUM
f=299
TT=38.462
T1=0.7
 OPTIMUM
f=299
TT=33.756
T1=0.65
 ? (TO)

TT=2400.05

 ? (TO)

TT=2400.09

 MSAT (TO)
f=297
TT=2400.1

 MSAT (TO)
f=299
TT=2400.13

 ? (TO)

TT=2400.05

 ? (TO)

TT=2400.04

 MSAT (TO)
f=299
TT=2400.1
composed/composed-25-1-80/
composed-25-1-80-3_ext.xml		 MOPT
f=300
TT=35.041

 OPTIMUM
f=300
TT=35.041
T1=0.68
 OPTIMUM
f=300
TT=37.65
T1=0.7
 ? (TO)

TT=2400.06

 ? (TO)

TT=2400.06

 MSAT (TO)
f=296
TT=2400.08
T1=0.55
 MSAT (TO)
f=300
TT=2400.12

 ? (TO)

TT=2400.03

 ? (TO)

TT=2400.02

 OPTIMUM
f=300
TT=904.577
composed/composed-25-1-80/
composed-25-1-80-5_ext.xml		 MOPT
f=300
TT=36.111

 OPTIMUM
f=300
TT=36.111
T1=0.83
 OPTIMUM
f=300
TT=42.987
T1=0.89
 ? (TO)

TT=2400.09

 ? (TO)

TT=2400.11

 MSAT (TO)
f=297
TT=2400.06
T1=0.57
 MSAT (TO)
f=300
TT=2400.13

 ? (TO)

TT=2400.08

 ? (TO)

TT=2400.03

 OPTIMUM
f=300
TT=95.778
composed/composed-25-1-80/
composed-25-1-80-7_ext.xml		 MOPT
f=300
TT=34.201

 OPTIMUM
f=300
TT=50.73
T1=0.77
 OPTIMUM
f=300
TT=34.201
T1=0.68
 ? (TO)

TT=2400.09

 ? (TO)

TT=2400.09

 MSAT (TO)
f=298
TT=2400.04
T1=0.58
 MSAT (TO)
f=300
TT=2400.11

 ? (TO)

TT=2400.03

 ? (TO)

TT=2400.04

 OPTIMUM
f=300
TT=199.972
composed/composed-25-1-80/
composed-25-1-80-9_ext.xml		 MOPT
f=300
TT=31.585

 OPTIMUM
f=300
TT=32.416
T1=0.68
 OPTIMUM
f=300
TT=31.585
T1=0.67
 ? (TO)

TT=2400.04

 ? (TO)

TT=2400.01

 MSAT (TO)
f=297
TT=2400.03
T1=0.55
 MSAT (TO)
f=300
TT=2400.12

 ? (TO)

TT=2400.1

 ? (TO)

TT=2400.01

 MSAT (TO)
f=300
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
composed/composed-75-1-25/
composed-75-1-25-1_ext.xml		 MOPT
f=645
TT=37.962

 OPTIMUM
f=645
TT=37.962
T1=0.81
 OPTIMUM
f=645
TT=38.315
T1=0.79
 ? (TO)

TT=2400.03

 ? (TO)

TT=2400.03

 MSAT (TO)
f=642
TT=2400.02
T1=0.69
 MSAT (TO)
f=645
TT=2400.13

 ? (TO)

TT=2400.06

 ? (TO)

TT=2400.05

 MSAT (TO)
f=645
TT=0
composed/composed-75-1-25/
composed-75-1-25-3_ext.xml		 MOPT
f=645
TT=35.526

 OPTIMUM
f=645
TT=35.526
T1=0.85
 OPTIMUM
f=645
TT=46.597
T1=0.8
 ? (TO)

TT=2400.07

 ? (TO)

TT=2400.09

 MSAT (TO)
f=643
TT=2400.04
T1=0.75
 MSAT (TO)
f=645
TT=0

 ? (TO)

TT=2400.06

 ? (TO)

TT=2400.06

 MSAT (TO)
f=645
TT=2400.12
composed/composed-75-1-25/
composed-75-1-25-5_ext.xml		 MOPT
f=644
TT=51.646

 OPTIMUM
f=644
TT=58.116
T1=0.9
 OPTIMUM
f=644
TT=51.646
T1=0.91
 ? (TO)

TT=2400.05

 ? (TO)

TT=2400.06

 MSAT (TO)
f=644
TT=2400.05

 MSAT (TO)
f=644
TT=2400.11

 ? (TO)

TT=2400

 ? (TO)

TT=2400.03

 MSAT (TO)
f=644
TT=0
composed/composed-75-1-25/
composed-75-1-25-7_ext.xml		 MOPT
f=646
TT=1.049

 OPTIMUM
f=646
TT=1.049
T1=0.82
 OPTIMUM
f=646
TT=1.178
T1=0.8
 ? (TO)

TT=2400.02

 ? (TO)

TT=2400.04

 MSAT (TO)
f=645
TT=2400.06
T1=0.76
 MSAT (TO)
f=646
TT=0

 ? (TO)

TT=2400.07

 ? (TO)

TT=2400.07

 MSAT (TO)
f=646
TT=0
composed/composed-75-1-25/
composed-75-1-25-9_ext.xml		 MOPT
f=645
TT=44.653

 OPTIMUM
f=645
TT=44.653
T1=0.95
 OPTIMUM
f=645
TT=61.344
T1=0.96
 ? (TO)

TT=2400.1

 ? (TO)

TT=2400.06

 MSAT (TO)
f=644
TT=2400.04

 MSAT (TO)
f=645
TT=0

 ? (TO)

TT=2400.08

 ? (TO)

TT=2400.03

 MSAT (TO)
f=645
TT=0
composed/composed-75-1-2/
composed-75-1-2-1_ext.xml		 MOPT
f=622
TT=36.555

 OPTIMUM
f=622
TT=36.555
T1=2.21
 OPTIMUM
f=622
TT=38.372
T1=2.09
 ? (TO)

TT=2400.09

 ? (TO)

TT=2400.08

 MSAT (TO)
f=618
TT=2400.03

 MSAT (TO)
f=622
TT=0

 ? (TO)

TT=2400.05

 ? (TO)

TT=2400.05

 MSAT (TO)
f=622
TT=0
composed/composed-75-1-2/
composed-75-1-2-3_ext.xml		 MOPT
f=622
TT=35.157

 OPTIMUM
f=622
TT=35.157
T1=1.07
 OPTIMUM
f=622
TT=44.435
T1=1.09
 ? (TO)

TT=2400.11

 ? (TO)

TT=2400.01

 MSAT (TO)
f=621
TT=2400.03
T1=0.72
 MSAT (TO)
f=622
TT=2400.1

 ? (TO)

TT=2400.06

 ? (TO)

TT=2400.05

 MSAT (TO)
f=622
TT=2400.14
composed/composed-75-1-2/
composed-75-1-2-5_ext.xml		 MOPT
f=621
TT=41.432

 OPTIMUM
f=621
TT=114.65
T1=0.87
 OPTIMUM
f=621
TT=41.432
T1=1.09
 ? (TO)

TT=2400.03

 ? (TO)

TT=2400.09

 MSAT (TO)
f=616
TT=2400.09
T1=0.74
 MSAT (TO)
f=621
TT=0

 ? (TO)

TT=2400.06

 ? (TO)

TT=2400.02

 MSAT (TO)
f=621
TT=2400.03
composed/composed-75-1-2/
composed-75-1-2-7_ext.xml		 MOPT
f=623
TT=1.032

 OPTIMUM
f=623
TT=1.032
T1=0.76
 OPTIMUM
f=623
TT=1.26
T1=0.76
 ? (TO)

TT=2400.1

 ? (TO)

TT=2400.08

 MSAT (TO)
f=622
TT=2400.07
T1=0.72
 MSAT (TO)
f=623
TT=2400.08

 ? (TO)

TT=2400.05

 ? (TO)

TT=2400.04

 MSAT (TO)
f=623
TT=2400.11
composed/composed-75-1-2/
composed-75-1-2-9_ext.xml		 MOPT
f=622
TT=38.839

 OPTIMUM
f=622
TT=38.839
T1=0.93
 OPTIMUM
f=622
TT=47.332
T1=0.98
 ? (TO)

TT=2400.04

 ? (TO)

TT=2400.05

 MSAT (TO)
f=621
TT=2400.09

 MSAT (TO)
f=622
TT=0

 ? (TO)

TT=2400.07

 ? (TO)

TT=2400.07

 MSAT (TO)
f=622
TT=0
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
composed/composed-75-1-40/
composed-75-1-40-1_ext.xml		 MOPT
f=660
TT=40.752

 OPTIMUM
f=660
TT=40.752
T1=0.84
 OPTIMUM
f=660
TT=63.333
T1=0.82
 ? (TO)

TT=2400.04

 ? (TO)

TT=2400.04

 MSAT (TO)
f=660
TT=2400.08

 ? (TO)

TT=2400.12

 ? (TO)

TT=2400.08

 ? (TO)

TT=2400.06

 MSAT (TO)
f=660
TT=2400.12
composed/composed-75-1-40/
composed-75-1-40-3_ext.xml		 MOPT
f=660
TT=40.709

 OPTIMUM
f=660
TT=40.942
T1=0.82
 OPTIMUM
f=660
TT=40.709
T1=0.87
 ? (TO)

TT=2400.07

 ? (TO)

TT=2400.07

 MSAT (TO)
f=659
TT=2400.08

 MSAT (TO)
f=660
TT=2400.11

 ? (TO)

TT=2400.07

 ? (TO)

TT=2400.07

 MSAT (TO)
f=660
TT=2400.14
composed/composed-75-1-40/
composed-75-1-40-5_ext.xml		 MOPT
f=659
TT=53.852

 OPTIMUM
f=659
TT=67.802
T1=0.78
 OPTIMUM
f=659
TT=53.852
T1=0.78
 ? (TO)

TT=2400.02

 ? (TO)

TT=2400.1

 MSAT (TO)
f=656
TT=2400.08
T1=0.69
 MSAT (TO)
f=659
TT=2400.04

 ? (TO)

TT=2400.03

 ? (TO)

TT=2400.03

 MSAT (TO)
f=659
TT=2400.14
composed/composed-75-1-40/
composed-75-1-40-7_ext.xml		 MOPT
f=661
TT=19.859

 OPTIMUM
f=661
TT=20.463
T1=20.17
 OPTIMUM
f=661
TT=19.859
T1=19.35
 ? (TO)

TT=2400.08

 ? (TO)

TT=2400.08

 MSAT (TO)
f=660
TT=2400.07

 MSAT (TO)
f=661
TT=2400.06

 ? (TO)

TT=2400.07

 ? (TO)

TT=2400.03

 MSAT (TO)
f=661
TT=2400.12
composed/composed-75-1-40/
composed-75-1-40-9_ext.xml		 MOPT
f=660
TT=37.002

 OPTIMUM
f=660
TT=40.855
T1=1.08
 OPTIMUM
f=660
TT=37.002
T1=1.11
 MSAT (TO)
f=652
TT=2400.03
T1=436.72
 ? (TO)

TT=2400.1

 MSAT (TO)
f=660
TT=2400.06

 MSAT (TO)
f=660
TT=2400.14

 ? (TO)

TT=2400

 ? (TO)

TT=2400.09

 MSAT (TO)
f=660
TT=2400.07
composed/composed-75-1-80/
composed-75-1-80-1_ext.xml		 MOPT
f=700
TT=35.891

 OPTIMUM
f=700
TT=65.842
T1=1.7
 OPTIMUM
f=700
TT=35.891
T1=1.08
 ? (TO)

TT=2400.03

 ? (TO)

TT=2400.05

 MSAT (TO)
f=699
TT=2400.05

 MSAT (TO)
f=700
TT=0

 ? (TO)

TT=2400.06

 ? (TO)

TT=2400.02

 MSAT (TO)
f=700
TT=0
composed/composed-75-1-80/
composed-75-1-80-3_ext.xml		 MOPT
f=700
TT=38.489

 OPTIMUM
f=700
TT=45.914
T1=0.77
 OPTIMUM
f=700
TT=38.489
T1=1.65
 ? (TO)

TT=2400.11

 ? (TO)

TT=2400.03

 MSAT (TO)
f=696
TT=2400.14

 MSAT (TO)
f=700
TT=0

 ? (TO)

TT=2400.06

 ? (TO)

TT=2400.09

 MSAT (TO)
f=700
TT=0
composed/composed-75-1-80/
composed-75-1-80-5_ext.xml		 MOPT
f=699
TT=67.849

 OPTIMUM
f=699
TT=148.964
T1=1.83
 OPTIMUM
f=699
TT=67.849
T1=0.82
 ? (TO)

TT=2400.07

 ? (TO)

TT=2400.06

 MSAT (TO)
f=698
TT=2400.09

 MSAT (TO)
f=699
TT=0

 ? (TO)

TT=2400.01

 ? (TO)

TT=2400.07

 MSAT (TO)
f=699
TT=0
composed/composed-75-1-80/
composed-75-1-80-7_ext.xml		 MOPT
f=701
TT=1.082

 OPTIMUM
f=701
TT=1.145
T1=1.69
 OPTIMUM
f=701
TT=1.082
T1=2.42
 ? (TO)

TT=2400.03

 MSAT (TO)
f=698
TT=2400.1
T1=0.94
 MSAT (TO)
f=698
TT=2400.07

 MSAT (TO)
f=701
TT=0

 ? (TO)

TT=2400.09

 ? (TO)

TT=2400.07

 OPTIMUM
f=701
TT=454.374
composed/composed-75-1-80/
composed-75-1-80-9_ext.xml		 MOPT
f=700
TT=38.497

 OPTIMUM
f=700
TT=38.497
T1=0.77
 OPTIMUM
f=700
TT=41.258
T1=0.83
 ? (TO)

TT=2400.05

 ? (TO)

TT=2400.04

 MSAT (TO)
f=697
TT=2400.03
T1=0.8
 MSAT (TO)
f=700
TT=2400.09

 ? (TO)

TT=2400.02

 ? (TO)

TT=2400.07

 MSAT (TO)
f=700
TT=0
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/pi/
pi-20-10-20-t60/
pi-20-10-20-40-11.xml		 MOPT
f=51
TT=0.105

 OPTIMUM
f=51
TT=32.115
T1=0.58
 OPTIMUM
f=51
TT=31.487
T1=0.7
 OPTIMUM
f=51
TT=0.105
T1=0.1
 OPTIMUM
f=51
TT=0.168
T1=0.17
 ?

TT=0.291

 OPTIMUM
f=51
TT=3.353

 OPTIMUM
f=51
TT=3.5

 ? (TO)

TT=2400.08

 OPTIMUM
f=51
TT=3.555
MaxCSP/pi/
pi-20-10-20-t60/
pi-20-10-20-40-1.xml		 MOPT
f=52
TT=0.056

 OPTIMUM
f=52
TT=0.784
T1=0.58
 OPTIMUM
f=52
TT=0.778
T1=0.68
 OPTIMUM
f=52
TT=0.056
T1=0.05
 OPTIMUM
f=52
TT=0.056
T1=0.05
 ?

TT=0.273

 OPTIMUM
f=52
TT=3.103

 OPTIMUM
f=52
TT=3.141

 ? (TO)

TT=2400.01

 OPTIMUM
f=52
TT=2.844
MaxCSP/pi/
pi-20-10-20-t60/
pi-20-10-20-40-21.xml		 MOPT
f=51
TT=0.124

 OPTIMUM
f=51
TT=34.317
T1=0.74
 OPTIMUM
f=51
TT=31.752
T1=0.82
 OPTIMUM
f=51
TT=0.144
T1=0.15
 OPTIMUM
f=51
TT=0.124
T1=0.12
 ?

TT=0.285

 OPTIMUM
f=51
TT=3.272

 OPTIMUM
f=51
TT=3.532

 ? (TO)

TT=2400.02

 OPTIMUM
f=51
TT=3.252
MaxCSP/pi/
pi-20-10-20-t60/
pi-20-10-20-40-31.xml		 MOPT
f=51
TT=0.084

 OPTIMUM
f=51
TT=33.625
T1=0.64
 OPTIMUM
f=51
TT=32.569
T1=0.69
 OPTIMUM
f=51
TT=0.087
T1=0.09
 OPTIMUM
f=51
TT=0.084
T1=0.08
 ?

TT=0.267

 OPTIMUM
f=51
TT=3.632

 OPTIMUM
f=51
TT=3.693

 ? (TO)

TT=2400.08

 OPTIMUM
f=51
TT=3.64
MaxCSP/pi/
pi-20-10-20-t60/
pi-20-10-20-40-41.xml		 MOPT
f=51
TT=0.178

 OPTIMUM
f=51
TT=31.529
T1=0.63
 OPTIMUM
f=51
TT=31.198
T1=0.6
 OPTIMUM
f=51
TT=0.198
T1=0.19
 OPTIMUM
f=51
TT=0.178
T1=0.18
 ?

TT=0.285

 OPTIMUM
f=51
TT=3.106

 OPTIMUM
f=51
TT=3.054

 ? (TO)

TT=2400.12

 OPTIMUM
f=51
TT=3.238
MaxCSP/pi/
pi-20-10-20-t60/
pi-20-10-20-40-51.xml		 MOPT
f=51
TT=0.079

 OPTIMUM
f=51
TT=32.847
T1=0.68
 OPTIMUM
f=51
TT=31.263
T1=0.6
 OPTIMUM
f=51
TT=0.092
T1=0.09
 OPTIMUM
f=51
TT=0.079
T1=0.07
 ?

TT=0.295

 OPTIMUM
f=51
TT=3.543

 OPTIMUM
f=51
TT=3.705

 ? (TO)

TT=2400.15

 OPTIMUM
f=51
TT=3.537
MaxCSP/pi/
pi-20-10-20-t60/
pi-20-10-20-40-61.xml		 MOPT
f=50
TT=0.22

 OPTIMUM
f=50
TT=34.955
T1=0.67
 OPTIMUM
f=50
TT=34.047
T1=0.68
 OPTIMUM
f=50
TT=0.224
T1=0.22
 OPTIMUM
f=50
TT=0.22
T1=0.22
 ?

TT=0.29

 OPTIMUM
f=50
TT=3.308

 OPTIMUM
f=50
TT=3.292

 ? (TO)

TT=2400.01

 OPTIMUM
f=50
TT=3.399
MaxCSP/pi/
pi-20-10-20-t60/
pi-20-10-20-40-71.xml		 MOPT
f=50
TT=0.285

 OPTIMUM
f=50
TT=39.217
T1=0.87
 OPTIMUM
f=50
TT=41.062
T1=0.93
 OPTIMUM
f=50
TT=0.285
T1=0.28
 OPTIMUM
f=50
TT=0.332
T1=0.33
 ?

TT=0.293

 OPTIMUM
f=50
TT=3.579

 OPTIMUM
f=50
TT=3.883

 ? (TO)

TT=2400.1

 OPTIMUM
f=50
TT=3.866
MaxCSP/pi/
pi-20-10-20-t60/
pi-20-10-20-40-81.xml		 MOPT
f=51
TT=0.181

 OPTIMUM
f=51
TT=32.736
T1=0.68
 OPTIMUM
f=51
TT=32.026
T1=0.69
 OPTIMUM
f=51
TT=0.181
T1=0.18
 OPTIMUM
f=51
TT=0.191
T1=0.19
 ?

TT=0.289

 OPTIMUM
f=51
TT=3.384

 OPTIMUM
f=51
TT=3.365

 ? (TO)

TT=2400.12

 OPTIMUM
f=51
TT=3.433
MaxCSP/pi/
pi-20-10-20-t60/
pi-20-10-20-40-91.xml		 MOPT
f=51
TT=0.068

 OPTIMUM
f=51
TT=31.814
T1=0.77
 OPTIMUM
f=51
TT=31.679
T1=0.73
 OPTIMUM
f=51
TT=0.068
T1=0.07
 OPTIMUM
f=51
TT=0.07
T1=0.06
 ?

TT=0.272

 OPTIMUM
f=51
TT=2.628

 OPTIMUM
f=51
TT=2.901

 ? (TO)

TT=2400.07

 OPTIMUM
f=51
TT=2.694
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/pi/
pi-20-10-20-t70/
pi-20-10-20-30-11.xml		 MOPT
f=47
TT=0.697

 OPTIMUM
f=47
TT=35.248
T1=0.57
 OPTIMUM
f=47
TT=35.313
T1=0.56
 OPTIMUM
f=47
TT=0.697
T1=0.7
 OPTIMUM
f=47
TT=0.701
T1=0.7
 ?

TT=0.291

 OPTIMUM
f=47
TT=4.677

 OPTIMUM
f=47
TT=4.783

 ? (TO)

TT=2400.02

 OPTIMUM
f=47
TT=4.656
MaxCSP/pi/
pi-20-10-20-t70/
pi-20-10-20-30-1.xml		 MOPT
f=46
TT=0.849

 OPTIMUM
f=46
TT=40.444
T1=0.67
 OPTIMUM
f=46
TT=38.14
T1=0.61
 OPTIMUM
f=46
TT=0.911
T1=0.91
 OPTIMUM
f=46
TT=0.849
T1=0.85
 ?

TT=0.286

 OPTIMUM
f=46
TT=4.024

 OPTIMUM
f=46
TT=3.948

 ? (TO)

TT=2400.04

 OPTIMUM
f=46
TT=4.213
MaxCSP/pi/
pi-20-10-20-t70/
pi-20-10-20-30-21.xml		 MOPT
f=47
TT=2.318

 OPTIMUM
f=47
TT=43.518
T1=0.96
 OPTIMUM
f=47
TT=39.333
T1=0.89
 OPTIMUM
f=47
TT=2.318
T1=2.32
 OPTIMUM
f=47
TT=2.422
T1=2.44
 ?

TT=0.293

 OPTIMUM
f=47
TT=4.172

 OPTIMUM
f=47
TT=4.582

 ? (TO)

TT=2400.05

 OPTIMUM
f=47
TT=4.637
MaxCSP/pi/
pi-20-10-20-t70/
pi-20-10-20-30-31.xml		 MOPT
f=45
TT=1.356

 OPTIMUM
f=45
TT=65.51
T1=0.64
 OPTIMUM
f=45
TT=52.907
T1=0.65
 OPTIMUM
f=45
TT=1.356
T1=1.36
 OPTIMUM
f=45
TT=1.759
T1=1.77
 ?

TT=0.261

 OPTIMUM
f=45
TT=3.794

 OPTIMUM
f=45
TT=4.258

 ? (TO)

TT=2400.07

 OPTIMUM
f=45
TT=4.528
MaxCSP/pi/
pi-20-10-20-t70/
pi-20-10-20-30-41.xml		 MOPT
f=47
TT=0.375

 OPTIMUM
f=47
TT=45.351
T1=0.61
 OPTIMUM
f=47
TT=35.096
T1=0.61
 OPTIMUM
f=47
TT=0.375
T1=0.37
 OPTIMUM
f=47
TT=0.394
T1=0.39
 ?

TT=0.279

 OPTIMUM
f=47
TT=3.793

 OPTIMUM
f=47
TT=3.876

 ? (TO)

TT=2400.01

 OPTIMUM
f=47
TT=3.647
MaxCSP/pi/
pi-20-10-20-t70/
pi-20-10-20-30-51.xml		 MOPT
f=46
TT=1.254

 OPTIMUM
f=46
TT=43.206
T1=0.61
 OPTIMUM
f=46
TT=45.465
T1=0.62
 OPTIMUM
f=46
TT=1.301
T1=1.31
 OPTIMUM
f=46
TT=1.254
T1=1.26
 ?

TT=0.289

 OPTIMUM
f=46
TT=3.991

 OPTIMUM
f=46
TT=4.398

 ? (TO)

TT=2400

 OPTIMUM
f=46
TT=4.612
MaxCSP/pi/
pi-20-10-20-t70/
pi-20-10-20-30-61.xml		 MOPT
f=46
TT=0.841

 OPTIMUM
f=46
TT=47.11
T1=0.65
 OPTIMUM
f=46
TT=44.174
T1=0.63
 OPTIMUM
f=46
TT=0.841
T1=0.85
 OPTIMUM
f=46
TT=0.851
T1=0.86
 ?

TT=0.291

 OPTIMUM
f=46
TT=3.367

 OPTIMUM
f=46
TT=3.535

 ? (TO)

TT=2400.1

 OPTIMUM
f=46
TT=3.607
MaxCSP/pi/
pi-20-10-20-t70/
pi-20-10-20-30-71.xml		 MOPT
f=46
TT=0.753

 OPTIMUM
f=46
TT=42.414
T1=0.82
 OPTIMUM
f=46
TT=43.77
T1=0.77
 OPTIMUM
f=46
TT=0.753
T1=0.75
 OPTIMUM
f=46
TT=1.025
T1=1.03
 ?

TT=0.291

 OPTIMUM
f=46
TT=3.945

 OPTIMUM
f=46
TT=4.091

 ? (TO)

TT=2400.01

 OPTIMUM
f=46
TT=4.304
MaxCSP/pi/
pi-20-10-20-t70/
pi-20-10-20-30-81.xml		 MOPT
f=46
TT=1.172

 OPTIMUM
f=46
TT=45.569
T1=0.59
 OPTIMUM
f=46
TT=55.791
T1=0.57
 OPTIMUM
f=46
TT=1.382
T1=1.39
 OPTIMUM
f=46
TT=1.172
T1=1.19
 ?

TT=0.288

 OPTIMUM
f=46
TT=3.761

 OPTIMUM
f=46
TT=4.174

 ? (TO)

TT=2400.02

 OPTIMUM
f=46
TT=4.421
MaxCSP/pi/
pi-20-10-20-t70/
pi-20-10-20-30-91.xml		 MOPT
f=46
TT=0.945

 OPTIMUM
f=46
TT=48.675
T1=0.62
 OPTIMUM
f=46
TT=44.037
T1=0.58
 OPTIMUM
f=46
TT=0.964
T1=0.96
 OPTIMUM
f=46
TT=0.945
T1=0.95
 ?

TT=0.289

 OPTIMUM
f=46
TT=3.814

 OPTIMUM
f=46
TT=4.13

 ? (TO)

TT=2400.03

 OPTIMUM
f=46
TT=3.788
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/pi/
pi-30-10-25-t48/
pi-30-10-197-52-11.xml		 MOPT
f=107
TT=3.666

 OPTIMUM
f=107
TT=60.502
T1=0.73
 OPTIMUM
f=107
TT=53.013
T1=0.67
 OPTIMUM
f=107
TT=4.626
T1=4.66
 OPTIMUM
f=107
TT=4.598
T1=4.59
 ?

TT=0.308

 OPTIMUM
f=107
TT=3.666

 OPTIMUM
f=107
TT=4.041

 ? (TO)

TT=2400.07

 OPTIMUM
f=107
TT=4.676
MaxCSP/pi/
pi-30-10-25-t48/
pi-30-10-197-52-1.xml		 MOPT
f=107
TT=4.373

 OPTIMUM
f=107
TT=83.767
T1=0.69
 OPTIMUM
f=107
TT=95.089
T1=0.81
 OPTIMUM
f=107
TT=6.644
T1=6.65
 OPTIMUM
f=107
TT=7.117
T1=7.11
 ?

TT=0.307

 OPTIMUM
f=107
TT=4.373

 OPTIMUM
f=107
TT=4.56

 ? (TO)

TT=2400.02

 OPTIMUM
f=107
TT=5.537
MaxCSP/pi/
pi-30-10-25-t48/
pi-30-10-197-52-21.xml		 MOPT
f=107
TT=3.811

 OPTIMUM
f=107
TT=78.218
T1=0.72
 OPTIMUM
f=107
TT=44.178
T1=0.69
 OPTIMUM
f=107
TT=3.811
T1=3.82
 OPTIMUM
f=107
TT=4.66
T1=4.7
 ?

TT=0.308

 OPTIMUM
f=107
TT=4.306

 OPTIMUM
f=107
TT=4.451

 ? (TO)

TT=2400.05

 OPTIMUM
f=107
TT=5.137
MaxCSP/pi/
pi-30-10-25-t48/
pi-30-10-197-52-31.xml		 MOPT
f=106
TT=4.239

 OPTIMUM
f=106
TT=208.923
T1=3.43
 OPTIMUM
f=106
TT=95.137
T1=3.16
 OPTIMUM
f=106
TT=12.759
T1=12.87
 OPTIMUM
f=106
TT=12.555
T1=12.61
 ?

TT=0.291

 OPTIMUM
f=106
TT=4.239

 OPTIMUM
f=106
TT=4.457

 ? (TO)

TT=2400.02

 OPTIMUM
f=106
TT=5.697
MaxCSP/pi/
pi-30-10-25-t48/
pi-30-10-197-52-41.xml		 MOPT
f=107
TT=2.404

 OPTIMUM
f=107
TT=63.203
T1=0.96
 OPTIMUM
f=107
TT=33.727
T1=1.08
 OPTIMUM
f=107
TT=2.404
T1=2.41
 OPTIMUM
f=107
TT=2.45
T1=2.47
 ?

TT=0.3

 OPTIMUM
f=107
TT=3.845

 OPTIMUM
f=107
TT=4.024

 ? (TO)

TT=2400.06

 OPTIMUM
f=107
TT=4.572
MaxCSP/pi/
pi-30-10-25-t48/
pi-30-10-197-52-51.xml		 MOPT
f=107
TT=3.928

 OPTIMUM
f=107
TT=75.019
T1=0.81
 OPTIMUM
f=107
TT=68.71
T1=0.81
 OPTIMUM
f=107
TT=11.572
T1=11.67
 OPTIMUM
f=107
TT=10.942
T1=11.02
 ?

TT=0.306

 OPTIMUM
f=107
TT=3.928

 OPTIMUM
f=107
TT=4.111

 ? (TO)

TT=2400.01

 OPTIMUM
f=107
TT=4.687
MaxCSP/pi/
pi-30-10-25-t48/
pi-30-10-197-52-61.xml		 MOPT
f=107
TT=4.361

 OPTIMUM
f=107
TT=71.367
T1=2.35
 OPTIMUM
f=107
TT=72.713
T1=2.37
 OPTIMUM
f=107
TT=4.389
T1=4.4
 OPTIMUM
f=107
TT=12.845
T1=12.9
 ?

TT=0.295

 OPTIMUM
f=107
TT=4.361

 OPTIMUM
f=107
TT=4.581

 ? (TO)

TT=2400.08

 OPTIMUM
f=107
TT=5.409
MaxCSP/pi/
pi-30-10-25-t48/
pi-30-10-197-52-71.xml		 MOPT
f=107
TT=2.203

 OPTIMUM
f=107
TT=50.369
T1=1.85
 OPTIMUM
f=107
TT=46.089
T1=2.02
 OPTIMUM
f=107
TT=2.407
T1=2.41
 OPTIMUM
f=107
TT=2.203
T1=2.2
 ?

TT=0.308

 OPTIMUM
f=107
TT=3.572

 OPTIMUM
f=107
TT=3.74

 ? (TO)

TT=2400.04

 OPTIMUM
f=107
TT=4.373
MaxCSP/pi/
pi-30-10-25-t48/
pi-30-10-197-52-81.xml		 MOPT
f=107
TT=4.053

 OPTIMUM
f=107
TT=61.69
T1=3.01
 OPTIMUM
f=107
TT=69.95
T1=3.23
 OPTIMUM
f=107
TT=6.963
T1=6.99
 OPTIMUM
f=107
TT=6.961
T1=6.99
 ?

TT=0.305

 OPTIMUM
f=107
TT=4.053

 OPTIMUM
f=107
TT=4.26

 ? (TO)

TT=2400.09

 OPTIMUM
f=107
TT=4.718
MaxCSP/pi/
pi-30-10-25-t48/
pi-30-10-197-52-91.xml		 MOPT
f=106
TT=4.207

 OPTIMUM
f=106
TT=134.141
T1=0.73
 OPTIMUM
f=106
TT=106.163
T1=0.71
 OPTIMUM
f=106
TT=6.223
T1=6.29
 OPTIMUM
f=106
TT=5.866
T1=5.88
 ?

TT=0.312

 OPTIMUM
f=106
TT=4.207

 OPTIMUM
f=106
TT=4.463

 ? (TO)

TT=2400.1

 OPTIMUM
f=106
TT=6.869
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/pi/
pi-30-10-25-t58/
pi-30-10-197-42-11.xml		 MOPT
f=99
TT=18.546

 OPTIMUM
f=99
TT=1268.45
T1=0.66
 OPTIMUM
f=99
TT=956.849
T1=0.64
 OPTIMUM
f=99
TT=701.082
T1=703.81
 OPTIMUM
f=99
TT=705.752
T1=708.27
 ?

TT=0.3

 OPTIMUM
f=99
TT=18.546

 OPTIMUM
f=99
TT=21.251

 ? (TO)

TT=2400.05

 OPTIMUM
f=99
TT=69.285
MaxCSP/pi/
pi-30-10-25-t58/
pi-30-10-197-42-1.xml		 MOPT
f=100
TT=18.887

 MSAT (TO)
f=100
TT=2400.06
T1=0.81
 MSAT (TO)
f=100
TT=2400.09
T1=0.8
 OPTIMUM
f=100
TT=173.018
T1=173.76
 OPTIMUM
f=100
TT=172.725
T1=172.76
 ?

TT=0.306

 OPTIMUM
f=100
TT=18.887

 OPTIMUM
f=100
TT=20.51

 ? (TO)

TT=2400.07

 OPTIMUM
f=100
TT=69.249
MaxCSP/pi/
pi-30-10-25-t58/
pi-30-10-197-42-21.xml		 MOPT
f=99
TT=19.126

 MSAT (TO)
f=99
TT=2400.16
T1=0.74
 MSAT (TO)
f=99
TT=2400.1
T1=0.72
 OPTIMUM
f=99
TT=170.588
T1=171.25
 OPTIMUM
f=99
TT=172.875
T1=173.54
 ?

TT=0.286

 OPTIMUM
f=99
TT=19.126

 OPTIMUM
f=99
TT=19.26

 ? (TO)

TT=2400.01

 OPTIMUM
f=99
TT=94.02
MaxCSP/pi/
pi-30-10-25-t58/
pi-30-10-197-42-31.xml		 MOPT
f=100
TT=8.577

 OPTIMUM
f=100
TT=1576.76
T1=1.26
 OPTIMUM
f=100
TT=1342.1
T1=1.36
 OPTIMUM
f=100
TT=160.661
T1=161.41
 OPTIMUM
f=100
TT=227.25
T1=227.31
 ?

TT=0.305

 OPTIMUM
f=100
TT=8.577

 OPTIMUM
f=100
TT=9.07

 ? (TO)

TT=2400

 OPTIMUM
f=100
TT=27.853
MaxCSP/pi/
pi-30-10-25-t58/
pi-30-10-197-42-41.xml		 MOPT
f=99
TT=6.564

 OPTIMUM
f=99
TT=653.891
T1=3.65
 OPTIMUM
f=99
TT=525.883
T1=3.91
 OPTIMUM
f=99
TT=54.668
T1=55.09
 OPTIMUM
f=99
TT=65.376
T1=65.61
 ?

TT=0.302

 OPTIMUM
f=99
TT=6.564

 OPTIMUM
f=99
TT=6.861

 ? (TO)

TT=2400.02

 OPTIMUM
f=99
TT=16.96
MaxCSP/pi/
pi-30-10-25-t58/
pi-30-10-197-42-51.xml		 MOPT
f=101
TT=10.936

 OPTIMUM
f=101
TT=1002
T1=0.71
 OPTIMUM
f=101
TT=831.785
T1=0.67
 OPTIMUM
f=101
TT=171.263
T1=172.6
 OPTIMUM
f=101
TT=175.225
T1=175.27
 ?

TT=0.303

 OPTIMUM
f=101
TT=10.936

 OPTIMUM
f=101
TT=11.664

 ? (TO)

TT=2400.02

 OPTIMUM
f=101
TT=37.851
MaxCSP/pi/
pi-30-10-25-t58/
pi-30-10-197-42-61.xml		 MOPT
f=99
TT=0

 MSAT (TO)
f=99
TT=2400.11
T1=2.35
 MSAT (TO)
f=99
TT=2400.13
T1=2.41
 OPTIMUM
f=99
TT=241.121
T1=242.92
 OPTIMUM
f=99
TT=226.467
T1=228.16
 ?

TT=0.301

 OPTIMUM
f=99
TT=17.426

 OPTIMUM
f=99
TT=18.653

 ? (TO)

TT=2400.04

 OPTIMUM
f=99
TT=0
MaxCSP/pi/
pi-30-10-25-t58/
pi-30-10-197-42-71.xml		 MOPT
f=99
TT=20.429

 OPTIMUM
f=99
TT=1972.04
T1=1.02
 OPTIMUM
f=99
TT=1979.67
T1=0.98
 OPTIMUM
f=99
TT=173.163
T1=173.84
 OPTIMUM
f=99
TT=172.893
T1=174.18
 ?

TT=0.292

 OPTIMUM
f=99
TT=20.429

 OPTIMUM
f=99
TT=21.962

 ? (TO)

TT=2400.08

 OPTIMUM
f=99
TT=63.907
MaxCSP/pi/
pi-30-10-25-t58/
pi-30-10-197-42-81.xml		 MOPT
f=100
TT=8.316

 OPTIMUM
f=100
TT=806.052
T1=1.48
 OPTIMUM
f=100
TT=1093.33
T1=1.55
 OPTIMUM
f=100
TT=98.78
T1=99.52
 OPTIMUM
f=100
TT=94.242
T1=94.95
 ?

TT=0.308

 OPTIMUM
f=100
TT=8.316

 OPTIMUM
f=100
TT=8.738

 ? (TO)

TT=2400.02

 OPTIMUM
f=100
TT=24.959
MaxCSP/pi/
pi-30-10-25-t58/
pi-30-10-197-42-91.xml		 MOPT
f=99
TT=9.874

 MSAT (TO)
f=99
TT=2400.13
T1=0.61
 MSAT (TO)
f=99
TT=2400.12
T1=0.63
 OPTIMUM
f=99
TT=236.251
T1=237.1
 OPTIMUM
f=99
TT=200.697
T1=201.47
 ?

TT=0.288

 OPTIMUM
f=99
TT=10.022

 OPTIMUM
f=99
TT=9.874

 ? (TO)

TT=2400.05

 OPTIMUM
f=99
TT=36.206
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/pi/
pi-40-10-08-t60/
pi-40-10-07948-40-11.xml		 MOPT
f=96
TT=3.028

 OPTIMUM
f=96
TT=95.094
T1=92.06
 OPTIMUM
f=96
TT=89.491
T1=87.59
 OPTIMUM
f=96
TT=6.876
T1=6.93
 OPTIMUM
f=96
TT=29.662
T1=29.88
 ?

TT=0.304

 OPTIMUM
f=96
TT=3.028

 OPTIMUM
f=96
TT=3.076

 ? (TO)

TT=2400.06

 OPTIMUM
f=96
TT=3.237
MaxCSP/pi/
pi-40-10-08-t60/
pi-40-10-07948-40-1.xml		 MOPT
f=95
TT=2.469

 OPTIMUM
f=95
TT=99.149
T1=2.72
 OPTIMUM
f=95
TT=86.554
T1=2.52
 OPTIMUM
f=95
TT=2.469
T1=2.49
 OPTIMUM
f=95
TT=6.093
T1=6.14
 ?

TT=0.304

 OPTIMUM
f=95
TT=3.449

 OPTIMUM
f=95
TT=3.625

 ? (TO)

TT=2400.01

 OPTIMUM
f=95
TT=4.69
MaxCSP/pi/
pi-40-10-08-t60/
pi-40-10-07948-40-21.xml		 MOPT
f=96
TT=3.115

 OPTIMUM
f=96
TT=39.45
T1=2.9
 OPTIMUM
f=96
TT=50.184
T1=2.65
 OPTIMUM
f=96
TT=10.744
T1=10.83
 OPTIMUM
f=96
TT=9.088
T1=9.16
 ?

TT=0.293

 OPTIMUM
f=96
TT=3.115

 OPTIMUM
f=96
TT=3.301

 ? (TO)

TT=2400.03

 OPTIMUM
f=96
TT=3.584
MaxCSP/pi/
pi-40-10-08-t60/
pi-40-10-07948-40-31.xml		 MOPT
f=96
TT=0.734

 OPTIMUM
f=96
TT=45.938
T1=2.66
 OPTIMUM
f=96
TT=52.064
T1=2.6
 OPTIMUM
f=96
TT=1.205
T1=1.21
 OPTIMUM
f=96
TT=0.734
T1=0.74
 ?

TT=0.304

 OPTIMUM
f=96
TT=3.632

 OPTIMUM
f=96
TT=3.868

 ? (TO)

TT=2400.01

 OPTIMUM
f=96
TT=3.529
MaxCSP/pi/
pi-40-10-08-t60/
pi-40-10-07948-40-41.xml		 MOPT
f=96
TT=2.002

 OPTIMUM
f=96
TT=65.896
T1=0.72
 OPTIMUM
f=96
TT=62.454
T1=0.71
 OPTIMUM
f=96
TT=2.002
T1=2
 OPTIMUM
f=96
TT=2.379
T1=2.37
 ?

TT=0.304

 OPTIMUM
f=96
TT=3.306

 OPTIMUM
f=96
TT=3.462

 ? (TO)

TT=2400.02

 OPTIMUM
f=96
TT=3.72
MaxCSP/pi/
pi-40-10-08-t60/
pi-40-10-07948-40-51.xml		 MOPT
f=95
TT=3.522

 OPTIMUM
f=95
TT=98.678
T1=6.75
 OPTIMUM
f=95
TT=89.384
T1=6.74
 OPTIMUM
f=95
TT=11.102
T1=11.1
 OPTIMUM
f=95
TT=12.607
T1=12.65
 ?

TT=0.3

 OPTIMUM
f=95
TT=3.522

 OPTIMUM
f=95
TT=3.75

 ? (TO)

TT=2400.09

 OPTIMUM
f=95
TT=5.579
MaxCSP/pi/
pi-40-10-08-t60/
pi-40-10-07948-40-61.xml		 MOPT
f=96
TT=3.19

 OPTIMUM
f=96
TT=54.291
T1=1.13
 OPTIMUM
f=96
TT=60.714
T1=1.08
 OPTIMUM
f=96
TT=16.472
T1=16.59
 OPTIMUM
f=96
TT=42.393
T1=42.76
 ?

TT=0.29

 OPTIMUM
f=96
TT=3.19

 OPTIMUM
f=96
TT=3.402

 ? (TO)

TT=2400.05

 OPTIMUM
f=96
TT=3.353
MaxCSP/pi/
pi-40-10-08-t60/
pi-40-10-07948-40-71.xml		 MOPT
f=96
TT=3.164

 OPTIMUM
f=96
TT=78.648
T1=3.57
 OPTIMUM
f=96
TT=78.099
T1=3.53
 OPTIMUM
f=96
TT=3.787
T1=3.81
 OPTIMUM
f=96
TT=3.203
T1=3.23
 ?

TT=0.303

 OPTIMUM
f=96
TT=3.164

 OPTIMUM
f=96
TT=3.219

 ? (TO)

TT=2400.04

 OPTIMUM
f=96
TT=3.609
MaxCSP/pi/
pi-40-10-08-t60/
pi-40-10-07948-40-81.xml		 MOPT
f=95
TT=2.905

 OPTIMUM
f=95
TT=86.617
T1=0.82
 OPTIMUM
f=95
TT=85.823
T1=0.88
 OPTIMUM
f=95
TT=2.905
T1=2.91
 OPTIMUM
f=95
TT=3.004
T1=3
 ?

TT=0.287

 OPTIMUM
f=95
TT=3.649

 OPTIMUM
f=95
TT=3.834

 ? (TO)

TT=2400.07

 OPTIMUM
f=95
TT=3.995
MaxCSP/pi/
pi-40-10-08-t60/
pi-40-10-07948-40-91.xml		 MOPT
f=97
TT=0.94

 OPTIMUM
f=97
TT=1.114
T1=0.67
 OPTIMUM
f=97
TT=0.94
T1=0.67
 OPTIMUM
f=97
TT=12.461
T1=12.53
 OPTIMUM
f=97
TT=13.867
T1=13.97
 ?

TT=0.283

 OPTIMUM
f=97
TT=3.075

 OPTIMUM
f=97
TT=3.252

 ? (TO)

TT=2400.01

 OPTIMUM
f=97
TT=3.073

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 answer8686515005051060
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)23171612020101