Family s1196 results for solvers <br> QBFEVAL'17

Solver	Total time	Mean time	Std time	Median time	Solved/Total
AIGSolve	1800	900	0	900	0
caqe_2017_v1	1506.71	753.36	65.59	753.36	1
caqe_2017_v2	1544.65	772.33	127.68	772.33	0.5
caqe_2017_v3	1545.95	772.98	127.03	772.98	0.5
CUED1919_NL	118.22	59.11	24.5	59.11	0
CUED1919_NNL	28.51	14.26	7.17	14.26	0
dynQBF-bloqqer-hqspre	1800	900	0	900	0
ghostq-cegar	231.13	115.57	19.15	115.57	1
GhostQ-PG_cegar	219.46	109.73	21.19	109.73	1
GhostQ-PG_plain	145.4	72.7	13.04	72.7	1
heretiq	1800	900	0	900	0
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	1558.59	779.3	120.71	779.3	0
iProver-qbf-bloqqer-2017-07-27-v3	1800	900	0	900	0
prefix-opt-depqbf	1800	900	0	900	0
qbfrelay	1768.74	884.37	1.25	884.37	0
qbfrelay-limited-depqbf	1800	900	0	900	0
QELL_default	1123.8	561.9	84.98	561.9	1
QELL_unit	1099.74	549.87	87.69	549.87	1
qesto	299.22	149.61	41.39	149.61	1
Qute_default	1800	900	0	900	0
Qute_opt500	1800	900	0	900	0
Qute_random	1800	900	0	900	0
rareqs	1039.14	519.57	86.42	519.57	1
rev_qfun0.1	448.48	224.24	93	224.24	1
xb-qsts_bqsts2.0	296.13	148.07	106.38	148.07	1
xb-qsts_xbqsts1.0	431.71	215.86	116.39	215.86	1
xb-qsts_xbqsts2.0	431.01	215.51	115.97	215.51	1

QBF Solver Evaluation Portal