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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]number10__t69_number102025-09-11 23:37 1.5M 
[ ]number10__t68_number102025-09-11 23:35 3.8M 
[ ]number10__t67_number102025-09-11 23:32 1.0M 
[ ]number10__t66_number102025-09-11 21:11 1.0M 
[ ]number10__t65_number102025-09-11 23:30 533K 
[ ]number10__t64_number102025-09-11 23:28 1.6M 
[ ]number10__t63_number102025-09-11 23:25 1.8M 
[ ]number10__t62_number102025-09-11 23:23 321K 
[ ]number10__t61_number102025-09-11 21:09 171K 
[ ]number10__t60_number102025-09-11 23:21 595K 
[ ]number10__t59_number102025-09-11 23:19 475K 
[ ]number10__t58_number102025-09-11 23:18 803K 
[ ]number10__t57_number102025-09-11 23:15 8.5M 
[ ]number10__t56_number102025-09-11 23:11 926K 
[ ]number10__t55_number102025-09-11 23:09 3.6M 
[ ]number10__t54_number102025-09-11 23:07 480K 
[ ]number10__t53_number102025-09-11 23:05 1.0M 
[ ]number10__t52_number102025-09-11 23:02 14M 
[ ]number10__t51_number102025-09-11 22:55 163K 
[ ]number10__t50_number102025-09-11 22:53 365K 
[ ]number10__t49_number102025-09-11 22:51 611K 
[ ]number10__t48_number102025-09-11 22:48 367K 
[ ]number10__t47_number102025-09-11 22:46 367K 
[ ]number10__t46_number102025-09-11 22:44 322K 
[ ]number10__t45_number102025-09-11 22:42 145K 
[ ]number10__t44_number102025-09-11 22:40 158K 
[ ]number10__t43_number102025-09-11 22:37 325K 
[ ]number10__t42_number102025-09-11 22:35 2.9M 
[ ]number10__t41_number102025-09-11 22:33 2.4M 
[ ]number10__t40_number102025-09-11 22:30 575K 
[ ]number10__t39_number102025-09-11 22:29 1.6M 
[ ]number10__t38_number102025-09-11 22:26 460K 
[ ]number10__t37_number102025-09-11 22:24 320K 
[ ]number10__t36_number102025-09-11 22:22 745K 
[ ]number10__t35_number102025-09-11 22:20 178K 
[ ]number10__t34_number102025-09-11 22:18 112K 
[ ]number10__t33_number102025-09-11 22:16 575K 
[ ]number10__t32_number102025-09-11 22:14 112K 
[ ]number10__t31_number102025-09-11 22:12 189K 
[ ]number10__t30_number102025-09-11 22:10 187K 
[ ]number10__t29_number102025-09-11 22:08 1.9M 
[ ]number10__t28_number102025-09-11 22:06 87K 
[ ]number10__t27_number102025-09-11 21:07 81K 
[ ]number10__t26_number102025-09-11 21:05 79K 
[ ]number10__t25_number102025-09-11 21:03 79K 
[ ]number10__t24_number102025-09-11 21:02 79K 
[ ]number10__t23_number102025-09-11 21:00 78K 
[ ]number10__t22_number102025-09-11 20:58 78K 
[ ]number10__t21_number102025-09-11 22:04 78K 
[ ]number10__t20_number102025-09-11 22:02 78K 
[ ]number10__t19_number102025-09-11 22:01 115K 
[ ]number10__t18_number102025-09-11 21:59 700K 
[ ]number10__t17_number102025-09-11 21:57 757K 
[ ]number10__t16_number102025-09-11 21:55 112K 
[ ]number10__t15_number102025-09-11 21:53 120K 
[ ]number10__t14_number102025-09-11 21:51 124K 
[ ]number10__t13_number102025-09-11 21:49 120K 
[ ]number10__t12_number102025-09-11 21:47 120K 
[ ]number10__t11_number102025-09-11 21:45 104K 
[ ]number10__t10_number102025-09-11 21:43 110K 
[ ]number10__t9_number102025-09-11 21:42 109K 
[ ]number10__t8_number102025-09-11 21:40 105K 
[ ]number10__t7_number102025-09-11 21:38 103K 
[ ]number10__t6_number102025-09-11 21:36 320K 
[ ]number10__t5_number102025-09-11 21:34 320K 
[ ]number10__t4_number102025-09-11 21:32 320K 
[ ]number10__t3_number102025-09-11 21:30 320K 
[ ]number10__t2_number102025-09-11 21:29 176K 
[ ]number10__t1_number102025-09-11 21:26 118K 
[ ]number10__l98_number102025-09-11 21:25 151K 
[ ]number10__l92_number102025-09-12 00:06 233K 
[ ]number10__l90_number102025-09-12 00:04 320K 
[ ]number10__l88_number102025-09-12 00:02 476K 
[ ]number10__l85_number102025-09-12 00:00 216K 
[ ]number10__l83_number102025-09-11 23:59 475K 
[ ]number10__l82_number102025-09-11 23:57 476K 
[ ]number10__l80_number102025-09-11 23:55 326K 
[ ]number10__l62_number102025-09-11 23:53 1.4M 
[ ]number10__l61_number102025-09-11 23:51 335K 
[ ]number10__l60_number102025-09-11 21:23 124K 
[ ]number10__l59_number102025-09-11 21:21 130K 
[ ]number10__l58_number102025-09-11 23:49 317K 
[ ]number10__l57_number102025-09-11 23:47 319K 
[ ]number10__l56_number102025-09-11 23:45 685K 
[ ]number10__l55_number102025-09-11 23:43 688K 
[ ]number10__l54_number102025-09-11 23:41 1.4M 
[ ]number10__l53_number102025-09-11 23:39 1.4M 
[ ]number10__l48_number102025-09-11 21:19 78K 
[ ]number10__l47_number102025-09-11 21:18 77K 
[ ]number10__l46_number102025-09-11 21:16 77K 
[ ]number10__l2_number102025-09-11 21:14 110K 
[ ]number10__l1_number102025-09-11 21:12 108K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80