Index of /~mptp/8.1.14_5.79.1465/MPTP2/problems_small/ndiff_8
Name
Last modified
Size
Description
Parent Directory
-
ndiff_8__t1_ndiff_8
2024-07-28 15:16
68K
ndiff_8__t1_ndiff_8.vout
2024-08-03 06:24
7.3K
ndiff_8__t2_ndiff_8
2024-07-28 15:18
50K
ndiff_8__t2_ndiff_8.vout
2024-08-03 04:39
4.7K
ndiff_8__t3_ndiff_8
2024-07-28 15:20
50K
ndiff_8__t3_ndiff_8.vout
2024-08-03 04:27
4.7K
ndiff_8__t4_ndiff_8
2024-07-28 15:12
40K
ndiff_8__t4_ndiff_8.vout
2024-08-03 08:12
4.1K
ndiff_8__t5_ndiff_8
2024-07-28 15:22
42K
ndiff_8__t5_ndiff_8.vout
2024-08-03 08:32
4.1K
ndiff_8__t6_ndiff_8
2024-07-28 15:23
44K
ndiff_8__t6_ndiff_8.vout
2024-08-03 09:10
4.7K
ndiff_8__t7_ndiff_8
2024-07-28 15:25
64K
ndiff_8__t7_ndiff_8.vout
2024-08-03 09:15
4.1K
ndiff_8__t8_ndiff_8
2024-07-28 15:27
68K
ndiff_8__t8_ndiff_8.vout
2024-08-03 06:00
4.7K
ndiff_8__t10_ndiff_8
2024-07-28 15:30
83K
ndiff_8__t10_ndiff_8.vout
2024-08-03 09:36
4.1K
ndiff_8__t11_ndiff_8
2024-07-28 15:32
84K
ndiff_8__t11_ndiff_8.vout
2024-08-03 06:08
4.1K
ndiff_8__t12_ndiff_8
2024-07-28 15:34
72K
ndiff_8__t12_ndiff_8.vout
2024-08-03 06:26
3.2K
ndiff_8__t13_ndiff_8
2024-07-28 15:36
38K
ndiff_8__t13_ndiff_8.vout
2024-08-03 09:51
7.8K
ndiff_8__t14_ndiff_8
2024-07-28 15:14
37K
ndiff_8__t14_ndiff_8.depv1
2024-08-03 10:19
70
ndiff_8__t14_ndiff_8.depvmin1
2024-08-03 10:24
46
ndiff_8__t14_ndiff_8.vmin1
2024-08-03 10:19
1.2K
ndiff_8__t14_ndiff_8.vmin1out
2024-08-03 10:22
15K
ndiff_8__t14_ndiff_8.vout
2024-08-03 04:10
30K
ndiff_8__t15_ndiff_8
2024-07-28 15:38
37K
ndiff_8__t15_ndiff_8.vout
2024-08-03 06:03
7.3K
ndiff_8__t16_ndiff_8
2024-07-28 15:39
37K
ndiff_8__t16_ndiff_8.vout
2024-08-03 08:01
7.3K
ndiff_8__t17_ndiff_8
2024-07-28 16:14
37K
ndiff_8__t17_ndiff_8.vout
2024-08-03 07:14
7.9K
ndiff_8__t18_ndiff_8
2024-07-28 16:16
36K
ndiff_8__t18_ndiff_8.depv1
2024-08-03 10:19
138
ndiff_8__t18_ndiff_8.depvmin1
2024-08-03 10:24
91
ndiff_8__t18_ndiff_8.vmin1
2024-08-03 10:19
3.2K
ndiff_8__t18_ndiff_8.vmin1out
2024-08-03 10:20
117K
ndiff_8__t18_ndiff_8.vout
2024-08-03 09:49
48K
ndiff_8__t19_ndiff_8
2024-07-28 15:41
38K
ndiff_8__t19_ndiff_8.vout
2024-08-03 09:51
7.9K
ndiff_8__t20_ndiff_8
2024-07-28 15:43
42K
ndiff_8__t20_ndiff_8.vout
2024-08-03 10:16
7.8K
ndiff_8__t21_ndiff_8
2024-07-28 15:45
50K
ndiff_8__t21_ndiff_8.vout
2024-08-03 07:31
4.7K
ndiff_8__t22_ndiff_8
2024-07-28 15:47
95K
ndiff_8__t22_ndiff_8.vout
2024-08-03 05:53
3.7K
ndiff_8__t23_ndiff_8
2024-07-28 15:49
43K
ndiff_8__t23_ndiff_8.depv1
2024-08-03 10:19
117
ndiff_8__t23_ndiff_8.depvmin1
2024-08-03 10:24
93
ndiff_8__t23_ndiff_8.vmin1
2024-08-03 10:19
4.4K
ndiff_8__t23_ndiff_8.vmin1out
2024-08-03 10:22
76K
ndiff_8__t23_ndiff_8.vout
2024-08-03 07:15
317K
ndiff_8__t24_ndiff_8
2024-07-28 15:52
72K
ndiff_8__t24_ndiff_8.vout
2024-08-03 06:35
4.2K
ndiff_8__t25_ndiff_8
2024-07-28 15:53
34K
ndiff_8__t25_ndiff_8.vout
2024-08-03 09:52
4.1K
ndiff_8__t26_ndiff_8
2024-07-28 16:18
47K
ndiff_8__t26_ndiff_8.vout
2024-08-03 07:07
7.3K
ndiff_8__t27_ndiff_8
2024-07-28 16:20
27K
ndiff_8__t27_ndiff_8.vout
2024-08-03 07:28
7.3K
ndiff_8__t29_ndiff_8
2024-07-28 15:56
75K
ndiff_8__t29_ndiff_8.vout
2024-08-03 07:58
4.7K
ndiff_8__t30_ndiff_8
2024-07-28 15:58
56K
ndiff_8__t30_ndiff_8.vout
2024-08-03 05:53
6.8K
ndiff_8__t31_ndiff_8
2024-07-28 16:00
41K
ndiff_8__t31_ndiff_8.vout
2024-08-03 07:48
4.1K
ndiff_8__t32_ndiff_8
2024-07-28 16:01
41K
ndiff_8__t32_ndiff_8.vout
2024-08-03 08:56
4.1K
ndiff_8__t33_ndiff_8
2024-07-28 16:03
55K
ndiff_8__t33_ndiff_8.vout
2024-08-03 05:44
5.3K
ndiff_8__t34_ndiff_8
2024-07-28 16:22
41K
ndiff_8__t34_ndiff_8.vout
2024-08-03 09:59
5.3K
ndiff_8__t35_ndiff_8
2024-07-28 16:10
371K
ndiff_8__t35_ndiff_8.vout
2024-08-03 05:34
3.7K
ndiff_8__t36_ndiff_8
2024-07-28 16:13
97K
ndiff_8__t36_ndiff_8.vout
2024-08-03 07:21
3.7K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80