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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]jordan9__l1_jordan92025-09-12 22:53 42K 
[ ]jordan9__l8_jordan92025-09-12 22:55 60K 
[ ]jordan9__t1_jordan92025-09-12 21:48 31K 
[ ]jordan9__t2_jordan92025-09-12 21:49 36K 
[ ]jordan9__t3_jordan92025-09-12 21:51 74K 
[ ]jordan9__t4_jordan92025-09-12 21:52 61K 
[ ]jordan9__t5_jordan92025-09-12 21:54 63K 
[ ]jordan9__t6_jordan92025-09-12 21:55 57K 
[ ]jordan9__t7_jordan92025-09-12 21:57 73K 
[ ]jordan9__t8_jordan92025-09-12 21:59 62K 
[ ]jordan9__t9_jordan92025-09-12 22:01 93K 
[ ]jordan9__t10_jordan92025-09-12 22:03 94K 
[ ]jordan9__t11_jordan92025-09-12 22:05 94K 
[ ]jordan9__t12_jordan92025-09-12 22:07 66K 
[ ]jordan9__t13_jordan92025-09-12 22:09 66K 
[ ]jordan9__t14_jordan92025-09-12 22:11 157K 
[ ]jordan9__t15_jordan92025-09-12 22:14 95K 
[ ]jordan9__t16_jordan92025-09-12 22:15 57K 
[ ]jordan9__t17_jordan92025-09-12 22:17 62K 
[ ]jordan9__t18_jordan92025-09-12 22:19 62K 
[ ]jordan9__t19_jordan92025-09-12 22:21 78K 
[ ]jordan9__t20_jordan92025-09-12 22:23 63K 
[ ]jordan9__t21_jordan92025-09-12 22:25 71K 
[ ]jordan9__t22_jordan92025-09-12 22:28 155K 
[ ]jordan9__t23_jordan92025-09-12 22:30 65K 
[ ]jordan9__t24_jordan92025-09-12 22:31 53K 
[ ]jordan9__t25_jordan92025-09-12 22:33 53K 
[ ]jordan9__t26_jordan92025-09-12 22:35 67K 
[ ]jordan9__t27_jordan92025-09-12 22:37 77K 
[ ]jordan9__t28_jordan92025-09-12 22:40 310K 
[ ]jordan9__t29_jordan92025-09-12 22:43 310K 
[ ]jordan9__t30_jordan92025-09-12 22:46 341K 
[ ]jordan9__t31_jordan92025-09-12 22:50 511K 
[ ]jordan9__t32_jordan92025-09-12 22:52 104K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80