PB'11 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:
borg pb-dec-11.04.03 (complete)
bsolo 3.2 (complete)
clasp 2.0-R4191 (complete)
MinisatID 2.4.8 [DEPRECATED] (complete)
MinisatID 2.4.8-gmp [DEPRECATED] (complete)
MinisatID 2.5.2 (fixed) (complete)
MinisatID 2.5.2-gmp (fixed) (complete)
Sat4j CuttingPlanes 2.3.0 (complete)
Sat4j Res//CP 2.3.0 (complete)
Sat4j Resolution 2.3.0 (complete)
SCIP spx SCIP 2.0.1.4. with SoPlex 1.5.0.4 [DEPRECATED] (complete)
SCIP spx 2 2011-06-10 (fixed) (complete)
SCIP spx E SCIP 2.0.1.4b with SoPlex 1.5.0.4 [DEPRECATED] (complete)
SCIP spx E_2 2011-06-10 (fixed) (complete)
wbo 1.6 (complete)

Bench nameBest results
on this
instance		borg
pb-dec-11.04.03
(complete)		bsolo
3.2
(complete)		clasp
2.0-R4191
(complete)		MinisatID
2.4.8 [DEPRECATED]
(complete)		MinisatID
2.4.8-gmp [DEPRECATED]
(complete)		MinisatID
2.5.2 (fixed)
(complete)		MinisatID
2.5.2-gmp (fixed)
(complete)		Sat4j CuttingPlanes
2.3.0
(complete)		Sat4j Res//CP
2.3.0
(complete)		Sat4j Resolution
2.3.0
(complete)		SCIP spx
SCIP 2.0.1.4. with SoPlex 1.5.0.4 [DEPRECATED]
(complete)		SCIP spx 2
2011-06-10 (fixed)
(complete)		SCIP spx E
SCIP 2.0.1.4b with SoPlex 1.5.0.4 [DEPRECATED]
(complete)		SCIP spx E_2
2011-06-10 (fixed)
(complete)		wbo
1.6
(complete)
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900544463.opb 		SAT
TT=0.095
T1=0.09
 SAT
TT=0.56
T1=0.72
 SAT
TT=1.666
T1=1.66
 SAT
TT=0.129
T1=0.13
 SAT
TT=88.152
T1=88.14
 SAT
TT=141.417
T1=141.41
 SAT
TT=1.353
T1=1.35
 SAT
TT=5.388
T1=5.39
 ? (TO)
TT=1800.27

 SAT
TT=3.793
T1=1.33
 SAT
TT=1.626
T1=1.09
 SAT
TT=13.319
T1=13.31
 SAT
TT=13.285
T1=13.27
 SAT
TT=13.302
T1=13.29
 SAT
TT=13.297
T1=13.28
 SAT
TT=0.095
T1=0.09
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900544484.opb 		UNSAT
TT=6.479

 UNSAT
TT=9.787

 UNSAT
TT=588.907

 UNSAT
TT=6.479

 ? (TO)
TT=1800.09

 ? (TO)
TT=1800.04

 UNSAT
TT=89.296

 UNSAT
TT=255.623

 ? (TO)
TT=1800.28

 UNSAT
TT=86.348

 UNSAT
TT=39.067

 UNSAT
TT=255.611

 UNSAT
TT=257.295

 UNSAT
TT=256.021

 UNSAT
TT=266.358

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

 UNSAT
TT=22.316

 UNSAT
TT=1320.38

 UNSAT
TT=8.787

 ? (TO)
TT=1800.06

 ? (TO)
TT=1800.04

 UNSAT
TT=172.131

 UNSAT
TT=451.233

 ? (TO)
TT=1800.22

 UNSAT
TT=1305.09

 UNSAT
TT=563.84

 UNSAT
TT=361.738

 UNSAT
TT=337.065

 UNSAT
TT=336.667

 UNSAT
TT=336.799

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

 UNSAT
TT=2.849

 UNSAT
TT=411.115

 UNSAT
TT=1.216

 ? (TO)
TT=1800.06

 ? (TO)
TT=1800.07

 UNSAT
TT=121.774

 UNSAT
TT=334.759

 ? (TO)
TT=1800.25

 UNSAT
TT=40.738

 UNSAT
TT=19.389

 UNSAT
TT=55.639

 UNSAT
TT=55.533

 UNSAT
TT=55.411

 UNSAT
TT=55.464

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

 UNSAT
TT=18.377

 UNSAT
TT=1063.7

 UNSAT
TT=11.876

 ? (TO)
TT=1800.08

 ? (TO)
TT=1800.06

 UNSAT
TT=275.611

 UNSAT
TT=805.722

 ? (TO)
TT=1800.24

 UNSAT
TT=1359.46

 UNSAT
TT=587.721

 UNSAT
TT=650.624

 UNSAT
TT=681.403

 UNSAT
TT=651.415

 UNSAT
TT=652.016

 UNSAT
TT=98.041
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900547334.opb 		SAT
TT=0.239
T1=0.24
 SAT
TT=0.564
T1=0.65
 SAT
TT=3.991
T1=3.99
 SAT
TT=0.239
T1=0.24
 SAT
TT=44.089
T1=44.08
 SAT
TT=69.874
T1=69.88
 SAT
TT=5.199
T1=5.19
 SAT
TT=20.359
T1=20.35
 SAT
TT=1387.96
T1=1383.84
 SAT
TT=4.339
T1=1.83
 SAT
TT=1.854
T1=1.31
 SAT
TT=17.225
T1=17.21
 SAT
TT=18.945
T1=18.93
 SAT
TT=17.207
T1=17.19
 SAT
TT=17.216
T1=17.2
 SAT
TT=1.6
T1=1.59
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900547353.opb 		SAT
TT=0.109
T1=0.1
 SAT
TT=0.816
T1=0.9
 SAT
TT=1.043
T1=1.04
 SAT
TT=0.109
T1=0.1
 SAT
TT=115.591
T1=115.58
 SAT
TT=170.059
T1=170.05
 SAT
TT=3.451
T1=3.45
 SAT
TT=12.805
T1=12.8
 ? (TO)
TT=1800.25

 SAT
TT=3.529
T1=1.34
 SAT
TT=1.49
T1=0.96
 SAT
TT=16.907
T1=16.9
 SAT
TT=12.811
T1=12.8
 SAT
TT=14.022
T1=14.01
 SAT
TT=12.791
T1=12.78
 SAT
TT=4.556
T1=4.55
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900547389.opb 		UNSAT
TT=14.983

 UNSAT
TT=27.403

 UNSAT
TT=783.533

 UNSAT
TT=14.983

 ? (TO)
TT=1800.07

 ? (TO)
TT=1800.06

 UNSAT
TT=84.235

 UNSAT
TT=226.387

 ? (TO)
TT=1800.25

 UNSAT
TT=931.694

 UNSAT
TT=407.302

 UNSAT
TT=215.386

 UNSAT
TT=215.978

 UNSAT
TT=196.445

 UNSAT
TT=196.033

 UNSAT
TT=91.862
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900547416.opb 		SAT
TT=0.049
T1=0.04
 SAT
TT=0.755
T1=0.82
 SAT
TT=13.784
T1=13.78
 SAT
TT=0.049
T1=0.04
 SAT
TT=11.192
T1=11.19
 SAT
TT=17.483
T1=17.48
 SAT
TT=2.511
T1=2.5
 SAT
TT=10.662
T1=10.66
 SAT
TT=515.393
T1=512.82
 SAT
TT=9.726
T1=4.35
 SAT
TT=4.447
T1=3.85
 SAT
TT=17.425
T1=17.41
 SAT
TT=17.392
T1=17.38
 SAT
TT=17.426
T1=17.41
 SAT
TT=17.387
T1=17.37
 SAT
TT=0.147
T1=0.14
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900547427.opb 		SAT
TT=0.096
T1=0.09
 SAT
TT=0.507
T1=1.16
 SAT
TT=8.437
T1=8.43
 SAT
TT=0.096
T1=0.09
 SAT
TT=9.518
T1=9.51
 SAT
TT=13.312
T1=13.31
 SAT
TT=3.526
T1=3.52
 SAT
TT=15.899
T1=15.89
 ? (TO)
TT=1800.29

 SAT
TT=3.784
T1=1.34
 SAT
TT=1.582
T1=1.06
 SAT
TT=1.633
T1=1.62
 SAT
TT=1.757
T1=1.74
 SAT
TT=1.62
T1=1.61
 SAT
TT=1.61
T1=1.6
 SAT
TT=0.143
T1=0.14
Bench nameBest resultsborg
pb-dec-11.04.03
(complete)		bsolo
3.2
(complete)		clasp
2.0-R4191
(complete)		MinisatID
2.4.8 [DEPRECATED]
(complete)		MinisatID
2.4.8-gmp [DEPRECATED]
(complete)		MinisatID
2.5.2 (fixed)
(complete)		MinisatID
2.5.2-gmp (fixed)
(complete)		Sat4j CuttingPlanes
2.3.0
(complete)		Sat4j Res//CP
2.3.0
(complete)		Sat4j Resolution
2.3.0
(complete)		SCIP spx
SCIP 2.0.1.4. with SoPlex 1.5.0.4 [DEPRECATED]
(complete)		SCIP spx 2
2011-06-10 (fixed)
(complete)		SCIP spx E
SCIP 2.0.1.4b with SoPlex 1.5.0.4 [DEPRECATED]
(complete)		SCIP spx E_2
2011-06-10 (fixed)
(complete)		wbo
1.6
(complete)
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900547461.opb 		SAT
TT=0.607
T1=0.6
 SAT
TT=0.75
T1=0.83
 SAT
TT=10.687
T1=10.68
 SAT
TT=0.607
T1=0.6
 SAT
TT=237.465
T1=237.45
 SAT
TT=348.158
T1=348.14
 SAT
TT=12.486
T1=12.48
 SAT
TT=43.728
T1=43.72
 ? (TO)
TT=1800.27

 SAT
TT=15.606
T1=7.37
 SAT
TT=7.042
T1=6.46
 SAT
TT=12.389
T1=12.38
 SAT
TT=14.002
T1=13.99
 SAT
TT=12.42
T1=12.41
 SAT
TT=12.354
T1=12.34
 SAT
TT=1.969
T1=1.96
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900548667.opb 		UNSAT
TT=37.258

 UNSAT
TT=57.516

 ?
TT=1798

 UNSAT
TT=37.258

 ? (TO)
TT=1800.07

 ? (TO)
TT=1800.02

 UNSAT
TT=362.652

 UNSAT
TT=1216.5

 ? (TO)
TT=1800.31

 ? (TO)
TT=1800.22

 UNSAT
TT=1047.41

 UNSAT
TT=904.814

 UNSAT
TT=903.413

 UNSAT
TT=900.653

 UNSAT
TT=956.317

 UNSAT
TT=273.559
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900549974.opb 		SAT
TT=0.045
T1=0.05
 SAT
TT=0.696
T1=6.55
 SAT
TT=18.817
T1=18.81
 SAT
TT=0.045
T1=0.05
 SAT
TT=115.968
T1=115.98
 SAT
TT=192.897
T1=192.9
 SAT
TT=10.54
T1=10.53
 SAT
TT=37.894
T1=37.89
 ? (TO)
TT=1800.23

 SAT
TT=8.374
T1=3.84
 SAT
TT=3.823
T1=3.24
 SAT
TT=3.078
T1=3.07
 SAT
TT=2.688
T1=2.68
 SAT
TT=2.714
T1=2.7
 SAT
TT=2.7
T1=2.69
 SAT
TT=1.074
T1=1.07
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900550006.opb 		UNSAT
TT=18.046

 UNSAT
TT=31.086

 UNSAT
TT=1385.59

 UNSAT
TT=18.046

 ? (TO)
TT=1800.1

 ? (TO)
TT=1800.06

 UNSAT
TT=195.701

 UNSAT
TT=563.817

 ? (TO)
TT=1800.26

 UNSAT
TT=1773.42

 UNSAT
TT=748.764

 UNSAT
TT=884.064

 UNSAT
TT=796.526

 UNSAT
TT=795.647

 UNSAT
TT=869.838

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

 UNSAT
TT=22.572

 UNSAT
TT=1088.69

 UNSAT
TT=15.793

 ? (TO)
TT=1800.03

 ? (TO)
TT=1800.05

 UNSAT
TT=130.611

 UNSAT
TT=348.937

 ? (TO)
TT=1800.26

 UNSAT
TT=1456.13

 UNSAT
TT=556.263

 UNSAT
TT=326.743

 UNSAT
TT=416.133

 UNSAT
TT=370.028

 UNSAT
TT=387.345

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

 UNSAT
TT=3.699

 UNSAT
TT=468.006

 UNSAT
TT=1.915

 ? (TO)
TT=1800.07

 ? (TO)
TT=1800.09

 UNSAT
TT=98.361

 UNSAT
TT=237.387

 ? (TO)
TT=1800.27

 UNSAT
TT=22.864

 UNSAT
TT=11.085

 UNSAT
TT=163.489

 UNSAT
TT=279.301

 UNSAT
TT=179.897

 UNSAT
TT=245.975

 UNSAT
TT=19.941
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900551864.opb 		UNSAT
TT=2.693

 UNSAT
TT=7.555

 UNSAT
TT=466.895

 UNSAT
TT=2.693

 ? (TO)
TT=1800.07

 ? (TO)
TT=1800.03

 UNSAT
TT=94.532

 UNSAT
TT=252.924

 ? (TO)
TT=1800.22

 UNSAT
TT=22.78

 UNSAT
TT=10.374

 UNSAT
TT=149.683

 UNSAT
TT=149.761

 UNSAT
TT=155.126

 UNSAT
TT=154.964

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

 UNSAT
TT=22.834

 UNSAT
TT=969.491

 UNSAT
TT=8.624

 ? (TO)
TT=1800.12

 ? (TO)
TT=1800.08

 UNSAT
TT=132.227

 UNSAT
TT=379.619

 ? (TO)
TT=1800.27

 UNSAT
TT=1309.04

 UNSAT
TT=530.948

 UNSAT
TT=345.102

 UNSAT
TT=345.623

 UNSAT
TT=344.148

 UNSAT
TT=345.07

 UNSAT
TT=103.468
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900552311.opb 		SAT
TT=0.127
T1=0.13
 SAT
TT=0.513
T1=0.69
 SAT
TT=3.083
T1=3.08
 SAT
TT=0.127
T1=0.13
 SAT
TT=5.552
T1=5.55
 SAT
TT=8.543
T1=8.54
 SAT
TT=0.385
T1=0.38
 SAT
TT=1.565
T1=1.56
 SAT
TT=1101.67
T1=1098.05
 SAT
TT=3.371
T1=1.33
 SAT
TT=1.521
T1=0.89
 SAT
TT=8.717
T1=8.7
 SAT
TT=9.649
T1=9.64
 SAT
TT=8.675
T1=8.66
 SAT
TT=9.557
T1=9.54
 SAT
TT=0.265
T1=0.28
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900552423.opb 		UNSAT
TT=0.299

 UNSAT
TT=1.043

 UNSAT
TT=274.344

 UNSAT
TT=0.299

 ? (TO)
TT=1800.08

 ? (TO)
TT=1800.06

 UNSAT
TT=156.171

 UNSAT
TT=427.766

 ? (TO)
TT=1800.25

 UNSAT
TT=4.492

 UNSAT
TT=2.046

 UNSAT
TT=110.55

 UNSAT
TT=54.163

 UNSAT
TT=110.786

 UNSAT
TT=53.894

 UNSAT
TT=0.988
Bench nameBest resultsborg
pb-dec-11.04.03
(complete)		bsolo
3.2
(complete)		clasp
2.0-R4191
(complete)		MinisatID
2.4.8 [DEPRECATED]
(complete)		MinisatID
2.4.8-gmp [DEPRECATED]
(complete)		MinisatID
2.5.2 (fixed)
(complete)		MinisatID
2.5.2-gmp (fixed)
(complete)		Sat4j CuttingPlanes
2.3.0
(complete)		Sat4j Res//CP
2.3.0
(complete)		Sat4j Resolution
2.3.0
(complete)		SCIP spx
SCIP 2.0.1.4. with SoPlex 1.5.0.4 [DEPRECATED]
(complete)		SCIP spx 2
2011-06-10 (fixed)
(complete)		SCIP spx E
SCIP 2.0.1.4b with SoPlex 1.5.0.4 [DEPRECATED]
(complete)		SCIP spx E_2
2011-06-10 (fixed)
(complete)		wbo
1.6
(complete)
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900552735.opb 		UNSAT
TT=5.474

 UNSAT
TT=16.47

 UNSAT
TT=819.098

 UNSAT
TT=5.474

 ? (TO)
TT=1800.07

 ? (TO)
TT=1800.03

 UNSAT
TT=130.878

 UNSAT
TT=354.517

 ? (TO)
TT=1800.28

 UNSAT
TT=852.752

 UNSAT
TT=352.626

 UNSAT
TT=170.036

 UNSAT
TT=170.451

 UNSAT
TT=169.848

 UNSAT
TT=169.656

 UNSAT
TT=115.513
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900553606.opb 		SAT
TT=0.1
T1=0.1
 SAT
TT=0.85
T1=1.23
 SAT
TT=31.549
T1=31.55
 SAT
TT=0.1
T1=0.1
 SAT
TT=248.572
T1=248.56
 SAT
TT=365.217
T1=365.21
 SAT
TT=3.7
T1=3.7
 SAT
TT=14.23
T1=14.23
 ? (TO)
TT=1800.27

 SAT
TT=4.585
T1=1.87
 SAT
TT=1.995
T1=1.42
 SAT
TT=14.24
T1=14.23
 SAT
TT=12.484
T1=12.47
 SAT
TT=12.535
T1=12.52
 SAT
TT=12.532
T1=12.52
 SAT
TT=1.649
T1=1.64
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900553644.opb 		SAT
TT=0.013
T1=0.01
 SAT
TT=0.492
T1=1.37
 SAT
TT=0.862
T1=0.86
 SAT
TT=0.013
T1=0.01
 SAT
TT=29.493
T1=29.49
 SAT
TT=41.842
T1=41.85
 SAT
TT=2.881
T1=2.88
 SAT
TT=10.516
T1=10.51
 ? (TO)
TT=1800.27

 SAT
TT=2.114
T1=0.83
 SAT
TT=1.232
T1=0.72
 SAT
TT=3.185
T1=3.17
 SAT
TT=3.15
T1=3.14
 SAT
TT=3.179
T1=3.16
 SAT
TT=3.45
T1=3.44
 SAT
TT=0.118
T1=0.11
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900553647.opb 		UNSAT
TT=25.115

 UNSAT
TT=29.184

 UNSAT
TT=648.39

 UNSAT
TT=25.115

 ? (TO)
TT=1800.06

 ? (TO)
TT=1800.12

 UNSAT
TT=150.197

 UNSAT
TT=375.286

 ? (TO)
TT=1800.32

 UNSAT
TT=1325.72

 UNSAT
TT=539.309

 UNSAT
TT=312.191

 UNSAT
TT=355.155

 UNSAT
TT=311.78

 UNSAT
TT=311.541

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

 UNSAT
TT=10.497

 UNSAT
TT=767.023

 UNSAT
TT=1.899

 ? (TO)
TT=1800.06

 ? (TO)
TT=1800.02

 UNSAT
TT=169.75

 UNSAT
TT=485.124

 ? (TO)
TT=1800.26

 UNSAT
TT=29.721

 UNSAT
TT=13.623

 UNSAT
TT=257.662

 UNSAT
TT=232.722

 UNSAT
TT=233.247

 UNSAT
TT=232.744

 UNSAT
TT=30.543
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900554067.opb 		SAT
TT=0.182
T1=0.18
 SAT
TT=0.753
T1=0.82
 SAT
TT=3.452
T1=3.45
 SAT
TT=0.182
T1=0.18
 SAT
TT=36.914
T1=36.91
 SAT
TT=53.262
T1=53.26
 SAT
TT=2.863
T1=2.86
 SAT
TT=11.273
T1=11.27
 ? (TO)
TT=1800.29

 SAT
TT=3.823
T1=1.33
 SAT
TT=1.606
T1=1.07
 SAT
TT=1.766
T1=1.75
 SAT
TT=1.738
T1=1.73
 SAT
TT=1.762
T1=1.75
 SAT
TT=1.741
T1=1.73
 SAT
TT=0.304
T1=0.3
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900554072.opb 		UNSAT
TT=3.758

 UNSAT
TT=10.702

 UNSAT
TT=400.072

 UNSAT
TT=3.758

 ? (TO)
TT=1800.06

 ? (TO)
TT=1800.05

 UNSAT
TT=118.582

 UNSAT
TT=308.825

 UNSAT
TT=1083.37

 UNSAT
TT=701.983

 UNSAT
TT=292.731

 UNSAT
TT=127.676

 UNSAT
TT=145.081

 UNSAT
TT=128.013

 UNSAT
TT=127.228

 UNSAT
TT=68.172
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900554154.opb 		SAT
TT=0.472
T1=0.47
 SAT
TT=1.194
T1=1.44
 SAT
TT=1.857
T1=1.87
 SAT
TT=0.472
T1=0.47
 SAT
TT=63.719
T1=63.71
 SAT
TT=93.23
T1=93.22
 SAT
TT=1.693
T1=1.69
 SAT
TT=6.478
T1=6.47
 ? (TO)
TT=1800.27

 SAT
TT=7.983
T1=3.37
 SAT
TT=3.438
T1=2.82
 SAT
TT=12.019
T1=12.01
 SAT
TT=11.979
T1=11.97
 SAT
TT=12.02
T1=12.01
 SAT
TT=11.993
T1=11.98
 SAT
TT=2.208
T1=2.2
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900554373.opb 		SAT
TT=0.033
T1=0.03
 SAT
TT=0.559
T1=0.77
 SAT
TT=3.143
T1=3.14
 SAT
TT=0.033
T1=0.03
 SAT
TT=3.86
T1=3.86
 SAT
TT=5.419
T1=5.41
 SAT
TT=0.329
T1=0.32
 SAT
TT=1.446
T1=1.44
 SAT
TT=58.675
T1=56.84
 SAT
TT=1.218
T1=0.85
 SAT
TT=0.855
T1=0.42
 SAT
TT=3.85
T1=3.84
 SAT
TT=3.823
T1=3.81
 SAT
TT=3.841
T1=3.83
 SAT
TT=3.825
T1=3.81
 SAT
TT=0.331
T1=0.33
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900554375.opb 		SAT
TT=0.02
T1=0.02
 SAT
TT=0.553
T1=0.66
 SAT
TT=3.029
T1=3.04
 SAT
TT=0.104
T1=0.1
 SAT
TT=23.421
T1=23.42
 SAT
TT=30.151
T1=30.15
 SAT
TT=0.532
T1=0.53
 SAT
TT=2.167
T1=2.16
 ? (TO)
TT=1800.31

 SAT
TT=3.065
T1=1.33
 SAT
TT=1.314
T1=0.77
 SAT
TT=3.238
T1=3.23
 SAT
TT=3.213
T1=3.2
 SAT
TT=3.237
T1=3.22
 SAT
TT=3.578
T1=3.56
 SAT
TT=0.02
T1=0.02
Bench nameBest resultsborg
pb-dec-11.04.03
(complete)		bsolo
3.2
(complete)		clasp
2.0-R4191
(complete)		MinisatID
2.4.8 [DEPRECATED]
(complete)		MinisatID
2.4.8-gmp [DEPRECATED]
(complete)		MinisatID
2.5.2 (fixed)
(complete)		MinisatID
2.5.2-gmp (fixed)
(complete)		Sat4j CuttingPlanes
2.3.0
(complete)		Sat4j Res//CP
2.3.0
(complete)		Sat4j Resolution
2.3.0
(complete)		SCIP spx
SCIP 2.0.1.4. with SoPlex 1.5.0.4 [DEPRECATED]
(complete)		SCIP spx 2
2011-06-10 (fixed)
(complete)		SCIP spx E
SCIP 2.0.1.4b with SoPlex 1.5.0.4 [DEPRECATED]
(complete)		SCIP spx E_2
2011-06-10 (fixed)
(complete)		wbo
1.6
(complete)
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900554389.opb 		SAT
TT=0.069
T1=0.07
 SAT
TT=0.538
T1=0.94
 SAT
TT=1.77
T1=1.76
 SAT
TT=0.069
T1=0.07
 SAT
TT=14.631
T1=14.62
 SAT
TT=22.997
T1=22.99
 SAT
TT=0.109
T1=0.1
 SAT
TT=0.537
T1=0.53
 ? (TO)
TT=1800.32

 SAT
TT=4.35
T1=1.84
 SAT
TT=1.866
T1=1.33
 SAT
TT=17.883
T1=17.87
 SAT
TT=19.934
T1=19.92
 SAT
TT=17.856
T1=17.84
 SAT
TT=17.846
T1=17.83
 SAT
TT=0.406
T1=0.4
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900554420.opb 		UNSAT
TT=3.998

 UNSAT
TT=7.792

 UNSAT
TT=972.37

 UNSAT
TT=3.998

 ? (TO)
TT=1800.06

 ? (TO)
TT=1800.08

 UNSAT
TT=198.911

 UNSAT
TT=541.858

 ? (TO)
TT=1800.26

 UNSAT
TT=36.34

 UNSAT
TT=17.277

 UNSAT
TT=173.135

 UNSAT
TT=173.344

 UNSAT
TT=173.69

 UNSAT
TT=172.78

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

 UNSAT
TT=25.468

 UNSAT
TT=1116.03

 UNSAT
TT=10.98

 ? (TO)
TT=1800.05

 ? (TO)
TT=1800.05

 UNSAT
TT=144.131

 UNSAT
TT=394.444

 ? (TO)
TT=1800.32

 UNSAT
TT=1026.93

 UNSAT
TT=396.189

 UNSAT
TT=360.639

 UNSAT
TT=324.623

 UNSAT
TT=352.933

 UNSAT
TT=322.5

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

 UNSAT
TT=13.962

 UNSAT
TT=826.159

 UNSAT
TT=4.052

 ? (TO)
TT=1800.06

 ? (TO)
TT=1800.08

 UNSAT
TT=161.752

 UNSAT
TT=463.07

 ? (TO)
TT=1800.28

 UNSAT
TT=29.178

 UNSAT
TT=13.833

 UNSAT
TT=68.471

 UNSAT
TT=68.047

 UNSAT
TT=65.794

 UNSAT
TT=65.729

 UNSAT
TT=29.821
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900557413.opb 		SAT
TT=0.543
T1=0.61
 SAT
TT=0.543
T1=0.95
 SAT
TT=10.424
T1=10.42
 SAT
TT=0.923
T1=0.92
 SAT
TT=583.541
T1=583.53
 SAT
TT=984.727
T1=984.71
 SAT
TT=2.101
T1=2.1
 SAT
TT=9.009
T1=9
 ? (TO)
TT=1800.23

 SAT
TT=2.191
T1=0.83
 SAT
TT=1.12
T1=0.64
 SAT
TT=61.263
T1=61.25
 SAT
TT=54.191
T1=54.17
 SAT
TT=54.117
T1=54.1
 SAT
TT=56.356
T1=56.34
 SAT
TT=0.612
T1=0.61
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900557568.opb 		SAT
TT=0.008
T1=0.02
 SAT
TT=0.548
T1=0.66
 SAT
TT=0.508
T1=0.5
 SAT
TT=0.008
T1=0.02
 SAT
TT=7.128
T1=7.12
 SAT
TT=9.921
T1=9.92
 SAT
TT=0.41
T1=0.41
 SAT
TT=1.688
T1=1.68
 SAT
TT=8.881
T1=7.36
 SAT
TT=1.71
T1=0.83
 SAT
TT=0.955
T1=0.5
 SAT
TT=4.788
T1=4.78
 SAT
TT=4.758
T1=4.75
 SAT
TT=4.781
T1=4.77
 SAT
TT=5.237
T1=5.22
 SAT
TT=0.041
T1=0.04
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900557574.opb 		UNSAT
TT=2.695

 UNSAT
TT=2.754

 UNSAT
TT=772.398

 UNSAT
TT=2.695

 ? (TO)
TT=1800.04

 ? (TO)
TT=1800.06

 UNSAT
TT=229.483

 UNSAT
TT=660.636

 ? (TO)
TT=1800.29

 UNSAT
TT=43.972

 UNSAT
TT=20.495

 UNSAT
TT=106.462

 UNSAT
TT=106.533

 UNSAT
TT=106.625

 UNSAT
TT=106.325

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

 UNSAT
TT=18.228

 UNSAT
TT=767.826

 UNSAT
TT=8.636

 ? (TO)
TT=1800.06

 ? (TO)
TT=1800.06

 UNSAT
TT=204.412

 UNSAT
TT=558.586

 ? (TO)
TT=1800.27

 UNSAT
TT=860.6

 UNSAT
TT=353.367

 UNSAT
TT=175.398

 UNSAT
TT=175.527

 UNSAT
TT=175.393

 UNSAT
TT=175.238

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

 UNSAT
TT=3.173

 UNSAT
TT=272.885

 UNSAT
TT=0.53

 ? (TO)
TT=1800.06

 ? (TO)
TT=1800.04

 UNSAT
TT=74.654

 UNSAT
TT=202.844

 ? (TO)
TT=1800.24

 UNSAT
TT=18.207

 UNSAT
TT=8.403

 UNSAT
TT=103.663

 UNSAT
TT=116.231

 UNSAT
TT=104.017

 UNSAT
TT=103.678

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

 UNSAT
TT=30.342

 UNSAT
TT=1141.91

 UNSAT
TT=19.596

 ? (TO)
TT=1800.09

 ? (TO)
TT=1800.09

 UNSAT
TT=202.3

 UNSAT
TT=587.586

 ? (TO)
TT=1800.24

 UNSAT
TT=1440.51

 UNSAT
TT=581.819

 UNSAT
TT=484.04

 UNSAT
TT=484.89

 UNSAT
TT=483.36

 UNSAT
TT=533.41

 UNSAT
TT=151.292
Bench nameBest resultsborg
pb-dec-11.04.03
(complete)		bsolo
3.2
(complete)		clasp
2.0-R4191
(complete)		MinisatID
2.4.8 [DEPRECATED]
(complete)		MinisatID
2.4.8-gmp [DEPRECATED]
(complete)		MinisatID
2.5.2 (fixed)
(complete)		MinisatID
2.5.2-gmp (fixed)
(complete)		Sat4j CuttingPlanes
2.3.0
(complete)		Sat4j Res//CP
2.3.0
(complete)		Sat4j Resolution
2.3.0
(complete)		SCIP spx
SCIP 2.0.1.4. with SoPlex 1.5.0.4 [DEPRECATED]
(complete)		SCIP spx 2
2011-06-10 (fixed)
(complete)		SCIP spx E
SCIP 2.0.1.4b with SoPlex 1.5.0.4 [DEPRECATED]
(complete)		SCIP spx E_2
2011-06-10 (fixed)
(complete)		wbo
1.6
(complete)
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900559365.opb 		SAT
TT=0.168
T1=0.17
 SAT
TT=0.665
T1=1.1
 SAT
TT=2.596
T1=2.59
 SAT
TT=0.168
T1=0.17
 SAT
TT=0.503
T1=0.5
 SAT
TT=0.851
T1=0.85
 SAT
TT=8.273
T1=8.27
 SAT
TT=30.104
T1=30.1
 ? (TO)
TT=1800.23

 SAT
TT=4.062
T1=1.83
 SAT
TT=1.797
T1=1.25
 SAT
TT=7.285
T1=7.27
 SAT
TT=7.281
T1=7.27
 SAT
TT=7.285
T1=7.27
 SAT
TT=7.89
T1=7.88
 SAT
TT=0.695
T1=0.69
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900559416.opb 		SAT
TT=1.809
T1=1.81
 SAT
TT=2.89
T1=3
 SAT
TT=12.498
T1=12.49
 SAT
TT=1.809
T1=1.81
 SAT
TT=488.283
T1=488.27
 SAT
TT=725.703
T1=725.68
 SAT
TT=25.379
T1=25.37
 SAT
TT=90.676
T1=90.67
 ? (TO)
TT=1800.25

 SAT
TT=58.851
T1=30.26
 SAT
TT=27.162
T1=26.43
 SAT
TT=11.717
T1=11.7
 SAT
TT=11.654
T1=11.64
 SAT
TT=11.659
T1=11.65
 SAT
TT=11.693
T1=11.68
 SAT
TT=2.671
T1=2.67
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900559641.opb 		SAT
TT=0.097
T1=0.09
 SAT
TT=1.326
T1=1.4
 SAT
TT=6.75
T1=6.74
 SAT
TT=0.097
T1=0.09
 SAT
TT=102.062
T1=102.05
 SAT
TT=150.472
T1=150.46
 SAT
TT=7.487
T1=7.48
 SAT
TT=24.133
T1=24.13
 SAT
TT=197.487
T1=195.47
 SAT
TT=6.85
T1=2.89
 SAT
TT=3.039
T1=2.44
 SAT
TT=7.16
T1=7.15
 SAT
TT=7.118
T1=7.11
 SAT
TT=7.111
T1=7.1
 SAT
TT=7.117
T1=7.1
 SAT
TT=0.208
T1=0.2
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900559676.opb 		UNSAT
TT=27.549

 UNSAT
TT=58.96

 ?
TT=1798

 UNSAT
TT=27.549

 ? (TO)
TT=1800.08

 ? (TO)
TT=1800.08

 UNSAT
TT=343.811

 UNSAT
TT=969.127

 ? (TO)
TT=1800.33

 ? (TO)
TT=1800.3

 UNSAT
TT=832.817

 UNSAT
TT=456.669

 UNSAT
TT=461.699

 UNSAT
TT=413.324

 UNSAT
TT=456.559

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

 UNSAT
TT=56.639

 ?
TT=1798

 UNSAT
TT=43.18

 ? (TO)
TT=1800.07

 ? (TO)
TT=1800.07

 UNSAT
TT=204.995

 UNSAT
TT=653.121

 ? (TO)
TT=1800.26

 ? (TO)
TT=1800.34

 UNSAT
TT=839.739

 UNSAT
TT=788.733

 UNSAT
TT=785.152

 UNSAT
TT=783.31

 UNSAT
TT=784.033

 UNSAT
TT=341.208
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900561384.opb 		SAT
TT=0.032
T1=0.03
 SAT
TT=0.553
T1=1.8
 SAT
TT=0.728
T1=0.72
 SAT
TT=0.032
T1=0.03
 SAT
TT=12.451
T1=12.47
 SAT
TT=17.483
T1=17.48
 SAT
TT=0.218
T1=0.21
 SAT
TT=0.992
T1=0.99
 ? (TO)
TT=1800.25

 SAT
TT=2.181
T1=0.83
 SAT
TT=1.087
T1=0.6
 SAT
TT=8.937
T1=8.92
 SAT
TT=8.872
T1=8.86
 SAT
TT=8.901
T1=8.89
 SAT
TT=9.824
T1=9.81
 SAT
TT=0.049
T1=0.04
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900561389.opb 		SAT
TT=0.186
T1=0.18
 SAT
TT=1.255
T1=1.4
 SAT
TT=0.186
T1=0.18
 SAT
TT=0.751
T1=0.75
 SAT
TT=13.17
T1=13.16
 SAT
TT=18.474
T1=18.48
 SAT
TT=23.998
T1=23.99
 SAT
TT=79.446
T1=79.44
 ? (TO)
TT=1800.25

 SAT
TT=4.336
T1=1.83
 SAT
TT=1.981
T1=1.41
 SAT
TT=20.256
T1=20.24
 SAT
TT=22.277
T1=22.26
 SAT
TT=20.208
T1=20.19
 SAT
TT=22.279
T1=22.26
 SAT
TT=0.48
T1=0.48
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900562192.opb 		UNSAT
TT=11.414

 UNSAT
TT=11.811

 UNSAT
TT=667.201

 UNSAT
TT=11.414

 ? (TO)
TT=1800.03

 ? (TO)
TT=1800.03

 UNSAT
TT=73.198

 UNSAT
TT=196.797

 ? (TO)
TT=1800.27

 UNSAT
TT=638.696

 UNSAT
TT=265.14

 UNSAT
TT=255.222

 UNSAT
TT=255.161

 UNSAT
TT=254.888

 UNSAT
TT=280.096

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

 UNSAT
TT=33.785

 UNSAT
TT=1431.86

 UNSAT
TT=13.942

 ? (TO)
TT=1800.05

 ? (TO)
TT=1800.08

 UNSAT
TT=216.117

 UNSAT
TT=636.461

 ? (TO)
TT=1800.29

 UNSAT
TT=1758.96

 UNSAT
TT=735.647

 UNSAT
TT=405.482

 UNSAT
TT=404.539

 UNSAT
TT=402.752

 UNSAT
TT=403.088

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

 UNSAT
TT=1.813

 UNSAT
TT=694.835

 UNSAT
TT=0.904

 ? (TO)
TT=1800.09

 ? (TO)
TT=1800.05

 UNSAT
TT=49.513

 UNSAT
TT=130.268

 ? (TO)
TT=1800.24

 UNSAT
TT=11.746

 UNSAT
TT=5.364

 UNSAT
TT=203.057

 UNSAT
TT=202.594

 UNSAT
TT=202.603

 UNSAT
TT=202.61

 UNSAT
TT=12.617
Bench nameBest resultsborg
pb-dec-11.04.03
(complete)		bsolo
3.2
(complete)		clasp
2.0-R4191
(complete)		MinisatID
2.4.8 [DEPRECATED]
(complete)		MinisatID
2.4.8-gmp [DEPRECATED]
(complete)		MinisatID
2.5.2 (fixed)
(complete)		MinisatID
2.5.2-gmp (fixed)
(complete)		Sat4j CuttingPlanes
2.3.0
(complete)		Sat4j Res//CP
2.3.0
(complete)		Sat4j Resolution
2.3.0
(complete)		SCIP spx
SCIP 2.0.1.4. with SoPlex 1.5.0.4 [DEPRECATED]
(complete)		SCIP spx 2
2011-06-10 (fixed)
(complete)		SCIP spx E
SCIP 2.0.1.4b with SoPlex 1.5.0.4 [DEPRECATED]
(complete)		SCIP spx E_2
2011-06-10 (fixed)
(complete)		wbo
1.6
(complete)
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900564281.opb 		UNSAT
TT=2.03

 UNSAT
TT=3.419

 UNSAT
TT=751.4

 UNSAT
TT=2.03

 ? (TO)
TT=1800.05

 ? (TO)
TT=1800.06

 UNSAT
TT=155.441

 UNSAT
TT=424.646

 ? (TO)
TT=1800.3

 UNSAT
TT=12.461

 UNSAT
TT=5.793

 UNSAT
TT=149.456

 UNSAT
TT=165.398

 UNSAT
TT=165.644

 UNSAT
TT=149.475

 UNSAT
TT=31.683
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900564822.opb 		SAT
TT=0.008
T1=0.02
 SAT
TT=0.521
T1=0.66
 SAT
TT=0.661
T1=0.66
 SAT
TT=0.008
T1=0.02
 SAT
TT=15.54
T1=15.53
 SAT
TT=24.064
T1=24.08
 SAT
TT=0.61
T1=0.6
 SAT
TT=2.533
T1=2.53
 SAT
TT=30.924
T1=29.35
 SAT
TT=1.018
T1=0.82
 SAT
TT=0.764
T1=0.39
 SAT
TT=6.943
T1=6.93
 SAT
TT=7.59
T1=7.58
 SAT
TT=6.93
T1=6.92
 SAT
TT=6.902
T1=6.89
 SAT
TT=0.011
T1=0.02
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900564824.opb 		UNSAT
TT=0.509

 UNSAT
TT=1.062

 UNSAT
TT=136.042

 UNSAT
TT=0.509

 ? (TO)
TT=1800.05

 ? (TO)
TT=1800.06

 UNSAT
TT=96.385

 UNSAT
TT=261.049

 ? (TO)
TT=1800.22

 UNSAT
TT=6.219

 UNSAT
TT=2.799

 UNSAT
TT=70.301

 UNSAT
TT=70.089

 UNSAT
TT=70.115

 UNSAT
TT=70.04

 UNSAT
TT=3.758
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900565527.opb 		SAT
TT=0.014
T1=0.03
 SAT
TT=1.59
T1=1.66
 SAT
TT=1.324
T1=1.32
 SAT
TT=0.457
T1=0.45
 SAT
TT=72.449
T1=72.44
 SAT
TT=116.591
T1=116.58
 SAT
TT=0.155
T1=0.15
 SAT
TT=0.675
T1=0.67
 ? (TO)
TT=1800.28

 SAT
TT=6.295
T1=2.84
 SAT
TT=2.773
T1=2.19
 SAT
TT=9.995
T1=9.98
 SAT
TT=9.914
T1=9.9
 SAT
TT=9.954
T1=9.94
 SAT
TT=9.91
T1=9.9
 SAT
TT=0.014
T1=0.03
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900565534.opb 		UNSAT
TT=11.402

 UNSAT
TT=46.278

 UNSAT
TT=1150.81

 UNSAT
TT=11.402

 ? (TO)
TT=1800.06

 ? (TO)
TT=1800.03

 UNSAT
TT=136.046

 UNSAT
TT=453.982

 ? (TO)
TT=1800.25

 UNSAT
TT=1498.53

 UNSAT
TT=573.922

 UNSAT
TT=382.098

 UNSAT
TT=377.518

 UNSAT
TT=342.277

 UNSAT
TT=342.443

 UNSAT
TT=151.92
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900566151.opb 		SAT
TT=0.094
T1=0.09
 SAT
TT=0.597
T1=0.76
 SAT
TT=2.402
T1=2.4
 SAT
TT=0.094
T1=0.09
 SAT
TT=19.436
T1=19.43
 SAT
TT=28.093
T1=28.09
 SAT
TT=8.115
T1=8.11
 SAT
TT=26.495
T1=26.49
 SAT
TT=16.336
T1=14.87
 SAT
TT=2.976
T1=1.33
 SAT
TT=1.353
T1=0.82
 SAT
TT=2.499
T1=2.49
 SAT
TT=2.471
T1=2.46
 SAT
TT=2.493
T1=2.48
 SAT
TT=2.476
T1=2.46
 SAT
TT=0.246
T1=0.24
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900566157.opb 		UNSAT
TT=8.29

 UNSAT
TT=27.162

 UNSAT
TT=265.095

 UNSAT
TT=8.29

 ? (TO)
TT=1800.07

 ? (TO)
TT=1800.04

 UNSAT
TT=73.513

 UNSAT
TT=198.252

 ? (TO)
TT=1800.31

 UNSAT
TT=428.167

 UNSAT
TT=183.074

 UNSAT
TT=178.92

 UNSAT
TT=202.781

 UNSAT
TT=178.66

 UNSAT
TT=178.532

 UNSAT
TT=29.502
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900566263.opb 		SAT
TT=0.011
T1=0.01
 SAT
TT=0.633
T1=0.72
 SAT
TT=1.052
T1=1.05
 SAT
TT=0.011
T1=0.01
 SAT
TT=0.216
T1=0.21
 SAT
TT=0.445
T1=0.44
 SAT
TT=0.72
T1=0.71
 SAT
TT=3.041
T1=3.04
 ? (TO)
TT=1800.22

 SAT
TT=1.356
T1=0.82
 SAT
TT=0.922
T1=0.46
 SAT
TT=5.025
T1=5.01
 SAT
TT=4.981
T1=4.97
 SAT
TT=4.994
T1=4.98
 SAT
TT=4.973
T1=4.96
 SAT
TT=0.047
T1=0.04
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900566270.opb 		SAT
TT=0.271
T1=0.27
 SAT
TT=0.522
T1=0.78
 SAT
TT=2.516
T1=2.51
 SAT
TT=0.464
T1=0.46
 SAT
TT=37.125
T1=37.12
 SAT
TT=54.312
T1=54.31
 SAT
TT=4.355
T1=4.35
 SAT
TT=17.898
T1=17.89
 SAT
TT=1520.82
T1=1516.65
 SAT
TT=5.4
T1=2.35
 SAT
TT=2.385
T1=1.81
 SAT
TT=17.131
T1=17.16
 SAT
TT=18.516
T1=18.5
 SAT
TT=16.384
T1=16.37
 SAT
TT=16.349
T1=16.34
 SAT
TT=0.271
T1=0.27
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900567003.opb 		SAT
TT=0.403
T1=0.4
 SAT
TT=0.574
T1=0.64
 SAT
TT=7.067
T1=7.07
 SAT
TT=0.403
T1=0.4
 SAT
TT=494.715
T1=494.7
 SAT
TT=731.665
T1=731.65
 SAT
TT=1.647
T1=1.64
 SAT
TT=7.042
T1=7.04
 SAT
TT=502.522
T1=499.77
 SAT
TT=12.566
T1=5.84
 SAT
TT=5.862
T1=5.28
 SAT
TT=9.717
T1=9.7
 SAT
TT=10.637
T1=10.63
 SAT
TT=9.76
T1=9.74
 SAT
TT=9.718
T1=9.7
 SAT
TT=2.385
T1=2.38
Bench nameBest resultsborg
pb-dec-11.04.03
(complete)		bsolo
3.2
(complete)		clasp
2.0-R4191
(complete)		MinisatID
2.4.8 [DEPRECATED]
(complete)		MinisatID
2.4.8-gmp [DEPRECATED]
(complete)		MinisatID
2.5.2 (fixed)
(complete)		MinisatID
2.5.2-gmp (fixed)
(complete)		Sat4j CuttingPlanes
2.3.0
(complete)		Sat4j Res//CP
2.3.0
(complete)		Sat4j Resolution
2.3.0
(complete)		SCIP spx
SCIP 2.0.1.4. with SoPlex 1.5.0.4 [DEPRECATED]
(complete)		SCIP spx 2
2011-06-10 (fixed)
(complete)		SCIP spx E
SCIP 2.0.1.4b with SoPlex 1.5.0.4 [DEPRECATED]
(complete)		SCIP spx E_2
2011-06-10 (fixed)
(complete)		wbo
1.6
(complete)
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900567024.opb 		UNSAT
TT=1.446

 UNSAT
TT=5.225

 UNSAT
TT=660.957

 UNSAT
TT=1.446

 ? (TO)
TT=1800.07

 ? (TO)
TT=1800.07

 UNSAT
TT=153.197

 UNSAT
TT=409.796

 UNSAT
TT=335.499

 UNSAT
TT=328.759

 UNSAT
TT=148.583

 UNSAT
TT=113.091

 UNSAT
TT=113.673

 UNSAT
TT=113.128

 UNSAT
TT=112.776

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

 UNSAT
TT=8.055

 UNSAT
TT=495.111

 UNSAT
TT=4.643

 ? (TO)
TT=1800.06

 ? (TO)
TT=1800.06

 UNSAT
TT=107.608

 UNSAT
TT=300.407

 ? (TO)
TT=1800.21

 UNSAT
TT=48.073

 UNSAT
TT=21.381

 UNSAT
TT=262.878

 UNSAT
TT=232.613

 UNSAT
TT=231.878

 UNSAT
TT=232.034

 UNSAT
TT=24.086
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900567939.opb 		SAT
TT=0.126
T1=0.12
 SAT
TT=1.794
T1=1.85
 SAT
TT=9.601
T1=9.59
 SAT
TT=0.126
T1=0.12
 SAT
TT=187.524
T1=187.51
 SAT
TT=273.474
T1=273.46
 SAT
TT=13.366
T1=13.36
 SAT
TT=43.247
T1=43.24
 ? (TO)
TT=1800.24

 SAT
TT=9.479
T1=4.41
 SAT
TT=4.513
T1=3.93
 SAT
TT=16.957
T1=16.94
 SAT
TT=16.9
T1=16.89
 SAT
TT=18.534
T1=18.52
 SAT
TT=16.88
T1=16.87
 SAT
TT=2.643
T1=2.64
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900567985.opb 		UNSAT
TT=36.726

 UNSAT
TT=55.165

 ?
TT=1798

 UNSAT
TT=36.726

 ? (TO)
TT=1800.07

 ? (TO)
TT=1800.06

 UNSAT
TT=227.147

 UNSAT
TT=628.394

 ? (TO)
TT=1800.29

 ? (TO)
TT=1800.22

 UNSAT
TT=912.72

 UNSAT
TT=711.284

 UNSAT
TT=713.736

 UNSAT
TT=787.099

 UNSAT
TT=709.869

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

 UNSAT
TT=8.551

 UNSAT
TT=435.548

 UNSAT
TT=5.131

 ? (TO)
TT=1800.06

 ? (TO)
TT=1800.05

 UNSAT
TT=87.347

 UNSAT
TT=234.467

 ? (TO)
TT=1800.28

 UNSAT
TT=33.995

 UNSAT
TT=16.334

 UNSAT
TT=145.221

 UNSAT
TT=157.09

 UNSAT
TT=141.79

 UNSAT
TT=156.922

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

 UNSAT
TT=5.624

 UNSAT
TT=741.187

 UNSAT
TT=3.501

 ? (TO)
TT=1800.07

 ? (TO)
TT=1800.05

 UNSAT
TT=101.435

 UNSAT
TT=273.381

 ? (TO)
TT=1800.29

 UNSAT
TT=830.971

 UNSAT
TT=342.803

 UNSAT
TT=259.341

 UNSAT
TT=283.889

 UNSAT
TT=262.582

 UNSAT
TT=262.692

 UNSAT
TT=74.679
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900568952.opb 		SAT
TT=1.196
T1=1.95
 SAT
TT=1.196
T1=7.02
 SAT
TT=53.311
T1=53.32
 SAT
TT=1.954
T1=1.95
 ? (TO)
TT=1800.06

 ? (TO)
TT=1800.08

 SAT
TT=8.241
T1=8.24
 SAT
TT=30.147
T1=30.14
 ? (TO)
TT=1800.29

 SAT
TT=8.776
T1=3.85
 SAT
TT=3.863
T1=3.27
 SAT
TT=15.269
T1=15.26
 SAT
TT=15.465
T1=15.45
 SAT
TT=13.599
T1=13.58
 SAT
TT=13.583
T1=13.57
 SAT
TT=6.041
T1=6.04
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900569834.opb 		UNSAT
TT=2.013

 UNSAT
TT=7.885

 UNSAT
TT=611.903

 UNSAT
TT=2.013

 ? (TO)
TT=1800.08

 ? (TO)
TT=1800.06

 UNSAT
TT=123.142

 UNSAT
TT=304.872

 ? (TO)
TT=1800.27

 UNSAT
TT=624.009

 UNSAT
TT=266.454

 UNSAT
TT=252.234

 UNSAT
TT=273.41

 UNSAT
TT=243.129

 UNSAT
TT=243.427

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

 UNSAT
TT=3.981

 UNSAT
TT=587.208

 UNSAT
TT=3.518

 ? (TO)
TT=1800.06

 ? (TO)
TT=1800.06

 UNSAT
TT=120.093

 UNSAT
TT=286.188

 ? (TO)
TT=1800.23

 UNSAT
TT=17.738

 UNSAT
TT=9.055

 UNSAT
TT=208.785

 UNSAT
TT=229.785

 UNSAT
TT=208.998

 UNSAT
TT=208.455

 UNSAT
TT=35.397
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900571131.opb 		SAT
TT=0.008
T1=0
 SAT
TT=0.621
T1=3.48
 SAT
TT=2.002
T1=2
 SAT
TT=0.008
T1=0
 SAT
TT=7.139
T1=7.13
 SAT
TT=10.042
T1=10.04
 SAT
TT=0.057
T1=0.05
 SAT
TT=0.263
T1=0.26
 ? (TO)
TT=1800.32

 SAT
TT=1.491
T1=0.82
 SAT
TT=0.876
T1=0.43
 SAT
TT=6.125
T1=6.11
 SAT
TT=6.561
T1=6.55
 SAT
TT=6.115
T1=6.1
 SAT
TT=6.114
T1=6.1
 SAT
TT=0.176
T1=0.18
Bench nameBest resultsborg
pb-dec-11.04.03
(complete)		bsolo
3.2
(complete)		clasp
2.0-R4191
(complete)		MinisatID
2.4.8 [DEPRECATED]
(complete)		MinisatID
2.4.8-gmp [DEPRECATED]
(complete)		MinisatID
2.5.2 (fixed)
(complete)		MinisatID
2.5.2-gmp (fixed)
(complete)		Sat4j CuttingPlanes
2.3.0
(complete)		Sat4j Res//CP
2.3.0
(complete)		Sat4j Resolution
2.3.0
(complete)		SCIP spx
SCIP 2.0.1.4. with SoPlex 1.5.0.4 [DEPRECATED]
(complete)		SCIP spx 2
2011-06-10 (fixed)
(complete)		SCIP spx E
SCIP 2.0.1.4b with SoPlex 1.5.0.4 [DEPRECATED]
(complete)		SCIP spx E_2
2011-06-10 (fixed)
(complete)		wbo
1.6
(complete)
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900571132.opb 		UNSAT
TT=10.356

 UNSAT
TT=20.302

 UNSAT
TT=586.785

 UNSAT
TT=10.356

 ? (TO)
TT=1800.06

 ? (TO)
TT=1800.02

 UNSAT
TT=135.719

 UNSAT
TT=395.686

 ? (TO)
TT=1800.29

 UNSAT
TT=857.624

 UNSAT
TT=356.264

 UNSAT
TT=223.615

 UNSAT
TT=258.353

 UNSAT
TT=224.171

 UNSAT
TT=258.89

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

 UNSAT
TT=26.735

 UNSAT
TT=943.843

 UNSAT
TT=14.522

 ? (TO)
TT=1800.07

 ? (TO)
TT=1800.07

 UNSAT
TT=198.943

 UNSAT
TT=551.206

 ? (TO)
TT=1800.26

 UNSAT
TT=1446.66

 UNSAT
TT=541.613

 UNSAT
TT=269.303

 UNSAT
TT=350.376

 UNSAT
TT=269.008

 UNSAT
TT=350.071

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

 UNSAT
TT=31.907

 UNSAT
TT=1087.17

 UNSAT
TT=18.583

 ? (TO)
TT=1800.06

 ? (TO)
TT=1800.07

 UNSAT
TT=206.888

 UNSAT
TT=578.526

 ? (TO)
TT=1800.31

 UNSAT
TT=1314.97

 UNSAT
TT=557.165

 UNSAT
TT=346.431

 UNSAT
TT=347.904

 UNSAT
TT=355.386

 UNSAT
TT=391.881

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

 UNSAT
TT=23.883

 UNSAT
TT=822.062

 UNSAT
TT=14.248

 ? (TO)
TT=1800.08

 ? (TO)
TT=1800.11

 UNSAT
TT=95.852

 UNSAT
TT=248.129

 ? (TO)
TT=1800.26

 UNSAT
TT=1213.19

 UNSAT
TT=509.079

 UNSAT
TT=472.635

 UNSAT
TT=533.83

 UNSAT
TT=520.334

 UNSAT
TT=473.688

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

 UNSAT
TT=11.987

 UNSAT
TT=1122.3

 UNSAT
TT=6.051

 ? (TO)
TT=1800.06

 ? (TO)
TT=1800.07

 UNSAT
TT=129.544

 UNSAT
TT=367.345

 ? (TO)
TT=1800.27

 UNSAT
TT=916.147

 UNSAT
TT=388.277

 UNSAT
TT=357.432

 UNSAT
TT=357.268

 UNSAT
TT=355.566

 UNSAT
TT=357.618

 UNSAT
TT=55.249
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900574948.opb 		SAT
TT=0.016
T1=0.01
 SAT
TT=0.599
T1=1.24
 SAT
TT=0.391
T1=0.39
 SAT
TT=0.016
T1=0.01
 SAT
TT=163.017
T1=163.12
 SAT
TT=217.259
T1=217.25
 SAT
TT=0.495
T1=0.49
 SAT
TT=1.928
T1=1.92
 ? (TO)
TT=1800.28

 SAT
TT=3.479
T1=1.34
 SAT
TT=1.499
T1=0.95
 SAT
TT=3.394
T1=3.38
 SAT
TT=3.443
T1=3.43
 SAT
TT=3.393
T1=3.38
 SAT
TT=3.434
T1=3.42
 SAT
TT=0.081
T1=0.08
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900574974.opb 		SAT
TT=0.01
T1=0.01
 SAT
TT=0.502
T1=0.65
 SAT
TT=5.978
T1=5.98
 SAT
TT=0.01
T1=0.01
 SAT
TT=51.689
T1=51.69
 SAT
TT=75.734
T1=75.73
 SAT
TT=4.154
T1=4.15
 SAT
TT=17.01
T1=17
 SAT
TT=4.238
T1=2.84
 SAT
TT=4.075
T1=1.83
 SAT
TT=1.759
T1=1.19
 SAT
TT=4.085
T1=4.07
 SAT
TT=4.103
T1=4.09
 SAT
TT=4.204
T1=4.19
 SAT
TT=3.764
T1=3.75
 SAT
TT=0.03
T1=0.03
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900575442.opb 		UNSAT
TT=4.296

 UNSAT
TT=8.531

 UNSAT
TT=843.258

 UNSAT
TT=4.296

 ? (TO)
TT=1800.07

 ? (TO)
TT=1800.05

 UNSAT
TT=125.76

 UNSAT
TT=333.193

 ? (TO)
TT=1800.23

 UNSAT
TT=395.766

 UNSAT
TT=171.924

 UNSAT
TT=260.054

 UNSAT
TT=260.362

 UNSAT
TT=261.043

 UNSAT
TT=259.374

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

 UNSAT
TT=44.249

 UNSAT
TT=1270.41

 UNSAT
TT=20.852

 ? (TO)
TT=1800.08

 ? (TO)
TT=1800.09

 UNSAT
TT=141.847

 UNSAT
TT=421.658

 ? (TO)
TT=1800.32

 ? (TO)
TT=1800.22

 UNSAT
TT=757.375

 UNSAT
TT=426.495

 UNSAT
TT=487.544

 UNSAT
TT=426.009

 UNSAT
TT=427.625

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

 UNSAT
TT=17.008

 UNSAT
TT=513.995

 UNSAT
TT=8.881

 ? (TO)
TT=1800.08

 ? (TO)
TT=1800.06

 UNSAT
TT=84.713

 UNSAT
TT=255.552

 ? (TO)
TT=1800.27

 UNSAT
TT=845.177

 UNSAT
TT=343.032

 UNSAT
TT=255.823

 UNSAT
TT=285.981

 UNSAT
TT=256.092

 UNSAT
TT=256.473

 UNSAT
TT=81.621
Bench nameBest resultsborg
pb-dec-11.04.03
(complete)		bsolo
3.2
(complete)		clasp
2.0-R4191
(complete)		MinisatID
2.4.8 [DEPRECATED]
(complete)		MinisatID
2.4.8-gmp [DEPRECATED]
(complete)		MinisatID
2.5.2 (fixed)
(complete)		MinisatID
2.5.2-gmp (fixed)
(complete)		Sat4j CuttingPlanes
2.3.0
(complete)		Sat4j Res//CP
2.3.0
(complete)		Sat4j Resolution
2.3.0
(complete)		SCIP spx
SCIP 2.0.1.4. with SoPlex 1.5.0.4 [DEPRECATED]
(complete)		SCIP spx 2
2011-06-10 (fixed)
(complete)		SCIP spx E
SCIP 2.0.1.4b with SoPlex 1.5.0.4 [DEPRECATED]
(complete)		SCIP spx E_2
2011-06-10 (fixed)
(complete)		wbo
1.6
(complete)
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900576918.opb 		SAT
TT=0.033
T1=0.03
 SAT
TT=0.749
T1=1.14
 SAT
TT=0.688
T1=0.68
 SAT
TT=0.033
T1=0.03
 SAT
TT=7.585
T1=7.58
 SAT
TT=10.736
T1=10.73
 SAT
TT=1.793
T1=1.79
 SAT
TT=7.462
T1=7.46
 ? (TO)
TT=1800.28

 SAT
TT=1.705
T1=0.83
 SAT
TT=0.928
T1=0.49
 SAT
TT=5.345
T1=5.33
 SAT
TT=6.007
T1=5.99
 SAT
TT=5.334
T1=5.32
 SAT
TT=5.319
T1=5.31
 SAT
TT=0.044
T1=0.04
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900576927.opb 		UNSAT
TT=25.643

 UNSAT
TT=46.018

 UNSAT
TT=1465.15

 UNSAT
TT=25.643

 ? (TO)
TT=1800.09

 ? (TO)
TT=1800.09

 UNSAT
TT=225.98

 UNSAT
TT=565.975

 ? (TO)
TT=1800.26

 ? (TO)
TT=1800.4

 UNSAT
TT=720.863

 UNSAT
TT=636.676

 UNSAT
TT=634.18

 UNSAT
TT=643.746

 UNSAT
TT=708.92

 UNSAT
TT=154.194
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900577000.opb 		SAT
TT=0.145
T1=0.14
 SAT
TT=0.567
T1=0.64
 SAT
TT=0.498
T1=0.49
 SAT
TT=0.367
T1=0.36
 SAT
TT=39.386
T1=39.38
 SAT
TT=63.652
T1=63.64
 SAT
TT=0.145
T1=0.14
 SAT
TT=0.64
T1=0.64
 ? (TO)
TT=1800.27

 SAT
TT=1.532
T1=0.82
 SAT
TT=0.911
T1=0.47
 SAT
TT=8.735
T1=8.73
 SAT
TT=7.834
T1=7.82
 SAT
TT=7.857
T1=7.84
 SAT
TT=7.845
T1=7.83
 SAT
TT=0.163
T1=0.16
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900577940.opb 		UNSAT
TT=21.615

 UNSAT
TT=47.171

 ?
TT=1798

 UNSAT
TT=21.615

 ? (TO)
TT=1800.06

 ? (TO)
TT=1800.08

 UNSAT
TT=211.235

 UNSAT
TT=603.493

 ? (TO)
TT=1800.28

 UNSAT
TT=1521.98

 UNSAT
TT=579.718

 UNSAT
TT=497.557

 UNSAT
TT=436.47

 UNSAT
TT=435.93

 UNSAT
TT=438.555

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

 UNSAT
TT=42.298

 UNSAT
TT=1518.39

 UNSAT
TT=35.571

 ? (TO)
TT=1800.07

 ? (TO)
TT=1800.06

 UNSAT
TT=236.909

 UNSAT
TT=659.292

 ? (TO)
TT=1800.26

 UNSAT
TT=1476.59

 UNSAT
TT=565.469

 UNSAT
TT=563.659

 UNSAT
TT=570.983

 UNSAT
TT=568.303

 UNSAT
TT=563.198

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

 UNSAT
TT=22.416

 UNSAT
TT=1425.83

 UNSAT
TT=11.67

 ? (TO)
TT=1800.07

 ? (TO)
TT=1800.09

 UNSAT
TT=155.696

 UNSAT
TT=488.519

 ? (TO)
TT=1800.27

 UNSAT
TT=1357.87

 UNSAT
TT=547.766

 UNSAT
TT=234.898

 UNSAT
TT=236.1

 UNSAT
TT=231.402

 UNSAT
TT=253.769

 UNSAT
TT=131.315
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900581321.opb 		SAT
TT=0.01
T1=0.01
 SAT
TT=0.602
T1=1.25
 SAT
TT=0.21
T1=0.2
 SAT
TT=0.01
T1=0.02
 SAT
TT=4.865
T1=4.86
 SAT
TT=6.797
T1=6.79
 SAT
TT=0.974
T1=0.97
 SAT
TT=3.986
T1=3.98
 SAT
TT=1000.73
T1=997.32
 SAT
TT=1.164
T1=0.82
 SAT
TT=0.789
T1=0.4
 SAT
TT=10.92
T1=10.91
 SAT
TT=12.165
T1=12.15
 SAT
TT=10.898
T1=10.88
 SAT
TT=10.88
T1=10.87
 SAT
TT=0.01
T1=0.01
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900582300.opb 		UNSAT
TT=13.15

 UNSAT
TT=25.203

 UNSAT
TT=1115

 UNSAT
TT=13.15

 ? (TO)
TT=1800.06

 ? (TO)
TT=1800.08

 UNSAT
TT=194.681

 UNSAT
TT=573.215

 ? (TO)
TT=1800.27

 UNSAT
TT=1361.85

 UNSAT
TT=586.863

 UNSAT
TT=498.368

 UNSAT
TT=467.304

 UNSAT
TT=441.248

 UNSAT
TT=485.705

 UNSAT
TT=87.347
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900582376.opb 		SAT
TT=0.195
T1=0.19
 SAT
TT=0.506
T1=26.07
 SAT
TT=21.786
T1=21.78
 SAT
TT=0.447
T1=0.45
 SAT
TT=709.916
T1=709.93
 SAT
TT=998.318
T1=998.3
 SAT
TT=12.799
T1=12.79
 SAT
TT=38.957
T1=38.95
 ? (TO)
TT=1800.21

 SAT
TT=9.023
T1=3.85
 SAT
TT=4.105
T1=3.53
 SAT
TT=3.275
T1=3.26
 SAT
TT=3.234
T1=3.22
 SAT
TT=3.253
T1=3.24
 SAT
TT=3.236
T1=3.22
 SAT
TT=0.195
T1=0.19
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900583053.opb 		UNSAT
TT=21.937

 UNSAT
TT=30.221

 UNSAT
TT=1351.45

 UNSAT
TT=21.937

 ? (TO)
TT=1800.1

 ? (TO)
TT=1800.04

 UNSAT
TT=213.792

 UNSAT
TT=601.898

 ? (TO)
TT=1800.24

 UNSAT
TT=1766.51

 UNSAT
TT=687.635

 UNSAT
TT=552.422

 UNSAT
TT=553.775

 UNSAT
TT=549.667

 UNSAT
TT=602.229

 UNSAT
TT=197.481
Bench nameBest resultsborg
pb-dec-11.04.03
(complete)		bsolo
3.2
(complete)		clasp
2.0-R4191
(complete)		MinisatID
2.4.8 [DEPRECATED]
(complete)		MinisatID
2.4.8-gmp [DEPRECATED]
(complete)		MinisatID
2.5.2 (fixed)
(complete)		MinisatID
2.5.2-gmp (fixed)
(complete)		Sat4j CuttingPlanes
2.3.0
(complete)		Sat4j Res//CP
2.3.0
(complete)		Sat4j Resolution
2.3.0
(complete)		SCIP spx
SCIP 2.0.1.4. with SoPlex 1.5.0.4 [DEPRECATED]
(complete)		SCIP spx 2
2011-06-10 (fixed)
(complete)		SCIP spx E
SCIP 2.0.1.4b with SoPlex 1.5.0.4 [DEPRECATED]
(complete)		SCIP spx E_2
2011-06-10 (fixed)
(complete)		wbo
1.6
(complete)
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900584106.opb 		UNSAT
TT=0.617

 UNSAT
TT=4.973

 UNSAT
TT=675.795

 UNSAT
TT=0.617

 ? (TO)
TT=1800.07

 ? (TO)
TT=1800.06

 UNSAT
TT=73.564

 UNSAT
TT=191.972

 ? (TO)
TT=1800.22

 UNSAT
TT=304.746

 UNSAT
TT=132.393

 UNSAT
TT=130.67

 UNSAT
TT=79.649

 UNSAT
TT=114.635

 UNSAT
TT=75.007

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

 UNSAT
TT=12.777

 UNSAT
TT=920.595

 UNSAT
TT=8.381

 ? (TO)
TT=1800.08

 ? (TO)
TT=1800.08

 UNSAT
TT=127.958

 UNSAT
TT=327.183

 UNSAT
TT=428.83

 UNSAT
TT=500.744

 UNSAT
TT=214.41

 UNSAT
TT=223.192

 UNSAT
TT=248.324

 UNSAT
TT=223.239

 UNSAT
TT=222.594

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

 UNSAT
TT=41.47

 ?
TT=1798

 UNSAT
TT=17.783

 ? (TO)
TT=1800.06

 ? (TO)
TT=1800.08

 UNSAT
TT=308.104

 UNSAT
TT=879.103

 ? (TO)
TT=1800.28

 ? (TO)
TT=1800.27

 UNSAT
TT=1110.28

 UNSAT
TT=481.636

 UNSAT
TT=491.516

 UNSAT
TT=509.213

 UNSAT
TT=520.762

 UNSAT
TT=205.125
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900669299.opb 		SAT
TT=0.03
T1=0.02
 SAT
TT=1.123
T1=1.56
 SAT
TT=9.338
T1=9.33
 SAT
TT=0.317
T1=0.31
 SAT
TT=30.017
T1=30.01
 SAT
TT=47.821
T1=47.82
 SAT
TT=1.272
T1=1.27
 SAT
TT=5.277
T1=5.27
 ? (TO)
TT=1800.24

 SAT
TT=1.557
T1=0.85
 SAT
TT=0.859
T1=0.42
 SAT
TT=3.987
T1=3.97
 SAT
TT=3.942
T1=3.93
 SAT
TT=4.345
T1=4.33
 SAT
TT=3.964
T1=3.95
 SAT
TT=0.03
T1=0.02
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900669309.opb 		SAT
TT=0.143
T1=0.14
 SAT
TT=4.177
T1=4.72
 SAT
TT=110.15
T1=110.14
 SAT
TT=0.143
T1=0.14
 SAT
TT=1491.64
T1=1491.59
 ? (TO)
TT=1800.11

 SAT
TT=1.981
T1=1.98
 SAT
TT=7.96
T1=7.96
 ? (TO)
TT=1800.26

 SAT
TT=4.378
T1=1.86
 SAT
TT=1.817
T1=1.28
 SAT
TT=63.42
T1=63.4
 SAT
TT=44.235
T1=44.22
 SAT
TT=63.371
T1=63.35
 SAT
TT=38.903
T1=38.89
 SAT
TT=1.785
T1=1.78
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900669797.opb 		UNSAT
TT=11.594

 UNSAT
TT=16.546

 UNSAT
TT=1161.66

 UNSAT
TT=11.594

 ? (TO)
TT=1800.08

 ? (TO)
TT=1800.09

 UNSAT
TT=119.779

 UNSAT
TT=287.785

 ? (TO)
TT=1800.28

 UNSAT
TT=921.553

 UNSAT
TT=369.302

 UNSAT
TT=227.193

 UNSAT
TT=254.957

 UNSAT
TT=228.402

 UNSAT
TT=252.195

 UNSAT
TT=79.39
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900670167.opb 		UNSAT
TT=4.153

 UNSAT
TT=9.958

 UNSAT
TT=1073.09

 UNSAT
TT=4.153

 ? (TO)
TT=1800.07

 ? (TO)
TT=1800.07

 UNSAT
TT=144.079

 UNSAT
TT=359.84

 ? (TO)
TT=1800.25

 UNSAT
TT=514.548

 UNSAT
TT=228.626

 UNSAT
TT=227.168

 UNSAT
TT=230.604

 UNSAT
TT=226.801

 UNSAT
TT=226.658

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

 UNSAT
TT=54.94

 ?
TT=1798

 UNSAT
TT=34.016

 ? (TO)
TT=1800.06

 ? (TO)
TT=1800.11

 UNSAT
TT=357.629

 UNSAT
TT=1039.9

 ? (TO)
TT=1800.24

 ? (TO)
TT=1800.25

 UNSAT
TT=832.337

 UNSAT
TT=527.823

 UNSAT
TT=487.995

 UNSAT
TT=483.154

 UNSAT
TT=486.771

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

 UNSAT
TT=6.489

 UNSAT
TT=416.478

 UNSAT
TT=2.489

 ? (TO)
TT=1800.06

 ? (TO)
TT=1800.11

 UNSAT
TT=75.754

 UNSAT
TT=223.285

 ? (TO)
TT=1800.22

 UNSAT
TT=28.364

 UNSAT
TT=14.094

 UNSAT
TT=167.775

 UNSAT
TT=167.781

 UNSAT
TT=166.742

 UNSAT
TT=182.966

 UNSAT
TT=32.508
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900670756.opb 		SAT
TT=0.046
T1=0.04
 SAT
TT=0.717
T1=1.09
 SAT
TT=2.259
T1=2.25
 SAT
TT=0.046
T1=0.04
 SAT
TT=27.316
T1=27.31
 SAT
TT=39.747
T1=39.74
 SAT
TT=1.897
T1=1.89
 SAT
TT=7.517
T1=7.51
 ? (TO)
TT=1800.26

 SAT
TT=1.682
T1=0.83
 SAT
TT=0.967
T1=0.5
 SAT
TT=7.891
T1=7.88
 SAT
TT=7.839
T1=7.83
 SAT
TT=8.674
T1=8.66
 SAT
TT=7.859
T1=7.85
 SAT
TT=0.385
T1=0.38



Statisticsborg
pb-dec-11.04.03
(complete)		bsolo
3.2
(complete)		clasp
2.0-R4191
(complete)		MinisatID
2.4.8 [DEPRECATED]
(complete)		MinisatID
2.4.8-gmp [DEPRECATED]
(complete)		MinisatID
2.5.2 (fixed)
(complete)		MinisatID
2.5.2-gmp (fixed)
(complete)		Sat4j CuttingPlanes
2.3.0
(complete)		Sat4j Res//CP
2.3.0
(complete)		Sat4j Resolution
2.3.0
(complete)		SCIP spx
SCIP 2.0.1.4. with SoPlex 1.5.0.4 [DEPRECATED]
(complete)		SCIP spx 2
2011-06-10 (fixed)
(complete)		SCIP spx E
SCIP 2.0.1.4b with SoPlex 1.5.0.4 [DEPRECATED]
(complete)		SCIP spx E_2
2011-06-10 (fixed)
(complete)		wbo
1.6
(complete)
Number of times the solver is able to give the best known answer10093100001001001592100100100100100100
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)		2190001000000006