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

Instance: toilet_c_10_01.17
Best Solver: quabs-minisat Time: 9.41 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - xb-bid-qsts 10.9 ghostq-plain 53.36 quabs-picosat 199.77
- - - - xb-qsts 56.54 ghostq-cegar 261.94
quabs-minisat(9.41)
xb-bid-qsts(10.9)
ghostq-plain(53.36)
xb-qsts(56.54)
quabs-picosat(199.77)
ghostq-cegar(261.94)