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 Queens Problems

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 Queens Problems

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



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 answer105110109112112107106105
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)		1524420110232