Sota solver details
QBFEVAL'16 - Prenex CNF Track.

Instance: arbiter-10-comp-error01-qbf-hardness-depth-10
Best Solver: qsts Time: 0.28 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - hiqqer1ldsq 0.64 depqbf-v3 1.71 depqbf-v2 3.61
- - hiqqer1 0.66 xb-qsts 2.04 caqe-picosat 3.71
- - hiqqer3 1.28 rareqs 2.42 ghostq-plain 5.07
- - - - xb-bid-qsts 2.64 qesto 6.4
- - - - - - depqbf-v1 6.41
- - - - - - aqua-f3v 8.33
- - - - - - aqua-s2v 8.33
- - - - - - aqua-s3o 8.47
qsts(0.28)
hiqqer1ldsq(0.64)
hiqqer1(0.66)
hiqqer3(1.28)
depqbf-v3(1.71)
xb-qsts(2.04)
rareqs(2.42)
xb-bid-qsts(2.64)
depqbf-v2(3.61)
caqe-picosat(3.71)
ghostq-plain(5.07)
qesto(6.4)
depqbf-v1(6.41)
aqua-f3v(8.33)
aqua-s2v(8.33)
aqua-s3o(8.47)
ghostq-cegar(36.81)
caqe-minisat(66.94)
struqs-10(77.31)
squeezebf+struqs(78.45)
qestos(304.69)