Family wmiforward results for solvers <br> QBFEVAL'16

Solver	Total time	Mean time	Std time	Median time	IQ range time	Solved/Total
AIGSolve	0.62	0.06	0.09	0.03	0.05	1
aqua-f3v	1803.21	180.32	274.61	0.86	2.12	0.7
aqua-s2v	1803.01	180.3	274.62	0.86	1.94	0.7
aqua-s3o	1802.3	180.23	274.62	0.79	1.57	0.7
caqe-minisat	1.63	0.16	0.17	0.14	0.16	1
caqe-picosat	1.66	0.17	0.17	0.14	0.15	1
depqbf-v1	3568.79	356.88	289.95	593.47	593.6	0.4
depqbf-v2	2.34	0.23	0.24	0.16	0.19	1
depqbf-v3	2999.02	299.9	299.83	299.97	599.71	0.5
ghostq-cegar	2.42	0.24	0.17	0.21	0.18	1
ghostq-plain	2584.73	258.47	268.67	164.83	463.35	0.8
hiqqer1	0.5	0.05	0.02	0.05	0.02	1
hiqqer1ldsq	0.42	0.04	0.02	0.04	0.03	1
hiqqer3	0.52	0.05	0.02	0.05	0.02	1
iprover-QBF	2545.4	254.54	178.46	337.85	384.38	0.3
iprover-QBF-bloqqer	1.88	0.19	0.16	0.16	0.15	1
qesto	0.18	0.02	0.02	0.02	0.02	1
qestos	0.17	0.02	0.02	0.02	0.02	1
qsts	3598.5	359.85	293.79	599.71	599.72	0.4
rareqs	0.17	0.02	0.02	0.02	0.02	1
squeezebf+struqs	3627.58	362.76	290.34	599.71	599.71	0.4
struqs-10	3627.55	362.76	290.32	599.71	599.71	0.4
xb-bid-qsts	1.62	0.16	0.17	0.13	0.15	1
xb-qsts	1.57	0.16	0.17	0.13	0.16	1

QBF Solver Evaluation Portal