Instances of family s641 solved by rareqs-nn
QBFEVAL'16 - Prenex non-CNF Track.

InstanceResultTime
s641_d2_sSAT0.21
s641_d4_sSAT0.57
s641_d6_sSAT407.75
s641_d7_uFAIL599.71
s641_d8_uFAIL599.71