Sota solver details
QBFEVAL'16 - Random QBFs Track.

Instance: robots_1_5_2_65.7
Best Solver: rareqs Time: 12.06 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - xb-qsts 43.1 qesto 62.22 caqe-picosat 150.95
- - xb-bid-qsts 46.11 qsts 81.02 aqua-s2v 240.84
- - - - hiqqer3 91.49 aqua-s3o 240.95
- - - - caqe-minisat 97.59 aqua-f3v 260.39
- - - - hiqqer1ldsq 105.02 depqbf-v3 393.49
- - - - hiqqer1 106.95 - -
- - - - depqbf-v2 111.12 - -
rareqs(12.06)
xb-qsts(43.1)
xb-bid-qsts(46.11)
qesto(62.22)
qsts(81.02)
hiqqer3(91.49)
caqe-minisat(97.59)
hiqqer1ldsq(105.02)
hiqqer1(106.95)
depqbf-v2(111.12)
caqe-picosat(150.95)
aqua-s2v(240.84)
aqua-s3o(240.95)
aqua-f3v(260.39)
depqbf-v3(393.49)