Sota solver details
QBFEVAL'07

Instance: cmu.periodic.N-f3
Best Solver: AQME-RIPPER Time: 4.04 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - - - - - ncQuBE1.1 80.46
- - - - - - ncQuBE1.0 81.57
- - - - - - AQME-C4.5 84.16
- - - - - - AQME-1NN 167.8
AQME-RIPPER(4.04)
ncQuBE1.1(80.46)
ncQuBE1.0(81.57)
AQME-C4.5(84.16)
AQME-1NN(167.8)