Index of /~mptp/1147/mptp/ilp1/dt_k1_fib_num
Name
Last modified
Size
Description
Parent Directory
-
fib_num__849_16.min1.thm1.tptp
2017-02-06 16:58
207
fib_num__541_23.min1.thm1.tptp
2017-02-06 16:58
292
fib_num4__2245_68.min1.thm1.tptp
2017-02-06 16:58
879
fib_num4__2229_63.min1.thm1.tptp
2017-02-06 16:58
811
fib_num4__2086_64.min1.thm1.tptp
2017-02-06 16:58
729
fib_num4__1973_68.min1.thm1.tptp
2017-02-06 16:58
461
fib_num4__1952_70.min1.thm1.tptp
2017-02-06 16:58
463
fib_num4__895_69.min1.thm1.tptp
2017-02-06 16:58
529
fib_num4__860_6.min1.thm1.tptp
2017-02-06 16:58
527
fib_num4__495_31.min1.thm1.tptp
2017-02-06 16:58
303
fib_num3__1493_71.min1.thm1.tptp
2017-02-06 16:58
729
fib_num3__1473_44.min1.thm1.tptp
2017-02-06 16:58
295
fib_num3__1472_31.min1.thm1.tptp
2017-02-06 16:58
263
fib_num3__1463_16.min1.thm1.tptp
2017-02-06 16:58
319
fib_num3__1450_2.min1.thm1.tptp
2017-02-06 16:58
711
fib_num3__158_26.min1.thm1.tptp
2017-02-06 16:58
309
fib_num3__157_37.min1.thm1.tptp
2017-02-06 16:58
341
fib_num3__155_65.min1.thm1.tptp
2017-02-06 16:58
325
fib_num3__140_35.min1.thm1.tptp
2017-02-06 16:58
251
fib_num3__137_42.min1.thm1.tptp
2017-02-06 16:58
293
fib_num3__136_31.min1.thm1.tptp
2017-02-06 16:58
261
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80