Index of /~mptp/7.13.01_4.181.1147/MPTP2/ilp1/t56_scmfsa_2
Name
Last modified
Size
Description
Parent Directory
-
scmfsa_3__57_20.min1.thm1.tptp
2017-02-06 16:58
329
scmfsa10__880_22.min1.thm1.tptp
2017-02-06 16:58
334
scmfsa10__1008_22.min1.thm1.tptp
2017-02-06 16:58
334
scmfsa_2__2172_22.min1.thm1.tptp
2017-02-06 16:58
343
scmfsa8b__804_29.min1.thm1.tptp
2017-02-06 16:58
349
scmfsa8b__1531_29.min1.thm1.tptp
2017-02-06 16:58
349
sfmastr1__959_29.min1.thm1.tptp
2017-02-06 16:58
349
scmfsa8b__1137_29.min1.thm1.tptp
2017-02-06 16:58
354
scmfsa8b__1866_29.min1.thm1.tptp
2017-02-06 16:58
354
scm_halt__1372_25.min1.thm1.tptp
2017-02-06 16:58
358
scmisort__1441_26.min1.thm1.tptp
2017-02-06 16:58
358
scm_halt__1604_31.min1.thm1.tptp
2017-02-06 16:58
359
scmfsa6b__1573_31.min1.thm1.tptp
2017-02-06 16:58
359
scm_halt__2711_22.min1.thm1.tptp
2017-02-06 16:58
367
scmfsa8c__1542_24.min1.thm1.tptp
2017-02-06 16:58
368
scmfsa8c__1726_24.min1.thm1.tptp
2017-02-06 16:58
368
scmfsa8c__1935_24.min1.thm1.tptp
2017-02-06 16:58
368
scmfsa8c__2119_24.min1.thm1.tptp
2017-02-06 16:58
368
scmfsa8c__2358_24.min1.thm1.tptp
2017-02-06 16:58
368
scmfsa8c__2621_24.min1.thm1.tptp
2017-02-06 16:58
368
scmfsa8c__2838_24.min1.thm1.tptp
2017-02-06 16:58
368
scmfsa8c__3102_24.min1.thm1.tptp
2017-02-06 16:58
368
scmfsa_3__222_25.min1.thm1.tptp
2017-02-06 16:58
374
scmfsa_3__265_25.min1.thm1.tptp
2017-02-06 16:58
374
scmfsa_3__339_25.min1.thm1.tptp
2017-02-06 16:58
374
scmfsa_3__435_25.min1.thm1.tptp
2017-02-06 16:58
374
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80