Index of /~mptp/mml5.63.1382/MPTP2/problems_small/number01
Name
Last modified
Size
Description
Parent Directory
-
number01__t17_number01.vout
2021-07-25 18:57
3.7K
number01__t17_number01
2021-07-17 19:07
84K
number01__t16_number01.vout
2021-07-25 16:32
7.3K
number01__t16_number01
2021-07-17 19:06
101K
number01__t15_number01.vout
2021-07-25 14:56
7.3K
number01__t15_number01
2021-07-17 19:06
79K
number01__t14_number01.vout
2021-07-25 20:43
4.7K
number01__t14_number01
2021-07-17 19:05
481K
number01__t13_number01.vout
2021-07-25 20:06
6.8K
number01__t13_number01
2021-07-17 19:04
57K
number01__t12_number01.vout
2021-07-25 15:09
6.8K
number01__t12_number01
2021-07-17 19:03
126K
number01__t11_number01.vout
2021-07-25 19:52
7.4K
number01__t11_number01
2021-07-17 19:03
41K
number01__t10_number01.vout
2021-07-25 15:26
2.0K
number01__t10_number01
2021-07-17 19:02
1.0M
number01__t9_number01.vout
2021-07-25 19:57
2.0K
number01__t9_number01
2021-07-17 19:01
344K
number01__t8_number01.vout
2021-07-25 19:41
7.3K
number01__t8_number01
2021-07-17 19:01
756K
number01__t7_number01.vout
2021-07-25 15:30
7.3K
number01__t7_number01
2021-07-17 19:00
1.1M
number01__t6_number01.vout
2021-07-25 18:41
5.9K
number01__t6_number01
2021-07-17 19:08
478K
number01__t5_number01.vout
2021-07-25 18:37
6.8K
number01__t5_number01
2021-07-17 18:59
1.3M
number01__t4_number01.vout
2021-07-25 15:50
36K
number01__t4_number01.vmin1out
2021-07-25 21:01
35K
number01__t4_number01.vmin1
2021-07-25 20:57
2.4K
number01__t4_number01.depvmin1
2021-07-25 21:03
265
number01__t4_number01.depv1
2021-07-25 20:57
265
number01__t4_number01
2021-07-17 18:58
28K
number01__t3_number01.vout
2021-07-25 19:40
7.3K
number01__t3_number01
2021-07-17 18:58
143K
number01__t2_number01.vout
2021-07-25 16:24
8.7K
number01__t2_number01.vmin1out
2021-07-25 21:01
8.5K
number01__t2_number01.vmin1
2021-07-25 20:57
798
number01__t2_number01.depvmin1
2021-07-25 21:03
132
number01__t2_number01.depv1
2021-07-25 20:57
132
number01__t2_number01
2021-07-17 18:57
38K
number01__t1_number01.vout
2021-07-25 19:06
4.7K
number01__t1_number01
2021-07-17 18:57
54K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80