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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]flexary1__l1_flexary12025-09-12 19:32 123K 
[ ]flexary1__l21_flexary12025-09-12 19:35 203K 
[ ]flexary1__l22_flexary12025-09-12 19:37 204K 
[ ]flexary1__l33_flexary12025-09-12 19:40 171K 
[ ]flexary1__l35_flexary12025-09-12 19:42 225K 
[ ]flexary1__l64_flexary12025-09-12 19:45 128K 
[ ]flexary1__s1_flexary12025-09-12 17:27 135K 
[ ]flexary1__t1_flexary12025-09-12 17:29 89K 
[ ]flexary1__t2_flexary12025-09-12 17:32 209K 
[ ]flexary1__t3_flexary12025-09-12 17:35 169K 
[ ]flexary1__t4_flexary12025-09-12 17:38 202K 
[ ]flexary1__t5_flexary12025-09-12 17:41 189K 
[ ]flexary1__t6_flexary12025-09-12 17:44 236K 
[ ]flexary1__t7_flexary12025-09-12 17:46 172K 
[ ]flexary1__t8_flexary12025-09-12 17:49 192K 
[ ]flexary1__t9_flexary12025-09-12 17:52 202K 
[ ]flexary1__t10_flexary12025-09-12 17:55 234K 
[ ]flexary1__t11_flexary12025-09-12 17:57 115K 
[ ]flexary1__t12_flexary12025-09-12 17:59 207K 
[ ]flexary1__t13_flexary12025-09-12 18:02 285K 
[ ]flexary1__t14_flexary12025-09-12 18:04 200K 
[ ]flexary1__t15_flexary12025-09-12 18:07 232K 
[ ]flexary1__t16_flexary12025-09-12 18:09 125K 
[ ]flexary1__t17_flexary12025-09-12 18:11 111K 
[ ]flexary1__t18_flexary12025-09-12 18:14 221K 
[ ]flexary1__t19_flexary12025-09-12 18:16 206K 
[ ]flexary1__t20_flexary12025-09-12 18:19 152K 
[ ]flexary1__t21_flexary12025-09-12 17:23 83K 
[ ]flexary1__t22_flexary12025-09-12 18:21 108K 
[ ]flexary1__t23_flexary12025-09-12 18:23 112K 
[ ]flexary1__t24_flexary12025-09-12 18:26 193K 
[ ]flexary1__t25_flexary12025-09-12 18:28 106K 
[ ]flexary1__t26_flexary12025-09-12 18:30 310K 
[ ]flexary1__t27_flexary12025-09-12 18:33 231K 
[ ]flexary1__t28_flexary12025-09-12 18:35 101K 
[ ]flexary1__t29_flexary12025-09-12 18:37 106K 
[ ]flexary1__t30_flexary12025-09-12 18:40 159K 
[ ]flexary1__t31_flexary12025-09-12 18:43 242K 
[ ]flexary1__t32_flexary12025-09-12 18:45 105K 
[ ]flexary1__t33_flexary12025-09-12 18:48 210K 
[ ]flexary1__t34_flexary12025-09-12 18:50 128K 
[ ]flexary1__t35_flexary12025-09-12 18:52 120K 
[ ]flexary1__t36_flexary12025-09-12 18:55 162K 
[ ]flexary1__t37_flexary12025-09-12 18:57 186K 
[ ]flexary1__t38_flexary12025-09-12 19:01 253K 
[ ]flexary1__t39_flexary12025-09-12 19:04 247K 
[ ]flexary1__t40_flexary12025-09-12 19:06 109K 
[ ]flexary1__t41_flexary12025-09-12 19:08 108K 
[ ]flexary1__t42_flexary12025-09-12 19:10 111K 
[ ]flexary1__t43_flexary12025-09-12 19:12 150K 
[ ]flexary1__t44_flexary12025-09-12 19:14 150K 
[ ]flexary1__t45_flexary12025-09-12 19:16 110K 
[ ]flexary1__t46_flexary12025-09-12 19:19 193K 
[ ]flexary1__t47_flexary12025-09-12 19:23 307K 
[ ]flexary1__t48_flexary12025-09-12 19:25 228K 
[ ]flexary1__t49_flexary12025-09-12 19:28 142K 
[ ]flexary1__t50_flexary12025-09-12 17:25 121K 
[ ]flexary1__t51_flexary12025-09-12 19:30 151K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80