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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]topreal8__t1_topreal82025-09-12 15:39 30K 
[ ]topreal8__t2_topreal82025-09-12 15:40 38K 
[ ]topreal8__t3_topreal82025-09-12 15:41 55K 
[ ]topreal8__t4_topreal82025-09-12 15:43 41K 
[ ]topreal8__t5_topreal82025-09-12 15:44 49K 
[ ]topreal8__t6_topreal82025-09-12 15:45 44K 
[ ]topreal8__t7_topreal82025-09-12 15:46 51K 
[ ]topreal8__t8_topreal82025-09-12 15:47 41K 
[ ]topreal8__t9_topreal82025-09-12 15:48 62K 
[ ]topreal8__t10_topreal82025-09-12 15:49 38K 
[ ]topreal8__t11_topreal82025-09-12 15:50 39K 
[ ]topreal8__t12_topreal82025-09-12 15:52 87K 
[ ]topreal8__t13_topreal82025-09-12 15:54 81K 
[ ]topreal8__t14_topreal82025-09-12 15:55 59K 
[ ]topreal8__t15_topreal82025-09-12 15:56 90K 
[ ]topreal8__t16_topreal82025-09-12 15:58 66K 
[ ]topreal8__t17_topreal82025-09-12 15:59 88K 
[ ]topreal8__t18_topreal82025-09-12 16:01 65K 
[ ]topreal8__t19_topreal82025-09-12 16:02 70K 
[ ]topreal8__t20_topreal82025-09-12 16:04 69K 
[ ]topreal8__t21_topreal82025-09-12 16:06 88K 
[ ]topreal8__t22_topreal82025-09-12 16:08 63K 
[ ]topreal8__t23_topreal82025-09-12 16:10 56K 
[ ]topreal8__t24_topreal82025-09-12 16:12 89K 
[ ]topreal8__t25_topreal82025-09-12 16:13 97K 
[ ]topreal8__t26_topreal82025-09-12 16:15 102K 
[ ]topreal8__t27_topreal82025-09-12 16:18 433K 
[ ]topreal8__t28_topreal82025-09-12 16:19 62K 
[ ]topreal8__t29_topreal82025-09-12 16:21 63K 
[ ]topreal8__t30_topreal82025-09-12 16:23 67K 
[ ]topreal8__t31_topreal82025-09-12 16:25 61K 
[ ]topreal8__t32_topreal82025-09-12 16:27 184K 
[ ]topreal8__t33_topreal82025-09-12 16:29 202K 
[ ]topreal8__t34_topreal82025-09-12 16:31 124K 
[ ]topreal8__t35_topreal82025-09-12 16:33 193K 
[ ]topreal8__t36_topreal82025-09-12 16:36 462K 
[ ]topreal8__l13_topreal82025-09-12 16:37 44K 
[ ]topreal8__l34_topreal82025-09-12 16:39 72K 
[ ]topreal8__l35_topreal82025-09-12 16:41 184K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80