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

Instances of family horn solved by WalkQSAT
QBFEVAL'05

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

QBF Solver Evaluation Portal

QBFEVALs

QBF GALLERIES

DOWNLOADS

qbflib.org

Instances of family horn solved by WalkQSAT
QBFEVAL'05

QBF Solver Evaluation Portal

QBFEVALs

QBF GALLERIES

DOWNLOADS

qbflib.org

Instances of family horn solved by WalkQSAT QBFEVAL'05

Instances of family horn solved by WalkQSAT
QBFEVAL'05