Instances of family Counter solved by yQuaffle
QBFEVAL'04

InstanceResultTime
cnt02eSAT0.01
cnt02SAT0.01
cnt04eSAT0.16
cnt06SAT0.28
cnt16reFAIL527.23
cnt09eFAIL901
cnt09reFAIL901
cnt12eFAIL901