normalized-PB06/OPT-SMALLINT/submitted-PB06/ liu/domset/ normalized-domset_v500_e2000_w30_mw19_10.opb.PB06.opb |
SAT
f=183 TT=1800.67 T1=1605.25
|
SAT (TO) f=222 TT=1800.24 T1=1.6
|
SAT f=211 TT=1800 T1=24.71
|
? (TO)
TT=1800.65
|
SAT (TO) f=219 TT=1800.71 T1=1417.85
|
? (TO)
TT=1800.51
|
SAT (TO) f=227 TT=1800.78 T1=704.08
|
SAT (TO) f=221 TT=1800.81 T1=6.17
|
SAT f=212 TT=1782.73 T1=17.36
|
SAT f=211 TT=1782.73 T1=434.73
|
SAT (TO) f=217 TT=1801.05 T1=655.56
|
SAT (TO) f=217 TT=1801.17 T1=654.2
|
SAT (TO) f=183 TT=1800.67 T1=1605.25
|
SAT (TO) f=190 TT=1800.63 T1=1183.87
|
normalized-PB06/OPT-SMALLINT/submitted-PB06/ liu/domset/ normalized-domset_v500_e2000_w30_mw19_11.opb.PB06.opb |
SAT
f=184 TT=1800.53 T1=1595.35
|
SAT (TO) f=224 TT=1800.38 T1=379.42
|
SAT f=217 TT=1800.14 T1=24.33
|
? (TO)
TT=1800.64
|
SAT (TO) f=213 TT=1800.4 T1=20.4
|
? (TO)
TT=1800.6
|
SAT (TO) f=231 TT=1800.76 T1=3.97
|
SAT (TO) f=222 TT=1800.7 T1=4.96
|
SAT f=218 TT=1782.73 T1=0.92
|
SAT f=214 TT=1782.74 T1=203.76
|
SAT (TO) f=219 TT=1800.42 T1=713.67
|
SAT (TO) f=219 TT=1801.1 T1=702.19
|
SAT (TO) f=184 TT=1800.53 T1=1595.35
|
SAT (TO) f=190 TT=1800.53 T1=1428.98
|
normalized-PB06/OPT-SMALLINT/submitted-PB06/ liu/domset/ normalized-domset_v500_e2000_w30_mw19_12.opb.PB06.opb |
SAT
f=179 TT=1800.64 T1=1133.16
|
SAT (TO) f=218 TT=1800.51 T1=13.46
|
SAT f=204 TT=1800.01 T1=23.32
|
? (TO)
TT=1800.76
|
SAT (TO) f=210 TT=1800.45 T1=485.77
|
? (TO)
TT=1800.65
|
SAT (TO) f=223 TT=1800.75 T1=252.55
|
SAT (TO) f=215 TT=1800.77 T1=85.76
|
SAT f=210 TT=1782.73 T1=37.97
|
SAT f=208 TT=1782.73 T1=1474.04
|
SAT (TO) f=214 TT=1800.92 T1=762.25
|
SAT (TO) f=214 TT=1800.58 T1=780.1
|
SAT (TO) f=179 TT=1800.64 T1=1133.16
|
SAT (TO) f=183 TT=1800.7 T1=1452.97
|
normalized-PB06/OPT-SMALLINT/submitted-PB06/ liu/domset/ normalized-domset_v500_e2000_w30_mw19_13.opb.PB06.opb |
SAT
f=186 TT=1800.33 T1=1703.71
|
SAT (TO) f=219 TT=1800.11 T1=44.87
|
SAT f=210 TT=1800.01 T1=25.88
|
? (TO)
TT=1800.6
|
SAT (TO) f=222 TT=1800.67 T1=64.56
|
? (TO)
TT=1800.53
|
SAT (TO) f=234 TT=1800.69 T1=92.96
|
SAT (TO) f=224 TT=1800.97 T1=556.91
|
SAT f=215 TT=1782.74 T1=17.36
|
SAT f=213 TT=1782.74 T1=402.05
|
SAT (TO) f=219 TT=1800.46 T1=232.85
|
SAT (TO) f=219 TT=1801.12 T1=232.01
|
SAT (TO) f=186 TT=1800.33 T1=1703.71
|
SAT (TO) f=193 TT=1800.77 T1=682.73
|
normalized-PB06/OPT-SMALLINT/submitted-PB06/ liu/domset/ normalized-domset_v500_e2000_w30_mw19_14.opb.PB06.opb |
SAT
f=183 TT=1800.61 T1=1189.19
|
SAT (TO) f=223 TT=1800.77 T1=861.47
|
SAT f=216 TT=1800.13 T1=21.85
|
? (TO)
TT=1800.67
|
SAT (TO) f=219 TT=1800.72 T1=23.89
|
? (TO)
TT=1800.56
|
SAT (TO) f=226 TT=1800.56 T1=109.71
|
SAT (TO) f=219 TT=1800.63 T1=1285.79
|
SAT f=213 TT=1782.73 T1=796.56
|
SAT f=213 TT=1782.74 T1=1516.89
|
SAT (TO) f=219 TT=1800.8 T1=830.9
|
SAT (TO) f=219 TT=1800.18 T1=760.29
|
SAT (TO) f=183 TT=1800.61 T1=1189.19
|
SAT (TO) f=189 TT=1800.68 T1=800
|
normalized-PB06/OPT-SMALLINT/submitted-PB06/ liu/domset/ normalized-domset_v500_e2000_w30_mw19_15.opb.PB06.opb |
SAT
f=187 TT=1800.51 T1=1355.59
|
SAT (TO) f=230 TT=1800.52 T1=1554.28
|
SAT f=214 TT=1800.03 T1=22.46
|
? (TO)
TT=1800.58
|
SAT (TO) f=221 TT=1800.37 T1=345.59
|
? (TO)
TT=1800.47
|
SAT (TO) f=225 TT=1800.72 T1=114.76
|
SAT (TO) f=221 TT=1800.74 T1=1144.25
|
SAT f=215 TT=1782.73 T1=56.92
|
SAT f=214 TT=1782.73 T1=1674.58
|
SAT (TO) f=222 TT=1800.96 T1=1016.16
|
SAT (TO) f=222 TT=1800.87 T1=963.69
|
SAT (TO) f=187 TT=1800.51 T1=1355.59
|
SAT (TO) f=191 TT=1800.57 T1=1081.41
|
normalized-PB06/OPT-SMALLINT/submitted-PB06/ liu/domset/ normalized-domset_v500_e2000_w30_mw19_16.opb.PB06.opb |
SAT
f=185 TT=1800.56 T1=1738.94
|
SAT (TO) f=227 TT=1800.66 T1=671.15
|
SAT f=210 TT=1800.01 T1=25.68
|
? (TO)
TT=1800.48
|
SAT (TO) f=224 TT=1800.57 T1=15.98
|
? (TO)
TT=1800.54
|
SAT (TO) f=224 TT=1800.72 T1=1221.14
|
SAT (TO) f=220 TT=1800.78 T1=600.79
|
SAT f=217 TT=1782.73 T1=2.39
|
SAT f=215 TT=1782.74 T1=161.6
|
SAT (TO) f=219 TT=1800.19 T1=305.63
|
SAT (TO) f=219 TT=1800.33 T1=293.26
|
SAT (TO) f=185 TT=1800.56 T1=1738.94
|
SAT (TO) f=190 TT=1800.44 T1=844.51
|
normalized-PB06/OPT-SMALLINT/submitted-PB06/ liu/domset/ normalized-domset_v500_e2000_w30_mw19_17.opb.PB06.opb |
SAT
f=191 TT=1800.46 T1=1366.21
|
SAT (TO) f=235 TT=1800.35 T1=719.06
|
SAT f=221 TT=1800.16 T1=28.11
|
? (TO)
TT=1800.66
|
SAT (TO) f=222 TT=1800.59 T1=11.8
|
? (TO)
TT=1800.55
|
SAT (TO) f=229 TT=1800.61 T1=262.6
|
SAT (TO) f=228 TT=1800.8 T1=339.99
|
SAT f=216 TT=1782.74 T1=673.88
|
SAT f=219 TT=1782.74 T1=1.12
|
SAT (TO) f=228 TT=1800.35 T1=1707.67
|
SAT (TO) f=228 TT=1800.26 T1=1762.14
|
SAT (TO) f=191 TT=1800.46 T1=1366.21
|
SAT (TO) f=195 TT=1800.46 T1=1263.3
|
normalized-PB06/OPT-SMALLINT/submitted-PB06/ liu/domset/ normalized-domset_v500_e2000_w30_mw19_18.opb.PB06.opb |
SAT
f=185 TT=1800.82 T1=1243.46
|
SAT (TO) f=223 TT=1801.08 T1=1174.44
|
SAT f=212 TT=1800.05 T1=24.24
|
? (TO)
TT=1800.62
|
SAT (TO) f=219 TT=1800.27 T1=87.49
|
? (TO)
TT=1800.71
|
SAT (TO) f=228 TT=1800.74 T1=979.22
|
SAT (TO) f=222 TT=1800.8 T1=290.27
|
SAT f=214 TT=1782.73 T1=282.63
|
SAT f=215 TT=1782.73 T1=2.73
|
SAT (TO) f=223 TT=1801.08 T1=93.02
|
SAT (TO) f=223 TT=1800.9 T1=91.9
|
SAT (TO) f=185 TT=1800.82 T1=1243.46
|
SAT (TO) f=190 TT=1800.67 T1=1295.8
|
normalized-PB06/OPT-SMALLINT/submitted-PB06/ liu/domset/ normalized-domset_v500_e2000_w30_mw19_19.opb.PB06.opb |
SAT
f=180 TT=1800.55 T1=1473.2
|
SAT (TO) f=221 TT=1800.42 T1=15.92
|
SAT f=208 TT=1800.01 T1=24.99
|
? (TO)
TT=1800.59
|
SAT (TO) f=213 TT=1800.06 T1=1686.77
|
? (TO)
TT=1800.71
|
SAT (TO) f=222 TT=1800.77 T1=181.77
|
SAT (TO) f=213 TT=1800.74 T1=10.85
|
SAT f=209 TT=1782.74 T1=23.85
|
SAT f=208 TT=1782.74 T1=0.6
|
SAT (TO) f=214 TT=1800.62 T1=357.4
|
SAT (TO) f=214 TT=1800.52 T1=349.46
|
SAT (TO) f=180 TT=1800.55 T1=1473.2
|
SAT (TO) f=185 TT=1800.66 T1=1263.37
|
Bench name | Best results on this instance | absconPseudo 1 | bsolo 2006/05 | glpPB 0.2 | minisat+ 1.14 | PBS 4.1L | PB-smodels 1.28 | PB-smodels 1.31 | Pueblo 1.3 | Pueblo 1.4 | SAT4JPSEUDO 2006.2 | SAT4JPSEUDO 2006.2 Heuristics | wildcat-rnp 0.8.0 | wildcat-skc 0.8.0 |
---|
normalized-PB06/OPT-SMALLINT/submitted-PB06/ liu/domset/ normalized-domset_v500_e2000_w30_mw19_20.opb.PB06.opb |
SAT
f=183 TT=1800.55 T1=1747.55
|
SAT (TO) f=223 TT=1800.49 T1=651
|
SAT f=213 TT=1800.01 T1=24.08
|
? (TO)
TT=1800.45
|
SAT (TO) f=223 TT=1800.58 T1=0.55
|
? (TO)
TT=1800.49
|
SAT (TO) f=226 TT=1800.75 T1=578.11
|
SAT (TO) f=221 TT=1800.75 T1=52.9
|
SAT f=213 TT=1782.74 T1=4.11
|
SAT f=210 TT=1782.74 T1=860.72
|
SAT (TO) f=218 TT=1800.77 T1=110.95
|
SAT (TO) f=218 TT=1801.12 T1=105.61
|
SAT (TO) f=183 TT=1800.55 T1=1747.55
|
SAT (TO) f=190 TT=1800.6 T1=1040.58
|
normalized-PB06/OPT-SMALLINT/submitted-PB06/ liu/domset/ normalized-domset_v500_e2000_w30_mw19_21.opb.PB06.opb |
SAT
f=187 TT=1800.48 T1=1123.33
|
SAT (TO) f=231 TT=1800.63 T1=1.28
|
SAT f=218 TT=1800.22 T1=26.3
|
? (TO)
TT=1800.67
|
SAT (TO) f=222 TT=1800.59 T1=402.07
|
? (TO)
TT=1800.56
|
SAT (TO) f=233 TT=1800.7 T1=518.39
|
SAT (TO) f=223 TT=1800.73 T1=5.66
|
SAT f=215 TT=1782.74 T1=0.26
|
SAT f=217 TT=1782.73 T1=41.01
|
SAT (TO) f=221 TT=1800.45 T1=187.83
|
SAT (TO) f=221 TT=1800.59 T1=186.77
|
SAT (TO) f=187 TT=1800.48 T1=1123.33
|
SAT (TO) f=190 TT=1800.39 T1=1348.63
|
normalized-PB06/OPT-SMALLINT/submitted-PB06/ liu/domset/ normalized-domset_v500_e2000_w30_mw19_22.opb.PB06.opb |
SAT
f=182 TT=1800.57 T1=1656.58
|
SAT (TO) f=218 TT=1800.62 T1=684.67
|
SAT f=213 TT=1800.17 T1=22.77
|
? (TO)
TT=1800.65
|
SAT (TO) f=217 TT=1800.67 T1=321.72
|
? (TO)
TT=1800.67
|
SAT (TO) f=225 TT=1800.66 T1=603.57
|
SAT (TO) f=217 TT=1800.67 T1=14.3
|
SAT f=208 TT=1782.74 T1=1.72
|
SAT f=211 TT=1782.73 T1=399.27
|
SAT (TO) f=217 TT=1801.24 T1=307.19
|
SAT (TO) f=217 TT=1800.52 T1=305.6
|
SAT (TO) f=182 TT=1800.57 T1=1656.58
|
SAT (TO) f=190 TT=1800.45 T1=776.13
|
normalized-PB06/OPT-SMALLINT/submitted-PB06/ liu/domset/ normalized-domset_v500_e2000_w30_mw19_23.opb.PB06.opb |
SAT
f=189 TT=1800.61 T1=1181.2
|
SAT (TO) f=230 TT=1800.45 T1=323.68
|
SAT f=218 TT=1800.02 T1=26.04
|
? (TO)
TT=1800.58
|
SAT (TO) f=224 TT=1800.43 T1=153.26
|
? (TO)
TT=1800.75
|
SAT (TO) f=228 TT=1800.64 T1=201.18
|
SAT (TO) f=226 TT=1800.77 T1=14.64
|
SAT f=220 TT=1782.73 T1=226.48
|
SAT f=218 TT=1782.73 T1=1049.23
|
SAT (TO) f=224 TT=1800.72 T1=33.22
|
SAT (TO) f=224 TT=1800.64 T1=32.62
|
SAT (TO) f=189 TT=1800.61 T1=1181.2
|
SAT (TO) f=193 TT=1800.37 T1=1616.82
|
normalized-PB06/OPT-SMALLINT/submitted-PB06/ liu/domset/ normalized-domset_v500_e2000_w30_mw19_24.opb.PB06.opb |
SAT
f=186 TT=1800.44 T1=1345.1
|
SAT (TO) f=221 TT=1800.66 T1=2.65
|
SAT f=214 TT=1800.01 T1=23.75
|
? (TO)
TT=1800.63
|
SAT (TO) f=221 TT=1800.5 T1=650.46
|
? (TO)
TT=1800.59
|
SAT (TO) f=229 TT=1800.81 T1=0.25
|
SAT (TO) f=223 TT=1800.62 T1=377.17
|
SAT f=218 TT=1782.73 T1=238.72
|
SAT f=218 TT=1782.73 T1=79.29
|
SAT (TO) f=221 TT=1800.5 T1=1.08
|
SAT (TO) f=221 TT=1801.02 T1=0.98
|
SAT (TO) f=186 TT=1800.44 T1=1345.1
|
SAT (TO) f=193 TT=1800.52 T1=1021.41
|