Sota solver details
QBFEVAL'04

Instance: robots_1_5_4_87.8
Best Solver: QUBE-BJ Time: 3 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - QUBE-LRN 3.78 - - semprop 94.03
- - - - - - CLearn 221.27
- - - - - - GRL 234.58
QUBE-BJ(3)
QUBE-LRN(3.78)
semprop(94.03)
CLearn(221.27)
GRL(234.58)