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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]jordan16__t1_jordan162025-09-14 02:17 71K 
[ ]jordan16__t2_jordan162025-09-14 02:19 43K 
[ ]jordan16__t3_jordan162025-09-14 02:20 38K 
[ ]jordan16__t4_jordan162025-09-14 02:22 38K 
[ ]jordan16__t5_jordan162025-09-14 02:24 56K 
[ ]jordan16__t6_jordan162025-09-14 02:26 70K 
[ ]jordan16__t7_jordan162025-09-14 02:28 70K 
[ ]jordan16__t8_jordan162025-09-14 02:30 43K 
[ ]jordan16__t9_jordan162025-09-14 02:31 46K 
[ ]jordan16__t10_jordan162025-09-14 02:34 77K 
[ ]jordan16__t11_jordan162025-09-14 02:35 57K 
[ ]jordan16__t12_jordan162025-09-14 02:37 51K 
[ ]jordan16__t13_jordan162025-09-14 02:39 56K 
[ ]jordan16__t14_jordan162025-09-14 02:41 56K 
[ ]jordan16__t15_jordan162025-09-14 02:43 47K 
[ ]jordan16__t16_jordan162025-09-14 02:45 55K 
[ ]jordan16__t17_jordan162025-09-14 02:47 49K 
[ ]jordan16__t18_jordan162025-09-14 02:49 49K 
[ ]jordan16__t19_jordan162025-09-14 02:50 39K 
[ ]jordan16__t20_jordan162025-09-14 02:52 56K 
[ ]jordan16__t21_jordan162025-09-14 02:55 128K 
[ ]jordan16__t22_jordan162025-09-14 02:56 51K 
[ ]jordan16__t23_jordan162025-09-14 02:58 54K 
[ ]jordan16__t24_jordan162025-09-14 03:00 46K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80