Index of /~mptp/8.1.14_5.79.1465/MPTP2/problems_small/pdiffeq1
Name
Last modified
Size
Description
Parent Directory
-
pdiffeq1__l1_pdiffeq1
2024-07-28 06:22
79K
pdiffeq1__l1_pdiffeq1.vout
2024-08-03 09:20
2.0K
pdiffeq1__l3_pdiffeq1
2024-07-28 06:31
25K
pdiffeq1__l3_pdiffeq1.depv1
2024-08-03 10:19
199
pdiffeq1__l3_pdiffeq1.depvmin1
2024-08-03 10:24
199
pdiffeq1__l3_pdiffeq1.vmin1
2024-08-03 10:19
1.5K
pdiffeq1__l3_pdiffeq1.vmin1out
2024-08-03 10:23
24K
pdiffeq1__l3_pdiffeq1.vout
2024-08-03 04:15
37K
pdiffeq1__l4_pdiffeq1
2024-07-28 06:24
46K
pdiffeq1__l4_pdiffeq1.vout
2024-08-03 05:34
7.3K
pdiffeq1__l10_pdiffeq1
2024-07-28 06:25
22K
pdiffeq1__l10_pdiffeq1.depv1
2024-08-03 10:19
143
pdiffeq1__l10_pdiffeq1.depvmin1
2024-08-03 10:24
143
pdiffeq1__l10_pdiffeq1.vmin1
2024-08-03 10:19
1.0K
pdiffeq1__l10_pdiffeq1.vmin1out
2024-08-03 10:20
10K
pdiffeq1__l10_pdiffeq1.vout
2024-08-03 08:32
11K
pdiffeq1__l11_pdiffeq1
2024-07-28 06:26
35K
pdiffeq1__l11_pdiffeq1.depv1
2024-08-03 10:19
119
pdiffeq1__l11_pdiffeq1.depvmin1
2024-08-03 10:24
119
pdiffeq1__l11_pdiffeq1.vmin1
2024-08-03 10:19
1.6K
pdiffeq1__l11_pdiffeq1.vmin1out
2024-08-03 10:21
20K
pdiffeq1__l11_pdiffeq1.vout
2024-08-03 09:31
21K
pdiffeq1__l19_pdiffeq1
2024-07-28 06:28
59K
pdiffeq1__l19_pdiffeq1.vout
2024-08-03 08:12
6.8K
pdiffeq1__l20_pdiffeq1
2024-07-28 06:30
56K
pdiffeq1__l20_pdiffeq1.vout
2024-08-03 05:05
6.8K
pdiffeq1__t1_pdiffeq1
2024-07-28 05:42
67K
pdiffeq1__t1_pdiffeq1.vout
2024-08-03 05:16
4.7K
pdiffeq1__t2_pdiffeq1
2024-07-28 05:44
42K
pdiffeq1__t2_pdiffeq1.vout
2024-08-03 07:20
7.3K
pdiffeq1__t3_pdiffeq1
2024-07-28 05:45
32K
pdiffeq1__t3_pdiffeq1.depv1
2024-08-03 10:19
174
pdiffeq1__t3_pdiffeq1.depvmin1
2024-08-03 10:24
160
pdiffeq1__t3_pdiffeq1.vmin1
2024-08-03 10:19
2.3K
pdiffeq1__t3_pdiffeq1.vmin1out
2024-08-03 10:21
41K
pdiffeq1__t3_pdiffeq1.vout
2024-08-03 09:21
47K
pdiffeq1__t4_pdiffeq1
2024-07-28 05:46
35K
pdiffeq1__t4_pdiffeq1.depv1
2024-08-03 10:19
112
pdiffeq1__t4_pdiffeq1.depvmin1
2024-08-03 10:24
112
pdiffeq1__t4_pdiffeq1.vmin1
2024-08-03 10:19
2.7K
pdiffeq1__t4_pdiffeq1.vmin1out
2024-08-03 10:20
62K
pdiffeq1__t4_pdiffeq1.vout
2024-08-03 08:45
58K
pdiffeq1__t5_pdiffeq1
2024-07-28 05:48
47K
pdiffeq1__t5_pdiffeq1.vout
2024-08-03 05:52
6.8K
pdiffeq1__t6_pdiffeq1
2024-07-28 05:49
53K
pdiffeq1__t6_pdiffeq1.vout
2024-08-03 08:13
6.8K
pdiffeq1__t7_pdiffeq1
2024-07-28 06:11
39K
pdiffeq1__t7_pdiffeq1.vout
2024-08-03 09:14
6.8K
pdiffeq1__t8_pdiffeq1
2024-07-28 06:13
53K
pdiffeq1__t8_pdiffeq1.vout
2024-08-03 08:13
6.8K
pdiffeq1__t9_pdiffeq1
2024-07-28 06:15
53K
pdiffeq1__t9_pdiffeq1.vout
2024-08-03 07:12
6.8K
pdiffeq1__t10_pdiffeq1
2024-07-28 06:16
53K
pdiffeq1__t10_pdiffeq1.vout
2024-08-03 05:58
6.8K
pdiffeq1__t11_pdiffeq1
2024-07-28 06:18
72K
pdiffeq1__t11_pdiffeq1.vout
2024-08-03 08:05
6.8K
pdiffeq1__t12_pdiffeq1
2024-07-28 06:21
134K
pdiffeq1__t12_pdiffeq1.vout
2024-08-03 06:16
3.7K
pdiffeq1__t13_pdiffeq1
2024-07-28 05:51
73K
pdiffeq1__t13_pdiffeq1.vout
2024-08-03 09:10
6.8K
pdiffeq1__t14_pdiffeq1
2024-07-28 05:53
69K
pdiffeq1__t14_pdiffeq1.vout
2024-08-03 07:17
6.8K
pdiffeq1__t15_pdiffeq1
2024-07-28 05:54
66K
pdiffeq1__t15_pdiffeq1.vout
2024-08-03 05:39
6.8K
pdiffeq1__t16_pdiffeq1
2024-07-28 05:56
37K
pdiffeq1__t16_pdiffeq1.vout
2024-08-03 04:57
7.4K
pdiffeq1__t17_pdiffeq1
2024-07-28 05:57
58K
pdiffeq1__t17_pdiffeq1.vout
2024-08-03 08:39
2.0K
pdiffeq1__t18_pdiffeq1
2024-07-28 05:59
75K
pdiffeq1__t18_pdiffeq1.vout
2024-08-03 08:30
3.7K
pdiffeq1__t19_pdiffeq1
2024-07-28 06:01
81K
pdiffeq1__t19_pdiffeq1.vout
2024-08-03 05:19
7.3K
pdiffeq1__t20_pdiffeq1
2024-07-28 06:04
66K
pdiffeq1__t20_pdiffeq1.vout
2024-08-03 05:32
4.2K
pdiffeq1__t21_pdiffeq1
2024-07-28 06:06
66K
pdiffeq1__t21_pdiffeq1.vout
2024-08-03 05:55
2.0K
pdiffeq1__t22_pdiffeq1
2024-07-28 06:08
89K
pdiffeq1__t22_pdiffeq1.vout
2024-08-03 09:16
6.8K
pdiffeq1__t23_pdiffeq1
2024-07-28 06:09
75K
pdiffeq1__t23_pdiffeq1.vout
2024-08-03 07:31
7.3K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80