Family Adder results for solvers <br> QBFEVAL'16

Solver	Total time	Mean time	Std time	Median time	IQ range time	Solved/Total
ghostq-cegar	2399.03	479.81	239.76	599.71	299.76	0.2
ghostq-plain	2418.84	483.77	241.86	599.91	303.14	0.2
qsts	2132.04	426.41	221.57	480.63	314.23	0.2
quabs-minisat	2398.94	479.79	239.84	599.71	299.81	0.2
quabs-picosat	2399.2	479.84	239.84	599.71	299.83	0.2
rareqs-nn	2398.59	479.72	239.76	599.62	299.76	0.2
xb-bid-qsts	987.84	197.57	224.73	75.28	166.92	0.8
xb-qsts	2398.31	479.66	239.78	599.52	299.76	0.2

QBF Solver Evaluation Portal