Sota solver details
QBFEVAL'16 - Random QBFs Track.

Instance: robots_1_5_4_46.8
Best Solver: hiqqer3 Time: 3.08 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - hiqqer1ldsq 3.87 caqe-minisat 15.78 depqbf-v2 32.41
- - hiqqer1 3.92 xb-qsts 18.34 depqbf-v3 34.93
- - rareqs 4.74 caqe-picosat 29.85 depqbf-v1 44.61
- - qesto 5.69 - - qsts 54.01
- - xb-bid-qsts 12.9 - - aqua-s3o 106.01
- - - - - - qestos 131
- - - - - - aqua-s2v 178.37
- - - - - - aqua-f3v 181.83
hiqqer3(3.08)
hiqqer1ldsq(3.87)
hiqqer1(3.92)
rareqs(4.74)
qesto(5.69)
xb-bid-qsts(12.9)
caqe-minisat(15.78)
xb-qsts(18.34)
caqe-picosat(29.85)
depqbf-v2(32.41)
depqbf-v3(34.93)
depqbf-v1(44.61)
qsts(54.01)
aqua-s3o(106.01)
qestos(131)
aqua-s2v(178.37)
aqua-f3v(181.83)