Index of /~mptp/mml5.63.1382/MPTP2/problems_small/ideal_1
Name
Last modified
Size
Description
Parent Directory
-
ideal_1__l26_ideal_1
2021-07-18 08:40
52K
ideal_1__l26_ideal_1.vout
2021-07-25 17:13
3.7K
ideal_1__l86_ideal_1
2021-07-18 08:39
25K
ideal_1__l86_ideal_1.depv1
2021-07-25 20:57
42
ideal_1__l86_ideal_1.depvmin1
2021-07-25 21:03
42
ideal_1__l86_ideal_1.vmin1
2021-07-25 20:57
466
ideal_1__l86_ideal_1.vmin1out
2021-07-25 20:58
8.7K
ideal_1__l86_ideal_1.vout
2021-07-25 16:32
9.2K
ideal_1__t1_ideal_1
2021-07-18 07:47
51K
ideal_1__t1_ideal_1.depv1
2021-07-25 20:57
249
ideal_1__t1_ideal_1.depvmin1
2021-07-25 21:03
230
ideal_1__t1_ideal_1.vmin1
2021-07-25 20:57
2.2K
ideal_1__t1_ideal_1.vmin1out
2021-07-25 21:02
24K
ideal_1__t1_ideal_1.vout
2021-07-25 17:24
25K
ideal_1__t2_ideal_1
2021-07-18 07:48
47K
ideal_1__t2_ideal_1.depv1
2021-07-25 20:57
148
ideal_1__t2_ideal_1.depvmin1
2021-07-25 21:03
148
ideal_1__t2_ideal_1.vmin1
2021-07-25 20:57
1.7K
ideal_1__t2_ideal_1.vmin1out
2021-07-25 21:01
17K
ideal_1__t2_ideal_1.vout
2021-07-25 16:03
20K
ideal_1__t3_ideal_1
2021-07-18 07:48
46K
ideal_1__t3_ideal_1.depv1
2021-07-25 20:57
148
ideal_1__t3_ideal_1.depvmin1
2021-07-25 21:03
148
ideal_1__t3_ideal_1.vmin1
2021-07-25 20:57
1.7K
ideal_1__t3_ideal_1.vmin1out
2021-07-25 21:01
17K
ideal_1__t3_ideal_1.vout
2021-07-25 20:53
21K
ideal_1__t4_ideal_1
2021-07-18 07:49
43K
ideal_1__t4_ideal_1.vout
2021-07-25 14:39
5.8K
ideal_1__t5_ideal_1
2021-07-18 07:50
47K
ideal_1__t5_ideal_1.vout
2021-07-25 16:55
5.8K
ideal_1__t6_ideal_1
2021-07-18 07:50
48K
ideal_1__t6_ideal_1.vout
2021-07-25 17:40
5.8K
ideal_1__t7_ideal_1
2021-07-18 07:40
36K
ideal_1__t7_ideal_1.vout
2021-07-25 19:38
2.0K
ideal_1__t8_ideal_1
2021-07-18 07:41
35K
ideal_1__t8_ideal_1.depv1
2021-07-25 20:57
184
ideal_1__t8_ideal_1.depvmin1
2021-07-25 21:03
184
ideal_1__t8_ideal_1.vmin1
2021-07-25 20:57
2.2K
ideal_1__t8_ideal_1.vmin1out
2021-07-25 21:01
25K
ideal_1__t8_ideal_1.vout
2021-07-25 19:15
21K
ideal_1__t9_ideal_1
2021-07-18 07:41
36K
ideal_1__t9_ideal_1.depv1
2021-07-25 20:57
202
ideal_1__t9_ideal_1.depvmin1
2021-07-25 21:03
202
ideal_1__t9_ideal_1.vmin1
2021-07-25 20:57
2.1K
ideal_1__t9_ideal_1.vmin1out
2021-07-25 21:01
22K
ideal_1__t9_ideal_1.vout
2021-07-25 14:48
34K
ideal_1__t10_ideal_1
2021-07-18 07:51
33K
ideal_1__t10_ideal_1.vout
2021-07-25 18:17
7.8K
ideal_1__t11_ideal_1
2021-07-18 07:51
33K
ideal_1__t11_ideal_1.vout
2021-07-25 18:37
7.8K
ideal_1__t12_ideal_1
2021-07-18 07:52
33K
ideal_1__t12_ideal_1.vout
2021-07-25 16:05
7.8K
ideal_1__t13_ideal_1
2021-07-18 07:52
49K
ideal_1__t13_ideal_1.vout
2021-07-25 18:29
7.3K
ideal_1__t14_ideal_1
2021-07-18 07:53
48K
ideal_1__t14_ideal_1.vout
2021-07-25 16:30
7.3K
ideal_1__t15_ideal_1
2021-07-18 07:53
47K
ideal_1__t15_ideal_1.vout
2021-07-25 20:43
2.0K
ideal_1__t16_ideal_1
2021-07-18 07:54
46K
ideal_1__t16_ideal_1.depv1
2021-07-25 20:57
78
ideal_1__t16_ideal_1.depvmin1
2021-07-25 21:03
78
ideal_1__t16_ideal_1.vmin1
2021-07-25 20:57
1.7K
ideal_1__t16_ideal_1.vmin1out
2021-07-25 20:59
23K
ideal_1__t16_ideal_1.vout
2021-07-25 20:23
21K
ideal_1__t17_ideal_1
2021-07-18 07:55
52K
ideal_1__t17_ideal_1.vout
2021-07-25 20:05
2.0K
ideal_1__t18_ideal_1
2021-07-18 07:55
53K
ideal_1__t18_ideal_1.vout
2021-07-25 20:50
7.3K
ideal_1__t19_ideal_1
2021-07-18 07:56
46K
ideal_1__t19_ideal_1.vout
2021-07-25 14:50
8.4K
ideal_1__t20_ideal_1
2021-07-18 07:56
47K
ideal_1__t20_ideal_1.vout
2021-07-25 15:08
8.4K
ideal_1__t21_ideal_1
2021-07-18 07:57
47K
ideal_1__t21_ideal_1.vout
2021-07-25 16:03
8.4K
ideal_1__t22_ideal_1
2021-07-18 07:58
55K
ideal_1__t22_ideal_1.vout
2021-07-25 19:24
7.3K
ideal_1__t23_ideal_1
2021-07-18 07:58
45K
ideal_1__t23_ideal_1.vout
2021-07-25 18:17
7.3K
ideal_1__t24_ideal_1
2021-07-18 07:58
45K
ideal_1__t24_ideal_1.vout
2021-07-25 20:28
7.3K
ideal_1__t25_ideal_1
2021-07-18 07:59
46K
ideal_1__t25_ideal_1.vout
2021-07-25 17:33
2.0K
ideal_1__t26_ideal_1
2021-07-18 07:59
45K
ideal_1__t26_ideal_1.vout
2021-07-25 16:59
7.3K
ideal_1__t27_ideal_1
2021-07-18 08:00
46K
ideal_1__t27_ideal_1.vout
2021-07-25 16:19
7.3K
ideal_1__t28_ideal_1
2021-07-18 08:01
47K
ideal_1__t28_ideal_1.vout
2021-07-25 20:53
2.0K
ideal_1__t29_ideal_1
2021-07-18 08:01
45K
ideal_1__t29_ideal_1.vout
2021-07-25 16:46
7.3K
ideal_1__t30_ideal_1
2021-07-18 08:02
47K
ideal_1__t30_ideal_1.vout
2021-07-25 20:02
7.3K
ideal_1__t31_ideal_1
2021-07-18 08:02
48K
ideal_1__t31_ideal_1.vout
2021-07-25 15:19
2.0K
ideal_1__t32_ideal_1
2021-07-18 08:03
70K
ideal_1__t32_ideal_1.vout
2021-07-25 19:19
7.3K
ideal_1__t33_ideal_1
2021-07-18 08:04
69K
ideal_1__t33_ideal_1.vout
2021-07-25 15:02
6.8K
ideal_1__t34_ideal_1
2021-07-18 08:04
69K
ideal_1__t34_ideal_1.vout
2021-07-25 17:24
6.8K
ideal_1__t35_ideal_1
2021-07-18 08:05
52K
ideal_1__t35_ideal_1.vout
2021-07-25 16:54
6.8K
ideal_1__t36_ideal_1
2021-07-18 08:05
54K
ideal_1__t36_ideal_1.vout
2021-07-25 20:16
6.8K
ideal_1__t37_ideal_1
2021-07-18 08:06
50K
ideal_1__t37_ideal_1.vout
2021-07-25 15:02
6.8K
ideal_1__t38_ideal_1
2021-07-18 08:07
52K
ideal_1__t38_ideal_1.vout
2021-07-25 14:41
6.8K
ideal_1__t39_ideal_1
2021-07-18 08:07
50K
ideal_1__t39_ideal_1.vout
2021-07-25 15:50
6.8K
ideal_1__t40_ideal_1
2021-07-18 08:08
52K
ideal_1__t40_ideal_1.vout
2021-07-25 17:35
6.8K
ideal_1__t41_ideal_1
2021-07-18 08:08
51K
ideal_1__t41_ideal_1.vout
2021-07-25 17:49
7.3K
ideal_1__t42_ideal_1
2021-07-18 08:09
51K
ideal_1__t42_ideal_1.vout
2021-07-25 14:35
7.3K
ideal_1__t43_ideal_1
2021-07-18 08:09
51K
ideal_1__t43_ideal_1.vout
2021-07-25 18:08
7.3K
ideal_1__t44_ideal_1
2021-07-18 07:42
34K
ideal_1__t44_ideal_1.depv1
2021-07-25 20:57
46
ideal_1__t44_ideal_1.depvmin1
2021-07-25 21:03
46
ideal_1__t44_ideal_1.vmin1
2021-07-25 20:57
921
ideal_1__t44_ideal_1.vmin1out
2021-07-25 21:01
16K
ideal_1__t44_ideal_1.vout
2021-07-25 19:47
17K
ideal_1__t45_ideal_1
2021-07-18 07:42
34K
ideal_1__t45_ideal_1.depv1
2021-07-25 20:57
46
ideal_1__t45_ideal_1.depvmin1
2021-07-25 21:03
46
ideal_1__t45_ideal_1.vmin1
2021-07-25 20:57
852
ideal_1__t45_ideal_1.vmin1out
2021-07-25 21:01
17K
ideal_1__t45_ideal_1.vout
2021-07-25 17:52
17K
ideal_1__t46_ideal_1
2021-07-18 07:43
34K
ideal_1__t46_ideal_1.depv1
2021-07-25 20:57
46
ideal_1__t46_ideal_1.depvmin1
2021-07-25 21:03
46
ideal_1__t46_ideal_1.vmin1
2021-07-25 20:57
852
ideal_1__t46_ideal_1.vmin1out
2021-07-25 20:58
17K
ideal_1__t46_ideal_1.vout
2021-07-25 19:11
17K
ideal_1__t47_ideal_1
2021-07-18 07:43
37K
ideal_1__t47_ideal_1.vout
2021-07-25 20:26
2.0K
ideal_1__t48_ideal_1
2021-07-18 07:44
37K
ideal_1__t48_ideal_1.vout
2021-07-25 17:34
2.0K
ideal_1__t49_ideal_1
2021-07-18 07:44
35K
ideal_1__t49_ideal_1.depv1
2021-07-25 20:57
171
ideal_1__t49_ideal_1.depvmin1
2021-07-25 21:03
171
ideal_1__t49_ideal_1.vmin1
2021-07-25 20:57
1.8K
ideal_1__t49_ideal_1.vmin1out
2021-07-25 20:58
19K
ideal_1__t49_ideal_1.vout
2021-07-25 20:10
18K
ideal_1__t50_ideal_1
2021-07-18 07:45
37K
ideal_1__t50_ideal_1.depv1
2021-07-25 20:57
204
ideal_1__t50_ideal_1.depvmin1
2021-07-25 21:03
174
ideal_1__t50_ideal_1.vmin1
2021-07-25 20:57
1.8K
ideal_1__t50_ideal_1.vmin1out
2021-07-25 20:57
16K
ideal_1__t50_ideal_1.vout
2021-07-25 15:06
21K
ideal_1__t51_ideal_1
2021-07-18 08:10
48K
ideal_1__t51_ideal_1.vout
2021-07-25 17:56
7.3K
ideal_1__t52_ideal_1
2021-07-18 08:11
48K
ideal_1__t52_ideal_1.vout
2021-07-25 15:42
7.3K
ideal_1__t53_ideal_1
2021-07-18 08:11
48K
ideal_1__t53_ideal_1.vout
2021-07-25 19:46
7.3K
ideal_1__t54_ideal_1
2021-07-18 07:45
34K
ideal_1__t54_ideal_1.vout
2021-07-25 20:48
7.3K
ideal_1__t55_ideal_1
2021-07-18 07:46
34K
ideal_1__t55_ideal_1.vout
2021-07-25 15:18
7.3K
ideal_1__t56_ideal_1
2021-07-18 07:46
34K
ideal_1__t56_ideal_1.vout
2021-07-25 17:00
7.3K
ideal_1__t57_ideal_1
2021-07-18 08:12
34K
ideal_1__t57_ideal_1.vout
2021-07-25 18:57
7.3K
ideal_1__t58_ideal_1
2021-07-18 08:12
34K
ideal_1__t58_ideal_1.depv1
2021-07-25 20:57
48
ideal_1__t58_ideal_1.depvmin1
2021-07-25 21:03
48
ideal_1__t58_ideal_1.vmin1
2021-07-25 20:57
1.3K
ideal_1__t58_ideal_1.vmin1out
2021-07-25 21:02
30K
ideal_1__t58_ideal_1.vout
2021-07-25 14:27
30K
ideal_1__t59_ideal_1
2021-07-18 08:13
34K
ideal_1__t59_ideal_1.depv1
2021-07-25 20:57
48
ideal_1__t59_ideal_1.depvmin1
2021-07-25 21:03
48
ideal_1__t59_ideal_1.vmin1
2021-07-25 20:57
1.3K
ideal_1__t59_ideal_1.vmin1out
2021-07-25 21:00
30K
ideal_1__t59_ideal_1.vout
2021-07-25 18:20
30K
ideal_1__t60_ideal_1
2021-07-18 08:14
90K
ideal_1__t60_ideal_1.vout
2021-07-25 20:43
4.2K
ideal_1__t61_ideal_1
2021-07-18 08:14
88K
ideal_1__t61_ideal_1.vout
2021-07-25 16:19
4.2K
ideal_1__t62_ideal_1
2021-07-18 08:15
88K
ideal_1__t62_ideal_1.vout
2021-07-25 19:36
4.2K
ideal_1__t63_ideal_1
2021-07-18 08:16
48K
ideal_1__t63_ideal_1.depv1
2021-07-25 20:57
160
ideal_1__t63_ideal_1.depvmin1
2021-07-25 21:03
160
ideal_1__t63_ideal_1.vmin1
2021-07-25 20:57
3.0K
ideal_1__t63_ideal_1.vmin1out
2021-07-25 21:01
54K
ideal_1__t63_ideal_1.vout
2021-07-25 18:23
53K
ideal_1__t64_ideal_1
2021-07-18 08:38
76K
ideal_1__t64_ideal_1.vout
2021-07-25 17:48
7.3K
ideal_1__t65_ideal_1
2021-07-18 08:39
78K
ideal_1__t65_ideal_1.vout
2021-07-25 15:48
7.3K
ideal_1__t66_ideal_1
2021-07-18 08:16
35K
ideal_1__t66_ideal_1.depv1
2021-07-25 20:57
251
ideal_1__t66_ideal_1.depvmin1
2021-07-25 21:03
206
ideal_1__t66_ideal_1.vmin1
2021-07-25 20:57
2.9K
ideal_1__t66_ideal_1.vmin1out
2021-07-25 21:01
35K
ideal_1__t66_ideal_1.vout
2021-07-25 15:42
38K
ideal_1__t67_ideal_1
2021-07-18 08:17
57K
ideal_1__t67_ideal_1.vout
2021-07-25 15:04
3.7K
ideal_1__t68_ideal_1
2021-07-18 08:18
37K
ideal_1__t68_ideal_1.vout
2021-07-25 19:53
7.3K
ideal_1__t69_ideal_1
2021-07-18 07:47
37K
ideal_1__t69_ideal_1.depv1
2021-07-25 20:57
250
ideal_1__t69_ideal_1.depvmin1
2021-07-25 21:03
224
ideal_1__t69_ideal_1.vmin1
2021-07-25 20:57
2.2K
ideal_1__t69_ideal_1.vmin1out
2021-07-25 21:00
22K
ideal_1__t69_ideal_1.vout
2021-07-25 16:23
31K
ideal_1__t70_ideal_1
2021-07-18 08:18
52K
ideal_1__t70_ideal_1.vout
2021-07-25 19:04
7.3K
ideal_1__t71_ideal_1
2021-07-18 08:19
45K
ideal_1__t71_ideal_1.vout
2021-07-25 16:40
8.4K
ideal_1__t72_ideal_1
2021-07-18 08:19
44K
ideal_1__t72_ideal_1.vout
2021-07-25 20:56
7.3K
ideal_1__t73_ideal_1
2021-07-18 08:20
48K
ideal_1__t73_ideal_1.vout
2021-07-25 15:49
4.2K
ideal_1__t74_ideal_1
2021-07-18 08:21
48K
ideal_1__t74_ideal_1.vout
2021-07-25 14:30
4.2K
ideal_1__t75_ideal_1
2021-07-18 08:21
43K
ideal_1__t75_ideal_1.vout
2021-07-25 16:47
4.2K
ideal_1__t76_ideal_1
2021-07-18 08:22
58K
ideal_1__t76_ideal_1.vout
2021-07-25 18:36
7.3K
ideal_1__t77_ideal_1
2021-07-18 08:22
58K
ideal_1__t77_ideal_1.vout
2021-07-25 20:20
4.2K
ideal_1__t78_ideal_1
2021-07-18 08:23
64K
ideal_1__t78_ideal_1.vout
2021-07-25 19:13
7.3K
ideal_1__t79_ideal_1
2021-07-18 08:24
72K
ideal_1__t79_ideal_1.vout
2021-07-25 16:00
4.2K
ideal_1__t80_ideal_1
2021-07-18 08:25
91K
ideal_1__t80_ideal_1.vout
2021-07-25 20:28
7.3K
ideal_1__t81_ideal_1
2021-07-18 08:25
66K
ideal_1__t81_ideal_1.vout
2021-07-25 18:00
3.7K
ideal_1__t82_ideal_1
2021-07-18 08:26
73K
ideal_1__t82_ideal_1.vout
2021-07-25 14:34
4.2K
ideal_1__t83_ideal_1
2021-07-18 08:27
62K
ideal_1__t83_ideal_1.vout
2021-07-25 16:31
4.7K
ideal_1__t84_ideal_1
2021-07-18 08:27
65K
ideal_1__t84_ideal_1.vout
2021-07-25 19:55
3.7K
ideal_1__t85_ideal_1
2021-07-18 08:28
42K
ideal_1__t85_ideal_1.vout
2021-07-25 16:27
3.7K
ideal_1__t86_ideal_1
2021-07-18 08:29
69K
ideal_1__t86_ideal_1.vout
2021-07-25 19:33
4.2K
ideal_1__t87_ideal_1
2021-07-18 08:29
65K
ideal_1__t87_ideal_1.vout
2021-07-25 20:18
3.7K
ideal_1__t88_ideal_1
2021-07-18 08:30
65K
ideal_1__t88_ideal_1.vout
2021-07-25 14:53
3.7K
ideal_1__t89_ideal_1
2021-07-18 08:31
46K
ideal_1__t89_ideal_1.vout
2021-07-25 15:41
3.7K
ideal_1__t90_ideal_1
2021-07-18 08:31
58K
ideal_1__t90_ideal_1.vout
2021-07-25 15:55
4.2K
ideal_1__t91_ideal_1
2021-07-18 08:32
36K
ideal_1__t91_ideal_1.vout
2021-07-25 14:38
7.3K
ideal_1__t92_ideal_1
2021-07-18 08:32
76K
ideal_1__t92_ideal_1.vout
2021-07-25 14:57
7.3K
ideal_1__t93_ideal_1
2021-07-18 08:33
35K
ideal_1__t93_ideal_1.vout
2021-07-25 14:34
4.7K
ideal_1__t94_ideal_1
2021-07-18 08:34
61K
ideal_1__t94_ideal_1.vout
2021-07-25 20:21
5.3K
ideal_1__t95_ideal_1
2021-07-18 08:34
35K
ideal_1__t95_ideal_1.vout
2021-07-25 15:47
7.8K
ideal_1__t96_ideal_1
2021-07-18 08:35
80K
ideal_1__t96_ideal_1.vout
2021-07-25 16:47
7.3K
ideal_1__t97_ideal_1
2021-07-18 08:36
69K
ideal_1__t97_ideal_1.vout
2021-07-25 19:49
6.8K
ideal_1__t98_ideal_1
2021-07-18 08:36
87K
ideal_1__t98_ideal_1.vout
2021-07-25 19:24
6.8K
ideal_1__t99_ideal_1
2021-07-18 08:37
75K
ideal_1__t99_ideal_1.vout
2021-07-25 16:09
3.7K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80