Instances of family Counter solved by sSolve
QBFEVAL'04

InstanceResultTime
cnt02SAT0.02
cnt02eSAT0.02
cnt04eFAIL901
cnt09reFAIL901
cnt16reFAIL901
cnt06FAIL901.01
cnt09eFAIL901.01
cnt12eFAIL901.01