Instances of family Counter solved by semprop
QBFEVAL'04

InstanceResultTime
cnt02SAT0
cnt02eSAT0.01
cnt06SAT0.05
cnt04eSAT1.43
cnt09eFAIL901.01
cnt09reFAIL901.01
cnt12eFAIL901.01
cnt16reFAIL901.01