Sota solver details
QBFEVAL'16 - Random QBFs Track.

Instance: robots_1_5_2_46.4
Best Solver: qsts Time: 0.37 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - hiqqer1 1.53 rareqs 1.9 caqe-minisat 6.42
- - hiqqer1ldsq 1.53 qesto 2.11 caqe-picosat 6.47
- - hiqqer3 1.54 qestos 2.39 depqbf-v1 6.71
- - - - - - xb-qsts 10.35
- - - - - - xb-bid-qsts 10.48
- - - - - - depqbf-v2 11.81
- - - - - - depqbf-v3 12.7
qsts(0.37)
hiqqer1(1.53)
hiqqer1ldsq(1.53)
hiqqer3(1.54)
rareqs(1.9)
qesto(2.11)
qestos(2.39)
caqe-minisat(6.42)
caqe-picosat(6.47)
depqbf-v1(6.71)
xb-qsts(10.35)
xb-bid-qsts(10.48)
depqbf-v2(11.81)
depqbf-v3(12.7)
aqua-s3o(80.74)
aqua-s2v(81.31)
aqua-f3v(81.33)