Index of /~mptp/7.13.01_4.181.1147/MPTP2/problems_thf_isof_tls/series_2
Name
Last modified
Size
Description
Parent Directory
-
series_2__l35_series_2
2017-01-13 00:30
2.4M
series_2__l6_series_2
2017-01-13 00:29
2.3M
series_2__t31_series_2
2017-01-13 00:29
2.2M
series_2__t17_series_2
2017-01-13 00:29
2.1M
series_2__t23_series_2
2017-01-13 00:29
1.9M
series_2__l33_series_2
2017-01-13 00:29
1.9M
series_2__t22_series_2
2017-01-13 00:29
1.8M
series_2__l37_series_2
2017-01-13 00:30
1.8M
series_2__t8_series_2
2017-01-13 00:29
1.6M
series_2__t28_series_2
2017-01-13 00:29
1.4M
series_2__t11_series_2
2017-01-13 00:29
1.3M
series_2__t20_series_2
2017-01-13 00:29
1.2M
series_2__t29_series_2
2017-01-13 00:29
1.2M
series_2__t30_series_2
2017-01-13 00:29
1.1M
series_2__l7_series_2
2017-01-13 00:29
1.0M
series_2__t12_series_2
2017-01-13 00:29
972K
series_2__t10_series_2
2017-01-13 00:29
931K
series_2__t33_series_2
2017-01-13 00:29
923K
series_2__t21_series_2
2017-01-13 00:29
831K
series_2__t14_series_2
2017-01-13 00:29
777K
series_2__t7_series_2
2017-01-13 00:29
762K
series_2__l14_series_2
2017-01-13 00:29
762K
series_2__l13_series_2
2017-01-13 00:29
761K
series_2__t18_series_2
2017-01-13 00:29
574K
series_2__t32_series_2
2017-01-13 00:29
527K
series_2__t25_series_2
2017-01-13 00:29
520K
series_2__t24_series_2
2017-01-13 00:29
504K
series_2__t6_series_2
2017-01-13 00:29
494K
series_2__t36_series_2
2017-01-13 00:29
487K
series_2__t39_series_2
2017-01-13 00:29
425K
series_2__t27_series_2
2017-01-13 00:29
398K
series_2__t19_series_2
2017-01-13 00:29
386K
series_2__l11_series_2
2017-01-13 00:29
318K
series_2__t26_series_2
2017-01-13 00:29
306K
series_2__t40_series_2
2017-01-13 00:29
303K
series_2__t35_series_2
2017-01-13 00:29
283K
series_2__t34_series_2
2017-01-13 00:29
251K
series_2__t13_series_2
2017-01-13 00:29
248K
series_2__t15_series_2
2017-01-13 00:29
246K
series_2__l10_series_2
2017-01-13 00:29
223K
series_2__t9_series_2
2017-01-13 00:29
161K
series_2__t16_series_2
2017-01-13 00:29
153K
series_2__t3_series_2
2017-01-13 00:29
130K
series_2__l16_series_2
2017-01-13 00:29
130K
series_2__l15_series_2
2017-01-13 00:29
100K
series_2__t38_series_2
2017-01-13 00:29
94K
series_2__t37_series_2
2017-01-13 00:29
84K
series_2__t42_series_2
2017-01-13 00:29
76K
series_2__l39_series_2
2017-01-13 00:30
74K
series_2__t4_series_2
2017-01-13 00:29
70K
series_2__l9_series_2
2017-01-13 00:29
69K
series_2__l38_series_2
2017-01-13 00:30
61K
series_2__l5_series_2
2017-01-13 00:29
60K
series_2__l4_series_2
2017-01-13 00:29
59K
series_2__t5_series_2
2017-01-13 00:29
56K
series_2__t41_series_2
2017-01-13 00:29
53K
series_2__l12_series_2
2017-01-13 00:29
49K
series_2__l2_series_2
2017-01-13 00:29
47K
series_2__l3_series_2
2017-01-13 00:29
47K
series_2__t2_series_2
2017-01-13 00:29
32K
series_2__t1_series_2
2017-01-13 00:29
26K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80