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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]ideal_2__l2_ideal_22025-09-13 03:07 118K 
[ ]ideal_2__l3_ideal_22025-09-13 03:09 67K 
[ ]ideal_2__l18_ideal_22025-09-13 03:10 46K 
[ ]ideal_2__l32_ideal_22025-09-13 03:12 68K 
[ ]ideal_2__l35_ideal_22025-09-13 03:14 80K 
[ ]ideal_2__l42_ideal_22025-09-13 03:17 74K 
[ ]ideal_2__l48_ideal_22025-09-13 03:19 57K 
[ ]ideal_2__t1_ideal_22025-09-13 01:35 50K 
[ ]ideal_2__t2_ideal_22025-09-13 01:38 102K 
[ ]ideal_2__t3_ideal_22025-09-13 01:39 64K 
[ ]ideal_2__t4_ideal_22025-09-13 01:42 76K 
[ ]ideal_2__t5_ideal_22025-09-13 01:44 84K 
[ ]ideal_2__t6_ideal_22025-09-13 01:46 78K 
[ ]ideal_2__t7_ideal_22025-09-13 01:48 101K 
[ ]ideal_2__t8_ideal_22025-09-13 01:50 51K 
[ ]ideal_2__t9_ideal_22025-09-13 01:52 73K 
[ ]ideal_2__t10_ideal_22025-09-13 01:54 49K 
[ ]ideal_2__t11_ideal_22025-09-13 01:57 206K 
[ ]ideal_2__t12_ideal_22025-09-13 01:58 65K 
[ ]ideal_2__t13_ideal_22025-09-13 02:00 49K 
[ ]ideal_2__t14_ideal_22025-09-13 02:02 81K 
[ ]ideal_2__t15_ideal_22025-09-13 02:04 83K 
[ ]ideal_2__t16_ideal_22025-09-13 02:07 96K 
[ ]ideal_2__t17_ideal_22025-09-13 02:09 82K 
[ ]ideal_2__t18_ideal_22025-09-13 02:11 82K 
[ ]ideal_2__t19_ideal_22025-09-13 02:14 95K 
[ ]ideal_2__t20_ideal_22025-09-13 02:16 79K 
[ ]ideal_2__t21_ideal_22025-09-13 02:18 68K 
[ ]ideal_2__t22_ideal_22025-09-13 02:20 91K 
[ ]ideal_2__t23_ideal_22025-09-13 02:22 68K 
[ ]ideal_2__t24_ideal_22025-09-13 02:24 69K 
[ ]ideal_2__t25_ideal_22025-09-13 02:26 70K 
[ ]ideal_2__t26_ideal_22025-09-13 02:28 73K 
[ ]ideal_2__t27_ideal_22025-09-13 02:30 98K 
[ ]ideal_2__t28_ideal_22025-09-13 02:32 55K 
[ ]ideal_2__t29_ideal_22025-09-13 02:34 55K 
[ ]ideal_2__t30_ideal_22025-09-13 02:36 91K 
[ ]ideal_2__t31_ideal_22025-09-13 02:38 71K 
[ ]ideal_2__t32_ideal_22025-09-13 02:41 107K 
[ ]ideal_2__t33_ideal_22025-09-13 02:43 105K 
[ ]ideal_2__t34_ideal_22025-09-13 02:46 118K 
[ ]ideal_2__t35_ideal_22025-09-13 02:48 55K 
[ ]ideal_2__t36_ideal_22025-09-13 02:50 67K 
[ ]ideal_2__t37_ideal_22025-09-13 02:52 119K 
[ ]ideal_2__t38_ideal_22025-09-13 02:54 53K 
[ ]ideal_2__t39_ideal_22025-09-13 02:56 73K 
[ ]ideal_2__t40_ideal_22025-09-13 02:58 63K 
[ ]ideal_2__t41_ideal_22025-09-13 03:00 54K 
[ ]ideal_2__t42_ideal_22025-09-13 03:02 79K 
[ ]ideal_2__t43_ideal_22025-09-13 03:04 68K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80