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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]afinsq_1__56_14.min1.thm1.tptp2017-02-06 16:57 300  
[ ]card_1__1047_32.min1.thm1.tptp2017-02-06 16:57 293  
[ ]card_1__1048_40.min1.thm1.tptp2017-02-06 16:57 370  
[ ]card_1__1227_16.min1.thm1.tptp2017-02-06 16:57 239  
[ ]card_2__1834_8.min1.thm1.tptp2017-02-06 16:57 362  
[ ]card_lar__643_24.min1.thm1.tptp2017-02-06 16:57 264  
[ ]classes1__520_72.min1.thm1.tptp2017-02-06 16:57 593  
[ ]classes1__523_68.min1.thm1.tptp2017-02-06 16:57 574  
[ ]classes1__734_49.min1.thm1.tptp2017-02-06 16:57 354  
[ ]classes1__1037_30.min1.thm1.tptp2017-02-06 16:57 690  
[ ]classes1__1496_15.min1.thm1.tptp2017-02-06 16:57 251  
[ ]classes1__1596_51.min1.thm1.tptp2017-02-06 16:57 532  
[ ]classes1__1804_14.min1.thm1.tptp2017-02-06 16:57 292  
[ ]classes1__1839_43.min1.thm1.tptp2017-02-06 16:57 308  
[ ]classes1__1952_15.min1.thm1.tptp2017-02-06 16:57 245  
[ ]classes2__442_18.min1.thm1.tptp2017-02-06 16:57 245  
[ ]classes2__1622_46.min1.thm1.tptp2017-02-06 16:57 698  
[ ]compact1__584_12.min1.thm1.tptp2017-02-06 16:57 707  
[ ]exchsort__133_29.min1.thm1.tptp2017-02-06 16:57 350  
[ ]exchsort__744_20.min1.thm1.tptp2017-02-06 16:57 300  
[ ]exchsort__973_22.min1.thm1.tptp2017-02-06 16:57 255  
[ ]exchsort__2650_20.min1.thm1.tptp2017-02-06 16:57 254  
[ ]exchsort__2861_23.min1.thm1.tptp2017-02-06 16:57 272  
[ ]exchsort__3095_21.min1.thm1.tptp2017-02-06 16:57 312  
[ ]frechet__1154_58.min1.thm1.tptp2017-02-06 16:57 505  
[ ]glib_002__1228_16.min1.thm1.tptp2017-02-06 16:57 263  
[ ]hilbasis__280_22.min1.thm1.tptp2017-02-06 16:57 310  
[ ]lang1__481_42.min1.thm1.tptp2017-02-06 16:57 233  
[ ]lang1__851_18.min1.thm1.tptp2017-02-06 16:57 248  
[ ]ordinal1__99_16.min1.thm1.tptp2017-02-06 16:57 245  
[ ]ordinal1__351_32.min1.thm1.tptp2017-02-06 16:57 300  
[ ]ordinal1__486_16.min1.thm1.tptp2017-02-06 16:57 245  
[ ]ordinal1__505_16.min1.thm1.tptp2017-02-06 16:57 245  
[ ]ordinal1__525_43.min1.thm1.tptp2017-02-06 16:57 411  
[ ]ordinal1__528_16.min1.thm1.tptp2017-02-06 16:57 251  
[ ]ordinal1__710_43.min1.thm1.tptp2017-02-06 16:57 371  
[ ]ordinal1__713_16.min1.thm1.tptp2017-02-06 16:57 245  
[ ]ordinal1__780_18.min1.thm1.tptp2017-02-06 16:57 251  
[ ]ordinal1__1535_28.min1.thm1.tptp2017-02-06 16:57 235  
[ ]ordinal2__676_8.min1.thm1.tptp2017-02-06 16:57 1.3K 
[ ]ordinal2__801_28.min1.thm1.tptp2017-02-06 16:57 287  
[ ]ordinal2__892_18.min1.thm1.tptp2017-02-06 16:57 257  
[ ]ordinal2__1002_40.min1.thm1.tptp2017-02-06 16:57 339  
[ ]ordinal2__1018_22.min1.thm1.tptp2017-02-06 16:57 247  
[ ]ordinal2__1123_18.min1.thm1.tptp2017-02-06 16:57 257  
[ ]ordinal2__1205_10.min1.thm1.tptp2017-02-06 16:57 590  
[ ]ordinal2__1207_10.min1.thm1.tptp2017-02-06 16:57 590  
[ ]ordinal2__1259_40.min1.thm1.tptp2017-02-06 16:57 339  
[ ]ordinal2__1276_22.min1.thm1.tptp2017-02-06 16:57 247  
[ ]ordinal2__2334_20.min1.thm1.tptp2017-02-06 16:57 259  
[ ]ordinal2__2338_19.min1.thm1.tptp2017-02-06 16:57 413  
[ ]ordinal2__2460_42.min1.thm1.tptp2017-02-06 16:57 414  
[ ]ordinal2__2463_42.min1.thm1.tptp2017-02-06 16:57 414  
[ ]ordinal3__37_16.min1.thm1.tptp2017-02-06 16:57 236  
[ ]ordinal3__42_16.min1.thm1.tptp2017-02-06 16:57 254  
[ ]ordinal3__1753_23.min1.thm1.tptp2017-02-06 16:57 518  
[ ]ordinal3__1758_11.min1.thm1.tptp2017-02-06 16:57 414  
[ ]ordinal3__1793_23.min1.thm1.tptp2017-02-06 16:57 592  
[ ]ordinal3__1799_11.min1.thm1.tptp2017-02-06 16:57 438  
[ ]ordinal4__436_20.min1.thm1.tptp2017-02-06 16:57 248  
[ ]ordinal4__460_20.min1.thm1.tptp2017-02-06 16:57 248  
[ ]ordinal4__908_18.min1.thm1.tptp2017-02-06 16:57 252  
[ ]ordinal4__1166_20.min1.thm1.tptp2017-02-06 16:57 257  
[ ]ordinal4__1180_26.min1.thm1.tptp2017-02-06 16:57 265  
[ ]ordinal4__1797_27.min1.thm1.tptp2017-02-06 16:57 331  
[ ]ordinal4__2157_18.min1.thm1.tptp2017-02-06 16:57 251  
[ ]ordinal4__2234_27.min1.thm1.tptp2017-02-06 16:57 321  
[ ]ordinal4__2407_20.min1.thm1.tptp2017-02-06 16:57 258  
[ ]ordinal6__465_18.min1.thm1.tptp2017-02-06 16:57 245  
[ ]ordinal6__926_18.min1.thm1.tptp2017-02-06 16:57 245  
[ ]ordinal6__1093_20.min1.thm1.tptp2017-02-06 16:57 251  
[ ]ordinal6__1320_22.min1.thm1.tptp2017-02-06 16:57 269  
[ ]ordinal6__1784_22.min1.thm1.tptp2017-02-06 16:57 275  
[ ]ordinal6__2217_20.min1.thm1.tptp2017-02-06 16:57 251  
[ ]ordinal6__2499_20.min1.thm1.tptp2017-02-06 16:57 266  
[ ]ordinal6__2547_59.min1.thm1.tptp2017-02-06 16:57 557  
[ ]ordinal6__2551_59.min1.thm1.tptp2017-02-06 16:57 557  
[ ]ordinal6__2599_20.min1.thm1.tptp2017-02-06 16:57 254  
[ ]ordinal6__2716_21.min1.thm1.tptp2017-02-06 16:57 254  
[ ]ordinal6__2922_23.min1.thm1.tptp2017-02-06 16:57 260  
[ ]ordinal6__2988_20.min1.thm1.tptp2017-02-06 16:57 254  
[ ]ordinal6__3031_20.min1.thm1.tptp2017-02-06 16:57 254  
[ ]ordinal6__3437_18.min1.thm1.tptp2017-02-06 16:57 248  
[ ]ordinal6__3501_29.min1.thm1.tptp2017-02-06 16:57 446  
[ ]zf_refle__79_18.min1.thm1.tptp2017-02-06 16:57 248  
[ ]zf_refle__610_29.min1.thm1.tptp2017-02-06 16:57 300  
[ ]zf_refle__841_22.min1.thm1.tptp2017-02-06 16:57 264  
[ ]zfrefle1__659_29.min1.thm1.tptp2017-02-06 16:57 282  
[ ]zfrefle1__687_16.min1.thm1.tptp2017-02-06 16:57 245  
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80