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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]topreal7__l22_topreal72025-09-13 18:15 49K 
[ ]topreal7__l27_topreal72025-09-13 18:19 144K 
[ ]topreal7__t1_topreal72025-09-13 17:46 3.9K 
[ ]topreal7__t2_topreal72025-09-13 17:47 4.3K 
[ ]topreal7__t3_topreal72025-09-13 17:48 30K 
[ ]topreal7__t4_topreal72025-09-13 17:49 41K 
[ ]topreal7__t5_topreal72025-09-13 17:50 33K 
[ ]topreal7__t6_topreal72025-09-13 17:51 37K 
[ ]topreal7__t7_topreal72025-09-13 17:52 36K 
[ ]topreal7__t8_topreal72025-09-13 17:41 31K 
[ ]topreal7__t9_topreal72025-09-13 17:54 39K 
[ ]topreal7__t10_topreal72025-09-13 17:42 30K 
[ ]topreal7__t11_topreal72025-09-13 17:55 83K 
[ ]topreal7__t12_topreal72025-09-13 17:57 86K 
[ ]topreal7__t13_topreal72025-09-13 17:58 90K 
[ ]topreal7__t14_topreal72025-09-13 18:00 81K 
[ ]topreal7__t15_topreal72025-09-13 18:01 85K 
[ ]topreal7__t16_topreal72025-09-13 17:43 43K 
[ ]topreal7__t17_topreal72025-09-13 17:44 43K 
[ ]topreal7__t18_topreal72025-09-13 18:02 44K 
[ ]topreal7__t19_topreal72025-09-13 18:04 46K 
[ ]topreal7__t20_topreal72025-09-13 18:05 44K 
[ ]topreal7__t21_topreal72025-09-13 18:07 44K 
[ ]topreal7__t22_topreal72025-09-13 18:08 48K 
[ ]topreal7__t23_topreal72025-09-13 18:11 62K 
[ ]topreal7__t24_topreal72025-09-13 18:12 34K 
[ ]topreal7__t25_topreal72025-09-13 18:14 50K 
[ ]topreal7__t26_topreal72025-09-13 17:46 51K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80