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

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]polynom3__l32_polynom32025-09-13 02:02 77K 
[   ]polynom3__l48_polynom32025-09-13 02:05 95K 
[   ]polynom3__s1_polynom32025-09-13 00:53 68K 
[   ]polynom3__s2_polynom32025-09-13 00:55 72K 
[   ]polynom3__t1_polynom32025-09-13 00:57 67K 
[   ]polynom3__t2_polynom32025-09-13 00:59 91K 
[   ]polynom3__t3_polynom32025-09-13 01:01 78K 
[   ]polynom3__t4_polynom32025-09-13 01:02 102K 
[   ]polynom3__t5_polynom32025-09-13 01:04 73K 
[   ]polynom3__t6_polynom32025-09-13 01:06 116K 
[   ]polynom3__t7_polynom32025-09-13 01:08 70K 
[   ]polynom3__t8_polynom32025-09-13 01:10 80K 
[   ]polynom3__t9_polynom32025-09-13 01:12 199K 
[   ]polynom3__t10_polynom32025-09-13 01:15 95K 
[   ]polynom3__t11_polynom32025-09-13 01:17 100K 
[   ]polynom3__t12_polynom32025-09-13 01:19 111K 
[   ]polynom3__t13_polynom32025-09-13 01:21 111K 
[   ]polynom3__t14_polynom32025-09-13 01:23 128K 
[   ]polynom3__t15_polynom32025-09-13 01:26 105K 
[   ]polynom3__t16_polynom32025-09-13 01:27 93K 
[   ]polynom3__t18_polynom32025-09-13 01:29 118K 
[   ]polynom3__t20_polynom32025-09-13 01:31 67K 
[   ]polynom3__t21_polynom32025-09-13 01:33 105K 
[   ]polynom3__t22_polynom32025-09-13 01:35 113K 
[   ]polynom3__t23_polynom32025-09-13 00:48 69K 
[   ]polynom3__t24_polynom32025-09-13 01:37 75K 
[   ]polynom3__t26_polynom32025-09-13 01:38 72K 
[   ]polynom3__t27_polynom32025-09-13 00:49 73K 
[   ]polynom3__t28_polynom32025-09-13 01:40 77K 
[   ]polynom3__t29_polynom32025-09-13 01:42 82K 
[   ]polynom3__t30_polynom32025-09-13 01:44 78K 
[   ]polynom3__t31_polynom32025-09-13 01:47 114K 
[   ]polynom3__t32_polynom32025-09-13 01:49 114K 
[   ]polynom3__t33_polynom32025-09-13 01:53 540K 
[   ]polynom3__t34_polynom32025-09-13 01:55 91K 
[   ]polynom3__t35_polynom32025-09-13 01:58 161K 
[   ]polynom3__t36_polynom32025-09-13 02:00 135K 
[   ]polynom3__t37_polynom32025-09-13 00:51 90K 

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