Sota solver details
QBFEVAL'07

Instance: texas.ifetch1^3.E-f2
Best Solver: yQuaffle Time: 0.05 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - ncQuBE1.1 0.11 - - AQME-1NN 0.73
- - ncQuBE1.0 0.12 - - AQME-C4.5 0.78
- - - - - - AQME-RIPPER 0.84
yQuaffle(0.05)
ncQuBE1.1(0.11)
ncQuBE1.0(0.12)
AQME-1NN(0.73)
AQME-C4.5(0.78)
AQME-RIPPER(0.84)
aigqbf_s(8.46)
aigqbf_sr(8.46)
Adaptive2clsQ(36.02)
sKizzo-0.10-std(54.49)
squolem(519.62)