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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]termord__l6_termord2025-09-13 14:18 61K 
[ ]termord__l11_termord2025-09-13 14:20 49K 
[ ]termord__l12_termord2025-09-13 14:21 51K 
[ ]termord__l13_termord2025-09-13 14:23 49K 
[ ]termord__l15_termord2025-09-13 14:24 52K 
[ ]termord__l23_termord2025-09-13 13:22 52K 
[ ]termord__l31_termord2025-09-13 14:26 74K 
[ ]termord__l32_termord2025-09-13 14:28 79K 
[ ]termord__l33_termord2025-09-13 14:29 67K 
[ ]termord__l34_termord2025-09-13 14:31 82K 
[ ]termord__l35_termord2025-09-13 14:33 79K 
[ ]termord__l39_termord2025-09-13 14:35 69K 
[ ]termord__l49_termord2025-09-13 14:36 46K 
[ ]termord__l50_termord2025-09-13 14:39 130K 
[ ]termord__l58_termord2025-09-13 14:41 83K 
[ ]termord__l59_termord2025-09-13 14:43 83K 
[ ]termord__l60_termord2025-09-13 14:45 91K 
[ ]termord__l63_termord2025-09-13 14:47 80K 
[ ]termord__l64_termord2025-09-13 14:49 85K 
[ ]termord__t1_termord2025-09-13 13:24 75K 
[ ]termord__t2_termord2025-09-13 13:26 91K 
[ ]termord__t3_termord2025-09-13 13:29 108K 
[ ]termord__t4_termord2025-09-13 13:31 85K 
[ ]termord__t5_termord2025-09-13 13:33 52K 
[ ]termord__t6_termord2025-09-13 13:04 48K 
[ ]termord__t7_termord2025-09-13 13:05 49K 
[ ]termord__t8_termord2025-09-13 13:34 50K 
[ ]termord__t9_termord2025-09-13 13:07 55K 
[ ]termord__t10_termord2025-09-13 13:36 58K 
[ ]termord__t11_termord2025-09-13 13:37 51K 
[ ]termord__t12_termord2025-09-13 13:38 51K 
[ ]termord__t13_termord2025-09-13 13:40 56K 
[ ]termord__t14_termord2025-09-13 13:41 56K 
[ ]termord__t15_termord2025-09-13 13:43 56K 
[ ]termord__t16_termord2025-09-13 13:44 56K 
[ ]termord__t17_termord2025-09-13 13:08 65K 
[ ]termord__t18_termord2025-09-13 13:10 64K 
[ ]termord__t19_termord2025-09-13 13:46 77K 
[ ]termord__t20_termord2025-09-13 13:48 70K 
[ ]termord__t21_termord2025-09-13 13:12 66K 
[ ]termord__t22_termord2025-09-13 13:50 81K 
[ ]termord__t23_termord2025-09-13 13:13 68K 
[ ]termord__t24_termord2025-09-13 13:52 70K 
[ ]termord__t25_termord2025-09-13 13:54 71K 
[ ]termord__t26_termord2025-09-13 13:56 82K 
[ ]termord__t27_termord2025-09-13 13:57 66K 
[ ]termord__t28_termord2025-09-13 13:15 68K 
[ ]termord__t29_termord2025-09-13 14:00 96K 
[ ]termord__t30_termord2025-09-13 14:02 96K 
[ ]termord__t31_termord2025-09-13 14:05 84K 
[ ]termord__t32_termord2025-09-13 14:07 84K 
[ ]termord__t33_termord2025-09-13 14:09 93K 
[ ]termord__t34_termord2025-09-13 14:11 80K 
[ ]termord__t35_termord2025-09-13 14:13 78K 
[ ]termord__t36_termord2025-09-13 13:17 77K 
[ ]termord__t37_termord2025-09-13 14:15 84K 
[ ]termord__t38_termord2025-09-13 14:17 84K 
[ ]termord__t39_termord2025-09-13 13:19 73K 
[ ]termord__t40_termord2025-09-13 13:20 73K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80