Index of /~mptp/mml5.63.1382/MPTP2/problems/rewrite1
Name
Last modified
Size
Description
Parent Directory
-
rewrite1__l2_rewrite1
2023-06-28 17:12
37K
rewrite1__l3_rewrite1
2023-06-28 17:12
36K
rewrite1__l4_rewrite1
2023-06-28 17:13
37K
rewrite1__l5_rewrite1
2023-06-28 17:13
36K
rewrite1__l33_rewrite1
2023-06-28 17:13
28K
rewrite1__s1_rewrite1
2023-06-28 16:51
75K
rewrite1__s2_rewrite1
2023-06-28 16:52
29K
rewrite1__t1_rewrite1
2023-06-28 16:52
40K
rewrite1__t2_rewrite1
2023-06-28 16:52
77K
rewrite1__t3_rewrite1
2023-06-28 16:53
29K
rewrite1__t4_rewrite1
2023-06-28 16:53
29K
rewrite1__t5_rewrite1
2023-06-28 16:53
55K
rewrite1__t6_rewrite1
2023-06-28 16:54
43K
rewrite1__t7_rewrite1
2023-06-28 16:54
44K
rewrite1__t8_rewrite1
2023-06-28 16:54
42K
rewrite1__t9_rewrite1
2023-06-28 16:55
76K
rewrite1__t10_rewrite1
2023-06-28 16:55
36K
rewrite1__t11_rewrite1
2023-06-28 16:56
37K
rewrite1__t12_rewrite1
2023-06-28 16:56
27K
rewrite1__t13_rewrite1
2023-06-28 16:56
44K
rewrite1__t14_rewrite1
2023-06-28 16:57
47K
rewrite1__t15_rewrite1
2023-06-28 16:57
27K
rewrite1__t16_rewrite1
2023-06-28 16:57
51K
rewrite1__t17_rewrite1
2023-06-28 16:58
46K
rewrite1__t18_rewrite1
2023-06-28 16:58
48K
rewrite1__t19_rewrite1
2023-06-28 16:48
30K
rewrite1__t20_rewrite1
2023-06-28 16:59
44K
rewrite1__t21_rewrite1
2023-06-28 16:59
40K
rewrite1__t22_rewrite1
2023-06-28 16:59
28K
rewrite1__t23_rewrite1
2023-06-28 17:00
45K
rewrite1__t24_rewrite1
2023-06-28 17:00
41K
rewrite1__t25_rewrite1
2023-06-28 17:01
39K
rewrite1__t26_rewrite1
2023-06-28 16:48
27K
rewrite1__t27_rewrite1
2023-06-28 16:49
27K
rewrite1__t28_rewrite1
2023-06-28 17:01
31K
rewrite1__t29_rewrite1
2023-06-28 17:01
28K
rewrite1__t30_rewrite1
2023-06-28 16:49
28K
rewrite1__t31_rewrite1
2023-06-28 16:49
1.8K
rewrite1__t32_rewrite1
2023-06-28 17:02
31K
rewrite1__t33_rewrite1
2023-06-28 17:02
44K
rewrite1__t34_rewrite1
2023-06-28 16:49
27K
rewrite1__t35_rewrite1
2023-06-28 16:50
31K
rewrite1__t36_rewrite1
2023-06-28 17:02
26K
rewrite1__t37_rewrite1
2023-06-28 17:03
29K
rewrite1__t38_rewrite1
2023-06-28 16:50
26K
rewrite1__t39_rewrite1
2023-06-28 17:03
26K
rewrite1__t40_rewrite1
2023-06-28 16:50
731
rewrite1__t41_rewrite1
2023-06-28 16:50
731
rewrite1__t42_rewrite1
2023-06-28 17:03
26K
rewrite1__t43_rewrite1
2023-06-28 17:04
26K
rewrite1__t44_rewrite1
2023-06-28 17:04
27K
rewrite1__t45_rewrite1
2023-06-28 17:04
27K
rewrite1__t46_rewrite1
2023-06-28 16:50
27K
rewrite1__t47_rewrite1
2023-06-28 17:05
30K
rewrite1__t48_rewrite1
2023-06-28 17:05
28K
rewrite1__t49_rewrite1
2023-06-28 17:05
42K
rewrite1__t50_rewrite1
2023-06-28 17:06
28K
rewrite1__t51_rewrite1
2023-06-28 17:06
43K
rewrite1__t52_rewrite1
2023-06-28 17:07
28K
rewrite1__t53_rewrite1
2023-06-28 17:07
32K
rewrite1__t54_rewrite1
2023-06-28 17:07
30K
rewrite1__t55_rewrite1
2023-06-28 17:08
32K
rewrite1__t56_rewrite1
2023-06-28 17:08
47K
rewrite1__t57_rewrite1
2023-06-28 17:09
31K
rewrite1__t58_rewrite1
2023-06-28 17:09
31K
rewrite1__t59_rewrite1
2023-06-28 16:51
29K
rewrite1__t60_rewrite1
2023-06-28 17:10
27K
rewrite1__t61_rewrite1
2023-06-28 17:10
48K
rewrite1__t62_rewrite1
2023-06-28 17:11
65K
rewrite1__t63_rewrite1
2023-06-28 17:11
6.4K
rewrite1__t64_rewrite1
2023-06-28 17:11
6.5K
rewrite1__t65_rewrite1
2023-06-28 17:11
33K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80