Index of /~mptp/8.1.14_5.79.1465/MPTP2/problems_small/jct_misc
Name
Last modified
Size
Description
Parent Directory
-
jct_misc__t1_jct_misc
2024-07-28 08:25
27K
jct_misc__t1_jct_misc.vout
2024-08-03 08:55
7.3K
jct_misc__t2_jct_misc
2024-07-28 08:26
15K
jct_misc__t2_jct_misc.vout
2024-08-03 07:42
2.0K
jct_misc__t3_jct_misc
2024-07-28 08:27
26K
jct_misc__t3_jct_misc.vout
2024-08-03 08:11
7.9K
jct_misc__t4_jct_misc
2024-07-28 08:29
37K
jct_misc__t4_jct_misc.vout
2024-08-03 07:03
3.7K
jct_misc__t5_jct_misc
2024-07-28 08:30
36K
jct_misc__t5_jct_misc.vout
2024-08-03 07:44
7.3K
jct_misc__t6_jct_misc
2024-07-28 08:33
58K
jct_misc__t6_jct_misc.vout
2024-08-03 09:21
3.7K
jct_misc__t7_jct_misc
2024-07-28 08:34
25K
jct_misc__t7_jct_misc.vout
2024-08-03 06:12
3.7K
jct_misc__t8_jct_misc
2024-07-28 08:35
23K
jct_misc__t8_jct_misc.vout
2024-08-03 07:49
4.2K
jct_misc__t9_jct_misc
2024-07-28 08:38
182K
jct_misc__t9_jct_misc.vout
2024-08-03 05:51
3.7K
jct_misc__t10_jct_misc
2024-07-28 08:39
22K
jct_misc__t10_jct_misc.vout
2024-08-03 05:24
3.7K
jct_misc__t11_jct_misc
2024-07-28 08:40
24K
jct_misc__t11_jct_misc.vout
2024-08-03 05:04
4.7K
jct_misc__t12_jct_misc
2024-07-28 08:43
141K
jct_misc__t12_jct_misc.vout
2024-08-03 04:49
3.7K
jct_misc__t13_jct_misc
2024-07-28 08:44
43K
jct_misc__t13_jct_misc.depv1
2024-08-03 10:19
205
jct_misc__t13_jct_misc.depvmin1
2024-08-03 10:24
190
jct_misc__t13_jct_misc.vmin1
2024-08-03 10:19
2.1K
jct_misc__t13_jct_misc.vmin1out
2024-08-03 10:22
13K
jct_misc__t13_jct_misc.vout
2024-08-03 05:13
23K
jct_misc__t14_jct_misc
2024-07-28 08:47
67K
jct_misc__t14_jct_misc.vout
2024-08-03 07:42
5.3K
jct_misc__t15_jct_misc
2024-07-28 08:49
42K
jct_misc__t15_jct_misc.depv1
2024-08-03 10:19
198
jct_misc__t15_jct_misc.depvmin1
2024-08-03 10:24
198
jct_misc__t15_jct_misc.vmin1
2024-08-03 10:19
2.6K
jct_misc__t15_jct_misc.vmin1out
2024-08-03 10:23
20K
jct_misc__t15_jct_misc.vout
2024-08-03 08:37
22K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80