Instances of family s641 solved by QUANTOR
QBFEVAL'05

InstanceResultTime
s641_d6_sFAIL0
s641_d7_uFAIL0
s641_d2_sFAIL0
s641_d4_sFAIL0.01