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

Instance: fpu-10Xh-error01-uniform-depth-5
Best Solver: qsts Time: 0.23 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - quabs-minisat 0.88 - - ghostq-cegar 7.14
- - quabs-picosat 0.9 - - ghostq-plain 7.15
- - - - - - rareqs-nn 8.03
qsts(0.23)
quabs-minisat(0.88)
quabs-picosat(0.9)
ghostq-cegar(7.14)
ghostq-plain(7.15)
rareqs-nn(8.03)
xb-qsts(42.79)
xb-bid-qsts(44.9)