Instances of family mult-matrix solved by <a href='solver_detail.php?solver=320'>PortfolioDepQBFGhostQRaReQSQute___pf</a> <br> QBFEVAL'18 - Prenex CNF Track

qbflib.org

Instances of family mult-matrix solved by PortfolioDepQBFGhostQRaReQSQute___pf
QBFEVAL'18 - Prenex CNF Track

Instance	Result	Time
mult_bool_matrix_10_9_11.sat	SAT	44.55
mult_bool_matrix_17_17_17.sat	SAT	56.3
mult_bool_matrix_10_9_11.unsat	FAIL	900.02
mult_bool_matrix_17_17_17.unsat	FAIL	900.09

Contact | Organization | Links | Citing QBFLIB