Sota solver details
QBFEVAL'17 - Prenex CNF Track

Instance: texas.PI_main^08.E-f3
Best Solver: QELL_unit Time: 0.55 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - QELL_default 0.75 GhostQ-PG_plain 2.77 AIGSolve 11.59
- - GhostQ-PG_cegar 2.61 ghostq-cegar 3.18 - -
- - - - caqe_2017_v2 4.55 - -
- - - - caqe_2017_v3 4.6 - -
- - - - dynQBF-bloqqer-hqspre 4.64 - -
- - - - xb-qsts_bqsts2.0 4.66 - -
- - - - xb-qsts_xbqsts2.0 4.68 - -
- - - - iProver-qbf-bloqqer-2017-07-27-v3 4.86 - -
- - - - xb-qsts_xbqsts1.0 4.88 - -
- - - - rev_qfun0.1 5.16 - -
- - - - qbfrelay 5.2 - -
- - - - Qute_opt500 5.22 - -
- - - - Qute_random 5.23 - -
QELL_unit(0.55)
QELL_default(0.75)
GhostQ-PG_cegar(2.61)
GhostQ-PG_plain(2.77)
ghostq-cegar(3.18)
caqe_2017_v2(4.55)
caqe_2017_v3(4.6)
dynQBF-bloqqer-hqspre(4.64)
xb-qsts_bqsts2.0(4.66)
xb-qsts_xbqsts2.0(4.68)
iProver-qbf-bloqqer-2017-07-27-v3(4.86)
xb-qsts_xbqsts1.0(4.88)
rev_qfun0.1(5.16)
qbfrelay(5.2)
Qute_opt500(5.22)
Qute_random(5.23)
AIGSolve(11.59)