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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]topreal1__l5_topreal12025-09-13 18:45 81K 
[ ]topreal1__l12_topreal12025-09-13 18:46 47K 
[ ]topreal1__s1_topreal12025-09-13 17:20 31K 
[ ]topreal1__s2_topreal12025-09-13 17:22 54K 
[ ]topreal1__s3_topreal12025-09-13 17:24 55K 
[ ]topreal1__t1_topreal12025-09-13 17:26 64K 
[ ]topreal1__t2_topreal12025-09-13 17:19 67K 
[ ]topreal1__t3_topreal12025-09-13 17:28 92K 
[ ]topreal1__t4_topreal12025-09-13 17:30 92K 
[ ]topreal1__t5_topreal12025-09-13 17:32 120K 
[ ]topreal1__t6_topreal12025-09-13 17:34 74K 
[ ]topreal1__t7_topreal12025-09-13 17:36 76K 
[ ]topreal1__t8_topreal12025-09-13 17:38 127K 
[ ]topreal1__t9_topreal12025-09-13 17:42 174K 
[ ]topreal1__t10_topreal12025-09-13 17:44 93K 
[ ]topreal1__t11_topreal12025-09-13 17:46 93K 
[ ]topreal1__t12_topreal12025-09-13 17:49 93K 
[ ]topreal1__t13_topreal12025-09-13 17:51 95K 
[ ]topreal1__t14_topreal12025-09-13 17:53 80K 
[ ]topreal1__t15_topreal12025-09-13 17:55 101K 
[ ]topreal1__t16_topreal12025-09-13 17:58 101K 
[ ]topreal1__t17_topreal12025-09-13 18:00 101K 
[ ]topreal1__t18_topreal12025-09-13 18:02 101K 
[ ]topreal1__t19_topreal12025-09-13 18:04 81K 
[ ]topreal1__t20_topreal12025-09-13 18:06 80K 
[ ]topreal1__t21_topreal12025-09-13 18:08 76K 
[ ]topreal1__t22_topreal12025-09-13 18:10 72K 
[ ]topreal1__t23_topreal12025-09-13 18:12 65K 
[ ]topreal1__t24_topreal12025-09-13 18:15 219K 
[ ]topreal1__t25_topreal12025-09-13 18:18 331K 
[ ]topreal1__t26_topreal12025-09-13 18:20 65K 
[ ]topreal1__t27_topreal12025-09-13 18:22 115K 
[ ]topreal1__t28_topreal12025-09-13 18:24 75K 
[ ]topreal1__t29_topreal12025-09-13 18:26 65K 
[ ]topreal1__t30_topreal12025-09-13 18:28 60K 
[ ]topreal1__t31_topreal12025-09-13 18:30 61K 
[ ]topreal1__t32_topreal12025-09-13 18:32 60K 
[ ]topreal1__t33_topreal12025-09-13 18:34 61K 
[ ]topreal1__t34_topreal12025-09-13 18:35 60K 
[ ]topreal1__t35_topreal12025-09-13 18:37 61K 
[ ]topreal1__t36_topreal12025-09-13 18:39 60K 
[ ]topreal1__t37_topreal12025-09-13 18:41 61K 
[ ]topreal1__t38_topreal12025-09-13 18:43 63K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80