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

Instance: k_branch_p-11
Best Solver: xb-qsts Time: 2.99 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - xb-bid-qsts 3.01 - - quabs-picosat 55.17
- - qsts 3.1 - - quabs-minisat 99.78
xb-qsts(2.99)
xb-bid-qsts(3.01)
qsts(3.1)
quabs-picosat(55.17)
quabs-minisat(99.78)