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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]matrlin__l2_matrlin2025-09-13 03:31 38K 
[ ]matrlin__l6_matrlin2025-09-13 03:32 38K 
[ ]matrlin__l43_matrlin2025-09-13 04:56 76K 
[ ]matrlin__l47_matrlin2025-09-13 04:57 32K 
[ ]matrlin__l50_matrlin2025-09-13 04:58 75K 
[ ]matrlin__t2_matrlin2025-09-13 03:33 78K 
[ ]matrlin__t3_matrlin2025-09-13 03:35 68K 
[ ]matrlin__t5_matrlin2025-09-13 03:37 77K 
[ ]matrlin__t6_matrlin2025-09-13 03:39 69K 
[ ]matrlin__t7_matrlin2025-09-13 03:41 63K 
[ ]matrlin__t8_matrlin2025-09-13 03:43 68K 
[ ]matrlin__t9_matrlin2025-09-13 03:45 110K 
[ ]matrlin__t10_matrlin2025-09-13 03:47 68K 
[ ]matrlin__t11_matrlin2025-09-13 03:49 90K 
[ ]matrlin__t12_matrlin2025-09-13 03:51 75K 
[ ]matrlin__t13_matrlin2025-09-13 03:53 72K 
[ ]matrlin__t14_matrlin2025-09-13 03:55 81K 
[ ]matrlin__t15_matrlin2025-09-13 03:57 66K 
[ ]matrlin__t17_matrlin2025-09-13 03:59 86K 
[ ]matrlin__t18_matrlin2025-09-13 04:01 78K 
[ ]matrlin__t19_matrlin2025-09-13 04:03 86K 
[ ]matrlin__t20_matrlin2025-09-13 04:05 111K 
[ ]matrlin__t22_matrlin2025-09-13 04:08 108K 
[ ]matrlin__t23_matrlin2025-09-13 04:09 64K 
[ ]matrlin__t24_matrlin2025-09-13 04:11 75K 
[ ]matrlin__t25_matrlin2025-09-13 04:12 83K 
[ ]matrlin__t26_matrlin2025-09-13 04:14 88K 
[ ]matrlin__t27_matrlin2025-09-13 04:16 106K 
[ ]matrlin__t28_matrlin2025-09-13 04:18 75K 
[ ]matrlin__t29_matrlin2025-09-13 04:20 101K 
[ ]matrlin__t30_matrlin2025-09-13 04:22 73K 
[ ]matrlin__t31_matrlin2025-09-13 04:24 85K 
[ ]matrlin__t32_matrlin2025-09-13 04:27 149K 
[ ]matrlin__t33_matrlin2025-09-13 04:30 115K 
[ ]matrlin__t34_matrlin2025-09-13 04:32 84K 
[ ]matrlin__t35_matrlin2025-09-13 04:34 98K 
[ ]matrlin__t36_matrlin2025-09-13 04:37 105K 
[ ]matrlin__t37_matrlin2025-09-13 04:39 113K 
[ ]matrlin__t38_matrlin2025-09-13 04:41 74K 
[ ]matrlin__t39_matrlin2025-09-13 04:44 87K 
[ ]matrlin__t40_matrlin2025-09-13 04:46 94K 
[ ]matrlin__t41_matrlin2025-09-13 04:48 122K 
[ ]matrlin__t42_matrlin2025-09-13 04:51 120K 
[ ]matrlin__t43_matrlin2025-09-13 04:54 120K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80