Index of /~mptp/7.13.01_4.181.1147/MPTP2/ilp1/redefinition_k6_partfun1

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]cat_1__1564_44.min1.thm1.tptp2017-02-06 16:58 269  
[ ]circcmb3__3108_17.min1.thm1.tptp2017-02-06 16:58 283  
[ ]circtrm1__247_42.min1.thm1.tptp2017-02-06 16:58 440  
[ ]circtrm1__249_42.min1.thm1.tptp2017-02-06 16:58 440  
[ ]circtrm1__1446_22.min1.thm1.tptp2017-02-06 16:58 271  
[ ]circtrm1__1447_13.min1.thm1.tptp2017-02-06 16:58 299  
[ ]circtrm1__1448_11.min1.thm1.tptp2017-02-06 16:58 299  
[ ]circtrm1__1643_40.min1.thm1.tptp2017-02-06 16:58 271  
[ ]circtrm1__1761_13.min1.thm1.tptp2017-02-06 16:58 299  
[ ]circtrm1__1762_11.min1.thm1.tptp2017-02-06 16:58 299  
[ ]exchsort__1219_26.min1.thm1.tptp2017-02-06 16:58 282  
[ ]fomodel0__2164_35.min1.thm1.tptp2017-02-06 16:58 316  
[ ]functor1__503_30.min1.thm1.tptp2017-02-06 16:58 344  
[ ]functor1__638_42.min1.thm1.tptp2017-02-06 16:58 303  
[ ]functor1__654_28.min1.thm1.tptp2017-02-06 16:58 342  
[ ]instalg1__321_29.min1.thm1.tptp2017-02-06 16:58 288  
[ ]instalg1__390_59.min1.thm1.tptp2017-02-06 16:58 364  
[ ]instalg1__441_46.min1.thm1.tptp2017-02-06 16:58 278  
[ ]instalg1__445_48.min1.thm1.tptp2017-02-06 16:58 278  
[ ]instalg1__796_28.min1.thm1.tptp2017-02-06 16:58 278  
[ ]instalg1__799_29.min1.thm1.tptp2017-02-06 16:58 278  
[ ]matrix11__4967_16.min1.thm1.tptp2017-02-06 16:58 281  
[ ]matrix11__5110_17.min1.thm1.tptp2017-02-06 16:58 283  
[ ]matrix11__5195_14.min1.thm1.tptp2017-02-06 16:58 278  
[ ]matrix11__5266_15.min1.thm1.tptp2017-02-06 16:58 281  
[ ]matrix_9__136_27.min1.thm1.tptp2017-02-06 16:58 317  
[ ]matrtop3__2797_17.min1.thm1.tptp2017-02-06 16:58 258  
[ ]matrtop3__2844_17.min1.thm1.tptp2017-02-06 16:58 258  
[ ]matrtop3__2884_22.min1.thm1.tptp2017-02-06 16:58 304  
[ ]oposet_1__117_14.min1.thm1.tptp2017-02-06 16:58 263  
[ ]oposet_1__708_27.min1.thm1.tptp2017-02-06 16:58 293  
[ ]scm_halt__2929_70.min1.thm1.tptp2017-02-06 16:58 268  
[ ]scmfsa6a__107_68.min1.thm1.tptp2017-02-06 16:58 267  
[ ]scmfsa7b__61_70.min1.thm1.tptp2017-02-06 16:58 267  
[ ]scmfsa7b__69_70.min1.thm1.tptp2017-02-06 16:58 269  
[ ]scmfsa7b__112_70.min1.thm1.tptp2017-02-06 16:58 267  
[ ]scmfsa8c__4120_70.min1.thm1.tptp2017-02-06 16:58 268  
[ ]topgrp_1__52_27.min1.thm1.tptp2017-02-06 16:58 260  
[ ]triang_1__427_24.min1.thm1.tptp2017-02-06 16:58 282  
[ ]triang_1__428_24.min1.thm1.tptp2017-02-06 16:58 280  
[ ]yellow18__2880_8.min1.thm1.tptp2017-02-06 16:58 252  
[ ]yellow18__3167_13.min1.thm1.tptp2017-02-06 16:58 298  
[ ]yellow18__3268_23.min1.thm1.tptp2017-02-06 16:58 298  
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80