Instances of family horn solved by sSolve
QBFEVAL'05

InstanceResultTime
horn_400CNF1840_2aQBF_547SAT0
horn_400CNF1440_2aQBF_147SAT0
horn_400CNF1440_2aQBF_642SAT0.01
horn_400CNF2000_2aQBF_523SAT0.01
horn_400CNF1840_2aQBF_198SAT0.01
horn_400CNF2000_2aQBF_702SAT0.01
horn_400CNF2000_2aQBF_577SAT0.01
horn_400CNF1680_2aQBF_547SAT0.01
horn_400CNF1280_2aQBF_755SAT0.01
horn_400CNF1600_2aQBF_505SAT0.01
horn_400CNF1920_2aQBF_314SAT0.01
horn_400CNF1440_2aQBF_553SAT0.01
horn_400CNF1920_2aQBF_970SAT0.01
horn_400CNF1520_2aQBF_702SAT0.01
horn_400CNF1600_2aQBF_331SAT0.01
horn_400CNF1440_2aQBF_967SAT0.01
horn_400CNF1600_2aQBF_73SAT0.01
horn_400CNF1520_2aQBF_382SAT0.01
horn_400CNF2080_2aQBF_840SAT0.01
horn_400CNF1520_2aQBF_760SAT0.01
horn_400CNF2080_2aQBF_176SAT0.01
horn_400CNF1440_2aQBF_737SAT0.01
horn_400CNF1520_2aQBF_995SAT0.01
horn_400CNF1760_2aQBF_711SAT0.01
horn_400CNF1680_2aQBF_698SAT0.01
horn_400CNF1360_2aQBF_788SAT0.01
horn_400CNF2080_2aQBF_832SAT0.02
horn_400CNF1520_2aQBF_53UNSAT0.02
horn_400CNF1440_2aQBF_668UNSAT0.02
horn_400CNF2080_2aQBF_899SAT0.02
horn_400CNF1840_2aQBF_323SAT0.02
horn_400CNF1760_2aQBF_93SAT0.02
horn_400CNF1520_2aQBF_165UNSAT0.02
horn_400CNF1280_2aQBF_389UNSAT0.02
horn_400CNF1600_2aQBF_789SAT0.02
horn_400CNF2000_2aQBF_878SAT0.02
horn_400CNF1440_2aQBF_925SAT0.02
horn_400CNF1920_2aQBF_597SAT0.02
horn_400CNF1840_2aQBF_514SAT0.02
horn_400CNF1520_2aQBF_387SAT0.02
horn_400CNF1760_2aQBF_997SAT0.02
horn_400CNF1600_2aQBF_103SAT0.02
horn_400CNF2320_2aQBF_132SAT0.02
horn_400CNF1840_2aQBF_32SAT0.02
horn_400CNF1840_2aQBF_329SAT0.02
horn_400CNF2080_2aQBF_714SAT0.02
horn_400CNF1680_2aQBF_286SAT0.02
horn_400CNF1920_2aQBF_583SAT0.02
horn_400CNF2160_2aQBF_692SAT0.02
horn_400CNF1680_2aQBF_503SAT0.02
horn_400CNF2000_2aQBF_987SAT0.02
horn_400CNF1520_2aQBF_116SAT0.02
horn_400CNF1360_2aQBF_755UNSAT0.02
horn_400CNF1360_2aQBF_130UNSAT0.02
horn_400CNF1760_2aQBF_614SAT0.02
horn_400CNF1920_2aQBF_952SAT0.02
horn_400CNF1600_2aQBF_912SAT0.02
horn_400CNF2160_2aQBF_407SAT0.02
horn_400CNF1760_2aQBF_686SAT0.02
horn_400CNF2160_2aQBF_427SAT0.02
horn_400CNF1280_2aQBF_841UNSAT0.02
horn_400CNF2320_2aQBF_813SAT0.02
horn_400CNF2160_2aQBF_92SAT0.02
horn_400CNF2080_2aQBF_709SAT0.02
horn_400CNF1360_2aQBF_565SAT0.02
horn_400CNF1520_2aQBF_600UNSAT0.02
horn_400CNF1360_2aQBF_831UNSAT0.02
horn_400CNF1440_2aQBF_165UNSAT0.02
horn_400CNF2160_2aQBF_701SAT0.02
horn_400CNF1600_2aQBF_956SAT0.02
horn_400CNF2320_2aQBF_797SAT0.02
horn_400CNF1440_2aQBF_117UNSAT0.03
horn_400CNF1520_2aQBF_405UNSAT0.03
horn_400CNF1600_2aQBF_748UNSAT0.03
horn_400CNF1520_2aQBF_782UNSAT0.03
horn_400CNF1680_2aQBF_433UNSAT0.03
horn_400CNF1600_2aQBF_922UNSAT0.03
horn_400CNF1680_2aQBF_29UNSAT0.03
horn_400CNF1920_2aQBF_647SAT0.03
horn_400CNF1840_2aQBF_401UNSAT0.03
horn_400CNF2320_2aQBF_230SAT0.03
horn_400CNF1600_2aQBF_571UNSAT0.03
horn_400CNF1360_2aQBF_894UNSAT0.03
horn_400CNF2320_2aQBF_458SAT0.03
horn_400CNF1680_2aQBF_950SAT0.03
horn_400CNF1360_2aQBF_867UNSAT0.03
horn_400CNF1600_2aQBF_236UNSAT0.04
horn_400CNF2000_2aQBF_650UNSAT0.04
horn_400CNF1760_2aQBF_979UNSAT0.04
horn_400CNF1760_2aQBF_484UNSAT0.04
horn_400CNF1520_2aQBF_98UNSAT0.04
horn_400CNF1520_2aQBF_625UNSAT0.04
horn_400CNF2000_2aQBF_456UNSAT0.04
horn_400CNF1920_2aQBF_927UNSAT0.04
horn_400CNF1840_2aQBF_340UNSAT0.04
horn_400CNF1600_2aQBF_278UNSAT0.04
horn_400CNF2000_2aQBF_787UNSAT0.04
horn_400CNF1920_2aQBF_721UNSAT0.04
horn_400CNF1600_2aQBF_26UNSAT0.04
horn_400CNF1760_2aQBF_188UNSAT0.04
horn_400CNF2080_2aQBF_584UNSAT0.04
horn_400CNF1920_2aQBF_603UNSAT0.04
horn_400CNF1760_2aQBF_946UNSAT0.04
horn_400CNF1760_2aQBF_330UNSAT0.04
horn_400CNF2160_2aQBF_657UNSAT0.04
horn_400CNF1920_2aQBF_890UNSAT0.04
horn_400CNF1760_2aQBF_886UNSAT0.05
horn_400CNF2320_2aQBF_80UNSAT0.05
horn_400CNF1760_2aQBF_726UNSAT0.05
horn_400CNF2080_2aQBF_194UNSAT0.05
horn_400CNF2080_2aQBF_322UNSAT0.05
horn_400CNF2320_2aQBF_137UNSAT0.05
horn_400CNF1680_2aQBF_91UNSAT0.05
horn_400CNF1840_2aQBF_752UNSAT0.05
horn_400CNF1840_2aQBF_980UNSAT0.05
horn_400CNF1920_2aQBF_704UNSAT0.05
horn_400CNF2080_2aQBF_793UNSAT0.05
horn_400CNF1680_2aQBF_728UNSAT0.05
horn_400CNF1920_2aQBF_75UNSAT0.05
horn_400CNF1840_2aQBF_158UNSAT0.05
horn_400CNF1680_2aQBF_589UNSAT0.05
horn_400CNF2000_2aQBF_8UNSAT0.05
horn_400CNF1680_2aQBF_154UNSAT0.05
horn_400CNF2320_2aQBF_209UNSAT0.06
horn_400CNF2160_2aQBF_976UNSAT0.06
horn_400CNF2160_2aQBF_660UNSAT0.06
horn_400CNF2160_2aQBF_411UNSAT0.06
horn_400CNF2160_2aQBF_588UNSAT0.06
horn_400CNF2000_2aQBF_104UNSAT0.07
horn_400CNF2000_2aQBF_642UNSAT0.07
horn_400CNF2320_2aQBF_832UNSAT0.07
horn_400CNF2320_2aQBF_420UNSAT0.07
horn_400CNF2160_2aQBF_23UNSAT0.07
horn_400CNF2080_2aQBF_682UNSAT0.08
horn_400CNF2320_2aQBF_772UNSAT0.08
horn_400CNF1680_2aQBF_695SAT0.09
horn_400CNF1680_2aQBF_745SAT0.09
horn_400CNF2320_2aQBF_433UNSAT0.1
horn_400CNF1760_2aQBF_996SAT0.14
horn_400CNF2320_2aQBF_72SAT0.21
horn_400CNF2160_2aQBF_996SAT0.33
horn_400CNF1760_2aQBF_10UNSAT1.22
horn_400CNF1840_2aQBF_555SAT3.07
horn_400CNF1600_2aQBF_3SAT6.44
horn_400CNF1680_2aQBF_244SAT8.14
horn_400CNF1920_2aQBF_534SAT16.67
horn_400CNF1440_2aQBF_676SAT22.14
horn_400CNF2160_2aQBF_308SAT346.43
horn_400CNF1840_2aQBF_215FAIL900.95
horn_400CNF1760_2aQBF_846FAIL900.98
horn_400CNF1440_2aQBF_829FAIL900.98
horn_400CNF2000_2aQBF_564FAIL900.98
horn_400CNF1200_2aQBF_539FAIL900.99
horn_400CNF1600_2aQBF_514FAIL900.99
horn_400CNF1680_2aQBF_482FAIL900.99
horn_400CNF1360_2aQBF_310FAIL901