Index of /~mptp/8.1.14_5.79.1465/MPTP2/problems_small/translac
Name
Last modified
Size
Description
Parent Directory
-
translac__l2_translac
2024-07-27 04:32
10K
translac__l2_translac.vout
2024-08-03 06:09
7.2K
translac__l3_translac
2024-07-27 04:33
8.5K
translac__l3_translac.depv1
2024-08-03 10:19
42
translac__l3_translac.depvmin1
2024-08-03 10:24
33
translac__l3_translac.vmin1
2024-08-03 10:19
1.8K
translac__l3_translac.vmin1out
2024-08-03 10:21
35K
translac__l3_translac.vout
2024-08-03 06:06
60K
translac__l4_translac
2024-07-27 04:34
10K
translac__l4_translac.vout
2024-08-03 08:08
7.1K
translac__l7_translac
2024-07-27 04:34
7.7K
translac__l7_translac.depv1
2024-08-03 10:19
57
translac__l7_translac.depvmin1
2024-08-03 10:24
57
translac__l7_translac.vmin1
2024-08-03 10:19
2.5K
translac__l7_translac.vmin1out
2024-08-03 10:22
21K
translac__l7_translac.vout
2024-08-03 07:57
21K
translac__l8_translac
2024-07-27 04:35
7.4K
translac__l8_translac.depv1
2024-08-03 10:19
51
translac__l8_translac.depvmin1
2024-08-03 10:24
51
translac__l8_translac.vmin1
2024-08-03 10:19
2.2K
translac__l8_translac.vmin1out
2024-08-03 10:23
18K
translac__l8_translac.vout
2024-08-03 04:31
20K
translac__l12_translac
2024-07-27 04:36
8.0K
translac__l12_translac.depv1
2024-08-03 10:19
33
translac__l12_translac.depvmin1
2024-08-03 10:24
33
translac__l12_translac.vmin1
2024-08-03 10:19
2.8K
translac__l12_translac.vmin1out
2024-08-03 10:21
54K
translac__l12_translac.vout
2024-08-03 08:06
54K
translac__l13_translac
2024-07-27 04:36
11K
translac__l13_translac.vout
2024-08-03 08:53
7.1K
translac__l14_translac
2024-07-27 04:37
11K
translac__l14_translac.vout
2024-08-03 06:01
4.1K
translac__l16_translac
2024-07-27 04:38
15K
translac__l16_translac.vout
2024-08-03 07:34
4.1K
translac__l17_translac
2024-07-27 04:39
8.2K
translac__l17_translac.depv1
2024-08-03 10:19
58
translac__l17_translac.depvmin1
2024-08-03 10:24
58
translac__l17_translac.vmin1
2024-08-03 10:19
3.0K
translac__l17_translac.vmin1out
2024-08-03 10:20
24K
translac__l17_translac.vout
2024-08-03 05:55
24K
translac__l18_translac
2024-07-27 04:39
9.1K
translac__l18_translac.depv1
2024-08-03 10:19
69
translac__l18_translac.depvmin1
2024-08-03 10:24
69
translac__l18_translac.vmin1
2024-08-03 10:19
3.9K
translac__l18_translac.vmin1out
2024-08-03 10:23
34K
translac__l18_translac.vout
2024-08-03 07:04
34K
translac__l19_translac
2024-07-27 04:40
24K
translac__l19_translac.vout
2024-08-03 05:45
4.2K
translac__t1_translac
2024-07-27 04:19
12K
translac__t1_translac.depv1
2024-08-03 10:19
63
translac__t1_translac.vmin1
2024-08-03 10:19
2.7K
translac__t1_translac.vmin1out
2024-08-03 10:21
7.2K
translac__t1_translac.vout
2024-08-03 09:06
135K
translac__t2_translac
2024-07-27 04:20
6.6K
translac__t2_translac.depv1
2024-08-03 10:19
34
translac__t2_translac.depvmin1
2024-08-03 10:24
34
translac__t2_translac.vmin1
2024-08-03 10:19
1.4K
translac__t2_translac.vmin1out
2024-08-03 10:23
28K
translac__t2_translac.vout
2024-08-03 09:48
29K
translac__t3_translac
2024-07-27 04:21
17K
translac__t3_translac.depv1
2024-08-03 10:19
143
translac__t3_translac.depvmin1
2024-08-03 10:24
119
translac__t3_translac.vmin1
2024-08-03 10:19
3.7K
translac__t3_translac.vmin1out
2024-08-03 10:22
63K
translac__t3_translac.vout
2024-08-03 09:27
38K
translac__t4_translac
2024-07-27 04:22
14K
translac__t4_translac.vout
2024-08-03 04:45
4.1K
translac__t5_translac
2024-07-27 04:23
14K
translac__t5_translac.depv1
2024-08-03 10:19
229
translac__t5_translac.depvmin1
2024-08-03 10:24
204
translac__t5_translac.vmin1
2024-08-03 10:19
2.6K
translac__t5_translac.vmin1out
2024-08-03 10:22
21K
translac__t5_translac.vout
2024-08-03 07:56
25K
translac__t6_translac
2024-07-27 04:24
11K
translac__t6_translac.depv1
2024-08-03 10:19
67
translac__t6_translac.depvmin1
2024-08-03 10:24
67
translac__t6_translac.vmin1
2024-08-03 10:19
4.8K
translac__t6_translac.vmin1out
2024-08-03 10:22
95K
translac__t6_translac.vout
2024-08-03 09:06
95K
translac__t7_translac
2024-07-27 04:24
11K
translac__t7_translac.depv1
2024-08-03 10:19
37
translac__t7_translac.depvmin1
2024-08-03 10:24
37
translac__t7_translac.vmin1
2024-08-03 10:19
1.5K
translac__t7_translac.vmin1out
2024-08-03 10:20
39K
translac__t7_translac.vout
2024-08-03 06:28
41K
translac__t8_translac
2024-07-27 04:25
17K
translac__t8_translac.vout
2024-08-03 06:04
4.7K
translac__t9_translac
2024-07-27 04:26
23K
translac__t9_translac.vout
2024-08-03 09:17
4.7K
translac__t10_translac
2024-07-27 04:27
25K
translac__t10_translac.vout
2024-08-03 08:56
4.7K
translac__t11_translac
2024-07-27 04:28
23K
translac__t11_translac.vout
2024-08-03 06:41
4.7K
translac__t12_translac
2024-07-27 04:30
33K
translac__t12_translac.vout
2024-08-03 04:36
4.7K
translac__t13_translac
2024-07-27 04:31
21K
translac__t13_translac.vout
2024-08-03 06:28
4.7K
translac__t14_translac
2024-07-27 04:32
23K
translac__t14_translac.vout
2024-08-03 08:21
4.7K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80