Family amba results for solvers <br> QBFEVAL'17

Solver	Total time	Mean time	Std time	Median time	IQ range time	Solved/Total
AIGSolve	1831.56	457.89	442.12	460.03	884.22	0.5
caqe_2017_v1	1164	291	357.92	130.15	508.41	0.75
caqe_2017_v2	1095.75	273.94	363.69	96.22	467.21	0.75
caqe_2017_v3	1097.57	274.39	363.48	97.12	467.95	0.75
CUED1919_NL	1310.69	327.67	361.84	204.52	621.71	0
CUED1919_NNL	1827.05	456.76	443.33	463.09	886.48	0
dynQBF-bloqqer-hqspre	2729.26	682.32	377.04	900	435.37	0.25
ghostq-cegar	2726.81	681.7	378.1	900	436.6	0.25
GhostQ-PG_cegar	2726.95	681.74	378.04	900	436.53	0.25
GhostQ-PG_plain	3072.93	768.23	228.23	900	263.54	0.25
heretiq	1915.86	478.97	422.78	506.13	842.07	0.5
HQSpre_solver	2252.89	563.22	363.93	660.77	673.56	0.5
ijtihad_v1	2123.79	530.95	385.63	610.05	738.11	0.5
ijtihad_v2	2172.86	543.22	379.43	634.52	713.57	0.5
iProver-qbf-2017-07-27-v3	3600	900	0	900	0	0
iProver-qbf-bloqqer-2017-07-27-v3	3600	900	0	900	0	0
prefix-opt-depqbf	3600	900	0	900	0	0
qbfrelay	2353.29	588.32	354.78	709.77	619.26	0
qbfrelay-limited-depqbf	2126.68	531.67	360.92	548.71	720.22	0.5
QELL_default	2719.72	679.93	381.17	900	440.14	0.25
QELL_unit	2719.86	679.97	381.11	900	440.07	0.25
qesto	2153.55	538.39	368.88	589.9	723.23	0.5
Qute_default	3251.81	812.95	150.77	900	174.1	0.25
Qute_opt500	3165.94	791.49	187.95	900	217.03	0.25
Qute_random	3215.5	803.88	166.49	900	192.25	0.25
rareqs	1085.89	271.47	366.12	92.11	493.92	0.75
rev_qfun0.1	2717.21	679.3	382.26	900	441.4	0.25
xb-qsts_bqsts2.0	1851.47	462.87	437.18	467.56	874.27	0.5
xb-qsts_xbqsts1.0	1515.88	378.97	375.27	303.67	713.38	0.75
xb-qsts_xbqsts2.0	1515.42	378.86	375.18	303.43	713.06	0.75

QBF Solver Evaluation Portal