Sota solver details
QBFEVAL'17 - Prenex CNF Track

Instance: usb-phy-fixpoint-3
Best Solver: rareqs Time: 2.23 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - caqe_2017_v1 2.3 Qute_default 13.13 caqe_2017_v2 40.03
- - qesto 2.37 - - caqe_2017_v3 40.28
- - GhostQ-PG_cegar 2.91 - - Qute_opt500 73.57
- - xb-qsts_xbqsts1.0 4 - - Qute_random 75.04
- - xb-qsts_bqsts2.0 4.01 - - qbfrelay-limited-depqbf 78.22
- - xb-qsts_xbqsts2.0 4.04 - - - -
- - dynQBF-bloqqer-hqspre 4.07 - - - -
- - iProver-qbf-bloqqer-2017-07-27-v3 4.15 - - - -
- - qbfrelay 4.29 - - - -
- - GhostQ-PG_plain 5.9 - - - -
- - ijtihad_v2 9.22 - - - -
- - ijtihad_v1 10.28 - - - -
- - heretiq 10.29 - - - -
rareqs(2.23)
caqe_2017_v1(2.3)
qesto(2.37)
GhostQ-PG_cegar(2.91)
xb-qsts_xbqsts1.0(4)
xb-qsts_bqsts2.0(4.01)
xb-qsts_xbqsts2.0(4.04)
dynQBF-bloqqer-hqspre(4.07)
iProver-qbf-bloqqer-2017-07-27-v3(4.15)
qbfrelay(4.29)
GhostQ-PG_plain(5.9)
ijtihad_v2(9.22)
ijtihad_v1(10.28)
heretiq(10.29)
Qute_default(13.13)
caqe_2017_v2(40.03)
caqe_2017_v3(40.28)
Qute_opt500(73.57)
Qute_random(75.04)
qbfrelay-limited-depqbf(78.22)