Instances of family Counter solved by CLearn
QBFEVAL'04

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