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

Instance: arbiter-10-comp-error01-qbf-hardness-depth-10
Best Solver: quabs-picosat Time: 11.34 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - ghostq-plain 16.8 - - ghostq-cegar 157.09
- - quabs-minisat 44.41 - - qsts 537.77
quabs-picosat(11.34)
ghostq-plain(16.8)
quabs-minisat(44.41)
ghostq-cegar(157.09)
qsts(537.77)