Sota solver details
QBFEVAL'16 - Prenex CNF Track.

Instance: lut4_AND_f1
Best Solver: rareqs Time: 0.05 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - qestos 0.1 hiqqer1 0.34 depqbf-v2 0.51
- - aqua-s2v 0.17 depqbf-v3 0.37 hiqqer3 0.51
- - xb-qsts 0.2 aqua-f3v 0.42 aqua-s3o 0.6
- - hiqqer1ldsq 0.23 - - qesto 0.66
- - xb-bid-qsts 0.25 - - depqbf-v1 0.91
- - - - - - caqe-minisat 1.5
- - - - - - qsts 1.86
- - - - - - ghostq-plain 2.61
- - - - - - ghostq-cegar 3.48
- - - - - - iprover-QBF-bloqqer 4.4
rareqs(0.05)
qestos(0.1)
aqua-s2v(0.17)
xb-qsts(0.2)
hiqqer1ldsq(0.23)
xb-bid-qsts(0.25)
hiqqer1(0.34)
depqbf-v3(0.37)
aqua-f3v(0.42)
depqbf-v2(0.51)
hiqqer3(0.51)
aqua-s3o(0.6)
qesto(0.66)
depqbf-v1(0.91)
caqe-minisat(1.5)
qsts(1.86)
ghostq-plain(2.61)
ghostq-cegar(3.48)
iprover-QBF-bloqqer(4.4)
caqe-picosat(6.15)
AIGSolve(25.15)
iprover-QBF(58.14)