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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]jordan18__l1_jordan182025-09-13 11:07 38K 
[ ]jordan18__l2_jordan182025-09-13 11:09 38K 
[ ]jordan18__l13_jordan182025-09-13 11:11 44K 
[ ]jordan18__t1_jordan182025-09-13 10:59 42K 
[ ]jordan18__t2_jordan182025-09-13 11:12 31K 
[ ]jordan18__t3_jordan182025-09-13 11:14 44K 
[ ]jordan18__t4_jordan182025-09-13 11:16 44K 
[ ]jordan18__t5_jordan182025-09-13 11:18 44K 
[ ]jordan18__t6_jordan182025-09-13 11:20 44K 
[ ]jordan18__t7_jordan182025-09-13 11:22 52K 
[ ]jordan18__t8_jordan182025-09-13 11:24 58K 
[ ]jordan18__t9_jordan182025-09-13 11:26 58K 
[ ]jordan18__t10_jordan182025-09-13 11:28 52K 
[ ]jordan18__t11_jordan182025-09-13 11:30 46K 
[ ]jordan18__t12_jordan182025-09-13 11:32 46K 
[ ]jordan18__t13_jordan182025-09-13 11:34 46K 
[ ]jordan18__t14_jordan182025-09-13 11:35 46K 
[ ]jordan18__t15_jordan182025-09-13 11:37 51K 
[ ]jordan18__t16_jordan182025-09-13 11:01 47K 
[ ]jordan18__t17_jordan182025-09-13 11:39 61K 
[ ]jordan18__t18_jordan182025-09-13 11:41 57K 
[ ]jordan18__t19_jordan182025-09-13 11:43 52K 
[ ]jordan18__t20_jordan182025-09-13 11:45 51K 
[ ]jordan18__t21_jordan182025-09-13 11:47 49K 
[ ]jordan18__t22_jordan182025-09-13 11:49 70K 
[ ]jordan18__t23_jordan182025-09-13 11:51 52K 
[ ]jordan18__t24_jordan182025-09-13 11:02 39K 
[ ]jordan18__t25_jordan182025-09-13 11:04 39K 
[ ]jordan18__t26_jordan182025-09-13 11:06 39K 
[ ]jordan18__t27_jordan182025-09-13 11:53 44K 
[ ]jordan18__t28_jordan182025-09-13 11:55 44K 
[ ]jordan18__t29_jordan182025-09-13 11:57 44K 
[ ]jordan18__t30_jordan182025-09-13 11:58 44K 
[ ]jordan18__t31_jordan182025-09-13 12:00 51K 
[ ]jordan18__t32_jordan182025-09-13 12:02 53K 
[ ]jordan18__t33_jordan182025-09-13 12:04 55K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80