Index of /~mptp/8.1.14_5.79.1465/MPTP2/problems_small/ndiff_3
Name
Last modified
Size
Description
Parent Directory
-
ndiff_3__l18_ndiff_3
2024-07-27 14:57
13K
ndiff_3__l18_ndiff_3.depv1
2024-08-03 10:19
95
ndiff_3__l18_ndiff_3.depvmin1
2024-08-03 10:24
95
ndiff_3__l18_ndiff_3.vmin1
2024-08-03 10:19
563
ndiff_3__l18_ndiff_3.vmin1out
2024-08-03 10:21
4.0K
ndiff_3__l18_ndiff_3.vout
2024-08-03 05:54
4.3K
ndiff_3__l32_ndiff_3
2024-07-27 14:58
17K
ndiff_3__l32_ndiff_3.vout
2024-08-03 05:02
2.0K
ndiff_3__l35_ndiff_3
2024-07-27 14:59
20K
ndiff_3__l35_ndiff_3.vout
2024-08-03 04:53
11K
ndiff_3__t1_ndiff_3
2024-07-27 15:01
43K
ndiff_3__t1_ndiff_3.vout
2024-08-03 07:24
6.8K
ndiff_3__t3_ndiff_3
2024-07-27 15:03
39K
ndiff_3__t3_ndiff_3.vout
2024-08-03 08:44
2.0K
ndiff_3__t4_ndiff_3
2024-07-27 15:04
36K
ndiff_3__t4_ndiff_3.vout
2024-08-03 08:11
2.0K
ndiff_3__t5_ndiff_3
2024-07-27 15:06
47K
ndiff_3__t5_ndiff_3.vout
2024-08-03 05:47
6.8K
ndiff_3__t6_ndiff_3
2024-07-27 15:08
45K
ndiff_3__t6_ndiff_3.depv1
2024-08-03 10:19
134
ndiff_3__t6_ndiff_3.depvmin1
2024-08-03 10:24
134
ndiff_3__t6_ndiff_3.vmin1
2024-08-03 10:19
3.5K
ndiff_3__t6_ndiff_3.vmin1out
2024-08-03 10:21
50K
ndiff_3__t6_ndiff_3.vout
2024-08-03 05:13
62K
ndiff_3__t7_ndiff_3
2024-07-27 15:10
50K
ndiff_3__t7_ndiff_3.vout
2024-08-03 07:25
4.7K
ndiff_3__t8_ndiff_3
2024-07-27 15:12
46K
ndiff_3__t8_ndiff_3.vout
2024-08-03 05:07
7.3K
ndiff_3__t9_ndiff_3
2024-07-27 14:55
33K
ndiff_3__t9_ndiff_3.depv1
2024-08-03 10:19
110
ndiff_3__t9_ndiff_3.depvmin1
2024-08-03 10:24
110
ndiff_3__t9_ndiff_3.vmin1
2024-08-03 10:19
1.9K
ndiff_3__t9_ndiff_3.vmin1out
2024-08-03 10:22
22K
ndiff_3__t9_ndiff_3.vout
2024-08-03 10:17
32K
ndiff_3__t10_ndiff_3
2024-07-27 15:14
50K
ndiff_3__t10_ndiff_3.vout
2024-08-03 07:16
6.8K
ndiff_3__t11_ndiff_3
2024-07-27 15:16
43K
ndiff_3__t11_ndiff_3.vout
2024-08-03 06:15
6.8K
ndiff_3__t12_ndiff_3
2024-07-27 15:18
69K
ndiff_3__t12_ndiff_3.vout
2024-08-03 07:08
7.3K
ndiff_3__t14_ndiff_3
2024-07-27 15:20
59K
ndiff_3__t14_ndiff_3.vout
2024-08-03 06:39
7.3K
ndiff_3__t15_ndiff_3
2024-07-27 15:23
58K
ndiff_3__t15_ndiff_3.vout
2024-08-03 09:47
7.3K
ndiff_3__t16_ndiff_3
2024-07-27 15:25
52K
ndiff_3__t16_ndiff_3.vout
2024-08-03 07:20
7.3K
ndiff_3__t17_ndiff_3
2024-07-27 15:27
48K
ndiff_3__t17_ndiff_3.vout
2024-08-03 05:59
6.8K
ndiff_3__t18_ndiff_3
2024-07-27 15:28
47K
ndiff_3__t18_ndiff_3.vout
2024-08-03 09:56
7.3K
ndiff_3__t19_ndiff_3
2024-07-27 15:30
47K
ndiff_3__t19_ndiff_3.vout
2024-08-03 04:43
7.3K
ndiff_3__t20_ndiff_3
2024-07-27 15:33
71K
ndiff_3__t20_ndiff_3.vout
2024-08-03 04:36
6.8K
ndiff_3__t21_ndiff_3
2024-07-27 15:35
70K
ndiff_3__t21_ndiff_3.vout
2024-08-03 05:27
7.3K
ndiff_3__t23_ndiff_3
2024-07-27 15:37
44K
ndiff_3__t23_ndiff_3.vout
2024-08-03 10:08
2.0K
ndiff_3__t24_ndiff_3
2024-07-27 15:39
49K
ndiff_3__t24_ndiff_3.vout
2024-08-03 05:49
6.8K
ndiff_3__t25_ndiff_3
2024-07-27 15:42
100K
ndiff_3__t25_ndiff_3.vout
2024-08-03 06:02
7.3K
ndiff_3__t26_ndiff_3
2024-07-27 14:56
34K
ndiff_3__t26_ndiff_3.depv1
2024-08-03 10:19
86
ndiff_3__t26_ndiff_3.depvmin1
2024-08-03 10:24
86
ndiff_3__t26_ndiff_3.vmin1
2024-08-03 10:19
2.0K
ndiff_3__t26_ndiff_3.vmin1out
2024-08-03 10:22
25K
ndiff_3__t26_ndiff_3.vout
2024-08-03 05:13
37K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80