Sota solver details
QBFEVAL'16 - Prenex CNF Track.

Instance: ii32b1-00
Best Solver: depqbf-v1 Time: 0.31 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - - - ghostq-cegar 2.43 rareqs 3.16
- - - - ghostq-plain 2.59 depqbf-v3 5.87
- - - - - - hiqqer1ldsq 6.83
- - - - - - hiqqer1 7.13
- - - - - - hiqqer3 9.62
- - - - - - qsts 19.36
depqbf-v1(0.31)
ghostq-cegar(2.43)
ghostq-plain(2.59)
rareqs(3.16)
depqbf-v3(5.87)
hiqqer1ldsq(6.83)
hiqqer1(7.13)
hiqqer3(9.62)
qsts(19.36)
aqua-s3o(61.08)
qesto(64.69)
xb-qsts(119.87)
xb-bid-qsts(120.18)
caqe-picosat(129.17)
aqua-f3v(236.09)