Index of /~mptp/8.1.15_5.94.1493/MPTP2/problems_small/algstr_3

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]algstr_3__t2_algstr_32025-09-09 15:41 16K 
[ ]algstr_3__t3_algstr_32025-09-09 15:42 11K 
[ ]algstr_3__l7_algstr_32025-09-09 15:42 2.1K 
[ ]algstr_3__t1_algstr_32025-09-09 15:43 19K 
[ ]algstr_3__t4_algstr_32025-09-09 15:44 14K 
[ ]algstr_3__t5_algstr_32025-09-09 15:45 13K 
[ ]algstr_3__t6_algstr_32025-09-09 15:46 14K 
[ ]algstr_3__t7_algstr_32025-09-09 15:47 13K 
[ ]algstr_3__t8_algstr_32025-09-09 15:48 14K 
[ ]algstr_3__l9_algstr_32025-09-09 15:49 17K 
[ ]algstr_3__l10_algstr_32025-09-09 15:51 17K 
[ ]algstr_3__l11_algstr_32025-09-09 15:52 17K 
[ ]algstr_3__l12_algstr_32025-09-09 15:53 17K 
[ ]algstr_3__l13_algstr_32025-09-09 15:54 30K 
[ ]algstr_3__l14_algstr_32025-09-09 15:55 21K 
[ ]algstr_3__l15_algstr_32025-09-09 15:56 30K 
[ ]algstr_3__l16_algstr_32025-09-09 15:57 30K 
[ ]algstr_3__l17_algstr_32025-09-09 15:59 30K 
[ ]algstr_3__t8_algstr_3.vout2025-09-15 13:31 40K 
[ ]algstr_3__l17_algstr_3.vout2025-09-15 13:35 4.7K 
[ ]algstr_3__l15_algstr_3.vout2025-09-15 14:20 4.7K 
[ ]algstr_3__t1_algstr_3.vout2025-09-15 14:40 7.3K 
[ ]algstr_3__t7_algstr_3.vout2025-09-15 14:52 4.1K 
[ ]algstr_3__l14_algstr_3.vout2025-09-15 14:59 4.7K 
[ ]algstr_3__t2_algstr_3.vout2025-09-15 15:06 4.7K 
[ ]algstr_3__l16_algstr_3.vout2025-09-15 15:07 4.7K 
[ ]algstr_3__l12_algstr_3.vout2025-09-15 15:54 4.7K 
[ ]algstr_3__t6_algstr_3.vout2025-09-15 15:55 56K 
[ ]algstr_3__l13_algstr_3.vout2025-09-15 16:04 4.7K 
[ ]algstr_3__l11_algstr_3.vout2025-09-15 17:41 4.7K 
[ ]algstr_3__t5_algstr_3.vout2025-09-15 17:46 38K 
[ ]algstr_3__t4_algstr_3.vout2025-09-15 17:52 39K 
[ ]algstr_3__l10_algstr_3.vout2025-09-15 18:48 4.7K 
[ ]algstr_3__l7_algstr_3.vout2025-09-15 18:57 4.0K 
[ ]algstr_3__t3_algstr_3.vout2025-09-15 19:40 21K 
[ ]algstr_3__l9_algstr_3.vout2025-09-15 19:44 4.7K 
[ ]algstr_3__l7_algstr_3.depv12025-09-15 19:47 103  
[ ]algstr_3__t5_algstr_3.depv12025-09-15 19:47 69  
[ ]algstr_3__t6_algstr_3.depv12025-09-15 19:47 164  
[ ]algstr_3__t3_algstr_3.depv12025-09-15 19:47 270  
[ ]algstr_3__t4_algstr_3.depv12025-09-15 19:47 24  
[ ]algstr_3__t8_algstr_3.depv12025-09-15 19:47 69  
[ ]algstr_3__l7_algstr_3.vmin12025-09-15 19:47 517  
[ ]algstr_3__t3_algstr_3.vmin12025-09-15 19:47 2.0K 
[ ]algstr_3__t4_algstr_3.vmin12025-09-15 19:47 2.8K 
[ ]algstr_3__t5_algstr_3.vmin12025-09-15 19:47 2.9K 
[ ]algstr_3__t6_algstr_3.vmin12025-09-15 19:47 4.6K 
[ ]algstr_3__t8_algstr_3.vmin12025-09-15 19:47 2.9K 
[ ]algstr_3__t8_algstr_3.vmin1out2025-09-15 19:47 35K 
[ ]algstr_3__t6_algstr_3.vmin1out2025-09-15 19:48 59K 
[ ]algstr_3__t3_algstr_3.vmin1out2025-09-15 19:48 14K 
[ ]algstr_3__l7_algstr_3.vmin1out2025-09-15 19:49 3.3K 
[ ]algstr_3__t5_algstr_3.vmin1out2025-09-15 19:50 36K 
[ ]algstr_3__t4_algstr_3.vmin1out2025-09-15 19:51 53K 
[ ]algstr_3__l7_algstr_3.depvmin12025-09-15 19:52 79  
[ ]algstr_3__t5_algstr_3.depvmin12025-09-15 19:52 69  
[ ]algstr_3__t6_algstr_3.depvmin12025-09-15 19:52 139  
[ ]algstr_3__t3_algstr_3.depvmin12025-09-15 19:52 246  
[ ]algstr_3__t4_algstr_3.depvmin12025-09-15 19:52 24  
[ ]algstr_3__t8_algstr_3.depvmin12025-09-15 19:52 69  
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80