Sota solver details
QBFEVAL'06

Instance: ncf_4_16_8_euad.4
Best Solver: semprop Time: 216.13 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - ssolve-ut 526.51 - - qube5.0 5003.34
- - sSolve 535.93 - - qube4.0 5030.53
- - ssolve+ut 599.68 - - - -
semprop(216.13)
ssolve-ut(526.51)
sSolve(535.93)
ssolve+ut(599.68)
qube5.0(5003.34)
qube4.0(5030.53)