Index of /~mptp/8.1.14_5.79.1465/MPTP2/problems_small/real_ns1
Name
Last modified
Size
Description
Parent Directory
-
real_ns1__l1_real_ns1
2024-07-28 20:30
46K
real_ns1__l1_real_ns1.vout
2024-08-03 05:22
1.1K
real_ns1__l18_real_ns1
2024-07-28 20:32
41K
real_ns1__l18_real_ns1.depv1
2024-08-03 10:19
67
real_ns1__l18_real_ns1.depvmin1
2024-08-03 10:24
67
real_ns1__l18_real_ns1.vmin1
2024-08-03 10:20
2.0K
real_ns1__l18_real_ns1.vmin1out
2024-08-03 10:21
39K
real_ns1__l18_real_ns1.vout
2024-08-03 09:03
37K
real_ns1__t1_real_ns1
2024-07-28 19:52
49K
real_ns1__t1_real_ns1.vout
2024-08-03 08:01
4.1K
real_ns1__t2_real_ns1
2024-07-28 19:54
54K
real_ns1__t2_real_ns1.vout
2024-08-03 07:19
4.1K
real_ns1__t3_real_ns1
2024-07-28 19:56
52K
real_ns1__t3_real_ns1.vout
2024-08-03 07:36
4.1K
real_ns1__t4_real_ns1
2024-07-28 19:58
55K
real_ns1__t4_real_ns1.vout
2024-08-03 07:08
4.2K
real_ns1__t5_real_ns1
2024-07-28 20:00
65K
real_ns1__t5_real_ns1.vout
2024-08-03 04:44
4.1K
real_ns1__t6_real_ns1
2024-07-28 20:01
36K
real_ns1__t6_real_ns1.depv1
2024-08-03 10:19
173
real_ns1__t6_real_ns1.depvmin1
2024-08-03 10:24
173
real_ns1__t6_real_ns1.vmin1
2024-08-03 10:20
1.4K
real_ns1__t6_real_ns1.vmin1out
2024-08-03 10:22
17K
real_ns1__t6_real_ns1.vout
2024-08-03 09:17
17K
real_ns1__t7_real_ns1
2024-07-28 20:03
76K
real_ns1__t7_real_ns1.vout
2024-08-03 06:14
4.7K
real_ns1__t8_real_ns1
2024-07-28 20:05
61K
real_ns1__t8_real_ns1.vout
2024-08-03 04:19
2.0K
real_ns1__t9_real_ns1
2024-07-28 20:07
49K
real_ns1__t9_real_ns1.depv1
2024-08-03 10:19
36
real_ns1__t9_real_ns1.depvmin1
2024-08-03 10:24
36
real_ns1__t9_real_ns1.vmin1
2024-08-03 10:20
831
real_ns1__t9_real_ns1.vmin1out
2024-08-03 10:22
12K
real_ns1__t9_real_ns1.vout
2024-08-03 05:21
8.3K
real_ns1__t10_real_ns1
2024-07-28 20:08
74K
real_ns1__t10_real_ns1.vout
2024-08-03 05:37
7.3K
real_ns1__t11_real_ns1
2024-07-28 20:12
142K
real_ns1__t11_real_ns1.vout
2024-08-03 09:56
4.7K
real_ns1__t12_real_ns1
2024-07-28 20:15
93K
real_ns1__t12_real_ns1.vout
2024-08-03 10:01
4.7K
real_ns1__t13_real_ns1
2024-07-28 20:17
57K
real_ns1__t13_real_ns1.vout
2024-08-03 08:12
4.1K
real_ns1__t14_real_ns1
2024-07-28 20:19
70K
real_ns1__t14_real_ns1.vout
2024-08-03 04:10
4.1K
real_ns1__t15_real_ns1
2024-07-28 20:21
51K
real_ns1__t15_real_ns1.depv1
2024-08-03 10:19
93
real_ns1__t15_real_ns1.depvmin1
2024-08-03 10:24
93
real_ns1__t15_real_ns1.vmin1
2024-08-03 10:20
3.0K
real_ns1__t15_real_ns1.vmin1out
2024-08-03 10:20
35K
real_ns1__t15_real_ns1.vout
2024-08-03 06:59
38K
real_ns1__t16_real_ns1
2024-07-28 20:24
78K
real_ns1__t16_real_ns1.vout
2024-08-03 04:36
4.7K
real_ns1__t17_real_ns1
2024-07-28 20:26
74K
real_ns1__t17_real_ns1.vout
2024-08-03 06:30
4.7K
real_ns1__t18_real_ns1
2024-07-28 20:29
73K
real_ns1__t18_real_ns1.vout
2024-08-03 06:19
4.7K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80