Family wgrowing results for solvers <br> QBFEVAL'18

Solver	Total time	Mean time	Std time	Median time	IQ range time	Solved/Total
Caqe-bloqqer	1906.35	211.82	255.89	122.22	126.61	0.889
Caqe-bloqqer-qdo	1972.94	219.22	280.87	130.11	124.42	0.889
Caqe-hqspre	4570.72	507.86	390.47	611.15	860.63	0.667
Cued_2_2018	7203.64	800.4	281.79	900.03	0.02	0.111
Cued_3_2018	7203.72	800.41	281.79	900.03	0.02	0.111
depqbf_prefix_opt_qdo	7200.28	800.03	282.85	900.02	0.02	0.111
depqbf_pre_QxQBH	7200.22	800.02	282.85	900.02	0.03	0.111
GhostQ-PG_cegar	8100.45	900.05	0.02	900.05	0.03	0
GhostQ-PG_plain	8100.51	900.06	0.03	900.06	0.05	0
Heretiq-cube	7231.81	803.53	273.03	900.06	0.05	0.111
Heretiq-simple	6549.59	727.73	325.39	900.05	341.14	0.222
ijtihad	8100.48	900.05	0.03	900.05	0.06	0
Iprover-HQSpre-Bloqqer	7200.35	800.04	282.86	900.03	0.03	0.111
PortfolioDepQBFGhostQRaReQSQute___pf	5461.81	606.87	414.7	900.01	871.98	0.333
predyndep	7202.3	800.26	282.24	900.02	0.03	0.111
Qute_default	5450.96	605.66	416.52	900.03	874.69	0.333
Qute_opt500	3652.86	405.87	361.88	253.6	496.55	0.667
Qute_random	3656.69	406.3	361.55	254.07	492.42	0.667
Rareqs_2018	5346.46	594.05	360.03	900.01	672.47	0.444

QBF Solver Evaluation Portal