Sota solver details
QBFEVAL'06

Instance: texas.parsesys^1.E-f2
Best Solver: QUANTOR Time: 0.61 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - QUANTOR_hc 0.61 - - ssolve-ut 8.65
- - 2clsQ 0.78 - - sSolve 8.67
- - preQuantor 0.78 - - ssolve+ut 10.71
- - SQBF 0.78 - - sKizzo-0.9-abs 15.95
- - - - - - sKizzo-0.9-std 17.53
- - - - - - sKizzo-0.9-grn 30.2
QUANTOR(0.61)
QUANTOR_hc(0.61)
2clsQ(0.78)
preQuantor(0.78)
SQBF(0.78)
ssolve-ut(8.65)
sSolve(8.67)
ssolve+ut(10.71)
sKizzo-0.9-abs(15.95)
sKizzo-0.9-std(17.53)
sKizzo-0.9-grn(30.2)
semprop(188.8)
Quaffle(472.01)
qube5.0(4801.95)