Instances of family horn solved by <a href='solver_detail.php?solver=4'>QbflHR</a> <br> QBFEVAL'05

Instances of family horn solved by QbflHR
QBFEVAL'05

Instance	Result	Time
horn_400CNF1920_2aQBF_704	UNSAT	0
horn_400CNF1360_2aQBF_755	UNSAT	0
horn_400CNF1600_2aQBF_26	UNSAT	0
horn_400CNF1360_2aQBF_130	UNSAT	0
horn_400CNF1360_2aQBF_894	UNSAT	0
horn_400CNF2080_2aQBF_584	UNSAT	0
horn_400CNF1520_2aQBF_405	UNSAT	0
horn_400CNF1520_2aQBF_165	UNSAT	0
horn_400CNF1760_2aQBF_979	UNSAT	0
horn_400CNF1760_2aQBF_484	UNSAT	0
horn_400CNF1680_2aQBF_91	UNSAT	0.01
horn_400CNF1920_2aQBF_927	UNSAT	0.01
horn_400CNF1840_2aQBF_752	UNSAT	0.01
horn_400CNF1840_2aQBF_980	UNSAT	0.01
horn_400CNF1600_2aQBF_331	SAT	0.01
horn_400CNF1840_2aQBF_401	UNSAT	0.01
horn_400CNF1600_2aQBF_278	UNSAT	0.01
horn_400CNF1440_2aQBF_676	SAT	0.01
horn_400CNF1600_2aQBF_571	UNSAT	0.01
horn_400CNF1760_2aQBF_10	UNSAT	0.01
horn_400CNF2080_2aQBF_793	UNSAT	0.01
horn_400CNF1600_2aQBF_73	SAT	0.01
horn_400CNF1680_2aQBF_482	SAT	0.01
horn_400CNF1360_2aQBF_310	UNSAT	0.01
horn_400CNF1920_2aQBF_603	UNSAT	0.01
horn_400CNF1680_2aQBF_589	UNSAT	0.01
horn_400CNF1760_2aQBF_946	UNSAT	0.01
horn_400CNF1360_2aQBF_565	SAT	0.01
horn_400CNF2160_2aQBF_588	UNSAT	0.01
horn_400CNF1360_2aQBF_867	UNSAT	0.01
horn_400CNF1360_2aQBF_831	UNSAT	0.01
horn_400CNF1600_2aQBF_956	SAT	0.01
horn_400CNF1360_2aQBF_788	SAT	0.01
horn_400CNF1840_2aQBF_215	UNSAT	0.01
horn_400CNF1440_2aQBF_117	UNSAT	0.01
horn_400CNF1520_2aQBF_53	UNSAT	0.01
horn_400CNF1440_2aQBF_668	UNSAT	0.01
horn_400CNF1600_2aQBF_748	UNSAT	0.01
horn_400CNF1200_2aQBF_539	SAT	0.01
horn_400CNF2000_2aQBF_650	UNSAT	0.01
horn_400CNF2000_2aQBF_642	UNSAT	0.01
horn_400CNF1680_2aQBF_433	UNSAT	0.01
horn_400CNF1440_2aQBF_829	UNSAT	0.01
horn_400CNF1440_2aQBF_925	SAT	0.01
horn_400CNF2320_2aQBF_209	UNSAT	0.01
horn_400CNF1680_2aQBF_29	UNSAT	0.01
horn_400CNF1600_2aQBF_514	UNSAT	0.01
horn_400CNF1520_2aQBF_98	UNSAT	0.01
horn_400CNF2000_2aQBF_456	UNSAT	0.02
horn_400CNF1920_2aQBF_970	SAT	0.02
horn_400CNF1520_2aQBF_702	SAT	0.02
horn_400CNF2160_2aQBF_976	UNSAT	0.02
horn_400CNF1680_2aQBF_745	SAT	0.02
horn_400CNF1920_2aQBF_721	UNSAT	0.02
horn_400CNF1680_2aQBF_503	SAT	0.02
horn_400CNF1920_2aQBF_534	SAT	0.02
horn_400CNF1440_2aQBF_967	SAT	0.02
horn_400CNF1840_2aQBF_555	SAT	0.02
horn_400CNF2000_2aQBF_987	SAT	0.02
horn_400CNF1520_2aQBF_116	SAT	0.02
horn_400CNF1680_2aQBF_728	UNSAT	0.02
horn_400CNF1520_2aQBF_382	SAT	0.02
horn_400CNF1840_2aQBF_547	SAT	0.02
horn_400CNF1760_2aQBF_614	SAT	0.02
horn_400CNF2320_2aQBF_420	UNSAT	0.02
horn_400CNF1600_2aQBF_912	SAT	0.02
horn_400CNF2160_2aQBF_660	UNSAT	0.02
horn_400CNF2080_2aQBF_682	UNSAT	0.02
horn_400CNF1680_2aQBF_244	SAT	0.02
horn_400CNF2160_2aQBF_23	UNSAT	0.02
horn_400CNF1520_2aQBF_760	SAT	0.02
horn_400CNF1840_2aQBF_158	UNSAT	0.02
horn_400CNF1760_2aQBF_686	SAT	0.02
horn_400CNF1280_2aQBF_841	UNSAT	0.02
horn_400CNF1440_2aQBF_737	SAT	0.02
horn_400CNF1440_2aQBF_147	SAT	0.02
horn_400CNF2160_2aQBF_92	SAT	0.02
horn_400CNF1680_2aQBF_154	UNSAT	0.02
horn_400CNF1520_2aQBF_600	UNSAT	0.02
horn_400CNF1440_2aQBF_165	UNSAT	0.02
horn_400CNF1920_2aQBF_890	UNSAT	0.02
horn_400CNF1760_2aQBF_886	UNSAT	0.02
horn_400CNF1840_2aQBF_198	SAT	0.02
horn_400CNF2320_2aQBF_80	UNSAT	0.02
horn_400CNF1600_2aQBF_236	UNSAT	0.02
horn_400CNF2080_2aQBF_899	SAT	0.02
horn_400CNF1680_2aQBF_547	SAT	0.02
horn_400CNF1680_2aQBF_695	SAT	0.02
horn_400CNF2320_2aQBF_832	UNSAT	0.02
horn_400CNF1600_2aQBF_922	UNSAT	0.02
horn_400CNF1280_2aQBF_755	SAT	0.02
horn_400CNF1280_2aQBF_389	UNSAT	0.02
horn_400CNF1600_2aQBF_789	SAT	0.02
horn_400CNF2080_2aQBF_194	UNSAT	0.02
horn_400CNF1840_2aQBF_514	SAT	0.02
horn_400CNF1520_2aQBF_387	SAT	0.02
horn_400CNF1520_2aQBF_625	UNSAT	0.03
horn_400CNF2320_2aQBF_137	UNSAT	0.03
horn_400CNF1920_2aQBF_647	SAT	0.03
horn_400CNF1840_2aQBF_32	SAT	0.03
horn_400CNF1840_2aQBF_329	SAT	0.03
horn_400CNF1840_2aQBF_340	UNSAT	0.03
horn_400CNF2000_2aQBF_787	UNSAT	0.03
horn_400CNF1920_2aQBF_583	SAT	0.03
horn_400CNF2160_2aQBF_692	SAT	0.03
horn_400CNF2080_2aQBF_840	SAT	0.03
horn_400CNF1920_2aQBF_952	SAT	0.03
horn_400CNF2160_2aQBF_308	SAT	0.03
horn_400CNF2160_2aQBF_411	UNSAT	0.03
horn_400CNF2320_2aQBF_458	SAT	0.03
horn_400CNF1680_2aQBF_950	SAT	0.03
horn_400CNF1760_2aQBF_188	UNSAT	0.03
horn_400CNF2160_2aQBF_407	SAT	0.03
horn_400CNF1920_2aQBF_75	UNSAT	0.03
horn_400CNF2080_2aQBF_176	SAT	0.03
horn_400CNF2160_2aQBF_427	SAT	0.03
horn_400CNF2320_2aQBF_772	UNSAT	0.03
horn_400CNF1600_2aQBF_3	SAT	0.03
horn_400CNF1520_2aQBF_995	SAT	0.03
horn_400CNF1760_2aQBF_330	UNSAT	0.03
horn_400CNF1760_2aQBF_996	SAT	0.03
horn_400CNF1440_2aQBF_642	SAT	0.03
horn_400CNF2080_2aQBF_832	SAT	0.03
horn_400CNF1760_2aQBF_846	SAT	0.03
horn_400CNF1760_2aQBF_726	UNSAT	0.03
horn_400CNF2000_2aQBF_702	SAT	0.03
horn_400CNF2000_2aQBF_104	UNSAT	0.03
horn_400CNF1520_2aQBF_782	UNSAT	0.03
horn_400CNF1840_2aQBF_323	SAT	0.03
horn_400CNF1760_2aQBF_93	SAT	0.03
horn_400CNF1600_2aQBF_505	SAT	0.03
horn_400CNF2000_2aQBF_878	SAT	0.03
horn_400CNF1920_2aQBF_314	SAT	0.03
horn_400CNF1920_2aQBF_597	SAT	0.03
horn_400CNF2320_2aQBF_72	SAT	0.03
horn_400CNF1760_2aQBF_997	SAT	0.03
horn_400CNF2000_2aQBF_564	UNSAT	0.03
horn_400CNF1440_2aQBF_553	SAT	0.03
horn_400CNF2080_2aQBF_322	UNSAT	0.03
horn_400CNF2320_2aQBF_230	SAT	0.04
horn_400CNF1680_2aQBF_286	SAT	0.04
horn_400CNF2320_2aQBF_813	SAT	0.04
horn_400CNF2000_2aQBF_8	UNSAT	0.04
horn_400CNF2320_2aQBF_797	SAT	0.04
horn_400CNF2080_2aQBF_709	SAT	0.04
horn_400CNF1760_2aQBF_711	SAT	0.04
horn_400CNF2160_2aQBF_657	UNSAT	0.04
horn_400CNF1680_2aQBF_698	SAT	0.04
horn_400CNF2160_2aQBF_701	SAT	0.04
horn_400CNF2000_2aQBF_523	SAT	0.04
horn_400CNF2320_2aQBF_433	UNSAT	0.04
horn_400CNF2000_2aQBF_577	SAT	0.04
horn_400CNF1600_2aQBF_103	SAT	0.04
horn_400CNF2320_2aQBF_132	SAT	0.04
horn_400CNF2080_2aQBF_714	SAT	0.05
horn_400CNF2160_2aQBF_996	SAT	0.05

QBF Solver Evaluation Portal

QBFEVALs

QBF GALLERIES

DOWNLOADS

qbflib.org

Instances of family horn solved by QbflHR
QBFEVAL'05

QBF Solver Evaluation Portal

QBFEVALs

QBF GALLERIES

DOWNLOADS

qbflib.org

Instances of family horn solved by QbflHR QBFEVAL'05

Instances of family horn solved by QbflHR
QBFEVAL'05