Sota solver details
QBFEVAL'16 - Prenex CNF Track.

Instance: arbiter-07-comp-error01-qbf-hardness-depth-11
Best Solver: hiqqer1ldsq Time: 0.6 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - hiqqer1 0.7 depqbf-v2 3.81 caqe-picosat 6.23
- - depqbf-v3 1.08 aqua-s2v 4.58 qsts 6.92
- - hiqqer3 1.14 aqua-f3v 4.63 qesto 7.61
- - xb-qsts 1.5 aqua-s3o 5.32 depqbf-v1 8.21
- - xb-bid-qsts 1.98 - - caqe-minisat 8.79
- - - - - - rareqs 12.89
- - - - - - struqs-10 37.35
- - - - - - squeezebf+struqs 38.06
- - - - - - ghostq-plain 42.58
hiqqer1ldsq(0.6)
hiqqer1(0.7)
depqbf-v3(1.08)
hiqqer3(1.14)
xb-qsts(1.5)
xb-bid-qsts(1.98)
depqbf-v2(3.81)
aqua-s2v(4.58)
aqua-f3v(4.63)
aqua-s3o(5.32)
caqe-picosat(6.23)
qsts(6.92)
qesto(7.61)
depqbf-v1(8.21)
caqe-minisat(8.79)
rareqs(12.89)
struqs-10(37.35)
squeezebf+struqs(38.06)
ghostq-plain(42.58)
ghostq-cegar(88.15)
qestos(200.92)