Index of /~mptp/8.1.14_5.79.1465/MPTP2/problems_small/surreal0
Name
Last modified
Size
Description
Parent Directory
-
surreal0__t47_surreal0.vout
2024-08-03 09:23
4.7K
surreal0__t47_surreal0
2024-07-27 09:01
30K
surreal0__t46_surreal0.vout
2024-08-03 08:21
7.3K
surreal0__t46_surreal0
2024-07-27 09:00
34K
surreal0__t45_surreal0.vout
2024-08-03 06:44
7.9K
surreal0__t45_surreal0
2024-07-27 08:58
31K
surreal0__t44_surreal0.vout
2024-08-03 05:22
44K
surreal0__t44_surreal0.vmin1out
2024-08-03 10:20
33K
surreal0__t44_surreal0.vmin1
2024-08-03 10:19
1.4K
surreal0__t44_surreal0.depvmin1
2024-08-03 10:24
148
surreal0__t44_surreal0.depv1
2024-08-03 10:19
148
surreal0__t44_surreal0
2024-07-27 08:57
13K
surreal0__t43_surreal0.vout
2024-08-03 06:03
5.8K
surreal0__t43_surreal0
2024-07-27 08:56
33K
surreal0__t42_surreal0.vout
2024-08-03 09:38
17K
surreal0__t42_surreal0.vmin1out
2024-08-03 10:20
17K
surreal0__t42_surreal0.vmin1
2024-08-03 10:19
620
surreal0__t42_surreal0.depvmin1
2024-08-03 10:24
61
surreal0__t42_surreal0.depv1
2024-08-03 10:19
61
surreal0__t42_surreal0
2024-07-27 08:54
13K
surreal0__t41_surreal0.vout
2024-08-03 06:20
17K
surreal0__t41_surreal0.vmin1out
2024-08-03 10:20
17K
surreal0__t41_surreal0.vmin1
2024-08-03 10:19
620
surreal0__t41_surreal0.depvmin1
2024-08-03 10:24
61
surreal0__t41_surreal0.depv1
2024-08-03 10:19
61
surreal0__t41_surreal0
2024-07-27 08:53
13K
surreal0__t40_surreal0.vout
2024-08-03 05:46
2.0K
surreal0__t40_surreal0
2024-07-27 08:52
29K
surreal0__t39_surreal0.vout
2024-08-03 09:57
7.4K
surreal0__t39_surreal0
2024-07-27 08:51
33K
surreal0__t38_surreal0.vout
2024-08-03 06:44
6.2K
surreal0__t38_surreal0
2024-07-27 08:50
20K
surreal0__t37_surreal0.vout
2024-08-03 08:44
20K
surreal0__t37_surreal0.vmin1out
2024-08-03 10:21
20K
surreal0__t37_surreal0.vmin1
2024-08-03 10:19
1.9K
surreal0__t37_surreal0.depvmin1
2024-08-03 10:24
263
surreal0__t37_surreal0.depv1
2024-08-03 10:19
263
surreal0__t37_surreal0
2024-07-27 08:49
17K
surreal0__t36_surreal0.vout
2024-08-03 06:51
12K
surreal0__t36_surreal0.vmin1out
2024-08-03 10:23
13K
surreal0__t36_surreal0.vmin1
2024-08-03 10:19
1.2K
surreal0__t36_surreal0.depvmin1
2024-08-03 10:24
91
surreal0__t36_surreal0.depv1
2024-08-03 10:19
91
surreal0__t36_surreal0
2024-07-27 08:48
19K
surreal0__t35_surreal0.vout
2024-08-03 08:36
13K
surreal0__t35_surreal0.vmin1out
2024-08-03 10:22
16K
surreal0__t35_surreal0.vmin1
2024-08-03 10:19
1.3K
surreal0__t35_surreal0.depvmin1
2024-08-03 10:24
103
surreal0__t35_surreal0.depv1
2024-08-03 10:19
103
surreal0__t35_surreal0
2024-07-27 08:47
19K
surreal0__t34_surreal0.vout
2024-08-03 07:03
7.3K
surreal0__t34_surreal0
2024-07-27 08:46
32K
surreal0__t33_surreal0.vout
2024-08-03 06:49
7.3K
surreal0__t33_surreal0
2024-07-27 08:44
19K
surreal0__t32_surreal0.vout
2024-08-03 08:20
10K
surreal0__t32_surreal0.vmin1out
2024-08-03 10:22
12K
surreal0__t32_surreal0.vmin1
2024-08-03 10:19
1.0K
surreal0__t32_surreal0.depvmin1
2024-08-03 10:24
78
surreal0__t32_surreal0.depv1
2024-08-03 10:19
78
surreal0__t32_surreal0
2024-07-27 08:43
18K
surreal0__t31_surreal0.vout
2024-08-03 09:26
6.2K
surreal0__t31_surreal0
2024-07-27 08:42
34K
surreal0__t30_surreal0.vout
2024-08-03 07:24
17K
surreal0__t30_surreal0.vmin1out
2024-08-03 10:22
17K
surreal0__t30_surreal0.vmin1
2024-08-03 10:19
1.5K
surreal0__t30_surreal0.depvmin1
2024-08-03 10:24
151
surreal0__t30_surreal0.depv1
2024-08-03 10:19
151
surreal0__t30_surreal0
2024-07-27 08:41
16K
surreal0__t29_surreal0.vout
2024-08-03 09:26
4.7K
surreal0__t29_surreal0
2024-07-27 08:40
20K
surreal0__t28_surreal0.vout
2024-08-03 07:04
6.8K
surreal0__t28_surreal0
2024-07-27 08:39
29K
surreal0__t27_surreal0.vout
2024-08-03 07:46
7.3K
surreal0__t27_surreal0
2024-07-27 08:38
28K
surreal0__t26_surreal0.vout
2024-08-03 07:37
7.3K
surreal0__t26_surreal0
2024-07-27 08:36
38K
surreal0__t25_surreal0.vout
2024-08-03 05:44
4.7K
surreal0__t25_surreal0
2024-07-27 08:34
20K
surreal0__t24_surreal0.vout
2024-08-03 04:59
4.7K
surreal0__t24_surreal0
2024-07-27 08:33
36K
surreal0__t23_surreal0.vout
2024-08-03 09:10
6.2K
surreal0__t23_surreal0
2024-07-27 08:31
35K
surreal0__t22_surreal0.vout
2024-08-03 08:59
4.7K
surreal0__t22_surreal0
2024-07-27 08:29
36K
surreal0__t21_surreal0.vout
2024-08-03 04:11
4.7K
surreal0__t21_surreal0
2024-07-27 08:28
32K
surreal0__t20_surreal0.vout
2024-08-03 09:24
4.7K
surreal0__t20_surreal0
2024-07-27 08:26
32K
surreal0__t19_surreal0.vout
2024-08-03 08:32
7.3K
surreal0__t19_surreal0
2024-07-27 08:25
19K
surreal0__t18_surreal0.vout
2024-08-03 06:40
7.4K
surreal0__t18_surreal0
2024-07-27 08:24
19K
surreal0__t17_surreal0.vout
2024-08-03 06:05
7.3K
surreal0__t17_surreal0
2024-07-27 08:23
19K
surreal0__t16_surreal0.vout
2024-08-03 08:09
7.3K
surreal0__t16_surreal0
2024-07-27 08:22
19K
surreal0__t15_surreal0.vout
2024-08-03 06:36
4.7K
surreal0__t15_surreal0
2024-07-27 08:21
20K
surreal0__t14_surreal0.vout
2024-08-03 08:37
4.7K
surreal0__t14_surreal0
2024-07-27 08:20
20K
surreal0__t13_surreal0.vout
2024-08-03 08:55
7.3K
surreal0__t13_surreal0
2024-07-27 08:19
19K
surreal0__t12_surreal0.vout
2024-08-03 06:51
7.3K
surreal0__t12_surreal0
2024-07-27 08:17
30K
surreal0__t11_surreal0.vout
2024-08-03 10:06
36K
surreal0__t11_surreal0.vmin1out
2024-08-03 10:23
25K
surreal0__t11_surreal0.vmin1
2024-08-03 10:19
1.5K
surreal0__t11_surreal0.depvmin1
2024-08-03 10:24
104
surreal0__t11_surreal0.depv1
2024-08-03 10:19
130
surreal0__t11_surreal0
2024-07-27 08:16
18K
surreal0__t10_surreal0.vout
2024-08-03 08:28
2.0K
surreal0__t10_surreal0
2024-07-27 08:15
18K
surreal0__t9_surreal0.vout
2024-08-03 10:10
2.0K
surreal0__t9_surreal0
2024-07-27 08:14
28K
surreal0__t8_surreal0.vout
2024-08-03 06:37
6.8K
surreal0__t8_surreal0
2024-07-27 08:12
28K
surreal0__t7_surreal0.vout
2024-08-03 04:33
3.7K
surreal0__t7_surreal0
2024-07-27 08:11
32K
surreal0__t6_surreal0.vout
2024-08-03 09:29
7.3K
surreal0__t6_surreal0
2024-07-27 09:02
31K
surreal0__t5_surreal0.vout
2024-08-03 04:22
27K
surreal0__t5_surreal0.vmin1out
2024-08-03 10:20
26K
surreal0__t5_surreal0.vmin1
2024-08-03 10:19
1.9K
surreal0__t5_surreal0.depvmin1
2024-08-03 10:24
175
surreal0__t5_surreal0.depv1
2024-08-03 10:19
175
surreal0__t5_surreal0
2024-07-27 08:10
15K
surreal0__t4_surreal0.vout
2024-08-03 06:25
7.3K
surreal0__t4_surreal0
2024-07-27 08:09
33K
surreal0__t3_surreal0.vout
2024-08-03 06:38
4.7K
surreal0__t3_surreal0
2024-07-27 08:07
32K
surreal0__t2_surreal0.vout
2024-08-03 07:31
11K
surreal0__t2_surreal0
2024-07-27 08:06
30K
surreal0__t1_surreal0.vout
2024-08-03 06:57
6.8K
surreal0__t1_surreal0
2024-07-27 08:05
32K
surreal0__l44_surreal0.vout
2024-08-03 04:15
6.3K
surreal0__l44_surreal0
2024-07-27 09:06
18K
surreal0__l33_surreal0.vout
2024-08-03 06:38
4.7K
surreal0__l33_surreal0
2024-07-27 09:05
36K
surreal0__l17_surreal0.vout
2024-08-03 06:28
4.7K
surreal0__l17_surreal0
2024-07-27 09:04
32K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80