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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]msaterm__l1_msaterm2025-09-13 07:42 62K 
[ ]msaterm__l2_msaterm2025-09-13 07:43 49K 
[ ]msaterm__l6_msaterm2025-09-13 07:45 60K 
[ ]msaterm__l7_msaterm2025-09-13 07:47 68K 
[ ]msaterm__l8_msaterm2025-09-13 07:48 52K 
[ ]msaterm__l9_msaterm2025-09-13 07:50 39K 
[ ]msaterm__l24_msaterm2025-09-13 06:12 22K 
[ ]msaterm__l34_msaterm2025-09-13 07:52 83K 
[ ]msaterm__l44_msaterm2025-09-13 07:53 39K 
[ ]msaterm__s1_msaterm2025-09-13 06:14 76K 
[ ]msaterm__s2_msaterm2025-09-13 06:16 83K 
[ ]msaterm__s3_msaterm2025-09-13 06:18 82K 
[ ]msaterm__t1_msaterm2025-09-13 06:20 85K 
[ ]msaterm__t2_msaterm2025-09-13 06:22 74K 
[ ]msaterm__t3_msaterm2025-09-13 06:24 79K 
[ ]msaterm__t4_msaterm2025-09-13 06:26 58K 
[ ]msaterm__t5_msaterm2025-09-13 06:27 59K 
[ ]msaterm__t6_msaterm2025-09-13 06:29 66K 
[ ]msaterm__t7_msaterm2025-09-13 06:31 64K 
[ ]msaterm__t8_msaterm2025-09-13 06:33 66K 
[ ]msaterm__t9_msaterm2025-09-13 06:35 64K 
[ ]msaterm__t10_msaterm2025-09-13 06:37 69K 
[ ]msaterm__t11_msaterm2025-09-13 06:38 73K 
[ ]msaterm__t12_msaterm2025-09-13 06:08 50K 
[ ]msaterm__t13_msaterm2025-09-13 06:40 60K 
[ ]msaterm__t14_msaterm2025-09-13 06:42 69K 
[ ]msaterm__t15_msaterm2025-09-13 06:44 64K 
[ ]msaterm__t16_msaterm2025-09-13 06:46 64K 
[ ]msaterm__t17_msaterm2025-09-13 06:47 64K 
[ ]msaterm__t18_msaterm2025-09-13 06:09 63K 
[ ]msaterm__t19_msaterm2025-09-13 06:49 66K 
[ ]msaterm__t20_msaterm2025-09-13 06:51 81K 
[ ]msaterm__t21_msaterm2025-09-13 06:53 62K 
[ ]msaterm__t22_msaterm2025-09-13 06:55 70K 
[ ]msaterm__t23_msaterm2025-09-13 06:57 70K 
[ ]msaterm__t24_msaterm2025-09-13 06:59 85K 
[ ]msaterm__t25_msaterm2025-09-13 07:01 74K 
[ ]msaterm__t26_msaterm2025-09-13 07:03 86K 
[ ]msaterm__t27_msaterm2025-09-13 06:11 58K 
[ ]msaterm__t28_msaterm2025-09-13 07:05 59K 
[ ]msaterm__t29_msaterm2025-09-13 07:07 100K 
[ ]msaterm__t30_msaterm2025-09-13 07:09 35K 
[ ]msaterm__t31_msaterm2025-09-13 07:11 84K 
[ ]msaterm__t32_msaterm2025-09-13 07:13 84K 
[ ]msaterm__t33_msaterm2025-09-13 07:16 116K 
[ ]msaterm__t34_msaterm2025-09-13 07:19 91K 
[ ]msaterm__t35_msaterm2025-09-13 07:21 121K 
[ ]msaterm__t36_msaterm2025-09-13 07:24 104K 
[ ]msaterm__t37_msaterm2025-09-13 07:27 114K 
[ ]msaterm__t38_msaterm2025-09-13 07:30 139K 
[ ]msaterm__t39_msaterm2025-09-13 07:32 84K 
[ ]msaterm__t40_msaterm2025-09-13 07:34 93K 
[ ]msaterm__t41_msaterm2025-09-13 07:36 87K 
[ ]msaterm__t42_msaterm2025-09-13 07:38 87K 
[ ]msaterm__t43_msaterm2025-09-13 07:40 107K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80