Index of /~mptp/8.1.14_5.79.1465/MPTP2/problems_small/xcmplx_0
Name
Last modified
Size
Description
Parent Directory
-
xcmplx_0__l3_xcmplx_0
2024-07-28 06:05
5.4K
xcmplx_0__l3_xcmplx_0.depv1
2024-08-03 10:19
84
xcmplx_0__l3_xcmplx_0.depvmin1
2024-08-03 10:24
84
xcmplx_0__l3_xcmplx_0.vmin1
2024-08-03 10:19
441
xcmplx_0__l3_xcmplx_0.vmin1out
2024-08-03 10:20
3.3K
xcmplx_0__l3_xcmplx_0.vout
2024-08-03 05:58
3.0K
xcmplx_0__l4_xcmplx_0
2024-07-28 06:06
8.0K
xcmplx_0__l4_xcmplx_0.depv1
2024-08-03 10:19
102
xcmplx_0__l4_xcmplx_0.depvmin1
2024-08-03 10:24
78
xcmplx_0__l4_xcmplx_0.vmin1
2024-08-03 10:19
655
xcmplx_0__l4_xcmplx_0.vmin1out
2024-08-03 10:21
4.5K
xcmplx_0__l4_xcmplx_0.vout
2024-08-03 06:53
4.8K
xcmplx_0__l5_xcmplx_0
2024-07-28 06:06
5.9K
xcmplx_0__l5_xcmplx_0.depv1
2024-08-03 10:19
83
xcmplx_0__l5_xcmplx_0.depvmin1
2024-08-03 10:24
59
xcmplx_0__l5_xcmplx_0.vmin1
2024-08-03 10:19
386
xcmplx_0__l5_xcmplx_0.vmin1out
2024-08-03 10:22
2.8K
xcmplx_0__l5_xcmplx_0.vout
2024-08-03 08:24
3.0K
xcmplx_0__l6_xcmplx_0
2024-07-28 06:07
5.2K
xcmplx_0__l6_xcmplx_0.depv1
2024-08-03 10:19
49
xcmplx_0__l6_xcmplx_0.depvmin1
2024-08-03 10:24
49
xcmplx_0__l6_xcmplx_0.vmin1
2024-08-03 10:19
333
xcmplx_0__l6_xcmplx_0.vmin1out
2024-08-03 10:23
2.5K
xcmplx_0__l6_xcmplx_0.vout
2024-08-03 08:36
2.4K
xcmplx_0__l7_xcmplx_0
2024-07-28 06:07
7.8K
xcmplx_0__l7_xcmplx_0.depv1
2024-08-03 10:19
78
xcmplx_0__l7_xcmplx_0.depvmin1
2024-08-03 10:24
78
xcmplx_0__l7_xcmplx_0.vmin1
2024-08-03 10:19
576
xcmplx_0__l7_xcmplx_0.vmin1out
2024-08-03 10:21
4.4K
xcmplx_0__l7_xcmplx_0.vout
2024-08-03 08:59
4.3K
xcmplx_0__l10_xcmplx_0
2024-07-28 06:10
13K
xcmplx_0__l10_xcmplx_0.vout
2024-08-03 05:21
4.7K
xcmplx_0__l15_xcmplx_0
2024-07-28 06:11
8.3K
xcmplx_0__l15_xcmplx_0.vout
2024-08-03 10:13
8.2K
xcmplx_0__l16_xcmplx_0
2024-07-28 06:08
5.3K
xcmplx_0__l16_xcmplx_0.depv1
2024-08-03 10:19
53
xcmplx_0__l16_xcmplx_0.depvmin1
2024-08-03 10:24
53
xcmplx_0__l16_xcmplx_0.vmin1
2024-08-03 10:19
289
xcmplx_0__l16_xcmplx_0.vmin1out
2024-08-03 10:20
2.2K
xcmplx_0__l16_xcmplx_0.vout
2024-08-03 05:50
2.2K
xcmplx_0__l17_xcmplx_0
2024-07-28 06:09
13K
xcmplx_0__l17_xcmplx_0.depv1
2024-08-03 10:19
127
xcmplx_0__l17_xcmplx_0.depvmin1
2024-08-03 10:24
62
xcmplx_0__l17_xcmplx_0.vmin1
2024-08-03 10:19
869
xcmplx_0__l17_xcmplx_0.vmin1out
2024-08-03 10:22
2.3K
xcmplx_0__l17_xcmplx_0.vout
2024-08-03 08:55
7.6K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80