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

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]instalg1__l41_instalg12025-09-14 04:02 73K 
[   ]instalg1__s1_instalg12025-09-14 02:56 98K 
[   ]instalg1__t1_instalg12025-09-14 02:58 86K 
[   ]instalg1__t2_instalg12025-09-14 03:00 60K 
[   ]instalg1__t3_instalg12025-09-14 03:02 89K 
[   ]instalg1__t4_instalg12025-09-14 02:49 56K 
[   ]instalg1__t5_instalg12025-09-14 03:04 66K 
[   ]instalg1__t6_instalg12025-09-14 03:05 66K 
[   ]instalg1__t7_instalg12025-09-14 02:50 35K 
[   ]instalg1__t8_instalg12025-09-14 03:07 54K 
[   ]instalg1__t9_instalg12025-09-14 02:51 46K 
[   ]instalg1__t10_instalg12025-09-14 03:08 48K 
[   ]instalg1__t11_instalg12025-09-14 03:09 58K 
[   ]instalg1__t12_instalg12025-09-14 03:11 44K 
[   ]instalg1__t13_instalg12025-09-14 03:12 60K 
[   ]instalg1__t14_instalg12025-09-14 03:13 41K 
[   ]instalg1__t15_instalg12025-09-14 03:14 48K 
[   ]instalg1__t16_instalg12025-09-14 03:16 50K 
[   ]instalg1__t17_instalg12025-09-14 03:17 37K 
[   ]instalg1__t18_instalg12025-09-14 03:18 53K 
[   ]instalg1__t19_instalg12025-09-14 03:20 49K 
[   ]instalg1__t20_instalg12025-09-14 03:21 56K 
[   ]instalg1__t21_instalg12025-09-14 03:22 59K 
[   ]instalg1__t22_instalg12025-09-14 03:24 60K 
[   ]instalg1__t23_instalg12025-09-14 03:25 64K 
[   ]instalg1__t24_instalg12025-09-14 03:27 69K 
[   ]instalg1__t25_instalg12025-09-14 03:29 63K 
[   ]instalg1__t26_instalg12025-09-14 02:52 54K 
[   ]instalg1__t27_instalg12025-09-14 03:30 60K 
[   ]instalg1__t28_instalg12025-09-14 03:32 64K 
[   ]instalg1__t29_instalg12025-09-14 03:33 64K 
[   ]instalg1__t30_instalg12025-09-14 03:35 68K 
[   ]instalg1__t31_instalg12025-09-14 03:37 66K 
[   ]instalg1__t32_instalg12025-09-14 03:38 67K 
[   ]instalg1__t33_instalg12025-09-14 03:40 73K 
[   ]instalg1__t34_instalg12025-09-14 03:42 78K 
[   ]instalg1__t35_instalg12025-09-14 03:44 78K 
[   ]instalg1__t36_instalg12025-09-14 03:46 83K 
[   ]instalg1__t37_instalg12025-09-14 03:47 64K 
[   ]instalg1__t38_instalg12025-09-14 02:54 64K 
[   ]instalg1__t39_instalg12025-09-14 03:48 43K 
[   ]instalg1__t40_instalg12025-09-14 03:50 78K 
[   ]instalg1__t41_instalg12025-09-14 03:53 112K 
[   ]instalg1__t42_instalg12025-09-14 03:56 132K 
[   ]instalg1__t43_instalg12025-09-14 03:58 97K 
[   ]instalg1__t44_instalg12025-09-14 04:00 101K 

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