Sota solver details
QBFEVAL'16 - Prenex CNF Track.

Instance: jnh212-50
Best Solver: qsts Time: 0.1 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - depqbf-v1 0.21 aqua-s3o 0.53 rareqs 1.79
- - - - aqua-s2v 0.55 depqbf-v3 2.78
- - - - aqua-f3v 0.59 hiqqer1ldsq 2.8
- - - - ghostq-plain 0.93 hiqqer3 2.83
- - - - ghostq-cegar 0.96 hiqqer1 2.89
- - - - - - depqbf-v2 3.92
- - - - - - caqe-picosat 4.53
- - - - - - qestos 8.85
- - - - - - qesto 9.52
qsts(0.1)
depqbf-v1(0.21)
aqua-s3o(0.53)
aqua-s2v(0.55)
aqua-f3v(0.59)
ghostq-plain(0.93)
ghostq-cegar(0.96)
rareqs(1.79)
depqbf-v3(2.78)
hiqqer1ldsq(2.8)
hiqqer3(2.83)
hiqqer1(2.89)
depqbf-v2(3.92)
caqe-picosat(4.53)
qestos(8.85)
qesto(9.52)
xb-qsts(26.97)
xb-bid-qsts(27.12)
AIGSolve(69.71)