Index of /~mptp/8.1.14_5.79.1465/MPTP2/problems_small/circtrm1
Name
Last modified
Size
Description
Parent Directory
-
circtrm1__t1_circtrm1
2024-07-27 15:02
66K
circtrm1__t1_circtrm1.vout
2024-08-03 04:55
4.7K
circtrm1__t2_circtrm1
2024-07-27 14:43
46K
circtrm1__t2_circtrm1.vout
2024-08-03 09:19
7.3K
circtrm1__t3_circtrm1
2024-07-27 15:03
49K
circtrm1__t3_circtrm1.vout
2024-08-03 05:48
7.3K
circtrm1__t4_circtrm1
2024-07-27 15:05
63K
circtrm1__t4_circtrm1.vout
2024-08-03 08:12
4.7K
circtrm1__t5_circtrm1
2024-07-27 15:07
62K
circtrm1__t5_circtrm1.vout
2024-08-03 07:10
4.7K
circtrm1__t6_circtrm1
2024-07-27 15:10
55K
circtrm1__t6_circtrm1.vout
2024-08-03 04:33
4.7K
circtrm1__t7_circtrm1
2024-07-27 15:11
33K
circtrm1__t7_circtrm1.vout
2024-08-03 08:12
7.3K
circtrm1__t8_circtrm1
2024-07-27 15:12
35K
circtrm1__t8_circtrm1.vout
2024-08-03 08:31
7.3K
circtrm1__t9_circtrm1
2024-07-27 15:14
37K
circtrm1__t9_circtrm1.vout
2024-08-03 04:54
4.7K
circtrm1__t10_circtrm1
2024-07-27 15:16
52K
circtrm1__t10_circtrm1.vout
2024-08-03 09:58
4.7K
circtrm1__t11_circtrm1
2024-07-27 15:18
57K
circtrm1__t11_circtrm1.vout
2024-08-03 05:28
4.7K
circtrm1__t12_circtrm1
2024-07-27 15:20
53K
circtrm1__t12_circtrm1.vout
2024-08-03 07:09
4.7K
circtrm1__t13_circtrm1
2024-07-27 15:23
76K
circtrm1__t13_circtrm1.vout
2024-08-03 05:56
4.7K
circtrm1__t14_circtrm1
2024-07-27 14:45
58K
circtrm1__t14_circtrm1.vout
2024-08-03 09:45
4.7K
circtrm1__t15_circtrm1
2024-07-27 14:47
63K
circtrm1__t15_circtrm1.vout
2024-08-03 08:16
4.7K
circtrm1__t16_circtrm1
2024-07-27 15:25
66K
circtrm1__t16_circtrm1.vout
2024-08-03 07:46
4.7K
circtrm1__t17_circtrm1
2024-07-27 15:27
61K
circtrm1__t17_circtrm1.vout
2024-08-03 05:27
4.7K
circtrm1__t18_circtrm1
2024-07-27 15:29
70K
circtrm1__t18_circtrm1.vout
2024-08-03 09:14
4.7K
circtrm1__t19_circtrm1
2024-07-27 15:32
72K
circtrm1__t19_circtrm1.vout
2024-08-03 09:29
4.7K
circtrm1__t20_circtrm1
2024-07-27 15:34
69K
circtrm1__t20_circtrm1.vout
2024-08-03 07:44
4.7K
circtrm1__t21_circtrm1
2024-07-27 15:38
128K
circtrm1__t21_circtrm1.vout
2024-08-03 05:06
4.7K
circtrm1__t22_circtrm1
2024-07-27 15:41
129K
circtrm1__t22_circtrm1.vout
2024-08-03 09:08
4.8K
circtrm1__t23_circtrm1
2024-07-27 15:43
44K
circtrm1__t23_circtrm1.depv1
2024-08-03 10:19
77
circtrm1__t23_circtrm1.depvmin1
2024-08-03 10:24
77
circtrm1__t23_circtrm1.vmin1
2024-08-03 10:19
1.9K
circtrm1__t23_circtrm1.vmin1out
2024-08-03 10:21
45K
circtrm1__t23_circtrm1.vout
2024-08-03 08:46
29K
circtrm1__t24_circtrm1
2024-07-27 15:44
44K
circtrm1__t24_circtrm1.depv1
2024-08-03 10:19
64
circtrm1__t24_circtrm1.depvmin1
2024-08-03 10:24
64
circtrm1__t24_circtrm1.vmin1
2024-08-03 10:19
1.7K
circtrm1__t24_circtrm1.vmin1out
2024-08-03 10:22
37K
circtrm1__t24_circtrm1.vout
2024-08-03 09:40
26K
circtrm1__t25_circtrm1
2024-07-27 15:46
45K
circtrm1__t25_circtrm1.depv1
2024-08-03 10:19
124
circtrm1__t25_circtrm1.depvmin1
2024-08-03 10:24
111
circtrm1__t25_circtrm1.vmin1
2024-08-03 10:19
1.3K
circtrm1__t25_circtrm1.vmin1out
2024-08-03 10:21
13K
circtrm1__t25_circtrm1.vout
2024-08-03 05:26
14K
circtrm1__t26_circtrm1
2024-07-27 15:47
44K
circtrm1__t26_circtrm1.depv1
2024-08-03 10:19
63
circtrm1__t26_circtrm1.depvmin1
2024-08-03 10:24
63
circtrm1__t26_circtrm1.vmin1
2024-08-03 10:19
1.2K
circtrm1__t26_circtrm1.vmin1out
2024-08-03 10:22
25K
circtrm1__t26_circtrm1.vout
2024-08-03 09:28
33K
circtrm1__t27_circtrm1
2024-07-27 15:49
44K
circtrm1__t27_circtrm1.vout
2024-08-03 06:11
7.3K
circtrm1__t28_circtrm1
2024-07-27 15:51
48K
circtrm1__t28_circtrm1.vout
2024-08-03 09:16
6.8K
circtrm1__t29_circtrm1
2024-07-27 15:52
25K
circtrm1__t29_circtrm1.depv1
2024-08-03 10:19
77
circtrm1__t29_circtrm1.depvmin1
2024-08-03 10:24
77
circtrm1__t29_circtrm1.vmin1
2024-08-03 10:19
1.8K
circtrm1__t29_circtrm1.vmin1out
2024-08-03 10:23
34K
circtrm1__t29_circtrm1.vout
2024-08-03 04:26
51K
circtrm1__t30_circtrm1
2024-07-27 15:54
43K
circtrm1__t30_circtrm1.vout
2024-08-03 06:33
6.8K
circtrm1__t31_circtrm1
2024-07-27 15:55
43K
circtrm1__t31_circtrm1.vout
2024-08-03 06:27
6.8K
circtrm1__t32_circtrm1
2024-07-27 15:57
44K
circtrm1__t32_circtrm1.vout
2024-08-03 05:44
6.8K
circtrm1__t33_circtrm1
2024-07-27 15:58
47K
circtrm1__t33_circtrm1.vout
2024-08-03 09:00
7.3K
circtrm1__t34_circtrm1
2024-07-27 16:00
48K
circtrm1__t34_circtrm1.vout
2024-08-03 07:12
7.9K
circtrm1__t35_circtrm1
2024-07-27 14:48
47K
circtrm1__t35_circtrm1.vout
2024-08-03 05:04
7.3K
circtrm1__t36_circtrm1
2024-07-27 16:02
48K
circtrm1__t36_circtrm1.depv1
2024-08-03 10:19
65
circtrm1__t36_circtrm1.depvmin1
2024-08-03 10:24
65
circtrm1__t36_circtrm1.vmin1
2024-08-03 10:19
2.0K
circtrm1__t36_circtrm1.vmin1out
2024-08-03 10:22
42K
circtrm1__t36_circtrm1.vout
2024-08-03 09:43
58K
circtrm1__t37_circtrm1
2024-07-27 16:04
50K
circtrm1__t37_circtrm1.vout
2024-08-03 08:02
6.8K
circtrm1__t38_circtrm1
2024-07-27 16:05
43K
circtrm1__t38_circtrm1.depv1
2024-08-03 10:19
101
circtrm1__t38_circtrm1.depvmin1
2024-08-03 10:24
88
circtrm1__t38_circtrm1.vmin1
2024-08-03 10:19
1.3K
circtrm1__t38_circtrm1.vmin1out
2024-08-03 10:20
13K
circtrm1__t38_circtrm1.vout
2024-08-03 04:09
13K
circtrm1__t39_circtrm1
2024-07-27 16:07
42K
circtrm1__t39_circtrm1.depv1
2024-08-03 10:19
65
circtrm1__t39_circtrm1.depvmin1
2024-08-03 10:24
65
circtrm1__t39_circtrm1.vmin1
2024-08-03 10:19
1.8K
circtrm1__t39_circtrm1.vmin1out
2024-08-03 10:23
38K
circtrm1__t39_circtrm1.vout
2024-08-03 07:05
38K
circtrm1__t40_circtrm1
2024-07-27 16:09
43K
circtrm1__t40_circtrm1.depv1
2024-08-03 10:19
104
circtrm1__t40_circtrm1.depvmin1
2024-08-03 10:24
104
circtrm1__t40_circtrm1.vmin1
2024-08-03 10:19
3.1K
circtrm1__t40_circtrm1.vmin1out
2024-08-03 10:21
86K
circtrm1__t40_circtrm1.vout
2024-08-03 04:53
86K
circtrm1__t41_circtrm1
2024-07-27 16:10
47K
circtrm1__t41_circtrm1.depv1
2024-08-03 10:19
39
circtrm1__t41_circtrm1.depvmin1
2024-08-03 10:24
39
circtrm1__t41_circtrm1.vmin1
2024-08-03 10:19
1.9K
circtrm1__t41_circtrm1.vmin1out
2024-08-03 10:22
38K
circtrm1__t41_circtrm1.vout
2024-08-03 06:16
27K
circtrm1__t42_circtrm1
2024-07-27 16:12
50K
circtrm1__t42_circtrm1.vout
2024-08-03 09:19
4.7K
circtrm1__t43_circtrm1
2024-07-27 16:14
54K
circtrm1__t43_circtrm1.vout
2024-08-03 05:39
7.3K
circtrm1__t44_circtrm1
2024-07-27 16:16
50K
circtrm1__t44_circtrm1.vout
2024-08-03 05:53
6.8K
circtrm1__t45_circtrm1
2024-07-27 16:18
63K
circtrm1__t45_circtrm1.vout
2024-08-03 07:18
4.7K
circtrm1__t46_circtrm1
2024-07-27 16:20
54K
circtrm1__t46_circtrm1.vout
2024-08-03 05:20
6.8K
circtrm1__t47_circtrm1
2024-07-27 16:22
55K
circtrm1__t47_circtrm1.vout
2024-08-03 04:27
4.7K
circtrm1__t48_circtrm1
2024-07-27 14:50
49K
circtrm1__t48_circtrm1.vout
2024-08-03 07:36
7.3K
circtrm1__t49_circtrm1
2024-07-27 16:24
54K
circtrm1__t49_circtrm1.vout
2024-08-03 08:25
6.8K
circtrm1__t50_circtrm1
2024-07-27 14:52
45K
circtrm1__t50_circtrm1.depv1
2024-08-03 10:19
39
circtrm1__t50_circtrm1.depvmin1
2024-08-03 10:24
39
circtrm1__t50_circtrm1.vmin1
2024-08-03 10:19
1.8K
circtrm1__t50_circtrm1.vmin1out
2024-08-03 10:20
26K
circtrm1__t50_circtrm1.vout
2024-08-03 06:40
23K
circtrm1__t51_circtrm1
2024-07-27 16:26
52K
circtrm1__t51_circtrm1.vout
2024-08-03 09:31
7.3K
circtrm1__t52_circtrm1
2024-07-27 16:28
37K
circtrm1__t52_circtrm1.depv1
2024-08-03 10:19
39
circtrm1__t52_circtrm1.depvmin1
2024-08-03 10:24
39
circtrm1__t52_circtrm1.vmin1
2024-08-03 10:19
1.4K
circtrm1__t52_circtrm1.vmin1out
2024-08-03 10:23
21K
circtrm1__t52_circtrm1.vout
2024-08-03 08:19
20K
circtrm1__t53_circtrm1
2024-07-27 14:53
37K
circtrm1__t53_circtrm1.depv1
2024-08-03 10:19
61
circtrm1__t53_circtrm1.depvmin1
2024-08-03 10:24
61
circtrm1__t53_circtrm1.vmin1
2024-08-03 10:19
1.6K
circtrm1__t53_circtrm1.vmin1out
2024-08-03 10:23
20K
circtrm1__t53_circtrm1.vout
2024-08-03 07:02
20K
circtrm1__t54_circtrm1
2024-07-27 14:55
50K
circtrm1__t54_circtrm1.depv1
2024-08-03 10:19
52
circtrm1__t54_circtrm1.depvmin1
2024-08-03 10:24
52
circtrm1__t54_circtrm1.vmin1
2024-08-03 10:19
2.6K
circtrm1__t54_circtrm1.vmin1out
2024-08-03 10:23
55K
circtrm1__t54_circtrm1.vout
2024-08-03 08:05
43K
circtrm1__t55_circtrm1
2024-07-27 14:57
50K
circtrm1__t55_circtrm1.depv1
2024-08-03 10:19
65
circtrm1__t55_circtrm1.depvmin1
2024-08-03 10:24
65
circtrm1__t55_circtrm1.vmin1
2024-08-03 10:19
2.8K
circtrm1__t55_circtrm1.vmin1out
2024-08-03 10:21
59K
circtrm1__t55_circtrm1.vout
2024-08-03 05:21
54K
circtrm1__t56_circtrm1
2024-07-27 16:29
34K
circtrm1__t56_circtrm1.vout
2024-08-03 07:56
4.1K
circtrm1__t57_circtrm1
2024-07-27 16:31
54K
circtrm1__t57_circtrm1.vout
2024-08-03 04:51
6.8K
circtrm1__t58_circtrm1
2024-07-27 16:34
67K
circtrm1__t58_circtrm1.vout
2024-08-03 04:42
7.3K
circtrm1__t59_circtrm1
2024-07-27 16:36
81K
circtrm1__t59_circtrm1.vout
2024-08-03 07:39
4.7K
circtrm1__t60_circtrm1
2024-07-27 16:39
79K
circtrm1__t60_circtrm1.vout
2024-08-03 05:12
4.7K
circtrm1__t61_circtrm1
2024-07-27 16:41
73K
circtrm1__t61_circtrm1.depv1
2024-08-03 10:19
39
circtrm1__t61_circtrm1.depvmin1
2024-08-03 10:24
39
circtrm1__t61_circtrm1.vmin1
2024-08-03 10:19
2.9K
circtrm1__t61_circtrm1.vmin1out
2024-08-03 10:23
81K
circtrm1__t61_circtrm1.vout
2024-08-03 09:24
38K
circtrm1__t62_circtrm1
2024-07-27 14:59
73K
circtrm1__t62_circtrm1.vout
2024-08-03 06:24
4.7K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80