Index of /~mptp/8.1.14_5.79.1465/MPTP2/problems_small/ideal_2
Name
Last modified
Size
Description
Parent Directory
-
ideal_2__l2_ideal_2
2024-07-28 04:40
74K
ideal_2__l2_ideal_2.vout
2024-08-03 06:53
7.3K
ideal_2__l3_ideal_2
2024-07-28 04:42
41K
ideal_2__l3_ideal_2.depv1
2024-08-03 10:19
395
ideal_2__l3_ideal_2.depvmin1
2024-08-03 10:24
270
ideal_2__l3_ideal_2.vmin1
2024-08-03 10:20
3.5K
ideal_2__l3_ideal_2.vmin1out
2024-08-03 10:21
31K
ideal_2__l3_ideal_2.vout
2024-08-03 08:25
38K
ideal_2__l18_ideal_2
2024-07-28 04:44
28K
ideal_2__l18_ideal_2.vout
2024-08-03 10:02
7.3K
ideal_2__l32_ideal_2
2024-07-28 04:46
43K
ideal_2__l32_ideal_2.depv1
2024-08-03 10:19
24
ideal_2__l32_ideal_2.depvmin1
2024-08-03 10:24
24
ideal_2__l32_ideal_2.vmin1
2024-08-03 10:20
2.0K
ideal_2__l32_ideal_2.vmin1out
2024-08-03 10:23
54K
ideal_2__l32_ideal_2.vout
2024-08-03 07:42
33K
ideal_2__l35_ideal_2
2024-07-28 04:48
52K
ideal_2__l35_ideal_2.vout
2024-08-03 08:21
7.3K
ideal_2__l42_ideal_2
2024-07-28 04:50
48K
ideal_2__l42_ideal_2.vout
2024-08-03 07:08
7.3K
ideal_2__l48_ideal_2
2024-07-28 04:52
37K
ideal_2__l48_ideal_2.depv1
2024-08-03 10:19
281
ideal_2__l48_ideal_2.depvmin1
2024-08-03 10:24
281
ideal_2__l48_ideal_2.vmin1
2024-08-03 10:20
3.9K
ideal_2__l48_ideal_2.vmin1out
2024-08-03 10:23
44K
ideal_2__l48_ideal_2.vout
2024-08-03 04:41
58K
ideal_2__t1_ideal_2
2024-07-28 03:13
31K
ideal_2__t1_ideal_2.vout
2024-08-03 04:18
7.3K
ideal_2__t2_ideal_2
2024-07-28 03:16
66K
ideal_2__t2_ideal_2.vout
2024-08-03 08:22
3.7K
ideal_2__t3_ideal_2
2024-07-28 03:17
40K
ideal_2__t3_ideal_2.vout
2024-08-03 04:20
7.3K
ideal_2__t4_ideal_2
2024-07-28 03:20
49K
ideal_2__t4_ideal_2.vout
2024-08-03 09:08
3.7K
ideal_2__t5_ideal_2
2024-07-28 03:22
52K
ideal_2__t5_ideal_2.vout
2024-08-03 07:40
3.7K
ideal_2__t6_ideal_2
2024-07-28 03:24
50K
ideal_2__t6_ideal_2.vout
2024-08-03 06:08
3.7K
ideal_2__t7_ideal_2
2024-07-28 03:26
61K
ideal_2__t7_ideal_2.vout
2024-08-03 05:25
6.8K
ideal_2__t8_ideal_2
2024-07-28 03:28
33K
ideal_2__t8_ideal_2.vout
2024-08-03 05:05
7.3K
ideal_2__t9_ideal_2
2024-07-28 03:30
46K
ideal_2__t9_ideal_2.vout
2024-08-03 09:20
7.3K
ideal_2__t10_ideal_2
2024-07-28 03:31
31K
ideal_2__t10_ideal_2.vout
2024-08-03 05:41
7.3K
ideal_2__t11_ideal_2
2024-07-28 03:34
125K
ideal_2__t11_ideal_2.vout
2024-08-03 05:13
4.2K
ideal_2__t12_ideal_2
2024-07-28 03:36
41K
ideal_2__t12_ideal_2.vout
2024-08-03 10:08
7.3K
ideal_2__t13_ideal_2
2024-07-28 03:37
30K
ideal_2__t13_ideal_2.depv1
2024-08-03 10:19
345
ideal_2__t13_ideal_2.depvmin1
2024-08-03 10:24
304
ideal_2__t13_ideal_2.vmin1
2024-08-03 10:20
5.5K
ideal_2__t13_ideal_2.vmin1out
2024-08-03 10:22
92K
ideal_2__t13_ideal_2.vout
2024-08-03 06:19
89K
ideal_2__t14_ideal_2
2024-07-28 03:39
51K
ideal_2__t14_ideal_2.vout
2024-08-03 05:38
4.1K
ideal_2__t15_ideal_2
2024-07-28 03:42
52K
ideal_2__t15_ideal_2.vout
2024-08-03 07:39
4.1K
ideal_2__t16_ideal_2
2024-07-28 03:44
61K
ideal_2__t16_ideal_2.vout
2024-08-03 09:40
4.1K
ideal_2__t17_ideal_2
2024-07-28 03:46
52K
ideal_2__t17_ideal_2.vout
2024-08-03 06:51
4.1K
ideal_2__t18_ideal_2
2024-07-28 03:48
52K
ideal_2__t18_ideal_2.vout
2024-08-03 07:55
4.1K
ideal_2__t19_ideal_2
2024-07-28 03:50
60K
ideal_2__t19_ideal_2.vout
2024-08-03 07:24
4.1K
ideal_2__t20_ideal_2
2024-07-28 03:52
51K
ideal_2__t20_ideal_2.vout
2024-08-03 06:21
7.3K
ideal_2__t21_ideal_2
2024-07-28 03:54
42K
ideal_2__t21_ideal_2.depv1
2024-08-03 10:19
217
ideal_2__t21_ideal_2.depvmin1
2024-08-03 10:24
217
ideal_2__t21_ideal_2.vmin1
2024-08-03 10:20
5.0K
ideal_2__t21_ideal_2.vmin1out
2024-08-03 10:22
64K
ideal_2__t21_ideal_2.vout
2024-08-03 09:33
61K
ideal_2__t22_ideal_2
2024-07-28 03:56
59K
ideal_2__t22_ideal_2.vout
2024-08-03 07:13
6.8K
ideal_2__t23_ideal_2
2024-07-28 03:58
43K
ideal_2__t23_ideal_2.vout
2024-08-03 04:13
7.3K
ideal_2__t24_ideal_2
2024-07-28 04:00
43K
ideal_2__t24_ideal_2.vout
2024-08-03 06:17
7.3K
ideal_2__t25_ideal_2
2024-07-28 04:02
44K
ideal_2__t25_ideal_2.vout
2024-08-03 06:38
4.1K
ideal_2__t26_ideal_2
2024-07-28 04:04
46K
ideal_2__t26_ideal_2.vout
2024-08-03 08:52
4.1K
ideal_2__t27_ideal_2
2024-07-28 04:06
64K
ideal_2__t27_ideal_2.vout
2024-08-03 05:58
7.3K
ideal_2__t28_ideal_2
2024-07-28 04:08
34K
ideal_2__t28_ideal_2.depv1
2024-08-03 10:19
147
ideal_2__t28_ideal_2.depvmin1
2024-08-03 10:24
147
ideal_2__t28_ideal_2.vmin1
2024-08-03 10:20
2.7K
ideal_2__t28_ideal_2.vmin1out
2024-08-03 10:20
38K
ideal_2__t28_ideal_2.vout
2024-08-03 08:51
38K
ideal_2__t29_ideal_2
2024-07-28 04:09
34K
ideal_2__t29_ideal_2.vout
2024-08-03 09:00
7.3K
ideal_2__t30_ideal_2
2024-07-28 04:12
59K
ideal_2__t30_ideal_2.vout
2024-08-03 05:19
7.3K
ideal_2__t31_ideal_2
2024-07-28 04:13
45K
ideal_2__t31_ideal_2.depv1
2024-08-03 10:19
309
ideal_2__t31_ideal_2.depvmin1
2024-08-03 10:24
185
ideal_2__t31_ideal_2.vmin1
2024-08-03 10:20
5.3K
ideal_2__t31_ideal_2.vmin1out
2024-08-03 10:20
191K
ideal_2__t31_ideal_2.vout
2024-08-03 05:08
140K
ideal_2__t32_ideal_2
2024-07-28 04:16
70K
ideal_2__t32_ideal_2.vout
2024-08-03 05:05
7.3K
ideal_2__t33_ideal_2
2024-07-28 04:18
72K
ideal_2__t33_ideal_2.vout
2024-08-03 06:15
7.3K
ideal_2__t34_ideal_2
2024-07-28 04:21
81K
ideal_2__t34_ideal_2.vout
2024-08-03 07:40
7.3K
ideal_2__t35_ideal_2
2024-07-28 04:22
35K
ideal_2__t35_ideal_2.vout
2024-08-03 04:56
7.3K
ideal_2__t36_ideal_2
2024-07-28 04:24
43K
ideal_2__t36_ideal_2.vout
2024-08-03 04:58
6.8K
ideal_2__t37_ideal_2
2024-07-28 04:27
74K
ideal_2__t37_ideal_2.vout
2024-08-03 07:19
7.3K
ideal_2__t38_ideal_2
2024-07-28 04:38
35K
ideal_2__t38_ideal_2.vout
2024-08-03 09:13
3.7K
ideal_2__t39_ideal_2
2024-07-28 04:29
46K
ideal_2__t39_ideal_2.vout
2024-08-03 07:26
4.2K
ideal_2__t40_ideal_2
2024-07-28 04:30
39K
ideal_2__t40_ideal_2.vout
2024-08-03 09:02
7.3K
ideal_2__t41_ideal_2
2024-07-28 04:32
34K
ideal_2__t41_ideal_2.vout
2024-08-03 07:56
6.8K
ideal_2__t42_ideal_2
2024-07-28 04:34
53K
ideal_2__t42_ideal_2.vout
2024-08-03 06:17
6.8K
ideal_2__t43_ideal_2
2024-07-28 04:36
45K
ideal_2__t43_ideal_2.vout
2024-08-03 07:20
7.3K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80