normalized-PB06/OPT-SMALLINT/ submitted-PB06/liu/wnq/ normalized-wnq_n100_mw99_0.opb.PB06.opb |
SAT
f=434 TT=1800.07 T1=1083.4
|
? (TO)
TT=1800.12
|
SAT (MO) f=5466 TT=1061.87 T1=552.73
|
SAT (MO) f=5466 TT=1109.21 T1=577.62
|
? (TO)
TT=1800.1
|
SAT (TO) f=5555 TT=1800.36 T1=944.79
|
? (TO)
TT=1802.19
|
? (MO)
TT=1491.76
|
? (MO)
TT=459.34
|
No Cert.
TT=1800.1
|
SAT (TO) f=9006 TT=1800.07 T1=134.25
|
? (MO)
TT=1483.91
|
? (TO)
TT=1800.15
|
? (TO)
TT=1800.12
|
? (TO)
TT=1800.16
|
SAT (TO) f=434 TT=1800.07 T1=1083.4
|
SAT (TO) f=505 TT=1800.12 T1=909.45
|
normalized-PB06/OPT-SMALLINT/ submitted-PB06/liu/wnq/ normalized-wnq_n100_mw99_10.opb.PB06.opb |
SAT
f=480 TT=1800.13 T1=1656.92
|
? (TO)
TT=1800.12
|
SAT (MO) f=5588 TT=1064.79 T1=1048.51
|
SAT (MO) f=5588 TT=1115.68 T1=1098.69
|
? (TO)
TT=1800.1
|
SAT (TO) f=5911 TT=1800.32 T1=1276.53
|
? (TO)
TT=1801.09
|
? (MO)
TT=1489.33
|
? (MO)
TT=461.08
|
No Cert.
TT=1800.04
|
SAT (TO) f=8683 TT=1800.06 T1=1138.6
|
? (MO)
TT=1559.88
|
? (TO)
TT=1800.16
|
? (TO)
TT=1800.19
|
? (TO)
TT=1800.26
|
SAT (TO) f=480 TT=1800.13 T1=1656.92
|
SAT (TO) f=608 TT=1800.16 T1=1614.35
|
normalized-PB06/OPT-SMALLINT/ submitted-PB06/liu/wnq/ normalized-wnq_n100_mw99_11.opb.PB06.opb |
SAT
f=443 TT=1800.13 T1=1409.19
|
? (TO)
TT=1800.09
|
SAT (MO) f=5765 TT=1123.44 T1=180.82
|
SAT (MO) f=5765 TT=1119.99 T1=180.4
|
? (TO)
TT=1800.1
|
SAT (TO) f=4683 TT=1800.3 T1=1145.42
|
? (TO)
TT=1801.6
|
? (MO)
TT=1491.64
|
? (MO)
TT=459.46
|
No Cert.
TT=1800.11
|
SAT (TO) f=8287 TT=1800.07 T1=1667.38
|
? (MO)
TT=1595.2
|
? (TO)
TT=1800.2
|
? (TO)
TT=1800.16
|
? (TO)
TT=1800.32
|
SAT (TO) f=443 TT=1800.13 T1=1409.19
|
SAT (TO) f=577 TT=1800.15 T1=1169.85
|
normalized-PB06/OPT-SMALLINT/ submitted-PB06/liu/wnq/ normalized-wnq_n100_mw99_12.opb.PB06.opb |
SAT
f=419 TT=1800.12 T1=1080.43
|
? (TO)
TT=1800.14
|
SAT (MO) f=5602 TT=1506.62 T1=1110.88
|
SAT (MO) f=5602 TT=1495.01 T1=1101.79
|
? (TO)
TT=1800.15
|
SAT (TO) f=5733 TT=1800.31 T1=1704.96
|
? (TO)
TT=1802.18
|
? (MO)
TT=1487.64
|
? (MO)
TT=458.27
|
No Cert.
TT=1800.05
|
SAT (TO) f=8634 TT=1800.06 T1=1471
|
? (MO)
TT=1467.35
|
? (TO)
TT=1800.14
|
? (TO)
TT=1800.16
|
? (TO)
TT=1800.29
|
SAT (TO) f=419 TT=1800.12 T1=1080.43
|
SAT (TO) f=488 TT=1800.16 T1=790.27
|
normalized-PB06/OPT-SMALLINT/ submitted-PB06/liu/wnq/ normalized-wnq_n100_mw99_13.opb.PB06.opb |
SAT
f=431 TT=1800.1 T1=1566.01
|
? (TO)
TT=1800.12
|
SAT (MO) f=5375 TT=1020.89 T1=633.3
|
SAT (MO) f=5375 TT=1016.45 T1=630.84
|
? (TO)
TT=1800.17
|
SAT (TO) f=5270 TT=1800.27 T1=1475.46
|
? (TO)
TT=1801.56
|
? (MO)
TT=1488.19
|
? (MO)
TT=457.9
|
No Cert.
TT=1800.09
|
SAT (TO) f=7852 TT=1800.07 T1=987.14
|
? (MO)
TT=1699.63
|
? (TO)
TT=1800.2
|
? (TO)
TT=1800.18
|
? (TO)
TT=1800.39
|
SAT (TO) f=431 TT=1800.1 T1=1566.01
|
SAT (TO) f=468 TT=1800.14 T1=521.38
|
normalized-PB06/OPT-SMALLINT/ submitted-PB06/liu/wnq/ normalized-wnq_n100_mw99_14.opb.PB06.opb |
SAT
f=502 TT=1800.07 T1=1783.62
|
? (TO)
TT=1800.17
|
SAT (MO) f=5656 TT=1074.22 T1=987.39
|
SAT (MO) f=5656 TT=1070.78 T1=983.53
|
? (TO)
TT=1800.1
|
SAT (TO) f=5675 TT=1800.29 T1=809.28
|
? (TO)
TT=1801.37
|
? (MO)
TT=1493.15
|
? (MO)
TT=458.97
|
No Cert.
TT=1800.03
|
SAT (TO) f=9419 TT=1800.04 T1=5.99
|
? (MO)
TT=1446.89
|
? (TO)
TT=1800.09
|
? (TO)
TT=1800.09
|
? (TO)
TT=1800.3
|
SAT (TO) f=502 TT=1800.07 T1=1783.62
|
SAT (TO) f=618 TT=1800.06 T1=281.44
|
normalized-PB06/OPT-SMALLINT/ submitted-PB06/liu/wnq/ normalized-wnq_n100_mw99_1.opb.PB06.opb |
SAT
f=433 TT=1800.07 T1=1669.45
|
? (TO)
TT=1800.17
|
SAT (MO) f=5573 TT=1121.47 T1=573.26
|
SAT (MO) f=5573 TT=1117.65 T1=571.76
|
? (TO)
TT=1800.09
|
SAT (MO) f=5633 TT=1627.11 T1=1463.04
|
? (TO)
TT=1802.17
|
? (MO)
TT=1488.78
|
? (MO)
TT=459.87
|
No Cert.
TT=1800.03
|
SAT (TO) f=8571 TT=1800.04 T1=329.09
|
? (MO)
TT=1566.4
|
? (TO)
TT=1800.13
|
? (TO)
TT=1800.12
|
? (TO)
TT=1800.36
|
SAT (TO) f=433 TT=1800.07 T1=1669.45
|
SAT (TO) f=474 TT=1800.06 T1=1102.96
|
normalized-PB06/OPT-SMALLINT/ submitted-PB06/liu/wnq/ normalized-wnq_n100_mw99_2.opb.PB06.opb |
SAT
f=436 TT=1800.08 T1=1370.73
|
? (TO)
TT=1800.16
|
SAT (MO) f=5328 TT=969.491 T1=158.62
|
SAT (MO) f=5328 TT=966.821 T1=157.84
|
? (TO)
TT=1800.16
|
SAT (MO) f=5889 TT=1775.54 T1=241.41
|
? (TO)
TT=1802.11
|
? (MO)
TT=1493.24
|
? (MO)
TT=458.71
|
No Cert.
TT=1800.08
|
SAT (TO) f=9535 TT=1800.12 T1=1517.76
|
SAT f=5467 TT=1783.01 T1=1767.21
|
? (TO)
TT=1800.22
|
? (TO)
TT=1800.1
|
? (TO)
TT=1800.29
|
SAT (TO) f=436 TT=1800.08 T1=1370.73
|
SAT (TO) f=568 TT=1800.09 T1=1283.46
|
normalized-PB06/OPT-SMALLINT/ submitted-PB06/liu/wnq/ normalized-wnq_n100_mw99_3.opb.PB06.opb |
SAT
f=478 TT=1800.08 T1=1328.4
|
? (TO)
TT=1800.13
|
SAT (MO) f=5787 TT=1205.5 T1=884.39
|
SAT (MO) f=5787 TT=1198.91 T1=879.37
|
? (TO)
TT=1800.11
|
SAT (TO) f=5681 TT=1800.36 T1=476.78
|
? (TO)
TT=1801.38
|
? (MO)
TT=1488.03
|
? (MO)
TT=460.2
|
No Cert.
TT=1800.04
|
SAT (TO) f=9001 TT=1800.06 T1=6.19
|
SAT f=5952 TT=1783.01 T1=205.92
|
? (TO)
TT=1800.11
|
? (TO)
TT=1800.11
|
? (TO)
TT=1800.36
|
SAT (TO) f=478 TT=1800.08 T1=1328.4
|
SAT (TO) f=537 TT=1800.15 T1=941.06
|
normalized-PB06/OPT-SMALLINT/ submitted-PB06/liu/wnq/ normalized-wnq_n100_mw99_4.opb.PB06.opb |
SAT
f=466 TT=1800.11 T1=1656.84
|
? (TO)
TT=1800.18
|
SAT (MO) f=5609 TT=1120.12 T1=111.82
|
SAT (MO) f=5609 TT=1117.75 T1=111.65
|
? (TO)
TT=1800.16
|
SAT (TO) f=5674 TT=1800.34 T1=1643.51
|
? (TO)
TT=1800.45
|
? (MO)
TT=1488.64
|
? (MO)
TT=458.31
|
No Cert.
TT=1800.06
|
SAT (TO) f=8466 TT=1800.11 T1=1553.26
|
? (MO)
TT=1759.73
|
? (TO)
TT=1800.18
|
? (TO)
TT=1800.1
|
? (TO)
TT=1800.29
|
SAT (TO) f=466 TT=1800.11 T1=1656.84
|
SAT (TO) f=560 TT=1800.16 T1=1756.2
|
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/liu/wnq/ normalized-wnq_n100_mw99_5.opb.PB06.opb |
SAT
f=474 TT=1800.06 T1=1752.52
|
? (TO)
TT=1800.11
|
SAT (MO) f=5707 TT=1114.33 T1=805.68
|
SAT (MO) f=5707 TT=1108.85 T1=801.46
|
? (TO)
TT=1800.12
|
SAT (MO) f=5446 TT=1631.35 T1=666.14
|
? (TO)
TT=1802.15
|
? (MO)
TT=1422.23
|
? (MO)
TT=459.93
|
No Cert.
TT=1800.04
|
SAT (TO) f=7977 TT=1800.1 T1=697.09
|
? (MO)
TT=1561.87
|
? (TO)
TT=1800.09
|
? (TO)
TT=1800.13
|
? (TO)
TT=1800.18
|
SAT (TO) f=474 TT=1800.06 T1=1752.52
|
SAT (TO) f=494 TT=1800.1 T1=638.47
|
normalized-PB06/OPT-SMALLINT/ submitted-PB06/liu/wnq/ normalized-wnq_n100_mw99_6.opb.PB06.opb |
SAT
f=453 TT=1800.13 T1=1170.9
|
? (TO)
TT=1800.21
|
SAT (MO) f=5246 TT=1186.32 T1=212.04
|
SAT (MO) f=5246 TT=1180.53 T1=210.1
|
? (TO)
TT=1800.12
|
SAT (MO) f=6062 TT=1791.75 T1=838.88
|
? (TO)
TT=1802.14
|
? (MO)
TT=1489.64
|
? (MO)
TT=459.2
|
No Cert.
TT=1800.11
|
SAT (TO) f=7597 TT=1800.04 T1=659.54
|
? (MO)
TT=1605.08
|
? (TO)
TT=1800.11
|
? (TO)
TT=1800.15
|
? (TO)
TT=1800.29
|
SAT (TO) f=453 TT=1800.13 T1=1170.9
|
SAT (TO) f=492 TT=1800.09 T1=1007.33
|
normalized-PB06/OPT-SMALLINT/ submitted-PB06/liu/wnq/ normalized-wnq_n100_mw99_7.opb.PB06.opb |
SAT
f=452 TT=1800.1 T1=1391.44
|
? (TO)
TT=1800.13
|
SAT (MO) f=5626 TT=1286.58 T1=1143
|
SAT (MO) f=5626 TT=1280.32 T1=1136.65
|
? (TO)
TT=1800.12
|
SAT (TO) f=5350 TT=1800.13 T1=1237.15
|
? (TO)
TT=1802.12
|
? (MO)
TT=1487.51
|
? (MO)
TT=459.22
|
No Cert.
TT=1800.04
|
SAT (TO) f=7547 TT=1800.07 T1=1201.47
|
? (MO)
TT=1542.91
|
? (TO)
TT=1800.1
|
? (TO)
TT=1800.12
|
? (TO)
TT=1800.33
|
SAT (TO) f=452 TT=1800.1 T1=1391.44
|
SAT (TO) f=580 TT=1800.11 T1=1155.3
|
normalized-PB06/OPT-SMALLINT/ submitted-PB06/liu/wnq/ normalized-wnq_n100_mw99_8.opb.PB06.opb |
SAT
f=397 TT=1800.09 T1=396.56
|
? (TO)
TT=1800.19
|
SAT (MO) f=5599 TT=963.052 T1=82.74
|
SAT (MO) f=5599 TT=959.857 T1=82.27
|
? (TO)
TT=1800.1
|
SAT (MO) f=5966 TT=1662.28 T1=1316.86
|
? (TO)
TT=1802.13
|
? (MO)
TT=1491.6
|
? (MO)
TT=459.75
|
No Cert.
TT=1800.09
|
SAT (TO) f=7591 TT=1800.04 T1=1449.99
|
SAT f=5545 TT=1782.97 T1=1399.92
|
? (TO)
TT=1800.13
|
? (TO)
TT=1800.17
|
? (TO)
TT=1800.22
|
SAT (TO) f=397 TT=1800.09 T1=396.56
|
SAT (TO) f=463 TT=1800.11 T1=1289.37
|
normalized-PB06/OPT-SMALLINT/ submitted-PB06/liu/wnq/ normalized-wnq_n100_mw99_9.opb.PB06.opb |
SAT
f=447 TT=1800.06 T1=1763.61
|
? (TO)
TT=1800.17
|
SAT (MO) f=5633 TT=1246.66 T1=1137.34
|
SAT (MO) f=5633 TT=1300.96 T1=1189.25
|
? (TO)
TT=1800.13
|
SAT (TO) f=5012 TT=1800.29 T1=930.52
|
? (TO)
TT=1802.16
|
? (MO)
TT=1487.45
|
? (MO)
TT=460.67
|
No Cert.
TT=1800.05
|
SAT (TO) f=8530 TT=1800.05 T1=912.15
|
? (MO)
TT=1541.16
|
? (TO)
TT=1800.16
|
? (TO)
TT=1800.13
|
? (TO)
TT=1800.16
|
SAT (TO) f=447 TT=1800.06 T1=1763.61
|
SAT (TO) f=521 TT=1800.1 T1=1380.35
|