Sota solver details
QBFEVAL'16 - Prenex CNF Track.

Instance: toilet_c_10_01.17
Best Solver: depqbf-v3 Time: 0.61 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - AIGSolve 0.67 - - caqe-minisat 8.89
- - - - - - xb-bid-qsts 14.89
- - - - - - qesto 27.08
- - - - - - qestos 36.54
- - - - - - rareqs 46.09
- - - - - - ghostq-plain 49.44
depqbf-v3(0.61)
AIGSolve(0.67)
caqe-minisat(8.89)
xb-bid-qsts(14.89)
qesto(27.08)
qestos(36.54)
rareqs(46.09)
ghostq-plain(49.44)
iprover-QBF-bloqqer(62.79)
iprover-QBF(67.43)
xb-qsts(90.33)
caqe-picosat(169.98)
depqbf-v1(310.41)
ghostq-cegar(442.64)
depqbf-v2(482.01)
hiqqer1(488.29)
hiqqer1ldsq(498.23)