Sota solver details
QBFEVAL'17 - Prenex CNF Track

Instance: nusmv.tcas^3.B-f2
Best Solver: QELL_default Time: 0.19 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - - - - - ghostq-cegar 2.99
- - - - - - GhostQ-PG_plain 3.01
- - - - - - GhostQ-PG_cegar 3.09
- - - - - - rev_qfun0.1 3.17
- - - - - - caqe_2017_v2 7.48
- - - - - - caqe_2017_v3 7.49
- - - - - - Qute_default 12.42
- - - - - - Qute_random 12.46
- - - - - - Qute_opt500 12.52
QELL_default(0.19)
QELL_unit(0.19)
ghostq-cegar(2.99)
GhostQ-PG_plain(3.01)
GhostQ-PG_cegar(3.09)
rev_qfun0.1(3.17)
caqe_2017_v2(7.48)
caqe_2017_v3(7.49)
Qute_default(12.42)
Qute_random(12.46)
Qute_opt500(12.52)
qbfrelay(33.17)