Instances of family horn solved by QUANTOR
QBFEVAL'05

InstanceResultTime
horn_400CNF1520_2aQBF_625UNSAT0.01
horn_400CNF1520_2aQBF_53UNSAT0.46
horn_400CNF1360_2aQBF_894UNSAT3.02
horn_400CNF1440_2aQBF_668UNSAT3.27
horn_400CNF1280_2aQBF_841UNSAT5.15
horn_400CNF1360_2aQBF_755UNSAT5.22
horn_400CNF1280_2aQBF_389UNSAT10.56
horn_400CNF1440_2aQBF_642FAIL11.34
horn_400CNF1520_2aQBF_165FAIL11.74
horn_400CNF1440_2aQBF_737FAIL11.75
horn_400CNF1520_2aQBF_98FAIL11.8
horn_400CNF1520_2aQBF_387FAIL11.94
horn_400CNF1520_2aQBF_760FAIL11.96
horn_400CNF1520_2aQBF_995FAIL12
horn_400CNF1520_2aQBF_600FAIL12.01
horn_400CNF1520_2aQBF_405FAIL12.03
horn_400CNF1520_2aQBF_782FAIL12.04
horn_400CNF1520_2aQBF_116FAIL12.11
horn_400CNF1600_2aQBF_103FAIL12.13
horn_400CNF1600_2aQBF_789FAIL12.14
horn_400CNF1600_2aQBF_956FAIL12.14
horn_400CNF1600_2aQBF_278FAIL12.18
horn_400CNF1600_2aQBF_331FAIL12.21
horn_400CNF1600_2aQBF_73FAIL12.21
horn_400CNF1440_2aQBF_165FAIL12.21
horn_400CNF1600_2aQBF_922FAIL12.24
horn_400CNF1680_2aQBF_745FAIL12.34
horn_400CNF1600_2aQBF_748FAIL12.4
horn_400CNF1600_2aQBF_26FAIL12.4
horn_400CNF1600_2aQBF_514FAIL12.41
horn_400CNF1600_2aQBF_912FAIL12.42
horn_400CNF1600_2aQBF_236FAIL12.44
horn_400CNF1680_2aQBF_503FAIL12.44
horn_400CNF1600_2aQBF_505FAIL12.55
horn_400CNF1680_2aQBF_244FAIL12.56
horn_400CNF1600_2aQBF_3FAIL12.56
horn_400CNF1680_2aQBF_482FAIL12.59
horn_400CNF1680_2aQBF_950FAIL12.63
horn_400CNF1680_2aQBF_698FAIL12.63
horn_400CNF1680_2aQBF_728FAIL12.65
horn_400CNF1680_2aQBF_91FAIL12.66
horn_400CNF1360_2aQBF_130FAIL12.67
horn_400CNF1680_2aQBF_695FAIL12.73
horn_400CNF1680_2aQBF_29FAIL12.73
horn_400CNF1680_2aQBF_154FAIL12.76
horn_400CNF1520_2aQBF_702FAIL12.78
horn_400CNF1600_2aQBF_571FAIL12.81
horn_400CNF1680_2aQBF_589FAIL12.84
horn_400CNF1200_2aQBF_539FAIL12.85
horn_400CNF1680_2aQBF_433FAIL12.89
horn_400CNF1760_2aQBF_484FAIL12.92
horn_400CNF1680_2aQBF_547FAIL12.93
horn_400CNF1760_2aQBF_711FAIL12.95
horn_400CNF1760_2aQBF_93FAIL12.99
horn_400CNF1680_2aQBF_286FAIL12.99
horn_400CNF1760_2aQBF_330FAIL12.99
horn_400CNF1760_2aQBF_614FAIL13.01
horn_400CNF1360_2aQBF_831UNSAT13.03
horn_400CNF1760_2aQBF_886FAIL13.05
horn_400CNF1760_2aQBF_846FAIL13.08
horn_400CNF1760_2aQBF_997FAIL13.1
horn_400CNF1760_2aQBF_946FAIL13.17
horn_400CNF1760_2aQBF_686FAIL13.2
horn_400CNF1360_2aQBF_788FAIL13.24
horn_400CNF1760_2aQBF_10FAIL13.3
horn_400CNF1760_2aQBF_726FAIL13.33
horn_400CNF1280_2aQBF_755FAIL13.36
horn_400CNF1760_2aQBF_188FAIL13.37
horn_400CNF1360_2aQBF_565FAIL13.37
horn_400CNF1840_2aQBF_198FAIL13.4
horn_400CNF1840_2aQBF_215FAIL13.43
horn_400CNF1760_2aQBF_996FAIL13.47
horn_400CNF1840_2aQBF_980FAIL13.5
horn_400CNF1840_2aQBF_340FAIL13.52
horn_400CNF1760_2aQBF_979FAIL13.53
horn_400CNF1840_2aQBF_514FAIL13.6
horn_400CNF1840_2aQBF_752FAIL13.6
horn_400CNF1360_2aQBF_310FAIL13.61
horn_400CNF1840_2aQBF_158FAIL13.68
horn_400CNF1840_2aQBF_323FAIL13.69
horn_400CNF1840_2aQBF_547FAIL13.69
horn_400CNF1840_2aQBF_32FAIL13.71
horn_400CNF1840_2aQBF_555FAIL13.71
horn_400CNF1840_2aQBF_329FAIL13.84
horn_400CNF1920_2aQBF_704FAIL13.89
horn_400CNF1920_2aQBF_534FAIL13.9
horn_400CNF1840_2aQBF_401FAIL13.92
horn_400CNF1440_2aQBF_676FAIL14.04
horn_400CNF1920_2aQBF_647FAIL14.04
horn_400CNF1920_2aQBF_721FAIL14.05
horn_400CNF1920_2aQBF_583FAIL14.06
horn_400CNF1920_2aQBF_890FAIL14.06
horn_400CNF1360_2aQBF_867FAIL14.09
horn_400CNF1440_2aQBF_829FAIL14.13
horn_400CNF1440_2aQBF_925FAIL14.13
horn_400CNF1440_2aQBF_117FAIL14.16
horn_400CNF1920_2aQBF_603FAIL14.18
horn_400CNF1920_2aQBF_970FAIL14.22
horn_400CNF1920_2aQBF_952FAIL14.22
horn_400CNF1920_2aQBF_597FAIL14.23
horn_400CNF1440_2aQBF_967FAIL14.24
horn_400CNF1920_2aQBF_927FAIL14.29
horn_400CNF2000_2aQBF_702FAIL14.32
horn_400CNF1920_2aQBF_75FAIL14.33
horn_400CNF1920_2aQBF_314FAIL14.36
horn_400CNF2000_2aQBF_8FAIL14.51
horn_400CNF2000_2aQBF_564FAIL14.57
horn_400CNF2000_2aQBF_104FAIL14.61
horn_400CNF1440_2aQBF_553FAIL14.67
horn_400CNF2000_2aQBF_577FAIL14.7
horn_400CNF1520_2aQBF_382FAIL14.7
horn_400CNF2000_2aQBF_787FAIL14.7
horn_400CNF2000_2aQBF_642FAIL14.72
horn_400CNF2000_2aQBF_878FAIL14.75
horn_400CNF2000_2aQBF_456FAIL14.76
horn_400CNF2000_2aQBF_987FAIL14.78
horn_400CNF1440_2aQBF_147FAIL14.78
horn_400CNF2000_2aQBF_650FAIL14.8
horn_400CNF2000_2aQBF_523FAIL14.88
horn_400CNF2080_2aQBF_176FAIL14.98
horn_400CNF2080_2aQBF_714FAIL15.01
horn_400CNF2080_2aQBF_584FAIL15.02
horn_400CNF2080_2aQBF_322FAIL15.04
horn_400CNF2080_2aQBF_840FAIL15.06
horn_400CNF2080_2aQBF_709FAIL15.07
horn_400CNF2080_2aQBF_194FAIL15.25
horn_400CNF2080_2aQBF_899FAIL15.35
horn_400CNF2080_2aQBF_832FAIL15.35
horn_400CNF2160_2aQBF_701FAIL15.43
horn_400CNF2160_2aQBF_411FAIL15.45
horn_400CNF2080_2aQBF_682FAIL15.54
horn_400CNF2160_2aQBF_976FAIL15.56
horn_400CNF2080_2aQBF_793FAIL15.56
horn_400CNF2160_2aQBF_692FAIL15.63
horn_400CNF2160_2aQBF_660FAIL15.77
horn_400CNF2160_2aQBF_996FAIL15.79
horn_400CNF2160_2aQBF_92FAIL15.8
horn_400CNF2160_2aQBF_308FAIL15.81
horn_400CNF2160_2aQBF_657FAIL15.9
horn_400CNF2160_2aQBF_588FAIL15.91
horn_400CNF2160_2aQBF_407FAIL15.97
horn_400CNF2160_2aQBF_427FAIL16.01
horn_400CNF2160_2aQBF_23FAIL16.07
horn_400CNF2320_2aQBF_72FAIL16.56
horn_400CNF2320_2aQBF_209FAIL16.6
horn_400CNF2320_2aQBF_458FAIL16.77
horn_400CNF2320_2aQBF_772FAIL16.87
horn_400CNF2320_2aQBF_420FAIL16.91
horn_400CNF2320_2aQBF_137FAIL16.99
horn_400CNF2320_2aQBF_433FAIL17
horn_400CNF2320_2aQBF_80FAIL17.01
horn_400CNF2320_2aQBF_797FAIL17.07
horn_400CNF2320_2aQBF_832FAIL17.08
horn_400CNF2320_2aQBF_813FAIL17.08
horn_400CNF2320_2aQBF_132FAIL17.28
horn_400CNF2320_2aQBF_230FAIL17.55