normalized-PB06/OPT-SMALLINT/ submitted-PB06/manquiho/bounded_golomb_rulers/ normalized-bogr_10.opb |
OPT
f=55 TT=1621.75 T1=501.29
|
? (TO)
TT=1800.17
|
SAT f=60 TT=1800.03 T1=255.9
|
SAT (TO) f=60 TT=1800.11 T1=255.63
|
? (TO)
TT=1800.06
|
SAT (TO) f=61 TT=1800.1 T1=1482.19
|
? (TO)
TT=1800.13
|
? (MO)
TT=46.91
|
OPT f=55 TT=1716.43 T1=501.29
|
No Cert.
TT=1800.04
|
SAT (TO) f=61 TT=1800.05 T1=254.58
|
OPT f=55 TT=1621.75 T1=570.45
|
SAT (TO) f=64 TT=1800.29 T1=1255.59
|
SAT (TO) f=69 TT=1800.4 T1=1103.62
|
SAT (TO) f=58 TT=1800.24 T1=440.31
|
? (TO)
TT=1800.02
|
? (TO)
TT=1800.07
|
normalized-PB06/OPT-SMALLINT/ submitted-PB06/manquiho/bounded_golomb_rulers/ normalized-bogr_11.opb |
SAT
f=74 TT=1782.73 T1=1487.49
|
? (TO)
TT=1800.04
|
SAT f=79 TT=1800.04 T1=517.07
|
SAT (TO) f=79 TT=1800.06 T1=516.99
|
? (TO)
TT=1800.02
|
SAT (TO) f=120 TT=1800.05 T1=1411.93
|
? (TO)
TT=1800.34
|
? (MO)
TT=47.58
|
SAT (TO) f=75 TT=1802.14 T1=1739.1
|
No Cert.
TT=1800.08
|
SAT (TO) f=78 TT=1800.04 T1=941.63
|
SAT f=74 TT=1782.73 T1=1487.49
|
SAT (TO) f=110 TT=1800.27 T1=66.09
|
SAT (TO) f=86 TT=1800.4 T1=22.4
|
SAT (TO) f=77 TT=1800.28 T1=1053.59
|
? (TO)
TT=1800.11
|
? (TO)
TT=1800.03
|
normalized-PB06/OPT-SMALLINT/ submitted-PB06/manquiho/bounded_golomb_rulers/ normalized-bogr_12.opb |
SAT
f=91 TT=1782.74 T1=894.93
|
? (TO)
TT=1800.1
|
SAT f=100 TT=1800.04 T1=290.59
|
SAT (TO) f=100 TT=1800.09 T1=290.77
|
? (TO)
TT=1800.04
|
SAT (TO) f=117 TT=1800.09 T1=1704.28
|
? (TO)
TT=1800.06
|
? (MO)
TT=44.92
|
SAT (TO) f=103 TT=1802.09 T1=1117
|
No Cert.
TT=1800.1
|
SAT (TO) f=104 TT=1800.04 T1=1553.01
|
SAT f=91 TT=1782.74 T1=894.93
|
SAT (TO) f=193 TT=1800.27 T1=7.96
|
SAT (TO) f=190 TT=1800.26 T1=8.07
|
SAT (TO) f=106 TT=1800.26 T1=1796.25
|
? (TO)
TT=1800.08
|
? (TO)
TT=1800.03
|
normalized-PB06/OPT-SMALLINT/ submitted-PB06/manquiho/bounded_golomb_rulers/ normalized-bogr_13.opb |
SAT
f=123 TT=1782.74 T1=251.38
|
? (TO)
TT=1800.12
|
SAT (TO) f=131 TT=1800.04 T1=358.54
|
SAT (TO) f=131 TT=1800.13 T1=369.48
|
? (TO)
TT=1800.07
|
? (TO)
TT=1800.09
|
? (TO)
TT=1800.1
|
? (MO)
TT=46
|
SAT (TO) f=131 TT=1802.09 T1=958.56
|
No Cert.
TT=1800.11
|
SAT (TO) f=142 TT=1800.06 T1=932.05
|
SAT f=123 TT=1782.74 T1=251.38
|
SAT (TO) f=205 TT=1800.43 T1=42.52
|
SAT (TO) f=198 TT=1800.31 T1=115.19
|
SAT (TO) f=132 TT=1800.33 T1=1494.01
|
? (TO)
TT=1800.04
|
? (TO)
TT=1800.14
|
normalized-PB06/OPT-SMALLINT/ submitted-PB06/manquiho/bounded_golomb_rulers/ normalized-bogr_14.opb |
SAT
f=144 TT=1782.74 T1=1725.08
|
? (TO)
TT=1800.13
|
SAT (TO) f=162 TT=1800.05 T1=552.99
|
SAT (TO) f=162 TT=1800.1 T1=552.56
|
? (TO)
TT=1800.04
|
? (TO)
TT=1800.11
|
? (TO)
TT=1800.13
|
? (MO)
TT=42.9
|
SAT (TO) f=197 TT=1802.02 T1=1470.14
|
No Cert.
TT=1800.07
|
SAT (TO) f=210 TT=1800.04 T1=1387.55
|
SAT f=144 TT=1782.74 T1=1725.08
|
? (TO)
TT=1800.26
|
SAT (TO) f=192 TT=1800.26 T1=727.69
|
SAT (TO) f=174 TT=1800.24 T1=1698.92
|
? (TO)
TT=1800.08
|
? (TO)
TT=1800.09
|
normalized-PB06/OPT-SMALLINT/ submitted-PB06/manquiho/bounded_golomb_rulers/ normalized-bogr_15.opb |
SAT
f=179 TT=1782.74 T1=1359.63
|
? (TO)
TT=1800.16
|
SAT (TO) f=191 TT=1800.05 T1=585.27
|
SAT (TO) f=191 TT=1800.09 T1=585.23
|
? (TO)
TT=1800.04
|
? (TO)
TT=1800.07
|
? (TO)
TT=1800.11
|
? (MO)
TT=43.997
|
SAT (TO) f=200 TT=1802.08 T1=1792.9
|
No Cert.
TT=1800.03
|
SAT (TO) f=215 TT=1800.11 T1=905.68
|
SAT f=179 TT=1782.74 T1=1359.63
|
? (TO)
TT=1800.2
|
? (TO)
TT=1800.17
|
SAT (TO) f=196 TT=1800.26 T1=1304.68
|
? (TO)
TT=1800.13
|
? (TO)
TT=1800.13
|
normalized-PB06/OPT-SMALLINT/ submitted-PB06/manquiho/bounded_golomb_rulers/ normalized-bogr_16.opb |
SAT
f=222 TT=1782.74 T1=1675.46
|
? (TO)
TT=1800.11
|
SAT f=237 TT=1800.05 T1=1404.15
|
SAT (TO) f=237 TT=1800.06 T1=1404.72
|
? (TO)
TT=1800.04
|
? (TO)
TT=1800.07
|
? (TO)
TT=1800.18
|
? (MO)
TT=45.234
|
SAT (TO) f=245 TT=1801.97 T1=1754.03
|
? (TO)
TT=1800.1
|
? (TO)
TT=1800.03
|
SAT f=222 TT=1782.74 T1=1675.46
|
? (TO)
TT=1800.29
|
? (TO)
TT=1800.14
|
SAT (TO) f=249 TT=1800.37 T1=576.62
|
? (TO)
TT=1800.25
|
? (TO)
TT=1800.17
|
normalized-PB06/OPT-SMALLINT/ submitted-PB06/manquiho/bounded_golomb_rulers/ normalized-bogr_17.opb |
SAT
f=263 TT=1800.11 T1=1171.23
|
? (TO)
TT=1800.18
|
SAT f=263 TT=1800.04 T1=1173.1
|
SAT (TO) f=263 TT=1800.11 T1=1171.23
|
? (TO)
TT=1800.09
|
? (TO)
TT=1800.17
|
? (TO)
TT=1800.03
|
? (MO)
TT=44.98
|
SAT (TO) f=286 TT=1802.06 T1=443.51
|
? (TO)
TT=1800.06
|
? (TO)
TT=1800.09
|
SAT f=264 TT=1782.74 T1=1268.8
|
? (TO)
TT=1800.23
|
? (TO)
TT=1800.2
|
? (TO)
TT=1800.23
|
? (TO)
TT=1800.12
|
? (TO)
TT=1800.15
|
normalized-PB06/OPT-SMALLINT/ submitted-PB06/manquiho/bounded_golomb_rulers/ normalized-bogr_18.opb |
SAT
f=311 TT=1782.74 T1=1620.07
|
? (TO)
TT=1800.2
|
SAT (TO) f=322 TT=1800.04 T1=515.94
|
SAT (TO) f=322 TT=1800.08 T1=515.05
|
? (TO)
TT=1800.04
|
? (TO)
TT=1800.16
|
? (TO)
TT=1800.19
|
? (MO)
TT=49.74
|
? (TO)
TT=1802.01
|
? (TO)
TT=1800.05
|
? (TO)
TT=1800.08
|
SAT f=311 TT=1782.74 T1=1620.07
|
? (TO)
TT=1800.21
|
? (TO)
TT=1800.17
|
? (TO)
TT=1800.14
|
? (TO)
TT=1800.42
|
? (TO)
TT=1800.16
|
normalized-PB06/OPT-SMALLINT/ submitted-PB06/manquiho/bounded_golomb_rulers/ normalized-bogr_19.opb |
|
? (TO)
TT=1800.26
|
? (TO)
TT=1800.04
|
? (TO)
TT=1800.1
|
? (TO)
TT=1800.05
|
? (TO)
TT=1800.15
|
? (TO)
TT=1800.1
|
? (MO)
TT=52.105
|
? (TO)
TT=1801.91
|
? (TO)
TT=1800.07
|
? (TO)
TT=1800.11
|
? (TO)
TT=1800.07
|
? (TO)
TT=1800.21
|
? (TO)
TT=1800.2
|
? (TO)
TT=1800.17
|
? (TO)
TT=1800.29
|
? (TO)
TT=1800.25
|
Bench name | Best results on this instance | absconPseudo 102 | bsolo 3.0.16 | bsolo 3.0.17 | glpPB 0.2 | minisat+ 1.14 | oree 0.1.2 alpha | PB-clasp 2007-03-23 | PB-clasp 2007-04-10 | PBS4 2007-03-23 | PBS4_v2 2007-03-23 | Pueblo 1.4 | sat4jPseudoCP 2007-03-23 | sat4jPseudoCPClause 2007-03-23 | SAT4JPseudoResolution 2007-03-23 | wildcat-rnp 2007-03-21 | wildcat-skc 2007-03-21 |
---|
normalized-PB06/OPT-SMALLINT/ submitted-PB06/manquiho/bounded_golomb_rulers/ normalized-bogr_20.opb |
|
? (TO)
TT=1800.36
|
?
TT=1800.05
|
? (TO)
TT=1800.08
|
? (TO)
TT=1800.04
|
? (TO)
TT=1800.18
|
? (TO)
TT=1800.03
|
? (MO)
TT=54.932
|
? (TO)
TT=1801.9
|
? (TO)
TT=1800.09
|
? (TO)
TT=1800.04
|
? (TO)
TT=1800.03
|
? (TO)
TT=1800.21
|
? (TO)
TT=1800.15
|
? (TO)
TT=1800.18
|
? (TO)
TT=1800.24
|
? (TO)
TT=1800.22
|
normalized-PB06/OPT-SMALLINT/ submitted-PB06/manquiho/ bounded_golomb_rulers/normalized-bogr_4.opb |
OPT
f=6 TT=0.004 T1=0
|
OPT f=6 TT=0.455 T1=0.35
|
OPT f=6 TT=0.006 T1=0
|
OPT f=6 TT=0.006 T1=0
|
OPT f=6 TT=0.025 T1=0.01
|
OPT f=6 TT=0.029 T1=0
|
OPT f=6 TT=0.011 T1=0
|
OPT f=6 TT=2.345 T1=2.07
|
OPT f=6 TT=0.082 T1=0.03
|
OPT f=6 TT=0.004 T1=0
|
OPT f=6 TT=0.004 T1=0
|
OPT f=6 TT=0.007 T1=0
|
OPT f=6 TT=0.381 T1=0.32
|
OPT f=6 TT=0.399 T1=0.22
|
OPT f=6 TT=0.297 T1=0.21
|
SAT (TO) f=6 TT=1800.01 T1=93.17
|
SAT (TO) f=7 TT=1800.03 T1=26.39
|
normalized-PB06/OPT-SMALLINT/ submitted-PB06/manquiho/ bounded_golomb_rulers/normalized-bogr_5.opb |
OPT
f=11 TT=0.008 T1=0
|
OPT f=11 TT=0.501 T1=0.35
|
OPT f=11 TT=0.033 T1=0
|
OPT f=11 TT=0.032 T1=0
|
OPT f=11 TT=1.547 T1=1.49
|
OPT f=11 TT=0.128 T1=0.09
|
OPT f=11 TT=1.998 T1=1.89
|
OPT f=11 TT=321.802 T1=237.76
|
OPT f=11 TT=0.148 T1=0.06
|
OPT f=11 TT=0.008 T1=0
|
OPT f=11 TT=0.009 T1=0
|
OPT f=11 TT=0.012 T1=0
|
OPT f=11 TT=1.3 T1=1.02
|
OPT f=11 TT=1.107 T1=0.79
|
OPT f=11 TT=0.655 T1=0.45
|
SAT (TO) f=11 TT=1800.02 T1=699.5
|
SAT (TO) f=11 TT=1800.04 T1=96.96
|
normalized-PB06/OPT-SMALLINT/ submitted-PB06/manquiho/ bounded_golomb_rulers/normalized-bogr_6.opb |
OPT
f=17 TT=0.054 T1=0
|
OPT f=17 TT=0.897 T1=0.81
|
OPT f=17 TT=0.075 T1=0.04
|
OPT f=17 TT=0.074 T1=0
|
OPT f=17 TT=35.81 T1=35.78
|
OPT f=17 TT=1.082 T1=0.89
|
? (TO)
TT=1800.05
|
? (MO)
TT=42.2
|
OPT f=17 TT=0.337 T1=0.19
|
OPT f=17 TT=0.055 T1=0
|
OPT f=17 TT=0.054 T1=0.01
|
OPT f=17 TT=0.089 T1=0
|
OPT f=17 TT=5.451 T1=4.02
|
OPT f=17 TT=3.798 T1=2.87
|
OPT f=17 TT=1.15 T1=1.1
|
SAT (TO) f=25 TT=1800.07 T1=96.06
|
SAT (TO) f=17 TT=1800.04 T1=674.92
|
normalized-PB06/OPT-SMALLINT/ submitted-PB06/manquiho/ bounded_golomb_rulers/normalized-bogr_7.opb |
OPT
f=25 TT=0.796 T1=0.19
|
OPT f=25 TT=13.822 T1=13.71
|
OPT f=25 TT=0.957 T1=0.19
|
OPT f=25 TT=0.953 T1=0.19
|
OPT f=25 TT=1632.34 T1=1632.31
|
OPT f=25 TT=11.631 T1=4.39
|
? (TO)
TT=1800.16
|
? (MO)
TT=50.09
|
OPT f=25 TT=1.504 T1=0.52
|
OPT f=25 TT=0.796 T1=0.29
|
OPT f=25 TT=0.797 T1=0.29
|
OPT f=25 TT=1.183 T1=0.19
|
OPT f=25 TT=30.267 T1=16.29
|
OPT f=25 TT=22.749 T1=10.65
|
OPT f=25 TT=3.571 T1=3.05
|
SAT (TO) f=39 TT=1800.07 T1=276.91
|
SAT (TO) f=33 TT=1800.02 T1=1457.7
|
normalized-PB06/OPT-SMALLINT/ submitted-PB06/manquiho/ bounded_golomb_rulers/normalized-bogr_8.opb |
OPT
f=34 TT=12.173 T1=2.14
|
OPT f=34 TT=533.547 T1=533.49
|
OPT f=34 TT=29.817 T1=8.79
|
OPT f=34 TT=29.86 T1=8.79
|
? (TO)
TT=1800.04
|
OPT f=34 TT=75.128 T1=9.29
|
? (TO)
TT=1800.06
|
? (MO)
TT=43.96
|
OPT f=34 TT=12.173 T1=2.14
|
OPT f=34 TT=13.786 T1=9.69
|
OPT f=34 TT=13.778 T1=9.69
|
OPT f=34 TT=15.212 T1=2.29
|
OPT f=34 TT=670.813 T1=103.87
|
OPT f=34 TT=677.034 T1=83.61
|
OPT f=34 TT=25.352 T1=17.03
|
SAT (TO) f=67 TT=1800.09 T1=822.56
|
SAT (TO) f=79 TT=1800.09 T1=1340.1
|
normalized-PB06/OPT-SMALLINT/ submitted-PB06/manquiho/ bounded_golomb_rulers/normalized-bogr_9.opb |
OPT
f=44 TT=177.361 T1=34.77
|
? (TO)
TT=1800.09
|
OPT f=44 TT=650.662 T1=34.74
|
OPT f=44 TT=651.785 T1=34.77
|
? (TO)
TT=1800.1
|
SAT (TO) f=44 TT=1800.09 T1=1043.63
|
? (TO)
TT=1800.09
|
? (MO)
TT=47.84
|
OPT f=44 TT=177.361 T1=87.75
|
OPT f=44 TT=201.152 T1=149.74
|
OPT f=44 TT=198.681 T1=148.14
|
OPT f=44 TT=242.235 T1=50.18
|
SAT (TO) f=89 TT=1800.22 T1=26.42
|
SAT (TO) f=48 TT=1800.13 T1=414.84
|
OPT f=44 TT=184.461 T1=44.71
|
? (TO)
TT=1800.1
|
? (TO)
TT=1800.09
|
normalized-PB06/OPT-SMALLINT/ submitted-PB06/manquiho/ golomb-rulers/normalized-OGR_10.opb |
OPT
f=55 TT=1207.13 T1=337.46
|
? (TO)
TT=1800.17
|
SAT f=55 TT=1800.02 T1=1608.33
|
SAT (TO) f=55 TT=1800.05 T1=1609.37
|
? (TO)
TT=1800.01
|
SAT (TO) f=62 TT=1800.1 T1=1424.57
|
? (TO)
TT=1800.13
|
? (MO)
TT=51.05
|
OPT f=55 TT=1207.13 T1=337.46
|
No Cert.
TT=1800.08
|
SAT (TO) f=61 TT=1800.05 T1=1327.17
|
OPT f=55 TT=1494.59 T1=384.94
|
SAT (TO) f=67 TT=1800.27 T1=587.22
|
SAT (TO) f=71 TT=1800.25 T1=1722.53
|
SAT (TO) f=59 TT=1800.2 T1=1070.01
|
? (TO)
TT=1800.08
|
? (TO)
TT=1800.09
|
normalized-PB06/OPT-SMALLINT/ submitted-PB06/manquiho/ golomb-rulers/normalized-OGR_11.opb |
SAT
f=75 TT=1782.74 T1=144.65
|
? (TO)
TT=1800.08
|
SAT f=76 TT=1800.02 T1=946.77
|
SAT (TO) f=76 TT=1800.1 T1=945.81
|
? (TO)
TT=1800.03
|
? (TO)
TT=1800.06
|
? (TO)
TT=1800.33
|
? (MO)
TT=47.64
|
SAT (TO) f=77 TT=1801.99 T1=1451.45
|
No Cert.
TT=1800.07
|
SAT (TO) f=85 TT=1800.09 T1=1720.48
|
SAT f=75 TT=1782.74 T1=144.65
|
SAT (TO) f=96 TT=1800.25 T1=780.23
|
SAT (TO) f=102 TT=1800.21 T1=980.47
|
SAT (TO) f=79 TT=1800.27 T1=1378.1
|
? (TO)
TT=1800.12
|
? (TO)
TT=1800.08
|
normalized-PB06/OPT-SMALLINT/ submitted-PB06/manquiho/ golomb-rulers/normalized-OGR_12.opb |
SAT
f=95 TT=1782.74 T1=515.33
|
? (TO)
TT=1800.17
|
SAT (TO) f=101 TT=1800.04 T1=723.44
|
SAT (TO) f=101 TT=1800.07 T1=723.51
|
? (TO)
TT=1800.03
|
SAT (TO) f=115 TT=1800.04 T1=1504.08
|
? (TO)
TT=1800.07
|
? (MO)
TT=40.01
|
SAT (TO) f=98 TT=1802.08 T1=1393.08
|
No Cert.
TT=1800.1
|
SAT (TO) f=121 TT=1800.08 T1=548.46
|
SAT f=95 TT=1782.74 T1=515.33
|
SAT (TO) f=132 TT=1800.46 T1=1793.39
|
SAT (TO) f=139 TT=1800.28 T1=718.4
|
SAT (TO) f=110 TT=1800.33 T1=1526.17
|
? (TO)
TT=1800.09
|
? (TO)
TT=1800.11
|
Bench name | Best results on this instance | absconPseudo 102 | bsolo 3.0.16 | bsolo 3.0.17 | glpPB 0.2 | minisat+ 1.14 | oree 0.1.2 alpha | PB-clasp 2007-03-23 | PB-clasp 2007-04-10 | PBS4 2007-03-23 | PBS4_v2 2007-03-23 | Pueblo 1.4 | sat4jPseudoCP 2007-03-23 | sat4jPseudoCPClause 2007-03-23 | SAT4JPseudoResolution 2007-03-23 | wildcat-rnp 2007-03-21 | wildcat-skc 2007-03-21 |
---|
normalized-PB06/OPT-SMALLINT/ submitted-PB06/manquiho/ golomb-rulers/normalized-OGR_13.opb |
SAT
f=118 TT=1782.73 T1=1492.96
|
? (TO)
TT=1800.09
|
SAT f=129 TT=1800.06 T1=1519.44
|
SAT (TO) f=129 TT=1800.1 T1=1513.83
|
? (TO)
TT=1800.11
|
? (TO)
TT=1800.11
|
? (TO)
TT=1800.09
|
? (MO)
TT=41.81
|
SAT (TO) f=126 TT=1802.15 T1=473.34
|
No Cert.
TT=1800.05
|
SAT (TO) f=139 TT=1800.04 T1=1407.42
|
SAT f=118 TT=1782.73 T1=1492.96
|
SAT (TO) f=139 TT=1800.33 T1=1759.83
|
SAT (TO) f=152 TT=1800.26 T1=1703.42
|
SAT (TO) f=132 TT=1800.21 T1=1697.06
|
? (TO)
TT=1800.07
|
? (TO)
TT=1800.08
|
normalized-PB06/OPT-SMALLINT/ submitted-PB06/manquiho/ golomb-rulers/normalized-OGR_14.opb |
SAT
f=153 TT=1782.74 T1=119.66
|
? (TO)
TT=1800.12
|
SAT f=157 TT=1800.04 T1=1277.74
|
SAT (TO) f=157 TT=1800.09 T1=1275.72
|
? (TO)
TT=1800.07
|
? (TO)
TT=1800.06
|
? (TO)
TT=1800.16
|
? (MO)
TT=42.33
|
SAT (TO) f=159 TT=1802.07 T1=1432.46
|
No Cert.
TT=1800.03
|
SAT (TO) f=183 TT=1800.1 T1=1730.49
|
SAT f=153 TT=1782.74 T1=119.66
|
? (TO)
TT=1800.24
|
? (TO)
TT=1800.16
|
SAT (TO) f=164 TT=1800.29 T1=1738.82
|
? (TO)
TT=1800.14
|
? (TO)
TT=1800.13
|
normalized-PB06/OPT-SMALLINT/ submitted-PB06/manquiho/ golomb-rulers/normalized-OGR_15.opb |
SAT
f=176 TT=1782.74 T1=1405.34
|
? (TO)
TT=1800.14
|
SAT f=195 TT=1800.05 T1=738.31
|
SAT (TO) f=195 TT=1800.05 T1=738.29
|
? (TO)
TT=1800.09
|
? (TO)
TT=1800.13
|
? (TO)
TT=1800.3
|
? (MO)
TT=41.8
|
SAT (TO) f=197 TT=1802.07 T1=1711.33
|
? (TO)
TT=1800.11
|
? (TO)
TT=1800.07
|
SAT f=176 TT=1782.74 T1=1405.34
|
? (TO)
TT=1800.15
|
SAT (TO) f=221 TT=1800.33 T1=181.26
|
SAT (TO) f=237 TT=1800.32 T1=1732.56
|
? (TO)
TT=1800.09
|
? (TO)
TT=1800.17
|
normalized-PB06/OPT-SMALLINT/ submitted-PB06/manquiho/ golomb-rulers/normalized-OGR_16.opb |
SAT
f=223 TT=1782.74 T1=534.35
|
? (TO)
TT=1800.2
|
SAT (TO) f=223 TT=1800.06 T1=533.09
|
SAT (TO) f=223 TT=1800.15 T1=534.35
|
? (TO)
TT=1800.09
|
SAT (TO) f=255 TT=1800.09 T1=1740.86
|
? (TO)
TT=1800.16
|
? (MO)
TT=45.996
|
SAT (TO) f=247 TT=1802.07 T1=1606.5
|
? (TO)
TT=1800.09
|
? (TO)
TT=1800.05
|
SAT f=223 TT=1782.74 T1=1636.82
|
? (TO)
TT=1800.14
|
? (TO)
TT=1800.19
|
SAT (TO) f=242 TT=1800.27 T1=1708.17
|
? (TO)
TT=1800.15
|
? (TO)
TT=1800.13
|
normalized-PB06/OPT-SMALLINT/ submitted-PB06/manquiho/ golomb-rulers/normalized-OGR_17.opb |
SAT
f=272 TT=1782.77 T1=1640.46
|
? (TO)
TT=1800.22
|
SAT f=281 TT=1800.05 T1=1662.3
|
SAT (TO) f=281 TT=1800.13 T1=1662.7
|
? (TO)
TT=1800.08
|
? (TO)
TT=1800.12
|
? (TO)
TT=1800.08
|
? (MO)
TT=48.475
|
? (TO)
TT=1802.08
|
? (TO)
TT=1800.11
|
? (TO)
TT=1800.05
|
SAT f=272 TT=1782.77 T1=1640.46
|
? (TO)
TT=1800.12
|
SAT (TO) f=287 TT=1800.38 T1=861.18
|
? (TO)
TT=1800.13
|
? (TO)
TT=1800.27
|
? (TO)
TT=1800.2
|
normalized-PB06/OPT-SMALLINT/ submitted-PB06/manquiho/ golomb-rulers/normalized-OGR_18.opb |
|
? (TO)
TT=1800.25
|
?
TT=1800.05
|
? (TO)
TT=1800.06
|
? (TO)
TT=1800.1
|
? (TO)
TT=1800.18
|
? (TO)
TT=1800.14
|
? (MO)
TT=50.085
|
? (TO)
TT=1801.93
|
? (TO)
TT=1800.11
|
? (TO)
TT=1800.05
|
? (TO)
TT=1800.09
|
? (TO)
TT=1800.26
|
? (TO)
TT=1800.26
|
? (TO)
TT=1800.16
|
? (TO)
TT=1800.39
|
? (TO)
TT=1800.24
|
normalized-PB06/OPT-SMALLINT/ submitted-PB06/manquiho/ golomb-rulers/normalized-OGR_19.opb |
SAT
f=355 TT=1782.75 T1=891.85
|
? (TO)
TT=1800.25
|
?
TT=1800.05
|
? (TO)
TT=1800.08
|
? (TO)
TT=1800.08
|
? (TO)
TT=1800.19
|
? (TO)
TT=1800.2
|
? (MO)
TT=53.346
|
? (TO)
TT=1801.92
|
? (TO)
TT=1800.11
|
? (TO)
TT=1800.05
|
SAT f=355 TT=1782.75 T1=891.85
|
? (TO)
TT=1800.16
|
? (TO)
TT=1800.2
|
? (TO)
TT=1800.15
|
? (TO)
TT=1800.36
|
? (TO)
TT=1800.26
|
normalized-PB06/OPT-SMALLINT/ submitted-PB06/manquiho/ golomb-rulers/normalized-OGR_20.opb |
|
? (TO)
TT=1800.3
|
?
TT=1800.04
|
? (TO)
TT=1800.06
|
? (TO)
TT=1800.1
|
? (TO)
TT=1800.2
|
? (TO)
TT=1800.09
|
? (MO)
TT=56.444
|
? (TO)
TT=1801.91
|
? (TO)
TT=1800.09
|
? (TO)
TT=1800.03
|
? (TO)
TT=1800.05
|
? (TO)
TT=1800.21
|
? (TO)
TT=1800.16
|
? (TO)
TT=1800.23
|
? (TO)
TT=1800.48
|
? (TO)
TT=1800.2
|
normalized-PB06/OPT-SMALLINT/ submitted-PB06/manquiho/ golomb-rulers/normalized-OGR_4.opb |
OPT
f=6 TT=0.003 T1=0
|
OPT f=6 TT=0.481 T1=0.4
|
OPT f=6 TT=0.008 T1=0
|
OPT f=6 TT=0.01 T1=0
|
OPT f=6 TT=0.025 T1=0
|
OPT f=6 TT=0.03 T1=0
|
OPT f=6 TT=0.028 T1=0
|
OPT f=6 TT=75.083 T1=59.84
|
OPT f=6 TT=0.123 T1=0.07
|
OPT f=6 TT=0.003 T1=0
|
OPT f=6 TT=0.004 T1=0
|
OPT f=6 TT=0.006 T1=0
|
OPT f=6 TT=0.524 T1=0.31
|
OPT f=6 TT=0.468 T1=0.3
|
OPT f=6 TT=0.404 T1=0.31
|
SAT (TO) f=6 TT=1800.11 T1=113.76
|
SAT (TO) f=7 TT=1800.1 T1=18.78
|
normalized-PB06/OPT-SMALLINT/ submitted-PB06/manquiho/ golomb-rulers/normalized-OGR_5.opb |
OPT
f=11 TT=0.014 T1=0
|
OPT f=11 TT=0.544 T1=0.49
|
OPT f=11 TT=0.02 T1=0
|
OPT f=11 TT=0.02 T1=0
|
OPT f=11 TT=0.517 T1=0.49
|
OPT f=11 TT=0.246 T1=0.09
|
OPT f=11 TT=273.415 T1=273.24
|
OPT f=11 TT=653.627 T1=431.11
|
OPT f=11 TT=0.16 T1=0.07
|
OPT f=11 TT=0.014 T1=0
|
OPT f=11 TT=0.014 T1=0
|
OPT f=11 TT=0.015 T1=0
|
OPT f=11 TT=2.536 T1=1.74
|
OPT f=11 TT=2.121 T1=1.33
|
OPT f=11 TT=0.757 T1=0.64
|
SAT (TO) f=11 TT=1800.05 T1=34.68
|
SAT (TO) f=12 TT=1800.1 T1=381.04
|
Bench name | Best results on this instance | absconPseudo 102 | bsolo 3.0.16 | bsolo 3.0.17 | glpPB 0.2 | minisat+ 1.14 | oree 0.1.2 alpha | PB-clasp 2007-03-23 | PB-clasp 2007-04-10 | PBS4 2007-03-23 | PBS4_v2 2007-03-23 | Pueblo 1.4 | sat4jPseudoCP 2007-03-23 | sat4jPseudoCPClause 2007-03-23 | SAT4JPseudoResolution 2007-03-23 | wildcat-rnp 2007-03-21 | wildcat-skc 2007-03-21 |
---|
normalized-PB06/OPT-SMALLINT/ submitted-PB06/manquiho/ golomb-rulers/normalized-OGR_6.opb |
OPT
f=17 TT=0.079 T1=0
|
OPT f=17 TT=1.142 T1=1.02
|
OPT f=17 TT=0.111 T1=0
|
OPT f=17 TT=0.109 T1=0
|
OPT f=17 TT=10.842 T1=10.79
|
OPT f=17 TT=1.822 T1=1.19
|
SAT (TO) f=32 TT=1800.14 T1=0
|
? (MO)
TT=51
|
OPT f=17 TT=0.656 T1=0.49
|
OPT f=17 TT=0.08 T1=0
|
OPT f=17 TT=0.079 T1=0
|
OPT f=17 TT=0.105 T1=0
|
OPT f=17 TT=6.551 T1=5.79
|
OPT f=17 TT=6.187 T1=5.26
|
OPT f=17 TT=1.456 T1=1.42
|
SAT (TO) f=22 TT=1800.04 T1=790.5
|
SAT (TO) f=23 TT=1800.08 T1=617.24
|
normalized-PB06/OPT-SMALLINT/ submitted-PB06/manquiho/ golomb-rulers/normalized-OGR_7.opb |
OPT
f=25 TT=1.051 T1=0
|
OPT f=25 TT=19.749 T1=19.72
|
OPT f=25 TT=1.291 T1=0.19
|
OPT f=25 TT=1.213 T1=0.19
|
OPT f=25 TT=690.619 T1=690.54
|
OPT f=25 TT=17.437 T1=6.69
|
? (TO)
TT=1800.11
|
? (MO)
TT=48.92
|
OPT f=25 TT=1.689 T1=0.28
|
OPT f=25 TT=1.051 T1=0.39
|
OPT f=25 TT=1.054 T1=0.39
|
OPT f=25 TT=1.262 T1=0
|
OPT f=25 TT=30.48 T1=13.99
|
OPT f=25 TT=22.446 T1=9.98
|
OPT f=25 TT=4.748 T1=3.37
|
SAT (TO) f=38 TT=1800.04 T1=1669.55
|
SAT (TO) f=36 TT=1800.02 T1=1626.75
|
normalized-PB06/OPT-SMALLINT/ submitted-PB06/manquiho/ golomb-rulers/normalized-OGR_8.opb |
OPT
f=34 TT=13.048 T1=1.59
|
OPT f=34 TT=401.487 T1=401.42
|
OPT f=34 TT=29.157 T1=1.6
|
OPT f=34 TT=29.078 T1=1.59
|
? (TO)
TT=1800.03
|
OPT f=34 TT=71.531 T1=14.49
|
? (TO)
TT=1800.11
|
? (MO)
TT=55.51
|
OPT f=34 TT=16.367 T1=4.62
|
OPT f=34 TT=13.256 T1=4.49
|
OPT f=34 TT=13.048 T1=4.49
|
OPT f=34 TT=17.748 T1=4.89
|
OPT f=34 TT=1222.5 T1=198.65
|
SAT (TO) f=34 TT=1800.15 T1=154.74
|
OPT f=34 TT=28.133 T1=17.02
|
SAT (TO) f=62 TT=1800.04 T1=1233.57
|
? (TO)
TT=1800.02
|
normalized-PB06/OPT-SMALLINT/ submitted-PB06/manquiho/ golomb-rulers/normalized-OGR_9.opb |
OPT
f=44 TT=176.991 T1=77.99
|
? (TO)
TT=1800.05
|
OPT f=44 TT=603.68 T1=189.62
|
OPT f=44 TT=603.198 T1=189.31
|
? (TO)
TT=1800.03
|
SAT (TO) f=44 TT=1800.05 T1=1012.03
|
? (TO)
TT=1800.05
|
? (MO)
TT=48.6
|
OPT f=44 TT=176.991 T1=77.99
|
OPT f=44 TT=254.685 T1=206.43
|
OPT f=44 TT=252.149 T1=204.54
|
OPT f=44 TT=191.371 T1=129.76
|
SAT (TO) f=45 TT=1800.18 T1=643.36
|
SAT (TO) f=49 TT=1800.14 T1=253.29
|
OPT f=44 TT=268.919 T1=180.83
|
? (TO)
TT=1800.08
|
? (TO)
TT=1800.04
|