Sota solver details
QBFEVAL'16 - Prenex CNF Track.

Instance: lut4_2_f2
Best Solver: rareqs Time: 0.26 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - qestos 0.67 - - xb-qsts 3.54
- - - - - - xb-bid-qsts 3.62
- - - - - - iprover-QBF-bloqqer 5.24
- - - - - - ghostq-cegar 7.67
- - - - - - AIGSolve 11.95
- - - - - - caqe-minisat 16.52
- - - - - - iprover-QBF 25.03
rareqs(0.26)
qestos(0.67)
xb-qsts(3.54)
xb-bid-qsts(3.62)
iprover-QBF-bloqqer(5.24)
ghostq-cegar(7.67)
AIGSolve(11.95)
caqe-minisat(16.52)
iprover-QBF(25.03)
depqbf-v3(35.17)
hiqqer3(37.37)
hiqqer1(37.52)
caqe-picosat(51.29)
hiqqer1ldsq(59.81)
depqbf-v2(65.71)
aqua-s2v(88.44)
aqua-f3v(140.26)
depqbf-v1(161.72)
aqua-s3o(165.97)
qesto(226.55)
qsts(440.59)