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, subsubcategory Traveling Salesperson Problem

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, subsubcategory Traveling Salesperson Problem

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/
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
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
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.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
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
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.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
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
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.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
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
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.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
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
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.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
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
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.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
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
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.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
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
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.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
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
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.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
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



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 answer100100100100100100100100
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)		2882220131121