PB'10 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:
pb_cplex 2010-07-01 (complete)
PB/CT 0.1 (complete)
PB/CT 0.1 fixed (complete)
SAT4J PB CuttingPlanes 2.2.0 2010-05-26 (complete)
SAT4J PB RES // CP 2.2.0 2010-05-31 (complete)
SAT4J PB Resolution 2.2.0 2010-05-26 (complete)
SAT4J PB Resolution 2.2.1 (complete)
SCIPclp SCIP 1.2.1.2 with Clp 1.11.1 (Release Version) as LP solver (complete)
SCIPclp SCIP 1.2.1.3 with Clp 1.11.1 (Release Version) as LP solver (complete)
SCIPnone SCIP 1.2.1.2 without any LP solver (complete)
SCIPspx SCIP 1.2.1.2 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver (complete)
wbo 1.4a (complete)
wbo 1.4b (complete)

Bench nameBest results
on this
instance		pb_cplex
2010-07-01
(complete)		PB/CT
0.1
(complete)		PB/CT
0.1 fixed
(complete)		SAT4J PB CuttingPlanes
2.2.0 2010-05-26
(complete)		SAT4J PB RES // CP
2.2.0 2010-05-31
(complete)		SAT4J PB Resolution
2.2.0 2010-05-26
(complete)		SAT4J PB Resolution
2.2.1
(complete)		SCIPclp
SCIP 1.2.1.2 with Clp 1.11.1 (Release Version) as LP solver
(complete)		SCIPclp
SCIP 1.2.1.3 with Clp 1.11.1 (Release Version) as LP solver
(complete)		SCIPnone
SCIP 1.2.1.2 without any LP solver
(complete)		SCIPspx
SCIP 1.2.1.2 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver
(complete)		wbo
1.4a
(complete)		wbo
1.4b
(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.029
T1=0.02
 OPTIMUM
f=9
TT=0.031
T1=0.13
 Wrong Opt.
f=23
TT=1309.74
T1=0.55
 OPTIMUM
f=9
TT=990.097
T1=0.02
 Wrong Opt.
f=23
TT=0.263
T1=0.18
 Wrong Opt.
f=23
TT=0.549
T1=2.13
 MSAT (TO)
f=23
TT=1800.12
T1=12.17
 MSAT (TO)
f=9
TT=1800.13
T1=0.67
 OPTIMUM
f=9
TT=0.029
T1=0.02
 OPTIMUM
f=9
TT=0.071
T1=0.06
 MSAT (TO)
f=9
TT=1802.19
T1=58.72
 OPTIMUM
f=9
TT=0.029
T1=0.02
 OPTIMUM
f=9
TT=365.13
T1=365.11
 Wrong UNSAT

TT=127.719
/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.011
T1=0.01
 OPTIMUM
f=6
TT=0.011
T1=0.01
 MSAT (TO)
f=234
TT=1800.05
T1=132.34
 OPTIMUM
f=6
TT=1051.55
T1=0.1
 Wrong Opt.
f=234
TT=0.331
T1=0.21
 Wrong Opt.
f=234
TT=0.621
T1=2.15
 MSAT (TO)
f=335
TT=1800.09
T1=97.94
 MSAT (TO)
f=6
TT=1800.18
T1=662.29
 OPTIMUM
f=6
TT=0.061
T1=0.05
 OPTIMUM
f=6
TT=2.702
T1=2.69
 MSAT (MO)
f=928
TT=1737.15
T1=130.66
 OPTIMUM
f=6
TT=0.061
T1=0.05
 OPTIMUM
f=6
TT=1316.37
T1=1316.29
 Wrong UNSAT

TT=399.168
/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.012
T1=0.05
 OPTIMUM
f=7
TT=0.012
T1=0.05
 MSAT (TO)
f=448
TT=1800.05
T1=1678.51
 MSAT (TO)
f=7
TT=1800.05
T1=0.09
 Wrong Opt.
f=432
TT=0.405
T1=0.24
 Wrong Opt.
f=432
TT=0.878
T1=1.14
 MSAT (TO)
f=564
TT=1800.08
T1=313.72
 MSAT (TO)
f=7
TT=1800.14
T1=54.93
 OPTIMUM
f=7
TT=0.118
T1=0.11
 OPTIMUM
f=7
TT=21.967
T1=21.95
 MSAT (TO)
f=7
TT=1802.13
T1=1369.85
 OPTIMUM
f=7
TT=0.14
T1=0.13
 OPTIMUM
f=7
TT=1500.29
T1=1500.21
 Wrong UNSAT

TT=360.112
/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.052
T1=0.05
 OPTIMUM
f=8
TT=0.052
T1=0.05
 MSAT (TO)
f=28
TT=1800.03
T1=17.43
 MSAT (TO)
f=8
TT=1800.08
T1=0.22
 Wrong Opt.
f=28
TT=0.479
T1=0.26
 Wrong Opt.
f=28
TT=1.032
T1=1.15
 MSAT (TO)
f=28
TT=1800.14
T1=11.44
 MSAT (TO)
f=8
TT=1800.13
T1=0.38
 OPTIMUM
f=8
TT=0.066
T1=0.06
 OPTIMUM
f=8
TT=0.222
T1=0.21
 MSAT (TO)
f=482
TT=1802.14
T1=1672.55
 OPTIMUM
f=8
TT=0.091
T1=0.08
 ? (TO)

TT=1800.15

 ? (TO)

TT=1800.12
/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.015
T1=0.02
 OPTIMUM
f=17
TT=0.015
T1=0.02
 MSAT (TO)
f=166
TT=1800.04
T1=1778.17
 MSAT (TO)
f=17
TT=1800.06
T1=0.09
 Wrong Opt.
f=146
TT=0.689
T1=0.31
 Wrong Opt.
f=146
TT=1.234
T1=2.16
 MSAT (TO)
f=225
TT=1800.16
T1=1467.68
 MSAT (TO)
f=17
TT=1800.17
T1=1.23
 OPTIMUM
f=17
TT=0.272
T1=0.26
 OPTIMUM
f=17
TT=6.862
T1=6.84
 MSAT (TO)
f=1251
TT=1802.17
T1=1800
 OPTIMUM
f=17
TT=0.572
T1=0.56
 ? (TO)

TT=1800.13

 ? (TO)

TT=1800.13
/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.184
T1=0.11
 OPTIMUM
f=10
TT=0.357
T1=0.35
 MSAT (TO)
f=498
TT=1800.05
T1=1037.39
 MSAT (TO)
f=10
TT=1800.08
T1=0.11
 Wrong Opt.
f=401
TT=0.706
T1=0.32
 Wrong Opt.
f=401
TT=1.272
T1=2.17
 MSAT (TO)
f=642
TT=1800.13
T1=1108.06
 MSAT (TO)
f=10
TT=1800.16
T1=1.01
 OPTIMUM
f=10
TT=0.184
T1=0.18
 OPTIMUM
f=10
TT=12.451
T1=12.44
 MSAT (TO)
f=1321
TT=1802.14
T1=1800
 OPTIMUM
f=10
TT=0.212
T1=0.21
 ? (TO)

TT=1800.14

 ? (TO)

TT=1800.12
/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.077
T1=0.08
 OPTIMUM
f=2
TT=0.077
T1=0.08
 MSAT (TO)
f=14
TT=1800.05
T1=196.8
 MSAT (TO)
f=2
TT=1800.05
T1=0.13
 Wrong Opt.
f=14
TT=0.815
T1=0.35
 Wrong Opt.
f=14
TT=1.192
T1=2.18
 MSAT (TO)
f=14
TT=1800.15
T1=1.27
 MSAT (TO)
f=2
TT=1800.21
T1=0.51
 OPTIMUM
f=2
TT=0.207
T1=0.2
 OPTIMUM
f=2
TT=0.158
T1=0.15
 MSAT (MO)
f=133
TT=1242.46
T1=975.98
 OPTIMUM
f=2
TT=0.339
T1=0.33
 ? (TO)

TT=1800.12

 ? (TO)

TT=1800.11
/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.051
T1=0.09
 OPTIMUM
f=10
TT=0.051
T1=0.09
 MSAT (TO)
f=211
TT=1800.05
T1=1437.29
 MSAT (TO)
f=10
TT=1800.02
T1=0.24
 Wrong Opt.
f=160
TT=1.121
T1=0.44
 Wrong Opt.
f=160
TT=1.44
T1=2.18
 MSAT (TO)
f=243
TT=1800.19
T1=353.56
 MSAT (TO)
f=10
TT=1800.08
T1=3.51
 OPTIMUM
f=10
TT=0.205
T1=0.19
 OPTIMUM
f=10
TT=23.911
T1=23.89
 MSAT (MO)
f=985
TT=1540.65
T1=1538.61
 OPTIMUM
f=10
TT=0.234
T1=0.22
 ? (TO)

TT=1800.18

 ? (TO)

TT=1800.12
/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.067
T1=0.06
 OPTIMUM
f=9
TT=0.067
T1=0.06
 MSAT (TO)
f=642
TT=1800.06
T1=1584
 MSAT (TO)
f=9
TT=1800.07
T1=0.41
 Wrong Opt.
f=298
TT=1.523
T1=0.56
 Wrong Opt.
f=298
TT=1.736
T1=2.19
 MSAT (TO)
f=614
TT=1800.18
T1=1238.44
 MSAT (TO)
f=9
TT=1800.21
T1=1.77
 OPTIMUM
f=9
TT=0.312
T1=0.3
 OPTIMUM
f=9
TT=23.036
T1=23.02
 MSAT (MO)
f=839
TT=1604.77
T1=505.97
 OPTIMUM
f=9
TT=0.412
T1=0.4
 ? (TO)

TT=1800.13

 ? (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.1
T1=0.09
 OPTIMUM
f=5
TT=0.1
T1=0.09
 MSAT (TO)
f=689
TT=1800.09
T1=1342.12
 MSAT (TO)
f=5
TT=1800.05
T1=0.48
 OPTIMUM
f=5
TT=1.315
T1=0.55
 OPTIMUM
f=5
TT=1.935
T1=3.22
 MSAT (TO)
f=5
TT=1800.1
T1=5.51
 MSAT (TO)
f=5
TT=1800.22
T1=4.97
 OPTIMUM
f=5
TT=0.197
T1=0.19
 OPTIMUM
f=5
TT=1.189
T1=1.17
 MSAT (MO)
f=2908
TT=1555.86
T1=1553.71
 OPTIMUM
f=5
TT=0.287
T1=0.27
 ? (TO)

TT=1800.14

 ? (TO)

TT=1800.16
Bench nameBest resultspb_cplex
2010-07-01
(complete)		PB/CT
0.1
(complete)		PB/CT
0.1 fixed
(complete)		SAT4J PB CuttingPlanes
2.2.0 2010-05-26
(complete)		SAT4J PB RES // CP
2.2.0 2010-05-31
(complete)		SAT4J PB Resolution
2.2.0 2010-05-26
(complete)		SAT4J PB Resolution
2.2.1
(complete)		SCIPclp
SCIP 1.2.1.2 with Clp 1.11.1 (Release Version) as LP solver
(complete)		SCIPclp
SCIP 1.2.1.3 with Clp 1.11.1 (Release Version) as LP solver
(complete)		SCIPnone
SCIP 1.2.1.2 without any LP solver
(complete)		SCIPspx
SCIP 1.2.1.2 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver
(complete)		wbo
1.4a
(complete)		wbo
1.4b
(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.115
T1=0.1
 OPTIMUM
f=7
TT=0.115
T1=0.1
 MSAT (TO)
f=1609
TT=1800.07
T1=1768.02
 MSAT (TO)
f=7
TT=1800.02
T1=0.42
 Wrong Opt.
f=96
TT=1.827
T1=0.7
 Wrong Opt.
f=96
TT=2.722
T1=3.24
 MSAT (TO)
f=168
TT=1800.13
T1=33.77
 MSAT (TO)
f=7
TT=1800.2
T1=9.1
 OPTIMUM
f=7
TT=1.039
T1=1.02
 OPTIMUM
f=7
TT=12.862
T1=12.83
 MSAT (TO)
f=3069
TT=1802.17
T1=1800
 OPTIMUM
f=7
TT=1.867
T1=1.85
 ? (TO)

TT=1800.16

 ? (TO)

TT=1800.17
/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.229
T1=0.16
 OPTIMUM
f=10
TT=0.229
T1=0.16
 ? (TO)

TT=1800.1

 MSAT (TO)
f=10
TT=1800.06
T1=1.08
 Wrong Opt.
f=304
TT=1.404
T1=0.62
 Wrong Opt.
f=304
TT=2.527
T1=3.23
 MSAT (TO)
f=624
TT=1800.16
T1=1488.5
 MSAT (TO)
f=10
TT=1800.11
T1=32.49
 OPTIMUM
f=10
TT=1.699
T1=1.69
 OPTIMUM
f=10
TT=78.283
T1=78.25
 MSAT (TO)
f=2972
TT=1802.15
T1=1800.01
 OPTIMUM
f=10
TT=2.922
T1=2.91
 ? (TO)

TT=1800.13

 ? (TO)

TT=1800.15
/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.117
T1=0.1
 OPTIMUM
f=5
TT=0.117
T1=0.1
 ? (TO)

TT=1800.06

 MSAT (TO)
f=5
TT=1800.05
T1=1.39
 OPTIMUM
f=5
TT=2.043
T1=0.73
 OPTIMUM
f=5
TT=2.336
T1=3.24
 MSAT (TO)
f=5
TT=1800.12
T1=4.07
 MSAT (TO)
f=5
TT=1800.15
T1=3.56
 OPTIMUM
f=5
TT=0.252
T1=0.24
 OPTIMUM
f=5
TT=1.469
T1=1.45
 MSAT (TO)
f=3720
TT=1802.14
T1=1800.01
 OPTIMUM
f=5
TT=0.337
T1=0.32
 ? (TO)

TT=1800.12

 ? (TO)

TT=1800.17
/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.169
T1=0.4
 OPTIMUM
f=8
TT=0.169
T1=0.4
 ? (TO)

TT=1800.09

 MSAT (TO)
f=8
TT=1800.11
T1=1.15
 Wrong Opt.
f=79
TT=1.903
T1=1.01
 Wrong Opt.
f=79
TT=2.389
T1=3.25
 MSAT (TO)
f=188
TT=1800.23
T1=226.85
 MSAT (TO)
f=8
TT=1800.16
T1=1.3
 OPTIMUM
f=8
TT=0.842
T1=0.83
 OPTIMUM
f=8
TT=19.216
T1=19.18
 MSAT (TO)
f=3663
TT=1802.14
T1=1800.01
 OPTIMUM
f=8
TT=1.274
T1=1.26
 ? (TO)

TT=1800.15

 ? (MO)

TT=1750.98
/SOFT-SMALLINT-LIN/PB06/submitted-PB05/
aloul/FPGA_SAT05/
normalized-chnl35_45_pb.cnf.cr--soft-0-100-0.wbo 		MOPT
f=10
TT=0.171
T1=0.26
 OPTIMUM
f=10
TT=0.171
T1=0.26
 ? (TO)

TT=1800.04

 MSAT (TO)
f=10
TT=1800.04
T1=1.39
 Wrong Opt.
f=323
TT=1.745
T1=0.82
 Wrong Opt.
f=323
TT=2.082
T1=3.26
 MSAT (TO)
f=710
TT=1800.21
T1=1751.36
 MSAT (TO)
f=10
TT=1800.17
T1=14.01
 OPTIMUM
f=10
TT=0.564
T1=0.55
 OPTIMUM
f=10
TT=17.047
T1=16.99
 MSAT (TO)
f=3521
TT=1802.16
T1=1800.11
 OPTIMUM
f=10
TT=0.76
T1=0.74
 ? (TO)

TT=1800.17

 ? (TO)

TT=1800.17
/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.296
T1=0.43
 OPTIMUM
f=5
TT=0.296
T1=0.43
 ? (TO)

TT=1800.08

 MSAT (TO)
f=5
TT=1800.07
T1=2.33
 OPTIMUM
f=5
TT=1.531
T1=0.82
 OPTIMUM
f=5
TT=2.873
T1=4.29
 MSAT (TO)
f=5
TT=1800.12
T1=3.3
 MSAT (TO)
f=5
TT=1800.18
T1=16.44
 OPTIMUM
f=5
TT=1.308
T1=1.29
 OPTIMUM
f=5
TT=5.052
T1=5.01
 MSAT (TO)
f=4246
TT=1802.12
T1=1800.01
 OPTIMUM
f=5
TT=2.305
T1=2.28
 ? (TO)

TT=1800.18

 ? (MO)

TT=1593.29
/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.202
T1=0.47
 OPTIMUM
f=4
TT=0.202
T1=0.47
 ? (TO)

TT=1800.06

 MSAT (TO)
f=4
TT=1800.07
T1=1.13
 Wrong Opt.
f=37
TT=1.981
T1=1.02
 Wrong Opt.
f=37
TT=2.578
T1=3.28
 MSAT (TO)
f=160
TT=1800.16
T1=896.03
 MSAT (TO)
f=4
TT=1800.17
T1=3.43
 OPTIMUM
f=4
TT=2.768
T1=2.75
 OPTIMUM
f=4
TT=24.301
T1=24.26
 MSAT (TO)
f=3929
TT=1802.13
T1=1800.01
 OPTIMUM
f=4
TT=5.083
T1=5.07
 ? (MO)

TT=1698.66

 ? (MO)

TT=1766.48
/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.186
T1=0.16
 OPTIMUM
f=6
TT=0.186
T1=0.16
 ? (TO)

TT=1800.05

 MSAT (TO)
f=6
TT=1800.05
T1=1.79
 Wrong Opt.
f=252
TT=3.101
T1=1.53
 Wrong Opt.
f=252
TT=2.683
T1=3.3
 MSAT (TO)
f=755
TT=1800.14
T1=950.43
 MSAT (TO)
f=6
TT=1800.17
T1=12.95
 OPTIMUM
f=6
TT=4.721
T1=4.7
 OPTIMUM
f=6
TT=30.771
T1=30.74
 MSAT (TO)
f=4085
TT=1802.11
T1=1800.01
 OPTIMUM
f=6
TT=4.999
T1=4.99
 ? (MO)

TT=1799.07

 ? (TO)

TT=1800.15
/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.2
T1=0.17
 OPTIMUM
f=3
TT=0.2
T1=0.17
 ? (TO)

TT=1800.06

 MSAT (TO)
f=3
TT=1800.06
T1=2.77
 Wrong Opt.
f=6
TT=3.574
T1=2.29
 Wrong Opt.
f=6
TT=7.567
T1=4.31
 MSAT (TO)
f=6
TT=1800.21
T1=17.97
 MSAT (TO)
f=3
TT=1800.18
T1=108.8
 OPTIMUM
f=3
TT=1.007
T1=0.99
 OPTIMUM
f=3
TT=4.272
T1=4.24
 MSAT (TO)
f=4939
TT=1802.12
T1=1800.01
 OPTIMUM
f=3
TT=1.997
T1=1.98
 ? (MO)

TT=1600.27

 ? (MO)

TT=1781.68
/SOFT-SMALLINT-LIN/PB06/submitted-PB05/
aloul/FPGA_SAT05/
normalized-chnl50_55_pb.cnf.cr--soft-0-100-0.wbo 		MOPT
f=6
TT=0.231
T1=0.24
 OPTIMUM
f=6
TT=0.231
T1=0.24
 ? (TO)

TT=1800.02

 MSAT (TO)
f=6
TT=1800.06
T1=2.02
 Wrong Opt.
f=68
TT=3.393
T1=1.85
 Wrong Opt.
f=68
TT=3.571
T1=3.32
 MSAT (TO)
f=223
TT=1800.2
T1=1618.36
 MSAT (TO)
f=6
TT=1800.2
T1=16.17
 OPTIMUM
f=6
TT=4.482
T1=4.46
 OPTIMUM
f=6
TT=239.116
T1=239.08
 MSAT (TO)
f=4995
TT=1802.14
T1=1800.01
 OPTIMUM
f=6
TT=10.313
T1=10.29
 ? (MO)

TT=1531.77

 ? (MO)

TT=1697.48
Bench nameBest resultspb_cplex
2010-07-01
(complete)		PB/CT
0.1
(complete)		PB/CT
0.1 fixed
(complete)		SAT4J PB CuttingPlanes
2.2.0 2010-05-26
(complete)		SAT4J PB RES // CP
2.2.0 2010-05-31
(complete)		SAT4J PB Resolution
2.2.0 2010-05-26
(complete)		SAT4J PB Resolution
2.2.1
(complete)		SCIPclp
SCIP 1.2.1.2 with Clp 1.11.1 (Release Version) as LP solver
(complete)		SCIPclp
SCIP 1.2.1.3 with Clp 1.11.1 (Release Version) as LP solver
(complete)		SCIPnone
SCIP 1.2.1.2 without any LP solver
(complete)		SCIPspx
SCIP 1.2.1.2 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver
(complete)		wbo
1.4a
(complete)		wbo
1.4b
(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.23
T1=0.18
 OPTIMUM
f=3
TT=0.23
T1=0.18
 ? (TO)

TT=1800.06

 MSAT (TO)
f=3
TT=1800.06
T1=4.79
 Wrong Opt.
f=211
TT=3.183
T1=2.1
 Wrong Opt.
f=211
TT=3.287
T1=3.34
 MSAT (TO)
f=656
TT=1800.2
T1=766.83
 MSAT (TO)
f=3
TT=1800.19
T1=61.71
 OPTIMUM
f=3
TT=5.681
T1=5.66
 OPTIMUM
f=3
TT=55.134
T1=55.06
 MSAT (TO)
f=5118
TT=1802.1
T1=1800.01
 OPTIMUM
f=3
TT=3.475
T1=3.46
 ? (MO)

TT=1700.35

 ? (MO)

TT=1700.66
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/
namasivayam/tsp/
normalized-t3002.11tsp11.1900544484--soft-0-100-0.wbo 		MOPT
f=1
TT=84.532
T1=11.79
 OPTIMUM
f=1
TT=707.643
T1=160.63
 OPTIMUM
f=1
TT=512.557
T1=36.64
 OPTIMUM
f=1
TT=561.94
T1=28.43
 MSAT (TO)
f=195
TT=1800.15
T1=1599.4
 Wrong Opt.
f=5
TT=1073.2
T1=27.55
 Wrong Opt.
f=5
TT=471.273
T1=15.88
 OPTIMUM
f=1
TT=90.575
T1=11.79
 MSAT (TO)
f=2
TT=1800.31
T1=1187.68
 MSAT
f=3
TT=1790.26
T1=356.31
 MSAT (TO)
f=1
TT=1802.13
T1=1800.08
 MSAT (TO)
f=1
TT=1800.24
T1=666.08
 OPTIMUM
f=1
TT=84.532
T1=84.52
 Wrong UNSAT

TT=80.636
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/
namasivayam/tsp/
normalized-t3002.11tsp11.1900545610--soft-0-100-0.wbo 		MOPT
f=1
TT=203.379
T1=20.68
 ? (TO)

TT=1800.38

 OPTIMUM
f=1
TT=1086.22
T1=16.32
 OPTIMUM
f=1
TT=1132.7
T1=25.5
 MSAT (TO)
f=188
TT=1800.19
T1=1661.52
 MSAT (TO)
f=13
TT=1800.22
T1=12.51
 Wrong Opt.
f=13
TT=1198.41
T1=2.37
 OPTIMUM
f=1
TT=466.921
T1=20.68
 MSAT (TO)
f=1
TT=1800.3
T1=385.17
 MSAT
f=1
TT=1790.28
T1=551.24
 MSAT (TO)
f=1
TT=1802.12
T1=1800.08
 MSAT (TO)
f=1
TT=1800.23
T1=982.61
 OPTIMUM
f=1
TT=203.379
T1=203.35
 Wrong UNSAT

TT=315.24
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/
namasivayam/tsp/
normalized-t3002.11tsp11.1900546076--soft-0-100-0.wbo 		MOPT
f=3
TT=89.681
T1=53.32
 OPTIMUM
f=3
TT=941.613
T1=239.74
 OPTIMUM
f=3
TT=704.113
T1=150.42
 OPTIMUM
f=3
TT=257.253
T1=69
 MSAT (TO)
f=426
TT=1800.2
T1=1443.29
 MSAT (TO)
f=40
TT=1800.52
T1=34.57
 Wrong Opt.
f=40
TT=1353.18
T1=23.3
 OPTIMUM
f=3
TT=89.681
T1=53.32
 MSAT (TO)
f=61
TT=1800.75
T1=1419.48
 MSAT
f=9
TT=1790.4
T1=1634.43
 MSAT (TO)
f=4
TT=1802.12
T1=1800.09
 MSAT (TO)
f=76
TT=1800.31
T1=1787.88
 OPTIMUM
f=3
TT=162.272
T1=162.25
 Wrong UNSAT

TT=5.332
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/
namasivayam/tsp/
normalized-t3002.11tsp11.1900546417--soft-0-100-0.wbo 		MOPT
f=1
TT=133.058
T1=9.47
 ? (TO)

TT=1800.25

 MSAT (TO)
f=1
TT=1800.04
T1=23.09
 MSAT (TO)
f=1
TT=1800.06
T1=10.14
 MSAT (TO)
f=266
TT=1800.2
T1=1444.45
 MSAT (TO)
f=5
TT=1800.22
T1=13.51
 Wrong Opt.
f=5
TT=1097.45
T1=3.75
 OPTIMUM
f=1
TT=133.058
T1=9.47
 MSAT (TO)
f=1
TT=1800.17
T1=366.58
 MSAT
f=1
TT=1790.26
T1=1312.89
 MSAT (TO)
f=1
TT=1800.97
T1=1561.07
 MSAT (TO)
f=1
TT=1800.16
T1=316.01
 OPTIMUM
f=1
TT=153.406
T1=153.38
 Wrong UNSAT

TT=287.752
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/
namasivayam/tsp/
normalized-t3002.11tsp11.1900547389--soft-0-100-0.wbo 		MOPT
f=1
TT=148.653
T1=34.62
 OPTIMUM
f=1
TT=1356.9
T1=372.24
 OPTIMUM
f=1
TT=1032.72
T1=37.18
 OPTIMUM
f=1
TT=1118.89
T1=206.05
 MSAT (TO)
f=365
TT=1800.22
T1=1386.76
 MSAT (TO)
f=26
TT=1800.37
T1=26.6
 Wrong Opt.
f=26
TT=828.348
T1=10.31
 OPTIMUM
f=1
TT=487.319
T1=34.62
 MSAT (TO)
f=1
TT=1800.28
T1=708.57
 MSAT
f=3
TT=1790.33
T1=1153.71
 MSAT (TO)
f=4
TT=1802.12
T1=1800.07
 MSAT (TO)
f=2
TT=1800.25
T1=1041.07
 OPTIMUM
f=1
TT=148.653
T1=148.63
 Wrong UNSAT

TT=142.585
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/
namasivayam/tsp/
normalized-t3002.11tsp11.1900548667--soft-0-100-0.wbo 		MOPT
f=1
TT=584.992
T1=6.6
 ? (TO)

TT=1800.74

 MSAT (TO)
f=1
TT=1800.06
T1=39.5
 MSAT (TO)
f=1
TT=1800.05
T1=13.15
 MSAT (TO)
f=92
TT=1800.22
T1=1682.42
 MSAT (TO)
f=5
TT=1800.41
T1=17.58
 MSAT (TO)
f=5
TT=1800.19
T1=2.66
 OPTIMUM
f=1
TT=1756.84
T1=6.6
 MSAT (TO)
f=1
TT=1800.31
T1=671.32
 MSAT
f=1
TT=1790.24
T1=165
 MSAT (TO)
f=1
TT=1802.15
T1=1800.08
 MSAT (TO)
f=1
TT=1800.27
T1=415.76
 OPTIMUM
f=1
TT=584.992
T1=584.92
 Wrong UNSAT

TT=574.319
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/
namasivayam/tsp/
normalized-t3002.11tsp11.1900550006--soft-0-100-0.wbo 		MOPT
f=1
TT=279.71
T1=6.78
 ? (TO)

TT=1800.26

 OPTIMUM
f=1
TT=1171.28
T1=13.42
 OPTIMUM
f=1
TT=1151.49
T1=20.21
 MSAT (TO)
f=363
TT=1800.12
T1=714.78
 MSAT (TO)
f=9
TT=1800.34
T1=16.56
 Wrong Opt.
f=9
TT=1667.63
T1=3.46
 OPTIMUM
f=1
TT=1127.19
T1=6.78
 MSAT (TO)
f=1
TT=1800.24
T1=263.65
 MSAT
f=1
TT=1790.2
T1=681.33
 MSAT (TO)
f=1
TT=1802.12
T1=1800.06
 MSAT (TO)
f=1
TT=1800.26
T1=356.31
 OPTIMUM
f=1
TT=279.71
T1=279.67
 Wrong UNSAT

TT=250.992
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/
namasivayam/tsp/
normalized-t3002.11tsp11.1900550720--soft-0-100-0.wbo 		MOPT
f=1
TT=274.2
T1=31.77
 ? (TO)

TT=1800.37

 OPTIMUM
f=1
TT=1034.07
T1=116
 MSAT (TO)
f=1
TT=1800.07
T1=54.69
 MSAT (TO)
f=272
TT=1800.35
T1=1663.04
 MSAT (TO)
f=4
TT=1800.4
T1=13.5
 Wrong Opt.
f=4
TT=1035.07
T1=4.74
 OPTIMUM
f=1
TT=947.94
T1=31.77
 MSAT (TO)
f=5
TT=1800.33
T1=524.36
 MSAT
f=1
TT=1789.82
T1=1087.86
 MSAT (TO)
f=1
TT=1802.15
T1=1800.08
 MSAT (TO)
f=130
TT=1800.39
T1=1799.56
 OPTIMUM
f=1
TT=274.2
T1=274.17
 Wrong UNSAT

TT=240.612
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/
namasivayam/tsp/
normalized-t3002.11tsp11.1900551347--soft-0-100-0.wbo 		MOPT
f=2
TT=33.435
T1=11.38
 OPTIMUM
f=2
TT=825.595
T1=182.21
 OPTIMUM
f=2
TT=953.615
T1=120.17
 OPTIMUM
f=2
TT=1048.15
T1=70.76
 MSAT (TO)
f=259
TT=1800.09
T1=1687.02
 Wrong Opt.
f=12
TT=601.788
T1=128.05
 Wrong Opt.
f=12
TT=250.32
T1=97.41
 OPTIMUM
f=2
TT=33.435
T1=11.38
 MSAT (TO)
f=2
TT=1800.25
T1=1496.4
 MSAT
f=2
TT=1790.3
T1=636.43
 MSAT (TO)
f=3
TT=1802.12
T1=1800.09
 MSAT (TO)
f=2
TT=1800.28
T1=1138.94
 OPTIMUM
f=2
TT=182.446
T1=182.43
 Wrong UNSAT

TT=110.884
Bench nameBest resultspb_cplex
2010-07-01
(complete)		PB/CT
0.1
(complete)		PB/CT
0.1 fixed
(complete)		SAT4J PB CuttingPlanes
2.2.0 2010-05-26
(complete)		SAT4J PB RES // CP
2.2.0 2010-05-31
(complete)		SAT4J PB Resolution
2.2.0 2010-05-26
(complete)		SAT4J PB Resolution
2.2.1
(complete)		SCIPclp
SCIP 1.2.1.2 with Clp 1.11.1 (Release Version) as LP solver
(complete)		SCIPclp
SCIP 1.2.1.3 with Clp 1.11.1 (Release Version) as LP solver
(complete)		SCIPnone
SCIP 1.2.1.2 without any LP solver
(complete)		SCIPspx
SCIP 1.2.1.2 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver
(complete)		wbo
1.4a
(complete)		wbo
1.4b
(complete)
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/
namasivayam/tsp/
normalized-t3002.11tsp11.1900551864--soft-0-100-0.wbo 		MOPT
f=1
TT=29.452
T1=17.28
 ? (TO)

TT=1800.18

 OPTIMUM
f=1
TT=451.894
T1=48.93
 OPTIMUM
f=1
TT=1082.31
T1=34.94
 MSAT (TO)
f=382
TT=1800.19
T1=1679.74
 Wrong Opt.
f=26
TT=1551.92
T1=61.65
 Wrong Opt.
f=26
TT=675.177
T1=44.56
 OPTIMUM
f=1
TT=29.452
T1=17.28
 MSAT (TO)
f=2
TT=1800.32
T1=992.69
 MSAT
f=1
TT=1790.26
T1=346.57
 MSAT (TO)
f=1
TT=1802.12
T1=1800.07
 MSAT (TO)
f=1
TT=1800.24
T1=1763.36
 OPTIMUM
f=1
TT=32.921
T1=32.91
 Wrong UNSAT

TT=33.456
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/
namasivayam/tsp/
normalized-t3002.11tsp11.1900552288--soft-0-100-0.wbo 		MOPT
f=1
TT=180.163
T1=23.66
 OPTIMUM
f=1
TT=1525.57
T1=400.91
 OPTIMUM
f=1
TT=1145.87
T1=50.57
 OPTIMUM
f=1
TT=1141.92
T1=73.8
 MSAT (TO)
f=477
TT=1800.17
T1=1628.67
 MSAT (TO)
f=51
TT=1800.26
T1=30.63
 Wrong Opt.
f=51
TT=970.849
T1=17.48
 OPTIMUM
f=1
TT=688.518
T1=23.66
 MSAT (TO)
f=2
TT=1800.25
T1=1135.23
 MSAT
f=2
TT=1790.25
T1=1151.66
 MSAT (TO)
f=1
TT=1802.12
T1=1800.08
 MSAT (TO)
f=1
TT=1800.23
T1=1506.35
 OPTIMUM
f=1
TT=180.163
T1=180.14
 Wrong UNSAT

TT=186.923
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/
namasivayam/tsp/
normalized-t3002.11tsp11.1900552423--soft-0-100-0.wbo 		MOPT
f=5
TT=61.511
T1=31.86
 OPTIMUM
f=5
TT=914.955
T1=251.35
 OPTIMUM
f=5
TT=579.373
T1=90.16
 OPTIMUM
f=5
TT=530.252
T1=31.86
 MSAT (TO)
f=245
TT=1800.29
T1=1696.33
 Wrong Opt.
f=20
TT=80.923
T1=41.69
 Wrong Opt.
f=20
TT=40.458
T1=25.41
 OPTIMUM
f=5
TT=61.511
T1=47.7
 MSAT (TO)
f=9
TT=1800.33
T1=612.32
 MSAT
f=8
TT=1790.32
T1=848.46
 MSAT (TO)
f=5
TT=1802.08
T1=562.07
 MSAT (TO)
f=6
TT=1800.32
T1=1220.62
 OPTIMUM
f=5
TT=127.939
T1=127.92
 Wrong UNSAT

TT=7.206
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/
namasivayam/tsp/
normalized-t3002.11tsp11.1900552735--soft-0-100-0.wbo 		MOPT
f=4
TT=667.905
T1=94.05
 OPTIMUM
f=4
TT=1048.42
T1=231.26
 MSAT (TO)
f=9
TT=1800.06
T1=1764.34
 MSAT (TO)
f=4
TT=1800.04
T1=94.05
 MSAT (TO)
f=237
TT=1800.18
T1=811.91
 MSAT (TO)
f=33
TT=1800.26
T1=82.84
 Wrong Opt.
f=33
TT=846.995
T1=63.64
 OPTIMUM
f=4
TT=667.905
T1=273.03
 MSAT (TO)
f=10
TT=1800.3
T1=569.97
 MSAT
f=14
TT=1790.44
T1=1571.77
 MSAT (TO)
f=7
TT=1802.14
T1=1800.08
 MSAT (TO)
f=51
TT=1800.64
T1=1716.58
 OPTIMUM
f=4
TT=722.614
T1=722.55
 Wrong UNSAT

TT=132.213
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/
namasivayam/tsp/
normalized-t3002.11tsp11.1900553647--soft-0-100-0.wbo 		MOPT
f=1
TT=118.75
T1=16.82
 ? (TO)

TT=1800.66

 OPTIMUM
f=1
TT=1067.32
T1=34.66
 OPTIMUM
f=1
TT=1098.27
T1=192.29
 MSAT (TO)
f=307
TT=1800.15
T1=1070.36
 MSAT (TO)
f=15
TT=1800.37
T1=18.58
 Wrong Opt.
f=15
TT=794.152
T1=6.76
 OPTIMUM
f=1
TT=550.568
T1=16.82
 MSAT (TO)
f=1
TT=1800.27
T1=1691.76
 MSAT
f=1
TT=1790.24
T1=850.71
 MSAT (TO)
f=2
TT=1802.15
T1=706.27
 MSAT (TO)
f=3
TT=1800.26
T1=1725.13
 OPTIMUM
f=1
TT=118.75
T1=118.74
 Wrong UNSAT

TT=173.226
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/
namasivayam/tsp/
normalized-t3002.11tsp11.1900553812--soft-0-100-0.wbo 		MOPT
f=3
TT=351.559
T1=69.15
 OPTIMUM
f=3
TT=1282.45
T1=245.21
 OPTIMUM
f=3
TT=1083.56
T1=75.53
 OPTIMUM
f=3
TT=524.545
T1=109.25
 MSAT (TO)
f=325
TT=1800.2
T1=1358.15
 MSAT (TO)
f=26
TT=1800.39
T1=73.84
 Wrong Opt.
f=26
TT=761.073
T1=56.75
 OPTIMUM
f=3
TT=482.057
T1=69.15
 MSAT (TO)
f=6
TT=1800.31
T1=1156.76
 MSAT
f=6
TT=1790.28
T1=467.51
 MSAT (TO)
f=6
TT=1802.18
T1=1800.18
 MSAT (TO)
f=7
TT=1800.31
T1=1733.15
 OPTIMUM
f=3
TT=351.559
T1=351.53
 Wrong UNSAT

TT=60.056
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/
namasivayam/tsp/
normalized-t3002.11tsp11.1900554072--soft-0-100-0.wbo 		MOPT
f=1
TT=24.556
T1=12.95
 OPTIMUM
f=1
TT=1168.79
T1=316.91
 OPTIMUM
f=1
TT=479.981
T1=54.36
 OPTIMUM
f=1
TT=1099.26
T1=59.98
 MSAT (TO)
f=279
TT=1800.27
T1=1648.93
 MSAT (TO)
f=18
TT=1800.33
T1=55.72
 Wrong Opt.
f=18
TT=776.911
T1=35.84
 OPTIMUM
f=1
TT=24.556
T1=12.95
 MSAT (TO)
f=6
TT=1800.27
T1=400.97
 MSAT
f=2
TT=1790.23
T1=1324.45
 MSAT (TO)
f=2
TT=1802.13
T1=1514.57
 MSAT (TO)
f=5
TT=1800.27
T1=836.17
 OPTIMUM
f=1
TT=84.263
T1=84.25
 Wrong UNSAT

TT=82.882
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/
namasivayam/tsp/
normalized-t3002.11tsp11.1900554420--soft-0-100-0.wbo 		MOPT
f=1
TT=38.464
T1=6.41
 ? (TO)

TT=1800.19

 OPTIMUM
f=1
TT=1010.39
T1=36.02
 OPTIMUM
f=1
TT=528.125
T1=36.67
 MSAT (TO)
f=306
TT=1800.18
T1=1455.02
 MSAT (TO)
f=15
TT=1800.48
T1=13.55
 Wrong Opt.
f=15
TT=965.026
T1=2.76
 OPTIMUM
f=1
TT=38.464
T1=6.41
 MSAT (TO)
f=1
TT=1800.33
T1=326.63
 MSAT
f=1
TT=1790.26
T1=687.54
 MSAT (TO)
f=1
TT=1802.14
T1=1800.05
 MSAT (TO)
f=43
TT=1800.41
T1=1796.35
 OPTIMUM
f=1
TT=93.703
T1=93.69
 Wrong UNSAT

TT=78.647
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/
namasivayam/tsp/
normalized-t3002.11tsp11.1900556231--soft-0-100-0.wbo 		MOPT
f=1
TT=173.946
T1=19.55
 ? (TO)

TT=1800.47

 OPTIMUM
f=1
TT=1146.09
T1=110.9
 OPTIMUM
f=1
TT=1131.1
T1=116.69
 MSAT (TO)
f=387
TT=1800.18
T1=977.39
 MSAT (TO)
f=27
TT=1800.22
T1=15.54
 Wrong Opt.
f=27
TT=789.079
T1=5.54
 OPTIMUM
f=1
TT=506.995
T1=19.55
 MSAT (TO)
f=1
TT=1800.29
T1=1758.17
 MSAT
f=1
TT=1790.28
T1=838.02
 MSAT (TO)
f=1
TT=1802.11
T1=1800.08
 MSAT (TO)
f=1
TT=1800.28
T1=1034.6
 OPTIMUM
f=1
TT=173.946
T1=174.05
 Wrong UNSAT

TT=138.466
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/
namasivayam/tsp/
normalized-t3002.11tsp11.1900557362--soft-0-100-0.wbo 		MOPT
f=5
TT=466.477
T1=31.33
 OPTIMUM
f=5
TT=822.418
T1=203.66
 OPTIMUM
f=5
TT=1017.87
T1=252.46
 OPTIMUM
f=5
TT=1151.97
T1=65.57
 MSAT (TO)
f=411
TT=1800.22
T1=1477.82
 MSAT (TO)
f=27
TT=1800.16
T1=31.65
 Wrong Opt.
f=27
TT=818.759
T1=11.45
 OPTIMUM
f=5
TT=466.477
T1=31.33
 MSAT (TO)
f=19
TT=1800.44
T1=1505.75
 MSAT
f=18
TT=1790.54
T1=1534.55
 MSAT (TO)
f=5
TT=1802.14
T1=1800.08
 MSAT (TO)
f=8
TT=1800.35
T1=1042.33
 OPTIMUM
f=5
TT=730.966
T1=730.91
 Wrong UNSAT

TT=68.336
Bench nameBest resultspb_cplex
2010-07-01
(complete)		PB/CT
0.1
(complete)		PB/CT
0.1 fixed
(complete)		SAT4J PB CuttingPlanes
2.2.0 2010-05-26
(complete)		SAT4J PB RES // CP
2.2.0 2010-05-31
(complete)		SAT4J PB Resolution
2.2.0 2010-05-26
(complete)		SAT4J PB Resolution
2.2.1
(complete)		SCIPclp
SCIP 1.2.1.2 with Clp 1.11.1 (Release Version) as LP solver
(complete)		SCIPclp
SCIP 1.2.1.3 with Clp 1.11.1 (Release Version) as LP solver
(complete)		SCIPnone
SCIP 1.2.1.2 without any LP solver
(complete)		SCIPspx
SCIP 1.2.1.2 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver
(complete)		wbo
1.4a
(complete)		wbo
1.4b
(complete)
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/
namasivayam/tsp/
normalized-t3002.11tsp11.1900557574--soft-0-100-0.wbo 		MOPT
f=6
TT=514.642
T1=95.21
 OPTIMUM
f=6
TT=1045.91
T1=285.73
 OPTIMUM
f=6
TT=1024.77
T1=223.24
 OPTIMUM
f=6
TT=1116.48
T1=476.49
 MSAT (TO)
f=409
TT=1800.14
T1=1648.02
 MSAT (TO)
f=54
TT=1800.18
T1=56.66
 Wrong Opt.
f=54
TT=1111.59
T1=37.12
 OPTIMUM
f=6
TT=514.642
T1=95.21
 MSAT (TO)
f=12
TT=1800.34
T1=1487.4
 MSAT
f=12
TT=1790.41
T1=1210.57
 MSAT (TO)
f=9
TT=1802.14
T1=1800.08
 MSAT (TO)
f=12
TT=1800.25
T1=1650.44
 OPTIMUM
f=6
TT=1039.76
T1=1039.68
 Wrong UNSAT

TT=77.035
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/
namasivayam/tsp/
normalized-t3002.11tsp11.1900557957--soft-0-100-0.wbo 		MOPT
f=3
TT=447.975
T1=86.88
 OPTIMUM
f=3
TT=1021.4
T1=265.51
 MSAT (TO)
f=3
TT=1800.05
T1=487.17
 OPTIMUM
f=3
TT=1095.39
T1=255.52
 MSAT (TO)
f=397
TT=1800.22
T1=1655.02
 MSAT (TO)
f=63
TT=1800.12
T1=76.69
 MSAT (TO)
f=63
TT=1800.19
T1=65.49
 OPTIMUM
f=3
TT=490.858
T1=86.88
 MSAT (TO)
f=7
TT=1800.39
T1=145.33
 MSAT
f=8
TT=1790.3
T1=730.22
 MSAT (TO)
f=6
TT=1802.14
T1=1800.07
 MSAT (TO)
f=4
TT=1800.23
T1=1119.3
 OPTIMUM
f=3
TT=447.975
T1=447.95
 Wrong UNSAT

TT=121.94
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/
namasivayam/tsp/
normalized-t3002.11tsp11.1900558106--soft-0-100-0.wbo 		MOPT
f=7
TT=437.198
T1=93.6
 OPTIMUM
f=7
TT=641.957
T1=172.24
 OPTIMUM
f=7
TT=1028.85
T1=130.84
 OPTIMUM
f=7
TT=1133.08
T1=101.69
 MSAT (TO)
f=224
TT=1800.23
T1=985.58
 MSAT (TO)
f=31
TT=1800.56
T1=46.63
 Wrong Opt.
f=31
TT=947.612
T1=32.37
 OPTIMUM
f=7
TT=437.198
T1=93.6
 MSAT (TO)
f=11
TT=1800.32
T1=70.24
 MSAT
f=11
TT=1790.35
T1=240.81
 MSAT (TO)
f=11
TT=1802.12
T1=1800.07
 MSAT (TO)
f=11
TT=1800.28
T1=29.48
 OPTIMUM
f=7
TT=608.899
T1=608.86
 Wrong UNSAT

TT=39.449
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/
namasivayam/tsp/
normalized-t3002.11tsp11.1900558739--soft-0-100-0.wbo 		MOPT
f=1
TT=185.626
T1=3.2
 ? (TO)

TT=1800.09

 OPTIMUM
f=1
TT=1049.57
T1=29.07
 MSAT (TO)
f=1
TT=1800.07
T1=40.51
 MSAT (TO)
f=342
TT=1800.27
T1=1676.53
 MSAT (TO)
f=8
TT=1800.35
T1=13.56
 Wrong Opt.
f=8
TT=772.252
T1=2.69
 OPTIMUM
f=1
TT=735.5
T1=3.2
 MSAT (TO)
f=1
TT=1800.3
T1=880.85
 MSAT
f=2
TT=1790.33
T1=357.61
 MSAT (TO)
f=1
TT=1802.16
T1=1800.18
 MSAT (TO)
f=1
TT=1800.21
T1=1635.21
 OPTIMUM
f=1
TT=185.626
T1=185.6
 Wrong UNSAT

TT=194.275
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/
namasivayam/tsp/
normalized-t3002.11tsp11.1900559676--soft-0-100-0.wbo 		MOPT
f=1
TT=368.019
T1=16.53
 ? (TO)

TT=1800.29

 MSAT (TO)
f=1
TT=1800.06
T1=47.44
 MSAT (TO)
f=1
TT=1800.06
T1=52.46
 MSAT (TO)
f=276
TT=1800.17
T1=1676.92
 MSAT (TO)
f=27
TT=1800.33
T1=26.61
 MSAT (TO)
f=27
TT=1800.13
T1=10.83
 OPTIMUM
f=1
TT=1185.21
T1=16.53
 MSAT (TO)
f=2
TT=1800.24
T1=385.01
 MSAT
f=1
TT=1790.28
T1=560.25
 MSAT (TO)
f=1
TT=1802.14
T1=1800.08
 MSAT (TO)
f=1
TT=1800.23
T1=769.42
 OPTIMUM
f=1
TT=368.019
T1=367.97
 Wrong UNSAT

TT=573.547
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/
namasivayam/tsp/
normalized-t3002.11tsp11.1900561288--soft-0-100-0.wbo 		MOPT
f=1
TT=385.756
T1=15.47
 ? (TO)

TT=1800.25

 MSAT (TO)
f=1
TT=1800.04
T1=42.92
 MSAT (TO)
f=1
TT=1800.09
T1=47.06
 MSAT (TO)
f=220
TT=1800.18
T1=949.14
 MSAT (TO)
f=5
TT=1800.21
T1=13.55
 Wrong Opt.
f=5
TT=1159.51
T1=3.53
 OPTIMUM
f=1
TT=1088.86
T1=15.47
 MSAT (TO)
f=1
TT=1800.26
T1=319.79
 MSAT
f=1
TT=1790.26
T1=515.05
 MSAT (TO)
f=1
TT=1801.61
T1=1688.79
 MSAT (TO)
f=1
TT=1800.22
T1=820.99
 OPTIMUM
f=1
TT=385.756
T1=385.71
 Wrong UNSAT

TT=572.639
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/
namasivayam/tsp/
normalized-t3002.11tsp11.1900562192--soft-0-100-0.wbo 		MOPT
f=1
TT=137.819
T1=25.35
 OPTIMUM
f=1
TT=1138.77
T1=240.34
 OPTIMUM
f=1
TT=1044.32
T1=40.54
 OPTIMUM
f=1
TT=551.726
T1=62.99
 MSAT (TO)
f=186
TT=1800.19
T1=1676.96
 Wrong Opt.
f=15
TT=1098.37
T1=16.51
 Wrong Opt.
f=15
TT=490.862
T1=5.72
 OPTIMUM
f=1
TT=453.213
T1=25.35
 MSAT (TO)
f=2
TT=1800.26
T1=839.96
 MSAT
f=1
TT=1790.26
T1=1236.1
 MSAT (TO)
f=1
TT=1800.48
T1=1337.91
 MSAT (TO)
f=2
TT=1800.26
T1=942.18
 OPTIMUM
f=1
TT=137.819
T1=137.8
 Wrong UNSAT

TT=116.871
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/
namasivayam/tsp/
normalized-t3002.11tsp11.1900563250--soft-0-100-0.wbo 		MOPT
f=1
TT=208.79
T1=19.84
 ? (TO)

TT=1800.19

 MSAT (TO)
f=1
TT=1800.05
T1=34.46
 OPTIMUM
f=1
TT=1138.51
T1=67.96
 MSAT (TO)
f=141
TT=1800.16
T1=1677.92
 Wrong Opt.
f=4
TT=1304.96
T1=14.52
 Wrong Opt.
f=4
TT=548.148
T1=3.5
 OPTIMUM
f=1
TT=456.533
T1=19.84
 MSAT (TO)
f=1
TT=1800.29
T1=646.57
 MSAT
f=1
TT=1790.32
T1=1231.02
 MSAT (TO)
f=2
TT=1802.18
T1=1800.18
 MSAT (TO)
f=2
TT=1800.28
T1=1416.97
 OPTIMUM
f=1
TT=208.79
T1=208.88
 Wrong UNSAT

TT=148.993
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/
namasivayam/tsp/
normalized-t3002.11tsp11.1900563801--soft-0-100-0.wbo 		MOPT
f=1
TT=22.781
T1=14.8
 OPTIMUM
f=1
TT=1748.24
T1=465.5
 OPTIMUM
f=1
TT=250.558
T1=31.45
 OPTIMUM
f=1
TT=268.105
T1=65.65
 MSAT (TO)
f=188
TT=1800.16
T1=1661.83
 MSAT (TO)
f=40
TT=1800.18
T1=9.49
 Wrong Opt.
f=40
TT=1019.29
T1=2.65
 OPTIMUM
f=1
TT=22.781
T1=14.8
 MSAT (TO)
f=7
TT=1800.28
T1=1662
 MSAT
f=3
TT=1790.24
T1=1474.03
 MSAT (TO)
f=1
TT=1802.12
T1=1800.05
 MSAT (TO)
f=2
TT=1800.2
T1=1728.18
 OPTIMUM
f=1
TT=64.894
T1=64.88
 Wrong UNSAT

TT=83.946
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/
namasivayam/tsp/
normalized-t3002.11tsp11.1900564281--soft-0-100-0.wbo 		MOPT
f=2
TT=199.839
T1=38.49
 OPTIMUM
f=2
TT=564.547
T1=169.88
 OPTIMUM
f=2
TT=930.393
T1=157.93
 OPTIMUM
f=2
TT=1053.69
T1=193.15
 MSAT (TO)
f=345
TT=1800.21
T1=1670.62
 Wrong Opt.
f=33
TT=1187
T1=44.67
 Wrong Opt.
f=33
TT=515.001
T1=25.29
 OPTIMUM
f=2
TT=386.483
T1=38.49
 MSAT (TO)
f=5
TT=1800.29
T1=1399.26
 MSAT
f=7
TT=1790.47
T1=1461.64
 MSAT (TO)
f=5
TT=1802.12
T1=1800.09
 MSAT (TO)
f=21
TT=1800.24
T1=1719.33
 OPTIMUM
f=2
TT=199.839
T1=199.81
 Wrong UNSAT

TT=72.118
Bench nameBest resultspb_cplex
2010-07-01
(complete)		PB/CT
0.1
(complete)		PB/CT
0.1 fixed
(complete)		SAT4J PB CuttingPlanes
2.2.0 2010-05-26
(complete)		SAT4J PB RES // CP
2.2.0 2010-05-31
(complete)		SAT4J PB Resolution
2.2.0 2010-05-26
(complete)		SAT4J PB Resolution
2.2.1
(complete)		SCIPclp
SCIP 1.2.1.2 with Clp 1.11.1 (Release Version) as LP solver
(complete)		SCIPclp
SCIP 1.2.1.3 with Clp 1.11.1 (Release Version) as LP solver
(complete)		SCIPnone
SCIP 1.2.1.2 without any LP solver
(complete)		SCIPspx
SCIP 1.2.1.2 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver
(complete)		wbo
1.4a
(complete)		wbo
1.4b
(complete)
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/
namasivayam/tsp/
normalized-t3002.11tsp11.1900564824--soft-0-100-0.wbo 		MOPT
f=8
TT=326.274
T1=41.45
 OPTIMUM
f=8
TT=590.616
T1=123.77
 OPTIMUM
f=8
TT=509.028
T1=55.01
 OPTIMUM
f=8
TT=577.988
T1=96.99
 MSAT (TO)
f=163
TT=1800.22
T1=1694.03
 Wrong Opt.
f=24
TT=920.225
T1=36.6
 Wrong Opt.
f=24
TT=420.37
T1=21.4
 OPTIMUM
f=8
TT=356.025
T1=41.45
 MSAT (TO)
f=17
TT=1800.43
T1=1360.21
 MSAT
f=8
TT=1790.26
T1=1473.91
 MSAT (TO)
f=9
TT=1802.1
T1=481.53
 MSAT (TO)
f=9
TT=1800.28
T1=1033.91
 OPTIMUM
f=8
TT=326.274
T1=326.25
 Wrong UNSAT

TT=3.118
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/
namasivayam/tsp/
normalized-t3002.11tsp11.1900565534--soft-0-100-0.wbo 		MOPT
f=1
TT=273.451
T1=7.66
 ? (TO)

TT=1800.73

 MSAT (TO)
f=1
TT=1800.05
T1=30.56
 MSAT (TO)
f=1
TT=1800.09
T1=22.25
 MSAT (TO)
f=169
TT=1800.2
T1=1674.23
 MSAT (TO)
f=4
TT=1800.2
T1=12.52
 Wrong Opt.
f=4
TT=799.385
T1=2.08
 OPTIMUM
f=1
TT=1007.03
T1=7.66
 MSAT (TO)
f=1
TT=1800.28
T1=243.06
 MSAT
f=1
TT=1790.05
T1=209.25
 MSAT (TO)
f=1
TT=1802.13
T1=1800.05
 MSAT (TO)
f=1
TT=1800.22
T1=771.27
 OPTIMUM
f=1
TT=273.451
T1=273.42
 Wrong UNSAT

TT=374.569
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/
namasivayam/tsp/
normalized-t3002.11tsp11.1900566157--soft-0-100-0.wbo 		MOPT
f=1
TT=59.668
T1=32.93
 OPTIMUM
f=1
TT=935.874
T1=167.55
 OPTIMUM
f=1
TT=547.885
T1=173.77
 OPTIMUM
f=1
TT=573.763
T1=32.93
 MSAT (TO)
f=405
TT=1800.23
T1=1673.62
 Wrong Opt.
f=51
TT=475.306
T1=13.5
 Wrong Opt.
f=51
TT=245.427
T1=5.4
 OPTIMUM
f=1
TT=230.01
T1=45.63
 MSAT (TO)
f=4
TT=1800.28
T1=1180.8
 MSAT
f=1
TT=1790.23
T1=1137.25
 MSAT (TO)
f=4
TT=1802.12
T1=1800.07
 MSAT (TO)
f=3
TT=1800.23
T1=867.91
 OPTIMUM
f=1
TT=59.668
T1=59.67
 Wrong UNSAT

TT=49.268
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/
namasivayam/tsp/
normalized-t3002.11tsp11.1900567024--soft-0-100-0.wbo 		MOPT
f=3
TT=231.935
T1=30.36
 OPTIMUM
f=3
TT=858.132
T1=158.21
 OPTIMUM
f=3
TT=481.949
T1=216.94
 OPTIMUM
f=3
TT=1071.55
T1=66.46
 MSAT (TO)
f=312
TT=1800.17
T1=1621.36
 MSAT (TO)
f=47
TT=1800.56
T1=30.6
 Wrong Opt.
f=47
TT=1074.22
T1=17.36
 OPTIMUM
f=3
TT=231.935
T1=30.36
 MSAT (TO)
f=5
TT=1800.49
T1=1697.39
 MSAT
f=3
TT=1790.31
T1=1160.77
 MSAT (TO)
f=4
TT=1802.14
T1=1800.08
 MSAT (TO)
f=214
TT=1800.81
T1=1798.91
 OPTIMUM
f=3
TT=380.593
T1=380.56
 Wrong UNSAT

TT=76.927
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/
namasivayam/tsp/
normalized-t3002.11tsp11.1900567135--soft-0-100-0.wbo 		MOPT
f=1
TT=33.836
T1=10.22
 OPTIMUM
f=1
TT=1360.99
T1=345.85
 OPTIMUM
f=1
TT=1495.76
T1=1239.77
 OPTIMUM
f=1
TT=1027.1
T1=102.28
 MSAT (TO)
f=321
TT=1800.18
T1=1383.21
 Wrong Opt.
f=33
TT=1567.41
T1=29.64
 Wrong Opt.
f=33
TT=664.123
T1=12.95
 OPTIMUM
f=1
TT=33.836
T1=10.22
 MSAT (TO)
f=4
TT=1800.38
T1=916.79
 MSAT
f=4
TT=1790.29
T1=1729.51
 MSAT (TO)
f=1
TT=1802.13
T1=1800.09
 MSAT (TO)
f=46
TT=1800.46
T1=1414.06
 OPTIMUM
f=1
TT=70.286
T1=70.27
 Wrong UNSAT

TT=57.618
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/
namasivayam/tsp/
normalized-t3002.11tsp11.1900567985--soft-0-100-0.wbo 		MOPT
f=1
TT=513.52
T1=13.27
 ? (TO)

TT=1800.06

 MSAT (TO)
f=1
TT=1800.07
T1=69.83
 MSAT (TO)
f=1
TT=1800.06
T1=67.63
 MSAT (TO)
f=349
TT=1800.25
T1=1686.62
 MSAT (TO)
f=27
TT=1800.3
T1=36.64
 Wrong Opt.
f=27
TT=1708.35
T1=22.14
 OPTIMUM
f=1
TT=1573.91
T1=13.27
 MSAT (TO)
f=1
TT=1800.32
T1=935.44
 MSAT
f=1
TT=1790.22
T1=931.59
 MSAT (TO)
f=1
TT=1802.15
T1=1800.06
 MSAT (TO)
f=1
TT=1800.24
T1=386.61
 OPTIMUM
f=1
TT=513.52
T1=513.46
 Wrong UNSAT

TT=521.454
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/
namasivayam/tsp/
normalized-t3002.11tsp11.1900568186--soft-0-100-0.wbo 		MOPT
f=3
TT=307.459
T1=65.54
 OPTIMUM
f=3
TT=1095.43
T1=298.97
 OPTIMUM
f=3
TT=468.285
T1=223.23
 OPTIMUM
f=3
TT=529.63
T1=215.17
 MSAT (TO)
f=530
TT=1800.23
T1=1520.75
 Wrong Opt.
f=12
TT=888.406
T1=91.89
 Wrong Opt.
f=12
TT=369.232
T1=71.04
 OPTIMUM
f=3
TT=353.74
T1=65.54
 MSAT (TO)
f=7
TT=1800.45
T1=1773.75
 MSAT
f=7
TT=1790.35
T1=777.13
 MSAT (TO)
f=5
TT=1802.13
T1=1800.08
 MSAT (TO)
f=14
TT=1800.35
T1=1413.74
 OPTIMUM
f=3
TT=307.459
T1=307.42
 Wrong UNSAT

TT=57.965
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/
namasivayam/tsp/
normalized-t3002.11tsp11.1900568706--soft-0-100-0.wbo 		MOPT
f=1
TT=147.368
T1=21.64
 OPTIMUM
f=1
TT=1020.49
T1=197.16
 OPTIMUM
f=1
TT=981.979
T1=224.27
 OPTIMUM
f=1
TT=1045.75
T1=109.18
 MSAT (TO)
f=335
TT=1800.19
T1=1426.98
 Wrong Opt.
f=4
TT=966.585
T1=40.61
 Wrong Opt.
f=4
TT=416.932
T1=26.77
 OPTIMUM
f=1
TT=499.254
T1=21.64
 MSAT (TO)
f=1
TT=1800.32
T1=1706.47
 MSAT
f=2
TT=1790.29
T1=730.82
 MSAT (TO)
f=4
TT=1802.11
T1=1800.08
 MSAT (TO)
f=4
TT=1800.31
T1=828.57
 OPTIMUM
f=1
TT=147.368
T1=147.34
 Wrong UNSAT

TT=106.807
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/
namasivayam/tsp/
normalized-t3002.11tsp11.1900569834--soft-0-100-0.wbo 		MOPT
f=4
TT=776.621
T1=30.21
 OPTIMUM
f=4
TT=1230.31
T1=276.36
 OPTIMUM
f=4
TT=1121.82
T1=262.74
 OPTIMUM
f=4
TT=1132.51
T1=340.94
 MSAT (TO)
f=200
TT=1800.16
T1=1413.22
 Wrong Opt.
f=15
TT=1319.21
T1=349.22
 Wrong Opt.
f=15
TT=562.364
T1=298.15
 OPTIMUM
f=4
TT=776.621
T1=30.21
 MSAT (TO)
f=8
TT=1800.43
T1=621.18
 MSAT
f=5
TT=1790.27
T1=1224.7
 MSAT (TO)
f=6
TT=1802.13
T1=1800.09
 MSAT (TO)
f=78
TT=1800.72
T1=235.79
 OPTIMUM
f=4
TT=864.369
T1=864.29
 Wrong UNSAT

TT=77.742
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/
namasivayam/tsp/
normalized-t3002.11tsp11.1900570242--soft-0-100-0.wbo 		MOPT
f=5
TT=390.912
T1=114.35
 OPTIMUM
f=5
TT=697.557
T1=182.91
 OPTIMUM
f=5
TT=1065.51
T1=187.71
 OPTIMUM
f=5
TT=1170.83
T1=347.12
 MSAT (TO)
f=225
TT=1800.2
T1=1678.22
 MSAT (TO)
f=37
TT=1800.21
T1=28.59
 Wrong Opt.
f=37
TT=1023.52
T1=13.26
 OPTIMUM
f=5
TT=390.912
T1=114.35
 MSAT (TO)
f=10
TT=1800.36
T1=776.89
 MSAT
f=7
TT=1790.29
T1=1052.58
 MSAT (TO)
f=6
TT=1802.11
T1=1800.09
 MSAT (TO)
f=17
TT=1800.35
T1=1760.63
 OPTIMUM
f=5
TT=632.908
T1=632.85
 Wrong UNSAT

TT=65.165
Bench nameBest resultspb_cplex
2010-07-01
(complete)		PB/CT
0.1
(complete)		PB/CT
0.1 fixed
(complete)		SAT4J PB CuttingPlanes
2.2.0 2010-05-26
(complete)		SAT4J PB RES // CP
2.2.0 2010-05-31
(complete)		SAT4J PB Resolution
2.2.0 2010-05-26
(complete)		SAT4J PB Resolution
2.2.1
(complete)		SCIPclp
SCIP 1.2.1.2 with Clp 1.11.1 (Release Version) as LP solver
(complete)		SCIPclp
SCIP 1.2.1.3 with Clp 1.11.1 (Release Version) as LP solver
(complete)		SCIPnone
SCIP 1.2.1.2 without any LP solver
(complete)		SCIPspx
SCIP 1.2.1.2 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver
(complete)		wbo
1.4a
(complete)		wbo
1.4b
(complete)
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/
namasivayam/tsp/
normalized-t3002.11tsp11.1900571132--soft-0-100-0.wbo 		MOPT
f=1
TT=214.202
T1=19.37
 OPTIMUM
f=1
TT=1791.57
T1=323.21
 OPTIMUM
f=1
TT=1035.94
T1=76.13
 OPTIMUM
f=1
TT=1149.46
T1=19.37
 MSAT (TO)
f=146
TT=1800.23
T1=1669.93
 Wrong Opt.
f=13
TT=1229.22
T1=12.5
 Wrong Opt.
f=13
TT=511.032
T1=2
 OPTIMUM
f=1
TT=728.837
T1=43.43
 MSAT (TO)
f=1
TT=1800.27
T1=533.3
 MSAT
f=1
TT=1790.28
T1=568.49
 MSAT (TO)
f=1
TT=1800.54
T1=1369.38
 MSAT (TO)
f=3
TT=1800.31
T1=1531.78
 OPTIMUM
f=1
TT=214.202
T1=214.17
 Wrong UNSAT

TT=141.271
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/
namasivayam/tsp/
normalized-t3002.11tsp11.1900571761--soft-0-100-0.wbo 		MOPT
f=2
TT=474.358
T1=46.33
 OPTIMUM
f=2
TT=1651.53
T1=296.13
 OPTIMUM
f=2
TT=1148
T1=68.8
 MSAT (TO)
f=2
TT=1800.07
T1=46.33
 MSAT (TO)
f=296
TT=1800.27
T1=1189.88
 Wrong Opt.
f=8
TT=1775.15
T1=13.48
 Wrong Opt.
f=8
TT=701.75
T1=5.9
 OPTIMUM
f=2
TT=756.059
T1=77.72
 MSAT (TO)
f=6
TT=1800.28
T1=1590.18
 MSAT
f=5
TT=1790.24
T1=281.07
 MSAT (TO)
f=3
TT=1802.11
T1=1800.06
 MSAT (TO)
f=12
TT=1800.31
T1=1711.97
 OPTIMUM
f=2
TT=474.358
T1=474.31
 Wrong UNSAT

TT=351.21
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/
namasivayam/tsp/
normalized-t3002.11tsp11.1900573137--soft-0-100-0.wbo 		MOPT
f=1
TT=205.929
T1=13.25
 ? (TO)

TT=1800.27

 MSAT (TO)
f=1
TT=1800.05
T1=53.87
 OPTIMUM
f=1
TT=1089.64
T1=79.31
 MSAT (TO)
f=386
TT=1800.25
T1=1421.16
 MSAT (TO)
f=20
TT=1800.35
T1=22.55
 Wrong Opt.
f=20
TT=1386.4
T1=10.96
 OPTIMUM
f=1
TT=749.886
T1=13.25
 MSAT (TO)
f=1
TT=1800.25
T1=403.55
 MSAT
f=1
TT=1790.27
T1=753.63
 MSAT (TO)
f=2
TT=1802.15
T1=324.59
 MSAT (TO)
f=1
TT=1800.27
T1=191.87
 OPTIMUM
f=1
TT=205.929
T1=205.9
 Wrong UNSAT

TT=389.61
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/
namasivayam/tsp/
normalized-t3002.11tsp11.1900573901--soft-0-100-0.wbo 		MOPT
f=1
TT=154.84
T1=19.22
 OPTIMUM
f=1
TT=1745.06
T1=337.03
 OPTIMUM
f=1
TT=1080.5
T1=31.2
 OPTIMUM
f=1
TT=1174.77
T1=36.45
 MSAT (TO)
f=270
TT=1800.17
T1=1187.87
 Wrong Opt.
f=8
TT=1149.29
T1=27.6
 Wrong Opt.
f=8
TT=509.347
T1=12.44
 OPTIMUM
f=1
TT=373.481
T1=19.22
 MSAT (TO)
f=1
TT=1800.23
T1=1684.93
 MSAT
f=3
TT=1790.29
T1=1216.52
 MSAT (TO)
f=1
TT=1802.14
T1=1800.07
 MSAT (TO)
f=1
TT=1800.23
T1=1264.14
 OPTIMUM
f=1
TT=154.84
T1=154.82
 Wrong UNSAT

TT=325.354
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/
namasivayam/tsp/
normalized-t3002.11tsp11.1900574864--soft-0-100-0.wbo 		MOPT
f=1
TT=67.944
T1=15.27
 ? (TO)

TT=1800.18

 OPTIMUM
f=1
TT=1015.82
T1=14.48
 OPTIMUM
f=1
TT=1016.13
T1=25.58
 MSAT (TO)
f=352
TT=1800.2
T1=1445.87
 MSAT (TO)
f=20
TT=1800.3
T1=27.57
 Wrong Opt.
f=20
TT=1349.38
T1=15.15
 OPTIMUM
f=1
TT=67.944
T1=15.27
 MSAT (TO)
f=1
TT=1800.25
T1=146.41
 MSAT
f=1
TT=1790.23
T1=1076.75
 MSAT (TO)
f=1
TT=1802.16
T1=1800.06
 MSAT (TO)
f=1
TT=1800.22
T1=64.07
 OPTIMUM
f=1
TT=102.202
T1=102.2
 Wrong UNSAT

TT=99.668
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/
namasivayam/tsp/
normalized-t3002.11tsp11.1900575442--soft-0-100-0.wbo 		MOPT
f=1
TT=30.125
T1=5.94
 ? (TO)

TT=1800.18

 OPTIMUM
f=1
TT=472.492
T1=32.92
 OPTIMUM
f=1
TT=1064.83
T1=13.75
 MSAT (TO)
f=226
TT=1800.17
T1=1675.62
 Wrong Opt.
f=19
TT=533.647
T1=16.56
 Wrong Opt.
f=19
TT=242.054
T1=4.4
 OPTIMUM
f=1
TT=30.125
T1=5.94
 MSAT (TO)
f=2
TT=1800.23
T1=619.98
 MSAT
f=2
TT=1790.28
T1=1706.24
 MSAT (TO)
f=1
TT=1802.14
T1=1800.07
 MSAT (TO)
f=2
TT=1800.24
T1=1032.1
 OPTIMUM
f=1
TT=134.437
T1=134.49
 Wrong UNSAT

TT=86.555
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/
namasivayam/tsp/
normalized-t3002.11tsp11.1900576151--soft-0-100-0.wbo 		MOPT
f=1
TT=249.227
T1=7.41
 ? (TO)

TT=1800.33

 MSAT (TO)
f=1
TT=1800.06
T1=29.59
 MSAT (TO)
f=1
TT=1800.02
T1=27.82
 MSAT (TO)
f=298
TT=1800.18
T1=1650.54
 MSAT (TO)
f=33
TT=1800.21
T1=14.51
 MSAT (TO)
f=33
TT=1800.16
T1=3.35
 OPTIMUM
f=1
TT=1088.28
T1=7.41
 MSAT (TO)
f=1
TT=1800.25
T1=369.72
 MSAT
f=1
TT=1790.23
T1=178.34
 MSAT (TO)
f=1
TT=1802.17
T1=1800.09
 MSAT (TO)
f=1
TT=1800.22
T1=317.55
 OPTIMUM
f=1
TT=249.227
T1=249.19
 Wrong UNSAT

TT=424.555
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/
namasivayam/tsp/
normalized-t3002.11tsp11.1900576360--soft-0-100-0.wbo 		MOPT
f=2
TT=287.393
T1=30.42
 OPTIMUM
f=2
TT=850.716
T1=228.1
 OPTIMUM
f=2
TT=979.971
T1=113.88
 OPTIMUM
f=2
TT=1233.12
T1=30.42
 MSAT (TO)
f=282
TT=1800.22
T1=1358.54
 MSAT (TO)
f=20
TT=1800.28
T1=28.61
 Wrong Opt.
f=20
TT=1056.3
T1=11.23
 OPTIMUM
f=2
TT=513.01
T1=124.72
 MSAT (TO)
f=4
TT=1800.24
T1=1665.23
 MSAT
f=3
TT=1790.23
T1=228.19
 MSAT (TO)
f=3
TT=1802.16
T1=1800.07
 MSAT (TO)
f=8
TT=1800.23
T1=1475.94
 OPTIMUM
f=2
TT=287.393
T1=287.36
 Wrong UNSAT

TT=80.922
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/
namasivayam/tsp/
normalized-t3002.11tsp11.1900576927--soft-0-100-0.wbo 		MOPT
f=1
TT=278.258
T1=9.44
 ? (TO)

TT=1800.44

 MSAT (TO)
f=1
TT=1800.06
T1=20.49
 OPTIMUM
f=1
TT=1175.46
T1=10.9
 MSAT (TO)
f=98
TT=1800.21
T1=1650.62
 MSAT (TO)
f=9
TT=1800.25
T1=14.54
 Wrong Opt.
f=9
TT=1708.52
T1=3.24
 OPTIMUM
f=1
TT=1221.86
T1=9.44
 MSAT (TO)
f=1
TT=1800.28
T1=453.03
 MSAT
f=1
TT=1790.21
T1=257.88
 MSAT (TO)
f=1
TT=1802.15
T1=1800.06
 MSAT (TO)
f=1
TT=1800.19
T1=645.19
 OPTIMUM
f=1
TT=278.258
T1=278.22
 Wrong UNSAT

TT=378.55
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/
namasivayam/tsp/
normalized-t3002.11tsp11.1900577940--soft-0-100-0.wbo 		MOPT
f=1
TT=510.174
T1=7.38
 ? (TO)

TT=1800.38

 MSAT (TO)
f=1
TT=1800.02
T1=52.72
 MSAT (TO)
f=1
TT=1800.05
T1=25.79
 MSAT (TO)
f=249
TT=1800.18
T1=1667.33
 MSAT (TO)
f=19
TT=1800.36
T1=23.63
 Wrong Opt.
f=19
TT=1341.32
T1=5.7
 OPTIMUM
f=1
TT=757.14
T1=7.38
 MSAT (TO)
f=1
TT=1800.28
T1=222.05
 MSAT
f=1
TT=1790.17
T1=127.33
 MSAT (TO)
f=1
TT=1801.58
T1=775.03
 MSAT (TO)
f=1
TT=1800.21
T1=224.33
 OPTIMUM
f=1
TT=510.174
T1=510.11
 Wrong UNSAT

TT=471.137
Bench nameBest resultspb_cplex
2010-07-01
(complete)		PB/CT
0.1
(complete)		PB/CT
0.1 fixed
(complete)		SAT4J PB CuttingPlanes
2.2.0 2010-05-26
(complete)		SAT4J PB RES // CP
2.2.0 2010-05-31
(complete)		SAT4J PB Resolution
2.2.0 2010-05-26
(complete)		SAT4J PB Resolution
2.2.1
(complete)		SCIPclp
SCIP 1.2.1.2 with Clp 1.11.1 (Release Version) as LP solver
(complete)		SCIPclp
SCIP 1.2.1.3 with Clp 1.11.1 (Release Version) as LP solver
(complete)		SCIPnone
SCIP 1.2.1.2 without any LP solver
(complete)		SCIPspx
SCIP 1.2.1.2 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver
(complete)		wbo
1.4a
(complete)		wbo
1.4b
(complete)
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/
namasivayam/tsp/
normalized-t3002.11tsp11.1900579996--soft-0-100-0.wbo 		MOPT
f=1
TT=374.792
T1=10.09
 ? (TO)

TT=1800.58

 MSAT (TO)
f=1
TT=1800.07
T1=38.33
 MSAT (TO)
f=1
TT=1800.05
T1=19.12
 MSAT (TO)
f=204
TT=1800.21
T1=1639.51
 MSAT (TO)
f=13
TT=1800.69
T1=13.52
 Wrong Opt.
f=13
TT=1269.02
T1=3.61
 OPTIMUM
f=1
TT=774.288
T1=10.09
 MSAT (TO)
f=1
TT=1800.36
T1=520.25
 MSAT
f=1
TT=1790.19
T1=762.22
 MSAT (TO)
f=2
TT=1802.16
T1=300.16
 MSAT (TO)
f=2
TT=1800.26
T1=1201.99
 OPTIMUM
f=1
TT=374.792
T1=374.74
 Wrong UNSAT

TT=419.543
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/
namasivayam/tsp/
normalized-t3002.11tsp11.1900581320--soft-0-100-0.wbo 		MOPT
f=1
TT=254.891
T1=8.71
 ? (TO)

TT=1800.11

 OPTIMUM
f=1
TT=1061.15
T1=16.92
 OPTIMUM
f=1
TT=1115.71
T1=25.65
 MSAT (TO)
f=282
TT=1800.26
T1=1441.15
 MSAT (TO)
f=13
TT=1800.2
T1=13.54
 Wrong Opt.
f=13
TT=858.394
T1=2.46
 OPTIMUM
f=1
TT=729.426
T1=8.71
 MSAT (TO)
f=1
TT=1800.28
T1=592.92
 MSAT
f=1
TT=1790.27
T1=612.99
 MSAT (TO)
f=1
TT=1802.1
T1=1800.09
 MSAT (TO)
f=1
TT=1800.23
T1=814.78
 OPTIMUM
f=1
TT=254.891
T1=254.85
 Wrong UNSAT

TT=163.552
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/
namasivayam/tsp/
normalized-t3002.11tsp11.1900582300--soft-0-100-0.wbo 		MOPT
f=1
TT=385.443
T1=25.37
 ? (TO)

TT=1800.27

 OPTIMUM
f=1
TT=1045.5
T1=29.64
 OPTIMUM
f=1
TT=1232.98
T1=53.95
 MSAT (TO)
f=192
TT=1800.11
T1=1085.48
 MSAT (TO)
f=15
TT=1800.33
T1=24.63
 Wrong Opt.
f=15
TT=1051.25
T1=6.92
 OPTIMUM
f=1
TT=541.671
T1=25.37
 MSAT (TO)
f=1
TT=1800.33
T1=449.17
 MSAT
f=1
TT=1790.28
T1=585.33
 MSAT (TO)
f=1
TT=1802.15
T1=1800.05
 MSAT (TO)
f=2
TT=1800.24
T1=392.56
 OPTIMUM
f=1
TT=385.443
T1=385.4
 Wrong UNSAT

TT=197.014
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/
namasivayam/tsp/
normalized-t3002.11tsp11.1900583053--soft-0-100-0.wbo 		MOPT
f=1
TT=322.817
T1=4.36
 ? (TO)

TT=1800.35

 MSAT (TO)
f=1
TT=1800.02
T1=33.08
 MSAT (TO)
f=1
TT=1800.04
T1=69.75
 MSAT (TO)
f=134
TT=1800.14
T1=1704.32
 MSAT (TO)
f=9
TT=1800.18
T1=11.51
 Wrong Opt.
f=9
TT=1124.56
T1=1.9
 OPTIMUM
f=1
TT=724.599
T1=4.36
 MSAT (TO)
f=1
TT=1800.29
T1=432.19
 MSAT
f=1
TT=1790.24
T1=1045.03
 MSAT (TO)
f=1
TT=1802.15
T1=1800.08
 MSAT (TO)
f=1
TT=1800.26
T1=808.4
 OPTIMUM
f=1
TT=322.817
T1=322.77
 Wrong UNSAT

TT=403.91
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/
namasivayam/tsp/
normalized-t3002.11tsp11.1900584106--soft-0-100-0.wbo 		MOPT
f=7
TT=618.94
T1=61.95
 OPTIMUM
f=7
TT=864.875
T1=182.22
 MSAT (TO)
f=7
TT=1800.03
T1=226.74
 MSAT (TO)
f=7
TT=1800.06
T1=73.66
 MSAT (TO)
f=227
TT=1800.22
T1=1664.23
 Wrong Opt.
f=24
TT=1342.88
T1=23.56
 Wrong Opt.
f=24
TT=555.205
T1=7.52
 OPTIMUM
f=7
TT=618.94
T1=61.95
 MSAT (TO)
f=11
TT=1800.38
T1=1573.9
 MSAT
f=8
TT=1790.27
T1=1623.15
 MSAT (TO)
f=7
TT=1802.14
T1=1800.09
 MSAT (TO)
f=10
TT=1800.29
T1=1130.51
 OPTIMUM
f=7
TT=1429.04
T1=1428.9
 Wrong UNSAT

TT=24.234
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/
namasivayam/tsp/
normalized-t3002.11tsp11.1900584219--soft-0-100-0.wbo 		MOPT
f=2
TT=325.622
T1=57.91
 OPTIMUM
f=2
TT=894.772
T1=196.62
 OPTIMUM
f=2
TT=1006.13
T1=65.15
 OPTIMUM
f=2
TT=1120.91
T1=77.47
 MSAT (TO)
f=325
TT=1800.19
T1=1206.09
 MSAT (TO)
f=27
TT=1800.43
T1=350.06
 Wrong Opt.
f=27
TT=831.869
T1=284.1
 OPTIMUM
f=2
TT=325.622
T1=57.91
 MSAT (TO)
f=5
TT=1800.41
T1=1317.38
 MSAT
f=37
TT=1790.63
T1=1695.69
 MSAT (TO)
f=3
TT=1802.11
T1=1800.07
 MSAT (TO)
f=83
TT=1800.45
T1=1491.9
 OPTIMUM
f=2
TT=471.682
T1=471.63
 Wrong UNSAT

TT=164.899
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/
namasivayam/tsp/
normalized-t3002.11tsp11.1900667195--soft-0-100-0.wbo 		MOPT
f=1
TT=210.262
T1=15.72
 ? (TO)

TT=1800.27

 MSAT (TO)
f=1
TT=1800.05
T1=78.84
 MSAT (TO)
f=1
TT=1800.06
T1=41.74
 MSAT (TO)
f=333
TT=1800.22
T1=1639.72
 MSAT (TO)
f=15
TT=1800.51
T1=22.61
 Wrong Opt.
f=15
TT=1136.16
T1=9.32
 OPTIMUM
f=1
TT=1109.64
T1=15.72
 MSAT (TO)
f=1
TT=1800.35
T1=577.74
 MSAT
f=1
TT=1790.25
T1=570.81
 MSAT (TO)
f=1
TT=1802.15
T1=1800.08
 MSAT (TO)
f=2
TT=1800.27
T1=137.43
 OPTIMUM
f=1
TT=210.262
T1=210.23
 Wrong UNSAT

TT=412.962
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/
namasivayam/tsp/
normalized-t3002.11tsp11.1900669797--soft-0-100-0.wbo 		MOPT
f=1
TT=146.332
T1=20.68
 ? (TO)

TT=1800.24

 OPTIMUM
f=1
TT=1062.54
T1=43.32
 OPTIMUM
f=1
TT=1088.32
T1=98.9
 MSAT (TO)
f=256
TT=1800.25
T1=1695.42
 MSAT (TO)
f=33
TT=1800.31
T1=27.56
 Wrong Opt.
f=33
TT=1323.7
T1=15.34
 OPTIMUM
f=1
TT=732.841
T1=20.68
 MSAT (TO)
f=3
TT=1800.41
T1=1224.07
 MSAT
f=6
TT=1790.37
T1=1753.31
 MSAT (TO)
f=1
TT=1802.15
T1=1800.07
 MSAT (TO)
f=1
TT=1800.25
T1=1518.1
 OPTIMUM
f=1
TT=146.332
T1=146.31
 Wrong UNSAT

TT=160.868
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/
namasivayam/tsp/
normalized-t3002.11tsp11.1900670167--soft-0-100-0.wbo 		MOPT
f=1
TT=209.658
T1=19.23
 OPTIMUM
f=1
TT=733.68
T1=204.61
 OPTIMUM
f=1
TT=486.435
T1=30.55
 OPTIMUM
f=1
TT=1064.25
T1=63.95
 MSAT (TO)
f=387
TT=1800.16
T1=760.4
 MSAT (TO)
f=20
TT=1800.62
T1=29.6
 Wrong Opt.
f=20
TT=768.255
T1=16.99
 OPTIMUM
f=1
TT=275.247
T1=19.23
 MSAT (TO)
f=4
TT=1800.23
T1=283.22
 MSAT
f=3
TT=1790.24
T1=1277.2
 MSAT (TO)
f=3
TT=1802.15
T1=1625.72
 MSAT (TO)
f=3
TT=1800.3
T1=634.51
 OPTIMUM
f=1
TT=209.658
T1=209.63
 Wrong UNSAT

TT=116.393
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/
namasivayam/tsp/
normalized-t3002.11tsp11.1900670234--soft-0-100-0.wbo 		MOPT
f=1
TT=488.736
T1=28.88
 ? (TO)

TT=1800.45

 MSAT (TO)
f=1
TT=1800.05
T1=71.29
 MSAT (TO)
f=1
TT=1800.04
T1=28.88
 MSAT (TO)
f=204
TT=1800.15
T1=1096.16
 MSAT (TO)
f=15
TT=1800.29
T1=18.57
 Wrong Opt.
f=15
TT=1211.56
T1=3.33
 OPTIMUM
f=1
TT=1052.46
T1=38.59
 MSAT (TO)
f=4
TT=1800.33
T1=1458.55
 MSAT
f=1
TT=1790.35
T1=777.35
 MSAT (TO)
f=3
TT=1802.14
T1=858.3
 MSAT (TO)
f=1
TT=1800.3
T1=915.98
 OPTIMUM
f=1
TT=488.736
T1=488.68
 Wrong UNSAT

TT=420.919
Bench nameBest resultspb_cplex
2010-07-01
(complete)		PB/CT
0.1
(complete)		PB/CT
0.1 fixed
(complete)		SAT4J PB CuttingPlanes
2.2.0 2010-05-26
(complete)		SAT4J PB RES // CP
2.2.0 2010-05-31
(complete)		SAT4J PB Resolution
2.2.0 2010-05-26
(complete)		SAT4J PB Resolution
2.2.1
(complete)		SCIPclp
SCIP 1.2.1.2 with Clp 1.11.1 (Release Version) as LP solver
(complete)		SCIPclp
SCIP 1.2.1.3 with Clp 1.11.1 (Release Version) as LP solver
(complete)		SCIPnone
SCIP 1.2.1.2 without any LP solver
(complete)		SCIPspx
SCIP 1.2.1.2 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver
(complete)		wbo
1.4a
(complete)		wbo
1.4b
(complete)
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/
namasivayam/tsp/
normalized-t3002.11tsp11.1900670675--soft-0-100-0.wbo 		MOPT
f=2
TT=39.172
T1=13.17
 OPTIMUM
f=2
TT=857.752
T1=262.28
 OPTIMUM
f=2
TT=1039.82
T1=22.86
 OPTIMUM
f=2
TT=1122.71
T1=20.84
 MSAT (TO)
f=308
TT=1800.17
T1=1676.22
 MSAT (TO)
f=51
TT=1800.14
T1=19.54
 Wrong Opt.
f=51
TT=1722.05
T1=9.36
 OPTIMUM
f=2
TT=39.172
T1=13.17
 MSAT (TO)
f=2
TT=1800.31
T1=651.57
 MSAT
f=3
TT=1790.28
T1=494.36
 MSAT (TO)
f=2
TT=1802.12
T1=1800.15
 MSAT (TO)
f=2
TT=1800.25
T1=283.18
 OPTIMUM
f=2
TT=224.62
T1=224.59
 Wrong UNSAT

TT=99.666
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110966483--soft-0-100-0.wbo 		MOPT
f=19
TT=0.14
T1=0.09
 OPTIMUM
f=19
TT=0.14
T1=0.09
 Wrong Opt.
f=41
TT=356.265
T1=53.7
 OPTIMUM
f=19
TT=174.472
T1=116.71
 MSAT (TO)
f=624
TT=1800.1
T1=1797.71
 Wrong Opt.
f=41
TT=72.662
T1=24.24
 Wrong Opt.
f=41
TT=25.483
T1=8.89
 OPTIMUM
f=19
TT=179.98
T1=168.04
 OPTIMUM
f=19
TT=24.93
T1=24.72
 OPTIMUM
f=19
TT=23.387
T1=23.19
 ? (exit code)

TT=57.499

 OPTIMUM
f=19
TT=38.986
T1=38.95
 OPTIMUM
f=19
TT=99.026
T1=99.01
 Wrong UNSAT

TT=2.019
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110966688--soft-0-100-0.wbo 		MOPT
f=9
TT=0.309
T1=0.16
 OPTIMUM
f=9
TT=0.309
T1=0.16
 OPTIMUM
f=9
TT=701.278
T1=262.37
 OPTIMUM
f=9
TT=51.892
T1=41.48
 MSAT (TO)
f=307
TT=1800.09
T1=1283.69
 OPTIMUM
f=9
TT=58.071
T1=48.32
 OPTIMUM
f=9
TT=21.968
T1=20.72
 OPTIMUM
f=9
TT=98.445
T1=41.5
 OPTIMUM
f=9
TT=20.113
T1=19.95
 OPTIMUM
f=9
TT=17.544
T1=17.45
 ? (exit code)

TT=87.116

 OPTIMUM
f=9
TT=3.413
T1=3.38
 OPTIMUM
f=9
TT=23.169
T1=23.16
 Wrong UNSAT

TT=2.582
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110967142--soft-0-100-0.wbo 		MOPT
f=9
TT=1.513
T1=0.67
 OPTIMUM
f=9
TT=1.513
T1=0.67
 OPTIMUM
f=9
TT=52.125
T1=6.46
 OPTIMUM
f=9
TT=110.384
T1=22.99
 MSAT (TO)
f=116
TT=1800.08
T1=1797.32
 OPTIMUM
f=9
TT=54.518
T1=22.25
 OPTIMUM
f=9
TT=25.805
T1=4.56
 OPTIMUM
f=9
TT=39.433
T1=17.1
 OPTIMUM
f=9
TT=58.071
T1=54.68
 OPTIMUM
f=9
TT=20.462
T1=16.16
 OPTIMUM
f=9
TT=1648.96
T1=559.03
 OPTIMUM
f=9
TT=13.02
T1=9.82
 OPTIMUM
f=9
TT=85.676
T1=85.66
 Wrong UNSAT

TT=11.727
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110967523--soft-0-100-0.wbo 		MOPT
f=3
TT=0.356
T1=0.46
 OPTIMUM
f=3
TT=0.356
T1=0.46
 Wrong Opt.
f=14
TT=118.819
T1=25.03
 OPTIMUM
f=3
TT=22.614
T1=3.64
 MSAT (TO)
f=635
TT=1800.17
T1=1796.71
 Wrong Opt.
f=14
TT=63.777
T1=33.27
 Wrong Opt.
f=14
TT=18.678
T1=5.68
 OPTIMUM
f=3
TT=57.321
T1=42.02
 OPTIMUM
f=3
TT=6.534
T1=5.88
 OPTIMUM
f=3
TT=4.791
T1=4.2
 MSAT (TO)
f=32
TT=1802.09
T1=1800
 OPTIMUM
f=3
TT=2.811
T1=2.23
 OPTIMUM
f=3
TT=20.711
T1=20.7
 Wrong UNSAT

TT=5.308
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110967729--soft-0-100-0.wbo 		MOPT
f=10
TT=0.25
T1=0.13
 OPTIMUM
f=10
TT=0.25
T1=0.13
 OPTIMUM
f=10
TT=26.579
T1=12.29
 OPTIMUM
f=10
TT=58.157
T1=11.49
 MSAT (TO)
f=20
TT=1800.17
T1=46.48
 Wrong Opt.
f=20
TT=31.287
T1=27.23
 Wrong Opt.
f=20
TT=15.571
T1=8.21
 OPTIMUM
f=10
TT=46.698
T1=45.27
 OPTIMUM
f=10
TT=1.764
T1=0.65
 OPTIMUM
f=10
TT=14.386
T1=13.78
 ? (exit code)

TT=30.085

 OPTIMUM
f=10
TT=3.125
T1=2.15
 OPTIMUM
f=10
TT=54.494
T1=54.49
 Wrong UNSAT

TT=2.067
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110968094--soft-0-100-0.wbo 		MOPT
f=9
TT=0.273
T1=0.14
 OPTIMUM
f=9
TT=0.273
T1=0.14
 OPTIMUM
f=9
TT=1518.91
T1=569.98
 OPTIMUM
f=9
TT=54.872
T1=40.24
 MSAT (TO)
f=594
TT=1800.16
T1=1797.71
 OPTIMUM
f=9
TT=62.953
T1=47.26
 OPTIMUM
f=9
TT=21.63
T1=17.17
 OPTIMUM
f=9
TT=54.467
T1=48.79
 OPTIMUM
f=9
TT=59.779
T1=58.5
 OPTIMUM
f=9
TT=30.484
T1=30.05
 ? (exit code)

TT=54.381

 OPTIMUM
f=9
TT=27.344
T1=26.48
 OPTIMUM
f=9
TT=46.722
T1=46.71
 Wrong UNSAT

TT=4.316
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110968561--soft-0-100-0.wbo 		MOPT
f=3
TT=0.164
T1=0.13
 OPTIMUM
f=3
TT=0.164
T1=0.13
 Wrong Opt.
f=14
TT=158.715
T1=40.96
 OPTIMUM
f=3
TT=53.023
T1=44.37
 MSAT (TO)
f=443
TT=1800.52
T1=1797.61
 Wrong Opt.
f=14
TT=33.696
T1=25.25
 Wrong Opt.
f=14
TT=15.695
T1=8.27
 OPTIMUM
f=3
TT=75.174
T1=71.66
 OPTIMUM
f=3
TT=14.782
T1=14.4
 OPTIMUM
f=3
TT=3.855
T1=3.76
 ? (exit code)

TT=166.673

 OPTIMUM
f=3
TT=6.922
T1=6.68
 OPTIMUM
f=3
TT=24.498
T1=24.49
 Wrong UNSAT

TT=4.863
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110968898--soft-0-100-0.wbo 		MOPT
f=3
TT=0.255
T1=0.15
 OPTIMUM
f=3
TT=0.255
T1=0.15
 Wrong Opt.
f=10
TT=106.123
T1=8.84
 OPTIMUM
f=3
TT=124.11
T1=27.2
 MSAT (TO)
f=10
TT=1800.14
T1=41.04
 Wrong Opt.
f=10
TT=62.048
T1=55.29
 Wrong Opt.
f=10
TT=15.433
T1=14.31
 OPTIMUM
f=3
TT=105.962
T1=96.45
 OPTIMUM
f=3
TT=3.796
T1=3.74
 OPTIMUM
f=3
TT=6.694
T1=6.66
 ? (exit code)

TT=14.687

 OPTIMUM
f=3
TT=2.956
T1=2.7
 OPTIMUM
f=3
TT=18.256
T1=18.25
 Wrong UNSAT

TT=4.705
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110969170--soft-0-100-0.wbo 		MOPT
f=17
TT=0.172
T1=0.11
 OPTIMUM
f=17
TT=0.172
T1=0.11
 Wrong Opt.
f=28
TT=1457.32
T1=547.83
 OPTIMUM
f=17
TT=114.222
T1=54.44
 MSAT (TO)
f=528
TT=1800.71
T1=1797.71
 Wrong Opt.
f=28
TT=66.606
T1=42.29
 Wrong Opt.
f=28
TT=49.043
T1=41.91
 OPTIMUM
f=17
TT=155.858
T1=144.13
 OPTIMUM
f=17
TT=39.684
T1=39.02
 OPTIMUM
f=17
TT=34.634
T1=34.55
 ? (exit code)

TT=200.918

 OPTIMUM
f=17
TT=41.731
T1=41.48
 ? (TO)

TT=1800.11

 Wrong UNSAT

TT=3.542
Bench nameBest resultspb_cplex
2010-07-01
(complete)		PB/CT
0.1
(complete)		PB/CT
0.1 fixed
(complete)		SAT4J PB CuttingPlanes
2.2.0 2010-05-26
(complete)		SAT4J PB RES // CP
2.2.0 2010-05-31
(complete)		SAT4J PB Resolution
2.2.0 2010-05-26
(complete)		SAT4J PB Resolution
2.2.1
(complete)		SCIPclp
SCIP 1.2.1.2 with Clp 1.11.1 (Release Version) as LP solver
(complete)		SCIPclp
SCIP 1.2.1.3 with Clp 1.11.1 (Release Version) as LP solver
(complete)		SCIPnone
SCIP 1.2.1.2 without any LP solver
(complete)		SCIPspx
SCIP 1.2.1.2 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver
(complete)		wbo
1.4a
(complete)		wbo
1.4b
(complete)
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110969577--soft-0-100-0.wbo 		MOPT
f=4
TT=0.228
T1=0.14
 OPTIMUM
f=4
TT=0.228
T1=0.14
 MSAT (TO)
f=28
TT=1800.06
T1=1568.38
 OPTIMUM
f=4
TT=246.409
T1=124.03
 MSAT (TO)
f=269
TT=1800.13
T1=729.13
 Wrong Opt.
f=28
TT=75.281
T1=49.31
 Wrong Opt.
f=28
TT=30.176
T1=21.66
 OPTIMUM
f=4
TT=232.891
T1=229.74
 OPTIMUM
f=4
TT=12.142
T1=11.77
 OPTIMUM
f=4
TT=23.409
T1=23.25
 MSAT (TO)
f=46
TT=1802.04
T1=1517.49
 OPTIMUM
f=4
TT=3.44
T1=3.32
 OPTIMUM
f=4
TT=28.178
T1=28.17
 Wrong UNSAT

TT=4.913
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110969860--soft-0-100-0.wbo 		MOPT
f=1
TT=0.139
T1=0.48
 OPTIMUM
f=1
TT=0.139
T1=0.48
 MSAT (TO)
f=14
TT=1800.03
T1=643.47
 OPTIMUM
f=1
TT=74.217
T1=35.53
 MSAT (TO)
f=296
TT=1800.2
T1=1797.71
 Wrong Opt.
f=14
TT=121.122
T1=87.54
 Wrong Opt.
f=14
TT=45.695
T1=37.32
 OPTIMUM
f=1
TT=57.131
T1=50.24
 OPTIMUM
f=1
TT=8.672
T1=8.32
 OPTIMUM
f=1
TT=17
T1=16.72
 ? (exit code)

TT=155.14

 OPTIMUM
f=1
TT=9.346
T1=9.19
 OPTIMUM
f=1
TT=9.049
T1=9.04
 Wrong UNSAT

TT=6.543
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110970444--soft-0-100-0.wbo 		MOPT
f=8
TT=0.257
T1=0.13
 OPTIMUM
f=8
TT=0.257
T1=0.13
 Wrong Opt.
f=10
TT=112.013
T1=25.46
 OPTIMUM
f=8
TT=117.651
T1=18.2
 MSAT (TO)
f=548
TT=1800.15
T1=1798.21
 Wrong Opt.
f=13
TT=106.446
T1=84.38
 Wrong Opt.
f=13
TT=27.996
T1=18.46
 OPTIMUM
f=8
TT=40.702
T1=29.05
 OPTIMUM
f=8
TT=7.232
T1=6.99
 OPTIMUM
f=8
TT=9.142
T1=7.32
 MSAT (TO)
f=8
TT=1800.38
T1=595.78
 OPTIMUM
f=8
TT=7.417
T1=6.16
 OPTIMUM
f=8
TT=71.791
T1=71.78
 Wrong UNSAT

TT=2.266
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110970631--soft-0-100-0.wbo 		MOPT
f=16
TT=0.302
T1=0.16
 OPTIMUM
f=16
TT=0.302
T1=0.16
 Wrong Opt.
f=27
TT=391.363
T1=128.49
 OPTIMUM
f=16
TT=125.378
T1=71.02
 MSAT (TO)
f=258
TT=1800.13
T1=1798.21
 Wrong Opt.
f=27
TT=80.471
T1=49.29
 Wrong Opt.
f=27
TT=33.71
T1=29.05
 OPTIMUM
f=16
TT=116.363
T1=103.74
 OPTIMUM
f=16
TT=12.942
T1=12.82
 OPTIMUM
f=16
TT=12.51
T1=12.28
 ? (exit code)

TT=51.05

 OPTIMUM
f=16
TT=4.791
T1=4.65
 OPTIMUM
f=16
TT=572.276
T1=572.29
 Wrong UNSAT

TT=2.988
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110971363--soft-0-100-0.wbo 		MOPT
f=4
TT=0.291
T1=0.15
 OPTIMUM
f=4
TT=0.291
T1=0.15
 Wrong Opt.
f=14
TT=840.874
T1=309.02
 OPTIMUM
f=4
TT=102.584
T1=97.59
 MSAT (TO)
f=569
TT=1800.92
T1=1797.42
 Wrong Opt.
f=14
TT=50.772
T1=47.31
 Wrong Opt.
f=14
TT=21.677
T1=17.53
 OPTIMUM
f=4
TT=103.661
T1=85.6
 OPTIMUM
f=4
TT=5.843
T1=5.71
 OPTIMUM
f=4
TT=13.4
T1=13.32
 ? (exit code)

TT=59.658

 OPTIMUM
f=4
TT=9.553
T1=9.45
 OPTIMUM
f=4
TT=38.386
T1=38.38
 Wrong UNSAT

TT=4.171
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110971697--soft-0-100-0.wbo 		MOPT
f=1
TT=0.13
T1=0.12
 OPTIMUM
f=1
TT=0.13
T1=0.12
 Wrong Opt.
f=7
TT=49.001
T1=10.16
 OPTIMUM
f=1
TT=19.48
T1=17.43
 MSAT (TO)
f=766
TT=1800.61
T1=1797.11
 Wrong Opt.
f=7
TT=31.894
T1=26.25
 Wrong Opt.
f=7
TT=15.247
T1=5.7
 OPTIMUM
f=1
TT=39.659
T1=37.11
 OPTIMUM
f=1
TT=6.24
T1=6.02
 OPTIMUM
f=1
TT=7.124
T1=7.07
 OPTIMUM
f=1
TT=318.788
T1=318.74
 OPTIMUM
f=1
TT=5.505
T1=5.33
 OPTIMUM
f=1
TT=6.847
T1=6.84
 Wrong UNSAT

TT=4.405
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110972154--soft-0-100-0.wbo 		MOPT
f=1
TT=0.238
T1=0.17
 OPTIMUM
f=1
TT=0.238
T1=0.17
 Wrong Opt.
f=7
TT=53.19
T1=11.34
 OPTIMUM
f=1
TT=48.784
T1=25.53
 MSAT (TO)
f=34
TT=1801.13
T1=370.9
 Wrong Opt.
f=7
TT=50.387
T1=42.31
 Wrong Opt.
f=7
TT=23.61
T1=20.59
 OPTIMUM
f=1
TT=53.348
T1=51.86
 OPTIMUM
f=1
TT=1.814
T1=1.74
 OPTIMUM
f=1
TT=1.053
T1=0.91
 ? (exit code)

TT=15.624

 OPTIMUM
f=1
TT=2.601
T1=2.52
 OPTIMUM
f=1
TT=5.818
T1=5.82
 Wrong UNSAT

TT=6.117
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110972763--soft-0-100-0.wbo 		MOPT
f=1
TT=0.358
T1=0.26
 OPTIMUM
f=1
TT=0.358
T1=0.26
 Wrong Opt.
f=14
TT=118.761
T1=50.58
 OPTIMUM
f=1
TT=116.43
T1=87.26
 MSAT (TO)
f=162
TT=1800.09
T1=1650.65
 Wrong Opt.
f=14
TT=62.099
T1=36.27
 Wrong Opt.
f=14
TT=56.807
T1=20.28
 OPTIMUM
f=1
TT=101.747
T1=100.31
 OPTIMUM
f=1
TT=7.853
T1=7.67
 OPTIMUM
f=1
TT=8.237
T1=8.16
 ? (exit code)

TT=228.061

 OPTIMUM
f=1
TT=9.676
T1=9.65
 OPTIMUM
f=1
TT=9.754
T1=9.75
 Wrong UNSAT

TT=4.66
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110973163--soft-0-100-0.wbo 		MOPT
f=16
TT=0.143
T1=0.11
 OPTIMUM
f=16
TT=0.143
T1=0.11
 Wrong Opt.
f=24
TT=355.715
T1=210.06
 OPTIMUM
f=16
TT=259.185
T1=90.93
 MSAT (TO)
f=734
TT=1800.59
T1=1797.81
 Wrong Opt.
f=24
TT=194.762
T1=172.54
 Wrong Opt.
f=24
TT=35.849
T1=34.2
 OPTIMUM
f=16
TT=252.04
T1=229.38
 OPTIMUM
f=16
TT=6.588
T1=6.28
 OPTIMUM
f=16
TT=12.027
T1=11.87
 ? (exit code)

TT=105.855

 OPTIMUM
f=16
TT=4.321
T1=3.98
 ? (TO)

TT=1800.14

 Wrong UNSAT

TT=7.261
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110973364--soft-0-100-0.wbo 		MOPT
f=2
TT=0.766
T1=0.71
 OPTIMUM
f=2
TT=0.766
T1=0.71
 Wrong Opt.
f=7
TT=52.138
T1=5.07
 OPTIMUM
f=2
TT=43.456
T1=19.88
 MSAT (TO)
f=650
TT=1800.13
T1=1797.81
 Wrong Opt.
f=7
TT=25.061
T1=18.22
 Wrong Opt.
f=7
TT=9.045
T1=2.94
 OPTIMUM
f=2
TT=37.349
T1=35.44
 OPTIMUM
f=2
TT=4.947
T1=4.71
 OPTIMUM
f=2
TT=5.207
T1=5.1
 ? (exit code)

TT=15.122

 OPTIMUM
f=2
TT=2.803
T1=2.72
 OPTIMUM
f=2
TT=7.898
T1=7.89
 Wrong UNSAT

TT=2.593
Bench nameBest resultspb_cplex
2010-07-01
(complete)		PB/CT
0.1
(complete)		PB/CT
0.1 fixed
(complete)		SAT4J PB CuttingPlanes
2.2.0 2010-05-26
(complete)		SAT4J PB RES // CP
2.2.0 2010-05-31
(complete)		SAT4J PB Resolution
2.2.0 2010-05-26
(complete)		SAT4J PB Resolution
2.2.1
(complete)		SCIPclp
SCIP 1.2.1.2 with Clp 1.11.1 (Release Version) as LP solver
(complete)		SCIPclp
SCIP 1.2.1.3 with Clp 1.11.1 (Release Version) as LP solver
(complete)		SCIPnone
SCIP 1.2.1.2 without any LP solver
(complete)		SCIPspx
SCIP 1.2.1.2 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver
(complete)		wbo
1.4a
(complete)		wbo
1.4b
(complete)
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110973670--soft-0-100-0.wbo 		MOPT
f=1
TT=0.23
T1=0.14
 OPTIMUM
f=1
TT=0.23
T1=0.14
 Wrong Opt.
f=14
TT=122.713
T1=55.45
 OPTIMUM
f=1
TT=101.792
T1=53.36
 MSAT (TO)
f=731
TT=1800.15
T1=1796.71
 Wrong Opt.
f=14
TT=77.416
T1=66.31
 Wrong Opt.
f=14
TT=20.982
T1=14.46
 OPTIMUM
f=1
TT=58.272
T1=56.88
 OPTIMUM
f=1
TT=2.913
T1=2.7
 OPTIMUM
f=1
TT=6.205
T1=6.02
 ? (exit code)

TT=68.501

 OPTIMUM
f=1
TT=6.23
T1=6.02
 OPTIMUM
f=1
TT=6.924
T1=6.93
 Wrong UNSAT

TT=5.15
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110974180--soft-0-100-0.wbo 		MOPT
f=1
TT=0.156
T1=0.13
 OPTIMUM
f=1
TT=0.156
T1=0.13
 Wrong Opt.
f=7
TT=123.578
T1=106.42
 OPTIMUM
f=1
TT=109.737
T1=43.02
 MSAT (TO)
f=49
TT=1800.13
T1=1224.37
 Wrong Opt.
f=7
TT=42.463
T1=10.19
 Wrong Opt.
f=7
TT=19.907
T1=2.18
 OPTIMUM
f=1
TT=91.294
T1=89.96
 OPTIMUM
f=1
TT=1.722
T1=1.7
 OPTIMUM
f=1
TT=10.134
T1=10.09
 OPTIMUM
f=1
TT=931.993
T1=931.86
 OPTIMUM
f=1
TT=13.294
T1=13.16
 OPTIMUM
f=1
TT=14.996
T1=14.99
 Wrong UNSAT

TT=5.58
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110974372--soft-0-100-0.wbo 		MOPT
f=36
TT=0.194
T1=0.11
 OPTIMUM
f=36
TT=0.194
T1=0.11
 MSAT (TO)
f=49
TT=1800.07
T1=375.1
 OPTIMUM
f=36
TT=325.995
T1=316.24
 MSAT (TO)
f=568
TT=1800.11
T1=1797.81
 Wrong Opt.
f=52
TT=98.332
T1=56.32
 Wrong Opt.
f=52
TT=43.962
T1=33.16
 OPTIMUM
f=36
TT=300.984
T1=276.05
 OPTIMUM
f=36
TT=91.392
T1=79.04
 OPTIMUM
f=36
TT=69.698
T1=67.79
 ? (exit code)

TT=51.112

 OPTIMUM
f=36
TT=14.103
T1=4.86
 ? (TO)

TT=1800.11

 Wrong UNSAT

TT=4.261
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110975607--soft-0-100-0.wbo 		MOPT
f=9
TT=0.11
T1=0.1
 OPTIMUM
f=9
TT=0.11
T1=0.1
 OPTIMUM
f=9
TT=52.994
T1=6.13
 OPTIMUM
f=9
TT=62.591
T1=53.72
 MSAT (TO)
f=531
TT=1800.09
T1=1797.21
 OPTIMUM
f=9
TT=28.074
T1=26.25
 OPTIMUM
f=9
TT=11.466
T1=8.64
 OPTIMUM
f=9
TT=81.654
T1=74.95
 OPTIMUM
f=9
TT=9.89
T1=9.53
 OPTIMUM
f=9
TT=11.566
T1=11.19
 ? (exit code)

TT=65.412

 OPTIMUM
f=9
TT=9.219
T1=8.94
 OPTIMUM
f=9
TT=24.195
T1=24.19
 Wrong UNSAT

TT=2.905
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110975965--soft-0-100-0.wbo 		MOPT
f=1
TT=0.711
T1=0.27
 OPTIMUM
f=1
TT=0.711
T1=0.27
 MSAT (TO)
f=14
TT=1800.04
T1=488.35
 OPTIMUM
f=1
TT=50.516
T1=9.95
 MSAT (TO)
f=271
TT=1800.25
T1=1797.51
 Wrong Opt.
f=14
TT=105.129
T1=74.35
 Wrong Opt.
f=14
TT=34.943
T1=27.52
 OPTIMUM
f=1
TT=31.292
T1=23.05
 OPTIMUM
f=1
TT=8.061
T1=7.18
 OPTIMUM
f=1
TT=5.856
T1=5.2
 ? (exit code)

TT=66.181

 OPTIMUM
f=1
TT=4.346
T1=3.84
 OPTIMUM
f=1
TT=11.131
T1=11.12
 Wrong UNSAT

TT=17.302
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110976157--soft-0-100-0.wbo 		MOPT
f=9
TT=0.164
T1=0.12
 OPTIMUM
f=9
TT=0.164
T1=0.12
 Wrong Opt.
f=10
TT=515.499
T1=228.9
 OPTIMUM
f=9
TT=19.822
T1=9.2
 MSAT (TO)
f=127
TT=1800.17
T1=1366.94
 Wrong Opt.
f=17
TT=56.402
T1=50.31
 Wrong Opt.
f=17
TT=16.186
T1=13.08
 OPTIMUM
f=9
TT=63.55
T1=58.63
 OPTIMUM
f=9
TT=2.31
T1=2.05
 OPTIMUM
f=9
TT=14.582
T1=14.27
 ? (exit code)

TT=21.613

 OPTIMUM
f=9
TT=1.425
T1=1.3
 OPTIMUM
f=9
TT=48.886
T1=48.88
 Wrong UNSAT

TT=2.33
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110976730--soft-0-100-0.wbo 		MOPT
f=10
TT=0.21
T1=0.12
 OPTIMUM
f=10
TT=0.21
T1=0.12
 OPTIMUM
f=10
TT=111.653
T1=21.09
 OPTIMUM
f=10
TT=252.147
T1=23.33
 MSAT (TO)
f=758
TT=1800.45
T1=1797.81
 OPTIMUM
f=10
TT=105.239
T1=68.33
 OPTIMUM
f=10
TT=32.522
T1=19.35
 OPTIMUM
f=10
TT=76.167
T1=51.61
 OPTIMUM
f=10
TT=4.408
T1=2.86
 OPTIMUM
f=10
TT=2.885
T1=1.14
 MSAT (TO)
f=11
TT=1800.78
T1=51.36
 OPTIMUM
f=10
TT=6.331
T1=1.65
 OPTIMUM
f=10
TT=192.086
T1=192.06
 Wrong UNSAT

TT=8.4
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110976935--soft-0-100-0.wbo 		MOPT
f=2
TT=0.132
T1=0.46
 OPTIMUM
f=2
TT=0.132
T1=0.46
 Wrong Opt.
f=7
TT=112.529
T1=17.1
 OPTIMUM
f=2
TT=107.779
T1=63.03
 MSAT (TO)
f=30
TT=1800.1
T1=1797.61
 Wrong Opt.
f=7
TT=55.738
T1=20.22
 Wrong Opt.
f=7
TT=25.867
T1=7.36
 OPTIMUM
f=2
TT=66.918
T1=63.18
 OPTIMUM
f=2
TT=3.484
T1=3.44
 OPTIMUM
f=2
TT=1.725
T1=1.7
 ? (exit code)

TT=41.147

 OPTIMUM
f=2
TT=2.234
T1=2.21
 OPTIMUM
f=2
TT=11.104
T1=11.1
 Wrong UNSAT

TT=3.88
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110977273--soft-0-100-0.wbo 		MOPT
f=1
TT=0.471
T1=0.21
 OPTIMUM
f=1
TT=0.471
T1=0.21
 MSAT (TO)
f=28
TT=1800.09
T1=575.82
 OPTIMUM
f=1
TT=56.551
T1=28.83
 MSAT (TO)
f=494
TT=1800.16
T1=1797.91
 Wrong Opt.
f=28
TT=212.323
T1=142.45
 Wrong Opt.
f=28
TT=50.441
T1=42.66
 OPTIMUM
f=1
TT=79.646
T1=74.99
 OPTIMUM
f=1
TT=50.978
T1=50.54
 OPTIMUM
f=1
TT=13.542
T1=13.33
 ? (exit code)

TT=46.338

 OPTIMUM
f=1
TT=12.766
T1=12.67
 OPTIMUM
f=1
TT=7.081
T1=7.08
 Wrong UNSAT

TT=3.626
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110977780--soft-0-100-0.wbo 		MOPT
f=10
TT=0.143
T1=0.1
 OPTIMUM
f=10
TT=0.143
T1=0.1
 OPTIMUM
f=10
TT=57.934
T1=18.17
 OPTIMUM
f=10
TT=58.5
T1=33.31
 MSAT (TO)
f=755
TT=1800.81
T1=1797.91
 Wrong Opt.
f=21
TT=81.065
T1=62.38
 Wrong Opt.
f=21
TT=31.889
T1=26.41
 OPTIMUM
f=10
TT=104.813
T1=103.39
 OPTIMUM
f=10
TT=1.81
T1=1.71
 OPTIMUM
f=10
TT=5.822
T1=5.69
 MSAT (TO)
f=10
TT=1800.25
T1=1736.17
 OPTIMUM
f=10
TT=1.444
T1=1.29
 OPTIMUM
f=10
TT=55.661
T1=55.65
 Wrong UNSAT

TT=2.622
Bench nameBest resultspb_cplex
2010-07-01
(complete)		PB/CT
0.1
(complete)		PB/CT
0.1 fixed
(complete)		SAT4J PB CuttingPlanes
2.2.0 2010-05-26
(complete)		SAT4J PB RES // CP
2.2.0 2010-05-31
(complete)		SAT4J PB Resolution
2.2.0 2010-05-26
(complete)		SAT4J PB Resolution
2.2.1
(complete)		SCIPclp
SCIP 1.2.1.2 with Clp 1.11.1 (Release Version) as LP solver
(complete)		SCIPclp
SCIP 1.2.1.3 with Clp 1.11.1 (Release Version) as LP solver
(complete)		SCIPnone
SCIP 1.2.1.2 without any LP solver
(complete)		SCIPspx
SCIP 1.2.1.2 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver
(complete)		wbo
1.4a
(complete)		wbo
1.4b
(complete)
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110978113--soft-0-100-0.wbo 		MOPT
f=9
TT=0.62
T1=0.23
 OPTIMUM
f=9
TT=0.62
T1=0.23
 OPTIMUM
f=9
TT=53.086
T1=13.29
 OPTIMUM
f=9
TT=60.519
T1=49.29
 MSAT (TO)
f=486
TT=1800.33
T1=1797.01
 OPTIMUM
f=9
TT=52.636
T1=27.25
 OPTIMUM
f=9
TT=22.746
T1=11.52
 OPTIMUM
f=9
TT=43.414
T1=36.26
 OPTIMUM
f=9
TT=15.682
T1=14.05
 OPTIMUM
f=9
TT=17.711
T1=16.95
 ? (exit code)

TT=67.946

 OPTIMUM
f=9
TT=31.042
T1=28.63
 OPTIMUM
f=9
TT=71.23
T1=71.22
 Wrong UNSAT

TT=8.572
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110978334--soft-0-100-0.wbo 		MOPT
f=9
TT=0.231
T1=0.13
 OPTIMUM
f=9
TT=0.231
T1=0.13
 OPTIMUM
f=9
TT=1578.57
T1=979.78
 OPTIMUM
f=9
TT=56.062
T1=46.97
 MSAT (TO)
f=491
TT=1800.32
T1=1796.71
 OPTIMUM
f=9
TT=42.643
T1=13.21
 OPTIMUM
f=9
TT=20.866
T1=12.84
 OPTIMUM
f=9
TT=111.386
T1=103.67
 OPTIMUM
f=9
TT=8.865
T1=8.57
 OPTIMUM
f=9
TT=15.277
T1=14.81
 OPTIMUM
f=9
TT=1425.37
T1=898.67
 OPTIMUM
f=9
TT=7.215
T1=6.64
 OPTIMUM
f=9
TT=57.551
T1=57.54
 Wrong UNSAT

TT=5.215
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111212272--soft-0-100-0.wbo 		MOPT
f=5
TT=0.29
T1=0.42
 OPTIMUM
f=5
TT=0.29
T1=0.42
 OPTIMUM
f=5
TT=249.572
T1=99.88
 OPTIMUM
f=5
TT=352.908
T1=300.72
 MSAT (TO)
f=731
TT=1800.29
T1=1798.31
 Wrong Opt.
f=23
TT=70.799
T1=30.24
 Wrong Opt.
f=23
TT=29.723
T1=9.66
 OPTIMUM
f=5
TT=167.675
T1=164.48
 OPTIMUM
f=5
TT=29.877
T1=29.35
 OPTIMUM
f=5
TT=71.246
T1=71.17
 OPTIMUM
f=5
TT=865.243
T1=865.17
 OPTIMUM
f=5
TT=13.353
T1=13.16
 OPTIMUM
f=5
TT=26.172
T1=26.16
 Wrong UNSAT

TT=4.542
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111212476--soft-0-100-0.wbo 		MOPT
f=2
TT=0.308
T1=0.17
 OPTIMUM
f=2
TT=0.308
T1=0.17
 Wrong Opt.
f=7
TT=211.525
T1=21.21
 OPTIMUM
f=2
TT=107.306
T1=20.41
 MSAT (TO)
f=518
TT=1801.29
T1=1798.01
 Wrong Opt.
f=7
TT=306.081
T1=274.71
 Wrong Opt.
f=7
TT=30.891
T1=13.02
 OPTIMUM
f=2
TT=85.083
T1=81.68
 OPTIMUM
f=2
TT=2.435
T1=2.33
 OPTIMUM
f=2
TT=8.584
T1=8.45
 ? (exit code)

TT=14.033

 OPTIMUM
f=2
TT=3.637
T1=3.48
 OPTIMUM
f=2
TT=25.649
T1=25.64
 Wrong UNSAT

TT=7.235
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111212923--soft-0-100-0.wbo 		MOPT
f=3
TT=0.284
T1=0.85
 OPTIMUM
f=3
TT=0.284
T1=0.85
 Wrong Opt.
f=14
TT=149.422
T1=66.45
 OPTIMUM
f=3
TT=41.68
T1=34.07
 MSAT (TO)
f=669
TT=1800.11
T1=1797.32
 Wrong Opt.
f=14
TT=37.751
T1=41.26
 Wrong Opt.
f=14
TT=11.212
T1=7.53
 OPTIMUM
f=3
TT=28.125
T1=22.33
 OPTIMUM
f=3
TT=4.864
T1=4.71
 OPTIMUM
f=3
TT=50.408
T1=49.97
 ? (exit code)

TT=88.307

 OPTIMUM
f=3
TT=9.492
T1=9.44
 OPTIMUM
f=3
TT=20.851
T1=20.84
 Wrong UNSAT

TT=3.563
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111213670--soft-0-100-0.wbo 		MOPT
f=10
TT=0.146
T1=0.1
 OPTIMUM
f=10
TT=0.146
T1=0.1
 OPTIMUM
f=10
TT=109.654
T1=15.31
 OPTIMUM
f=10
TT=118.627
T1=20.99
 MSAT (TO)
f=768
TT=1800.08
T1=1797.91
 OPTIMUM
f=10
TT=102.819
T1=76.39
 OPTIMUM
f=10
TT=29.243
T1=18.55
 OPTIMUM
f=10
TT=57.921
T1=41.09
 OPTIMUM
f=10
TT=4.176
T1=2.93
 OPTIMUM
f=10
TT=6.793
T1=6.17
 MSAT (TO)
f=11
TT=1800.27
T1=36.14
 OPTIMUM
f=10
TT=6.003
T1=5.09
 OPTIMUM
f=10
TT=83.4
T1=83.49
 Wrong UNSAT

TT=3.258
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111213868--soft-0-100-0.wbo 		MOPT
f=2
TT=0.465
T1=0.2
 OPTIMUM
f=2
TT=0.465
T1=0.2
 Wrong Opt.
f=24
TT=129.088
T1=25.71
 OPTIMUM
f=2
TT=103.667
T1=19.2
 MSAT (TO)
f=575
TT=1800.07
T1=1796.71
 Wrong Opt.
f=24
TT=66.518
T1=42.29
 Wrong Opt.
f=24
TT=29.11
T1=22.01
 OPTIMUM
f=2
TT=114.015
T1=105.83
 OPTIMUM
f=2
TT=5.552
T1=5.4
 OPTIMUM
f=2
TT=6.292
T1=2.81
 ? (exit code)

TT=86.901

 OPTIMUM
f=2
TT=3.347
T1=3.01
 OPTIMUM
f=2
TT=13.385
T1=13.38
 Wrong UNSAT

TT=3.314
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111216411--soft-0-100-0.wbo 		MOPT
f=2
TT=0.226
T1=0.14
 OPTIMUM
f=2
TT=0.226
T1=0.14
 Wrong Opt.
f=7
TT=58.963
T1=9.65
 OPTIMUM
f=2
TT=50.459
T1=30.82
 MSAT (TO)
f=64
TT=1800.12
T1=1797.42
 Wrong Opt.
f=7
TT=89.532
T1=64.33
 Wrong Opt.
f=7
TT=24.248
T1=17.26
 OPTIMUM
f=2
TT=43.544
T1=34.19
 OPTIMUM
f=2
TT=3.102
T1=3.02
 OPTIMUM
f=2
TT=4.609
T1=4.54
 ? (exit code)

TT=34.597

 OPTIMUM
f=2
TT=2.444
T1=2.42
 OPTIMUM
f=2
TT=30.393
T1=30.39
 Wrong UNSAT

TT=6.321
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111216823--soft-0-100-0.wbo 		MOPT
f=1
TT=0.46
T1=0.2
 OPTIMUM
f=1
TT=0.46
T1=0.2
 Wrong Opt.
f=23
TT=175.448
T1=63.16
 OPTIMUM
f=1
TT=52.509
T1=5.21
 MSAT (TO)
f=753
TT=1800.74
T1=1797.51
 Wrong Opt.
f=23
TT=38.92
T1=30.26
 Wrong Opt.
f=23
TT=15.248
T1=9.31
 OPTIMUM
f=1
TT=61.294
T1=59.79
 OPTIMUM
f=1
TT=14.687
T1=14.58
 OPTIMUM
f=1
TT=5.293
T1=5.2
 ? (exit code)

TT=1.85

 OPTIMUM
f=1
TT=4.569
T1=4.49
 OPTIMUM
f=1
TT=7.051
T1=7.04
 Wrong UNSAT

TT=4.368
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111217392--soft-0-100-0.wbo 		MOPT
f=2
TT=0.203
T1=0.16
 OPTIMUM
f=2
TT=0.203
T1=0.16
 Wrong Opt.
f=32
TT=1089.97
T1=527.76
 OPTIMUM
f=2
TT=62.598
T1=52.97
 MSAT (TO)
f=206
TT=1800.11
T1=1798.11
 Wrong Opt.
f=32
TT=57.325
T1=38.28
 Wrong Opt.
f=32
TT=21.515
T1=14.2
 OPTIMUM
f=2
TT=64.334
T1=58.33
 OPTIMUM
f=2
TT=24.811
T1=24.65
 OPTIMUM
f=2
TT=3.763
T1=3.59
 MSAT (TO)
f=12
TT=1800.8
T1=1800
 OPTIMUM
f=2
TT=1.885
T1=1.88
 OPTIMUM
f=2
TT=16.34
T1=16.33
 Wrong UNSAT

TT=4.203
Bench nameBest resultspb_cplex
2010-07-01
(complete)		PB/CT
0.1
(complete)		PB/CT
0.1 fixed
(complete)		SAT4J PB CuttingPlanes
2.2.0 2010-05-26
(complete)		SAT4J PB RES // CP
2.2.0 2010-05-31
(complete)		SAT4J PB Resolution
2.2.0 2010-05-26
(complete)		SAT4J PB Resolution
2.2.1
(complete)		SCIPclp
SCIP 1.2.1.2 with Clp 1.11.1 (Release Version) as LP solver
(complete)		SCIPclp
SCIP 1.2.1.3 with Clp 1.11.1 (Release Version) as LP solver
(complete)		SCIPnone
SCIP 1.2.1.2 without any LP solver
(complete)		SCIPspx
SCIP 1.2.1.2 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver
(complete)		wbo
1.4a
(complete)		wbo
1.4b
(complete)
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111217555--soft-0-100-0.wbo 		MOPT
f=1
TT=0.538
T1=0.25
 OPTIMUM
f=1
TT=0.538
T1=0.25
 MSAT (TO)
f=14
TT=1800.06
T1=973.86
 OPTIMUM
f=1
TT=50.351
T1=20.07
 MSAT (TO)
f=533
TT=1800.22
T1=1797.71
 Wrong Opt.
f=14
TT=46.233
T1=39.29
 Wrong Opt.
f=14
TT=19.847
T1=17.23
 OPTIMUM
f=1
TT=59.239
T1=57.76
 OPTIMUM
f=1
TT=4.651
T1=4.47
 OPTIMUM
f=1
TT=16.191
T1=15.84
 ? (exit code)

TT=87.605

 OPTIMUM
f=1
TT=3.947
T1=3.78
 OPTIMUM
f=1
TT=11.739
T1=11.73
 Wrong UNSAT

TT=6.532
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111218024--soft-0-100-0.wbo 		MOPT
f=10
TT=0.145
T1=0.11
 OPTIMUM
f=10
TT=0.145
T1=0.11
 OPTIMUM
f=10
TT=115.344
T1=36.6
 OPTIMUM
f=10
TT=257.97
T1=33.64
 MSAT (TO)
f=421
TT=1800.13
T1=1797.81
 Wrong Opt.
f=18
TT=73.494
T1=30.24
 Wrong Opt.
f=18
TT=31.302
T1=15.78
 OPTIMUM
f=10
TT=92.732
T1=87.35
 OPTIMUM
f=10
TT=6.647
T1=6.01
 OPTIMUM
f=10
TT=1.244
T1=0.69
 MSAT (TO)
f=10
TT=1800.79
T1=1800
 OPTIMUM
f=10
TT=2.072
T1=1.55
 OPTIMUM
f=10
TT=166.459
T1=166.44
 Wrong UNSAT

TT=4.516
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111218308--soft-0-100-0.wbo 		MOPT
f=1
TT=0.621
T1=0.27
 OPTIMUM
f=1
TT=0.621
T1=0.27
 Wrong Opt.
f=14
TT=1367.28
T1=489.78
 OPTIMUM
f=1
TT=101.415
T1=42.97
 MSAT (TO)
f=511
TT=1800.27
T1=1797.61
 Wrong Opt.
f=14
TT=71.589
T1=30.25
 Wrong Opt.
f=14
TT=33.53
T1=14.9
 OPTIMUM
f=1
TT=65.868
T1=60.92
 OPTIMUM
f=1
TT=17.72
T1=17.37
 OPTIMUM
f=1
TT=11.39
T1=11.01
 ? (exit code)

TT=180.883

 OPTIMUM
f=1
TT=3.791
T1=3.43
 OPTIMUM
f=1
TT=14.37
T1=14.36
 Wrong UNSAT

TT=9.537
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111218757--soft-0-100-0.wbo 		MOPT
f=20
TT=0.263
T1=0.14
 OPTIMUM
f=20
TT=0.263
T1=0.14
 MSAT (TO)
f=23
TT=1800.02
T1=1176.02
 OPTIMUM
f=20
TT=250.12
T1=124.02
 MSAT (TO)
f=308
TT=1800.22
T1=1797.01
 Wrong Opt.
f=23
TT=104.23
T1=85.35
 Wrong Opt.
f=23
TT=34.112
T1=32.09
 OPTIMUM
f=20
TT=211.185
T1=193.63
 OPTIMUM
f=20
TT=11.316
T1=11.05
 OPTIMUM
f=20
TT=14.903
T1=14.56
 ? (exit code)

TT=56.123

 OPTIMUM
f=20
TT=44.226
T1=43.91
 ? (TO)

TT=1800.12

 Wrong UNSAT

TT=4.946
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111218955--soft-0-100-0.wbo 		MOPT
f=9
TT=0.214
T1=0.2
 OPTIMUM
f=9
TT=0.214
T1=0.2
 OPTIMUM
f=9
TT=300.883
T1=163.89
 OPTIMUM
f=9
TT=117.98
T1=66.35
 MSAT (TO)
f=675
TT=1800.21
T1=1798.03
 OPTIMUM
f=9
TT=192.997
T1=126.54
 OPTIMUM
f=9
TT=43.242
T1=38.86
 OPTIMUM
f=9
TT=59.767
T1=54.72
 OPTIMUM
f=9
TT=15.719
T1=15.63
 OPTIMUM
f=9
TT=14.481
T1=14.29
 ? (exit code)

TT=73.158

 OPTIMUM
f=9
TT=21.59
T1=21.41
 OPTIMUM
f=9
TT=32.429
T1=32.42
 Wrong UNSAT

TT=2.712
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111219348--soft-0-100-0.wbo 		MOPT
f=2
TT=0.586
T1=0.23
 OPTIMUM
f=2
TT=0.586
T1=0.23
 Wrong Opt.
f=7
TT=113.584
T1=39.24
 OPTIMUM
f=2
TT=48.943
T1=25.46
 MSAT (TO)
f=589
TT=1800.14
T1=1795.41
 Wrong Opt.
f=7
TT=61.783
T1=21.25
 Wrong Opt.
f=7
TT=28.451
T1=3.71
 OPTIMUM
f=2
TT=32.084
T1=29.39
 OPTIMUM
f=2
TT=1.738
T1=1.1
 OPTIMUM
f=2
TT=6.435
T1=6.24
 OPTIMUM
f=2
TT=1016.34
T1=1016.22
 OPTIMUM
f=2
TT=11.009
T1=10.54
 OPTIMUM
f=2
TT=16.22
T1=16.22
 Wrong UNSAT

TT=3.652
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111219799--soft-0-100-0.wbo 		MOPT
f=9
TT=0.359
T1=0.17
 OPTIMUM
f=9
TT=0.359
T1=0.17
 OPTIMUM
f=9
TT=1627.68
T1=1096.94
 OPTIMUM
f=9
TT=49.539
T1=43.16
 MSAT (TO)
f=535
TT=1800.48
T1=1798.01
 OPTIMUM
f=9
TT=70.657
T1=63.33
 OPTIMUM
f=9
TT=23.61
T1=21.48
 OPTIMUM
f=9
TT=147.523
T1=130.73
 OPTIMUM
f=9
TT=10.861
T1=10.48
 OPTIMUM
f=9
TT=21.827
T1=21.52
 ? (exit code)

TT=53.938

 OPTIMUM
f=9
TT=4.803
T1=4.59
 OPTIMUM
f=9
TT=41.943
T1=41.94
 Wrong UNSAT

TT=3.516
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111220019--soft-0-100-0.wbo 		MOPT
f=2
TT=0.186
T1=0.15
 OPTIMUM
f=2
TT=0.186
T1=0.15
 Wrong Opt.
f=7
TT=55.314
T1=7.52
 OPTIMUM
f=2
TT=56.247
T1=17.28
 MSAT (TO)
f=332
TT=1800.1
T1=1797.32
 Wrong Opt.
f=7
TT=32.482
T1=17.22
 Wrong Opt.
f=7
TT=14.532
T1=4.98
 OPTIMUM
f=2
TT=35.415
T1=24.6
 OPTIMUM
f=2
TT=8.105
T1=7.99
 OPTIMUM
f=2
TT=10.388
T1=10.3
 OPTIMUM
f=2
TT=1694.78
T1=1694.68
 OPTIMUM
f=2
TT=2.222
T1=2.1
 OPTIMUM
f=2
TT=15.512
T1=15.5
 Wrong UNSAT

TT=4.813
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111220546--soft-0-100-0.wbo 		MOPT
f=2
TT=0.26
T1=0.49
 OPTIMUM
f=2
TT=0.26
T1=0.49
 Wrong Opt.
f=7
TT=54.049
T1=24.01
 OPTIMUM
f=2
TT=51.227
T1=11.42
 MSAT (TO)
f=694
TT=1800.12
T1=1797.61
 Wrong Opt.
f=7
TT=101.868
T1=45.29
 Wrong Opt.
f=7
TT=20.288
T1=10.73
 OPTIMUM
f=2
TT=39.977
T1=32.68
 OPTIMUM
f=2
TT=7.27
T1=7.04
 OPTIMUM
f=2
TT=15.057
T1=14.91
 ? (exit code)

TT=11.25

 OPTIMUM
f=2
TT=4.099
T1=3.8
 OPTIMUM
f=2
TT=22.475
T1=22.47
 Wrong UNSAT

TT=3.859
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111220767--soft-0-100-0.wbo 		MOPT
f=3
TT=0.18
T1=0.15
 OPTIMUM
f=3
TT=0.18
T1=0.15
 Wrong Opt.
f=7
TT=51.314
T1=24.31
 OPTIMUM
f=3
TT=126.201
T1=11.93
 MSAT (TO)
f=814
TT=1800.16
T1=1797.81
 Wrong Opt.
f=7
TT=65.61
T1=37.29
 Wrong Opt.
f=7
TT=55.083
T1=15.16
 OPTIMUM
f=3
TT=94.785
T1=85.19
 OPTIMUM
f=3
TT=5.114
T1=4.8
 OPTIMUM
f=3
TT=4.348
T1=4.14
 OPTIMUM
f=3
TT=1071.85
T1=919.77
 OPTIMUM
f=3
TT=3.115
T1=2.72
 OPTIMUM
f=3
TT=100.855
T1=50.49
 Wrong UNSAT

TT=5.713
Bench nameBest resultspb_cplex
2010-07-01
(complete)		PB/CT
0.1
(complete)		PB/CT
0.1 fixed
(complete)		SAT4J PB CuttingPlanes
2.2.0 2010-05-26
(complete)		SAT4J PB RES // CP
2.2.0 2010-05-31
(complete)		SAT4J PB Resolution
2.2.0 2010-05-26
(complete)		SAT4J PB Resolution
2.2.1
(complete)		SCIPclp
SCIP 1.2.1.2 with Clp 1.11.1 (Release Version) as LP solver
(complete)		SCIPclp
SCIP 1.2.1.3 with Clp 1.11.1 (Release Version) as LP solver
(complete)		SCIPnone
SCIP 1.2.1.2 without any LP solver
(complete)		SCIPspx
SCIP 1.2.1.2 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver
(complete)		wbo
1.4a
(complete)		wbo
1.4b
(complete)
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111221203--soft-0-100-0.wbo 		MOPT
f=1
TT=0.461
T1=0.23
 OPTIMUM
f=1
TT=0.461
T1=0.23
 Wrong Opt.
f=14
TT=52.765
T1=9.28
 OPTIMUM
f=1
TT=107.028
T1=75.57
 MSAT (TO)
f=559
TT=1800.5
T1=1797.42
 Wrong Opt.
f=14
TT=66.737
T1=49.34
 Wrong Opt.
f=14
TT=27.748
T1=22.68
 OPTIMUM
f=1
TT=58.953
T1=57.58
 OPTIMUM
f=1
TT=8.444
T1=8.43
 OPTIMUM
f=1
TT=14.098
T1=14
 ? (exit code)

TT=70.297

 OPTIMUM
f=1
TT=2.848
T1=2.61
 OPTIMUM
f=1
TT=5.77
T1=5.77
 Wrong UNSAT

TT=3.98
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111221624--soft-0-100-0.wbo 		MOPT
f=2
TT=0.34
T1=0.19
 OPTIMUM
f=2
TT=0.34
T1=0.19
 Wrong Opt.
f=7
TT=108.076
T1=23.61
 OPTIMUM
f=2
TT=52.363
T1=25.27
 MSAT (TO)
f=7
TT=1800.08
T1=1792.31
 Wrong Opt.
f=7
TT=28.935
T1=11.19
 Wrong Opt.
f=7
TT=14.542
T1=3.95
 OPTIMUM
f=2
TT=34.689
T1=27.94
 OPTIMUM
f=2
TT=2.617
T1=2.38
 OPTIMUM
f=2
TT=4.533
T1=4.42
 OPTIMUM
f=2
TT=990.815
T1=990.7
 OPTIMUM
f=2
TT=1.762
T1=1.35
 OPTIMUM
f=2
TT=18.505
T1=18.5
 Wrong UNSAT

TT=4.22
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111222257--soft-0-100-0.wbo 		MOPT
f=3
TT=0.134
T1=0.1
 OPTIMUM
f=3
TT=0.134
T1=0.1
 Wrong Opt.
f=24
TT=460.848
T1=391.21
 OPTIMUM
f=3
TT=177.666
T1=124.59
 MSAT (TO)
f=622
TT=1800.16
T1=1797.81
 Wrong Opt.
f=24
TT=85.922
T1=27.25
 Wrong Opt.
f=24
TT=23.908
T1=14
 OPTIMUM
f=3
TT=120.495
T1=118.54
 OPTIMUM
f=3
TT=15.791
T1=15.69
 OPTIMUM
f=3
TT=5.126
T1=4.97
 ? (exit code)

TT=46.246

 OPTIMUM
f=3
TT=36.284
T1=36.23
 OPTIMUM
f=3
TT=27.998
T1=27.99
 Wrong UNSAT

TT=4.333
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111222539--soft-0-100-0.wbo 		MOPT
f=2
TT=0.223
T1=0.14
 OPTIMUM
f=2
TT=0.223
T1=0.14
 Wrong Opt.
f=10
TT=110.308
T1=37.82
 OPTIMUM
f=2
TT=104.48
T1=75.71
 MSAT (TO)
f=484
TT=1800.18
T1=1797.32
 Wrong Opt.
f=15
TT=57.672
T1=36.28
 Wrong Opt.
f=15
TT=20.293
T1=9.3
 OPTIMUM
f=2
TT=42.641
T1=41.3
 OPTIMUM
f=2
TT=1.488
T1=1.4
 OPTIMUM
f=2
TT=7.637
T1=7.59
 ? (exit code)

TT=60.374

 OPTIMUM
f=2
TT=5.98
T1=5.96
 OPTIMUM
f=2
TT=20.164
T1=20.16
 Wrong UNSAT

TT=5.223
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111223004--soft-0-100-0.wbo 		MOPT
f=1
TT=1.087
T1=0.34
 OPTIMUM
f=1
TT=1.087
T1=0.34
 MSAT (TO)
f=14
TT=1800.05
T1=1270.56
 OPTIMUM
f=1
TT=56.59
T1=16.73
 MSAT (TO)
f=525
TT=1800.14
T1=1798.11
 Wrong Opt.
f=14
TT=35.448
T1=21.23
 Wrong Opt.
f=14
TT=16.042
T1=8.65
 OPTIMUM
f=1
TT=52.47
T1=50.89
 OPTIMUM
f=1
TT=9.778
T1=8.94
 OPTIMUM
f=1
TT=4.473
T1=3.88
 ? (exit code)

TT=49.395

 OPTIMUM
f=1
TT=5.55
T1=5.32
 OPTIMUM
f=1
TT=10.067
T1=10.06
 Wrong UNSAT

TT=5.565
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111223220--soft-0-100-0.wbo 		MOPT
f=1
TT=0.203
T1=0.69
 OPTIMUM
f=1
TT=0.203
T1=0.69
 MSAT (TO)
f=24
TT=1800.03
T1=1258.19
 OPTIMUM
f=1
TT=103.86
T1=53.49
 MSAT (TO)
f=553
TT=1800.16
T1=1797.81
 Wrong Opt.
f=24
TT=170.008
T1=80.36
 Wrong Opt.
f=24
TT=36.796
T1=28.14
 OPTIMUM
f=1
TT=91.554
T1=89.92
 OPTIMUM
f=1
TT=7.89
T1=7.82
 OPTIMUM
f=1
TT=19.284
T1=19.22
 OPTIMUM
f=1
TT=1348.41
T1=1348.35
 OPTIMUM
f=1
TT=6.694
T1=6.67
 OPTIMUM
f=1
TT=9.944
T1=9.94
 Wrong UNSAT

TT=4.868
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111224059--soft-0-100-0.wbo 		MOPT
f=9
TT=0.121
T1=0.08
 OPTIMUM
f=9
TT=0.121
T1=0.08
 Wrong Opt.
f=10
TT=1431.94
T1=168.66
 OPTIMUM
f=9
TT=107.302
T1=21.46
 MSAT (TO)
f=848
TT=1800.24
T1=1798.21
 Wrong Opt.
f=13
TT=39.467
T1=28.25
 Wrong Opt.
f=13
TT=16.975
T1=12.79
 OPTIMUM
f=9
TT=74.041
T1=66.24
 OPTIMUM
f=9
TT=5.506
T1=4.74
 OPTIMUM
f=9
TT=3.77
T1=3.26
 OPTIMUM
f=9
TT=1495.22
T1=673.78
 OPTIMUM
f=9
TT=2.984
T1=2.33
 OPTIMUM
f=9
TT=39.882
T1=39.87
 Wrong UNSAT

TT=1.974
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111224255--soft-0-100-0.wbo 		MOPT
f=1
TT=0.226
T1=0.16
 OPTIMUM
f=1
TT=0.226
T1=0.16
 Wrong Opt.
f=14
TT=183.839
T1=82.59
 OPTIMUM
f=1
TT=109.694
T1=13.99
 MSAT (TO)
f=637
TT=1800.49
T1=1797.99
 Wrong Opt.
f=14
TT=32.313
T1=18.23
 Wrong Opt.
f=14
TT=14.179
T1=6.79
 OPTIMUM
f=1
TT=47.737
T1=46.35
 OPTIMUM
f=1
TT=10.11
T1=9.82
 OPTIMUM
f=1
TT=5.577
T1=5.32
 ? (exit code)

TT=96.852

 OPTIMUM
f=1
TT=6.899
T1=6.44
 OPTIMUM
f=1
TT=7.441
T1=7.43
 Wrong UNSAT

TT=4.224
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111224451--soft-0-100-0.wbo 		MOPT
f=9
TT=0.483
T1=0.31
 OPTIMUM
f=9
TT=0.483
T1=0.31
 OPTIMUM
f=9
TT=59.561
T1=28.6
 OPTIMUM
f=9
TT=48.789
T1=14.79
 MSAT (TO)
f=523
TT=1800.25
T1=1797.81
 OPTIMUM
f=9
TT=54.209
T1=35.27
 OPTIMUM
f=9
TT=20.092
T1=14.45
 OPTIMUM
f=9
TT=81.147
T1=78.9
 OPTIMUM
f=9
TT=33.213
T1=32.55
 OPTIMUM
f=9
TT=10.337
T1=10.3
 OPTIMUM
f=9
TT=1032.28
T1=939.69
 OPTIMUM
f=9
TT=17.068
T1=16.74
 OPTIMUM
f=9
TT=36.576
T1=36.57
 Wrong UNSAT

TT=3.191
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111224929--soft-0-100-0.wbo 		MOPT
f=8
TT=0.191
T1=0.12
 OPTIMUM
f=8
TT=0.191
T1=0.12
 Wrong Opt.
f=10
TT=58.417
T1=2.83
 OPTIMUM
f=8
TT=124.549
T1=16.99
 MSAT (TO)
f=731
TT=1800.32
T1=1797.61
 Wrong Opt.
f=10
TT=39.132
T1=20.22
 Wrong Opt.
f=10
TT=14.728
T1=5.38
 OPTIMUM
f=8
TT=70.259
T1=55.23
 OPTIMUM
f=8
TT=3.365
T1=3.11
 OPTIMUM
f=8
TT=6.807
T1=6.67
 OPTIMUM
f=8
TT=1756.11
T1=356.79
 OPTIMUM
f=8
TT=6.147
T1=5.96
 OPTIMUM
f=8
TT=53.707
T1=53.69
 Wrong UNSAT

TT=4.606
Bench nameBest resultspb_cplex
2010-07-01
(complete)		PB/CT
0.1
(complete)		PB/CT
0.1 fixed
(complete)		SAT4J PB CuttingPlanes
2.2.0 2010-05-26
(complete)		SAT4J PB RES // CP
2.2.0 2010-05-31
(complete)		SAT4J PB Resolution
2.2.0 2010-05-26
(complete)		SAT4J PB Resolution
2.2.1
(complete)		SCIPclp
SCIP 1.2.1.2 with Clp 1.11.1 (Release Version) as LP solver
(complete)		SCIPclp
SCIP 1.2.1.3 with Clp 1.11.1 (Release Version) as LP solver
(complete)		SCIPnone
SCIP 1.2.1.2 without any LP solver
(complete)		SCIPspx
SCIP 1.2.1.2 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver
(complete)		wbo
1.4a
(complete)		wbo
1.4b
(complete)
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111225122--soft-0-100-0.wbo 		MOPT
f=2
TT=0.348
T1=0.17
 OPTIMUM
f=2
TT=0.348
T1=0.17
 Wrong Opt.
f=27
TT=146.848
T1=93.72
 OPTIMUM
f=2
TT=51.397
T1=51.1
 MSAT (TO)
f=521
TT=1800.13
T1=1797.81
 Wrong Opt.
f=27
TT=131.167
T1=113.43
 Wrong Opt.
f=27
TT=28.154
T1=20.34
 OPTIMUM
f=2
TT=150.429
T1=148.25
 OPTIMUM
f=2
TT=17.01
T1=16.91
 OPTIMUM
f=2
TT=21.937
T1=21.58
 ? (exit code)

TT=38.739

 OPTIMUM
f=2
TT=6.19
T1=6.13
 OPTIMUM
f=2
TT=13.185
T1=13.18
 Wrong UNSAT

TT=3.103
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111225605--soft-0-100-0.wbo 		MOPT
f=2
TT=0.152
T1=0.13
 OPTIMUM
f=2
TT=0.152
T1=0.13
 Wrong Opt.
f=7
TT=106.36
T1=47.82
 OPTIMUM
f=2
TT=53.96
T1=13.07
 MSAT (TO)
f=406
TT=1800.1
T1=1798.01
 Wrong Opt.
f=7
TT=58.024
T1=47.3
 Wrong Opt.
f=7
TT=22.67
T1=13.41
 OPTIMUM
f=2
TT=72.309
T1=66.32
 OPTIMUM
f=2
TT=2.91
T1=2.84
 OPTIMUM
f=2
TT=3.661
T1=3.5
 ? (exit code)

TT=40.419

 OPTIMUM
f=2
TT=5.158
T1=5
 OPTIMUM
f=2
TT=17.053
T1=17.05
 Wrong UNSAT

TT=4.423
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111226062--soft-0-100-0.wbo 		MOPT
f=3
TT=0.5
T1=0.39
 OPTIMUM
f=3
TT=0.5
T1=0.39
 Wrong Opt.
f=14
TT=57.952
T1=38.52
 OPTIMUM
f=3
TT=55.048
T1=38.59
 MSAT (TO)
f=613
TT=1800.14
T1=1797.81
 Wrong Opt.
f=14
TT=33.732
T1=33.26
 Wrong Opt.
f=14
TT=16.441
T1=14.4
 OPTIMUM
f=3
TT=93.149
T1=91.23
 OPTIMUM
f=3
TT=8.779
T1=8.51
 OPTIMUM
f=3
TT=6.407
T1=6.28
 ? (exit code)

TT=201.338

 OPTIMUM
f=3
TT=12.161
T1=12.14
 OPTIMUM
f=3
TT=13.074
T1=13.07
 Wrong UNSAT

TT=3.65
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111226368--soft-0-100-0.wbo 		MOPT
f=1
TT=0.193
T1=0.13
 OPTIMUM
f=1
TT=0.193
T1=0.13
 Wrong Opt.
f=24
TT=1772.63
T1=163.75
 OPTIMUM
f=1
TT=49.14
T1=21.6
 MSAT (TO)
f=506
TT=1800.27
T1=1798.01
 Wrong Opt.
f=24
TT=88.247
T1=68.34
 Wrong Opt.
f=24
TT=35.779
T1=33.65
 OPTIMUM
f=1
TT=92.01
T1=90.41
 OPTIMUM
f=1
TT=6.701
T1=6.63
 OPTIMUM
f=1
TT=13.304
T1=13.29
 ? (exit code)

TT=100.732

 OPTIMUM
f=1
TT=6.229
T1=6.21
 OPTIMUM
f=1
TT=4.514
T1=4.51
 Wrong UNSAT

TT=2.241
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111226680--soft-0-100-0.wbo 		MOPT
f=3
TT=0.302
T1=0.14
 OPTIMUM
f=3
TT=0.302
T1=0.14
 Wrong Opt.
f=7
TT=102.665
T1=47.56
 OPTIMUM
f=3
TT=51.427
T1=24.29
 MSAT (TO)
f=49
TT=1800.15
T1=1797.32
 Wrong Opt.
f=7
TT=40.841
T1=27.25
 Wrong Opt.
f=7
TT=18.59
T1=7.6
 OPTIMUM
f=3
TT=58.876
T1=53.07
 OPTIMUM
f=3
TT=7.02
T1=6.88
 OPTIMUM
f=3
TT=3.624
T1=3.44
 MSAT (TO)
f=3
TT=1800.39
T1=1338.48
 OPTIMUM
f=3
TT=4.177
T1=3.91
 OPTIMUM
f=3
TT=16.238
T1=16.23
 Wrong UNSAT

TT=4.031
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111227012--soft-0-100-0.wbo 		MOPT
f=5
TT=0.359
T1=0.16
 OPTIMUM
f=5
TT=0.359
T1=0.16
 MSAT (TO)
f=24
TT=1800.06
T1=1272.6
 OPTIMUM
f=5
TT=56.236
T1=42.45
 MSAT (TO)
f=577
TT=1800.14
T1=1797.81
 Wrong Opt.
f=24
TT=98.665
T1=73.35
 Wrong Opt.
f=24
TT=28.826
T1=22.97
 OPTIMUM
f=5
TT=173.458
T1=169.25
 OPTIMUM
f=5
TT=12.097
T1=11.89
 OPTIMUM
f=5
TT=6.974
T1=6.73
 ? (exit code)

TT=16.214

 OPTIMUM
f=5
TT=3.608
T1=3.4
 OPTIMUM
f=5
TT=32.606
T1=32.6
 Wrong UNSAT

TT=5.172
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111227326--soft-0-100-0.wbo 		MOPT
f=2
TT=0.135
T1=0.12
 OPTIMUM
f=2
TT=0.135
T1=0.12
 Wrong Opt.
f=7
TT=51.341
T1=10.5
 OPTIMUM
f=2
TT=49.321
T1=23.98
 MSAT (TO)
f=111
TT=1800.25
T1=1797.61
 Wrong Opt.
f=7
TT=35.538
T1=31.26
 Wrong Opt.
f=7
TT=13.331
T1=6.97
 OPTIMUM
f=2
TT=73.09
T1=71.43
 OPTIMUM
f=2
TT=2.049
T1=1.99
 OPTIMUM
f=2
TT=4.158
T1=4.08
 ? (exit code)

TT=31.005

 OPTIMUM
f=2
TT=4.689
T1=4.59
 OPTIMUM
f=2
TT=7.272
T1=7.27
 Wrong UNSAT

TT=1.838
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111227861--soft-0-100-0.wbo 		MOPT
f=7
TT=0.165
T1=0.12
 OPTIMUM
f=7
TT=0.165
T1=0.12
 OPTIMUM
f=7
TT=54.673
T1=15.37
 OPTIMUM
f=7
TT=114.049
T1=8.42
 MSAT (TO)
f=597
TT=1800.18
T1=1797.44
 OPTIMUM
f=7
TT=42.434
T1=24.23
 OPTIMUM
f=7
TT=15.451
T1=5.85
 OPTIMUM
f=7
TT=56.467
T1=37.02
 OPTIMUM
f=7
TT=4.278
T1=3.65
 OPTIMUM
f=7
TT=3.871
T1=3.45
 MSAT (TO)
f=8
TT=1800.6
T1=157.32
 OPTIMUM
f=7
TT=4.312
T1=2.29
 OPTIMUM
f=7
TT=69.85
T1=69.85
 Wrong UNSAT

TT=4.747
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111228076--soft-0-100-0.wbo 		MOPT
f=3
TT=0.247
T1=0.15
 OPTIMUM
f=3
TT=0.247
T1=0.15
 Wrong Opt.
f=14
TT=1434.46
T1=480.86
 OPTIMUM
f=3
TT=114.951
T1=41.81
 MSAT (TO)
f=422
TT=1800.15
T1=1797.61
 Wrong Opt.
f=14
TT=63.158
T1=37.27
 Wrong Opt.
f=14
TT=29.539
T1=18.52
 OPTIMUM
f=3
TT=51.068
T1=42.32
 OPTIMUM
f=3
TT=15.184
T1=14.9
 OPTIMUM
f=3
TT=13.967
T1=13.77
 ? (exit code)

TT=166.684

 OPTIMUM
f=3
TT=3.226
T1=3.09
 OPTIMUM
f=3
TT=24.7
T1=24.69
 Wrong UNSAT

TT=7.608
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/
roussel/
normalized-pigeon-cardinality-101-100--soft-0-100-0.wbo 		MOPT
f=1
TT=0.53
T1=0.41
 OPTIMUM
f=1
TT=0.53
T1=0.41
 ? (TO)

TT=1800.08

 MSAT (TO)
f=1
TT=1800.07
T1=8.71
 OPTIMUM
f=1
TT=13.319
T1=12.22
 OPTIMUM
f=1
TT=19.432
T1=1.33
 MSAT (TO)
f=1
TT=1800.26
T1=0.72
 MSAT (TO)
f=1
TT=1800.28
T1=7.35
 OPTIMUM
f=1
TT=2.174
T1=2.14
 OPTIMUM
f=1
TT=1.469
T1=1.44
 MSAT (TO)
f=5207
TT=1802.1
T1=1800.02
 OPTIMUM
f=1
TT=1.663
T1=1.63
 ? (MO)

TT=1249.88

 ? (MO)

TT=1556.77
Bench nameBest resultspb_cplex
2010-07-01
(complete)		PB/CT
0.1
(complete)		PB/CT
0.1 fixed
(complete)		SAT4J PB CuttingPlanes
2.2.0 2010-05-26
(complete)		SAT4J PB RES // CP
2.2.0 2010-05-31
(complete)		SAT4J PB Resolution
2.2.0 2010-05-26
(complete)		SAT4J PB Resolution
2.2.1
(complete)		SCIPclp
SCIP 1.2.1.2 with Clp 1.11.1 (Release Version) as LP solver
(complete)		SCIPclp
SCIP 1.2.1.3 with Clp 1.11.1 (Release Version) as LP solver
(complete)		SCIPnone
SCIP 1.2.1.2 without any LP solver
(complete)		SCIPspx
SCIP 1.2.1.2 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver
(complete)		wbo
1.4a
(complete)		wbo
1.4b
(complete)
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/
roussel/
normalized-pigeon-cardinality-105-100--soft-0-100-0.wbo 		MOPT
f=1
TT=0.438
T1=0.31
 OPTIMUM
f=1
TT=0.438
T1=0.31
 ? (TO)

TT=1800.11

 MSAT (TO)
f=1
TT=1800.07
T1=3.84
 Wrong Opt.
f=27
TT=33.112
T1=31.91
 Wrong Opt.
f=27
TT=3.165
T1=2.34
 MSAT (TO)
f=42
TT=1800.21
T1=1018.59
 MSAT (TO)
f=1
TT=1800.25
T1=17.53
 OPTIMUM
f=1
TT=2.757
T1=2.72
 OPTIMUM
f=1
TT=42.213
T1=42.17
 MSAT (TO)
f=5350
TT=1802.1
T1=1800.02
 OPTIMUM
f=1
TT=2.258
T1=2.23
 ? (MO)

TT=1299.43

 ? (MO)

TT=1593.67
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/
roussel/
normalized-pigeon-cardinality-11-10--soft-0-100-0.wbo 		MOPT
f=1
TT=0.006
T1=0
 OPTIMUM
f=1
TT=0.006
T1=0
 OPTIMUM
f=1
TT=704.179
T1=0.02
 OPTIMUM
f=1
TT=877.324
T1=0
 OPTIMUM
f=1
TT=0.197
T1=0.14
 OPTIMUM
f=1
TT=0.3
T1=1.12
 OPTIMUM
f=1
TT=455.034
T1=0.23
 OPTIMUM
f=1
TT=686.566
T1=0.25
 OPTIMUM
f=1
TT=0.021
T1=0.01
 OPTIMUM
f=1
TT=0.028
T1=0.02
 MSAT (TO)
f=1
TT=1802.15
T1=29.72
 OPTIMUM
f=1
TT=0.019
T1=0.01
 OPTIMUM
f=1
TT=104.486
T1=104.48
 Wrong UNSAT

TT=102.011
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/
roussel/
normalized-pigeon-cardinality-15-10--soft-0-100-0.wbo 		MOPT
f=2
TT=0.008
T1=0
 OPTIMUM
f=2
TT=0.008
T1=0
 MSAT (TO)
f=36
TT=1800.07
T1=0.59
 OPTIMUM
f=2
TT=1055.57
T1=0.01
 Wrong Opt.
f=58
TT=0.19
T1=0.15
 Wrong Opt.
f=58
TT=0.25
T1=1.13
 MSAT (TO)
f=58
TT=1800.12
T1=0.64
 MSAT (TO)
f=2
TT=1800.15
T1=0.31
 OPTIMUM
f=2
TT=0.028
T1=0.02
 OPTIMUM
f=2
TT=0.094
T1=0.09
 MSAT (TO)
f=2
TT=1802.2
T1=34.26
 OPTIMUM
f=2
TT=0.024
T1=0.02
 OPTIMUM
f=2
TT=927.915
T1=927.86
 Wrong UNSAT

TT=467.588
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/
roussel/
normalized-pigeon-cardinality-21-20--soft-0-100-0.wbo 		MOPT
f=1
TT=0.014
T1=0.03
 OPTIMUM
f=1
TT=0.014
T1=0.11
 MSAT (TO)
f=1
TT=1800.07
T1=11.44
 MSAT (TO)
f=1
TT=1800.07
T1=0.04
 OPTIMUM
f=1
TT=0.325
T1=0.21
 OPTIMUM
f=1
TT=0.588
T1=1.15
 MSAT (TO)
f=1
TT=1800.06
T1=0.28
 MSAT (TO)
f=1
TT=1800.1
T1=0.62
 OPTIMUM
f=1
TT=0.034
T1=0.03
 OPTIMUM
f=1
TT=0.052
T1=0.04
 MSAT (TO)
f=1
TT=1802.16
T1=153.39
 OPTIMUM
f=1
TT=0.034
T1=0.03
 ? (TO)

TT=1800.11

 ? (TO)

TT=1800.14
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/
roussel/
normalized-pigeon-cardinality-25-20--soft-0-100-0.wbo 		MOPT
f=4
TT=0.024
T1=0.02
 OPTIMUM
f=4
TT=0.024
T1=0.02
 MSAT (TO)
f=19
TT=1800.06
T1=60.91
 MSAT (TO)
f=4
TT=1800.04
T1=0.02
 Wrong Opt.
f=19
TT=0.532
T1=0.28
 Wrong Opt.
f=19
TT=0.913
T1=2.15
 MSAT (TO)
f=19
TT=1800.18
T1=15.17
 MSAT (TO)
f=4
TT=1800.16
T1=0.49
 OPTIMUM
f=4
TT=0.091
T1=0.08
 OPTIMUM
f=4
TT=0.358
T1=0.35
 MSAT (TO)
f=26
TT=1802.15
T1=594.73
 OPTIMUM
f=4
TT=0.062
T1=0.05
 ? (TO)

TT=1800.14

 ? (TO)

TT=1800.11
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/
roussel/
normalized-pigeon-cardinality-31-30--soft-0-100-0.wbo 		MOPT
f=1
TT=0.027
T1=0.02
 OPTIMUM
f=1
TT=0.027
T1=0.02
 MSAT (TO)
f=1
TT=1800.04
T1=289.32
 MSAT (TO)
f=1
TT=1800.03
T1=0.11
 OPTIMUM
f=1
TT=0.674
T1=0.32
 OPTIMUM
f=1
TT=1.168
T1=2.18
 MSAT (TO)
f=1
TT=1800.12
T1=0.5
 MSAT (TO)
f=1
TT=1800.13
T1=0.56
 OPTIMUM
f=1
TT=0.074
T1=0.06
 OPTIMUM
f=1
TT=0.088
T1=0.08
 MSAT (MO)
f=1850
TT=1479.36
T1=1477.21
 OPTIMUM
f=1
TT=0.069
T1=0.06
 ? (TO)

TT=1800.1

 ? (TO)

TT=1800.15
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/
roussel/
normalized-pigeon-cardinality-35-30--soft-0-100-0.wbo 		MOPT
f=3
TT=0.054
T1=0.1
 OPTIMUM
f=3
TT=0.054
T1=0.11
 MSAT (TO)
f=23
TT=1800.04
T1=1043.08
 MSAT (TO)
f=3
TT=1800.05
T1=0.1
 Wrong Opt.
f=23
TT=0.733
T1=0.35
 Wrong Opt.
f=23
TT=1.467
T1=2.19
 MSAT (TO)
f=23
TT=1800.15
T1=10.68
 MSAT (TO)
f=3
TT=1800.11
T1=3.23
 OPTIMUM
f=3
TT=0.131
T1=0.12
 OPTIMUM
f=3
TT=0.829
T1=0.82
 MSAT (TO)
f=1817
TT=1802.15
T1=1800.01
 OPTIMUM
f=3
TT=0.141
T1=0.13
 ? (TO)

TT=1800.17

 ? (TO)

TT=1800.17
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/
roussel/
normalized-pigeon-cardinality-41-40--soft-0-100-0.wbo 		MOPT
f=1
TT=0.075
T1=0.07
 OPTIMUM
f=1
TT=0.075
T1=0.07
 MSAT (TO)
f=480
TT=1800.05
T1=1160.07
 MSAT (TO)
f=1
TT=1800.08
T1=0.29
 OPTIMUM
f=1
TT=0.972
T1=0.46
 OPTIMUM
f=1
TT=1.837
T1=3.21
 MSAT (TO)
f=1
TT=1800.12
T1=0.63
 MSAT (TO)
f=1
TT=1800.13
T1=1.4
 OPTIMUM
f=1
TT=0.133
T1=0.12
 OPTIMUM
f=1
TT=0.174
T1=0.16
 MSAT (TO)
f=2425
TT=1802.17
T1=1800
 OPTIMUM
f=1
TT=0.127
T1=0.12
 ? (MO)

TT=1654.76

 ? (MO)

TT=1727.08
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/
roussel/
normalized-pigeon-cardinality-45-40--soft-0-100-0.wbo 		MOPT
f=3
TT=0.085
T1=0.08
 OPTIMUM
f=3
TT=0.085
T1=0.08
 MSAT (TO)
f=1027
TT=1800.05
T1=1750.61
 MSAT (TO)
f=3
TT=1800.06
T1=0.18
 Wrong Opt.
f=23
TT=2.936
T1=1.74
 Wrong Opt.
f=23
TT=1.625
T1=2.21
 MSAT (TO)
f=23
TT=1800.2
T1=98.04
 MSAT (TO)
f=3
TT=1800.2
T1=3.29
 OPTIMUM
f=3
TT=0.217
T1=0.21
 OPTIMUM
f=3
TT=3.01
T1=2.99
 MSAT (TO)
f=2365
TT=1802.13
T1=1800.01
 OPTIMUM
f=3
TT=0.238
T1=0.23
 ? (MO)

TT=1568.57

 ? (TO)

TT=1800.18
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/
roussel/
normalized-pigeon-cardinality-51-50--soft-0-100-0.wbo 		MOPT
f=1
TT=0.123
T1=0.11
 OPTIMUM
f=1
TT=0.123
T1=0.11
 ? (TO)

TT=1800.04

 MSAT (TO)
f=1
TT=1800.07
T1=0.69
 OPTIMUM
f=1
TT=1.453
T1=0.73
 OPTIMUM
f=1
TT=2.642
T1=5.25
 MSAT (TO)
f=1
TT=1800.19
T1=0.9
 MSAT (TO)
f=1
TT=1800.17
T1=0.79
 OPTIMUM
f=1
TT=0.279
T1=0.27
 OPTIMUM
f=1
TT=0.252
T1=0.24
 MSAT (TO)
f=2614
TT=1802.14
T1=1800.01
 OPTIMUM
f=1
TT=0.256
T1=0.24
 ? (MO)

TT=1436.47

 ? (MO)

TT=1659.27
Bench nameBest resultspb_cplex
2010-07-01
(complete)		PB/CT
0.1
(complete)		PB/CT
0.1 fixed
(complete)		SAT4J PB CuttingPlanes
2.2.0 2010-05-26
(complete)		SAT4J PB RES // CP
2.2.0 2010-05-31
(complete)		SAT4J PB Resolution
2.2.0 2010-05-26
(complete)		SAT4J PB Resolution
2.2.1
(complete)		SCIPclp
SCIP 1.2.1.2 with Clp 1.11.1 (Release Version) as LP solver
(complete)		SCIPclp
SCIP 1.2.1.3 with Clp 1.11.1 (Release Version) as LP solver
(complete)		SCIPnone
SCIP 1.2.1.2 without any LP solver
(complete)		SCIPspx
SCIP 1.2.1.2 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver
(complete)		wbo
1.4a
(complete)		wbo
1.4b
(complete)
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/
roussel/
normalized-pigeon-cardinality-55-50--soft-0-100-0.wbo 		MOPT
f=2
TT=0.135
T1=0.12
 OPTIMUM
f=2
TT=0.135
T1=0.12
 ? (TO)

TT=1800.05

 MSAT (TO)
f=2
TT=1800.06
T1=0.29
 Wrong Opt.
f=17
TT=1.215
T1=0.47
 Wrong Opt.
f=17
TT=2.059
T1=2.24
 MSAT (TO)
f=24
TT=1800.2
T1=216.07
 MSAT (TO)
f=2
TT=1800.15
T1=4.08
 OPTIMUM
f=2
TT=0.404
T1=0.39
 OPTIMUM
f=2
TT=16.89
T1=16.86
 MSAT (TO)
f=2683
TT=1802.15
T1=1800.01
 OPTIMUM
f=2
TT=0.449
T1=0.44
 ? (MO)

TT=1355.77

 ? (MO)

TT=1549.59
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/
roussel/
normalized-pigeon-cardinality-61-60--soft-0-100-0.wbo 		MOPT
f=1
TT=0.106
T1=0.09
 OPTIMUM
f=1
TT=0.106
T1=0.09
 ? (TO)

TT=1800.1

 MSAT (TO)
f=1
TT=1800.07
T1=0.4
 Wrong Opt.
f=4
TT=2.687
T1=1.71
 Wrong Opt.
f=4
TT=4.158
T1=4.28
 MSAT (TO)
f=4
TT=1800.16
T1=1.62
 MSAT (TO)
f=1
TT=1800.2
T1=2.66
 OPTIMUM
f=1
TT=0.465
T1=0.45
 OPTIMUM
f=1
TT=0.445
T1=0.43
 MSAT (TO)
f=2856
TT=1802.12
T1=1800.01
 OPTIMUM
f=1
TT=0.529
T1=0.51
 ? (MO)

TT=1310.57

 ? (MO)

TT=1302.86
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/
roussel/
normalized-pigeon-cardinality-65-60--soft-0-100-0.wbo 		MOPT
f=1
TT=0.117
T1=0.1
 OPTIMUM
f=1
TT=0.117
T1=0.1
 ? (TO)

TT=1800.05

 MSAT (TO)
f=1
TT=1800.05
T1=1.03
 Wrong Opt.
f=36
TT=3.436
T1=2.6
 Wrong Opt.
f=36
TT=2.161
T1=2.28
 MSAT (TO)
f=41
TT=1800.19
T1=1746.91
 MSAT (TO)
f=1
TT=1800.13
T1=3.11
 OPTIMUM
f=1
TT=0.593
T1=0.58
 OPTIMUM
f=1
TT=14.876
T1=14.83
 MSAT (TO)
f=2899
TT=1802.14
T1=1800.01
 OPTIMUM
f=1
TT=0.609
T1=0.59
 ? (MO)

TT=1431.29

 ? (MO)

TT=1591.59
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/
roussel/
normalized-pigeon-cardinality-71-70--soft-0-100-0.wbo 		MOPT
f=1
TT=0.215
T1=0.18
 OPTIMUM
f=1
TT=0.215
T1=0.18
 ? (TO)

TT=1800.05

 MSAT (TO)
f=1
TT=1800.06
T1=1.43
 OPTIMUM
f=1
TT=4.187
T1=3.31
 OPTIMUM
f=1
TT=4.979
T1=6.32
 MSAT (TO)
f=1
TT=1800.22
T1=3.43
 MSAT (TO)
f=1
TT=1800.17
T1=7.86
 OPTIMUM
f=1
TT=0.636
T1=0.62
 OPTIMUM
f=1
TT=2.4
T1=2.37
 MSAT (TO)
f=3588
TT=1802.11
T1=1800.01
 OPTIMUM
f=1
TT=0.55
T1=0.53
 ? (MO)

TT=1158.87

 ? (MO)

TT=1362.77
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/
roussel/
normalized-pigeon-cardinality-75-70--soft-0-100-0.wbo 		MOPT
f=1
TT=0.168
T1=0.13
 OPTIMUM
f=1
TT=0.168
T1=0.13
 ? (TO)

TT=1800.06

 MSAT (TO)
f=1
TT=1800.04
T1=0.69
 Wrong Opt.
f=31
TT=5.316
T1=4.2
 Wrong Opt.
f=31
TT=2.494
T1=2.3
 MSAT (TO)
f=54
TT=1800.13
T1=1527.14
 MSAT (TO)
f=1
TT=1800.19
T1=2.46
 OPTIMUM
f=1
TT=0.884
T1=0.87
 OPTIMUM
f=1
TT=14.392
T1=14.36
 MSAT (TO)
f=3590
TT=1802.11
T1=1800.01
 OPTIMUM
f=1
TT=0.934
T1=0.92
 ? (MO)

TT=1062.98

 ? (MO)

TT=1563.53
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/
roussel/
normalized-pigeon-cardinality-81-80--soft-0-100-0.wbo 		MOPT
f=1
TT=0.221
T1=0.17
 OPTIMUM
f=1
TT=0.221
T1=0.17
 ? (TO)

TT=1800.07

 MSAT (TO)
f=1
TT=1800.06
T1=0.45
 OPTIMUM
f=1
TT=6.034
T1=5.06
 OPTIMUM
f=1
TT=7.95
T1=2.32
 MSAT (TO)
f=1
TT=1800.19
T1=0.87
 MSAT (TO)
f=1
TT=1800.16
T1=0.94
 OPTIMUM
f=1
TT=1.066
T1=1.05
 OPTIMUM
f=1
TT=7.072
T1=7.02
 MSAT (TO)
f=3869
TT=1802.1
T1=1800.01
 OPTIMUM
f=1
TT=1.046
T1=1.02
 ? (MO)

TT=1226.99

 ? (MO)

TT=1469.5
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/
roussel/
normalized-pigeon-cardinality-85-80--soft-0-100-0.wbo 		MOPT
f=1
TT=0.236
T1=0.18
 OPTIMUM
f=1
TT=0.236
T1=0.18
 ? (TO)

TT=1800.05

 MSAT (TO)
f=1
TT=1800.09
T1=5.13
 Wrong Opt.
f=12
TT=17.598
T1=16.08
 Wrong Opt.
f=12
TT=2.851
T1=2.32
 MSAT (TO)
f=29
TT=1800.26
T1=666.07
 MSAT (TO)
f=1
TT=1800.12
T1=10.97
 OPTIMUM
f=1
TT=1.329
T1=1.31
 OPTIMUM
f=1
TT=46.791
T1=46.74
 MSAT (TO)
f=3931
TT=1802.1
T1=1800.21
 OPTIMUM
f=1
TT=1.188
T1=1.17
 ? (MO)

TT=1351.36

 ? (MO)

TT=1547.79
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/
roussel/
normalized-pigeon-cardinality-91-90--soft-0-100-0.wbo 		MOPT
f=1
TT=0.309
T1=0.23
 OPTIMUM
f=1
TT=0.309
T1=0.23
 ? (TO)

TT=1800.05

 MSAT (TO)
f=1
TT=1800.07
T1=2.4
 Wrong Opt.
f=4
TT=8.084
T1=7.1
 Wrong Opt.
f=4
TT=13.92
T1=10.37
 MSAT (TO)
f=4
TT=1800.21
T1=5.65
 MSAT (TO)
f=1
TT=1800.22
T1=2.45
 OPTIMUM
f=1
TT=1.6
T1=1.57
 OPTIMUM
f=1
TT=7.465
T1=7.42
 MSAT (TO)
f=4439
TT=1802.11
T1=1800.02
 OPTIMUM
f=1
TT=1.304
T1=1.28
 ? (MO)

TT=1113.44

 ? (MO)

TT=1497.03
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/
roussel/
normalized-pigeon-cardinality-95-90--soft-0-100-0.wbo 		MOPT
f=1
TT=0.33
T1=0.24
 OPTIMUM
f=1
TT=0.33
T1=0.24
 ? (TO)

TT=1800.09

 MSAT (TO)
f=1
TT=1800.07
T1=0.54
 Wrong Opt.
f=11
TT=22.108
T1=20.65
 Wrong Opt.
f=11
TT=3.182
T1=2.34
 MSAT (TO)
f=22
TT=1800.23
T1=1199.71
 MSAT (TO)
f=1
TT=1800.19
T1=15.51
 OPTIMUM
f=1
TT=2.035
T1=2.01
 OPTIMUM
f=1
TT=118.027
T1=117.97
 MSAT (TO)
f=4383
TT=1802.1
T1=1800.02
 OPTIMUM
f=1
TT=1.64
T1=1.61
 ? (MO)

TT=1185.16

 ? (MO)

TT=1503.57
/SOFT-SMALLINT-LIN/PB06/web/
uclid_pb_benchmarks/
normalized-22s.smv--soft-0-100-0.wbo 		MOPT
f=1
TT=0.108
T1=0.1
 ? (TO)

TT=1800.22

 Signal

TT=0.13

 OPTIMUM
f=1
TT=652.118
T1=651.72
 OPTIMUM
f=1
TT=30.044
T1=26.98
 OPTIMUM
f=1
TT=92.908
T1=95.04
 OPTIMUM
f=1
TT=7.036
T1=4.89
 OPTIMUM
f=1
TT=8.041
T1=5.87
 ? (TO)

TT=1802.14

 MSAT
f=15814
TT=1795.92
T1=1795.58
 ? (TO)

TT=1802.08

 ? (TO)

TT=1802.1

 OPTIMUM
f=1
TT=0.108
T1=0.1
 Wrong UNSAT

TT=41.232
Bench nameBest resultspb_cplex
2010-07-01
(complete)		PB/CT
0.1
(complete)		PB/CT
0.1 fixed
(complete)		SAT4J PB CuttingPlanes
2.2.0 2010-05-26
(complete)		SAT4J PB RES // CP
2.2.0 2010-05-31
(complete)		SAT4J PB Resolution
2.2.0 2010-05-26
(complete)		SAT4J PB Resolution
2.2.1
(complete)		SCIPclp
SCIP 1.2.1.2 with Clp 1.11.1 (Release Version) as LP solver
(complete)		SCIPclp
SCIP 1.2.1.3 with Clp 1.11.1 (Release Version) as LP solver
(complete)		SCIPnone
SCIP 1.2.1.2 without any LP solver
(complete)		SCIPspx
SCIP 1.2.1.2 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver
(complete)		wbo
1.4a
(complete)		wbo
1.4b
(complete)
/SOFT-SMALLINT-LIN/PB06/web/
uclid_pb_benchmarks/
normalized-25s.smv--soft-0-100-0.wbo 		MOPT
f=1
TT=0.083
T1=0.08
 OPTIMUM
f=1
TT=119.657
T1=74.61
 Signal

TT=0.098

 OPTIMUM
f=1
TT=87.274
T1=87
 Wrong Opt.
f=7
TT=5.553
T1=2.88
 Wrong Opt.
f=7
TT=8.007
T1=7.44
 Wrong Opt.
f=7
TT=4.151
T1=2.26
 OPTIMUM
f=1
TT=4.233
T1=2.09
 ? (TO)

TT=1802.08

 MSAT
f=13904
TT=1793.59
T1=1793.3
 ? (TO)

TT=1802.06

 ? (TO)

TT=1802.11

 OPTIMUM
f=1
TT=0.083
T1=0.08
 Wrong UNSAT

TT=9.816
/SOFT-SMALLINT-LIN/PB06/web/
uclid_pb_benchmarks/
normalized-37s.smv--soft-0-100-0.wbo 		MOPT
f=1
TT=0.019
T1=0.01
 OPTIMUM
f=1
TT=12.88
T1=8.82
 Signal

TT=0.022

 OPTIMUM
f=1
TT=1.273
T1=1.22
 Wrong Opt.
f=2
TT=2.8
T1=0.95
 Wrong Opt.
f=2
TT=2.588
T1=1.37
 Wrong Opt.
f=2
TT=2.122
T1=0.75
 OPTIMUM
f=1
TT=1.804
T1=0.65
 MSAT (TO)
f=10035
TT=1800.9
T1=1800.15
 MSAT
f=3694
TT=1790.78
T1=1790.14
 OPTIMUM
f=1
TT=27.958
T1=20.71
 MSAT (TO)
f=10087
TT=1800.84
T1=1800.16
 OPTIMUM
f=1
TT=0.019
T1=0.01
 Wrong UNSAT

TT=1.287
/SOFT-SMALLINT-LIN/PB06/web/
uclid_pb_benchmarks/
normalized-43s.smv--soft-0-100-0.wbo 		MOPT
f=1
TT=0.195
T1=0.19
 ? (TO)

TT=1800.04

 Signal

TT=0.066

 OPTIMUM
f=1
TT=32.464
T1=31.42
 Wrong Opt.
f=2
TT=36.624
T1=33.88
 Wrong Opt.
f=2
TT=41.527
T1=47.97
 Wrong Opt.
f=2
TT=5.132
T1=3.3
 OPTIMUM
f=1
TT=4.991
T1=3.17
 MSAT (TO)
f=33948
TT=1801.47
T1=1801.17
 MSAT
f=15090
TT=1791.08
T1=1790.98
 MSAT (TO)
f=13768
TT=1802.06
T1=1801.69
 MSAT (TO)
f=34004
TT=1801.46
T1=1801.14
 OPTIMUM
f=1
TT=0.195
T1=0.19
 Wrong UNSAT

TT=10.071
/SOFT-SMALLINT-LIN/PB06/web/
uclid_pb_benchmarks/
normalized-44s.smv--soft-0-100-0.wbo 		MOPT
f=2
TT=0.025
T1=0.02
 OPTIMUM
f=2
TT=1.092
T1=0.75
 Signal

TT=0.008

 OPTIMUM
f=2
TT=0.516
T1=0.47
 Wrong Opt.
f=10
TT=2.163
T1=0.81
 Wrong Opt.
f=10
TT=1.731
T1=3.27
 Wrong Opt.
f=10
TT=0.98
T1=0.38
 OPTIMUM
f=2
TT=1.351
T1=0.46
 MSAT (TO)
f=8472
TT=1802.13
T1=1800.02
 MSAT
f=2712
TT=1792.86
T1=1790.02
 OPTIMUM
f=2
TT=1.649
T1=1.07
 MSAT (TO)
f=8472
TT=1802.1
T1=1800.02
 OPTIMUM
f=2
TT=0.025
T1=0.02
 Wrong UNSAT

TT=0.014
/SOFT-SMALLINT-LIN/PB06/web/
uclid_pb_benchmarks/
normalized-46s.smv--soft-0-100-0.wbo 		MOPT
f=1
TT=0.038
T1=0.03
 OPTIMUM
f=1
TT=17.752
T1=8.17
 Signal

TT=0.028

 OPTIMUM
f=1
TT=4.381
T1=4.19
 OPTIMUM
f=1
TT=4.042
T1=1.59
 OPTIMUM
f=1
TT=4.545
T1=5.51
 OPTIMUM
f=1
TT=2.654
T1=1.02
 OPTIMUM
f=1
TT=2.468
T1=0.94
 MSAT (TO)
f=18563
TT=1800.84
T1=1800.2
 MSAT
f=8407
TT=1790.94
T1=1790.18
 MSAT (TO)
f=7152
TT=1802.08
T1=1800.26
 MSAT (TO)
f=18543
TT=1800.85
T1=1800.2
 OPTIMUM
f=1
TT=0.038
T1=0.03
 Wrong UNSAT

TT=2.317
/SOFT-SMALLINT-LIN/PB06/web/
uclid_pb_benchmarks/
normalized-blast-floppy1-2.ucl--soft-0-100-0.wbo 		MOPT
f=2
TT=0.017
T1=0.01
 OPTIMUM
f=2
TT=0.066
T1=0.05
 Signal

TT=0.003

 OPTIMUM
f=2
TT=0.108
T1=0.05
 Wrong Opt.
f=22
TT=3.759
T1=1.49
 Wrong Opt.
f=22
TT=3.388
T1=4.17
 Wrong Opt.
f=22
TT=0.627
T1=0.32
 OPTIMUM
f=2
TT=0.661
T1=0.33
 OPTIMUM
f=2
TT=0.922
T1=0.84
 OPTIMUM
f=2
TT=17.265
T1=17.22
 ? (exit code)

TT=0.263

 OPTIMUM
f=2
TT=62.57
T1=62.49
 OPTIMUM
f=2
TT=0.017
T1=0.01
 Wrong UNSAT

TT=0.012
/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.031
T1=0.03
 Signal

TT=0.004

 OPTIMUM
f=4
TT=0.106
T1=0.09
 Wrong Opt.
f=7
TT=0.483
T1=0.25
 Wrong Opt.
f=7
TT=0.644
T1=1.19
 Wrong Opt.
f=7
TT=0.442
T1=0.23
 OPTIMUM
f=4
TT=0.422
T1=0.2
 OPTIMUM
f=4
TT=581.678
T1=581.51
 OPTIMUM
f=4
TT=1551.72
T1=1551.15
 OPTIMUM
f=4
TT=0.146
T1=0.13
 OPTIMUM
f=4
TT=28.535
T1=28.52
 OPTIMUM
f=4
TT=0.002
T1=0
 Wrong UNSAT

TT=0.002
/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.021
T1=0.15
 Signal

TT=0.003

 OPTIMUM
f=18
TT=0.093
T1=0.08
 Wrong Opt.
f=92
TT=0.394
T1=0.2
 Wrong Opt.
f=92
TT=0.544
T1=1.17
 Wrong Opt.
f=92
TT=0.354
T1=0.2
 OPTIMUM
f=18
TT=0.314
T1=0.19
 OPTIMUM
f=18
TT=1.644
T1=1.64
 OPTIMUM
f=18
TT=1335.38
T1=1333.94
 ? (exit code)

TT=30.162

 OPTIMUM
f=18
TT=1648.5
T1=1646.91
 OPTIMUM
f=18
TT=0.001
T1=0
 Wrong UNSAT

TT=0.002
/SOFT-SMALLINT-LIN/PB06/web/
uclid_pb_benchmarks/
normalized-blast-floppy1-6.ucl--soft-0-100-0.wbo 		MOPT
f=1
TT=0.024
T1=0.02
 OPTIMUM
f=1
TT=0.804
T1=0.4
 Signal

TT=0.011

 OPTIMUM
f=1
TT=2.481
T1=2.27
 Wrong Opt.
f=15
TT=2.785
T1=0.97
 Wrong Opt.
f=15
TT=3.624
T1=3.27
 Wrong Opt.
f=15
TT=1.77
T1=0.67
 OPTIMUM
f=1
TT=2.059
T1=0.86
 MSAT (TO)
f=5738
TT=1802.13
T1=1800.01
 MSAT
f=3033
TT=1793.15
T1=1790.01
 MSAT (MO)
f=87
TT=1411.52
T1=1075.43
 MSAT (TO)
f=5738
TT=1802.13
T1=1800.01
 OPTIMUM
f=1
TT=0.024
T1=0.02
 Wrong UNSAT

TT=0.019
/SOFT-SMALLINT-LIN/PB06/web/
uclid_pb_benchmarks/
normalized-blast-floppy1-7.ucl--soft-0-100-0.wbo 		MOPT
f=1
TT=0.03
T1=0.03
 OPTIMUM
f=1
TT=3.968
T1=3.06
 Signal

TT=0.057

 MSAT (TO)
f=1605
TT=1800.07
T1=1798.19
 Wrong Opt.
f=3
TT=6.644
T1=3.77
 Wrong Opt.
f=3
TT=7.495
T1=6.58
 Wrong Opt.
f=3
TT=11.475
T1=9.73
 OPTIMUM
f=1
TT=8.604
T1=6.93
 MSAT (TO)
f=24863
TT=1800.81
T1=1800.17
 MSAT
f=17170
TT=1790.71
T1=1790.16
 MSAT (TO)
f=6277
TT=1802.1
T1=1800.22
 MSAT (TO)
f=24863
TT=1800.55
T1=1800.17
 OPTIMUM
f=1
TT=0.03
T1=0.03
 Wrong UNSAT

TT=0.079
Bench nameBest resultspb_cplex
2010-07-01
(complete)		PB/CT
0.1
(complete)		PB/CT
0.1 fixed
(complete)		SAT4J PB CuttingPlanes
2.2.0 2010-05-26
(complete)		SAT4J PB RES // CP
2.2.0 2010-05-31
(complete)		SAT4J PB Resolution
2.2.0 2010-05-26
(complete)		SAT4J PB Resolution
2.2.1
(complete)		SCIPclp
SCIP 1.2.1.2 with Clp 1.11.1 (Release Version) as LP solver
(complete)		SCIPclp
SCIP 1.2.1.3 with Clp 1.11.1 (Release Version) as LP solver
(complete)		SCIPnone
SCIP 1.2.1.2 without any LP solver
(complete)		SCIPspx
SCIP 1.2.1.2 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver
(complete)		wbo
1.4a
(complete)		wbo
1.4b
(complete)
/SOFT-SMALLINT-LIN/PB06/web/
uclid_pb_benchmarks/
normalized-blast-floppy1-8.ucl--soft-0-100-0.wbo 		MOPT
f=1
TT=0.039
T1=0.03
 OPTIMUM
f=1
TT=9.678
T1=7.96
 Signal

TT=0.076

 MSAT (TO)
f=2744
TT=1800.05
T1=1799.5
 Wrong Opt.
f=65
TT=7.878
T1=5.15
 Wrong Opt.
f=65
TT=21.854
T1=16.09
 Wrong Opt.
f=65
TT=14.897
T1=13
 OPTIMUM
f=1
TT=13.566
T1=11.54
 MSAT (TO)
f=31721
TT=1800.61
T1=1800.28
 MSAT
f=21641
TT=1790.62
T1=1790.25
 MSAT (TO)
f=18
TT=1802.09
T1=1679.73
 MSAT (TO)
f=31768
TT=1800.6
T1=1800.28
 OPTIMUM
f=1
TT=0.039
T1=0.03
 Wrong UNSAT

TT=0.028
/SOFT-SMALLINT-LIN/PB06/web/
uclid_pb_benchmarks/
normalized-blast-tlan2.ucl--soft-0-100-0.wbo 		MOPT
f=1
TT=0.047
T1=0.04
 OPTIMUM
f=1
TT=6.799
T1=3.63
 Signal

TT=0.043

 OPTIMUM
f=1
TT=99.316
T1=99.09
 Wrong Opt.
f=44
TT=6.413
T1=3.48
 Wrong Opt.
f=44
TT=9.982
T1=13.62
 Wrong Opt.
f=44
TT=5.02
T1=3.23
 OPTIMUM
f=1
TT=6.875
T1=5.23
 MSAT (TO)
f=21769
TT=1800.7
T1=1800.15
 MSAT
f=10118
TT=1790.58
T1=1790.14
 MSAT (TO)
f=15
TT=1802.17
T1=1437.93
 MSAT (TO)
f=21769
TT=1800.56
T1=1800.15
 OPTIMUM
f=1
TT=0.047
T1=0.04
 Wrong UNSAT

TT=0.166
/SOFT-SMALLINT-LIN/PB06/web/
uclid_pb_benchmarks/
normalized-cache.inv8.ucl--soft-0-100-0.wbo 		MOPT
f=16
TT=0.022
T1=0.02
 OPTIMUM
f=16
TT=128.035
T1=44.62
 Signal

TT=0.041

 OPTIMUM
f=16
TT=42.148
T1=42.05
 Wrong Opt.
f=52
TT=1.686
T1=0.7
 Wrong Opt.
f=52
TT=3.24
T1=1.55
 Wrong Opt.
f=52
TT=1.829
T1=0.75
 OPTIMUM
f=16
TT=2.353
T1=0.87
 MSAT (TO)
f=14977
TT=1801.1
T1=1800.72
 MSAT
f=5989
TT=1791
T1=1790.59
 MSAT (TO)
f=5162
TT=1801.72
T1=1801.05
 MSAT (TO)
f=14765
TT=1800.98
T1=1800.68
 OPTIMUM
f=16
TT=0.022
T1=0.02
 Wrong UNSAT

TT=0.015
/SOFT-SMALLINT-LIN/PB06/web/
uclid_pb_benchmarks/
normalized-dlx1c.ucl--soft-0-100-0.wbo 		MOPT
f=1
TT=0.149
T1=0.14
 ? (TO)

TT=1800.72

 Signal

TT=0.116

 OPTIMUM
f=1
TT=1369.82
T1=1369.41
 MSAT (TO)
f=1516
TT=1800.16
T1=1766.82
 OPTIMUM
f=1
TT=45.999
T1=46.85
 OPTIMUM
f=1
TT=6.338
T1=4.51
 OPTIMUM
f=1
TT=12.224
T1=10.36
 ? (TO)

TT=1802.13

 MSAT
f=16225
TT=1799.22
T1=1798.78
 ? (TO)

TT=1802.06

 ? (TO)

TT=1802.08

 OPTIMUM
f=1
TT=0.149
T1=0.14
 Wrong UNSAT

TT=91.529
/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.028
T1=0.02
 Signal

TT=0.002

 OPTIMUM
f=2
TT=0.02
T1=0.01
 Wrong Opt.
f=8
TT=0.194
T1=0.14
 Wrong Opt.
f=8
TT=0.222
T1=1.14
 Wrong Opt.
f=8
TT=0.179
T1=0.14
 OPTIMUM
f=2
TT=0.171
T1=0.13
 OPTIMUM
f=2
TT=0.1
T1=0.08
 OPTIMUM
f=2
TT=0.722
T1=0.71
 OPTIMUM
f=2
TT=0.049
T1=0.04
 OPTIMUM
f=2
TT=0.175
T1=0.16
 OPTIMUM
f=2
TT=0.001
T1=0
 Wrong UNSAT

TT=0.001
/SOFT-SMALLINT-LIN/PB06/web/
uclid_pb_benchmarks/
normalized-elf.rf7.ucl--soft-0-100-0.wbo 		MOPT
f=1
TT=0.015
T1=0.01
 OPTIMUM
f=1
TT=5.541
T1=4.28
 Signal

TT=0.022

 OPTIMUM
f=1
TT=3.63
T1=3.58
 Wrong Opt.
f=6
TT=2.242
T1=0.85
 Wrong Opt.
f=6
TT=2.9
T1=1.39
 Wrong Opt.
f=6
TT=2.034
T1=0.77
 OPTIMUM
f=1
TT=1.794
T1=0.65
 MSAT (TO)
f=14263
TT=1800.82
T1=1800.16
 MSAT
f=5479
TT=1791
T1=1790.15
 OPTIMUM
f=1
TT=24.272
T1=24.29
 MSAT (TO)
f=14222
TT=1800.83
T1=1800.17
 OPTIMUM
f=1
TT=0.015
T1=0.01
 Wrong UNSAT

TT=0.305
/SOFT-SMALLINT-LIN/PB06/web/
uclid_pb_benchmarks/
normalized-elf.rf8.ucl--soft-0-100-0.wbo 		MOPT
f=1
TT=0.105
T1=0.1
 ? (TO)

TT=1800.14

 Signal

TT=0.107

 OPTIMUM
f=1
TT=850.538
T1=850.32
 Wrong Opt.
f=3
TT=3.666
T1=1.7
 Wrong Opt.
f=3
TT=5.013
T1=4.36
 Wrong Opt.
f=3
TT=3.313
T1=1.75
 OPTIMUM
f=1
TT=3.126
T1=1.53
 ? (TO)

TT=1802.09

 MSAT
f=16958
TT=1795.56
T1=1796.34
 ? (TO)

TT=1802.06

 ? (TO)

TT=1802.07

 OPTIMUM
f=1
TT=0.105
T1=0.1
 Wrong UNSAT

TT=90.545
/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.856
T1=0.85
 ? (TO)

TT=1800.39

 Signal

TT=0.04

 OPTIMUM
f=1
TT=21.181
T1=18.83
 OPTIMUM
f=1
TT=354.825
T1=79.1
 OPTIMUM
f=1
TT=25.223
T1=57.36
 OPTIMUM
f=1
TT=9.83
T1=8.14
 OPTIMUM
f=1
TT=9.71
T1=5.67
 MSAT (TO)
f=23527
TT=1800.91
T1=1800.46
 MSAT
f=8748
TT=1790.78
T1=1790.41
 MSAT (TO)
f=1
TT=1801.94
T1=132.1
 MSAT (TO)
f=23096
TT=1800.84
T1=1800.46
 OPTIMUM
f=1
TT=0.856
T1=0.85
 Wrong UNSAT

TT=4.816
/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.762
T1=2.76
 ? (TO)

TT=1800.75

 Signal

TT=0.087

 OPTIMUM
f=1
TT=185.685
T1=179.01
 MSAT (TO)
f=270
TT=1800.22
T1=1765.43
 OPTIMUM
f=1
TT=225.742
T1=187.83
 OPTIMUM
f=1
TT=74.263
T1=71.88
 OPTIMUM
f=1
TT=71.932
T1=64.2
 ? (TO)

TT=1802.08

 MSAT
f=21790
TT=1792.56
T1=1792.12
 ? (TO)

TT=1802.05

 ? (TO)

TT=1802.09

 OPTIMUM
f=1
TT=2.762
T1=2.76
 Wrong UNSAT

TT=92.038
/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.175
T1=0.17
 ? (TO)

TT=1800.84

 Signal

TT=0.073

 OPTIMUM
f=1
TT=92.588
T1=92.37
 OPTIMUM
f=1
TT=24.773
T1=21.78
 OPTIMUM
f=1
TT=6.863
T1=12.7
 OPTIMUM
f=1
TT=4.739
T1=2.89
 OPTIMUM
f=1
TT=5.069
T1=3.28
 MSAT (TO)
f=30718
TT=1802.05
T1=1801.72
 MSAT
f=16498
TT=1791.72
T1=1791.44
 OPTIMUM
f=1
TT=1171.79
T1=1128.15
 MSAT (TO)
f=30653
TT=1802.11
T1=1801.99
 OPTIMUM
f=1
TT=0.175
T1=0.17
 Wrong UNSAT

TT=11.213
Bench nameBest resultspb_cplex
2010-07-01
(complete)		PB/CT
0.1
(complete)		PB/CT
0.1 fixed
(complete)		SAT4J PB CuttingPlanes
2.2.0 2010-05-26
(complete)		SAT4J PB RES // CP
2.2.0 2010-05-31
(complete)		SAT4J PB Resolution
2.2.0 2010-05-26
(complete)		SAT4J PB Resolution
2.2.1
(complete)		SCIPclp
SCIP 1.2.1.2 with Clp 1.11.1 (Release Version) as LP solver
(complete)		SCIPclp
SCIP 1.2.1.3 with Clp 1.11.1 (Release Version) as LP solver
(complete)		SCIPnone
SCIP 1.2.1.2 without any LP solver
(complete)		SCIPspx
SCIP 1.2.1.2 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver
(complete)		wbo
1.4a
(complete)		wbo
1.4b
(complete)
/SOFT-SMALLINT-LIN/PB06/web/
uclid_pb_benchmarks/
normalized-ooo.rf6.ucl--soft-0-100-0.wbo 		MOPT
f=1
TT=0.034
T1=0.03
 OPTIMUM
f=1
TT=25.288
T1=13.56
 Signal

TT=0.031

 OPTIMUM
f=1
TT=11.005
T1=10.92
 OPTIMUM
f=1
TT=3.137
T1=1.14
 OPTIMUM
f=1
TT=3.897
T1=3.54
 OPTIMUM
f=1
TT=2.318
T1=0.9
 OPTIMUM
f=1
TT=2.404
T1=0.89
 MSAT (TO)
f=17323
TT=1800.78
T1=1800.34
 MSAT
f=7024
TT=1790.69
T1=1790.31
 OPTIMUM
f=1
TT=91.549
T1=91.36
 MSAT (TO)
f=17255
TT=1800.79
T1=1800.34
 OPTIMUM
f=1
TT=0.034
T1=0.03
 Wrong UNSAT

TT=6.304
/SOFT-SMALLINT-LIN/PB06/web/
uclid_pb_benchmarks/
normalized-ooo.rf7.ucl--soft-0-100-0.wbo 		MOPT
f=1
TT=0.097
T1=0.09
 ? (TO)

TT=1800.48

 Signal

TT=0.066

 OPTIMUM
f=1
TT=78.297
T1=78.1
 OPTIMUM
f=1
TT=6.968
T1=4.49
 OPTIMUM
f=1
TT=5.576
T1=8.28
 OPTIMUM
f=1
TT=3.747
T1=1.99
 OPTIMUM
f=1
TT=5.383
T1=3.57
 MSAT (TO)
f=27308
TT=1802.1
T1=1801.97
 MSAT
f=12191
TT=1791.79
T1=1791.45
 MSAT (TO)
f=903
TT=1802.06
T1=1801.69
 MSAT (TO)
f=27216
TT=1802.08
T1=1801.95
 OPTIMUM
f=1
TT=0.097
T1=0.09
 Wrong UNSAT

TT=90.161
/SOFT-SMALLINT-LIN/PB06/web/
uclid_pb_benchmarks/
normalized-ooo.rf8.ucl--soft-0-100-0.wbo 		MOPT
f=1
TT=0.324
T1=0.32
 ? (TO)

TT=1800.26

 Signal

TT=0.12

 OPTIMUM
f=1
TT=767.397
T1=766.87
 OPTIMUM
f=1
TT=102.355
T1=97.72
 OPTIMUM
f=1
TT=12.716
T1=15.2
 OPTIMUM
f=1
TT=8.891
T1=6.83
 OPTIMUM
f=1
TT=22.303
T1=20.1
 ? (TO)

TT=1802.08

 MSAT (TO)
f=17806
TT=1800.1
T1=1799.87
 ? (TO)

TT=1802.06

 ? (TO)

TT=1802.08

 OPTIMUM
f=1
TT=0.324
T1=0.32
 Wrong UNSAT

TT=91.903
/SOFT-SMALLINT-LIN/PB06/web/
uclid_pb_benchmarks/
normalized-ooo.tag8.ucl--soft-0-100-0.wbo 		MOPT
f=1
TT=1.418
T1=1.41
 ? (TO)

TT=1800.3

 Signal

TT=0.058

 OPTIMUM
f=1
TT=43.051
T1=42.6
 OPTIMUM
f=1
TT=11.764
T1=9.2
 OPTIMUM
f=1
TT=8.468
T1=22.07
 OPTIMUM
f=1
TT=5.155
T1=3.76
 OPTIMUM
f=1
TT=6.646
T1=4.79
 MSAT (TO)
f=26028
TT=1801.55
T1=1801.22
 MSAT
f=10071
TT=1791.37
T1=1791.04
 OPTIMUM
f=1
TT=1282.31
T1=994.18
 MSAT (TO)
f=26113
TT=1801.56
T1=1801.25
 OPTIMUM
f=1
TT=1.418
T1=1.41
 Wrong UNSAT

TT=76.329
/SOFT-SMALLINT-LIN/PB10/
oliveras/j30/
normalized-j301_4-unsat--soft-0-100-0.wbo 		MOPT
f=8
TT=0.046
T1=0.04
 OPTIMUM
f=8
TT=31.735
T1=33.92
 Signal

TT=0.065

 MSAT (TO)
f=8727
TT=1800.05
T1=1572.16
 Wrong Opt.
f=9
TT=2.432
T1=0.98
 Wrong Opt.
f=9
TT=3.639
T1=1.81
 Wrong Opt.
f=9
TT=2.613
T1=1.05
 OPTIMUM
f=8
TT=2.466
T1=0.94
 ? (TO)

TT=1802.1

 MSAT
f=8317
TT=1792.14
T1=1791.88
 ? (TO)

TT=1802.08

 ? (TO)

TT=1802.09

 OPTIMUM
f=8
TT=0.046
T1=0.04
 Wrong UNSAT

TT=0.024
/SOFT-SMALLINT-LIN/PB10/
oliveras/j30/
normalized-j3029_8-unsat--soft-0-100-0.wbo 		MOPT
f=2
TT=23.511
T1=23.5
 ? (TO)

TT=1800.05

 Signal

TT=0.099

 MSAT (TO)
f=20014
TT=1800.09
T1=82.8
 MSAT (TO)
f=1079
TT=1800.15
T1=1769.62
 Wrong Opt.
f=69
TT=130.485
T1=68.1
 Wrong Opt.
f=69
TT=55.062
T1=36.9
 MSAT (TO)
f=359
TT=1800.24
T1=1399.67
 ? (TO)

TT=1802.1

 MSAT
f=10754
TT=1793.95
T1=1793.63
 ? (TO)

TT=1802.06

 ? (TO)

TT=1802.09

 OPTIMUM
f=2
TT=23.511
T1=23.5
 Wrong UNSAT

TT=14.618
/SOFT-SMALLINT-LIN/PB10/
oliveras/j30/
normalized-j3041_4-unsat--soft-0-100-0.wbo 		MOPT
f=4
TT=0.381
T1=0.38
 ? (TO)

TT=1800.72

 Signal

TT=0.098

 MSAT (TO)
f=18779
TT=1800.06
T1=813.32
 Wrong Opt.
f=84
TT=49.961
T1=46.56
 Wrong Opt.
f=84
TT=10.268
T1=10.55
 Wrong Opt.
f=84
TT=5.171
T1=3.17
 OPTIMUM
f=4
TT=6.884
T1=4.95
 ? (TO)

TT=1802.1

 MSAT
f=10161
TT=1794.26
T1=1793.95
 ? (TO)

TT=1802.07

 ? (TO)

TT=1802.07

 OPTIMUM
f=4
TT=0.381
T1=0.38
 Wrong UNSAT

TT=13.197
/SOFT-SMALLINT-LIN/PB10/
oliveras/j30/
normalized-j3046_4-unsat--soft-0-100-0.wbo 		MOPT
f=1
TT=0.043
T1=0.04
 OPTIMUM
f=1
TT=48.885
T1=44.86
 Signal

TT=0.082

 MSAT (TO)
f=20565
TT=1800.05
T1=1160.52
 Wrong Opt.
f=36
TT=12.894
T1=10.66
 Wrong Opt.
f=36
TT=5.23
T1=5.36
 Wrong Opt.
f=36
TT=3.45
T1=1.67
 OPTIMUM
f=1
TT=2.747
T1=1.07
 ? (TO)

TT=1802.11

 MSAT
f=10162
TT=1792.53
T1=1792.27
 ? (TO)

TT=1802.08

 ? (TO)

TT=1802.09

 OPTIMUM
f=1
TT=0.043
T1=0.04
 Wrong UNSAT

TT=0.167
/SOFT-SMALLINT-LIN/PB10/
oliveras/j30/
normalized-j308_1-unsat--soft-0-100-0.wbo 		MOPT
f=19
TT=0.023
T1=0.02
 OPTIMUM
f=19
TT=13.96
T1=14.72
 Signal

TT=0.053

 MSAT (TO)
f=7180
TT=1800.07
T1=1797.67
 Wrong Opt.
f=75
TT=1.529
T1=0.7
 Wrong Opt.
f=75
TT=2.275
T1=1.62
 Wrong Opt.
f=75
TT=1.532
T1=0.73
 OPTIMUM
f=19
TT=1.62
T1=0.7
 MSAT (TO)
f=7817
TT=1801.4
T1=1801.05
 MSAT
f=8037
TT=1791.23
T1=1790.92
 OPTIMUM
f=19
TT=758.97
T1=758.38
 MSAT (TO)
f=13390
TT=1801.36
T1=1801.05
 OPTIMUM
f=19
TT=0.023
T1=0.02
 Wrong UNSAT

TT=0.019
/SOFT-SMALLINT-LIN/PB10/
oliveras/j30/
normalized-j309_10-unsat--soft-0-100-0.wbo 		MOPT
f=1
TT=0.263
T1=0.26
 ? (TO)

TT=1800.27

 Signal

TT=0.103

 MSAT (TO)
f=20273
TT=1800.07
T1=1426.93
 MSAT (TO)
f=1044
TT=1800.12
T1=1759.72
 Wrong Opt.
f=99
TT=20.479
T1=34.07
 Wrong Opt.
f=99
TT=12.455
T1=10.58
 OPTIMUM
f=1
TT=30.848
T1=28.76
 ? (TO)

TT=1802.13

 MSAT
f=8066
TT=1793.89
T1=1794.19
 ? (TO)

TT=1802.06

 ? (TO)

TT=1802.06

 OPTIMUM
f=1
TT=0.263
T1=0.26
 Wrong UNSAT

TT=13.587
Bench nameBest resultspb_cplex
2010-07-01
(complete)		PB/CT
0.1
(complete)		PB/CT
0.1 fixed
(complete)		SAT4J PB CuttingPlanes
2.2.0 2010-05-26
(complete)		SAT4J PB RES // CP
2.2.0 2010-05-31
(complete)		SAT4J PB Resolution
2.2.0 2010-05-26
(complete)		SAT4J PB Resolution
2.2.1
(complete)		SCIPclp
SCIP 1.2.1.2 with Clp 1.11.1 (Release Version) as LP solver
(complete)		SCIPclp
SCIP 1.2.1.3 with Clp 1.11.1 (Release Version) as LP solver
(complete)		SCIPnone
SCIP 1.2.1.2 without any LP solver
(complete)		SCIPspx
SCIP 1.2.1.2 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver
(complete)		wbo
1.4a
(complete)		wbo
1.4b
(complete)
/SOFT-SMALLINT-LIN/PB10/
oliveras/j60/
normalized-j602_7-unsat--soft-0-100-0.wbo 		MOPT
f=1
TT=0.052
T1=0.05
 OPTIMUM
f=1
TT=79.408
T1=80.59
 Signal

TT=0.112

 MSAT (TO)
f=7416
TT=1800.06
T1=16.18
 Wrong Opt.
f=44
TT=2.54
T1=1.12
 Wrong Opt.
f=44
TT=5.01
T1=2.26
 Wrong Opt.
f=44
TT=2.641
T1=1.2
 OPTIMUM
f=1
TT=2.551
T1=1.12
 ? (TO)

TT=1802.13

 MSAT
f=17525
TT=1797.87
T1=1797.49
 ? (TO)

TT=1802.07

 ? (TO)

TT=1802.07

 OPTIMUM
f=1
TT=0.052
T1=0.05
 Wrong UNSAT

TT=0.043



Statisticspb_cplex
2010-07-01
(complete)		PB/CT
0.1
(complete)		PB/CT
0.1 fixed
(complete)		SAT4J PB CuttingPlanes
2.2.0 2010-05-26
(complete)		SAT4J PB RES // CP
2.2.0 2010-05-31
(complete)		SAT4J PB Resolution
2.2.0 2010-05-26
(complete)		SAT4J PB Resolution
2.2.1
(complete)		SCIPclp
SCIP 1.2.1.2 with Clp 1.11.1 (Release Version) as LP solver
(complete)		SCIPclp
SCIP 1.2.1.3 with Clp 1.11.1 (Release Version) as LP solver
(complete)		SCIPnone
SCIP 1.2.1.2 without any LP solver
(complete)		SCIPspx
SCIP 1.2.1.2 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver
(complete)		wbo
1.4a
(complete)		wbo
1.4b
(complete)
Number of times the solver is able to give the best known answer1600138000160113113221131610
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)		10700000211001710