Index of /~mptp/8.1.15_5.94.1493/MPTP2/problems_small/setwop_2
Name
Last modified
Size
Description
Parent Directory
-
setwop_2__l1_setwop_2
2025-09-07 22:21
16K
setwop_2__l1_setwop_2.depv1
2025-09-15 19:47
110
setwop_2__l1_setwop_2.depvmin1
2025-09-15 19:51
110
setwop_2__l1_setwop_2.vmin1
2025-09-15 19:47
897
setwop_2__l1_setwop_2.vmin1out
2025-09-15 19:47
11K
setwop_2__l1_setwop_2.vout
2025-09-15 17:38
11K
setwop_2__l2_setwop_2
2025-09-07 22:23
20K
setwop_2__l2_setwop_2.depv1
2025-09-15 19:47
346
setwop_2__l2_setwop_2.depvmin1
2025-09-15 19:51
308
setwop_2__l2_setwop_2.vmin1
2025-09-15 19:47
2.1K
setwop_2__l2_setwop_2.vmin1out
2025-09-15 19:49
14K
setwop_2__l2_setwop_2.vout
2025-09-15 16:02
34K
setwop_2__l12_setwop_2
2025-09-07 23:18
19K
setwop_2__l12_setwop_2.vout
2025-09-15 14:40
2.0K
setwop_2__l29_setwop_2
2025-09-07 23:19
34K
setwop_2__l29_setwop_2.vout
2025-09-15 17:01
4.1K
setwop_2__l30_setwop_2
2025-09-07 23:20
33K
setwop_2__l30_setwop_2.vout
2025-09-15 14:24
4.1K
setwop_2__l31_setwop_2
2025-09-07 23:22
33K
setwop_2__l31_setwop_2.vout
2025-09-15 15:56
4.1K
setwop_2__t1_setwop_2
2025-09-07 22:24
28K
setwop_2__t1_setwop_2.vout
2025-09-15 16:14
4.7K
setwop_2__t2_setwop_2
2025-09-07 22:25
30K
setwop_2__t2_setwop_2.vout
2025-09-15 18:57
4.7K
setwop_2__t3_setwop_2
2025-09-07 22:27
27K
setwop_2__t3_setwop_2.vout
2025-09-15 19:44
4.7K
setwop_2__t4_setwop_2
2025-09-07 22:28
30K
setwop_2__t4_setwop_2.vout
2025-09-15 18:03
4.1K
setwop_2__t5_setwop_2
2025-09-07 22:30
46K
setwop_2__t5_setwop_2.vout
2025-09-15 17:32
7.3K
setwop_2__t6_setwop_2
2025-09-07 22:31
31K
setwop_2__t6_setwop_2.vout
2025-09-15 16:30
6.8K
setwop_2__t7_setwop_2
2025-09-07 22:33
30K
setwop_2__t7_setwop_2.vout
2025-09-15 15:49
7.3K
setwop_2__t8_setwop_2
2025-09-07 22:34
30K
setwop_2__t8_setwop_2.vout
2025-09-15 18:42
4.1K
setwop_2__t9_setwop_2
2025-09-07 22:36
29K
setwop_2__t9_setwop_2.vout
2025-09-15 19:19
2.0K
setwop_2__t10_setwop_2
2025-09-07 22:37
23K
setwop_2__t10_setwop_2.depv1
2025-09-15 19:47
65
setwop_2__t10_setwop_2.depvmin1
2025-09-15 19:51
65
setwop_2__t10_setwop_2.vmin1
2025-09-15 19:47
3.0K
setwop_2__t10_setwop_2.vmin1out
2025-09-15 19:47
108K
setwop_2__t10_setwop_2.vout
2025-09-15 17:57
109K
setwop_2__t11_setwop_2
2025-09-07 22:38
28K
setwop_2__t11_setwop_2.vout
2025-09-15 16:50
4.7K
setwop_2__t12_setwop_2
2025-09-07 22:40
29K
setwop_2__t12_setwop_2.vout
2025-09-15 16:28
2.0K
setwop_2__t13_setwop_2
2025-09-07 22:41
29K
setwop_2__t13_setwop_2.vout
2025-09-15 15:05
2.0K
setwop_2__t14_setwop_2
2025-09-07 22:42
23K
setwop_2__t14_setwop_2.depv1
2025-09-15 19:47
53
setwop_2__t14_setwop_2.depvmin1
2025-09-15 19:51
53
setwop_2__t14_setwop_2.vmin1
2025-09-15 19:47
2.5K
setwop_2__t14_setwop_2.vmin1out
2025-09-15 19:49
48K
setwop_2__t14_setwop_2.vout
2025-09-15 13:34
48K
setwop_2__t15_setwop_2
2025-09-07 22:43
23K
setwop_2__t15_setwop_2.depv1
2025-09-15 19:47
53
setwop_2__t15_setwop_2.depvmin1
2025-09-15 19:51
53
setwop_2__t15_setwop_2.vmin1
2025-09-15 19:47
2.5K
setwop_2__t15_setwop_2.vmin1out
2025-09-15 19:48
48K
setwop_2__t15_setwop_2.vout
2025-09-15 15:45
48K
setwop_2__t16_setwop_2
2025-09-07 22:45
31K
setwop_2__t16_setwop_2.vout
2025-09-15 17:58
2.0K
setwop_2__t17_setwop_2
2025-09-07 22:19
28K
setwop_2__t17_setwop_2.vout
2025-09-15 17:12
2.0K
setwop_2__t18_setwop_2
2025-09-07 22:46
32K
setwop_2__t18_setwop_2.vout
2025-09-15 17:02
4.7K
setwop_2__t19_setwop_2
2025-09-07 22:48
29K
setwop_2__t19_setwop_2.vout
2025-09-15 17:42
2.0K
setwop_2__t20_setwop_2
2025-09-07 22:49
25K
setwop_2__t20_setwop_2.vout
2025-09-15 14:36
2.0K
setwop_2__t21_setwop_2
2025-09-07 22:50
32K
setwop_2__t21_setwop_2.vout
2025-09-15 13:35
4.1K
setwop_2__t22_setwop_2
2025-09-07 22:51
39K
setwop_2__t22_setwop_2.vout
2025-09-15 15:10
4.1K
setwop_2__t23_setwop_2
2025-09-07 22:53
34K
setwop_2__t23_setwop_2.vout
2025-09-15 14:04
7.3K
setwop_2__t24_setwop_2
2025-09-07 22:54
35K
setwop_2__t24_setwop_2.vout
2025-09-15 17:25
4.1K
setwop_2__t25_setwop_2
2025-09-07 22:56
35K
setwop_2__t25_setwop_2.vout
2025-09-15 15:37
2.0K
setwop_2__t26_setwop_2
2025-09-07 22:57
31K
setwop_2__t26_setwop_2.vout
2025-09-15 19:40
6.8K
setwop_2__t27_setwop_2
2025-09-07 22:58
34K
setwop_2__t27_setwop_2.vout
2025-09-15 17:24
2.0K
setwop_2__t28_setwop_2
2025-09-07 23:00
39K
setwop_2__t28_setwop_2.vout
2025-09-15 16:02
4.7K
setwop_2__t29_setwop_2
2025-09-07 22:21
29K
setwop_2__t29_setwop_2.vout
2025-09-15 16:14
2.0K
setwop_2__t30_setwop_2
2025-09-07 23:01
33K
setwop_2__t30_setwop_2.vout
2025-09-15 17:35
4.7K
setwop_2__t31_setwop_2
2025-09-07 23:03
30K
setwop_2__t31_setwop_2.vout
2025-09-15 19:20
2.0K
setwop_2__t32_setwop_2
2025-09-07 23:04
36K
setwop_2__t32_setwop_2.vout
2025-09-15 17:18
4.1K
setwop_2__t33_setwop_2
2025-09-07 23:06
26K
setwop_2__t33_setwop_2.depv1
2025-09-15 19:47
184
setwop_2__t33_setwop_2.depvmin1
2025-09-15 19:51
184
setwop_2__t33_setwop_2.vmin1
2025-09-15 19:47
3.2K
setwop_2__t33_setwop_2.vmin1out
2025-09-15 19:50
110K
setwop_2__t33_setwop_2.vout
2025-09-15 13:50
112K
setwop_2__t34_setwop_2
2025-09-07 23:07
25K
setwop_2__t34_setwop_2.depv1
2025-09-15 19:47
66
setwop_2__t34_setwop_2.depvmin1
2025-09-15 19:51
66
setwop_2__t34_setwop_2.vmin1
2025-09-15 19:47
2.6K
setwop_2__t34_setwop_2.vmin1out
2025-09-15 19:49
75K
setwop_2__t34_setwop_2.vout
2025-09-15 16:11
76K
setwop_2__t35_setwop_2
2025-09-07 23:08
25K
setwop_2__t35_setwop_2.depv1
2025-09-15 19:47
169
setwop_2__t35_setwop_2.depvmin1
2025-09-15 19:51
169
setwop_2__t35_setwop_2.vmin1
2025-09-15 19:47
2.1K
setwop_2__t35_setwop_2.vmin1out
2025-09-15 19:51
31K
setwop_2__t35_setwop_2.vout
2025-09-15 19:00
32K
setwop_2__t36_setwop_2
2025-09-07 23:10
26K
setwop_2__t36_setwop_2.vout
2025-09-15 18:45
4.1K
setwop_2__t37_setwop_2
2025-09-07 23:11
30K
setwop_2__t37_setwop_2.vout
2025-09-15 19:35
4.7K
setwop_2__t38_setwop_2
2025-09-07 23:12
35K
setwop_2__t38_setwop_2.vout
2025-09-15 16:24
4.1K
setwop_2__t39_setwop_2
2025-09-07 23:14
35K
setwop_2__t39_setwop_2.vout
2025-09-15 15:20
4.1K
setwop_2__t40_setwop_2
2025-09-07 23:15
24K
setwop_2__t40_setwop_2.depv1
2025-09-15 19:47
53
setwop_2__t40_setwop_2.depvmin1
2025-09-15 19:51
53
setwop_2__t40_setwop_2.vmin1
2025-09-15 19:47
2.1K
setwop_2__t40_setwop_2.vmin1out
2025-09-15 19:48
37K
setwop_2__t40_setwop_2.vout
2025-09-15 15:46
38K
setwop_2__t41_setwop_2
2025-09-07 23:16
24K
setwop_2__t41_setwop_2.depv1
2025-09-15 19:47
53
setwop_2__t41_setwop_2.depvmin1
2025-09-15 19:51
53
setwop_2__t41_setwop_2.vmin1
2025-09-15 19:47
2.1K
setwop_2__t41_setwop_2.vmin1out
2025-09-15 19:51
37K
setwop_2__t41_setwop_2.vout
2025-09-15 13:44
38K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80