Instances of family horn solved by skizzo_v0.5
QBFEVAL'05

InstanceResultTime
horn_400CNF1520_2aQBF_165UNSAT9.16
horn_400CNF1840_2aQBF_340UNSAT10.83
horn_400CNF1360_2aQBF_867UNSAT13.37
horn_400CNF1520_2aQBF_405UNSAT19.39
horn_400CNF1840_2aQBF_752UNSAT23.94
horn_400CNF1440_2aQBF_829UNSAT30.11
horn_400CNF1600_2aQBF_571UNSAT36.2
horn_400CNF1680_2aQBF_433UNSAT42.02
horn_400CNF2000_2aQBF_564UNSAT44.5
horn_400CNF1440_2aQBF_668UNSAT44.71
horn_400CNF1600_2aQBF_922UNSAT45.42
horn_400CNF1520_2aQBF_782UNSAT56.84
horn_400CNF1760_2aQBF_10UNSAT58.48
horn_400CNF1840_2aQBF_980UNSAT61.78
horn_400CNF1360_2aQBF_130UNSAT74.9
horn_400CNF1920_2aQBF_603UNSAT79.07
horn_400CNF2160_2aQBF_411UNSAT80.26
horn_400CNF1520_2aQBF_53UNSAT87.87
horn_400CNF1760_2aQBF_188UNSAT99.64
horn_400CNF1360_2aQBF_831UNSAT102.41
horn_400CNF1600_2aQBF_236UNSAT104.69
horn_400CNF2320_2aQBF_209UNSAT106.22
horn_400CNF2080_2aQBF_793UNSAT172.66
horn_400CNF1760_2aQBF_330UNSAT230.04
horn_400CNF2080_2aQBF_584UNSAT232.16
horn_400CNF2000_2aQBF_8UNSAT276.49
horn_400CNF1920_2aQBF_75UNSAT289.45
horn_400CNF2160_2aQBF_23UNSAT373.64
horn_400CNF2160_2aQBF_660UNSAT437.15
horn_400CNF1680_2aQBF_154UNSAT629.9
horn_400CNF2320_2aQBF_420UNSAT758.17
horn_400CNF1520_2aQBF_600UNSAT839.03
horn_400CNF1840_2aQBF_215UNSAT871.42
horn_400CNF1920_2aQBF_583FAIL898.37
horn_400CNF1840_2aQBF_547FAIL900.5
horn_400CNF1600_2aQBF_912FAIL900.66
horn_400CNF1680_2aQBF_695FAIL900.67
horn_400CNF1920_2aQBF_534FAIL900.74
horn_400CNF1520_2aQBF_760FAIL900.76
horn_400CNF1680_2aQBF_698FAIL900.76
horn_400CNF2000_2aQBF_523FAIL900.76
horn_400CNF1920_2aQBF_597FAIL900.77
horn_400CNF1600_2aQBF_789FAIL900.8
horn_400CNF1200_2aQBF_539FAIL900.8
horn_400CNF2000_2aQBF_987FAIL900.8
horn_400CNF1440_2aQBF_147FAIL900.81
horn_400CNF1600_2aQBF_956FAIL900.81
horn_400CNF2000_2aQBF_702FAIL900.81
horn_400CNF1680_2aQBF_745FAIL900.81
horn_400CNF1760_2aQBF_484FAIL900.82
horn_400CNF1440_2aQBF_676FAIL900.82
horn_400CNF1360_2aQBF_894FAIL900.83
horn_400CNF1680_2aQBF_482FAIL900.83
horn_400CNF2160_2aQBF_996FAIL900.83
horn_400CNF2320_2aQBF_132FAIL900.83
horn_400CNF2160_2aQBF_701FAIL900.84
horn_400CNF1520_2aQBF_98FAIL900.84
horn_400CNF1440_2aQBF_553FAIL900.84
horn_400CNF1760_2aQBF_997FAIL900.84
horn_400CNF2080_2aQBF_840FAIL900.84
horn_400CNF2000_2aQBF_787FAIL900.84
horn_400CNF1680_2aQBF_244FAIL900.85
horn_400CNF2320_2aQBF_772FAIL900.85
horn_400CNF2080_2aQBF_832FAIL900.85
horn_400CNF1440_2aQBF_117FAIL900.85
horn_400CNF1840_2aQBF_198FAIL900.85
horn_400CNF1600_2aQBF_331FAIL900.85
horn_400CNF1440_2aQBF_165FAIL900.86
horn_400CNF2080_2aQBF_899FAIL900.86
horn_400CNF2000_2aQBF_878FAIL900.86
horn_400CNF1680_2aQBF_547FAIL900.86
horn_400CNF1520_2aQBF_387FAIL900.86
horn_400CNF1920_2aQBF_721FAIL900.86
horn_400CNF1680_2aQBF_286FAIL900.86
horn_400CNF1600_2aQBF_3FAIL900.87
horn_400CNF2320_2aQBF_813FAIL900.87
horn_400CNF1280_2aQBF_841FAIL900.87
horn_400CNF2160_2aQBF_657FAIL900.87
horn_400CNF1760_2aQBF_996FAIL900.87
horn_400CNF1600_2aQBF_505FAIL900.87
horn_400CNF1600_2aQBF_278FAIL900.87
horn_400CNF2320_2aQBF_458FAIL900.88
horn_400CNF1520_2aQBF_995FAIL900.88
horn_400CNF2000_2aQBF_642FAIL900.88
horn_400CNF1600_2aQBF_514FAIL900.88
horn_400CNF2080_2aQBF_714FAIL900.88
horn_400CNF1920_2aQBF_647FAIL900.88
horn_400CNF1600_2aQBF_73FAIL900.88
horn_400CNF1520_2aQBF_382FAIL900.88
horn_400CNF1920_2aQBF_952FAIL900.89
horn_400CNF2160_2aQBF_92FAIL900.89
horn_400CNF1840_2aQBF_158FAIL900.89
horn_400CNF1760_2aQBF_726FAIL900.89
horn_400CNF1600_2aQBF_748FAIL900.89
horn_400CNF2320_2aQBF_80FAIL900.89
horn_400CNF2000_2aQBF_650FAIL900.89
horn_400CNF2160_2aQBF_976FAIL900.89
horn_400CNF1840_2aQBF_32FAIL900.89
horn_400CNF1680_2aQBF_589FAIL900.9
horn_400CNF1360_2aQBF_310FAIL900.9
horn_400CNF2080_2aQBF_709FAIL900.9
horn_400CNF1760_2aQBF_711FAIL900.9
horn_400CNF1440_2aQBF_642FAIL900.9
horn_400CNF1280_2aQBF_755FAIL900.9
horn_400CNF1280_2aQBF_389FAIL900.9
horn_400CNF1760_2aQBF_93FAIL900.9
horn_400CNF1600_2aQBF_103FAIL900.9
horn_400CNF1840_2aQBF_514FAIL900.9
horn_400CNF2320_2aQBF_230FAIL900.9
horn_400CNF1520_2aQBF_702FAIL900.9
horn_400CNF2160_2aQBF_692FAIL900.9
horn_400CNF1760_2aQBF_686FAIL900.91
horn_400CNF2160_2aQBF_427FAIL900.91
horn_400CNF2320_2aQBF_433FAIL900.91
horn_400CNF1440_2aQBF_925FAIL900.91
horn_400CNF2320_2aQBF_137FAIL900.91
horn_400CNF1440_2aQBF_967FAIL900.91
horn_400CNF1520_2aQBF_116FAIL900.91
horn_400CNF1920_2aQBF_704FAIL900.91
horn_400CNF1680_2aQBF_950FAIL900.92
horn_400CNF1760_2aQBF_614FAIL900.92
horn_400CNF1360_2aQBF_788FAIL900.92
horn_400CNF2080_2aQBF_322FAIL900.92
horn_400CNF2000_2aQBF_456FAIL900.92
horn_400CNF1840_2aQBF_329FAIL900.92
horn_400CNF2160_2aQBF_308FAIL900.93
horn_400CNF2320_2aQBF_72FAIL900.93
horn_400CNF1680_2aQBF_91FAIL900.93
horn_400CNF1920_2aQBF_927FAIL900.93
horn_400CNF1840_2aQBF_323FAIL900.94
horn_400CNF1680_2aQBF_29FAIL900.94
horn_400CNF1680_2aQBF_728FAIL900.94
horn_400CNF1360_2aQBF_565FAIL900.95
horn_400CNF1760_2aQBF_886FAIL900.95
horn_400CNF1760_2aQBF_846FAIL900.95
horn_400CNF2080_2aQBF_194FAIL900.95
horn_400CNF2160_2aQBF_407FAIL900.96
horn_400CNF1760_2aQBF_946FAIL900.96
horn_400CNF1440_2aQBF_737FAIL900.96
horn_400CNF2160_2aQBF_588FAIL900.96
horn_400CNF2000_2aQBF_577FAIL900.96
horn_400CNF1680_2aQBF_503FAIL900.96
horn_400CNF1600_2aQBF_26FAIL900.97
horn_400CNF1920_2aQBF_890FAIL900.97
horn_400CNF2320_2aQBF_797FAIL900.97
horn_400CNF2000_2aQBF_104FAIL900.97
horn_400CNF1920_2aQBF_314FAIL900.97
horn_400CNF1920_2aQBF_970FAIL900.97
horn_400CNF1360_2aQBF_755FAIL900.98
horn_400CNF2080_2aQBF_682FAIL900.98
horn_400CNF2080_2aQBF_176FAIL900.98
horn_400CNF1520_2aQBF_625FAIL900.98
horn_400CNF1840_2aQBF_401FAIL900.99
horn_400CNF1840_2aQBF_555FAIL900.99
horn_400CNF1760_2aQBF_979FAIL901.01
horn_400CNF2320_2aQBF_832FAIL901.03