Sota solver details
QBFEVAL'07

Instance: vis.4-arbit^1.E-d3
Best Solver: ncQuBE1.1 Time: 0.06 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - ncQuBE1.0 0.07 aigqbf_s 0.4 aigqbf_sr 0.68
- - - - - - AQME-1NN 1.6
- - - - - - AQME-C4.5 1.64
- - - - - - AQME-RIPPER 1.7
- - - - - - EBDDRES 1.86
ncQuBE1.1(0.06)
ncQuBE1.0(0.07)
aigqbf_s(0.4)
aigqbf_sr(0.68)
AQME-1NN(1.6)
AQME-C4.5(1.64)
AQME-RIPPER(1.7)
EBDDRES(1.86)
sKizzo-0.10-std(26.38)
qSS(29.71)
sKizzo-0.10-qck(67.01)