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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]topreal5__l1_topreal52025-09-13 08:17 23K 
[ ]topreal5__t1_topreal52025-09-13 08:19 24K 
[ ]topreal5__t2_topreal52025-09-13 08:20 22K 
[ ]topreal5__t3_topreal52025-09-13 08:22 37K 
[ ]topreal5__t4_topreal52025-09-13 08:23 30K 
[ ]topreal5__t5_topreal52025-09-13 08:25 28K 
[ ]topreal5__t6_topreal52025-09-13 08:26 33K 
[ ]topreal5__t7_topreal52025-09-13 08:28 33K 
[ ]topreal5__t8_topreal52025-09-13 08:29 32K 
[ ]topreal5__t9_topreal52025-09-13 08:30 67K 
[ ]topreal5__t10_topreal52025-09-13 08:32 37K 
[ ]topreal5__t11_topreal52025-09-13 08:34 37K 
[ ]topreal5__t12_topreal52025-09-13 08:36 56K 
[ ]topreal5__t13_topreal52025-09-13 08:38 56K 
[ ]topreal5__t14_topreal52025-09-13 08:40 189K 
[ ]topreal5__t15_topreal52025-09-13 08:43 189K 
[ ]topreal5__t16_topreal52025-09-13 08:45 32K 
[ ]topreal5__t17_topreal52025-09-13 08:47 32K 
[ ]topreal5__t18_topreal52025-09-13 08:48 40K 
[ ]topreal5__t19_topreal52025-09-13 08:50 40K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80