Family dungeon results for solvers <br> QBFEVAL'17

Solver	Total time	Mean time	Std time	Median time	IQ range time	Solved/Total
AIGSolve	609.93	23.46	11.58	25.68	14.81	1
caqe_2017_v1	17173.74	660.53	394.61	900	869.8	0.269
caqe_2017_v2	556.37	21.4	10.78	20.68	13.57	1
caqe_2017_v3	567.47	21.83	11.01	21.07	13.83	1
CUED1919_NL	17823.16	685.51	357.86	900	774.65	0
CUED1919_NNL	17819.35	685.36	357.96	900	771.75	0
dynQBF-bloqqer-hqspre	2206.69	84.87	40.38	105.86	82.13	1
ghostq-cegar	19897.99	765.31	301.49	900	0	0.192
GhostQ-PG_cegar	20012.52	769.71	293.97	900	0	0.192
GhostQ-PG_plain	20955.39	805.98	262.27	900	0	0.115
heretiq	17198.11	661.47	393.13	900	859.99	0.269
HQSpre_solver	493.64	18.99	9.25	19.16	10.15	1
ijtihad_v1	17200.7	661.57	392.98	900	859.15	0.269
ijtihad_v2	17200.33	661.55	393	900	859.64	0.269
iProver-qbf-2017-07-27-v3	13064.26	502.47	358.83	390.27	775.86	0.577
iProver-qbf-bloqqer-2017-07-27-v3	17320.2	666.16	385.36	900	850.46	0.269
prefix-opt-depqbf	16600.53	638.48	367.89	900	708.7	0.385
qbfrelay	1967.34	75.67	35.23	87.23	68.48	1
qbfrelay-limited-depqbf	9425.4	362.52	362.63	166.24	781.44	0.692
QELL_default	18654.82	717.49	352.76	900	251.82	0.231
QELL_unit	18910.02	727.31	353.92	900	0	0.192
qesto	20848.13	801.85	272.57	900	0	0.115
Qute_default	570.58	21.95	11.18	21.24	13.85	1
Qute_opt500	570.5	21.94	11.2	21.23	13.98	1
Qute_random	569.44	21.9	11.11	21.18	13.72	1
rareqs	18223.33	700.9	356.54	900	518.41	0.269
rev_qfun0.1	17622	677.77	368.27	896.67	699.39	0.269
xb-qsts_bqsts2.0	20253.36	778.98	292.21	900	0	0.154
xb-qsts_xbqsts1.0	19026.12	731.77	344.91	900	0	0.192
xb-qsts_xbqsts2.0	18914.1	727.47	343.54	900	111.39	0.192

QBF Solver Evaluation Portal