Instances of family Counter solved by hordeqbf
QBFEVAL'16 - Parallel QBF Solvers (non-competitive) Track.

InstanceResultTime
cnt02eSAT1.05
cnt05SAT1.05
counter_e_2SAT1.05
cnt01SAT1.06
cnt10SAT3.1
cnt11SAT8.09
cnt14SAT132.44
cnt16rFAIL600
cnt07eFAIL600
cnt08eFAIL600