Index of /~mptp/7.13.01_4.181.1147/mptp/ilp1/redefinition_k7_funcop_1
Name
Last modified
Size
Description
Parent Directory
-
altcat_3__474_18.min1.thm1.tptp
2017-02-06 16:58
372
altcat_3__491_18.min1.thm1.tptp
2017-02-06 16:58
373
altcat_3__699_23.min1.thm1.tptp
2017-02-06 16:58
415
boolmark__87_23.min1.thm1.tptp
2017-02-06 16:58
356
card_1__1800_20.min1.thm1.tptp
2017-02-06 16:58
352
card_5__1497_21.min1.thm1.tptp
2017-02-06 16:58
407
circuit1__876_31.min1.thm1.tptp
2017-02-06 16:58
418
closure3__280_18.min1.thm1.tptp
2017-02-06 16:58
393
ens_1__1226_18.min1.thm1.tptp
2017-02-06 16:58
376
finseq_1__3451_20.min1.thm1.tptp
2017-02-06 16:58
389
funct_7__345_11.min1.thm1.tptp
2017-02-06 16:58
438
lexbfs__2352_13.min1.thm1.tptp
2017-02-06 16:58
483
modelc_1__1646_23.min1.thm1.tptp
2017-02-06 16:58
358
modelc_1__1647_21.min1.thm1.tptp
2017-02-06 16:58
384
modelc_2__2871_39.min1.thm1.tptp
2017-02-06 16:58
459
nat_1__1611_22.min1.thm1.tptp
2017-02-06 16:58
352
ordinal2__2250_23.min1.thm1.tptp
2017-02-06 16:58
364
pencil_1__717_24.min1.thm1.tptp
2017-02-06 16:58
383
pencil_1__876_24.min1.thm1.tptp
2017-02-06 16:58
383
petri_2__70_38.min1.thm1.tptp
2017-02-06 16:58
456
recdef_1__319_28.min1.thm1.tptp
2017-02-06 16:58
377
rewrite1__1226_30.min1.thm1.tptp
2017-02-06 16:58
362
trees_4__659_58.min1.thm1.tptp
2017-02-06 16:58
362
waybel_3__1120_19.min1.thm1.tptp
2017-02-06 16:58
383
yellow_1__978_24.min1.thm1.tptp
2017-02-06 16:58
383
yellow_1__1083_24.min1.thm1.tptp
2017-02-06 16:58
385
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80