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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]translac__l2_translac2025-09-12 15:47 17K 
[ ]translac__l3_translac2025-09-12 15:48 14K 
[ ]translac__l4_translac2025-09-12 15:49 17K 
[ ]translac__l7_translac2025-09-12 15:50 13K 
[ ]translac__l8_translac2025-09-12 15:50 12K 
[ ]translac__l12_translac2025-09-12 15:51 13K 
[ ]translac__l13_translac2025-09-12 15:52 18K 
[ ]translac__l14_translac2025-09-12 15:53 18K 
[ ]translac__l16_translac2025-09-12 15:53 23K 
[ ]translac__l17_translac2025-09-12 15:54 14K 
[ ]translac__l18_translac2025-09-12 15:55 15K 
[ ]translac__l19_translac2025-09-12 15:56 35K 
[ ]translac__t1_translac2025-09-12 15:34 19K 
[ ]translac__t2_translac2025-09-12 15:35 11K 
[ ]translac__t3_translac2025-09-12 15:36 28K 
[ ]translac__t4_translac2025-09-12 15:37 23K 
[ ]translac__t5_translac2025-09-12 15:38 23K 
[ ]translac__t6_translac2025-09-12 15:38 17K 
[ ]translac__t7_translac2025-09-12 15:39 18K 
[ ]translac__t8_translac2025-09-12 15:40 28K 
[ ]translac__t9_translac2025-09-12 15:41 37K 
[ ]translac__t10_translac2025-09-12 15:42 41K 
[ ]translac__t11_translac2025-09-12 15:43 38K 
[ ]translac__t12_translac2025-09-12 15:45 53K 
[ ]translac__t13_translac2025-09-12 15:46 34K 
[ ]translac__t14_translac2025-09-12 15:47 38K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80