Sota solver details
QBFEVAL'17 - Prenex 2QBF Track

Instance: usb-phy-fixpoint-2
Best Solver: CADET_2017 Time: 0.21 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - - - rareqs 1.14 xb-qsts_xbqsts1.0 2.46
- - - - caqe_2017_v1 1.24 DynQBF-bloqqer-hqspre-it 2.48
- - - - qesto 1.38 xb-qsts_xbqsts2.0 2.48
- - - - ASPQ2 1.47 DynQBF-bloqqer-variant 2.49
- - - - GhostQ-PG_cegar 1.82 iProver-qbf-bloqqer-2017-07-27-v3 2.49
- - - - - - xb-qsts_bqsts2.0 2.49
- - - - - - dynQBF-bloqqer-hqspre 2.5
- - - - - - GhostQ-PG_plain 2.6
- - - - - - qbfrelay 2.69
- - - - - - ijtihad_v2 3.96
- - - - - - ijtihad_v1 4.41
- - - - - - heretiq 4.47
- - - - - - caqe_2017_v2 5.65
- - - - - - caqe_2017_v3 5.68
CADET_2017(0.21)
rareqs(1.14)
caqe_2017_v1(1.24)
qesto(1.38)
ASPQ2(1.47)
GhostQ-PG_cegar(1.82)
xb-qsts_xbqsts1.0(2.46)
DynQBF-bloqqer-hqspre-it(2.48)
xb-qsts_xbqsts2.0(2.48)
DynQBF-bloqqer-variant(2.49)
iProver-qbf-bloqqer-2017-07-27-v3(2.49)
xb-qsts_bqsts2.0(2.49)
dynQBF-bloqqer-hqspre(2.5)
GhostQ-PG_plain(2.6)
qbfrelay(2.69)
ijtihad_v2(3.96)
ijtihad_v1(4.41)
heretiq(4.47)
caqe_2017_v2(5.65)
caqe_2017_v3(5.68)
qbfrelay-limited-depqbf(74.94)