Index of /~mptp/1147/MPTP2/problems_gdfthf/rewrite1
Name
Last modified
Size
Description
Parent Directory
-
rewrite1__t65_rewrite1
2019-08-28 01:45
18K
rewrite1__t64_rewrite1
2019-08-28 01:45
13K
rewrite1__t63_rewrite1
2019-08-28 01:45
12K
rewrite1__t62_rewrite1
2019-08-28 01:45
414K
rewrite1__t61_rewrite1
2019-08-28 01:43
147K
rewrite1__t60_rewrite1
2019-08-28 01:43
45K
rewrite1__t59_rewrite1
2019-08-28 01:43
6.9K
rewrite1__t58_rewrite1
2019-08-28 01:43
72K
rewrite1__t57_rewrite1
2019-08-28 01:43
70K
rewrite1__t56_rewrite1
2019-08-28 01:43
304K
rewrite1__t55_rewrite1
2019-08-28 01:42
14K
rewrite1__t54_rewrite1
2019-08-28 01:42
45K
rewrite1__t53_rewrite1
2019-08-28 01:42
10K
rewrite1__t52_rewrite1
2019-08-28 01:42
53K
rewrite1__t51_rewrite1
2019-08-28 01:42
147K
rewrite1__t50_rewrite1
2019-08-28 01:41
18K
rewrite1__t49_rewrite1
2019-08-28 01:41
150K
rewrite1__t48_rewrite1
2019-08-28 01:41
45K
rewrite1__t47_rewrite1
2019-08-28 01:41
59K
rewrite1__s2_rewrite1
2019-08-28 01:41
80K
rewrite1__t46_rewrite1
2019-08-28 01:41
39K
rewrite1__t45_rewrite1
2019-08-28 01:41
41K
rewrite1__t44_rewrite1
2019-08-28 01:41
41K
rewrite1__t43_rewrite1
2019-08-28 01:41
19K
rewrite1__t42_rewrite1
2019-08-28 01:41
19K
rewrite1__t41_rewrite1
2019-08-28 01:41
6.3K
rewrite1__t40_rewrite1
2019-08-28 01:41
6.3K
rewrite1__t39_rewrite1
2019-08-28 01:41
52K
rewrite1__t38_rewrite1
2019-08-28 01:40
4.8K
rewrite1__t37_rewrite1
2019-08-28 01:40
15K
rewrite1__t36_rewrite1
2019-08-28 01:40
8.3K
rewrite1__t35_rewrite1
2019-08-28 01:40
39K
rewrite1__t34_rewrite1
2019-08-28 01:40
42K
rewrite1__t33_rewrite1
2019-08-28 01:40
85K
rewrite1__t32_rewrite1
2019-08-28 01:40
45K
rewrite1__t31_rewrite1
2019-08-28 01:40
656
rewrite1__t30_rewrite1
2019-08-28 01:40
10K
rewrite1__t29_rewrite1
2019-08-28 01:40
38K
rewrite1__t28_rewrite1
2019-08-28 01:40
43K
rewrite1__t27_rewrite1
2019-08-28 01:40
37K
rewrite1__t26_rewrite1
2019-08-28 01:40
4.0K
rewrite1__t25_rewrite1
2019-08-28 01:40
76K
rewrite1__l33_rewrite1
2019-08-28 01:40
9.5K
rewrite1__t24_rewrite1
2019-08-28 01:40
85K
rewrite1__t23_rewrite1
2019-08-28 01:40
119K
rewrite1__t22_rewrite1
2019-08-28 01:40
48K
rewrite1__t21_rewrite1
2019-08-28 01:40
106K
rewrite1__t20_rewrite1
2019-08-28 01:39
111K
rewrite1__t19_rewrite1
2019-08-28 01:39
35K
rewrite1__t18_rewrite1
2019-08-28 01:39
129K
rewrite1__t17_rewrite1
2019-08-28 01:39
136K
rewrite1__t16_rewrite1
2019-08-28 01:39
121K
rewrite1__t15_rewrite1
2019-08-28 01:39
52K
rewrite1__t14_rewrite1
2019-08-28 01:39
86K
rewrite1__t13_rewrite1
2019-08-28 01:38
76K
rewrite1__t12_rewrite1
2019-08-28 01:38
47K
rewrite1__t11_rewrite1
2019-08-28 01:38
83K
rewrite1__t10_rewrite1
2019-08-28 01:38
63K
rewrite1__t9_rewrite1
2019-08-28 01:38
160K
rewrite1__t8_rewrite1
2019-08-28 01:38
86K
rewrite1__t7_rewrite1
2019-08-28 01:38
89K
rewrite1__t6_rewrite1
2019-08-28 01:38
69K
rewrite1__s1_rewrite1
2019-08-28 01:38
230K
rewrite1__t5_rewrite1
2019-08-28 01:37
147K
rewrite1__t4_rewrite1
2019-08-28 01:37
46K
rewrite1__t3_rewrite1
2019-08-28 01:37
51K
rewrite1__t2_rewrite1
2019-08-28 01:37
128K
rewrite1__t1_rewrite1
2019-08-28 01:37
54K
rewrite1__l5_rewrite1
2019-08-28 01:37
52K
rewrite1__l4_rewrite1
2019-08-28 01:37
59K
rewrite1__l3_rewrite1
2019-08-28 01:37
53K
rewrite1__l2_rewrite1
2019-08-28 01:37
57K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80