Family s820 results for solvers <br> QBFEVAL'17

Solver	Total time	Mean time	Std time	Median time	Solved/Total
AIGSolve	1800	900	0	900	0
caqe_2017_v1	436.22	218.11	120.5	218.11	1
caqe_2017_v2	343.84	171.92	76.25	171.92	1
caqe_2017_v3	343.81	171.91	76.01	171.91	1
CUED1919_NL	636.61	318.31	116.05	318.31	0
CUED1919_NNL	250.94	125.47	75.2	125.47	0
dynQBF-bloqqer-hqspre	1800	900	0	900	0
ghostq-cegar	67.82	33.91	13.62	33.91	1
GhostQ-PG_cegar	23.36	11.68	4.88	11.68	1
GhostQ-PG_plain	20.29	10.15	3.89	10.15	1
heretiq	1800	900	0	900	0
HQSpre_solver	1800	900	0	900	0
ijtihad_v1	1800	900	0	900	0
ijtihad_v2	1800	900	0	900	0
iProver-qbf-2017-07-27-v3	1800	900	0	900	0
iProver-qbf-bloqqer-2017-07-27-v3	1800	900	0	900	0
prefix-opt-depqbf	1800	900	0	900	0
qbfrelay	1770.96	885.48	6.71	885.48	0
qbfrelay-limited-depqbf	1800	900	0	900	0
QELL_default	3.4	1.7	1.21	1.7	1
QELL_unit	3.69	1.85	1.4	1.85	1
qesto	1176.7	588.35	195.81	588.35	1
Qute_default	1005.12	502.56	394.06	502.56	0.5
Qute_opt500	1800	900	0	900	0
Qute_random	1800	900	0	900	0
rareqs	425.08	212.54	110.76	212.54	1
rev_qfun0.1	129.11	64.56	36.83	64.56	1
xb-qsts_bqsts2.0	951.26	475.63	424.37	475.63	0.5
xb-qsts_xbqsts1.0	1032.59	516.3	383.71	516.3	0.5
xb-qsts_xbqsts2.0	1032.51	516.26	383.75	516.26	0.5

QBF Solver Evaluation Portal