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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]topreala__l1_topreala2025-09-13 00:32 61K 
[ ]topreala__t1_topreala2025-09-13 00:33 39K 
[ ]topreala__t2_topreala2025-09-13 00:35 57K 
[ ]topreala__t3_topreala2025-09-13 00:36 47K 
[ ]topreala__t4_topreala2025-09-13 00:38 52K 
[ ]topreala__t5_topreala2025-09-13 00:39 61K 
[ ]topreala__t6_topreala2025-09-13 00:41 54K 
[ ]topreala__t7_topreala2025-09-13 00:43 60K 
[ ]topreala__t8_topreala2025-09-13 00:44 81K 
[ ]topreala__t9_topreala2025-09-13 00:47 80K 
[ ]topreala__t10_topreala2025-09-13 00:49 98K 
[ ]topreala__t11_topreala2025-09-13 00:50 73K 
[ ]topreala__t12_topreala2025-09-13 00:51 8.6K 
[ ]topreala__t13_topreala2025-09-13 00:53 69K 
[ ]topreala__t14_topreala2025-09-13 00:55 76K 
[ ]topreala__t15_topreala2025-09-13 00:57 78K 
[ ]topreala__t16_topreala2025-09-13 00:59 76K 
[ ]topreala__t17_topreala2025-09-13 01:00 65K 
[ ]topreala__t18_topreala2025-09-13 01:02 79K 
[ ]topreala__t19_topreala2025-09-13 01:04 65K 
[ ]topreala__t20_topreala2025-09-13 01:06 65K 
[ ]topreala__t21_topreala2025-09-13 01:08 80K 
[ ]topreala__t22_topreala2025-09-13 01:10 77K 
[ ]topreala__t23_topreala2025-09-13 01:12 68K 
[ ]topreala__t24_topreala2025-09-13 01:13 69K 
[ ]topreala__t25_topreala2025-09-13 01:15 75K 
[ ]topreala__t26_topreala2025-09-13 01:17 78K 
[ ]topreala__t27_topreala2025-09-13 01:19 67K 
[ ]topreala__t28_topreala2025-09-13 00:30 70K 
[ ]topreala__t29_topreala2025-09-13 01:21 72K 
[ ]topreala__t30_topreala2025-09-13 01:24 92K 
[ ]topreala__t31_topreala2025-09-13 01:26 76K 
[ ]topreala__t32_topreala2025-09-13 01:28 78K 
[ ]topreala__t33_topreala2025-09-13 01:31 83K 
[ ]topreala__t34_topreala2025-09-13 01:33 81K 
[ ]topreala__t35_topreala2025-09-13 01:35 107K 
[ ]topreala__t36_topreala2025-09-13 01:38 113K 
[ ]topreala__t37_topreala2025-09-13 01:40 97K 
[ ]topreala__t38_topreala2025-09-13 01:43 82K 
[ ]topreala__t39_topreala2025-09-13 01:45 110K 
[ ]topreala__t40_topreala2025-09-13 01:48 110K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80