Index of /~mptp/8.1.14_5.79.1465/MPTP2/problems_small/circcomb
Name
Last modified
Size
Description
Parent Directory
-
circcomb__l1_circcomb
2024-07-27 10:52
26K
circcomb__l1_circcomb.depv1
2024-08-03 10:19
113
circcomb__l1_circcomb.depvmin1
2024-08-03 10:24
76
circcomb__l1_circcomb.vmin1
2024-08-03 10:20
799
circcomb__l1_circcomb.vmin1out
2024-08-03 10:21
5.1K
circcomb__l1_circcomb.vout
2024-08-03 10:05
6.1K
circcomb__t1_circcomb
2024-07-27 09:20
36K
circcomb__t1_circcomb.vout
2024-08-03 06:56
7.3K
circcomb__t2_circcomb
2024-07-27 09:22
40K
circcomb__t2_circcomb.vout
2024-08-03 10:16
7.3K
circcomb__t3_circcomb
2024-07-27 09:23
34K
circcomb__t3_circcomb.vout
2024-08-03 07:11
4.7K
circcomb__t4_circcomb
2024-07-27 09:24
30K
circcomb__t4_circcomb.depv1
2024-08-03 10:19
165
circcomb__t4_circcomb.depvmin1
2024-08-03 10:24
165
circcomb__t4_circcomb.vmin1
2024-08-03 10:20
2.1K
circcomb__t4_circcomb.vmin1out
2024-08-03 10:23
37K
circcomb__t4_circcomb.vout
2024-08-03 04:28
21K
circcomb__t5_circcomb
2024-07-27 09:25
33K
circcomb__t5_circcomb.depv1
2024-08-03 10:19
168
circcomb__t5_circcomb.depvmin1
2024-08-03 10:24
168
circcomb__t5_circcomb.vmin1
2024-08-03 10:20
2.3K
circcomb__t5_circcomb.vmin1out
2024-08-03 10:20
58K
circcomb__t5_circcomb.vout
2024-08-03 07:28
30K
circcomb__t6_circcomb
2024-07-27 09:27
30K
circcomb__t6_circcomb.vout
2024-08-03 05:21
4.7K
circcomb__t7_circcomb
2024-07-27 09:28
34K
circcomb__t7_circcomb.vout
2024-08-03 07:38
7.3K
circcomb__t8_circcomb
2024-07-27 09:30
37K
circcomb__t8_circcomb.vout
2024-08-03 08:11
4.7K
circcomb__t9_circcomb
2024-07-27 09:31
29K
circcomb__t9_circcomb.depv1
2024-08-03 10:19
130
circcomb__t9_circcomb.depvmin1
2024-08-03 10:24
130
circcomb__t9_circcomb.vmin1
2024-08-03 10:20
1.7K
circcomb__t9_circcomb.vmin1out
2024-08-03 10:23
21K
circcomb__t9_circcomb.vout
2024-08-03 05:41
19K
circcomb__t10_circcomb
2024-07-27 09:32
29K
circcomb__t10_circcomb.depv1
2024-08-03 10:19
109
circcomb__t10_circcomb.depvmin1
2024-08-03 10:24
109
circcomb__t10_circcomb.vmin1
2024-08-03 10:20
1.5K
circcomb__t10_circcomb.vmin1out
2024-08-03 10:22
21K
circcomb__t10_circcomb.vout
2024-08-03 04:48
17K
circcomb__t11_circcomb
2024-07-27 09:34
39K
circcomb__t11_circcomb.vout
2024-08-03 06:35
7.3K
circcomb__t12_circcomb
2024-07-27 09:35
33K
circcomb__t12_circcomb.vout
2024-08-03 09:22
7.3K
circcomb__t13_circcomb
2024-07-27 09:37
37K
circcomb__t13_circcomb.vout
2024-08-03 09:01
7.3K
circcomb__t14_circcomb
2024-07-27 09:38
36K
circcomb__t14_circcomb.vout
2024-08-03 05:27
4.7K
circcomb__t15_circcomb
2024-07-27 09:39
38K
circcomb__t15_circcomb.vout
2024-08-03 09:12
6.8K
circcomb__t16_circcomb
2024-07-27 09:41
38K
circcomb__t16_circcomb.vout
2024-08-03 08:07
4.7K
circcomb__t17_circcomb
2024-07-27 09:42
40K
circcomb__t17_circcomb.vout
2024-08-03 08:28
7.3K
circcomb__t18_circcomb
2024-07-27 09:16
31K
circcomb__t18_circcomb.vout
2024-08-03 08:41
2.0K
circcomb__t19_circcomb
2024-07-27 09:18
31K
circcomb__t19_circcomb.vout
2024-08-03 07:45
2.0K
circcomb__t20_circcomb
2024-07-27 09:44
48K
circcomb__t20_circcomb.vout
2024-08-03 08:05
4.7K
circcomb__t21_circcomb
2024-07-27 09:45
47K
circcomb__t21_circcomb.vout
2024-08-03 07:05
5.8K
circcomb__t22_circcomb
2024-07-27 09:47
48K
circcomb__t22_circcomb.vout
2024-08-03 06:12
5.8K
circcomb__t23_circcomb
2024-07-27 09:49
48K
circcomb__t23_circcomb.vout
2024-08-03 05:16
4.7K
circcomb__t24_circcomb
2024-07-27 09:50
49K
circcomb__t24_circcomb.vout
2024-08-03 05:34
4.7K
circcomb__t25_circcomb
2024-07-27 09:52
50K
circcomb__t25_circcomb.depv1
2024-08-03 10:19
124
circcomb__t25_circcomb.depvmin1
2024-08-03 10:24
109
circcomb__t25_circcomb.vmin1
2024-08-03 10:20
3.1K
circcomb__t25_circcomb.vmin1out
2024-08-03 10:22
49K
circcomb__t25_circcomb.vout
2024-08-03 09:49
37K
circcomb__t26_circcomb
2024-07-27 09:53
57K
circcomb__t26_circcomb.vout
2024-08-03 06:04
4.7K
circcomb__t27_circcomb
2024-07-27 09:55
53K
circcomb__t27_circcomb.vout
2024-08-03 08:01
4.7K
circcomb__t28_circcomb
2024-07-27 09:57
53K
circcomb__t28_circcomb.vout
2024-08-03 08:14
4.7K
circcomb__t29_circcomb
2024-07-27 09:58
48K
circcomb__t29_circcomb.vout
2024-08-03 09:05
4.7K
circcomb__t30_circcomb
2024-07-27 10:00
49K
circcomb__t30_circcomb.vout
2024-08-03 06:32
4.7K
circcomb__t31_circcomb
2024-07-27 10:02
63K
circcomb__t31_circcomb.vout
2024-08-03 08:00
4.7K
circcomb__t32_circcomb
2024-07-27 10:04
62K
circcomb__t32_circcomb.vout
2024-08-03 05:36
6.8K
circcomb__t33_circcomb
2024-07-27 10:06
56K
circcomb__t33_circcomb.depv1
2024-08-03 10:19
76
circcomb__t33_circcomb.depvmin1
2024-08-03 10:24
76
circcomb__t33_circcomb.vmin1
2024-08-03 10:20
3.5K
circcomb__t33_circcomb.vmin1out
2024-08-03 10:23
103K
circcomb__t33_circcomb.vout
2024-08-03 07:01
86K
circcomb__t34_circcomb
2024-07-27 10:07
55K
circcomb__t34_circcomb.depv1
2024-08-03 10:19
122
circcomb__t34_circcomb.depvmin1
2024-08-03 10:24
122
circcomb__t34_circcomb.vmin1
2024-08-03 10:20
2.9K
circcomb__t34_circcomb.vmin1out
2024-08-03 10:22
95K
circcomb__t34_circcomb.vout
2024-08-03 09:30
82K
circcomb__t35_circcomb
2024-07-27 10:09
55K
circcomb__t35_circcomb.depv1
2024-08-03 10:19
122
circcomb__t35_circcomb.depvmin1
2024-08-03 10:24
122
circcomb__t35_circcomb.vmin1
2024-08-03 10:20
2.9K
circcomb__t35_circcomb.vmin1out
2024-08-03 10:21
95K
circcomb__t35_circcomb.vout
2024-08-03 05:32
82K
circcomb__t36_circcomb
2024-07-27 10:11
38K
circcomb__t36_circcomb.vout
2024-08-03 04:41
6.8K
circcomb__t37_circcomb
2024-07-27 10:12
34K
circcomb__t37_circcomb.depv1
2024-08-03 10:19
187
circcomb__t37_circcomb.depvmin1
2024-08-03 10:24
187
circcomb__t37_circcomb.vmin1
2024-08-03 10:20
2.8K
circcomb__t37_circcomb.vmin1out
2024-08-03 10:20
36K
circcomb__t37_circcomb.vout
2024-08-03 04:36
39K
circcomb__t38_circcomb
2024-07-27 10:13
37K
circcomb__t38_circcomb.vout
2024-08-03 06:43
6.3K
circcomb__t39_circcomb
2024-07-27 10:15
31K
circcomb__t39_circcomb.depv1
2024-08-03 10:19
52
circcomb__t39_circcomb.depvmin1
2024-08-03 10:24
52
circcomb__t39_circcomb.vmin1
2024-08-03 10:20
1.3K
circcomb__t39_circcomb.vmin1out
2024-08-03 10:20
27K
circcomb__t39_circcomb.vout
2024-08-03 06:05
31K
circcomb__t40_circcomb
2024-07-27 10:16
38K
circcomb__t40_circcomb.vout
2024-08-03 08:42
6.8K
circcomb__t41_circcomb
2024-07-27 10:17
34K
circcomb__t41_circcomb.depv1
2024-08-03 10:19
187
circcomb__t41_circcomb.depvmin1
2024-08-03 10:24
187
circcomb__t41_circcomb.vmin1
2024-08-03 10:20
2.8K
circcomb__t41_circcomb.vmin1out
2024-08-03 10:23
31K
circcomb__t41_circcomb.vout
2024-08-03 04:09
38K
circcomb__t42_circcomb
2024-07-27 10:19
39K
circcomb__t42_circcomb.vout
2024-08-03 09:40
7.4K
circcomb__t43_circcomb
2024-07-27 10:20
37K
circcomb__t43_circcomb.vout
2024-08-03 04:20
7.4K
circcomb__t44_circcomb
2024-07-27 10:22
28K
circcomb__t44_circcomb.depv1
2024-08-03 10:19
220
circcomb__t44_circcomb.depvmin1
2024-08-03 10:24
220
circcomb__t44_circcomb.vmin1
2024-08-03 10:20
2.0K
circcomb__t44_circcomb.vmin1out
2024-08-03 10:22
29K
circcomb__t44_circcomb.vout
2024-08-03 07:14
29K
circcomb__t45_circcomb
2024-07-27 10:23
23K
circcomb__t45_circcomb.depv1
2024-08-03 10:19
141
circcomb__t45_circcomb.depvmin1
2024-08-03 10:24
141
circcomb__t45_circcomb.vmin1
2024-08-03 10:20
1.4K
circcomb__t45_circcomb.vmin1out
2024-08-03 10:20
19K
circcomb__t45_circcomb.vout
2024-08-03 07:45
19K
circcomb__t46_circcomb
2024-07-27 10:24
37K
circcomb__t46_circcomb.vout
2024-08-03 05:21
6.8K
circcomb__t47_circcomb
2024-07-27 10:25
30K
circcomb__t47_circcomb.vout
2024-08-03 04:56
5.8K
circcomb__t48_circcomb
2024-07-27 10:27
36K
circcomb__t48_circcomb.vout
2024-08-03 07:46
6.8K
circcomb__t49_circcomb
2024-07-27 10:28
35K
circcomb__t49_circcomb.depv1
2024-08-03 10:19
90
circcomb__t49_circcomb.depvmin1
2024-08-03 10:24
90
circcomb__t49_circcomb.vmin1
2024-08-03 10:20
1.3K
circcomb__t49_circcomb.vmin1out
2024-08-03 10:22
30K
circcomb__t49_circcomb.vout
2024-08-03 07:32
24K
circcomb__t50_circcomb
2024-07-27 10:30
35K
circcomb__t50_circcomb.vout
2024-08-03 07:21
4.7K
circcomb__t51_circcomb
2024-07-27 10:31
38K
circcomb__t51_circcomb.vout
2024-08-03 07:01
5.8K
circcomb__t52_circcomb
2024-07-27 10:33
46K
circcomb__t52_circcomb.vout
2024-08-03 10:06
4.7K
circcomb__t53_circcomb
2024-07-27 10:35
39K
circcomb__t53_circcomb.vout
2024-08-03 08:44
4.7K
circcomb__t54_circcomb
2024-07-27 10:37
49K
circcomb__t54_circcomb.vout
2024-08-03 07:24
4.7K
circcomb__t55_circcomb
2024-07-27 10:38
49K
circcomb__t55_circcomb.vout
2024-08-03 06:14
4.7K
circcomb__t56_circcomb
2024-07-27 10:40
60K
circcomb__t56_circcomb.vout
2024-08-03 06:09
4.7K
circcomb__t57_circcomb
2024-07-27 10:42
32K
circcomb__t57_circcomb.vout
2024-08-03 08:43
5.8K
circcomb__t58_circcomb
2024-07-27 10:43
35K
circcomb__t58_circcomb.depv1
2024-08-03 10:19
210
circcomb__t58_circcomb.depvmin1
2024-08-03 10:24
210
circcomb__t58_circcomb.vmin1
2024-08-03 10:20
2.1K
circcomb__t58_circcomb.vmin1out
2024-08-03 10:23
44K
circcomb__t58_circcomb.vout
2024-08-03 09:51
39K
circcomb__t59_circcomb
2024-07-27 10:44
34K
circcomb__t59_circcomb.vout
2024-08-03 07:00
6.8K
circcomb__t60_circcomb
2024-07-27 09:19
36K
circcomb__t60_circcomb.depv1
2024-08-03 10:19
64
circcomb__t60_circcomb.depvmin1
2024-08-03 10:24
64
circcomb__t60_circcomb.vmin1
2024-08-03 10:20
1.7K
circcomb__t60_circcomb.vmin1out
2024-08-03 10:21
18K
circcomb__t60_circcomb.vout
2024-08-03 04:42
17K
circcomb__t61_circcomb
2024-07-27 10:46
45K
circcomb__t61_circcomb.vout
2024-08-03 05:49
4.7K
circcomb__t62_circcomb
2024-07-27 10:48
54K
circcomb__t62_circcomb.vout
2024-08-03 09:17
4.7K
circcomb__t63_circcomb
2024-07-27 10:49
51K
circcomb__t63_circcomb.vout
2024-08-03 07:48
4.7K
circcomb__t64_circcomb
2024-07-27 10:51
53K
circcomb__t64_circcomb.depv1
2024-08-03 10:19
136
circcomb__t64_circcomb.depvmin1
2024-08-03 10:24
136
circcomb__t64_circcomb.vmin1
2024-08-03 10:20
5.6K
circcomb__t64_circcomb.vmin1out
2024-08-03 10:22
192K
circcomb__t64_circcomb.vout
2024-08-03 05:10
105K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80