Index of /~mptp/1147/MPTP2/problems_small_consist/grfunc_1
Name
Last modified
Size
Description
Parent Directory
-
grfunc_1__l4_grfunc_1
2013-09-04 12:20
5.5K
grfunc_1__l7_grfunc_1
2013-09-04 12:20
4.0K
grfunc_1__l17_grfunc_1
2013-09-04 12:20
5.8K
grfunc_1__t1_grfunc_1
2013-09-04 12:20
854
grfunc_1__t2_grfunc_1
2013-09-04 12:20
7.4K
grfunc_1__t3_grfunc_1
2013-09-04 12:20
6.3K
grfunc_1__t4_grfunc_1
2013-09-04 12:20
6.2K
grfunc_1__t5_grfunc_1
2013-09-04 12:20
1.2K
grfunc_1__t6_grfunc_1
2013-09-04 12:20
5.0K
grfunc_1__t7_grfunc_1
2013-09-04 12:20
6.7K
grfunc_1__t8_grfunc_1
2013-09-04 12:20
4.3K
grfunc_1__t9_grfunc_1
2013-09-04 12:20
5.2K
grfunc_1__t10_grfunc_1
2013-09-04 12:20
4.9K
grfunc_1__t11_grfunc_1
2013-09-04 12:20
5.9K
grfunc_1__t12_grfunc_1
2013-09-04 12:20
1.6K
grfunc_1__t13_grfunc_1
2013-09-04 12:20
6.3K
grfunc_1__t14_grfunc_1
2013-09-04 12:20
1.6K
grfunc_1__t15_grfunc_1
2013-09-04 12:20
5.8K
grfunc_1__t16_grfunc_1
2013-09-04 12:20
5.9K
grfunc_1__t17_grfunc_1
2013-09-04 12:20
7.0K
grfunc_1__t20_grfunc_1
2013-09-04 12:20
6.8K
grfunc_1__t21_grfunc_1
2013-09-04 12:20
4.9K
grfunc_1__t22_grfunc_1
2013-09-04 12:20
6.3K
grfunc_1__t23_grfunc_1
2013-09-04 12:20
7.6K
grfunc_1__t24_grfunc_1
2013-09-04 12:20
5.9K
grfunc_1__t25_grfunc_1
2013-09-04 12:20
7.1K
grfunc_1__t26_grfunc_1
2013-09-04 12:20
5.4K
grfunc_1__t27_grfunc_1
2013-09-04 12:20
2.2K
grfunc_1__t28_grfunc_1
2013-09-04 12:20
6.8K
grfunc_1__t29_grfunc_1
2013-09-04 12:20
6.2K
grfunc_1__t30_grfunc_1
2013-09-04 12:20
2.3K
grfunc_1__t31_grfunc_1
2013-09-04 12:20
2.7K
grfunc_1__t32_grfunc_1
2013-09-04 12:20
5.8K
grfunc_1__t33_grfunc_1
2013-09-04 12:20
1.6K
grfunc_1__t34_grfunc_1
2013-09-04 12:20
7.4K
grfunc_1__t35_grfunc_1
2013-09-04 12:20
6.9K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80