Sota solver details
QBFEVAL'16 - Prenex CNF Track.

Instance: aim-200-1_6-yes1-4-90
Best Solver: aqua-f3v Time: 0.11 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - qsts 0.23 - - rareqs 3.86
- - ghostq-plain 0.25 - - qesto 4.26
- - ghostq-cegar 0.28 - - qestos 5.43
- - depqbf-v3 0.47 - - caqe-picosat 5.78
- - - - - - hiqqer1 8.62
- - - - - - hiqqer3 8.63
- - - - - - hiqqer1ldsq 8.64
- - - - - - depqbf-v2 10.51
aqua-f3v(0.11)
aqua-s2v(0.11)
aqua-s3o(0.11)
depqbf-v1(0.11)
qsts(0.23)
ghostq-plain(0.25)
ghostq-cegar(0.28)
depqbf-v3(0.47)
rareqs(3.86)
qesto(4.26)
qestos(5.43)
caqe-picosat(5.78)
hiqqer1(8.62)
hiqqer3(8.63)
hiqqer1ldsq(8.64)
depqbf-v2(10.51)
xb-qsts(13.46)
xb-bid-qsts(14.05)