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