Index of /~mptp/mml5.63.1382/MPTP2/problems_small/pdiffeq1
Name
Last modified
Size
Description
Parent Directory
-
pdiffeq1__l11_pdiffeq1.depv1
2021-07-25 20:57
119
pdiffeq1__l11_pdiffeq1.depvmin1
2021-07-25 21:03
119
pdiffeq1__l10_pdiffeq1.depv1
2021-07-25 20:57
143
pdiffeq1__l10_pdiffeq1.depvmin1
2021-07-25 21:03
143
pdiffeq1__t3_pdiffeq1.depvmin1
2021-07-25 21:03
160
pdiffeq1__t3_pdiffeq1.depv1
2021-07-25 20:57
174
pdiffeq1__t4_pdiffeq1.depv1
2021-07-25 20:57
209
pdiffeq1__t4_pdiffeq1.depvmin1
2021-07-25 21:03
209
pdiffeq1__l3_pdiffeq1.depv1
2021-07-25 20:57
223
pdiffeq1__l3_pdiffeq1.depvmin1
2021-07-25 21:03
223
pdiffeq1__l10_pdiffeq1.vmin1
2021-07-25 20:57
1.0K
pdiffeq1__l11_pdiffeq1.vmin1
2021-07-25 20:57
1.6K
pdiffeq1__l3_pdiffeq1.vmin1
2021-07-25 20:57
1.6K
pdiffeq1__l1_pdiffeq1.vout
2021-07-25 18:38
2.0K
pdiffeq1__t17_pdiffeq1.vout
2021-07-25 16:09
2.0K
pdiffeq1__t21_pdiffeq1.vout
2021-07-25 18:08
2.0K
pdiffeq1__t3_pdiffeq1.vmin1
2021-07-25 20:57
2.3K
pdiffeq1__t4_pdiffeq1.vmin1
2021-07-25 20:57
3.3K
pdiffeq1__t12_pdiffeq1.vout
2021-07-25 15:30
3.7K
pdiffeq1__t18_pdiffeq1.vout
2021-07-25 20:23
3.7K
pdiffeq1__t20_pdiffeq1.vout
2021-07-25 16:18
4.2K
pdiffeq1__t1_pdiffeq1.vout
2021-07-25 17:27
4.7K
pdiffeq1__t7_pdiffeq1.vout
2021-07-25 20:50
6.8K
pdiffeq1__t5_pdiffeq1.vout
2021-07-25 14:58
6.8K
pdiffeq1__t6_pdiffeq1.vout
2021-07-25 16:01
6.8K
pdiffeq1__t9_pdiffeq1.vout
2021-07-25 19:03
6.8K
pdiffeq1__t11_pdiffeq1.vout
2021-07-25 19:36
6.8K
pdiffeq1__t23_pdiffeq1.vout
2021-07-25 16:57
6.8K
pdiffeq1__t8_pdiffeq1.vout
2021-07-25 20:31
6.8K
pdiffeq1__l19_pdiffeq1.vout
2021-07-25 15:01
6.8K
pdiffeq1__l20_pdiffeq1.vout
2021-07-25 20:10
6.8K
pdiffeq1__t14_pdiffeq1.vout
2021-07-25 19:37
6.8K
pdiffeq1__t13_pdiffeq1.vout
2021-07-25 17:13
6.8K
pdiffeq1__t15_pdiffeq1.vout
2021-07-25 15:20
6.8K
pdiffeq1__t10_pdiffeq1.vout
2021-07-25 15:32
6.8K
pdiffeq1__t2_pdiffeq1.vout
2021-07-25 14:26
7.3K
pdiffeq1__t19_pdiffeq1.vout
2021-07-25 15:51
7.3K
pdiffeq1__t22_pdiffeq1.vout
2021-07-25 16:01
7.3K
pdiffeq1__l4_pdiffeq1.vout
2021-07-25 19:28
7.3K
pdiffeq1__t16_pdiffeq1.vout
2021-07-25 15:11
7.4K
pdiffeq1__l10_pdiffeq1.vmin1out
2021-07-25 20:59
10K
pdiffeq1__l10_pdiffeq1.vout
2021-07-25 15:16
11K
pdiffeq1__l10_pdiffeq1
2021-07-18 05:04
18K
pdiffeq1__l11_pdiffeq1.vmin1out
2021-07-25 21:00
20K
pdiffeq1__l11_pdiffeq1.vout
2021-07-25 18:39
21K
pdiffeq1__l3_pdiffeq1
2021-07-18 05:05
21K
pdiffeq1__l3_pdiffeq1.vmin1out
2021-07-25 20:59
27K
pdiffeq1__t3_pdiffeq1
2021-07-18 04:51
27K
pdiffeq1__l3_pdiffeq1.vout
2021-07-25 14:50
28K
pdiffeq1__t4_pdiffeq1
2021-07-18 04:52
30K
pdiffeq1__l11_pdiffeq1
2021-07-18 05:04
30K
pdiffeq1__t16_pdiffeq1
2021-07-18 04:54
33K
pdiffeq1__t7_pdiffeq1
2021-07-18 05:00
35K
pdiffeq1__t2_pdiffeq1
2021-07-18 04:51
37K
pdiffeq1__t3_pdiffeq1.vmin1out
2021-07-25 21:01
41K
pdiffeq1__l4_pdiffeq1
2021-07-18 05:04
41K
pdiffeq1__t5_pdiffeq1
2021-07-18 04:52
41K
pdiffeq1__t3_pdiffeq1.vout
2021-07-25 18:02
47K
pdiffeq1__t6_pdiffeq1
2021-07-18 04:52
48K
pdiffeq1__t9_pdiffeq1
2021-07-18 05:01
48K
pdiffeq1__t10_pdiffeq1
2021-07-18 05:02
48K
pdiffeq1__t8_pdiffeq1
2021-07-18 05:01
48K
pdiffeq1__t4_pdiffeq1.vout
2021-07-25 17:42
50K
pdiffeq1__l20_pdiffeq1
2021-07-18 05:05
52K
pdiffeq1__t17_pdiffeq1
2021-07-18 04:55
54K
pdiffeq1__l19_pdiffeq1
2021-07-18 05:05
55K
pdiffeq1__t4_pdiffeq1.vmin1out
2021-07-25 21:00
55K
pdiffeq1__t21_pdiffeq1
2021-07-18 04:58
58K
pdiffeq1__t20_pdiffeq1
2021-07-18 04:57
58K
pdiffeq1__t1_pdiffeq1
2021-07-18 04:51
60K
pdiffeq1__t15_pdiffeq1
2021-07-18 04:54
61K
pdiffeq1__t14_pdiffeq1
2021-07-18 04:53
64K
pdiffeq1__t13_pdiffeq1
2021-07-18 04:53
66K
pdiffeq1__t11_pdiffeq1
2021-07-18 05:02
66K
pdiffeq1__t18_pdiffeq1
2021-07-18 04:56
67K
pdiffeq1__t23_pdiffeq1
2021-07-18 04:59
67K
pdiffeq1__t19_pdiffeq1
2021-07-18 04:57
74K
pdiffeq1__l1_pdiffeq1
2021-07-18 05:03
75K
pdiffeq1__t22_pdiffeq1
2021-07-18 04:59
81K
pdiffeq1__t12_pdiffeq1
2021-07-18 05:03
125K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80