Instances of family horn solved by QChaffLearn
QBFEVAL'05

InstanceResultTime
horn_400CNF1280_2aQBF_841UNSAT0.01
horn_400CNF1520_2aQBF_98UNSAT0.01
horn_400CNF2160_2aQBF_411UNSAT0.02
horn_400CNF1360_2aQBF_894UNSAT0.02
horn_400CNF1360_2aQBF_755UNSAT0.02
horn_400CNF1360_2aQBF_130UNSAT0.02
horn_400CNF1760_2aQBF_946UNSAT0.02
horn_400CNF1680_2aQBF_154UNSAT0.02
horn_400CNF1520_2aQBF_53UNSAT0.02
horn_400CNF1600_2aQBF_236UNSAT0.02
horn_400CNF1600_2aQBF_748UNSAT0.02
horn_400CNF1600_2aQBF_922UNSAT0.02
horn_400CNF1680_2aQBF_29UNSAT0.02
horn_400CNF1920_2aQBF_927UNSAT0.02
horn_400CNF1600_2aQBF_278UNSAT0.02
horn_400CNF2080_2aQBF_793UNSAT0.02
horn_400CNF1600_2aQBF_571UNSAT0.02
horn_400CNF1920_2aQBF_721UNSAT0.02
horn_400CNF2160_2aQBF_660UNSAT0.03
horn_400CNF1360_2aQBF_867UNSAT0.03
horn_400CNF1840_2aQBF_215UNSAT0.03
horn_400CNF1440_2aQBF_117UNSAT0.03
horn_400CNF1760_2aQBF_726UNSAT0.03
horn_400CNF2000_2aQBF_650UNSAT0.03
horn_400CNF1760_2aQBF_484UNSAT0.03
horn_400CNF1680_2aQBF_91UNSAT0.03
horn_400CNF1840_2aQBF_752UNSAT0.03
horn_400CNF1840_2aQBF_401UNSAT0.03
horn_400CNF1760_2aQBF_10UNSAT0.03
horn_400CNF2160_2aQBF_657UNSAT0.04
horn_400CNF2320_2aQBF_433UNSAT0.04
horn_400CNF1760_2aQBF_886UNSAT0.04
horn_400CNF1520_2aQBF_165UNSAT0.04
horn_400CNF2000_2aQBF_564UNSAT0.04
horn_400CNF1360_2aQBF_310UNSAT0.05
horn_400CNF1840_2aQBF_158UNSAT0.06
horn_400CNF2080_2aQBF_194UNSAT0.06
horn_400CNF2320_2aQBF_137UNSAT0.25
horn_400CNF1680_2aQBF_589UNSAT0.61
horn_400CNF2160_2aQBF_976UNSAT0.87
horn_400CNF1840_2aQBF_340UNSAT1.07
horn_400CNF1440_2aQBF_829UNSAT5.81
horn_400CNF1520_2aQBF_405UNSAT14.36
horn_400CNF1520_2aQBF_625UNSAT37.92
horn_400CNF1360_2aQBF_788SAT47.54
horn_400CNF1920_2aQBF_704UNSAT97.95
horn_400CNF2320_2aQBF_420UNSAT130.65
horn_400CNF1600_2aQBF_26UNSAT159.73
horn_400CNF1520_2aQBF_600UNSAT314.34
horn_400CNF1280_2aQBF_755SAT371.26
horn_400CNF2080_2aQBF_584UNSAT480.22
horn_400CNF1360_2aQBF_831UNSAT493.87
horn_400CNF1440_2aQBF_925SAT587.37
horn_400CNF1520_2aQBF_782UNSAT609.74
horn_400CNF2000_2aQBF_8UNSAT680.89
horn_400CNF1200_2aQBF_539FAIL834.21
horn_400CNF1280_2aQBF_389FAIL838.15
horn_400CNF1360_2aQBF_565FAIL839.53
horn_400CNF1440_2aQBF_553FAIL839.78
horn_400CNF1440_2aQBF_165FAIL840.39
horn_400CNF1440_2aQBF_147FAIL841.7
horn_400CNF1440_2aQBF_676FAIL842.24
horn_400CNF1440_2aQBF_737FAIL842.34
horn_400CNF1440_2aQBF_967FAIL842.41
horn_400CNF1520_2aQBF_995FAIL843.36
horn_400CNF1520_2aQBF_382FAIL844.23
horn_400CNF1520_2aQBF_760FAIL844.33
horn_400CNF1440_2aQBF_668FAIL844.57
horn_400CNF1440_2aQBF_642FAIL844.74
horn_400CNF1520_2aQBF_702FAIL845.83
horn_400CNF1680_2aQBF_433FAIL846.08
horn_400CNF1600_2aQBF_73FAIL846.19
horn_400CNF1680_2aQBF_728FAIL846.33
horn_400CNF1520_2aQBF_387FAIL846.51
horn_400CNF1600_2aQBF_103FAIL846.54
horn_400CNF1680_2aQBF_950FAIL846.67
horn_400CNF1600_2aQBF_331FAIL846.85
horn_400CNF1600_2aQBF_505FAIL847.39
horn_400CNF1520_2aQBF_116FAIL847.4
horn_400CNF1600_2aQBF_912FAIL847.52
horn_400CNF1600_2aQBF_3FAIL848.06
horn_400CNF1600_2aQBF_789FAIL848.24
horn_400CNF1600_2aQBF_956FAIL848.26
horn_400CNF1600_2aQBF_514FAIL848.38
horn_400CNF1680_2aQBF_482FAIL848.39
horn_400CNF1680_2aQBF_547FAIL848.45
horn_400CNF1680_2aQBF_503FAIL848.49
horn_400CNF1760_2aQBF_330FAIL849.09
horn_400CNF1680_2aQBF_698FAIL849.56
horn_400CNF1680_2aQBF_286FAIL849.87
horn_400CNF1680_2aQBF_244FAIL850
horn_400CNF1760_2aQBF_996FAIL850.09
horn_400CNF1760_2aQBF_979FAIL850.3
horn_400CNF1680_2aQBF_745FAIL850.41
horn_400CNF1680_2aQBF_695FAIL850.43
horn_400CNF1760_2aQBF_997FAIL850.87
horn_400CNF1760_2aQBF_188FAIL851.19
horn_400CNF1760_2aQBF_686FAIL851.27
horn_400CNF1840_2aQBF_514FAIL851.38
horn_400CNF1760_2aQBF_846FAIL852.01
horn_400CNF1760_2aQBF_614FAIL852.2
horn_400CNF1840_2aQBF_555FAIL852.49
horn_400CNF1840_2aQBF_323FAIL852.64
horn_400CNF1840_2aQBF_32FAIL852.81
horn_400CNF1840_2aQBF_547FAIL853.15
horn_400CNF1920_2aQBF_314FAIL853.23
horn_400CNF1840_2aQBF_329FAIL853.39
horn_400CNF1920_2aQBF_75FAIL853.49
horn_400CNF1760_2aQBF_711FAIL853.59
horn_400CNF1760_2aQBF_93FAIL853.92
horn_400CNF1920_2aQBF_647FAIL853.94
horn_400CNF1920_2aQBF_890FAIL854.24
horn_400CNF1920_2aQBF_534FAIL854.31
horn_400CNF1840_2aQBF_198FAIL854.67
horn_400CNF1920_2aQBF_583FAIL854.67
horn_400CNF1920_2aQBF_597FAIL854.7
horn_400CNF1920_2aQBF_952FAIL854.93
horn_400CNF2000_2aQBF_523FAIL854.94
horn_400CNF1920_2aQBF_970FAIL855.13
horn_400CNF2000_2aQBF_787FAIL855.22
horn_400CNF1920_2aQBF_603FAIL855.44
horn_400CNF1840_2aQBF_980FAIL855.51
horn_400CNF2000_2aQBF_577FAIL856.7
horn_400CNF2080_2aQBF_682FAIL856.72
horn_400CNF2080_2aQBF_709FAIL856.83
horn_400CNF2080_2aQBF_176FAIL856.87
horn_400CNF2080_2aQBF_840FAIL857.01
horn_400CNF2000_2aQBF_702FAIL857.15
horn_400CNF2000_2aQBF_104FAIL857.45
horn_400CNF2000_2aQBF_987FAIL857.54
horn_400CNF2080_2aQBF_322FAIL857.79
horn_400CNF2160_2aQBF_308FAIL857.99
horn_400CNF2000_2aQBF_642FAIL857.99
horn_400CNF2080_2aQBF_899FAIL858.19
horn_400CNF2160_2aQBF_92FAIL858.4
horn_400CNF2160_2aQBF_23FAIL858.52
horn_400CNF2000_2aQBF_878FAIL858.81
horn_400CNF2160_2aQBF_692FAIL858.99
horn_400CNF2080_2aQBF_714FAIL859.13
horn_400CNF2160_2aQBF_427FAIL859.41
horn_400CNF2160_2aQBF_701FAIL859.42
horn_400CNF2080_2aQBF_832FAIL859.5
horn_400CNF2000_2aQBF_456FAIL859.52
horn_400CNF2160_2aQBF_588FAIL859.62
horn_400CNF2160_2aQBF_407FAIL860.08
horn_400CNF2160_2aQBF_996FAIL860.49
horn_400CNF2320_2aQBF_832FAIL861.12
horn_400CNF2320_2aQBF_813FAIL861.38
horn_400CNF2320_2aQBF_797FAIL861.57
horn_400CNF2320_2aQBF_209FAIL861.58
horn_400CNF2320_2aQBF_230FAIL861.77
horn_400CNF2320_2aQBF_132FAIL861.78
horn_400CNF2320_2aQBF_772FAIL862
horn_400CNF2320_2aQBF_72FAIL862.07
horn_400CNF2320_2aQBF_80FAIL862.2
horn_400CNF2320_2aQBF_458FAIL863.37