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

Instance: k_branch_p-10
Best Solver: qsts Time: 1.13 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - xb-qsts 2.29 - - quabs-minisat 48.25
- - xb-bid-qsts 2.3 - - - -
- - quabs-picosat 3.84 - - - -
qsts(1.13)
xb-qsts(2.29)
xb-bid-qsts(2.3)
quabs-picosat(3.84)
quabs-minisat(48.25)