Index of /~mptp/mml5.63.1382/MPTP2/problems_small/compact1
Name
Last modified
Size
Description
Parent Directory
-
compact1__t8_compact1.vout
2021-07-25 17:10
3.7K
compact1__t8_compact1
2021-07-18 05:23
42K
compact1__t7_compact1.vout
2021-07-25 17:56
4.2K
compact1__t7_compact1
2021-07-18 05:22
33K
compact1__t6_compact1.vout
2021-07-25 19:04
4.2K
compact1__t6_compact1
2021-07-18 05:22
39K
compact1__t5_compact1.vout
2021-07-25 14:43
3.7K
compact1__t5_compact1
2021-07-18 05:21
20K
compact1__t4_compact1.vout
2021-07-25 18:30
9.6K
compact1__t4_compact1.vmin1out
2021-07-25 20:59
9.8K
compact1__t4_compact1.vmin1
2021-07-25 20:57
951
compact1__t4_compact1.depvmin1
2021-07-25 21:02
90
compact1__t4_compact1.depv1
2021-07-25 20:57
100
compact1__t4_compact1
2021-07-18 05:21
17K
compact1__t3_compact1.vout
2021-07-25 19:03
6.8K
compact1__t3_compact1
2021-07-18 05:21
39K
compact1__t2_compact1.vout
2021-07-25 19:07
15K
compact1__t2_compact1.vmin1out
2021-07-25 20:58
12K
compact1__t2_compact1.vmin1
2021-07-25 20:57
1.3K
compact1__t2_compact1.depvmin1
2021-07-25 21:02
128
compact1__t2_compact1.depv1
2021-07-25 20:57
128
compact1__t2_compact1
2021-07-18 05:20
16K
compact1__t1_compact1.vout
2021-07-25 14:24
3.7K
compact1__t1_compact1
2021-07-18 05:20
34K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80