Index of /~mptp/mml5.63.1382/MPTP2/problems_small/setfam_1
Name
Last modified
Size
Description
Parent Directory
-
setfam_1__t49_setfam_1.vout
2021-07-25 17:49
9.1K
setfam_1__t49_setfam_1.vmin1out
2021-07-25 21:01
9.1K
setfam_1__t49_setfam_1.vmin1
2021-07-25 20:57
638
setfam_1__t49_setfam_1.depvmin1
2021-07-25 21:03
88
setfam_1__t49_setfam_1.depv1
2021-07-25 20:57
88
setfam_1__t49_setfam_1
2021-07-18 05:48
2.2K
setfam_1__t48_setfam_1.vout
2021-07-25 15:44
17K
setfam_1__t48_setfam_1.vmin1out
2021-07-25 21:02
17K
setfam_1__t48_setfam_1.vmin1
2021-07-25 20:57
1.0K
setfam_1__t48_setfam_1.depvmin1
2021-07-25 21:03
101
setfam_1__t48_setfam_1.depv1
2021-07-25 20:57
101
setfam_1__t48_setfam_1
2021-07-18 05:48
4.5K
setfam_1__t47_setfam_1.vout
2021-07-25 19:13
8.4K
setfam_1__t47_setfam_1
2021-07-18 05:43
3.0K
setfam_1__t46_setfam_1.vout
2021-07-25 18:09
6.7K
setfam_1__t46_setfam_1.vmin1out
2021-07-25 21:01
6.1K
setfam_1__t46_setfam_1.vmin1
2021-07-25 20:57
763
setfam_1__t46_setfam_1.depvmin1
2021-07-25 21:03
104
setfam_1__t46_setfam_1.depv1
2021-07-25 20:57
104
setfam_1__t46_setfam_1
2021-07-18 05:48
3.8K
setfam_1__t45_setfam_1.vout
2021-07-25 16:02
7.9K
setfam_1__t45_setfam_1
2021-07-18 05:43
3.5K
setfam_1__t44_setfam_1.vout
2021-07-25 20:49
23K
setfam_1__t44_setfam_1.vmin1out
2021-07-25 21:01
17K
setfam_1__t44_setfam_1.vmin1
2021-07-25 20:57
1.2K
setfam_1__t44_setfam_1.depvmin1
2021-07-25 21:03
104
setfam_1__t44_setfam_1.depv1
2021-07-25 20:57
104
setfam_1__t44_setfam_1
2021-07-18 05:48
3.4K
setfam_1__t43_setfam_1.vout
2021-07-25 20:56
26K
setfam_1__t43_setfam_1.vmin1out
2021-07-25 20:58
25K
setfam_1__t43_setfam_1.vmin1
2021-07-25 20:57
1.3K
setfam_1__t43_setfam_1.depvmin1
2021-07-25 21:03
136
setfam_1__t43_setfam_1.depv1
2021-07-25 20:57
136
setfam_1__t43_setfam_1
2021-07-18 05:47
3.8K
setfam_1__t42_setfam_1.vout
2021-07-25 19:53
7.3K
setfam_1__t42_setfam_1
2021-07-18 05:47
4.6K
setfam_1__t41_setfam_1.vout
2021-07-25 18:08
10K
setfam_1__t41_setfam_1.vmin1out
2021-07-25 20:59
9.9K
setfam_1__t41_setfam_1.vmin1
2021-07-25 20:57
512
setfam_1__t41_setfam_1.depvmin1
2021-07-25 21:03
56
setfam_1__t41_setfam_1.depv1
2021-07-25 20:57
56
setfam_1__t41_setfam_1
2021-07-18 05:47
3.1K
setfam_1__t40_setfam_1.vout
2021-07-25 20:39
37K
setfam_1__t40_setfam_1.vmin1out
2021-07-25 21:01
29K
setfam_1__t40_setfam_1.vmin1
2021-07-25 20:57
1.6K
setfam_1__t40_setfam_1.depvmin1
2021-07-25 21:03
187
setfam_1__t40_setfam_1.depv1
2021-07-25 20:57
196
setfam_1__t40_setfam_1
2021-07-18 05:47
4.9K
setfam_1__t39_setfam_1.vout
2021-07-25 16:40
6.8K
setfam_1__t39_setfam_1
2021-07-18 05:47
5.4K
setfam_1__t38_setfam_1.vout
2021-07-25 17:50
5.5K
setfam_1__t38_setfam_1.vmin1out
2021-07-25 21:01
5.4K
setfam_1__t38_setfam_1.vmin1
2021-07-25 20:57
360
setfam_1__t38_setfam_1.depvmin1
2021-07-25 21:03
40
setfam_1__t38_setfam_1.depv1
2021-07-25 20:57
40
setfam_1__t38_setfam_1
2021-07-18 05:47
3.2K
setfam_1__t37_setfam_1.vout
2021-07-25 19:30
15K
setfam_1__t37_setfam_1.vmin1out
2021-07-25 20:58
12K
setfam_1__t37_setfam_1.vmin1
2021-07-25 20:57
879
setfam_1__t37_setfam_1.depvmin1
2021-07-25 21:03
68
setfam_1__t37_setfam_1.depv1
2021-07-25 20:57
78
setfam_1__t37_setfam_1
2021-07-18 05:47
3.6K
setfam_1__t36_setfam_1.vout
2021-07-25 16:18
31K
setfam_1__t36_setfam_1.vmin1out
2021-07-25 21:00
22K
setfam_1__t36_setfam_1.vmin1
2021-07-25 20:57
1.5K
setfam_1__t36_setfam_1.depvmin1
2021-07-25 21:03
110
setfam_1__t36_setfam_1.depv1
2021-07-25 20:57
140
setfam_1__t36_setfam_1
2021-07-18 05:47
4.2K
setfam_1__t35_setfam_1.vout
2021-07-25 17:06
15K
setfam_1__t35_setfam_1.vmin1out
2021-07-25 21:02
15K
setfam_1__t35_setfam_1.vmin1
2021-07-25 20:57
825
setfam_1__t35_setfam_1.depvmin1
2021-07-25 21:03
67
setfam_1__t35_setfam_1.depv1
2021-07-25 20:57
67
setfam_1__t35_setfam_1
2021-07-18 05:46
4.0K
setfam_1__t34_setfam_1.vout
2021-07-25 18:59
6.8K
setfam_1__t34_setfam_1
2021-07-18 05:46
5.8K
setfam_1__t33_setfam_1.vout
2021-07-25 18:01
7.3K
setfam_1__t33_setfam_1
2021-07-18 05:46
5.9K
setfam_1__t32_setfam_1.vout
2021-07-25 17:26
17K
setfam_1__t32_setfam_1.vmin1out
2021-07-25 20:59
17K
setfam_1__t32_setfam_1.vmin1
2021-07-25 20:57
1.3K
setfam_1__t32_setfam_1.depvmin1
2021-07-25 21:03
136
setfam_1__t32_setfam_1.depv1
2021-07-25 20:57
136
setfam_1__t32_setfam_1
2021-07-18 05:46
4.2K
setfam_1__t31_setfam_1.vout
2021-07-25 20:56
22K
setfam_1__t31_setfam_1.vmin1out
2021-07-25 20:58
19K
setfam_1__t31_setfam_1.vmin1
2021-07-25 20:57
1.2K
setfam_1__t31_setfam_1.depvmin1
2021-07-25 21:03
129
setfam_1__t31_setfam_1.depv1
2021-07-25 20:57
142
setfam_1__t31_setfam_1
2021-07-18 05:46
3.2K
setfam_1__t30_setfam_1.vout
2021-07-25 20:46
7.9K
setfam_1__t30_setfam_1
2021-07-18 05:46
4.1K
setfam_1__t29_setfam_1.vout
2021-07-25 17:27
7.9K
setfam_1__t29_setfam_1
2021-07-18 05:46
4.3K
setfam_1__t28_setfam_1.vout
2021-07-25 18:40
8.4K
setfam_1__t28_setfam_1
2021-07-18 05:46
4.0K
setfam_1__t27_setfam_1.vout
2021-07-25 19:18
8.4K
setfam_1__t27_setfam_1
2021-07-18 05:45
4.4K
setfam_1__t26_setfam_1.vout
2021-07-25 17:20
8.4K
setfam_1__t26_setfam_1
2021-07-18 05:45
4.5K
setfam_1__t25_setfam_1.vout
2021-07-25 15:39
8.4K
setfam_1__t25_setfam_1
2021-07-18 05:45
4.1K
setfam_1__t24_setfam_1.vout
2021-07-25 18:35
8.4K
setfam_1__t24_setfam_1
2021-07-18 05:45
4.5K
setfam_1__t23_setfam_1.vout
2021-07-25 16:50
8.4K
setfam_1__t23_setfam_1
2021-07-18 05:45
4.3K
setfam_1__t22_setfam_1.vout
2021-07-25 17:18
12K
setfam_1__t22_setfam_1.vmin1out
2021-07-25 21:01
12K
setfam_1__t22_setfam_1.vmin1
2021-07-25 20:57
748
setfam_1__t22_setfam_1.depvmin1
2021-07-25 21:03
87
setfam_1__t22_setfam_1.depv1
2021-07-25 20:57
87
setfam_1__t22_setfam_1
2021-07-18 05:45
3.7K
setfam_1__t21_setfam_1.vout
2021-07-25 20:38
11K
setfam_1__t21_setfam_1.vmin1out
2021-07-25 20:58
10K
setfam_1__t21_setfam_1.vmin1
2021-07-25 20:57
547
setfam_1__t21_setfam_1.depvmin1
2021-07-25 21:03
50
setfam_1__t21_setfam_1.depv1
2021-07-25 20:57
50
setfam_1__t21_setfam_1
2021-07-18 05:45
3.8K
setfam_1__t20_setfam_1.vout
2021-07-25 19:21
10K
setfam_1__t20_setfam_1.vmin1out
2021-07-25 20:59
9.6K
setfam_1__t20_setfam_1.vmin1
2021-07-25 20:57
604
setfam_1__t20_setfam_1.depvmin1
2021-07-25 21:03
83
setfam_1__t20_setfam_1.depv1
2021-07-25 20:57
83
setfam_1__t20_setfam_1
2021-07-18 05:44
3.9K
setfam_1__t19_setfam_1.vout
2021-07-25 16:01
19K
setfam_1__t19_setfam_1.vmin1out
2021-07-25 21:01
16K
setfam_1__t19_setfam_1.vmin1
2021-07-25 20:57
965
setfam_1__t19_setfam_1.depvmin1
2021-07-25 21:03
82
setfam_1__t19_setfam_1.depv1
2021-07-25 20:57
92
setfam_1__t19_setfam_1
2021-07-18 05:44
4.4K
setfam_1__t18_setfam_1.vout
2021-07-25 20:00
12K
setfam_1__t18_setfam_1.vmin1out
2021-07-25 20:59
12K
setfam_1__t18_setfam_1.vmin1
2021-07-25 20:57
641
setfam_1__t18_setfam_1.depvmin1
2021-07-25 21:03
68
setfam_1__t18_setfam_1.depv1
2021-07-25 20:57
68
setfam_1__t18_setfam_1
2021-07-18 05:44
3.4K
setfam_1__t17_setfam_1.vout
2021-07-25 17:57
11K
setfam_1__t17_setfam_1.vmin1out
2021-07-25 21:01
9.2K
setfam_1__t17_setfam_1.vmin1
2021-07-25 20:57
430
setfam_1__t17_setfam_1.depvmin1
2021-07-25 21:03
35
setfam_1__t17_setfam_1.depv1
2021-07-25 20:57
35
setfam_1__t17_setfam_1
2021-07-18 05:44
3.2K
setfam_1__t16_setfam_1.vout
2021-07-25 19:23
7.7K
setfam_1__t16_setfam_1.vmin1out
2021-07-25 21:01
7.6K
setfam_1__t16_setfam_1.vmin1
2021-07-25 20:57
666
setfam_1__t16_setfam_1.depvmin1
2021-07-25 21:03
84
setfam_1__t16_setfam_1.depv1
2021-07-25 20:57
84
setfam_1__t16_setfam_1
2021-07-18 05:44
3.2K
setfam_1__t15_setfam_1.vout
2021-07-25 16:16
4.1K
setfam_1__t15_setfam_1.vmin1out
2021-07-25 21:00
3.4K
setfam_1__t15_setfam_1.vmin1
2021-07-25 20:57
386
setfam_1__t15_setfam_1.depvmin1
2021-07-25 21:03
47
setfam_1__t15_setfam_1.depv1
2021-07-25 20:57
47
setfam_1__t15_setfam_1
2021-07-18 05:43
3.0K
setfam_1__t14_setfam_1.vout
2021-07-25 15:01
19K
setfam_1__t14_setfam_1.vmin1out
2021-07-25 20:58
16K
setfam_1__t14_setfam_1.vmin1
2021-07-25 20:57
835
setfam_1__t14_setfam_1.depvmin1
2021-07-25 21:03
69
setfam_1__t14_setfam_1.depv1
2021-07-25 20:57
69
setfam_1__t14_setfam_1
2021-07-18 05:44
3.5K
setfam_1__t13_setfam_1.vout
2021-07-25 14:54
15K
setfam_1__t13_setfam_1.vmin1out
2021-07-25 21:00
14K
setfam_1__t13_setfam_1.vmin1
2021-07-25 20:57
663
setfam_1__t13_setfam_1.depvmin1
2021-07-25 21:03
68
setfam_1__t13_setfam_1.depv1
2021-07-25 20:57
68
setfam_1__t13_setfam_1
2021-07-18 05:44
3.3K
setfam_1__t12_setfam_1.vout
2021-07-25 15:30
8.7K
setfam_1__t12_setfam_1.vmin1out
2021-07-25 21:02
6.2K
setfam_1__t12_setfam_1.vmin1
2021-07-25 20:57
551
setfam_1__t12_setfam_1.depvmin1
2021-07-25 21:03
80
setfam_1__t12_setfam_1.depv1
2021-07-25 20:57
80
setfam_1__t12_setfam_1
2021-07-18 05:43
3.1K
setfam_1__t11_setfam_1.vout
2021-07-25 15:48
7.2K
setfam_1__t11_setfam_1
2021-07-18 05:44
2.2K
setfam_1__t10_setfam_1.vout
2021-07-25 20:09
16K
setfam_1__t10_setfam_1.vmin1out
2021-07-25 21:02
12K
setfam_1__t10_setfam_1.vmin1
2021-07-25 20:57
653
setfam_1__t10_setfam_1.depvmin1
2021-07-25 21:03
84
setfam_1__t10_setfam_1.depv1
2021-07-25 20:57
84
setfam_1__t10_setfam_1
2021-07-18 05:43
3.5K
setfam_1__t9_setfam_1.vout
2021-07-25 17:07
8.4K
setfam_1__t9_setfam_1
2021-07-18 05:43
4.7K
setfam_1__t8_setfam_1.vout
2021-07-25 18:13
5.3K
setfam_1__t8_setfam_1.vmin1out
2021-07-25 21:01
3.7K
setfam_1__t8_setfam_1.vmin1
2021-07-25 20:57
375
setfam_1__t8_setfam_1.depvmin1
2021-07-25 21:03
37
setfam_1__t8_setfam_1.depv1
2021-07-25 20:57
37
setfam_1__t8_setfam_1
2021-07-18 05:42
3.7K
setfam_1__t7_setfam_1.vout
2021-07-25 16:12
7.5K
setfam_1__t7_setfam_1.vmin1out
2021-07-25 21:01
5.1K
setfam_1__t7_setfam_1.vmin1
2021-07-25 20:57
366
setfam_1__t7_setfam_1.depvmin1
2021-07-25 21:03
34
setfam_1__t7_setfam_1.depv1
2021-07-25 20:57
34
setfam_1__t7_setfam_1
2021-07-18 05:43
3.1K
setfam_1__t6_setfam_1.vout
2021-07-25 14:39
18K
setfam_1__t6_setfam_1.vmin1out
2021-07-25 20:59
18K
setfam_1__t6_setfam_1.vmin1
2021-07-25 20:57
962
setfam_1__t6_setfam_1.depvmin1
2021-07-25 21:03
102
setfam_1__t6_setfam_1.depv1
2021-07-25 20:57
102
setfam_1__t6_setfam_1
2021-07-18 05:43
3.2K
setfam_1__t5_setfam_1.vout
2021-07-25 20:56
12K
setfam_1__t5_setfam_1.vmin1out
2021-07-25 20:58
11K
setfam_1__t5_setfam_1.vmin1
2021-07-25 20:57
540
setfam_1__t5_setfam_1.depvmin1
2021-07-25 21:03
34
setfam_1__t5_setfam_1.depv1
2021-07-25 20:57
34
setfam_1__t5_setfam_1
2021-07-18 05:43
3.2K
setfam_1__t4_setfam_1.vout
2021-07-25 16:16
4.0K
setfam_1__t4_setfam_1.vmin1out
2021-07-25 20:57
2.7K
setfam_1__t4_setfam_1.vmin1
2021-07-25 20:57
290
setfam_1__t4_setfam_1.depvmin1
2021-07-25 21:03
36
setfam_1__t4_setfam_1.depv1
2021-07-25 20:57
36
setfam_1__t4_setfam_1
2021-07-18 05:42
3.1K
setfam_1__t3_setfam_1.vout
2021-07-25 19:39
11K
setfam_1__t3_setfam_1.vmin1out
2021-07-25 20:58
11K
setfam_1__t3_setfam_1.vmin1
2021-07-25 20:57
627
setfam_1__t3_setfam_1.depvmin1
2021-07-25 21:03
56
setfam_1__t3_setfam_1.depv1
2021-07-25 20:57
56
setfam_1__t3_setfam_1
2021-07-18 05:42
3.2K
setfam_1__t2_setfam_1.vout
2021-07-25 17:39
18K
setfam_1__t2_setfam_1.vmin1out
2021-07-25 21:02
17K
setfam_1__t2_setfam_1.vmin1
2021-07-25 20:57
1.1K
setfam_1__t2_setfam_1.depvmin1
2021-07-25 21:03
126
setfam_1__t2_setfam_1.depv1
2021-07-25 20:57
126
setfam_1__t2_setfam_1
2021-07-18 05:43
3.4K
setfam_1__t1_setfam_1.vout
2021-07-25 17:39
4.9K
setfam_1__t1_setfam_1.vmin1out
2021-07-25 21:00
4.9K
setfam_1__t1_setfam_1.vmin1
2021-07-25 20:57
323
setfam_1__t1_setfam_1.depvmin1
2021-07-25 21:03
24
setfam_1__t1_setfam_1.depv1
2021-07-25 20:57
24
setfam_1__t1_setfam_1
2021-07-18 05:42
1.4K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80