Family k_ph_p results for solvers <br> QBFEVAL'16

Solver	Total time	Mean time	Std time	Median time	IQ range time	Solved/Total
AIGSolve	3710.77	371.08	281.84	599.77	599.82	0.4
aqua-f3v	4198.47	419.85	274.85	599.73	599.82	0.3
aqua-s2v	4198.61	419.86	274.84	599.71	599.82	0.3
aqua-s3o	4198.53	419.85	274.86	599.75	599.82	0.3
caqe-minisat	3772.93	377.29	276.58	599.69	599.7	0.4
caqe-picosat	3913.32	391.33	269.4	599.71	599.7	0.4
depqbf-v1	4147.13	414.71	271.47	592.09	592.5	0.3
depqbf-v2	4151.87	415.19	271.78	593.03	593.1	0.3
depqbf-v3	4198.72	419.87	274.86	599.81	599.8	0.3
ghostq-cegar	3648.89	364.89	288.11	599.81	599.82	0.4
ghostq-plain	3640.66	364.07	289.03	599.81	599.81	0.4
hiqqer1	4198.77	419.88	274.85	599.81	599.78	0.3
hiqqer1ldsq	4198.6	419.86	274.84	599.76	599.78	0.3
hiqqer3	4198.78	419.88	274.85	599.81	599.77	0.3
iprover-QBF	3148.15	314.82	255.97	310.99	598.84	0.4
iprover-QBF-bloqqer	3635.63	363.56	288.85	599.22	599.18	0.2
qesto	3712.81	371.28	281.56	599.71	599.71	0.4
qestos	3398.53	339.85	273.1	452.73	599.71	0.4
qsts	3834.54	383.45	272.56	599.48	599.52	0.4
rareqs	3567.05	356.71	266.47	494.91	599.71	0.4
squeezebf+struqs	4198.21	419.82	274.83	599.71	599.71	0.3
struqs-10	4198.1	419.81	274.82	599.71	599.71	0.3
xb-bid-qsts	2643.62	264.36	277.73	119.49	599.7	0.6
xb-qsts	3786.86	378.69	275.6	599.71	599.7	0.4

QBF Solver Evaluation Portal