Index of /~mptp/8.1.14_5.79.1465/MPTP2/problems_small/number01
Name
Last modified
Size
Description
Parent Directory
-
number01__t1_number01
2024-07-28 12:58
61K
number01__t1_number01.vout
2024-08-03 09:13
4.7K
number01__t2_number01
2024-07-28 13:00
43K
number01__t2_number01.depv1
2024-08-03 10:19
100
number01__t2_number01.depvmin1
2024-08-03 10:24
100
number01__t2_number01.vmin1
2024-08-03 10:20
642
number01__t2_number01.vmin1out
2024-08-03 10:20
6.8K
number01__t2_number01.vout
2024-08-03 04:26
7.0K
number01__t3_number01
2024-07-28 13:02
205K
number01__t3_number01.vout
2024-08-03 05:13
7.9K
number01__t4_number01
2024-07-28 13:03
34K
number01__t4_number01.depv1
2024-08-03 10:19
367
number01__t4_number01.depvmin1
2024-08-03 10:24
345
number01__t4_number01.vmin1
2024-08-03 10:20
2.9K
number01__t4_number01.vmin1out
2024-08-03 10:21
40K
number01__t4_number01.vout
2024-08-03 05:20
42K
number01__t5_number01
2024-07-28 13:05
1.9M
number01__t5_number01.vout
2024-08-03 09:48
6.8K
number01__t6_number01
2024-07-28 13:33
630K
number01__t6_number01.vout
2024-08-03 07:49
5.9K
number01__t7_number01
2024-07-28 13:08
1.7M
number01__t7_number01.vout
2024-08-03 07:05
6.8K
number01__t8_number01
2024-07-28 13:10
963K
number01__t8_number01.vout
2024-08-03 08:41
7.3K
number01__t9_number01
2024-07-28 13:12
432K
number01__t9_number01.vout
2024-08-03 07:36
2.0K
number01__t10_number01
2024-07-28 13:14
1.4M
number01__t10_number01.vout
2024-08-03 04:40
2.0K
number01__t11_number01
2024-07-28 13:15
47K
number01__t11_number01.vout
2024-08-03 06:11
7.3K
number01__t12_number01
2024-07-28 13:18
144K
number01__t12_number01.vout
2024-08-03 04:43
6.8K
number01__t13_number01
2024-07-28 13:19
70K
number01__t13_number01.vout
2024-08-03 07:24
6.8K
number01__t14_number01
2024-07-28 13:22
566K
number01__t14_number01.vout
2024-08-03 08:59
4.7K
number01__t15_number01
2024-07-28 13:24
91K
number01__t15_number01.vout
2024-08-03 08:24
7.3K
number01__t16_number01
2024-07-28 13:26
113K
number01__t16_number01.vout
2024-08-03 06:27
7.3K
number01__t17_number01
2024-07-28 13:28
306K
number01__t17_number01.vout
2024-08-03 06:53
3.7K
number01__t18_number01
2024-07-28 13:31
289K
number01__t18_number01.vout
2024-08-03 07:18
6.8K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80