Instances of family horn solved by semprop
QBFEVAL'05

InstanceResultTime
horn_400CNF1360_2aQBF_831UNSAT49.69
horn_400CNF2320_2aQBF_209UNSAT49.91
horn_400CNF1680_2aQBF_698SAT50.96
horn_400CNF2000_2aQBF_650UNSAT51.09
horn_400CNF1840_2aQBF_547SAT51.83
horn_400CNF1440_2aQBF_925SAT53.52
horn_400CNF1600_2aQBF_571UNSAT55.65
horn_400CNF1600_2aQBF_236UNSAT56.61
horn_400CNF1440_2aQBF_165UNSAT56.73
horn_400CNF1920_2aQBF_970SAT58.66
horn_400CNF2080_2aQBF_584UNSAT59.59
horn_400CNF1840_2aQBF_752UNSAT60.6
horn_400CNF1440_2aQBF_737SAT63.1
horn_400CNF1840_2aQBF_340UNSAT70.87
horn_400CNF1360_2aQBF_894UNSAT71.18
horn_400CNF1680_2aQBF_950SAT71.23
horn_400CNF1360_2aQBF_755UNSAT71.76
horn_400CNF1680_2aQBF_286SAT74.08
horn_400CNF2000_2aQBF_104UNSAT74.6
horn_400CNF1360_2aQBF_565SAT76.57
horn_400CNF1520_2aQBF_116SAT77.13
horn_400CNF2320_2aQBF_433UNSAT78.51
horn_400CNF1840_2aQBF_198SAT78.56
horn_400CNF1280_2aQBF_755SAT79.87
horn_400CNF2000_2aQBF_702SAT80.06
horn_400CNF1760_2aQBF_726UNSAT80.59
horn_400CNF2320_2aQBF_772UNSAT81.27
horn_400CNF2160_2aQBF_976UNSAT81.43
horn_400CNF1440_2aQBF_829UNSAT81.81
horn_400CNF2080_2aQBF_322UNSAT82.26
horn_400CNF2320_2aQBF_813SAT86.7
horn_400CNF2000_2aQBF_878SAT87.01
horn_400CNF2000_2aQBF_577SAT88.54
horn_400CNF1440_2aQBF_147SAT91.7
horn_400CNF1760_2aQBF_484UNSAT93.29
horn_400CNF1440_2aQBF_676SAT94.08
horn_400CNF2320_2aQBF_420UNSAT95.14
horn_400CNF2320_2aQBF_72SAT95.87
horn_400CNF1520_2aQBF_995SAT102.36
horn_400CNF1920_2aQBF_952SAT105.03
horn_400CNF1840_2aQBF_329SAT111.94
horn_400CNF1840_2aQBF_32SAT119.9
horn_400CNF1520_2aQBF_165UNSAT123.13
horn_400CNF2160_2aQBF_92SAT123.49
horn_400CNF1440_2aQBF_668UNSAT124.45
horn_400CNF1360_2aQBF_788SAT129.53
horn_400CNF1680_2aQBF_589UNSAT131.73
horn_400CNF1920_2aQBF_890UNSAT134.58
horn_400CNF1920_2aQBF_583SAT135.76
horn_400CNF2160_2aQBF_427SAT135.91
horn_400CNF2080_2aQBF_194UNSAT136.44
horn_400CNF2160_2aQBF_23UNSAT139.58
horn_400CNF2000_2aQBF_787UNSAT141.99
horn_400CNF1760_2aQBF_93SAT143.24
horn_400CNF1520_2aQBF_382SAT150.64
horn_400CNF1520_2aQBF_405UNSAT150.95
horn_400CNF2080_2aQBF_793UNSAT152.47
horn_400CNF1600_2aQBF_956SAT154.6
horn_400CNF1760_2aQBF_997SAT163.84
horn_400CNF2080_2aQBF_682UNSAT169.38
horn_400CNF2320_2aQBF_458SAT177.27
horn_400CNF2080_2aQBF_840SAT184.46
horn_400CNF1520_2aQBF_625UNSAT188.2
horn_400CNF1600_2aQBF_103SAT202.22
horn_400CNF1760_2aQBF_886UNSAT220.7
horn_400CNF1520_2aQBF_782UNSAT221.75
horn_400CNF1520_2aQBF_760SAT232.89
horn_400CNF1680_2aQBF_244SAT235.16
horn_400CNF1840_2aQBF_401UNSAT235.72
horn_400CNF2080_2aQBF_714SAT242.01
horn_400CNF2080_2aQBF_176SAT249.46
horn_400CNF2320_2aQBF_137UNSAT251.15
horn_400CNF2000_2aQBF_456UNSAT261.19
horn_400CNF2160_2aQBF_411UNSAT266.51
horn_400CNF1600_2aQBF_26UNSAT276.56
horn_400CNF1920_2aQBF_704UNSAT293.78
horn_400CNF1920_2aQBF_597SAT293.87
horn_400CNF1520_2aQBF_702SAT299.28
horn_400CNF1760_2aQBF_686SAT306.71
horn_400CNF1600_2aQBF_73SAT308.62
horn_400CNF1920_2aQBF_603UNSAT309
horn_400CNF2320_2aQBF_797SAT314.83
horn_400CNF2160_2aQBF_657UNSAT327.57
horn_400CNF1840_2aQBF_215UNSAT333.48
horn_400CNF1680_2aQBF_154UNSAT336.87
horn_400CNF1920_2aQBF_647SAT337.19
horn_400CNF2000_2aQBF_8UNSAT343.04
horn_400CNF1920_2aQBF_534SAT343.33
horn_400CNF1600_2aQBF_505SAT355.95
horn_400CNF1760_2aQBF_188UNSAT360.84
horn_400CNF1680_2aQBF_503SAT388.41
horn_400CNF1520_2aQBF_98UNSAT391.12
horn_400CNF1600_2aQBF_331SAT404.09
horn_400CNF1600_2aQBF_912SAT412.83
horn_400CNF1280_2aQBF_841UNSAT418.61
horn_400CNF1600_2aQBF_278UNSAT446.95
horn_400CNF1520_2aQBF_600UNSAT450.54
horn_400CNF1760_2aQBF_711SAT455.06
horn_400CNF2320_2aQBF_132SAT484.18
horn_400CNF1920_2aQBF_75UNSAT485.09
horn_400CNF2080_2aQBF_832SAT540.33
horn_400CNF2160_2aQBF_407SAT563.98
horn_400CNF1440_2aQBF_642SAT573.21
horn_400CNF1680_2aQBF_745SAT676.07
horn_400CNF1840_2aQBF_514SAT685.06
horn_400CNF1600_2aQBF_3SAT711.68
horn_400CNF1680_2aQBF_695SAT714.63
horn_400CNF1840_2aQBF_323SAT721.24
horn_400CNF2080_2aQBF_709SAT732.11
horn_400CNF1680_2aQBF_433UNSAT738.99
horn_400CNF1680_2aQBF_547SAT820.27
horn_400CNF2000_2aQBF_642UNSAT825.33
horn_400CNF1920_2aQBF_721UNSAT826.38
horn_400CNF1360_2aQBF_867FAIL900.97
horn_400CNF1600_2aQBF_922FAIL900.97
horn_400CNF2080_2aQBF_899FAIL900.98
horn_400CNF1520_2aQBF_53FAIL900.98
horn_400CNF1200_2aQBF_539FAIL900.98
horn_400CNF1520_2aQBF_387FAIL900.98
horn_400CNF1440_2aQBF_553FAIL900.98
horn_400CNF1920_2aQBF_927FAIL900.98
horn_400CNF2000_2aQBF_987FAIL900.98
horn_400CNF1760_2aQBF_946FAIL900.98
horn_400CNF1760_2aQBF_996FAIL900.99
horn_400CNF2160_2aQBF_701FAIL900.99
horn_400CNF1760_2aQBF_330FAIL900.99
horn_400CNF2320_2aQBF_80FAIL900.99
horn_400CNF1760_2aQBF_979FAIL900.99
horn_400CNF1840_2aQBF_980FAIL900.99
horn_400CNF2320_2aQBF_230FAIL900.99
horn_400CNF1760_2aQBF_10FAIL900.99
horn_400CNF2160_2aQBF_308FAIL900.99
horn_400CNF2160_2aQBF_660FAIL900.99
horn_400CNF1680_2aQBF_482FAIL900.99
horn_400CNF1760_2aQBF_846FAIL901
horn_400CNF2160_2aQBF_996FAIL901
horn_400CNF1600_2aQBF_748FAIL901
horn_400CNF2000_2aQBF_523FAIL901
horn_400CNF2320_2aQBF_832FAIL901
horn_400CNF1280_2aQBF_389FAIL901
horn_400CNF1600_2aQBF_789FAIL901
horn_400CNF2000_2aQBF_564FAIL901
horn_400CNF1920_2aQBF_314FAIL901
horn_400CNF1680_2aQBF_29FAIL901
horn_400CNF1680_2aQBF_91FAIL901
horn_400CNF2160_2aQBF_692FAIL901
horn_400CNF1840_2aQBF_555FAIL901
horn_400CNF1680_2aQBF_728FAIL901
horn_400CNF1360_2aQBF_130FAIL901
horn_400CNF1760_2aQBF_614FAIL901
horn_400CNF1840_2aQBF_158FAIL901
horn_400CNF1360_2aQBF_310FAIL901
horn_400CNF2160_2aQBF_588FAIL901.01
horn_400CNF1440_2aQBF_117FAIL901.01
horn_400CNF1600_2aQBF_514FAIL901.01
horn_400CNF1440_2aQBF_967FAIL901.01