Index of /~mptp/8.1.14_5.79.1465/MPTP2/problems_small/xreal_0
Name
Last modified
Size
Description
Parent Directory
-
xreal_0__l2_xreal_0
2024-07-28 11:50
8.5K
xreal_0__l2_xreal_0.depv1
2024-08-03 10:19
104
xreal_0__l2_xreal_0.depvmin1
2024-08-03 10:24
104
xreal_0__l2_xreal_0.vmin1
2024-08-03 10:19
931
xreal_0__l2_xreal_0.vmin1out
2024-08-03 10:22
12K
xreal_0__l2_xreal_0.vout
2024-08-03 06:53
12K
xreal_0__l3_xreal_0
2024-07-28 11:50
19K
xreal_0__l3_xreal_0.depv1
2024-08-03 10:19
163
xreal_0__l3_xreal_0.depvmin1
2024-08-03 10:24
163
xreal_0__l3_xreal_0.vmin1
2024-08-03 10:19
2.6K
xreal_0__l3_xreal_0.vmin1out
2024-08-03 10:20
48K
xreal_0__l3_xreal_0.vout
2024-08-03 10:12
52K
xreal_0__l4_xreal_0
2024-07-28 11:48
5.3K
xreal_0__l4_xreal_0.depv1
2024-08-03 10:19
44
xreal_0__l4_xreal_0.depvmin1
2024-08-03 10:24
44
xreal_0__l4_xreal_0.vmin1
2024-08-03 10:19
280
xreal_0__l4_xreal_0.vmin1out
2024-08-03 10:22
4.0K
xreal_0__l4_xreal_0.vout
2024-08-03 09:18
3.9K
xreal_0__l5_xreal_0
2024-07-28 11:51
19K
xreal_0__l5_xreal_0.vout
2024-08-03 06:04
7.8K
xreal_0__l6_xreal_0
2024-07-28 11:53
38K
xreal_0__l6_xreal_0.vout
2024-08-03 07:32
7.8K
xreal_0__l7_xreal_0
2024-07-28 11:54
20K
xreal_0__l7_xreal_0.vout
2024-08-03 08:07
7.8K
xreal_0__l8_xreal_0
2024-07-28 11:49
16K
xreal_0__l8_xreal_0.depv1
2024-08-03 10:19
131
xreal_0__l8_xreal_0.depvmin1
2024-08-03 10:24
131
xreal_0__l8_xreal_0.vmin1
2024-08-03 10:19
801
xreal_0__l8_xreal_0.vmin1out
2024-08-03 10:20
5.3K
xreal_0__l8_xreal_0.vout
2024-08-03 05:54
8.4K
xreal_0__l9_xreal_0
2024-07-28 11:55
18K
xreal_0__l9_xreal_0.depv1
2024-08-03 10:19
127
xreal_0__l9_xreal_0.depvmin1
2024-08-03 10:24
102
xreal_0__l9_xreal_0.vmin1
2024-08-03 10:19
409
xreal_0__l9_xreal_0.vmin1out
2024-08-03 10:20
2.7K
xreal_0__l9_xreal_0.vout
2024-08-03 07:18
3.6K
xreal_0__l10_xreal_0
2024-07-28 11:56
7.1K
xreal_0__l10_xreal_0.depv1
2024-08-03 10:19
156
xreal_0__l10_xreal_0.depvmin1
2024-08-03 10:24
143
xreal_0__l10_xreal_0.vmin1
2024-08-03 10:19
1.2K
xreal_0__l10_xreal_0.vmin1out
2024-08-03 10:20
11K
xreal_0__l10_xreal_0.vout
2024-08-03 05:04
11K
xreal_0__l11_xreal_0
2024-07-28 11:56
7.1K
xreal_0__l11_xreal_0.depv1
2024-08-03 10:19
192
xreal_0__l11_xreal_0.depvmin1
2024-08-03 10:24
143
xreal_0__l11_xreal_0.vmin1
2024-08-03 10:19
1.4K
xreal_0__l11_xreal_0.vmin1out
2024-08-03 10:23
11K
xreal_0__l11_xreal_0.vout
2024-08-03 08:49
14K
xreal_0__l12_xreal_0
2024-07-28 11:58
26K
xreal_0__l12_xreal_0.vout
2024-08-03 05:27
7.8K
xreal_0__l13_xreal_0
2024-07-28 11:58
7.6K
xreal_0__l13_xreal_0.vout
2024-08-03 05:37
7.8K
xreal_0__l14_xreal_0
2024-07-28 11:59
7.6K
xreal_0__l14_xreal_0.vout
2024-08-03 09:10
7.8K
xreal_0__l15_xreal_0
2024-07-28 11:59
10K
xreal_0__l15_xreal_0.vout
2024-08-03 05:45
2.0K
xreal_0__l16_xreal_0
2024-07-28 12:00
7.6K
xreal_0__l16_xreal_0.depv1
2024-08-03 10:19
208
xreal_0__l16_xreal_0.depvmin1
2024-08-03 10:24
208
xreal_0__l16_xreal_0.vmin1
2024-08-03 10:19
1.5K
xreal_0__l16_xreal_0.vmin1out
2024-08-03 10:23
21K
xreal_0__l16_xreal_0.vout
2024-08-03 09:30
21K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80