Sota solver details
QBFEVAL'04

Instance: robots_1_5_5_59.5
Best Solver: QUBE-BJ Time: 9.93 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - QUBE-LRN 16.6 - - sSolve 243.61
- - yQuaffle 26.15 - - GRL 320.44
- - - - - - CLearn 452.93
- - - - - - semprop 835.25
QUBE-BJ(9.93)
QUBE-LRN(16.6)
yQuaffle(26.15)
sSolve(243.61)
GRL(320.44)
CLearn(452.93)
semprop(835.25)