normalized-PB06/OPT-SMALLINT/submitted-PB06/ liu/domset/ normalized-domset_v500_e2000_w30_mw19_10.opb.PB06.opb
|
SAT f=188 TT=1797.09 T1=865.32
|
? (MO)
TT=294.91
|
SAT f=213 TT=1798.01 T1=31.19
|
SAT (TO) f=214 TT=1800.05 T1=1382.59
|
? (TO) f=225 TT=1800.06 T1=1800.01
|
? (TO) f=225 TT=1800.07 T1=0.03
|
? (TO) f=225 TT=1800.06 T1=1800
|
? (TO) f=225 TT=1800.07 T1=1800
|
SAT (TO) f=216 TT=1800.08 T1=900.01
|
SAT (TO) f=218 TT=1800.27 T1=337.73
|
SAT (TO) f=208 TT=1800.88 T1=67.6
|
SAT (TO) f=208 TT=1800.07 T1=54.54
|
SAT (TO) f=190 TT=1800.03 T1=289.6
|
SAT f=188 TT=1797.09 T1=865.32
|
SAT (TO) f=190 TT=1800.06 T1=266.9
|
SAT f=188 TT=1797.09 T1=957.14
|
? (TO)
TT=1800.16
|
normalized-PB06/OPT-SMALLINT/submitted-PB06/ liu/domset/ normalized-domset_v500_e2000_w30_mw19_11.opb.PB06.opb
|
SAT f=189 TT=1800.08 T1=152.42
|
? (MO)
TT=291.16
|
SAT f=218 TT=1798.01 T1=198.2
|
SAT (TO) f=216 TT=1800.06 T1=506.53
|
? (TO) f=218 TT=1800.08 T1=1800.11
|
? (TO) f=228 TT=1800.04 T1=0.04
|
? (TO) f=228 TT=1800.06 T1=1800
|
? (TO) f=228 TT=1800.07 T1=1800
|
SAT (TO) f=215 TT=1800.24 T1=830
|
SAT (TO) f=218 TT=1800.39 T1=623.16
|
SAT (TO) f=211 TT=1800.24 T1=39.57
|
SAT (TO) f=210 TT=1800.08 T1=825.57
|
SAT (TO) f=189 TT=1800.08 T1=152.42
|
SAT f=191 TT=1797.08 T1=151.86
|
SAT (TO) f=190 TT=1800.07 T1=152.4
|
SAT f=191 TT=1797.07 T1=152.35
|
? (TO)
TT=1800.1
|
normalized-PB06/OPT-SMALLINT/submitted-PB06/ liu/domset/ normalized-domset_v500_e2000_w30_mw19_12.opb.PB06.opb
|
SAT f=184 TT=1797.08 T1=420.78
|
? (MO)
TT=292.53
|
SAT f=212 TT=1798.01 T1=1776.18
|
SAT (TO) f=211 TT=1800.06 T1=926.7
|
? (TO) f=214 TT=1800.06 T1=1800.01
|
? (TO) f=223 TT=1800.04 T1=1719.44
|
? (TO) f=222 TT=1800.06 T1=1800
|
? (TO) f=229 TT=1800.05 T1=1800
|
SAT (TO) f=216 TT=1800.09 T1=900.01
|
SAT (TO) f=212 TT=1800.32 T1=4.48
|
SAT (TO) f=205 TT=1800.32 T1=64.58
|
SAT (TO) f=205 TT=1800.09 T1=55.57
|
SAT (TO) f=185 TT=1800.06 T1=659.71
|
SAT f=184 TT=1797.08 T1=420.78
|
SAT (TO) f=185 TT=1800.06 T1=52.93
|
SAT f=185 TT=1797.07 T1=57.34
|
? (TO)
TT=1800.13
|
normalized-PB06/OPT-SMALLINT/submitted-PB06/ liu/domset/ normalized-domset_v500_e2000_w30_mw19_13.opb.PB06.opb
|
SAT f=190 TT=1797.09 T1=260.85
|
? (MO)
TT=287.87
|
SAT f=220 TT=1798.01 T1=114.83
|
SAT (TO) f=218 TT=1800.07 T1=0.56
|
? (TO) f=231 TT=1800.08 T1=1800.01
|
? (TO) f=231 TT=1800.06 T1=1800.01
|
? (TO) f=231 TT=1800.07 T1=1800
|
? (TO) f=234 TT=1800.08 T1=1800
|
SAT (TO) f=218 TT=1800.07 T1=425.49
|
SAT (TO) f=218 TT=1800.25 T1=185.72
|
SAT (TO) f=212 TT=1800.45 T1=622.67
|
SAT (TO) f=212 TT=1800.11 T1=384.62
|
SAT (TO) f=193 TT=1800.06 T1=256.05
|
SAT f=192 TT=1797.05 T1=287.88
|
SAT (TO) f=193 TT=1800.06 T1=255.48
|
SAT f=190 TT=1797.09 T1=260.85
|
? (TO)
TT=1800.13
|
normalized-PB06/OPT-SMALLINT/submitted-PB06/ liu/domset/ normalized-domset_v500_e2000_w30_mw19_14.opb.PB06.opb
|
SAT f=188 TT=1800.09 T1=499.51
|
? (MO)
TT=289.5
|
SAT (TO) f=217 TT=1800.04 T1=50.53
|
SAT (TO) f=217 TT=1800.08 T1=1097.72
|
? (TO) f=223 TT=1800.08 T1=1800.01
|
? (TO) f=224 TT=1800.06 T1=0.04
|
? (TO) f=224 TT=1800.06 T1=1800
|
? (TO) f=224 TT=1800.07 T1=1800
|
SAT (TO) f=215 TT=1800.1 T1=492.7
|
SAT (TO) f=218 TT=1800.36 T1=1244.9
|
SAT (TO) f=211 TT=1800.15 T1=60.59
|
SAT (TO) f=210 TT=1800.07 T1=1101.79
|
SAT (TO) f=188 TT=1800.09 T1=499.51
|
SAT f=189 TT=1797.09 T1=451.12
|
SAT (TO) f=189 TT=1800.08 T1=150.84
|
SAT f=189 TT=1797.08 T1=464.75
|
? (TO)
TT=1800.09
|
normalized-PB06/OPT-SMALLINT/submitted-PB06/ liu/domset/ normalized-domset_v500_e2000_w30_mw19_15.opb.PB06.opb
|
SAT f=192 TT=1797.11 T1=382.01
|
? (MO)
TT=289.75
|
SAT f=216 TT=1798.01 T1=379.05
|
SAT (TO) f=216 TT=1800.08 T1=2.94
|
? (TO) f=225 TT=1800.04 T1=1800.01
|
? (TO) f=225 TT=1800.04 T1=0.03
|
? (TO) f=225 TT=1800.05 T1=1800
|
? (TO) f=225 TT=1800.06 T1=1800
|
SAT (TO) f=220 TT=1800.1 T1=900.01
|
SAT (TO) f=221 TT=1800.25 T1=248.3
|
SAT (TO) f=212 TT=1800.85 T1=626
|
SAT (TO) f=211 TT=1800.1 T1=1298.4
|
SAT (TO) f=193 TT=1800.06 T1=190.88
|
SAT f=192 TT=1797.11 T1=382.01
|
SAT (TO) f=191 TT=1800.09 T1=856.13
|
SAT f=195 TT=1797.06 T1=432.57
|
? (TO)
TT=1800.15
|
normalized-PB06/OPT-SMALLINT/submitted-PB06/ liu/domset/ normalized-domset_v500_e2000_w30_mw19_16.opb.PB06.opb
|
SAT f=188 TT=1797.08 T1=1294
|
? (MO)
TT=292.61
|
SAT f=217 TT=1798.01 T1=879.32
|
SAT (TO) f=212 TT=1800.03 T1=51.7
|
? (TO) f=234 TT=1800.06 T1=1800.01
|
? (TO) f=234 TT=1800.05 T1=132.75
|
? (TO) f=230 TT=1800.07 T1=1800
|
? (TO) f=230 TT=1800.09 T1=1800
|
SAT (TO) f=218 TT=1800.09 T1=11.98
|
SAT (TO) f=221 TT=1800.28 T1=1095.72
|
SAT (TO) f=212 TT=1800.25 T1=755.02
|
SAT (TO) f=212 TT=1800.14 T1=523.08
|
SAT (TO) f=189 TT=1800.08 T1=546.36
|
SAT f=189 TT=1797.13 T1=1166.73
|
SAT (TO) f=189 TT=1800.05 T1=665.46
|
SAT f=188 TT=1797.08 T1=1294
|
? (TO)
TT=1800.1
|
normalized-PB06/OPT-SMALLINT/submitted-PB06/ liu/domset/ normalized-domset_v500_e2000_w30_mw19_17.opb.PB06.opb
|
SAT f=193 TT=1797.09 T1=412.75
|
? (MO)
TT=287.62
|
SAT f=219 TT=1798.01 T1=1246.09
|
SAT (TO) f=224 TT=1800.1 T1=627.99
|
? (TO) f=237 TT=1800.04 T1=1800.01
|
? (TO) f=237 TT=1800.05 T1=0.08
|
? (TO) f=237 TT=1800.08 T1=1800
|
? (TO) f=237 TT=1800.08 T1=1800
|
SAT (TO) f=224 TT=1800.08 T1=73.5
|
SAT (TO) f=223 TT=1800.26 T1=1220.8
|
SAT (TO) f=217 TT=1800.2 T1=1006.75
|
SAT (TO) f=217 TT=1800.14 T1=692.52
|
SAT (TO) f=194 TT=1800.06 T1=239.25
|
SAT f=193 TT=1797.09 T1=412.75
|
SAT (TO) f=194 TT=1800.08 T1=264.03
|
SAT f=197 TT=1797.11 T1=254.41
|
? (TO)
TT=1800.13
|
normalized-PB06/OPT-SMALLINT/submitted-PB06/ liu/domset/ normalized-domset_v500_e2000_w30_mw19_18.opb.PB06.opb
|
SAT f=190 TT=1797.07 T1=366.46
|
? (MO)
TT=291.21
|
SAT f=217 TT=1798.01 T1=1777.07
|
SAT (TO) f=215 TT=1800.08 T1=7.16
|
? (TO) f=223 TT=1800.02 T1=1800
|
? (TO) f=224 TT=1800.04 T1=0.04
|
? (TO) f=224 TT=1800.06 T1=1800
|
? (TO) f=224 TT=1800.05 T1=1800
|
SAT (TO) f=221 TT=1800.09 T1=1.68
|
SAT (TO) f=219 TT=1800.36 T1=421.78
|
SAT (TO) f=209 TT=1800.19 T1=812.07
|
SAT (TO) f=209 TT=1800.1 T1=543.86
|
SAT (TO) f=192 TT=1800.09 T1=246.36
|
SAT f=192 TT=1797.08 T1=294.25
|
SAT (TO) f=192 TT=1800.1 T1=246.44
|
SAT f=190 TT=1797.07 T1=366.46
|
? (TO)
TT=1800.11
|
normalized-PB06/OPT-SMALLINT/submitted-PB06/ liu/domset/ normalized-domset_v500_e2000_w30_mw19_19.opb.PB06.opb
|
SAT f=188 TT=1797.08 T1=477.83
|
? (MO)
TT=288.16
|
SAT f=211 TT=1798.01 T1=108.72
|
SAT (TO) f=208 TT=1800.08 T1=6.6
|
? (TO) f=218 TT=1800.06 T1=1800.01
|
? (TO) f=219 TT=1800.02 T1=0.03
|
? (TO) f=219 TT=1800.07 T1=1800
|
? (TO) f=219 TT=1800.07 T1=1800
|
SAT (TO) f=209 TT=1800.07 T1=68.09
|
SAT (TO) f=213 TT=1800.27 T1=651.18
|
SAT (TO) f=203 TT=1800.24 T1=218.43
|
SAT (TO) f=203 TT=1800.11 T1=180.4
|
SAT f=188 TT=1800.01 T1=489.39
|
SAT f=188 TT=1797.08 T1=647.83
|
SAT (TO) f=188 TT=1800.08 T1=208.95
|
SAT f=188 TT=1797.11 T1=477.83
|
? (TO)
TT=1800.12
|
Bench name | Best results | borg pb-opt-11.04.03 (complete) | bsolo 3.2 (complete) | clasp 2.0-R4191 (complete) | MinisatID 2.4.8 [DEPRECATED] (complete) | MinisatID 2.4.8-gmp [DEPRECATED] (complete) | MinisatID 2.5.2 (fixed) (complete) | MinisatID 2.5.2-gmp (fixed) (complete) | pwbo 1.1 (complete) | Sat4j CuttingPlanes 2.3.0 (complete) | Sat4j Res//CP 2.3.0 (complete) | Sat4j Resolution 2.3.0 (complete) | SCIP spx SCIP 2.0.1.4. with SoPlex 1.5.0.4 [DEPRECATED] (complete) | SCIP spx 2 2011-06-10 (fixed) (complete) | SCIP spx E SCIP 2.0.1.4b with SoPlex 1.5.0.4 [DEPRECATED] (complete) | SCIP spx E_2 2011-06-10 (fixed) (complete) | wbo 1.6 (complete) |
normalized-PB06/OPT-SMALLINT/submitted-PB06/ liu/domset/ normalized-domset_v500_e2000_w30_mw19_20.opb.PB06.opb
|
SAT f=189 TT=1797.08 T1=535.8
|
? (MO)
TT=289.73
|
SAT f=213 TT=1798.44 T1=272.04
|
SAT (TO) f=211 TT=1800.05 T1=663.36
|
? (TO) f=226 TT=1800.06 T1=1800.01
|
? (TO) f=226 TT=1800.09 T1=0.03
|
? (TO) f=226 TT=1800.06 T1=1800
|
? (TO) f=226 TT=1800.06 T1=1800
|
SAT (TO) f=219 TT=1800.11 T1=258.91
|
SAT (TO) f=216 TT=1800.31 T1=1044.4
|
SAT (TO) f=208 TT=1800.29 T1=721.26
|
SAT (TO) f=208 TT=1800.11 T1=485.33
|
SAT (TO) f=191 TT=1800.09 T1=313.07
|
SAT f=191 TT=1797.13 T1=312.78
|
SAT (TO) f=189 TT=1800.08 T1=534.73
|
SAT f=189 TT=1797.08 T1=535.8
|
? (TO)
TT=1800.13
|
normalized-PB06/OPT-SMALLINT/submitted-PB06/ liu/domset/ normalized-domset_v500_e2000_w30_mw19_21.opb.PB06.opb
|
SAT f=191 TT=1800.04 T1=434.53
|
? (MO)
TT=290.25
|
SAT f=218 TT=1798.01 T1=285.68
|
SAT (TO) f=216 TT=1800.06 T1=4.53
|
? (TO) f=228 TT=1800.06 T1=1800.01
|
? (TO) f=228 TT=1800.07 T1=0.04
|
? (TO) f=228 TT=1800.07 T1=1800
|
? (TO) f=228 TT=1800.06 T1=1800
|
SAT (TO) f=218 TT=1800.1 T1=15.38
|
SAT (TO) f=221 TT=1800.29 T1=1432.23
|
SAT (TO) f=211 TT=1800.41 T1=41.3
|
SAT (TO) f=210 TT=1800.14 T1=1214.97
|
SAT (TO) f=191 TT=1800.04 T1=434.53
|
SAT f=194 TT=1797.05 T1=1597.27
|
SAT (TO) f=191 TT=1800.08 T1=435.49
|
SAT f=194 TT=1797.06 T1=1599.9
|
? (TO)
TT=1800.14
|
normalized-PB06/OPT-SMALLINT/submitted-PB06/ liu/domset/ normalized-domset_v500_e2000_w30_mw19_22.opb.PB06.opb
|
SAT f=187 TT=1797.05 T1=193.12
|
? (MO)
TT=290.43
|
SAT f=214 TT=1798.01 T1=91.46
|
SAT (TO) f=214 TT=1800.06 T1=426.33
|
? (TO) f=220 TT=1800.03 T1=1800.01
|
? (TO) f=220 TT=1800.08 T1=1800.01
|
? (TO) f=220 TT=1800.06 T1=1800
|
? (TO) f=220 TT=1800.09 T1=1800
|
SAT (TO) f=214 TT=1800.12 T1=900.01
|
SAT (TO) f=216 TT=1800.3 T1=189.2
|
SAT (TO) f=208 TT=1800.22 T1=216.93
|
SAT (TO) f=208 TT=1800.06 T1=177.85
|
SAT f=187 TT=1800.01 T1=671.45
|
SAT f=187 TT=1797.05 T1=193.38
|
SAT (TO) f=189 TT=1800.07 T1=419.54
|
SAT f=187 TT=1797.1 T1=193.12
|
? (TO)
TT=1800.1
|
normalized-PB06/OPT-SMALLINT/submitted-PB06/ liu/domset/ normalized-domset_v500_e2000_w30_mw19_23.opb.PB06.opb
|
SAT f=192 TT=1797.08 T1=490.27
|
? (MO)
TT=290.36
|
SAT f=223 TT=1798.01 T1=699.89
|
SAT (TO) f=223 TT=1800.09 T1=344.37
|
? (TO) f=233 TT=1800.08 T1=1800.11
|
? (TO) f=233 TT=1800.11 T1=212.99
|
? (TO) f=233 TT=1800.06 T1=1800
|
? (TO) f=233 TT=1800.07 T1=1800
|
SAT (TO) f=219 TT=1800.08 T1=71.06
|
SAT (TO) f=226 TT=1800.32 T1=327.83
|
SAT (TO) f=216 TT=1800.25 T1=999.95
|
SAT (TO) f=216 TT=1800.06 T1=652.15
|
SAT f=192 TT=1800.01 T1=490.27
|
SAT f=192 TT=1797.08 T1=863.15
|
SAT (TO) f=191 TT=1800.08 T1=729.72
|
SAT f=194 TT=1797.1 T1=254.31
|
? (TO)
TT=1800.07
|
normalized-PB06/OPT-SMALLINT/submitted-PB06/ liu/domset/ normalized-domset_v500_e2000_w30_mw19_24.opb.PB06.opb
|
SAT f=191 TT=1797.07 T1=252.8
|
? (MO)
TT=295.82
|
SAT f=219 TT=1798.01 T1=221.55
|
SAT (TO) f=222 TT=1800.06 T1=729.47
|
? (TO) f=232 TT=1800.08 T1=1800.01
|
? (TO) f=240 TT=1800.03 T1=0.04
|
? (TO) f=239 TT=1800.06 T1=1800
|
? (TO) f=240 TT=1800.06 T1=1800
|
SAT (TO) f=222 TT=1800.07 T1=900.01
|
SAT (TO) f=221 TT=1800.25 T1=0.4
|
SAT (TO) f=216 TT=1800.35 T1=37.28
|
SAT (TO) f=214 TT=1800.15 T1=963.94
|
SAT f=191 TT=1800.03 T1=278.1
|
SAT f=195 TT=1797.06 T1=210.3
|
SAT (TO) f=193 TT=1800.08 T1=238.71
|
SAT f=191 TT=1797.07 T1=252.8
|
? (TO)
TT=1800.12
|
|
Statistics | borg pb-opt-11.04.03 (complete) | bsolo 3.2 (complete) | clasp 2.0-R4191 (complete) | MinisatID 2.4.8 [DEPRECATED] (complete) | MinisatID 2.4.8-gmp [DEPRECATED] (complete) | MinisatID 2.5.2 (fixed) (complete) | MinisatID 2.5.2-gmp (fixed) (complete) | pwbo 1.1 (complete) | Sat4j CuttingPlanes 2.3.0 (complete) | Sat4j Res//CP 2.3.0 (complete) | Sat4j Resolution 2.3.0 (complete) | SCIP spx SCIP 2.0.1.4. with SoPlex 1.5.0.4 [DEPRECATED] (complete) | SCIP spx 2 2011-06-10 (fixed) (complete) | SCIP spx E SCIP 2.0.1.4b with SoPlex 1.5.0.4 [DEPRECATED] (complete) | SCIP spx E_2 2011-06-10 (fixed) (complete) | wbo 1.6 (complete) |
Number of times the solver is able to give the best known answer | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 7 | 7 | 0 | 8 | 0 |
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 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 3 | 7 | 0 | 6 | 0 |