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

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]real_ns2__l2_real_ns22025-09-13 10:24 132K 
[   ]real_ns2__l6_real_ns22025-09-13 10:27 132K 
[   ]real_ns2__t1_real_ns22025-09-13 07:19 126K 
[   ]real_ns2__t2_real_ns22025-09-13 07:22 106K 
[   ]real_ns2__t3_real_ns22025-09-13 07:24 100K 
[   ]real_ns2__t4_real_ns22025-09-13 07:26 78K 
[   ]real_ns2__t5_real_ns22025-09-13 07:29 96K 
[   ]real_ns2__t6_real_ns22025-09-13 07:31 79K 
[   ]real_ns2__t7_real_ns22025-09-13 07:33 90K 
[   ]real_ns2__t8_real_ns22025-09-13 07:35 86K 
[   ]real_ns2__t9_real_ns22025-09-13 07:38 88K 
[   ]real_ns2__t10_real_ns22025-09-13 07:40 93K 
[   ]real_ns2__t11_real_ns22025-09-13 07:42 83K 
[   ]real_ns2__t12_real_ns22025-09-13 07:45 100K 
[   ]real_ns2__t13_real_ns22025-09-13 06:49 81K 
[   ]real_ns2__t14_real_ns22025-09-13 07:48 103K 
[   ]real_ns2__t15_real_ns22025-09-13 06:51 76K 
[   ]real_ns2__t16_real_ns22025-09-13 06:53 89K 
[   ]real_ns2__t17_real_ns22025-09-13 06:55 79K 
[   ]real_ns2__t18_real_ns22025-09-13 07:50 76K 
[   ]real_ns2__t19_real_ns22025-09-13 07:52 95K 
[   ]real_ns2__t20_real_ns22025-09-13 07:55 106K 
[   ]real_ns2__t21_real_ns22025-09-13 07:58 105K 
[   ]real_ns2__t22_real_ns22025-09-13 08:01 101K 
[   ]real_ns2__t23_real_ns22025-09-13 08:03 93K 
[   ]real_ns2__t24_real_ns22025-09-13 08:06 103K 
[   ]real_ns2__t25_real_ns22025-09-13 08:08 81K 
[   ]real_ns2__t26_real_ns22025-09-13 08:10 91K 
[   ]real_ns2__t27_real_ns22025-09-13 08:13 106K 
[   ]real_ns2__t28_real_ns22025-09-13 08:15 86K 
[   ]real_ns2__t29_real_ns22025-09-13 08:17 98K 
[   ]real_ns2__t30_real_ns22025-09-13 08:19 93K 
[   ]real_ns2__t31_real_ns22025-09-13 08:22 104K 
[   ]real_ns2__t32_real_ns22025-09-13 08:25 107K 
[   ]real_ns2__t33_real_ns22025-09-13 08:27 84K 
[   ]real_ns2__t34_real_ns22025-09-13 08:29 85K 
[   ]real_ns2__t35_real_ns22025-09-13 08:31 101K 
[   ]real_ns2__t36_real_ns22025-09-13 08:34 133K 
[   ]real_ns2__t37_real_ns22025-09-13 08:37 106K 
[   ]real_ns2__t38_real_ns22025-09-13 08:39 99K 
[   ]real_ns2__t39_real_ns22025-09-13 08:42 90K 
[   ]real_ns2__t40_real_ns22025-09-13 08:44 93K 
[   ]real_ns2__t41_real_ns22025-09-13 08:46 99K 
[   ]real_ns2__t42_real_ns22025-09-13 08:49 97K 
[   ]real_ns2__t43_real_ns22025-09-13 08:51 80K 
[   ]real_ns2__t44_real_ns22025-09-13 08:53 101K 
[   ]real_ns2__t45_real_ns22025-09-13 08:55 88K 
[   ]real_ns2__t46_real_ns22025-09-13 08:58 112K 
[   ]real_ns2__t47_real_ns22025-09-13 09:01 98K 
[   ]real_ns2__t48_real_ns22025-09-13 09:03 96K 
[   ]real_ns2__t49_real_ns22025-09-13 09:05 82K 
[   ]real_ns2__t50_real_ns22025-09-13 09:08 117K 
[   ]real_ns2__t51_real_ns22025-09-13 09:10 106K 
[   ]real_ns2__t52_real_ns22025-09-13 09:13 104K 
[   ]real_ns2__t53_real_ns22025-09-13 09:15 98K 
[   ]real_ns2__t54_real_ns22025-09-13 09:18 128K 
[   ]real_ns2__t55_real_ns22025-09-13 06:58 108K 
[   ]real_ns2__t56_real_ns22025-09-13 07:00 105K 
[   ]real_ns2__t57_real_ns22025-09-13 09:21 110K 
[   ]real_ns2__t58_real_ns22025-09-13 09:24 113K 
[   ]real_ns2__t59_real_ns22025-09-13 09:26 118K 
[   ]real_ns2__t60_real_ns22025-09-13 09:28 97K 
[   ]real_ns2__t61_real_ns22025-09-13 09:31 88K 
[   ]real_ns2__t62_real_ns22025-09-13 09:33 81K 
[   ]real_ns2__t63_real_ns22025-09-13 09:36 160K 
[   ]real_ns2__t64_real_ns22025-09-13 09:38 91K 
[   ]real_ns2__t65_real_ns22025-09-13 09:40 100K 
[   ]real_ns2__t66_real_ns22025-09-13 07:03 85K 
[   ]real_ns2__t67_real_ns22025-09-13 07:05 86K 
[   ]real_ns2__t68_real_ns22025-09-13 07:07 86K 
[   ]real_ns2__t69_real_ns22025-09-13 07:09 82K 
[   ]real_ns2__t70_real_ns22025-09-13 07:12 85K 
[   ]real_ns2__t71_real_ns22025-09-13 07:14 82K 
[   ]real_ns2__t72_real_ns22025-09-13 09:43 91K 
[   ]real_ns2__t73_real_ns22025-09-13 09:45 95K 
[   ]real_ns2__t74_real_ns22025-09-13 09:48 104K 
[   ]real_ns2__t75_real_ns22025-09-13 07:16 87K 
[   ]real_ns2__t76_real_ns22025-09-13 09:50 103K 
[   ]real_ns2__t77_real_ns22025-09-13 09:53 103K 
[   ]real_ns2__t78_real_ns22025-09-13 09:55 97K 
[   ]real_ns2__t79_real_ns22025-09-13 09:58 95K 
[   ]real_ns2__t80_real_ns22025-09-13 10:00 107K 
[   ]real_ns2__t81_real_ns22025-09-13 10:03 90K 
[   ]real_ns2__t82_real_ns22025-09-13 10:05 85K 
[   ]real_ns2__t83_real_ns22025-09-13 10:08 130K 
[   ]real_ns2__t84_real_ns22025-09-13 10:11 97K 
[   ]real_ns2__t86_real_ns22025-09-13 10:13 86K 
[   ]real_ns2__t87_real_ns22025-09-13 10:15 92K 
[   ]real_ns2__t88_real_ns22025-09-13 10:17 78K 
[   ]real_ns2__t89_real_ns22025-09-13 10:20 107K 
[   ]real_ns2__t90_real_ns22025-09-13 10:22 100K 

Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80