Sota solver details
QBFEVAL'06

Instance: C5315.blif_0.10_1.00_0_0_inp_exact
Best Solver: QUANTOR Time: 0.08 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - QUANTOR_hc 0.1 2clsQ 0.52 sKizzo-0.9-grn 3.22
- - - - preQuantor 0.52 sKizzo-0.9-std 6.85
- - - - SQBF 0.53 sKizzo-0.9-abs 6.92
QUANTOR(0.08)
QUANTOR_hc(0.1)
2clsQ(0.52)
preQuantor(0.52)
SQBF(0.53)
sKizzo-0.9-grn(3.22)
sKizzo-0.9-std(6.85)
sKizzo-0.9-abs(6.92)
Quaffle(260.76)
yQuaffle(390.38)
qube3.0(704.7)