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

Instance: toilet_a_10_05.3
Best Solver: ghostq-plain Time: 3.03 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - quabs-minisat 3.8 - - - -
- - ghostq-cegar 3.87 - - - -
- - quabs-picosat 3.93 - - - -
- - rareqs-nn 4.07 - - - -
- - xb-qsts 6.31 - - - -
- - xb-bid-qsts 6.32 - - - -
ghostq-plain(3.03)
quabs-minisat(3.8)
ghostq-cegar(3.87)
quabs-picosat(3.93)
rareqs-nn(4.07)
xb-qsts(6.31)
xb-bid-qsts(6.32)