Family hyperLTL results for solvers <br> QBFEVAL'17

Solver	Total time	Mean time	Std time	Median time	Solved/Total
AIGSolve	0.01	0.01	0.01	0.01	1
caqe_2017_v1	0	0	0	0	1
caqe_2017_v2	0.02	0.01	0	0.01	1
caqe_2017_v3	0.02	0.01	0	0.01	1
CUED1919_NL	0.04	0.02	0.01	0.02	0.5
CUED1919_NNL	0.03	0.02	0.02	0.02	0.5
dynQBF-bloqqer-hqspre	0.06	0.03	0	0.03	1
ghostq-cegar	0.18	0.09	0	0.09	1
GhostQ-PG_cegar	0.2	0.1	0	0.1	1
GhostQ-PG_plain	0.2	0.1	0	0.1	1
heretiq	0.01	0.01	0.01	0.01	1
HQSpre_solver	0.01	0.01	0.01	0.01	1
ijtihad_v1	0	0	0	0	1
ijtihad_v2	0	0	0	0	1
iProver-qbf-2017-07-27-v3	0.33	0.17	0.05	0.17	1
iProver-qbf-bloqqer-2017-07-27-v3	0.1	0.05	0	0.05	1
prefix-opt-depqbf	0.01	0.01	0.01	0.01	1
qbfrelay	0.25	0.13	0.02	0.13	1
qbfrelay-limited-depqbf	0.27	0.14	0.01	0.14	1
QELL_default	0.03	0.02	0.01	0.02	1
QELL_unit	0.03	0.02	0.01	0.02	1
qesto	0	0	0	0	1
Qute_default	0.02	0.01	0	0.01	1
Qute_opt500	0.02	0.01	0	0.01	1
Qute_random	0.03	0.02	0.01	0.02	1
rareqs	0	0	0	0	1
rev_qfun0.1	0	0	0	0	1
xb-qsts_bqsts2.0	0.05	0.03	0.01	0.03	1
xb-qsts_xbqsts1.0	0.05	0.03	0.01	0.03	1
xb-qsts_xbqsts2.0	0.06	0.03	0	0.03	1

QBF Solver Evaluation Portal