Index of /~mptp/8.1.14_5.79.1465/MPTP2/problems_small/amistd_5

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]amistd_5__l18_amistd_52024-07-27 06:42 97K 
[ ]amistd_5__l18_amistd_5.vout2024-08-03 08:43 4.7K 
[ ]amistd_5__t1_amistd_52024-07-27 06:15 16K 
[ ]amistd_5__t1_amistd_5.vout2024-08-03 08:13 7.9K 
[ ]amistd_5__t2_amistd_52024-07-27 06:16 55K 
[ ]amistd_5__t2_amistd_5.vout2024-08-03 09:57 4.7K 
[ ]amistd_5__t3_amistd_52024-07-27 06:18 37K 
[ ]amistd_5__t3_amistd_5.vout2024-08-03 08:01 1.1K 
[ ]amistd_5__t4_amistd_52024-07-27 06:19 46K 
[ ]amistd_5__t4_amistd_5.vout2024-08-03 06:46 4.7K 
[ ]amistd_5__t5_amistd_52024-07-27 06:21 55K 
[ ]amistd_5__t5_amistd_5.vout2024-08-03 04:36 4.7K 
[ ]amistd_5__t6_amistd_52024-07-27 06:22 40K 
[ ]amistd_5__t6_amistd_5.vout2024-08-03 08:13 1.1K 
[ ]amistd_5__t7_amistd_52024-07-27 06:24 39K 
[ ]amistd_5__t7_amistd_5.vout2024-08-03 09:35 1.1K 
[ ]amistd_5__t8_amistd_52024-07-27 06:26 77K 
[ ]amistd_5__t8_amistd_5.vout2024-08-03 07:46 7.3K 
[ ]amistd_5__t9_amistd_52024-07-27 06:28 85K 
[ ]amistd_5__t9_amistd_5.vout2024-08-03 08:14 7.3K 
[ ]amistd_5__t10_amistd_52024-07-27 06:30 85K 
[ ]amistd_5__t10_amistd_5.vout2024-08-03 05:39 7.3K 
[ ]amistd_5__t11_amistd_52024-07-27 06:32 72K 
[ ]amistd_5__t11_amistd_5.vout2024-08-03 09:51 4.7K 
[ ]amistd_5__t12_amistd_52024-07-27 06:34 58K 
[ ]amistd_5__t12_amistd_5.vout2024-08-03 06:53 7.3K 
[ ]amistd_5__t13_amistd_52024-07-27 06:36 78K 
[ ]amistd_5__t13_amistd_5.vout2024-08-03 06:58 4.7K 
[ ]amistd_5__t14_amistd_52024-07-27 06:38 68K 
[ ]amistd_5__t14_amistd_5.vout2024-08-03 06:49 6.8K 
[ ]amistd_5__t15_amistd_52024-07-27 06:40 36K 
[ ]amistd_5__t15_amistd_5.vout2024-08-03 05:53 2.0K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80