Family BMC results for solvers <br> QBFEVAL'17

Solver	Total time	Mean time	Std time	Median time	IQ range time	Solved/Total
AIGSolve	7862.78	604.83	397.34	900	880.74	0.462
caqe_2017_v1	6513.2	501.02	431.81	900	879.68	0.462
caqe_2017_v2	8382.21	644.79	383.21	900	804.05	0.308
caqe_2017_v3	8388.71	645.29	382.49	900	802.09	0.308
CUED1919_NL	10576.08	813.54	134.17	900	230.09	0
CUED1919_NNL	11700	900	0	900	0	0
dynQBF-bloqqer-hqspre	10022.18	770.94	302.74	900	0	0.154
ghostq-cegar	10610.41	816.19	209.74	900	75.66	0.077
GhostQ-PG_cegar	10200.32	784.64	220.03	900	220.05	0.154
GhostQ-PG_plain	11199.21	861.48	90.34	900	0	0
heretiq	6767.58	520.58	417.41	900	879.65	0.462
HQSpre_solver	9362.08	720.16	315.13	900	325.51	0.308
ijtihad_v1	6896.85	530.53	414.29	900	879.73	0.462
ijtihad_v2	6889.13	529.93	414.38	900	879.66	0.462
iProver-qbf-2017-07-27-v3	9964.39	766.49	313.11	900	0	0
iProver-qbf-bloqqer-2017-07-27-v3	11389.9	876.15	82.63	900	0	0.077
prefix-opt-depqbf	9287	714.38	339.52	900	371.74	0.231
qbfrelay	9512.99	731.77	281.34	865.68	285.2	0.231
qbfrelay-limited-depqbf	8785.37	675.8	343.04	900	627.45	0.308
QELL_default	9972.2	767.09	311.75	900	0	0.154
QELL_unit	9974.71	767.29	311.32	900	0	0.154
qesto	9939.36	764.57	317.63	900	0	0.154
Qute_default	8145.83	626.6	361.43	896.51	737.49	0.385
Qute_opt500	8058.67	619.9	366.09	900	742.51	0.385
Qute_random	8315.77	639.67	362.75	900	741.33	0.385
rareqs	6456.08	496.62	436.04	900	881.34	0.462
rev_qfun0.1	7441.31	572.41	404.05	900	872.37	0.385
xb-qsts_bqsts2.0	11282.61	867.89	111.22	900	0	0.077
xb-qsts_xbqsts1.0	11336.86	872.07	96.77	900	0	0.077
xb-qsts_xbqsts2.0	11330.26	871.56	98.52	900	0	0.077

QBF Solver Evaluation Portal