Instances of family horn solved by QMRes
QBFEVAL'05

InstanceResultTime
horn_400CNF1680_2aQBF_482FAIL426.27
horn_400CNF1760_2aQBF_846FAIL469.78
horn_400CNF1600_2aQBF_748FAIL479.03
horn_400CNF2080_2aQBF_176FAIL502.18
horn_400CNF1680_2aQBF_503FAIL516.58
horn_400CNF2080_2aQBF_840FAIL533.63
horn_400CNF2080_2aQBF_899FAIL542.31
horn_400CNF1360_2aQBF_310FAIL553.36
horn_400CNF2160_2aQBF_692FAIL555.36
horn_400CNF1360_2aQBF_755FAIL589.85
horn_400CNF1760_2aQBF_996FAIL606.42
horn_400CNF1520_2aQBF_116FAIL607.96
horn_400CNF2320_2aQBF_132FAIL612.29
horn_400CNF1840_2aQBF_547FAIL616.02
horn_400CNF1520_2aQBF_625FAIL622.82
horn_400CNF1840_2aQBF_401FAIL631.38
horn_400CNF1520_2aQBF_782FAIL634
horn_400CNF1440_2aQBF_829FAIL641
horn_400CNF2080_2aQBF_584FAIL642.18
horn_400CNF1760_2aQBF_979FAIL676.27
horn_400CNF1520_2aQBF_53FAIL678.25
horn_400CNF2080_2aQBF_322FAIL701.52
horn_400CNF2320_2aQBF_797FAIL718.18
horn_400CNF1600_2aQBF_278FAIL723.28
horn_400CNF1440_2aQBF_553FAIL738.27
horn_400CNF1600_2aQBF_912FAIL751.11
horn_400CNF1920_2aQBF_647FAIL757.09
horn_400CNF2000_2aQBF_787FAIL760.64
horn_400CNF1520_2aQBF_600FAIL762.71
horn_400CNF1840_2aQBF_198FAIL763.03
horn_400CNF1600_2aQBF_571FAIL763.38
horn_400CNF2000_2aQBF_878FAIL764.87
horn_400CNF2000_2aQBF_642FAIL772.51
horn_400CNF1840_2aQBF_555FAIL797.11
horn_400CNF1440_2aQBF_925FAIL801.89
horn_400CNF1280_2aQBF_841FAIL804.67
horn_400CNF1840_2aQBF_329FAIL818.38
horn_400CNF1200_2aQBF_539FAIL819.45
horn_400CNF1360_2aQBF_788FAIL830.8
horn_400CNF1600_2aQBF_956FAIL830.91
horn_400CNF1600_2aQBF_505FAIL835.35
horn_400CNF2080_2aQBF_709FAIL848.34
horn_400CNF1440_2aQBF_737FAIL848.55
horn_400CNF1680_2aQBF_728FAIL854.48
horn_400CNF1600_2aQBF_922FAIL869.4
horn_400CNF2320_2aQBF_420FAIL871.43
horn_400CNF2320_2aQBF_209FAIL873.06
horn_400CNF2320_2aQBF_832FAIL873.07
horn_400CNF1600_2aQBF_514FAIL875.67
horn_400CNF1600_2aQBF_103FAIL876.56
horn_400CNF1520_2aQBF_387FAIL877.16
horn_400CNF1600_2aQBF_789FAIL879.51
horn_400CNF1280_2aQBF_389FAIL880.54
horn_400CNF1680_2aQBF_433FAIL881.6
horn_400CNF1680_2aQBF_91FAIL883.35
horn_400CNF1680_2aQBF_286FAIL883.59
horn_400CNF1920_2aQBF_75FAIL884.04
horn_400CNF1360_2aQBF_831FAIL884.59
horn_400CNF2320_2aQBF_813FAIL884.6
horn_400CNF1920_2aQBF_890FAIL885.3
horn_400CNF1680_2aQBF_589FAIL885.55
horn_400CNF1440_2aQBF_165FAIL886.29
horn_400CNF1920_2aQBF_927FAIL886.4
horn_400CNF1360_2aQBF_565FAIL886.41
horn_400CNF1680_2aQBF_547FAIL886.52
horn_400CNF1680_2aQBF_154FAIL886.6
horn_400CNF2000_2aQBF_650FAIL886.84
horn_400CNF2160_2aQBF_23FAIL886.97
horn_400CNF1760_2aQBF_997FAIL887.95
horn_400CNF1440_2aQBF_967FAIL888.46
horn_400CNF1920_2aQBF_603FAIL888.52
horn_400CNF1760_2aQBF_330FAIL888.6
horn_400CNF2080_2aQBF_793FAIL888.72
horn_400CNF1840_2aQBF_32FAIL888.79
horn_400CNF1920_2aQBF_721FAIL889.07
horn_400CNF2080_2aQBF_714FAIL889.78
horn_400CNF2160_2aQBF_976FAIL889.99
horn_400CNF1760_2aQBF_686FAIL890
horn_400CNF2000_2aQBF_564FAIL890.39
horn_400CNF2000_2aQBF_577FAIL890.86
horn_400CNF2320_2aQBF_72FAIL891.48
horn_400CNF1760_2aQBF_93FAIL891.51
horn_400CNF1600_2aQBF_331FAIL892.06
horn_400CNF1520_2aQBF_382FAIL893.06
horn_400CNF1920_2aQBF_583FAIL893.13
horn_400CNF1760_2aQBF_711FAIL895.81
horn_400CNF1760_2aQBF_484FAIL896.37
horn_400CNF1760_2aQBF_614FAIL897.67
horn_400CNF1920_2aQBF_534FAIL898.3
horn_400CNF1440_2aQBF_642FAIL898.35
horn_400CNF1600_2aQBF_26FAIL898.49
horn_400CNF1680_2aQBF_698FAIL898.97
horn_400CNF1920_2aQBF_952FAIL899.24
horn_400CNF1680_2aQBF_695FAIL899.53
horn_400CNF2320_2aQBF_772FAIL899.54
horn_400CNF1440_2aQBF_676FAIL899.82
horn_400CNF2160_2aQBF_701FAIL899.82
horn_400CNF1920_2aQBF_314FAIL899.84
horn_400CNF1680_2aQBF_244FAIL899.88
horn_400CNF2160_2aQBF_588FAIL899.88
horn_400CNF1440_2aQBF_668FAIL899.89
horn_400CNF1680_2aQBF_950FAIL899.9
horn_400CNF2160_2aQBF_407FAIL899.95
horn_400CNF2320_2aQBF_433FAIL899.96
horn_400CNF1840_2aQBF_323FAIL899.96
horn_400CNF2080_2aQBF_832FAIL899.98
horn_400CNF2080_2aQBF_682FAIL900.03
horn_400CNF1840_2aQBF_752FAIL900.07
horn_400CNF1760_2aQBF_726FAIL900.07
horn_400CNF1520_2aQBF_98FAIL900.08
horn_400CNF2000_2aQBF_702FAIL900.08
horn_400CNF2160_2aQBF_996FAIL900.09
horn_400CNF2000_2aQBF_523FAIL900.13
horn_400CNF1600_2aQBF_236FAIL900.13
horn_400CNF1760_2aQBF_10FAIL900.15
horn_400CNF2320_2aQBF_80FAIL900.15
horn_400CNF1440_2aQBF_117FAIL900.16
horn_400CNF2080_2aQBF_194FAIL900.17
horn_400CNF2000_2aQBF_987FAIL900.18
horn_400CNF2000_2aQBF_8FAIL900.18
horn_400CNF1840_2aQBF_158FAIL900.18
horn_400CNF1680_2aQBF_745FAIL900.19
horn_400CNF2320_2aQBF_230FAIL900.2
horn_400CNF1840_2aQBF_980FAIL900.2
horn_400CNF1680_2aQBF_29FAIL900.23
horn_400CNF1920_2aQBF_970FAIL900.23
horn_400CNF1600_2aQBF_3FAIL900.23
horn_400CNF1920_2aQBF_597FAIL900.24
horn_400CNF2000_2aQBF_456FAIL900.24
horn_400CNF1520_2aQBF_760FAIL900.24
horn_400CNF2160_2aQBF_427FAIL900.24
horn_400CNF1520_2aQBF_405FAIL900.25
horn_400CNF1520_2aQBF_165FAIL900.25
horn_400CNF1920_2aQBF_704FAIL900.27
horn_400CNF1840_2aQBF_514FAIL900.28
horn_400CNF2160_2aQBF_308FAIL900.29
horn_400CNF2000_2aQBF_104FAIL900.29
horn_400CNF2320_2aQBF_458FAIL900.31
horn_400CNF1360_2aQBF_894FAIL900.31
horn_400CNF1360_2aQBF_867FAIL900.32
horn_400CNF2160_2aQBF_411FAIL900.33
horn_400CNF1520_2aQBF_702FAIL900.34
horn_400CNF1760_2aQBF_188FAIL900.34
horn_400CNF1440_2aQBF_147FAIL900.34
horn_400CNF1760_2aQBF_946FAIL900.36
horn_400CNF2320_2aQBF_137FAIL900.37
horn_400CNF1760_2aQBF_886FAIL900.38
horn_400CNF1840_2aQBF_340FAIL900.4
horn_400CNF1520_2aQBF_995FAIL900.4
horn_400CNF2160_2aQBF_92FAIL900.42
horn_400CNF1840_2aQBF_215FAIL900.43
horn_400CNF1600_2aQBF_73FAIL900.44
horn_400CNF2160_2aQBF_660FAIL900.44
horn_400CNF1280_2aQBF_755FAIL900.54
horn_400CNF2160_2aQBF_657FAIL900.59
horn_400CNF1360_2aQBF_130FAIL900.64