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

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]convex3__l3_convex32025-09-13 10:05 16K 
[   ]convex3__l5_convex32025-09-13 10:06 28K 
[   ]convex3__l8_convex32025-09-13 10:21 58K 
[   ]convex3__l9_convex32025-09-13 10:24 160K 
[   ]convex3__l10_convex32025-09-13 10:27 179K 
[   ]convex3__l16_convex32025-09-13 10:29 92K 
[   ]convex3__t1_convex32025-09-13 10:08 76K 
[   ]convex3__t2_convex32025-09-13 10:10 91K 
[   ]convex3__t3_convex32025-09-13 10:13 105K 
[   ]convex3__t4_convex32025-09-13 10:04 43K 
[   ]convex3__t5_convex32025-09-13 10:15 62K 
[   ]convex3__t6_convex32025-09-13 10:05 24K 
[   ]convex3__t7_convex32025-09-13 10:16 69K 
[   ]convex3__t8_convex32025-09-13 10:19 182K 
[   ]convex3__t9_convex32025-09-13 10:19 30K 

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