Instances of family s641 solved by Qute_random
QBFEVAL'17 - Prenex CNF Track

InstanceResultTime
s641_d6_sSAT28.32
s641_d7_uUNSAT188.33