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

Instance: k_ph_n-16
Best Solver: qsts Time: 0.02 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - - - quabs-minisat 0.16 quabs-picosat 1.62
qsts(0.02)
quabs-minisat(0.16)
quabs-picosat(1.62)
xb-qsts(3.03)
xb-bid-qsts(3.14)
ghostq-cegar(256.88)
ghostq-plain(293.72)