Index of /~mptp/8.1.14_5.79.1465/MPTP2/problems_small/scmfsa7b
Name
Last modified
Size
Description
Parent Directory
-
scmfsa7b__l3_scmfsa7b
2024-07-28 03:00
202K
scmfsa7b__l3_scmfsa7b.vout
2024-08-03 08:07
6.8K
scmfsa7b__l5_scmfsa7b
2024-07-28 03:01
16K
scmfsa7b__l5_scmfsa7b.depv1
2024-08-03 10:19
53
scmfsa7b__l5_scmfsa7b.depvmin1
2024-08-03 10:24
53
scmfsa7b__l5_scmfsa7b.vmin1
2024-08-03 10:19
1.5K
scmfsa7b__l5_scmfsa7b.vmin1out
2024-08-03 10:20
45K
scmfsa7b__l5_scmfsa7b.vout
2024-08-03 04:42
21K
scmfsa7b__l6_scmfsa7b
2024-07-28 03:03
197K
scmfsa7b__l6_scmfsa7b.vout
2024-08-03 09:42
4.7K
scmfsa7b__l7_scmfsa7b
2024-07-28 03:05
52K
scmfsa7b__l7_scmfsa7b.vout
2024-08-03 05:20
7.3K
scmfsa7b__l8_scmfsa7b
2024-07-28 03:09
211K
scmfsa7b__l8_scmfsa7b.vout
2024-08-03 06:45
6.8K
scmfsa7b__t1_scmfsa7b
2024-07-28 02:22
66K
scmfsa7b__t1_scmfsa7b.vout
2024-08-03 07:59
7.4K
scmfsa7b__t2_scmfsa7b
2024-07-28 02:24
66K
scmfsa7b__t2_scmfsa7b.vout
2024-08-03 05:34
7.3K
scmfsa7b__t3_scmfsa7b
2024-07-28 02:26
68K
scmfsa7b__t3_scmfsa7b.vout
2024-08-03 04:48
6.8K
scmfsa7b__t4_scmfsa7b
2024-07-28 02:28
78K
scmfsa7b__t4_scmfsa7b.vout
2024-08-03 04:22
6.8K
scmfsa7b__t5_scmfsa7b
2024-07-28 02:15
45K
scmfsa7b__t5_scmfsa7b.vout
2024-08-03 06:25
5.3K
scmfsa7b__t6_scmfsa7b
2024-07-28 02:30
50K
scmfsa7b__t6_scmfsa7b.vout
2024-08-03 09:00
4.7K
scmfsa7b__t7_scmfsa7b
2024-07-28 02:32
50K
scmfsa7b__t7_scmfsa7b.vout
2024-08-03 04:44
4.7K
scmfsa7b__t8_scmfsa7b
2024-07-28 02:34
50K
scmfsa7b__t8_scmfsa7b.vout
2024-08-03 10:04
4.7K
scmfsa7b__t9_scmfsa7b
2024-07-28 02:36
50K
scmfsa7b__t9_scmfsa7b.vout
2024-08-03 04:21
4.7K
scmfsa7b__t10_scmfsa7b
2024-07-28 02:38
50K
scmfsa7b__t10_scmfsa7b.vout
2024-08-03 05:22
4.7K
scmfsa7b__t11_scmfsa7b
2024-07-28 02:16
45K
scmfsa7b__t11_scmfsa7b.vout
2024-08-03 08:31
4.7K
scmfsa7b__t12_scmfsa7b
2024-07-28 02:18
46K
scmfsa7b__t12_scmfsa7b.vout
2024-08-03 08:51
4.7K
scmfsa7b__t13_scmfsa7b
2024-07-28 02:20
46K
scmfsa7b__t13_scmfsa7b.vout
2024-08-03 05:44
4.7K
scmfsa7b__t14_scmfsa7b
2024-07-28 02:40
50K
scmfsa7b__t14_scmfsa7b.vout
2024-08-03 07:49
4.7K
scmfsa7b__t15_scmfsa7b
2024-07-28 02:42
52K
scmfsa7b__t15_scmfsa7b.vout
2024-08-03 08:28
4.7K
scmfsa7b__t16_scmfsa7b
2024-07-28 02:44
50K
scmfsa7b__t16_scmfsa7b.vout
2024-08-03 04:34
4.7K
scmfsa7b__t17_scmfsa7b
2024-07-28 02:46
51K
scmfsa7b__t17_scmfsa7b.vout
2024-08-03 08:05
4.7K
scmfsa7b__t19_scmfsa7b
2024-07-28 02:48
55K
scmfsa7b__t19_scmfsa7b.vout
2024-08-03 09:35
7.3K
scmfsa7b__t20_scmfsa7b
2024-07-28 02:50
121K
scmfsa7b__t20_scmfsa7b.vout
2024-08-03 09:18
4.7K
scmfsa7b__t21_scmfsa7b
2024-07-28 02:53
81K
scmfsa7b__t21_scmfsa7b.vout
2024-08-03 04:59
6.8K
scmfsa7b__t22_scmfsa7b
2024-07-28 02:55
71K
scmfsa7b__t22_scmfsa7b.vout
2024-08-03 06:07
7.3K
scmfsa7b__t23_scmfsa7b
2024-07-28 02:57
57K
scmfsa7b__t23_scmfsa7b.vout
2024-08-03 06:32
7.4K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80