Sota solver details
QBFEVAL'17 - Prenex CNF Track

Instance: stay24n.sat
Best Solver: rareqs Time: 0.33 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - caqe_2017_v1 0.38 - - dynQBF-bloqqer-hqspre 4.83
- - Qute_default 1.01 - - xb-qsts_xbqsts2.0 4.85
- - Qute_opt500 1.01 - - xb-qsts_bqsts2.0 4.89
- - Qute_random 1.02 - - xb-qsts_xbqsts1.0 4.91
- - - - - - iProver-qbf-bloqqer-2017-07-27-v3 5.03
- - - - - - qbfrelay 5.32
- - - - - - AIGSolve 11.39
- - - - - - ijtihad_v2 23.32
- - - - - - rev_qfun0.1 29.9
rareqs(0.33)
caqe_2017_v1(0.38)
Qute_default(1.01)
Qute_opt500(1.01)
Qute_random(1.02)
dynQBF-bloqqer-hqspre(4.83)
xb-qsts_xbqsts2.0(4.85)
xb-qsts_bqsts2.0(4.89)
xb-qsts_xbqsts1.0(4.91)
iProver-qbf-bloqqer-2017-07-27-v3(5.03)
qbfrelay(5.32)
AIGSolve(11.39)
ijtihad_v2(23.32)
rev_qfun0.1(29.9)
qbfrelay-limited-depqbf(78.47)
GhostQ-PG_plain(109.25)
heretiq(258.13)