Str	Args	Deps	Syms	Prems	Prover	Thm%	CoS%	Uniq	ST⌀	STΣ	Thm	CoS	Maybe	Empty	Found
pgrank	d_div_s	0	60	128	epar	31.180	0.000	2	0.037	20.58	560	0	1236	0	1796
pgrank	u_div_s	0	60	128	epar	30.011	0.000	2	0.037	19.80	539	0	1257	0	1796
all	default	0	all	128	epar	29.065	0.000	3	0.064	33.42	522	0	1274	0	1796
seq	d_u_div_exps	0	60	128	epar	28.174	0.000	0	0.023	11.63	506	0	1290	0	1796
pgrank	u_div_s	0	60	512	epar	27.728	0.000	0	0.026	13.09	498	0	1298	0	1796
pgrank	du_div_s	0	60	128	epar	27.673	0.000	0	0.024	12.06	497	0	1299	0	1796
all	default	0	all	32	z3_4	27.394	0.000	26	0.119	58.63	492	0	0	1304	1796
pgrank	u_div_s	0	20	128	epar	27.227	0.000	1	0.023	11.36	489	0	1307	0	1796
pgrank	d_div_s	0	20	128	epar	27.060	0.000	0	0.021	10.11	486	0	1310	0	1796
seq	d_u_div_s2	0	60	128	epar	26.448	0.000	0	0.023	11.04	475	0	1321	0	1796
seq	d_u_div_exps	0	60	512	epar	26.225	0.000	0	0.021	9.72	471	0	1325	0	1796
pgrank	u_div_s	0	20	512	epar	25.891	0.000	0	0.021	9.99	465	0	1331	0	1796
pgrank	du_div_s	0	60	512	epar	25.668	0.000	1	0.025	11.42	461	0	1335	0	1796
pgrank	u_div_s	0	10	128	epar	25.445	0.000	0	0.019	8.51	457	0	1339	0	1796
pgrank	d	0	60	128	epar	25.223	0.000	0	0.022	9.84	453	0	1343	0	1796
seq	d_u_div_s2	0	60	512	epar	24.944	0.000	0	0.018	8.21	448	0	1348	0	1796
hhjournal	nb_t_nts_ad2	orig	0	154	epar	24.666	0.111	3	0.051	22.57	443	2	1351	0	1796
pgrank	d	0	20	128	epar	24.610	0.000	0	0.019	8.54	442	0	1354	0	1796
pgrank	du_div_s	0	20	128	epar	24.555	0.000	0	0.017	7.56	441	0	1355	0	1796
pgrank	u_div_s	0	10	512	epar	24.555	0.000	0	0.020	8.78	441	0	1355	0	1796
seq	d2_div_s	0	60	128	epar	24.220	0.000	0	0.026	11.18	435	0	1361	0	1796
pgrank	d_div_s	0	10	128	epar	24.109	0.000	0	0.017	7.23	433	0	1363	0	1796
pgrank	d_div_s	0	60	512	epar	24.053	0.000	0	0.026	11.35	432	0	1364	0	1796
hhjournal	nb_t_nts_ad2	orig	0	92	vam	23.998	0.056	4	0.055	23.93	431	1	1341	23	1796
pgrank	d	0	10	128	epar	23.775	0.000	0	0.018	7.58	427	0	1369	0	1796
hhjournal	nb_t_nts_ad2	orig	0	128	epar	23.719	0.111	0	0.041	17.70	426	2	1368	0	1796
seq	d_u_div_s	0	60	128	epar	23.552	0.000	1	0.027	11.47	423	0	1373	0	1796
seq	u2_div_s	0	60	128	epar	23.497	0.000	0	0.019	8.11	422	0	1374	0	1796
pgrank	du_div_s	0	20	512	epar	23.385	0.000	1	0.020	8.37	420	0	1376	0	1796
maxcut	default	0	10	512	epar	23.330	0.000	0	0.016	6.79	419	0	1377	0	1796
seq	d2_div_s	0	60	512	epar	23.274	0.000	0	0.021	8.94	418	0	1378	0	1796
pgrank	du_div_s	0	10	128	epar	22.829	0.000	0	0.016	6.52	410	0	1386	0	1796
seq	d_u_div_exps	0	20	128	epar	22.773	0.000	0	0.017	6.78	409	0	1387	0	1796
seq	d_u_div_s	0	60	512	epar	22.717	0.000	0	0.020	8.23	408	0	1388	0	1796
maxcut	default	0	10	128	epar	22.550	0.000	0	0.017	6.84	405	0	1391	0	1796
maxcut	default	0	5	512	epar	22.550	0.000	0	0.015	6.27	405	0	1391	0	1796
maxcut	default	0	5	128	epar	22.494	0.000	1	0.019	7.54	404	0	1392	0	1796
default	default	0	0	512	epar	22.439	0.000	0	0.016	6.40	403	0	1393	0	1796
pgrank	d_div_s	0	20	512	epar	22.439	0.000	0	0.024	9.66	403	0	1393	0	1796
seq	d2_div_s	0	10	128	epar	22.439	0.000	0	0.014	5.82	403	0	1393	0	1796
seq	d2_div_s	0	20	128	epar	22.383	0.000	0	0.015	5.90	402	0	1394	0	1796
default	default	0	0	128	epar	22.327	0.000	0	0.014	5.70	401	0	1395	0	1796
maxcut	default	0	1	128	epar	22.272	0.000	0	0.015	6.01	400	0	1396	0	1796
seq	d_u_div_s2	0	10	128	epar	22.272	0.000	0	0.014	5.65	400	0	1396	0	1796
seq	d_u_div_s2	0	20	128	epar	22.272	0.000	0	0.016	6.21	400	0	1396	0	1796
epcl	default	0	10	128	epar	22.105	0.000	0	0.015	5.81	397	0	1399	0	1796
pgrank	u	0	60	128	epar	22.049	0.000	0	0.020	7.84	396	0	1400	0	1796
seq	d2_div_s	0	10	512	epar	22.049	0.000	0	0.015	5.91	396	0	1400	0	1796
seq	d_u_div_exps	0	10	128	epar	21.993	0.000	0	0.014	5.64	395	0	1401	0	1796
seq	d_u_div_s	0	20	128	epar	21.938	0.000	0	0.015	6.02	394	0	1402	0	1796
pgrank	du_div_s	0	10	512	epar	21.882	0.000	0	0.015	5.86	393	0	1403	0	1796
seq	d_u_div_s	0	10	128	epar	21.882	0.000	0	0.015	5.78	393	0	1403	0	1796
epcl	default	0	20	128	epar	21.826	0.000	0	0.014	5.40	392	0	1404	0	1796
seq	d2_div_s	0	20	512	epar	21.826	0.000	0	0.015	5.96	392	0	1404	0	1796
seq	d_u_div_exps	0	10	512	epar	21.826	0.000	0	0.014	5.29	392	0	1404	0	1796
seq	d_u_div_exps	0	20	512	epar	21.659	0.000	0	0.015	5.81	389	0	1407	0	1796
epcl	default	0	60	128	epar	21.548	0.000	0	0.016	6.11	387	0	1409	0	1796
pgrank	du	0	10	128	epar	21.548	0.000	0	0.014	5.48	387	0	1409	0	1796
seq	u2_div_s	0	20	128	epar	21.548	0.000	0	0.017	6.64	387	0	1409	0	1796
epcl	default	0	10	512	epar	21.214	0.000	0	0.014	5.23	381	0	1415	0	1796
pgrank	u	0	10	128	epar	21.214	0.000	0	0.014	5.32	381	0	1415	0	1796
maxcut	default	0	1	512	epar	22.727	0.000	0	0.014	5.27	380	0	1292	0	1672
pgrank	d_div_s	0	10	512	epar	21.158	0.000	0	0.017	6.46	380	0	1416	0	1796
pgrank	du	0	60	128	epar	21.158	0.000	0	0.018	6.92	380	0	1416	0	1796
pgrank	u	0	20	128	epar	21.102	0.000	0	0.016	6.08	379	0	1417	0	1796
seq	d_u_div_s2	0	10	512	epar	21.102	0.000	0	0.013	5.01	379	0	1417	0	1796
seq	d_u_div_s2	0	20	512	epar	21.047	0.000	0	0.014	5.29	378	0	1418	0	1796
pgrank	du	0	10	512	epar	20.991	0.000	0	0.014	5.26	377	0	1419	0	1796
seq	d_u_div_s	0	20	512	epar	20.991	0.000	0	0.014	5.30	377	0	1419	0	1796
pgrank	du	0	20	128	epar	20.935	0.000	0	0.015	5.74	376	0	1420	0	1796
seq	d_u_div_s	0	10	512	epar	20.935	0.000	0	0.013	4.99	376	0	1420	0	1796
pgrank	u	0	10	512	epar	20.880	0.000	0	0.014	5.38	375	0	1421	0	1796
seq	u2_div_s	0	10	128	epar	20.824	0.000	0	0.015	5.46	374	0	1422	0	1796
pgrank	du	0	20	512	epar	20.768	0.000	0	0.016	5.86	373	0	1423	0	1796
pgrank	u	0	20	512	epar	20.768	0.000	0	0.015	5.67	373	0	1423	0	1796
epcl	default	0	20	512	epar	20.713	0.000	0	0.013	4.93	372	0	1424	0	1796
hhjournal	nb_t_nts_ad2	orig	0	1024	epar	20.601	0.111	5	0.051	18.85	370	2	1424	0	1796
seq	d_u_div_exps	0	60	32	z3_4	20.694	0.000	1	0.033	12.17	370	0	0	1418	1788
pgrank	d	0	10	512	epar	20.546	0.000	0	0.016	5.96	369	0	1427	0	1796
hhjournal	nb_0_hd	orig	0	512	epar	20.212	0.000	3	0.044	16.01	363	0	1433	0	1796
pgrank	d	0	20	512	epar	20.100	0.000	0	0.017	6.23	361	0	1435	0	1796
pgrank	du	0	60	512	epar	19.989	0.000	1	0.018	6.36	359	0	1437	0	1796
pgrank	d	0	60	512	epar	19.710	0.000	0	0.018	6.25	354	0	1442	0	1796
pgrank	du_div_s	0	60	32	z3_4	19.710	0.000	0	0.026	9.18	354	0	0	1442	1796
epcl	default	0	60	512	epar	19.599	0.000	0	0.014	4.93	352	0	1444	0	1796
pgrank	u_div_s	0	60	92	vam	19.098	0.000	0	0.027	9.16	343	0	1452	1	1796
seq	d_u_div_exps	0	60	92	vam	18.875	0.000	0	0.021	7.16	339	0	1452	5	1796
seq	u2_div_s	0	60	512	epar	18.318	0.000	0	0.018	5.94	329	0	1467	0	1796
seq	u2_div_s	0	60	32	z3_4	17.939	0.000	5	0.043	13.74	322	0	0	1473	1795
all	default	0	all	512	epar	17.094	0.000	0	0.035	10.66	307	0	1489	0	1796
hhjournal	nb_vd1	orig	0	128	epar	17.038	0.000	0	0.035	10.61	306	0	1490	0	1796
pgrank	d_div_s	0	10	32	z3_4	16.937	0.000	1	0.027	8.23	303	0	0	1486	1789
pgrank	u	0	60	512	epar	16.871	0.000	0	0.017	5.17	303	0	1493	0	1796
seq	u2_div_s	0	10	512	epar	16.759	0.000	0	0.014	4.22	301	0	1495	0	1796
seq	u2_div_s	0	20	512	epar	16.592	0.000	0	0.014	4.26	298	0	1498	0	1796
pgrank	u_div_s	0	10	92	vam	16.147	0.000	0	0.017	4.94	290	0	1505	1	1796
hhjournal	nb_o_hd	orig	0	128	vam	15.590	0.000	1	0.043	12.07	280	0	1515	1	1796
maxcut	default	0	10	32	z3_4	16.222	0.000	0	0.020	5.66	280	0	0	1446	1726
pgrank	d_div_s	0	10	92	vam	15.312	0.000	0	0.015	4.20	275	0	1518	3	1796
seq	d_u_div_s	0	20	32	z3_4	15.200	0.000	2	0.030	8.32	273	0	0	1523	1796
seq	d2_div_s	0	20	32	z3_4	15.385	0.000	0	0.020	5.47	272	0	0	1496	1768
hhjournal	kn40_t_nts_ad1	orig	0	32	epar	15.089	5.624	1	0.030	11.29	271	101	1424	0	1796
default	default	0	0	32	z3_4	15.240	0.000	0	0.019	4.99	267	0	0	1485	1752
pgrank	du_div_s	0	10	32	z3_4	14.532	0.000	0	0.018	4.71	261	0	0	1535	1796
seq	d_u_div_s2	0	10	32	z3_4	14.477	0.000	0	0.019	4.97	260	0	0	1536	1796
hhjournal	nb_t_nts_ad1	orig	0	32	z3_4	13.976	0.000	3	0.051	12.83	251	0	0	1545	1796
hhjournal	nb_t_nts_vd1	orig	0	128	z3_4	13.641	0.000	0	0.037	8.97	245	0	0	1551	1796
maxcut	default	0	1	92	vam	13.586	0.000	0	0.012	2.95	244	0	1552	0	1796
seq	d2_div_s	0	10	92	vam	13.530	0.000	0	0.012	2.99	243	0	1553	0	1796
pgrank	du	0	10	92	vam	13.307	0.000	0	0.012	2.76	239	0	1554	3	1796
epcl	default	0	60	92	vam	13.252	0.000	1	0.018	4.19	238	0	1548	10	1796
epcl	default	0	10	92	vam	13.085	0.000	0	0.012	2.73	235	0	1561	0	1796
maxcut	default	0	10	92	vam	13.114	0.000	0	0.015	3.47	235	0	1522	35	1792
pgrank	du	0	20	92	vam	12.918	0.000	0	0.013	3.06	232	0	1552	12	1796
pgrank	u	0	10	92	vam	12.639	0.000	0	0.013	2.94	227	0	1565	4	1796
seq	u2_div_s	0	20	92	vam	12.279	0.000	0	0.013	2.69	215	0	1532	4	1751
hhjournal	kn160_t_nts_ad1	orig	0	512	z3_4	11.693	0.000	3	0.056	11.79	210	0	0	1586	1796
hhjournal	win_t_nts_hd	orig	0	128	epar	9.967	0.056	1	0.034	6.17	179	1	1616	0	1796
hhjournal	nb_t_nts_hd	orig	0	32	z3_4	7.906	0.000	0	0.030	4.32	142	0	0	1654	1796
seq	d_u_div_exps	0	10	92	vam	13.511	0.000	0	0.012	1.75	142	0	908	1	1051
seq	d2_div_s	0	60	92	vam	14.391	0.000	0	0.014	1.97	137	0	769	46	952
epcl	default	0	10	32	z3_4	15.337	0.000	0	0.021	2.14	100	0	0	552	652
hhjournal	win_t_nts_hd	orig	0	32	z3_4	3.786	0.000	0	0.030	2.02	68	0	0	1728	1796
seq	d_u_div_s	0	10	32	z3_4	15.303	0.000	0	0.014	0.81	58	0	0	321	379
all	default	0	all	92	vam	?	?	0	0.000	0.00	0	0	0	0	0
default	default	0	0	92	vam	?	?	0	0.000	0.00	0	0	0	0	0
epcl	default	0	20	32	z3_4	?	?	0	0.000	0.00	0	0	0	0	0
epcl	default	0	20	92	vam	?	?	0	0.000	0.00	0	0	0	0	0
epcl	default	0	60	32	z3_4	?	?	0	0.000	0.00	0	0	0	0	0
maxcut	default	0	1	32	z3_4	?	?	0	0.000	0.00	0	0	0	0	0
maxcut	default	0	5	32	z3_4	?	?	0	0.000	0.00	0	0	0	0	0
maxcut	default	0	5	92	vam	?	?	0	0.000	0.00	0	0	0	0	0
pgrank	d	0	10	32	z3_4	?	?	0	0.000	0.00	0	0	0	0	0
pgrank	d	0	10	92	vam	?	?	0	0.000	0.00	0	0	0	0	0
pgrank	d	0	20	32	z3_4	?	?	0	0.000	0.00	0	0	0	0	0
pgrank	d	0	20	92	vam	?	?	0	0.000	0.00	0	0	0	0	0
pgrank	d	0	60	32	z3_4	?	?	0	0.000	0.00	0	0	0	0	0
pgrank	d	0	60	92	vam	?	?	0	0.000	0.00	0	0	0	0	0
pgrank	d_div_s	0	20	32	z3_4	?	?	0	0.000	0.00	0	0	0	0	0
pgrank	d_div_s	0	20	92	vam	?	?	0	0.000	0.00	0	0	0	0	0
pgrank	d_div_s	0	60	32	z3_4	?	?	0	0.000	0.00	0	0	0	0	0
pgrank	d_div_s	0	60	92	vam	?	?	0	0.000	0.00	0	0	0	0	0
pgrank	du	0	10	32	z3_4	?	?	0	0.000	0.00	0	0	0	0	0
pgrank	du	0	20	32	z3_4	?	?	0	0.000	0.00	0	0	0	0	0
pgrank	du	0	60	32	z3_4	?	?	0	0.000	0.00	0	0	0	0	0
pgrank	du	0	60	92	vam	?	?	0	0.000	0.00	0	0	0	0	0
pgrank	du_div_s	0	10	92	vam	?	?	0	0.000	0.00	0	0	0	0	0
pgrank	du_div_s	0	20	32	z3_4	?	?	0	0.000	0.00	0	0	0	0	0
pgrank	du_div_s	0	20	92	vam	?	?	0	0.000	0.00	0	0	0	0	0
pgrank	du_div_s	0	60	92	vam	?	?	0	0.000	0.00	0	0	0	0	0
pgrank	u	0	10	32	z3_4	?	?	0	0.000	0.00	0	0	0	0	0
pgrank	u	0	20	32	z3_4	?	?	0	0.000	0.00	0	0	0	0	0
pgrank	u	0	20	92	vam	?	?	0	0.000	0.00	0	0	0	0	0
pgrank	u	0	60	32	z3_4	?	?	0	0.000	0.00	0	0	0	0	0
pgrank	u	0	60	92	vam	?	?	0	0.000	0.00	0	0	0	0	0
pgrank	u_div_s	0	10	32	z3_4	?	?	0	0.000	0.00	0	0	0	0	0
pgrank	u_div_s	0	20	32	z3_4	?	?	0	0.000	0.00	0	0	0	0	0
pgrank	u_div_s	0	20	92	vam	?	?	0	0.000	0.00	0	0	0	0	0
pgrank	u_div_s	0	60	32	z3_4	?	?	0	0.000	0.00	0	0	0	0	0
seq	d2_div_s	0	10	32	z3_4	?	?	0	0.000	0.00	0	0	0	0	0
seq	d2_div_s	0	20	92	vam	?	?	0	0.000	0.00	0	0	0	0	0
seq	d2_div_s	0	60	32	z3_4	?	?	0	0.000	0.00	0	0	0	0	0
seq	d_u_div_exps	0	10	32	z3_4	?	?	0	0.000	0.00	0	0	0	0	0
seq	d_u_div_exps	0	20	32	z3_4	?	?	0	0.000	0.00	0	0	0	0	0
seq	d_u_div_exps	0	20	92	vam	?	?	0	0.000	0.00	0	0	0	0	0
seq	d_u_div_s	0	10	92	vam	?	?	0	0.000	0.00	0	0	0	0	0
seq	d_u_div_s	0	20	92	vam	?	?	0	0.000	0.00	0	0	0	0	0
seq	d_u_div_s	0	60	32	z3_4	?	?	0	0.000	0.00	0	0	0	0	0
seq	d_u_div_s	0	60	92	vam	?	?	0	0.000	0.00	0	0	0	0	0
seq	d_u_div_s2	0	10	92	vam	?	?	0	0.000	0.00	0	0	0	0	0
seq	d_u_div_s2	0	20	32	z3_4	?	?	0	0.000	0.00	0	0	0	0	0
seq	d_u_div_s2	0	20	92	vam	?	?	0	0.000	0.00	0	0	0	0	0
seq	d_u_div_s2	0	60	32	z3_4	?	?	0	0.000	0.00	0	0	0	0	0
seq	d_u_div_s2	0	60	92	vam	?	?	0	0.000	0.00	0	0	0	0	0
seq	u2_div_s	0	10	32	z3_4	?	?	0	0.000	0.00	0	0	0	0	0
seq	u2_div_s	0	10	92	vam	?	?	0	0.000	0.00	0	0	0	0	0
seq	u2_div_s	0	20	32	z3_4	?	?	0	0.000	0.00	0	0	0	0	0
seq	u2_div_s	0	60	92	vam	?	?	0	0.000	0.00	0	0	0	0	0
any						56.403	5.791				1013	104			1796

Greedy sequence

Prover	Sum%	Sum	G+2	G1+2	G-1+2	G+2M	Alt
pgrank-d_div_s-0-60-128-epar	31.180	560
hhjournal-nb_t_nts_ad2-orig-0-92-vam	39.477	709
all-default-0-all-32-z3_4	45.601	819
hhjournal-nb_t_nts_ad2-orig-0-1024-epar	47.383	851					= seq-d_u_div_exps-0-20-128-epar = seq-d2_div_s-0-60-512-epar
seq-d_u_div_s2-0-60-128-epar	48.942	879
pgrank-du_div_s-0-60-512-epar	49.889	896
seq-d_u_div_s-0-20-32-z3_4	50.724	911
all-default-0-all-128-epar	51.448	924					= hhjournal-nb_t_nts_ad2-orig-0-154-epar
hhjournal-nb_t_nts_ad2-orig-0-154-epar	52.116	936
seq-d2_div_s-0-60-512-epar	52.617	945
hhjournal-kn160_t_nts_ad1-orig-0-512-z3_4	53.062	953
seq-u2_div_s-0-60-32-z3_4	53.452	960
pgrank-d_div_s-0-20-512-epar	53.786	966
hhjournal-nb_0_hd-orig-0-512-epar	54.065	971					= pgrank-du_div_s-0-60-32-z3_4 = seq-d_u_div_exps-0-60-32-z3_4 = hhjournal-nb_t_nts_ad1-orig-0-32-z3_4 = ... (4)
pgrank-du_div_s-0-60-32-z3_4	54.343	976					= seq-d_u_div_exps-0-60-32-z3_4 = hhjournal-nb_t_nts_ad1-orig-0-32-z3_4 = pgrank-d_div_s-0-10-32-z3_4
hhjournal-nb_t_nts_ad1-orig-0-32-z3_4	54.621	981
pgrank-d_div_s-0-20-128-epar	54.844	985
hhjournal-kn40_t_nts_ad1-orig-0-32-epar	55.011	988					= seq-d_u_div_s-0-60-512-epar = seq-d_u_div_s-0-60-128-epar
seq-d_u_div_s-0-60-512-epar	55.178	991					= seq-d_u_div_s-0-60-128-epar
pgrank-u-0-60-512-epar	55.290	993					= pgrank-u-0-60-128-epar = epcl-default-0-10-128-epar = seq-d_u_div_s-0-60-128-epar = ... (18)
epcl-default-0-10-128-epar	55.401	995					= maxcut-default-0-1-128-epar = hhjournal-win_t_nts_hd-orig-0-128-epar = seq-d_u_div_exps-0-10-128-epar = ... (13)
pgrank-u_div_s-0-20-128-epar	55.512	997					= seq-d_u_div_exps-0-60-32-z3_4 = pgrank-u_div_s-0-60-128-epar = pgrank-d_div_s-0-10-32-z3_4
seq-d_u_div_exps-0-60-32-z3_4	55.624	999					= pgrank-u_div_s-0-60-128-epar = pgrank-d_div_s-0-10-32-z3_4
pgrank-u_div_s-0-60-128-epar	55.735	1001
seq-d_u_div_s-0-60-128-epar	55.791	1002					= seq-d2_div_s-0-60-128-epar = hhjournal-win_t_nts_hd-orig-0-128-epar = pgrank-du_div_s-0-20-512-epar = ... (15)
seq-d2_div_s-0-60-128-epar	55.846	1003					= hhjournal-win_t_nts_hd-orig-0-128-epar = pgrank-du_div_s-0-20-512-epar = pgrank-u_div_s-0-10-512-epar = ... (14)
hhjournal-win_t_nts_hd-orig-0-128-epar	55.902	1004					= pgrank-du_div_s-0-20-512-epar = pgrank-u_div_s-0-10-512-epar = seq-d_u_div_s-0-20-128-epar = ... (12)
pgrank-du_div_s-0-20-512-epar	55.958	1005					= pgrank-u_div_s-0-10-512-epar = seq-d_u_div_s-0-20-128-epar = seq-d_u_div_s-0-10-128-epar = ... (11)
pgrank-u_div_s-0-10-512-epar	56.013	1006					= seq-d_u_div_s-0-20-128-epar = seq-d_u_div_s-0-10-128-epar = pgrank-du_div_s-0-10-128-epar = ... (10)
seq-d_u_div_s-0-20-128-epar	56.069	1007					= seq-d_u_div_s-0-10-128-epar = pgrank-du_div_s-0-10-128-epar = epcl-default-0-60-92-vam = ... (8)
seq-d_u_div_s-0-10-128-epar	56.125	1008					= pgrank-du_div_s-0-10-128-epar = epcl-default-0-60-92-vam = maxcut-default-0-5-128-epar = ... (6)
epcl-default-0-60-92-vam	56.180	1009					= maxcut-default-0-5-128-epar = pgrank-d_div_s-0-10-32-z3_4 = pgrank-du-0-60-512-epar = ... (4)
maxcut-default-0-5-128-epar	56.236	1010					= pgrank-d_div_s-0-10-32-z3_4 = pgrank-du-0-60-512-epar = hhjournal-nb_o_hd-orig-0-128-vam
pgrank-d_div_s-0-10-32-z3_4	56.292	1011					= pgrank-du-0-60-512-epar = hhjournal-nb_o_hd-orig-0-128-vam
pgrank-du-0-60-512-epar	56.347	1012					= hhjournal-nb_o_hd-orig-0-128-vam
hhjournal-nb_o_hd-orig-0-128-vam	56.403	1013