Family C432 results for solvers <br> QBFEVAL'17

Solver	Total time	Mean time	Std time	Median time	Solved/Total
AIGSolve	0.42	0.21	0	0.21	1
caqe_2017_v1	1.99	1	0.04	1	1
caqe_2017_v2	1.43	0.72	0.08	0.72	1
caqe_2017_v3	1.44	0.72	0.08	0.72	1
CUED1919_NL	0.04	0.02	0	0.02	0
CUED1919_NNL	0.03	0.02	0.01	0.02	0
dynQBF-bloqqer-hqspre	106.39	53.2	40.05	53.2	1
ghostq-cegar	6.96	3.48	0.82	3.48	1
GhostQ-PG_cegar	6.65	3.33	0.05	3.33	1
GhostQ-PG_plain	7.66	3.83	0.58	3.83	1
heretiq	4.58	2.29	0.63	2.29	1
HQSpre_solver	1145.83	572.92	60.56	572.92	1
ijtihad_v1	4.59	2.3	0.61	2.3	1
ijtihad_v2	4.43	2.22	0.54	2.22	1
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	18.98	9.49	1.91	9.49	1
qbfrelay	1764.94	882.47	17.53	882.47	0
qbfrelay-limited-depqbf	19.28	9.64	1.91	9.64	1
QELL_default	0.33	0.17	0.02	0.17	1
QELL_unit	0.28	0.14	0	0.14	1
qesto	1800	900	0	900	0
Qute_default	1800	900	0	900	0
Qute_opt500	1800	900	0	900	0
Qute_random	1800	900	0	900	0
rareqs	2.66	1.33	0.15	1.33	1
rev_qfun0.1	0.53	0.27	0.02	0.27	1
xb-qsts_bqsts2.0	1374.73	687.37	212.64	687.37	0.5
xb-qsts_xbqsts1.0	1377.62	688.81	211.19	688.81	0.5
xb-qsts_xbqsts2.0	1369.7	684.85	215.15	684.85	0.5

QBF Solver Evaluation Portal