Index of /~mptp/1147/MPTP2/problems_thf_tls/fdiff_10
Name
Last modified
Size
Description
Parent Directory
-
fdiff_10__t1_fdiff_10
2017-01-12 22:15
63K
fdiff_10__t2_fdiff_10
2017-01-12 22:15
46K
fdiff_10__t3_fdiff_10
2017-01-12 22:15
62K
fdiff_10__t4_fdiff_10
2017-01-12 22:15
63K
fdiff_10__t5_fdiff_10
2017-01-12 22:15
65K
fdiff_10__t6_fdiff_10
2017-01-12 22:15
66K
fdiff_10__t7_fdiff_10
2017-01-12 22:15
36K
fdiff_10__t8_fdiff_10
2017-01-12 22:15
47K
fdiff_10__t9_fdiff_10
2017-01-12 22:15
47K
fdiff_10__t10_fdiff_10
2017-01-12 22:15
42K
fdiff_10__t11_fdiff_10
2017-01-12 22:15
71K
fdiff_10__t12_fdiff_10
2017-01-12 22:15
55K
fdiff_10__t13_fdiff_10
2017-01-12 22:15
67K
fdiff_10__t14_fdiff_10
2017-01-12 22:15
71K
fdiff_10__t15_fdiff_10
2017-01-12 22:15
50K
fdiff_10__t16_fdiff_10
2017-01-12 22:15
55K
fdiff_10__t17_fdiff_10
2017-01-12 22:15
78K
fdiff_10__t18_fdiff_10
2017-01-12 22:15
55K
fdiff_10__t19_fdiff_10
2017-01-12 22:15
51K
fdiff_10__t20_fdiff_10
2017-01-12 22:15
33K
fdiff_10__t21_fdiff_10
2017-01-12 22:15
47K
fdiff_10__t22_fdiff_10
2017-01-12 22:15
63K
fdiff_10__t23_fdiff_10
2017-01-12 22:15
63K
fdiff_10__t24_fdiff_10
2017-01-12 22:15
63K
fdiff_10__t25_fdiff_10
2017-01-12 22:15
69K
fdiff_10__t26_fdiff_10
2017-01-12 22:15
70K
fdiff_10__t27_fdiff_10
2017-01-12 22:15
68K
fdiff_10__t28_fdiff_10
2017-01-12 22:15
69K
fdiff_10__t29_fdiff_10
2017-01-12 22:16
82K
fdiff_10__t30_fdiff_10
2017-01-12 22:16
81K
fdiff_10__t31_fdiff_10
2017-01-12 22:16
122K
fdiff_10__t32_fdiff_10
2017-01-12 22:16
65K
fdiff_10__t33_fdiff_10
2017-01-12 22:16
119K
fdiff_10__t34_fdiff_10
2017-01-12 22:16
191K
fdiff_10__t35_fdiff_10
2017-01-12 22:16
70K
fdiff_10__t36_fdiff_10
2017-01-12 22:16
65K
fdiff_10__t37_fdiff_10
2017-01-12 22:16
65K
fdiff_10__t38_fdiff_10
2017-01-12 22:16
70K
fdiff_10__t39_fdiff_10
2017-01-12 22:16
70K
fdiff_10__t40_fdiff_10
2017-01-12 22:16
65K
fdiff_10__t41_fdiff_10
2017-01-12 22:16
90K
fdiff_10__t42_fdiff_10
2017-01-12 22:16
92K
fdiff_10__t43_fdiff_10
2017-01-12 22:16
47K
fdiff_10__t44_fdiff_10
2017-01-12 22:16
63K
fdiff_10__t45_fdiff_10
2017-01-12 22:16
63K
fdiff_10__t46_fdiff_10
2017-01-12 22:16
63K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80