Sota solver details
QBFEVAL'04

Instance: robots_1_5_5_18.5
Best Solver: QUBE-BJ Time: 9.94 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - QUBE-LRN 16.61 - - sSolve 243.46
- - yQuaffle 26.1 - - GRL 319.96
- - - - - - CLearn 452.87
- - - - - - semprop 834.04
QUBE-BJ(9.94)
QUBE-LRN(16.61)
yQuaffle(26.1)
sSolve(243.46)
GRL(319.96)
CLearn(452.87)
semprop(834.04)