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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]ranknull__l29_ranknull2025-09-13 23:57 66K 
[ ]ranknull__t1_ranknull2025-09-13 22:43 34K 
[ ]ranknull__t2_ranknull2025-09-13 22:44 27K 
[ ]ranknull__t3_ranknull2025-09-13 22:45 23K 
[ ]ranknull__t4_ranknull2025-09-13 22:46 33K 
[ ]ranknull__t5_ranknull2025-09-13 22:48 54K 
[ ]ranknull__t6_ranknull2025-09-13 22:50 65K 
[ ]ranknull__t7_ranknull2025-09-13 22:51 38K 
[ ]ranknull__t9_ranknull2025-09-13 22:52 43K 
[ ]ranknull__t10_ranknull2025-09-13 22:54 49K 
[ ]ranknull__t11_ranknull2025-09-13 22:55 51K 
[ ]ranknull__t12_ranknull2025-09-13 22:57 48K 
[ ]ranknull__t13_ranknull2025-09-13 22:59 56K 
[ ]ranknull__t14_ranknull2025-09-13 23:01 49K 
[ ]ranknull__t15_ranknull2025-09-13 23:02 60K 
[ ]ranknull__t16_ranknull2025-09-13 23:04 49K 
[ ]ranknull__t17_ranknull2025-09-13 23:05 52K 
[ ]ranknull__t18_ranknull2025-09-13 23:07 55K 
[ ]ranknull__t19_ranknull2025-09-13 23:08 47K 
[ ]ranknull__t20_ranknull2025-09-13 23:10 48K 
[ ]ranknull__t21_ranknull2025-09-13 23:12 55K 
[ ]ranknull__t22_ranknull2025-09-13 23:14 76K 
[ ]ranknull__t23_ranknull2025-09-13 23:16 58K 
[ ]ranknull__t24_ranknull2025-09-13 23:18 67K 
[ ]ranknull__t25_ranknull2025-09-13 23:19 65K 
[ ]ranknull__t26_ranknull2025-09-13 23:21 64K 
[ ]ranknull__t27_ranknull2025-09-13 23:23 76K 
[ ]ranknull__t28_ranknull2025-09-13 23:25 53K 
[ ]ranknull__t29_ranknull2025-09-13 23:27 65K 
[ ]ranknull__t30_ranknull2025-09-13 23:29 51K 
[ ]ranknull__t31_ranknull2025-09-13 23:30 57K 
[ ]ranknull__t32_ranknull2025-09-13 23:32 59K 
[ ]ranknull__t33_ranknull2025-09-13 23:35 111K 
[ ]ranknull__t34_ranknull2025-09-13 23:37 65K 
[ ]ranknull__t35_ranknull2025-09-13 23:38 56K 
[ ]ranknull__t36_ranknull2025-09-13 23:40 59K 
[ ]ranknull__t37_ranknull2025-09-13 23:42 79K 
[ ]ranknull__t38_ranknull2025-09-13 23:44 73K 
[ ]ranknull__t39_ranknull2025-09-13 23:46 62K 
[ ]ranknull__t40_ranknull2025-09-13 23:48 85K 
[ ]ranknull__t41_ranknull2025-09-13 23:50 45K 
[ ]ranknull__t42_ranknull2025-09-13 23:52 73K 
[ ]ranknull__t43_ranknull2025-09-13 23:54 93K 
[ ]ranknull__t45_ranknull2025-09-13 23:56 62K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80