Sota solver details
QBFEVAL'16 - Prenex CNF Track.

Instance: k_ph_p-10
Best Solver: xb-bid-qsts Time: 5.75 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - - - iprover-QBF-bloqqer 40.02 AIGSolve 111.71
- - - - ghostq-plain 41.08 qesto 114.35
- - - - ghostq-cegar 49.28 iprover-QBF 125.64
- - - - - - caqe-minisat 174.55
- - - - - - rareqs 178.19
- - - - - - xb-qsts 188.45
- - - - - - qsts 236.87
- - - - - - qestos 305.74
- - - - - - caqe-picosat 314.97
xb-bid-qsts(5.75)
iprover-QBF-bloqqer(40.02)
ghostq-plain(41.08)
ghostq-cegar(49.28)
AIGSolve(111.71)
qesto(114.35)
iprover-QBF(125.64)
caqe-minisat(174.55)
rareqs(178.19)
xb-qsts(188.45)
qsts(236.87)
qestos(305.74)
caqe-picosat(314.97)