Index of /~mptp/8.1.15_5.94.1493/MPTP2/problems_small/msualg_1
Name
Last modified
Size
Description
Parent Directory
-
msualg_1__t1_msualg_1
2025-09-09 02:00
36K
msualg_1__l14_msualg_1
2025-09-09 02:01
12K
msualg_1__t2_msualg_1
2025-09-09 02:02
27K
msualg_1__t3_msualg_1
2025-09-09 02:03
22K
msualg_1__t4_msualg_1
2025-09-09 02:04
29K
msualg_1__t5_msualg_1
2025-09-09 02:05
19K
msualg_1__t6_msualg_1
2025-09-09 02:07
46K
msualg_1__t7_msualg_1
2025-09-09 02:08
39K
msualg_1__t8_msualg_1
2025-09-09 02:10
43K
msualg_1__t9_msualg_1
2025-09-09 02:12
46K
msualg_1__t10_msualg_1
2025-09-09 02:13
39K
msualg_1__l8_msualg_1
2025-09-09 02:14
25K
msualg_1__l15_msualg_1
2025-09-09 02:16
37K
msualg_1__l15_msualg_1.vout
2025-09-15 13:47
4.7K
msualg_1__l14_msualg_1.vout
2025-09-15 14:43
4.9K
msualg_1__t7_msualg_1.vout
2025-09-15 14:46
22K
msualg_1__t6_msualg_1.vout
2025-09-15 15:14
7.3K
msualg_1__t2_msualg_1.vout
2025-09-15 15:33
37K
msualg_1__t5_msualg_1.vout
2025-09-15 15:40
8.4K
msualg_1__t9_msualg_1.vout
2025-09-15 16:35
4.7K
msualg_1__t1_msualg_1.vout
2025-09-15 17:07
16K
msualg_1__t10_msualg_1.vout
2025-09-15 17:41
42K
msualg_1__t8_msualg_1.vout
2025-09-15 18:18
7.3K
msualg_1__l8_msualg_1.vout
2025-09-15 19:12
7.3K
msualg_1__t4_msualg_1.vout
2025-09-15 19:34
35K
msualg_1__t3_msualg_1.vout
2025-09-15 19:39
12K
msualg_1__t2_msualg_1.depv1
2025-09-15 19:47
272
msualg_1__t4_msualg_1.depv1
2025-09-15 19:47
292
msualg_1__t7_msualg_1.depv1
2025-09-15 19:47
230
msualg_1__t1_msualg_1.depv1
2025-09-15 19:47
107
msualg_1__t3_msualg_1.depv1
2025-09-15 19:47
164
msualg_1__t10_msualg_1.depv1
2025-09-15 19:47
183
msualg_1__l14_msualg_1.depv1
2025-09-15 19:47
80
msualg_1__t1_msualg_1.vmin1
2025-09-15 19:47
2.0K
msualg_1__t2_msualg_1.vmin1
2025-09-15 19:47
2.9K
msualg_1__t4_msualg_1.vmin1
2025-09-15 19:47
2.7K
msualg_1__t7_msualg_1.vmin1
2025-09-15 19:47
2.3K
msualg_1__l14_msualg_1.vmin1
2025-09-15 19:47
432
msualg_1__t3_msualg_1.vmin1
2025-09-15 19:47
1.4K
msualg_1__t10_msualg_1.vmin1
2025-09-15 19:47
2.6K
msualg_1__l14_msualg_1.vmin1out
2025-09-15 19:47
5.0K
msualg_1__t3_msualg_1.vmin1out
2025-09-15 19:47
11K
msualg_1__t7_msualg_1.vmin1out
2025-09-15 19:48
21K
msualg_1__t4_msualg_1.vmin1out
2025-09-15 19:48
35K
msualg_1__t2_msualg_1.vmin1out
2025-09-15 19:49
39K
msualg_1__t10_msualg_1.vmin1out
2025-09-15 19:49
42K
msualg_1__t1_msualg_1.vmin1out
2025-09-15 19:50
15K
msualg_1__t4_msualg_1.depvmin1
2025-09-15 19:52
292
msualg_1__t7_msualg_1.depvmin1
2025-09-15 19:52
230
msualg_1__t1_msualg_1.depvmin1
2025-09-15 19:52
107
msualg_1__t2_msualg_1.depvmin1
2025-09-15 19:52
216
msualg_1__t3_msualg_1.depvmin1
2025-09-15 19:52
139
msualg_1__l14_msualg_1.depvmin1
2025-09-15 19:52
80
msualg_1__t10_msualg_1.depvmin1
2025-09-15 19:52
183
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80