Sota solver details
QBFEVAL'17 - Prenex 2QBF Track

Instance: amba2c7n.sat
Best Solver: caqe_2017_v1 Time: 11.09 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - xb-qsts_bqsts2.0 13.02 ASPQ2 86.38 ijtihad_v2 380.57
- - xb-qsts_xbqsts1.0 13.43 qesto 92.87 ijtihad_v1 409.58
- - xb-qsts_xbqsts2.0 13.49 qbfrelay-limited-depqbf 94.96 rev_qfun0.1 849.02
- - caqe_2017_v2 29.16 - - - -
- - caqe_2017_v3 29.38 - - - -
- - rareqs 31.37 - - - -
- - heretiq 48.81 - - - -
caqe_2017_v1(11.09)
xb-qsts_bqsts2.0(13.02)
xb-qsts_xbqsts1.0(13.43)
xb-qsts_xbqsts2.0(13.49)
caqe_2017_v2(29.16)
caqe_2017_v3(29.38)
rareqs(31.37)
heretiq(48.81)
ASPQ2(86.38)
qesto(92.87)
qbfrelay-limited-depqbf(94.96)
ijtihad_v2(380.57)
ijtihad_v1(409.58)
rev_qfun0.1(849.02)