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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]topreal4__l27_topreal42025-09-12 08:52 39K 
[ ]topreal4__t1_topreal42025-09-12 08:47 42K 
[ ]topreal4__t2_topreal42025-09-12 08:49 49K 
[ ]topreal4__t3_topreal42025-09-12 08:54 49K 
[ ]topreal4__t4_topreal42025-09-12 08:56 45K 
[ ]topreal4__t5_topreal42025-09-12 08:58 60K 
[ ]topreal4__t6_topreal42025-09-12 09:01 63K 
[ ]topreal4__t7_topreal42025-09-12 09:03 63K 
[ ]topreal4__t8_topreal42025-09-12 09:05 55K 
[ ]topreal4__t9_topreal42025-09-12 09:07 55K 
[ ]topreal4__t10_topreal42025-09-12 09:09 61K 
[ ]topreal4__t11_topreal42025-09-12 09:11 73K 
[ ]topreal4__t12_topreal42025-09-12 09:13 73K 
[ ]topreal4__t13_topreal42025-09-12 09:16 190K 
[ ]topreal4__t14_topreal42025-09-12 09:18 182K 
[ ]topreal4__t15_topreal42025-09-12 09:20 182K 
[ ]topreal4__t16_topreal42025-09-12 09:22 62K 
[ ]topreal4__t17_topreal42025-09-12 09:25 106K 
[ ]topreal4__t18_topreal42025-09-12 09:26 50K 
[ ]topreal4__t19_topreal42025-09-12 09:29 187K 
[ ]topreal4__t20_topreal42025-09-12 09:32 108K 
[ ]topreal4__t21_topreal42025-09-12 09:35 108K 
[ ]topreal4__t22_topreal42025-09-12 09:38 204K 
[ ]topreal4__t23_topreal42025-09-12 09:40 51K 
[ ]topreal4__t24_topreal42025-09-12 09:42 54K 
[ ]topreal4__t25_topreal42025-09-12 09:44 54K 
[ ]topreal4__t26_topreal42025-09-12 09:46 43K 
[ ]topreal4__t27_topreal42025-09-12 09:48 65K 
[ ]topreal4__t28_topreal42025-09-12 08:51 44K 
[ ]topreal4__t29_topreal42025-09-12 09:50 43K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80