Sota solver details
QBFEVAL'16 - Prenex non-CNF Track.

Instance: lut4_AND_fXOR
Best Solver: xb-qsts Time: 2.82 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - xb-bid-qsts 2.88 - - quabs-minisat 115.25
- - ghostq-cegar 4.75 - - - -
- - rareqs-nn 6.01 - - - -
xb-qsts(2.82)
xb-bid-qsts(2.88)
ghostq-cegar(4.75)
rareqs-nn(6.01)
quabs-minisat(115.25)