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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]algstr_3__l7_algstr_32025-09-13 20:38 4.1K 
[ ]algstr_3__l9_algstr_32025-09-13 20:46 29K 
[ ]algstr_3__l10_algstr_32025-09-13 20:47 29K 
[ ]algstr_3__l11_algstr_32025-09-13 20:48 28K 
[ ]algstr_3__l12_algstr_32025-09-13 20:49 28K 
[ ]algstr_3__l13_algstr_32025-09-13 20:51 52K 
[ ]algstr_3__l14_algstr_32025-09-13 20:52 37K 
[ ]algstr_3__l15_algstr_32025-09-13 20:53 53K 
[ ]algstr_3__l16_algstr_32025-09-13 20:55 53K 
[ ]algstr_3__l17_algstr_32025-09-13 20:56 53K 
[ ]algstr_3__t1_algstr_32025-09-13 20:39 34K 
[ ]algstr_3__t2_algstr_32025-09-13 20:37 28K 
[ ]algstr_3__t3_algstr_32025-09-13 20:38 19K 
[ ]algstr_3__t4_algstr_32025-09-13 20:40 24K 
[ ]algstr_3__t5_algstr_32025-09-13 20:41 23K 
[ ]algstr_3__t6_algstr_32025-09-13 20:42 23K 
[ ]algstr_3__t7_algstr_32025-09-13 20:44 23K 
[ ]algstr_3__t8_algstr_32025-09-13 20:45 23K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80