Instances of family horn solved by openQbf
QBFEVAL'05

InstanceResultTime
horn_400CNF1280_2aQBF_389UNSAT0.52
horn_400CNF1360_2aQBF_130UNSAT0.53
horn_400CNF1360_2aQBF_755UNSAT0.55
horn_400CNF2080_2aQBF_584UNSAT0.57
horn_400CNF2080_2aQBF_194UNSAT0.6
horn_400CNF1520_2aQBF_625UNSAT0.61
horn_400CNF1520_2aQBF_405UNSAT0.7
horn_400CNF2160_2aQBF_23UNSAT0.72
horn_400CNF1440_2aQBF_117UNSAT0.78
horn_400CNF2080_2aQBF_322UNSAT0.84
horn_400CNF1680_2aQBF_589UNSAT0.85
horn_400CNF1600_2aQBF_571UNSAT0.88
horn_400CNF1680_2aQBF_154UNSAT0.88
horn_400CNF1520_2aQBF_53UNSAT0.88
horn_400CNF2320_2aQBF_433UNSAT0.9
horn_400CNF1760_2aQBF_188UNSAT0.91
horn_400CNF1520_2aQBF_600UNSAT0.91
horn_400CNF2320_2aQBF_832UNSAT0.98
horn_400CNF1840_2aQBF_401UNSAT1.04
horn_400CNF2000_2aQBF_456UNSAT1.11
horn_400CNF1600_2aQBF_514FAIL900.86
horn_400CNF1600_2aQBF_956FAIL900.86
horn_400CNF1840_2aQBF_514FAIL900.87
horn_400CNF1920_2aQBF_704FAIL900.87
horn_400CNF1680_2aQBF_950FAIL900.87
horn_400CNF1280_2aQBF_841FAIL900.87
horn_400CNF1840_2aQBF_215FAIL900.87
horn_400CNF1600_2aQBF_789FAIL900.89
horn_400CNF1680_2aQBF_547FAIL900.89
horn_400CNF1760_2aQBF_484FAIL900.89
horn_400CNF2000_2aQBF_564FAIL900.89
horn_400CNF1440_2aQBF_676FAIL900.89
horn_400CNF1920_2aQBF_927FAIL900.89
horn_400CNF1840_2aQBF_158FAIL900.89
horn_400CNF1680_2aQBF_698FAIL900.89
horn_400CNF1280_2aQBF_755FAIL900.9
horn_400CNF1200_2aQBF_539FAIL900.9
horn_400CNF1520_2aQBF_782FAIL900.9
horn_400CNF1440_2aQBF_553FAIL900.9
horn_400CNF2320_2aQBF_209FAIL900.9
horn_400CNF1840_2aQBF_340FAIL900.9
horn_400CNF2320_2aQBF_137FAIL900.9
horn_400CNF1440_2aQBF_967FAIL900.9
horn_400CNF1600_2aQBF_73FAIL900.9
horn_400CNF1680_2aQBF_745FAIL900.9
horn_400CNF1360_2aQBF_894FAIL900.9
horn_400CNF2320_2aQBF_458FAIL900.9
horn_400CNF2160_2aQBF_407FAIL900.9
horn_400CNF1760_2aQBF_614FAIL900.9
horn_400CNF2320_2aQBF_813FAIL900.9
horn_400CNF1760_2aQBF_686FAIL900.9
horn_400CNF1920_2aQBF_890FAIL900.9
horn_400CNF1760_2aQBF_996FAIL900.9
horn_400CNF1760_2aQBF_726FAIL900.9
horn_400CNF1600_2aQBF_103FAIL900.91
horn_400CNF1920_2aQBF_314FAIL900.91
horn_400CNF1840_2aQBF_547FAIL900.91
horn_400CNF2320_2aQBF_420FAIL900.91
horn_400CNF2160_2aQBF_427FAIL900.91
horn_400CNF2080_2aQBF_899FAIL900.91
horn_400CNF2000_2aQBF_702FAIL900.91
horn_400CNF1520_2aQBF_165FAIL900.92
horn_400CNF1760_2aQBF_93FAIL900.92
horn_400CNF1600_2aQBF_922FAIL900.92
horn_400CNF1920_2aQBF_597FAIL900.92
horn_400CNF2320_2aQBF_72FAIL900.92
horn_400CNF1760_2aQBF_997FAIL900.92
horn_400CNF2320_2aQBF_230FAIL900.92
horn_400CNF1840_2aQBF_32FAIL900.92
horn_400CNF1760_2aQBF_10FAIL900.92
horn_400CNF1680_2aQBF_286FAIL900.92
horn_400CNF2160_2aQBF_692FAIL900.92
horn_400CNF1680_2aQBF_503FAIL900.92
horn_400CNF2160_2aQBF_308FAIL900.92
horn_400CNF2080_2aQBF_682FAIL900.92
horn_400CNF1440_2aQBF_147FAIL900.92
horn_400CNF1680_2aQBF_482FAIL900.92
horn_400CNF1360_2aQBF_788FAIL900.92
horn_400CNF1760_2aQBF_711FAIL900.92
horn_400CNF1360_2aQBF_831FAIL900.92
horn_400CNF1440_2aQBF_642FAIL900.92
horn_400CNF1760_2aQBF_886FAIL900.92
horn_400CNF1760_2aQBF_846FAIL900.92
horn_400CNF1840_2aQBF_323FAIL900.93
horn_400CNF1600_2aQBF_331FAIL900.93
horn_400CNF1920_2aQBF_970FAIL900.93
horn_400CNF1920_2aQBF_647FAIL900.93
horn_400CNF1840_2aQBF_329FAIL900.93
horn_400CNF1840_2aQBF_980FAIL900.93
horn_400CNF2000_2aQBF_987FAIL900.93
horn_400CNF2000_2aQBF_787FAIL900.93
horn_400CNF2080_2aQBF_793FAIL900.93
horn_400CNF1600_2aQBF_26FAIL900.93
horn_400CNF2000_2aQBF_8FAIL900.93
horn_400CNF1520_2aQBF_995FAIL900.93
horn_400CNF2160_2aQBF_92FAIL900.93
horn_400CNF2320_2aQBF_772FAIL900.93
horn_400CNF2160_2aQBF_701FAIL900.93
horn_400CNF1440_2aQBF_668FAIL900.93
horn_400CNF2080_2aQBF_832FAIL900.93
horn_400CNF2320_2aQBF_80FAIL900.93
horn_400CNF1600_2aQBF_236FAIL900.93
horn_400CNF1440_2aQBF_829FAIL900.94
horn_400CNF1520_2aQBF_387FAIL900.94
horn_400CNF1680_2aQBF_91FAIL900.94
horn_400CNF1840_2aQBF_555FAIL900.94
horn_400CNF1520_2aQBF_116FAIL900.94
horn_400CNF2080_2aQBF_840FAIL900.94
horn_400CNF1600_2aQBF_912FAIL900.94
horn_400CNF1440_2aQBF_165FAIL900.94
horn_400CNF2320_2aQBF_797FAIL900.94
horn_400CNF2160_2aQBF_588FAIL900.94
horn_400CNF1360_2aQBF_867FAIL900.94
horn_400CNF2160_2aQBF_657FAIL900.94
horn_400CNF2320_2aQBF_132FAIL900.95
horn_400CNF1520_2aQBF_98FAIL900.95
horn_400CNF1440_2aQBF_925FAIL900.95
horn_400CNF1680_2aQBF_29FAIL900.95
horn_400CNF1600_2aQBF_278FAIL900.95
horn_400CNF2080_2aQBF_714FAIL900.95
horn_400CNF1840_2aQBF_752FAIL900.95
horn_400CNF1520_2aQBF_702FAIL900.95
horn_400CNF1680_2aQBF_728FAIL900.95
horn_400CNF1520_2aQBF_382FAIL900.95
horn_400CNF1920_2aQBF_721FAIL900.95
horn_400CNF1920_2aQBF_583FAIL900.95
horn_400CNF1680_2aQBF_244FAIL900.95
horn_400CNF1520_2aQBF_760FAIL900.95
horn_400CNF1920_2aQBF_952FAIL900.95
horn_400CNF2160_2aQBF_660FAIL900.95
horn_400CNF1760_2aQBF_946FAIL900.95
horn_400CNF1360_2aQBF_310FAIL900.95
horn_400CNF2080_2aQBF_176FAIL900.95
horn_400CNF1440_2aQBF_737FAIL900.95
horn_400CNF2080_2aQBF_709FAIL900.95
horn_400CNF1360_2aQBF_565FAIL900.95
horn_400CNF2160_2aQBF_996FAIL900.95
horn_400CNF1600_2aQBF_748FAIL900.95
horn_400CNF2000_2aQBF_104FAIL900.95
horn_400CNF2000_2aQBF_878FAIL900.96
horn_400CNF2000_2aQBF_650FAIL900.96
horn_400CNF1680_2aQBF_695FAIL900.96
horn_400CNF1920_2aQBF_534FAIL900.96
horn_400CNF2160_2aQBF_411FAIL900.96
horn_400CNF1920_2aQBF_603FAIL900.96
horn_400CNF2000_2aQBF_523FAIL900.96
horn_400CNF1600_2aQBF_505FAIL900.97
horn_400CNF2000_2aQBF_642FAIL900.97
horn_400CNF1760_2aQBF_979FAIL900.97
horn_400CNF2160_2aQBF_976FAIL900.97
horn_400CNF1600_2aQBF_3FAIL900.97
horn_400CNF1920_2aQBF_75FAIL900.97
horn_400CNF1760_2aQBF_330FAIL900.97
horn_400CNF1840_2aQBF_198FAIL900.97
horn_400CNF2000_2aQBF_577FAIL900.98
horn_400CNF1680_2aQBF_433FAIL900.98