normalized-PB07/SATUNSAT-SMALLINT-NLC/ submittedPB07/manquinho/dbsg/ normalized-dbsg_100_10_1_15.opb |
SAT
TT=0.056 T1=0
|
SAT TT=2.934 T1=2.9
|
? (TO) TT=1800.06
|
? (TO) TT=1800.06
|
SAT TT=1.44 T1=1.39
|
SAT TT=0.275 T1=0.19
|
SAT TT=1.18 T1=1.09
|
SAT TT=1.663 T1=1.57
|
SAT TT=0.319 T1=0
|
SAT TT=3.129 T1=3.09
|
SAT TT=2.838 T1=2.79
|
SAT TT=0.056 T1=0.03
|
? TT=1.367
|
? TT=1.351
|
? TT=1.366
|
SAT TT=0.095 T1=0.04
|
SAT TT=0.084 T1=0.06
|
normalized-PB07/SATUNSAT-SMALLINT-NLC/ submittedPB07/manquinho/dbsg/ normalized-dbsg_100_10_1_40.opb |
|
? (TO) TT=1800.09
|
? (TO) TT=1800.14
|
? (TO) TT=1800.14
|
? (TO) TT=1800.06
|
? (TO) TT=1800.02
|
? (TO) TT=1800.28
|
? (TO) TT=1800
|
? (TO) TT=1800.07
|
? (TO) TT=1800.04
|
? (TO) TT=1800.05
|
? (TO) TT=1800.07
|
? TT=1.334
|
? TT=1.37
|
? TT=1.356
|
? (TO) TT=1800.02
|
? (TO) TT=1800.09
|
normalized-PB07/SATUNSAT-SMALLINT-NLC/ submittedPB07/manquinho/dbsg/ normalized-dbsg_100_10_2_15.opb |
SAT
TT=0.054 T1=0
|
SAT TT=14.795 T1=14.74
|
? (TO) TT=1800.09
|
? (TO) TT=1800.14
|
SAT TT=1.39 T1=1.29
|
SAT TT=0.364 T1=0.29
|
SAT TT=18.319 T1=18.29
|
SAT TT=1.764 T1=1.66
|
SAT TT=0.352 T1=0
|
SAT TT=4.733 T1=4.69
|
SAT TT=4.675 T1=4.59
|
SAT TT=0.054 T1=0
|
? TT=1.376
|
? TT=2.595
|
? TT=1.315
|
SAT TT=0.089 T1=0.03
|
SAT TT=0.089 T1=0
|
normalized-PB07/SATUNSAT-SMALLINT-NLC/ submittedPB07/manquinho/dbsg/ normalized-dbsg_100_10_2_40.opb |
|
? (TO) TT=1800.11
|
? (TO) TT=1800.05
|
? (TO) TT=1800.12
|
? (TO) TT=1800.09
|
? (TO) TT=1800.07
|
? (TO) TT=1800.29
|
? (TO) TT=1800.05
|
? (TO) TT=1800.08
|
? (TO) TT=1800.07
|
? (TO) TT=1800.09
|
? (TO) TT=1800.07
|
? TT=1.362
|
? TT=1.382
|
? TT=1.323
|
? (TO) TT=1800.11
|
? (TO) TT=1800.06
|
normalized-PB07/SATUNSAT-SMALLINT-NLC/ submittedPB07/manquinho/dbsg/ normalized-dbsg_100_10_3_15.opb |
SAT
TT=0.059 T1=0
|
SAT TT=1.581 T1=1.46
|
? (TO) TT=1800.06
|
? (TO) TT=1800.09
|
SAT TT=1.619 T1=1.58
|
SAT TT=0.245 T1=0.19
|
SAT TT=0.687 T1=0.59
|
SAT TT=1.587 T1=1.45
|
SAT TT=0.354 T1=0
|
SAT TT=0.13 T1=0.09
|
SAT TT=0.12 T1=0.09
|
SAT TT=0.059 T1=0.04
|
? TT=1.366
|
? TT=1.347
|
? TT=1.363
|
SAT TT=0.094 T1=0.01
|
SAT TT=0.087 T1=0
|
normalized-PB07/SATUNSAT-SMALLINT-NLC/ submittedPB07/manquinho/dbsg/ normalized-dbsg_100_10_3_40.opb |
|
? (TO) TT=1800.11
|
? (TO) TT=1800.07
|
? (TO) TT=1800.11
|
? (TO) TT=1800.1
|
? (TO) TT=1800.07
|
? (TO) TT=1800.14
|
? (TO) TT=1800.06
|
? (TO) TT=1800.06
|
? (TO) TT=1800.13
|
? (TO) TT=1800.03
|
? (TO) TT=1800.08
|
? TT=1.319
|
? TT=1.279
|
? TT=1.349
|
? (TO) TT=1800.1
|
? (TO) TT=1800.04
|
normalized-PB07/SATUNSAT-SMALLINT-NLC/ submittedPB07/manquinho/dbsg/ normalized-dbsg_100_10_4_15.opb |
SAT
TT=0.056 T1=0
|
SAT TT=5.215 T1=5.12
|
SAT TT=28.125 T1=28.07
|
SAT TT=28.187 T1=28.08
|
SAT TT=1.548 T1=1.49
|
SAT TT=0.314 T1=0.29
|
SAT TT=22.755 T1=22.69
|
SAT TT=1.169 T1=0
|
SAT TT=0.339 T1=0
|
SAT TT=1.146 T1=1.1
|
SAT TT=1.125 T1=1.09
|
SAT TT=0.056 T1=0
|
? TT=1.35
|
? TT=1.346
|
? TT=1.367
|
SAT TT=0.095 T1=0.06
|
SAT TT=0.088 T1=0.06
|
normalized-PB07/SATUNSAT-SMALLINT-NLC/ submittedPB07/manquinho/dbsg/ normalized-dbsg_100_10_4_40.opb |
|
? (TO) TT=1800.15
|
? (TO) TT=1800.05
|
? (TO) TT=1800.09
|
? (TO) TT=1800.09
|
? (TO) TT=1800.06
|
? (TO) TT=1800.32
|
? (TO) TT=1800.04
|
? (TO) TT=1800.06
|
? (TO) TT=1800.03
|
? (TO) TT=1800.07
|
? (TO) TT=1800.02
|
? TT=1.341
|
? TT=1.359
|
? TT=1.366
|
? (TO) TT=1800.05
|
? (TO) TT=1800.05
|
normalized-PB07/SATUNSAT-SMALLINT-NLC/ submittedPB07/manquinho/dbsg/ normalized-dbsg_100_10_5_15.opb |
SAT
TT=0.054 T1=0
|
SAT TT=8.451 T1=8.37
|
? (TO) TT=1800.1
|
? (TO) TT=1800.05
|
SAT TT=1.083 T1=0.99
|
SAT TT=0.251 T1=0.19
|
SAT TT=0.503 T1=0.49
|
SAT TT=2.074 T1=1.96
|
SAT TT=0.333 T1=0
|
SAT TT=0.767 T1=0.69
|
SAT TT=0.796 T1=0.68
|
SAT TT=0.054 T1=0
|
? TT=1.334
|
? TT=1.325
|
? TT=1.28
|
SAT TT=0.095 T1=0.07
|
SAT TT=0.093 T1=0
|
normalized-PB07/SATUNSAT-SMALLINT-NLC/ submittedPB07/manquinho/dbsg/ normalized-dbsg_100_10_5_40.opb |
|
? (TO) TT=1800.06
|
? TT=1800.04
|
? (TO) TT=1800.12
|
? (TO) TT=1800.06
|
? (TO) TT=1800.12
|
? (TO) TT=1800.46
|
? (TO) TT=1800.03
|
? (TO) TT=1800.12
|
? (TO) TT=1800.11
|
? (TO) TT=1800.04
|
? (TO) TT=1800.06
|
? TT=1.355
|
? TT=1.349
|
? TT=1.352
|
? (TO) TT=1800.1
|
? (TO) TT=1800.05
|
Bench name | Best results on this instance | absconPseudo 102 | bsolo 3.0.16 | bsolo 3.0.17 | glpPB 0.2 | minisat+ 1.14 | oree 0.1.2 alpha | PB-clasp 2007-03-23 | PB-clasp 2007-04-10 | PBS4 2007-03-23 | PBS4_v2 2007-03-23 | Pueblo 1.4 | sat4jPseudoCP 2007-03-23 | sat4jPseudoCPClause 2007-03-23 | SAT4JPseudoResolution 2007-03-23 | wildcat-rnp 2007-03-21 | wildcat-skc 2007-03-21 |
---|
normalized-PB07/SATUNSAT-SMALLINT-NLC/ submittedPB07/manquinho/dbsg/ normalized-dbsg_100_25_1_15.opb |
SAT
TT=0.827 T1=0.79
|
? (TO) TT=1800.05
|
? (TO) TT=1800.07
|
? (TO) TT=1800.11
|
SAT TT=1211.87 T1=1211.84
|
? (TO) TT=1800.07
|
? (TO) TT=1800.21
|
? (TO) TT=1800.06
|
? (TO) TT=1800.09
|
? (TO) TT=1800.11
|
? (TO) TT=1800.06
|
? TT=1796.63
|
? TT=2.477
|
? TT=2.487
|
? TT=2.446
|
SAT TT=0.827 T1=0.79
|
SAT TT=4.838 T1=4.79
|
normalized-PB07/SATUNSAT-SMALLINT-NLC/ submittedPB07/manquinho/dbsg/ normalized-dbsg_100_25_1_40.opb |
UNSAT
TT=352.638
|
? (TO) TT=1800.13
|
? (TO) TT=1800.11
|
? (TO) TT=1800.12
|
UNSAT TT=352.638
|
? (TO) TT=1800.06
|
? (TO) TT=1800.13
|
? (TO) TT=1800.06
|
? (TO) TT=1800.05
|
? (TO) TT=1800.09
|
? (TO) TT=1800.09
|
? (TO) TT=1800.06
|
? TT=2.522
|
? TT=2.57
|
? TT=2.572
|
? (TO) TT=1800.1
|
? (TO) TT=1800.07
|
normalized-PB07/SATUNSAT-SMALLINT-NLC/ submittedPB07/manquinho/dbsg/ normalized-dbsg_100_25_2_15.opb |
SAT
TT=1.633 T1=1.59
|
? (TO) TT=1800.17
|
? TT=1800.07
|
? (TO) TT=1800.11
|
? (TO) TT=1800.06
|
? (TO) TT=1800.08
|
? (TO) TT=1800.17
|
? (TO) TT=1800.02
|
? (TO) TT=1800.09
|
? (TO) TT=1800.12
|
? (TO) TT=1800.11
|
? TT=1788.7
|
? TT=2.537
|
? TT=2.456
|
? TT=2.516
|
SAT TT=1.633 T1=1.59
|
SAT TT=30.386 T1=30.29
|
normalized-PB07/SATUNSAT-SMALLINT-NLC/ submittedPB07/manquinho/dbsg/ normalized-dbsg_100_25_2_40.opb |
UNSAT
TT=271.31
|
? (TO) TT=1800.11
|
? (TO) TT=1800.1
|
? (TO) TT=1800.17
|
UNSAT TT=271.31
|
? (TO) TT=1800.05
|
? (TO) TT=1800.26
|
? (TO) TT=1800.05
|
? (TO) TT=1800.02
|
? (TO) TT=1800.09
|
? (TO) TT=1800.09
|
? (TO) TT=1800.03
|
? TT=2.633
|
? TT=2.528
|
? TT=2.525
|
? (TO) TT=1800.11
|
? (TO) TT=1800.05
|
normalized-PB07/SATUNSAT-SMALLINT-NLC/ submittedPB07/manquinho/dbsg/ normalized-dbsg_100_25_3_15.opb |
SAT
TT=1.941 T1=1.89
|
? (TO) TT=1800.13
|
? (TO) TT=1800.05
|
? (TO) TT=1800.12
|
? (TO) TT=1800.07
|
? (TO) TT=1800.09
|
? (TO) TT=1800.18
|
? (TO) TT=1800.04
|
? (TO) TT=1800.01
|
? (TO) TT=1800.1
|
? (TO) TT=1800.07
|
? (TO) TT=1800.05
|
? TT=2.481
|
? TT=2.426
|
? TT=2.544
|
SAT TT=1.941 T1=1.89
|
SAT TT=28.115 T1=28.08
|
normalized-PB07/SATUNSAT-SMALLINT-NLC/ submittedPB07/manquinho/dbsg/ normalized-dbsg_100_25_3_40.opb |
UNSAT
TT=279.587
|
? (TO) TT=1800.17
|
? (TO) TT=1800.1
|
? (TO) TT=1800.09
|
UNSAT TT=279.587
|
? (TO) TT=1800.07
|
? (TO) TT=1800.19
|
? (TO) TT=1800.06
|
? (TO) TT=1800.03
|
? (TO) TT=1800.08
|
? (TO) TT=1800.09
|
? (TO) TT=1800.02
|
? TT=2.519
|
? TT=2.69
|
? TT=2.527
|
? (TO) TT=1800.06
|
? (TO) TT=1800.06
|
normalized-PB07/SATUNSAT-SMALLINT-NLC/ submittedPB07/manquinho/dbsg/ normalized-dbsg_100_25_4_15.opb |
SAT
TT=1.086 T1=0.99
|
? (TO) TT=1800.16
|
? (TO) TT=1800.08
|
? (TO) TT=1800.15
|
? (TO) TT=1800.09
|
? (TO) TT=1800.08
|
? (TO) TT=1800.16
|
? (TO) TT=1800.04
|
? (TO) TT=1800.01
|
? (TO) TT=1800.09
|
? (TO) TT=1800.12
|
? (TO) TT=1800.01
|
? TT=2.519
|
? TT=2.502
|
? TT=2.669
|
SAT TT=1.086 T1=0.99
|
SAT TT=10.751 T1=10.68
|
normalized-PB07/SATUNSAT-SMALLINT-NLC/ submittedPB07/manquinho/dbsg/ normalized-dbsg_100_25_4_40.opb |
UNSAT
TT=265.784
|
? (TO) TT=1800.08
|
? TT=1800.06
|
? (TO) TT=1800.12
|
UNSAT TT=265.784
|
? (TO) TT=1800.06
|
? (TO) TT=1800.2
|
? (TO) TT=1800.04
|
? (TO) TT=1800.04
|
? (TO) TT=1800.1
|
? (TO) TT=1800.09
|
? (TO) TT=1800.02
|
? TT=2.48
|
? TT=2.537
|
? TT=2.504
|
? (TO) TT=1800.07
|
? (TO) TT=1800.09
|
normalized-PB07/SATUNSAT-SMALLINT-NLC/ submittedPB07/manquinho/dbsg/ normalized-dbsg_100_25_5_15.opb |
SAT
TT=0.917 T1=0.89
|
? (TO) TT=1800.1
|
? (TO) TT=1800.14
|
? (TO) TT=1800.12
|
? (TO) TT=1800.02
|
? (TO) TT=1800.1
|
? (TO) TT=1800.17
|
? (TO) TT=1800.08
|
? (TO) TT=1800.1
|
? (TO) TT=1800.14
|
? (TO) TT=1800.16
|
? (TO) TT=1800.07
|
? TT=2.531
|
? TT=2.459
|
? TT=2.465
|
SAT TT=0.917 T1=0.89
|
SAT TT=97.663 T1=97.55
|
normalized-PB07/SATUNSAT-SMALLINT-NLC/ submittedPB07/manquinho/dbsg/ normalized-dbsg_100_25_5_40.opb |
UNSAT
TT=258.054
|
? (TO) TT=1800.19
|
? (TO) TT=1800.15
|
? (TO) TT=1800.16
|
UNSAT TT=258.054
|
? (TO) TT=1800.03
|
? (TO) TT=1800.23
|
? (TO) TT=1800.02
|
? (TO) TT=1800.02
|
? (TO) TT=1800.06
|
? (TO) TT=1800.13
|
? (TO) TT=1800.02
|
? TT=2.506
|
? TT=2.508
|
? TT=2.458
|
? (TO) TT=1800.1
|
? (TO) TT=1800.12
|
Bench name | Best results on this instance | absconPseudo 102 | bsolo 3.0.16 | bsolo 3.0.17 | glpPB 0.2 | minisat+ 1.14 | oree 0.1.2 alpha | PB-clasp 2007-03-23 | PB-clasp 2007-04-10 | PBS4 2007-03-23 | PBS4_v2 2007-03-23 | Pueblo 1.4 | sat4jPseudoCP 2007-03-23 | sat4jPseudoCPClause 2007-03-23 | SAT4JPseudoResolution 2007-03-23 | wildcat-rnp 2007-03-21 | wildcat-skc 2007-03-21 |
---|
normalized-PB07/SATUNSAT-SMALLINT-NLC/ submittedPB07/manquinho/ dbsg/normalized-dbsg_10_4_1_5.opb |
UNSAT
TT=0.004
|
UNSAT TT=0.576
|
UNSAT TT=0.011
|
UNSAT TT=0.012
|
UNSAT TT=0.01
|
UNSAT TT=0.021
|
UNSAT TT=0.028
|
UNSAT TT=0.052
|
UNSAT TT=0.042
|
UNSAT TT=0.005
|
UNSAT TT=0.006
|
UNSAT TT=0.004
|
? TT=0.258
|
? TT=0.259
|
? TT=0.263
|
? (TO) TT=1800.03
|
? (TO) TT=1800.07
|
normalized-PB07/SATUNSAT-SMALLINT-NLC/ submittedPB07/manquinho/ dbsg/normalized-dbsg_10_4_1_8.opb |
UNSAT
TT=0.003
|
UNSAT TT=0.465
|
UNSAT TT=0.008
|
UNSAT TT=0.011
|
UNSAT TT=0.005
|
UNSAT TT=0.012
|
UNSAT TT=0.006
|
UNSAT TT=0.044
|
UNSAT TT=0.04
|
UNSAT TT=0.003
|
UNSAT TT=0.003
|
UNSAT TT=0.006
|
? TT=0.258
|
? TT=0.261
|
? TT=0.256
|
? (TO) TT=1800.04
|
? (TO) TT=1800.1
|
normalized-PB07/SATUNSAT-SMALLINT-NLC/ submittedPB07/manquinho/ dbsg/normalized-dbsg_10_4_2_5.opb |
UNSAT
TT=0.006
|
UNSAT TT=0.568
|
UNSAT TT=0.01
|
UNSAT TT=0.011
|
UNSAT TT=0.01
|
UNSAT TT=0.021
|
UNSAT TT=0.03
|
UNSAT TT=0.051
|
UNSAT TT=0.043
|
UNSAT TT=0.007
|
UNSAT TT=0.006
|
UNSAT TT=0.008
|
? TT=0.259
|
? TT=0.256
|
? TT=0.256
|
? (TO) TT=1800.08
|
? (TO) TT=1800.11
|
normalized-PB07/SATUNSAT-SMALLINT-NLC/ submittedPB07/manquinho/ dbsg/normalized-dbsg_10_4_2_8.opb |
UNSAT
TT=0.004
|
UNSAT TT=0.532
|
UNSAT TT=0.01
|
UNSAT TT=0.01
|
UNSAT TT=0.006
|
UNSAT TT=0.013
|
UNSAT TT=0.007
|
UNSAT TT=0.045
|
UNSAT TT=0.039
|
UNSAT TT=0.004
|
UNSAT TT=0.004
|
UNSAT TT=0.007
|
? TT=0.259
|
? TT=0.261
|
? TT=0.261
|
? (TO) TT=1800.09
|
? (TO) TT=1800.03
|
normalized-PB07/SATUNSAT-SMALLINT-NLC/ submittedPB07/manquinho/ dbsg/normalized-dbsg_10_4_3_5.opb |
UNSAT
TT=0.007
|
UNSAT TT=0.512
|
UNSAT TT=0.009
|
UNSAT TT=0.011
|
UNSAT TT=0.012
|
UNSAT TT=0.022
|
UNSAT TT=0.027
|
UNSAT TT=0.053
|
UNSAT TT=0.043
|
UNSAT TT=0.007
|
UNSAT TT=0.007
|
UNSAT TT=0.007
|
? TT=0.257
|
? TT=0.257
|
? TT=0.26
|
? (TO) TT=1800.03
|
? (TO) TT=1800.09
|
normalized-PB07/SATUNSAT-SMALLINT-NLC/ submittedPB07/manquinho/ dbsg/normalized-dbsg_10_4_3_8.opb |
UNSAT
TT=0.003
|
UNSAT TT=0.472
|
UNSAT TT=0.009
|
UNSAT TT=0.009
|
UNSAT TT=0.008
|
UNSAT TT=0.012
|
UNSAT TT=0.006
|
UNSAT TT=0.052
|
UNSAT TT=0.042
|
UNSAT TT=0.003
|
UNSAT TT=0.003
|
UNSAT TT=0.006
|
? TT=0.259
|
? TT=0.26
|
? TT=0.255
|
? (TO) TT=1800.04
|
? (TO) TT=1800.05
|
normalized-PB07/SATUNSAT-SMALLINT-NLC/ submittedPB07/manquinho/ dbsg/normalized-dbsg_10_4_4_5.opb |
UNSAT
TT=0.005
|
UNSAT TT=0.528
|
UNSAT TT=0.013
|
UNSAT TT=0.014
|
UNSAT TT=0.014
|
UNSAT TT=0.022
|
UNSAT TT=0.03
|
UNSAT TT=0.052
|
UNSAT TT=0.046
|
UNSAT TT=0.006
|
UNSAT TT=0.006
|
UNSAT TT=0.005
|
? TT=0.256
|
? TT=0.283
|
? TT=0.256
|
? (TO) TT=1800.1
|
? (TO) TT=1800.03
|
normalized-PB07/SATUNSAT-SMALLINT-NLC/ submittedPB07/manquinho/ dbsg/normalized-dbsg_10_4_4_8.opb |
UNSAT
TT=0.004
|
UNSAT TT=0.53
|
UNSAT TT=0.008
|
UNSAT TT=0.008
|
UNSAT TT=0.007
|
UNSAT TT=0.013
|
UNSAT TT=0.005
|
UNSAT TT=0.047
|
UNSAT TT=0.04
|
UNSAT TT=0.004
|
UNSAT TT=0.004
|
UNSAT TT=0.004
|
? TT=0.259
|
? TT=0.258
|
? TT=0.265
|
? (TO) TT=1800.09
|
? (TO) TT=1800.05
|
normalized-PB07/SATUNSAT-SMALLINT-NLC/ submittedPB07/manquinho/ dbsg/normalized-dbsg_10_4_5_5.opb |
UNSAT
TT=0.006
|
UNSAT TT=0.507
|
UNSAT TT=0.014
|
UNSAT TT=0.011
|
UNSAT TT=0.013
|
UNSAT TT=0.021
|
UNSAT TT=0.028
|
UNSAT TT=0.05
|
UNSAT TT=0.044
|
UNSAT TT=0.006
|
UNSAT TT=0.007
|
Signal TT=0.007
|
? TT=0.258
|
? TT=0.254
|
? TT=0.257
|
? (TO) TT=1800.11
|
? (TO) TT=1800.02
|
normalized-PB07/SATUNSAT-SMALLINT-NLC/ submittedPB07/manquinho/ dbsg/normalized-dbsg_10_4_5_8.opb |
UNSAT
TT=0.003
|
UNSAT TT=0.527
|
UNSAT TT=0.007
|
UNSAT TT=0.007
|
UNSAT TT=0.008
|
UNSAT TT=0.012
|
UNSAT TT=0.005
|
UNSAT TT=0.045
|
UNSAT TT=0.039
|
UNSAT TT=0.003
|
UNSAT TT=0.003
|
UNSAT TT=0.004
|
? TT=0.259
|
? TT=0.253
|
? TT=0.257
|
? (TO) TT=1800.02
|
? (TO) TT=1800.04
|
Bench name | Best results on this instance | absconPseudo 102 | bsolo 3.0.16 | bsolo 3.0.17 | glpPB 0.2 | minisat+ 1.14 | oree 0.1.2 alpha | PB-clasp 2007-03-23 | PB-clasp 2007-04-10 | PBS4 2007-03-23 | PBS4_v2 2007-03-23 | Pueblo 1.4 | sat4jPseudoCP 2007-03-23 | sat4jPseudoCPClause 2007-03-23 | SAT4JPseudoResolution 2007-03-23 | wildcat-rnp 2007-03-21 | wildcat-skc 2007-03-21 |
---|
normalized-PB07/SATUNSAT-SMALLINT-NLC/ submittedPB07/manquinho/dbsg/ normalized-dbsg_200_10_1_15.opb |
SAT
TT=0.128 T1=0.01
|
SAT TT=1.588 T1=1.52
|
? (TO) TT=1800.1
|
? (TO) TT=1800.19
|
SAT TT=1.87 T1=1.79
|
SAT TT=0.568 T1=0.49
|
SAT TT=9.272 T1=9.19
|
SAT TT=34.72 T1=34.65
|
SAT TT=0.694 T1=0.01
|
SAT TT=0.272 T1=0.19
|
SAT TT=0.27 T1=0.19
|
SAT TT=0.128 T1=0.09
|
? TT=2.084
|
? TT=2.02
|
? TT=2.022
|
SAT TT=0.21 T1=0.09
|
SAT TT=0.193 T1=0.09
|
normalized-PB07/SATUNSAT-SMALLINT-NLC/ submittedPB07/manquinho/dbsg/ normalized-dbsg_200_10_1_40.opb |
SAT
TT=0.3 T1=0.19
|
? (TO) TT=1800.1
|
? (TO) TT=1800.18
|
? (TO) TT=1800.26
|
? (TO) TT=1800.08
|
SAT TT=2.061 T1=1.99
|
SAT TT=9.843 T1=9.79
|
SAT TT=19.943 T1=19.86
|
? (TO) TT=1800.03
|
SAT TT=18.18 T1=18.08
|
SAT TT=18.149 T1=18.09
|
SAT TT=1.698 T1=1.59
|
? TT=2.01
|
? TT=2.047
|
? TT=2.028
|
SAT TT=0.3 T1=0.19
|
SAT TT=0.401 T1=0.29
|
normalized-PB07/SATUNSAT-SMALLINT-NLC/ submittedPB07/manquinho/dbsg/ normalized-dbsg_200_10_2_15.opb |
SAT
TT=0.124 T1=0.01
|
SAT TT=1.658 T1=1.61
|
? (TO) TT=1800.15
|
? (TO) TT=1800.18
|
SAT TT=1.137 T1=1.09
|
SAT TT=0.531 T1=0.48
|
SAT TT=7.048 T1=6.99
|
SAT TT=29.742 T1=29.66
|
SAT TT=0.71 T1=0.01
|
SAT TT=0.583 T1=0.49
|
SAT TT=0.586 T1=0.49
|
SAT TT=0.124 T1=0.09
|
? TT=2.041
|
? TT=2.093
|
? TT=2.058
|
SAT TT=0.217 T1=0.19
|
SAT TT=0.199 T1=0.09
|
normalized-PB07/SATUNSAT-SMALLINT-NLC/ submittedPB07/manquinho/dbsg/ normalized-dbsg_200_10_2_40.opb |
SAT
TT=0.335 T1=0.29
|
? (TO) TT=1800.12
|
? (TO) TT=1800.08
|
? (TO) TT=1800.09
|
SAT TT=30.021 T1=29.99
|
SAT TT=2.832 T1=2.79
|
SAT TT=1759.42 T1=1759.34
|
SAT TT=29.022 T1=28.95
|
SAT TT=80.952 T1=80.9
|
SAT TT=23.859 T1=23.79
|
SAT TT=23.771 T1=23.66
|
SAT TT=1595.79 T1=1595.77
|
? TT=2.061
|
? TT=2.059
|
? TT=2.107
|
SAT TT=0.335 T1=0.29
|
SAT TT=0.72 T1=0.68
|
normalized-PB07/SATUNSAT-SMALLINT-NLC/ submittedPB07/manquinho/dbsg/ normalized-dbsg_200_10_3_15.opb |
SAT
TT=0.124 T1=0.01
|
SAT TT=1.727 T1=1.65
|
? (TO) TT=1800.11
|
? (TO) TT=1800.13
|
SAT TT=0.57 T1=0.48
|
SAT TT=0.521 T1=0.49
|
SAT TT=16.578 T1=16.49
|
SAT TT=19.943 T1=19.85
|
SAT TT=0.689 T1=0.01
|
SAT TT=0.782 T1=0.69
|
SAT TT=0.783 T1=0.69
|
SAT TT=0.124 T1=0.09
|
? TT=2.103
|
? TT=2.07
|
? TT=2.059
|
SAT TT=0.209 T1=0.09
|
SAT TT=0.203 T1=0.09
|
normalized-PB07/SATUNSAT-SMALLINT-NLC/ submittedPB07/manquinho/dbsg/ normalized-dbsg_200_10_3_40.opb |
SAT
TT=0.283 T1=0.19
|
? (TO) TT=1800.09
|
? (TO) TT=1800.13
|
? (TO) TT=1800.1
|
SAT TT=30.669 T1=30.59
|
SAT TT=1.191 T1=1.09
|
SAT TT=683.513 T1=683.42
|
SAT TT=13.67 T1=13.56
|
SAT TT=28.713 T1=28.62
|
SAT TT=14.113 T1=14.08
|
SAT TT=14.053 T1=13.96
|
SAT TT=0.764 T1=0.69
|
? TT=2.027
|
? TT=2.069
|
? TT=2.011
|
SAT TT=0.283 T1=0.19
|
SAT TT=0.387 T1=0.29
|
normalized-PB07/SATUNSAT-SMALLINT-NLC/ submittedPB07/manquinho/dbsg/ normalized-dbsg_200_10_4_15.opb |
SAT
TT=0.121 T1=0.01
|
SAT TT=1.686 T1=1.64
|
SAT TT=58.599 T1=58.47
|
SAT TT=58.535 T1=58.46
|
SAT TT=0.826 T1=0.79
|
SAT TT=0.869 T1=0.79
|
SAT TT=648.628 T1=648.51
|
SAT TT=10.988 T1=10.86
|
SAT TT=0.708 T1=0.01
|
SAT TT=0.588 T1=0.49
|
SAT TT=0.586 T1=0.49
|
SAT TT=0.121 T1=0.08
|
? TT=2.152
|
? TT=2.16
|
? TT=2.114
|
SAT TT=0.217 T1=0.19
|
SAT TT=0.199 T1=0.09
|
normalized-PB07/SATUNSAT-SMALLINT-NLC/ submittedPB07/manquinho/dbsg/ normalized-dbsg_200_10_4_40.opb |
SAT
TT=0.378 T1=0.29
|
? (TO) TT=1800.1
|
? (TO) TT=1800.17
|
? (TO) TT=1800.17
|
SAT TT=48.392 T1=48.28
|
SAT TT=4.152 T1=4.09
|
? (TO) TT=1800.6
|
SAT TT=74.763 T1=74.65
|
SAT TT=1.965 T1=1.92
|
SAT TT=0.656 T1=0.59
|
SAT TT=0.655 T1=0.59
|
SAT TT=0.867 T1=0.79
|
? TT=2.117
|
? TT=2.102
|
? TT=2.18
|
SAT TT=0.378 T1=0.29
|
SAT TT=0.599 T1=0.49
|
normalized-PB07/SATUNSAT-SMALLINT-NLC/ submittedPB07/manquinho/dbsg/ normalized-dbsg_200_10_5_15.opb |
SAT
TT=0.126 T1=0
|
SAT TT=1.674 T1=1.64
|
SAT TT=522.217 T1=522.09
|
SAT TT=522.995 T1=522.85
|
SAT TT=0.826 T1=0.79
|
SAT TT=0.536 T1=0.48
|
SAT TT=8.476 T1=8.38
|
SAT TT=17.332 T1=17.27
|
SAT TT=0.73 T1=0
|
SAT TT=0.311 T1=0.29
|
SAT TT=0.334 T1=0.29
|
SAT TT=0.126 T1=0.09
|
? TT=2.116
|
? TT=2.091
|
? TT=2.127
|
SAT TT=0.216 T1=0.19
|
SAT TT=0.195 T1=0.09
|
normalized-PB07/SATUNSAT-SMALLINT-NLC/ submittedPB07/manquinho/dbsg/ normalized-dbsg_200_10_5_40.opb |
SAT
TT=0.238 T1=0.19
|
? (TO) TT=1800.1
|
? (TO) TT=1800.18
|
? (TO) TT=1800.17
|
? (TO) TT=1800.09
|
SAT TT=2.705 T1=2.69
|
SAT TT=20.242 T1=20.18
|
SAT TT=12.065 T1=11.96
|
SAT TT=65.093 T1=65
|
SAT TT=17.524 T1=17.49
|
SAT TT=16.444 T1=16.38
|
SAT TT=0.238 T1=0.19
|
? TT=2.109
|
? TT=2.098
|
? TT=2.121
|
SAT TT=0.333 T1=0.29
|
SAT TT=0.441 T1=0.39
|
Bench name | Best results on this instance | absconPseudo 102 | bsolo 3.0.16 | bsolo 3.0.17 | glpPB 0.2 | minisat+ 1.14 | oree 0.1.2 alpha | PB-clasp 2007-03-23 | PB-clasp 2007-04-10 | PBS4 2007-03-23 | PBS4_v2 2007-03-23 | Pueblo 1.4 | sat4jPseudoCP 2007-03-23 | sat4jPseudoCPClause 2007-03-23 | SAT4JPseudoResolution 2007-03-23 | wildcat-rnp 2007-03-21 | wildcat-skc 2007-03-21 |
---|
normalized-PB07/SATUNSAT-SMALLINT-NLC/ submittedPB07/manquinho/dbsg/ normalized-dbsg_200_25_1_15.opb |
SAT
TT=0.383 T1=0.28
|
SAT TT=27.714 T1=27.65
|
SAT TT=399.834 T1=399.7
|
SAT TT=399.833 T1=399.72
|
SAT TT=40.961 T1=40.88
|
SAT TT=1.252 T1=1.2
|
SAT TT=9.049 T1=8.99
|
SAT TT=42.386 T1=42.26
|
SAT TT=1.635 T1=1.59
|
SAT TT=2.426 T1=2.39
|
SAT TT=2.407 T1=2.39
|
SAT TT=0.383 T1=0.28
|
? TT=9.753
|
? TT=9.755
|
? TT=9.882
|
SAT TT=0.718 T1=0.59
|
SAT TT=0.608 T1=0.49
|
normalized-PB07/SATUNSAT-SMALLINT-NLC/ submittedPB07/manquinho/dbsg/ normalized-dbsg_200_25_1_40.opb |
|
? (TO) TT=1800.09
|
? (TO) TT=1800.1
|
? (TO) TT=1800.14
|
? (TO) TT=1800.03
|
? (TO) TT=1800.13
|
? (TO) TT=1800.28
|
? (TO) TT=1800.09
|
? (TO) TT=1800.11
|
? (TO) TT=1800.05
|
? (TO) TT=1800.08
|
? (TO) TT=1800.06
|
? TT=9.734
|
? TT=9.831
|
? TT=9.708
|
? (TO) TT=1800.1
|
? (TO) TT=1800.09
|
normalized-PB07/SATUNSAT-SMALLINT-NLC/ submittedPB07/manquinho/dbsg/ normalized-dbsg_200_25_2_15.opb |
SAT
TT=0.391 T1=0.29
|
SAT TT=32.083 T1=32.04
|
? (TO) TT=1800.15
|
? (TO) TT=1800.08
|
SAT TT=17.169 T1=17.08
|
SAT TT=1.432 T1=1.39
|
SAT TT=15.354 T1=15.29
|
SAT TT=42.396 T1=21.13
|
SAT TT=1.763 T1=1.7
|
SAT TT=27.8 T1=27.68
|
SAT TT=27.832 T1=27.78
|
SAT TT=0.391 T1=0.29
|
? TT=9.865
|
? TT=9.77
|
? TT=9.816
|
SAT TT=0.742 T1=0.69
|
SAT TT=0.612 T1=0.5
|
normalized-PB07/SATUNSAT-SMALLINT-NLC/ submittedPB07/manquinho/dbsg/ normalized-dbsg_200_25_2_40.opb |
|
? (TO) TT=1800.12
|
? (TO) TT=1800.09
|
? (TO) TT=1800.14
|
? (TO) TT=1800.08
|
? (TO) TT=1800.11
|
? (TO) TT=1800.08
|
? (TO) TT=1800.05
|
? (TO) TT=1800.01
|
? (TO) TT=1800.03
|
? (TO) TT=1800.05
|
? (TO) TT=1800.08
|
? TT=9.882
|
? TT=9.821
|
? TT=9.854
|
? (TO) TT=1800.05
|
? (TO) TT=1800.14
|
normalized-PB07/SATUNSAT-SMALLINT-NLC/ submittedPB07/manquinho/dbsg/ normalized-dbsg_200_25_3_15.opb |
SAT
TT=0.385 T1=0.29
|
SAT TT=153.54 T1=153.45
|
? (TO) TT=1800.09
|
? (TO) TT=1800.08
|
SAT TT=16.276 T1=16.18
|
SAT TT=1.349 T1=1.29
|
SAT TT=10.09 T1=9.99
|
SAT TT=25.335 T1=25.22
|
SAT TT=1.692 T1=1.61
|
SAT TT=4.487 T1=4.4
|
SAT TT=4.493 T1=4.4
|
SAT TT=0.385 T1=0.29
|
? TT=9.657
|
? TT=9.455
|
? TT=9.66
|
SAT TT=0.787 T1=0.69
|
SAT TT=0.676 T1=0.59
|
normalized-PB07/SATUNSAT-SMALLINT-NLC/ submittedPB07/manquinho/dbsg/ normalized-dbsg_200_25_3_40.opb |
|
? (TO) TT=1800.17
|
? (TO) TT=1800.07
|
? (TO) TT=1800.1
|
? (TO) TT=1800.04
|
? (TO) TT=1800.11
|
? (TO) TT=1800.53
|
? (TO) TT=1800.08
|
? (TO) TT=1800.03
|
? (TO) TT=1800.12
|
? (TO) TT=1800.14
|
? (TO) TT=1800.09
|
? TT=9.668
|
? TT=9.824
|
? TT=9.76
|
? (TO) TT=1800.11
|
? (TO) TT=1800.04
|
normalized-PB07/SATUNSAT-SMALLINT-NLC/ submittedPB07/manquinho/dbsg/ normalized-dbsg_200_25_4_15.opb |
SAT
TT=0.385 T1=0.29
|
SAT TT=344.773 T1=344.7
|
? (TO) TT=1800.05
|
? (TO) TT=1800.15
|
SAT TT=34.568 T1=34.48
|
SAT TT=1.814 T1=1.78
|
SAT TT=9.83 T1=9.8
|
SAT TT=22.861 T1=22.73
|
SAT TT=1.562 T1=1.5
|
SAT TT=16.323 T1=16.29
|
SAT TT=16.246 T1=16.19
|
SAT TT=0.385 T1=0.29
|
? TT=9.576
|
? TT=9.545
|
? TT=9.545
|
SAT TT=0.717 T1=0.59
|
SAT TT=0.757 T1=0.69
|
normalized-PB07/SATUNSAT-SMALLINT-NLC/ submittedPB07/manquinho/dbsg/ normalized-dbsg_200_25_4_40.opb |
|
? (TO) TT=1800.09
|
? (TO) TT=1800.14
|
? (TO) TT=1800.17
|
? (TO) TT=1800.08
|
? (TO) TT=1800.14
|
? (TO) TT=1800.1
|
? (TO) TT=1800.08
|
? (TO) TT=1800.1
|
? (TO) TT=1800.05
|
? (TO) TT=1800.07
|
? (TO) TT=1800.03
|
? TT=9.581
|
? TT=9.494
|
? TT=9.554
|
? (TO) TT=1800.06
|
? (TO) TT=1800.09
|
normalized-PB07/SATUNSAT-SMALLINT-NLC/ submittedPB07/manquinho/dbsg/ normalized-dbsg_200_25_5_15.opb |
SAT
TT=0.385 T1=0.29
|
SAT TT=33.764 T1=33.71
|
? (TO) TT=1800.07
|
? (TO) TT=1800.08
|
SAT TT=25.365 T1=25.29
|
SAT TT=1.75 T1=1.68
|
SAT TT=9.221 T1=9.18
|
SAT TT=29.866 T1=29.74
|
SAT TT=1.563 T1=1.51
|
SAT TT=3.401 T1=3.29
|
SAT TT=3.408 T1=3.39
|
SAT TT=0.385 T1=0.29
|
? TT=9.968
|
? TT=10.065
|
? TT=10.009
|
SAT TT=0.676 T1=0.59
|
SAT TT=0.677 T1=0.59
|
normalized-PB07/SATUNSAT-SMALLINT-NLC/ submittedPB07/manquinho/dbsg/ normalized-dbsg_200_25_5_40.opb |
|
? (TO) TT=1800.13
|
? (TO) TT=1800.13
|
? (TO) TT=1800.1
|
? (TO) TT=1800.02
|
? (TO) TT=1800.1
|
? (TO) TT=1800.39
|
? (TO) TT=1800.05
|
? (TO) TT=1800.11
|
? (TO) TT=1800.06
|
? (TO) TT=1800.09
|
? (TO) TT=1800.08
|
? TT=10.02
|
? TT=9.968
|
? TT=10.024
|
? (TO) TT=1800.08
|
? (TO) TT=1800.09
|
Bench name | Best results on this instance | absconPseudo 102 | bsolo 3.0.16 | bsolo 3.0.17 | glpPB 0.2 | minisat+ 1.14 | oree 0.1.2 alpha | PB-clasp 2007-03-23 | PB-clasp 2007-04-10 | PBS4 2007-03-23 | PBS4_v2 2007-03-23 | Pueblo 1.4 | sat4jPseudoCP 2007-03-23 | sat4jPseudoCPClause 2007-03-23 | SAT4JPseudoResolution 2007-03-23 | wildcat-rnp 2007-03-21 | wildcat-skc 2007-03-21 |
---|
normalized-PB07/SATUNSAT-SMALLINT-NLC/ submittedPB07/manquinho/dbsg/ normalized-dbsg_500_10_1_15.opb |
SAT
TT=0.437 T1=0.39
|
SAT TT=7.11 T1=7.03
|
SAT TT=720.246 T1=720.08
|
SAT TT=722.097 T1=721.92
|
SAT TT=0.505 T1=0.39
|
SAT TT=10.237 T1=10.17
|
SAT TT=75.436 T1=75.37
|
SAT TT=1202.5 T1=1202.45
|
SAT TT=11.156 T1=11.11
|
SAT TT=6.279 T1=6.19
|
SAT TT=6.242 T1=6.19
|
SAT TT=0.437 T1=0.39
|
? TT=14.103
|
? TT=14.223
|
? TT=14.158
|
SAT TT=0.638 T1=0.59
|
SAT TT=0.526 T1=0.39
|
normalized-PB07/SATUNSAT-SMALLINT-NLC/ submittedPB07/manquinho/dbsg/ normalized-dbsg_500_10_1_80.opb |
SAT
TT=0.5 T1=0.39
|
? (TO) TT=1800.1
|
? (TO) TT=1800.14
|
? (TO) TT=1800.18
|
? (TO) TT=1800.05
|
SAT TT=6.499 T1=6.38
|
? (TO) TT=1800.88
|
SAT TT=416.075 T1=415.96
|
SAT TT=24.108 T1=23.99
|
SAT TT=66.309 T1=66.27
|
SAT TT=66.937 T1=66.86
|
SAT TT=0.5 T1=0.39
|
? TT=14.001
|
? TT=14.005
|
? TT=13.885
|
SAT TT=0.875 T1=0.79
|
SAT TT=0.894 T1=0.79
|
normalized-PB07/SATUNSAT-SMALLINT-NLC/ submittedPB07/manquinho/dbsg/ normalized-dbsg_500_10_2_15.opb |
SAT
TT=0.4 T1=0.29
|
SAT TT=6.911 T1=6.81
|
? (TO) TT=1800.12
|
? (TO) TT=1800.23
|
SAT TT=0.463 T1=0.39
|
SAT TT=4.271 T1=4.18
|
? (TO) TT=1802.06
|
SAT TT=1002.86 T1=1002.82
|
SAT TT=14.653 T1=14.6
|
SAT TT=6.428 T1=6.39
|
SAT TT=6.37 T1=6.29
|
SAT TT=0.4 T1=0.29
|
? TT=13.913
|
? TT=14.127
|
? TT=13.955
|
SAT TT=0.584 T1=0.49
|
SAT TT=0.556 T1=0.49
|
normalized-PB07/SATUNSAT-SMALLINT-NLC/ submittedPB07/manquinho/dbsg/ normalized-dbsg_500_10_2_80.opb |
SAT
TT=0.437 T1=0.38
|
? (TO) TT=1800.1
|
? (TO) TT=1800.23
|
? (TO) TT=1800.25
|
SAT TT=373.14 T1=373.09
|
SAT TT=3.774 T1=3.69
|
? (TO) TT=1800.08
|
SAT TT=1158.31 T1=1158.21
|
SAT TT=14.909 T1=14.8
|
SAT TT=6.352 T1=6.29
|
SAT TT=5.966 T1=5.88
|
SAT TT=0.437 T1=0.38
|
? TT=13.794
|
? TT=14.071
|
? TT=14.069
|
SAT TT=0.702 T1=0.59
|
SAT TT=1.096 T1=0.99
|
normalized-PB07/SATUNSAT-SMALLINT-NLC/ submittedPB07/manquinho/dbsg/ normalized-dbsg_500_10_3_15.opb |
SAT
TT=0.405 T1=0.29
|
SAT TT=7.176 T1=7.11
|
? (TO) TT=1800.26
|
? (TO) TT=1800.34
|
SAT TT=0.468 T1=0.39
|
SAT TT=5.369 T1=5.28
|
SAT TT=78.616 T1=78.57
|
SAT TT=817.085 T1=816.99
|
SAT TT=10.324 T1=10.19
|
SAT TT=5.535 T1=5.5
|
SAT TT=5.515 T1=5.49
|
SAT TT=0.405 T1=0.29
|
? TT=14.012
|
? TT=14.28
|
? TT=14.301
|
SAT TT=0.568 T1=0.49
|
SAT TT=0.549 T1=0.49
|
normalized-PB07/SATUNSAT-SMALLINT-NLC/ submittedPB07/manquinho/dbsg/ normalized-dbsg_500_10_3_80.opb |
SAT
TT=0.595 T1=0.49
|
? (TO) TT=1800.06
|
? (TO) TT=1800.15
|
? (TO) TT=1800.24
|
SAT TT=378.333 T1=378.3
|
SAT TT=41.283 T1=41.17
|
? (TO) TT=1800.13
|
SAT TT=831.027 T1=830.96
|
SAT TT=30.837 T1=30.7
|
SAT TT=9.094 T1=8.99
|
SAT TT=9.005 T1=8.98
|
SAT TT=0.595 T1=0.49
|
? TT=14.329
|
? TT=14.425
|
? TT=14.271
|
SAT TT=0.845 T1=0.79
|
SAT TT=0.728 T1=0.59
|
normalized-PB07/SATUNSAT-SMALLINT-NLC/ submittedPB07/manquinho/dbsg/ normalized-dbsg_500_10_4_15.opb |
SAT
TT=0.434 T1=0.39
|
SAT TT=7.043 T1=7.01
|
? (TO) TT=1800.17
|
? (TO) TT=1800.12
|
SAT TT=0.502 T1=0.49
|
SAT TT=11.025 T1=10.98
|
SAT TT=295.449 T1=295.41
|
SAT TT=846.095 T1=846.01
|
SAT TT=14.236 T1=14.11
|
SAT TT=6.541 T1=6.49
|
SAT TT=6.531 T1=6.49
|
SAT TT=0.434 T1=0.39
|
? TT=14.337
|
? TT=14.286
|
? TT=14.36
|
SAT TT=0.632 T1=0.49
|
SAT TT=0.59 T1=0.49
|
normalized-PB07/SATUNSAT-SMALLINT-NLC/ submittedPB07/manquinho/dbsg/ normalized-dbsg_500_10_4_80.opb |
SAT
TT=0.414 T1=0.39
|
? (TO) TT=1800.09
|
? (TO) TT=1800.28
|
? (TO) TT=1800.28
|
? (TO) TT=1800.02
|
SAT TT=4.562 T1=4.49
|
SAT TT=210.102 T1=210.04
|
SAT TT=759.269 T1=759.19
|
SAT TT=18.824 T1=18.71
|
SAT TT=6.473 T1=6.39
|
SAT TT=6.521 T1=6.47
|
SAT TT=0.414 T1=0.39
|
? TT=14.212
|
? TT=14.306
|
? TT=14.376
|
SAT TT=0.858 T1=0.79
|
SAT TT=1.043 T1=1
|
normalized-PB07/SATUNSAT-SMALLINT-NLC/ submittedPB07/manquinho/dbsg/ normalized-dbsg_500_10_5_15.opb |
SAT
TT=0.428 T1=0.39
|
SAT TT=6.869 T1=6.76
|
? (TO) TT=1800.2
|
? (TO) TT=1800.28
|
SAT TT=0.516 T1=0.49
|
SAT TT=3.344 T1=3.29
|
SAT TT=1713.59 T1=1713.49
|
SAT TT=698.172 T1=698.06
|
SAT TT=10.568 T1=10.51
|
SAT TT=6.813 T1=6.79
|
SAT TT=7.318 T1=7.28
|
SAT TT=0.428 T1=0.39
|
? TT=13.874
|
? TT=13.623
|
? TT=13.972
|
SAT TT=0.571 T1=0.49
|
SAT TT=0.532 T1=0.39
|
normalized-PB07/SATUNSAT-SMALLINT-NLC/ submittedPB07/manquinho/dbsg/ normalized-dbsg_500_10_5_80.opb |
SAT
TT=0.589 T1=0.49
|
? (TO) TT=1800.05
|
? (TO) TT=1800.17
|
? (TO) TT=1800.12
|
SAT TT=458.215 T1=458.15
|
SAT TT=36.523 T1=36.48
|
SAT TT=99.011 T1=98.9
|
SAT TT=1193.35 T1=1193.31
|
SAT TT=51.819 T1=51.69
|
SAT TT=110.664 T1=110.56
|
SAT TT=109.034 T1=108.95
|
SAT TT=0.589 T1=0.49
|
? TT=13.876
|
? TT=14.007
|
? TT=13.929
|
SAT TT=0.872 T1=0.79
|
SAT TT=0.957 T1=0.89
|
Bench name | Best results on this instance | absconPseudo 102 | bsolo 3.0.16 | bsolo 3.0.17 | glpPB 0.2 | minisat+ 1.14 | oree 0.1.2 alpha | PB-clasp 2007-03-23 | PB-clasp 2007-04-10 | PBS4 2007-03-23 | PBS4_v2 2007-03-23 | Pueblo 1.4 | sat4jPseudoCP 2007-03-23 | sat4jPseudoCPClause 2007-03-23 | SAT4JPseudoResolution 2007-03-23 | wildcat-rnp 2007-03-21 | wildcat-skc 2007-03-21 |
---|
normalized-PB07/SATUNSAT-SMALLINT-NLC/ submittedPB07/manquinho/dbsg/ normalized-dbsg_500_25_1_15.opb |
SAT
TT=1.479 T1=1.39
|
SAT TT=32.08 T1=31.94
|
? (TO) TT=1800.17
|
? (TO) TT=1800.22
|
SAT TT=12.584 T1=12.55
|
SAT TT=32.388 T1=32.28
|
SAT TT=1714.1 T1=1714.04
|
SAT TT=739.851 T1=739.73
|
SAT TT=10.696 T1=10.61
|
SAT TT=28.608 T1=28.49
|
SAT TT=31.161 T1=31.09
|
SAT TT=1.479 T1=1.39
|
? TT=94.056
|
? TT=93.992
|
? TT=92.162
|
SAT TT=1.993 T1=1.89
|
SAT TT=1.764 T1=1.59
|
normalized-PB07/SATUNSAT-SMALLINT-NLC/ submittedPB07/manquinho/dbsg/ normalized-dbsg_500_25_1_80.opb |
SAT
TT=30.683 T1=30.57
|
? (TO) TT=1800.15
|
? (TO) TT=1800.15
|
? (TO) TT=1800.21
|
? (TO) TT=1800.06
|
? (TO) TT=1800.1
|
? (TO) TT=1800.27
|
? (TO) TT=1800.07
|
? (TO) TT=1800.02
|
? (TO) TT=1800.09
|
? (TO) TT=1800.06
|
? (TO) TT=1800.07
|
? TT=94.021
|
? TT=93.982
|
? TT=92.349
|
SAT TT=30.683 T1=30.57
|
SAT TT=772.895 T1=772.78
|
normalized-PB07/SATUNSAT-SMALLINT-NLC/ submittedPB07/manquinho/dbsg/ normalized-dbsg_500_25_2_15.opb |
SAT
TT=1.565 T1=1.48
|
SAT TT=32.449 T1=32.34
|
SAT TT=578.809 T1=578.63
|
SAT TT=577.699 T1=577.48
|
SAT TT=21.506 T1=21.46
|
SAT TT=5.883 T1=5.79
|
SAT TT=123.581 T1=123.45
|
? (TO) TT=1800.04
|
SAT TT=9.342 T1=9.3
|
SAT TT=29.215 T1=29.15
|
SAT TT=29.814 T1=29.78
|
SAT TT=1.565 T1=1.49
|
? TT=93.887
|
? TT=93.782
|
? TT=93.599
|
SAT TT=2.125 T1=1.99
|
SAT TT=1.654 T1=1.48
|
normalized-PB07/SATUNSAT-SMALLINT-NLC/ submittedPB07/manquinho/dbsg/ normalized-dbsg_500_25_2_80.opb |
SAT
TT=18.582 T1=18.48
|
? (TO) TT=1800.13
|
? (TO) TT=1800.23
|
? (TO) TT=1800.17
|
? (TO) TT=1800.05
|
? (TO) TT=1800.14
|
? (TO) TT=1802.1
|
? (TO) TT=1800.07
|
? (TO) TT=1800.02
|
? (TO) TT=1800.11
|
? (TO) TT=1800.04
|
? (TO) TT=1800.06
|
? TT=93.754
|
? TT=93.733
|
? TT=93.778
|
SAT TT=18.582 T1=18.48
|
SAT TT=1338.39 T1=1338.21
|
normalized-PB07/SATUNSAT-SMALLINT-NLC/ submittedPB07/manquinho/dbsg/ normalized-dbsg_500_25_3_15.opb |
SAT
TT=1.31 T1=1.19
|
SAT TT=33.307 T1=33.21
|
? (TO) TT=1800.22
|
SAT TT=1711.06 T1=1710.76
|
SAT TT=1.31 T1=1.19
|
SAT TT=10.845 T1=10.78
|
SAT TT=368.577 T1=368.5
|
SAT TT=1547.56 T1=1547.43
|
SAT TT=10.388 T1=10.3
|
SAT TT=29.02 T1=28.99
|
SAT TT=28.962 T1=28.93
|
SAT TT=1.585 T1=1.49
|
? TT=94.058
|
? TT=94.26
|
? TT=94.218
|
SAT TT=2.039 T1=1.89
|
SAT TT=1.598 T1=1.49
|
normalized-PB07/SATUNSAT-SMALLINT-NLC/ submittedPB07/manquinho/dbsg/ normalized-dbsg_500_25_3_80.opb |
SAT
TT=25.404 T1=25.29
|
? (TO) TT=1800.18
|
? (TO) TT=1800.22
|
? (MO) TT=1446.73
|
? (TO) TT=1800.12
|
? (TO) TT=1800.15
|
? (TO) TT=1800.15
|
? (TO) TT=1800.01
|
? (TO) TT=1800.05
|
? (TO) TT=1800.04
|
? (TO) TT=1800.07
|
? TT=1796.96
|
? TT=94.069
|
? TT=94.121
|
? TT=94.069
|
SAT TT=25.404 T1=25.29
|
SAT TT=499.238 T1=499.11
|
normalized-PB07/SATUNSAT-SMALLINT-NLC/ submittedPB07/manquinho/dbsg/ normalized-dbsg_500_25_4_15.opb |
SAT
TT=1.516 T1=1.47
|
SAT TT=33.144 T1=33.02
|
? (TO) TT=1800.21
|
? (TO) TT=1800.26
|
SAT TT=9.561 T1=9.48
|
SAT TT=20.474 T1=20.37
|
SAT TT=131.86 T1=131.74
|
SAT TT=1424.87 T1=1424.74
|
SAT TT=8.904 T1=8.81
|
SAT TT=48.841 T1=48.77
|
SAT TT=45.264 T1=45.16
|
SAT TT=1.516 T1=1.47
|
? TT=94.171
|
? TT=94.075
|
? TT=95.2
|
SAT TT=1.83 T1=1.69
|
SAT TT=1.657 T1=1.49
|
normalized-PB07/SATUNSAT-SMALLINT-NLC/ submittedPB07/manquinho/dbsg/ normalized-dbsg_500_25_4_80.opb |
SAT
TT=30.693 T1=30.58
|
? (TO) TT=1800.14
|
? (TO) TT=1800.27
|
? (TO) TT=1800.35
|
? (TO) TT=1800.02
|
? (TO) TT=1800.07
|
? (TO) TT=1800.8
|
? (TO) TT=1800.09
|
? (TO) TT=1800
|
? (TO) TT=1800.08
|
? (TO) TT=1800.07
|
? (TO) TT=1800.12
|
? TT=94.984
|
? TT=95.211
|
? TT=95.214
|
SAT TT=30.693 T1=30.58
|
SAT TT=1227.99 T1=1227.82
|
normalized-PB07/SATUNSAT-SMALLINT-NLC/ submittedPB07/manquinho/dbsg/ normalized-dbsg_500_25_5_15.opb |
SAT
TT=1.585 T1=1.49
|
SAT TT=33.491 T1=33.4
|
SAT TT=1603.77 T1=1603.48
|
SAT TT=1537.96 T1=1537.68
|
SAT TT=6.183 T1=6.09
|
SAT TT=7.741 T1=7.69
|
SAT TT=1082.55 T1=1082.41
|
? (TO) TT=1800.05
|
SAT TT=8.645 T1=8.51
|
SAT TT=35.517 T1=35.48
|
SAT TT=34.207 T1=34.12
|
SAT TT=1.585 T1=1.49
|
? TT=93.224
|
? TT=93.046
|
? TT=93.07
|
SAT TT=1.984 T1=1.89
|
SAT TT=1.691 T1=1.59
|
normalized-PB07/SATUNSAT-SMALLINT-NLC/ submittedPB07/manquinho/dbsg/ normalized-dbsg_500_25_5_80.opb |
SAT
TT=32.183 T1=32.06
|
? (TO) TT=1800.14
|
? (TO) TT=1800.22
|
? (TO) TT=1800.32
|
? (TO) TT=1800.03
|
? (TO) TT=1800.16
|
? (TO) TT=1800.09
|
? (TO) TT=1800.08
|
? (TO) TT=1800.07
|
? (TO) TT=1800.08
|
? (TO) TT=1800.07
|
? (TO) TT=1800.05
|
? TT=93.458
|
? TT=93.257
|
? TT=93.143
|
SAT TT=32.183 T1=32.06
|
SAT TT=1761.51 T1=1761.39
|
Bench name | Best results on this instance | absconPseudo 102 | bsolo 3.0.16 | bsolo 3.0.17 | glpPB 0.2 | minisat+ 1.14 | oree 0.1.2 alpha | PB-clasp 2007-03-23 | PB-clasp 2007-04-10 | PBS4 2007-03-23 | PBS4_v2 2007-03-23 | Pueblo 1.4 | sat4jPseudoCP 2007-03-23 | sat4jPseudoCPClause 2007-03-23 | SAT4JPseudoResolution 2007-03-23 | wildcat-rnp 2007-03-21 | wildcat-skc 2007-03-21 |
---|
normalized-PB07/SATUNSAT-SMALLINT-NLC/ submittedPB07/manquinho/dbsg/ normalized-dbsg_500_60_1_15.opb |
SAT
TT=6.242 T1=5.99
|
SAT TT=691.213 T1=691.09
|
? (TO) TT=1800.19
|
? (TO) TT=1800.14
|
SAT TT=429.905 T1=429.78
|
SAT TT=26.271 T1=26.17
|
SAT TT=484.876 T1=484.72
|
SAT TT=1387.74 T1=1387.69
|
SAT TT=12.195 T1=12.1
|
SAT TT=403.62 T1=403.54
|
SAT TT=418.136 T1=418.05
|
SAT TT=15.428 T1=15.38
|
? TT=459.094
|
? TT=458.943
|
? TT=458.546
|
SAT TT=8.052 T1=7.79
|
SAT TT=6.242 T1=5.99
|
normalized-PB07/SATUNSAT-SMALLINT-NLC/ submittedPB07/manquinho/dbsg/ normalized-dbsg_500_60_1_80.opb |
|
? (TO) TT=1800.11
|
? (TO) TT=1800.2
|
? (TO) TT=1800.19
|
? (TO) TT=1800.05
|
? (TO) TT=1800.15
|
? (TO) TT=1800.73
|
? (TO) TT=1800.02
|
? (TO) TT=1800.06
|
? (TO) TT=1800.12
|
? (TO) TT=1800.09
|
? (TO) TT=1800.09
|
? TT=458.876
|
? TT=459.873
|
? TT=457.029
|
? (TO) TT=1800.13
|
? (TO) TT=1800.19
|
normalized-PB07/SATUNSAT-SMALLINT-NLC/ submittedPB07/manquinho/dbsg/ normalized-dbsg_500_60_2_15.opb |
SAT
TT=6.705 T1=6.49
|
SAT TT=371.89 T1=371.77
|
? (TO) TT=1800.14
|
? (TO) TT=1800.14
|
SAT TT=1148.49 T1=1148.36
|
SAT TT=11.025 T1=10.88
|
SAT TT=200.777 T1=200.64
|
? (TO) TT=1800.08
|
SAT TT=12.267 T1=12.17
|
SAT TT=176.373 T1=176.24
|
SAT TT=190.317 T1=190.23
|
SAT TT=15.507 T1=15.39
|
? TT=458.873
|
? TT=458.029
|
? TT=458.748
|
SAT TT=7.999 T1=7.79
|
SAT TT=6.705 T1=6.49
|
normalized-PB07/SATUNSAT-SMALLINT-NLC/ submittedPB07/manquinho/dbsg/ normalized-dbsg_500_60_2_80.opb |
|
? (TO) TT=1800.16
|
? (TO) TT=1800.14
|
? (TO) TT=1800.15
|
? (TO) TT=1800.04
|
? (TO) TT=1800.18
|
? (TO) TT=1801.97
|
? (TO) TT=1800.08
|
? (TO) TT=1800.01
|
? (TO) TT=1800.07
|
? (TO) TT=1800.09
|
? (TO) TT=1800.13
|
? TT=458.095
|
? TT=458.194
|
? TT=458.32
|
? (TO) TT=1800.16
|
? (TO) TT=1800.13
|
normalized-PB07/SATUNSAT-SMALLINT-NLC/ submittedPB07/manquinho/dbsg/ normalized-dbsg_500_60_3_15.opb |
SAT
TT=6.952 T1=6.69
|
SAT TT=344.688 T1=344.6
|
? (TO) TT=1800.16
|
? (TO) TT=1800.17
|
SAT TT=831.341 T1=831.26
|
SAT TT=26.428 T1=26.34
|
SAT TT=182.156 T1=182.04
|
SAT TT=1262.14 T1=1262.03
|
SAT TT=13.977 T1=13.92
|
SAT TT=304.555 T1=304.49
|
SAT TT=323.243 T1=323.1
|
SAT TT=15.472 T1=15.38
|
? TT=454.771
|
? TT=454.401
|
? TT=455.907
|
SAT TT=7.536 T1=7.29
|
SAT TT=6.952 T1=6.69
|
normalized-PB07/SATUNSAT-SMALLINT-NLC/ submittedPB07/manquinho/dbsg/ normalized-dbsg_500_60_3_80.opb |
|
? (TO) TT=1800.1
|
? (TO) TT=1800.14
|
? (TO) TT=1800.17
|
? (TO) TT=1800.11
|
? (TO) TT=1800.18
|
? (TO) TT=1800.19
|
? (TO) TT=1800.1
|
? (TO) TT=1800.02
|
? (TO) TT=1800.05
|
? (TO) TT=1800.05
|
? (TO) TT=1800.1
|
? TT=455.856
|
? TT=454.57
|
? TT=455.224
|
? (TO) TT=1800.22
|
? (TO) TT=1800.15
|
normalized-PB07/SATUNSAT-SMALLINT-NLC/ submittedPB07/manquinho/dbsg/ normalized-dbsg_500_60_4_15.opb |
SAT
TT=6.392 T1=6.19
|
SAT TT=266.62 T1=266.49
|
? (TO) TT=1800.11
|
? (TO) TT=1800.17
|
? (TO) TT=1800.03
|
SAT TT=21.897 T1=21.77
|
SAT TT=184.849 T1=184.74
|
SAT TT=1226.71 T1=1226.58
|
SAT TT=15.304 T1=15.19
|
SAT TT=391.703 T1=391.59
|
SAT TT=398.776 T1=398.69
|
SAT TT=15.439 T1=15.39
|
? TT=458.003
|
? TT=455.504
|
? TT=457.294
|
SAT TT=7.291 T1=7.09
|
SAT TT=6.392 T1=6.19
|
normalized-PB07/SATUNSAT-SMALLINT-NLC/ submittedPB07/manquinho/dbsg/ normalized-dbsg_500_60_4_80.opb |
|
? (TO) TT=1800.08
|
? (TO) TT=1800.19
|
? (TO) TT=1800.02
|
? (TO) TT=1800.09
|
? (TO) TT=1800.12
|
? (TO) TT=1800.16
|
? (TO) TT=1800.07
|
? (TO) TT=1800.03
|
? (TO) TT=1800.03
|
? (TO) TT=1800.05
|
? (TO) TT=1800.08
|
? TT=458.111
|
? TT=458.362
|
? TT=445.948
|
? (TO) TT=1800.25
|
? (TO) TT=1800.23
|
normalized-PB07/SATUNSAT-SMALLINT-NLC/ submittedPB07/manquinho/dbsg/ normalized-dbsg_500_60_5_15.opb |
SAT
TT=6.758 T1=6.49
|
SAT TT=298.54 T1=298.45
|
? (TO) TT=1800.04
|
? (TO) TT=1800.2
|
? (TO) TT=1800.09
|
SAT TT=16.761 T1=16.59
|
SAT TT=182.194 T1=182.04
|
SAT TT=1160.15 T1=1160.01
|
SAT TT=15.819 T1=15.7
|
SAT TT=272.102 T1=272.01
|
SAT TT=266.594 T1=266.52
|
SAT TT=14.497 T1=14.38
|
? TT=455.258
|
? TT=456.131
|
? TT=459.281
|
SAT TT=8.19 T1=7.99
|
SAT TT=6.758 T1=6.49
|
normalized-PB07/SATUNSAT-SMALLINT-NLC/ submittedPB07/manquinho/dbsg/ normalized-dbsg_500_60_5_80.opb |
|
? (TO) TT=1800.08
|
? (TO) TT=1800.15
|
? (TO) TT=1800.18
|
? (TO) TT=1800.04
|
? (TO) TT=1800.18
|
? (TO) TT=1800.13
|
? (TO) TT=1800.01
|
? (TO) TT=1800.06
|
? (TO) TT=1800.05
|
? (TO) TT=1800.05
|
? (TO) TT=1800.14
|
? TT=456.341
|
? TT=458.2
|
? TT=455.903
|
? (TO) TT=1800.16
|
? (TO) TT=1800.15
|
Bench name | Best results on this instance | absconPseudo 102 | bsolo 3.0.16 | bsolo 3.0.17 | glpPB 0.2 | minisat+ 1.14 | oree 0.1.2 alpha | PB-clasp 2007-03-23 | PB-clasp 2007-04-10 | PBS4 2007-03-23 | PBS4_v2 2007-03-23 | Pueblo 1.4 | sat4jPseudoCP 2007-03-23 | sat4jPseudoCPClause 2007-03-23 | SAT4JPseudoResolution 2007-03-23 | wildcat-rnp 2007-03-21 | wildcat-skc 2007-03-21 |
---|
normalized-PB07/SATUNSAT-SMALLINT-NLC/ submittedPB07/manquinho/dbsg/ normalized-dbsg_50_10_1_15.opb |
|
? (TO) TT=1800.08
|
? TT=1800.03
|
? (TO) TT=1800.05
|
? (TO) TT=1800.09
|
? (TO) TT=1800.11
|
? (TO) TT=1800.28
|
? (TO) TT=1800.07
|
? (TO) TT=1800.12
|
? (TO) TT=1800.12
|
? (TO) TT=1800.1
|
? (TO) TT=1800.04
|
? TT=0.671
|
? TT=0.675
|
? TT=0.673
|
? (TO) TT=1800.04
|
? (TO) TT=1800.02
|
normalized-PB07/SATUNSAT-SMALLINT-NLC/ submittedPB07/manquinho/dbsg/ normalized-dbsg_50_10_1_5.opb |
SAT
TT=0.022 T1=0
|
SAT TT=0.664 T1=0.6
|
SAT TT=50.476 T1=50.37
|
SAT TT=50.435 T1=50.36
|
SAT TT=0.064 T1=0
|
SAT TT=0.121 T1=0.09
|
SAT TT=0.08 T1=0.02
|
SAT TT=0.343 T1=0
|
SAT TT=0.167 T1=0
|
SAT TT=0.023 T1=0.01
|
SAT TT=0.022 T1=0
|
SAT TT=0.029 T1=0
|
? TT=0.667
|
? TT=0.666
|
? TT=0.669
|
SAT TT=0.04 T1=0
|
SAT TT=0.037 T1=0
|
normalized-PB07/SATUNSAT-SMALLINT-NLC/ submittedPB07/manquinho/dbsg/ normalized-dbsg_50_10_2_15.opb |
|
? (TO) TT=1800.1
|
? (TO) TT=1800.02
|
? (TO) TT=1800.04
|
? (TO) TT=1800.07
|
? (TO) TT=1800.11
|
? (TO) TT=1800.21
|
? (TO) TT=1800.1
|
? (TO) TT=1800.07
|
? (TO) TT=1800.07
|
? (TO) TT=1800.09
|
? (TO) TT=1800.04
|
? TT=0.715
|
? TT=0.719
|
? TT=0.697
|
? (TO) TT=1800.11
|
? (TO) TT=1800.09
|
normalized-PB07/SATUNSAT-SMALLINT-NLC/ submittedPB07/manquinho/dbsg/ normalized-dbsg_50_10_2_5.opb |
SAT
TT=0.026 T1=0
|
SAT TT=0.645 T1=0.57
|
SAT TT=15.067 T1=14.98
|
SAT TT=14.994 T1=14.89
|
SAT TT=0.105 T1=0.09
|
SAT TT=0.125 T1=0.09
|
SAT TT=0.102 T1=0.04
|
SAT TT=0.373 T1=0
|
SAT TT=0.17 T1=0
|
SAT TT=0.031 T1=0.01
|
SAT TT=0.029 T1=0
|
SAT TT=0.026 T1=0
|
? TT=0.672
|
? TT=0.67
|
? TT=0.675
|
SAT TT=0.042 T1=0
|
SAT TT=0.037 T1=0
|
normalized-PB07/SATUNSAT-SMALLINT-NLC/ submittedPB07/manquinho/dbsg/ normalized-dbsg_50_10_3_15.opb |
|
? (TO) TT=1800.08
|
? (TO) TT=1800.06
|
? (TO) TT=1800.05
|
? (TO) TT=1800.05
|
? (TO) TT=1800.05
|
? (TO) TT=1800.2
|
? (TO) TT=1800
|
? (TO) TT=1800.09
|
? (TO) TT=1800.06
|
? (TO) TT=1800.07
|
? (TO) TT=1800.11
|
? TT=0.672
|
? TT=0.666
|
? TT=0.663
|
? (TO) TT=1800.03
|
? (TO) TT=1800.06
|
normalized-PB07/SATUNSAT-SMALLINT-NLC/ submittedPB07/manquinho/dbsg/ normalized-dbsg_50_10_3_5.opb |
SAT
TT=0.027 T1=0
|
SAT TT=0.707 T1=0.58
|
SAT TT=142.823 T1=142.75
|
SAT TT=143.04 T1=142.93
|
SAT TT=0.04 T1=0.03
|
SAT TT=0.144 T1=0.09
|
SAT TT=0.073 T1=0
|
SAT TT=0.388 T1=0
|
SAT TT=0.173 T1=0
|
SAT TT=0.033 T1=0
|
SAT TT=0.035 T1=0
|
SAT TT=0.027 T1=0
|
? TT=0.667
|
? TT=0.686
|
? TT=0.682
|
SAT TT=0.039 T1=0
|
SAT TT=0.039 T1=0.01
|
normalized-PB07/SATUNSAT-SMALLINT-NLC/ submittedPB07/manquinho/dbsg/ normalized-dbsg_50_10_4_15.opb |
|
? (TO) TT=1800.14
|
? TT=1800.02
|
? (TO) TT=1800.05
|
? (TO) TT=1800.07
|
? (TO) TT=1800.11
|
? (TO) TT=1800.28
|
? (TO) TT=1800.03
|
? (TO) TT=1800.11
|
? (TO) TT=1800.05
|
? (TO) TT=1800.07
|
? (TO) TT=1800.05
|
? TT=0.67
|
? TT=0.676
|
? TT=0.67
|
? (TO) TT=1800.1
|
? (TO) TT=1800.04
|
normalized-PB07/SATUNSAT-SMALLINT-NLC/ submittedPB07/manquinho/dbsg/ normalized-dbsg_50_10_4_5.opb |
SAT
TT=0.025 T1=0
|
SAT TT=0.606 T1=0.48
|
SAT TT=1.371 T1=1.28
|
SAT TT=1.466 T1=1.39
|
SAT TT=0.091 T1=0.05
|
SAT TT=0.184 T1=0.09
|
SAT TT=0.079 T1=0
|
SAT TT=0.348 T1=0
|
SAT TT=0.17 T1=0
|
SAT TT=0.029 T1=0.02
|
SAT TT=0.031 T1=0.02
|
SAT TT=0.025 T1=0
|
? TT=0.667
|
? TT=0.674
|
? TT=0.655
|
SAT TT=0.043 T1=0
|
SAT TT=0.04 T1=0
|
normalized-PB07/SATUNSAT-SMALLINT-NLC/ submittedPB07/manquinho/dbsg/ normalized-dbsg_50_10_5_15.opb |
|
? (TO) TT=1800.16
|
? TT=1800.02
|
? (TO) TT=1800.09
|
? (TO) TT=1800.1
|
? (TO) TT=1800.07
|
? (TO) TT=1800.07
|
? (TO) TT=1800
|
? (TO) TT=1800.06
|
? (TO) TT=1800.09
|
? (TO) TT=1800.1
|
? (TO) TT=1800.01
|
? TT=0.664
|
? TT=0.653
|
? TT=0.666
|
? (TO) TT=1800.03
|
? (TO) TT=1800.02
|
normalized-PB07/SATUNSAT-SMALLINT-NLC/ submittedPB07/manquinho/dbsg/ normalized-dbsg_50_10_5_5.opb |
SAT
TT=0.026 T1=0
|
SAT TT=0.612 T1=0.49
|
SAT TT=11.8 T1=11.68
|
SAT TT=11.296 T1=11.28
|
SAT TT=0.121 T1=0.09
|
SAT TT=0.132 T1=0.09
|
SAT TT=0.074 T1=0.02
|
SAT TT=0.366 T1=0
|
SAT TT=0.172 T1=0
|
SAT TT=0.038 T1=0
|
SAT TT=0.038 T1=0
|
SAT TT=0.026 T1=0
|
? TT=0.666
|
? TT=0.705
|
? TT=0.665
|
SAT TT=0.04 T1=0
|
SAT TT=0.039 T1=0
|
Bench name | Best results on this instance | absconPseudo 102 | bsolo 3.0.16 | bsolo 3.0.17 | glpPB 0.2 | minisat+ 1.14 | oree 0.1.2 alpha | PB-clasp 2007-03-23 | PB-clasp 2007-04-10 | PBS4 2007-03-23 | PBS4_v2 2007-03-23 | Pueblo 1.4 | sat4jPseudoCP 2007-03-23 | sat4jPseudoCPClause 2007-03-23 | SAT4JPseudoResolution 2007-03-23 | wildcat-rnp 2007-03-21 | wildcat-skc 2007-03-21 |
---|
normalized-PB07/SATUNSAT-SMALLINT-NLC/ submittedPB07/manquinho/dbsg/ normalized-dbsg_50_25_1_15.opb |
UNSAT
TT=7.315
|
? (TO) TT=1800.11
|
? TT=1800.03
|
? (TO) TT=1800.1
|
UNSAT TT=30.891
|
UNSAT TT=32.124
|
? (TO) TT=1800.64
|
UNSAT TT=221.49
|
UNSAT TT=47.905
|
UNSAT TT=130.692
|
UNSAT TT=130.77
|
UNSAT TT=7.315
|
? TT=1.488
|
? TT=1.498
|
? TT=1.491
|
? (TO) TT=1800.05
|
? (TO) TT=1800.1
|
normalized-PB07/SATUNSAT-SMALLINT-NLC/ submittedPB07/manquinho/dbsg/ normalized-dbsg_50_25_1_5.opb |
SAT
TT=0.072 T1=0
|
SAT TT=1.297 T1=1.24
|
SAT TT=8.85 T1=8.79
|
SAT TT=8.414 T1=8.39
|
SAT TT=0.91 T1=0.89
|
SAT TT=0.39 T1=0.29
|
SAT TT=0.355 T1=0.29
|
SAT TT=0.952 T1=0
|
SAT TT=0.389 T1=0
|
SAT TT=0.211 T1=0.2
|
SAT TT=0.208 T1=0.19
|
SAT TT=0.072 T1=0.05
|
? TT=1.492
|
? TT=1.467
|
? TT=1.512
|
SAT TT=0.14 T1=0.09
|
SAT TT=0.203 T1=0.09
|
normalized-PB07/SATUNSAT-SMALLINT-NLC/ submittedPB07/manquinho/dbsg/ normalized-dbsg_50_25_2_15.opb |
UNSAT
TT=7.022
|
? (TO) TT=1800.17
|
? TT=1800.03
|
? (TO) TT=1800.08
|
UNSAT TT=29.36
|
UNSAT TT=33.27
|
? (TO) TT=1800.11
|
UNSAT TT=275.731
|
UNSAT TT=53.514
|
UNSAT TT=162.752
|
UNSAT TT=163.056
|
UNSAT TT=7.022
|
? TT=1.481
|
? TT=1.484
|
? TT=1.476
|
? (TO) TT=1800.11
|
? (TO) TT=1800.07
|
normalized-PB07/SATUNSAT-SMALLINT-NLC/ submittedPB07/manquinho/dbsg/ normalized-dbsg_50_25_2_5.opb |
SAT
TT=0.073 T1=0
|
SAT TT=1.304 T1=1.27
|
SAT TT=8.592 T1=8.5
|
SAT TT=8.615 T1=8.58
|
SAT TT=1.093 T1=0.98
|
SAT TT=0.305 T1=0.29
|
SAT TT=8.819 T1=8.79
|
SAT TT=0.933 T1=0
|
SAT TT=0.333 T1=0
|
SAT TT=0.254 T1=0.19
|
SAT TT=0.254 T1=0.19
|
SAT TT=0.073 T1=0.04
|
? TT=1.51
|
? TT=1.507
|
? TT=1.49
|
SAT TT=0.134 T1=0.09
|
SAT TT=0.151 T1=0.08
|
normalized-PB07/SATUNSAT-SMALLINT-NLC/ submittedPB07/manquinho/dbsg/ normalized-dbsg_50_25_3_15.opb |
UNSAT
TT=12.977
|
? (TO) TT=1800.14
|
? TT=1800.06
|
? (TO) TT=1800.13
|
UNSAT TT=30.22
|
UNSAT TT=26.792
|
? (TO) TT=1800.09
|
UNSAT TT=261.989
|
UNSAT TT=58.781
|
UNSAT TT=171.09
|
UNSAT TT=164.776
|
UNSAT TT=12.977
|
? TT=1.481
|
? TT=1.48
|
? TT=1.469
|
? (TO) TT=1800.11
|
? (TO) TT=1800.05
|
normalized-PB07/SATUNSAT-SMALLINT-NLC/ submittedPB07/manquinho/dbsg/ normalized-dbsg_50_25_3_5.opb |
SAT
TT=0.07 T1=0
|
SAT TT=3.011 T1=2.9
|
SAT TT=11.116 T1=11.08
|
SAT TT=10.476 T1=10.38
|
SAT TT=0.64 T1=0.59
|
SAT TT=0.95 T1=0.88
|
SAT TT=0.535 T1=0.49
|
SAT TT=1.108 T1=1.07
|
SAT TT=0.365 T1=0
|
SAT TT=0.178 T1=0.1
|
SAT TT=0.177 T1=0.1
|
SAT TT=0.07 T1=0.03
|
? TT=1.482
|
? TT=1.484
|
? TT=1.501
|
SAT TT=0.23 T1=0.19
|
SAT TT=0.139 T1=0.09
|
normalized-PB07/SATUNSAT-SMALLINT-NLC/ submittedPB07/manquinho/dbsg/ normalized-dbsg_50_25_4_15.opb |
UNSAT
TT=14.251
|
? (TO) TT=1800.15
|
? (TO) TT=1800.07
|
? (TO) TT=1800.07
|
UNSAT TT=29.036
|
UNSAT TT=21.552
|
? (TO) TT=1800.13
|
UNSAT TT=227.207
|
UNSAT TT=62.502
|
UNSAT TT=159.666
|
UNSAT TT=159.124
|
UNSAT TT=14.251
|
? TT=1.467
|
? TT=1.478
|
? TT=1.498
|
? (TO) TT=1800.05
|
? (TO) TT=1800.04
|
normalized-PB07/SATUNSAT-SMALLINT-NLC/ submittedPB07/manquinho/dbsg/ normalized-dbsg_50_25_4_5.opb |
SAT
TT=0.073 T1=0
|
SAT TT=2.289 T1=2.25
|
SAT TT=5.764 T1=5.69
|
SAT TT=6.273 T1=6.18
|
SAT TT=0.476 T1=0.39
|
SAT TT=0.303 T1=0.29
|
SAT TT=0.319 T1=0.29
|
SAT TT=1.158 T1=1.06
|
SAT TT=0.36 T1=0
|
SAT TT=0.168 T1=0.09
|
SAT TT=0.165 T1=0.09
|
SAT TT=0.073 T1=0
|
? TT=1.471
|
? TT=1.477
|
? TT=1.475
|
SAT TT=0.142 T1=0.09
|
SAT TT=0.133 T1=0.09
|
normalized-PB07/SATUNSAT-SMALLINT-NLC/ submittedPB07/manquinho/dbsg/ normalized-dbsg_50_25_5_15.opb |
UNSAT
TT=11.981
|
? (TO) TT=1800.08
|
? (TO) TT=1800.05
|
? (TO) TT=1800.06
|
UNSAT TT=30.379
|
UNSAT TT=42.752
|
? (TO) TT=1800.34
|
UNSAT TT=311.542
|
UNSAT TT=60.761
|
UNSAT TT=177.239
|
UNSAT TT=177.649
|
UNSAT TT=11.981
|
? TT=1.463
|
? TT=1.462
|
? TT=1.47
|
? (TO) TT=1800.02
|
? (TO) TT=1800.07
|
normalized-PB07/SATUNSAT-SMALLINT-NLC/ submittedPB07/manquinho/dbsg/ normalized-dbsg_50_25_5_5.opb |
SAT
TT=0.072 T1=0
|
SAT TT=8.083 T1=8.03
|
SAT TT=5.684 T1=5.58
|
SAT TT=5.844 T1=5.74
|
SAT TT=0.723 T1=0.69
|
SAT TT=0.299 T1=0.19
|
SAT TT=4.932 T1=4.89
|
SAT TT=0.948 T1=0
|
SAT TT=0.339 T1=0
|
SAT TT=0.092 T1=0
|
SAT TT=0.098 T1=0.03
|
SAT TT=0.072 T1=0.01
|
? TT=1.508
|
? TT=1.477
|
? TT=1.506
|
SAT TT=0.231 T1=0.19
|
SAT TT=0.166 T1=0.09
|