Index of /~mptp/8.1.14_5.79.1465/MPTP2/problems_small/realset3
Name
Last modified
Size
Description
Parent Directory
-
realset3__t1_realset3
2024-07-27 23:29
15K
realset3__t1_realset3.depv1
2024-08-03 10:19
332
realset3__t1_realset3.depvmin1
2024-08-03 10:24
317
realset3__t1_realset3.vmin1
2024-08-03 10:20
4.1K
realset3__t1_realset3.vmin1out
2024-08-03 10:23
47K
realset3__t1_realset3.vout
2024-08-03 07:39
26K
realset3__t2_realset3
2024-07-27 23:30
18K
realset3__t2_realset3.vout
2024-08-03 08:40
7.8K
realset3__t3_realset3
2024-07-27 23:32
16K
realset3__t3_realset3.vout
2024-08-03 09:05
2.0K
realset3__t4_realset3
2024-07-27 23:33
12K
realset3__t4_realset3.depv1
2024-08-03 10:19
229
realset3__t4_realset3.depvmin1
2024-08-03 10:24
172
realset3__t4_realset3.vmin1
2024-08-03 10:20
3.0K
realset3__t4_realset3.vmin1out
2024-08-03 10:23
105K
realset3__t4_realset3.vout
2024-08-03 05:02
100K
realset3__t5_realset3
2024-07-27 23:34
17K
realset3__t5_realset3.vout
2024-08-03 06:19
7.3K
realset3__t6_realset3
2024-07-27 23:35
17K
realset3__t6_realset3.vout
2024-08-03 05:32
2.0K
realset3__t7_realset3
2024-07-27 23:37
20K
realset3__t7_realset3.vout
2024-08-03 08:50
7.3K
realset3__t8_realset3
2024-07-27 23:38
13K
realset3__t8_realset3.vout
2024-08-03 09:32
8.4K
realset3__t9_realset3
2024-07-27 23:39
17K
realset3__t9_realset3.vout
2024-08-03 09:12
7.9K
realset3__t10_realset3
2024-07-27 23:40
13K
realset3__t10_realset3.vout
2024-08-03 05:31
2.0K
realset3__t11_realset3
2024-07-27 23:41
13K
realset3__t11_realset3.vout
2024-08-03 06:05
7.9K
realset3__t12_realset3
2024-07-27 23:42
13K
realset3__t12_realset3.vout
2024-08-03 08:52
7.9K
realset3__t13_realset3
2024-07-27 23:43
14K
realset3__t13_realset3.vout
2024-08-03 08:31
7.3K
realset3__t14_realset3
2024-07-27 23:44
13K
realset3__t14_realset3.depv1
2024-08-03 10:19
230
realset3__t14_realset3.depvmin1
2024-08-03 10:24
215
realset3__t14_realset3.vmin1
2024-08-03 10:20
4.0K
realset3__t14_realset3.vmin1out
2024-08-03 10:21
73K
realset3__t14_realset3.vout
2024-08-03 09:23
44K
realset3__t15_realset3
2024-07-27 23:45
14K
realset3__t15_realset3.vout
2024-08-03 08:27
7.3K
realset3__t16_realset3
2024-07-27 23:47
12K
realset3__t16_realset3.depv1
2024-08-03 10:19
134
realset3__t16_realset3.depvmin1
2024-08-03 10:24
134
realset3__t16_realset3.vmin1
2024-08-03 10:20
2.6K
realset3__t16_realset3.vmin1out
2024-08-03 10:20
64K
realset3__t16_realset3.vout
2024-08-03 08:56
64K
realset3__t17_realset3
2024-07-27 23:48
12K
realset3__t17_realset3.depv1
2024-08-03 10:19
133
realset3__t17_realset3.depvmin1
2024-08-03 10:24
108
realset3__t17_realset3.vmin1
2024-08-03 10:20
2.6K
realset3__t17_realset3.vmin1out
2024-08-03 10:23
57K
realset3__t17_realset3.vout
2024-08-03 05:52
60K
realset3__t18_realset3
2024-07-27 23:49
14K
realset3__t18_realset3.vout
2024-08-03 10:14
7.3K
realset3__t19_realset3
2024-07-27 23:50
14K
realset3__t19_realset3.vout
2024-08-03 08:07
7.9K
realset3__t20_realset3
2024-07-27 23:51
16K
realset3__t20_realset3.depv1
2024-08-03 10:19
197
realset3__t20_realset3.depvmin1
2024-08-03 10:24
197
realset3__t20_realset3.vmin1
2024-08-03 10:20
3.9K
realset3__t20_realset3.vmin1out
2024-08-03 10:23
80K
realset3__t20_realset3.vout
2024-08-03 05:17
82K
realset3__t21_realset3
2024-07-27 23:52
18K
realset3__t21_realset3.vout
2024-08-03 09:53
7.3K
realset3__t22_realset3
2024-07-27 23:53
17K
realset3__t22_realset3.vout
2024-08-03 05:44
2.0K
realset3__t23_realset3
2024-07-27 23:55
16K
realset3__t23_realset3.depv1
2024-08-03 10:19
182
realset3__t23_realset3.depvmin1
2024-08-03 10:24
182
realset3__t23_realset3.vmin1
2024-08-03 10:20
3.6K
realset3__t23_realset3.vmin1out
2024-08-03 10:23
77K
realset3__t23_realset3.vout
2024-08-03 09:26
79K
realset3__t24_realset3
2024-07-27 23:56
17K
realset3__t24_realset3.depv1
2024-08-03 10:19
299
realset3__t24_realset3.depvmin1
2024-08-03 10:24
299
realset3__t24_realset3.vmin1
2024-08-03 10:20
5.2K
realset3__t24_realset3.vmin1out
2024-08-03 10:22
106K
realset3__t24_realset3.vout
2024-08-03 07:30
67K
realset3__t25_realset3
2024-07-27 23:57
17K
realset3__t25_realset3.depv1
2024-08-03 10:19
52
realset3__t25_realset3.depvmin1
2024-08-03 10:24
52
realset3__t25_realset3.vmin1
2024-08-03 10:20
2.9K
realset3__t25_realset3.vmin1out
2024-08-03 10:22
101K
realset3__t25_realset3.vout
2024-08-03 05:06
100K
realset3__t26_realset3
2024-07-27 23:58
18K
realset3__t26_realset3.depv1
2024-08-03 10:19
391
realset3__t26_realset3.depvmin1
2024-08-03 10:24
367
realset3__t26_realset3.vmin1
2024-08-03 10:20
6.2K
realset3__t26_realset3.vmin1out
2024-08-03 10:21
107K
realset3__t26_realset3.vout
2024-08-03 09:55
114K
realset3__t27_realset3
2024-07-28 00:00
18K
realset3__t27_realset3.depv1
2024-08-03 10:19
397
realset3__t27_realset3.depvmin1
2024-08-03 10:24
397
realset3__t27_realset3.vmin1
2024-08-03 10:20
6.6K
realset3__t27_realset3.vmin1out
2024-08-03 10:22
120K
realset3__t27_realset3.vout
2024-08-03 05:18
71K
realset3__t28_realset3
2024-07-28 00:01
17K
realset3__t28_realset3.vout
2024-08-03 09:09
7.4K
realset3__t29_realset3
2024-07-28 00:02
17K
realset3__t29_realset3.vout
2024-08-03 08:47
7.3K
realset3__t30_realset3
2024-07-28 00:03
20K
realset3__t30_realset3.vout
2024-08-03 04:15
7.3K
realset3__t31_realset3
2024-07-28 00:05
19K
realset3__t31_realset3.vout
2024-08-03 10:07
7.3K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80