Sota solver details
QBFEVAL'10 - Random QBFs Track.

Instance: robots_1_5_3_52.4
Best Solver: depqbf-pre Time: 10.67 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - aqme-10 11.04 - - QuBE7-m 120.41
- - depqbf 11.65 - - QuBE7-c 121
- - - - - - QuBE7 122.14
- - - - - - nenofex-qbfeval10 526.16
depqbf-pre(10.67)
aqme-10(11.04)
depqbf(11.65)
QuBE7-m(120.41)
QuBE7-c(121)
QuBE7(122.14)
nenofex-qbfeval10(526.16)