Instances of family horn solved by yQuaffle
QBFEVAL'05

InstanceResultTime
horn_400CNF1440_2aQBF_737SAT0.02
horn_400CNF1680_2aQBF_950SAT0.03
horn_400CNF1600_2aQBF_73SAT0.1
horn_400CNF2000_2aQBF_787UNSAT0.12
horn_400CNF2160_2aQBF_92SAT0.12
horn_400CNF2320_2aQBF_137UNSAT0.13
horn_400CNF2160_2aQBF_657UNSAT0.13
horn_400CNF2320_2aQBF_458FAIL0.14
horn_400CNF1920_2aQBF_534FAIL0.15
horn_400CNF1680_2aQBF_503SAT0.17
horn_400CNF1680_2aQBF_695FAIL0.18
horn_400CNF1840_2aQBF_329SAT0.2
horn_400CNF2160_2aQBF_308FAIL0.2
horn_400CNF1520_2aQBF_98UNSAT0.51
horn_400CNF1440_2aQBF_165UNSAT0.6
horn_400CNF2320_2aQBF_797SAT0.61
horn_400CNF1600_2aQBF_956SAT0.62
horn_400CNF1840_2aQBF_198SAT0.67
horn_400CNF1840_2aQBF_555FAIL0.7
horn_400CNF2320_2aQBF_72FAIL0.7
horn_400CNF1920_2aQBF_970SAT0.85
horn_400CNF1680_2aQBF_244FAIL1.05
horn_400CNF2160_2aQBF_996FAIL1.19
horn_400CNF2000_2aQBF_642UNSAT1.23
horn_400CNF1600_2aQBF_514UNSAT1.41
horn_400CNF1760_2aQBF_886UNSAT2.04
horn_400CNF1360_2aQBF_130UNSAT2.35
horn_400CNF2320_2aQBF_80UNSAT2.97
horn_400CNF1280_2aQBF_755SAT3.56
horn_400CNF1440_2aQBF_553SAT3.56
horn_400CNF1440_2aQBF_925SAT3.58
horn_400CNF2080_2aQBF_840SAT4.06
horn_400CNF1920_2aQBF_314SAT4.27
horn_400CNF2000_2aQBF_564UNSAT4.45
horn_400CNF1680_2aQBF_547SAT4.84
horn_400CNF1680_2aQBF_482FAIL5.03
horn_400CNF1440_2aQBF_967SAT5.12
horn_400CNF1680_2aQBF_745FAIL5.51
horn_400CNF1920_2aQBF_647SAT5.99
horn_400CNF1840_2aQBF_514SAT6.39
horn_400CNF1920_2aQBF_952SAT6.52
horn_400CNF1600_2aQBF_3SAT7.35
horn_400CNF1520_2aQBF_782UNSAT7.56
horn_400CNF1600_2aQBF_331SAT10.17
horn_400CNF1600_2aQBF_103SAT10.53
horn_400CNF2000_2aQBF_702SAT10.68
horn_400CNF1680_2aQBF_91UNSAT11.76
horn_400CNF1920_2aQBF_603UNSAT14.29
horn_400CNF1440_2aQBF_117UNSAT15.2
horn_400CNF1600_2aQBF_278UNSAT15.78
horn_400CNF2320_2aQBF_132SAT16.04
horn_400CNF2000_2aQBF_878SAT20.09
horn_400CNF2320_2aQBF_813SAT23.14
horn_400CNF2080_2aQBF_714SAT30.25
horn_400CNF1920_2aQBF_704UNSAT30.5
horn_400CNF1760_2aQBF_979UNSAT30.85
horn_400CNF2000_2aQBF_523SAT31
horn_400CNF1520_2aQBF_625UNSAT31.07
horn_400CNF1440_2aQBF_676FAIL31.44
horn_400CNF2000_2aQBF_577SAT33.13
horn_400CNF2160_2aQBF_407SAT37.68
horn_400CNF1360_2aQBF_788SAT37.83
horn_400CNF2080_2aQBF_194UNSAT38.2
horn_400CNF2160_2aQBF_411UNSAT39.66
horn_400CNF1360_2aQBF_565SAT54.75
horn_400CNF2320_2aQBF_832UNSAT63.74
horn_400CNF1520_2aQBF_600UNSAT68.07
horn_400CNF2320_2aQBF_209UNSAT73.69
horn_400CNF1920_2aQBF_890UNSAT73.99
horn_400CNF1920_2aQBF_583SAT86.42
horn_400CNF2160_2aQBF_427SAT87.41
horn_400CNF2160_2aQBF_976UNSAT103.27
horn_400CNF1760_2aQBF_614FAIL106.47
horn_400CNF1680_2aQBF_286SAT116.99
horn_400CNF2000_2aQBF_8UNSAT129.39
horn_400CNF1920_2aQBF_597SAT185.49
horn_400CNF2080_2aQBF_322UNSAT192.19
horn_400CNF1600_2aQBF_748UNSAT271.59
horn_400CNF1920_2aQBF_75UNSAT296.98
horn_400CNF2080_2aQBF_682UNSAT342.26
horn_400CNF1200_2aQBF_539FAIL396.33
horn_400CNF1520_2aQBF_405UNSAT413.58
horn_400CNF1440_2aQBF_829UNSAT508.19
horn_400CNF1520_2aQBF_387SAT525.08
horn_400CNF2080_2aQBF_899SAT544.32
horn_400CNF1760_2aQBF_484UNSAT587.99
horn_400CNF1360_2aQBF_894UNSAT604.59
horn_400CNF1680_2aQBF_589UNSAT661.89
horn_400CNF1600_2aQBF_236UNSAT692.37
horn_400CNF1520_2aQBF_165UNSAT766
horn_400CNF2160_2aQBF_692SAT769.54
horn_400CNF1440_2aQBF_668UNSAT833.1
horn_400CNF1520_2aQBF_702FAIL886.16
horn_400CNF1760_2aQBF_846FAIL886.85
horn_400CNF1520_2aQBF_382FAIL887.25
horn_400CNF2320_2aQBF_433FAIL887.44
horn_400CNF2080_2aQBF_176FAIL887.47
horn_400CNF1840_2aQBF_215FAIL887.74
horn_400CNF1600_2aQBF_505FAIL887.84
horn_400CNF2080_2aQBF_832FAIL887.89
horn_400CNF1840_2aQBF_752FAIL887.91
horn_400CNF1760_2aQBF_93FAIL887.98
horn_400CNF1760_2aQBF_996FAIL888.03
horn_400CNF1680_2aQBF_433FAIL888.13
horn_400CNF1760_2aQBF_997FAIL888.38
horn_400CNF1520_2aQBF_760FAIL888.41
horn_400CNF1840_2aQBF_32FAIL888.43
horn_400CNF1360_2aQBF_310FAIL888.47
horn_400CNF2320_2aQBF_420FAIL888.48
horn_400CNF1840_2aQBF_547FAIL888.52
horn_400CNF2160_2aQBF_701FAIL888.53
horn_400CNF1600_2aQBF_912FAIL888.56
horn_400CNF1840_2aQBF_323FAIL888.59
horn_400CNF1520_2aQBF_995FAIL888.68
horn_400CNF2000_2aQBF_104FAIL888.76
horn_400CNF2080_2aQBF_584FAIL888.89
horn_400CNF2000_2aQBF_456FAIL888.91
horn_400CNF1760_2aQBF_10FAIL888.91
horn_400CNF1680_2aQBF_29FAIL888.93
horn_400CNF1920_2aQBF_927FAIL888.95
horn_400CNF1920_2aQBF_721FAIL889.03
horn_400CNF1760_2aQBF_726FAIL889.1
horn_400CNF1520_2aQBF_116FAIL889.18
horn_400CNF2000_2aQBF_650FAIL889.23
horn_400CNF1760_2aQBF_686FAIL889.26
horn_400CNF1760_2aQBF_330FAIL889.31
horn_400CNF1840_2aQBF_340FAIL889.36
horn_400CNF2080_2aQBF_709FAIL889.45
horn_400CNF1600_2aQBF_789FAIL889.52
horn_400CNF2320_2aQBF_772FAIL889.53
horn_400CNF1840_2aQBF_980FAIL889.6
horn_400CNF2160_2aQBF_588FAIL889.66
horn_400CNF1440_2aQBF_642FAIL889.66
horn_400CNF1280_2aQBF_389FAIL889.69
horn_400CNF1760_2aQBF_711FAIL889.75
horn_400CNF2160_2aQBF_23FAIL889.76
horn_400CNF1600_2aQBF_26FAIL889.78
horn_400CNF1360_2aQBF_831FAIL889.92
horn_400CNF1760_2aQBF_946FAIL889.96
horn_400CNF1840_2aQBF_158FAIL890
horn_400CNF1680_2aQBF_698FAIL890.07
horn_400CNF1440_2aQBF_147FAIL890.13
horn_400CNF1600_2aQBF_922FAIL890.13
horn_400CNF1280_2aQBF_841FAIL890.14
horn_400CNF1840_2aQBF_401FAIL890.35
horn_400CNF1680_2aQBF_154FAIL890.35
horn_400CNF1360_2aQBF_755FAIL890.45
horn_400CNF2080_2aQBF_793FAIL890.47
horn_400CNF1680_2aQBF_728FAIL890.58
horn_400CNF2320_2aQBF_230FAIL890.6
horn_400CNF2000_2aQBF_987FAIL890.8
horn_400CNF1760_2aQBF_188FAIL890.81
horn_400CNF2160_2aQBF_660FAIL890.98
horn_400CNF1600_2aQBF_571FAIL891.32
horn_400CNF1360_2aQBF_867FAIL891.72
horn_400CNF1520_2aQBF_53FAIL892.83