Sota solver details
QBFEVAL'16 - Prenex CNF Track.

Instance: term1.blif_0.10_0.20_0_0_inp_exact
Best Solver: AIGSolve Time: 0.26 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - xb-qsts 0.89 hiqqer3 1.32 aqua-s3o 4.74
- - xb-bid-qsts 1.04 ghostq-plain 1.83 aqua-f3v 6.01
- - hiqqer1ldsq 1.06 depqbf-v2 2.22 aqua-s2v 6.13
- - hiqqer1 1.24 - - ghostq-cegar 7.78
- - - - - - depqbf-v3 8.73
- - - - - - depqbf-v1 10.71
AIGSolve(0.26)
xb-qsts(0.89)
xb-bid-qsts(1.04)
hiqqer1ldsq(1.06)
hiqqer1(1.24)
hiqqer3(1.32)
ghostq-plain(1.83)
depqbf-v2(2.22)
aqua-s3o(4.74)
aqua-f3v(6.01)
aqua-s2v(6.13)
ghostq-cegar(7.78)
depqbf-v3(8.73)
depqbf-v1(10.71)
caqe-picosat(39.06)
caqe-minisat(41.67)
qesto(177.61)
rareqs(231.48)
qestos(480.5)