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

Instance: fpu-10Xe-correct01-uniform-depth-22
Best Solver: qsts Time: 4.79 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - quabs-minisat 13.01 ghostq-cegar 47.7 ghostq-plain 48.29
- - quabs-picosat 18.48 - - - -
qsts(4.79)
quabs-minisat(13.01)
quabs-picosat(18.48)
ghostq-cegar(47.7)
ghostq-plain(48.29)