Sota solver results for family s641
QBFEVAL'17 - Prenex CNF Track


InstanceSolverResultTime
s641_d6_sQELL_unitSAT0.47
s641_d7_uGhostQ-PG_plainUNSAT8.23