Family Connect4 results for solvers <br> QBFEVAL'16

Solver	Total time	Mean time	Std time	Median time	IQ range time	Solved/Total
AIGSolve	3652.59	365.26	298.21	599.72	599.53	0.4
aqua-f3v	1357.36	135.74	170.2	7.91	261.11	0.6
aqua-s2v	1246.58	124.66	151.9	7.16	248.55	0.6
aqua-s3o	1053.38	105.34	128.19	5.13	233.57	0.6
caqe-minisat	2482.47	248.25	287.33	41.2	599.38	0.6
caqe-picosat	2528	252.8	284.23	63.89	599.42	0.6
depqbf-v1	2413.14	241.31	286.66	21.41	591.81	0.6
depqbf-v2	2435.51	243.55	285.12	32.71	592.17	0.6
depqbf-v3	2471.51	247.15	288.23	36.11	599.7	0.6
ghostq-cegar	2094.68	209.47	211.6	112.38	293.94	0.6
ghostq-plain	2205.23	220.52	221.04	117.95	326.43	0.6
hiqqer1	2480.47	248.05	287.66	40.14	599.68	0.6
hiqqer1ldsq	2484.19	248.42	287.4	42.02	599.69	0.6
hiqqer3	2528.82	252.88	284.34	64.2	599.78	0.6
iprover-QBF	3347.3	334.73	265.92	435.8	593.65	0.4
iprover-QBF-bloqqer	3237.89	323.79	280.54	419.94	598.83	0.1
qesto	731.91	73.19	177.59	8.22	10.26	0.5
qestos	1798.27	179.83	225.67	80.75	200.17	0.5
qsts	3103.47	310.35	290.7	350.96	599.23	0.5
rareqs	3598.68	359.87	293.77	599.71	599.66	0.4
squeezebf+struqs	2571.34	257.13	283.24	84.88	599.47	0.6
struqs-10	2604.69	260.47	282.18	102.75	599.68	0.6
xb-bid-qsts	1799.01	179.9	200.02	105.5	267.33	0.9
xb-qsts	2543.84	254.38	283.1	72.04	599.27	0.6

QBF Solver Evaluation Portal