Sota solver details
QBFEVAL'17 - Prenex CNF Track

Instance: amba2f9n.sat
Best Solver: AIGSolve Time: 20.06 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - xb-qsts_bqsts2.0 35.11 heretiq 112.25 - -
- - xb-qsts_xbqsts1.0 36.02 qbfrelay-limited-depqbf 137.4 - -
- - xb-qsts_xbqsts2.0 36.08 - - - -
- - rareqs 47.35 - - - -
- - caqe_2017_v1 69.88 - - - -
- - qesto 73.75 - - - -
- - caqe_2017_v2 77.36 - - - -
- - caqe_2017_v3 77.51 - - - -
AIGSolve(20.06)
xb-qsts_bqsts2.0(35.11)
xb-qsts_xbqsts1.0(36.02)
xb-qsts_xbqsts2.0(36.08)
rareqs(47.35)
caqe_2017_v1(69.88)
qesto(73.75)
caqe_2017_v2(77.36)
caqe_2017_v3(77.51)
heretiq(112.25)
qbfrelay-limited-depqbf(137.4)