Instances of family ISCAS89 solved by <a href='solver_detail.php?solver=263'>mpiDepQBF</a> <br> QBFEVAL'16 - Parallel QBF Solvers (non-competitive) Track.

qbflib.org

Instances of family ISCAS89 solved by mpiDepQBF
QBFEVAL'16 - Parallel QBF Solvers (non-competitive) Track.

Instance	Result	Time
s01238_PR_8_2	SAT	0.08
s09234_PR_8_2	SAT	0.23
s09234_PR_8_5	SAT	0.23
s05378_PR_9_2	SAT	0.23
s05378_PR_1_75	UNSAT	1.63
s15850_PR_2_2	SAT	1.77
s15850_PR_8_50	SAT	3.02

Contact | Organization | Links | Citing QBFLIB