Instances of family horn solved by qbfbdd
QBFEVAL'05

InstanceResultTime
horn_400CNF1440_2aQBF_737SAT0
horn_400CNF1680_2aQBF_950SAT0.01
horn_400CNF1600_2aQBF_73SAT0.03
horn_400CNF2160_2aQBF_92SAT0.04
horn_400CNF1920_2aQBF_534SAT0.05
horn_400CNF2320_2aQBF_458SAT0.06
horn_400CNF2160_2aQBF_308SAT0.07
horn_400CNF1680_2aQBF_503SAT0.08
horn_400CNF1840_2aQBF_329SAT0.09
horn_400CNF2160_2aQBF_657UNSAT0.09
horn_400CNF2320_2aQBF_137UNSAT0.1
horn_400CNF1680_2aQBF_695SAT0.1
horn_400CNF2000_2aQBF_787UNSAT0.18
horn_400CNF2320_2aQBF_797SAT0.33
horn_400CNF2320_2aQBF_72SAT0.43
horn_400CNF1600_2aQBF_956SAT0.46
horn_400CNF1840_2aQBF_198SAT0.48
horn_400CNF1920_2aQBF_970SAT0.53
horn_400CNF1680_2aQBF_244SAT0.61
horn_400CNF1840_2aQBF_555SAT0.7
horn_400CNF2160_2aQBF_996SAT0.99
horn_400CNF1600_2aQBF_514UNSAT2.72
horn_400CNF2080_2aQBF_840SAT3.8
horn_400CNF1920_2aQBF_314SAT4.32
horn_400CNF2000_2aQBF_642UNSAT5.72
horn_400CNF1440_2aQBF_553SAT6.01
horn_400CNF1440_2aQBF_165UNSAT6.08
horn_400CNF1680_2aQBF_547SAT6.48
horn_400CNF1920_2aQBF_647SAT7.03
horn_400CNF1440_2aQBF_925SAT7.17
horn_400CNF1440_2aQBF_967SAT8.12
horn_400CNF1280_2aQBF_755SAT8.59
horn_400CNF1760_2aQBF_886UNSAT9.75
horn_400CNF1840_2aQBF_514SAT9.83
horn_400CNF1920_2aQBF_952SAT10.85
horn_400CNF1680_2aQBF_482SAT13.17
horn_400CNF2000_2aQBF_702SAT13.55
horn_400CNF1600_2aQBF_331SAT18.51
horn_400CNF1600_2aQBF_103SAT18.6
horn_400CNF1680_2aQBF_745SAT21.75
horn_400CNF1520_2aQBF_782UNSAT23.97
horn_400CNF2320_2aQBF_132SAT43.14
horn_400CNF2320_2aQBF_813SAT47.43
horn_400CNF2320_2aQBF_80UNSAT56.05
horn_400CNF2000_2aQBF_564UNSAT85.04
horn_400CNF2000_2aQBF_878SAT95.7
horn_400CNF2080_2aQBF_714SAT101.49
horn_400CNF1680_2aQBF_91UNSAT142.91
horn_400CNF1920_2aQBF_583SAT282.11
horn_400CNF1600_2aQBF_278UNSAT283.91
horn_400CNF1600_2aQBF_3SAT301.61
horn_400CNF1440_2aQBF_676SAT328.91
horn_400CNF1920_2aQBF_603UNSAT330.05
horn_400CNF1520_2aQBF_98UNSAT354.88
horn_400CNF2000_2aQBF_523SAT421.85
horn_400CNF1360_2aQBF_788SAT834.91
horn_400CNF1360_2aQBF_831FAIL900.82
horn_400CNF1680_2aQBF_154FAIL900.85
horn_400CNF1600_2aQBF_922FAIL900.86
horn_400CNF2160_2aQBF_23FAIL900.87
horn_400CNF1680_2aQBF_728FAIL900.88
horn_400CNF2320_2aQBF_772FAIL900.88
horn_400CNF1760_2aQBF_330FAIL900.88
horn_400CNF1520_2aQBF_53FAIL900.88
horn_400CNF1600_2aQBF_571FAIL900.89
horn_400CNF1840_2aQBF_158FAIL900.9
horn_400CNF1840_2aQBF_215FAIL900.9
horn_400CNF2080_2aQBF_322FAIL900.91
horn_400CNF1680_2aQBF_29FAIL900.91
horn_400CNF2000_2aQBF_987FAIL900.91
horn_400CNF1360_2aQBF_894FAIL900.91
horn_400CNF1600_2aQBF_236FAIL900.91
horn_400CNF2320_2aQBF_832FAIL900.91
horn_400CNF1760_2aQBF_484FAIL900.92
horn_400CNF1840_2aQBF_401FAIL900.92
horn_400CNF1840_2aQBF_32FAIL900.92
horn_400CNF1760_2aQBF_10FAIL900.92
horn_400CNF2320_2aQBF_420FAIL900.92
horn_400CNF1600_2aQBF_912FAIL900.92
horn_400CNF2160_2aQBF_660FAIL900.92
horn_400CNF1680_2aQBF_589FAIL900.92
horn_400CNF2160_2aQBF_701FAIL900.92
horn_400CNF1360_2aQBF_867FAIL900.92
horn_400CNF1760_2aQBF_726FAIL900.92
horn_400CNF1520_2aQBF_165FAIL900.92
horn_400CNF1600_2aQBF_505FAIL900.92
horn_400CNF1840_2aQBF_340FAIL900.93
horn_400CNF1360_2aQBF_755FAIL900.93
horn_400CNF1520_2aQBF_995FAIL900.93
horn_400CNF1280_2aQBF_841FAIL900.93
horn_400CNF2160_2aQBF_588FAIL900.93
horn_400CNF1760_2aQBF_996FAIL900.93
horn_400CNF1440_2aQBF_668FAIL900.93
horn_400CNF1600_2aQBF_748FAIL900.93
horn_400CNF1440_2aQBF_829FAIL900.93
horn_400CNF1520_2aQBF_387FAIL900.94
horn_400CNF1680_2aQBF_286FAIL900.94
horn_400CNF1760_2aQBF_188FAIL900.94
horn_400CNF1600_2aQBF_26FAIL900.94
horn_400CNF1360_2aQBF_310FAIL900.94
horn_400CNF1360_2aQBF_565FAIL900.94
horn_400CNF2000_2aQBF_104FAIL900.94
horn_400CNF2080_2aQBF_832FAIL900.94
horn_400CNF2000_2aQBF_650FAIL900.94
horn_400CNF1760_2aQBF_997FAIL900.95
horn_400CNF2000_2aQBF_456FAIL900.95
horn_400CNF1520_2aQBF_702FAIL900.95
horn_400CNF1840_2aQBF_980FAIL900.95
horn_400CNF1920_2aQBF_721FAIL900.95
horn_400CNF2160_2aQBF_692FAIL900.95
horn_400CNF1840_2aQBF_547FAIL900.95
horn_400CNF1760_2aQBF_946FAIL900.95
horn_400CNF1760_2aQBF_686FAIL900.95
horn_400CNF2080_2aQBF_584FAIL900.95
horn_400CNF1680_2aQBF_698FAIL900.95
horn_400CNF2080_2aQBF_709FAIL900.95
horn_400CNF1440_2aQBF_642FAIL900.95
horn_400CNF1760_2aQBF_846FAIL900.95
horn_400CNF1600_2aQBF_789FAIL900.95
horn_400CNF1200_2aQBF_539FAIL900.95
horn_400CNF1760_2aQBF_979FAIL900.96
horn_400CNF1520_2aQBF_625FAIL900.96
horn_400CNF1920_2aQBF_927FAIL900.96
horn_400CNF1520_2aQBF_116FAIL900.96
horn_400CNF1520_2aQBF_382FAIL900.96
horn_400CNF1760_2aQBF_614FAIL900.96
horn_400CNF2160_2aQBF_411FAIL900.96
horn_400CNF2080_2aQBF_682FAIL900.96
horn_400CNF1440_2aQBF_147FAIL900.96
horn_400CNF2000_2aQBF_8FAIL900.96
horn_400CNF1920_2aQBF_75FAIL900.96
horn_400CNF2080_2aQBF_176FAIL900.96
horn_400CNF2160_2aQBF_427FAIL900.96
horn_400CNF1920_2aQBF_890FAIL900.96
horn_400CNF1520_2aQBF_600FAIL900.96
horn_400CNF1280_2aQBF_389FAIL900.96
horn_400CNF1680_2aQBF_433FAIL900.96
horn_400CNF2320_2aQBF_209FAIL900.97
horn_400CNF1440_2aQBF_117FAIL900.97
horn_400CNF1520_2aQBF_405FAIL900.97
horn_400CNF2320_2aQBF_433FAIL900.97
horn_400CNF2080_2aQBF_194FAIL900.98
horn_400CNF1840_2aQBF_752FAIL900.98
horn_400CNF1840_2aQBF_323FAIL900.98
horn_400CNF1760_2aQBF_93FAIL900.98
horn_400CNF2080_2aQBF_793FAIL900.99
horn_400CNF1520_2aQBF_760FAIL900.99
horn_400CNF1760_2aQBF_711FAIL900.99
horn_400CNF2080_2aQBF_899FAIL900.99
horn_400CNF1920_2aQBF_597FAIL901
horn_400CNF2320_2aQBF_230FAIL901
horn_400CNF2160_2aQBF_976FAIL901
horn_400CNF1920_2aQBF_704FAIL901
horn_400CNF1360_2aQBF_130FAIL901
horn_400CNF2000_2aQBF_577FAIL901
horn_400CNF2160_2aQBF_407FAIL901.01