Index of /~mptp/8.1.14_5.79.1465/MPTP2/problems_small/scmfsa8b
Name
Last modified
Size
Description
Parent Directory
-
scmfsa8b__l13_scmfsa8b
2024-07-28 00:06
70K
scmfsa8b__l13_scmfsa8b.vout
2024-08-03 07:45
4.7K
scmfsa8b__l14_scmfsa8b
2024-07-28 00:08
70K
scmfsa8b__l14_scmfsa8b.vout
2024-08-03 06:55
4.7K
scmfsa8b__l19_scmfsa8b
2024-07-28 00:10
56K
scmfsa8b__l19_scmfsa8b.depv1
2024-08-03 10:19
220
scmfsa8b__l19_scmfsa8b.vmin1
2024-08-03 10:20
5.3K
scmfsa8b__l19_scmfsa8b.vmin1out
2024-08-03 10:22
2.0K
scmfsa8b__l19_scmfsa8b.vout
2024-08-03 08:42
75K
scmfsa8b__t8_scmfsa8b
2024-07-27 23:26
98K
scmfsa8b__t8_scmfsa8b.vout
2024-08-03 10:11
4.7K
scmfsa8b__t9_scmfsa8b
2024-07-27 23:28
80K
scmfsa8b__t9_scmfsa8b.vout
2024-08-03 08:24
4.7K
scmfsa8b__t10_scmfsa8b
2024-07-27 23:30
82K
scmfsa8b__t10_scmfsa8b.vout
2024-08-03 06:24
4.7K
scmfsa8b__t11_scmfsa8b
2024-07-27 23:32
64K
scmfsa8b__t11_scmfsa8b.vout
2024-08-03 10:12
3.2K
scmfsa8b__t12_scmfsa8b
2024-07-27 23:33
64K
scmfsa8b__t12_scmfsa8b.vout
2024-08-03 04:24
3.2K
scmfsa8b__t14_scmfsa8b
2024-07-27 23:36
210K
scmfsa8b__t14_scmfsa8b.vout
2024-08-03 04:15
4.7K
scmfsa8b__t16_scmfsa8b
2024-07-27 23:39
249K
scmfsa8b__t16_scmfsa8b.vout
2024-08-03 08:23
4.7K
scmfsa8b__t18_scmfsa8b
2024-07-27 23:42
87K
scmfsa8b__t18_scmfsa8b.vout
2024-08-03 06:03
4.7K
scmfsa8b__t20_scmfsa8b
2024-07-27 23:45
212K
scmfsa8b__t20_scmfsa8b.vout
2024-08-03 05:02
4.7K
scmfsa8b__t22_scmfsa8b
2024-07-27 23:48
249K
scmfsa8b__t22_scmfsa8b.vout
2024-08-03 07:46
4.7K
scmfsa8b__t24_scmfsa8b
2024-07-27 23:50
88K
scmfsa8b__t24_scmfsa8b.vout
2024-08-03 08:10
4.7K
scmfsa8b__t32_scmfsa8b
2024-07-27 23:22
53K
scmfsa8b__t32_scmfsa8b.depv1
2024-08-03 10:19
25
scmfsa8b__t32_scmfsa8b.depvmin1
2024-08-03 10:24
25
scmfsa8b__t32_scmfsa8b.vmin1
2024-08-03 10:20
1.4K
scmfsa8b__t32_scmfsa8b.vmin1out
2024-08-03 10:23
19K
scmfsa8b__t32_scmfsa8b.vout
2024-08-03 06:48
27K
scmfsa8b__t33_scmfsa8b
2024-07-27 23:23
51K
scmfsa8b__t33_scmfsa8b.depv1
2024-08-03 10:19
223
scmfsa8b__t33_scmfsa8b.depvmin1
2024-08-03 10:24
149
scmfsa8b__t33_scmfsa8b.vmin1
2024-08-03 10:20
3.7K
scmfsa8b__t33_scmfsa8b.vmin1out
2024-08-03 10:23
23K
scmfsa8b__t33_scmfsa8b.vout
2024-08-03 08:19
38K
scmfsa8b__t34_scmfsa8b
2024-07-27 23:53
204K
scmfsa8b__t34_scmfsa8b.vout
2024-08-03 04:42
4.7K
scmfsa8b__t35_scmfsa8b
2024-07-27 23:55
72K
scmfsa8b__t35_scmfsa8b.vout
2024-08-03 09:55
4.7K
scmfsa8b__t36_scmfsa8b
2024-07-27 23:57
46K
scmfsa8b__t36_scmfsa8b.vout
2024-08-03 09:33
7.3K
scmfsa8b__t39_scmfsa8b
2024-07-28 00:00
125K
scmfsa8b__t39_scmfsa8b.vout
2024-08-03 05:56
4.7K
scmfsa8b__t40_scmfsa8b
2024-07-28 00:02
189K
scmfsa8b__t40_scmfsa8b.vout
2024-08-03 06:09
4.7K
scmfsa8b__t42_scmfsa8b
2024-07-28 00:04
53K
scmfsa8b__t42_scmfsa8b.depv1
2024-08-03 10:19
88
scmfsa8b__t42_scmfsa8b.depvmin1
2024-08-03 10:24
51
scmfsa8b__t42_scmfsa8b.vmin1
2024-08-03 10:20
3.2K
scmfsa8b__t42_scmfsa8b.vmin1out
2024-08-03 10:21
59K
scmfsa8b__t42_scmfsa8b.vout
2024-08-03 08:11
69K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80