Sota solver details
Crafted Instances Track

Instance: ctrl.e#1.a#3.E#128.A#48.c#.w#5.s#13.asp
Best Solver: caqe-pre Time: 34.78 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - Caqe-hqspre 35.12 - - - -
- - Caqe-bloqqer-qdo 53.87 - - - -

caqe-pre(34.78)
Caqe-hqspre(35.12)
Caqe-bloqqer-qdo(53.87)