Index of /~mptp/mml5.63.1382/MPTP2/problems_small/jgraph_8
Name
Last modified
Size
Description
Parent Directory
-
jgraph_8__t6_jgraph_8.vout
2021-07-25 18:20
4.2K
jgraph_8__t6_jgraph_8
2021-07-18 04:05
80K
jgraph_8__t5_jgraph_8.vout
2021-07-25 18:04
4.7K
jgraph_8__t5_jgraph_8
2021-07-18 04:04
57K
jgraph_8__t4_jgraph_8.vout
2021-07-25 19:35
3.7K
jgraph_8__t4_jgraph_8
2021-07-18 04:03
280K
jgraph_8__t3_jgraph_8.vout
2021-07-25 19:18
4.7K
jgraph_8__t3_jgraph_8
2021-07-18 04:01
63K
jgraph_8__t2_jgraph_8.vout
2021-07-25 20:11
3.7K
jgraph_8__t2_jgraph_8
2021-07-18 04:01
66K
jgraph_8__t1_jgraph_8.vout
2021-07-25 14:27
3.7K
jgraph_8__t1_jgraph_8
2021-07-18 04:00
258K
jgraph_8__l3_jgraph_8.vout
2021-07-25 16:06
2.0K
jgraph_8__l3_jgraph_8
2021-07-18 04:06
53K
jgraph_8__l2_jgraph_8.vout
2021-07-25 15:30
7.3K
jgraph_8__l2_jgraph_8
2021-07-18 04:05
36K
jgraph_8__l1_jgraph_8.vout
2021-07-25 17:21
5.7K
jgraph_8__l1_jgraph_8.vmin1out
2021-07-25 20:59
4.1K
jgraph_8__l1_jgraph_8.vmin1
2021-07-25 20:57
639
jgraph_8__l1_jgraph_8.depvmin1
2021-07-25 21:03
111
jgraph_8__l1_jgraph_8.depv1
2021-07-25 20:57
111
jgraph_8__l1_jgraph_8
2021-07-18 03:58
38K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80