Index of /~mptp/mml5.63.1382/MPTP2/problems_small/square_1
Name
Last modified
Size
Description
Parent Directory
-
square_1__t59_square_1.vout
2021-07-25 19:18
7.3K
square_1__t59_square_1
2021-07-18 08:52
33K
square_1__t58_square_1.vout
2021-07-25 20:08
7.9K
square_1__t58_square_1
2021-07-18 08:52
21K
square_1__t57_square_1.vout
2021-07-25 20:00
22K
square_1__t57_square_1.vmin1out
2021-07-25 21:00
21K
square_1__t57_square_1.vmin1
2021-07-25 20:57
2.4K
square_1__t57_square_1.depvmin1
2021-07-25 21:03
234
square_1__t57_square_1.depv1
2021-07-25 20:57
234
square_1__t57_square_1
2021-07-18 08:52
21K
square_1__t56_square_1.vout
2021-07-25 20:26
2.0K
square_1__t56_square_1
2021-07-18 08:51
32K
square_1__t55_square_1.vout
2021-07-25 17:06
7.3K
square_1__t55_square_1
2021-07-18 08:51
33K
square_1__t54_square_1.vout
2021-07-25 20:45
27K
square_1__t54_square_1.vmin1out
2021-07-25 21:01
28K
square_1__t54_square_1.vmin1
2021-07-25 20:57
2.2K
square_1__t54_square_1.depvmin1
2021-07-25 21:03
208
square_1__t54_square_1.depv1
2021-07-25 20:57
208
square_1__t54_square_1
2021-07-18 08:51
21K
square_1__t53_square_1.vout
2021-07-25 19:27
2.0K
square_1__t53_square_1
2021-07-18 08:51
32K
square_1__t52_square_1.vout
2021-07-25 17:49
2.0K
square_1__t52_square_1
2021-07-18 08:51
21K
square_1__t51_square_1.vout
2021-07-25 15:25
2.0K
square_1__t51_square_1
2021-07-18 08:50
21K
square_1__t50_square_1.vout
2021-07-25 18:03
2.0K
square_1__t50_square_1
2021-07-18 08:50
32K
square_1__t49_square_1.vout
2021-07-25 15:45
2.0K
square_1__t49_square_1
2021-07-18 08:50
32K
square_1__t48_square_1.vout
2021-07-25 20:48
2.0K
square_1__t48_square_1
2021-07-18 08:50
32K
square_1__t47_square_1.vout
2021-07-25 18:15
2.0K
square_1__t47_square_1
2021-07-18 08:50
32K
square_1__t46_square_1.vout
2021-07-25 20:06
2.0K
square_1__t46_square_1
2021-07-18 08:49
31K
square_1__t45_square_1.vout
2021-07-25 19:12
2.0K
square_1__t45_square_1
2021-07-18 08:49
32K
square_1__t44_square_1.vout
2021-07-25 20:01
2.0K
square_1__t44_square_1
2021-07-18 08:49
32K
square_1__t43_square_1.vout
2021-07-25 19:17
2.0K
square_1__t43_square_1
2021-07-18 08:49
21K
square_1__t42_square_1.vout
2021-07-25 17:10
25K
square_1__t42_square_1.vmin1out
2021-07-25 21:02
25K
square_1__t42_square_1.vmin1
2021-07-25 20:57
2.1K
square_1__t42_square_1.depvmin1
2021-07-25 21:03
325
square_1__t42_square_1.depv1
2021-07-25 20:57
325
square_1__t42_square_1
2021-07-18 08:49
17K
square_1__t41_square_1.vout
2021-07-25 15:12
7.4K
square_1__t41_square_1
2021-07-18 08:48
26K
square_1__t40_square_1.vout
2021-07-25 19:55
7.3K
square_1__t40_square_1
2021-07-18 08:48
26K
square_1__t39_square_1.vout
2021-07-25 19:23
7.9K
square_1__t39_square_1
2021-07-18 08:48
33K
square_1__t38_square_1.vout
2021-07-25 14:34
7.9K
square_1__t38_square_1
2021-07-18 08:48
33K
square_1__t37_square_1.vout
2021-07-25 20:43
7.9K
square_1__t37_square_1
2021-07-18 08:48
33K
square_1__t36_square_1.vout
2021-07-25 19:02
7.9K
square_1__t36_square_1
2021-07-18 08:47
33K
square_1__t35_square_1.vout
2021-07-25 14:41
7.9K
square_1__t35_square_1
2021-07-18 08:47
21K
square_1__t34_square_1.vout
2021-07-25 15:33
7.9K
square_1__t34_square_1
2021-07-18 08:47
20K
square_1__t33_square_1.vout
2021-07-25 19:02
7.9K
square_1__t33_square_1
2021-07-18 08:47
20K
square_1__t32_square_1.vout
2021-07-25 14:24
22K
square_1__t32_square_1.vmin1out
2021-07-25 20:58
19K
square_1__t32_square_1.vmin1
2021-07-25 20:57
2.4K
square_1__t32_square_1.depvmin1
2021-07-25 21:03
185
square_1__t32_square_1.depv1
2021-07-25 20:57
244
square_1__t32_square_1
2021-07-18 08:43
14K
square_1__t31_square_1.vout
2021-07-25 15:06
7.3K
square_1__t31_square_1
2021-07-18 08:43
9.9K
square_1__t30_square_1.vout
2021-07-25 16:00
7.9K
square_1__t30_square_1
2021-07-18 08:47
21K
square_1__t29_square_1.vout
2021-07-25 18:10
7.9K
square_1__t29_square_1
2021-07-18 08:46
20K
square_1__t28_square_1.vout
2021-07-25 14:33
8.1K
square_1__t28_square_1.vmin1out
2021-07-25 20:58
7.8K
square_1__t28_square_1.vmin1
2021-07-25 20:57
896
square_1__t28_square_1.depvmin1
2021-07-25 21:03
89
square_1__t28_square_1.depv1
2021-07-25 20:57
113
square_1__t28_square_1
2021-07-18 08:46
8.3K
square_1__t27_square_1.vout
2021-07-25 15:31
4.8K
square_1__t27_square_1.vmin1out
2021-07-25 21:01
4.4K
square_1__t27_square_1.vmin1
2021-07-25 20:57
478
square_1__t27_square_1.depvmin1
2021-07-25 21:03
26
square_1__t27_square_1.depv1
2021-07-25 20:57
50
square_1__t27_square_1
2021-07-18 08:43
8.2K
square_1__t26_square_1.vout
2021-07-25 16:56
13K
square_1__t26_square_1.vmin1out
2021-07-25 20:58
13K
square_1__t26_square_1.vmin1
2021-07-25 20:57
917
square_1__t26_square_1.depvmin1
2021-07-25 21:03
115
square_1__t26_square_1.depv1
2021-07-25 20:57
115
square_1__t26_square_1
2021-07-18 08:46
8.3K
square_1__t25_square_1.vout
2021-07-25 15:25
22K
square_1__t25_square_1.vmin1out
2021-07-25 20:58
22K
square_1__t25_square_1.vmin1
2021-07-25 20:57
2.0K
square_1__t25_square_1.depvmin1
2021-07-25 21:03
227
square_1__t25_square_1.depv1
2021-07-25 20:57
227
square_1__t25_square_1
2021-07-18 08:46
11K
square_1__t24_square_1.vout
2021-07-25 19:37
9.9K
square_1__t24_square_1.vmin1out
2021-07-25 20:57
11K
square_1__t24_square_1.vmin1
2021-07-25 20:57
758
square_1__t24_square_1.depvmin1
2021-07-25 21:03
98
square_1__t24_square_1.depv1
2021-07-25 20:57
98
square_1__t24_square_1
2021-07-18 08:46
11K
square_1__t23_square_1.vout
2021-07-25 18:10
7.9K
square_1__t23_square_1
2021-07-18 08:45
32K
square_1__t22_square_1.vout
2021-07-25 15:23
26K
square_1__t22_square_1.vmin1out
2021-07-25 20:59
25K
square_1__t22_square_1.vmin1
2021-07-25 20:57
2.7K
square_1__t22_square_1.depvmin1
2021-07-25 21:03
226
square_1__t22_square_1.depv1
2021-07-25 20:57
272
square_1__t22_square_1
2021-07-18 08:43
20K
square_1__t21_square_1.vout
2021-07-25 20:13
9.4K
square_1__t21_square_1.vmin1out
2021-07-25 21:02
11K
square_1__t21_square_1.vmin1
2021-07-25 20:57
1.3K
square_1__t21_square_1.depvmin1
2021-07-25 21:03
224
square_1__t21_square_1.depv1
2021-07-25 20:57
224
square_1__t21_square_1
2021-07-18 08:43
8.9K
square_1__t20_square_1.vout
2021-07-25 15:21
15K
square_1__t20_square_1.vmin1out
2021-07-25 21:00
16K
square_1__t20_square_1.vmin1
2021-07-25 20:57
1.6K
square_1__t20_square_1.depvmin1
2021-07-25 21:03
274
square_1__t20_square_1.depv1
2021-07-25 20:57
274
square_1__t20_square_1
2021-07-18 08:42
12K
square_1__t19_square_1.vout
2021-07-25 18:12
9.0K
square_1__t19_square_1.vmin1out
2021-07-25 21:02
9.7K
square_1__t19_square_1.vmin1
2021-07-25 20:57
1.2K
square_1__t19_square_1.depvmin1
2021-07-25 21:03
209
square_1__t19_square_1.depv1
2021-07-25 20:57
209
square_1__t19_square_1
2021-07-18 08:42
8.9K
square_1__t18_square_1.vout
2021-07-25 16:30
16K
square_1__t18_square_1.vmin1out
2021-07-25 20:59
13K
square_1__t18_square_1.vmin1
2021-07-25 20:57
1.9K
square_1__t18_square_1.depvmin1
2021-07-25 21:03
234
square_1__t18_square_1.depv1
2021-07-25 20:57
272
square_1__t18_square_1
2021-07-18 08:45
10K
square_1__t17_square_1.vout
2021-07-25 16:38
15K
square_1__t17_square_1.vmin1out
2021-07-25 20:58
10K
square_1__t17_square_1.vmin1
2021-07-25 20:57
1.4K
square_1__t17_square_1.depvmin1
2021-07-25 21:03
146
square_1__t17_square_1.depv1
2021-07-25 20:57
207
square_1__t17_square_1
2021-07-18 08:45
10K
square_1__t16_square_1.vout
2021-07-25 16:13
2.0K
square_1__t16_square_1
2021-07-18 08:45
17K
square_1__t15_square_1.vout
2021-07-25 15:30
2.0K
square_1__t15_square_1
2021-07-18 08:45
20K
square_1__t14_square_1.vout
2021-07-25 20:01
2.0K
square_1__t14_square_1
2021-07-18 08:44
17K
square_1__t13_square_1.vout
2021-07-25 20:35
2.0K
square_1__t13_square_1
2021-07-18 08:44
20K
square_1__t12_square_1.vout
2021-07-25 17:59
7.9K
square_1__t12_square_1
2021-07-18 08:42
17K
square_1__t11_square_1.vout
2021-07-25 19:11
2.0K
square_1__t11_square_1
2021-07-18 08:44
57K
square_1__t10_square_1.vout
2021-07-25 18:48
2.0K
square_1__t10_square_1
2021-07-18 08:44
26K
square_1__t9_square_1.vout
2021-07-25 20:53
2.0K
square_1__t9_square_1
2021-07-18 08:42
14K
square_1__t8_square_1.vout
2021-07-25 17:39
2.0K
square_1__t8_square_1
2021-07-18 08:42
17K
square_1__t7_square_1.vout
2021-07-25 15:23
1.1K
square_1__t7_square_1
2021-07-18 08:42
96K
square_1__t6_square_1.vout
2021-07-25 19:11
2.0K
square_1__t6_square_1
2021-07-18 08:41
25K
square_1__t5_square_1.vout
2021-07-25 19:07
2.0K
square_1__t5_square_1
2021-07-18 08:41
36K
square_1__t4_square_1.vout
2021-07-25 15:53
2.0K
square_1__t4_square_1
2021-07-18 08:41
25K
square_1__t3_square_1.vout
2021-07-25 15:27
2.0K
square_1__t3_square_1
2021-07-18 08:41
25K
square_1__t2_square_1.vout
2021-07-25 14:40
18K
square_1__t2_square_1.vmin1out
2021-07-25 21:00
17K
square_1__t2_square_1.vmin1
2021-07-25 20:57
1.4K
square_1__t2_square_1.depvmin1
2021-07-25 21:03
195
square_1__t2_square_1.depv1
2021-07-25 20:57
195
square_1__t2_square_1
2021-07-18 08:44
11K
square_1__t1_square_1.vout
2021-07-25 20:15
15K
square_1__t1_square_1.vmin1out
2021-07-25 20:58
13K
square_1__t1_square_1.vmin1
2021-07-25 20:57
1.1K
square_1__t1_square_1.depvmin1
2021-07-25 21:03
113
square_1__t1_square_1.depv1
2021-07-25 20:57
139
square_1__t1_square_1
2021-07-18 08:44
3.1K
square_1__l67_square_1.vout
2021-07-25 15:04
2.0K
square_1__l67_square_1
2021-07-18 08:54
32K
square_1__l66_square_1.vout
2021-07-25 18:46
2.0K
square_1__l66_square_1
2021-07-18 08:53
21K
square_1__l65_square_1.vout
2021-07-25 18:11
7.3K
square_1__l65_square_1
2021-07-18 08:53
33K
square_1__l62_square_1.vout
2021-07-25 15:37
2.0K
square_1__l62_square_1
2021-07-18 08:53
32K
square_1__l42_square_1.vout
2021-07-25 17:56
4.7K
square_1__l42_square_1
2021-07-18 08:53
32K
square_1__l25_square_1.vout
2021-07-25 19:55
3.0K
square_1__l25_square_1.vmin1out
2021-07-25 20:58
3.2K
square_1__l25_square_1.vmin1
2021-07-25 20:57
468
square_1__l25_square_1.depvmin1
2021-07-25 21:03
99
square_1__l25_square_1.depv1
2021-07-25 20:57
99
square_1__l25_square_1
2021-07-18 08:43
8.4K
square_1__l23_square_1.vout
2021-07-25 14:36
22K
square_1__l23_square_1.vmin1out
2021-07-25 20:57
22K
square_1__l23_square_1.vmin1
2021-07-25 20:57
1.7K
square_1__l23_square_1.depvmin1
2021-07-25 21:03
182
square_1__l23_square_1.depv1
2021-07-25 20:57
182
square_1__l23_square_1
2021-07-18 08:53
20K
square_1__l19_square_1.vout
2021-07-25 15:23
13K
square_1__l19_square_1.vmin1out
2021-07-25 20:58
7.8K
square_1__l19_square_1.vmin1
2021-07-25 20:57
894
square_1__l19_square_1.depvmin1
2021-07-25 21:03
87
square_1__l19_square_1.depv1
2021-07-25 20:57
111
square_1__l19_square_1
2021-07-18 08:52
20K
square_1__l16_square_1.vout
2021-07-25 18:59
2.0K
square_1__l16_square_1
2021-07-18 08:52
48K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80