Sota solver details
QBFEVAL'16 - Prenex CNF Track.

Instance: gttt_2_1_0010_4x4_torus_b
Best Solver: depqbf-v1 Time: 0.21 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - hiqqer1 0.92 rareqs 1.97 qesto 2.24
- - hiqqer1ldsq 0.92 qestos 2.04 ghostq-plain 3.12
- - hiqqer3 0.92 - - ghostq-cegar 3.42
- - - - - - aqua-f3v 4.7
- - - - - - aqua-s2v 4.7
- - - - - - aqua-s3o 4.7
- - - - - - caqe-minisat 7.27
- - - - - - caqe-picosat 7.54
- - - - - - xb-qsts 9.6
- - - - - - AIGSolve 9.61
depqbf-v1(0.21)
hiqqer1(0.92)
hiqqer1ldsq(0.92)
hiqqer3(0.92)
rareqs(1.97)
qestos(2.04)
qesto(2.24)
ghostq-plain(3.12)
ghostq-cegar(3.42)
aqua-f3v(4.7)
aqua-s2v(4.7)
aqua-s3o(4.7)
caqe-minisat(7.27)
caqe-picosat(7.54)
xb-qsts(9.6)
AIGSolve(9.61)
depqbf-v3(21.73)
depqbf-v2(24.12)
xb-bid-qsts(44.63)
iprover-QBF-bloqqer(114.16)
struqs-10(161.76)