Family evader-pursuer-6x6-standard results for solvers <br> QBFEVAL'17

Solver	Total time	Mean time	Std time	Median time	IQ range time	Solved/Total
AIGSolve	7179.69	897.46	6.72	900	0	0.125
caqe_2017_v1	6484.97	810.62	132.54	900	167.8	0
caqe_2017_v2	6526.24	815.78	222.83	900	0	0.125
caqe_2017_v3	5858.66	732.33	229.53	857.56	292.37	0.125
CUED1919_NL	6954.64	869.33	55.02	900	41.03	0
CUED1919_NNL	7200	900	0	900	0	0
dynQBF-bloqqer-hqspre	7200	900	0	900	0	0
ghostq-cegar	7200	900	0	900	0	0
GhostQ-PG_cegar	7200	900	0	900	0	0
GhostQ-PG_plain	7200	900	0	900	0	0
heretiq	7200	900	0	900	0	0
HQSpre_solver	6421.65	802.71	257.42	900	0	0.125
ijtihad_v1	7200	900	0	900	0	0
ijtihad_v2	7200	900	0	900	0	0
iProver-qbf-2017-07-27-v3	7200	900	0	900	0	0
iProver-qbf-bloqqer-2017-07-27-v3	7200	900	0	900	0	0
prefix-opt-depqbf	5587.68	698.46	349.84	900	379.99	0.25
qbfrelay	7034.69	879.34	12.28	879.73	21.53	0
qbfrelay-limited-depqbf	5790.86	723.86	313.76	900	279.04	0.25
QELL_default	7200	900	0	900	0	0
QELL_unit	7200	900	0	900	0	0
qesto	7200	900	0	900	0	0
Qute_default	7173.2	896.65	0.07	896.67	0.11	0
Qute_opt500	7200	900	0	900	0	0
Qute_random	7200	900	0	900	0	0
rareqs	7200	900	0	900	0	0
rev_qfun0.1	7200	900	0	900	0	0
xb-qsts_bqsts2.0	7200	900	0	900	0	0
xb-qsts_xbqsts1.0	7200	900	0	900	0	0
xb-qsts_xbqsts2.0	7200	900	0	900	0	0

QBF Solver Evaluation Portal