Sota solver details
QBFEVAL'16 - Prenex CNF Track.

Instance: term1.blif_0.10_0.20_0_0_out_exact
Best Solver: AIGSolve Time: 0.1 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - qsts 0.4 - - ghostq-plain 1.29
- - ghostq-cegar 0.5 - - xb-bid-qsts 2.41
- - - - - - depqbf-v3 2.5
- - - - - - depqbf-v1 2.51
- - - - - - xb-qsts 2.58
- - - - - - hiqqer3 2.98
- - - - - - rareqs 3
- - - - - - hiqqer1 3.04
- - - - - - depqbf-v2 3.91
- - - - - - qestos 7.58
AIGSolve(0.1)
qsts(0.4)
ghostq-cegar(0.5)
ghostq-plain(1.29)
xb-bid-qsts(2.41)
depqbf-v3(2.5)
depqbf-v1(2.51)
xb-qsts(2.58)
hiqqer3(2.98)
rareqs(3)
hiqqer1(3.04)
depqbf-v2(3.91)
qestos(7.58)
hiqqer1ldsq(11.38)
aqua-s3o(24.76)
aqua-f3v(29.21)
aqua-s2v(30.57)
iprover-QBF-bloqqer(63.95)
caqe-picosat(143)
caqe-minisat(147.8)
qesto(230.74)
squeezebf+struqs(264.13)
struqs-10(266.58)