Sota solver details
QBFEVAL'16 - Random QBFs Track.

Instance: robots_1_5_2_46.3
Best Solver: qsts Time: 0.14 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - - - qesto 0.79 xb-qsts 4.77
- - - - rareqs 0.79 xb-bid-qsts 4.79
- - - - qestos 0.8 caqe-picosat 4.86
- - - - hiqqer1ldsq 1.28 caqe-minisat 4.87
- - - - hiqqer1 1.29 iprover-QBF-bloqqer 4.94
- - - - hiqqer3 1.3 depqbf-v3 5.84
- - - - depqbf-v1 1.31 depqbf-v2 6.62
qsts(0.14)
qesto(0.79)
rareqs(0.79)
qestos(0.8)
hiqqer1ldsq(1.28)
hiqqer1(1.29)
hiqqer3(1.3)
depqbf-v1(1.31)
xb-qsts(4.77)
xb-bid-qsts(4.79)
caqe-picosat(4.86)
caqe-minisat(4.87)
iprover-QBF-bloqqer(4.94)
depqbf-v3(5.84)
depqbf-v2(6.62)
aqua-s2v(73.94)
aqua-s3o(74.8)
aqua-f3v(75.28)