Index of /~mptp/8.1.15_5.94.1493/MPTP2/problems_small/xcmplx_0
Name
Last modified
Size
Description
Parent Directory
-
xcmplx_0__l3_xcmplx_0
2025-09-08 18:11
5.4K
xcmplx_0__l3_xcmplx_0.depv1
2025-09-15 19:47
84
xcmplx_0__l3_xcmplx_0.depvmin1
2025-09-15 19:52
84
xcmplx_0__l3_xcmplx_0.vmin1
2025-09-15 19:47
441
xcmplx_0__l3_xcmplx_0.vmin1out
2025-09-15 19:49
3.3K
xcmplx_0__l3_xcmplx_0.vout
2025-09-15 14:14
3.0K
xcmplx_0__l4_xcmplx_0
2025-09-08 18:11
8.0K
xcmplx_0__l4_xcmplx_0.depv1
2025-09-15 19:47
102
xcmplx_0__l4_xcmplx_0.depvmin1
2025-09-15 19:52
78
xcmplx_0__l4_xcmplx_0.vmin1
2025-09-15 19:47
655
xcmplx_0__l4_xcmplx_0.vmin1out
2025-09-15 19:51
4.5K
xcmplx_0__l4_xcmplx_0.vout
2025-09-15 19:34
4.8K
xcmplx_0__l5_xcmplx_0
2025-09-08 18:12
5.9K
xcmplx_0__l5_xcmplx_0.depv1
2025-09-15 19:47
83
xcmplx_0__l5_xcmplx_0.depvmin1
2025-09-15 19:52
59
xcmplx_0__l5_xcmplx_0.vmin1
2025-09-15 19:47
386
xcmplx_0__l5_xcmplx_0.vmin1out
2025-09-15 19:51
2.8K
xcmplx_0__l5_xcmplx_0.vout
2025-09-15 18:35
3.0K
xcmplx_0__l6_xcmplx_0
2025-09-08 18:12
5.2K
xcmplx_0__l6_xcmplx_0.depv1
2025-09-15 19:47
49
xcmplx_0__l6_xcmplx_0.depvmin1
2025-09-15 19:52
49
xcmplx_0__l6_xcmplx_0.vmin1
2025-09-15 19:47
333
xcmplx_0__l6_xcmplx_0.vmin1out
2025-09-15 19:49
2.5K
xcmplx_0__l6_xcmplx_0.vout
2025-09-15 15:02
2.4K
xcmplx_0__l7_xcmplx_0
2025-09-08 18:13
7.8K
xcmplx_0__l7_xcmplx_0.depv1
2025-09-15 19:47
78
xcmplx_0__l7_xcmplx_0.depvmin1
2025-09-15 19:52
78
xcmplx_0__l7_xcmplx_0.vmin1
2025-09-15 19:47
576
xcmplx_0__l7_xcmplx_0.vmin1out
2025-09-15 19:50
4.4K
xcmplx_0__l7_xcmplx_0.vout
2025-09-15 17:33
4.3K
xcmplx_0__l10_xcmplx_0
2025-09-08 18:15
13K
xcmplx_0__l10_xcmplx_0.vout
2025-09-15 14:54
4.7K
xcmplx_0__l15_xcmplx_0
2025-09-08 18:16
8.3K
xcmplx_0__l15_xcmplx_0.vout
2025-09-15 15:26
8.2K
xcmplx_0__l16_xcmplx_0
2025-09-08 18:14
5.3K
xcmplx_0__l16_xcmplx_0.depv1
2025-09-15 19:47
53
xcmplx_0__l16_xcmplx_0.depvmin1
2025-09-15 19:52
53
xcmplx_0__l16_xcmplx_0.vmin1
2025-09-15 19:47
289
xcmplx_0__l16_xcmplx_0.vmin1out
2025-09-15 19:50
2.2K
xcmplx_0__l16_xcmplx_0.vout
2025-09-15 16:08
2.2K
xcmplx_0__l17_xcmplx_0
2025-09-08 18:14
13K
xcmplx_0__l17_xcmplx_0.depv1
2025-09-15 19:47
127
xcmplx_0__l17_xcmplx_0.depvmin1
2025-09-15 19:52
62
xcmplx_0__l17_xcmplx_0.vmin1
2025-09-15 19:47
869
xcmplx_0__l17_xcmplx_0.vmin1out
2025-09-15 19:51
2.3K
xcmplx_0__l17_xcmplx_0.vout
2025-09-15 17:09
7.6K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80