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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]rinfsup1__t18_rinfsup12025-09-13 20:54 43K 
[ ]rinfsup1__t22_rinfsup12025-09-13 20:55 35K 
[ ]rinfsup1__t23_rinfsup12025-09-13 20:56 35K 
[ ]rinfsup1__t26_rinfsup12025-09-13 20:57 41K 
[ ]rinfsup1__t27_rinfsup12025-09-13 20:58 41K 
[ ]rinfsup1__t28_rinfsup12025-09-13 20:59 41K 
[ ]rinfsup1__t33_rinfsup12025-09-13 21:00 41K 
[ ]rinfsup1__t50_rinfsup12025-09-13 21:01 44K 
[ ]rinfsup1__t51_rinfsup12025-09-13 21:03 44K 
[ ]rinfsup1__t87_rinfsup12025-09-13 21:04 44K 
[ ]rinfsup1__t1_rinfsup12025-09-13 21:05 23K 
[ ]rinfsup1__t2_rinfsup12025-09-13 21:06 74K 
[ ]rinfsup1__t3_rinfsup12025-09-13 21:07 73K 
[ ]rinfsup1__t4_rinfsup12025-09-13 21:09 57K 
[ ]rinfsup1__t5_rinfsup12025-09-13 21:10 51K 
[ ]rinfsup1__t6_rinfsup12025-09-13 21:11 56K 
[ ]rinfsup1__t7_rinfsup12025-09-13 21:13 51K 
[ ]rinfsup1__t8_rinfsup12025-09-13 21:14 50K 
[ ]rinfsup1__t9_rinfsup12025-09-13 21:16 55K 
[ ]rinfsup1__t10_rinfsup12025-09-13 21:17 55K 
[ ]rinfsup1__t11_rinfsup12025-09-13 21:19 71K 
[ ]rinfsup1__t12_rinfsup12025-09-13 21:20 51K 
[ ]rinfsup1__t13_rinfsup12025-09-13 21:21 65K 
[ ]rinfsup1__t14_rinfsup12025-09-13 21:23 65K 
[ ]rinfsup1__t15_rinfsup12025-09-13 21:24 68K 
[ ]rinfsup1__t16_rinfsup12025-09-13 21:26 68K 
[ ]rinfsup1__t19_rinfsup12025-09-13 21:27 46K 
[ ]rinfsup1__t20_rinfsup12025-09-13 21:28 74K 
[ ]rinfsup1__t21_rinfsup12025-09-13 21:30 69K 
[ ]rinfsup1__t24_rinfsup12025-09-13 21:31 47K 
[ ]rinfsup1__t25_rinfsup12025-09-13 21:32 50K 
[ ]rinfsup1__t29_rinfsup12025-09-13 21:34 38K 
[ ]rinfsup1__t31_rinfsup12025-09-13 21:35 47K 
[ ]rinfsup1__t32_rinfsup12025-09-13 21:36 47K 
[ ]rinfsup1__t34_rinfsup12025-09-13 21:38 57K 
[ ]rinfsup1__t35_rinfsup12025-09-13 21:39 57K 
[ ]rinfsup1__t36_rinfsup12025-09-13 21:41 47K 
[ ]rinfsup1__t37_rinfsup12025-09-13 21:42 47K 
[ ]rinfsup1__t38_rinfsup12025-09-13 21:43 46K 
[ ]rinfsup1__t39_rinfsup12025-09-13 21:44 46K 
[ ]rinfsup1__t40_rinfsup12025-09-13 21:46 75K 
[ ]rinfsup1__t41_rinfsup12025-09-13 21:48 75K 
[ ]rinfsup1__t42_rinfsup12025-09-13 21:49 82K 
[ ]rinfsup1__t43_rinfsup12025-09-13 21:50 51K 
[ ]rinfsup1__t44_rinfsup12025-09-13 21:52 82K 
[ ]rinfsup1__t45_rinfsup12025-09-13 21:53 51K 
[ ]rinfsup1__t46_rinfsup12025-09-13 21:55 57K 
[ ]rinfsup1__t47_rinfsup12025-09-13 21:56 57K 
[ ]rinfsup1__t48_rinfsup12025-09-13 21:57 46K 
[ ]rinfsup1__t49_rinfsup12025-09-13 21:59 46K 
[ ]rinfsup1__t52_rinfsup12025-09-13 22:00 47K 
[ ]rinfsup1__t53_rinfsup12025-09-13 22:01 54K 
[ ]rinfsup1__t54_rinfsup12025-09-13 22:03 54K 
[ ]rinfsup1__t55_rinfsup12025-09-13 22:04 45K 
[ ]rinfsup1__t56_rinfsup12025-09-13 22:05 58K 
[ ]rinfsup1__t57_rinfsup12025-09-13 22:07 41K 
[ ]rinfsup1__t58_rinfsup12025-09-13 22:08 41K 
[ ]rinfsup1__t59_rinfsup12025-09-13 22:09 69K 
[ ]rinfsup1__t60_rinfsup12025-09-13 22:11 69K 
[ ]rinfsup1__t61_rinfsup12025-09-13 22:12 56K 
[ ]rinfsup1__t62_rinfsup12025-09-13 22:13 56K 
[ ]rinfsup1__t63_rinfsup12025-09-13 22:15 44K 
[ ]rinfsup1__t64_rinfsup12025-09-13 22:16 40K 
[ ]rinfsup1__t65_rinfsup12025-09-13 22:17 51K 
[ ]rinfsup1__t66_rinfsup12025-09-13 22:18 47K 
[ ]rinfsup1__t67_rinfsup12025-09-13 22:20 49K 
[ ]rinfsup1__t68_rinfsup12025-09-13 22:21 46K 
[ ]rinfsup1__t69_rinfsup12025-09-13 22:22 44K 
[ ]rinfsup1__t70_rinfsup12025-09-13 22:23 40K 
[ ]rinfsup1__t71_rinfsup12025-09-13 22:25 49K 
[ ]rinfsup1__t72_rinfsup12025-09-13 22:26 47K 
[ ]rinfsup1__t73_rinfsup12025-09-13 22:27 49K 
[ ]rinfsup1__t74_rinfsup12025-09-13 22:29 46K 
[ ]rinfsup1__t75_rinfsup12025-09-13 22:30 53K 
[ ]rinfsup1__t76_rinfsup12025-09-13 22:32 62K 
[ ]rinfsup1__t77_rinfsup12025-09-13 22:33 62K 
[ ]rinfsup1__t78_rinfsup12025-09-13 22:34 62K 
[ ]rinfsup1__t79_rinfsup12025-09-13 22:36 62K 
[ ]rinfsup1__t80_rinfsup12025-09-13 22:37 62K 
[ ]rinfsup1__t81_rinfsup12025-09-13 22:39 58K 
[ ]rinfsup1__t82_rinfsup12025-09-13 22:40 59K 
[ ]rinfsup1__t83_rinfsup12025-09-13 22:42 56K 
[ ]rinfsup1__t84_rinfsup12025-09-13 22:43 58K 
[ ]rinfsup1__t85_rinfsup12025-09-13 22:45 59K 
[ ]rinfsup1__t86_rinfsup12025-09-13 22:46 56K 
[ ]rinfsup1__t88_rinfsup12025-09-13 22:48 67K 
[ ]rinfsup1__t89_rinfsup12025-09-13 22:49 59K 
[ ]rinfsup1__t90_rinfsup12025-09-13 22:51 79K 
[ ]rinfsup1__t91_rinfsup12025-09-13 22:52 50K 
[ ]rinfsup1__t92_rinfsup12025-09-13 22:54 123K 
[ ]rinfsup1__t93_rinfsup12025-09-13 22:55 65K 
[ ]rinfsup1__l1_rinfsup12025-09-13 22:56 26K 
[ ]rinfsup1__l70_rinfsup12025-09-13 22:57 40K 
[ ]rinfsup1__l77_rinfsup12025-09-13 22:59 40K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80