PB'16 competition: satisfaction and optimization track: results by benchmark

Results by benchmark for category no optimisation, small integers, linear constraints (DEC-SMALLINT-LIN), subcategory Handmade

This page displays the results of the different solvers for each benchmark for category no optimisation, small integers, linear constraints (DEC-SMALLINT-LIN), subcategory Handmade

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 (complete solvers point of view)
textthe solver performed better than the other ones on that instance (incomplete solvers point of view)
textthe solver was ended by a signal or other problem
textthe solver gave an incomplete answer
textthe solver gave a wrong answer

For better readability, you may choose to hide some solvers:
cdcl-cuttingplanes DEC 2016-05-01 (complete)
minisatp 2012-10-02 git-d91742b (complete)
NaPS 1.02 (complete)
Open-WBO PB16 (complete)
Open-WBO-LSU PB16 (complete)
Sat4j PB 2.3.6 Res+CP PB16 (complete)
Sat4j PB 2.3.6 Resolution PB16 (complete)
toysat 2016-05-02 (complete)

Bench nameBest results
on this
instance		cdcl-cuttingplanes DEC
2016-05-01
(complete)		minisatp
2012-10-02 git-d91742b
(complete)		NaPS
1.02
(complete)		Open-WBO
PB16
(complete)		Open-WBO-LSU
PB16
(complete)		Sat4j PB 2.3.6 Res+CP
PB16
(complete)		Sat4j PB 2.3.6 Resolution
PB16
(complete)		toysat
2016-05-02
(complete)
normalized-PB06/SATUNSAT-SMALLINT/
reduced/submitted-PB06/manquiho/
Aardal_1/normalized-reduced-cuww1.opb 		SAT
TT=0.012
T1=0.01
 SAT
TT=0.012
T1=0.01
 SAT
TT=0.683
T1=0.68
 SAT
TT=1.042
T1=1.04
 SAT
TT=143.167
T1=142.72
 SAT
TT=143.52
T1=143.05
 SAT
TT=0.494
T1=0.65
 SAT
TT=0.296
T1=0.55
 SAT
TT=0.018
T1=0.01
normalized-PB06/SATUNSAT-SMALLINT/
reduced/submitted-PB06/manquiho/
Aardal_1/normalized-reduced-cuww2.opb 		SAT
TT=0.096
T1=0.09
 SAT
TT=0.096
T1=0.09
 SAT
TT=0.575
T1=0.57
 SAT
TT=1.837
T1=1.83
 SAT
TT=189.488
T1=188.97
 SAT
TT=190.626
T1=190.13
 SAT
TT=0.789
T1=0.96
 SAT
TT=0.413
T1=0.21
 SAT
TT=1.091
T1=1.06
normalized-PB06/SATUNSAT-SMALLINT/
reduced/submitted-PB06/manquiho/
Aardal_1/normalized-reduced-cuww3.opb 		SAT
TT=0.011
T1=0.01
 SAT
TT=0.011
T1=0.01
 SAT
TT=0.586
T1=0.58
 SAT
TT=0.841
T1=0.84
 SAT
TT=123.127
T1=122.58
 SAT
TT=122.067
T1=121.5
 SAT
TT=1.503
T1=0.66
 SAT
TT=0.477
T1=0.64
 SAT
TT=0.018
T1=0.01
normalized-PB06/SATUNSAT-SMALLINT/
reduced/submitted-PB06/manquiho/
Aardal_1/normalized-reduced-cuww4.opb 		SAT
TT=0.014
T1=0.01
 SAT
TT=0.014
T1=0.01
 SAT
TT=0.915
T1=0.91
 SAT
TT=1.006
T1=1
 ?
TT=135.925

 ?
TT=135.765

 SAT
TT=0.336
T1=0.92
 SAT
TT=0.239
T1=0.57
 SAT
TT=0.033
T1=0.03
normalized-PB06/SATUNSAT-SMALLINT/
reduced/submitted-PB06/manquiho/
Aardal_1/normalized-reduced-cuww5.opb 		SAT
TT=0.01
T1=0.01
 SAT
TT=0.01
T1=0.01
 SAT
TT=0.636
T1=0.63
 SAT
TT=1.038
T1=1.03
 ?
TT=118.733

 ?
TT=119.886

 SAT
TT=0.504
T1=0.64
 SAT
TT=0.263
T1=0.16
 SAT
TT=35.06
T1=35.01
normalized-PB06/SATUNSAT-SMALLINT/
reduced/submitted-PB06/manquiho/
Aardal_1/normalized-reduced-prob10.opb 		SAT
TT=0.012
T1=0.01
 SAT
TT=0.012
T1=0.01
 SAT
TT=1.305
T1=1.3
 SAT
TT=1.387
T1=1.38
 ?
TT=95.436

 ?
TT=95.007

 SAT
TT=0.224
T1=0.64
 SAT
TT=0.175
T1=0.14
 SAT
TT=0.024
T1=0.02
normalized-PB06/SATUNSAT-SMALLINT/
reduced/submitted-PB06/manquiho/
Aardal_1/normalized-reduced-prob1.opb 		SAT
TT=0.016
T1=0.01
 SAT
TT=0.016
T1=0.01
 SAT
TT=0.883
T1=0.88
 SAT
TT=1.003
T1=1
 ?
TT=115.345

 ?
TT=107.481

 SAT
TT=0.234
T1=0.64
 SAT
TT=0.184
T1=0.14
 SAT
TT=0.031
T1=0.02
normalized-PB06/SATUNSAT-SMALLINT/
reduced/submitted-PB06/manquiho/
Aardal_1/normalized-reduced-prob2.opb 		SAT
TT=0.025
T1=0.02
 SAT
TT=0.056
T1=0.05
 SAT
TT=1.126
T1=1.12
 SAT
TT=0.551
T1=0.55
 ?
TT=98.648

 ?
TT=101.316

 SAT
TT=0.265
T1=0.96
 SAT
TT=0.184
T1=0.15
 SAT
TT=0.025
T1=0.02
normalized-PB06/SATUNSAT-SMALLINT/
reduced/submitted-PB06/manquiho/
Aardal_1/normalized-reduced-prob3.opb 		SAT
TT=0.025
T1=0.02
 SAT
TT=0.043
T1=0.04
 SAT
TT=1.679
T1=1.67
 SAT
TT=0.599
T1=0.59
 ?
TT=122.692

 ?
TT=120.794

 SAT
TT=0.414
T1=0.66
 SAT
TT=0.265
T1=0.59
 SAT
TT=0.025
T1=0.02
normalized-PB06/SATUNSAT-SMALLINT/
reduced/submitted-PB06/manquiho/
Aardal_1/normalized-reduced-prob4.opb 		SAT
TT=0.018
T1=0.01
 SAT
TT=0.018
T1=0.01
 SAT
TT=1.213
T1=1.21
 SAT
TT=0.947
T1=0.94
 ?
TT=102.572

 ?
TT=102.019

 SAT
TT=0.304
T1=0.64
 SAT
TT=0.192
T1=0.15
 SAT
TT=0.034
T1=0.03
Bench nameBest resultscdcl-cuttingplanes DEC
2016-05-01
(complete)		minisatp
2012-10-02 git-d91742b
(complete)		NaPS
1.02
(complete)		Open-WBO
PB16
(complete)		Open-WBO-LSU
PB16
(complete)		Sat4j PB 2.3.6 Res+CP
PB16
(complete)		Sat4j PB 2.3.6 Resolution
PB16
(complete)		toysat
2016-05-02
(complete)
normalized-PB06/SATUNSAT-SMALLINT/
reduced/submitted-PB06/manquiho/
Aardal_1/normalized-reduced-prob5.opb 		SAT
TT=0.011
T1=0.01
 SAT
TT=0.011
T1=0.01
 SAT
TT=1.075
T1=1.07
 SAT
TT=0.975
T1=0.97
 ?
TT=102.267

 ?
TT=102.372

 SAT
TT=0.195
T1=0.64
 SAT
TT=0.163
T1=0.14
 SAT
TT=0.026
T1=0.02
normalized-PB06/SATUNSAT-SMALLINT/
reduced/submitted-PB06/manquiho/
Aardal_1/normalized-reduced-prob6.opb 		SAT
TT=0.02
T1=0.02
 SAT
TT=0.02
T1=0.02
 SAT
TT=1.315
T1=1.31
 SAT
TT=1.062
T1=1.05
 ?
TT=96.4

 ?
TT=96.399

 SAT
TT=0.284
T1=0.67
 SAT
TT=0.194
T1=0.14
 SAT
TT=0.036
T1=0.04
normalized-PB06/SATUNSAT-SMALLINT/
reduced/submitted-PB06/manquiho/
Aardal_1/normalized-reduced-prob7.opb 		SAT
TT=0.015
T1=0.01
 SAT
TT=0.015
T1=0.01
 SAT
TT=1.199
T1=1.19
 SAT
TT=1.31
T1=1.3
 ?
TT=100.117

 ?
TT=97.464

 SAT
TT=0.314
T1=0.64
 SAT
TT=0.236
T1=0.52
 SAT
TT=0.02
T1=0.01
normalized-PB06/SATUNSAT-SMALLINT/
reduced/submitted-PB06/manquiho/
Aardal_1/normalized-reduced-prob8.opb 		SAT
TT=0.012
T1=0.01
 SAT
TT=0.012
T1=0.01
 SAT
TT=1.615
T1=1.61
 SAT
TT=1.123
T1=1.12
 ?
TT=98.679

 ?
TT=99.231

 SAT
TT=0.254
T1=0.92
 SAT
TT=0.212
T1=0.56
 SAT
TT=0.03
T1=0.03
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/liu/dbst/
normalized-dbst_v30_e350_d15_mw10_1.opb.PB06.opb 		SAT
TT=1.298
T1=1.29
 SAT
TT=1.298
T1=1.29
 SAT
TT=32.15
T1=32.12
 SAT
TT=20.884
T1=20.88
 SAT
TT=5.237
T1=5.2
 SAT
TT=5.335
T1=5.29
 SAT
TT=6.235
T1=2.97
 SAT
TT=3.204
T1=2.15
 SAT
TT=8.723
T1=8.65
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/liu/dbst/
normalized-dbst_v30_e350_d15_mw10_2.opb.PB06.opb 		SAT
TT=1.288
T1=1.28
 SAT
TT=1.288
T1=1.28
 SAT
TT=12.05
T1=12.02
 SAT
TT=22.789
T1=22.77
 SAT
TT=5.436
T1=5.39
 SAT
TT=5.29
T1=5.25
 SAT
TT=5.784
T1=2.96
 SAT
TT=3.173
T1=2.11
 SAT
TT=8.158
T1=8.09
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/liu/dbst/
normalized-dbst_v30_e350_d15_mw10_3.opb.PB06.opb 		SAT
TT=1.359
T1=1.35
 SAT
TT=1.359
T1=1.35
 SAT
TT=12.893
T1=12.86
 SAT
TT=20.128
T1=20.11
 SAT
TT=5.336
T1=5.29
 SAT
TT=5.392
T1=5.35
 SAT
TT=5.853
T1=2.99
 SAT
TT=3.262
T1=2.15
 SAT
TT=8.127
T1=8.05
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/liu/dbst/
normalized-dbst_v30_e350_d15_mw10_8.opb.PB06.opb 		SAT
TT=1.303
T1=1.3
 SAT
TT=1.303
T1=1.3
 SAT
TT=12.254
T1=12.22
 SAT
TT=18.327
T1=18.31
 SAT
TT=5.239
T1=5.2
 SAT
TT=5.391
T1=5.35
 SAT
TT=5.622
T1=3
 SAT
TT=3.405
T1=2.22
 SAT
TT=8.341
T1=8.28
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/liu/dbst/
normalized-dbst_v30_e350_d15_mw10_9.opb.PB06.opb 		SAT
TT=1.295
T1=1.29
 SAT
TT=1.295
T1=1.29
 SAT
TT=18.999
T1=18.98
 SAT
TT=18.498
T1=18.48
 SAT
TT=5.464
T1=5.42
 SAT
TT=5.498
T1=5.45
 SAT
TT=6.043
T1=2.96
 SAT
TT=3.331
T1=2.17
 SAT
TT=8.134
T1=8.06
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/liu/dbst/
normalized-dbst_v40_e600_d20_mw10_0.opb.PB06.opb 		SAT
TT=3.858
T1=3.85
 SAT
TT=3.858
T1=3.85
 SAT
TT=38.774
T1=38.72
 SAT
TT=48.265
T1=48.26
 SAT
TT=15.902
T1=15.77
 SAT
TT=16.021
T1=15.89
 SAT
TT=10.431
T1=6.7
 SAT
TT=6.784
T1=5.04
 SAT
TT=28.957
T1=28.83
Bench nameBest resultscdcl-cuttingplanes DEC
2016-05-01
(complete)		minisatp
2012-10-02 git-d91742b
(complete)		NaPS
1.02
(complete)		Open-WBO
PB16
(complete)		Open-WBO-LSU
PB16
(complete)		Sat4j PB 2.3.6 Res+CP
PB16
(complete)		Sat4j PB 2.3.6 Resolution
PB16
(complete)		toysat
2016-05-02
(complete)
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/liu/dbst/
normalized-dbst_v40_e600_d20_mw10_2.opb.PB06.opb 		SAT
TT=3.843
T1=3.83
 SAT
TT=3.843
T1=3.83
 SAT
TT=41.577
T1=41.52
 SAT
TT=49.406
T1=49.4
 SAT
TT=15.918
T1=15.79
 SAT
TT=16.006
T1=15.87
 SAT
TT=10.652
T1=6.84
 SAT
TT=7.003
T1=5.16
 SAT
TT=28.835
T1=28.71
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/liu/dbst/
normalized-dbst_v40_e600_d20_mw10_5.opb.PB06.opb 		SAT
TT=3.853
T1=3.84
 SAT
TT=3.853
T1=3.84
 SAT
TT=40.303
T1=40.25
 SAT
TT=51.523
T1=51.52
 SAT
TT=25.022
T1=24.89
 SAT
TT=25.219
T1=25.09
 SAT
TT=10.452
T1=6.71
 SAT
TT=6.992
T1=5.28
 SAT
TT=27.622
T1=27.5
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/liu/dbst/
normalized-dbst_v40_e600_d20_mw10_6.opb.PB06.opb 		SAT
TT=3.838
T1=3.84
 SAT
TT=3.838
T1=3.84
 SAT
TT=358.88
T1=358.9
 SAT
TT=49.931
T1=49.92
 SAT
TT=16.663
T1=16.53
 SAT
TT=16.825
T1=16.7
 SAT
TT=10.902
T1=6.73
 SAT
TT=6.893
T1=5.16
 SAT
TT=28.265
T1=28.16
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/liu/dbst/
normalized-dbst_v40_e600_d20_mw10_9.opb.PB06.opb 		SAT
TT=3.848
T1=3.85
 SAT
TT=3.848
T1=3.85
 SAT
TT=90.398
T1=90.36
 SAT
TT=48.322
T1=48.31
 SAT
TT=21.775
T1=21.66
 SAT
TT=22.279
T1=22.17
 SAT
TT=11.242
T1=6.99
 SAT
TT=6.874
T1=5.13
 SAT
TT=27.541
T1=27.41
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/liu/dbst/
normalized-dbst_v50_e1000_d25_mw10_1.opb.PB06.opb 		SAT
TT=10.088
T1=10.08
 SAT
TT=10.088
T1=10.08
 SAT
TT=122.815
T1=122.69
 SAT
TT=191.102
T1=191.11
 SAT
TT=71.554
T1=71.28
 SAT
TT=71.954
T1=71.68
 SAT
TT=23.48
T1=16.21
 SAT
TT=14.421
T1=11.35
 SAT
TT=76.326
T1=75.99
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/liu/dbst/
normalized-dbst_v50_e1000_d25_mw10_3.opb.PB06.opb 		SAT
TT=9.886
T1=9.89
 SAT
TT=9.886
T1=9.89
 SAT
TT=120.58
T1=120.49
 SAT
TT=213.993
T1=214
 SAT
TT=71.733
T1=71.4
 SAT
TT=72.919
T1=72.58
 SAT
TT=23.021
T1=16.23
 SAT
TT=14.54
T1=11.43
 SAT
TT=79.856
T1=79.52
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/liu/dbst/
normalized-dbst_v50_e1000_d25_mw10_5.opb.PB06.opb 		SAT
TT=9.843
T1=9.83
 SAT
TT=9.843
T1=9.83
 SAT
TT=635.732
T1=635.74
 SAT
TT=185.585
T1=185.58
 SAT
TT=68.104
T1=67.76
 SAT
TT=68.915
T1=68.57
 SAT
TT=23.66
T1=16.82
 SAT
TT=14.231
T1=11.32
 SAT
TT=73.049
T1=72.72
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/liu/dbst/
normalized-dbst_v50_e1000_d25_mw10_6.opb.PB06.opb 		SAT
TT=9.866
T1=9.87
 SAT
TT=9.866
T1=9.87
 SAT
TT=511.404
T1=511.38
 SAT
TT=207.637
T1=207.64
 SAT
TT=42.76
T1=42.43
 SAT
TT=43.469
T1=43.19
 SAT
TT=23.96
T1=16.32
 SAT
TT=14.532
T1=11.5
 SAT
TT=73.041
T1=72.7
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/liu/dbst/
normalized-dbst_v50_e1000_d25_mw10_9.opb.PB06.opb 		SAT
TT=9.838
T1=9.83
 SAT
TT=9.838
T1=9.83
 SAT
TT=130.495
T1=130.37
 SAT
TT=187.409
T1=187.41
 SAT
TT=73.898
T1=73.57
 SAT
TT=75.684
T1=75.36
 SAT
TT=23.301
T1=16.21
 SAT
TT=14.472
T1=11.34
 SAT
TT=72.639
T1=72.3
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/liu/vdw/
normalized-vdw_k3_l5_n550.opb 		SAT
TT=543.743
T1=543.85
 ? (TO)
TT=1800.01

 SAT
TT=543.743
T1=543.85
 ? (TO)
TT=1800.11

 ? (TO)
TT=1800.03

 ? (TO)
TT=1800.02

 ? (TO)
TT=1801.04

 ? (TO)
TT=1801.17

 ? (TO)
TT=1800.08
Bench nameBest resultscdcl-cuttingplanes DEC
2016-05-01
(complete)		minisatp
2012-10-02 git-d91742b
(complete)		NaPS
1.02
(complete)		Open-WBO
PB16
(complete)		Open-WBO-LSU
PB16
(complete)		Sat4j PB 2.3.6 Res+CP
PB16
(complete)		Sat4j PB 2.3.6 Resolution
PB16
(complete)		toysat
2016-05-02
(complete)
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/liu/vdw/
normalized-vdw_k3_l6_n1500.opb 		SAT
TT=3.935
T1=3.93
 SAT
TT=3.935
T1=3.93
 SAT
TT=56.938
T1=56.89
 SAT
TT=64.535
T1=64.53
 SAT
TT=4.356
T1=4.94
 SAT
TT=4.413
T1=4.4
 SAT
TT=8.824
T1=7.16
 SAT
TT=7.294
T1=5.98
 SAT
TT=29.877
T1=29.74
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/liu/vdw/
normalized-vdw_k4_l4_n360.opb


? (TO)
TT=1800.02

 ? (TO)
TT=1800.07

 ? (TO)
TT=1800.11

 ? (TO)
TT=1800.01

 ? (TO)
TT=1800.01

 ? (TO)
TT=1800.09

 ? (TO)
TT=1800.7

 ? (TO)
TT=1800.09
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/liu/vdw/
normalized-vdw_k5_l4_n750.opb


? (TO)
TT=1800.11

 ? (TO)
TT=1800.05

 ? (TO)
TT=1800.09

 ? (TO)
TT=1800.03

 ? (TO)
TT=1800.09

 ? (TO)
TT=1800.14

 ? (TO)
TT=1800.73

 ? (TO)
TT=1800.05
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/liu/vdw/
normalized-vdw_k6_l3_n170.opb


? (TO)
TT=1800.02

 ? (TO)
TT=1800.02

 ? (TO)
TT=1800.02

 ? (TO)
TT=1800.02

 ? (TO)
TT=1800.11

 ? (TO)
TT=1800.03

 ? (TO)
TT=1800.64

 ? (TO)
TT=1800.04
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900544463.opb 		SAT
TT=0.031
T1=0.03
 SAT
TT=4.535
T1=4.53
 SAT
TT=3.802
T1=3.8
 SAT
TT=0.148
T1=0.14
 SAT
TT=0.031
T1=0.03
 SAT
TT=0.032
T1=0.03
 SAT
TT=1.912
T1=0.82
 SAT
TT=2.705
T1=1.85
 SAT
TT=7.381
T1=7.32
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900544484.opb 		UNSAT
TT=1.687

 UNSAT
TT=1.687

 UNSAT
TT=2.258

 UNSAT
TT=4.445

 UNSAT
TT=5.642

 UNSAT
TT=5.664

 UNSAT
TT=10.083

 UNSAT
TT=4.882

 UNSAT
TT=10.121
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900545610.opb 		UNSAT
TT=4.713

 UNSAT
TT=13.259

 UNSAT
TT=6.296

 UNSAT
TT=17.52

 UNSAT
TT=17.793

 UNSAT
TT=17.863

 UNSAT
TT=8.942

 UNSAT
TT=4.713

 UNSAT
TT=12.649
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900546076.opb 		UNSAT
TT=0.72

 UNSAT
TT=1.486

 UNSAT
TT=0.761

 UNSAT
TT=0.72

 UNSAT
TT=1.18

 UNSAT
TT=1.188

 UNSAT
TT=6.584

 UNSAT
TT=2.044

 UNSAT
TT=2.567
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900546417.opb 		UNSAT
TT=1.472

 UNSAT
TT=1.472

 UNSAT
TT=11.941

 UNSAT
TT=2.636

 UNSAT
TT=15.999

 UNSAT
TT=16.032

 UNSAT
TT=7.974

 UNSAT
TT=4.801

 UNSAT
TT=9.851
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900547334.opb 		SAT
TT=0.3
T1=0.29
 SAT
TT=1.353
T1=1.35
 SAT
TT=1.681
T1=1.68
 SAT
TT=0.3
T1=0.29
 SAT
TT=0.36
T1=0.36
 SAT
TT=0.36
T1=0.36
 SAT
TT=8.773
T1=2.88
 SAT
TT=0.993
T1=0.54
 SAT
TT=24.623
T1=24.57
Bench nameBest resultscdcl-cuttingplanes DEC
2016-05-01
(complete)		minisatp
2012-10-02 git-d91742b
(complete)		NaPS
1.02
(complete)		Open-WBO
PB16
(complete)		Open-WBO-LSU
PB16
(complete)		Sat4j PB 2.3.6 Res+CP
PB16
(complete)		Sat4j PB 2.3.6 Resolution
PB16
(complete)		toysat
2016-05-02
(complete)
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900547353.opb 		SAT
TT=0.07
T1=0.07
 SAT
TT=0.472
T1=0.47
 SAT
TT=3.963
T1=3.96
 SAT
TT=0.127
T1=0.12
 SAT
TT=0.072
T1=0.07
 SAT
TT=0.07
T1=0.07
 SAT
TT=3.708
T1=1.73
 SAT
TT=1.825
T1=1.14
 SAT
TT=3.777
T1=3.72
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900547389.opb 		UNSAT
TT=3.379

 UNSAT
TT=3.379

 UNSAT
TT=7.095

 UNSAT
TT=22.765

 UNSAT
TT=30.856

 UNSAT
TT=31.455

 UNSAT
TT=5.464

 UNSAT
TT=14.311

 UNSAT
TT=7.536
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900547416.opb 		SAT
TT=0.118
T1=0.11
 SAT
TT=0.55
T1=0.54
 SAT
TT=4.259
T1=4.25
 SAT
TT=0.858
T1=0.85
 SAT
TT=0.118
T1=0.11
 SAT
TT=0.118
T1=0.11
 SAT
TT=1.753
T1=0.82
 SAT
TT=19.1
T1=17.79
 SAT
TT=9.754
T1=9.7
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900547427.opb 		SAT
TT=0.094
T1=0.09
 SAT
TT=0.094
T1=0.09
 SAT
TT=3.563
T1=3.56
 SAT
TT=0.141
T1=0.14
 SAT
TT=0.16
T1=0.16
 SAT
TT=0.16
T1=0.16
 SAT
TT=1.147
T1=0.89
 SAT
TT=3.002
T1=1.83
 SAT
TT=6.498
T1=6.43
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900547461.opb 		SAT
TT=0.186
T1=0.18
 SAT
TT=2.471
T1=2.47
 SAT
TT=2.129
T1=2.12
 SAT
TT=0.769
T1=0.76
 SAT
TT=0.186
T1=0.18
 SAT
TT=0.188
T1=0.18
 SAT
TT=2.274
T1=0.84
 SAT
TT=2.633
T1=1.65
 SAT
TT=5.669
T1=5.61
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900548667.opb 		UNSAT
TT=12.496

 UNSAT
TT=12.496

 UNSAT
TT=56.361

 UNSAT
TT=74.016

 UNSAT
TT=71.029

 UNSAT
TT=71.024

 UNSAT
TT=25.72

 UNSAT
TT=38.208

 UNSAT
TT=134.99
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900549974.opb 		SAT
TT=0.401
T1=0.4
 SAT
TT=2.124
T1=2.12
 SAT
TT=13.135
T1=13.13
 SAT
TT=0.401
T1=0.4
 SAT
TT=0.558
T1=0.55
 SAT
TT=0.559
T1=0.55
 SAT
TT=9.384
T1=3.34
 SAT
TT=23.378
T1=21.93
 SAT
TT=25.375
T1=25.32
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900550006.opb 		UNSAT
TT=4.775

 UNSAT
TT=4.775

 UNSAT
TT=33.329

 UNSAT
TT=36.32

 UNSAT
TT=39.524

 UNSAT
TT=40.143

 UNSAT
TT=8.532

 UNSAT
TT=7.282

 UNSAT
TT=23.349
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900550720.opb 		UNSAT
TT=1.375

 UNSAT
TT=1.375

 UNSAT
TT=10.782

 UNSAT
TT=27.125

 UNSAT
TT=27.703

 UNSAT
TT=27.879

 UNSAT
TT=10.473

 UNSAT
TT=17.641

 UNSAT
TT=21.694
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900551347.opb 		UNSAT
TT=2.102

 UNSAT
TT=8.029

 UNSAT
TT=2.102

 UNSAT
TT=2.498

 UNSAT
TT=3.671

 UNSAT
TT=3.645

 UNSAT
TT=6.403

 UNSAT
TT=5.773

 UNSAT
TT=3.25
Bench nameBest resultscdcl-cuttingplanes DEC
2016-05-01
(complete)		minisatp
2012-10-02 git-d91742b
(complete)		NaPS
1.02
(complete)		Open-WBO
PB16
(complete)		Open-WBO-LSU
PB16
(complete)		Sat4j PB 2.3.6 Res+CP
PB16
(complete)		Sat4j PB 2.3.6 Resolution
PB16
(complete)		toysat
2016-05-02
(complete)
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900551864.opb 		UNSAT
TT=1.16

 UNSAT
TT=1.16

 UNSAT
TT=7.621

 UNSAT
TT=1.281

 UNSAT
TT=4.705

 UNSAT
TT=4.744

 UNSAT
TT=5.883

 UNSAT
TT=3.994

 UNSAT
TT=4.38
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900552288.opb 		UNSAT
TT=2.096

 UNSAT
TT=16.696

 UNSAT
TT=2.096

 UNSAT
TT=20.153

 UNSAT
TT=10.129

 UNSAT
TT=10.049

 UNSAT
TT=5.65

 UNSAT
TT=4.655

 UNSAT
TT=6.25
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900552311.opb 		SAT
TT=0.076
T1=0.07
 SAT
TT=1.197
T1=1.19
 SAT
TT=2.03
T1=2.02
 SAT
TT=0.076
T1=0.07
 SAT
TT=0.186
T1=0.18
 SAT
TT=0.185
T1=0.18
 SAT
TT=5.54
T1=1.83
 SAT
TT=0.873
T1=0.43
 SAT
TT=1.782
T1=1.72
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900552423.opb 		UNSAT
TT=0.196

 UNSAT
TT=2.616

 UNSAT
TT=0.302

 UNSAT
TT=0.196

 UNSAT
TT=0.291

 UNSAT
TT=0.293

 UNSAT
TT=3.713

 UNSAT
TT=1.504

 UNSAT
TT=1.632
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900552735.opb 		UNSAT
TT=1.564

 UNSAT
TT=248.231

 UNSAT
TT=5.214

 UNSAT
TT=3.9

 UNSAT
TT=1.564

 UNSAT
TT=1.574

 UNSAT
TT=6.803

 UNSAT
TT=5.073

 UNSAT
TT=5.434
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900553606.opb 		SAT
TT=0.069
T1=0.06
 SAT
TT=1.419
T1=1.41
 SAT
TT=0.666
T1=0.66
 SAT
TT=0.069
T1=0.06
 SAT
TT=0.91
T1=0.91
 SAT
TT=0.913
T1=0.91
 SAT
TT=1.564
T1=0.83
 SAT
TT=0.785
T1=0.39
 SAT
TT=2.223
T1=2.17
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900553644.opb 		SAT
TT=0.024
T1=0.02
 SAT
TT=0.09
T1=0.09
 SAT
TT=1.603
T1=1.6
 SAT
TT=0.114
T1=0.11
 SAT
TT=0.025
T1=0.02
 SAT
TT=0.024
T1=0.02
 SAT
TT=3.685
T1=1.69
 SAT
TT=3.462
T1=2.15
 SAT
TT=0.242
T1=0.23
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900553647.opb 		UNSAT
TT=3.454

 UNSAT
TT=3.454

 UNSAT
TT=7.568

 UNSAT
TT=17.561

 UNSAT
TT=13.092

 UNSAT
TT=13.097

 UNSAT
TT=9.093

 UNSAT
TT=10.902

 UNSAT
TT=8.867
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900553812.opb 		UNSAT
TT=1.104

 UNSAT
TT=1.104

 UNSAT
TT=1.735

 UNSAT
TT=3.284

 UNSAT
TT=2.394

 UNSAT
TT=2.416

 UNSAT
TT=5.963

 UNSAT
TT=3.373

 UNSAT
TT=4.649
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900554067.opb 		SAT
TT=0.146
T1=0.14
 SAT
TT=0.146
T1=0.14
 SAT
TT=6.404
T1=6.4
 SAT
TT=0.455
T1=0.45
 SAT
TT=0.156
T1=0.15
 SAT
TT=0.155
T1=0.15
 SAT
TT=2.094
T1=0.83
 SAT
TT=2.355
T1=1.64
 SAT
TT=5.535
T1=5.77
Bench nameBest resultscdcl-cuttingplanes DEC
2016-05-01
(complete)		minisatp
2012-10-02 git-d91742b
(complete)		NaPS
1.02
(complete)		Open-WBO
PB16
(complete)		Open-WBO-LSU
PB16
(complete)		Sat4j PB 2.3.6 Res+CP
PB16
(complete)		Sat4j PB 2.3.6 Resolution
PB16
(complete)		toysat
2016-05-02
(complete)
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900554072.opb 		UNSAT
TT=3.233

 UNSAT
TT=7.277

 UNSAT
TT=4.461

 UNSAT
TT=4.067

 UNSAT
TT=6.173

 UNSAT
TT=6.206

 UNSAT
TT=6.203

 UNSAT
TT=3.233

 UNSAT
TT=4.155
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900554154.opb 		SAT
TT=0.076
T1=0.08
 SAT
TT=0.076
T1=0.08
 SAT
TT=3.563
T1=3.56
 SAT
TT=0.947
T1=0.94
 SAT
TT=0.137
T1=0.13
 SAT
TT=0.138
T1=0.13
 SAT
TT=7.832
T1=2.83
 SAT
TT=2.104
T1=1.49
 SAT
TT=20.486
T1=20.43
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900554373.opb 		SAT
TT=0.028
T1=0.02
 SAT
TT=0.738
T1=0.73
 SAT
TT=9.805
T1=9.81
 SAT
TT=0.28
T1=0.28
 SAT
TT=0.029
T1=0.02
 SAT
TT=0.028
T1=0.03
 SAT
TT=5.384
T1=1.84
 SAT
TT=4.953
T1=3.55
 SAT
TT=5.421
T1=5.36
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900554375.opb 		SAT
TT=0.142
T1=0.14
 SAT
TT=0.446
T1=0.44
 SAT
TT=1.877
T1=1.87
 SAT
TT=0.528
T1=0.52
 SAT
TT=0.142
T1=0.14
 SAT
TT=0.153
T1=0.15
 SAT
TT=1.734
T1=0.84
 SAT
TT=2.535
T1=1.45
 SAT
TT=6.016
T1=5.95
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900554389.opb 		SAT
TT=0.078
T1=0.08
 SAT
TT=0.078
T1=0.08
 SAT
TT=1.247
T1=1.25
 SAT
TT=0.205
T1=0.2
 SAT
TT=0.088
T1=0.08
 SAT
TT=0.09
T1=0.09
 SAT
TT=5.725
T1=1.9
 SAT
TT=1.444
T1=0.9
 SAT
TT=3.105
T1=3.04
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900554420.opb 		UNSAT
TT=2.376

 UNSAT
TT=17.742

 UNSAT
TT=6.36

 UNSAT
TT=2.376

 UNSAT
TT=4.703

 UNSAT
TT=4.716

 UNSAT
TT=5.292

 UNSAT
TT=4.143

 UNSAT
TT=5.733
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900556231.opb 		UNSAT
TT=3.465

 UNSAT
TT=4.156

 UNSAT
TT=4.334

 UNSAT
TT=4.359

 UNSAT
TT=15.689

 UNSAT
TT=15.75

 UNSAT
TT=5.892

 UNSAT
TT=3.465

 UNSAT
TT=16.212
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900557362.opb 		UNSAT
TT=0.86

 UNSAT
TT=2.493

 UNSAT
TT=0.975

 UNSAT
TT=1.676

 UNSAT
TT=0.862

 UNSAT
TT=0.86

 UNSAT
TT=5.272

 UNSAT
TT=3.732

 UNSAT
TT=2.293
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900557413.opb 		SAT
TT=0.185
T1=0.18
 SAT
TT=0.837
T1=0.83
 SAT
TT=4.181
T1=4.26
 SAT
TT=0.321
T1=0.32
 SAT
TT=0.185
T1=0.18
 SAT
TT=0.199
T1=0.2
 SAT
TT=4.104
T1=1.35
 SAT
TT=5.923
T1=4.88
 SAT
TT=2.758
T1=2.7
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900557568.opb 		SAT
TT=0.019
T1=0.01
 SAT
TT=0.262
T1=0.26
 SAT
TT=2.582
T1=2.58
 SAT
TT=0.125
T1=0.12
 SAT
TT=0.019
T1=0.01
 SAT
TT=0.02
T1=0.02
 SAT
TT=3.822
T1=1.35
 SAT
TT=3.304
T1=2.84
 SAT
TT=7.54
T1=7.48
Bench nameBest resultscdcl-cuttingplanes DEC
2016-05-01
(complete)		minisatp
2012-10-02 git-d91742b
(complete)		NaPS
1.02
(complete)		Open-WBO
PB16
(complete)		Open-WBO-LSU
PB16
(complete)		Sat4j PB 2.3.6 Res+CP
PB16
(complete)		Sat4j PB 2.3.6 Resolution
PB16
(complete)		toysat
2016-05-02
(complete)
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900557574.opb 		UNSAT
TT=0.732

 UNSAT
TT=25.73

 UNSAT
TT=3.959

 UNSAT
TT=0.732

 UNSAT
TT=1.914

 UNSAT
TT=1.917

 UNSAT
TT=6.894

 UNSAT
TT=2.193

 UNSAT
TT=3.244
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900557957.opb 		UNSAT
TT=1.124

 UNSAT
TT=1.276

 UNSAT
TT=1.124

 UNSAT
TT=4.768

 UNSAT
TT=2.774

 UNSAT
TT=2.79

 UNSAT
TT=6.173

 UNSAT
TT=4.312

 UNSAT
TT=10.048
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900558106.opb 		UNSAT
TT=0.424

 UNSAT
TT=0.465

 UNSAT
TT=3.287

 UNSAT
TT=0.589

 UNSAT
TT=0.424

 UNSAT
TT=0.452

 UNSAT
TT=3.852

 UNSAT
TT=1.514

 UNSAT
TT=1.581
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900558739.opb 		UNSAT
TT=2.78

 UNSAT
TT=2.78

 UNSAT
TT=13.563

 UNSAT
TT=22.947

 UNSAT
TT=15.916

 UNSAT
TT=15.949

 UNSAT
TT=10.272

 UNSAT
TT=8.403

 UNSAT
TT=11.454
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900559365.opb 		SAT
TT=0.015
T1=0.01
 SAT
TT=0.641
T1=0.64
 SAT
TT=0.237
T1=0.23
 SAT
TT=0.928
T1=0.92
 SAT
TT=0.016
T1=0.01
 SAT
TT=0.015
T1=0.01
 SAT
TT=5.56
T1=1.83
 SAT
TT=6.035
T1=4.68
 SAT
TT=0.793
T1=0.76
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900559416.opb 		SAT
TT=0.133
T1=0.13
 SAT
TT=2.51
T1=2.51
 SAT
TT=11.38
T1=11.38
 SAT
TT=0.133
T1=0.13
 SAT
TT=1.506
T1=1.5
 SAT
TT=1.513
T1=1.51
 SAT
TT=5.243
T1=1.84
 SAT
TT=6.983
T1=5.72
 SAT
TT=3.991
T1=3.94
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900559641.opb 		SAT
TT=0.014
T1=0.01
 SAT
TT=1.768
T1=1.76
 SAT
TT=2.219
T1=2.21
 SAT
TT=0.417
T1=0.41
 SAT
TT=0.014
T1=0.01
 SAT
TT=0.014
T1=0.01
 SAT
TT=6.692
T1=2.34
 SAT
TT=1.143
T1=0.65
 SAT
TT=5.794
T1=5.74
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900559676.opb 		UNSAT
TT=3.036

 UNSAT
TT=3.036

 UNSAT
TT=27.189

 UNSAT
TT=49.232

 UNSAT
TT=37.29

 UNSAT
TT=37.424

 UNSAT
TT=14.303

 UNSAT
TT=20.41

 UNSAT
TT=23.727
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900561288.opb 		UNSAT
TT=2.835

 UNSAT
TT=2.835

 UNSAT
TT=52.052

 UNSAT
TT=70.087

 UNSAT
TT=73.553

 UNSAT
TT=75.452

 UNSAT
TT=29.42

 UNSAT
TT=23.7

 UNSAT
TT=64.206
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900561384.opb 		SAT
TT=0.017
T1=0.01
 SAT
TT=0.544
T1=0.54
 SAT
TT=5.891
T1=5.94
 SAT
TT=0.093
T1=0.09
 SAT
TT=0.017
T1=0.01
 SAT
TT=0.017
T1=0.01
 SAT
TT=7.923
T1=2.85
 SAT
TT=2.333
T1=1.53
 SAT
TT=0.268
T1=0.25
Bench nameBest resultscdcl-cuttingplanes DEC
2016-05-01
(complete)		minisatp
2012-10-02 git-d91742b
(complete)		NaPS
1.02
(complete)		Open-WBO
PB16
(complete)		Open-WBO-LSU
PB16
(complete)		Sat4j PB 2.3.6 Res+CP
PB16
(complete)		Sat4j PB 2.3.6 Resolution
PB16
(complete)		toysat
2016-05-02
(complete)
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900561389.opb 		SAT
TT=0.407
T1=0.4
 SAT
TT=1.528
T1=1.53
 SAT
TT=2.057
T1=2.05
 SAT
TT=0.407
T1=0.4
 SAT
TT=0.656
T1=0.65
 SAT
TT=0.656
T1=0.65
 SAT
TT=7.014
T1=2.34
 SAT
TT=3.623
T1=2.27
 SAT
TT=2.541
T1=2.61
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900562192.opb 		UNSAT
TT=5.973

 UNSAT
TT=47.192

 UNSAT
TT=6.72

 UNSAT
TT=7.267

 UNSAT
TT=8.387

 UNSAT
TT=8.354

 UNSAT
TT=5.973

 UNSAT
TT=9.513

 UNSAT
TT=9.68
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900563250.opb 		UNSAT
TT=7.82

 UNSAT
TT=10.315

 UNSAT
TT=78.923

 UNSAT
TT=32.013

 UNSAT
TT=21.48

 UNSAT
TT=21.854

 UNSAT
TT=19.631

 UNSAT
TT=7.82

 UNSAT
TT=40.703
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900563801.opb 		UNSAT
TT=1.194

 UNSAT
TT=2.976

 UNSAT
TT=1.194

 UNSAT
TT=1.22

 UNSAT
TT=1.634

 UNSAT
TT=1.63

 UNSAT
TT=5.992

 UNSAT
TT=1.934

 UNSAT
TT=2.505
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900564281.opb 		UNSAT
TT=1.139

 UNSAT
TT=1.139

 UNSAT
TT=10.717

 UNSAT
TT=1.333

 UNSAT
TT=2.634

 UNSAT
TT=2.635

 UNSAT
TT=5.994

 UNSAT
TT=3.893

 UNSAT
TT=2.567
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900564822.opb 		SAT
TT=0.042
T1=0.04
 SAT
TT=0.127
T1=0.12
 SAT
TT=0.504
T1=0.5
 SAT
TT=0.142
T1=0.14
 SAT
TT=0.042
T1=0.04
 SAT
TT=0.042
T1=0.04
 SAT
TT=1.433
T1=0.82
 SAT
TT=1.808
T1=1.38
 SAT
TT=3.517
T1=3.47
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900564824.opb 		UNSAT
TT=0.169

 UNSAT
TT=1.173

 UNSAT
TT=3.103

 UNSAT
TT=0.312

 UNSAT
TT=0.169

 UNSAT
TT=0.174

 UNSAT
TT=3.692

 UNSAT
TT=1.444

 UNSAT
TT=2.399
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900565527.opb 		SAT
TT=0.086
T1=0.08
 SAT
TT=1.477
T1=1.47
 SAT
TT=2.192
T1=2.19
 SAT
TT=0.264
T1=0.26
 SAT
TT=0.086
T1=0.08
 SAT
TT=0.088
T1=0.08
 SAT
TT=8.103
T1=2.89
 SAT
TT=1.254
T1=0.74
 SAT
TT=0.315
T1=0.3
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900565534.opb 		UNSAT
TT=3.984

 UNSAT
TT=3.984

 UNSAT
TT=12.377

 UNSAT
TT=15.936

 UNSAT
TT=9.787

 UNSAT
TT=10.456

 UNSAT
TT=8.472

 UNSAT
TT=7.053

 UNSAT
TT=10.745
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900566151.opb 		SAT
TT=0.102
T1=0.1
 SAT
TT=0.102
T1=0.1
 SAT
TT=2.966
T1=3.02
 SAT
TT=0.604
T1=0.61
 SAT
TT=0.11
T1=0.11
 SAT
TT=0.12
T1=0.12
 SAT
TT=1.984
T1=0.82
 SAT
TT=1.754
T1=1.16
 SAT
TT=0.112
T1=0.1
Bench nameBest resultscdcl-cuttingplanes DEC
2016-05-01
(complete)		minisatp
2012-10-02 git-d91742b
(complete)		NaPS
1.02
(complete)		Open-WBO
PB16
(complete)		Open-WBO-LSU
PB16
(complete)		Sat4j PB 2.3.6 Res+CP
PB16
(complete)		Sat4j PB 2.3.6 Resolution
PB16
(complete)		toysat
2016-05-02
(complete)
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900566157.opb 		UNSAT
TT=3.693

 UNSAT
TT=52.958

 UNSAT
TT=9.001

 UNSAT
TT=7.208

 UNSAT
TT=8.512

 UNSAT
TT=8.507

 UNSAT
TT=10.442

 UNSAT
TT=3.693

 UNSAT
TT=9.68
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900566263.opb 		SAT
TT=0.091
T1=0.09
 SAT
TT=0.548
T1=0.54
 SAT
TT=2.858
T1=2.85
 SAT
TT=0.091
T1=0.09
 SAT
TT=0.599
T1=0.59
 SAT
TT=0.602
T1=0.6
 SAT
TT=1.605
T1=0.84
 SAT
TT=0.755
T1=0.38
 SAT
TT=8.697
T1=8.64
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900566270.opb 		SAT
TT=0.301
T1=0.3
 SAT
TT=1.923
T1=1.92
 SAT
TT=7.777
T1=7.77
 SAT
TT=0.329
T1=0.32
 SAT
TT=0.301
T1=0.3
 SAT
TT=0.302
T1=0.3
 SAT
TT=2.285
T1=0.86
 SAT
TT=4.832
T1=4.31
 SAT
TT=3.531
T1=3.47
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900567003.opb 		SAT
TT=0.069
T1=0.06
 SAT
TT=4.791
T1=4.79
 SAT
TT=2.622
T1=2.62
 SAT
TT=0.622
T1=0.62
 SAT
TT=0.069
T1=0.06
 SAT
TT=0.069
T1=0.06
 SAT
TT=4.673
T1=1.82
 SAT
TT=3.924
T1=2.59
 SAT
TT=6.003
T1=5.95
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900567024.opb 		UNSAT
TT=0.203

 UNSAT
TT=64.551

 UNSAT
TT=1.441

 UNSAT
TT=0.203

 UNSAT
TT=1.413

 UNSAT
TT=1.362

 UNSAT
TT=4.242

 UNSAT
TT=2.133

 UNSAT
TT=2.793
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900567135.opb 		UNSAT
TT=0.73

 UNSAT
TT=40.324

 UNSAT
TT=8.041

 UNSAT
TT=0.73

 UNSAT
TT=7.742

 UNSAT
TT=7.657

 UNSAT
TT=5.443

 UNSAT
TT=3.422

 UNSAT
TT=5.493
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900567939.opb 		SAT
TT=0.108
T1=0.1
 SAT
TT=2.64
T1=2.64
 SAT
TT=1.536
T1=1.53
 SAT
TT=0.64
T1=0.64
 SAT
TT=0.108
T1=0.1
 SAT
TT=0.109
T1=0.1
 SAT
TT=11.053
T1=4.43
 SAT
TT=1.054
T1=0.58
 SAT
TT=2.04
T1=2.03
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900567985.opb 		UNSAT
TT=8.564

 UNSAT
TT=21.832

 UNSAT
TT=22.423

 UNSAT
TT=45.813

 UNSAT
TT=62.876

 UNSAT
TT=61.045

 UNSAT
TT=17.309

 UNSAT
TT=8.564

 UNSAT
TT=42.169
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900568186.opb 		UNSAT
TT=0.754

 UNSAT
TT=0.754

 UNSAT
TT=6.006

 UNSAT
TT=3.021

 UNSAT
TT=3.965

 UNSAT
TT=3.977

 UNSAT
TT=5.653

 UNSAT
TT=2.874

 UNSAT
TT=3.646
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900568706.opb 		UNSAT
TT=1.166

 UNSAT
TT=2.552

 UNSAT
TT=1.166

 UNSAT
TT=4.096

 UNSAT
TT=3.717

 UNSAT
TT=3.769

 UNSAT
TT=5.263

 UNSAT
TT=3.024

 UNSAT
TT=3.449
Bench nameBest resultscdcl-cuttingplanes DEC
2016-05-01
(complete)		minisatp
2012-10-02 git-d91742b
(complete)		NaPS
1.02
(complete)		Open-WBO
PB16
(complete)		Open-WBO-LSU
PB16
(complete)		Sat4j PB 2.3.6 Res+CP
PB16
(complete)		Sat4j PB 2.3.6 Resolution
PB16
(complete)		toysat
2016-05-02
(complete)
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900568952.opb 		SAT
TT=0.343
T1=0.34
 SAT
TT=23.045
T1=23.04
 SAT
TT=7.041
T1=7.04
 SAT
TT=0.343
T1=0.34
 SAT
TT=0.662
T1=0.66
 SAT
TT=0.661
T1=0.66
 SAT
TT=5.205
T1=1.83
 SAT
TT=3.603
T1=2.9
 SAT
TT=3.872
T1=3.88
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900569834.opb 		UNSAT
TT=2.57

 UNSAT
TT=78.651

 UNSAT
TT=2.57

 UNSAT
TT=7.318

 UNSAT
TT=5.739

 UNSAT
TT=5.766

 UNSAT
TT=5.793

 UNSAT
TT=3.023

 UNSAT
TT=2.789
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900570242.opb 		UNSAT
TT=0.293

 UNSAT
TT=45.698

 UNSAT
TT=3.487

 UNSAT
TT=0.293

 UNSAT
TT=1.995

 UNSAT
TT=1.994

 UNSAT
TT=4.082

 UNSAT
TT=2.144

 UNSAT
TT=2.562
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900571131.opb 		SAT
TT=0.053
T1=0.05
 SAT
TT=0.066
T1=0.06
 SAT
TT=2.276
T1=2.27
 SAT
TT=0.227
T1=0.22
 SAT
TT=0.055
T1=0.05
 SAT
TT=0.053
T1=0.05
 SAT
TT=5.064
T1=1.85
 SAT
TT=1.953
T1=1.29
 SAT
TT=0.847
T1=0.84
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900571132.opb 		UNSAT
TT=2.605

 UNSAT
TT=2.605

 UNSAT
TT=11.817

 UNSAT
TT=13.103

 UNSAT
TT=18.062

 UNSAT
TT=18.34

 UNSAT
TT=14.942

 UNSAT
TT=6.773

 UNSAT
TT=14.236
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900571761.opb 		UNSAT
TT=1.746

 UNSAT
TT=1.746

 UNSAT
TT=13.674

 UNSAT
TT=18.558

 UNSAT
TT=15.08

 UNSAT
TT=15.091

 UNSAT
TT=8.482

 UNSAT
TT=4.953

 UNSAT
TT=16.214
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900573137.opb 		UNSAT
TT=5.658

 UNSAT
TT=41.41

 UNSAT
TT=10.303

 UNSAT
TT=17.654

 UNSAT
TT=25.349

 UNSAT
TT=25.469

 UNSAT
TT=8.292

 UNSAT
TT=6.142

 UNSAT
TT=5.658
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900573901.opb 		UNSAT
TT=5.172

 UNSAT
TT=5.172

 UNSAT
TT=10.353

 UNSAT
TT=19.84

 UNSAT
TT=22.966

 UNSAT
TT=23.576

 UNSAT
TT=9.452

 UNSAT
TT=9.813

 UNSAT
TT=13.134
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900574864.opb 		UNSAT
TT=3.452

 UNSAT
TT=9.451

 UNSAT
TT=8.021

 UNSAT
TT=6.52

 UNSAT
TT=9.952

 UNSAT
TT=9.974

 UNSAT
TT=8.633

 UNSAT
TT=3.452

 UNSAT
TT=15.535
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900574948.opb 		SAT
TT=0.048
T1=0.04
 SAT
TT=1.296
T1=1.29
 SAT
TT=2.062
T1=2.11
 SAT
TT=0.116
T1=0.11
 SAT
TT=0.048
T1=0.04
 SAT
TT=0.048
T1=0.05
 SAT
TT=5.363
T1=1.84
 SAT
TT=0.977
T1=0.49
 SAT
TT=3.264
T1=3.21
Bench nameBest resultscdcl-cuttingplanes DEC
2016-05-01
(complete)		minisatp
2012-10-02 git-d91742b
(complete)		NaPS
1.02
(complete)		Open-WBO
PB16
(complete)		Open-WBO-LSU
PB16
(complete)		Sat4j PB 2.3.6 Res+CP
PB16
(complete)		Sat4j PB 2.3.6 Resolution
PB16
(complete)		toysat
2016-05-02
(complete)
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900574974.opb 		SAT
TT=0.1
T1=0.09
 SAT
TT=0.415
T1=0.41
 SAT
TT=1.464
T1=1.46
 SAT
TT=0.1
T1=0.09
 SAT
TT=0.106
T1=0.1
 SAT
TT=0.107
T1=0.1
 SAT
TT=2.313
T1=0.84
 SAT
TT=1.674
T1=1.03
 SAT
TT=1.363
T1=1.31
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900575442.opb 		UNSAT
TT=2.393

 UNSAT
TT=2.492

 UNSAT
TT=8.376

 UNSAT
TT=5.483

 UNSAT
TT=5.914

 UNSAT
TT=5.909

 UNSAT
TT=5.07

 UNSAT
TT=2.393

 UNSAT
TT=3.634
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900576151.opb 		UNSAT
TT=3.992

 UNSAT
TT=8.619

 UNSAT
TT=6.08

 UNSAT
TT=30.071

 UNSAT
TT=26.795

 UNSAT
TT=27.145

 UNSAT
TT=9.271

 UNSAT
TT=3.992

 UNSAT
TT=12.772
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900576360.opb 		UNSAT
TT=1.113

 UNSAT
TT=1.113

 UNSAT
TT=4.177

 UNSAT
TT=12.81

 UNSAT
TT=13.487

 UNSAT
TT=13.443

 UNSAT
TT=7.553

 UNSAT
TT=3.064

 UNSAT
TT=9.613
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900576918.opb 		SAT
TT=0.037
T1=0.03
 SAT
TT=0.052
T1=0.05
 SAT
TT=2.602
T1=2.6
 SAT
TT=0.078
T1=0.07
 SAT
TT=0.037
T1=0.03
 SAT
TT=0.037
T1=0.03
 SAT
TT=6.983
T1=2.34
 SAT
TT=2.074
T1=1.26
 SAT
TT=7.416
T1=7.35
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900576927.opb 		UNSAT
TT=10.098

 UNSAT
TT=18.12

 UNSAT
TT=10.098

 UNSAT
TT=40.225

 UNSAT
TT=31.444

 UNSAT
TT=32.037

 UNSAT
TT=17.531

 UNSAT
TT=14.221

 UNSAT
TT=46.846
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900577000.opb 		SAT
TT=0.057
T1=0.05
 SAT
TT=0.057
T1=0.05
 SAT
TT=4.936
T1=4.93
 SAT
TT=0.272
T1=0.27
 SAT
TT=0.096
T1=0.09
 SAT
TT=0.099
T1=0.09
 SAT
TT=5.282
T1=1.83
 SAT
TT=0.864
T1=0.43
 SAT
TT=2.593
T1=2.54
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900577940.opb 		UNSAT
TT=3.591

 UNSAT
TT=3.591

 UNSAT
TT=20.841

 UNSAT
TT=36.099

 UNSAT
TT=33.622

 UNSAT
TT=34.116

 UNSAT
TT=14.232

 UNSAT
TT=9.153

 UNSAT
TT=42.817
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900579996.opb 		UNSAT
TT=2.599

 UNSAT
TT=3.356

 UNSAT
TT=4.769

 UNSAT
TT=2.599

 UNSAT
TT=23.77

 UNSAT
TT=23.818

 UNSAT
TT=9.193

 UNSAT
TT=19.533

 UNSAT
TT=18.725
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900581320.opb 		UNSAT
TT=4.334

 UNSAT
TT=5.58

 UNSAT
TT=17.771

 UNSAT
TT=34.07

 UNSAT
TT=21.556

 UNSAT
TT=22.417

 UNSAT
TT=9.213

 UNSAT
TT=4.334

 UNSAT
TT=12.394
Bench nameBest resultscdcl-cuttingplanes DEC
2016-05-01
(complete)		minisatp
2012-10-02 git-d91742b
(complete)		NaPS
1.02
(complete)		Open-WBO
PB16
(complete)		Open-WBO-LSU
PB16
(complete)		Sat4j PB 2.3.6 Res+CP
PB16
(complete)		Sat4j PB 2.3.6 Resolution
PB16
(complete)		toysat
2016-05-02
(complete)
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900581321.opb 		SAT
TT=0.016
T1=0.01
 SAT
TT=0.186
T1=0.18
 SAT
TT=0.486
T1=0.48
 SAT
TT=0.19
T1=0.19
 SAT
TT=0.016
T1=0.01
 SAT
TT=0.016
T1=0.01
 SAT
TT=1.273
T1=0.82
 SAT
TT=1.584
T1=0.97
 SAT
TT=8.396
T1=8.34
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900582300.opb 		UNSAT
TT=8.364

 UNSAT
TT=179.666

 UNSAT
TT=38.28

 UNSAT
TT=36.396

 UNSAT
TT=30.674

 UNSAT
TT=31.472

 UNSAT
TT=11.683

 UNSAT
TT=8.364

 UNSAT
TT=50.215
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900582376.opb 		SAT
TT=0.175
T1=0.17
 SAT
TT=2.669
T1=2.67
 SAT
TT=1.925
T1=1.92
 SAT
TT=0.309
T1=0.31
 SAT
TT=0.175
T1=0.17
 SAT
TT=0.177
T1=0.17
 SAT
TT=5.674
T1=1.84
 SAT
TT=2.733
T1=1.73
 SAT
TT=1.773
T1=1.72
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900583053.opb 		UNSAT
TT=2.884

 UNSAT
TT=2.884

 UNSAT
TT=10.669

 UNSAT
TT=45.284

 UNSAT
TT=34.837

 UNSAT
TT=35.282

 UNSAT
TT=10.633

 UNSAT
TT=16.503

 UNSAT
TT=23.967
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900584106.opb 		UNSAT
TT=0.849

 UNSAT
TT=30.954

 UNSAT
TT=6.459

 UNSAT
TT=1.976

 UNSAT
TT=0.849

 UNSAT
TT=0.856

 UNSAT
TT=4.503

 UNSAT
TT=1.813

 UNSAT
TT=2.636
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900584219.opb 		UNSAT
TT=0.486

 UNSAT
TT=6.37

 UNSAT
TT=3.624

 UNSAT
TT=0.486

 UNSAT
TT=5.445

 UNSAT
TT=5.438

 UNSAT
TT=5.743

 UNSAT
TT=2.214

 UNSAT
TT=4.272
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900667195.opb 		UNSAT
TT=9.363

 UNSAT
TT=18.77

 UNSAT
TT=36.013

 UNSAT
TT=39.095

 UNSAT
TT=37.188

 UNSAT
TT=38.933

 UNSAT
TT=14.713

 UNSAT
TT=9.363

 UNSAT
TT=42.949
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900669299.opb 		SAT
TT=0.035
T1=0.03
 SAT
TT=0.851
T1=0.85
 SAT
TT=0.262
T1=0.26
 SAT
TT=0.123
T1=0.12
 SAT
TT=0.035
T1=0.03
 SAT
TT=0.035
T1=0.03
 SAT
TT=2.023
T1=0.82
 SAT
TT=1.964
T1=1.17
 SAT
TT=0.116
T1=0.1
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900669309.opb 		SAT
TT=1
T1=1
 SAT
TT=3.335
T1=3.33
 SAT
TT=12.205
T1=12.2
 SAT
TT=1
T1=1
 SAT
TT=2.151
T1=2.15
 SAT
TT=2.175
T1=2.17
 SAT
TT=6.383
T1=2.35
 SAT
TT=1.923
T1=1.25
 SAT
TT=14.422
T1=14.36
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900669797.opb 		UNSAT
TT=2.144

 UNSAT
TT=72.103

 UNSAT
TT=6.524

 UNSAT
TT=2.144

 UNSAT
TT=15.474

 UNSAT
TT=15.496

 UNSAT
TT=7.414

 UNSAT
TT=5.273

 UNSAT
TT=11.161
Bench nameBest resultscdcl-cuttingplanes DEC
2016-05-01
(complete)		minisatp
2012-10-02 git-d91742b
(complete)		NaPS
1.02
(complete)		Open-WBO
PB16
(complete)		Open-WBO-LSU
PB16
(complete)		Sat4j PB 2.3.6 Res+CP
PB16
(complete)		Sat4j PB 2.3.6 Resolution
PB16
(complete)		toysat
2016-05-02
(complete)
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900670167.opb 		UNSAT
TT=0.723

 UNSAT
TT=3.78

 UNSAT
TT=0.723

 UNSAT
TT=9.011

 UNSAT
TT=3.288

 UNSAT
TT=3.298

 UNSAT
TT=13.072

 UNSAT
TT=3.194

 UNSAT
TT=4.557
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900670234.opb 		UNSAT
TT=3.883

 UNSAT
TT=3.883

 UNSAT
TT=38.021

 UNSAT
TT=56.25

 UNSAT
TT=49.858

 UNSAT
TT=49.803

 UNSAT
TT=17.061

 UNSAT
TT=26.17

 UNSAT
TT=28.744
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900670675.opb 		UNSAT
TT=0.84

 UNSAT
TT=3.168

 UNSAT
TT=1.039

 UNSAT
TT=0.84

 UNSAT
TT=2.498

 UNSAT
TT=2.509

 UNSAT
TT=3.943

 UNSAT
TT=1.993

 UNSAT
TT=2.424
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900670756.opb 		SAT
TT=0.085
T1=0.08
 SAT
TT=0.107
T1=0.1
 SAT
TT=12.547
T1=12.54
 SAT
TT=0.085
T1=0.08
 SAT
TT=0.133
T1=0.13
 SAT
TT=0.144
T1=0.14
 SAT
TT=5.932
T1=2.34
 SAT
TT=2.586
T1=1.51
 SAT
TT=3.759
T1=3.7
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110966483.opb 		UNSAT
TT=0.706

 UNSAT
TT=0.706

 UNSAT
TT=44.873

 UNSAT
TT=0.895

 UNSAT
TT=0.966

 UNSAT
TT=0.982

 UNSAT
TT=5.343

 UNSAT
TT=2.364

 UNSAT
TT=2.318
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110966688.opb 		UNSAT
TT=1.735

 UNSAT
TT=4.351

 UNSAT
TT=39.955

 UNSAT
TT=1.735

 UNSAT
TT=2.043

 UNSAT
TT=2.045

 UNSAT
TT=7.613

 UNSAT
TT=2.395

 UNSAT
TT=3.508
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110967142.opb 		UNSAT
TT=5.084

 UNSAT
TT=61.34

 UNSAT
TT=135.137

 UNSAT
TT=5.234

 UNSAT
TT=6.674

 UNSAT
TT=6.838

 UNSAT
TT=10.662

 UNSAT
TT=5.084

 UNSAT
TT=7.203
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110967327.opb 		SAT
TT=0.669
T1=0.66
 SAT
TT=7.938
T1=7.93
 SAT
TT=52.589
T1=52.59
 SAT
TT=1.042
T1=1.04
 SAT
TT=0.669
T1=0.66
 SAT
TT=0.709
T1=0.71
 SAT
TT=6.003
T1=2.18
 SAT
TT=1.353
T1=0.72
 SAT
TT=0.711
T1=0.68
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110967523.opb 		UNSAT
TT=3.574

 UNSAT
TT=15.822

 UNSAT
TT=163.416

 UNSAT
TT=4.446

 UNSAT
TT=5.374

 UNSAT
TT=5.322

 UNSAT
TT=8.164

 UNSAT
TT=3.574

 UNSAT
TT=5.259
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110967729.opb 		UNSAT
TT=1.044

 UNSAT
TT=1.554

 UNSAT
TT=161.114

 UNSAT
TT=1.044

 UNSAT
TT=1.464

 UNSAT
TT=1.463

 UNSAT
TT=6.08

 UNSAT
TT=2.413

 UNSAT
TT=2.599
Bench nameBest resultscdcl-cuttingplanes DEC
2016-05-01
(complete)		minisatp
2012-10-02 git-d91742b
(complete)		NaPS
1.02
(complete)		Open-WBO
PB16
(complete)		Open-WBO-LSU
PB16
(complete)		Sat4j PB 2.3.6 Res+CP
PB16
(complete)		Sat4j PB 2.3.6 Resolution
PB16
(complete)		toysat
2016-05-02
(complete)
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110968094.opb 		UNSAT
TT=2.192

 UNSAT
TT=8.392

 UNSAT
TT=123.897

 UNSAT
TT=2.192

 UNSAT
TT=3.419

 UNSAT
TT=3.414

 UNSAT
TT=6.754

 UNSAT
TT=3.054

 UNSAT
TT=3.825
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110968431.opb 		SAT
TT=0.455
T1=0.45
 SAT
TT=3.334
T1=3.33
 SAT
TT=5.741
T1=5.74
 SAT
TT=0.482
T1=0.59
 SAT
TT=0.455
T1=0.45
 SAT
TT=0.457
T1=0.45
 SAT
TT=3.013
T1=1.19
 SAT
TT=1.475
T1=0.78
 SAT
TT=1.042
T1=1.01
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110968561.opb 		UNSAT
TT=3.313

 UNSAT
TT=14.208

 UNSAT
TT=115.956

 UNSAT
TT=4.203

 UNSAT
TT=5.031

 UNSAT
TT=5.007

 UNSAT
TT=8.581

 UNSAT
TT=3.313

 UNSAT
TT=5.721
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110968898.opb 		UNSAT
TT=2.567

 UNSAT
TT=6.473

 UNSAT
TT=104.673

 UNSAT
TT=3.648

 UNSAT
TT=4.12

 UNSAT
TT=4.116

 UNSAT
TT=6.803

 UNSAT
TT=2.567

 UNSAT
TT=4.283
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110969170.opb 		UNSAT
TT=2.15

 UNSAT
TT=5.75

 UNSAT
TT=203.876

 UNSAT
TT=2.355

 UNSAT
TT=2.15

 UNSAT
TT=2.151

 UNSAT
TT=6.222

 UNSAT
TT=2.545

 UNSAT
TT=3.736
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110969577.opb 		UNSAT
TT=1.115

 UNSAT
TT=1.115

 UNSAT
TT=136.659

 UNSAT
TT=1.731

 UNSAT
TT=3.33

 UNSAT
TT=3.322

 UNSAT
TT=6.902

 UNSAT
TT=2.415

 UNSAT
TT=3.584
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110969860.opb 		UNSAT
TT=3.713

 UNSAT
TT=12.444

 UNSAT
TT=133.682

 UNSAT
TT=4.367

 UNSAT
TT=4.885

 UNSAT
TT=4.941

 UNSAT
TT=8.984

 UNSAT
TT=3.713

 UNSAT
TT=5.37
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110969933.opb 		SAT
TT=0.193
T1=0.19
 SAT
TT=0.598
T1=0.6
 SAT
TT=5.236
T1=5.23
 SAT
TT=0.193
T1=0.19
 SAT
TT=1.082
T1=1.08
 SAT
TT=1.167
T1=1.16
 SAT
TT=5.532
T1=1.68
 SAT
TT=0.864
T1=0.51
 SAT
TT=0.687
T1=0.66
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110970170.opb 		SAT
TT=1.141
T1=1.14
 SAT
TT=6.701
T1=6.7
 SAT
TT=59.775
T1=59.78
 SAT
TT=1.141
T1=1.14
 SAT
TT=8.415
T1=8.41
 SAT
TT=8.464
T1=8.46
 SAT
TT=9.393
T1=3.68
 SAT
TT=2.854
T1=2.25
 SAT
TT=7.05
T1=6.99
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110970277.opb 		SAT
TT=0.29
T1=0.29
 SAT
TT=0.676
T1=0.67
 SAT
TT=7.495
T1=7.49
 SAT
TT=0.29
T1=0.29
 SAT
TT=2.969
T1=2.96
 SAT
TT=2.954
T1=2.95
 SAT
TT=5.424
T1=1.72
 SAT
TT=1.43
T1=1.15
 SAT
TT=4.433
T1=4.37
Bench nameBest resultscdcl-cuttingplanes DEC
2016-05-01
(complete)		minisatp
2012-10-02 git-d91742b
(complete)		NaPS
1.02
(complete)		Open-WBO
PB16
(complete)		Open-WBO-LSU
PB16
(complete)		Sat4j PB 2.3.6 Res+CP
PB16
(complete)		Sat4j PB 2.3.6 Resolution
PB16
(complete)		toysat
2016-05-02
(complete)
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110970444.opb 		UNSAT
TT=1.679

 UNSAT
TT=3.724

 UNSAT
TT=109.428

 UNSAT
TT=1.679

 UNSAT
TT=1.873

 UNSAT
TT=1.923

 UNSAT
TT=6.404

 UNSAT
TT=2.994

 UNSAT
TT=3.035
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110970631.opb 		UNSAT
TT=1.947

 UNSAT
TT=2.891

 UNSAT
TT=116.908

 UNSAT
TT=1.947

 UNSAT
TT=2.215

 UNSAT
TT=2.206

 UNSAT
TT=6.704

 UNSAT
TT=2.614

 UNSAT
TT=3.48
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110971097.opb 		SAT
TT=2.255
T1=1.18
 SAT
TT=17.625
T1=17.62
 SAT
TT=23.493
T1=23.49
 SAT
TT=4.095
T1=4.09
 SAT
TT=4.178
T1=4.18
 SAT
TT=4.261
T1=4.26
 SAT
TT=4.033
T1=1.18
 SAT
TT=2.255
T1=1.68
 SAT
TT=2.642
T1=2.58
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110971363.opb 		UNSAT
TT=2.259

 UNSAT
TT=7.305

 UNSAT
TT=94.293

 UNSAT
TT=2.259

 UNSAT
TT=3.786

 UNSAT
TT=3.785

 UNSAT
TT=6.003

 UNSAT
TT=2.565

 UNSAT
TT=3.718
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110971697.opb 		UNSAT
TT=2.293

 UNSAT
TT=4.417

 UNSAT
TT=99.955

 UNSAT
TT=2.293

 UNSAT
TT=2.651

 UNSAT
TT=2.646

 UNSAT
TT=6.703

 UNSAT
TT=3.193

 UNSAT
TT=3.687
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110971766.opb 		SAT
TT=0.434
T1=0.43
 SAT
TT=0.451
T1=0.45
 SAT
TT=0.821
T1=0.82
 SAT
TT=0.434
T1=0.43
 SAT
TT=2.65
T1=2.65
 SAT
TT=2.65
T1=2.65
 SAT
TT=1.783
T1=0.68
 SAT
TT=1.154
T1=0.61
 SAT
TT=4.476
T1=4.41
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110972154.opb 		UNSAT
TT=2.973

 UNSAT
TT=3.871

 UNSAT
TT=124.734

 UNSAT
TT=2.973

 UNSAT
TT=3.718

 UNSAT
TT=3.711

 UNSAT
TT=8.612

 UNSAT
TT=4.314

 UNSAT
TT=4.895
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110972763.opb 		UNSAT
TT=2.086

 UNSAT
TT=4.494

 UNSAT
TT=152.692

 UNSAT
TT=2.086

 UNSAT
TT=3.587

 UNSAT
TT=3.573

 UNSAT
TT=6.773

 UNSAT
TT=2.393

 UNSAT
TT=5.256
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110972958.opb 		SAT
TT=0.406
T1=0.4
 SAT
TT=0.406
T1=0.4
 SAT
TT=4.534
T1=4.53
 SAT
TT=0.662
T1=0.74
 SAT
TT=1.974
T1=2.06
 SAT
TT=1.965
T1=1.96
 SAT
TT=4.854
T1=1.7
 SAT
TT=1.813
T1=1.29
 SAT
TT=4.29
T1=4.32
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110973163.opb 		UNSAT
TT=3.684

 UNSAT
TT=7.534

 UNSAT
TT=122.855

 UNSAT
TT=3.684

 UNSAT
TT=5.22

 UNSAT
TT=5.202

 UNSAT
TT=9.233

 UNSAT
TT=3.854

 UNSAT
TT=5.28
Bench nameBest resultscdcl-cuttingplanes DEC
2016-05-01
(complete)		minisatp
2012-10-02 git-d91742b
(complete)		NaPS
1.02
(complete)		Open-WBO
PB16
(complete)		Open-WBO-LSU
PB16
(complete)		Sat4j PB 2.3.6 Res+CP
PB16
(complete)		Sat4j PB 2.3.6 Resolution
PB16
(complete)		toysat
2016-05-02
(complete)
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110973364.opb 		UNSAT
TT=1.559

 UNSAT
TT=4.535

 UNSAT
TT=285.612

 UNSAT
TT=1.559

 UNSAT
TT=2.284

 UNSAT
TT=2.272

 UNSAT
TT=5.474

 UNSAT
TT=2.604

 UNSAT
TT=3.04
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110973478.opb 		SAT
TT=0.664
T1=0.38
 SAT
TT=0.886
T1=0.88
 SAT
TT=129.011
T1=129.02
 SAT
TT=1.111
T1=1.14
 SAT
TT=1.948
T1=1.94
 SAT
TT=1.945
T1=1.94
 SAT
TT=4.562
T1=1.7
 SAT
TT=0.664
T1=0.38
 SAT
TT=4.028
T1=3.96
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110973670.opb 		UNSAT
TT=3.014

 UNSAT
TT=3.033

 UNSAT
TT=160.014

 UNSAT
TT=3.278

 UNSAT
TT=3.796

 UNSAT
TT=3.8

 UNSAT
TT=7.572

 UNSAT
TT=3.014

 UNSAT
TT=4.535
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110973863.opb 		SAT
TT=2.377
T1=1.7
 SAT
TT=2.777
T1=2.77
 SAT
TT=55.199
T1=55.2
 SAT
TT=2.819
T1=2.93
 SAT
TT=5.096
T1=5.09
 SAT
TT=5.139
T1=5.14
 SAT
TT=4.204
T1=1.7
 SAT
TT=4.033
T1=3.39
 SAT
TT=2.377
T1=2.32
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110974180.opb 		UNSAT
TT=2.895

 UNSAT
TT=9.865

 UNSAT
TT=121.626

 UNSAT
TT=3.501

 UNSAT
TT=4.615

 UNSAT
TT=4.591

 UNSAT
TT=6.574

 UNSAT
TT=2.895

 UNSAT
TT=5.331
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110974372.opb 		UNSAT
TT=0.884

 UNSAT
TT=0.884

 UNSAT
TT=106.664

 UNSAT
TT=1.545

 UNSAT
TT=2.122

 UNSAT
TT=2.115

 UNSAT
TT=5.55

 UNSAT
TT=1.964

 UNSAT
TT=3.52
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110974553.opb 		SAT
TT=0.306
T1=0.3
 SAT
TT=4.45
T1=4.45
 SAT
TT=11.201
T1=11.2
 SAT
TT=0.306
T1=0.3
 SAT
TT=2.123
T1=2.27
 SAT
TT=2.121
T1=2.12
 SAT
TT=3.342
T1=1.19
 SAT
TT=0.764
T1=0.45
 SAT
TT=2.149
T1=2.27
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110975607.opb 		UNSAT
TT=1.319

 UNSAT
TT=1.549

 UNSAT
TT=85.941

 UNSAT
TT=1.404

 UNSAT
TT=1.319

 UNSAT
TT=1.377

 UNSAT
TT=5.533

 UNSAT
TT=2.225

 UNSAT
TT=2.81
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110975678.opb 		SAT
TT=1.326
T1=1.32
 SAT
TT=15.868
T1=15.87
 SAT
TT=15.211
T1=15.21
 SAT
TT=3.561
T1=3.56
 SAT
TT=1.326
T1=1.32
 SAT
TT=1.33
T1=1.33
 SAT
TT=7.423
T1=2.68
 SAT
TT=2.934
T1=2.35
 SAT
TT=2.623
T1=2.56
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110975832.opb 		SAT
TT=0.092
T1=0.09
 SAT
TT=1.867
T1=1.86
 SAT
TT=18.113
T1=18.11
 SAT
TT=0.858
T1=0.85
 SAT
TT=0.092
T1=0.09
 SAT
TT=0.092
T1=0.09
 SAT
TT=3.733
T1=1.19
 SAT
TT=2.223
T1=1.53
 SAT
TT=2.683
T1=2.62
Bench nameBest resultscdcl-cuttingplanes DEC
2016-05-01
(complete)		minisatp
2012-10-02 git-d91742b
(complete)		NaPS
1.02
(complete)		Open-WBO
PB16
(complete)		Open-WBO-LSU
PB16
(complete)		Sat4j PB 2.3.6 Res+CP
PB16
(complete)		Sat4j PB 2.3.6 Resolution
PB16
(complete)		toysat
2016-05-02
(complete)
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110975965.opb 		UNSAT
TT=4.763

 UNSAT
TT=21.267

 UNSAT
TT=209.479

 UNSAT
TT=6.409

 UNSAT
TT=6.931

 UNSAT
TT=6.934

 UNSAT
TT=8.732

 UNSAT
TT=4.763

 UNSAT
TT=6.64
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110976157.opb 		UNSAT
TT=1.095

 UNSAT
TT=1.095

 UNSAT
TT=44.694

 UNSAT
TT=1.386

 UNSAT
TT=1.923

 UNSAT
TT=1.921

 UNSAT
TT=6.864

 UNSAT
TT=2.163

 UNSAT
TT=2.778
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110976730.opb 		UNSAT
TT=3.963

 UNSAT
TT=12.297

 UNSAT
TT=150.548

 UNSAT
TT=5.524

 UNSAT
TT=5.775

 UNSAT
TT=6.094

 UNSAT
TT=9.024

 UNSAT
TT=3.963

 UNSAT
TT=5.924
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110976735.opb 		SAT
TT=0.202
T1=0.2
 SAT
TT=0.415
T1=0.41
 SAT
TT=12.903
T1=12.91
 SAT
TT=0.315
T1=0.32
 SAT
TT=0.203
T1=0.2
 SAT
TT=0.202
T1=0.2
 SAT
TT=3.244
T1=1.19
 SAT
TT=1.114
T1=0.64
 SAT
TT=3.672
T1=3.61
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110976935.opb 		UNSAT
TT=2.154

 UNSAT
TT=4.247

 UNSAT
TT=42.235

 UNSAT
TT=2.154

 UNSAT
TT=2.724

 UNSAT
TT=2.725

 UNSAT
TT=7.153

 UNSAT
TT=2.865

 UNSAT
TT=3.344
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110977266.opb 		SAT
TT=0.429
T1=0.42
 SAT
TT=0.429
T1=0.42
 SAT
TT=14.54
T1=14.54
 SAT
TT=2.035
T1=2.03
 SAT
TT=0.512
T1=0.51
 SAT
TT=0.537
T1=0.54
 SAT
TT=5.704
T1=1.69
 SAT
TT=2.244
T1=1.58
 SAT
TT=2.101
T1=2.04
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110977273.opb 		UNSAT
TT=2.713

 UNSAT
TT=6.431

 UNSAT
TT=109.296

 UNSAT
TT=2.742

 UNSAT
TT=2.865

 UNSAT
TT=2.863

 UNSAT
TT=6.243

 UNSAT
TT=2.713

 UNSAT
TT=4.178
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110977464.opb 		SAT
TT=0.884
T1=0.49
 SAT
TT=4.591
T1=4.59
 SAT
TT=53.745
T1=53.75
 SAT
TT=2.37
T1=2.36
 SAT
TT=6.718
T1=6.71
 SAT
TT=6.717
T1=6.71
 SAT
TT=6.414
T1=2.19
 SAT
TT=0.884
T1=0.49
 SAT
TT=4.02
T1=3.96
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110977780.opb 		UNSAT
TT=1.692

 UNSAT
TT=1.986

 UNSAT
TT=111.996

 UNSAT
TT=1.692

 UNSAT
TT=1.728

 UNSAT
TT=1.734

 UNSAT
TT=5.13

 UNSAT
TT=2.204

 UNSAT
TT=2.992
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110978113.opb 		UNSAT
TT=3.884

 UNSAT
TT=30.162

 UNSAT
TT=134.729

 UNSAT
TT=4.573

 UNSAT
TT=5.5

 UNSAT
TT=5.481

 UNSAT
TT=8.762

 UNSAT
TT=3.884

 UNSAT
TT=5.293
Bench nameBest resultscdcl-cuttingplanes DEC
2016-05-01
(complete)		minisatp
2012-10-02 git-d91742b
(complete)		NaPS
1.02
(complete)		Open-WBO
PB16
(complete)		Open-WBO-LSU
PB16
(complete)		Sat4j PB 2.3.6 Res+CP
PB16
(complete)		Sat4j PB 2.3.6 Resolution
PB16
(complete)		toysat
2016-05-02
(complete)
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110978334.opb 		UNSAT
TT=2.715

 UNSAT
TT=8.041

 UNSAT
TT=136.201

 UNSAT
TT=2.715

 UNSAT
TT=3.409

 UNSAT
TT=3.39

 UNSAT
TT=6.414

 UNSAT
TT=3.603

 UNSAT
TT=5.15
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111212272.opb 		UNSAT
TT=2.794

 UNSAT
TT=10.648

 UNSAT
TT=188.175

 UNSAT
TT=2.794

 UNSAT
TT=4.754

 UNSAT
TT=4.74

 UNSAT
TT=8.033

 UNSAT
TT=3.094

 UNSAT
TT=5.134
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111212476.opb 		UNSAT
TT=3.983

 UNSAT
TT=21.89

 UNSAT
TT=118.804

 UNSAT
TT=5.082

 UNSAT
TT=6.886

 UNSAT
TT=7.185

 UNSAT
TT=8.9

 UNSAT
TT=3.983

 UNSAT
TT=5.821
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111212923.opb 		UNSAT
TT=2.041

 UNSAT
TT=4.875

 UNSAT
TT=146.548

 UNSAT
TT=2.041

 UNSAT
TT=3.517

 UNSAT
TT=3.506

 UNSAT
TT=5.753

 UNSAT
TT=2.784

 UNSAT
TT=3.403
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111213670.opb 		UNSAT
TT=2.479

 UNSAT
TT=4.435

 UNSAT
TT=143.907

 UNSAT
TT=2.611

 UNSAT
TT=2.487

 UNSAT
TT=2.479

 UNSAT
TT=7.233

 UNSAT
TT=2.503

 UNSAT
TT=3.241
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111213868.opb 		UNSAT
TT=2.69

 UNSAT
TT=2.792

 UNSAT
TT=129.714

 UNSAT
TT=2.69

 UNSAT
TT=3.176

 UNSAT
TT=3.168

 UNSAT
TT=6.693

 UNSAT
TT=3.074

 UNSAT
TT=3.471
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111216188.opb 		SAT
TT=0.367
T1=0.36
 SAT
TT=2.087
T1=2.08
 SAT
TT=21.913
T1=21.91
 SAT
TT=1.074
T1=1.07
 SAT
TT=0.367
T1=0.47
 SAT
TT=0.367
T1=0.36
 SAT
TT=3.822
T1=1.18
 SAT
TT=1.545
T1=1.09
 SAT
TT=4.79
T1=4.74
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111216411.opb 		UNSAT
TT=2.864

 UNSAT
TT=6.803

 UNSAT
TT=125.667

 UNSAT
TT=2.92

 UNSAT
TT=2.871

 UNSAT
TT=2.864

 UNSAT
TT=7.993

 UNSAT
TT=3.363

 UNSAT
TT=5.1
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111216823.opb 		UNSAT
TT=1.579

 UNSAT
TT=1.579

 UNSAT
TT=187.156

 UNSAT
TT=2.781

 UNSAT
TT=2.646

 UNSAT
TT=2.655

 UNSAT
TT=6.002

 UNSAT
TT=2.404

 UNSAT
TT=3.668
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111216864.opb 		SAT
TT=0.024
T1=0.02
 SAT
TT=0.308
T1=0.3
 SAT
TT=48.342
T1=48.34
 SAT
TT=2.243
T1=2.24
 SAT
TT=0.024
T1=0.02
 SAT
TT=0.026
T1=0.02
 SAT
TT=1.463
T1=0.68
 SAT
TT=0.593
T1=0.32
 SAT
TT=1.445
T1=1.4
Bench nameBest resultscdcl-cuttingplanes DEC
2016-05-01
(complete)		minisatp
2012-10-02 git-d91742b
(complete)		NaPS
1.02
(complete)		Open-WBO
PB16
(complete)		Open-WBO-LSU
PB16
(complete)		Sat4j PB 2.3.6 Res+CP
PB16
(complete)		Sat4j PB 2.3.6 Resolution
PB16
(complete)		toysat
2016-05-02
(complete)
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111217374.opb 		SAT
TT=0.083
T1=0.08
 SAT
TT=1.751
T1=1.75
 SAT
TT=0.174
T1=0.17
 SAT
TT=0.35
T1=0.34
 SAT
TT=0.083
T1=0.08
 SAT
TT=0.084
T1=0.08
 SAT
TT=4.703
T1=1.71
 SAT
TT=1.024
T1=0.54
 SAT
TT=0.744
T1=0.71
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111217380.opb 		SAT
TT=1.175
T1=0.7
 SAT
TT=2.213
T1=2.21
 SAT
TT=5.218
T1=5.22
 SAT
TT=1.175
T1=1.17
 SAT
TT=1.777
T1=1.77
 SAT
TT=1.81
T1=1.81
 SAT
TT=4.83
T1=1.7
 SAT
TT=1.194
T1=0.7
 SAT
TT=2.082
T1=2.02
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111217392.opb 		UNSAT
TT=1.862

 UNSAT
TT=1.862

 UNSAT
TT=84.678

 UNSAT
TT=2.117

 UNSAT
TT=2.031

 UNSAT
TT=2.027

 UNSAT
TT=6.413

 UNSAT
TT=2.924

 UNSAT
TT=3.544
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111217555.opb 		UNSAT
TT=2.364

 UNSAT
TT=10.377

 UNSAT
TT=140.979

 UNSAT
TT=2.364

 UNSAT
TT=3.478

 UNSAT
TT=3.472

 UNSAT
TT=8.473

 UNSAT
TT=3.444

 UNSAT
TT=3.92
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111218024.opb 		UNSAT
TT=0.824

 UNSAT
TT=0.824

 UNSAT
TT=94.47

 UNSAT
TT=2.47

 UNSAT
TT=3.113

 UNSAT
TT=3.107

 UNSAT
TT=8.803

 UNSAT
TT=3.812

 UNSAT
TT=4.686
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111218308.opb 		UNSAT
TT=5.703

 UNSAT
TT=20.324

 UNSAT
TT=125.4

 UNSAT
TT=6.105

 UNSAT
TT=8.749

 UNSAT
TT=8.724

 UNSAT
TT=10.762

 UNSAT
TT=5.703

 UNSAT
TT=6.337
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111218757.opb 		UNSAT
TT=1.491

 UNSAT
TT=1.491

 UNSAT
TT=141.244

 UNSAT
TT=2.414

 UNSAT
TT=4.128

 UNSAT
TT=4.118

 UNSAT
TT=7.492

 UNSAT
TT=3.453

 UNSAT
TT=4.675
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111218955.opb 		UNSAT
TT=1.815

 UNSAT
TT=4.114

 UNSAT
TT=285.972

 UNSAT
TT=1.815

 UNSAT
TT=2.667

 UNSAT
TT=2.659

 UNSAT
TT=6.343

 UNSAT
TT=2.424

 UNSAT
TT=3.215
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111219348.opb 		UNSAT
TT=2.432

 UNSAT
TT=11.01

 UNSAT
TT=115.401

 UNSAT
TT=2.432

 UNSAT
TT=2.649

 UNSAT
TT=2.658

 UNSAT
TT=6.382

 UNSAT
TT=2.654

 UNSAT
TT=3.534
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111219399.opb 		SAT
TT=0.106
T1=0.1
 SAT
TT=0.755
T1=0.75
 SAT
TT=2.214
T1=2.21
 SAT
TT=0.106
T1=0.1
 SAT
TT=0.59
T1=0.59
 SAT
TT=0.591
T1=0.59
 SAT
TT=5.683
T1=1.7
 SAT
TT=1.254
T1=0.79
 SAT
TT=2.469
T1=2.41
Bench nameBest resultscdcl-cuttingplanes DEC
2016-05-01
(complete)		minisatp
2012-10-02 git-d91742b
(complete)		NaPS
1.02
(complete)		Open-WBO
PB16
(complete)		Open-WBO-LSU
PB16
(complete)		Sat4j PB 2.3.6 Res+CP
PB16
(complete)		Sat4j PB 2.3.6 Resolution
PB16
(complete)		toysat
2016-05-02
(complete)
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111219799.opb 		UNSAT
TT=2.048

 UNSAT
TT=4.717

 UNSAT
TT=179.116

 UNSAT
TT=2.048

 UNSAT
TT=2.31

 UNSAT
TT=2.3

 UNSAT
TT=6.544

 UNSAT
TT=2.464

 UNSAT
TT=3.937
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111220019.opb 		UNSAT
TT=2.394

 UNSAT
TT=4.39

 UNSAT
TT=140.922

 UNSAT
TT=2.394

 UNSAT
TT=2.606

 UNSAT
TT=2.633

 UNSAT
TT=6.726

 UNSAT
TT=3.523

 UNSAT
TT=3.643
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111220546.opb 		UNSAT
TT=2.203

 UNSAT
TT=4.892

 UNSAT
TT=109.666

 UNSAT
TT=2.203

 UNSAT
TT=3.691

 UNSAT
TT=3.688

 UNSAT
TT=6.772

 UNSAT
TT=3.314

 UNSAT
TT=5.222
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111220767.opb 		UNSAT
TT=3.786

 UNSAT
TT=8.001

 UNSAT
TT=113.203

 UNSAT
TT=3.786

 UNSAT
TT=4.227

 UNSAT
TT=4.218

 UNSAT
TT=7.673

 UNSAT
TT=3.802

 UNSAT
TT=5.443
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111221203.opb 		UNSAT
TT=2.626

 UNSAT
TT=4.209

 UNSAT
TT=73.853

 UNSAT
TT=2.626

 UNSAT
TT=3.283

 UNSAT
TT=3.265

 UNSAT
TT=6.384

 UNSAT
TT=2.824

 UNSAT
TT=4.053
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111221624.opb 		UNSAT
TT=2.569

 UNSAT
TT=6.538

 UNSAT
TT=117.453

 UNSAT
TT=2.569

 UNSAT
TT=3.464

 UNSAT
TT=3.474

 UNSAT
TT=7.813

 UNSAT
TT=2.953

 UNSAT
TT=4.074
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111221953.opb 		SAT
TT=0.853
T1=0.5
 SAT
TT=4.202
T1=4.2
 SAT
TT=28.216
T1=28.22
 SAT
TT=1.417
T1=1.41
 SAT
TT=2.738
T1=2.73
 SAT
TT=2.759
T1=2.76
 SAT
TT=4.374
T1=1.25
 SAT
TT=0.853
T1=0.5
 SAT
TT=4.076
T1=4.01
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111222080.opb 		SAT
TT=1.067
T1=1.06
 SAT
TT=1.997
T1=1.99
 SAT
TT=115.78
T1=115.8
 SAT
TT=2.144
T1=2.25
 SAT
TT=1.067
T1=1.06
 SAT
TT=1.067
T1=1.06
 SAT
TT=5.302
T1=1.69
 SAT
TT=2.824
T1=2.21
 SAT
TT=2.457
T1=2.4
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111222248.opb 		SAT
TT=0.55
T1=0.55
 SAT
TT=0.989
T1=0.98
 SAT
TT=8.129
T1=8.12
 SAT
TT=0.55
T1=0.55
 SAT
TT=1.489
T1=1.48
 SAT
TT=1.512
T1=1.61
 SAT
TT=2.495
T1=1.19
 SAT
TT=2.114
T1=1.14
 SAT
TT=0.989
T1=0.95
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111222257.opb 		UNSAT
TT=2.584

 UNSAT
TT=6.288

 UNSAT
TT=115.109

 UNSAT
TT=2.682

 UNSAT
TT=2.586

 UNSAT
TT=2.584

 UNSAT
TT=6.474

 UNSAT
TT=2.654

 UNSAT
TT=3.996
Bench nameBest resultscdcl-cuttingplanes DEC
2016-05-01
(complete)		minisatp
2012-10-02 git-d91742b
(complete)		NaPS
1.02
(complete)		Open-WBO
PB16
(complete)		Open-WBO-LSU
PB16
(complete)		Sat4j PB 2.3.6 Res+CP
PB16
(complete)		Sat4j PB 2.3.6 Resolution
PB16
(complete)		toysat
2016-05-02
(complete)
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111222539.opb 		UNSAT
TT=2.524

 UNSAT
TT=3.188

 UNSAT
TT=116.096

 UNSAT
TT=3.194

 UNSAT
TT=3.326

 UNSAT
TT=3.325

 UNSAT
TT=4.432

 UNSAT
TT=2.524

 UNSAT
TT=4.313
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111223004.opb 		UNSAT
TT=3.493

 UNSAT
TT=13.881

 UNSAT
TT=145.096

 UNSAT
TT=4.078

 UNSAT
TT=5.166

 UNSAT
TT=5.195

 UNSAT
TT=7.303

 UNSAT
TT=3.493

 UNSAT
TT=4.845
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111223220.opb 		UNSAT
TT=2.838

 UNSAT
TT=3.038

 UNSAT
TT=294.572

 UNSAT
TT=2.838

 UNSAT
TT=3.891

 UNSAT
TT=3.898

 UNSAT
TT=8.532

 UNSAT
TT=3.103

 UNSAT
TT=5.162
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111223416.opb 		SAT
TT=0.631
T1=0.63
 SAT
TT=0.631
T1=0.63
 SAT
TT=29.955
T1=29.96
 SAT
TT=1.521
T1=1.52
 SAT
TT=1.96
T1=1.96
 SAT
TT=1.959
T1=1.96
 SAT
TT=4.62
T1=1.69
 SAT
TT=1.924
T1=1.28
 SAT
TT=1.946
T1=1.89
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111223596.opb 		SAT
TT=1.186
T1=1.18
 SAT
TT=2.595
T1=2.59
 SAT
TT=21.035
T1=21.03
 SAT
TT=3.296
T1=3.29
 SAT
TT=1.186
T1=1.18
 SAT
TT=1.194
T1=1.19
 SAT
TT=4.564
T1=1.68
 SAT
TT=3.015
T1=2.42
 SAT
TT=5.825
T1=5.76
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111223689.opb 		SAT
TT=0.052
T1=0.05
 SAT
TT=3.943
T1=3.94
 SAT
TT=8.74
T1=8.74
 SAT
TT=1.049
T1=1.04
 SAT
TT=0.052
T1=0.05
 SAT
TT=0.052
T1=0.05
 SAT
TT=3.054
T1=1.18
 SAT
TT=1.474
T1=0.97
 SAT
TT=1.243
T1=1.2
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111223696.opb 		SAT
TT=1.614
T1=0.99
 SAT
TT=1.663
T1=1.66
 SAT
TT=11.299
T1=11.3
 SAT
TT=2.66
T1=2.66
 SAT
TT=1.883
T1=1.88
 SAT
TT=1.891
T1=1.89
 SAT
TT=7.263
T1=2.23
 SAT
TT=1.614
T1=0.99
 SAT
TT=4.788
T1=4.74
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111224059.opb 		UNSAT
TT=1.088

 UNSAT
TT=2.964

 UNSAT
TT=66.192

 UNSAT
TT=1.088

 UNSAT
TT=1.691

 UNSAT
TT=1.685

 UNSAT
TT=4.984

 UNSAT
TT=1.938

 UNSAT
TT=2.791
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111224255.opb 		UNSAT
TT=2.683

 UNSAT
TT=6.244

 UNSAT
TT=153.507

 UNSAT
TT=2.796

 UNSAT
TT=4.186

 UNSAT
TT=4.171

 UNSAT
TT=7.022

 UNSAT
TT=2.683

 UNSAT
TT=3.757
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111224451.opb 		UNSAT
TT=1.935

 UNSAT
TT=6.39

 UNSAT
TT=84.2

 UNSAT
TT=1.935

 UNSAT
TT=3.386

 UNSAT
TT=3.38

 UNSAT
TT=6.672

 UNSAT
TT=2.854

 UNSAT
TT=3.631
Bench nameBest resultscdcl-cuttingplanes DEC
2016-05-01
(complete)		minisatp
2012-10-02 git-d91742b
(complete)		NaPS
1.02
(complete)		Open-WBO
PB16
(complete)		Open-WBO-LSU
PB16
(complete)		Sat4j PB 2.3.6 Res+CP
PB16
(complete)		Sat4j PB 2.3.6 Resolution
PB16
(complete)		toysat
2016-05-02
(complete)
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111224522.opb 		SAT
TT=0.124
T1=0.12
 SAT
TT=0.124
T1=0.12
 SAT
TT=117.897
T1=117.91
 SAT
TT=1.056
T1=1.05
 SAT
TT=0.146
T1=0.14
 SAT
TT=0.145
T1=0.14
 SAT
TT=4.512
T1=1.68
 SAT
TT=1.305
T1=0.65
 SAT
TT=1.678
T1=1.62
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111224929.opb 		UNSAT
TT=2.019

 UNSAT
TT=4.154

 UNSAT
TT=96.151

 UNSAT
TT=2.019

 UNSAT
TT=3.446

 UNSAT
TT=3.465

 UNSAT
TT=6.812

 UNSAT
TT=3.003

 UNSAT
TT=3.193
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111225122.opb 		UNSAT
TT=1.498

 UNSAT
TT=2.602

 UNSAT
TT=141.997

 UNSAT
TT=1.498

 UNSAT
TT=1.821

 UNSAT
TT=1.936

 UNSAT
TT=6.393

 UNSAT
TT=2.625

 UNSAT
TT=3.157
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111225605.opb 		UNSAT
TT=2.29

 UNSAT
TT=10.052

 UNSAT
TT=126.353

 UNSAT
TT=2.29

 UNSAT
TT=2.937

 UNSAT
TT=2.93

 UNSAT
TT=6.063

 UNSAT
TT=2.815

 UNSAT
TT=3.801
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111226062.opb 		UNSAT
TT=2.016

 UNSAT
TT=4.512

 UNSAT
TT=112.551

 UNSAT
TT=2.016

 UNSAT
TT=2.861

 UNSAT
TT=2.862

 UNSAT
TT=5.754

 UNSAT
TT=2.564

 UNSAT
TT=3.196
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111226241.opb 		SAT
TT=0.11
T1=0.11
 SAT
TT=6.324
T1=6.32
 SAT
TT=14.749
T1=14.75
 SAT
TT=3.082
T1=3.08
 SAT
TT=0.11
T1=0.11
 SAT
TT=0.122
T1=0.12
 SAT
TT=6.882
T1=2.25
 SAT
TT=2.485
T1=1.87
 SAT
TT=0.985
T1=0.95
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111226284.opb 		SAT
TT=0.774
T1=0.74
 SAT
TT=1.884
T1=1.88
 SAT
TT=8.791
T1=8.79
 SAT
TT=2.228
T1=2.22
 SAT
TT=2.138
T1=2.13
 SAT
TT=2.134
T1=2.13
 SAT
TT=6.393
T1=2.2
 SAT
TT=1.633
T1=0.96
 SAT
TT=0.774
T1=0.74
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111226368.opb 		UNSAT
TT=1.315

 UNSAT
TT=1.688

 UNSAT
TT=115.26

 UNSAT
TT=1.315

 UNSAT
TT=2.421

 UNSAT
TT=2.426

 UNSAT
TT=5.494

 UNSAT
TT=2.036

 UNSAT
TT=3.208
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111226680.opb 		UNSAT
TT=2.423

 UNSAT
TT=5.865

 UNSAT
TT=133.972

 UNSAT
TT=2.425

 UNSAT
TT=3.207

 UNSAT
TT=3.199

 UNSAT
TT=6.253

 UNSAT
TT=2.423

 UNSAT
TT=3.366
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111227012.opb 		UNSAT
TT=2.519

 UNSAT
TT=5.496

 UNSAT
TT=108.754

 UNSAT
TT=2.519

 UNSAT
TT=2.927

 UNSAT
TT=2.907

 UNSAT
TT=6.84

 UNSAT
TT=3.215

 UNSAT
TT=3.646
Bench nameBest resultscdcl-cuttingplanes DEC
2016-05-01
(complete)		minisatp
2012-10-02 git-d91742b
(complete)		NaPS
1.02
(complete)		Open-WBO
PB16
(complete)		Open-WBO-LSU
PB16
(complete)		Sat4j PB 2.3.6 Res+CP
PB16
(complete)		Sat4j PB 2.3.6 Resolution
PB16
(complete)		toysat
2016-05-02
(complete)
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111227326.opb 		UNSAT
TT=1.021

 UNSAT
TT=1.021

 UNSAT
TT=125.752

 UNSAT
TT=1.132

 UNSAT
TT=1.335

 UNSAT
TT=1.37

 UNSAT
TT=5.05

 UNSAT
TT=2.28

 UNSAT
TT=2.988
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111227418.opb 		SAT
TT=0.288
T1=0.29
 SAT
TT=0.966
T1=0.96
 SAT
TT=23.271
T1=23.27
 SAT
TT=2.292
T1=2.29
 SAT
TT=0.292
T1=0.29
 SAT
TT=0.288
T1=0.29
 SAT
TT=3.552
T1=1.19
 SAT
TT=1.214
T1=0.76
 SAT
TT=1.415
T1=1.48
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111227861.opb 		UNSAT
TT=1.781

 UNSAT
TT=1.781

 UNSAT
TT=152.487

 UNSAT
TT=2.548

 UNSAT
TT=2.794

 UNSAT
TT=2.794

 UNSAT
TT=6.804

 UNSAT
TT=2.834

 UNSAT
TT=3.707
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111228076.opb 		UNSAT
TT=3.344

 UNSAT
TT=7.38

 UNSAT
TT=152.585

 UNSAT
TT=4.011

 UNSAT
TT=5.569

 UNSAT
TT=5.55

 UNSAT
TT=7.657

 UNSAT
TT=3.344

 UNSAT
TT=5.379
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/prestwich/armies/
normalized-army10.14bt.opb 		SAT
TT=0.362
T1=0.36
 SAT
TT=444.48
T1=444.54
 SAT
TT=67.364
T1=67.37
 SAT
TT=47.558
T1=47.56
 SAT
TT=0.362
T1=0.36
 SAT
TT=0.365
T1=0.36
 SAT
TT=26.254
T1=12.6
 SAT
TT=695.025
T1=693.63
 SAT
TT=412.131
T1=412.16
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/prestwich/armies/
normalized-army10.14ls.opb 		SAT
TT=1.616
T1=1.61
 ? (TO)
TT=1800.02

 SAT
TT=4.589
T1=4.58
 SAT
TT=6.373
T1=6.37
 SAT
TT=1.616
T1=1.61
 SAT
TT=1.632
T1=1.63
 SAT
TT=769.847
T1=382.86
 ? (TO)
TT=1800.07

 ? (TO)
TT=1800.09
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/prestwich/armies/
normalized-army11.17bt.opb 		SAT
TT=14.713
T1=14.71
 ? (TO)
TT=1800.02

 SAT
TT=21.702
T1=21.7
 SAT
TT=16.997
T1=16.99
 SAT
TT=14.713
T1=14.71
 SAT
TT=14.734
T1=14.73
 ? (TO)
TT=1800.82

 SAT
TT=1007.96
T1=1005.41
 ? (TO)
TT=1800.09
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/prestwich/armies/
normalized-army11.17ls.opb 		SAT
TT=7.485
T1=7.48
 ? (TO)
TT=1800.01

 SAT
TT=10.702
T1=10.7
 SAT
TT=57.229
T1=57.23
 SAT
TT=7.54
T1=7.54
 SAT
TT=7.485
T1=7.48
 SAT
TT=461.705
T1=229.22
 ? (TO)
TT=1800.05

 ? (TO)
TT=1800.1
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/prestwich/armies/
normalized-army12.21bt.opb 		SAT
TT=246.703
T1=246.74
 ? (TO)
TT=1800.1

 ? (TO)
TT=1800.01

 ? (TO)
TT=1800.01

 SAT
TT=246.703
T1=246.74
 SAT
TT=260.797
T1=260.83
 ? (TO)
TT=1800.17

 ? (TO)
TT=1800.65

 ? (TO)
TT=1800.02
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/prestwich/armies/
normalized-army12.21ls.opb 		SAT
TT=43.185
T1=43.19
 ? (TO)
TT=1800.02

 ? (TO)
TT=1800.02

 ? (TO)
TT=1800.03

 SAT
TT=43.185
T1=43.19
 SAT
TT=43.675
T1=43.68
 ? (TO)
TT=1800.14

 ? (TO)
TT=1800.83

 ? (TO)
TT=1800.11
Bench nameBest resultscdcl-cuttingplanes DEC
2016-05-01
(complete)		minisatp
2012-10-02 git-d91742b
(complete)		NaPS
1.02
(complete)		Open-WBO
PB16
(complete)		Open-WBO-LSU
PB16
(complete)		Sat4j PB 2.3.6 Res+CP
PB16
(complete)		Sat4j PB 2.3.6 Resolution
PB16
(complete)		toysat
2016-05-02
(complete)
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/prestwich/armies/
normalized-army13.24bt.opb 		SAT
TT=110.139
T1=110.16
 ? (TO)
TT=1800.02

 SAT
TT=368.04
T1=368.09
 ? (TO)
TT=1800.02

 SAT
TT=110.139
T1=110.16
 SAT
TT=113.575
T1=113.59
 ? (TO)
TT=1800.15

 ? (TO)
TT=1800.07

 ? (TO)
TT=1800.06
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/prestwich/armies/
normalized-army13.24ls.opb 		SAT
TT=33.55
T1=33.55
 ? (TO)
TT=1800.02

 SAT
TT=108.657
T1=108.67
 SAT
TT=33.55
T1=33.55
 SAT
TT=114.001
T1=114.01
 SAT
TT=112.701
T1=112.71
 ? (TO)
TT=1800.74

 ? (TO)
TT=1800.09

 ? (TO)
TT=1800.02
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/prestwich/armies/
normalized-army8.9bt.opb 		SAT
TT=0.019
T1=0.01
 SAT
TT=0.019
T1=0.01
 SAT
TT=0.091
T1=0.09
 SAT
TT=0.07
T1=0.07
 SAT
TT=0.189
T1=0.18
 SAT
TT=0.189
T1=0.18
 SAT
TT=6.867
T1=3
 SAT
TT=1.63
T1=1.3
 SAT
TT=4.606
T1=4.54
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/prestwich/armies/
normalized-army8.9ls.opb 		SAT
TT=0.106
T1=0.1
 SAT
TT=0.893
T1=0.89
 SAT
TT=0.147
T1=0.14
 SAT
TT=0.667
T1=0.66
 SAT
TT=0.106
T1=0.1
 SAT
TT=0.106
T1=0.1
 SAT
TT=5.274
T1=1.71
 SAT
TT=0.806
T1=0.71
 SAT
TT=4.208
T1=4.15
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/prestwich/armies/
normalized-army9.12bt.opb 		SAT
TT=0.223
T1=0.22
 SAT
TT=16.838
T1=16.84
 SAT
TT=0.223
T1=0.22
 SAT
TT=12.511
T1=12.51
 SAT
TT=2.414
T1=2.41
 SAT
TT=2.421
T1=2.42
 SAT
TT=16.97
T1=7.29
 SAT
TT=7.323
T1=6.71
 SAT
TT=80.146
T1=80.09
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/prestwich/armies/
normalized-army9.12ls.opb 		SAT
TT=0.296
T1=0.29
 SAT
TT=193.308
T1=193.34
 SAT
TT=0.296
T1=0.29
 SAT
TT=1.103
T1=1.1
 SAT
TT=0.424
T1=0.42
 SAT
TT=0.421
T1=0.42
 SAT
TT=70.714
T1=34.24
 SAT
TT=420.741
T1=419.68
 SAT
TT=788.332
T1=788.42
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/prestwich/
robin/normalized-robin10.opb 		SAT
TT=0.569
T1=0.56
 SAT
TT=1.632
T1=1.63
 SAT
TT=0.569
T1=0.56
 SAT
TT=0.648
T1=0.64
 SAT
TT=10.008
T1=10
 SAT
TT=10.024
T1=10.02
 SAT
TT=4.643
T1=1.88
 SAT
TT=1.324
T1=0.64
 SAT
TT=1.03
T1=1.01
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/prestwich/
robin/normalized-robin12.opb 		SAT
TT=4.827
T1=4.1
 SAT
TT=30.964
T1=30.96
 SAT
TT=29.503
T1=29.5
 SAT
TT=34.874
T1=34.87
 SAT
TT=141.231
T1=141.25
 SAT
TT=135.854
T1=135.87
 SAT
TT=56.752
T1=29.26
 SAT
TT=4.827
T1=4.1
 SAT
TT=12.4
T1=12.38
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/prestwich/
robin/normalized-robin14.opb 		SAT
TT=671.634
T1=671.87
 ? (TO)
TT=1800.02

 ? (TO)
TT=1800.12

 ? (TO)
TT=1800.05

 ? (TO)
TT=1800.09

 ? (TO)
TT=1800.02

 ? (TO)
TT=1800.76

 SAT
TT=1789.45
T1=1764.04
 SAT
TT=671.634
T1=671.87
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/prestwich/
robin/normalized-robin16.opb


? (TO)
TT=1800.02

 ? (TO)
TT=1800.1

 ? (TO)
TT=1800.03

 ? (TO)
TT=1800.11

 ? (TO)
TT=1800.11

 ? (TO)
TT=1800.11

 ? (TO)
TT=1800.72

 ? (TO)
TT=1800.18
Bench nameBest resultscdcl-cuttingplanes DEC
2016-05-01
(complete)		minisatp
2012-10-02 git-d91742b
(complete)		NaPS
1.02
(complete)		Open-WBO
PB16
(complete)		Open-WBO-LSU
PB16
(complete)		Sat4j PB 2.3.6 Res+CP
PB16
(complete)		Sat4j PB 2.3.6 Resolution
PB16
(complete)		toysat
2016-05-02
(complete)
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/prestwich/
robin/normalized-robin18.opb


? (TO)
TT=1800.02

 ? (TO)
TT=1800.1

 ? (TO)
TT=1800.03

 ? (TO)
TT=1800.1

 ? (TO)
TT=1800.09

 ? (TO)
TT=1800.06

 ? (TO)
TT=1800.76

 ? (TO)
TT=1800.2
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/prestwich/
robin/normalized-robin8.opb 		SAT
TT=0.065
T1=0.06
 SAT
TT=0.065
T1=0.06
 SAT
TT=0.126
T1=0.12
 SAT
TT=0.164
T1=0.16
 SAT
TT=0.229
T1=0.23
 SAT
TT=0.23
T1=0.23
 SAT
TT=1.754
T1=0.78
 SAT
TT=0.726
T1=0.63
 SAT
TT=0.068
T1=0.06
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/roussel/
normalized-pigeon-cardinality-101-100.opb 		UNSAT
TT=0.119

 UNSAT
TT=0.119

 ? (TO)
TT=1800.1

 ? (TO)
TT=1800.08

 ? (TO)
TT=1800.1

 ? (TO)
TT=1800.03

 UNSAT
TT=17.24

 ? (TO)
TT=1800.76

 ? (TO)
TT=1800.07
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/roussel/
normalized-pigeon-cardinality-105-100.opb 		UNSAT
TT=0.128

 UNSAT
TT=0.128

 ? (TO)
TT=1800.1

 ? (TO)
TT=1800.05

 ? (TO)
TT=1800.06

 ? (TO)
TT=1800.08

 UNSAT
TT=1.713

 ? (TO)
TT=1800.09

 ? (TO)
TT=1800.15
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/roussel/
normalized-pigeon-cardinality-11-10.opb 		UNSAT
TT=0.011

 UNSAT
TT=0.011

 UNSAT
TT=13.773

 UNSAT
TT=0.335

 UNSAT
TT=0.649

 UNSAT
TT=0.643

 UNSAT
TT=0.244

 UNSAT
TT=205.07

 UNSAT
TT=645.293
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/roussel/
normalized-pigeon-cardinality-15-10.opb 		UNSAT
TT=0.01

 UNSAT
TT=0.01

 UNSAT
TT=3.276

 UNSAT
TT=0.56

 UNSAT
TT=1.105

 UNSAT
TT=1.112

 UNSAT
TT=0.175

 UNSAT
TT=412.641

 ? (TO)
TT=1800.11
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/roussel/
normalized-pigeon-cardinality-21-20.opb 		UNSAT
TT=0.012

 UNSAT
TT=0.012

 ? (TO)
TT=1800.01

 ? (TO)
TT=1800.02

 ? (TO)
TT=1800.02

 ? (TO)
TT=1800.02

 UNSAT
TT=0.444

 ? (TO)
TT=1800

 ? (TO)
TT=1800.02
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/roussel/
normalized-pigeon-cardinality-25-20.opb 		UNSAT
TT=0.011

 UNSAT
TT=0.011

 ? (TO)
TT=1800.01

 ? (TO)
TT=1800.1

 ? (TO)
TT=1800.11

 ? (TO)
TT=1800.02

 UNSAT
TT=0.324

 ? (TO)
TT=1800.73

 ? (TO)
TT=1800.05
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/roussel/
normalized-pigeon-cardinality-31-30.opb 		UNSAT
TT=0.015

 UNSAT
TT=0.015

 ? (TO)
TT=1800.02

 ? (TO)
TT=1800.06

 ? (TO)
TT=1800.02

 ? (TO)
TT=1800.03

 UNSAT
TT=0.954

 ? (TO)
TT=1800.01

 ? (TO)
TT=1800.05
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/roussel/
normalized-pigeon-cardinality-35-30.opb 		UNSAT
TT=0.016

 UNSAT
TT=0.016

 ? (TO)
TT=1800.02

 ? (TO)
TT=1800.09

 ? (TO)
TT=1800.02

 ? (TO)
TT=1800.01

 UNSAT
TT=0.514

 ? (TO)
TT=1800.84

 ? (TO)
TT=1800.1
Bench nameBest resultscdcl-cuttingplanes DEC
2016-05-01
(complete)		minisatp
2012-10-02 git-d91742b
(complete)		NaPS
1.02
(complete)		Open-WBO
PB16
(complete)		Open-WBO-LSU
PB16
(complete)		Sat4j PB 2.3.6 Res+CP
PB16
(complete)		Sat4j PB 2.3.6 Resolution
PB16
(complete)		toysat
2016-05-02
(complete)
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/roussel/
normalized-pigeon-cardinality-41-40.opb 		UNSAT
TT=0.02

 UNSAT
TT=0.02

 ? (TO)
TT=1800.02

 ? (TO)
TT=1800.12

 ? (TO)
TT=1800.02

 ? (TO)
TT=1800.02

 UNSAT
TT=1.376

 ? (TO)
TT=1800.09

 ? (TO)
TT=1800.08
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/roussel/
normalized-pigeon-cardinality-45-40.opb 		UNSAT
TT=0.02

 UNSAT
TT=0.02

 ? (TO)
TT=1800.03

 ? (TO)
TT=1800.04

 ? (TO)
TT=1800.09

 ? (TO)
TT=1800.08

 UNSAT
TT=0.683

 ? (TO)
TT=1800.01

 ? (TO)
TT=1800.05
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/roussel/
normalized-pigeon-cardinality-51-50.opb 		UNSAT
TT=0.027

 UNSAT
TT=0.027

 ? (TO)
TT=1800.11

 ? (TO)
TT=1800.09

 ? (TO)
TT=1800.02

 ? (TO)
TT=1800.02

 UNSAT
TT=1.883

 ? (TO)
TT=1800.04

 ? (TO)
TT=1800.1
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/roussel/
normalized-pigeon-cardinality-55-50.opb 		UNSAT
TT=0.028

 UNSAT
TT=0.028

 ? (TO)
TT=1800.03

 ? (TO)
TT=1800.04

 ? (TO)
TT=1800.02

 ? (TO)
TT=1800.03

 UNSAT
TT=1.165

 ? (TO)
TT=1800.76

 ? (TO)
TT=1800.06
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/roussel/
normalized-pigeon-cardinality-61-60.opb 		UNSAT
TT=0.037

 UNSAT
TT=0.037

 ? (TO)
TT=1800.03

 ? (TO)
TT=1800.09

 ? (TO)
TT=1800.02

 ? (TO)
TT=1800.1

 UNSAT
TT=2.665

 ? (TO)
TT=1800.65

 ? (TO)
TT=1800.1
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/roussel/
normalized-pigeon-cardinality-65-60.opb 		UNSAT
TT=0.038

 UNSAT
TT=0.038

 ? (TO)
TT=1800.11

 ? (TO)
TT=1800.1

 ? (TO)
TT=1800.02

 ? (TO)
TT=1800.02

 UNSAT
TT=1.214

 ? (TO)
TT=1800.08

 ? (TO)
TT=1800.01
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/roussel/
normalized-pigeon-cardinality-71-70.opb 		UNSAT
TT=0.05

 UNSAT
TT=0.05

 ? (TO)
TT=1800.1

 ? (TO)
TT=1800.11

 ? (TO)
TT=1800.1

 ? (TO)
TT=1802.29

 UNSAT
TT=4.222

 ? (TO)
TT=1800.03

 ? (TO)
TT=1800.06
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/roussel/
normalized-pigeon-cardinality-75-70.opb 		UNSAT
TT=0.053

 UNSAT
TT=0.053

 ? (TO)
TT=1800.08

 ? (TO)
TT=1800.06

 ? (TO)
TT=1800.11

 ? (TO)
TT=1800.03

 UNSAT
TT=1.415

 ? (TO)
TT=1800.03

 ? (TO)
TT=1800.08
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/roussel/
normalized-pigeon-cardinality-81-80.opb 		UNSAT
TT=0.067

 UNSAT
TT=0.067

 ? (TO)
TT=1800.11

 ? (TO)
TT=1800.07

 ? (TO)
TT=1800.02

 ? (TO)
TT=1800.1

 UNSAT
TT=7.202

 ? (TO)
TT=1800.79

 ? (TO)
TT=1800.11
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/roussel/
normalized-pigeon-cardinality-85-80.opb 		UNSAT
TT=0.084

 UNSAT
TT=0.084

 ? (TO)
TT=1800.11

 ? (TO)
TT=1800.04

 ? (TO)
TT=1800.1

 ? (TO)
TT=1800.12

 UNSAT
TT=1.523

 ? (TO)
TT=1800

 ? (TO)
TT=1800.07
Bench nameBest resultscdcl-cuttingplanes DEC
2016-05-01
(complete)		minisatp
2012-10-02 git-d91742b
(complete)		NaPS
1.02
(complete)		Open-WBO
PB16
(complete)		Open-WBO-LSU
PB16
(complete)		Sat4j PB 2.3.6 Res+CP
PB16
(complete)		Sat4j PB 2.3.6 Resolution
PB16
(complete)		toysat
2016-05-02
(complete)
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/roussel/
normalized-pigeon-cardinality-91-90.opb 		UNSAT
TT=0.09

 UNSAT
TT=0.09

 ? (TO)
TT=1800.09

 ? (TO)
TT=1800.07

 ? (TO)
TT=1800.01

 ? (TO)
TT=1800.12

 UNSAT
TT=11.172

 ? (TO)
TT=1800.09

 ? (TO)
TT=1800.12
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/roussel/
normalized-pigeon-cardinality-95-90.opb 		UNSAT
TT=0.097

 UNSAT
TT=0.097

 ? (TO)
TT=1800.12

 ? (TO)
TT=1800.07

 ? (TO)
TT=1800.02

 ? (TO)
TT=1800.74

 UNSAT
TT=1.663

 ? (TO)
TT=1800.96

 ? (TO)
TT=1800.07
normalized-PB06/SATUNSAT-SMALLINT/web/
www.ps.uni-sb.de/~walser/benchmarks/
ppp-problems/normalized-ppp:1-11,19,21.opb


? (TO)
TT=1800.02

 ? (TO)
TT=1800.07

 ? (TO)
TT=1800.02

 ? (TO)
TT=1800.02

 ? (TO)
TT=1800.1

 ? (TO)
TT=1800.86

 ? (TO)
TT=1800.62

 ? (TO)
TT=1800.14
normalized-PB06/SATUNSAT-SMALLINT/web/www.ps.uni-sb.de/
~walser/benchmarks/ppp-problems/normalized-ppp:1-12,16.opb 		SAT
TT=0.285
T1=0.28
 SAT
TT=7.277
T1=7.27
 SAT
TT=0.772
T1=0.76
 SAT
TT=0.862
T1=0.86
 SAT
TT=0.285
T1=0.28
 SAT
TT=0.285
T1=0.28
 SAT
TT=3.224
T1=1.16
 SAT
TT=1.544
T1=0.72
 SAT
TT=2.27
T1=2.21
normalized-PB06/SATUNSAT-SMALLINT/web/
www.ps.uni-sb.de/~walser/benchmarks/
ppp-problems/normalized-ppp:1-13.opb 		SAT
TT=2.363
T1=1.33
 ? (TO)
TT=1800.1

 SAT
TT=15.221
T1=15.21
 SAT
TT=291.59
T1=291.62
 ? (TO)
TT=1800.1

 ? (TO)
TT=1800.02

 SAT
TT=6.003
T1=2.14
 SAT
TT=2.363
T1=1.33
 SAT
TT=4.303
T1=4.24
normalized-PB06/SATUNSAT-SMALLINT/web/
www.ps.uni-sb.de/~walser/benchmarks/
ppp-problems/normalized-ppp:1,3-13,19.opb 		SAT
TT=2.105
T1=1.11
 ? (TO)
TT=1800.01

 SAT
TT=12.279
T1=12.27
 SAT
TT=36.32
T1=36.32
 SAT
TT=181.861
T1=181.88
 SAT
TT=182.664
T1=182.68
 SAT
TT=4.043
T1=1.64
 SAT
TT=2.105
T1=1.11
 SAT
TT=3.595
T1=3.54
normalized-PB06/SATUNSAT-SMALLINT/web/
www.ps.uni-sb.de/~walser/benchmarks/
ppp-problems/normalized-ppp:1-9,16-19.opb


? (TO)
TT=1800.02

 ? (TO)
TT=1800.07

 ? (TO)
TT=1800.02

 ? (TO)
TT=1800.1

 ? (TO)
TT=1800.01

 ? (TO)
TT=1800.08

 ? (TO)
TT=1800.01

 ? (TO)
TT=1800.04
normalized-PB06/SATUNSAT-SMALLINT/web/
www.ps.uni-sb.de/~walser/benchmarks/
ppp-problems/normalized-ppp:3-13,25,26.opb 		SAT
TT=5.472
T1=4.14
 ? (TO)
TT=1800.02

 SAT
TT=34.377
T1=34.39
 SAT
TT=533.582
T1=533.65
 ? (TO)
TT=1800.03

 ? (TO)
TT=1800.07

 SAT
TT=9.754
T1=4.14
 SAT
TT=5.472
T1=4.4
 SAT
TT=44.097
T1=44.04



Statisticscdcl-cuttingplanes DEC
2016-05-01
(complete)		minisatp
2012-10-02 git-d91742b
(complete)		NaPS
1.02
(complete)		Open-WBO
PB16
(complete)		Open-WBO-LSU
PB16
(complete)		Sat4j PB 2.3.6 Res+CP
PB16
(complete)		Sat4j PB 2.3.6 Resolution
PB16
(complete)		toysat
2016-05-02
(complete)
Number of times the solver is able to give the best known answer259250248238238264246244
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)		92126641251396