Family evader-pursuer-8x8-logarithmic results for solvers <br> QBFEVAL'17

Solver	Total time	Mean time	Std time	Median time	IQ range time	Solved/Total
AIGSolve	4500	900	0	900	0	0
caqe_2017_v1	4500	900	0	900	0	0
caqe_2017_v2	4500	900	0	900	0	0
caqe_2017_v3	4500	900	0	900	0	0
CUED1919_NL	3026.58	605.32	83.92	577.97	77.17	0
CUED1919_NNL	4500	900	0	900	0	0
dynQBF-bloqqer-hqspre	4500	900	0	900	0	0
ghostq-cegar	4500	900	0	900	0	0
GhostQ-PG_cegar	4500	900	0	900	0	0
GhostQ-PG_plain	4500	900	0	900	0	0
heretiq	3885.3	777.06	214.86	900	307.35	0.4
HQSpre_solver	4500	900	0	900	0	0
ijtihad_v1	4500	900	0	900	0	0
ijtihad_v2	4500	900	0	900	0	0
iProver-qbf-2017-07-27-v3	4500	900	0	900	0	0
iProver-qbf-bloqqer-2017-07-27-v3	4500	900	0	900	0	0
prefix-opt-depqbf	3120.86	624.17	349.26	900	689.57	0.4
qbfrelay	4476.27	895.25	1.97	896.14	2.9	0
qbfrelay-limited-depqbf	3598.29	719.66	219.87	895.18	443.03	0.4
QELL_default	4120.64	824.13	151.74	900	189.68	0.2
QELL_unit	4256.68	851.34	97.33	900	121.66	0.2
qesto	4500	900	0	900	0	0
Qute_default	4493.32	898.66	1.64	900	3.34	0
Qute_opt500	4500	900	0	900	0	0
Qute_random	4500	900	0	900	0	0
rareqs	4500	900	0	900	0	0
rev_qfun0.1	4500	900	0	900	0	0
xb-qsts_bqsts2.0	4383.76	876.75	46.5	900	58.12	0.2
xb-qsts_xbqsts1.0	4383.69	876.74	38.38	900	58.16	0.2
xb-qsts_xbqsts2.0	4399.74	879.95	40.1	900	50.13	0.2

QBF Solver Evaluation Portal