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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]jordan5c__l28_jordan5c2025-09-13 01:36 90K 
[ ]jordan5c__l29_jordan5c2025-09-13 01:38 74K 
[ ]jordan5c__l30_jordan5c2025-09-13 01:40 90K 
[ ]jordan5c__l31_jordan5c2025-09-13 01:42 74K 
[ ]jordan5c__t1_jordan5c2025-09-13 00:30 72K 
[ ]jordan5c__t2_jordan5c2025-09-13 00:32 63K 
[ ]jordan5c__t3_jordan5c2025-09-13 00:34 59K 
[ ]jordan5c__t4_jordan5c2025-09-13 00:36 72K 
[ ]jordan5c__t5_jordan5c2025-09-13 00:38 62K 
[ ]jordan5c__t6_jordan5c2025-09-13 00:40 59K 
[ ]jordan5c__t7_jordan5c2025-09-13 00:41 43K 
[ ]jordan5c__t8_jordan5c2025-09-13 00:43 70K 
[ ]jordan5c__t9_jordan5c2025-09-13 00:45 53K 
[ ]jordan5c__t10_jordan5c2025-09-13 00:47 54K 
[ ]jordan5c__t11_jordan5c2025-09-13 00:49 47K 
[ ]jordan5c__t12_jordan5c2025-09-13 00:51 56K 
[ ]jordan5c__t13_jordan5c2025-09-13 00:53 55K 
[ ]jordan5c__t14_jordan5c2025-09-13 00:55 57K 
[ ]jordan5c__t15_jordan5c2025-09-13 00:57 60K 
[ ]jordan5c__t16_jordan5c2025-09-13 00:59 60K 
[ ]jordan5c__t17_jordan5c2025-09-13 01:01 68K 
[ ]jordan5c__t18_jordan5c2025-09-13 01:03 114K 
[ ]jordan5c__t19_jordan5c2025-09-13 01:06 119K 
[ ]jordan5c__t20_jordan5c2025-09-13 01:09 124K 
[ ]jordan5c__t21_jordan5c2025-09-13 01:11 59K 
[ ]jordan5c__t22_jordan5c2025-09-13 01:13 59K 
[ ]jordan5c__t23_jordan5c2025-09-13 01:15 69K 
[ ]jordan5c__t24_jordan5c2025-09-13 01:18 87K 
[ ]jordan5c__t25_jordan5c2025-09-13 01:20 70K 
[ ]jordan5c__t26_jordan5c2025-09-13 01:22 69K 
[ ]jordan5c__t27_jordan5c2025-09-13 01:25 91K 
[ ]jordan5c__t28_jordan5c2025-09-13 01:27 91K 
[ ]jordan5c__t29_jordan5c2025-09-13 01:30 95K 
[ ]jordan5c__t30_jordan5c2025-09-13 01:33 123K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80