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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]jordan10__t1_jordan102025-09-12 21:29 119K 
[ ]jordan10__t2_jordan102025-09-12 21:32 130K 
[ ]jordan10__t3_jordan102025-09-12 21:35 93K 
[ ]jordan10__t4_jordan102025-09-12 21:37 119K 
[ ]jordan10__t5_jordan102025-09-12 21:40 92K 
[ ]jordan10__t6_jordan102025-09-12 21:43 306K 
[ ]jordan10__t7_jordan102025-09-12 21:45 107K 
[ ]jordan10__t8_jordan102025-09-12 21:48 336K 
[ ]jordan10__t9_jordan102025-09-12 21:51 71K 
[ ]jordan10__t10_jordan102025-09-12 21:53 67K 
[ ]jordan10__t11_jordan102025-09-12 21:55 54K 
[ ]jordan10__t12_jordan102025-09-12 21:57 51K 
[ ]jordan10__t13_jordan102025-09-12 21:59 72K 
[ ]jordan10__t14_jordan102025-09-12 22:03 371K 
[ ]jordan10__t15_jordan102025-09-12 22:05 53K 
[ ]jordan10__t16_jordan102025-09-12 22:07 57K 
[ ]jordan10__t17_jordan102025-09-12 22:09 64K 
[ ]jordan10__t18_jordan102025-09-12 22:11 55K 
[ ]jordan10__t19_jordan102025-09-12 22:13 53K 
[ ]jordan10__t20_jordan102025-09-12 22:15 69K 
[ ]jordan10__t21_jordan102025-09-12 22:17 73K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80