Index of /~mptp/mml5.63.1382/MPTP2/problems_small/ndiff_3
Name
Last modified
Size
Description
Parent Directory
-
ndiff_3__t26_ndiff_3.vout
2021-07-25 18:08
37K
ndiff_3__t26_ndiff_3.vmin1out
2021-07-25 21:00
25K
ndiff_3__t26_ndiff_3.vmin1
2021-07-25 20:57
2.0K
ndiff_3__t26_ndiff_3.depvmin1
2021-07-25 21:03
86
ndiff_3__t26_ndiff_3.depv1
2021-07-25 20:57
86
ndiff_3__t26_ndiff_3
2021-07-18 08:27
30K
ndiff_3__t25_ndiff_3.vout
2021-07-25 20:03
7.3K
ndiff_3__t25_ndiff_3
2021-07-18 08:39
95K
ndiff_3__t24_ndiff_3.vout
2021-07-25 19:28
6.8K
ndiff_3__t24_ndiff_3
2021-07-18 08:39
45K
ndiff_3__t23_ndiff_3.vout
2021-07-25 15:20
2.0K
ndiff_3__t23_ndiff_3
2021-07-18 08:38
40K
ndiff_3__t21_ndiff_3.vout
2021-07-25 19:23
6.8K
ndiff_3__t21_ndiff_3
2021-07-18 08:38
66K
ndiff_3__t20_ndiff_3.vout
2021-07-25 20:16
6.8K
ndiff_3__t20_ndiff_3
2021-07-18 08:37
67K
ndiff_3__t19_ndiff_3.vout
2021-07-25 16:34
6.8K
ndiff_3__t19_ndiff_3
2021-07-18 08:36
43K
ndiff_3__t18_ndiff_3.vout
2021-07-25 15:56
6.8K
ndiff_3__t18_ndiff_3
2021-07-18 08:36
43K
ndiff_3__t17_ndiff_3.vout
2021-07-25 17:12
7.3K
ndiff_3__t17_ndiff_3
2021-07-18 08:35
44K
ndiff_3__t16_ndiff_3.vout
2021-07-25 16:13
7.3K
ndiff_3__t16_ndiff_3
2021-07-18 08:35
49K
ndiff_3__t15_ndiff_3.vout
2021-07-25 16:04
7.3K
ndiff_3__t15_ndiff_3
2021-07-18 08:34
55K
ndiff_3__t14_ndiff_3.vout
2021-07-25 18:27
7.3K
ndiff_3__t14_ndiff_3
2021-07-18 08:33
55K
ndiff_3__t12_ndiff_3.vout
2021-07-25 14:51
6.8K
ndiff_3__t12_ndiff_3
2021-07-18 08:33
65K
ndiff_3__t11_ndiff_3.vout
2021-07-25 17:52
7.3K
ndiff_3__t11_ndiff_3
2021-07-18 08:32
39K
ndiff_3__t10_ndiff_3.vout
2021-07-25 19:04
6.8K
ndiff_3__t10_ndiff_3
2021-07-18 08:32
46K
ndiff_3__t9_ndiff_3.vout
2021-07-25 17:03
32K
ndiff_3__t9_ndiff_3.vmin1out
2021-07-25 21:02
22K
ndiff_3__t9_ndiff_3.vmin1
2021-07-25 20:57
1.9K
ndiff_3__t9_ndiff_3.depvmin1
2021-07-25 21:03
110
ndiff_3__t9_ndiff_3.depv1
2021-07-25 20:57
110
ndiff_3__t9_ndiff_3
2021-07-18 08:26
29K
ndiff_3__t8_ndiff_3.vout
2021-07-25 20:36
7.3K
ndiff_3__t8_ndiff_3
2021-07-18 08:31
42K
ndiff_3__t7_ndiff_3.vout
2021-07-25 17:06
4.7K
ndiff_3__t7_ndiff_3
2021-07-18 08:31
46K
ndiff_3__t6_ndiff_3.vout
2021-07-25 16:14
7.3K
ndiff_3__t6_ndiff_3
2021-07-18 08:30
41K
ndiff_3__t5_ndiff_3.vout
2021-07-25 18:06
6.8K
ndiff_3__t5_ndiff_3
2021-07-18 08:30
44K
ndiff_3__t4_ndiff_3.vout
2021-07-25 16:48
2.0K
ndiff_3__t4_ndiff_3
2021-07-18 08:29
33K
ndiff_3__t3_ndiff_3.vout
2021-07-25 19:04
2.0K
ndiff_3__t3_ndiff_3
2021-07-18 08:29
35K
ndiff_3__t1_ndiff_3.vout
2021-07-25 14:39
6.8K
ndiff_3__t1_ndiff_3
2021-07-18 08:28
39K
ndiff_3__l35_ndiff_3.vout
2021-07-25 19:53
11K
ndiff_3__l35_ndiff_3
2021-07-18 08:27
16K
ndiff_3__l32_ndiff_3.vout
2021-07-25 16:15
2.0K
ndiff_3__l32_ndiff_3
2021-07-18 08:27
13K
ndiff_3__l18_ndiff_3.vout
2021-07-25 16:03
4.3K
ndiff_3__l18_ndiff_3.vmin1out
2021-07-25 20:59
4.0K
ndiff_3__l18_ndiff_3.vmin1
2021-07-25 20:57
563
ndiff_3__l18_ndiff_3.depvmin1
2021-07-25 21:03
95
ndiff_3__l18_ndiff_3.depv1
2021-07-25 20:57
95
ndiff_3__l18_ndiff_3
2021-07-18 08:27
9.7K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80