Index of /~mptp/7.13.01_4.181.1147/mptp/ilp1/d9_xboole_0

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]card_3__1470_38.min1.thm1.tptp2017-02-06 16:57 481  
[ ]card_3__1527_33.min1.thm1.tptp2017-02-06 16:57 315  
[ ]card_4__587_34.min1.thm1.tptp2017-02-06 16:57 333  
[ ]card_4__618_34.min1.thm1.tptp2017-02-06 16:57 333  
[ ]card_4__674_34.min1.thm1.tptp2017-02-06 16:57 333  
[ ]card_fil__541_18.min1.thm1.tptp2017-02-06 16:57 350  
[ ]card_lar__1401_19.min1.thm1.tptp2017-02-06 16:57 333  
[ ]classes2__1245_30.min1.thm1.tptp2017-02-06 16:57 315  
[ ]classes2__1381_34.min1.thm1.tptp2017-02-06 16:57 333  
[ ]filter_0__360_19.min1.thm1.tptp2017-02-06 16:57 600  
[ ]finseq_3__218_17.min1.thm1.tptp2017-02-06 16:57 393  
[ ]finseq_3__516_42.min1.thm1.tptp2017-02-06 16:57 393  
[ ]finset_1__994_32.min1.thm1.tptp2017-02-06 16:57 361  
[ ]finset_1__1052_32.min1.thm1.tptp2017-02-06 16:57 361  
[ ]fsm_2__194_55.min1.thm1.tptp2017-02-06 16:57 693  
[ ]fsm_2__228_53.min1.thm1.tptp2017-02-06 16:57 474  
[ ]fsm_2__338_23.min1.thm1.tptp2017-02-06 16:57 753  
[ ]fsm_2__429_60.min1.thm1.tptp2017-02-06 16:57 923  
[ ]fsm_2__1051_62.min1.thm1.tptp2017-02-06 16:57 931  
[ ]fsm_2__1074_60.min1.thm1.tptp2017-02-06 16:57 923  
[ ]isomichi__949_43.min1.thm1.tptp2017-02-06 16:57 518  
[ ]isomichi__962_43.min1.thm1.tptp2017-02-06 16:57 518  
[ ]isomichi__1194_38.min1.thm1.tptp2017-02-06 16:57 670  
[ ]isomichi__1197_33.min1.thm1.tptp2017-02-06 16:57 670  
[ ]isomichi__1207_36.min1.thm1.tptp2017-02-06 16:57 502  
[ ]isomichi__1210_31.min1.thm1.tptp2017-02-06 16:57 502  
[ ]lattice5__161_16.min1.thm1.tptp2017-02-06 16:57 325  
[ ]lattice5__3269_21.min1.thm1.tptp2017-02-06 16:57 349  
[ ]lattice5__3391_21.min1.thm1.tptp2017-02-06 16:57 349  
[ ]lattice5__4532_34.min1.thm1.tptp2017-02-06 16:57 331  
[ ]lattice5__4682_34.min1.thm1.tptp2017-02-06 16:57 331  
[ ]lattice8__1969_21.min1.thm1.tptp2017-02-06 16:57 349  
[ ]lattice8__2088_21.min1.thm1.tptp2017-02-06 16:57 349  
[ ]lattice8__3072_34.min1.thm1.tptp2017-02-06 16:57 331  
[ ]lattice8__3221_34.min1.thm1.tptp2017-02-06 16:57 331  
[ ]measure6__1028_22.min1.thm1.tptp2017-02-06 16:57 367  
[ ]modal_1__75_14.min1.thm1.tptp2017-02-06 16:57 565  
[ ]modal_1__345_29.min1.thm1.tptp2017-02-06 16:57 268  
[ ]pscomp_1__737_23.min1.thm1.tptp2017-02-06 16:57 381  
[ ]pscomp_1__839_21.min1.thm1.tptp2017-02-06 16:57 365  
[ ]rusub_3__592_33.min1.thm1.tptp2017-02-06 16:57 355  
[ ]rusub_3__838_33.min1.thm1.tptp2017-02-06 16:57 355  
[ ]simplex0__662_18.min1.thm1.tptp2017-02-06 16:57 278  
[ ]simplex0__667_18.min1.thm1.tptp2017-02-06 16:57 278  
[ ]simplex0__708_55.min1.thm1.tptp2017-02-06 16:57 679  
[ ]simplex0__710_42.min1.thm1.tptp2017-02-06 16:57 854  
[ ]simplex0__1095_15.min1.thm1.tptp2017-02-06 16:57 811  
[ ]simplex0__1181_15.min1.thm1.tptp2017-02-06 16:57 825  
[ ]simplex1__766_21.min1.thm1.tptp2017-02-06 16:57 326  
[ ]simplex1__771_21.min1.thm1.tptp2017-02-06 16:57 326  
[ ]simplex1__2090_18.min1.thm1.tptp2017-02-06 16:57 329  
[ ]simplex1__2376_19.min1.thm1.tptp2017-02-06 16:57 290  
[ ]simplex1__2381_19.min1.thm1.tptp2017-02-06 16:57 290  
[ ]simplex1__2758_19.min1.thm1.tptp2017-02-06 16:57 796  
[ ]simplex2__1004_14.min1.thm1.tptp2017-02-06 16:57 318  
[ ]taxonom2__905_40.min1.thm1.tptp2017-02-06 16:57 379  
[ ]taxonom2__1051_40.min1.thm1.tptp2017-02-06 16:57 379  
[ ]trees_1__175_26.min1.thm1.tptp2017-02-06 16:57 264  
[ ]trees_1__403_19.min1.thm1.tptp2017-02-06 16:57 268  
[ ]trees_1__411_19.min1.thm1.tptp2017-02-06 16:57 268  
[ ]trees_1__2062_32.min1.thm1.tptp2017-02-06 16:57 274  
[ ]trees_2__237_29.min1.thm1.tptp2017-02-06 16:57 268  
[ ]trees_2__238_26.min1.thm1.tptp2017-02-06 16:57 268  
[ ]trees_2__695_36.min1.thm1.tptp2017-02-06 16:57 372  
[ ]trees_2__1017_34.min1.thm1.tptp2017-02-06 16:57 340  
[ ]trees_2__1757_25.min1.thm1.tptp2017-02-06 16:57 309  
[ ]trees_a__198_46.min1.thm1.tptp2017-02-06 16:57 342  
[ ]trees_a__277_42.min1.thm1.tptp2017-02-06 16:57 338  
[ ]waybel_6__787_29.min1.thm1.tptp2017-02-06 16:57 348  
[ ]wellord1__607_19.min1.thm1.tptp2017-02-06 16:57 493  
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80