Instances of family horn solved by GRL
QBFEVAL'05

InstanceResultTime
horn_400CNF1280_2aQBF_841UNSAT0.03
horn_400CNF1520_2aQBF_98UNSAT0.04
horn_400CNF1680_2aQBF_91UNSAT0.04
horn_400CNF1920_2aQBF_927UNSAT0.04
horn_400CNF1840_2aQBF_752UNSAT0.04
horn_400CNF1360_2aQBF_894UNSAT0.04
horn_400CNF1360_2aQBF_755UNSAT0.04
horn_400CNF1360_2aQBF_130UNSAT0.04
horn_400CNF1680_2aQBF_154UNSAT0.05
horn_400CNF1760_2aQBF_726UNSAT0.05
horn_400CNF1600_2aQBF_748UNSAT0.05
horn_400CNF1760_2aQBF_886UNSAT0.05
horn_400CNF1520_2aQBF_53UNSAT0.05
horn_400CNF1600_2aQBF_236UNSAT0.05
horn_400CNF1760_2aQBF_484UNSAT0.05
horn_400CNF2000_2aQBF_564UNSAT0.05
horn_400CNF1600_2aQBF_278UNSAT0.05
horn_400CNF1600_2aQBF_571UNSAT0.05
horn_400CNF2160_2aQBF_411UNSAT0.05
horn_400CNF2160_2aQBF_657UNSAT0.06
horn_400CNF1520_2aQBF_165UNSAT0.06
horn_400CNF1600_2aQBF_922UNSAT0.06
horn_400CNF1680_2aQBF_29UNSAT0.06
horn_400CNF1840_2aQBF_401UNSAT0.06
horn_400CNF1920_2aQBF_721UNSAT0.06
horn_400CNF1760_2aQBF_10UNSAT0.06
horn_400CNF2080_2aQBF_793UNSAT0.06
horn_400CNF1760_2aQBF_946UNSAT0.07
horn_400CNF1840_2aQBF_215UNSAT0.07
horn_400CNF2000_2aQBF_650UNSAT0.07
horn_400CNF2160_2aQBF_660UNSAT0.07
horn_400CNF1840_2aQBF_158UNSAT0.09
horn_400CNF2320_2aQBF_433UNSAT0.09
horn_400CNF1440_2aQBF_117UNSAT0.1
horn_400CNF1360_2aQBF_310UNSAT0.13
horn_400CNF1360_2aQBF_867UNSAT0.15
horn_400CNF1680_2aQBF_589UNSAT0.24
horn_400CNF2080_2aQBF_194UNSAT0.24
horn_400CNF2160_2aQBF_976UNSAT0.25
horn_400CNF2320_2aQBF_137UNSAT0.7
horn_400CNF1520_2aQBF_625UNSAT0.79
horn_400CNF1840_2aQBF_340UNSAT1.18
horn_400CNF1440_2aQBF_829UNSAT1.33
horn_400CNF1520_2aQBF_405UNSAT9.83
horn_400CNF1600_2aQBF_26UNSAT22.49
horn_400CNF1920_2aQBF_704UNSAT23.23
horn_400CNF1440_2aQBF_737SAT26.42
horn_400CNF1440_2aQBF_925SAT28.46
horn_400CNF1520_2aQBF_782UNSAT29.16
horn_400CNF1360_2aQBF_788SAT35.57
horn_400CNF1280_2aQBF_389UNSAT37.43
horn_400CNF1200_2aQBF_539SAT40.38
horn_400CNF2000_2aQBF_8UNSAT51.9
horn_400CNF2080_2aQBF_584UNSAT59.97
horn_400CNF1520_2aQBF_600UNSAT93.82
horn_400CNF1600_2aQBF_73SAT116.53
horn_400CNF1760_2aQBF_979UNSAT142.11
horn_400CNF1440_2aQBF_165UNSAT248.82
horn_400CNF2320_2aQBF_420UNSAT262.87
horn_400CNF1360_2aQBF_831UNSAT264.58
horn_400CNF1280_2aQBF_755SAT277.43
horn_400CNF1600_2aQBF_789SAT452.67
horn_400CNF1360_2aQBF_565SAT892.73
horn_400CNF1840_2aQBF_547FAIL900.76
horn_400CNF1520_2aQBF_995FAIL900.82
horn_400CNF2000_2aQBF_104FAIL900.83
horn_400CNF2320_2aQBF_772FAIL900.84
horn_400CNF1840_2aQBF_329FAIL900.85
horn_400CNF2160_2aQBF_92FAIL900.86
horn_400CNF2320_2aQBF_797FAIL900.86
horn_400CNF2160_2aQBF_588FAIL900.86
horn_400CNF2080_2aQBF_840FAIL900.86
horn_400CNF1680_2aQBF_745FAIL900.86
horn_400CNF1760_2aQBF_93FAIL900.87
horn_400CNF1520_2aQBF_702FAIL900.87
horn_400CNF1760_2aQBF_614FAIL900.87
horn_400CNF1600_2aQBF_3FAIL900.88
horn_400CNF2000_2aQBF_577FAIL900.88
horn_400CNF1680_2aQBF_547FAIL900.88
horn_400CNF2320_2aQBF_209FAIL900.88
horn_400CNF1840_2aQBF_514FAIL900.88
horn_400CNF1680_2aQBF_286FAIL900.88
horn_400CNF1440_2aQBF_147FAIL900.89
horn_400CNF1600_2aQBF_956FAIL900.89
horn_400CNF1440_2aQBF_668FAIL900.89
horn_400CNF1600_2aQBF_331FAIL900.89
horn_400CNF2000_2aQBF_456FAIL900.89
horn_400CNF1840_2aQBF_980FAIL900.89
horn_400CNF1520_2aQBF_116FAIL900.89
horn_400CNF1920_2aQBF_583FAIL900.89
horn_400CNF1520_2aQBF_760FAIL900.89
horn_400CNF2160_2aQBF_427FAIL900.9
horn_400CNF2080_2aQBF_899FAIL900.9
horn_400CNF2000_2aQBF_523FAIL900.9
horn_400CNF1680_2aQBF_695FAIL900.9
horn_400CNF1520_2aQBF_387FAIL900.9
horn_400CNF1440_2aQBF_967FAIL900.9
horn_400CNF1760_2aQBF_188FAIL900.9
horn_400CNF1680_2aQBF_482FAIL900.91
horn_400CNF1760_2aQBF_330FAIL900.91
horn_400CNF1760_2aQBF_996FAIL900.91
horn_400CNF1440_2aQBF_642FAIL900.91
horn_400CNF2080_2aQBF_832FAIL900.91
horn_400CNF2320_2aQBF_80FAIL900.91
horn_400CNF1760_2aQBF_846FAIL900.91
horn_400CNF1840_2aQBF_323FAIL900.91
horn_400CNF1680_2aQBF_433FAIL900.91
horn_400CNF2320_2aQBF_832FAIL900.91
horn_400CNF1600_2aQBF_103FAIL900.91
horn_400CNF1440_2aQBF_553FAIL900.91
horn_400CNF1840_2aQBF_555FAIL900.91
horn_400CNF1680_2aQBF_503FAIL900.91
horn_400CNF1920_2aQBF_952FAIL900.91
horn_400CNF2320_2aQBF_813FAIL900.92
horn_400CNF2160_2aQBF_701FAIL900.92
horn_400CNF1920_2aQBF_890FAIL900.92
horn_400CNF1840_2aQBF_32FAIL900.92
horn_400CNF2000_2aQBF_987FAIL900.92
horn_400CNF2160_2aQBF_692FAIL900.92
horn_400CNF1920_2aQBF_534FAIL900.92
horn_400CNF1680_2aQBF_244FAIL900.92
horn_400CNF2160_2aQBF_407FAIL900.92
horn_400CNF2080_2aQBF_682FAIL900.92
horn_400CNF1760_2aQBF_686FAIL900.93
horn_400CNF2320_2aQBF_132FAIL900.93
horn_400CNF1600_2aQBF_514FAIL900.93
horn_400CNF1760_2aQBF_997FAIL900.93
horn_400CNF1440_2aQBF_676FAIL900.93
horn_400CNF2080_2aQBF_714FAIL900.93
horn_400CNF1920_2aQBF_970FAIL900.93
horn_400CNF2000_2aQBF_787FAIL900.93
horn_400CNF1680_2aQBF_950FAIL900.93
horn_400CNF2080_2aQBF_176FAIL900.94
horn_400CNF1680_2aQBF_698FAIL900.94
horn_400CNF1760_2aQBF_711FAIL900.94
horn_400CNF2000_2aQBF_702FAIL900.94
horn_400CNF2000_2aQBF_878FAIL900.94
horn_400CNF2000_2aQBF_642FAIL900.94
horn_400CNF1920_2aQBF_314FAIL900.94
horn_400CNF2320_2aQBF_230FAIL900.94
horn_400CNF2160_2aQBF_23FAIL900.94
horn_400CNF2320_2aQBF_458FAIL900.94
horn_400CNF2160_2aQBF_308FAIL900.94
horn_400CNF1920_2aQBF_75FAIL900.95
horn_400CNF1840_2aQBF_198FAIL900.95
horn_400CNF1680_2aQBF_728FAIL900.95
horn_400CNF1520_2aQBF_382FAIL900.95
horn_400CNF1600_2aQBF_912FAIL900.95
horn_400CNF1920_2aQBF_603FAIL900.96
horn_400CNF2080_2aQBF_709FAIL900.96
horn_400CNF2160_2aQBF_996FAIL900.96
horn_400CNF1600_2aQBF_505FAIL900.96
horn_400CNF2080_2aQBF_322FAIL900.96
horn_400CNF1920_2aQBF_597FAIL900.96
horn_400CNF2320_2aQBF_72FAIL900.96
horn_400CNF1920_2aQBF_647FAIL900.96