Index of /~mptp/8.1.14_5.79.1465/MPTP2/problems_small/scmfsa_x
Name
Last modified
Size
Description
Parent Directory
-
scmfsa_x__l3_scmfsa_x
2024-07-27 12:07
48K
scmfsa_x__l3_scmfsa_x.depv1
2024-08-03 10:19
169
scmfsa_x__l3_scmfsa_x.depvmin1
2024-08-03 10:24
169
scmfsa_x__l3_scmfsa_x.vmin1
2024-08-03 10:20
1.1K
scmfsa_x__l3_scmfsa_x.vmin1out
2024-08-03 10:20
9.8K
scmfsa_x__l3_scmfsa_x.vout
2024-08-03 08:23
9.9K
scmfsa_x__l4_scmfsa_x
2024-07-27 12:08
45K
scmfsa_x__l4_scmfsa_x.vout
2024-08-03 04:59
10K
scmfsa_x__l5_scmfsa_x
2024-07-27 12:10
47K
scmfsa_x__l5_scmfsa_x.depv1
2024-08-03 10:19
78
scmfsa_x__l5_scmfsa_x.depvmin1
2024-08-03 10:24
54
scmfsa_x__l5_scmfsa_x.vmin1
2024-08-03 10:20
494
scmfsa_x__l5_scmfsa_x.vmin1out
2024-08-03 10:23
3.0K
scmfsa_x__l5_scmfsa_x.vout
2024-08-03 06:31
4.2K
scmfsa_x__l39_scmfsa_x
2024-07-27 13:21
113K
scmfsa_x__l39_scmfsa_x.vout
2024-08-03 05:53
5.8K
scmfsa_x__l40_scmfsa_x
2024-07-27 13:23
79K
scmfsa_x__l40_scmfsa_x.vout
2024-08-03 07:12
7.4K
scmfsa_x__t1_scmfsa_x
2024-07-27 12:12
92K
scmfsa_x__t1_scmfsa_x.vout
2024-08-03 08:52
7.3K
scmfsa_x__t2_scmfsa_x
2024-07-27 12:14
92K
scmfsa_x__t2_scmfsa_x.vout
2024-08-03 04:16
6.8K
scmfsa_x__t3_scmfsa_x
2024-07-27 12:17
99K
scmfsa_x__t3_scmfsa_x.vout
2024-08-03 07:25
7.3K
scmfsa_x__t4_scmfsa_x
2024-07-27 12:19
99K
scmfsa_x__t4_scmfsa_x.vout
2024-08-03 04:42
6.8K
scmfsa_x__t5_scmfsa_x
2024-07-27 12:21
127K
scmfsa_x__t5_scmfsa_x.depv1
2024-08-03 10:19
265
scmfsa_x__t5_scmfsa_x.depvmin1
2024-08-03 10:24
206
scmfsa_x__t5_scmfsa_x.vmin1
2024-08-03 10:20
3.2K
scmfsa_x__t5_scmfsa_x.vmin1out
2024-08-03 10:23
75K
scmfsa_x__t5_scmfsa_x.vout
2024-08-03 09:12
61K
scmfsa_x__t6_scmfsa_x
2024-07-27 12:24
127K
scmfsa_x__t6_scmfsa_x.vout
2024-08-03 05:01
6.8K
scmfsa_x__t7_scmfsa_x
2024-07-27 12:26
127K
scmfsa_x__t7_scmfsa_x.depv1
2024-08-03 10:19
265
scmfsa_x__t7_scmfsa_x.depvmin1
2024-08-03 10:24
206
scmfsa_x__t7_scmfsa_x.vmin1
2024-08-03 10:20
3.2K
scmfsa_x__t7_scmfsa_x.vmin1out
2024-08-03 10:21
75K
scmfsa_x__t7_scmfsa_x.vout
2024-08-03 05:04
61K
scmfsa_x__t8_scmfsa_x
2024-07-27 12:28
127K
scmfsa_x__t8_scmfsa_x.vout
2024-08-03 05:47
7.3K
scmfsa_x__t9_scmfsa_x
2024-07-27 11:57
106K
scmfsa_x__t9_scmfsa_x.depv1
2024-08-03 10:19
97
scmfsa_x__t9_scmfsa_x.depvmin1
2024-08-03 10:24
97
scmfsa_x__t9_scmfsa_x.vmin1
2024-08-03 10:20
1.6K
scmfsa_x__t9_scmfsa_x.vmin1out
2024-08-03 10:22
18K
scmfsa_x__t9_scmfsa_x.vout
2024-08-03 05:55
24K
scmfsa_x__t10_scmfsa_x
2024-07-27 12:31
189K
scmfsa_x__t10_scmfsa_x.vout
2024-08-03 04:07
4.2K
scmfsa_x__t11_scmfsa_x
2024-07-27 12:34
239K
scmfsa_x__t11_scmfsa_x.vout
2024-08-03 04:43
6.8K
scmfsa_x__t12_scmfsa_x
2024-07-27 12:36
111K
scmfsa_x__t12_scmfsa_x.vout
2024-08-03 04:15
6.8K
scmfsa_x__t14_scmfsa_x
2024-07-27 12:39
127K
scmfsa_x__t14_scmfsa_x.depv1
2024-08-03 10:19
53
scmfsa_x__t14_scmfsa_x.depvmin1
2024-08-03 10:24
53
scmfsa_x__t14_scmfsa_x.vmin1
2024-08-03 10:20
1.8K
scmfsa_x__t14_scmfsa_x.vmin1out
2024-08-03 10:21
32K
scmfsa_x__t14_scmfsa_x.vout
2024-08-03 08:57
21K
scmfsa_x__t15_scmfsa_x
2024-07-27 12:41
103K
scmfsa_x__t15_scmfsa_x.vout
2024-08-03 05:00
7.3K
scmfsa_x__t16_scmfsa_x
2024-07-27 12:43
239K
scmfsa_x__t16_scmfsa_x.vout
2024-08-03 05:20
6.8K
scmfsa_x__t17_scmfsa_x
2024-07-27 12:46
111K
scmfsa_x__t17_scmfsa_x.vout
2024-08-03 05:44
6.8K
scmfsa_x__t19_scmfsa_x
2024-07-27 12:48
127K
scmfsa_x__t19_scmfsa_x.depv1
2024-08-03 10:19
53
scmfsa_x__t19_scmfsa_x.depvmin1
2024-08-03 10:24
53
scmfsa_x__t19_scmfsa_x.vmin1
2024-08-03 10:20
1.8K
scmfsa_x__t19_scmfsa_x.vmin1out
2024-08-03 10:20
32K
scmfsa_x__t19_scmfsa_x.vout
2024-08-03 09:16
21K
scmfsa_x__t20_scmfsa_x
2024-07-27 12:51
103K
scmfsa_x__t20_scmfsa_x.vout
2024-08-03 09:15
7.3K
scmfsa_x__t21_scmfsa_x
2024-07-27 12:53
93K
scmfsa_x__t21_scmfsa_x.vout
2024-08-03 06:25
6.8K
scmfsa_x__t22_scmfsa_x
2024-07-27 12:55
100K
scmfsa_x__t22_scmfsa_x.vout
2024-08-03 08:42
6.8K
scmfsa_x__t23_scmfsa_x
2024-07-27 12:57
73K
scmfsa_x__t23_scmfsa_x.vout
2024-08-03 05:49
4.7K
scmfsa_x__t24_scmfsa_x
2024-07-27 12:59
56K
scmfsa_x__t24_scmfsa_x.vout
2024-08-03 05:30
7.3K
scmfsa_x__t25_scmfsa_x
2024-07-27 13:01
90K
scmfsa_x__t25_scmfsa_x.vout
2024-08-03 06:45
7.4K
scmfsa_x__t26_scmfsa_x
2024-07-27 13:04
153K
scmfsa_x__t26_scmfsa_x.vout
2024-08-03 09:05
3.7K
scmfsa_x__t27_scmfsa_x
2024-07-27 13:06
89K
scmfsa_x__t27_scmfsa_x.depv1
2024-08-03 10:19
39
scmfsa_x__t27_scmfsa_x.depvmin1
2024-08-03 10:24
39
scmfsa_x__t27_scmfsa_x.vmin1
2024-08-03 10:20
1.3K
scmfsa_x__t27_scmfsa_x.vmin1out
2024-08-03 10:20
14K
scmfsa_x__t27_scmfsa_x.vout
2024-08-03 05:58
11K
scmfsa_x__t28_scmfsa_x
2024-07-27 13:08
101K
scmfsa_x__t28_scmfsa_x.vout
2024-08-03 04:13
6.8K
scmfsa_x__t29_scmfsa_x
2024-07-27 13:11
157K
scmfsa_x__t29_scmfsa_x.vout
2024-08-03 06:08
3.7K
scmfsa_x__t30_scmfsa_x
2024-07-27 13:14
157K
scmfsa_x__t30_scmfsa_x.vout
2024-08-03 08:31
3.7K
scmfsa_x__t31_scmfsa_x
2024-07-27 13:16
181K
scmfsa_x__t31_scmfsa_x.vout
2024-08-03 06:45
6.8K
scmfsa_x__t32_scmfsa_x
2024-07-27 13:19
181K
scmfsa_x__t32_scmfsa_x.vout
2024-08-03 10:01
6.8K
scmfsa_x__t33_scmfsa_x
2024-07-27 11:59
86K
scmfsa_x__t33_scmfsa_x.vout
2024-08-03 06:05
7.3K
scmfsa_x__t34_scmfsa_x
2024-07-27 12:01
82K
scmfsa_x__t34_scmfsa_x.vout
2024-08-03 08:56
7.3K
scmfsa_x__t35_scmfsa_x
2024-07-27 12:03
97K
scmfsa_x__t35_scmfsa_x.vout
2024-08-03 10:10
7.3K
scmfsa_x__t36_scmfsa_x
2024-07-27 12:05
97K
scmfsa_x__t36_scmfsa_x.vout
2024-08-03 07:31
6.8K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80