Index of /~mptp/8.1.14_5.79.1465/MPTP2/problems_small/nomin_8
Name
Last modified
Size
Description
Parent Directory
-
nomin_8__t1_nomin_8
2024-07-27 14:36
49K
nomin_8__t1_nomin_8.vout
2024-08-03 04:44
2.0K
nomin_8__t2_nomin_8
2024-07-27 14:37
51K
nomin_8__t2_nomin_8.vout
2024-08-03 09:26
2.0K
nomin_8__t3_nomin_8
2024-07-27 14:39
54K
nomin_8__t3_nomin_8.vout
2024-08-03 09:56
2.0K
nomin_8__t4_nomin_8
2024-07-27 14:41
56K
nomin_8__t4_nomin_8.vout
2024-08-03 06:48
2.0K
nomin_8__t5_nomin_8
2024-07-27 14:42
41K
nomin_8__t5_nomin_8.depv1
2024-08-03 10:19
73
nomin_8__t5_nomin_8.depvmin1
2024-08-03 10:24
35
nomin_8__t5_nomin_8.vmin1
2024-08-03 10:20
2.1K
nomin_8__t5_nomin_8.vmin1out
2024-08-03 10:20
22K
nomin_8__t5_nomin_8.vout
2024-08-03 05:31
29K
nomin_8__t6_nomin_8
2024-07-27 14:44
42K
nomin_8__t6_nomin_8.depv1
2024-08-03 10:19
48
nomin_8__t6_nomin_8.depvmin1
2024-08-03 10:24
48
nomin_8__t6_nomin_8.vmin1
2024-08-03 10:20
2.3K
nomin_8__t6_nomin_8.vmin1out
2024-08-03 10:23
40K
nomin_8__t6_nomin_8.vout
2024-08-03 06:39
40K
nomin_8__t7_nomin_8
2024-07-27 14:45
44K
nomin_8__t7_nomin_8.vout
2024-08-03 07:02
2.0K
nomin_8__t8_nomin_8
2024-07-27 14:47
45K
nomin_8__t8_nomin_8.vout
2024-08-03 08:54
2.0K
nomin_8__t9_nomin_8
2024-07-27 14:49
47K
nomin_8__t9_nomin_8.vout
2024-08-03 07:17
2.0K
nomin_8__t10_nomin_8
2024-07-27 14:50
49K
nomin_8__t10_nomin_8.vout
2024-08-03 06:11
2.0K
nomin_8__t11_nomin_8
2024-07-27 14:52
51K
nomin_8__t11_nomin_8.vout
2024-08-03 09:20
2.0K
nomin_8__t12_nomin_8
2024-07-27 14:54
53K
nomin_8__t12_nomin_8.vout
2024-08-03 08:39
2.0K
nomin_8__t13_nomin_8
2024-07-27 14:55
56K
nomin_8__t13_nomin_8.vout
2024-08-03 06:41
2.0K
nomin_8__t14_nomin_8
2024-07-27 14:57
165K
nomin_8__t14_nomin_8.vout
2024-08-03 09:22
4.7K
nomin_8__t15_nomin_8
2024-07-27 14:59
39K
nomin_8__t15_nomin_8.vout
2024-08-03 09:38
7.3K
nomin_8__t16_nomin_8
2024-07-27 15:01
171K
nomin_8__t16_nomin_8.vout
2024-08-03 07:56
6.8K
nomin_8__t17_nomin_8
2024-07-27 15:03
118K
nomin_8__t17_nomin_8.vout
2024-08-03 04:16
6.8K
nomin_8__t18_nomin_8
2024-07-27 15:04
133K
nomin_8__t18_nomin_8.vout
2024-08-03 10:04
6.8K
nomin_8__t19_nomin_8
2024-07-27 15:06
240K
nomin_8__t19_nomin_8.vout
2024-08-03 05:54
6.8K
nomin_8__t20_nomin_8
2024-07-27 15:08
35K
nomin_8__t20_nomin_8.vout
2024-08-03 05:58
4.2K
nomin_8__t21_nomin_8
2024-07-27 15:09
40K
nomin_8__t21_nomin_8.vout
2024-08-03 04:39
7.3K
nomin_8__t22_nomin_8
2024-07-27 15:11
37K
nomin_8__t22_nomin_8.depv1
2024-08-03 10:19
110
nomin_8__t22_nomin_8.depvmin1
2024-08-03 10:24
110
nomin_8__t22_nomin_8.vmin1
2024-08-03 10:20
2.0K
nomin_8__t22_nomin_8.vmin1out
2024-08-03 10:22
28K
nomin_8__t22_nomin_8.vout
2024-08-03 06:43
30K
nomin_8__t23_nomin_8
2024-07-27 15:12
45K
nomin_8__t23_nomin_8.vout
2024-08-03 04:25
3.7K
nomin_8__t24_nomin_8
2024-07-27 15:14
39K
nomin_8__t24_nomin_8.vout
2024-08-03 05:36
3.7K
nomin_8__t25_nomin_8
2024-07-27 15:15
60K
nomin_8__t25_nomin_8.vout
2024-08-03 08:50
3.7K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80