normalized-PB06/OPT-SMALLINT/ mps-v2-20-10/MIPLIB/miplib2003/ normalized-mps-v2-20-10-10teams.opb
|
OPT f=904 TT=50.263 T1=50.25
|
SAT (TO) f=910 TT=1800.11 T1=224.8
|
SAT f=980 TT=1798.03 T1=1233.23
|
SAT f=942 TT=1798.1 T1=1144.54
|
SAT (TO) f=922 TT=1800.1 T1=1529.82
|
SAT (TO) f=1008 TT=1800.37 T1=304.17
|
SAT (TO) f=938 TT=1800.56 T1=503.09
|
OPT f=904 TT=41.83 T1=41.81
|
OPT f=904 TT=50.263 T1=50.25
|
? (TO)
TT=1800.19
|
normalized-PB06/OPT-SMALLINT/ mps-v2-20-10/MIPLIB/miplib2003/ normalized-mps-v2-20-10-fast0507.opb
|
SAT f=175 TT=1795.58 T1=1729
|
SAT f=299 TT=1799.63 T1=700.22
|
SAT (MO) f=299 TT=1698.03 T1=182.96
|
SAT f=322 TT=1798.75 T1=181.11
|
SAT (TO) f=333 TT=1800.02 T1=321.33
|
SAT (TO) f=259 TT=1800.5 T1=200.54
|
SAT (TO) f=259 TT=1800.64 T1=10.99
|
SAT f=175 TT=1795.04 T1=1398.97
|
SAT f=175 TT=1795.58 T1=1729
|
? (TO)
TT=1800.14
|
normalized-PB06/OPT-SMALLINT/ mps-v2-20-10/MIPLIB/miplib2003/ normalized-mps-v2-20-10-manna81.opb
|
OPT f=-13164 TT=522.394 T1=522.21
|
SAT (MO) f=-11458 TT=571.639 T1=72.21
|
SAT (MO) f=-11458 TT=252.091 T1=33.36
|
SAT f=-11414 TT=1798.33 T1=1623.64
|
SAT (TO) f=-11034 TT=1800.01 T1=95.51
|
SAT (TO) f=-11504 TT=1800.53 T1=1364.97
|
SAT (TO) f=-11432 TT=1800.68 T1=9
|
OPT f=-13164 TT=60.423 T1=60.21
|
OPT f=-13164 TT=522.394 T1=522.21
|
? (MO)
TT=192.044
|
normalized-PB06/OPT-SMALLINT/ mps-v2-20-10/MIPLIB/miplib2003/ normalized-mps-v2-20-10-mzzv11.opb
|
SAT f=-10664 TT=1801.04 T1=1730.18
|
SAT f=-8507 TT=1798.06 T1=1788.66
|
SAT f=-8374 TT=1798.07 T1=1726.11
|
SAT f=-7231 TT=1798.08 T1=1720.51
|
SAT (TO) f=-6621 TT=1800.08 T1=1778.68
|
SAT (TO) f=-10275 TT=1800.59 T1=930.56
|
SAT (TO) f=-10664 TT=1801.04 T1=1730.18
|
? (TO)
TT=1802.08
|
?
TT=1796.48
|
? (TO)
TT=1800.27
|
normalized-PB06/OPT-SMALLINT/ mps-v2-20-10/MIPLIB/miplib2003/ normalized-mps-v2-20-10-mzzv42z.opb
|
OPT f=-10270 TT=590.273 T1=551.91
|
SAT f=-9326 TT=1798.05 T1=1792.26
|
SAT f=-9350 TT=1798.06 T1=1747.62
|
SAT f=-8883 TT=1798.07 T1=1623.59
|
SAT (TO) f=-6482 TT=1800.09 T1=1732.38
|
SAT (TO) f=-9800 TT=1800.46 T1=538.38
|
OPT f=-10270 TT=590.273 T1=551.91
|
SAT f=-9900 TT=1796.42 T1=1787.96
|
?
TT=1795.62
|
? (TO)
TT=1800.27
|
normalized-PB06/OPT-SMALLINT/ mps-v2-20-10/MIPLIB/miplib2003/ normalized-mps-v2-20-10-net12.opb
|
OPT f=214 TT=13.955 T1=4.29
|
OPT f=214 TT=18.649 T1=3.89
|
OPT f=214 TT=13.955 T1=4.29
|
OPT f=214 TT=20.243 T1=11.95
|
OPT f=214 TT=24.618 T1=20.2
|
SAT (TO) f=214 TT=1800.8 T1=173.54
|
OPT f=214 TT=39.904 T1=32.8
|
? (TO)
TT=1800.2
|
? (TO)
TT=1800.16
|
? (TO)
TT=1800.18
|
normalized-PB06/OPT-SMALLINT/ mps-v2-20-10/MIPLIB/miplib2003/ normalized-mps-v2-20-10-opt1217.opb
|
SAT f=-16384 TT=1802.22 T1=10.03
|
SAT f=-14335 TT=1798.02 T1=0.87
|
SAT f=-12287 TT=1798.02 T1=0.06
|
SAT f=-12287 TT=1798.4 T1=0.34
|
? (TO)
TT=1800.04
|
SAT (TO) f=-12553 TT=1800.19 T1=1117.66
|
SAT (TO) f=0 TT=1800.44 T1=0.74
|
SAT (TO) f=-16384 TT=1802.22 T1=3.24
|
SAT (TO) f=-16384 TT=1802.22 T1=10.03
|
? (TO)
TT=1800.14
|
normalized-PB06/OPT-SMALLINT/ mps-v2-20-10/MIPLIB/miplib2003/ normalized-mps-v2-20-10-p2756.opb
|
OPT f=3124 TT=4.715 T1=4.67
|
SAT f=4341 TT=1798.08 T1=1791.76
|
SAT f=3701 TT=1798.14 T1=519.31
|
SAT f=4375 TT=1798.39 T1=101.47
|
SAT (TO) f=8095 TT=1800.09 T1=1518.51
|
SAT (TO) f=3703 TT=1800.29 T1=872.6
|
SAT (TO) f=4102 TT=1800.73 T1=1008.16
|
OPT f=3124 TT=5.269 T1=5.24
|
OPT f=3124 TT=4.715 T1=4.67
|
? (TO)
TT=1800.31
|
normalized-PB06/OPT-SMALLINT/ mps-v2-20-10/MIPLIB/miplib2003/ normalized-mps-v2-20-10-protfold.opb
|
SAT f=-26 TT=1800.06 T1=802.02
|
SAT f=-22 TT=1798.15 T1=3.46
|
SAT f=-22 TT=1798.12 T1=344.03
|
SAT f=-22 TT=1798.09 T1=1412.76
|
SAT (TO) f=-26 TT=1800.06 T1=802.02
|
SAT (TO) f=-20 TT=1800.3 T1=869.57
|
SAT (TO) f=-24 TT=1800.77 T1=74.33
|
?
TT=1793.68
|
?
TT=1796.75
|
? (TO)
TT=1800.31
|
normalized-PB06/OPT-SMALLINT/ mps-v2-20-10/MIPLIB/miplib2003/ normalized-mps-v2-20-10-seymour.opb
|
SAT f=426 TT=1797.18 T1=653.98
|
SAT f=461 TT=1798.1 T1=61.67
|
SAT f=461 TT=1798.02 T1=62.25
|
SAT f=461 TT=1798.03 T1=62.26
|
SAT (TO) f=489 TT=1800.08 T1=947.47
|
SAT (TO) f=483 TT=1800.39 T1=853.65
|
SAT (TO) f=490 TT=1801.03 T1=0.98
|
SAT (TO) f=426 TT=1800.37 T1=267.65
|
SAT f=426 TT=1797.18 T1=653.98
|
? (TO)
TT=1800.3
|
Bench name | Best results | bsolo 3.1 (complete) | bsolo 3.1 cl (complete) | bsolo 3.1 pb (complete) | pbclasp 2009-04-24 (complete) | SAT4J Pseudo CP 2.1.1 (complete) | SAT4J Pseudo Resolution 2.1.1 (complete) | SCIPclp SCIP 1.1.0.7 with CLP 1.8.2 (complete) | SCIPspx SCIP 1.1.0.7 with SoPLEX 1.4.1(24.4.2009) (complete) | wbo 1.0 (complete) |
normalized-PB06/OPT-SMALLINT/ mps-v2-20-10/MIPLIB/miplib3/ normalized-mps-v2-20-10-mitre.opb
|
OPT f=7677 TT=36.816 T1=36.69
|
SAT (MO) f=8967 TT=1102.76 T1=28.91
|
SAT (MO) f=8956 TT=885.753 T1=23.03
|
SAT f=8978 TT=1798.2 T1=46.45
|
SAT (TO) f=10879 TT=1800.03 T1=1458.75
|
SAT (TO) f=7680 TT=1800.56 T1=22.22
|
SAT (TO) f=7680 TT=1800.77 T1=16.16
|
OPT f=7677 TT=24.938 T1=22.46
|
OPT f=7677 TT=36.816 T1=36.69
|
? (MO)
TT=325.269
|
normalized-PB06/OPT-SMALLINT/ mps-v2-20-10/MIPLIB/miplib/ normalized-mps-v2-20-10-bm23.opb
|
OPT f=34 TT=0.059 T1=0.04
|
OPT f=34 TT=0.435 T1=0.26
|
OPT f=34 TT=0.473 T1=0.29
|
OPT f=34 TT=0.278 T1=0.12
|
OPT f=34 TT=0.059 T1=0.04
|
OPT f=34 TT=3.827 T1=1.64
|
OPT f=34 TT=1.641 T1=0.84
|
OPT f=34 TT=0.327 T1=0.21
|
OPT f=34 TT=0.329 T1=0.2
|
? (TO)
TT=1800.23
|
normalized-PB06/OPT-SMALLINT/ mps-v2-20-10/MIPLIB/miplib/ normalized-mps-v2-20-10-cracpb1.opb
|
OPT f=22199 TT=0.416 T1=0.4
|
SAT f=48704 TT=1798.05 T1=1683.39
|
SAT f=56503 TT=1798.06 T1=499.18
|
SAT f=57828 TT=1798.16 T1=1676.39
|
SAT (TO) f=116299 TT=1800.1 T1=1758.11
|
SAT (TO) f=47897 TT=1800.28 T1=87.59
|
SAT (TO) f=40201 TT=1800.66 T1=344.21
|
OPT f=22199 TT=0.361 T1=0.34
|
OPT f=22199 TT=0.416 T1=0.4
|
? (TO)
TT=1800.36
|
normalized-PB06/OPT-SMALLINT/ mps-v2-20-10/MIPLIB/miplib/ normalized-mps-v2-20-10-diamond.opb
|
UNSAT
TT=0.001
|
UNSAT
TT=0.002
|
UNSAT
TT=0.003
|
UNSAT
TT=0.001
|
UNSAT
TT=0.016
|
UNSAT
TT=0.299
|
UNSAT
TT=0.275
|
UNSAT
TT=0.022
|
UNSAT
TT=0.022
|
UNSAT
TT=0.001
|
normalized-PB06/OPT-SMALLINT/ mps-v2-20-10/MIPLIB/miplib/ normalized-mps-v2-20-10-l152lav.opb
|
OPT f=4722 TT=11.649 T1=10.97
|
SAT f=4747 TT=1798.15 T1=642.32
|
?
TT=1798.14
|
?
TT=1799.98
|
? (TO)
TT=1800.06
|
? (TO)
TT=1800.26
|
? (TO)
TT=1800.36
|
OPT f=4722 TT=11.277 T1=10.69
|
OPT f=4722 TT=11.649 T1=10.97
|
? (TO)
TT=1800.27
|
normalized-PB06/OPT-SMALLINT/ mps-v2-20-10/MIPLIB/miplib/ normalized-mps-v2-20-10-lp4l.opb
|
OPT f=2967 TT=0.555 T1=0.48
|
SAT f=3097 TT=1798.21 T1=636.87
|
SAT f=3103 TT=1798.18 T1=968.43
|
SAT f=3013 TT=1798.45 T1=1599.67
|
SAT (TO) f=4075 TT=1800.05 T1=785.28
|
SAT (TO) f=4049 TT=1800.3 T1=843.14
|
SAT (TO) f=4062 TT=1800.96 T1=756.39
|
OPT f=2967 TT=0.485 T1=0.39
|
OPT f=2967 TT=0.555 T1=0.48
|
? (TO)
TT=1800.23
|
normalized-PB06/OPT-SMALLINT/ mps-v2-20-10/MIPLIB/miplib/ normalized-mps-v2-20-10-lseu.opb
|
OPT f=1120 TT=0.624 T1=0.56
|
OPT f=1120 TT=434.205 T1=331.18
|
OPT f=1120 TT=435.382 T1=352.03
|
OPT f=1120 TT=49.96 T1=44.75
|
OPT f=1120 TT=250.471 T1=240.23
|
SAT (TO) f=1128 TT=1800.26 T1=1033.19
|
OPT f=1120 TT=889.927 T1=351.2
|
OPT f=1120 TT=0.471 T1=0.43
|
OPT f=1120 TT=0.624 T1=0.56
|
? (TO)
TT=1800.08
|
normalized-PB06/OPT-SMALLINT/ mps-v2-20-10/MIPLIB/miplib/ normalized-mps-v2-20-10-mod008.opb
|
OPT f=307 TT=1.019 T1=0.65
|
OPT f=307 TT=817.821 T1=375.43
|
OPT f=307 TT=335.074 T1=47.76
|
SAT f=344 TT=1798.08 T1=292.44
|
SAT (TO) f=307 TT=1800.04 T1=14.93
|
OPT f=307 TT=1339.84 T1=15.86
|
SAT (TO) f=307 TT=1800.5 T1=928.62
|
OPT f=307 TT=1.094 T1=0.61
|
OPT f=307 TT=1.019 T1=0.65
|
? (TO)
TT=1800.15
|
normalized-PB06/OPT-SMALLINT/ mps-v2-20-10/MIPLIB/miplib/ normalized-mps-v2-20-10-mod010.opb
|
OPT f=6548 TT=3.697 T1=3.5
|
?
TT=1798.3
|
?
TT=1798.21
|
?
TT=1798.58
|
? (TO)
TT=1800.01
|
? (TO)
TT=1800.25
|
? (TO)
TT=1800.61
|
OPT f=6548 TT=2.739 T1=2.71
|
OPT f=6548 TT=3.697 T1=3.5
|
? (TO)
TT=1800.26
|
normalized-PB06/OPT-SMALLINT/ mps-v2-20-10/MIPLIB/miplib/ normalized-mps-v2-20-10-p0033.opb
|
OPT f=3089 TT=0.023 T1=0.01
|
OPT f=3089 TT=0.103 T1=0.01
|
OPT f=3089 TT=0.096 T1=0.04
|
OPT f=3089 TT=0.087 T1=0.04
|
OPT f=3089 TT=0.023 T1=0.01
|
OPT f=3089 TT=0.965 T1=0.55
|
OPT f=3089 TT=0.853 T1=0.34
|
OPT f=3089 TT=0.081 T1=0.07
|
OPT f=3089 TT=0.144 T1=0.13
|
? (TO)
TT=1800.23
|
Bench name | Best results | bsolo 3.1 (complete) | bsolo 3.1 cl (complete) | bsolo 3.1 pb (complete) | pbclasp 2009-04-24 (complete) | SAT4J Pseudo CP 2.1.1 (complete) | SAT4J Pseudo Resolution 2.1.1 (complete) | SCIPclp SCIP 1.1.0.7 with CLP 1.8.2 (complete) | SCIPspx SCIP 1.1.0.7 with SoPLEX 1.4.1(24.4.2009) (complete) | wbo 1.0 (complete) |
normalized-PB06/OPT-SMALLINT/ mps-v2-20-10/MIPLIB/miplib/ normalized-mps-v2-20-10-p0040.opb
|
OPT f=62027 TT=0.013 T1=0.01
|
OPT f=62027 TT=0.055 T1=0.04
|
OPT f=62027 TT=0.053 T1=0.04
|
OPT f=62027 TT=0.053 T1=0.04
|
OPT f=62027 TT=4.187 T1=1.95
|
OPT f=62027 TT=0.955 T1=0.35
|
OPT f=62027 TT=63.78 T1=0.27
|
OPT f=62027 TT=0.043 T1=0.03
|
OPT f=62027 TT=0.043 T1=0.03
|
OPT f=62027 TT=0.013 T1=0.01
|
normalized-PB06/OPT-SMALLINT/ mps-v2-20-10/MIPLIB/miplib/ normalized-mps-v2-20-10-p0201.opb
|
OPT f=1523 TT=3.677 T1=1.86
|
OPT f=1523 TT=43.085 T1=38.01
|
OPT f=1523 TT=48.222 T1=42.06
|
OPT f=1523 TT=42.39 T1=33.08
|
SAT (TO) f=1523 TT=1800.05 T1=512.09
|
SAT (TO) f=1555 TT=1800.23 T1=734.4
|
SAT (TO) f=1523 TT=1801.31 T1=776.01
|
OPT f=1523 TT=3.694 T1=1.83
|
OPT f=1523 TT=3.677 T1=1.86
|
? (TO)
TT=1800.21
|
normalized-PB06/OPT-SMALLINT/ mps-v2-20-10/MIPLIB/miplib/ normalized-mps-v2-20-10-p0548.opb
|
OPT f=8691 TT=0.657 T1=0.64
|
?
TT=1798.01
|
?
TT=1798
|
SAT f=12572 TT=1798.01 T1=1128.93
|
SAT (TO) f=13145 TT=1800.06 T1=1397.23
|
SAT (TO) f=9472 TT=1800.23 T1=425.26
|
SAT (TO) f=31217 TT=1800.74 T1=1362.98
|
OPT f=8691 TT=0.577 T1=0.56
|
OPT f=8691 TT=0.657 T1=0.64
|
? (TO)
TT=1800.19
|
normalized-PB06/OPT-SMALLINT/ mps-v2-20-10/MIPLIB/miplib/ normalized-mps-v2-20-10-sentoy.opb
|
OPT f=-7772 TT=0.827 T1=0.69
|
OPT f=-7772 TT=56.738 T1=56.68
|
OPT f=-7772 TT=77.144 T1=77.08
|
OPT f=-7772 TT=16.285 T1=16.23
|
OPT f=-7772 TT=1.123 T1=0.69
|
OPT f=-7772 TT=5.14 T1=1.87
|
OPT f=-7772 TT=14.232 T1=7.69
|
OPT f=-7772 TT=0.8 T1=0.78
|
OPT f=-7772 TT=0.827 T1=0.8
|
? (TO)
TT=1800.18
|
normalized-PB06/OPT-SMALLINT/ mps-v2-20-10/MIPLIB/miplib/ normalized-mps-v2-20-10-stein45.opb
|
OPT f=30 TT=30.539 T1=0.41
|
OPT f=30 TT=337.048 T1=4.37
|
OPT f=30 TT=292.136 T1=4.3
|
OPT f=30 TT=333.981 T1=3.28
|
OPT f=30 TT=30.539 T1=0.41
|
SAT (TO) f=30 TT=1800.26 T1=1.71
|
SAT (TO) f=30 TT=1800.38 T1=0.74
|
OPT f=30 TT=75.117 T1=5.62
|
OPT f=30 TT=46.142 T1=4.06
|
? (TO)
TT=1800.26
|
normalized-PB06/OPT-SMALLINT/ mps-v2-20-10/plato.asu.edu/pub/ milp/normalized-mps-v2-20-10-neos10.opb
|
OPT f=-1135 TT=5.066 T1=4.15
|
OPT f=-1135 TT=27.476 T1=27.34
|
OPT f=-1135 TT=27.094 T1=27.02
|
OPT f=-1135 TT=34.036 T1=33.37
|
OPT f=-1135 TT=5.066 T1=4.15
|
OPT f=-1135 TT=1638.22 T1=1116.37
|
OPT f=-1135 TT=14.776 T1=10.8
|
OPT f=-1135 TT=136.943 T1=136.47
|
OPT f=-1135 TT=145.913 T1=145.67
|
? (MO)
TT=362.391
|
normalized-PB06/OPT-SMALLINT/ mps-v2-20-10/plato.asu.edu/pub/ milp/normalized-mps-v2-20-10-neos16.opb
|
SAT f=114 TT=1800.1 T1=120.27
|
Wrong Opt. f=121 TT=217.378 T1=23.71
|
SAT f=116 TT=1798.01 T1=1639.25
|
SAT f=119 TT=1798.01 T1=154.55
|
SAT (TO) f=114 TT=1800.1 T1=311.65
|
SAT (TO) f=118 TT=1800.24 T1=8.41
|
SAT (TO) f=114 TT=1800.46 T1=120.27
|
SAT (TO) f=114 TT=1800.31 T1=1608.98
|
? (TO)
TT=1800.17
|
? (TO)
TT=1800.13
|
normalized-PB06/OPT-SMALLINT/ mps-v2-20-10/plato.asu.edu/pub/ milp/normalized-mps-v2-20-10-neos18.opb
|
OPT f=16 TT=0.376 T1=0.13
|
OPT f=16 TT=1.582 T1=0.51
|
OPT f=16 TT=1.489 T1=0.25
|
OPT f=16 TT=3.949 T1=0.35
|
OPT f=16 TT=0.376 T1=0.13
|
OPT f=16 TT=9.257 T1=3.85
|
OPT f=16 TT=3.033 T1=1.33
|
OPT f=16 TT=327.411 T1=72.73
|
OPT f=16 TT=567.126 T1=82.13
|
OPT f=16 TT=2.231 T1=2.22
|
normalized-PB06/OPT-SMALLINT/ mps-v2-20-10/plato.asu.edu/pub/ milp/normalized-mps-v2-20-10-neos19.opb
|
SAT f=-3 TT=1798.33 T1=195.64
|
SAT f=-3 TT=1798.35 T1=196.71
|
SAT f=-3 TT=1798.33 T1=195.86
|
SAT f=-3 TT=1798.42 T1=195.64
|
? (TO)
TT=1800
|
? (TO)
TT=1800.41
|
? (TO)
TT=1800.64
|
? (MO)
TT=17.948
|
? (MO)
TT=17.33
|
? (TO)
TT=1800.26
|
normalized-PB06/OPT-SMALLINT/ mps-v2-20-10/plato.asu.edu/pub/milp/ normalized-mps-v2-20-10-neos1.opb
|
OPT f=19 TT=11.553 T1=11.49
|
SAT (TO) f=27 TT=1800.09 T1=2.78
|
SAT f=24 TT=1798.03 T1=1007.64
|
SAT (TO) f=28 TT=1800.2 T1=0.16
|
SAT (TO) f=32 TT=1800.12 T1=0.08
|
SAT (TO) f=24 TT=1800.52 T1=1.99
|
SAT (TO) f=24 TT=1801.7 T1=1.2
|
OPT f=19 TT=10.26 T1=10.2
|
OPT f=19 TT=11.553 T1=11.49
|
? (MO)
TT=1546.25
|
Bench name | Best results | bsolo 3.1 (complete) | bsolo 3.1 cl (complete) | bsolo 3.1 pb (complete) | pbclasp 2009-04-24 (complete) | SAT4J Pseudo CP 2.1.1 (complete) | SAT4J Pseudo Resolution 2.1.1 (complete) | SCIPclp SCIP 1.1.0.7 with CLP 1.8.2 (complete) | SCIPspx SCIP 1.1.0.7 with SoPLEX 1.4.1(24.4.2009) (complete) | wbo 1.0 (complete) |
normalized-PB06/OPT-SMALLINT/ mps-v2-20-10/plato.asu.edu/pub/milp/ normalized-mps-v2-20-10-neos5.opb
|
SAT f=15360 TT=1800.69 T1=69.18
|
SAT f=17408 TT=1798.02 T1=0.35
|
SAT f=17408 TT=1798.01 T1=0.35
|
SAT f=17403 TT=1798.02 T1=1517.75
|
SAT (TO) f=17408 TT=1800.11 T1=1105.06
|
SAT (TO) f=17408 TT=1800.31 T1=4.38
|
SAT (TO) f=17393 TT=1800.87 T1=873.54
|
SAT (TO) f=15360 TT=1800.7 T1=50.93
|
SAT (TO) f=15360 TT=1800.69 T1=69.18
|
? (TO)
TT=1800.08
|
normalized-PB06/OPT-SMALLINT/ mps-v2-20-10/plato.asu.edu/pub/milp/ normalized-mps-v2-20-10-neos8.opb
|
OPT f=-3719 TT=4.36 T1=3.93
|
OPT f=-3719 TT=24.557 T1=24.54
|
OPT f=-3719 TT=24.583 T1=24.57
|
OPT f=-3719 TT=25.011 T1=24.94
|
OPT f=-3719 TT=4.36 T1=3.93
|
OPT f=-3719 TT=72.291 T1=57.11
|
OPT f=-3719 TT=9.163 T1=6.4
|
OPT f=-3719 TT=126.479 T1=126.19
|
OPT f=-3719 TT=127.912 T1=127.66
|
? (MO)
TT=152.79
|
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/primes-dimacs-cnf/ normalized-aim-100-1_6-yes1-1.opb
|
OPT f=100 TT=0.005 T1=0
|
OPT f=100 TT=0.006 T1=0.01
|
OPT f=100 TT=0.005 T1=0
|
OPT f=100 TT=0.006 T1=0.01
|
OPT f=100 TT=0.018 T1=0.01
|
OPT f=100 TT=0.567 T1=0.44
|
OPT f=100 TT=0.442 T1=0.34
|
OPT f=100 TT=4.505 T1=4.5
|
OPT f=100 TT=6.297 T1=3.64
|
OPT f=100 TT=8.572 T1=8.63
|
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/primes-dimacs-cnf/ normalized-aim-100-1_6-yes1-2.opb
|
OPT f=100 TT=0.006 T1=0
|
OPT f=100 TT=0.006 T1=0
|
OPT f=100 TT=0.006 T1=0
|
OPT f=100 TT=0.007 T1=0
|
OPT f=100 TT=0.022 T1=0.01
|
OPT f=100 TT=0.499 T1=0.37
|
OPT f=100 TT=0.451 T1=0.35
|
OPT f=100 TT=3.874 T1=3.72
|
OPT f=100 TT=11.502 T1=7.15
|
? (TO)
TT=1800.17
|
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/primes-dimacs-cnf/ normalized-aim-100-1_6-yes1-3.opb
|
OPT f=100 TT=0.005 T1=0
|
OPT f=100 TT=0.007 T1=0
|
OPT f=100 TT=0.005 T1=0
|
OPT f=100 TT=0.008 T1=0
|
OPT f=100 TT=0.017 T1=0.01
|
OPT f=100 TT=0.484 T1=0.37
|
OPT f=100 TT=0.518 T1=0.38
|
OPT f=100 TT=7.026 T1=6.89
|
OPT f=100 TT=8.277 T1=8.26
|
? (TO)
TT=1800.24
|
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/primes-dimacs-cnf/ normalized-aim-100-1_6-yes1-4.opb
|
OPT f=100 TT=0.006 T1=0
|
OPT f=100 TT=0.006 T1=0
|
OPT f=100 TT=0.006 T1=0
|
OPT f=100 TT=0.006 T1=0
|
OPT f=100 TT=0.021 T1=0.01
|
OPT f=100 TT=0.618 T1=0.35
|
OPT f=100 TT=0.454 T1=0.35
|
OPT f=100 TT=4.019 T1=3.83
|
OPT f=100 TT=9.107 T1=9.09
|
? (TO)
TT=1800.21
|
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/primes-dimacs-cnf/ normalized-aim-100-2_0-yes1-1.opb
|
OPT f=100 TT=0.008 T1=0
|
OPT f=100 TT=0.011 T1=0.01
|
OPT f=100 TT=0.008 T1=0
|
OPT f=100 TT=0.012 T1=0.01
|
OPT f=100 TT=0.02 T1=0.01
|
OPT f=100 TT=0.645 T1=0.4
|
OPT f=100 TT=0.48 T1=0.36
|
OPT f=100 TT=8.172 T1=4.8
|
OPT f=100 TT=17.903 T1=17.4
|
? (TO)
TT=1800.2
|
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/primes-dimacs-cnf/ normalized-aim-100-2_0-yes1-2.opb
|
OPT f=100 TT=0.008 T1=0.01
|
OPT f=100 TT=0.008 T1=0.01
|
OPT f=100 TT=0.008 T1=0.01
|
OPT f=100 TT=0.01 T1=0.01
|
OPT f=100 TT=0.019 T1=0.01
|
OPT f=100 TT=0.761 T1=0.42
|
OPT f=100 TT=0.55 T1=0.39
|
OPT f=100 TT=13.445 T1=13.43
|
OPT f=100 TT=17.517 T1=17.5
|
? (TO)
TT=1800.27
|
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/primes-dimacs-cnf/ normalized-aim-100-2_0-yes1-3.opb
|
OPT f=100 TT=0.008 T1=0
|
OPT f=100 TT=0.011 T1=0.01
|
OPT f=100 TT=0.008 T1=0
|
OPT f=100 TT=0.01 T1=0.01
|
OPT f=100 TT=0.022 T1=0.01
|
OPT f=100 TT=0.608 T1=0.4
|
OPT f=100 TT=0.611 T1=0.44
|
OPT f=100 TT=15.077 T1=14.44
|
OPT f=100 TT=8.169 T1=8.15
|
? (TO)
TT=1800.23
|
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/primes-dimacs-cnf/ normalized-aim-100-2_0-yes1-4.opb
|
OPT f=100 TT=0.005 T1=0
|
OPT f=100 TT=0.006 T1=0
|
OPT f=100 TT=0.005 T1=0
|
OPT f=100 TT=0.008 T1=0.01
|
OPT f=100 TT=0.02 T1=0.01
|
OPT f=100 TT=0.659 T1=0.39
|
OPT f=100 TT=0.602 T1=0.37
|
OPT f=100 TT=18.46 T1=18.38
|
OPT f=100 TT=27.188 T1=27.17
|
? (TO)
TT=1800.24
|
Bench name | Best results | bsolo 3.1 (complete) | bsolo 3.1 cl (complete) | bsolo 3.1 pb (complete) | pbclasp 2009-04-24 (complete) | SAT4J Pseudo CP 2.1.1 (complete) | SAT4J Pseudo Resolution 2.1.1 (complete) | SCIPclp SCIP 1.1.0.7 with CLP 1.8.2 (complete) | SCIPspx SCIP 1.1.0.7 with SoPLEX 1.4.1(24.4.2009) (complete) | wbo 1.0 (complete) |
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/primes-dimacs-cnf/ normalized-aim-100-3_4-yes1-1.opb
|
OPT f=100 TT=0.018 T1=0.01
|
OPT f=100 TT=0.024 T1=0.02
|
OPT f=100 TT=0.018 T1=0.01
|
OPT f=100 TT=0.027 T1=0.02
|
OPT f=100 TT=0.022 T1=0.01
|
OPT f=100 TT=0.945 T1=0.5
|
OPT f=100 TT=0.84 T1=0.51
|
OPT f=100 TT=19.93 T1=20.18
|
OPT f=100 TT=47.216 T1=45.34
|
? (TO)
TT=1800.25
|
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/primes-dimacs-cnf/ normalized-aim-100-3_4-yes1-2.opb
|
OPT f=100 TT=0.011 T1=0
|
OPT f=100 TT=0.016 T1=0.01
|
OPT f=100 TT=0.011 T1=0
|
OPT f=100 TT=0.014 T1=0.01
|
OPT f=100 TT=0.026 T1=0.01
|
OPT f=100 TT=0.944 T1=0.49
|
OPT f=100 TT=0.505 T1=0.39
|
OPT f=100 TT=19.885 T1=19.88
|
OPT f=100 TT=38.253 T1=38.25
|
? (TO)
TT=1800.26
|
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/primes-dimacs-cnf/ normalized-aim-100-3_4-yes1-3.opb
|
OPT f=100 TT=0.014 T1=0.01
|
OPT f=100 TT=0.019 T1=0.01
|
OPT f=100 TT=0.014 T1=0.01
|
OPT f=100 TT=0.023 T1=0.01
|
OPT f=100 TT=0.021 T1=0.01
|
OPT f=100 TT=0.959 T1=0.54
|
OPT f=100 TT=0.618 T1=0.42
|
OPT f=100 TT=19.697 T1=19.24
|
OPT f=100 TT=45.368 T1=43.47
|
? (TO)
TT=1800.32
|
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/primes-dimacs-cnf/ normalized-aim-100-3_4-yes1-4.opb
|
OPT f=100 TT=0.01 T1=0
|
OPT f=100 TT=0.014 T1=0
|
OPT f=100 TT=0.01 T1=0
|
OPT f=100 TT=0.014 T1=0
|
OPT f=100 TT=0.023 T1=0.01
|
OPT f=100 TT=1.015 T1=0.42
|
OPT f=100 TT=0.684 T1=0.39
|
OPT f=100 TT=27.22 T1=26.29
|
OPT f=100 TT=39.883 T1=39.43
|
? (TO)
TT=1800.27
|
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/primes-dimacs-cnf/ normalized-aim-100-6_0-yes1-1.opb
|
OPT f=100 TT=0.01 T1=0
|
OPT f=100 TT=0.011 T1=0
|
OPT f=100 TT=0.01 T1=0
|
OPT f=100 TT=0.012 T1=0
|
OPT f=100 TT=0.024 T1=0.01
|
OPT f=100 TT=0.842 T1=0.66
|
OPT f=100 TT=0.727 T1=0.45
|
OPT f=100 TT=42.812 T1=0.76
|
OPT f=100 TT=69.797 T1=53.84
|
OPT f=100 TT=0.966 T1=0.96
|
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/primes-dimacs-cnf/ normalized-aim-100-6_0-yes1-2.opb
|
OPT f=100 TT=0.01 T1=0
|
OPT f=100 TT=0.013 T1=0.01
|
OPT f=100 TT=0.01 T1=0
|
OPT f=100 TT=0.013 T1=0.01
|
OPT f=100 TT=0.026 T1=0.01
|
OPT f=100 TT=0.973 T1=0.51
|
OPT f=100 TT=0.719 T1=0.45
|
OPT f=100 TT=38.27 T1=32.45
|
OPT f=100 TT=61.081 T1=59.78
|
? (TO)
TT=1800.17
|
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/primes-dimacs-cnf/ normalized-aim-100-6_0-yes1-3.opb
|
OPT f=100 TT=0.012 T1=0
|
OPT f=100 TT=0.012 T1=0.01
|
OPT f=100 TT=0.012 T1=0
|
OPT f=100 TT=0.013 T1=0.01
|
OPT f=100 TT=0.028 T1=0.01
|
OPT f=100 TT=0.911 T1=0.53
|
OPT f=100 TT=0.62 T1=0.46
|
OPT f=100 TT=42.916 T1=42.64
|
OPT f=100 TT=48.006 T1=47.3
|
? (TO)
TT=1800.25
|
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/primes-dimacs-cnf/ normalized-aim-100-6_0-yes1-4.opb
|
OPT f=100 TT=0.01 T1=0
|
OPT f=100 TT=0.012 T1=0.01
|
OPT f=100 TT=0.01 T1=0
|
OPT f=100 TT=0.012 T1=0.01
|
OPT f=100 TT=0.025 T1=0.01
|
OPT f=100 TT=0.891 T1=0.47
|
OPT f=100 TT=0.598 T1=0.45
|
OPT f=100 TT=39.539 T1=39.36
|
OPT f=100 TT=58.368 T1=57.31
|
? (TO)
TT=1800.28
|
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/primes-dimacs-cnf/ normalized-aim-200-1_6-yes1-1.opb
|
OPT f=200 TT=0.009 T1=0
|
OPT f=200 TT=0.009 T1=0
|
OPT f=200 TT=0.009 T1=0
|
OPT f=200 TT=0.009 T1=0
|
OPT f=200 TT=0.025 T1=0.01
|
OPT f=200 TT=0.743 T1=0.53
|
OPT f=200 TT=0.788 T1=0.51
|
OPT f=200 TT=27.915 T1=22.5
|
OPT f=200 TT=21.618 T1=15.94
|
? (TO)
TT=1800.28
|
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/primes-dimacs-cnf/ normalized-aim-200-1_6-yes1-2.opb
|
OPT f=200 TT=0.01 T1=0.01
|
OPT f=200 TT=0.013 T1=0.01
|
OPT f=200 TT=0.01 T1=0.01
|
OPT f=200 TT=0.013 T1=0.01
|
OPT f=200 TT=0.026 T1=0.01
|
OPT f=200 TT=0.763 T1=0.54
|
OPT f=200 TT=0.78 T1=0.5
|
OPT f=200 TT=40.639 T1=40.61
|
OPT f=200 TT=37.202 T1=36.38
|
? (TO)
TT=1800.18
|
Bench name | Best results | bsolo 3.1 (complete) | bsolo 3.1 cl (complete) | bsolo 3.1 pb (complete) | pbclasp 2009-04-24 (complete) | SAT4J Pseudo CP 2.1.1 (complete) | SAT4J Pseudo Resolution 2.1.1 (complete) | SCIPclp SCIP 1.1.0.7 with CLP 1.8.2 (complete) | SCIPspx SCIP 1.1.0.7 with SoPLEX 1.4.1(24.4.2009) (complete) | wbo 1.0 (complete) |
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/primes-dimacs-cnf/ normalized-aim-200-1_6-yes1-3.opb
|
OPT f=200 TT=0.009 T1=0
|
OPT f=200 TT=0.009 T1=0
|
OPT f=200 TT=0.009 T1=0
|
OPT f=200 TT=0.01 T1=0.01
|
OPT f=200 TT=0.023 T1=0.01
|
OPT f=200 TT=0.815 T1=0.57
|
OPT f=200 TT=0.714 T1=0.49
|
OPT f=200 TT=10.937 T1=10.36
|
OPT f=200 TT=16.67 T1=14.96
|
? (TO)
TT=1800.21
|
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/primes-dimacs-cnf/ normalized-aim-200-1_6-yes1-4.opb
|
OPT f=200 TT=0.01 T1=0
|
OPT f=200 TT=0.011 T1=0.01
|
OPT f=200 TT=0.01 T1=0
|
OPT f=200 TT=0.011 T1=0.01
|
OPT f=200 TT=0.023 T1=0.01
|
OPT f=200 TT=0.876 T1=0.62
|
OPT f=200 TT=0.784 T1=0.52
|
OPT f=200 TT=26.479 T1=25.09
|
OPT f=200 TT=33.924 T1=25.28
|
? (TO)
TT=1800.24
|
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/primes-dimacs-cnf/ normalized-aim-200-2_0-yes1-1.opb
|
OPT f=200 TT=0.015 T1=0.01
|
OPT f=200 TT=0.019 T1=0.01
|
OPT f=200 TT=0.015 T1=0.01
|
OPT f=200 TT=0.021 T1=0.01
|
OPT f=200 TT=0.027 T1=0.02
|
OPT f=200 TT=1.238 T1=0.82
|
OPT f=200 TT=1.054 T1=0.62
|
OPT f=200 TT=47.485 T1=47.49
|
OPT f=200 TT=61.23 T1=61.24
|
? (TO)
TT=1800.2
|
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/primes-dimacs-cnf/ normalized-aim-200-2_0-yes1-2.opb
|
OPT f=200 TT=0.021 T1=0.01
|
OPT f=200 TT=0.032 T1=0.03
|
OPT f=200 TT=0.021 T1=0.01
|
OPT f=200 TT=0.031 T1=0.03
|
OPT f=200 TT=0.03 T1=0.02
|
OPT f=200 TT=1.422 T1=0.82
|
OPT f=200 TT=1.008 T1=0.63
|
OPT f=200 TT=59.244 T1=52.44
|
OPT f=200 TT=56.323 T1=56.03
|
? (TO)
TT=1800.18
|
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/primes-dimacs-cnf/ normalized-aim-200-2_0-yes1-3.opb
|
OPT f=200 TT=0.016 T1=0.01
|
OPT f=200 TT=0.019 T1=0.01
|
OPT f=200 TT=0.016 T1=0.01
|
OPT f=200 TT=0.019 T1=0.01
|
OPT f=200 TT=0.024 T1=0.02
|
OPT f=200 TT=0.842 T1=0.6
|
OPT f=200 TT=0.777 T1=0.49
|
OPT f=200 TT=39.895 T1=39.34
|
OPT f=200 TT=56.059 T1=56.06
|
? (TO)
TT=1800.27
|
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/primes-dimacs-cnf/ normalized-aim-200-2_0-yes1-4.opb
|
OPT f=200 TT=0.011 T1=0.01
|
OPT f=200 TT=0.016 T1=0.01
|
OPT f=200 TT=0.011 T1=0.01
|
OPT f=200 TT=0.018 T1=0.01
|
OPT f=200 TT=0.029 T1=0.02
|
OPT f=200 TT=1.358 T1=0.82
|
OPT f=200 TT=0.968 T1=0.56
|
OPT f=200 TT=48.218 T1=48.2
|
OPT f=200 TT=77.103 T1=77.07
|
? (TO)
TT=1800.26
|
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/primes-dimacs-cnf/ normalized-aim-200-3_4-yes1-1.opb
|
OPT f=200 TT=0.02 T1=0.01
|
OPT f=200 TT=0.028 T1=0.02
|
OPT f=200 TT=0.02 T1=0.01
|
OPT f=200 TT=0.033 T1=0.02
|
OPT f=200 TT=0.029 T1=0.02
|
OPT f=200 TT=1.294 T1=0.58
|
OPT f=200 TT=1.049 T1=0.55
|
OPT f=200 TT=139.012 T1=136.89
|
OPT f=200 TT=126.24 T1=118.3
|
? (TO)
TT=1800.26
|
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/primes-dimacs-cnf/ normalized-aim-200-3_4-yes1-2.opb
|
OPT f=200 TT=0.03 T1=0.02
|
OPT f=200 TT=0.045 T1=0.04
|
OPT f=200 TT=0.031 T1=0.03
|
OPT f=200 TT=0.04 T1=0.03
|
OPT f=200 TT=0.03 T1=0.02
|
OPT f=200 TT=1.414 T1=0.84
|
OPT f=200 TT=1.083 T1=0.64
|
OPT f=200 TT=163.169 T1=163.18
|
OPT f=200 TT=316.027 T1=309.98
|
? (TO)
TT=1800.22
|
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/primes-dimacs-cnf/ normalized-aim-200-3_4-yes1-3.opb
|
OPT f=200 TT=0.015 T1=0.01
|
OPT f=200 TT=0.02 T1=0.01
|
OPT f=200 TT=0.015 T1=0.01
|
OPT f=200 TT=0.071 T1=0.06
|
OPT f=200 TT=0.042 T1=0.02
|
OPT f=200 TT=1.752 T1=0.93
|
OPT f=200 TT=0.867 T1=0.55
|
OPT f=200 TT=250.876 T1=244.33
|
OPT f=200 TT=144.782 T1=144.28
|
? (TO)
TT=1800.28
|
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/primes-dimacs-cnf/ normalized-aim-200-3_4-yes1-4.opb
|
OPT f=200 TT=0.014 T1=0.01
|
OPT f=200 TT=0.016 T1=0.01
|
OPT f=200 TT=0.014 T1=0.01
|
OPT f=200 TT=0.019 T1=0.01
|
OPT f=200 TT=0.045 T1=0.02
|
OPT f=200 TT=1.828 T1=0.99
|
OPT f=200 TT=1.182 T1=0.73
|
OPT f=200 TT=164.986 T1=162.71
|
OPT f=200 TT=175.294 T1=174.42
|
? (TO)
TT=1800.27
|
Bench name | Best results | bsolo 3.1 (complete) | bsolo 3.1 cl (complete) | bsolo 3.1 pb (complete) | pbclasp 2009-04-24 (complete) | SAT4J Pseudo CP 2.1.1 (complete) | SAT4J Pseudo Resolution 2.1.1 (complete) | SCIPclp SCIP 1.1.0.7 with CLP 1.8.2 (complete) | SCIPspx SCIP 1.1.0.7 with SoPLEX 1.4.1(24.4.2009) (complete) | wbo 1.0 (complete) |
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/primes-dimacs-cnf/ normalized-aim-200-6_0-yes1-1.opb
|
OPT f=200 TT=0.038 T1=0.02
|
OPT f=200 TT=0.072 T1=0.07
|
OPT f=200 TT=0.055 T1=0.05
|
OPT f=200 TT=0.143 T1=0.1
|
OPT f=200 TT=0.038 T1=0.02
|
OPT f=200 TT=1.829 T1=1.04
|
OPT f=200 TT=1.369 T1=0.71
|
OPT f=200 TT=338.776 T1=337.99
|
OPT f=200 TT=181.373 T1=181.38
|
? (TO)
TT=1800.28
|
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/primes-dimacs-cnf/ normalized-aim-200-6_0-yes1-2.opb
|
OPT f=200 TT=0.029 T1=0.02
|
OPT f=200 TT=0.039 T1=0.03
|
OPT f=200 TT=0.029 T1=0.02
|
OPT f=200 TT=0.042 T1=0.03
|
OPT f=200 TT=0.036 T1=0.02
|
OPT f=200 TT=1.646 T1=0.99
|
OPT f=200 TT=1.291 T1=0.78
|
OPT f=200 TT=402.055 T1=402.15
|
OPT f=200 TT=157.493 T1=154.96
|
? (TO)
TT=1800.24
|
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/primes-dimacs-cnf/ normalized-aim-200-6_0-yes1-3.opb
|
OPT f=200 TT=0.029 T1=0.01
|
OPT f=200 TT=0.036 T1=0.02
|
OPT f=200 TT=0.029 T1=0.01
|
OPT f=200 TT=0.037 T1=0.02
|
OPT f=200 TT=0.035 T1=0.02
|
OPT f=200 TT=1.585 T1=0.8
|
OPT f=200 TT=1.165 T1=0.63
|
OPT f=200 TT=403.522 T1=400.21
|
OPT f=200 TT=271.4 T1=267.23
|
? (TO)
TT=1800.28
|
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/primes-dimacs-cnf/ normalized-aim-200-6_0-yes1-4.opb
|
OPT f=200 TT=0.038 T1=0.03
|
OPT f=200 TT=0.062 T1=0.06
|
OPT f=200 TT=0.038 T1=0.03
|
OPT f=200 TT=0.114 T1=0.1
|
OPT f=200 TT=0.041 T1=0.03
|
OPT f=200 TT=2.078 T1=1.14
|
OPT f=200 TT=1.17 T1=0.7
|
OPT f=200 TT=526.587 T1=526.71
|
OPT f=200 TT=259.04 T1=235.49
|
? (TO)
TT=1800.24
|
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/primes-dimacs-cnf/ normalized-bf0432-007.opb
|
UNSAT
TT=0.095
|
UNSAT
TT=0.104
|
UNSAT
TT=0.095
|
UNSAT
TT=0.106
|
UNSAT
TT=0.113
|
UNSAT
TT=2.614
|
UNSAT
TT=1.762
|
UNSAT
TT=40.821
|
UNSAT
TT=52.301
|
UNSAT
TT=7.234
|
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/primes-dimacs-cnf/ normalized-bf1355-075.opb
|
UNSAT
TT=0.146
|
UNSAT
TT=0.206
|
UNSAT
TT=0.206
|
UNSAT
TT=0.209
|
UNSAT
TT=0.146
|
UNSAT
TT=2.352
|
UNSAT
TT=2.302
|
UNSAT
TT=119.202
|
UNSAT
TT=186.38
|
UNSAT
TT=41.913
|
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/primes-dimacs-cnf/ normalized-bf1355-638.opb
|
UNSAT
TT=0.145
|
UNSAT
TT=0.152
|
UNSAT
TT=0.152
|
UNSAT
TT=0.152
|
UNSAT
TT=0.145
|
UNSAT
TT=2.229
|
UNSAT
TT=2.166
|
UNSAT
TT=58.736
|
UNSAT
TT=60.036
|
UNSAT
TT=41.052
|
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/primes-dimacs-cnf/ normalized-bf2670-001.opb
|
UNSAT
TT=0.059
|
UNSAT
TT=0.064
|
UNSAT
TT=0.059
|
UNSAT
TT=0.064
|
UNSAT
TT=0.083
|
UNSAT
TT=1.683
|
UNSAT
TT=1.652
|
UNSAT
TT=2.444
|
UNSAT
TT=2.407
|
UNSAT
TT=12.919
|
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-f1000.opb
|
|
?
TT=1798.01
|
?
TT=1798.01
|
?
TT=1798.01
|
? (TO)
TT=1800.06
|
? (TO)
TT=1800.4
|
? (TO)
TT=1800.35
|
?
TT=1796.32
|
?
TT=1794.26
|
? (TO)
TT=1800.27
|
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-f2000.opb
|
|
?
TT=1798.01
|
?
TT=1798.02
|
?
TT=1798.01
|
? (TO)
TT=1800.02
|
? (TO)
TT=1800.36
|
? (TO)
TT=1800.36
|
?
TT=1795.72
|
?
TT=1792.23
|
? (TO)
TT=1800.26
|
Bench name | Best results | bsolo 3.1 (complete) | bsolo 3.1 cl (complete) | bsolo 3.1 pb (complete) | pbclasp 2009-04-24 (complete) | SAT4J Pseudo CP 2.1.1 (complete) | SAT4J Pseudo Resolution 2.1.1 (complete) | SCIPclp SCIP 1.1.0.7 with CLP 1.8.2 (complete) | SCIPspx SCIP 1.1.0.7 with SoPLEX 1.4.1(24.4.2009) (complete) | wbo 1.0 (complete) |
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-f600.opb
|
|
?
TT=1798
|
?
TT=1798
|
?
TT=1798
|
? (TO)
TT=1800.1
|
? (TO)
TT=1800.4
|
? (TO)
TT=1800.35
|
?
TT=1797.74
|
?
TT=1794.84
|
? (TO)
TT=1800.34
|
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-g125.17.opb
|
|
?
TT=1798.14
|
?
TT=1798.19
|
?
TT=1798.18
|
? (TO)
TT=1800.09
|
? (TO)
TT=1800.32
|
? (TO)
TT=1800.44
|
?
TT=1794.11
|
?
TT=1794.35
|
? (TO)
TT=1800.17
|
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-g125.18.opb
|
|
?
TT=1798.14
|
?
TT=1798.18
|
?
TT=1798.22
|
? (TO)
TT=1800.01
|
? (TO)
TT=1800.35
|
? (TO)
TT=1801.11
|
?
TT=1797.56
|
?
TT=1794.42
|
? (TO)
TT=1800.09
|
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-g250.15.opb
|
|
?
TT=1798.13
|
?
TT=1798.17
|
?
TT=1798.16
|
? (TO)
TT=1800.02
|
? (TO)
TT=1800.37
|
? (TO)
TT=1800.36
|
?
TT=1797.71
|
?
TT=1797.68
|
? (TO)
TT=1800.15
|
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-g250.29.opb
|
|
?
TT=1798.35
|
?
TT=1798.22
|
?
TT=1798.27
|
? (TO)
TT=1800.01
|
? (TO)
TT=1800.39
|
? (TO)
TT=1800.35
|
? (TO)
TT=1802.18
|
? (TO)
TT=1802.22
|
? (TO)
TT=1800.09
|
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-hanoi4.opb
|
OPT f=718 TT=0.542 T1=0.33
|
OPT f=718 TT=1.735 T1=0.57
|
OPT f=718 TT=1.48 T1=0.33
|
OPT f=718 TT=1.705 T1=0.71
|
OPT f=718 TT=0.542 T1=0.44
|
OPT f=718 TT=6.614 T1=3.47
|
OPT f=718 TT=3.607 T1=2.25
|
? (TO)
TT=1800.14
|
? (TO)
TT=1800.18
|
? (TO)
TT=1800.32
|
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-hanoi5.opb
|
OPT f=1931 TT=18.647 T1=17.7
|
OPT f=1931 TT=1393.86 T1=1352.11
|
OPT f=1931 TT=298.337 T1=297.63
|
?
TT=1798
|
OPT f=1931 TT=18.647 T1=17.7
|
? (TO)
TT=1800.53
|
OPT f=1931 TT=62.967 T1=44.85
|
?
TT=1794.76
|
?
TT=1795.7
|
? (TO)
TT=1800.22
|
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-ii16a1.opb
|
SAT f=1294 TT=1795.91 T1=1314.51
|
SAT f=1345 TT=1798.11 T1=547.2
|
SAT f=1367 TT=1798.11 T1=29.31
|
SAT (TO) f=1368 TT=1800.16 T1=2.02
|
SAT (TO) f=1466 TT=1800.03 T1=477.43
|
SAT (TO) f=1407 TT=1800.4 T1=405.01
|
SAT (TO) f=1452 TT=1800.63 T1=1238.24
|
SAT (TO) f=1210 TT=1800.52 T1=1421.54
|
SAT f=1294 TT=1795.91 T1=1314.51
|
? (TO)
TT=1800.22
|
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-ii16a2.opb
|
SAT f=1316 TT=1798.12 T1=46.53
|
SAT f=1319 TT=1798.2 T1=392.63
|
SAT f=1316 TT=1798.12 T1=46.53
|
SAT f=1333 TT=1798.63 T1=1659.71
|
SAT (TO) f=1427 TT=1800.01 T1=0.33
|
SAT (TO) f=1396 TT=1800.42 T1=170.88
|
SAT (TO) f=1449 TT=1800.58 T1=1.76
|
?
TT=1795.31
|
?
TT=1797.2
|
? (TO)
TT=1800.15
|
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-ii16b1.opb
|
SAT f=1511 TT=1798.12 T1=198.78
|
SAT f=1557 TT=1798.16 T1=260.26
|
SAT f=1511 TT=1798.12 T1=198.78
|
SAT f=1614 TT=1798.07 T1=40.29
|
SAT (TO) f=1653 TT=1800.09 T1=657.67
|
SAT (TO) f=1610 TT=1800.4 T1=1345.41
|
SAT (TO) f=1663 TT=1801.01 T1=14.72
|
SAT (TO) f=1549 TT=1800.8 T1=784.35
|
?
TT=1797.3
|
? (TO)
TT=1800.16
|
Bench name | Best results | bsolo 3.1 (complete) | bsolo 3.1 cl (complete) | bsolo 3.1 pb (complete) | pbclasp 2009-04-24 (complete) | SAT4J Pseudo CP 2.1.1 (complete) | SAT4J Pseudo Resolution 2.1.1 (complete) | SCIPclp SCIP 1.1.0.7 with CLP 1.8.2 (complete) | SCIPspx SCIP 1.1.0.7 with SoPLEX 1.4.1(24.4.2009) (complete) | wbo 1.0 (complete) |
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-ii16b2.opb
|
OPT f=1031 TT=17.859 T1=0.18
|
SAT f=1031 TT=1798.06 T1=0.28
|
SAT f=1031 TT=1798.07 T1=0.3
|
SAT f=1031 TT=1798.07 T1=0.29
|
SAT (TO) f=1031 TT=1800.08 T1=0.18
|
OPT f=1031 TT=17.859 T1=2.15
|
SAT (TO) f=1031 TT=1801.19 T1=1.9
|
SAT (TO) f=1031 TT=1800.4 T1=838.14
|
?
TT=1795.25
|
? (TO)
TT=1800.15
|
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-ii16c1.opb
|
SAT f=1246 TT=1796.35 T1=1141.79
|
SAT f=1369 TT=1798.09 T1=118.47
|
SAT f=1378 TT=1798.11 T1=4.7
|
SAT f=1414 TT=1798.22 T1=15.29
|
SAT (TO) f=1405 TT=1800.05 T1=88.97
|
SAT (TO) f=1466 TT=1800.42 T1=6.28
|
SAT (TO) f=1323 TT=1800.66 T1=57.01
|
SAT f=1290 TT=1797.1 T1=1113.7
|
SAT f=1246 TT=1796.35 T1=1141.79
|
? (TO)
TT=1800.17
|
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-ii16c2.opb
|
OPT f=861 TT=28.066 T1=0.17
|
SAT f=861 TT=1798.05 T1=0.35
|
SAT f=861 TT=1798.05 T1=0.3
|
SAT f=861 TT=1798.05 T1=0.34
|
SAT (TO) f=861 TT=1800.03 T1=0.17
|
OPT f=861 TT=28.066 T1=5.27
|
SAT (TO) f=861 TT=1801.54 T1=981.92
|
SAT f=861 TT=1798.02 T1=807.96
|
SAT f=861 TT=1797.14 T1=534.09
|
? (TO)
TT=1800.12
|
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-ii16d1.opb
|
SAT f=1064 TT=1798.07 T1=27.38
|
SAT f=1030 TT=1798.06 T1=57.39
|
SAT f=1064 TT=1798.07 T1=27.38
|
SAT f=1118 TT=1798.05 T1=11.24
|
SAT (TO) f=1151 TT=1800.03 T1=1500.24
|
SAT (TO) f=1170 TT=1800.26 T1=694.08
|
SAT (TO) f=1157 TT=1800.66 T1=506.49
|
SAT (TO) f=976 TT=1800.33 T1=1216.44
|
SAT f=1085 TT=1798.9 T1=967.03
|
? (TO)
TT=1800.21
|
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-ii16d2.opb
|
OPT f=785 TT=45.998 T1=0.56
|
SAT f=785 TT=1798.05 T1=1.19
|
SAT f=785 TT=1798.05 T1=1.07
|
SAT f=785 TT=1798.08 T1=1.7
|
SAT (TO) f=785 TT=1800.03 T1=0.56
|
OPT f=785 TT=45.998 T1=8.1
|
SAT (TO) f=787 TT=1801.43 T1=1479.62
|
SAT f=785 TT=1798.17 T1=674.04
|
SAT f=785 TT=1796.05 T1=332.96
|
? (TO)
TT=1800.19
|
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-ii16e1.opb
|
SAT f=1112 TT=1798.4 T1=1324.92
|
SAT f=1138 TT=1798.08 T1=417.22
|
SAT f=1138 TT=1798.08 T1=327.39
|
SAT (TO) f=1121 TT=1800.18 T1=417.59
|
SAT (TO) f=1149 TT=1800.09 T1=0.97
|
SAT (TO) f=1164 TT=1800.32 T1=495.42
|
SAT (TO) f=1143 TT=1800.56 T1=139.2
|
SAT (TO) f=1105 TT=1800.22 T1=363.13
|
SAT f=1112 TT=1798.4 T1=1324.92
|
? (TO)
TT=1800.23
|
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-ii16e2.opb
|
OPT f=520 TT=6.575 T1=0.14
|
OPT f=520 TT=223.486 T1=0.18
|
OPT f=520 TT=127.767 T1=0.19
|
OPT f=520 TT=235.773 T1=0.19
|
OPT f=520 TT=13.205 T1=0.14
|
OPT f=520 TT=6.575 T1=1.26
|
OPT f=520 TT=23.037 T1=1.82
|
OPT f=520 TT=601.549 T1=333.6
|
OPT f=520 TT=1068.81 T1=747.46
|
? (TO)
TT=1800.19
|
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-ii32a1.opb
|
OPT f=444 TT=5.435 T1=0.16
|
OPT f=444 TT=11.343 T1=0.16
|
OPT f=444 TT=286.079 T1=0.17
|
OPT f=444 TT=15.33 T1=0.16
|
OPT f=444 TT=20.063 T1=0.67
|
OPT f=444 TT=5.435 T1=1.3
|
OPT f=444 TT=19.762 T1=1.21
|
OPT f=444 TT=933.834 T1=432.36
|
OPT f=444 TT=817.964 T1=397.48
|
? (TO)
TT=1800.18
|
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-ii32b1.opb
|
OPT f=191 TT=84.955 T1=1.07
|
SAT f=191 TT=1798.03 T1=170.88
|
SAT f=191 TT=1798.01 T1=64.21
|
SAT f=191 TT=1798.02 T1=637.37
|
SAT (TO) f=191 TT=1800.1 T1=1.07
|
SAT (TO) f=192 TT=1800.23 T1=201.26
|
SAT (TO) f=191 TT=1801.94 T1=13.12
|
OPT f=191 TT=59.647 T1=30.12
|
OPT f=191 TT=84.955 T1=60.07
|
? (TO)
TT=1800.26
|
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-ii32b2.opb
|
OPT f=244 TT=2.324 T1=0.34
|
OPT f=244 TT=835.76 T1=39.86
|
OPT f=244 TT=810.857 T1=90.07
|
OPT f=244 TT=511.183 T1=124.35
|
OPT f=244 TT=2.324 T1=0.34
|
OPT f=244 TT=225.727 T1=4.36
|
OPT f=244 TT=4.607 T1=2.22
|
OPT f=244 TT=184.535 T1=140.46
|
OPT f=244 TT=227.437 T1=162.37
|
? (TO)
TT=1800.14
|
Bench name | Best results | bsolo 3.1 (complete) | bsolo 3.1 cl (complete) | bsolo 3.1 pb (complete) | pbclasp 2009-04-24 (complete) | SAT4J Pseudo CP 2.1.1 (complete) | SAT4J Pseudo Resolution 2.1.1 (complete) | SCIPclp SCIP 1.1.0.7 with CLP 1.8.2 (complete) | SCIPspx SCIP 1.1.0.7 with SoPLEX 1.4.1(24.4.2009) (complete) | wbo 1.0 (complete) |
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-ii32b3.opb
|
OPT f=331 TT=11.921 T1=0.31
|
OPT f=331 TT=49.496 T1=2.91
|
OPT f=331 TT=76.441 T1=1.23
|
OPT f=331 TT=488.141 T1=0.8
|
OPT f=331 TT=11.921 T1=0.31
|
OPT f=331 TT=1225.09 T1=83.43
|
OPT f=331 TT=18.013 T1=4.07
|
OPT f=331 TT=520.686 T1=200.98
|
OPT f=331 TT=570.546 T1=315.73
|
? (TO)
TT=1800.14
|
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-ii32b4.opb
|
OPT f=376 TT=1.504 T1=0.17
|
OPT f=376 TT=9.306 T1=0.17
|
OPT f=376 TT=11.361 T1=0.17
|
OPT f=376 TT=18.538 T1=0.17
|
OPT f=376 TT=1.504 T1=0.17
|
OPT f=376 TT=6.806 T1=1.27
|
OPT f=376 TT=2.578 T1=0.99
|
OPT f=376 TT=519.005 T1=376.38
|
OPT f=376 TT=666.177 T1=403.5
|
? (TO)
TT=1800.12
|
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-ii32c1.opb
|
OPT f=167 TT=65.225 T1=57.51
|
SAT f=167 TT=1798.04 T1=16.4
|
SAT f=167 TT=1798.06 T1=296.77
|
SAT f=167 TT=1798.07 T1=219.51
|
SAT (TO) f=167 TT=1800.04 T1=980.26
|
SAT (TO) f=181 TT=1800.25 T1=497.48
|
SAT (TO) f=178 TT=1801.17 T1=80.24
|
OPT f=167 TT=46.409 T1=34.87
|
OPT f=167 TT=65.225 T1=57.51
|
? (TO)
TT=1800.32
|
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-ii32c2.opb
|
OPT f=207 TT=203.816 T1=120.18
|
SAT f=208 TT=1798.18 T1=62.96
|
SAT f=207 TT=1798.15 T1=699.05
|
SAT f=207 TT=1798.11 T1=720.97
|
SAT (TO) f=208 TT=1800.05 T1=2.71
|
SAT (TO) f=213 TT=1800.3 T1=1616.33
|
SAT (TO) f=210 TT=1800.83 T1=222.1
|
OPT f=207 TT=164.923 T1=94.23
|
OPT f=207 TT=203.816 T1=120.18
|
? (TO)
TT=1800.34
|
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-ii32c3.opb
|
OPT f=261 TT=15.605 T1=3.05
|
OPT f=261 TT=256.581 T1=13.32
|
OPT f=261 TT=184.397 T1=10.84
|
SAT f=261 TT=1798.05 T1=22.17
|
OPT f=261 TT=15.605 T1=3.05
|
SAT (TO) f=262 TT=1800.25 T1=209.24
|
OPT f=261 TT=51.563 T1=12.46
|
OPT f=261 TT=338.565 T1=215.38
|
OPT f=261 TT=468.805 T1=144.59
|
? (TO)
TT=1800.13
|
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-ii32c4.opb
|
OPT f=736 TT=10.913 T1=0.96
|
OPT f=736 TT=306.666 T1=0.96
|
SAT f=736 TT=1798.06 T1=0.96
|
OPT f=736 TT=169.073 T1=0.97
|
SAT (TO) f=736 TT=1800.06 T1=0.97
|
OPT f=736 TT=10.913 T1=2.26
|
SAT (TO) f=736 TT=1801.26 T1=2.03
|
?
TT=1796.23
|
?
TT=1795.37
|
? (TO)
TT=1800.18
|
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-ii32d1.opb
|
SAT f=285 TT=1800.17 T1=719.21
|
SAT f=287 TT=1798.01 T1=11.82
|
SAT f=287 TT=1798.01 T1=98.93
|
SAT f=293 TT=1798.01 T1=84.8
|
SAT (TO) f=288 TT=1800.13 T1=343.27
|
SAT (TO) f=293 TT=1800.29 T1=1675.21
|
SAT (TO) f=293 TT=1800.64 T1=1688.99
|
SAT f=285 TT=1799.66 T1=902.68
|
SAT (TO) f=285 TT=1800.17 T1=719.21
|
? (TO)
TT=1800.09
|
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-ii32d2.opb
|
SAT f=372 TT=1798.02 T1=4.45
|
SAT f=372 TT=1798.01 T1=87.13
|
SAT f=372 TT=1798.02 T1=72.6
|
SAT f=372 TT=1798.02 T1=1433.05
|
SAT (TO) f=372 TT=1800.04 T1=4.45
|
SAT (TO) f=372 TT=1800.32 T1=1559.68
|
SAT (TO) f=372 TT=1801.11 T1=29.97
|
SAT (TO) f=372 TT=1800.18 T1=1242.32
|
SAT f=372 TT=1798.99 T1=890.66
|
? (TO)
TT=1800.17
|
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-ii32d3.opb
|
SAT f=802 TT=1798.04 T1=0.56
|
SAT f=802 TT=1798.07 T1=21.88
|
SAT f=802 TT=1798.06 T1=8
|
SAT f=802 TT=1798.04 T1=85.76
|
SAT (TO) f=802 TT=1800.06 T1=0.56
|
SAT (TO) f=802 TT=1800.47 T1=30.76
|
SAT (TO) f=802 TT=1800.76 T1=221.79
|
? (TO)
TT=1802.06
|
?
TT=1796.83
|
? (TO)
TT=1800.08
|
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-ii32e1.opb
|
OPT f=162 TT=94.996 T1=19.19
|
SAT f=162 TT=1798.02 T1=46.22
|
SAT f=162 TT=1798.06 T1=62.22
|
SAT f=162 TT=1798.03 T1=76.06
|
SAT (TO) f=163 TT=1800.13 T1=3.16
|
SAT (TO) f=167 TT=1800.37 T1=582.18
|
SAT (TO) f=163 TT=1800.84 T1=178.17
|
OPT f=162 TT=110.691 T1=21.43
|
OPT f=162 TT=94.996 T1=19.19
|
? (TO)
TT=1800.31
|
Bench name | Best results | bsolo 3.1 (complete) | bsolo 3.1 cl (complete) | bsolo 3.1 pb (complete) | pbclasp 2009-04-24 (complete) | SAT4J Pseudo CP 2.1.1 (complete) | SAT4J Pseudo Resolution 2.1.1 (complete) | SCIPclp SCIP 1.1.0.7 with CLP 1.8.2 (complete) | SCIPspx SCIP 1.1.0.7 with SoPLEX 1.4.1(24.4.2009) (complete) | wbo 1.0 (complete) |
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-ii32e2.opb
|
OPT f=235 TT=229.873 T1=0.55
|
SAT f=235 TT=1798.01 T1=11.52
|
SAT f=235 TT=1798.01 T1=5.96
|
SAT f=235 TT=1798.02 T1=3.42
|
SAT (TO) f=235 TT=1800.04 T1=0.55
|
SAT (TO) f=235 TT=1800.25 T1=10.06
|
SAT (TO) f=235 TT=1801.29 T1=7.64
|
OPT f=235 TT=332.217 T1=65.76
|
OPT f=235 TT=229.873 T1=75.61
|
? (TO)
TT=1800.18
|
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-ii32e3.opb
|
OPT f=310 TT=35.278 T1=0.07
|
OPT f=310 TT=86.377 T1=3.83
|
OPT f=310 TT=540.787 T1=1.91
|
OPT f=310 TT=364.054 T1=1.91
|
OPT f=310 TT=35.278 T1=0.07
|
OPT f=310 TT=1025.69 T1=115.31
|
OPT f=310 TT=85.093 T1=2.86
|
OPT f=310 TT=443.733 T1=120.07
|
OPT f=310 TT=410.386 T1=199.84
|
? (TO)
TT=1800.18
|
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-ii32e4.opb
|
OPT f=364 TT=608.631 T1=1.81
|
OPT f=364 TT=112.264 T1=22.98
|
SAT f=364 TT=1798.02 T1=4.1
|
OPT f=364 TT=784.666 T1=1.81
|
OPT f=364 TT=608.631 T1=6.28
|
SAT (TO) f=364 TT=1800.29 T1=339.69
|
SAT (TO) f=364 TT=1800.69 T1=245.71
|
OPT f=364 TT=493.974 T1=230.61
|
OPT f=364 TT=725.119 T1=200.25
|
? (TO)
TT=1800.22
|
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-ii32e5.opb
|
OPT f=503 TT=40.465 T1=4.17
|
OPT f=503 TT=183.286 T1=11.4
|
OPT f=503 TT=655.161 T1=11.34
|
SAT f=503 TT=1798.02 T1=63.88
|
OPT f=503 TT=40.465 T1=4.17
|
SAT (TO) f=503 TT=1800.23 T1=1154.12
|
OPT f=503 TT=83.298 T1=10.3
|
SAT f=504 TT=1799.29 T1=581.27
|
SAT f=503 TT=1797.33 T1=516.82
|
? (TO)
TT=1800.11
|
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-ii8a1.opb
|
OPT f=54 TT=0.146 T1=0.01
|
OPT f=54 TT=0.999 T1=0.03
|
OPT f=54 TT=1.082 T1=0.02
|
OPT f=54 TT=0.987 T1=0.13
|
OPT f=54 TT=0.146 T1=0.01
|
OPT f=54 TT=4.106 T1=0.97
|
OPT f=54 TT=2.104 T1=0.65
|
OPT f=54 TT=1.431 T1=1.02
|
OPT f=54 TT=2.434 T1=0.96
|
? (TO)
TT=1800.24
|
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-ii8a2.opb
|
OPT f=139 TT=91.489 T1=30.77
|
SAT f=144 TT=1798.01 T1=0.31
|
SAT f=145 TT=1798.1 T1=0.01
|
SAT f=143 TT=1799.89 T1=150.79
|
SAT (TO) f=148 TT=1800.08 T1=746.26
|
SAT (TO) f=145 TT=1800.37 T1=220.15
|
SAT (TO) f=146 TT=1801.14 T1=4.07
|
OPT f=139 TT=121.911 T1=15.53
|
OPT f=139 TT=91.489 T1=30.77
|
? (TO)
TT=1800.33
|
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-ii8a3.opb
|
OPT f=191 TT=471.071 T1=77.62
|
SAT f=198 TT=1798.01 T1=1593.05
|
SAT f=203 TT=1798.01 T1=0.02
|
SAT f=203 TT=1798.03 T1=0.02
|
SAT (TO) f=225 TT=1800.11 T1=0.43
|
SAT (TO) f=194 TT=1800.21 T1=3.21
|
SAT (TO) f=217 TT=1801.17 T1=0.6
|
OPT f=191 TT=692.199 T1=46.53
|
OPT f=191 TT=471.071 T1=77.62
|
? (TO)
TT=1800.22
|
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-ii8a4.opb
|
OPT f=283 TT=1008.46 T1=137.22
|
SAT f=307 TT=1798.01 T1=1049.65
|
SAT f=322 TT=1798.01 T1=1.32
|
SAT f=315 TT=1798.01 T1=192.88
|
SAT (TO) f=341 TT=1800.1 T1=1.49
|
SAT (TO) f=336 TT=1800.24 T1=33.89
|
SAT (TO) f=318 TT=1800.65 T1=1.81
|
OPT f=283 TT=612.18 T1=67.35
|
OPT f=283 TT=1008.46 T1=137.22
|
? (TO)
TT=1800.21
|
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-ii8b1.opb
|
OPT f=191 TT=13.846 T1=4.66
|
SAT f=219 TT=1798.01 T1=595.02
|
SAT f=221 TT=1798.01 T1=0.02
|
SAT f=216 TT=1798.02 T1=659.9
|
SAT (TO) f=271 TT=1800.1 T1=0.17
|
SAT (TO) f=221 TT=1800.56 T1=0.65
|
SAT (TO) f=214 TT=1801.16 T1=0.64
|
OPT f=191 TT=15.069 T1=4.82
|
OPT f=191 TT=13.846 T1=4.66
|
? (TO)
TT=1800.27
|
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-ii8b2.opb
|
SAT f=379 TT=1799.75 T1=252.38
|
SAT f=412 TT=1798.02 T1=0.05
|
SAT f=412 TT=1798.02 T1=0.05
|
SAT f=412 TT=1798.09 T1=0.05
|
SAT (TO) f=505 TT=1800.12 T1=0.56
|
SAT (TO) f=411 TT=1800.25 T1=1.53
|
SAT (TO) f=412 TT=1800.73 T1=0.85
|
OPT f=379 TT=1364.69 T1=310.83
|
SAT f=379 TT=1799.75 T1=252.38
|
? (TO)
TT=1800.17
|
Bench name | Best results | bsolo 3.1 (complete) | bsolo 3.1 cl (complete) | bsolo 3.1 pb (complete) | pbclasp 2009-04-24 (complete) | SAT4J Pseudo CP 2.1.1 (complete) | SAT4J Pseudo Resolution 2.1.1 (complete) | SCIPclp SCIP 1.1.0.7 with CLP 1.8.2 (complete) | SCIPspx SCIP 1.1.0.7 with SoPLEX 1.4.1(24.4.2009) (complete) | wbo 1.0 (complete) |
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-ii8b3.opb
|
SAT f=507 TT=1797.83 T1=248.48
|
SAT f=587 TT=1798.03 T1=265.87
|
SAT f=616 TT=1798.04 T1=0.1
|
SAT f=596 TT=1798.22 T1=3.01
|
SAT (TO) f=731 TT=1800.03 T1=411.98
|
SAT (TO) f=551 TT=1800.3 T1=64.29
|
SAT (TO) f=547 TT=1800.67 T1=2.38
|
OPT f=507 TT=1449.28 T1=120.18
|
SAT f=507 TT=1797.83 T1=248.48
|
? (TO)
TT=1800.3
|
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-ii8b4.opb
|
SAT f=654 TT=1796.35 T1=288.85
|
SAT f=796 TT=1798.05 T1=0.13
|
SAT f=776 TT=1798.04 T1=189.99
|
SAT f=739 TT=1798.05 T1=1242.36
|
SAT (TO) f=923 TT=1800.03 T1=0.16
|
SAT (TO) f=708 TT=1800.31 T1=1.51
|
SAT (TO) f=704 TT=1800.61 T1=1.37
|
SAT f=654 TT=1795.94 T1=246.71
|
SAT f=654 TT=1796.35 T1=288.85
|
? (TO)
TT=1800.26
|
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-ii8c1.opb
|
OPT f=302 TT=392.34 T1=123.32
|
SAT f=315 TT=1798.01 T1=0.04
|
SAT f=315 TT=1798.01 T1=0.04
|
SAT f=315 TT=1798.12 T1=0.04
|
SAT (TO) f=401 TT=1800.12 T1=0.34
|
SAT (TO) f=315 TT=1800.2 T1=0.8
|
SAT (TO) f=315 TT=1800.95 T1=0.78
|
OPT f=302 TT=266.481 T1=115.87
|
OPT f=302 TT=392.34 T1=123.32
|
? (TO)
TT=1800.36
|
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-ii8c2.opb
|
SAT f=525 TT=1796.98 T1=907.53
|
SAT f=638 TT=1798.03 T1=1054.74
|
SAT f=647 TT=1798.04 T1=0.11
|
SAT (TO) f=647 TT=1800.14 T1=0.11
|
SAT (TO) f=700 TT=1800.06 T1=0.28
|
SAT (TO) f=583 TT=1800.34 T1=4.36
|
SAT (TO) f=766 TT=1800.71 T1=1.49
|
SAT f=525 TT=1799.2 T1=490.03
|
SAT f=525 TT=1796.98 T1=907.53
|
? (TO)
TT=1800.23
|
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-ii8d1.opb
|
SAT f=343 TT=1800.17 T1=1556.24
|
SAT f=374 TT=1798.01 T1=0.04
|
SAT f=374 TT=1798.01 T1=0.06
|
SAT f=374 TT=1798.12 T1=0.04
|
SAT (TO) f=451 TT=1800.11 T1=68.52
|
SAT (TO) f=397 TT=1800.25 T1=2.51
|
SAT (TO) f=419 TT=1800.73 T1=1.97
|
SAT f=343 TT=1799.85 T1=654.59
|
SAT (TO) f=343 TT=1800.17 T1=1556.24
|
? (MO)
TT=1785.43
|
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-ii8d2.opb
|
SAT f=540 TT=1799.2 T1=324.66
|
SAT f=589 TT=1798.03 T1=0.1
|
SAT f=589 TT=1798.03 T1=0.09
|
SAT (TO) f=589 TT=1800.11 T1=0.1
|
SAT (TO) f=707 TT=1800.01 T1=18.79
|
SAT (TO) f=615 TT=1800.28 T1=5.35
|
SAT (TO) f=622 TT=1800.75 T1=1.25
|
SAT (TO) f=540 TT=1800.16 T1=860.04
|
SAT f=540 TT=1799.2 T1=324.66
|
? (TO)
TT=1800.32
|
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-ii8e1.opb
|
SAT f=350 TT=1800.13 T1=300.71
|
SAT f=381 TT=1798.01 T1=36.83
|
SAT f=393 TT=1798.02 T1=0.09
|
SAT f=407 TT=1798.01 T1=0.76
|
SAT (TO) f=426 TT=1800.11 T1=87.79
|
SAT (TO) f=419 TT=1800.3 T1=414.86
|
SAT (TO) f=424 TT=1800.63 T1=216.2
|
SAT (TO) f=343 TT=1800.1 T1=834.57
|
SAT (TO) f=350 TT=1800.13 T1=300.71
|
? (MO)
TT=1457.73
|
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-ii8e2.opb
|
SAT f=494 TT=1798.24 T1=204.69
|
SAT f=633 TT=1798.03 T1=0.09
|
SAT f=633 TT=1798.03 T1=0.1
|
SAT f=633 TT=1798.1 T1=0.09
|
SAT (TO) f=700 TT=1800.02 T1=0.14
|
SAT (TO) f=617 TT=1800.35 T1=1728.9
|
SAT (TO) f=545 TT=1800.78 T1=1.34
|
SAT f=494 TT=1795.72 T1=568.13
|
SAT f=494 TT=1798.24 T1=204.69
|
? (TO)
TT=1800.34
|
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-jnh12.opb
|
OPT f=94 TT=0.01 T1=0.01
|
OPT f=94 TT=0.011 T1=0.01
|
OPT f=94 TT=0.01 T1=0.01
|
OPT f=94 TT=0.011 T1=0.01
|
OPT f=94 TT=0.028 T1=0.02
|
OPT f=94 TT=1.15 T1=0.62
|
OPT f=94 TT=0.833 T1=0.56
|
OPT f=94 TT=0.129 T1=0.11
|
OPT f=94 TT=0.129 T1=0.11
|
? (TO)
TT=1800.26
|
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-jnh17.opb
|
OPT f=95 TT=0.032 T1=0.02
|
OPT f=95 TT=0.826 T1=0.28
|
OPT f=95 TT=0.762 T1=0.25
|
OPT f=95 TT=0.767 T1=0.26
|
OPT f=95 TT=0.032 T1=0.02
|
OPT f=95 TT=2.311 T1=1.19
|
OPT f=95 TT=1.238 T1=0.78
|
OPT f=95 TT=10.108 T1=5.46
|
OPT f=95 TT=12.236 T1=2.37
|
? (TO)
TT=1800.19
|
Bench name | Best results | bsolo 3.1 (complete) | bsolo 3.1 cl (complete) | bsolo 3.1 pb (complete) | pbclasp 2009-04-24 (complete) | SAT4J Pseudo CP 2.1.1 (complete) | SAT4J Pseudo Resolution 2.1.1 (complete) | SCIPclp SCIP 1.1.0.7 with CLP 1.8.2 (complete) | SCIPspx SCIP 1.1.0.7 with SoPLEX 1.4.1(24.4.2009) (complete) | wbo 1.0 (complete) |
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-jnh1.opb
|
OPT f=92 TT=0.056 T1=0.03
|
OPT f=92 TT=10.451 T1=2.42
|
OPT f=92 TT=10.438 T1=2.42
|
OPT f=92 TT=9.917 T1=2.43
|
OPT f=92 TT=0.056 T1=0.03
|
OPT f=92 TT=4.093 T1=1.53
|
OPT f=92 TT=1.49 T1=0.89
|
OPT f=92 TT=30.456 T1=27.67
|
OPT f=92 TT=40.626 T1=39.42
|
? (TO)
TT=1800.26
|
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-jnh201.opb
|
OPT f=84 TT=5.587 T1=3.95
|
OPT f=84 TT=358.505 T1=266.91
|
OPT f=84 TT=597.685 T1=537.97
|
OPT f=84 TT=726.089 T1=374.27
|
OPT f=84 TT=5.587 T1=3.95
|
SAT (TO) f=85 TT=1800.21 T1=1683.19
|
OPT f=84 TT=52.832 T1=47.57
|
OPT f=84 TT=81.386 T1=70.44
|
OPT f=84 TT=94.976 T1=68.5
|
? (TO)
TT=1800.25
|
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-jnh204.opb
|
OPT f=93 TT=0.039 T1=0.03
|
OPT f=93 TT=13.501 T1=7.67
|
OPT f=93 TT=14.723 T1=8.05
|
OPT f=93 TT=14.534 T1=8.55
|
OPT f=93 TT=0.039 T1=0.03
|
OPT f=93 TT=2.195 T1=1.25
|
OPT f=93 TT=1.322 T1=0.83
|
OPT f=93 TT=41.987 T1=41.32
|
OPT f=93 TT=59.453 T1=52.43
|
? (TO)
TT=1800.19
|
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-jnh205.opb
|
OPT f=94 TT=0.032 T1=0.02
|
OPT f=94 TT=2.456 T1=0.11
|
OPT f=94 TT=2.451 T1=0.11
|
OPT f=94 TT=2.453 T1=0.11
|
OPT f=94 TT=0.032 T1=0.02
|
OPT f=94 TT=1.671 T1=0.94
|
OPT f=94 TT=1.108 T1=0.72
|
OPT f=94 TT=7.173 T1=7.15
|
OPT f=94 TT=8.443 T1=4.1
|
? (TO)
TT=1800.23
|
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-jnh207.opb
|
OPT f=95 TT=0.029 T1=0.02
|
OPT f=95 TT=1.463 T1=0.18
|
OPT f=95 TT=1.431 T1=0.16
|
OPT f=95 TT=1.499 T1=0.16
|
OPT f=95 TT=0.029 T1=0.02
|
OPT f=95 TT=1.506 T1=0.9
|
OPT f=95 TT=1.078 T1=0.68
|
OPT f=95 TT=31.4 T1=31.16
|
OPT f=95 TT=33.415 T1=28.29
|
? (TO)
TT=1800.28
|
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-jnh209.opb
|
OPT f=93 TT=0.038 T1=0.02
|
OPT f=93 TT=8.925 T1=1.45
|
OPT f=93 TT=8.889 T1=1.45
|
OPT f=93 TT=8.933 T1=1.46
|
OPT f=93 TT=0.038 T1=0.02
|
OPT f=93 TT=3.404 T1=0.94
|
OPT f=93 TT=1.376 T1=0.72
|
OPT f=93 TT=26.445 T1=23.39
|
OPT f=93 TT=37.671 T1=36.27
|
? (TO)
TT=1800.29
|
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-jnh210.opb
|
OPT f=88 TT=0.097 T1=0.04
|
OPT f=88 TT=3.343 T1=2.77
|
OPT f=88 TT=3.34 T1=2.76
|
OPT f=88 TT=3.634 T1=2.78
|
OPT f=88 TT=0.097 T1=0.04
|
OPT f=88 TT=5.328 T1=1.9
|
OPT f=88 TT=1.851 T1=1.09
|
OPT f=88 TT=2.774 T1=0.16
|
OPT f=88 TT=4.162 T1=3.82
|
? (TO)
TT=1800.27
|
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-jnh212.opb
|
OPT f=97 TT=0.038 T1=0.02
|
OPT f=97 TT=4.305 T1=0.65
|
OPT f=97 TT=3.996 T1=0.59
|
OPT f=97 TT=5.433 T1=0.72
|
OPT f=97 TT=0.038 T1=0.02
|
OPT f=97 TT=1.773 T1=0.88
|
OPT f=97 TT=1.232 T1=0.73
|
OPT f=97 TT=39.298 T1=26.07
|
OPT f=97 TT=49.071 T1=46.92
|
? (TO)
TT=1800.3
|
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-jnh213.opb
|
OPT f=92 TT=0.032 T1=0.02
|
OPT f=92 TT=0.262 T1=0.12
|
OPT f=92 TT=0.246 T1=0.12
|
OPT f=92 TT=0.248 T1=0.12
|
OPT f=92 TT=0.032 T1=0.02
|
OPT f=92 TT=2.25 T1=0.92
|
OPT f=92 TT=1.197 T1=0.74
|
OPT f=92 TT=1.77 T1=1.24
|
OPT f=92 TT=2.737 T1=0.17
|
? (TO)
TT=1800.28
|
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-jnh217.opb
|
OPT f=89 TT=0.208 T1=0.09
|
OPT f=89 TT=108.225 T1=97.86
|
OPT f=89 TT=91.804 T1=35.57
|
OPT f=89 TT=85.395 T1=74.87
|
OPT f=89 TT=0.208 T1=0.09
|
OPT f=89 TT=17.681 T1=13.33
|
OPT f=89 TT=2.091 T1=1.24
|
OPT f=89 TT=92.482 T1=83.02
|
OPT f=89 TT=77.826 T1=70.38
|
? (TO)
TT=1800.26
|
Bench name | Best results | bsolo 3.1 (complete) | bsolo 3.1 cl (complete) | bsolo 3.1 pb (complete) | pbclasp 2009-04-24 (complete) | SAT4J Pseudo CP 2.1.1 (complete) | SAT4J Pseudo Resolution 2.1.1 (complete) | SCIPclp SCIP 1.1.0.7 with CLP 1.8.2 (complete) | SCIPspx SCIP 1.1.0.7 with SoPLEX 1.4.1(24.4.2009) (complete) | wbo 1.0 (complete) |
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-jnh218.opb
|
OPT f=90 TT=0.035 T1=0.02
|
OPT f=90 TT=1.457 T1=1.03
|
OPT f=90 TT=1.445 T1=1.03
|
OPT f=90 TT=1.559 T1=1.1
|
OPT f=90 TT=0.035 T1=0.02
|
OPT f=90 TT=3.364 T1=1.67
|
OPT f=90 TT=1.352 T1=0.83
|
OPT f=90 TT=7.49 T1=7.26
|
OPT f=90 TT=15.679 T1=10.07
|
? (TO)
TT=1800.25
|
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-jnh220.opb
|
OPT f=94 TT=0.04 T1=0.03
|
OPT f=94 TT=4.304 T1=0.29
|
OPT f=94 TT=8.301 T1=0.26
|
OPT f=94 TT=4.087 T1=0.3
|
OPT f=94 TT=0.04 T1=0.03
|
OPT f=94 TT=2.135 T1=1.28
|
OPT f=94 TT=1.521 T1=0.85
|
OPT f=94 TT=40.989 T1=37.77
|
OPT f=94 TT=58.703 T1=57.61
|
? (TO)
TT=1800.24
|
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-jnh301.opb
|
OPT f=95 TT=0.037 T1=0.02
|
OPT f=95 TT=1.837 T1=0.14
|
OPT f=95 TT=1.828 T1=0.14
|
OPT f=95 TT=1.84 T1=0.14
|
OPT f=95 TT=0.037 T1=0.02
|
OPT f=95 TT=2.581 T1=1.21
|
OPT f=95 TT=1.343 T1=0.83
|
OPT f=95 TT=31.051 T1=14.39
|
OPT f=95 TT=41.895 T1=15.73
|
? (TO)
TT=1800.25
|
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-jnh7.opb
|
OPT f=89 TT=0.036 T1=0.02
|
OPT f=89 TT=1.306 T1=0.8
|
OPT f=89 TT=1.303 T1=0.8
|
OPT f=89 TT=1.305 T1=0.8
|
OPT f=89 TT=0.036 T1=0.02
|
OPT f=89 TT=2.739 T1=0.76
|
OPT f=89 TT=1.264 T1=0.76
|
OPT f=89 TT=0.147 T1=0.13
|
OPT f=89 TT=0.168 T1=0.15
|
? (TO)
TT=1800.19
|
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/primes-dimacs-cnf/ normalized-par16-1-c.opb
|
OPT f=317 TT=0.494 T1=0.27
|
OPT f=317 TT=5.251 T1=0.41
|
OPT f=317 TT=3.164 T1=0.27
|
OPT f=317 TT=5.737 T1=1.35
|
OPT f=317 TT=0.494 T1=0.46
|
OPT f=317 TT=5.051 T1=2.94
|
OPT f=317 TT=3.14 T1=1.11
|
OPT f=317 TT=638.905 T1=623.97
|
OPT f=317 TT=1162.4 T1=1115.89
|
OPT f=317 TT=17.096 T1=17.11
|
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-par16-1.opb
|
OPT f=1015 TT=0.792 T1=0.61
|
OPT f=1015 TT=6.129 T1=2.61
|
OPT f=1015 TT=3.143 T1=0.61
|
OPT f=1015 TT=4.496 T1=1.01
|
OPT f=1015 TT=0.792 T1=0.75
|
OPT f=1015 TT=8.789 T1=3.27
|
OPT f=1015 TT=4.979 T1=1.41
|
OPT f=1015 TT=336.321 T1=54.3
|
OPT f=1015 TT=976.402 T1=978.22
|
? (TO)
TT=1800.23
|
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/primes-dimacs-cnf/ normalized-par16-2-c.opb
|
OPT f=349 TT=0.707 T1=0.42
|
OPT f=349 TT=4.299 T1=0.45
|
OPT f=349 TT=4.529 T1=0.42
|
OPT f=349 TT=6.97 T1=0.73
|
OPT f=349 TT=0.707 T1=0.61
|
OPT f=349 TT=5.995 T1=1.94
|
OPT f=349 TT=3.338 T1=1.24
|
OPT f=349 TT=1000.13 T1=927.59
|
OPT f=349 TT=678.345 T1=651.58
|
OPT f=349 TT=32.911 T1=32.92
|
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-par16-2.opb
|
OPT f=1015 TT=1.46 T1=1.37
|
OPT f=1015 TT=4.98 T1=2.42
|
OPT f=1015 TT=5.279 T1=1.62
|
OPT f=1015 TT=4.96 T1=3.03
|
OPT f=1015 TT=1.46 T1=1.37
|
OPT f=1015 TT=10.028 T1=4.89
|
OPT f=1015 TT=5.713 T1=1.79
|
OPT f=1015 TT=1658.27 T1=1658.8
|
? (TO)
TT=1800.24
|
? (TO)
TT=1800.28
|
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/primes-dimacs-cnf/ normalized-par16-3-c.opb
|
OPT f=334 TT=0.881 T1=0.52
|
OPT f=334 TT=5.476 T1=1.76
|
OPT f=334 TT=3.041 T1=1.76
|
OPT f=334 TT=5.608 T1=2.85
|
OPT f=334 TT=0.881 T1=0.52
|
OPT f=334 TT=5.655 T1=2.66
|
OPT f=334 TT=3.066 T1=1.1
|
OPT f=334 TT=738.441 T1=718.64
|
OPT f=334 TT=1789.86 T1=1382.88
|
? (TO)
TT=1800.25
|
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-par16-3.opb
|
OPT f=1015 TT=0.78 T1=0.74
|
OPT f=1015 TT=7.203 T1=1.41
|
OPT f=1015 TT=3.292 T1=2.19
|
OPT f=1015 TT=6.388 T1=6.35
|
OPT f=1015 TT=0.78 T1=0.74
|
OPT f=1015 TT=8.357 T1=4.57
|
OPT f=1015 TT=4.51 T1=2.15
|
OPT f=1015 TT=636.139 T1=111
|
? (TO)
TT=1800.22
|
OPT f=1015 TT=1303.37 T1=1303.74
|
Bench name | Best results | bsolo 3.1 (complete) | bsolo 3.1 cl (complete) | bsolo 3.1 pb (complete) | pbclasp 2009-04-24 (complete) | SAT4J Pseudo CP 2.1.1 (complete) | SAT4J Pseudo Resolution 2.1.1 (complete) | SCIPclp SCIP 1.1.0.7 with CLP 1.8.2 (complete) | SCIPspx SCIP 1.1.0.7 with SoPLEX 1.4.1(24.4.2009) (complete) | wbo 1.0 (complete) |
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/primes-dimacs-cnf/ normalized-par16-4-c.opb
|
OPT f=324 TT=0.339 T1=0.22
|
OPT f=324 TT=2.139 T1=0.45
|
OPT f=324 TT=2.032 T1=0.24
|
OPT f=324 TT=2.187 T1=0.31
|
OPT f=324 TT=0.339 T1=0.22
|
OPT f=324 TT=3.883 T1=1.87
|
OPT f=324 TT=2.29 T1=1.15
|
OPT f=324 TT=1115.72 T1=1115.49
|
OPT f=324 TT=688.624 T1=406.05
|
? (TO)
TT=1800.35
|
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-par16-4.opb
|
OPT f=1015 TT=0.618 T1=0.54
|
OPT f=1015 TT=1.548 T1=1.29
|
OPT f=1015 TT=1.043 T1=0.69
|
OPT f=1015 TT=1.873 T1=1.49
|
OPT f=1015 TT=0.618 T1=0.54
|
OPT f=1015 TT=8.775 T1=6.07
|
OPT f=1015 TT=3.696 T1=1.38
|
OPT f=1015 TT=603.871 T1=601.97
|
OPT f=1015 TT=1797.81 T1=1798.34
|
OPT f=1015 TT=248.683 T1=248.93
|
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/primes-dimacs-cnf/ normalized-par16-5-c.opb
|
OPT f=341 TT=0.496 T1=0.39
|
OPT f=341 TT=4.995 T1=4.61
|
OPT f=341 TT=3.037 T1=1.57
|
OPT f=341 TT=10.21 T1=3.1
|
OPT f=341 TT=0.496 T1=0.39
|
OPT f=341 TT=4.963 T1=1.28
|
OPT f=341 TT=2.697 T1=1.69
|
OPT f=341 TT=358.242 T1=257.04
|
OPT f=341 TT=975.513 T1=528.49
|
OPT f=341 TT=285.076 T1=285.14
|
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-par16-5.opb
|
OPT f=1015 TT=0.879 T1=0.81
|
OPT f=1015 TT=3.814 T1=2.37
|
OPT f=1015 TT=1.837 T1=1.46
|
OPT f=1015 TT=3.434 T1=2.04
|
OPT f=1015 TT=0.879 T1=0.81
|
OPT f=1015 TT=7.731 T1=4.32
|
OPT f=1015 TT=4.935 T1=2.12
|
OPT f=1015 TT=368.089 T1=164.56
|
OPT f=1015 TT=944.091 T1=875.73
|
OPT f=1015 TT=245.595 T1=245.76
|
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/primes-dimacs-cnf/ normalized-par32-1-c.opb
|
|
?
TT=1798.01
|
?
TT=1798.01
|
?
TT=1798.01
|
? (TO)
TT=1800.11
|
? (TO)
TT=1800.46
|
? (TO)
TT=1800.42
|
?
TT=1795.12
|
?
TT=1796.54
|
? (TO)
TT=1800.15
|
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-par32-1.opb
|
|
?
TT=1798.01
|
?
TT=1798.01
|
?
TT=1798.01
|
? (TO)
TT=1800.12
|
? (TO)
TT=1800.4
|
? (TO)
TT=1800.38
|
?
TT=1798.38
|
?
TT=1797.86
|
? (TO)
TT=1800.27
|
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/primes-dimacs-cnf/ normalized-par32-2-c.opb
|
|
?
TT=1798
|
?
TT=1798
|
?
TT=1798.01
|
? (TO)
TT=1800.08
|
? (TO)
TT=1800.46
|
? (TO)
TT=1800.46
|
?
TT=1794.59
|
?
TT=1796.13
|
? (TO)
TT=1800.18
|
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-par32-2.opb
|
|
?
TT=1798.01
|
?
TT=1798
|
?
TT=1798
|
? (TO)
TT=1800.12
|
? (TO)
TT=1800.37
|
? (TO)
TT=1800.55
|
?
TT=1799.98
|
?
TT=1797.7
|
? (TO)
TT=1800.23
|
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/primes-dimacs-cnf/ normalized-par32-3-c.opb
|
|
?
TT=1798
|
?
TT=1798.01
|
?
TT=1798
|
? (TO)
TT=1800.13
|
? (TO)
TT=1800.57
|
? (TO)
TT=1800.56
|
?
TT=1795.01
|
?
TT=1796.23
|
? (TO)
TT=1800.16
|
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-par32-3.opb
|
|
?
TT=1798.01
|
?
TT=1798
|
?
TT=1798
|
? (TO)
TT=1800.08
|
? (TO)
TT=1800.33
|
? (TO)
TT=1800.28
|
? (TO)
TT=1800.08
|
?
TT=1797.2
|
? (TO)
TT=1800.18
|
Bench name | Best results | bsolo 3.1 (complete) | bsolo 3.1 cl (complete) | bsolo 3.1 pb (complete) | pbclasp 2009-04-24 (complete) | SAT4J Pseudo CP 2.1.1 (complete) | SAT4J Pseudo Resolution 2.1.1 (complete) | SCIPclp SCIP 1.1.0.7 with CLP 1.8.2 (complete) | SCIPspx SCIP 1.1.0.7 with SoPLEX 1.4.1(24.4.2009) (complete) | wbo 1.0 (complete) |
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/primes-dimacs-cnf/ normalized-par32-4-c.opb
|
|
?
TT=1798.01
|
?
TT=1798.01
|
?
TT=1798.01
|
? (TO)
TT=1800.1
|
? (TO)
TT=1800.48
|
? (TO)
TT=1800.49
|
?
TT=1795.02
|
?
TT=1797.21
|
? (TO)
TT=1800.29
|
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-par32-4.opb
|
|
?
TT=1798
|
?
TT=1798.01
|
?
TT=1798.01
|
? (TO)
TT=1800.07
|
? (TO)
TT=1800.47
|
? (TO)
TT=1800.44
|
?
TT=1798.28
|
?
TT=1796.78
|
? (TO)
TT=1800.17
|
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/primes-dimacs-cnf/ normalized-par32-5-c.opb
|
|
?
TT=1798.01
|
?
TT=1798.01
|
?
TT=1798
|
? (TO)
TT=1800.12
|
? (TO)
TT=1800.5
|
? (TO)
TT=1800.42
|
?
TT=1794.85
|
?
TT=1796.53
|
? (TO)
TT=1800.2
|
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-par32-5.opb
|
|
?
TT=1798.01
|
?
TT=1798
|
?
TT=1798.01
|
? (TO)
TT=1800.12
|
? (TO)
TT=1800.39
|
? (TO)
TT=1800.42
|
?
TT=1798.01
|
?
TT=1797.85
|
? (TO)
TT=1800.18
|
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/primes-dimacs-cnf/ normalized-ssa0432-003.opb
|
UNSAT
TT=0.016
|
UNSAT
TT=0.017
|
UNSAT
TT=0.016
|
UNSAT
TT=0.017
|
UNSAT
TT=0.035
|
UNSAT
TT=1.091
|
UNSAT
TT=1.003
|
UNSAT
TT=0.256
|
UNSAT
TT=0.27
|
UNSAT
TT=1.036
|
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/primes-dimacs-cnf/ normalized-ssa2670-130.opb
|
UNSAT
TT=0.084
|
UNSAT
TT=0.088
|
UNSAT
TT=0.084
|
UNSAT
TT=0.088
|
UNSAT
TT=0.087
|
UNSAT
TT=2.373
|
UNSAT
TT=2.018
|
UNSAT
TT=30.818
|
UNSAT
TT=49.545
|
UNSAT
TT=13.078
|
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/primes-dimacs-cnf/ normalized-ssa2670-141.opb
|
UNSAT
TT=0.073
|
UNSAT
TT=0.083
|
UNSAT
TT=0.073
|
UNSAT
TT=0.083
|
UNSAT
TT=0.08
|
UNSAT
TT=2.298
|
UNSAT
TT=1.709
|
UNSAT
TT=23.629
|
UNSAT
TT=28.906
|
UNSAT
TT=22.743
|
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/primes-dimacs-cnf/ normalized-ssa6288-047.opb
|
UNSAT
TT=0.236
|
UNSAT
TT=0.234
|
UNSAT
TT=0.248
|
UNSAT
TT=0.236
|
UNSAT
TT=0.654
|
UNSAT
TT=3.398
|
UNSAT
TT=3.202
|
UNSAT
TT=2.021
|
UNSAT
TT=1.955
|
UNSAT
TT=926.379
|
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/primes-dimacs-cnf/ normalized-ssa7552-038.opb
|
OPT f=1448 TT=1.088 T1=0.07
|
SAT f=1448 TT=1798 T1=0.07
|
SAT f=1448 TT=1798 T1=0.07
|
OPT f=1448 TT=1.088 T1=0.07
|
SAT (TO) f=1448 TT=1800.09 T1=0.07
|
SAT (TO) f=1448 TT=1800.37 T1=1.12
|
SAT (TO) f=1449 TT=1800.88 T1=1.33
|
OPT f=1448 TT=15.042 T1=6.18
|
OPT f=1448 TT=41.221 T1=10.62
|
? (MO)
TT=1487.64
|
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/primes-dimacs-cnf/ normalized-ssa7552-158.opb
|
OPT f=1327 TT=0.065 T1=0.04
|
SAT f=1327 TT=1798 T1=0.04
|
SAT f=1327 TT=1798 T1=0.04
|
OPT f=1327 TT=0.065 T1=0.04
|
SAT (TO) f=1327 TT=1800.01 T1=0.06
|
SAT (TO) f=1327 TT=1800.39 T1=1.12
|
SAT (TO) f=1327 TT=1801 T1=1.06
|
OPT f=1327 TT=0.99 T1=0.92
|
OPT f=1327 TT=0.587 T1=0.51
|
OPT f=1327 TT=31.63 T1=32.09
|
Bench name | Best results | bsolo 3.1 (complete) | bsolo 3.1 cl (complete) | bsolo 3.1 pb (complete) | pbclasp 2009-04-24 (complete) | SAT4J Pseudo CP 2.1.1 (complete) | SAT4J Pseudo Resolution 2.1.1 (complete) | SCIPclp SCIP 1.1.0.7 with CLP 1.8.2 (complete) | SCIPspx SCIP 1.1.0.7 with SoPLEX 1.4.1(24.4.2009) (complete) | wbo 1.0 (complete) |
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/primes-dimacs-cnf/ normalized-ssa7552-159.opb
|
OPT f=1327 TT=0.097 T1=0.04
|
SAT f=1327 TT=1798 T1=0.04
|
SAT f=1327 TT=1798 T1=0.04
|
OPT f=1327 TT=0.097 T1=0.04
|
SAT (TO) f=1327 TT=1800.1 T1=0.06
|
SAT (TO) f=1327 TT=1800.35 T1=1.26
|
SAT (TO) f=1327 TT=1800.81 T1=1.06
|
OPT f=1327 TT=2.751 T1=2.63
|
OPT f=1327 TT=4.014 T1=2.98
|
OPT f=1327 TT=31.75 T1=31.88
|
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/primes-dimacs-cnf/ normalized-ssa7552-160.opb
|
OPT f=1359 TT=1.723 T1=0.04
|
SAT f=1359 TT=1798 T1=0.04
|
SAT f=1359 TT=1798 T1=0.04
|
OPT f=1359 TT=1.723 T1=0.04
|
SAT (TO) f=1359 TT=1800.02 T1=0.06
|
SAT (TO) f=1359 TT=1800.37 T1=1.07
|
SAT (TO) f=1359 TT=1800.88 T1=1.06
|
OPT f=1359 TT=3.618 T1=2.47
|
OPT f=1359 TT=9.924 T1=4.55
|
? (MO)
TT=1433.98
|
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/routing/ normalized-s4-4-3-10pb.opb
|
OPT f=70 TT=0.148 T1=0.14
|
OPT f=70 TT=0.142 T1=0.13
|
OPT f=70 TT=0.985 T1=0.97
|
OPT f=70 TT=0.148 T1=0.14
|
OPT f=70 TT=0.498 T1=0.23
|
OPT f=70 TT=23.508 T1=8.4
|
OPT f=70 TT=3.629 T1=1.84
|
OPT f=70 TT=0.228 T1=0.2
|
OPT f=70 TT=0.242 T1=0.22
|
OPT f=70 TT=0.194 T1=0.19
|
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/routing/ normalized-s4-4-3-1pb.opb
|
OPT f=62 TT=0.141 T1=0.14
|
OPT f=62 TT=0.288 T1=0.28
|
OPT f=62 TT=7.707 T1=7.7
|
OPT f=62 TT=0.194 T1=0.19
|
OPT f=62 TT=902.954 T1=132.29
|
SAT (TO) f=62 TT=1800.37 T1=84.79
|
SAT (TO) f=62 TT=1801.56 T1=14.84
|
OPT f=62 TT=1.321 T1=1.29
|
OPT f=62 TT=0.907 T1=0.88
|
OPT f=62 TT=0.141 T1=0.14
|
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/routing/ normalized-s4-4-3-2pb.opb
|
OPT f=64 TT=0.133 T1=0.13
|
OPT f=64 TT=295.479 T1=267.14
|
SAT f=64 TT=1798 T1=1250.08
|
OPT f=64 TT=142.175 T1=110.43
|
OPT f=64 TT=203.524 T1=121.68
|
OPT f=64 TT=765.901 T1=68.32
|
OPT f=64 TT=496.286 T1=103.19
|
OPT f=64 TT=1.543 T1=1.51
|
OPT f=64 TT=0.781 T1=0.76
|
OPT f=64 TT=0.133 T1=0.13
|
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/routing/ normalized-s4-4-3-3pb.opb
|
OPT f=62 TT=0.137 T1=0.13
|
SAT f=62 TT=1798.02 T1=1606.03
|
SAT f=68 TT=1798.01 T1=850.14
|
OPT f=62 TT=16.27 T1=12.98
|
OPT f=62 TT=415.989 T1=340.64
|
SAT (TO) f=64 TT=1800.38 T1=527.8
|
OPT f=62 TT=402.256 T1=81.23
|
OPT f=62 TT=1.123 T1=1.1
|
OPT f=62 TT=0.52 T1=0.5
|
OPT f=62 TT=0.137 T1=0.13
|
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/routing/ normalized-s4-4-3-4pb.opb
|
OPT f=60 TT=0.141 T1=0.14
|
OPT f=60 TT=0.492 T1=0.48
|
OPT f=60 TT=0.42 T1=0.41
|
OPT f=60 TT=0.272 T1=0.26
|
OPT f=60 TT=734.165 T1=213.15
|
SAT (TO) f=60 TT=1800.33 T1=971.77
|
SAT (TO) f=60 TT=1801.4 T1=137.35
|
OPT f=60 TT=0.187 T1=0.16
|
OPT f=60 TT=1.436 T1=1.41
|
OPT f=60 TT=0.141 T1=0.14
|
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/routing/ normalized-s4-4-3-5pb.opb
|
OPT f=60 TT=0.143 T1=0.14
|
OPT f=60 TT=79.242 T1=79.26
|
OPT f=60 TT=7.442 T1=7.43
|
OPT f=60 TT=8.821 T1=8.81
|
OPT f=60 TT=519.268 T1=230.5
|
SAT f=60 TT=1187.19 T1=874.72
|
OPT f=60 TT=536.122 T1=243.49
|
OPT f=60 TT=0.196 T1=0.17
|
OPT f=60 TT=0.385 T1=0.37
|
OPT f=60 TT=0.143 T1=0.14
|
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/routing/ normalized-s4-4-3-6pb.opb
|
OPT f=66 TT=0.139 T1=0.13
|
OPT f=66 TT=78.541 T1=34.51
|
OPT f=66 TT=674.125 T1=489.92
|
OPT f=66 TT=38.981 T1=17.61
|
OPT f=66 TT=63.745 T1=28.39
|
OPT f=66 TT=100.581 T1=9.39
|
OPT f=66 TT=31.21 T1=6.72
|
OPT f=66 TT=0.416 T1=0.18
|
OPT f=66 TT=0.408 T1=0.28
|
OPT f=66 TT=0.139 T1=0.13
|
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/routing/ normalized-s4-4-3-7pb.opb
|
OPT f=64 TT=0.145 T1=0.14
|
OPT f=64 TT=17.319 T1=10.06
|
OPT f=64 TT=67.951 T1=67.28
|
OPT f=64 TT=12.556 T1=10.59
|
OPT f=64 TT=72.409 T1=41.12
|
SAT f=64 TT=79.085 T1=23.31
|
OPT f=64 TT=16.924 T1=8.21
|
OPT f=64 TT=0.235 T1=0.17
|
OPT f=64 TT=0.493 T1=0.47
|
OPT f=64 TT=0.145 T1=0.14
|
Bench name | Best results | bsolo 3.1 (complete) | bsolo 3.1 cl (complete) | bsolo 3.1 pb (complete) | pbclasp 2009-04-24 (complete) | SAT4J Pseudo CP 2.1.1 (complete) | SAT4J Pseudo Resolution 2.1.1 (complete) | SCIPclp SCIP 1.1.0.7 with CLP 1.8.2 (complete) | SCIPspx SCIP 1.1.0.7 with SoPLEX 1.4.1(24.4.2009) (complete) | wbo 1.0 (complete) |
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/routing/ normalized-s4-4-3-8pb.opb
|
OPT f=36 TT=0.057 T1=0.05
|
OPT f=36 TT=32.174 T1=32.17
|
OPT f=36 TT=5.079 T1=5.07
|
OPT f=36 TT=0.667 T1=0.66
|
SAT (TO) f=38 TT=1800.12 T1=800.92
|
OPT f=36 TT=61.927 T1=25.24
|
SAT (TO) f=36 TT=1800.77 T1=950.39
|
OPT f=36 TT=0.153 T1=0.14
|
OPT f=36 TT=0.155 T1=0.14
|
OPT f=36 TT=0.057 T1=0.05
|
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/routing/ normalized-s4-4-3-9pb.opb
|
OPT f=68 TT=0.503 T1=0.5
|
OPT f=68 TT=3.167 T1=3.12
|
OPT f=68 TT=105.322 T1=33.66
|
OPT f=68 TT=38.94 T1=4.96
|
OPT f=68 TT=10.223 T1=5.13
|
OPT f=68 TT=99.129 T1=13.64
|
OPT f=68 TT=13.152 T1=8.34
|
OPT f=68 TT=0.306 T1=0.2
|
OPT f=68 TT=1.622 T1=1.6
|
OPT f=68 TT=0.503 T1=0.5
|
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/ synthesis-ptl-cmos-circuits/normalized-9symml.opb
|
OPT f=4517 TT=4.697 T1=3.51
|
SAT f=4782 TT=1798.02 T1=1734.37
|
SAT f=4791 TT=1798.01 T1=1798.1
|
SAT f=4647 TT=1798.15 T1=1585.93
|
SAT (TO) f=4985 TT=1800.11 T1=0.03
|
SAT (TO) f=5840 TT=1800.42 T1=29.1
|
SAT (TO) f=5987 TT=1801.49 T1=1.16
|
OPT f=4517 TT=3.687 T1=2.7
|
OPT f=4517 TT=4.697 T1=3.51
|
? (TO)
TT=1800.18
|
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/ synthesis-ptl-cmos-circuits/normalized-C432.opb
|
OPT f=4822 TT=4.343 T1=4.32
|
SAT f=5435 TT=1798.04 T1=664.84
|
SAT f=5809 TT=1798.02 T1=1530.79
|
SAT f=5809 TT=1798.02 T1=1732.13
|
SAT (TO) f=5713 TT=1800.07 T1=0.04
|
SAT (TO) f=6879 TT=1800.38 T1=135.92
|
SAT (TO) f=6956 TT=1800.83 T1=0.96
|
OPT f=4822 TT=2.485 T1=2.47
|
OPT f=4822 TT=4.343 T1=4.32
|
? (TO)
TT=1800.16
|
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/ synthesis-ptl-cmos-circuits/normalized-c8.opb
|
OPT f=1194 TT=0.221 T1=0.21
|
OPT f=1194 TT=0.829 T1=0.78
|
OPT f=1194 TT=0.827 T1=0.78
|
OPT f=1194 TT=0.828 T1=0.78
|
SAT (TO) f=1414 TT=1800.13 T1=1355.07
|
SAT (TO) f=1476 TT=1800.52 T1=90.39
|
SAT (TO) f=1560 TT=1801.66 T1=655.56
|
OPT f=1194 TT=0.204 T1=0.19
|
OPT f=1194 TT=0.221 T1=0.21
|
OPT f=1194 TT=33.062 T1=33.06
|
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/ synthesis-ptl-cmos-circuits/normalized-cc.opb
|
OPT f=1567 TT=0.051 T1=0.04
|
OPT f=1567 TT=0.398 T1=0.38
|
OPT f=1567 TT=0.389 T1=0.37
|
OPT f=1567 TT=0.398 T1=0.38
|
SAT (TO) f=1625 TT=1800.04 T1=1585.75
|
SAT (TO) f=1576 TT=1801.22 T1=750.33
|
SAT (TO) f=1636 TT=1803.08 T1=742.43
|
OPT f=1567 TT=0.074 T1=0.06
|
OPT f=1567 TT=0.051 T1=0.04
|
? (TO)
TT=1800.17
|
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/ synthesis-ptl-cmos-circuits/normalized-cm42a.opb
|
OPT f=694 TT=0.02 T1=0
|
OPT f=694 TT=0.018 T1=0
|
OPT f=694 TT=0.02 T1=0
|
OPT f=694 TT=0.02 T1=0
|
OPT f=694 TT=1129.83 T1=308.62
|
SAT (TO) f=789 TT=1800.15 T1=296.57
|
SAT (TO) f=730 TT=1800.74 T1=1443.94
|
OPT f=694 TT=0.057 T1=0.04
|
OPT f=694 TT=0.057 T1=0.04
|
? (TO)
TT=1800.2
|
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/ synthesis-ptl-cmos-circuits/normalized-cmb.opb
|
OPT f=1053 TT=0.135 T1=0.13
|
OPT f=1053 TT=0.804 T1=0.73
|
OPT f=1053 TT=0.801 T1=0.72
|
OPT f=1053 TT=0.802 T1=0.72
|
SAT (TO) f=1163 TT=1800.11 T1=1609.19
|
SAT (TO) f=1303 TT=1800.14 T1=3.82
|
SAT (TO) f=1547 TT=1801.8 T1=102.54
|
OPT f=1053 TT=0.177 T1=0.16
|
OPT f=1053 TT=0.145 T1=0.13
|
OPT f=1053 TT=0.135 T1=0.13
|
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/ synthesis-ptl-cmos-circuits/normalized-mux.opb
|
OPT f=872 TT=0.024 T1=0.02
|
OPT f=872 TT=0.024 T1=0.02
|
OPT f=872 TT=0.024 T1=0.02
|
OPT f=872 TT=0.024 T1=0.02
|
SAT (TO) f=1101 TT=1800.07 T1=1202.04
|
SAT (TO) f=1294 TT=1800.57 T1=11.82
|
SAT (TO) f=1600 TT=1801.68 T1=1.21
|
OPT f=872 TT=0.089 T1=0.07
|
OPT f=872 TT=0.09 T1=0.08
|
OPT f=872 TT=0.066 T1=0.06
|
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/synthesis-ptl-cmos-circuits/ normalized-my_adder.opb
|
OPT f=4561 TT=1.193 T1=0.83
|
OPT f=4561 TT=28.778 T1=2.73
|
OPT f=4561 TT=28.62 T1=2.71
|
OPT f=4561 TT=28.795 T1=2.74
|
SAT (TO) f=5118 TT=1800.03 T1=0.02
|
SAT (TO) f=5441 TT=1800.37 T1=638.85
|
SAT (TO) f=6092 TT=1800.92 T1=0.62
|
OPT f=4561 TT=1.339 T1=0.91
|
OPT f=4561 TT=1.193 T1=0.83
|
? (TO)
TT=1800.21
|
Bench name | Best results | bsolo 3.1 (complete) | bsolo 3.1 cl (complete) | bsolo 3.1 pb (complete) | pbclasp 2009-04-24 (complete) | SAT4J Pseudo CP 2.1.1 (complete) | SAT4J Pseudo Resolution 2.1.1 (complete) | SCIPclp SCIP 1.1.0.7 with CLP 1.8.2 (complete) | SCIPspx SCIP 1.1.0.7 with SoPLEX 1.4.1(24.4.2009) (complete) | wbo 1.0 (complete) |
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/ttp/ normalized-circ10_3.opb
|
SAT f=352 TT=1800.04 T1=384.15
|
SAT f=358 TT=1798.16 T1=1400.69
|
SAT f=354 TT=1798.25 T1=37.53
|
SAT f=370 TT=1798.24 T1=190.75
|
SAT (TO) f=352 TT=1800.04 T1=384.15
|
SAT (TO) f=384 TT=1800.43 T1=1673.37
|
SAT (TO) f=354 TT=1800.53 T1=21.07
|
?
TT=1796.07
|
? (TO)
TT=1802.1
|
? (TO)
TT=1800.17
|
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/ ttp/normalized-circ4_3.opb
|
OPT f=20 TT=0.159 T1=0.02
|
OPT f=20 TT=0.855 T1=0.09
|
OPT f=20 TT=0.509 T1=0.02
|
OPT f=20 TT=1.244 T1=0.02
|
OPT f=20 TT=0.159 T1=0.03
|
OPT f=20 TT=4.25 T1=0.88
|
OPT f=20 TT=2.289 T1=0.57
|
OPT f=20 TT=16.928 T1=4.52
|
OPT f=20 TT=13.95 T1=4.11
|
OPT f=20 TT=0.399 T1=0.39
|
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/ ttp/normalized-circ6_3.opb
|
SAT f=66 TT=1798.12 T1=349.47
|
SAT f=68 TT=1798.13 T1=688.37
|
SAT f=66 TT=1798.12 T1=349.47
|
SAT f=70 TT=1798.04 T1=369.44
|
SAT (TO) f=66 TT=1800.06 T1=1029.6
|
SAT (TO) f=72 TT=1800.19 T1=1303.38
|
SAT (TO) f=68 TT=1800.4 T1=62.72
|
SAT f=78 TT=1795.5 T1=1369.56
|
SAT f=72 TT=1797.2 T1=1130.62
|
? (TO)
TT=1800.21
|
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/ ttp/normalized-circ8_3.opb
|
SAT f=168 TT=1798.24 T1=9.93
|
SAT f=176 TT=1798.14 T1=142.17
|
SAT f=168 TT=1798.24 T1=9.93
|
SAT f=174 TT=1798.15 T1=286.17
|
SAT (TO) f=172 TT=1800.09 T1=132.93
|
SAT (TO) f=180 TT=1800.29 T1=1063.27
|
SAT (TO) f=172 TT=1800.52 T1=1692.65
|
?
TT=1794.21
|
SAT f=192 TT=1794.34 T1=1414.32
|
? (TO)
TT=1800.21
|
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/ttp/ normalized-data10_3.opb
|
SAT f=81103 TT=1800.08 T1=1148.07
|
SAT f=80036 TT=1798.25 T1=151.22
|
SAT f=82476 TT=1798.17 T1=1312.96
|
SAT f=83718 TT=1798.12 T1=1438.36
|
SAT (TO) f=81103 TT=1800.08 T1=1148.07
|
SAT (TO) f=84974 TT=1800.45 T1=1379.89
|
SAT (TO) f=82446 TT=1800.57 T1=1767.38
|
?
TT=1794.66
|
? (TO)
TT=1800.15
|
? (MO)
TT=107.472
|
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/ ttp/normalized-data4_3.opb
|
OPT f=8276 TT=0.172 T1=0.02
|
OPT f=8276 TT=0.822 T1=0.05
|
OPT f=8276 TT=0.706 T1=0.05
|
OPT f=8276 TT=1.123 T1=0.35
|
OPT f=8276 TT=0.172 T1=0.02
|
OPT f=8276 TT=4.994 T1=1.97
|
OPT f=8276 TT=2.682 T1=0.86
|
OPT f=8276 TT=21.763 T1=17.02
|
OPT f=8276 TT=16.52 T1=6.18
|
? (TO)
TT=1800.24
|
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/ ttp/normalized-data6_3.opb
|
SAT f=25184 TT=1800.09 T1=1454.67
|
SAT f=25836 TT=1798.03 T1=1128.01
|
SAT f=25954 TT=1798.04 T1=900.5
|
SAT f=26366 TT=1798.14 T1=1549.16
|
SAT (TO) f=25184 TT=1800.09 T1=1454.67
|
SAT (TO) f=27081 TT=1800.23 T1=854.84
|
SAT (TO) f=25610 TT=1800.37 T1=27.98
|
SAT f=28614 TT=1797.36 T1=1245.97
|
SAT f=27156 TT=1798.22 T1=589.34
|
? (TO)
TT=1800.23
|
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/ ttp/normalized-data8_3.opb
|
SAT f=48053 TT=1800.05 T1=1084.46
|
SAT f=50284 TT=1798.14 T1=1416.9
|
SAT f=49042 TT=1798.07 T1=1788.1
|
SAT f=49943 TT=1798.26 T1=560.03
|
SAT (TO) f=48053 TT=1800.05 T1=1084.46
|
SAT (TO) f=52099 TT=1800.33 T1=965.77
|
SAT (TO) f=48857 TT=1800.49 T1=423.15
|
?
TT=1794.3
|
?
TT=1796.68
|
? (TO)
TT=1800.22
|
normalized-PB06/OPT-SMALLINT/submitted-PB05/ sorensson/garden/normalized-g100x100.opb
|
SAT f=2869 TT=1798.15 T1=789.03
|
SAT f=2883 TT=1798.14 T1=739.76
|
SAT f=2869 TT=1798.15 T1=789.03
|
SAT f=2940 TT=1798.09 T1=1721.84
|
SAT (TO) f=2988 TT=1800.08 T1=1.7
|
SAT (TO) f=2921 TT=1800.46 T1=227.48
|
SAT (TO) f=2953 TT=1800.8 T1=846.66
|
SAT f=3334 TT=1797.82 T1=992.52
|
?
TT=1794.22
|
? (TO)
TT=1800.23
|
normalized-PB06/OPT-SMALLINT/ submitted-PB05/sorensson/ garden/normalized-g15x15.opb
|
OPT f=53 TT=832.383 T1=72.9
|
SAT f=54 TT=1798 T1=158.51
|
SAT f=53 TT=1798 T1=1745.43
|
SAT f=54 TT=1798.03 T1=159.48
|
SAT (TO) f=61 TT=1800.06 T1=0.33
|
SAT (TO) f=61 TT=1800.36 T1=411.65
|
SAT (TO) f=73 TT=1801.26 T1=1.67
|
OPT f=53 TT=1131.24 T1=12.13
|
OPT f=53 TT=832.383 T1=72.9
|
? (TO)
TT=1800.36
|
Bench name | Best results | bsolo 3.1 (complete) | bsolo 3.1 cl (complete) | bsolo 3.1 pb (complete) | pbclasp 2009-04-24 (complete) | SAT4J Pseudo CP 2.1.1 (complete) | SAT4J Pseudo Resolution 2.1.1 (complete) | SCIPclp SCIP 1.1.0.7 with CLP 1.8.2 (complete) | SCIPspx SCIP 1.1.0.7 with SoPLEX 1.4.1(24.4.2009) (complete) | wbo 1.0 (complete) |
normalized-PB06/OPT-SMALLINT/ submitted-PB05/sorensson/ garden/normalized-g9x9.opb
|
OPT f=20 TT=0.36 T1=0.29
|
OPT f=20 TT=0.361 T1=0.29
|
OPT f=20 TT=0.36 T1=0.29
|
OPT f=20 TT=0.364 T1=0.3
|
SAT (TO) f=21 TT=1800.08 T1=0.11
|
SAT (TO) f=21 TT=1800.31 T1=5.71
|
SAT (TO) f=22 TT=1801.91 T1=42.14
|
OPT f=20 TT=1.437 T1=1.39
|
OPT f=20 TT=1.493 T1=1.11
|
OPT f=20 TT=0.828 T1=0.84
|
normalized-PB06/OPT-SMALLINT/submitted-PB06/ liu/domset/ normalized-domset_v500_e2000_w30_mw19_10.opb.PB06.opb
|
SAT f=188 TT=1800.12 T1=832.76
|
SAT f=213 TT=1798.03 T1=59.44
|
SAT f=213 TT=1798.02 T1=63.31
|
SAT f=214 TT=1798.03 T1=163.07
|
SAT (TO) f=214 TT=1800.04 T1=162.46
|
SAT (TO) f=218 TT=1800.37 T1=1654.09
|
SAT (TO) f=214 TT=1800.6 T1=323.54
|
SAT f=188 TT=1795.98 T1=706.52
|
SAT (TO) f=188 TT=1800.12 T1=832.76
|
? (TO)
TT=1800.36
|
normalized-PB06/OPT-SMALLINT/submitted-PB06/ liu/domset/ normalized-domset_v500_e2000_w30_mw19_11.opb.PB06.opb
|
SAT f=188 TT=1800.1 T1=1083.72
|
SAT f=214 TT=1798.04 T1=195.98
|
SAT f=218 TT=1798.03 T1=369.67
|
SAT (TO) f=216 TT=1800.17 T1=48.23
|
SAT (TO) f=213 TT=1800.08 T1=0.03
|
SAT (TO) f=219 TT=1800.31 T1=1625.92
|
SAT (TO) f=216 TT=1800.73 T1=1240.87
|
SAT f=187 TT=1795.76 T1=1569.38
|
SAT (TO) f=188 TT=1800.1 T1=1083.72
|
? (TO)
TT=1800.31
|
normalized-PB06/OPT-SMALLINT/submitted-PB06/ liu/domset/ normalized-domset_v500_e2000_w30_mw19_12.opb.PB06.opb
|
SAT f=183 TT=1800.21 T1=784.15
|
SAT f=212 TT=1798.03 T1=469.21
|
SAT f=214 TT=1798.03 T1=66.53
|
SAT f=212 TT=1798.04 T1=951.05
|
SAT (TO) f=209 TT=1800.07 T1=1622.56
|
SAT (TO) f=213 TT=1800.3 T1=131.97
|
SAT (TO) f=213 TT=1800.69 T1=95.9
|
SAT f=181 TT=1795.98 T1=984.37
|
SAT (TO) f=183 TT=1800.21 T1=784.15
|
? (TO)
TT=1800.31
|
normalized-PB06/OPT-SMALLINT/submitted-PB06/ liu/domset/ normalized-domset_v500_e2000_w30_mw19_13.opb.PB06.opb
|
SAT f=193 TT=1799.53 T1=399.65
|
SAT f=218 TT=1798.03 T1=534.31
|
SAT f=219 TT=1798.03 T1=218.62
|
SAT f=219 TT=1798.03 T1=135.96
|
SAT (TO) f=214 TT=1800.11 T1=1139.6
|
SAT (TO) f=222 TT=1800.26 T1=1.72
|
SAT (TO) f=218 TT=1800.72 T1=1327.1
|
SAT f=190 TT=1794.98 T1=548.69
|
SAT f=193 TT=1799.53 T1=399.65
|
? (MO)
TT=1619.67
|
normalized-PB06/OPT-SMALLINT/submitted-PB06/ liu/domset/ normalized-domset_v500_e2000_w30_mw19_14.opb.PB06.opb
|
SAT f=190 TT=1800.13 T1=651.57
|
SAT f=216 TT=1798.03 T1=1425.07
|
SAT f=217 TT=1798.03 T1=92.9
|
SAT f=215 TT=1798.03 T1=418.79
|
SAT (TO) f=214 TT=1800.04 T1=0.04
|
SAT (TO) f=220 TT=1800.21 T1=14.44
|
SAT (TO) f=217 TT=1800.59 T1=135.43
|
SAT f=189 TT=1795.97 T1=911.72
|
SAT (TO) f=190 TT=1800.13 T1=651.57
|
? (TO)
TT=1800.33
|
normalized-PB06/OPT-SMALLINT/submitted-PB06/ liu/domset/ normalized-domset_v500_e2000_w30_mw19_15.opb.PB06.opb
|
SAT f=193 TT=1800.14 T1=750.07
|
SAT f=217 TT=1798.03 T1=1650.04
|
SAT f=218 TT=1798.12 T1=1527.39
|
SAT f=217 TT=1798.02 T1=82.62
|
SAT (TO) f=210 TT=1800.09 T1=13.69
|
SAT (TO) f=220 TT=1800.3 T1=1014.85
|
SAT (TO) f=218 TT=1800.63 T1=101.23
|
SAT f=192 TT=1795.11 T1=356.52
|
SAT (TO) f=193 TT=1800.14 T1=750.07
|
? (TO)
TT=1800.38
|
normalized-PB06/OPT-SMALLINT/submitted-PB06/ liu/domset/ normalized-domset_v500_e2000_w30_mw19_16.opb.PB06.opb
|
SAT f=193 TT=1800.21 T1=268.72
|
SAT f=218 TT=1798.03 T1=395.74
|
SAT f=217 TT=1798.03 T1=280.95
|
SAT (TO) f=219 TT=1800.2 T1=412.33
|
SAT (TO) f=215 TT=1800.08 T1=1702.56
|
SAT (TO) f=224 TT=1800.29 T1=773.89
|
SAT (TO) f=217 TT=1800.58 T1=500.78
|
SAT f=190 TT=1795.9 T1=463.93
|
SAT (TO) f=193 TT=1800.21 T1=268.72
|
? (TO)
TT=1800.32
|
normalized-PB06/OPT-SMALLINT/submitted-PB06/ liu/domset/ normalized-domset_v500_e2000_w30_mw19_17.opb.PB06.opb
|
SAT f=196 TT=1799.02 T1=324.66
|
SAT f=222 TT=1798.03 T1=417.31
|
SAT f=223 TT=1798.03 T1=162.09
|
SAT f=219 TT=1798.04 T1=1594.71
|
SAT (TO) f=220 TT=1800.12 T1=158.62
|
SAT (TO) f=225 TT=1800.36 T1=1732.81
|
SAT (TO) f=223 TT=1800.62 T1=493.59
|
SAT f=195 TT=1796.11 T1=964.51
|
SAT f=196 TT=1799.02 T1=324.66
|
? (TO)
TT=1800.32
|
normalized-PB06/OPT-SMALLINT/submitted-PB06/ liu/domset/ normalized-domset_v500_e2000_w30_mw19_18.opb.PB06.opb
|
SAT f=191 TT=1800.13 T1=868.53
|
SAT f=220 TT=1798.04 T1=39.34
|
SAT f=216 TT=1798.03 T1=477.86
|
SAT f=214 TT=1798.03 T1=185.71
|
SAT (TO) f=212 TT=1800.04 T1=31.89
|
SAT (TO) f=220 TT=1800.3 T1=888.17
|
SAT (TO) f=216 TT=1800.6 T1=583.38
|
SAT f=191 TT=1795.28 T1=549.07
|
SAT (TO) f=191 TT=1800.13 T1=868.53
|
? (MO)
TT=1697.8
|
Bench name | Best results | bsolo 3.1 (complete) | bsolo 3.1 cl (complete) | bsolo 3.1 pb (complete) | pbclasp 2009-04-24 (complete) | SAT4J Pseudo CP 2.1.1 (complete) | SAT4J Pseudo Resolution 2.1.1 (complete) | SCIPclp SCIP 1.1.0.7 with CLP 1.8.2 (complete) | SCIPspx SCIP 1.1.0.7 with SoPLEX 1.4.1(24.4.2009) (complete) | wbo 1.0 (complete) |
normalized-PB06/OPT-SMALLINT/submitted-PB06/ liu/domset/ normalized-domset_v500_e2000_w30_mw19_19.opb.PB06.opb
|
SAT f=189 TT=1800.17 T1=570.36
|
SAT f=210 TT=1798.03 T1=689.77
|
SAT f=211 TT=1798.07 T1=642.6
|
SAT (TO) f=210 TT=1800.21 T1=1607.39
|
SAT (TO) f=205 TT=1800.12 T1=44.41
|
SAT (TO) f=216 TT=1800.3 T1=382.61
|
SAT (TO) f=211 TT=1800.79 T1=206.32
|
SAT f=187 TT=1795.52 T1=139.98
|
SAT (TO) f=189 TT=1800.17 T1=570.36
|
? (TO)
TT=1800.31
|
normalized-PB06/OPT-SMALLINT/submitted-PB06/ liu/domset/ normalized-domset_v500_e2000_w30_mw19_20.opb.PB06.opb
|
SAT f=192 TT=1800.29 T1=1744.62
|
SAT f=215 TT=1798.02 T1=546.96
|
SAT f=213 TT=1798.02 T1=1594.01
|
SAT (TO) f=217 TT=1800.1 T1=72.19
|
SAT (TO) f=207 TT=1800.12 T1=943.82
|
SAT (TO) f=219 TT=1800.32 T1=801.97
|
SAT (TO) f=213 TT=1800.72 T1=484.66
|
SAT f=191 TT=1795.73 T1=719.64
|
SAT (TO) f=192 TT=1800.29 T1=1744.62
|
? (TO)
TT=1800.36
|
normalized-PB06/OPT-SMALLINT/submitted-PB06/ liu/domset/ normalized-domset_v500_e2000_w30_mw19_21.opb.PB06.opb
|
SAT f=195 TT=1800.05 T1=1257.45
|
SAT f=221 TT=1798.03 T1=176.57
|
SAT f=218 TT=1798.03 T1=369.31
|
SAT f=216 TT=1798.02 T1=1106.73
|
SAT (TO) f=211 TT=1800.09 T1=384.87
|
SAT (TO) f=219 TT=1800.35 T1=405.6
|
SAT (TO) f=215 TT=1800.65 T1=1183.68
|
SAT f=193 TT=1795.77 T1=1062.38
|
SAT (TO) f=195 TT=1800.05 T1=1257.45
|
? (TO)
TT=1800.29
|
normalized-PB06/OPT-SMALLINT/submitted-PB06/ liu/domset/ normalized-domset_v500_e2000_w30_mw19_22.opb.PB06.opb
|
SAT f=187 TT=1800.12 T1=1379.21
|
SAT f=212 TT=1798.02 T1=197.02
|
SAT f=214 TT=1798.03 T1=108.04
|
SAT (TO) f=214 TT=1800.05 T1=410.73
|
SAT (TO) f=208 TT=1800.09 T1=737.16
|
SAT (TO) f=218 TT=1800.35 T1=1191.8
|
SAT (TO) f=215 TT=1800.62 T1=693.94
|
SAT f=188 TT=1795.63 T1=667.48
|
SAT (TO) f=187 TT=1800.12 T1=1379.21
|
? (MO)
TT=1768.09
|
normalized-PB06/OPT-SMALLINT/submitted-PB06/ liu/domset/ normalized-domset_v500_e2000_w30_mw19_23.opb.PB06.opb
|
SAT f=192 TT=1800.14 T1=302.53
|
SAT f=223 TT=1798.02 T1=1288.51
|
SAT f=221 TT=1798.03 T1=341.28
|
SAT (TO) f=222 TT=1800.16 T1=788.14
|
SAT (TO) f=215 TT=1800.09 T1=6.57
|
SAT (TO) f=225 TT=1800.42 T1=830.46
|
SAT (TO) f=222 TT=1800.63 T1=1212.58
|
SAT f=198 TT=1795.35 T1=609.45
|
SAT (TO) f=192 TT=1800.14 T1=302.53
|
? (TO)
TT=1800.38
|
normalized-PB06/OPT-SMALLINT/submitted-PB06/ liu/domset/ normalized-domset_v500_e2000_w30_mw19_24.opb.PB06.opb
|
SAT f=191 TT=1800.14 T1=1748.77
|
SAT f=221 TT=1798.02 T1=6.39
|
SAT f=221 TT=1799.61 T1=6.4
|
SAT f=219 TT=1798.03 T1=443.1
|
SAT (TO) f=214 TT=1800.14 T1=30.93
|
SAT (TO) f=221 TT=1800.3 T1=1.06
|
SAT (TO) f=219 TT=1800.5 T1=891.18
|
SAT f=193 TT=1796.2 T1=1239.44
|
SAT (TO) f=191 TT=1800.14 T1=1748.77
|
? (TO)
TT=1800.33
|
normalized-PB06/OPT-SMALLINT/ submitted-PB06/liu/vtxcov/ normalized-vtxcov_v2000_e4000_0.opb.PB06.opb
|
SAT f=1046 TT=1797.07 T1=795.01
|
SAT f=1073 TT=1798.02 T1=1094.98
|
SAT f=1075 TT=1798.03 T1=1536.23
|
SAT f=1079 TT=1798.02 T1=1125.83
|
SAT (TO) f=1197 TT=1800 T1=0.11
|
SAT (TO) f=1174 TT=1800.65 T1=1617.66
|
SAT (TO) f=1187 TT=1800.59 T1=13.41
|
SAT f=1049 TT=1794.21 T1=1113.15
|
SAT f=1046 TT=1797.07 T1=795.01
|
? (MO)
TT=1497.66
|
normalized-PB06/OPT-SMALLINT/ submitted-PB06/liu/vtxcov/ normalized-vtxcov_v2000_e4000_11.opb.PB06.opb
|
SAT f=1037 TT=1796.82 T1=1233.05
|
SAT f=1062 TT=1798.02 T1=945.41
|
SAT f=1065 TT=1798.04 T1=283.98
|
SAT f=1060 TT=1798.01 T1=965.14
|
SAT (TO) f=1174 TT=1800.01 T1=0.1
|
SAT (TO) f=1160 TT=1800.38 T1=472.87
|
SAT (TO) f=1175 TT=1800.55 T1=0.87
|
SAT f=1035 TT=1794.17 T1=1053.24
|
SAT f=1037 TT=1796.82 T1=1233.05
|
? (MO)
TT=1454.43
|
normalized-PB06/OPT-SMALLINT/ submitted-PB06/liu/vtxcov/ normalized-vtxcov_v2000_e4000_12.opb.PB06.opb
|
SAT f=1047 TT=1797.18 T1=1136.89
|
SAT f=1071 TT=1798.02 T1=568.13
|
SAT f=1068 TT=1798.04 T1=1741.34
|
SAT f=1072 TT=1798.03 T1=1413.37
|
SAT (TO) f=1189 TT=1800.07 T1=0.1
|
SAT (TO) f=1159 TT=1800.43 T1=695.58
|
SAT (TO) f=1181 TT=1800.61 T1=0.86
|
SAT f=1046 TT=1795.4 T1=1186.34
|
SAT f=1047 TT=1797.18 T1=1136.89
|
? (MO)
TT=1758.63
|
normalized-PB06/OPT-SMALLINT/ submitted-PB06/liu/vtxcov/ normalized-vtxcov_v2000_e4000_18.opb.PB06.opb
|
SAT f=1049 TT=1797.76 T1=1579.35
|
SAT f=1071 TT=1798.01 T1=1518.93
|
SAT f=1072 TT=1798.03 T1=426.88
|
SAT f=1067 TT=1798.03 T1=1284.26
|
SAT (TO) f=1197 TT=1800.09 T1=6.35
|
SAT (TO) f=1162 TT=1800.44 T1=610.11
|
SAT (TO) f=1191 TT=1800.67 T1=1765.77
|
SAT f=1051 TT=1795.49 T1=1779.1
|
SAT f=1049 TT=1797.76 T1=1579.35
|
? (TO)
TT=1800.33
|
Bench name | Best results | bsolo 3.1 (complete) | bsolo 3.1 cl (complete) | bsolo 3.1 pb (complete) | pbclasp 2009-04-24 (complete) | SAT4J Pseudo CP 2.1.1 (complete) | SAT4J Pseudo Resolution 2.1.1 (complete) | SCIPclp SCIP 1.1.0.7 with CLP 1.8.2 (complete) | SCIPspx SCIP 1.1.0.7 with SoPLEX 1.4.1(24.4.2009) (complete) | wbo 1.0 (complete) |
normalized-PB06/OPT-SMALLINT/ submitted-PB06/liu/vtxcov/ normalized-vtxcov_v2000_e4000_1.opb.PB06.opb
|
SAT f=1045 TT=1797.69 T1=1625
|
SAT f=1071 TT=1798.01 T1=1669.28
|
SAT f=1075 TT=1798.02 T1=120.46
|
SAT f=1071 TT=1798.02 T1=838.49
|
SAT (TO) f=1197 TT=1800.06 T1=1.93
|
SAT (TO) f=1175 TT=1800.62 T1=1642.16
|
SAT (TO) f=1186 TT=1800.61 T1=1076.64
|
SAT f=1045 TT=1794.28 T1=395.54
|
SAT f=1045 TT=1797.69 T1=1625
|
? (MO)
TT=1630.18
|
normalized-PB06/OPT-SMALLINT/ submitted-PB06/liu/vtxcov/ normalized-vtxcov_v2000_e4000_21.opb.PB06.opb
|
SAT f=1038 TT=1797.52 T1=1264.11
|
SAT f=1068 TT=1798.02 T1=193.13
|
SAT f=1068 TT=1798.01 T1=192.94
|
SAT f=1065 TT=1798.01 T1=1773.95
|
SAT (TO) f=1189 TT=1800.05 T1=0.1
|
SAT (TO) f=1158 TT=1800.49 T1=1150.52
|
SAT (TO) f=1179 TT=1800.61 T1=467.07
|
SAT f=1042 TT=1794.13 T1=158.45
|
SAT f=1038 TT=1797.52 T1=1264.11
|
? (MO)
TT=1561.66
|
normalized-PB06/OPT-SMALLINT/ submitted-PB06/liu/vtxcov/ normalized-vtxcov_v2000_e4000_2.opb.PB06.opb
|
SAT f=1051 TT=1797.57 T1=719.3
|
SAT f=1073 TT=1798.03 T1=335.47
|
SAT f=1074 TT=1798.03 T1=366.55
|
SAT f=1075 TT=1798.03 T1=83.66
|
SAT (TO) f=1190 TT=1800.09 T1=0.11
|
SAT (TO) f=1177 TT=1800.42 T1=1577.09
|
SAT (TO) f=1197 TT=1800.61 T1=591.62
|
SAT f=1051 TT=1794.14 T1=326.05
|
SAT f=1051 TT=1797.57 T1=719.3
|
? (MO)
TT=1586.16
|
normalized-PB06/OPT-SMALLINT/ submitted-PB06/liu/vtxcov/ normalized-vtxcov_v2000_e4000_33.opb.PB06.opb
|
SAT f=1050 TT=1797.03 T1=1763.45
|
SAT f=1067 TT=1798.01 T1=1531.67
|
SAT f=1066 TT=1798.04 T1=1038.87
|
SAT f=1069 TT=1798.06 T1=405.77
|
SAT (TO) f=1191 TT=1800.03 T1=0.4
|
SAT (TO) f=1170 TT=1800.42 T1=327.43
|
SAT (TO) f=1189 TT=1800.57 T1=349.18
|
SAT f=1041 TT=1794.1 T1=439.34
|
SAT f=1050 TT=1797.03 T1=1763.45
|
? (MO)
TT=1294.97
|
normalized-PB06/OPT-SMALLINT/ submitted-PB06/liu/vtxcov/ normalized-vtxcov_v2000_e4000_34.opb.PB06.opb
|
SAT f=1047 TT=1797.47 T1=472.48
|
SAT f=1067 TT=1798.02 T1=422.23
|
SAT f=1068 TT=1798.05 T1=624.13
|
SAT f=1059 TT=1798.05 T1=1180.7
|
SAT (TO) f=1188 TT=1800.02 T1=13.3
|
SAT (TO) f=1157 TT=1800.44 T1=714.3
|
SAT (TO) f=1180 TT=1800.62 T1=1.36
|
SAT f=1043 TT=1795.15 T1=246.78
|
SAT f=1047 TT=1797.47 T1=472.48
|
? (MO)
TT=1638.2
|
normalized-PB06/OPT-SMALLINT/ submitted-PB06/liu/vtxcov/ normalized-vtxcov_v2000_e4000_36.opb.PB06.opb
|
SAT f=1049 TT=1797.16 T1=1634.15
|
SAT f=1069 TT=1798.02 T1=1731.82
|
SAT f=1071 TT=1798.02 T1=804.91
|
SAT f=1072 TT=1798.04 T1=474.18
|
SAT (TO) f=1186 TT=1800.09 T1=4.28
|
SAT (TO) f=1161 TT=1800.4 T1=187.35
|
SAT (TO) f=1188 TT=1800.61 T1=480.32
|
SAT f=1042 TT=1794.51 T1=1593.25
|
SAT f=1049 TT=1797.16 T1=1634.15
|
? (TO)
TT=1800.25
|
normalized-PB06/OPT-SMALLINT/ submitted-PB06/liu/vtxcov/ normalized-vtxcov_v2000_e4000_43.opb.PB06.opb
|
SAT f=1048 TT=1797.01 T1=1630.27
|
SAT f=1081 TT=1798.01 T1=195.13
|
SAT f=1063 TT=1798.01 T1=1707.52
|
SAT f=1067 TT=1798.03 T1=922.07
|
SAT (TO) f=1187 TT=1800.02 T1=0.11
|
SAT (TO) f=1167 TT=1800.41 T1=1190.9
|
SAT (TO) f=1191 TT=1800.64 T1=14.43
|
SAT f=1043 TT=1794.26 T1=1745.13
|
SAT f=1048 TT=1797.01 T1=1630.27
|
? (MO)
TT=1401.44
|
normalized-PB06/OPT-SMALLINT/ submitted-PB06/liu/vtxcov/ normalized-vtxcov_v2000_e4000_5.opb.PB06.opb
|
SAT f=1052 TT=1797.38 T1=1696.8
|
SAT f=1067 TT=1798.01 T1=1113.59
|
SAT f=1069 TT=1798.02 T1=1228.96
|
SAT f=1072 TT=1798.01 T1=1312.03
|
SAT (TO) f=1195 TT=1800.05 T1=0.1
|
SAT (TO) f=1156 TT=1800.4 T1=36.18
|
SAT (TO) f=1166 TT=1800.64 T1=1.26
|
SAT f=1051 TT=1793.96 T1=1561.95
|
SAT f=1052 TT=1797.38 T1=1696.8
|
? (MO)
TT=1494.01
|
normalized-PB06/OPT-SMALLINT/ submitted-PB06/liu/vtxcov/ normalized-vtxcov_v2000_e4000_6.opb.PB06.opb
|
SAT f=1049 TT=1797.36 T1=1451.33
|
SAT f=1076 TT=1798.03 T1=1306.85
|
SAT f=1075 TT=1798.01 T1=542.75
|
SAT f=1071 TT=1798.01 T1=1066.5
|
SAT (TO) f=1187 TT=1800.07 T1=9.61
|
SAT (TO) f=1164 TT=1800.41 T1=1622.04
|
SAT (TO) f=1191 TT=1800.63 T1=12.54
|
SAT f=1055 TT=1794.26 T1=132.08
|
SAT f=1049 TT=1797.36 T1=1451.33
|
? (MO)
TT=1652.41
|
normalized-PB06/OPT-SMALLINT/ submitted-PB06/liu/vtxcov/ normalized-vtxcov_v2000_e4000_7.opb.PB06.opb
|
SAT f=1053 TT=1797.15 T1=1245.43
|
SAT f=1066 TT=1798.03 T1=849.48
|
SAT f=1068 TT=1798.02 T1=395.25
|
SAT f=1069 TT=1798.04 T1=751.33
|
SAT (TO) f=1195 TT=1800.04 T1=0.11
|
SAT (TO) f=1161 TT=1800.47 T1=1162.46
|
SAT (TO) f=1184 TT=1800.46 T1=34.07
|
SAT f=1049 TT=1794.51 T1=1595.29
|
SAT f=1053 TT=1797.15 T1=1245.43
|
? (MO)
TT=1552.43
|
Bench name | Best results | bsolo 3.1 (complete) | bsolo 3.1 cl (complete) | bsolo 3.1 pb (complete) | pbclasp 2009-04-24 (complete) | SAT4J Pseudo CP 2.1.1 (complete) | SAT4J Pseudo Resolution 2.1.1 (complete) | SCIPclp SCIP 1.1.0.7 with CLP 1.8.2 (complete) | SCIPspx SCIP 1.1.0.7 with SoPLEX 1.4.1(24.4.2009) (complete) | wbo 1.0 (complete) |
normalized-PB06/OPT-SMALLINT/ submitted-PB06/liu/vtxcov/ normalized-vtxcov_v2000_e4000_8.opb.PB06.opb
|
SAT f=1052 TT=1798.28 T1=676.72
|
SAT f=1072 TT=1798.04 T1=228.24
|
SAT f=1065 TT=1798.04 T1=1468.64
|
SAT f=1070 TT=1798.01 T1=367.52
|
SAT (TO) f=1188 TT=1800.1 T1=569.09
|
SAT (TO) f=1164 TT=1800.44 T1=461.3
|
SAT (TO) f=1192 TT=1800.6 T1=8.57
|
SAT f=1048 TT=1793.87 T1=991.71
|
SAT f=1052 TT=1798.28 T1=676.72
|
? (MO)
TT=1359.35
|
normalized-PB06/OPT-SMALLINT/ submitted-PB06/liu/wnq/ normalized-wnq_n100_mw99_0.opb.PB06.opb
|
SAT f=5483 TT=1364.87 T1=234.14
|
SAT f=5860 TT=1798.24 T1=1523.8
|
SAT (MO) f=5483 TT=1364.87 T1=234.14
|
SAT (MO) f=5624 TT=1757.37 T1=29.72
|
SAT (TO) f=6226 TT=1800 T1=1708.01
|
? (TO)
TT=1800.41
|
? (TO)
TT=1800.39
|
? (TO)
TT=1802.3
|
? (TO)
TT=1802.33
|
? (MO)
TT=1724.24
|
normalized-PB06/OPT-SMALLINT/ submitted-PB06/liu/wnq/ normalized-wnq_n100_mw99_10.opb.PB06.opb
|
SAT f=5589 TT=1603.78 T1=571.48
|
SAT f=5737 TT=1798.15 T1=1460.43
|
SAT (MO) f=5589 TT=1603.78 T1=571.48
|
SAT (MO) f=5670 TT=1432.81 T1=29.71
|
SAT (TO) f=5973 TT=1800.09 T1=1158.87
|
? (TO)
TT=1800.42
|
? (TO)
TT=1800.36
|
? (TO)
TT=1802.31
|
? (TO)
TT=1802.3
|
? (MO)
TT=1346.94
|
normalized-PB06/OPT-SMALLINT/ submitted-PB06/liu/wnq/ normalized-wnq_n100_mw99_11.opb.PB06.opb
|
SAT f=5461 TT=1178.47 T1=42.79
|
SAT f=5905 TT=1798.54 T1=208.2
|
SAT (MO) f=5461 TT=1178.47 T1=42.79
|
SAT (MO) f=6252 TT=1110.33 T1=30.14
|
SAT (TO) f=6131 TT=1800.01 T1=1342.62
|
? (TO)
TT=1800.4
|
? (TO)
TT=1800.46
|
? (TO)
TT=1802.28
|
? (TO)
TT=1802.28
|
? (MO)
TT=1329.55
|
normalized-PB06/OPT-SMALLINT/ submitted-PB06/liu/wnq/ normalized-wnq_n100_mw99_12.opb.PB06.opb
|
SAT f=5676 TT=1470.62 T1=662.2
|
SAT f=5746 TT=1798.43 T1=332
|
SAT (MO) f=5676 TT=1470.62 T1=662.2
|
SAT (MO) f=6046 TT=1414.63 T1=29.69
|
SAT (TO) f=6232 TT=1800.1 T1=1788.69
|
? (TO)
TT=1800.37
|
? (TO)
TT=1800.47
|
? (TO)
TT=1802.3
|
? (TO)
TT=1802.26
|
? (MO)
TT=1372.82
|
normalized-PB06/OPT-SMALLINT/ submitted-PB06/liu/wnq/ normalized-wnq_n100_mw99_13.opb.PB06.opb
|
SAT f=5596 TT=1240.97 T1=366.88
|
SAT f=5473 TT=1798.19 T1=222.32
|
SAT (MO) f=5596 TT=1240.97 T1=366.88
|
SAT (MO) f=6378 TT=1392.13 T1=34.74
|
SAT (TO) f=6262 TT=1800.05 T1=1160.91
|
? (TO)
TT=1800.43
|
? (TO)
TT=1800.43
|
? (TO)
TT=1802.24
|
? (TO)
TT=1802.31
|
? (TO)
TT=1800.33
|
normalized-PB06/OPT-SMALLINT/ submitted-PB06/liu/wnq/ normalized-wnq_n100_mw99_14.opb.PB06.opb
|
SAT f=5623 TT=1190.7 T1=1138.79
|
SAT f=5972 TT=1798.27 T1=267.56
|
SAT (MO) f=5623 TT=1190.7 T1=1138.79
|
SAT (MO) f=6726 TT=1555.25 T1=194.81
|
SAT (TO) f=6228 TT=1800.01 T1=285.73
|
? (TO)
TT=1800.48
|
? (TO)
TT=1800.36
|
? (TO)
TT=1802.29
|
? (TO)
TT=1802.27
|
? (MO)
TT=1437.15
|
normalized-PB06/OPT-SMALLINT/ submitted-PB06/liu/wnq/ normalized-wnq_n100_mw99_1.opb.PB06.opb
|
SAT f=5450 TT=1635.75 T1=616.78
|
SAT f=5772 TT=1798.29 T1=1477.48
|
SAT (MO) f=5450 TT=1635.75 T1=616.78
|
SAT (MO) f=6144 TT=1343.57 T1=29.23
|
SAT (TO) f=5908 TT=1800.07 T1=1556.8
|
? (TO)
TT=1800.44
|
? (TO)
TT=1800.47
|
? (TO)
TT=1802.29
|
? (TO)
TT=1802.31
|
? (MO)
TT=1354.2
|
normalized-PB06/OPT-SMALLINT/ submitted-PB06/liu/wnq/ normalized-wnq_n100_mw99_2.opb.PB06.opb
|
SAT f=5657 TT=1383.63 T1=899.33
|
SAT f=5773 TT=1798.31 T1=514.99
|
SAT (MO) f=5657 TT=1383.63 T1=899.33
|
SAT (MO) f=5798 TT=1312.53 T1=29.71
|
SAT (TO) f=6009 TT=1800.02 T1=969.14
|
? (TO)
TT=1800.47
|
? (TO)
TT=1800.42
|
? (TO)
TT=1802.28
|
? (TO)
TT=1802.31
|
? (MO)
TT=1644.15
|
normalized-PB06/OPT-SMALLINT/ submitted-PB06/liu/wnq/ normalized-wnq_n100_mw99_3.opb.PB06.opb
|
SAT f=5789 TT=1798.32 T1=1561.36
|
SAT f=5867 TT=1798.17 T1=1676.55
|
SAT f=5789 TT=1798.32 T1=1561.36
|
SAT (MO) f=6278 TT=1350.21 T1=32.5
|
SAT (TO) f=6464 TT=1800 T1=1424.46
|
? (TO)
TT=1800.4
|
? (TO)
TT=1800.58
|
? (TO)
TT=1802.27
|
? (TO)
TT=1802.28
|
? (MO)
TT=1363.59
|
Bench name | Best results | bsolo 3.1 (complete) | bsolo 3.1 cl (complete) | bsolo 3.1 pb (complete) | pbclasp 2009-04-24 (complete) | SAT4J Pseudo CP 2.1.1 (complete) | SAT4J Pseudo Resolution 2.1.1 (complete) | SCIPclp SCIP 1.1.0.7 with CLP 1.8.2 (complete) | SCIPspx SCIP 1.1.0.7 with SoPLEX 1.4.1(24.4.2009) (complete) | wbo 1.0 (complete) |
normalized-PB06/OPT-SMALLINT/ submitted-PB06/liu/wnq/ normalized-wnq_n100_mw99_4.opb.PB06.opb
|
SAT f=5248 TT=1292.98 T1=166.35
|
SAT f=5688 TT=1798.32 T1=553.89
|
SAT (MO) f=5248 TT=1292.98 T1=166.35
|
SAT (MO) f=6227 TT=1269.38 T1=30.66
|
SAT (TO) f=5951 TT=1800.01 T1=1721.37
|
? (TO)
TT=1800.44
|
? (TO)
TT=1800.47
|
? (TO)
TT=1802.28
|
? (TO)
TT=1802.29
|
? (TO)
TT=1800.28
|
normalized-PB06/OPT-SMALLINT/ submitted-PB06/liu/wnq/ normalized-wnq_n100_mw99_5.opb.PB06.opb
|
SAT f=5675 TT=1449.29 T1=1290.34
|
SAT f=5607 TT=1798.3 T1=97.28
|
SAT (MO) f=5675 TT=1449.29 T1=1290.34
|
SAT (MO) f=5956 TT=1231.07 T1=29.71
|
SAT (TO) f=6052 TT=1800.04 T1=1667.51
|
? (TO)
TT=1800.44
|
? (TO)
TT=1800.45
|
? (TO)
TT=1802.24
|
? (TO)
TT=1802.27
|
? (TO)
TT=1800.35
|
normalized-PB06/OPT-SMALLINT/ submitted-PB06/liu/wnq/ normalized-wnq_n100_mw99_6.opb.PB06.opb
|
SAT f=5701 TT=1531.68 T1=1136.76
|
SAT f=5613 TT=1798.15 T1=1462.28
|
SAT (MO) f=5701 TT=1531.68 T1=1136.76
|
SAT (MO) f=5821 TT=1473.46 T1=29.73
|
SAT (TO) f=6339 TT=1800.03 T1=1591.34
|
? (TO)
TT=1800.42
|
? (TO)
TT=1800.41
|
? (TO)
TT=1802.26
|
? (TO)
TT=1802.27
|
? (TO)
TT=1800.34
|
normalized-PB06/OPT-SMALLINT/ submitted-PB06/liu/wnq/ normalized-wnq_n100_mw99_7.opb.PB06.opb
|
SAT f=5502 TT=1336.92 T1=195.7
|
SAT f=5676 TT=1798.2 T1=1352.51
|
SAT (MO) f=5502 TT=1336.92 T1=195.7
|
SAT (MO) f=5632 TT=1346.01 T1=30.07
|
SAT (TO) f=6380 TT=1800.01 T1=1398.23
|
? (TO)
TT=1800.48
|
? (TO)
TT=1800.49
|
? (TO)
TT=1802.32
|
? (TO)
TT=1802.26
|
? (TO)
TT=1800.38
|
normalized-PB06/OPT-SMALLINT/ submitted-PB06/liu/wnq/ normalized-wnq_n100_mw99_8.opb.PB06.opb
|
SAT f=5597 TT=1449.52 T1=1034.53
|
SAT f=5586 TT=1798.38 T1=258.37
|
SAT (MO) f=5597 TT=1449.52 T1=1034.53
|
SAT (MO) f=6228 TT=1394.85 T1=30.12
|
SAT (TO) f=6258 TT=1800.1 T1=1193.99
|
? (TO)
TT=1800.39
|
? (TO)
TT=1800.45
|
? (TO)
TT=1802.25
|
? (TO)
TT=1802.31
|
? (MO)
TT=1559.35
|
normalized-PB06/OPT-SMALLINT/ submitted-PB06/liu/wnq/ normalized-wnq_n100_mw99_9.opb.PB06.opb
|
SAT f=5514 TT=1600.95 T1=972.1
|
SAT f=5778 TT=1798.19 T1=1264.72
|
SAT (MO) f=5514 TT=1600.95 T1=972.1
|
SAT (MO) f=5784 TT=1660.7 T1=30.57
|
SAT (TO) f=5986 TT=1800.08 T1=1623.01
|
? (TO)
TT=1800.42
|
? (TO)
TT=1800.45
|
? (TO)
TT=1802.32
|
? (TO)
TT=1802.28
|
? (MO)
TT=1293.51
|
normalized-PB06/OPT-SMALLINT/ submitted-PB06/manquiho/bounded_golomb_rulers/ normalized-bogr_10.opb
|
OPT f=55 TT=1053.61 T1=318.18
|
SAT f=59 TT=1798.03 T1=780.66
|
SAT f=60 TT=1798.03 T1=590.89
|
SAT f=62 TT=1798.03 T1=1211.05
|
OPT f=55 TT=1053.61 T1=318.18
|
SAT (TO) f=64 TT=1800.37 T1=1536.43
|
SAT (TO) f=55 TT=1800.49 T1=1108.28
|
? (TO)
TT=1800.38
|
? (TO)
TT=1800.22
|
? (TO)
TT=1800.09
|
normalized-PB06/OPT-SMALLINT/ submitted-PB06/manquiho/bounded_golomb_rulers/ normalized-bogr_11.opb
|
SAT f=76 TT=1800.08 T1=508.73
|
SAT f=81 TT=1798.02 T1=694.15
|
SAT f=78 TT=1798.03 T1=334.25
|
SAT f=79 TT=1798.02 T1=1092.69
|
SAT (TO) f=76 TT=1800.08 T1=508.73
|
SAT (TO) f=92 TT=1800.46 T1=1357.17
|
SAT (TO) f=76 TT=1800.58 T1=539.75
|
?
TT=1799.79
|
? (TO)
TT=1800.29
|
? (TO)
TT=1800.07
|
normalized-PB06/OPT-SMALLINT/ submitted-PB06/manquiho/bounded_golomb_rulers/ normalized-bogr_12.opb
|
SAT f=97 TT=1800.13 T1=1047.9
|
SAT f=104 TT=1798.03 T1=1330.67
|
SAT f=100 TT=1798.03 T1=1573.22
|
SAT f=104 TT=1798.04 T1=1167.67
|
SAT (TO) f=97 TT=1800.13 T1=1047.9
|
SAT (TO) f=117 TT=1800.51 T1=1519.9
|
SAT (TO) f=101 TT=1800.53 T1=845.72
|
?
TT=1798.04
|
? (TO)
TT=1800.25
|
? (TO)
TT=1800.1
|
normalized-PB06/OPT-SMALLINT/ submitted-PB06/manquiho/bounded_golomb_rulers/ normalized-bogr_13.opb
|
SAT f=124 TT=1800.07 T1=1123.94
|
SAT f=119 TT=1798.04 T1=302.98
|
SAT f=132 TT=1798.05 T1=1751.36
|
SAT f=132 TT=1798.07 T1=1631.42
|
SAT (TO) f=124 TT=1800.07 T1=1123.94
|
SAT (TO) f=200 TT=1800.46 T1=1715.26
|
SAT (TO) f=131 TT=1800.45 T1=1702.15
|
?
TT=1798.55
|
? (TO)
TT=1800.28
|
? (TO)
TT=1800.11
|
Bench name | Best results | bsolo 3.1 (complete) | bsolo 3.1 cl (complete) | bsolo 3.1 pb (complete) | pbclasp 2009-04-24 (complete) | SAT4J Pseudo CP 2.1.1 (complete) | SAT4J Pseudo Resolution 2.1.1 (complete) | SCIPclp SCIP 1.1.0.7 with CLP 1.8.2 (complete) | SCIPspx SCIP 1.1.0.7 with SoPLEX 1.4.1(24.4.2009) (complete) | wbo 1.0 (complete) |
normalized-PB06/OPT-SMALLINT/ submitted-PB06/manquiho/bounded_golomb_rulers/ normalized-bogr_14.opb
|
SAT f=157 TT=1798.05 T1=1013.51
|
SAT f=155 TT=1798.04 T1=1640.1
|
SAT f=157 TT=1798.05 T1=1013.51
|
SAT f=170 TT=1798.16 T1=95.2
|
SAT (TO) f=167 TT=1800.1 T1=1100.84
|
SAT (TO) f=212 TT=1800.35 T1=1085.61
|
SAT (TO) f=165 TT=1800.5 T1=1518.31
|
?
TT=1795.95
|
? (TO)
TT=1800.29
|
? (TO)
TT=1800.09
|
normalized-PB06/OPT-SMALLINT/ submitted-PB06/manquiho/bounded_golomb_rulers/ normalized-bogr_15.opb
|
SAT f=188 TT=1798.08 T1=745.14
|
SAT f=187 TT=1798.04 T1=1381.15
|
SAT f=188 TT=1798.08 T1=745.14
|
SAT f=206 TT=1797.95 T1=397.68
|
SAT (TO) f=206 TT=1800.12 T1=623.7
|
SAT (TO) f=207 TT=1800.53 T1=1741.01
|
SAT (TO) f=204 TT=1800.5 T1=1402.85
|
?
TT=1795.12
|
?
TT=1798.64
|
? (TO)
TT=1800.08
|
normalized-PB06/OPT-SMALLINT/ submitted-PB06/manquiho/bounded_golomb_rulers/ normalized-bogr_16.opb
|
SAT f=233 TT=1798.04 T1=1434.98
|
SAT f=253 TT=1798.04 T1=112.8
|
SAT f=233 TT=1798.04 T1=1434.98
|
SAT f=236 TT=1798.05 T1=1467.05
|
? (TO)
TT=1800.11
|
SAT (TO) f=323 TT=1800.43 T1=206.37
|
? (TO)
TT=1800.3
|
?
TT=1795.6
|
?
TT=1798.26
|
? (TO)
TT=1800.09
|
normalized-PB06/OPT-SMALLINT/ submitted-PB06/manquiho/bounded_golomb_rulers/ normalized-bogr_17.opb
|
SAT f=264 TT=1798.05 T1=770.59
|
SAT f=278 TT=1798.05 T1=1434.54
|
SAT f=264 TT=1798.05 T1=770.59
|
SAT f=283 TT=1798.06 T1=521.28
|
SAT (TO) f=286 TT=1800.11 T1=1000.86
|
? (TO)
TT=1800.23
|
? (TO)
TT=1800.27
|
?
TT=1796.89
|
?
TT=1797.27
|
? (TO)
TT=1800.05
|
normalized-PB06/OPT-SMALLINT/ submitted-PB06/manquiho/bounded_golomb_rulers/ normalized-bogr_18.opb
|
SAT f=313 TT=1798.1 T1=532.14
|
SAT f=322 TT=1798.05 T1=160.83
|
SAT f=317 TT=1798.04 T1=125.96
|
SAT f=313 TT=1798.1 T1=532.14
|
? (TO)
TT=1800.14
|
? (TO)
TT=1800.26
|
? (TO)
TT=1800.25
|
?
TT=1796.61
|
?
TT=1796.59
|
? (TO)
TT=1800.06
|
normalized-PB06/OPT-SMALLINT/ submitted-PB06/manquiho/bounded_golomb_rulers/ normalized-bogr_19.opb
|
SAT f=354 TT=1798.08 T1=1137.07
|
SAT f=360 TT=1798.06 T1=325.84
|
SAT f=354 TT=1798.08 T1=1137.07
|
?
TT=1798.05
|
? (TO)
TT=1800.07
|
? (TO)
TT=1800.27
|
? (TO)
TT=1800.26
|
?
TT=1796.31
|
?
TT=1795.83
|
? (TO)
TT=1800.07
|
normalized-PB06/OPT-SMALLINT/ submitted-PB06/manquiho/bounded_golomb_rulers/ normalized-bogr_20.opb
|
|
?
TT=1798.1
|
?
TT=1798.06
|
?
TT=1798.05
|
? (TO)
TT=1800.06
|
? (TO)
TT=1800.29
|
? (TO)
TT=1800.27
|
?
TT=1796.58
|
? (TO)
TT=1801.66
|
? (TO)
TT=1800.06
|
normalized-PB06/OPT-SMALLINT/ submitted-PB06/manquiho/ bounded_golomb_rulers/normalized-bogr_4.opb
|
OPT f=6 TT=0.002 T1=0
|
OPT f=6 TT=0.004 T1=0
|
OPT f=6 TT=0.004 T1=0
|
OPT f=6 TT=0.004 T1=0
|
OPT f=6 TT=0.017 T1=0.01
|
OPT f=6 TT=0.375 T1=0.31
|
OPT f=6 TT=0.348 T1=0.29
|
OPT f=6 TT=0.035 T1=0.02
|
OPT f=6 TT=0.035 T1=0.02
|
OPT f=6 TT=0.002 T1=0
|
normalized-PB06/OPT-SMALLINT/ submitted-PB06/manquiho/ bounded_golomb_rulers/normalized-bogr_5.opb
|
OPT f=11 TT=0.006 T1=0
|
OPT f=11 TT=0.022 T1=0.02
|
OPT f=11 TT=0.019 T1=0.01
|
OPT f=11 TT=0.027 T1=0.02
|
OPT f=11 TT=0.022 T1=0.01
|
OPT f=11 TT=1.111 T1=0.68
|
OPT f=11 TT=0.702 T1=0.48
|
OPT f=11 TT=0.868 T1=0.79
|
OPT f=11 TT=1.328 T1=1.27
|
OPT f=11 TT=0.006 T1=0
|
normalized-PB06/OPT-SMALLINT/ submitted-PB06/manquiho/ bounded_golomb_rulers/normalized-bogr_6.opb
|
OPT f=17 TT=0.059 T1=0.02
|
OPT f=17 TT=0.062 T1=0.02
|
OPT f=17 TT=0.059 T1=0.02
|
OPT f=17 TT=0.086 T1=0.04
|
OPT f=17 TT=0.065 T1=0.05
|
OPT f=17 TT=3.31 T1=1.81
|
OPT f=17 TT=1.794 T1=1.08
|
OPT f=17 TT=4.322 T1=2.05
|
OPT f=17 TT=8.135 T1=6.79
|
OPT f=17 TT=0.066 T1=0.06
|
Bench name | Best results | bsolo 3.1 (complete) | bsolo 3.1 cl (complete) | bsolo 3.1 pb (complete) | pbclasp 2009-04-24 (complete) | SAT4J Pseudo CP 2.1.1 (complete) | SAT4J Pseudo Resolution 2.1.1 (complete) | SCIPclp SCIP 1.1.0.7 with CLP 1.8.2 (complete) | SCIPspx SCIP 1.1.0.7 with SoPLEX 1.4.1(24.4.2009) (complete) | wbo 1.0 (complete) |
normalized-PB06/OPT-SMALLINT/ submitted-PB06/manquiho/ bounded_golomb_rulers/normalized-bogr_7.opb
|
OPT f=25 TT=0.581 T1=0.22
|
OPT f=25 TT=0.65 T1=0.12
|
OPT f=25 TT=0.804 T1=0.22
|
OPT f=25 TT=1.463 T1=0.28
|
OPT f=25 TT=0.581 T1=0.54
|
OPT f=25 TT=17.714 T1=8.81
|
OPT f=25 TT=3.946 T1=2.21
|
OPT f=25 TT=93.913 T1=59.19
|
OPT f=25 TT=63.75 T1=15.12
|
OPT f=25 TT=0.905 T1=0.9
|
normalized-PB06/OPT-SMALLINT/ submitted-PB06/manquiho/ bounded_golomb_rulers/normalized-bogr_8.opb
|
OPT f=34 TT=7.519 T1=3.19
|
OPT f=34 TT=30.228 T1=2.51
|
OPT f=34 TT=25.498 T1=5.93
|
OPT f=34 TT=97.065 T1=72.25
|
OPT f=34 TT=7.519 T1=3.19
|
OPT f=34 TT=485.732 T1=43.44
|
OPT f=34 TT=28.9 T1=10.45
|
OPT f=34 TT=1035.58 T1=366.77
|
OPT f=34 TT=837.547 T1=380.01
|
OPT f=34 TT=21.923 T1=21.92
|
normalized-PB06/OPT-SMALLINT/ submitted-PB06/manquiho/ bounded_golomb_rulers/normalized-bogr_9.opb
|
OPT f=44 TT=92.672 T1=26.45
|
OPT f=44 TT=476.301 T1=261.16
|
OPT f=44 TT=525.113 T1=202.86
|
SAT (TO) f=44 TT=1800.29 T1=1616.98
|
OPT f=44 TT=92.672 T1=26.45
|
SAT (TO) f=44 TT=1800.32 T1=586.48
|
OPT f=44 TT=353.099 T1=99.99
|
SAT (TO) f=48 TT=1800.45 T1=1787.64
|
SAT (TO) f=69 TT=1800.35 T1=508.57
|
OPT f=44 TT=622.401 T1=622.53
|
normalized-PB06/OPT-SMALLINT/ submitted-PB06/manquiho/ golomb-rulers/normalized-OGR_10.opb
|
OPT f=55 TT=1375.97 T1=620.15
|
SAT f=58 TT=1798.03 T1=1383.88
|
SAT f=60 TT=1798.02 T1=1063.53
|
SAT f=61 TT=1798.03 T1=1058.6
|
OPT f=55 TT=1375.97 T1=620.15
|
SAT (TO) f=64 TT=1800.32 T1=18.86
|
SAT (TO) f=59 TT=1800.49 T1=495.74
|
SAT (TO) f=80 TT=1800.32 T1=1107.94
|
SAT (TO) f=87 TT=1800.24 T1=1261.51
|
? (TO)
TT=1800.07
|
normalized-PB06/OPT-SMALLINT/ submitted-PB06/manquiho/ golomb-rulers/normalized-OGR_11.opb
|
SAT f=77 TT=1798.03 T1=253.17
|
SAT f=77 TT=1798.04 T1=1771.58
|
SAT f=77 TT=1798.03 T1=578.82
|
SAT f=78 TT=1798.02 T1=1784.31
|
SAT (TO) f=78 TT=1800.05 T1=1684.85
|
SAT (TO) f=89 TT=1800.29 T1=1097.85
|
SAT (TO) f=77 TT=1800.33 T1=253.17
|
?
TT=1798.59
|
? (TO)
TT=1800.25
|
? (TO)
TT=1800.11
|
normalized-PB06/OPT-SMALLINT/ submitted-PB06/manquiho/ golomb-rulers/normalized-OGR_12.opb
|
SAT f=101 TT=1800.14 T1=492.77
|
SAT f=102 TT=1798.04 T1=357.4
|
SAT f=102 TT=1798.04 T1=197.03
|
SAT f=109 TT=1798.04 T1=840
|
SAT (TO) f=101 TT=1800.14 T1=492.77
|
SAT (TO) f=122 TT=1800.52 T1=1654.46
|
SAT (TO) f=101 TT=1800.41 T1=1329.3
|
?
TT=1797.9
|
? (TO)
TT=1800.18
|
? (TO)
TT=1800.14
|
normalized-PB06/OPT-SMALLINT/ submitted-PB06/manquiho/ golomb-rulers/normalized-OGR_13.opb
|
SAT f=121 TT=1798.05 T1=1245.14
|
SAT f=129 TT=1798.07 T1=965.72
|
SAT f=121 TT=1798.05 T1=1245.14
|
SAT f=134 TT=1798.04 T1=1197.67
|
SAT (TO) f=126 TT=1800.1 T1=620.33
|
SAT (TO) f=153 TT=1800.44 T1=1196.98
|
SAT (TO) f=129 TT=1800.58 T1=1366.23
|
?
TT=1796.98
|
? (TO)
TT=1800.34
|
? (TO)
TT=1800.11
|
normalized-PB06/OPT-SMALLINT/ submitted-PB06/manquiho/ golomb-rulers/normalized-OGR_14.opb
|
SAT f=154 TT=1798.04 T1=203.26
|
SAT f=160 TT=1798.05 T1=418.58
|
SAT f=154 TT=1798.04 T1=203.26
|
SAT f=159 TT=1798.09 T1=580.69
|
SAT (TO) f=159 TT=1800.13 T1=938.55
|
? (TO)
TT=1800.36
|
SAT (TO) f=164 TT=1800.46 T1=1353.13
|
?
TT=1796.56
|
? (TO)
TT=1800.23
|
? (TO)
TT=1800.09
|
normalized-PB06/OPT-SMALLINT/ submitted-PB06/manquiho/ golomb-rulers/normalized-OGR_15.opb
|
SAT f=202 TT=1800.06 T1=1357.85
|
SAT f=192 TT=1798.06 T1=440.68
|
SAT f=204 TT=1798.06 T1=984.77
|
SAT f=204 TT=1798.07 T1=260.78
|
SAT (TO) f=202 TT=1800.06 T1=1357.85
|
SAT (TO) f=224 TT=1800.54 T1=369.77
|
SAT (TO) f=207 TT=1800.38 T1=1782.59
|
?
TT=1794.94
|
?
TT=1799.6
|
? (TO)
TT=1800.1
|
normalized-PB06/OPT-SMALLINT/ submitted-PB06/manquiho/ golomb-rulers/normalized-OGR_16.opb
|
SAT f=240 TT=1798.05 T1=1433.38
|
SAT f=228 TT=1798.06 T1=483.75
|
SAT f=240 TT=1798.05 T1=1433.38
|
SAT f=253 TT=1798.06 T1=905.62
|
SAT (TO) f=336 TT=1800.14 T1=244.39
|
? (TO)
TT=1800.27
|
? (TO)
TT=1800.32
|
?
TT=1795.8
|
?
TT=1799.43
|
? (TO)
TT=1800.12
|
Bench name | Best results | bsolo 3.1 (complete) | bsolo 3.1 cl (complete) | bsolo 3.1 pb (complete) | pbclasp 2009-04-24 (complete) | SAT4J Pseudo CP 2.1.1 (complete) | SAT4J Pseudo Resolution 2.1.1 (complete) | SCIPclp SCIP 1.1.0.7 with CLP 1.8.2 (complete) | SCIPspx SCIP 1.1.0.7 with SoPLEX 1.4.1(24.4.2009) (complete) | wbo 1.0 (complete) |
normalized-PB06/OPT-SMALLINT/ submitted-PB06/manquiho/ golomb-rulers/normalized-OGR_17.opb
|
SAT f=264 TT=1798.06 T1=774.77
|
SAT f=266 TT=1798.05 T1=1694.3
|
SAT f=275 TT=1798.05 T1=1608.28
|
SAT f=264 TT=1798.06 T1=774.77
|
? (TO)
TT=1800.06
|
? (TO)
TT=1800.26
|
SAT (TO) f=284 TT=1800.48 T1=1172.01
|
?
TT=1795.63
|
?
TT=1798.54
|
? (TO)
TT=1800.11
|
normalized-PB06/OPT-SMALLINT/ submitted-PB06/manquiho/ golomb-rulers/normalized-OGR_18.opb
|
SAT f=319 TT=1798.06 T1=1540.36
|
?
TT=1798.1
|
SAT f=319 TT=1798.06 T1=1540.36
|
?
TT=1798.08
|
? (TO)
TT=1800.13
|
? (TO)
TT=1800.3
|
? (TO)
TT=1800.26
|
?
TT=1797.49
|
?
TT=1797.98
|
? (TO)
TT=1800.16
|
normalized-PB06/OPT-SMALLINT/ submitted-PB06/manquiho/ golomb-rulers/normalized-OGR_19.opb
|
|
SAT f=352 TT=1798.06 T1=432.81
|
?
TT=1798.05
|
?
TT=1798.03
|
? (TO)
TT=1800.07
|
? (TO)
TT=1800.29
|
? (TO)
TT=1800.29
|
?
TT=1796.85
|
?
TT=1798.06
|
? (TO)
TT=1800.13
|
normalized-PB06/OPT-SMALLINT/ submitted-PB06/manquiho/ golomb-rulers/normalized-OGR_20.opb
|
|
?
TT=1798.05
|
?
TT=1798.04
|
?
TT=1798.13
|
? (TO)
TT=1800.07
|
? (TO)
TT=1800.33
|
? (TO)
TT=1800.23
|
?
TT=1796.88
|
?
TT=1798.3
|
? (TO)
TT=1800.15
|
normalized-PB06/OPT-SMALLINT/ submitted-PB06/manquiho/ golomb-rulers/normalized-OGR_4.opb
|
OPT f=6 TT=0.005 T1=0
|
OPT f=6 TT=0.006 T1=0
|
OPT f=6 TT=0.005 T1=0
|
OPT f=6 TT=0.007 T1=0
|
OPT f=6 TT=0.018 T1=0.02
|
OPT f=6 TT=0.507 T1=0.36
|
OPT f=6 TT=0.473 T1=0.35
|
OPT f=6 TT=0.272 T1=0.26
|
OPT f=6 TT=0.364 T1=0.35
|
OPT f=6 TT=0.005 T1=0
|
normalized-PB06/OPT-SMALLINT/ submitted-PB06/manquiho/ golomb-rulers/normalized-OGR_5.opb
|
OPT f=11 TT=0.018 T1=0.01
|
OPT f=11 TT=0.018 T1=0.01
|
OPT f=11 TT=0.018 T1=0.01
|
OPT f=11 TT=0.022 T1=0.02
|
OPT f=11 TT=0.022 T1=0.01
|
OPT f=11 TT=1.279 T1=0.73
|
OPT f=11 TT=0.851 T1=0.55
|
OPT f=11 TT=1.058 T1=0.89
|
OPT f=11 TT=1.243 T1=1.15
|
OPT f=11 TT=0.024 T1=0.02
|
normalized-PB06/OPT-SMALLINT/ submitted-PB06/manquiho/ golomb-rulers/normalized-OGR_6.opb
|
OPT f=17 TT=0.067 T1=0.03
|
OPT f=17 TT=0.112 T1=0.03
|
OPT f=17 TT=0.104 T1=0.03
|
OPT f=17 TT=0.154 T1=0.05
|
OPT f=17 TT=0.067 T1=0.05
|
OPT f=17 TT=5.481 T1=2.88
|
OPT f=17 TT=1.907 T1=1.15
|
OPT f=17 TT=6.01 T1=3.97
|
OPT f=17 TT=6.73 T1=3.81
|
OPT f=17 TT=0.14 T1=0.13
|
normalized-PB06/OPT-SMALLINT/ submitted-PB06/manquiho/ golomb-rulers/normalized-OGR_7.opb
|
OPT f=25 TT=0.802 T1=0.2
|
OPT f=25 TT=1.206 T1=0.29
|
OPT f=25 TT=1.077 T1=0.26
|
OPT f=25 TT=2.366 T1=0.2
|
OPT f=25 TT=0.802 T1=0.32
|
OPT f=25 TT=16.328 T1=4.85
|
OPT f=25 TT=5.338 T1=1.98
|
OPT f=25 TT=135.615 T1=46.34
|
OPT f=25 TT=69.397 T1=23.93
|
OPT f=25 TT=29.556 T1=29.56
|
normalized-PB06/OPT-SMALLINT/ submitted-PB06/manquiho/ golomb-rulers/normalized-OGR_8.opb
|
OPT f=34 TT=10.373 T1=6.48
|
OPT f=34 TT=22.52 T1=1.81
|
OPT f=34 TT=28.221 T1=7.2
|
OPT f=34 TT=161.324 T1=12.55
|
OPT f=34 TT=10.373 T1=6.48
|
OPT f=34 TT=629.521 T1=45.74
|
OPT f=34 TT=39.933 T1=21.81
|
SAT (TO) f=34 TT=1800.17 T1=1763.83
|
SAT (TO) f=47 TT=1800.18 T1=1771.4
|
OPT f=34 TT=29.16 T1=29.16
|
normalized-PB06/OPT-SMALLINT/ submitted-PB06/manquiho/ golomb-rulers/normalized-OGR_9.opb
|
OPT f=44 TT=96.784 T1=19.56
|
OPT f=44 TT=582.757 T1=141.72
|
OPT f=44 TT=468.408 T1=257.55
|
SAT f=44 TT=1798.03 T1=187.63
|
OPT f=44 TT=96.784 T1=19.56
|
SAT (TO) f=49 TT=1800.4 T1=1006.24
|
OPT f=44 TT=357.266 T1=47.18
|
SAT (TO) f=56 TT=1800.24 T1=1181.03
|
SAT (TO) f=67 TT=1800.28 T1=282.21
|
? (TO)
TT=1800.1
|
Bench name | Best results | bsolo 3.1 (complete) | bsolo 3.1 cl (complete) | bsolo 3.1 pb (complete) | pbclasp 2009-04-24 (complete) | SAT4J Pseudo CP 2.1.1 (complete) | SAT4J Pseudo Resolution 2.1.1 (complete) | SCIPclp SCIP 1.1.0.7 with CLP 1.8.2 (complete) | SCIPspx SCIP 1.1.0.7 with SoPLEX 1.4.1(24.4.2009) (complete) | wbo 1.0 (complete) |
normalized-PB06/OPT-SMALLINT/ submitted-PB06/manquiho/haplotype/ normalized-simp-nonunif-100_100.02.opb
|
OPT f=44 TT=48.523 T1=48.53
|
SAT f=53 TT=1798.12 T1=29.01
|
SAT (TO) f=53 TT=1800.15 T1=29.01
|
SAT (TO) f=53 TT=1800.16 T1=28.99
|
SAT (TO) f=65 TT=1800.02 T1=47.07
|
SAT (TO) f=51 TT=1800.64 T1=1215.75
|
SAT (TO) f=44 TT=1802.37 T1=65.57
|
? (TO)
TT=1802.28
|
? (TO)
TT=1802.3
|
OPT f=44 TT=48.523 T1=48.53
|
normalized-PB06/OPT-SMALLINT/ submitted-PB06/manquiho/haplotype/ normalized-simp-nonunif-100_100.07.opb
|
OPT f=37 TT=41.266 T1=41.27
|
SAT f=55 TT=1798.04 T1=1508.29
|
SAT f=64 TT=1798.07 T1=1396.91
|
SAT f=67 TT=1798.09 T1=942.61
|
SAT (TO) f=58 TT=1800.01 T1=1110.92
|
SAT (TO) f=68 TT=1800.59 T1=1780.91
|
SAT (TO) f=37 TT=1802.53 T1=57.34
|
? (TO)
TT=1802.24
|
? (TO)
TT=1802.25
|
OPT f=37 TT=41.266 T1=41.27
|
normalized-PB06/OPT-SMALLINT/ submitted-PB06/manquiho/haplotype/ normalized-simp-nonunif-100_100.10.opb
|
OPT f=49 TT=87.158 T1=87.18
|
SAT f=74 TT=1798.06 T1=1004.2
|
SAT f=81 TT=1798.06 T1=1143.94
|
SAT f=78 TT=1798.08 T1=1170.22
|
SAT (TO) f=68 TT=1800.09 T1=280.51
|
SAT (TO) f=83 TT=1800.69 T1=1756
|
SAT (TO) f=50 TT=1801.62 T1=150.99
|
? (MO)
TT=33.993
|
? (MO)
TT=33.999
|
OPT f=49 TT=87.158 T1=87.18
|
normalized-PB06/OPT-SMALLINT/ submitted-PB06/manquiho/haplotype/ normalized-simp-nonunif-100_100.11.opb
|
OPT f=38 TT=255.704 T1=237.57
|
SAT f=56 TT=1798.06 T1=1346.16
|
SAT (TO) f=56 TT=1800.1 T1=1751.92
|
SAT f=67 TT=1798.11 T1=1099.84
|
SAT (TO) f=54 TT=1800.07 T1=27.91
|
SAT (TO) f=43 TT=1800.72 T1=77.71
|
SAT (TO) f=38 TT=1801.18 T1=237.57
|
? (TO)
TT=1802.29
|
? (TO)
TT=1802.28
|
OPT f=38 TT=255.704 T1=255.77
|
normalized-PB06/OPT-SMALLINT/ submitted-PB06/manquiho/haplotype/ normalized-simp-nonunif-100_100.12.opb
|
OPT f=41 TT=56.898 T1=56.89
|
SAT f=65 TT=1798.06 T1=402.55
|
SAT f=70 TT=1798.07 T1=1375.47
|
SAT f=75 TT=1798.11 T1=1040.63
|
SAT (TO) f=60 TT=1800.03 T1=58.62
|
SAT (TO) f=46 TT=1800.68 T1=1675.62
|
SAT (TO) f=42 TT=1801.79 T1=82.39
|
? (TO)
TT=1802.27
|
? (TO)
TT=1802.25
|
OPT f=41 TT=56.898 T1=56.89
|
normalized-PB06/OPT-SMALLINT/ submitted-PB06/manquiho/haplotype/ normalized-simp-nonunif-100_100.14.opb
|
OPT f=42 TT=57.128 T1=57.11
|
SAT f=70 TT=1798.06 T1=1301.17
|
SAT f=66 TT=1798.05 T1=1293.98
|
SAT f=68 TT=1798.08 T1=1215.98
|
SAT (TO) f=67 TT=1800.04 T1=384.68
|
SAT (TO) f=64 TT=1800.61 T1=1260.04
|
SAT (TO) f=42 TT=1801.91 T1=1743.67
|
? (TO)
TT=1802.31
|
? (TO)
TT=1802.31
|
OPT f=42 TT=57.128 T1=57.11
|
normalized-PB06/OPT-SMALLINT/ submitted-PB06/manquiho/haplotype/ normalized-simp-unif-100_100.00.opb
|
OPT f=34 TT=686.428 T1=686.53
|
SAT f=39 TT=1798.03 T1=563.14
|
SAT f=39 TT=1798.02 T1=1774.98
|
SAT f=42 TT=1798.04 T1=1104.8
|
SAT (TO) f=40 TT=1800.07 T1=802.79
|
SAT (TO) f=42 TT=1800.45 T1=352.73
|
SAT (TO) f=35 TT=1801.92 T1=232.24
|
?
TT=1799.78
|
? (TO)
TT=1801.34
|
OPT f=34 TT=686.428 T1=686.53
|
normalized-PB06/OPT-SMALLINT/ submitted-PB06/manquiho/haplotype/ normalized-simp-unif-100_100.08.opb
|
OPT f=34 TT=29.267 T1=29.25
|
SAT f=43 TT=1798.04 T1=1468.36
|
SAT f=44 TT=1798.03 T1=969.03
|
SAT f=48 TT=1798.05 T1=717.49
|
SAT (TO) f=44 TT=1800.04 T1=23.9
|
SAT (TO) f=40 TT=1800.52 T1=1119.57
|
SAT (TO) f=35 TT=1801.54 T1=659.95
|
? (TO)
TT=1800.56
|
? (TO)
TT=1802.16
|
OPT f=34 TT=29.267 T1=29.25
|
normalized-PB06/OPT-SMALLINT/web/ www.ps.uni-sb.de/~walser/benchmarks/ course-ass/normalized-ss97-2.opb
|
OPT f=939 TT=960.23 T1=960.34
|
SAT (MO) f=7088 TT=1443.93 T1=842.79
|
?
TT=1798.36
|
SAT f=7607 TT=1798.3 T1=1607.2
|
? (TO)
TT=1800.09
|
SAT (TO) f=2913 TT=1800.38 T1=2.79
|
? (TO)
TT=1800.42
|
OPT f=939 TT=18.98 T1=18.83
|
OPT f=939 TT=960.23 T1=960.34
|
? (TO)
TT=1800.2
|
normalized-PB06/OPT-SMALLINT/web/ www.ps.uni-sb.de/~walser/benchmarks/ course-ass/normalized-ss97-4.opb
|
OPT f=813 TT=0.547 T1=0.52
|
SAT f=3040 TT=1798.17 T1=7.88
|
SAT (TO) f=3042 TT=1800.17 T1=18.33
|
SAT (TO) f=2750 TT=1800.27 T1=913.6
|
SAT (TO) f=2244 TT=1800.11 T1=1353.26
|
SAT (TO) f=817 TT=1800.38 T1=749.41
|
SAT (TO) f=837 TT=1800.67 T1=1.84
|
OPT f=813 TT=0.637 T1=0.61
|
OPT f=813 TT=0.547 T1=0.52
|
? (TO)
TT=1800.18
|
Bench name | Best results | bsolo 3.1 (complete) | bsolo 3.1 cl (complete) | bsolo 3.1 pb (complete) | pbclasp 2009-04-24 (complete) | SAT4J Pseudo CP 2.1.1 (complete) | SAT4J Pseudo Resolution 2.1.1 (complete) | SCIPclp SCIP 1.1.0.7 with CLP 1.8.2 (complete) | SCIPspx SCIP 1.1.0.7 with SoPLEX 1.4.1(24.4.2009) (complete) | wbo 1.0 (complete) |
normalized-PB06/OPT-SMALLINT/web/ www.ps.uni-sb.de/~walser/benchmarks/ course-ass/normalized-ss97-6.opb
|
OPT f=304 TT=0.051 T1=0.04
|
OPT f=304 TT=0.288 T1=0.1
|
SAT f=304 TT=1798 T1=0.08
|
OPT f=304 TT=0.213 T1=0.2
|
SAT (TO) f=304 TT=1800.03 T1=27.24
|
OPT f=304 TT=1.399 T1=0.6
|
SAT (TO) f=304 TT=1801.14 T1=81.63
|
OPT f=304 TT=0.055 T1=0.04
|
OPT f=304 TT=0.051 T1=0.04
|
? (TO)
TT=1800.2
|
normalized-PB06/OPT-SMALLINT/web/ www.ps.uni-sb.de/~walser/benchmarks/ course-ass/normalized-ws97-5.opb
|
OPT f=2642 TT=0.13 T1=0.11
|
SAT f=4248 TT=1798.12 T1=2.91
|
SAT f=4248 TT=1798.1 T1=1.33
|
SAT (TO) f=2850 TT=1800.5 T1=817.16
|
SAT (TO) f=4855 TT=1800.05 T1=0.23
|
OPT f=2642 TT=32.055 T1=24.55
|
SAT (TO) f=2653 TT=1800.67 T1=0.55
|
OPT f=2642 TT=0.137 T1=0.12
|
OPT f=2642 TT=0.13 T1=0.11
|
? (TO)
TT=1800.26
|
normalized-PB06/OPT-SMALLINT/web/ www.ps.uni-sb.de/~walser/benchmarks/ radar/normalized-10:10:4.5:0.5:100.opb
|
OPT f=3 TT=0.522 T1=0.52
|
OPT f=3 TT=0.524 T1=0.52
|
OPT f=3 TT=0.522 T1=0.52
|
OPT f=3 TT=0.522 T1=0.52
|
SAT (TO) f=9 TT=1800.08 T1=24.03
|
SAT (TO) f=9 TT=1800.21 T1=1.18
|
SAT (TO) f=12 TT=1801.3 T1=0.42
|
OPT f=3 TT=0.368 T1=0.35
|
OPT f=3 TT=0.801 T1=0.78
|
? (TO)
TT=1800.29
|
normalized-PB06/OPT-SMALLINT/web/ www.ps.uni-sb.de/~walser/benchmarks/ radar/normalized-10:10:4.5:0.95:100.opb
|
OPT f=0 TT=1.267 T1=1.23
|
OPT f=0 TT=1.269 T1=1.25
|
OPT f=0 TT=1.416 T1=1.95
|
OPT f=0 TT=1.267 T1=1.23
|
SAT (TO) f=8 TT=1800.05 T1=371.39
|
SAT (TO) f=3 TT=1800.21 T1=0.97
|
SAT (TO) f=5 TT=1800.86 T1=0.47
|
OPT f=0 TT=1.265 T1=1.24
|
OPT f=0 TT=1.295 T1=1.27
|
? (TO)
TT=1800.3
|
normalized-PB06/OPT-SMALLINT/web/ www.ps.uni-sb.de/~walser/benchmarks/ radar/normalized-10:10:4.5:0.95:98.opb
|
OPT f=1 TT=0.276 T1=0.27
|
OPT f=1 TT=0.279 T1=0.27
|
OPT f=1 TT=0.276 T1=0.27
|
OPT f=1 TT=0.278 T1=0.29
|
SAT (TO) f=11 TT=1800.12 T1=1346.58
|
SAT (TO) f=6 TT=1800.13 T1=1.06
|
SAT (TO) f=8 TT=1801.14 T1=0.43
|
OPT f=1 TT=0.973 T1=0.96
|
OPT f=1 TT=1.075 T1=1.08
|
? (TO)
TT=1800.23
|
normalized-PB06/OPT-SMALLINT/web/ www.ps.uni-sb.de/~walser/benchmarks/ radar/normalized-10:20:4.5:0.5:100.opb
|
OPT f=0 TT=6.693 T1=6.66
|
OPT f=0 TT=14.978 T1=14.92
|
OPT f=0 TT=14.99 T1=14.93
|
OPT f=0 TT=15.034 T1=14.97
|
SAT (TO) f=26 TT=1800.05 T1=8.73
|
SAT (TO) f=9 TT=1800.26 T1=2.37
|
SAT (TO) f=19 TT=1800.75 T1=0.56
|
OPT f=0 TT=3.714 T1=3.68
|
OPT f=0 TT=6.693 T1=6.66
|
? (TO)
TT=1800.22
|
normalized-PB06/OPT-SMALLINT/web/ www.ps.uni-sb.de/~walser/benchmarks/ radar/normalized-10:20:4.5:0.95:100.opb
|
OPT f=1 TT=2.632 T1=2.64
|
OPT f=1 TT=26.106 T1=25.99
|
OPT f=1 TT=27.846 T1=27.72
|
OPT f=1 TT=26.203 T1=26.08
|
SAT (TO) f=37 TT=1800.06 T1=245.19
|
SAT (TO) f=10 TT=1800.23 T1=1.69
|
SAT (TO) f=17 TT=1800.85 T1=0.6
|
OPT f=1 TT=5.27 T1=5.24
|
OPT f=1 TT=2.632 T1=2.64
|
? (TO)
TT=1800.25
|
normalized-PB06/OPT-SMALLINT/web/ www.ps.uni-sb.de/~walser/benchmarks/ radar/normalized-10:20:4.5:0.95:98.opb
|
OPT f=2 TT=4.813 T1=4.78
|
OPT f=2 TT=11.589 T1=11.58
|
OPT f=2 TT=10.852 T1=10.93
|
OPT f=2 TT=11.573 T1=11.57
|
SAT (TO) f=43 TT=1800.11 T1=445.55
|
SAT (TO) f=16 TT=1800.28 T1=6.11
|
SAT (TO) f=25 TT=1800.67 T1=0.62
|
OPT f=2 TT=4.39 T1=4.35
|
OPT f=2 TT=4.813 T1=4.78
|
? (TO)
TT=1800.22
|
normalized-PB06/OPT-SMALLINT/web/ www.ps.uni-sb.de/~walser/benchmarks/ radar/normalized-30:30:4.5:0.5:100.opb
|
OPT f=5 TT=1021.95 T1=1024.76
|
SAT f=120 TT=1798.1 T1=1774.26
|
SAT f=120 TT=1798.07 T1=1768.4
|
SAT f=121 TT=1798.05 T1=1750.29
|
SAT (TO) f=177 TT=1800.07 T1=0.75
|
SAT (TO) f=45 TT=1800.36 T1=68.01
|
SAT (TO) f=51 TT=1800.7 T1=1.26
|
OPT f=5 TT=225.425 T1=225.39
|
OPT f=5 TT=1021.95 T1=1024.76
|
? (TO)
TT=1800.3
|
normalized-PB06/OPT-SMALLINT/web/ www.ps.uni-sb.de/~walser/benchmarks/ radar/normalized-30:30:4.5:0.95:100.opb
|
SAT f=4 TT=1794.39 T1=865.29
|
SAT (MO) f=253 TT=1352.85 T1=0.79
|
SAT (MO) f=253 TT=1077.82 T1=0.47
|
SAT f=253 TT=1798.19 T1=731.57
|
SAT (TO) f=215 TT=1800.01 T1=0.73
|
SAT (TO) f=54 TT=1800.29 T1=295.95
|
SAT (TO) f=69 TT=1800.7 T1=1.3
|
OPT f=2 TT=249.979 T1=250.62
|
SAT f=4 TT=1794.39 T1=865.29
|
? (TO)
TT=1800.29
|
Bench name | Best results | bsolo 3.1 (complete) | bsolo 3.1 cl (complete) | bsolo 3.1 pb (complete) | pbclasp 2009-04-24 (complete) | SAT4J Pseudo CP 2.1.1 (complete) | SAT4J Pseudo Resolution 2.1.1 (complete) | SCIPclp SCIP 1.1.0.7 with CLP 1.8.2 (complete) | SCIPspx SCIP 1.1.0.7 with SoPLEX 1.4.1(24.4.2009) (complete) | wbo 1.0 (complete) |
normalized-PB06/OPT-SMALLINT/web/ www.ps.uni-sb.de/~walser/benchmarks/ radar/normalized-30:30:4.5:0.95:98.opb
|
OPT f=4 TT=751.129 T1=751.2
|
SAT f=275 TT=1798.22 T1=1348.82
|
SAT f=283 TT=1798.26 T1=318.38
|
SAT f=263 TT=1798.26 T1=0.53
|
SAT (TO) f=248 TT=1800.06 T1=0.7
|
SAT (TO) f=80 TT=1800.35 T1=145.8
|
SAT (TO) f=88 TT=1800.66 T1=1.3
|
OPT f=4 TT=220.141 T1=220.14
|
OPT f=4 TT=751.129 T1=751.2
|
? (TO)
TT=1800.32
|
normalized-PB06/OPT-SMALLINT/web/ www.ps.uni-sb.de/~walser/benchmarks/ radar/normalized-30:70:4.5:0.5:100.opb
|
SAT f=44 TT=1793.93 T1=433.55
|
SAT (MO) f=612 TT=1237.69 T1=383.99
|
SAT (MO) f=615 TT=385.422 T1=2.28
|
SAT f=621 TT=1798.9 T1=12.39
|
SAT (TO) f=469 TT=1800.03 T1=3.54
|
SAT (TO) f=130 TT=1800.53 T1=1332.96
|
SAT (TO) f=146 TT=1800.75 T1=2.1
|
SAT f=887 TT=1798.02 T1=1071.09
|
SAT f=44 TT=1793.93 T1=433.55
|
? (MO)
TT=1512.09
|
normalized-PB06/OPT-SMALLINT/web/ www.ps.uni-sb.de/~walser/benchmarks/ radar/normalized-30:70:4.5:0.95:100.opb
|
SAT f=37 TT=1794.35 T1=513.16
|
SAT (MO) f=643 TT=1090.95 T1=8.45
|
SAT (MO) f=643 TT=357.555 T1=5.17
|
SAT f=644 TT=1798.64 T1=1.65
|
SAT (TO) f=456 TT=1800.07 T1=2.87
|
SAT (TO) f=127 TT=1800.51 T1=141.26
|
SAT (TO) f=135 TT=1800.78 T1=2.18
|
OPT f=3 TT=973.023 T1=973.16
|
SAT f=37 TT=1794.35 T1=513.16
|
? (TO)
TT=1800.33
|
normalized-PB06/OPT-SMALLINT/web/ www.ps.uni-sb.de/~walser/benchmarks/ radar/normalized-30:70:4.5:0.95:98.opb
|
SAT f=75 TT=1795.73 T1=385.25
|
SAT (MO) f=729 TT=1085.39 T1=7.78
|
SAT (MO) f=729 TT=365.21 T1=4.01
|
SAT f=747 TT=1798.48 T1=0.95
|
SAT (TO) f=556 TT=1800.07 T1=2.95
|
SAT (TO) f=203 TT=1800.43 T1=1.97
|
SAT (TO) f=203 TT=1800.75 T1=2.45
|
SAT f=887 TT=1794.93 T1=931.03
|
SAT f=75 TT=1795.73 T1=385.25
|
? (MO)
TT=1010.46
|
|
Statistics | bsolo 3.1 (complete) | bsolo 3.1 cl (complete) | bsolo 3.1 pb (complete) | pbclasp 2009-04-24 (complete) | SAT4J Pseudo CP 2.1.1 (complete) | SAT4J Pseudo Resolution 2.1.1 (complete) | SCIPclp SCIP 1.1.0.7 with CLP 1.8.2 (complete) | SCIPspx SCIP 1.1.0.7 with SoPLEX 1.4.1(24.4.2009) (complete) | wbo 1.0 (complete) |
Number of times the solver is able to give the best known answer | 0 | 159 | 133 | 129 | 107 | 116 | 0 | 203 | 55 |
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) | 0 | 77 | 16 | 67 | 6 | 5 | 0 | 89 | 23 |