Sota solver details
QBFEVAL'16 - Prenex non-CNF Track.

Instance: flipflop-11-c
Best Solver: qsts Time: 5.5 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - ghostq-plain 25.74 rareqs-nn 47.1 quabs-minisat 182.36
- - ghostq-cegar 25.95 - - quabs-picosat 189.08
qsts(5.5)
ghostq-plain(25.74)
ghostq-cegar(25.95)
rareqs-nn(47.1)
quabs-minisat(182.36)
quabs-picosat(189.08)