Instances of family Counter solved by QSAT
QBFEVAL'04

InstanceResultTime
cnt02eSAT0.01
cnt02SAT0.01
cnt04eSAT35.62
cnt09eFAIL901
cnt09reFAIL901
cnt12eFAIL901
cnt06FAIL901
cnt16reFAIL901.01