Family PositionalGames_gttt results for solvers <br> QBFEVAL'17

Solver	Total time	Mean time	Std time	Median time	IQ range time	Solved/Total
AIGSolve	49379.43	771.55	216.58	837.21	154.38	0.063
caqe_2017_v1	57600	900	0	900	0	0
caqe_2017_v2	54000.84	843.76	217.8	900	0	0.063
caqe_2017_v3	57600	900	0	900	0	0
CUED1919_NL	1020.05	15.94	1.77	16.47	2.6	0
CUED1919_NNL	181.38	2.83	0.29	2.96	0.48	0
dynQBF-bloqqer-hqspre	54006.23	843.85	217.48	900	0	0.063
ghostq-cegar	56743.53	886.62	106.22	900	0	0.016
GhostQ-PG_cegar	53822.86	840.98	215.06	900	0	0.063
GhostQ-PG_plain	54021.42	844.08	216.56	900	0	0.063
heretiq	52285.03	816.95	258.33	900	0	0.094
HQSpre_solver	54001.13	843.77	217.79	900	0	0.063
ijtihad_v1	53112.85	829.89	240.84	900	0	0.078
ijtihad_v2	53113.39	829.9	240.81	900	0	0.078
iProver-qbf-2017-07-27-v3	54165.02	846.33	207.87	900	0	0.063
iProver-qbf-bloqqer-2017-07-27-v3	54109.54	845.46	211.23	900	0	0.063
prefix-opt-depqbf	33504.15	523.5	428.8	900	893.38	0.438
qbfrelay	1648.07	25.75	7.06	26.66	5.47	0.063
qbfrelay-limited-depqbf	26533.01	414.58	400.18	273.15	881.41	0.609
QELL_default	57600	900	0	900	0	0
QELL_unit	57600	900	0	900	0	0
qesto	54054.63	844.6	214.55	900	0	0.063
Qute_default	54000.88	843.76	217.8	900	0	0.063
Qute_opt500	54000.89	843.76	217.8	900	0	0.063
Qute_random	54000.88	843.76	217.8	900	0	0.063
rareqs	55800.56	871.88	156.54	900	0	0.031
rev_qfun0.1	55977.67	874.65	141.94	900	0	0.031
xb-qsts_bqsts2.0	54905.01	857.89	189.88	900	0	0.047
xb-qsts_xbqsts1.0	54007.78	843.87	217.38	900	0	0.063
xb-qsts_xbqsts2.0	54007.73	843.87	217.39	900	0	0.063

QBF Solver Evaluation Portal