Suite Katz results for solvers <br> QBFEVAL'16

Solver	Total time	Mean time	Std time	Median time	IQ range time	Solved/Total
AIGSolve	1248.38	124.84	237.58	3.16	18.14	0.8
aqua-f3v	4807.32	480.73	222.63	599.77	529.37	0.2
aqua-s2v	4724.28	472.43	236.44	599.82	596.45	0.2
aqua-s3o	4725.58	472.56	236.34	599.82	596.12	0.2
caqe-minisat	4337.89	433.79	253.88	599.7	547.43	0.3
caqe-picosat	5536.81	553.68	138.28	599.79	0.09	0.1
depqbf-v1	4240.83	424.08	258.18	592.68	570.01	0.3
depqbf-v2	4138.67	413.87	243.77	593.27	589	0.4
depqbf-v3	4271.02	427.1	263.8	599.71	576.82	0.3
ghostq-cegar	5999.51	599.95	0.09	599.96	0.19	0
ghostq-plain	5956.12	595.61	12.93	599.91	0.21	0
hiqqer1	4232.97	423.3	269.61	599.71	593.68	0.3
hiqqer1ldsq	4232.74	423.27	269.63	599.71	594.17	0.3
hiqqer3	4235.63	423.56	269.22	599.71	591.9	0.3
iprover-QBF	3964.81	396.48	104.07	387.5	167.41	0
iprover-QBF-bloqqer	4362.15	436.22	141.01	426.12	285.21	0
qesto	5756.95	575.7	72.08	599.71	0	0.1
qestos	5866.72	586.67	39.32	599.76	0.1	0
qsts	4836.32	483.63	152.29	599.71	365.27	0
rareqs	5951	595.1	13.86	599.71	0	0.1
squeezebf+struqs	4365.16	436.52	250.37	599.71	572.86	0.3
struqs-10	4366.36	436.64	250.21	599.71	572.64	0.3
xb-bid-qsts	3781.58	378.16	272.35	599.71	570.17	0.4
xb-qsts	3753.31	375.33	275.93	599.71	580.05	0.4

QBF Solver Evaluation Portal