Suite Pan results for solvers <br> QBFEVAL'17

Solver	Total time	Mean time	Std time	Median time	IQ range time	Solved/Total
AIGSolve	15474.84	644.79	361.62	900	712.55	0.333
caqe_2017_v1	11502.41	479.27	436.62	750.73	898.66	0.5
caqe_2017_v2	10897.06	454.04	426.46	446.93	895.2	0.542
caqe_2017_v3	11069	461.21	427.83	533.22	898.63	0.542
CUED1919_NL	10025.16	417.72	181.06	418.99	90.28	0
CUED1919_NNL	14342.11	597.59	384.71	900	790.19	0
dynQBF-bloqqer-hqspre	7943.48	330.98	405.85	89.31	894.42	0.667
ghostq-cegar	20914.93	871.46	136.9	900	0	0.042
GhostQ-PG_cegar	20915.19	871.47	136.84	900	0	0.042
GhostQ-PG_plain	20962.3	873.43	127.43	900	0	0.042
heretiq	13628.58	567.86	429.2	900	896.52	0.375
HQSpre_solver	9296.34	387.35	401.34	149.07	863.59	0.625
ijtihad_v1	13850.44	577.1	421.32	900	896.57	0.375
ijtihad_v2	13660.57	569.19	427.47	900	894.71	0.375
iProver-qbf-2017-07-27-v3	21600	900	0	900	0	0
iProver-qbf-bloqqer-2017-07-27-v3	11768.88	490.37	445.32	900	894.86	0.458
prefix-opt-depqbf	14437.15	601.55	422.08	900	891.97	0.333
qbfrelay	9216.14	384.01	387.08	303.26	827.73	0.5
qbfrelay-limited-depqbf	9535.75	397.32	422.6	95.8	885.41	0.583
QELL_default	21600	900	0	900	0	0
QELL_unit	21600	900	0	900	0	0
qesto	14728.41	613.68	405.98	900	823.9	0.333
Qute_default	11676.57	486.52	395.8	390.74	863.44	0.542
Qute_opt500	11127.51	463.65	388.41	381.34	866.66	0.583
Qute_random	11204.08	466.84	386.86	387.14	863.72	0.583
rareqs	15861.35	660.89	382.53	900	635.93	0.292
rev_qfun0.1	19795.81	824.83	246.91	900	0	0.125
xb-qsts_bqsts2.0	10606.62	441.94	430.31	319.06	894.93	0.542
xb-qsts_xbqsts1.0	10619.49	442.48	430.1	324.81	894.93	0.542
xb-qsts_xbqsts2.0	10617.19	442.38	430.16	323.79	894.82	0.542

QBF Solver Evaluation Portal