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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]jordan8__t1_jordan82025-09-13 11:03 42K 
[ ]jordan8__t2_jordan82025-09-13 11:04 46K 
[ ]jordan8__t3_jordan82025-09-13 11:06 80K 
[ ]jordan8__t4_jordan82025-09-13 11:09 154K 
[ ]jordan8__t5_jordan82025-09-13 11:11 79K 
[ ]jordan8__t6_jordan82025-09-13 11:14 115K 
[ ]jordan8__t7_jordan82025-09-13 11:16 65K 
[ ]jordan8__t8_jordan82025-09-13 11:18 43K 
[ ]jordan8__t9_jordan82025-09-13 11:19 43K 
[ ]jordan8__t10_jordan82025-09-13 11:21 518K 
[ ]jordan8__t11_jordan82025-09-13 11:24 272K 
[ ]jordan8__t12_jordan82025-09-13 11:26 522K 
[ ]jordan8__t13_jordan82025-09-13 11:28 272K 
[ ]jordan8__t14_jordan82025-09-13 11:31 522K 
[ ]jordan8__t15_jordan82025-09-13 11:33 422K 
[ ]jordan8__t16_jordan82025-09-13 11:36 422K 
[ ]jordan8__t17_jordan82025-09-13 11:38 284K 
[ ]jordan8__t18_jordan82025-09-13 11:41 284K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80