Instances of family Counter solved by QUANTOR
QBFEVAL'04

InstanceResultTime
cnt04eSAT0.01
cnt02eSAT0.01
cnt02SAT0.01
cnt06SAT0.02
cnt16reFAIL13.32
cnt09eFAIL901
cnt12eFAIL901
cnt09reFAIL901.01