Index of /~mptp/8.1.14_5.79.1465/MPTP2/problems_small/primreci
Name
Last modified
Size
Description
Parent Directory
-
primreci__t1_primreci
2024-07-28 05:40
18K
primreci__t1_primreci.vout
2024-08-03 07:28
2.0K
primreci__t2_primreci
2024-07-28 05:41
29K
primreci__t2_primreci.depv1
2024-08-03 10:19
333
primreci__t2_primreci.depvmin1
2024-08-03 10:24
307
primreci__t2_primreci.vmin1
2024-08-03 10:20
2.7K
primreci__t2_primreci.vmin1out
2024-08-03 10:23
25K
primreci__t2_primreci.vout
2024-08-03 07:09
23K
primreci__t3_primreci
2024-07-28 05:42
29K
primreci__t3_primreci.depv1
2024-08-03 10:19
333
primreci__t3_primreci.depvmin1
2024-08-03 10:24
307
primreci__t3_primreci.vmin1
2024-08-03 10:20
2.7K
primreci__t3_primreci.vmin1out
2024-08-03 10:22
26K
primreci__t3_primreci.vout
2024-08-03 06:34
23K
primreci__t4_primreci
2024-07-28 05:43
27K
primreci__t4_primreci.depv1
2024-08-03 10:19
51
primreci__t4_primreci.depvmin1
2024-08-03 10:24
51
primreci__t4_primreci.vmin1
2024-08-03 10:20
638
primreci__t4_primreci.vmin1out
2024-08-03 10:23
7.1K
primreci__t4_primreci.vout
2024-08-03 06:35
6.5K
primreci__t5_primreci
2024-07-28 05:44
27K
primreci__t5_primreci.depv1
2024-08-03 10:19
51
primreci__t5_primreci.depvmin1
2024-08-03 10:24
51
primreci__t5_primreci.vmin1
2024-08-03 10:20
660
primreci__t5_primreci.vmin1out
2024-08-03 10:22
7.1K
primreci__t5_primreci.vout
2024-08-03 07:29
6.5K
primreci__t6_primreci
2024-07-28 05:45
49K
primreci__t6_primreci.vout
2024-08-03 04:51
7.3K
primreci__t9_primreci
2024-07-28 05:47
46K
primreci__t9_primreci.depv1
2024-08-03 10:19
187
primreci__t9_primreci.depvmin1
2024-08-03 10:24
187
primreci__t9_primreci.vmin1
2024-08-03 10:20
2.5K
primreci__t9_primreci.vmin1out
2024-08-03 10:22
33K
primreci__t9_primreci.vout
2024-08-03 09:40
35K
primreci__t10_primreci
2024-07-28 05:49
72K
primreci__t10_primreci.vout
2024-08-03 09:23
2.0K
primreci__t11_primreci
2024-07-28 05:50
21K
primreci__t11_primreci.depv1
2024-08-03 10:19
170
primreci__t11_primreci.depvmin1
2024-08-03 10:24
170
primreci__t11_primreci.vmin1
2024-08-03 10:20
1.4K
primreci__t11_primreci.vmin1out
2024-08-03 10:20
15K
primreci__t11_primreci.vout
2024-08-03 06:37
15K
primreci__t12_primreci
2024-07-28 05:51
24K
primreci__t12_primreci.vout
2024-08-03 04:39
7.9K
primreci__t13_primreci
2024-07-28 05:54
243K
primreci__t13_primreci.vout
2024-08-03 08:05
5.9K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80