Index of /~mptp/7.13.01_4.181.1147/mptp/problems_thf_isof_tls/ordinal2
Name
Last modified
Size
Description
Parent Directory
-
ordinal2__l47_ordinal2
2017-01-13 00:43
22K
ordinal2__s1_ordinal2
2017-01-13 00:43
14K
ordinal2__s2_ordinal2
2017-01-13 00:43
14K
ordinal2__s3_ordinal2
2017-01-13 00:43
23K
ordinal2__s4_ordinal2
2017-01-13 00:43
33K
ordinal2__s5_ordinal2
2017-01-13 00:43
37K
ordinal2__s6_ordinal2
2017-01-13 00:43
34K
ordinal2__s7_ordinal2
2017-01-13 00:43
35K
ordinal2__s8_ordinal2
2017-01-13 00:43
33K
ordinal2__s9_ordinal2
2017-01-13 00:43
27K
ordinal2__s10_ordinal2
2017-01-13 00:43
35K
ordinal2__s11_ordinal2
2017-01-13 00:43
33K
ordinal2__s12_ordinal2
2017-01-13 00:43
34K
ordinal2__s13_ordinal2
2017-01-13 00:43
36K
ordinal2__s14_ordinal2
2017-01-13 00:43
34K
ordinal2__s15_ordinal2
2017-01-13 00:43
28K
ordinal2__s16_ordinal2
2017-01-13 00:43
37K
ordinal2__s17_ordinal2
2017-01-13 00:43
23K
ordinal2__s18_ordinal2
2017-01-13 00:43
17K
ordinal2__s19_ordinal2
2017-01-13 00:43
17K
ordinal2__s20_ordinal2
2017-01-13 00:43
17K
ordinal2__t1_ordinal2
2017-01-13 00:43
20K
ordinal2__t2_ordinal2
2017-01-13 00:43
20K
ordinal2__t3_ordinal2
2017-01-13 00:43
20K
ordinal2__t4_ordinal2
2017-01-13 00:43
11K
ordinal2__t5_ordinal2
2017-01-13 00:43
17K
ordinal2__t6_ordinal2
2017-01-13 00:43
15K
ordinal2__t7_ordinal2
2017-01-13 00:43
16K
ordinal2__t8_ordinal2
2017-01-13 00:43
11K
ordinal2__t9_ordinal2
2017-01-13 00:43
16K
ordinal2__t10_ordinal2
2017-01-13 00:43
16K
ordinal2__t11_ordinal2
2017-01-13 00:43
16K
ordinal2__t12_ordinal2
2017-01-13 00:43
17K
ordinal2__t13_ordinal2
2017-01-13 00:43
17K
ordinal2__t14_ordinal2
2017-01-13 00:43
18K
ordinal2__t15_ordinal2
2017-01-13 00:43
18K
ordinal2__t16_ordinal2
2017-01-13 00:43
18K
ordinal2__t17_ordinal2
2017-01-13 00:43
18K
ordinal2__t18_ordinal2
2017-01-13 00:43
17K
ordinal2__t19_ordinal2
2017-01-13 00:43
18K
ordinal2__t20_ordinal2
2017-01-13 00:43
18K
ordinal2__t21_ordinal2
2017-01-13 00:43
18K
ordinal2__t22_ordinal2
2017-01-13 00:43
18K
ordinal2__t23_ordinal2
2017-01-13 00:43
21K
ordinal2__t24_ordinal2
2017-01-13 00:43
19K
ordinal2__t25_ordinal2
2017-01-13 00:43
19K
ordinal2__t26_ordinal2
2017-01-13 00:43
3.9K
ordinal2__t27_ordinal2
2017-01-13 00:43
26K
ordinal2__t28_ordinal2
2017-01-13 00:43
26K
ordinal2__t29_ordinal2
2017-01-13 00:43
27K
ordinal2__t30_ordinal2
2017-01-13 00:43
26K
ordinal2__t31_ordinal2
2017-01-13 00:43
23K
ordinal2__t32_ordinal2
2017-01-13 00:43
29K
ordinal2__t33_ordinal2
2017-01-13 00:43
19K
ordinal2__t34_ordinal2
2017-01-13 00:43
29K
ordinal2__t35_ordinal2
2017-01-13 00:43
26K
ordinal2__t36_ordinal2
2017-01-13 00:43
26K
ordinal2__t37_ordinal2
2017-01-13 00:43
28K
ordinal2__t38_ordinal2
2017-01-13 00:43
33K
ordinal2__t39_ordinal2
2017-01-13 00:43
32K
ordinal2__t40_ordinal2
2017-01-13 00:43
31K
ordinal2__t41_ordinal2
2017-01-13 00:43
19K
ordinal2__t42_ordinal2
2017-01-13 00:43
30K
ordinal2__t43_ordinal2
2017-01-13 00:43
34K
ordinal2__t44_ordinal2
2017-01-13 00:43
34K
ordinal2__t45_ordinal2
2017-01-13 00:43
36K
ordinal2__t46_ordinal2
2017-01-13 00:43
33K
ordinal2__t47_ordinal2
2017-01-13 00:43
22K
ordinal2__t48_ordinal2
2017-01-13 00:43
14K
ordinal2__t49_ordinal2
2017-01-13 00:43
19K
ordinal2__t50_ordinal2
2017-01-13 00:43
20K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80