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

InstanceResultTime
horn_400CNF1520_2aQBF_165UNSAT8.92
horn_400CNF1840_2aQBF_340UNSAT10.62
horn_400CNF1360_2aQBF_867UNSAT13.18
horn_400CNF1520_2aQBF_405UNSAT19.28
horn_400CNF1840_2aQBF_752UNSAT24.04
horn_400CNF1440_2aQBF_829UNSAT29.77
horn_400CNF1600_2aQBF_571UNSAT36.66
horn_400CNF1680_2aQBF_433UNSAT42.24
horn_400CNF1440_2aQBF_668UNSAT44.87
horn_400CNF1600_2aQBF_922UNSAT44.88
horn_400CNF2000_2aQBF_564UNSAT45.09
horn_400CNF1520_2aQBF_782UNSAT57.46
horn_400CNF1760_2aQBF_10UNSAT58.4
horn_400CNF1840_2aQBF_980UNSAT61.95
horn_400CNF1360_2aQBF_130UNSAT74.77
horn_400CNF1920_2aQBF_603UNSAT79.21
horn_400CNF2160_2aQBF_411UNSAT80.85
horn_400CNF1520_2aQBF_53UNSAT88.01
horn_400CNF1760_2aQBF_188UNSAT100.96
horn_400CNF1360_2aQBF_831UNSAT102.25
horn_400CNF1600_2aQBF_236UNSAT104.86
horn_400CNF2320_2aQBF_209UNSAT106.08
horn_400CNF2080_2aQBF_793UNSAT172.34
horn_400CNF1760_2aQBF_330UNSAT229.61
horn_400CNF2080_2aQBF_584UNSAT232.29
horn_400CNF2000_2aQBF_8UNSAT276.41
horn_400CNF1920_2aQBF_75UNSAT289.49
horn_400CNF1280_2aQBF_389UNSAT300.08
horn_400CNF2160_2aQBF_23UNSAT374.24
horn_400CNF2160_2aQBF_660UNSAT438.35
horn_400CNF1680_2aQBF_154UNSAT629.91
horn_400CNF1520_2aQBF_625UNSAT648.47
horn_400CNF2320_2aQBF_420UNSAT758.16
horn_400CNF1520_2aQBF_600UNSAT839.51
horn_400CNF1840_2aQBF_215UNSAT870.97
horn_400CNF2000_2aQBF_702FAIL898.23
horn_400CNF2320_2aQBF_458FAIL900.69
horn_400CNF2320_2aQBF_132FAIL900.74
horn_400CNF1360_2aQBF_755FAIL900.74
horn_400CNF2000_2aQBF_642FAIL900.81
horn_400CNF1680_2aQBF_547FAIL900.81
horn_400CNF1600_2aQBF_956FAIL900.82
horn_400CNF1520_2aQBF_387FAIL900.83
horn_400CNF2320_2aQBF_230FAIL900.83
horn_400CNF1600_2aQBF_505FAIL900.83
horn_400CNF1920_2aQBF_583FAIL900.84
horn_400CNF1520_2aQBF_116FAIL900.84
horn_400CNF1680_2aQBF_728FAIL900.84
horn_400CNF2320_2aQBF_772FAIL900.84
horn_400CNF2080_2aQBF_714FAIL900.85
horn_400CNF2160_2aQBF_657FAIL900.85
horn_400CNF1440_2aQBF_165FAIL900.85
horn_400CNF2320_2aQBF_72FAIL900.86
horn_400CNF1680_2aQBF_244FAIL900.86
horn_400CNF1440_2aQBF_147FAIL900.86
horn_400CNF1600_2aQBF_3FAIL900.86
horn_400CNF2320_2aQBF_813FAIL900.86
horn_400CNF1760_2aQBF_946FAIL900.86
horn_400CNF2080_2aQBF_709FAIL900.86
horn_400CNF1760_2aQBF_711FAIL900.86
horn_400CNF2000_2aQBF_523FAIL900.86
horn_400CNF1600_2aQBF_789FAIL900.86
horn_400CNF1680_2aQBF_745FAIL900.87
horn_400CNF1600_2aQBF_73FAIL900.87
horn_400CNF1520_2aQBF_382FAIL900.87
horn_400CNF1520_2aQBF_995FAIL900.87
horn_400CNF1440_2aQBF_117FAIL900.87
horn_400CNF1760_2aQBF_846FAIL900.87
horn_400CNF1680_2aQBF_695FAIL900.87
horn_400CNF1200_2aQBF_539FAIL900.87
horn_400CNF2080_2aQBF_194FAIL900.88
horn_400CNF1760_2aQBF_997FAIL900.88
horn_400CNF1760_2aQBF_484FAIL900.88
horn_400CNF2320_2aQBF_137FAIL900.88
horn_400CNF1600_2aQBF_331FAIL900.88
horn_400CNF1600_2aQBF_278FAIL900.88
horn_400CNF2160_2aQBF_427FAIL900.88
horn_400CNF1440_2aQBF_737FAIL900.88
horn_400CNF1360_2aQBF_565FAIL900.88
horn_400CNF2320_2aQBF_797FAIL900.88
horn_400CNF1440_2aQBF_642FAIL900.88
horn_400CNF2320_2aQBF_832FAIL900.88
horn_400CNF1280_2aQBF_755FAIL900.88
horn_400CNF1600_2aQBF_514FAIL900.89
horn_400CNF1760_2aQBF_979FAIL900.89
horn_400CNF1440_2aQBF_925FAIL900.89
horn_400CNF1840_2aQBF_329FAIL900.89
horn_400CNF2000_2aQBF_987FAIL900.89
horn_400CNF2160_2aQBF_308FAIL900.89
horn_400CNF1360_2aQBF_788FAIL900.89
horn_400CNF1600_2aQBF_103FAIL900.9
horn_400CNF2080_2aQBF_322FAIL900.9
horn_400CNF2160_2aQBF_692FAIL900.9
horn_400CNF1920_2aQBF_534FAIL900.9
horn_400CNF1840_2aQBF_158FAIL900.9
horn_400CNF2160_2aQBF_92FAIL900.9
horn_400CNF1840_2aQBF_198FAIL900.9
horn_400CNF1520_2aQBF_702FAIL900.91
horn_400CNF2000_2aQBF_456FAIL900.91
horn_400CNF1600_2aQBF_26FAIL900.91
horn_400CNF1760_2aQBF_614FAIL900.91
horn_400CNF1760_2aQBF_886FAIL900.91
horn_400CNF1520_2aQBF_98FAIL900.92
horn_400CNF1920_2aQBF_970FAIL900.92
horn_400CNF1920_2aQBF_927FAIL900.92
horn_400CNF1840_2aQBF_401FAIL900.92
horn_400CNF2160_2aQBF_976FAIL900.92
horn_400CNF1680_2aQBF_286FAIL900.92
horn_400CNF1840_2aQBF_555FAIL900.92
horn_400CNF2080_2aQBF_682FAIL900.92
horn_400CNF2080_2aQBF_176FAIL900.92
horn_400CNF1680_2aQBF_698FAIL900.92
horn_400CNF1920_2aQBF_890FAIL900.92
horn_400CNF2320_2aQBF_433FAIL900.92
horn_400CNF1760_2aQBF_726FAIL900.92
horn_400CNF2160_2aQBF_996FAIL900.92
horn_400CNF2000_2aQBF_577FAIL900.92
horn_400CNF1920_2aQBF_597FAIL900.93
horn_400CNF1680_2aQBF_503FAIL900.93
horn_400CNF2080_2aQBF_840FAIL900.93
horn_400CNF1920_2aQBF_952FAIL900.93
horn_400CNF1680_2aQBF_950FAIL900.93
horn_400CNF1840_2aQBF_547FAIL900.93
horn_400CNF1280_2aQBF_841FAIL900.93
horn_400CNF1680_2aQBF_482FAIL900.93
horn_400CNF2080_2aQBF_832FAIL900.93
horn_400CNF2320_2aQBF_80FAIL900.93
horn_400CNF1840_2aQBF_323FAIL900.93
horn_400CNF1760_2aQBF_93FAIL900.93
horn_400CNF2000_2aQBF_878FAIL900.93
horn_400CNF1680_2aQBF_29FAIL900.94
horn_400CNF1440_2aQBF_553FAIL900.94
horn_400CNF1920_2aQBF_647FAIL900.94
horn_400CNF1840_2aQBF_32FAIL900.94
horn_400CNF1920_2aQBF_704FAIL900.94
horn_400CNF1600_2aQBF_912FAIL900.94
horn_400CNF1360_2aQBF_894FAIL900.94
horn_400CNF2160_2aQBF_588FAIL900.94
horn_400CNF1760_2aQBF_996FAIL900.94
horn_400CNF1600_2aQBF_748FAIL900.94
horn_400CNF2000_2aQBF_650FAIL900.94
horn_400CNF1840_2aQBF_514FAIL900.95
horn_400CNF1680_2aQBF_91FAIL900.95
horn_400CNF1520_2aQBF_760FAIL900.95
horn_400CNF2160_2aQBF_701FAIL900.95
horn_400CNF2080_2aQBF_899FAIL900.95
horn_400CNF1440_2aQBF_676FAIL900.96
horn_400CNF2000_2aQBF_787FAIL900.96
horn_400CNF2000_2aQBF_104FAIL900.96
horn_400CNF1920_2aQBF_314FAIL900.97
horn_400CNF1920_2aQBF_721FAIL900.97
horn_400CNF1440_2aQBF_967FAIL900.97
horn_400CNF1760_2aQBF_686FAIL900.98
horn_400CNF1680_2aQBF_589FAIL900.98
horn_400CNF1360_2aQBF_310FAIL901
horn_400CNF2160_2aQBF_407FAIL901.01