Index of /~mptp/7.13.01_4.181.1147/mptp/ilp1/dt_k2_fib_num
Name
Last modified
Size
Description
Parent Directory
-
fib_num3__183_37.min1.thm1.tptp
2017-02-06 16:58
261
fib_num3__184_50.min1.thm1.tptp
2017-02-06 16:58
293
fib_num3__187_46.min1.thm1.tptp
2017-02-06 16:58
269
fib_num3__203_8.min1.thm1.tptp
2017-02-06 16:58
325
fib_num3__205_47.min1.thm1.tptp
2017-02-06 16:58
341
fib_num3__206_32.min1.thm1.tptp
2017-02-06 16:58
309
fib_num3__434_27.min1.thm1.tptp
2017-02-06 16:58
219
fib_num3__1451_63.min1.thm1.tptp
2017-02-06 16:58
679
fib_num3__1467_20.min1.thm1.tptp
2017-02-06 16:58
319
fib_num3__1478_39.min1.thm1.tptp
2017-02-06 16:58
263
fib_num3__1479_52.min1.thm1.tptp
2017-02-06 16:58
295
fib_num4__497_34.min1.thm1.tptp
2017-02-06 16:58
303
fib_num4__507_35.min1.thm1.tptp
2017-02-06 16:58
303
fib_num4__850_36.min1.thm1.tptp
2017-02-06 16:58
277
fib_num4__865_6.min1.thm1.tptp
2017-02-06 16:58
603
fib_num4__882_61.min1.thm1.tptp
2017-02-06 16:58
470
fib_num4__2088_54.min1.thm1.tptp
2017-02-06 16:58
739
fib_num__542_16.min1.thm1.tptp
2017-02-06 16:58
292
fib_num__593_35.min1.thm1.tptp
2017-02-06 16:58
210
fib_num__594_27.min1.thm1.tptp
2017-02-06 16:58
218
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80