Index of /~mptp/8.1.14_5.79.1465/MPTP2/problems_small/sfmastr1
Name
Last modified
Size
Description
Parent Directory
-
sfmastr1__l6_sfmastr1
2024-07-27 05:22
113K
sfmastr1__l6_sfmastr1.vout
2024-08-03 09:34
4.7K
sfmastr1__t1_sfmastr1
2024-07-27 04:44
71K
sfmastr1__t1_sfmastr1.vout
2024-08-03 09:04
4.7K
sfmastr1__t3_sfmastr1
2024-07-27 04:47
102K
sfmastr1__t3_sfmastr1.vout
2024-08-03 09:22
4.7K
sfmastr1__t4_sfmastr1
2024-07-27 04:49
80K
sfmastr1__t4_sfmastr1.vout
2024-08-03 05:10
4.7K
sfmastr1__t5_sfmastr1
2024-07-27 04:51
96K
sfmastr1__t5_sfmastr1.vout
2024-08-03 08:43
4.7K
sfmastr1__t6_sfmastr1
2024-07-27 04:54
112K
sfmastr1__t6_sfmastr1.vout
2024-08-03 05:14
4.7K
sfmastr1__t7_sfmastr1
2024-07-27 04:56
80K
sfmastr1__t7_sfmastr1.vout
2024-08-03 06:18
4.7K
sfmastr1__t8_sfmastr1
2024-07-27 04:59
82K
sfmastr1__t8_sfmastr1.vout
2024-08-03 07:19
4.7K
sfmastr1__t9_sfmastr1
2024-07-27 05:01
82K
sfmastr1__t9_sfmastr1.vout
2024-08-03 07:37
6.8K
sfmastr1__t10_sfmastr1
2024-07-27 05:04
67K
sfmastr1__t10_sfmastr1.vout
2024-08-03 08:40
4.7K
sfmastr1__t11_sfmastr1
2024-07-27 05:06
92K
sfmastr1__t11_sfmastr1.vout
2024-08-03 10:00
4.7K
sfmastr1__t12_sfmastr1
2024-07-27 05:09
94K
sfmastr1__t12_sfmastr1.vout
2024-08-03 06:12
4.7K
sfmastr1__t13_sfmastr1
2024-07-27 05:11
90K
sfmastr1__t13_sfmastr1.vout
2024-08-03 04:52
7.3K
sfmastr1__t14_sfmastr1
2024-07-27 05:14
85K
sfmastr1__t14_sfmastr1.vout
2024-08-03 05:06
4.7K
sfmastr1__t15_sfmastr1
2024-07-27 05:16
87K
sfmastr1__t15_sfmastr1.vout
2024-08-03 07:45
4.7K
sfmastr1__t16_sfmastr1
2024-07-27 05:18
90K
sfmastr1__t16_sfmastr1.vout
2024-08-03 06:33
7.3K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80