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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]jordan3__l43_jordan32025-09-13 13:36 99K 
[ ]jordan3__l50_jordan32025-09-13 13:37 44K 
[ ]jordan3__l51_jordan32025-09-13 13:39 70K 
[ ]jordan3__l52_jordan32025-09-13 13:40 57K 
[ ]jordan3__l53_jordan32025-09-13 13:41 60K 
[ ]jordan3__l54_jordan32025-09-13 13:43 61K 
[ ]jordan3__l55_jordan32025-09-13 13:45 188K 
[ ]jordan3__l56_jordan32025-09-13 13:47 56K 
[ ]jordan3__l57_jordan32025-09-13 13:48 42K 
[ ]jordan3__l58_jordan32025-09-13 13:49 50K 
[ ]jordan3__t1_jordan32025-09-13 11:50 105K 
[ ]jordan3__t2_jordan32025-09-13 11:52 98K 
[ ]jordan3__t3_jordan32025-09-13 11:54 64K 
[ ]jordan3__t4_jordan32025-09-13 11:56 62K 
[ ]jordan3__t5_jordan32025-09-13 11:58 78K 
[ ]jordan3__t6_jordan32025-09-13 12:00 92K 
[ ]jordan3__t7_jordan32025-09-13 12:02 55K 
[ ]jordan3__t8_jordan32025-09-13 12:04 74K 
[ ]jordan3__t9_jordan32025-09-13 12:06 54K 
[ ]jordan3__t10_jordan32025-09-13 12:08 55K 
[ ]jordan3__t11_jordan32025-09-13 12:10 61K 
[ ]jordan3__t12_jordan32025-09-13 12:12 187K 
[ ]jordan3__t13_jordan32025-09-13 12:14 62K 
[ ]jordan3__t14_jordan32025-09-13 12:16 181K 
[ ]jordan3__t15_jordan32025-09-13 12:18 60K 
[ ]jordan3__t16_jordan32025-09-13 12:20 207K 
[ ]jordan3__t17_jordan32025-09-13 12:23 221K 
[ ]jordan3__t18_jordan32025-09-13 12:26 126K 
[ ]jordan3__t19_jordan32025-09-13 12:29 220K 
[ ]jordan3__t20_jordan32025-09-13 12:31 154K 
[ ]jordan3__t21_jordan32025-09-13 12:33 95K 
[ ]jordan3__t22_jordan32025-09-13 12:35 209K 
[ ]jordan3__t23_jordan32025-09-13 12:37 194K 
[ ]jordan3__t24_jordan32025-09-13 12:40 97K 
[ ]jordan3__t25_jordan32025-09-13 12:42 82K 
[ ]jordan3__t26_jordan32025-09-13 12:44 92K 
[ ]jordan3__t27_jordan32025-09-13 12:46 71K 
[ ]jordan3__t28_jordan32025-09-13 12:48 107K 
[ ]jordan3__t29_jordan32025-09-13 12:51 200K 
[ ]jordan3__t30_jordan32025-09-13 12:53 105K 
[ ]jordan3__t31_jordan32025-09-13 12:56 203K 
[ ]jordan3__t32_jordan32025-09-13 12:58 69K 
[ ]jordan3__t33_jordan32025-09-13 13:00 61K 
[ ]jordan3__t34_jordan32025-09-13 13:02 56K 
[ ]jordan3__t35_jordan32025-09-13 13:04 56K 
[ ]jordan3__t36_jordan32025-09-13 13:06 98K 
[ ]jordan3__t37_jordan32025-09-13 13:08 56K 
[ ]jordan3__t38_jordan32025-09-13 13:11 470K 
[ ]jordan3__t39_jordan32025-09-13 13:13 293K 
[ ]jordan3__t40_jordan32025-09-13 13:15 67K 
[ ]jordan3__t41_jordan32025-09-13 13:17 107K 
[ ]jordan3__t42_jordan32025-09-13 13:20 94K 
[ ]jordan3__t43_jordan32025-09-13 13:22 202K 
[ ]jordan3__t44_jordan32025-09-13 13:24 70K 
[ ]jordan3__t45_jordan32025-09-13 13:26 108K 
[ ]jordan3__t46_jordan32025-09-13 13:29 114K 
[ ]jordan3__t47_jordan32025-09-13 13:31 202K 
[ ]jordan3__t48_jordan32025-09-13 13:33 71K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80