Index of /~mptp/8.1.14_5.79.1465/MPTP2/problems_small/papdesaf
Name
Last modified
Size
Description
Parent Directory
-
papdesaf__l18_papdesaf
2024-07-27 16:12
23K
papdesaf__l18_papdesaf.vout
2024-08-03 08:28
7.3K
papdesaf__l21_papdesaf
2024-07-27 16:13
22K
papdesaf__l21_papdesaf.vout
2024-08-03 10:00
4.7K
papdesaf__l22_papdesaf
2024-07-27 16:14
8.0K
papdesaf__l22_papdesaf.depv1
2024-08-03 10:19
68
papdesaf__l22_papdesaf.depvmin1
2024-08-03 10:24
68
papdesaf__l22_papdesaf.vmin1
2024-08-03 10:19
1.5K
papdesaf__l22_papdesaf.vmin1out
2024-08-03 10:23
23K
papdesaf__l22_papdesaf.vout
2024-08-03 04:17
23K
papdesaf__t1_papdesaf
2024-07-27 15:54
8.9K
papdesaf__t1_papdesaf.depv1
2024-08-03 10:19
124
papdesaf__t1_papdesaf.depvmin1
2024-08-03 10:24
124
papdesaf__t1_papdesaf.vmin1
2024-08-03 10:19
1.6K
papdesaf__t1_papdesaf.vmin1out
2024-08-03 10:20
19K
papdesaf__t1_papdesaf.vout
2024-08-03 07:04
17K
papdesaf__t2_papdesaf
2024-07-27 15:55
9.8K
papdesaf__t2_papdesaf.depv1
2024-08-03 10:19
102
papdesaf__t2_papdesaf.depvmin1
2024-08-03 10:24
102
papdesaf__t2_papdesaf.vmin1
2024-08-03 10:19
2.4K
papdesaf__t2_papdesaf.vmin1out
2024-08-03 10:21
56K
papdesaf__t2_papdesaf.vout
2024-08-03 07:33
32K
papdesaf__t3_papdesaf
2024-07-27 15:56
9.4K
papdesaf__t3_papdesaf.depv1
2024-08-03 10:19
169
papdesaf__t3_papdesaf.depvmin1
2024-08-03 10:24
169
papdesaf__t3_papdesaf.vmin1
2024-08-03 10:19
2.0K
papdesaf__t3_papdesaf.vmin1out
2024-08-03 10:20
19K
papdesaf__t3_papdesaf.vout
2024-08-03 05:20
18K
papdesaf__t4_papdesaf
2024-07-27 15:57
11K
papdesaf__t4_papdesaf.depv1
2024-08-03 10:19
72
papdesaf__t4_papdesaf.depvmin1
2024-08-03 10:24
72
papdesaf__t4_papdesaf.vmin1
2024-08-03 10:19
2.7K
papdesaf__t4_papdesaf.vmin1out
2024-08-03 10:20
125K
papdesaf__t4_papdesaf.vout
2024-08-03 07:49
59K
papdesaf__t5_papdesaf
2024-07-27 15:58
23K
papdesaf__t5_papdesaf.vout
2024-08-03 10:12
4.7K
papdesaf__t6_papdesaf
2024-07-27 15:59
11K
papdesaf__t6_papdesaf.vout
2024-08-03 06:33
4.1K
papdesaf__t7_papdesaf
2024-07-27 16:00
7.2K
papdesaf__t7_papdesaf.depv1
2024-08-03 10:19
77
papdesaf__t7_papdesaf.depvmin1
2024-08-03 10:24
77
papdesaf__t7_papdesaf.vmin1
2024-08-03 10:19
2.5K
papdesaf__t7_papdesaf.vmin1out
2024-08-03 10:20
30K
papdesaf__t7_papdesaf.vout
2024-08-03 05:40
30K
papdesaf__t8_papdesaf
2024-07-27 16:01
12K
papdesaf__t8_papdesaf.vout
2024-08-03 09:38
4.1K
papdesaf__t9_papdesaf
2024-07-27 16:02
14K
papdesaf__t9_papdesaf.vout
2024-08-03 08:51
4.1K
papdesaf__t10_papdesaf
2024-07-27 16:03
40K
papdesaf__t10_papdesaf.vout
2024-08-03 07:26
4.7K
papdesaf__t11_papdesaf
2024-07-27 16:05
24K
papdesaf__t11_papdesaf.vout
2024-08-03 04:48
4.7K
papdesaf__t12_papdesaf
2024-07-27 15:52
9.3K
papdesaf__t12_papdesaf.depv1
2024-08-03 10:19
38
papdesaf__t12_papdesaf.depvmin1
2024-08-03 10:24
38
papdesaf__t12_papdesaf.vmin1
2024-08-03 10:19
919
papdesaf__t12_papdesaf.vmin1out
2024-08-03 10:22
18K
papdesaf__t12_papdesaf.vout
2024-08-03 10:15
19K
papdesaf__t13_papdesaf
2024-07-27 16:06
37K
papdesaf__t13_papdesaf.vout
2024-08-03 07:47
4.7K
papdesaf__t14_papdesaf
2024-07-27 15:53
9.9K
papdesaf__t14_papdesaf.depv1
2024-08-03 10:19
38
papdesaf__t14_papdesaf.depvmin1
2024-08-03 10:24
38
papdesaf__t14_papdesaf.vmin1
2024-08-03 10:19
912
papdesaf__t14_papdesaf.vmin1out
2024-08-03 10:21
17K
papdesaf__t14_papdesaf.vout
2024-08-03 08:22
19K
papdesaf__t15_papdesaf
2024-07-27 16:07
13K
papdesaf__t15_papdesaf.vout
2024-08-03 06:25
4.1K
papdesaf__t16_papdesaf
2024-07-27 16:08
10K
papdesaf__t16_papdesaf.depv1
2024-08-03 10:19
103
papdesaf__t16_papdesaf.depvmin1
2024-08-03 10:24
103
papdesaf__t16_papdesaf.vmin1
2024-08-03 10:19
1.5K
papdesaf__t16_papdesaf.vmin1out
2024-08-03 10:21
24K
papdesaf__t16_papdesaf.vout
2024-08-03 09:20
15K
papdesaf__t17_papdesaf
2024-07-27 16:10
20K
papdesaf__t17_papdesaf.vout
2024-08-03 04:19
4.1K
papdesaf__t18_papdesaf
2024-07-27 16:11
15K
papdesaf__t18_papdesaf.vout
2024-08-03 05:59
4.1K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80