Family s641 results for solvers <br> QBFEVAL'17

Solver	Total time	Mean time	Std time	Median time	Solved/Total
AIGSolve	940.73	470.37	99.38	470.37	1
caqe_2017_v1	74.22	37.11	26.63	37.11	1
caqe_2017_v2	134.45	67.23	40.98	67.23	1
caqe_2017_v3	135.65	67.83	41.72	67.83	1
CUED1919_NL	27.33	13.67	1.82	13.67	0
CUED1919_NNL	6.14	3.07	0.54	3.07	0
dynQBF-bloqqer-hqspre	1800	900	0	900	0
ghostq-cegar	22.1	11.05	4.97	11.05	1
GhostQ-PG_cegar	14.77	7.39	4.29	7.39	1
GhostQ-PG_plain	10.49	5.25	2.99	5.25	1
heretiq	430.99	215.5	180.6	215.5	1
HQSpre_solver	1800	900	0	900	0
ijtihad_v1	1800	900	0	900	0
ijtihad_v2	1800	900	0	900	0
iProver-qbf-2017-07-27-v3	1800	900	0	900	0
iProver-qbf-bloqqer-2017-07-27-v3	1800	900	0	900	0
prefix-opt-depqbf	1800	900	0	900	0
qbfrelay	1357.8	678.9	206.31	678.9	0
qbfrelay-limited-depqbf	1147.13	573.57	326.44	573.57	0.5
QELL_default	30.2	15.1	14.55	15.1	1
QELL_unit	29.65	14.83	14.36	14.83	1
qesto	76.79	38.4	12.07	38.4	1
Qute_default	931.26	465.63	434.37	465.63	0.5
Qute_opt500	216.2	108.1	79.85	108.1	1
Qute_random	216.65	108.33	80.01	108.33	1
rareqs	45.12	22.56	18.14	22.56	1
rev_qfun0.1	30.74	15.37	9.46	15.37	1
xb-qsts_bqsts2.0	18.79	9.4	2.36	9.4	1
xb-qsts_xbqsts1.0	101.53	50.77	11.03	50.77	1
xb-qsts_xbqsts2.0	101.63	50.82	11.03	50.82	1

QBF Solver Evaluation Portal