Index of /~mptp/7.13.01_4.181.1147/MPTP2/problems_thf_isof_tls/comseq_1
Name
Last modified
Size
Description
Parent Directory
-
comseq_1__s1_comseq_1
2017-01-13 00:25
42K
comseq_1__t1_comseq_1
2017-01-13 00:25
43K
comseq_1__t2_comseq_1
2017-01-13 00:25
40K
comseq_1__t3_comseq_1
2017-01-13 00:25
46K
comseq_1__t4_comseq_1
2017-01-13 00:25
41K
comseq_1__t5_comseq_1
2017-01-13 00:25
46K
comseq_1__t6_comseq_1
2017-01-13 00:25
42K
comseq_1__t7_comseq_1
2017-01-13 00:25
64K
comseq_1__t8_comseq_1
2017-01-13 00:25
68K
comseq_1__t9_comseq_1
2017-01-13 00:25
85K
comseq_1__t10_comseq_1
2017-01-13 00:25
66K
comseq_1__t11_comseq_1
2017-01-13 00:25
74K
comseq_1__t12_comseq_1
2017-01-13 00:25
78K
comseq_1__t13_comseq_1
2017-01-13 00:25
78K
comseq_1__t14_comseq_1
2017-01-13 00:25
116K
comseq_1__t15_comseq_1
2017-01-13 00:25
94K
comseq_1__t16_comseq_1
2017-01-13 00:25
80K
comseq_1__t17_comseq_1
2017-01-13 00:25
63K
comseq_1__t18_comseq_1
2017-01-13 00:25
112K
comseq_1__t19_comseq_1
2017-01-13 00:25
78K
comseq_1__t20_comseq_1
2017-01-13 00:25
102K
comseq_1__t21_comseq_1
2017-01-13 00:25
63K
comseq_1__t22_comseq_1
2017-01-13 00:25
56K
comseq_1__t23_comseq_1
2017-01-13 00:25
82K
comseq_1__t24_comseq_1
2017-01-13 00:25
102K
comseq_1__t25_comseq_1
2017-01-13 00:25
84K
comseq_1__t26_comseq_1
2017-01-13 00:25
90K
comseq_1__t27_comseq_1
2017-01-13 00:25
62K
comseq_1__t29_comseq_1
2017-01-13 00:25
85K
comseq_1__t30_comseq_1
2017-01-13 00:25
98K
comseq_1__t31_comseq_1
2017-01-13 00:25
111K
comseq_1__t32_comseq_1
2017-01-13 00:25
86K
comseq_1__t33_comseq_1
2017-01-13 00:25
68K
comseq_1__t34_comseq_1
2017-01-13 00:25
73K
comseq_1__t35_comseq_1
2017-01-13 00:25
69K
comseq_1__t36_comseq_1
2017-01-13 00:25
75K
comseq_1__t37_comseq_1
2017-01-13 00:25
112K
comseq_1__t38_comseq_1
2017-01-13 00:25
85K
comseq_1__t39_comseq_1
2017-01-13 00:25
196K
comseq_1__t40_comseq_1
2017-01-13 00:25
93K
comseq_1__t41_comseq_1
2017-01-13 00:25
90K
comseq_1__t42_comseq_1
2017-01-13 00:25
108K
comseq_1__t43_comseq_1
2017-01-13 00:25
115K
comseq_1__t44_comseq_1
2017-01-13 00:25
118K
comseq_1__t45_comseq_1
2017-01-13 00:25
70K
comseq_1__t46_comseq_1
2017-01-13 00:25
81K
comseq_1__t47_comseq_1
2017-01-13 00:25
57K
comseq_1__t48_comseq_1
2017-01-13 00:25
95K
comseq_1__t49_comseq_1
2017-01-13 00:25
81K
comseq_1__t50_comseq_1
2017-01-13 00:25
75K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80