Sota solver details
QBFEVAL'16 - Random QBFs Track.

Instance: robots_1_5_2_46.5
Best Solver: qsts Time: 1.23 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - hiqqer1 3.23 qestos 8.02 xb-qsts 13.59
- - hiqqer1ldsq 3.29 caqe-minisat 9.62 xb-bid-qsts 13.87
- - rareqs 3.45 caqe-picosat 11.38 depqbf-v2 19.82
- - hiqqer3 4.05 - - depqbf-v1 35.22
- - qesto 4.6 - - depqbf-v3 36.75
- - - - - - aqua-s2v 88.39
- - - - - - aqua-f3v 88.51
- - - - - - aqua-s3o 90.22
qsts(1.23)
hiqqer1(3.23)
hiqqer1ldsq(3.29)
rareqs(3.45)
hiqqer3(4.05)
qesto(4.6)
qestos(8.02)
caqe-minisat(9.62)
caqe-picosat(11.38)
xb-qsts(13.59)
xb-bid-qsts(13.87)
depqbf-v2(19.82)
depqbf-v1(35.22)
depqbf-v3(36.75)
aqua-s2v(88.39)
aqua-f3v(88.51)
aqua-s3o(90.22)