Index of /~mptp/7.13.01_4.181.1147/MPTP2/problems_from_newthf/ideal_1
Name
Last modified
Size
Description
Parent Directory
-
ideal_1__t99_ideal_1
2023-06-27 16:46
126K
ideal_1__t98_ideal_1
2023-06-27 16:46
131K
ideal_1__t97_ideal_1
2023-06-27 16:46
104K
ideal_1__t96_ideal_1
2023-06-27 16:46
103K
ideal_1__t92_ideal_1
2023-06-27 16:46
117K
ideal_1__t87_ideal_1
2023-06-27 16:46
100K
ideal_1__t86_ideal_1
2023-06-27 16:46
105K
ideal_1__t82_ideal_1
2023-06-27 16:46
112K
ideal_1__t80_ideal_1
2023-06-27 16:46
139K
ideal_1__t79_ideal_1
2023-06-27 16:46
110K
ideal_1__t65_ideal_1
2023-06-27 16:46
113K
ideal_1__t64_ideal_1
2023-06-27 16:46
110K
ideal_1__t62_ideal_1
2023-06-27 16:46
131K
ideal_1__t61_ideal_1
2023-06-27 16:46
131K
ideal_1__t60_ideal_1
2023-06-27 16:46
133K
ideal_1__t40_ideal_1
2023-06-27 16:46
79K
ideal_1__t39_ideal_1
2023-06-27 16:46
77K
ideal_1__t38_ideal_1
2023-06-27 16:46
79K
ideal_1__t37_ideal_1
2023-06-27 16:46
77K
ideal_1__t36_ideal_1
2023-06-27 16:46
82K
ideal_1__t35_ideal_1
2023-06-27 16:46
81K
ideal_1__t18_ideal_1
2023-06-27 16:46
81K
ideal_1__t17_ideal_1
2023-06-27 16:46
82K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80