PB'11 competition: WBO track: results by benchmark

Results by benchmark for category only soft constraints, small integers, linear constraints (SOFT-SMALLINT-LIN)

This page displays the results of the different solvers for each benchmark for category only soft constraints, small integers, linear constraints (SOFT-SMALLINT-LIN)

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:
clasp 2.0-RC2 (complete)
Sat4j Resolution 2011-06-08 (complete)
SCIP spx SCIP 2.0.1.4. with SoPlex 1.5.0.4 (complete)
wbo 1.6 (complete)

Bench nameBest results
on this
instance		clasp
2.0-RC2
(complete)		Sat4j Resolution
2011-06-08
(complete)		SCIP spx
SCIP 2.0.1.4. with SoPlex 1.5.0.4
(complete)		wbo
1.6
(complete)
/SOFT-SMALLINT-LIN/PB06/submitted-PB05/
aloul/FPGA_SAT05/
normalized-chnl10_11_pb.cnf.cr--soft-0-100-0.wbo 		MOPT
f=9
TT=0.035
T1=0
 OPTIMUM
f=9
TT=75.195
T1=67.59
 MSAT (TO)
f=9
TT=1800.1
T1=10.38
 OPTIMUM
f=9
TT=0.035
T1=0
 OPTIMUM
f=9
TT=274.259
T1=274.2
/SOFT-SMALLINT-LIN/PB06/submitted-PB05/
aloul/FPGA_SAT05/
normalized-chnl10_15_pb.cnf.cr--soft-0-100-0.wbo 		MOPT
f=6
TT=0.042
T1=0
 OPTIMUM
f=6
TT=67.372
T1=40.29
 MSAT (TO)
f=6
TT=1800.08
T1=17.4
 OPTIMUM
f=6
TT=0.042
T1=0
 OPTIMUM
f=6
TT=843.312
T1=843.22
/SOFT-SMALLINT-LIN/PB06/submitted-PB05/
aloul/FPGA_SAT05/
normalized-chnl10_20_pb.cnf.cr--soft-0-100-0.wbo 		MOPT
f=7
TT=0.052
T1=0.03
 OPTIMUM
f=7
TT=84.722
T1=84.7
 MSAT (TO)
f=7
TT=1800.12
T1=111.81
 OPTIMUM
f=7
TT=0.052
T1=0.03
 OPTIMUM
f=7
TT=1415.34
T1=1415.22
/SOFT-SMALLINT-LIN/PB06/submitted-PB05/
aloul/FPGA_SAT05/
normalized-chnl15_16_pb.cnf.cr--soft-0-100-0.wbo 		MOPT
f=8
TT=0.051
T1=0
 MSAT (TO)
f=1106
TT=1800.05
T1=1528.43
 MSAT (TO)
f=8
TT=1800.14
T1=1.31
 OPTIMUM
f=8
TT=0.051
T1=0
 ? (TO)

TT=1800.09
/SOFT-SMALLINT-LIN/PB06/submitted-PB05/
aloul/FPGA_SAT05/
normalized-chnl15_20_pb.cnf.cr--soft-0-100-0.wbo 		MOPT
f=17
TT=0.065
T1=0
 MSAT (TO)
f=1409
TT=1800.07
T1=1552.64
 MSAT (TO)
f=17
TT=1800.1
T1=4.94
 OPTIMUM
f=17
TT=0.065
T1=0
 ? (TO)

TT=1800.11
/SOFT-SMALLINT-LIN/PB06/submitted-PB05/
aloul/FPGA_SAT05/
normalized-chnl15_25_pb.cnf.cr--soft-0-100-0.wbo 		MOPT
f=10
TT=0.078
T1=0.04
 MSAT (TO)
f=1981
TT=1800.06
T1=1596.53
 MSAT (TO)
f=10
TT=1800.05
T1=2.24
 OPTIMUM
f=10
TT=0.078
T1=0.04
 ? (TO)

TT=1800.08
/SOFT-SMALLINT-LIN/PB06/submitted-PB05/
aloul/FPGA_SAT05/
normalized-chnl20_21_pb.cnf.cr--soft-0-100-0.wbo 		MOPT
f=2
TT=0.076
T1=0.01
 MSAT (TO)
f=1990
TT=1800.07
T1=1663.26
 MSAT (TO)
f=2
TT=1800.15
T1=2.24
 OPTIMUM
f=2
TT=0.076
T1=0.01
 ? (TO)

TT=1800.1
/SOFT-SMALLINT-LIN/PB06/submitted-PB05/
aloul/FPGA_SAT05/
normalized-chnl20_25_pb.cnf.cr--soft-0-100-0.wbo 		MOPT
f=10
TT=0.096
T1=0
 MSAT (TO)
f=2338
TT=1800.05
T1=1704.64
 MSAT (TO)
f=10
TT=1800.08
T1=1.27
 OPTIMUM
f=10
TT=0.096
T1=0
 ? (TO)

TT=1800.09
/SOFT-SMALLINT-LIN/PB06/submitted-PB05/
aloul/FPGA_SAT05/
normalized-chnl20_30_pb.cnf.cr--soft-0-100-0.wbo 		MOPT
f=9
TT=0.112
T1=0.09
 MSAT (TO)
f=2466
TT=1800.05
T1=1741.93
 MSAT (TO)
f=9
TT=1800.11
T1=10.94
 OPTIMUM
f=9
TT=0.112
T1=0.09
 ? (TO)

TT=1800.11
/SOFT-SMALLINT-LIN/PB06/submitted-PB05/
aloul/FPGA_SAT05/
normalized-chnl30_31_pb.cnf.cr--soft-0-100-0.wbo 		MOPT
f=5
TT=0.305
T1=0.09
 MSAT (TO)
f=2784
TT=1800.06
T1=1635.94
 MSAT (TO)
f=5
TT=1800.1
T1=1.58
 OPTIMUM
f=5
TT=0.305
T1=0.09
 ? (TO)

TT=1800.04
Bench nameBest resultsclasp
2.0-RC2
(complete)		Sat4j Resolution
2011-06-08
(complete)		SCIP spx
SCIP 2.0.1.4. with SoPlex 1.5.0.4
(complete)		wbo
1.6
(complete)
/SOFT-SMALLINT-LIN/PB06/submitted-PB05/
aloul/FPGA_SAT05/
normalized-chnl30_35_pb.cnf.cr--soft-0-100-0.wbo 		MOPT
f=7
TT=0.444
T1=0.29
 MSAT (TO)
f=3051
TT=1800.04
T1=1736.32
 MSAT (TO)
f=7
TT=1800.16
T1=8.31
 OPTIMUM
f=7
TT=0.444
T1=0.29
 ? (TO)

TT=1800.12
/SOFT-SMALLINT-LIN/PB06/submitted-PB05/
aloul/FPGA_SAT05/
normalized-chnl30_40_pb.cnf.cr--soft-0-100-0.wbo 		MOPT
f=10
TT=0.441
T1=0.19
 MSAT (TO)
f=3466
TT=1800.05
T1=1240.73
 MSAT (TO)
f=10
TT=1800.19
T1=57.74
 OPTIMUM
f=10
TT=0.441
T1=0.19
 ? (TO)

TT=1800.08
/SOFT-SMALLINT-LIN/PB06/submitted-PB05/
aloul/FPGA_SAT05/
normalized-chnl35_36_pb.cnf.cr--soft-0-100-0.wbo 		MOPT
f=5
TT=0.269
T1=0.19
 MSAT (TO)
f=3251
TT=1800.05
T1=1673.04
 MSAT (TO)
f=5
TT=1800.09
T1=12.24
 OPTIMUM
f=5
TT=0.269
T1=0.19
 ? (TO)

TT=1800.06
/SOFT-SMALLINT-LIN/PB06/submitted-PB05/
aloul/FPGA_SAT05/
normalized-chnl35_40_pb.cnf.cr--soft-0-100-0.wbo 		MOPT
f=8
TT=0.529
T1=0.19
 MSAT (TO)
f=3701
TT=1800.07
T1=1749.65
 MSAT (TO)
f=8
TT=1800.14
T1=4.98
 OPTIMUM
f=8
TT=0.529
T1=0.19
 ? (TO)

TT=1800.07
/SOFT-SMALLINT-LIN/PB06/submitted-PB05/
aloul/FPGA_SAT05/
normalized-chnl35_45_pb.cnf.cr--soft-0-100-0.wbo 		MOPT
f=10
TT=1.18
T1=0.49
 MSAT (TO)
f=4357
TT=1800.05
T1=1186.61
 MSAT (TO)
f=10
TT=1800.18
T1=31.66
 OPTIMUM
f=10
TT=1.18
T1=0.49
 ? (TO)

TT=1800.11
/SOFT-SMALLINT-LIN/PB06/submitted-PB05/
aloul/FPGA_SAT05/
normalized-chnl40_41_pb.cnf.cr--soft-0-100-0.wbo 		MOPT
f=5
TT=0.803
T1=0.69
 MSAT (TO)
f=3863
TT=1800.05
T1=1344.52
 MSAT (TO)
f=5
TT=1800.1
T1=21.14
 OPTIMUM
f=5
TT=0.803
T1=0.69
 ? (TO)

TT=1800.07
/SOFT-SMALLINT-LIN/PB06/submitted-PB05/
aloul/FPGA_SAT05/
normalized-chnl40_45_pb.cnf.cr--soft-0-100-0.wbo 		MOPT
f=4
TT=0.364
T1=0.29
 MSAT (TO)
f=3964
TT=1800.05
T1=1485.53
 MSAT (TO)
f=4
TT=1800.21
T1=15.34
 OPTIMUM
f=4
TT=0.364
T1=0.29
 ? (TO)

TT=1800.07
/SOFT-SMALLINT-LIN/PB06/submitted-PB05/
aloul/FPGA_SAT05/
normalized-chnl40_50_pb.cnf.cr--soft-0-100-0.wbo 		MOPT
f=6
TT=0.971
T1=0.39
 MSAT (TO)
f=5017
TT=1800.05
T1=1361.83
 MSAT (TO)
f=6
TT=1800.21
T1=5.07
 OPTIMUM
f=6
TT=0.971
T1=0.39
 ? (TO)

TT=1800.06
/SOFT-SMALLINT-LIN/PB06/submitted-PB05/
aloul/FPGA_SAT05/
normalized-chnl50_51_pb.cnf.cr--soft-0-100-0.wbo 		MOPT
f=3
TT=0.765
T1=0.69
 MSAT (TO)
f=5028
TT=1800.05
T1=1610.73
 MSAT (TO)
f=3
TT=1800.15
T1=20.53
 OPTIMUM
f=3
TT=0.765
T1=0.69
 ? (TO)

TT=1800.07
/SOFT-SMALLINT-LIN/PB06/submitted-PB05/
aloul/FPGA_SAT05/
normalized-chnl50_55_pb.cnf.cr--soft-0-100-0.wbo 		MOPT
f=6
TT=1.362
T1=0.99
 MSAT (TO)
f=5438
TT=1800.06
T1=1701.13
 MSAT (TO)
f=6
TT=1800.19
T1=7.4
 OPTIMUM
f=6
TT=1.362
T1=0.99
 ? (TO)

TT=1800.1
Bench nameBest resultsclasp
2.0-RC2
(complete)		Sat4j Resolution
2011-06-08
(complete)		SCIP spx
SCIP 2.0.1.4. with SoPlex 1.5.0.4
(complete)		wbo
1.6
(complete)
/SOFT-SMALLINT-LIN/PB06/submitted-PB05/
aloul/FPGA_SAT05/
normalized-chnl50_60_pb.cnf.cr--soft-0-100-0.wbo 		MOPT
f=3
TT=0.998
T1=0.89
 MSAT (TO)
f=6064
TT=1800.06
T1=1714.64
 MSAT (TO)
f=3
TT=1800.15
T1=92.61
 OPTIMUM
f=3
TT=0.998
T1=0.89
 ? (TO)

TT=1800.12
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/
namasivayam/tsp/
normalized-t3002.11tsp11.1900544484--soft-0-100-0.wbo 		MOPT
f=1
TT=40.369
T1=11.84
 OPTIMUM
f=1
TT=68.61
T1=68.59
 OPTIMUM
f=1
TT=40.369
T1=11.84
 ? (TO)

TT=1800.08

 OPTIMUM
f=1
TT=84.843
T1=84.79
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/
namasivayam/tsp/
normalized-t3002.11tsp11.1900545610--soft-0-100-0.wbo 		MOPT
f=1
TT=69.94
T1=11.74
 OPTIMUM
f=1
TT=69.94
T1=69.9
 OPTIMUM
f=1
TT=348.202
T1=11.74
 ? (TO)

TT=1800.07

 OPTIMUM
f=1
TT=169.101
T1=168.99
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/
namasivayam/tsp/
normalized-t3002.11tsp11.1900546076--soft-0-100-0.wbo 		MOPT
f=3
TT=46.232
T1=38.77
 OPTIMUM
f=3
TT=46.232
T1=45.99
 OPTIMUM
f=3
TT=114.124
T1=38.77
 MSAT (TO)
f=5
TT=1800.07
T1=1226.73
 OPTIMUM
f=3
TT=142.624
T1=142.59
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/
namasivayam/tsp/
normalized-t3002.11tsp11.1900546417--soft-0-100-0.wbo 		MOPT
f=1
TT=97.493
T1=11.06
 OPTIMUM
f=1
TT=97.493
T1=97.4
 OPTIMUM
f=1
TT=717.699
T1=11.06
 MSAT (TO)
f=1
TT=1800.16
T1=329.5
 OPTIMUM
f=1
TT=127.12
T1=127.1
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/
namasivayam/tsp/
normalized-t3002.11tsp11.1900547389--soft-0-100-0.wbo 		MOPT
f=1
TT=98.101
T1=57.98
 OPTIMUM
f=1
TT=98.101
T1=97.99
 OPTIMUM
f=1
TT=543.34
T1=57.98
 MSAT (TO)
f=19
TT=1800.06
T1=1767.23
 OPTIMUM
f=1
TT=100.84
T1=100.79
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/
namasivayam/tsp/
normalized-t3002.11tsp11.1900548667--soft-0-100-0.wbo 		MOPT
f=1
TT=225.076
T1=8.26
 OPTIMUM
f=1
TT=225.076
T1=225
 OPTIMUM
f=1
TT=1239.39
T1=8.26
 ? (TO)

TT=1800.06

 OPTIMUM
f=1
TT=488.15
T1=488.1
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/
namasivayam/tsp/
normalized-t3002.11tsp11.1900550006--soft-0-100-0.wbo 		MOPT
f=1
TT=130.847
T1=7.24
 OPTIMUM
f=1
TT=130.847
T1=130.8
 OPTIMUM
f=1
TT=425.13
T1=7.24
 MSAT
f=1
TT=1800.05
T1=843.75
 OPTIMUM
f=1
TT=235.36
T1=235.3
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/
namasivayam/tsp/
normalized-t3002.11tsp11.1900550720--soft-0-100-0.wbo 		MOPT
f=1
TT=130.063
T1=22.64
 OPTIMUM
f=1
TT=130.063
T1=130
 OPTIMUM
f=1
TT=585.788
T1=22.64
 ? (TO)

TT=1800.11

 OPTIMUM
f=1
TT=203.614
T1=203.5
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/
namasivayam/tsp/
normalized-t3002.11tsp11.1900551347--soft-0-100-0.wbo 		MOPT
f=2
TT=53.279
T1=14.78
 OPTIMUM
f=2
TT=53.279
T1=49.69
 OPTIMUM
f=2
TT=212.029
T1=14.78
 OPTIMUM
f=2
TT=1663.95
T1=963.1
 OPTIMUM
f=2
TT=156.119
T1=156.1
Bench nameBest resultsclasp
2.0-RC2
(complete)		Sat4j Resolution
2011-06-08
(complete)		SCIP spx
SCIP 2.0.1.4. with SoPlex 1.5.0.4
(complete)		wbo
1.6
(complete)
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/
namasivayam/tsp/
normalized-t3002.11tsp11.1900551864--soft-0-100-0.wbo 		MOPT
f=1
TT=14.205
T1=8.11
 OPTIMUM
f=1
TT=25.617
T1=25.59
 OPTIMUM
f=1
TT=14.205
T1=8.11
 ? (TO)

TT=1800.06

 OPTIMUM
f=1
TT=36.41
T1=36.39
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/
namasivayam/tsp/
normalized-t3002.11tsp11.1900552288--soft-0-100-0.wbo 		MOPT
f=1
TT=106.711
T1=13.65
 OPTIMUM
f=1
TT=106.711
T1=106.6
 OPTIMUM
f=1
TT=477.413
T1=13.65
 OPTIMUM
f=1
TT=1468.84
T1=91.59
 OPTIMUM
f=1
TT=149.815
T1=149.69
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/
namasivayam/tsp/
normalized-t3002.11tsp11.1900552423--soft-0-100-0.wbo 		MOPT
f=5
TT=11.106
T1=8.19
 OPTIMUM
f=5
TT=11.106
T1=8.19
 OPTIMUM
f=5
TT=151.404
T1=50.95
 OPTIMUM
f=5
TT=1465.09
T1=713.11
 OPTIMUM
f=5
TT=102.109
T1=102.09
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/
namasivayam/tsp/
normalized-t3002.11tsp11.1900552735--soft-0-100-0.wbo 		MOPT
f=4
TT=149.542
T1=147.59
 OPTIMUM
f=4
TT=149.542
T1=147.59
 OPTIMUM
f=4
TT=517.575
T1=264.01
 MSAT (TO)
f=48
TT=1800.06
T1=1654.73
 OPTIMUM
f=4
TT=714.94
T1=714.8
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/
namasivayam/tsp/
normalized-t3002.11tsp11.1900553647--soft-0-100-0.wbo 		MOPT
f=1
TT=106.528
T1=22.92
 OPTIMUM
f=1
TT=110.462
T1=110.4
 OPTIMUM
f=1
TT=520.423
T1=22.92
 MSAT (TO)
f=1
TT=1800.13
T1=191
 OPTIMUM
f=1
TT=106.528
T1=106.49
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/
namasivayam/tsp/
normalized-t3002.11tsp11.1900553812--soft-0-100-0.wbo 		MOPT
f=3
TT=60.723
T1=57.29
 OPTIMUM
f=3
TT=60.723
T1=57.29
 OPTIMUM
f=3
TT=282.867
T1=66.01
 MSAT (TO)
f=6
TT=1800.14
T1=1660.06
 OPTIMUM
f=3
TT=308.989
T1=308.9
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/
namasivayam/tsp/
normalized-t3002.11tsp11.1900554072--soft-0-100-0.wbo 		MOPT
f=1
TT=43.66
T1=23.9
 OPTIMUM
f=1
TT=43.66
T1=43.59
 OPTIMUM
f=1
TT=222.024
T1=23.9
 ? (TO)

TT=1800.08

 OPTIMUM
f=1
TT=70.133
T1=70.09
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/
namasivayam/tsp/
normalized-t3002.11tsp11.1900554420--soft-0-100-0.wbo 		MOPT
f=1
TT=23.076
T1=7.1
 OPTIMUM
f=1
TT=23.076
T1=23
 OPTIMUM
f=1
TT=155.219
T1=7.1
 MSAT (TO)
f=1
TT=1800.13
T1=217.8
 OPTIMUM
f=1
TT=73.477
T1=73.39
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/
namasivayam/tsp/
normalized-t3002.11tsp11.1900556231--soft-0-100-0.wbo 		MOPT
f=1
TT=64.462
T1=12.68
 OPTIMUM
f=1
TT=64.462
T1=64.39
 OPTIMUM
f=1
TT=497.545
T1=12.68
 ? (TO)

TT=1800.1

 OPTIMUM
f=1
TT=143.815
T1=143.7
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/
namasivayam/tsp/
normalized-t3002.11tsp11.1900557362--soft-0-100-0.wbo 		MOPT
f=5
TT=79.722
T1=36.95
 OPTIMUM
f=5
TT=79.722
T1=70.99
 OPTIMUM
f=5
TT=360.522
T1=36.95
 ? (TO)

TT=1800.08

 OPTIMUM
f=5
TT=499.01
T1=498.92
Bench nameBest resultsclasp
2.0-RC2
(complete)		Sat4j Resolution
2011-06-08
(complete)		SCIP spx
SCIP 2.0.1.4. with SoPlex 1.5.0.4
(complete)		wbo
1.6
(complete)
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/
namasivayam/tsp/
normalized-t3002.11tsp11.1900557574--soft-0-100-0.wbo 		MOPT
f=6
TT=122.111
T1=98.73
 OPTIMUM
f=6
TT=122.111
T1=109.29
 OPTIMUM
f=6
TT=563.156
T1=98.73
 ? (TO)

TT=1800.07

 OPTIMUM
f=6
TT=967.183
T1=967.12
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/
namasivayam/tsp/
normalized-t3002.11tsp11.1900557957--soft-0-100-0.wbo 		MOPT
f=3
TT=145.4
T1=62.44
 OPTIMUM
f=3
TT=145.4
T1=118.58
 OPTIMUM
f=3
TT=355.258
T1=62.44
 ? (TO)

TT=1800.05

 OPTIMUM
f=3
TT=419.179
T1=419.1
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/
namasivayam/tsp/
normalized-t3002.11tsp11.1900558106--soft-0-100-0.wbo 		MOPT
f=7
TT=56.974
T1=49.5
 OPTIMUM
f=7
TT=56.974
T1=49.5
 OPTIMUM
f=7
TT=269.214
T1=56.45
 ? (TO)

TT=1800.07

 OPTIMUM
f=7
TT=638.448
T1=638.38
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/
namasivayam/tsp/
normalized-t3002.11tsp11.1900558739--soft-0-100-0.wbo 		MOPT
f=1
TT=154.452
T1=5.46
 OPTIMUM
f=1
TT=185.866
T1=185.79
 OPTIMUM
f=1
TT=661.074
T1=5.46
 MSAT (TO)
f=1
TT=1800.07
T1=990.22
 OPTIMUM
f=1
TT=154.452
T1=154.39
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/
namasivayam/tsp/
normalized-t3002.11tsp11.1900559676--soft-0-100-0.wbo 		MOPT
f=1
TT=128.587
T1=6.56
 OPTIMUM
f=1
TT=128.587
T1=128.49
 OPTIMUM
f=1
TT=871.716
T1=6.56
 MSAT (TO)
f=1
TT=1800.14
T1=588.01
 OPTIMUM
f=1
TT=304.86
T1=304.8
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/
namasivayam/tsp/
normalized-t3002.11tsp11.1900561288--soft-0-100-0.wbo 		MOPT
f=1
TT=224.237
T1=11.19
 OPTIMUM
f=1
TT=224.237
T1=224.19
 OPTIMUM
f=1
TT=1124.91
T1=11.19
 ? (TO)

TT=1800.06

 OPTIMUM
f=1
TT=358.772
T1=358.71
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/
namasivayam/tsp/
normalized-t3002.11tsp11.1900562192--soft-0-100-0.wbo 		MOPT
f=1
TT=43.285
T1=15.47
 OPTIMUM
f=1
TT=43.285
T1=43.19
 OPTIMUM
f=1
TT=399.249
T1=15.47
 MSAT (TO)
f=1
TT=1800.13
T1=699.52
 OPTIMUM
f=1
TT=114.448
T1=114.4
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/
namasivayam/tsp/
normalized-t3002.11tsp11.1900563250--soft-0-100-0.wbo 		MOPT
f=1
TT=109.424
T1=8.86
 OPTIMUM
f=1
TT=109.424
T1=109.39
 OPTIMUM
f=1
TT=367.5
T1=8.86
 ? (TO)

TT=1800.07

 OPTIMUM
f=1
TT=173.348
T1=173.29
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/
namasivayam/tsp/
normalized-t3002.11tsp11.1900563801--soft-0-100-0.wbo 		MOPT
f=1
TT=22.764
T1=17.22
 OPTIMUM
f=1
TT=22.764
T1=22.69
 OPTIMUM
f=1
TT=31.32
T1=17.22
 OPTIMUM
f=1
TT=1749.89
T1=1510.84
 OPTIMUM
f=1
TT=43.782
T1=43.69
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/
namasivayam/tsp/
normalized-t3002.11tsp11.1900564281--soft-0-100-0.wbo 		MOPT
f=2
TT=61.648
T1=36.09
 OPTIMUM
f=2
TT=61.648
T1=59.8
 OPTIMUM
f=2
TT=158.685
T1=36.09
 MSAT (TO)
f=2
TT=1800.11
T1=1538.83
 OPTIMUM
f=2
TT=140.947
T1=140.89
Bench nameBest resultsclasp
2.0-RC2
(complete)		Sat4j Resolution
2011-06-08
(complete)		SCIP spx
SCIP 2.0.1.4. with SoPlex 1.5.0.4
(complete)		wbo
1.6
(complete)
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/
namasivayam/tsp/
normalized-t3002.11tsp11.1900564824--soft-0-100-0.wbo 		MOPT
f=8
TT=39.443
T1=29.19
 OPTIMUM
f=8
TT=39.443
T1=29.19
 OPTIMUM
f=8
TT=247.228
T1=50.62
 MSAT (TO)
f=8
TT=1800.13
T1=1563.31
 OPTIMUM
f=8
TT=299.651
T1=299.6
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/
namasivayam/tsp/
normalized-t3002.11tsp11.1900565534--soft-0-100-0.wbo 		MOPT
f=1
TT=149.691
T1=10.46
 OPTIMUM
f=1
TT=149.691
T1=149.6
 OPTIMUM
f=1
TT=583.18
T1=10.46
 MSAT
f=1
TT=1800.08
T1=921.46
 OPTIMUM
f=1
TT=251.777
T1=251.7
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/
namasivayam/tsp/
normalized-t3002.11tsp11.1900566157--soft-0-100-0.wbo 		MOPT
f=1
TT=62.912
T1=29.03
 OPTIMUM
f=1
TT=67.88
T1=67.79
 OPTIMUM
f=1
TT=236.116
T1=29.03
 OPTIMUM
f=1
TT=1372.21
T1=799.31
 OPTIMUM
f=1
TT=62.912
T1=62.89
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/
namasivayam/tsp/
normalized-t3002.11tsp11.1900567024--soft-0-100-0.wbo 		MOPT
f=3
TT=66.678
T1=26.37
 OPTIMUM
f=3
TT=66.678
T1=60.69
 OPTIMUM
f=3
TT=252.271
T1=26.37
 ? (TO)

TT=1800.06

 OPTIMUM
f=3
TT=245.379
T1=245.31
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/
namasivayam/tsp/
normalized-t3002.11tsp11.1900567135--soft-0-100-0.wbo 		MOPT
f=1
TT=39.244
T1=29.69
 OPTIMUM
f=1
TT=39.244
T1=39.19
 OPTIMUM
f=1
TT=166.411
T1=29.69
 MSAT (TO)
f=1
TT=1800.08
T1=1640.75
 OPTIMUM
f=1
TT=58.457
T1=58.4
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/
namasivayam/tsp/
normalized-t3002.11tsp11.1900567985--soft-0-100-0.wbo 		MOPT
f=1
TT=181.599
T1=12.86
 OPTIMUM
f=1
TT=181.599
T1=181.5
 OPTIMUM
f=1
TT=843.562
T1=12.86
 MSAT (TO)
f=1
TT=1800.07
T1=1002.22
 OPTIMUM
f=1
TT=433.909
T1=433.8
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/
namasivayam/tsp/
normalized-t3002.11tsp11.1900568186--soft-0-100-0.wbo 		MOPT
f=3
TT=109.698
T1=29.54
 OPTIMUM
f=3
TT=109.698
T1=104.29
 OPTIMUM
f=3
TT=331.367
T1=29.54
 MSAT (TO)
f=16
TT=1800.08
T1=1757.54
 OPTIMUM
f=3
TT=284.118
T1=284
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/
namasivayam/tsp/
normalized-t3002.11tsp11.1900568706--soft-0-100-0.wbo 		MOPT
f=1
TT=115.464
T1=101.74
 OPTIMUM
f=1
TT=115.464
T1=115.4
 OPTIMUM
f=1
TT=268.068
T1=101.74
 ? (TO)

TT=1800.08

 OPTIMUM
f=1
TT=119.531
T1=119.49
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/
namasivayam/tsp/
normalized-t3002.11tsp11.1900569834--soft-0-100-0.wbo 		MOPT
f=4
TT=133.178
T1=113.49
 OPTIMUM
f=4
TT=133.178
T1=113.49
 OPTIMUM
f=4
TT=577.156
T1=122.96
 MSAT (TO)
f=5
TT=1800.15
T1=1093.94
 OPTIMUM
f=4
TT=972.464
T1=972.42
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/
namasivayam/tsp/
normalized-t3002.11tsp11.1900570242--soft-0-100-0.wbo 		MOPT
f=5
TT=80.657
T1=53.19
 OPTIMUM
f=5
TT=80.657
T1=59.19
 OPTIMUM
f=5
TT=391.358
T1=53.19
 MSAT (TO)
f=6
TT=1800.05
T1=1746.12
 OPTIMUM
f=5
TT=528.322
T1=528.21
Bench nameBest resultsclasp
2.0-RC2
(complete)		Sat4j Resolution
2011-06-08
(complete)		SCIP spx
SCIP 2.0.1.4. with SoPlex 1.5.0.4
(complete)		wbo
1.6
(complete)
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/
namasivayam/tsp/
normalized-t3002.11tsp11.1900571132--soft-0-100-0.wbo 		MOPT
f=1
TT=79.208
T1=13.98
 OPTIMUM
f=1
TT=79.208
T1=79.09
 OPTIMUM
f=1
TT=409.077
T1=13.98
 MSAT (TO)
f=1
TT=1800.07
T1=416.4
 OPTIMUM
f=1
TT=176.519
T1=176.4
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/
namasivayam/tsp/
normalized-t3002.11tsp11.1900571761--soft-0-100-0.wbo 		MOPT
f=2
TT=170.65
T1=43.65
 OPTIMUM
f=2
TT=170.65
T1=159.05
 OPTIMUM
f=2
TT=538.583
T1=43.65
 ? (TO)

TT=1800.1

 OPTIMUM
f=2
TT=420.101
T1=420
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/
namasivayam/tsp/
normalized-t3002.11tsp11.1900573137--soft-0-100-0.wbo 		MOPT
f=1
TT=112.728
T1=6.95
 OPTIMUM
f=1
TT=112.728
T1=112.69
 OPTIMUM
f=1
TT=498.512
T1=6.95
 ? (TO)

TT=1800.05

 OPTIMUM
f=1
TT=171.047
T1=170.99
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/
namasivayam/tsp/
normalized-t3002.11tsp11.1900573901--soft-0-100-0.wbo 		MOPT
f=1
TT=129.419
T1=33.26
 OPTIMUM
f=1
TT=133.991
T1=133.69
 OPTIMUM
f=1
TT=408.676
T1=33.26
 MSAT
f=1
TT=1800.08
T1=587.18
 OPTIMUM
f=1
TT=129.419
T1=129.39
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/
namasivayam/tsp/
normalized-t3002.11tsp11.1900574864--soft-0-100-0.wbo 		MOPT
f=1
TT=36.127
T1=8.01
 OPTIMUM
f=1
TT=36.127
T1=35.99
 OPTIMUM
f=1
TT=325.812
T1=8.01
 OPTIMUM
f=1
TT=1513.61
T1=133.2
 OPTIMUM
f=1
TT=93.26
T1=93.19
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/
namasivayam/tsp/
normalized-t3002.11tsp11.1900575442--soft-0-100-0.wbo 		MOPT
f=1
TT=31.108
T1=7.33
 OPTIMUM
f=1
TT=31.108
T1=31.09
 OPTIMUM
f=1
TT=162.491
T1=7.33
 ? (TO)

TT=1800.08

 OPTIMUM
f=1
TT=104.197
T1=104.09
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/
namasivayam/tsp/
normalized-t3002.11tsp11.1900576151--soft-0-100-0.wbo 		MOPT
f=1
TT=119.316
T1=5.45
 OPTIMUM
f=1
TT=119.316
T1=119.29
 OPTIMUM
f=1
TT=805.785
T1=5.45
 ? (TO)

TT=1800.07

 OPTIMUM
f=1
TT=206.942
T1=206.9
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/
namasivayam/tsp/
normalized-t3002.11tsp11.1900576360--soft-0-100-0.wbo 		MOPT
f=2
TT=119.676
T1=99.91
 OPTIMUM
f=2
TT=119.676
T1=103.48
 OPTIMUM
f=2
TT=260.66
T1=99.91
 MSAT (TO)
f=2
TT=1800.13
T1=352
 OPTIMUM
f=2
TT=276.689
T1=276.6
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/
namasivayam/tsp/
normalized-t3002.11tsp11.1900576927--soft-0-100-0.wbo 		MOPT
f=1
TT=130.802
T1=8.21
 OPTIMUM
f=1
TT=130.802
T1=130.69
 OPTIMUM
f=1
TT=577.773
T1=8.21
 ? (TO)

TT=1800.06

 OPTIMUM
f=1
TT=249.439
T1=249.39
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/
namasivayam/tsp/
normalized-t3002.11tsp11.1900577940--soft-0-100-0.wbo 		MOPT
f=1
TT=179.526
T1=9.31
 OPTIMUM
f=1
TT=179.526
T1=179.49
 OPTIMUM
f=1
TT=546.974
T1=9.31
 MSAT (TO)
f=1
TT=1800.16
T1=417.6
 OPTIMUM
f=1
TT=384.434
T1=384.3
Bench nameBest resultsclasp
2.0-RC2
(complete)		Sat4j Resolution
2011-06-08
(complete)		SCIP spx
SCIP 2.0.1.4. with SoPlex 1.5.0.4
(complete)		wbo
1.6
(complete)
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/
namasivayam/tsp/
normalized-t3002.11tsp11.1900579996--soft-0-100-0.wbo 		MOPT
f=1
TT=201.797
T1=7.97
 OPTIMUM
f=1
TT=201.797
T1=201.7
 OPTIMUM
f=1
TT=560.471
T1=7.97
 ? (TO)

TT=1800.06

 OPTIMUM
f=1
TT=291.068
T1=291
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/
namasivayam/tsp/
normalized-t3002.11tsp11.1900581320--soft-0-100-0.wbo 		MOPT
f=1
TT=69.427
T1=4.29
 OPTIMUM
f=1
TT=69.427
T1=69.39
 OPTIMUM
f=1
TT=506.925
T1=4.29
 ? (TO)

TT=1800.06

 OPTIMUM
f=1
TT=195.638
T1=195.59
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/
namasivayam/tsp/
normalized-t3002.11tsp11.1900582300--soft-0-100-0.wbo 		MOPT
f=1
TT=71.097
T1=12.9
 OPTIMUM
f=1
TT=71.097
T1=71
 OPTIMUM
f=1
TT=527.012
T1=12.9
 MSAT (TO)
f=1
TT=1800.16
T1=380.6
 OPTIMUM
f=1
TT=326.872
T1=326.8
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/
namasivayam/tsp/
normalized-t3002.11tsp11.1900583053--soft-0-100-0.wbo 		MOPT
f=1
TT=102.059
T1=9.66
 OPTIMUM
f=1
TT=102.059
T1=101.99
 OPTIMUM
f=1
TT=855.655
T1=9.66
 ? (TO)

TT=1800.05

 OPTIMUM
f=1
TT=273.733
T1=273.7
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/
namasivayam/tsp/
normalized-t3002.11tsp11.1900584106--soft-0-100-0.wbo 		MOPT
f=7
TT=114.135
T1=31.63
 OPTIMUM
f=7
TT=114.135
T1=74.29
 OPTIMUM
f=7
TT=605.748
T1=31.63
 ? (TO)

TT=1800.07

 OPTIMUM
f=7
TT=1194.56
T1=1194.43
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/
namasivayam/tsp/
normalized-t3002.11tsp11.1900584219--soft-0-100-0.wbo 		MOPT
f=2
TT=104.093
T1=36.33
 OPTIMUM
f=2
TT=104.093
T1=92.99
 OPTIMUM
f=2
TT=258.172
T1=36.33
 ? (TO)

TT=1800.07

 OPTIMUM
f=2
TT=384.764
T1=384.7
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/
namasivayam/tsp/
normalized-t3002.11tsp11.1900667195--soft-0-100-0.wbo 		MOPT
f=1
TT=109.938
T1=6.24
 OPTIMUM
f=1
TT=109.938
T1=109.9
 OPTIMUM
f=1
TT=762.739
T1=6.24
 MSAT (TO)
f=1
TT=1800.07
T1=540.21
 OPTIMUM
f=1
TT=163.492
T1=163.39
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/
namasivayam/tsp/
normalized-t3002.11tsp11.1900669797--soft-0-100-0.wbo 		MOPT
f=1
TT=65.911
T1=44.85
 OPTIMUM
f=1
TT=65.911
T1=65.89
 OPTIMUM
f=1
TT=503.819
T1=44.85
 MSAT (TO)
f=1
TT=1800.14
T1=672.02
 OPTIMUM
f=1
TT=135.989
T1=135.89
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/
namasivayam/tsp/
normalized-t3002.11tsp11.1900670167--soft-0-100-0.wbo 		MOPT
f=1
TT=61.491
T1=23.78
 OPTIMUM
f=1
TT=61.491
T1=61.4
 OPTIMUM
f=1
TT=175.739
T1=23.78
 ? (TO)

TT=1800.05

 OPTIMUM
f=1
TT=266.466
T1=266.4
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/
namasivayam/tsp/
normalized-t3002.11tsp11.1900670234--soft-0-100-0.wbo 		MOPT
f=1
TT=211.292
T1=15.19
 OPTIMUM
f=1
TT=211.292
T1=210.59
 OPTIMUM
f=1
TT=1219.16
T1=15.19
 MSAT (TO)
f=1
TT=1800.06
T1=844.71
 OPTIMUM
f=1
TT=350.702
T1=350.6
Bench nameBest resultsclasp
2.0-RC2
(complete)		Sat4j Resolution
2011-06-08
(complete)		SCIP spx
SCIP 2.0.1.4. with SoPlex 1.5.0.4
(complete)		wbo
1.6
(complete)
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/
namasivayam/tsp/
normalized-t3002.11tsp11.1900670675--soft-0-100-0.wbo 		MOPT
f=2
TT=52.01
T1=7.99
 OPTIMUM
f=2
TT=52.01
T1=40.99
 OPTIMUM
f=2
TT=237.092
T1=7.99
 MSAT (TO)
f=2
TT=1800.11
T1=97.49
 OPTIMUM
f=2
TT=184.59
T1=184.49
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110966483--soft-0-100-0.wbo 		MOPT
f=19
TT=1.301
T1=1.19
 OPTIMUM
f=19
TT=32.23
T1=31.4
 OPTIMUM
f=19
TT=179.518
T1=171.4
 OPTIMUM
f=19
TT=1.301
T1=1.19
 OPTIMUM
f=19
TT=78.08
T1=78
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110966688--soft-0-100-0.wbo 		MOPT
f=9
TT=2.987
T1=2.89
 OPTIMUM
f=9
TT=3.932
T1=3.49
 OPTIMUM
f=9
TT=45.465
T1=45.18
 OPTIMUM
f=9
TT=2.987
T1=2.89
 OPTIMUM
f=9
TT=17.945
T1=17.89
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110967142--soft-0-100-0.wbo 		MOPT
f=9
TT=2.933
T1=2.29
 OPTIMUM
f=9
TT=7.111
T1=6.09
 OPTIMUM
f=9
TT=32.803
T1=22.93
 OPTIMUM
f=9
TT=2.933
T1=2.29
 OPTIMUM
f=9
TT=67.835
T1=67.8
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110967523--soft-0-100-0.wbo 		MOPT
f=3
TT=3.921
T1=3.3
 OPTIMUM
f=3
TT=4.186
T1=3.3
 OPTIMUM
f=3
TT=45.121
T1=37.3
 OPTIMUM
f=3
TT=3.921
T1=3.59
 OPTIMUM
f=3
TT=16.528
T1=16.5
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110967729--soft-0-100-0.wbo 		MOPT
f=10
TT=2.77
T1=2.49
 OPTIMUM
f=10
TT=14.855
T1=13.79
 OPTIMUM
f=10
TT=38.57
T1=38.51
 OPTIMUM
f=10
TT=2.77
T1=2.49
 OPTIMUM
f=10
TT=45.623
T1=45.59
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110968094--soft-0-100-0.wbo 		MOPT
f=9
TT=4.002
T1=3.49
 OPTIMUM
f=9
TT=4.002
T1=3.49
 OPTIMUM
f=9
TT=58.705
T1=54.58
 OPTIMUM
f=9
TT=4.942
T1=4.69
 OPTIMUM
f=9
TT=36.672
T1=36.59
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110968561--soft-0-100-0.wbo 		MOPT
f=3
TT=2.58
T1=2.39
 OPTIMUM
f=3
TT=4.51
T1=4.49
 OPTIMUM
f=3
TT=82.809
T1=81.51
 OPTIMUM
f=3
TT=2.58
T1=2.39
 OPTIMUM
f=3
TT=19.162
T1=19.1
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110968898--soft-0-100-0.wbo 		MOPT
f=3
TT=1.698
T1=1.59
 OPTIMUM
f=3
TT=5.253
T1=3.79
 OPTIMUM
f=3
TT=109.84
T1=103.35
 OPTIMUM
f=3
TT=1.698
T1=1.59
 OPTIMUM
f=3
TT=15.771
T1=15.68
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110969170--soft-0-100-0.wbo 		MOPT
f=17
TT=1.681
T1=1.59
 OPTIMUM
f=17
TT=20.637
T1=17.7
 OPTIMUM
f=17
TT=87.161
T1=79.99
 OPTIMUM
f=17
TT=1.681
T1=1.59
 ? (TO)

TT=1800.08
Bench nameBest resultsclasp
2.0-RC2
(complete)		Sat4j Resolution
2011-06-08
(complete)		SCIP spx
SCIP 2.0.1.4. with SoPlex 1.5.0.4
(complete)		wbo
1.6
(complete)
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110969577--soft-0-100-0.wbo 		MOPT
f=4
TT=1.797
T1=1.69
 OPTIMUM
f=4
TT=4.503
T1=4.49
 OPTIMUM
f=4
TT=234.056
T1=233.26
 OPTIMUM
f=4
TT=1.797
T1=1.69
 OPTIMUM
f=4
TT=21.919
T1=21.89
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110969860--soft-0-100-0.wbo 		MOPT
f=1
TT=2.58
T1=2.49
 OPTIMUM
f=1
TT=2.58
T1=2.5
 OPTIMUM
f=1
TT=59.339
T1=56.47
 OPTIMUM
f=1
TT=2.618
T1=2.49
 OPTIMUM
f=1
TT=7.06
T1=6.99
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110970444--soft-0-100-0.wbo 		MOPT
f=8
TT=2.887
T1=2.7
 OPTIMUM
f=8
TT=13.935
T1=13.4
 OPTIMUM
f=8
TT=45.407
T1=40.04
 OPTIMUM
f=8
TT=2.887
T1=2.7
 OPTIMUM
f=8
TT=56.49
T1=56.39
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110970631--soft-0-100-0.wbo 		MOPT
f=16
TT=3.225
T1=3.19
 OPTIMUM
f=16
TT=26.909
T1=23.89
 OPTIMUM
f=16
TT=187.936
T1=179.27
 OPTIMUM
f=16
TT=3.225
T1=3.19
 ? (TO)

TT=1800.07
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110971363--soft-0-100-0.wbo 		MOPT
f=4
TT=1.792
T1=1.69
 OPTIMUM
f=4
TT=6.172
T1=5.09
 OPTIMUM
f=4
TT=87.759
T1=85.63
 OPTIMUM
f=4
TT=1.792
T1=1.69
 OPTIMUM
f=4
TT=30.874
T1=30.79
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110971697--soft-0-100-0.wbo 		MOPT
f=1
TT=1.89
T1=1.8
 OPTIMUM
f=1
TT=1.89
T1=1.8
 OPTIMUM
f=1
TT=20.764
T1=18.62
 OPTIMUM
f=1
TT=2.613
T1=2.49
 OPTIMUM
f=1
TT=5.426
T1=5.4
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110972154--soft-0-100-0.wbo 		MOPT
f=1
TT=2.587
T1=2.49
 OPTIMUM
f=1
TT=3.378
T1=3.3
 OPTIMUM
f=1
TT=41.417
T1=41.33
 OPTIMUM
f=1
TT=2.587
T1=2.49
 OPTIMUM
f=1
TT=4.553
T1=4.49
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110972763--soft-0-100-0.wbo 		MOPT
f=1
TT=2.994
T1=2.9
 OPTIMUM
f=1
TT=2.994
T1=2.9
 OPTIMUM
f=1
TT=41.682
T1=39.4
 OPTIMUM
f=1
TT=3.415
T1=3.29
 OPTIMUM
f=1
TT=7.643
T1=7.59
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110973163--soft-0-100-0.wbo 		MOPT
f=16
TT=2.377
T1=2.19
 OPTIMUM
f=16
TT=27.275
T1=24.29
 OPTIMUM
f=16
TT=131.677
T1=119.99
 OPTIMUM
f=16
TT=2.377
T1=2.19
 ? (TO)

TT=1800.07
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110973364--soft-0-100-0.wbo 		MOPT
f=2
TT=2.109
T1=1.99
 OPTIMUM
f=2
TT=3.066
T1=3
 OPTIMUM
f=2
TT=21.698
T1=17.36
 OPTIMUM
f=2
TT=2.109
T1=1.99
 OPTIMUM
f=2
TT=6.121
T1=6.09
Bench nameBest resultsclasp
2.0-RC2
(complete)		Sat4j Resolution
2011-06-08
(complete)		SCIP spx
SCIP 2.0.1.4. with SoPlex 1.5.0.4
(complete)		wbo
1.6
(complete)
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110973670--soft-0-100-0.wbo 		MOPT
f=1
TT=1.879
T1=1.79
 OPTIMUM
f=1
TT=1.879
T1=1.79
 OPTIMUM
f=1
TT=46.68
T1=46.56
 OPTIMUM
f=1
TT=3.66
T1=3.59
 OPTIMUM
f=1
TT=5.394
T1=5.29
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110974180--soft-0-100-0.wbo 		MOPT
f=1
TT=1.817
T1=1.79
 OPTIMUM
f=1
TT=1.817
T1=1.79
 OPTIMUM
f=1
TT=60.562
T1=60.45
 OPTIMUM
f=1
TT=2.237
T1=2.09
 OPTIMUM
f=1
TT=11.836
T1=11.79
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110974372--soft-0-100-0.wbo 		MOPT
f=36
TT=1.785
T1=1.69
 OPTIMUM
f=36
TT=29.226
T1=25.99
 OPTIMUM
f=36
TT=171.299
T1=158.03
 OPTIMUM
f=36
TT=1.785
T1=1.69
 ? (TO)

TT=1800.05
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110975607--soft-0-100-0.wbo 		MOPT
f=9
TT=4.03
T1=3.7
 OPTIMUM
f=9
TT=4.432
T1=3.7
 OPTIMUM
f=9
TT=49.75
T1=43.35
 OPTIMUM
f=9
TT=4.03
T1=3.99
 OPTIMUM
f=9
TT=18.811
T1=18.79
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110975965--soft-0-100-0.wbo 		MOPT
f=1
TT=2.931
T1=2.7
 OPTIMUM
f=1
TT=3.265
T1=3.2
 OPTIMUM
f=1
TT=25.836
T1=21.58
 OPTIMUM
f=1
TT=2.931
T1=2.7
 OPTIMUM
f=1
TT=8.805
T1=8.69
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110976157--soft-0-100-0.wbo 		MOPT
f=9
TT=1.587
T1=1.49
 OPTIMUM
f=9
TT=16.046
T1=14.2
 OPTIMUM
f=9
TT=79.095
T1=75.54
 OPTIMUM
f=9
TT=1.587
T1=1.49
 OPTIMUM
f=9
TT=34.804
T1=34.79
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110976730--soft-0-100-0.wbo 		MOPT
f=10
TT=2.947
T1=2.59
 OPTIMUM
f=10
TT=19.757
T1=15.89
 OPTIMUM
f=10
TT=44.866
T1=26.21
 OPTIMUM
f=10
TT=2.947
T1=2.59
 OPTIMUM
f=10
TT=158.487
T1=158.39
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110976935--soft-0-100-0.wbo 		MOPT
f=2
TT=1.2
T1=1.1
 OPTIMUM
f=2
TT=2.32
T1=2.3
 OPTIMUM
f=2
TT=81.96
T1=78.51
 OPTIMUM
f=2
TT=1.2
T1=1.1
 OPTIMUM
f=2
TT=8.485
T1=8.4
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110977273--soft-0-100-0.wbo 		MOPT
f=1
TT=2.339
T1=2.2
 OPTIMUM
f=1
TT=2.54
T1=2.49
 OPTIMUM
f=1
TT=68.274
T1=68.19
 OPTIMUM
f=1
TT=2.339
T1=2.2
 OPTIMUM
f=1
TT=5.549
T1=5.5
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110977780--soft-0-100-0.wbo 		MOPT
f=10
TT=1.614
T1=1.59
 OPTIMUM
f=10
TT=28.287
T1=28.19
 OPTIMUM
f=10
TT=79.606
T1=79.49
 OPTIMUM
f=10
TT=1.614
T1=1.59
 OPTIMUM
f=10
TT=38.861
T1=38.79
Bench nameBest resultsclasp
2.0-RC2
(complete)		Sat4j Resolution
2011-06-08
(complete)		SCIP spx
SCIP 2.0.1.4. with SoPlex 1.5.0.4
(complete)		wbo
1.6
(complete)
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110978113--soft-0-100-0.wbo 		MOPT
f=9
TT=2.527
T1=2.19
 OPTIMUM
f=9
TT=5.301
T1=4.2
 OPTIMUM
f=9
TT=41.149
T1=35.8
 OPTIMUM
f=9
TT=2.527
T1=2.19
 OPTIMUM
f=9
TT=50.918
T1=50.89
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110978334--soft-0-100-0.wbo 		MOPT
f=9
TT=4.092
T1=2.89
 OPTIMUM
f=9
TT=4.092
T1=2.89
 OPTIMUM
f=9
TT=108.516
T1=94.99
 OPTIMUM
f=9
TT=5.237
T1=5.19
 OPTIMUM
f=9
TT=52.242
T1=52.19
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111212272--soft-0-100-0.wbo 		MOPT
f=5
TT=2.884
T1=2.79
 OPTIMUM
f=5
TT=2.884
T1=2.79
 OPTIMUM
f=5
TT=65.06
T1=58.61
 OPTIMUM
f=5
TT=3.093
T1=2.99
 OPTIMUM
f=5
TT=20.587
T1=20.49
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111212476--soft-0-100-0.wbo 		MOPT
f=2
TT=2.7
T1=2.49
 OPTIMUM
f=2
TT=4.266
T1=4.19
 OPTIMUM
f=2
TT=30.074
T1=17.64
 OPTIMUM
f=2
TT=2.7
T1=2.49
 OPTIMUM
f=2
TT=18.524
T1=18.49
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111212923--soft-0-100-0.wbo 		MOPT
f=3
TT=3.461
T1=3.4
 OPTIMUM
f=3
TT=4.312
T1=4.3
 OPTIMUM
f=3
TT=33.301
T1=29.71
 OPTIMUM
f=3
TT=3.461
T1=3.4
 OPTIMUM
f=3
TT=14.911
T1=14.89
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111213670--soft-0-100-0.wbo 		MOPT
f=10
TT=2.059
T1=1.99
 OPTIMUM
f=10
TT=17.131
T1=13.99
 OPTIMUM
f=10
TT=80.555
T1=71.5
 OPTIMUM
f=10
TT=2.059
T1=1.99
 OPTIMUM
f=10
TT=65.581
T1=65.49
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111213868--soft-0-100-0.wbo 		MOPT
f=2
TT=2.637
T1=2.39
 OPTIMUM
f=2
TT=3.818
T1=3.8
 OPTIMUM
f=2
TT=89.989
T1=84.76
 OPTIMUM
f=2
TT=2.637
T1=2.39
 OPTIMUM
f=2
TT=10.341
T1=10.29
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111216411--soft-0-100-0.wbo 		MOPT
f=2
TT=2.668
T1=2.59
 OPTIMUM
f=2
TT=3.472
T1=3.4
 OPTIMUM
f=2
TT=52.251
T1=46.61
 OPTIMUM
f=2
TT=2.668
T1=2.59
 OPTIMUM
f=2
TT=21.99
T1=21.9
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111216823--soft-0-100-0.wbo 		MOPT
f=1
TT=1.493
T1=1.39
 OPTIMUM
f=1
TT=1.493
T1=1.39
 OPTIMUM
f=1
TT=37.938
T1=37.85
 OPTIMUM
f=1
TT=4.541
T1=4.49
 OPTIMUM
f=1
TT=5.503
T1=5.4
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111217392--soft-0-100-0.wbo 		MOPT
f=2
TT=2.55
T1=2.5
 OPTIMUM
f=2
TT=2.55
T1=2.5
 OPTIMUM
f=2
TT=86.857
T1=86.73
 OPTIMUM
f=2
TT=3.069
T1=2.89
 OPTIMUM
f=2
TT=12.769
T1=12.69
Bench nameBest resultsclasp
2.0-RC2
(complete)		Sat4j Resolution
2011-06-08
(complete)		SCIP spx
SCIP 2.0.1.4. with SoPlex 1.5.0.4
(complete)		wbo
1.6
(complete)
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111217555--soft-0-100-0.wbo 		MOPT
f=1
TT=3.028
T1=3
 OPTIMUM
f=1
TT=3.028
T1=3
 OPTIMUM
f=1
TT=39.622
T1=39.57
 OPTIMUM
f=1
TT=4.571
T1=4.49
 OPTIMUM
f=1
TT=9.187
T1=9.09
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111218024--soft-0-100-0.wbo 		MOPT
f=10
TT=1.17
T1=1.1
 OPTIMUM
f=10
TT=25.362
T1=25.3
 OPTIMUM
f=10
TT=68.102
T1=68.02
 OPTIMUM
f=10
TT=1.17
T1=1.1
 OPTIMUM
f=10
TT=131.549
T1=131.49
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111218308--soft-0-100-0.wbo 		MOPT
f=1
TT=2.667
T1=2.49
 OPTIMUM
f=1
TT=4.13
T1=4.1
 OPTIMUM
f=1
TT=83.639
T1=77.56
 OPTIMUM
f=1
TT=2.667
T1=2.49
 OPTIMUM
f=1
TT=11.223
T1=11.19
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111218757--soft-0-100-0.wbo 		MOPT
f=20
TT=1.858
T1=1.69
 OPTIMUM
f=20
TT=12.923
T1=11.6
 OPTIMUM
f=20
TT=98.685
T1=91.23
 OPTIMUM
f=20
TT=1.858
T1=1.69
 ? (TO)

TT=1800.07
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111218955--soft-0-100-0.wbo 		MOPT
f=9
TT=3.89
T1=3.79
 OPTIMUM
f=9
TT=4.327
T1=3.79
 OPTIMUM
f=9
TT=59.355
T1=58.01
 OPTIMUM
f=9
TT=3.89
T1=3.79
 OPTIMUM
f=9
TT=25.149
T1=25.09
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111219348--soft-0-100-0.wbo 		MOPT
f=2
TT=2.484
T1=2.39
 OPTIMUM
f=2
TT=3.31
T1=3.3
 OPTIMUM
f=2
TT=19.079
T1=18.84
 OPTIMUM
f=2
TT=2.484
T1=2.39
 OPTIMUM
f=2
TT=12.614
T1=12.59
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111219799--soft-0-100-0.wbo 		MOPT
f=9
TT=2.631
T1=2.49
 OPTIMUM
f=9
TT=4.193
T1=3.7
 OPTIMUM
f=9
TT=49.316
T1=48.6
 OPTIMUM
f=9
TT=2.631
T1=2.49
 OPTIMUM
f=9
TT=31.501
T1=31.39
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111220019--soft-0-100-0.wbo 		MOPT
f=2
TT=2.676
T1=2.59
 OPTIMUM
f=2
TT=4.271
T1=4.19
 OPTIMUM
f=2
TT=43.364
T1=40.46
 OPTIMUM
f=2
TT=2.676
T1=2.59
 OPTIMUM
f=2
TT=12.132
T1=12.1
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111220546--soft-0-100-0.wbo 		MOPT
f=2
TT=2.522
T1=2.39
 OPTIMUM
f=2
TT=2.607
T1=2.59
 OPTIMUM
f=2
TT=37.238
T1=36.74
 OPTIMUM
f=2
TT=2.522
T1=2.39
 OPTIMUM
f=2
TT=17.903
T1=17.89
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111220767--soft-0-100-0.wbo 		MOPT
f=3
TT=3.043
T1=2.89
 OPTIMUM
f=3
TT=5.705
T1=3.9
 OPTIMUM
f=3
TT=30.557
T1=21.03
 OPTIMUM
f=3
TT=3.043
T1=2.89
 OPTIMUM
f=3
TT=36.039
T1=35.99
Bench nameBest resultsclasp
2.0-RC2
(complete)		Sat4j Resolution
2011-06-08
(complete)		SCIP spx
SCIP 2.0.1.4. with SoPlex 1.5.0.4
(complete)		wbo
1.6
(complete)
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111221203--soft-0-100-0.wbo 		MOPT
f=1
TT=2.536
T1=2.49
 OPTIMUM
f=1
TT=2.536
T1=2.49
 OPTIMUM
f=1
TT=65.23
T1=65.18
 OPTIMUM
f=1
TT=3.387
T1=3.19
 OPTIMUM
f=1
TT=4.482
T1=4.39
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111221624--soft-0-100-0.wbo 		MOPT
f=2
TT=2.444
T1=2.29
 OPTIMUM
f=2
TT=5.175
T1=5.09
 OPTIMUM
f=2
TT=25.057
T1=21.23
 OPTIMUM
f=2
TT=2.444
T1=2.29
 OPTIMUM
f=2
TT=14.391
T1=14.3
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111222257--soft-0-100-0.wbo 		MOPT
f=3
TT=3.759
T1=3.69
 OPTIMUM
f=3
TT=4.332
T1=4.3
 OPTIMUM
f=3
TT=75.454
T1=74.21
 OPTIMUM
f=3
TT=3.759
T1=3.69
 OPTIMUM
f=3
TT=22.097
T1=21.99
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111222539--soft-0-100-0.wbo 		MOPT
f=2
TT=2.202
T1=2.09
 OPTIMUM
f=2
TT=3.587
T1=3.5
 OPTIMUM
f=2
TT=30.949
T1=26.56
 OPTIMUM
f=2
TT=2.202
T1=2.09
 OPTIMUM
f=2
TT=15.221
T1=15.19
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111223004--soft-0-100-0.wbo 		MOPT
f=1
TT=1.92
T1=1.9
 OPTIMUM
f=1
TT=1.92
T1=1.9
 OPTIMUM
f=1
TT=28.54
T1=26.45
 OPTIMUM
f=1
TT=5.016
T1=4.79
 OPTIMUM
f=1
TT=7.904
T1=7.89
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111223220--soft-0-100-0.wbo 		MOPT
f=1
TT=2.513
T1=2.49
 OPTIMUM
f=1
TT=2.513
T1=2.49
 OPTIMUM
f=1
TT=75.196
T1=75.09
 OPTIMUM
f=1
TT=3.925
T1=3.89
 OPTIMUM
f=1
TT=7.816
T1=7.79
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111224059--soft-0-100-0.wbo 		MOPT
f=9
TT=2.191
T1=2.09
 OPTIMUM
f=9
TT=7.395
T1=5.6
 OPTIMUM
f=9
TT=81.872
T1=81.65
 OPTIMUM
f=9
TT=2.191
T1=2.09
 OPTIMUM
f=9
TT=30.742
T1=30.69
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111224255--soft-0-100-0.wbo 		MOPT
f=1
TT=1.93
T1=1.9
 OPTIMUM
f=1
TT=1.93
T1=1.9
 OPTIMUM
f=1
TT=37.16
T1=37.11
 OPTIMUM
f=1
TT=3.727
T1=3.49
 OPTIMUM
f=1
TT=5.496
T1=5.4
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111224451--soft-0-100-0.wbo 		MOPT
f=9
TT=3.648
T1=3.49
 OPTIMUM
f=9
TT=4.646
T1=4.1
 OPTIMUM
f=9
TT=53.781
T1=50.25
 OPTIMUM
f=9
TT=3.648
T1=3.49
 OPTIMUM
f=9
TT=25.692
T1=25.59
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111224929--soft-0-100-0.wbo 		MOPT
f=8
TT=3.034
T1=2.99
 OPTIMUM
f=8
TT=11.205
T1=9.59
 OPTIMUM
f=8
TT=58.141
T1=52.98
 OPTIMUM
f=8
TT=3.034
T1=2.99
 OPTIMUM
f=8
TT=41.836
T1=41.8
Bench nameBest resultsclasp
2.0-RC2
(complete)		Sat4j Resolution
2011-06-08
(complete)		SCIP spx
SCIP 2.0.1.4. with SoPlex 1.5.0.4
(complete)		wbo
1.6
(complete)
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111225122--soft-0-100-0.wbo 		MOPT
f=2
TT=2.467
T1=2.4
 OPTIMUM
f=2
TT=2.467
T1=2.4
 OPTIMUM
f=2
TT=102.092
T1=101.99
 OPTIMUM
f=2
TT=2.596
T1=2.49
 OPTIMUM
f=2
TT=10.048
T1=9.99
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111225605--soft-0-100-0.wbo 		MOPT
f=2
TT=2.057
T1=1.99
 OPTIMUM
f=2
TT=3.501
T1=3.39
 OPTIMUM
f=2
TT=55.537
T1=55.46
 OPTIMUM
f=2
TT=2.057
T1=1.99
 OPTIMUM
f=2
TT=12.104
T1=12
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111226062--soft-0-100-0.wbo 		MOPT
f=3
TT=3.507
T1=3.39
 OPTIMUM
f=3
TT=3.878
T1=3.79
 OPTIMUM
f=3
TT=42.602
T1=41.98
 OPTIMUM
f=3
TT=3.507
T1=3.39
 OPTIMUM
f=3
TT=10.119
T1=10.09
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111226368--soft-0-100-0.wbo 		MOPT
f=1
TT=1.277
T1=1.2
 OPTIMUM
f=1
TT=1.277
T1=1.2
 OPTIMUM
f=1
TT=70.103
T1=70
 OPTIMUM
f=1
TT=2.002
T1=1.89
 OPTIMUM
f=1
TT=3.196
T1=3.09
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111226680--soft-0-100-0.wbo 		MOPT
f=3
TT=3.471
T1=3.29
 OPTIMUM
f=3
TT=6.128
T1=4.99
 OPTIMUM
f=3
TT=28.121
T1=21.58
 OPTIMUM
f=3
TT=3.471
T1=3.29
 OPTIMUM
f=3
TT=12.664
T1=12.59
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111227012--soft-0-100-0.wbo 		MOPT
f=5
TT=2.9
T1=2.79
 OPTIMUM
f=5
TT=6.602
T1=6.5
 OPTIMUM
f=5
TT=125.848
T1=124.48
 OPTIMUM
f=5
TT=2.9
T1=2.79
 OPTIMUM
f=5
TT=25.804
T1=25.79
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111227326--soft-0-100-0.wbo 		MOPT
f=2
TT=1.85
T1=1.8
 OPTIMUM
f=2
TT=1.85
T1=1.8
 OPTIMUM
f=2
TT=32.225
T1=31.45
 OPTIMUM
f=2
TT=2.261
T1=2.19
 OPTIMUM
f=2
TT=5.691
T1=5.59
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111227861--soft-0-100-0.wbo 		MOPT
f=7
TT=2.998
T1=2.79
 OPTIMUM
f=7
TT=12.856
T1=11
 OPTIMUM
f=7
TT=28.342
T1=12.36
 OPTIMUM
f=7
TT=2.998
T1=2.79
 OPTIMUM
f=7
TT=54.935
T1=54.89
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111228076--soft-0-100-0.wbo 		MOPT
f=3
TT=2.925
T1=2.79
 OPTIMUM
f=3
TT=5.159
T1=5.09
 OPTIMUM
f=3
TT=96.814
T1=87.95
 OPTIMUM
f=3
TT=2.925
T1=2.79
 OPTIMUM
f=3
TT=19.74
T1=19.7
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/
roussel/
normalized-pigeon-cardinality-101-100--soft-0-100-0.wbo 		MOPT
f=1
TT=0.883
T1=0.79
 MSAT (TO)
f=4701
TT=1800.05
T1=1362.32
 MSAT (TO)
f=1
TT=1800.15
T1=13.8
 OPTIMUM
f=1
TT=0.883
T1=0.79
 ? (TO)

TT=1800.1
Bench nameBest resultsclasp
2.0-RC2
(complete)		Sat4j Resolution
2011-06-08
(complete)		SCIP spx
SCIP 2.0.1.4. with SoPlex 1.5.0.4
(complete)		wbo
1.6
(complete)
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/
roussel/
normalized-pigeon-cardinality-105-100--soft-0-100-0.wbo 		MOPT
f=1
TT=1.398
T1=1.29
 MSAT (TO)
f=5428
TT=1800.05
T1=1290.71
 MSAT (TO)
f=1
TT=1800.16
T1=19.14
 OPTIMUM
f=1
TT=1.398
T1=1.29
 ? (TO)

TT=1800.09
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/
roussel/
normalized-pigeon-cardinality-11-10--soft-0-100-0.wbo 		MOPT
f=1
TT=0.033
T1=0
 OPTIMUM
f=1
TT=34.795
T1=34.7
 OPTIMUM
f=1
TT=394.499
T1=0.32
 OPTIMUM
f=1
TT=0.033
T1=0
 OPTIMUM
f=1
TT=85.016
T1=85
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/
roussel/
normalized-pigeon-cardinality-15-10--soft-0-100-0.wbo 		MOPT
f=2
TT=0.048
T1=0.01
 OPTIMUM
f=2
TT=64.887
T1=64.8
 OPTIMUM
f=2
TT=408.831
T1=0.6
 OPTIMUM
f=2
TT=0.048
T1=0.01
 OPTIMUM
f=2
TT=899.815
T1=899.72
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/
roussel/
normalized-pigeon-cardinality-21-20--soft-0-100-0.wbo 		MOPT
f=1
TT=0.049
T1=0
 MSAT (TO)
f=530
TT=1800.07
T1=1639.54
 MSAT (TO)
f=1
TT=1800.07
T1=0.5
 OPTIMUM
f=1
TT=0.049
T1=0
 ? (TO)

TT=1800.1
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/
roussel/
normalized-pigeon-cardinality-25-20--soft-0-100-0.wbo 		MOPT
f=4
TT=0.055
T1=0
 MSAT (TO)
f=732
TT=1800.05
T1=1673.63
 MSAT (TO)
f=4
TT=1800.11
T1=0.53
 OPTIMUM
f=4
TT=0.055
T1=0
 ? (TO)

TT=1800.09
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/
roussel/
normalized-pigeon-cardinality-31-30--soft-0-100-0.wbo 		MOPT
f=1
TT=0.081
T1=0
 MSAT (TO)
f=1350
TT=1800.05
T1=1457.32
 MSAT (TO)
f=1
TT=1800.09
T1=1.08
 OPTIMUM
f=1
TT=0.081
T1=0
 ? (TO)

TT=1800.06
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/
roussel/
normalized-pigeon-cardinality-35-30--soft-0-100-0.wbo 		MOPT
f=3
TT=0.109
T1=0.01
 MSAT (TO)
f=1609
TT=1800.08
T1=1597.26
 MSAT (TO)
f=3
TT=1800.14
T1=0.85
 OPTIMUM
f=3
TT=0.109
T1=0.01
 ? (TO)

TT=1800.08
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/
roussel/
normalized-pigeon-cardinality-41-40--soft-0-100-0.wbo 		MOPT
f=1
TT=0.132
T1=0.09
 MSAT (TO)
f=2084
TT=1800.06
T1=1709.94
 MSAT (TO)
f=1
TT=1800.1
T1=1.37
 OPTIMUM
f=1
TT=0.132
T1=0.09
 ? (TO)

TT=1800.09
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/
roussel/
normalized-pigeon-cardinality-45-40--soft-0-100-0.wbo 		MOPT
f=3
TT=0.153
T1=0.09
 MSAT (TO)
f=2311
TT=1800.07
T1=1312.23
 MSAT (TO)
f=3
TT=1800.12
T1=1.25
 OPTIMUM
f=3
TT=0.153
T1=0.09
 ? (TO)

TT=1800.07
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/
roussel/
normalized-pigeon-cardinality-51-50--soft-0-100-0.wbo 		MOPT
f=1
TT=0.204
T1=0.09
 MSAT (TO)
f=2701
TT=1800.09
T1=1467.05
 MSAT (TO)
f=1
TT=1800.14
T1=1.51
 OPTIMUM
f=1
TT=0.204
T1=0.09
 ? (TO)

TT=1800.09
Bench nameBest resultsclasp
2.0-RC2
(complete)		Sat4j Resolution
2011-06-08
(complete)		SCIP spx
SCIP 2.0.1.4. with SoPlex 1.5.0.4
(complete)		wbo
1.6
(complete)
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/
roussel/
normalized-pigeon-cardinality-55-50--soft-0-100-0.wbo 		MOPT
f=2
TT=0.278
T1=0.19
 MSAT (TO)
f=2940
TT=1800.05
T1=1636.63
 MSAT (TO)
f=2
TT=1800.11
T1=5.95
 OPTIMUM
f=2
TT=0.278
T1=0.19
 ? (TO)

TT=1800.07
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/
roussel/
normalized-pigeon-cardinality-61-60--soft-0-100-0.wbo 		MOPT
f=1
TT=0.271
T1=0.19
 MSAT (TO)
f=2874
TT=1800.06
T1=1744.65
 MSAT (TO)
f=1
TT=1800.13
T1=1.78
 OPTIMUM
f=1
TT=0.271
T1=0.19
 ? (TO)

TT=1800.08
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/
roussel/
normalized-pigeon-cardinality-65-60--soft-0-100-0.wbo 		MOPT
f=1
TT=0.524
T1=0.49
 MSAT (TO)
f=3080
TT=1800.09
T1=1747.18
 MSAT (TO)
f=1
TT=1800.19
T1=4.17
 OPTIMUM
f=1
TT=0.524
T1=0.49
 ? (TO)

TT=1800.06
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/
roussel/
normalized-pigeon-cardinality-71-70--soft-0-100-0.wbo 		MOPT
f=1
TT=0.373
T1=0.29
 MSAT (TO)
f=3879
TT=1800.06
T1=1228.63
 MSAT (TO)
f=1
TT=1800.2
T1=2.63
 OPTIMUM
f=1
TT=0.373
T1=0.29
 ? (TO)

TT=1800.06
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/
roussel/
normalized-pigeon-cardinality-75-70--soft-0-100-0.wbo 		MOPT
f=1
TT=0.6
T1=0.49
 MSAT (TO)
f=3683
TT=1800.06
T1=1241.43
 MSAT (TO)
f=1
TT=1800.14
T1=3.81
 OPTIMUM
f=1
TT=0.6
T1=0.49
 ? (TO)

TT=1800.11
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/
roussel/
normalized-pigeon-cardinality-81-80--soft-0-100-0.wbo 		MOPT
f=1
TT=0.462
T1=0.39
 MSAT (TO)
f=4506
TT=1800.05
T1=1471.02
 MSAT (TO)
f=1
TT=1800.21
T1=1.54
 OPTIMUM
f=1
TT=0.462
T1=0.39
 ? (TO)

TT=1800.09
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/
roussel/
normalized-pigeon-cardinality-85-80--soft-0-100-0.wbo 		MOPT
f=1
TT=0.727
T1=0.69
 MSAT (TO)
f=3748
TT=1800.07
T1=1481.64
 MSAT (TO)
f=1
TT=1800.2
T1=11.74
 OPTIMUM
f=1
TT=0.727
T1=0.69
 ? (TO)

TT=1800.07
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/
roussel/
normalized-pigeon-cardinality-91-90--soft-0-100-0.wbo 		MOPT
f=1
TT=0.699
T1=0.59
 MSAT (TO)
f=4353
TT=1800.07
T1=1697.64
 MSAT (TO)
f=1
TT=1800.17
T1=3.78
 OPTIMUM
f=1
TT=0.699
T1=0.59
 ? (TO)

TT=1800.08
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/
roussel/
normalized-pigeon-cardinality-95-90--soft-0-100-0.wbo 		MOPT
f=1
TT=1.377
T1=1.29
 MSAT (TO)
f=5046
TT=1800.07
T1=1762.94
 MSAT (TO)
f=1
TT=1800.21
T1=8.6
 OPTIMUM
f=1
TT=1.377
T1=1.29
 ? (TO)

TT=1800.06
/SOFT-SMALLINT-LIN/PB06/web/
uclid_pb_benchmarks/
normalized-22s.smv--soft-0-100-0.wbo 		MOPT
f=1
TT=0.098
T1=0
 OPTIMUM
f=1
TT=1.268
T1=1.19
 OPTIMUM
f=1
TT=4.763
T1=4.62
 ? (TO)

TT=1800.07

 OPTIMUM
f=1
TT=0.098
T1=0
Bench nameBest resultsclasp
2.0-RC2
(complete)		Sat4j Resolution
2011-06-08
(complete)		SCIP spx
SCIP 2.0.1.4. with SoPlex 1.5.0.4
(complete)		wbo
1.6
(complete)
/SOFT-SMALLINT-LIN/PB06/web/
uclid_pb_benchmarks/
normalized-25s.smv--soft-0-100-0.wbo 		MOPT
f=1
TT=0.081
T1=0
 OPTIMUM
f=1
TT=0.355
T1=0.29
 OPTIMUM
f=1
TT=2.569
T1=2.44
 ? (TO)

TT=1800.08

 OPTIMUM
f=1
TT=0.081
T1=0
/SOFT-SMALLINT-LIN/PB06/web/
uclid_pb_benchmarks/
normalized-37s.smv--soft-0-100-0.wbo 		MOPT
f=1
TT=0.017
T1=0
 OPTIMUM
f=1
TT=0.063
T1=0.02
 OPTIMUM
f=1
TT=1.172
T1=0.78
 MSAT (TO)
f=1074
TT=1800.21
T1=50.88
 OPTIMUM
f=1
TT=0.017
T1=0
/SOFT-SMALLINT-LIN/PB06/web/
uclid_pb_benchmarks/
normalized-43s.smv--soft-0-100-0.wbo 		MOPT
f=1
TT=0.168
T1=0.09
 OPTIMUM
f=1
TT=1.351
T1=1.1
 OPTIMUM
f=1
TT=5.257
T1=5.08
 MSAT (TO)
f=13768
TT=1800.24
T1=1800.02
 OPTIMUM
f=1
TT=0.168
T1=0.09
/SOFT-SMALLINT-LIN/PB06/web/
uclid_pb_benchmarks/
normalized-44s.smv--soft-0-100-0.wbo 		MOPT
f=2
TT=0.022
T1=0
 OPTIMUM
f=2
TT=0.029
T1=0
 OPTIMUM
f=2
TT=0.894
T1=0.79
 OPTIMUM
f=2
TT=629.419
T1=629.11
 OPTIMUM
f=2
TT=0.022
T1=0
/SOFT-SMALLINT-LIN/PB06/web/
uclid_pb_benchmarks/
normalized-46s.smv--soft-0-100-0.wbo 		MOPT
f=1
TT=0.03
T1=0
 OPTIMUM
f=1
TT=0.216
T1=0.19
 OPTIMUM
f=1
TT=1.812
T1=1.59
 MSAT (TO)
f=7152
TT=1800.37
T1=1800.05
 OPTIMUM
f=1
TT=0.03
T1=0
/SOFT-SMALLINT-LIN/PB06/web/
uclid_pb_benchmarks/
normalized-blast-floppy1-2.ucl--soft-0-100-0.wbo 		MOPT
f=2
TT=0.013
T1=0
 OPTIMUM
f=2
TT=0.013
T1=0.01
 OPTIMUM
f=2
TT=0.532
T1=0.31
 OPTIMUM
f=2
TT=1.418
T1=1.39
 OPTIMUM
f=2
TT=0.013
T1=0
/SOFT-SMALLINT-LIN/PB06/web/
uclid_pb_benchmarks/
normalized-blast-floppy1-3.ucl--soft-0-100-0.wbo 		MOPT
f=4
TT=0.002
T1=0
 OPTIMUM
f=4
TT=0.005
T1=0
 OPTIMUM
f=4
TT=0.327
T1=0.27
 OPTIMUM
f=4
TT=18.508
T1=18.39
 OPTIMUM
f=4
TT=0.002
T1=0
/SOFT-SMALLINT-LIN/PB06/web/
uclid_pb_benchmarks/
normalized-blast-floppy1-4.ucl--soft-0-100-0.wbo 		MOPT
f=18
TT=0.001
T1=0
 OPTIMUM
f=18
TT=0.004
T1=0
 OPTIMUM
f=18
TT=0.288
T1=0.11
 OPTIMUM
f=18
TT=1.285
T1=1.19
 OPTIMUM
f=18
TT=0.001
T1=0
/SOFT-SMALLINT-LIN/PB06/web/
uclid_pb_benchmarks/
normalized-blast-floppy1-6.ucl--soft-0-100-0.wbo 		MOPT
f=1
TT=0.019
T1=0
 OPTIMUM
f=1
TT=0.075
T1=0
 OPTIMUM
f=1
TT=1.192
T1=1.02
 MSAT (TO)
f=2197
TT=1800.08
T1=232.89
 OPTIMUM
f=1
TT=0.019
T1=0
/SOFT-SMALLINT-LIN/PB06/web/
uclid_pb_benchmarks/
normalized-blast-floppy1-7.ucl--soft-0-100-0.wbo 		MOPT
f=1
TT=0.027
T1=0
 OPTIMUM
f=1
TT=6.916
T1=6.89
 OPTIMUM
f=1
TT=10.437
T1=10.3
 MSAT (TO)
f=6277
TT=1800.17
T1=1800.04
 OPTIMUM
f=1
TT=0.027
T1=0
Bench nameBest resultsclasp
2.0-RC2
(complete)		Sat4j Resolution
2011-06-08
(complete)		SCIP spx
SCIP 2.0.1.4. with SoPlex 1.5.0.4
(complete)		wbo
1.6
(complete)
/SOFT-SMALLINT-LIN/PB06/web/
uclid_pb_benchmarks/
normalized-blast-floppy1-8.ucl--soft-0-100-0.wbo 		MOPT
f=1
TT=0.034
T1=0
 OPTIMUM
f=1
TT=14.144
T1=14.09
 OPTIMUM
f=1
TT=7.004
T1=6.87
 MSAT
f=7436
TT=1799.79
T1=1799.64
 OPTIMUM
f=1
TT=0.034
T1=0
/SOFT-SMALLINT-LIN/PB06/web/
uclid_pb_benchmarks/
normalized-blast-tlan2.ucl--soft-0-100-0.wbo 		MOPT
f=1
TT=0.04
T1=0
 OPTIMUM
f=1
TT=0.448
T1=0.39
 OPTIMUM
f=1
TT=32.925
T1=32.88
 ? (TO)

TT=1800.07

 OPTIMUM
f=1
TT=0.04
T1=0
/SOFT-SMALLINT-LIN/PB06/web/
uclid_pb_benchmarks/
normalized-cache.inv8.ucl--soft-0-100-0.wbo 		MOPT
f=16
TT=0.02
T1=0
 OPTIMUM
f=16
TT=0.043
T1=0.02
 OPTIMUM
f=16
TT=1.261
T1=0.98
 ? (TO)

TT=1800.06

 OPTIMUM
f=16
TT=0.02
T1=0
/SOFT-SMALLINT-LIN/PB06/web/
uclid_pb_benchmarks/
normalized-dlx1c.ucl--soft-0-100-0.wbo 		MOPT
f=1
TT=0.137
T1=0.1
 OPTIMUM
f=1
TT=1.103
T1=0.99
 OPTIMUM
f=1
TT=12.062
T1=11.92
 MSAT (TO)
f=16225
TT=1800.3
T1=1800.06
 OPTIMUM
f=1
TT=0.137
T1=0.1
/SOFT-SMALLINT-LIN/PB06/web/
uclid_pb_benchmarks/
normalized-elf.rf6.ucl--soft-0-100-0.wbo 		MOPT
f=2
TT=0.001
T1=0
 OPTIMUM
f=2
TT=0.001
T1=0
 OPTIMUM
f=2
TT=0.18
T1=0.1
 OPTIMUM
f=2
TT=0.186
T1=0.09
 OPTIMUM
f=2
TT=0.002
T1=0
/SOFT-SMALLINT-LIN/PB06/web/
uclid_pb_benchmarks/
normalized-elf.rf7.ucl--soft-0-100-0.wbo 		MOPT
f=1
TT=0.013
T1=0
 OPTIMUM
f=1
TT=0.038
T1=0.02
 OPTIMUM
f=1
TT=1.094
T1=0.77
 MSAT (TO)
f=1333
TT=1800.22
T1=48.89
 OPTIMUM
f=1
TT=0.013
T1=0
/SOFT-SMALLINT-LIN/PB06/web/
uclid_pb_benchmarks/
normalized-elf.rf8.ucl--soft-0-100-0.wbo 		MOPT
f=1
TT=0.09
T1=0.07
 OPTIMUM
f=1
TT=0.304
T1=0.19
 OPTIMUM
f=1
TT=2.378
T1=2.26
 ? (TO)

TT=1800.07

 OPTIMUM
f=1
TT=0.09
T1=0.07
/SOFT-SMALLINT-LIN/PB06/web/
uclid_pb_benchmarks/
normalized-ooo.burch_dill.2.accl.ucl--soft-0-100-0.wbo 		MOPT
f=1
TT=0.685
T1=0.29
 OPTIMUM
f=1
TT=1.527
T1=0.29
 OPTIMUM
f=1
TT=12.256
T1=12.19
 MSAT (TO)
f=9378
TT=1800.29
T1=1800.04
 OPTIMUM
f=1
TT=0.685
T1=0.58
/SOFT-SMALLINT-LIN/PB06/web/
uclid_pb_benchmarks/
normalized-ooo.burch_dill.3.accl.ucl--soft-0-100-0.wbo 		MOPT
f=1
TT=2.268
T1=2.19
 OPTIMUM
f=1
TT=18.788
T1=18.69
 OPTIMUM
f=1
TT=34.726
T1=29.2
 MSAT (TO)
f=17412
TT=1800.25
T1=1800.06
 OPTIMUM
f=1
TT=2.268
T1=2.19
/SOFT-SMALLINT-LIN/PB06/web/
uclid_pb_benchmarks/
normalized-ooo.burch_dill.4.accl.ucl--soft-0-100-0.wbo 		MOPT
f=1
TT=0.154
T1=0.09
 OPTIMUM
f=1
TT=0.5
T1=0.39
 OPTIMUM
f=1
TT=5.449
T1=5.32
 MSAT (TO)
f=15258
TT=1800.26
T1=1800.05
 OPTIMUM
f=1
TT=0.154
T1=0.09
Bench nameBest resultsclasp
2.0-RC2
(complete)		Sat4j Resolution
2011-06-08
(complete)		SCIP spx
SCIP 2.0.1.4. with SoPlex 1.5.0.4
(complete)		wbo
1.6
(complete)
/SOFT-SMALLINT-LIN/PB06/web/
uclid_pb_benchmarks/
normalized-ooo.rf6.ucl--soft-0-100-0.wbo 		MOPT
f=1
TT=0.03
T1=0
 OPTIMUM
f=1
TT=0.048
T1=0
 OPTIMUM
f=1
TT=1.389
T1=1.24
 ? (TO)

TT=1800.07

 OPTIMUM
f=1
TT=0.03
T1=0
/SOFT-SMALLINT-LIN/PB06/web/
uclid_pb_benchmarks/
normalized-ooo.rf7.ucl--soft-0-100-0.wbo 		MOPT
f=1
TT=0.082
T1=0
 OPTIMUM
f=1
TT=0.259
T1=0.19
 OPTIMUM
f=1
TT=3.436
T1=3.37
 MSAT (TO)
f=5017
TT=1800.23
T1=1800.05
 OPTIMUM
f=1
TT=0.082
T1=0
/SOFT-SMALLINT-LIN/PB06/web/
uclid_pb_benchmarks/
normalized-ooo.rf8.ucl--soft-0-100-0.wbo 		MOPT
f=1
TT=0.294
T1=0.18
 OPTIMUM
f=1
TT=1.217
T1=0.69
 OPTIMUM
f=1
TT=14.611
T1=14.27
 MSAT (TO)
f=17806
TT=1800.34
T1=1800.05
 OPTIMUM
f=1
TT=0.294
T1=0.18
/SOFT-SMALLINT-LIN/PB06/web/
uclid_pb_benchmarks/
normalized-ooo.tag8.ucl--soft-0-100-0.wbo 		MOPT
f=1
TT=1.271
T1=1.19
 OPTIMUM
f=1
TT=3.34
T1=3.2
 OPTIMUM
f=1
TT=4.228
T1=4.14
 MSAT (TO)
f=10366
TT=1800.21
T1=1800.02
 OPTIMUM
f=1
TT=1.271
T1=1.19
/SOFT-SMALLINT-LIN/PB10/
oliveras/j30/
normalized-j301_4-unsat--soft-0-100-0.wbo 		MOPT
f=8
TT=0.04
T1=0
 OPTIMUM
f=8
TT=0.04
T1=0
 OPTIMUM
f=8
TT=1.69
T1=1.45
 MSAT (TO)
f=100991
TT=1800.26
T1=1800.05
 OPTIMUM
f=8
TT=0.044
T1=0.02
/SOFT-SMALLINT-LIN/PB10/
oliveras/j30/
normalized-j3029_8-unsat--soft-0-100-0.wbo 		MOPT
f=2
TT=12.784
T1=12.69
 MSAT (TO)
f=5369
TT=1800.05
T1=0.01
 OPTIMUM
f=2
TT=1165.61
T1=1161.71
 MSAT (TO)
f=132419
TT=1800.25
T1=1800.03
 OPTIMUM
f=2
TT=12.784
T1=12.69
/SOFT-SMALLINT-LIN/PB10/
oliveras/j30/
normalized-j3041_4-unsat--soft-0-100-0.wbo 		MOPT
f=4
TT=0.327
T1=0.29
 OPTIMUM
f=4
TT=88.391
T1=88.3
 OPTIMUM
f=4
TT=21.668
T1=21.54
 ? (TO)

TT=1800.04

 OPTIMUM
f=4
TT=0.327
T1=0.29
/SOFT-SMALLINT-LIN/PB10/
oliveras/j30/
normalized-j3046_4-unsat--soft-0-100-0.wbo 		MOPT
f=1
TT=0.04
T1=0
 OPTIMUM
f=1
TT=0.053
T1=0
 OPTIMUM
f=1
TT=1.926
T1=1.7
 ? (TO)

TT=1800.08

 OPTIMUM
f=1
TT=0.04
T1=0
/SOFT-SMALLINT-LIN/PB10/
oliveras/j30/
normalized-j308_1-unsat--soft-0-100-0.wbo 		MOPT
f=19
TT=0.021
T1=0
 OPTIMUM
f=19
TT=0.026
T1=0
 OPTIMUM
f=19
TT=1.249
T1=1.13
 MSAT (TO)
f=999
TT=1800.21
T1=261.81
 OPTIMUM
f=19
TT=0.021
T1=0
/SOFT-SMALLINT-LIN/PB10/
oliveras/j30/
normalized-j309_10-unsat--soft-0-100-0.wbo 		MOPT
f=1
TT=0.227
T1=0.19
 MSAT (TO)
f=4822
TT=1800.05
T1=0
 OPTIMUM
f=1
TT=58.006
T1=57.86
 MSAT (TO)
f=152331
TT=1800.25
T1=1800.01
 OPTIMUM
f=1
TT=0.227
T1=0.19
Bench nameBest resultsclasp
2.0-RC2
(complete)		Sat4j Resolution
2011-06-08
(complete)		SCIP spx
SCIP 2.0.1.4. with SoPlex 1.5.0.4
(complete)		wbo
1.6
(complete)
/SOFT-SMALLINT-LIN/PB10/
oliveras/j60/
normalized-j602_7-unsat--soft-0-100-0.wbo 		MOPT
f=1
TT=0.05
T1=0.02
 OPTIMUM
f=1
TT=0.067
T1=0.02
 OPTIMUM
f=1
TT=2.035
T1=1.77
 MSAT (TO)
f=163240
TT=1800.32
T1=1800.06
 OPTIMUM
f=1
TT=0.05
T1=0.02



Statisticsclasp
2.0-RC2
(complete)		Sat4j Resolution
2011-06-08
(complete)		SCIP spx
SCIP 2.0.1.4. with SoPlex 1.5.0.4
(complete)		wbo
1.6
(complete)
Number of times the solver is able to give the best known answer163162120160
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)		7429134