Index of /~mptp/8.1.14_5.79.1465/MPTP2/problems_small/nat_lat
Name
Last modified
Size
Description
Parent Directory
-
nat_lat__l10_nat_lat
2024-07-27 05:17
20K
nat_lat__l10_nat_lat.depv1
2024-08-03 10:19
136
nat_lat__l10_nat_lat.depvmin1
2024-08-03 10:24
136
nat_lat__l10_nat_lat.vmin1
2024-08-03 10:20
1.0K
nat_lat__l10_nat_lat.vmin1out
2024-08-03 10:20
8.2K
nat_lat__l10_nat_lat.vout
2024-08-03 05:26
10K
nat_lat__l27_nat_lat
2024-07-27 05:18
20K
nat_lat__l27_nat_lat.depv1
2024-08-03 10:19
127
nat_lat__l27_nat_lat.depvmin1
2024-08-03 10:24
127
nat_lat__l27_nat_lat.vmin1
2024-08-03 10:20
1.6K
nat_lat__l27_nat_lat.vmin1out
2024-08-03 10:21
23K
nat_lat__l27_nat_lat.vout
2024-08-03 06:32
31K
nat_lat__l28_nat_lat
2024-07-27 05:20
21K
nat_lat__l28_nat_lat.depv1
2024-08-03 10:19
209
nat_lat__l28_nat_lat.depvmin1
2024-08-03 10:24
139
nat_lat__l28_nat_lat.vmin1
2024-08-03 10:20
2.1K
nat_lat__l28_nat_lat.vmin1out
2024-08-03 10:22
18K
nat_lat__l28_nat_lat.vout
2024-08-03 08:43
29K
nat_lat__l29_nat_lat
2024-07-27 05:21
22K
nat_lat__l29_nat_lat.depv1
2024-08-03 10:19
142
nat_lat__l29_nat_lat.depvmin1
2024-08-03 10:24
142
nat_lat__l29_nat_lat.vmin1
2024-08-03 10:20
2.0K
nat_lat__l29_nat_lat.vmin1out
2024-08-03 10:20
29K
nat_lat__l29_nat_lat.vout
2024-08-03 04:59
34K
nat_lat__l30_nat_lat
2024-07-27 05:36
19K
nat_lat__l30_nat_lat.depv1
2024-08-03 10:19
226
nat_lat__l30_nat_lat.depvmin1
2024-08-03 10:24
226
nat_lat__l30_nat_lat.vmin1
2024-08-03 10:20
2.3K
nat_lat__l30_nat_lat.vmin1out
2024-08-03 10:20
33K
nat_lat__l30_nat_lat.vout
2024-08-03 09:48
30K
nat_lat__t1_nat_lat
2024-07-27 05:10
19K
nat_lat__t1_nat_lat.depv1
2024-08-03 10:19
23
nat_lat__t1_nat_lat.depvmin1
2024-08-03 10:24
23
nat_lat__t1_nat_lat.vmin1
2024-08-03 10:20
372
nat_lat__t1_nat_lat.vmin1out
2024-08-03 10:20
3.6K
nat_lat__t1_nat_lat.vout
2024-08-03 06:36
5.3K
nat_lat__t2_nat_lat
2024-07-27 05:11
19K
nat_lat__t2_nat_lat.depv1
2024-08-03 10:19
23
nat_lat__t2_nat_lat.depvmin1
2024-08-03 10:24
23
nat_lat__t2_nat_lat.vmin1
2024-08-03 10:20
372
nat_lat__t2_nat_lat.vmin1out
2024-08-03 10:21
3.6K
nat_lat__t2_nat_lat.vout
2024-08-03 06:45
5.3K
nat_lat__t3_nat_lat
2024-07-27 05:13
20K
nat_lat__t3_nat_lat.depv1
2024-08-03 10:19
101
nat_lat__t3_nat_lat.depvmin1
2024-08-03 10:24
101
nat_lat__t3_nat_lat.vmin1
2024-08-03 10:20
1.1K
nat_lat__t3_nat_lat.vmin1out
2024-08-03 10:21
9.3K
nat_lat__t3_nat_lat.vout
2024-08-03 09:41
12K
nat_lat__t4_nat_lat
2024-07-27 05:14
17K
nat_lat__t4_nat_lat.depv1
2024-08-03 10:19
22
nat_lat__t4_nat_lat.depvmin1
2024-08-03 10:24
22
nat_lat__t4_nat_lat.vmin1
2024-08-03 10:20
81
nat_lat__t4_nat_lat.vmin1out
2024-08-03 10:23
1.4K
nat_lat__t4_nat_lat.vout
2024-08-03 08:09
1.4K
nat_lat__t5_nat_lat
2024-07-27 05:22
22K
nat_lat__t5_nat_lat.vout
2024-08-03 06:55
7.8K
nat_lat__t6_nat_lat
2024-07-27 05:24
22K
nat_lat__t6_nat_lat.vout
2024-08-03 09:43
7.8K
nat_lat__t7_nat_lat
2024-07-27 05:25
22K
nat_lat__t7_nat_lat.vout
2024-08-03 09:20
7.8K
nat_lat__t8_nat_lat
2024-07-27 05:26
23K
nat_lat__t8_nat_lat.depv1
2024-08-03 10:19
33
nat_lat__t8_nat_lat.depvmin1
2024-08-03 10:24
33
nat_lat__t8_nat_lat.vmin1
2024-08-03 10:20
1.2K
nat_lat__t8_nat_lat.vmin1out
2024-08-03 10:22
18K
nat_lat__t8_nat_lat.vout
2024-08-03 08:15
22K
nat_lat__t9_nat_lat
2024-07-27 05:28
22K
nat_lat__t9_nat_lat.vout
2024-08-03 07:47
7.8K
nat_lat__t10_nat_lat
2024-07-27 05:29
23K
nat_lat__t10_nat_lat.depv1
2024-08-03 10:19
34
nat_lat__t10_nat_lat.depvmin1
2024-08-03 10:24
34
nat_lat__t10_nat_lat.vmin1
2024-08-03 10:20
1.2K
nat_lat__t10_nat_lat.vmin1out
2024-08-03 10:23
18K
nat_lat__t10_nat_lat.vout
2024-08-03 05:20
22K
nat_lat__t11_nat_lat
2024-07-27 05:30
25K
nat_lat__t11_nat_lat.vout
2024-08-03 05:36
7.3K
nat_lat__t12_nat_lat
2024-07-27 05:32
25K
nat_lat__t12_nat_lat.vout
2024-08-03 07:53
7.3K
nat_lat__t13_nat_lat
2024-07-27 05:15
21K
nat_lat__t13_nat_lat.depv1
2024-08-03 10:19
36
nat_lat__t13_nat_lat.depvmin1
2024-08-03 10:24
36
nat_lat__t13_nat_lat.vmin1
2024-08-03 10:20
508
nat_lat__t13_nat_lat.vmin1out
2024-08-03 10:21
4.7K
nat_lat__t13_nat_lat.vout
2024-08-03 04:37
6.9K
nat_lat__t14_nat_lat
2024-07-27 05:16
21K
nat_lat__t14_nat_lat.depv1
2024-08-03 10:19
36
nat_lat__t14_nat_lat.depvmin1
2024-08-03 10:24
36
nat_lat__t14_nat_lat.vmin1
2024-08-03 10:20
508
nat_lat__t14_nat_lat.vmin1out
2024-08-03 10:20
4.7K
nat_lat__t14_nat_lat.vout
2024-08-03 08:24
6.9K
nat_lat__t15_nat_lat
2024-07-27 05:33
19K
nat_lat__t15_nat_lat.depv1
2024-08-03 10:19
58
nat_lat__t15_nat_lat.depvmin1
2024-08-03 10:24
58
nat_lat__t15_nat_lat.vmin1
2024-08-03 10:20
820
nat_lat__t15_nat_lat.vmin1out
2024-08-03 10:21
9.2K
nat_lat__t15_nat_lat.vout
2024-08-03 06:19
10K
nat_lat__t16_nat_lat
2024-07-27 05:35
31K
nat_lat__t16_nat_lat.vout
2024-08-03 07:38
8.9K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80