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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]card_1__1047_32.min1.thm1.tptp2017-02-06 16:58 293  
[ ]card_1__1227_16.min1.thm1.tptp2017-02-06 16:58 239  
[ ]card_lar__643_24.min1.thm1.tptp2017-02-06 16:58 264  
[ ]cgames_1__95_26.min1.thm1.tptp2017-02-06 16:58 515  
[ ]cgames_1__701_32.min1.thm1.tptp2017-02-06 16:58 303  
[ ]classes1__1496_15.min1.thm1.tptp2017-02-06 16:58 251  
[ ]classes1__1952_15.min1.thm1.tptp2017-02-06 16:58 245  
[ ]classes2__442_18.min1.thm1.tptp2017-02-06 16:58 245  
[ ]exchsort__973_22.min1.thm1.tptp2017-02-06 16:58 255  
[ ]exchsort__2650_20.min1.thm1.tptp2017-02-06 16:58 254  
[ ]exchsort__2861_23.min1.thm1.tptp2017-02-06 16:58 272  
[ ]henmodel__182_18.min1.thm1.tptp2017-02-06 16:58 228  
[ ]numbers__635_16.min1.thm1.tptp2017-02-06 16:58 186  
[ ]ordinal1__99_16.min1.thm1.tptp2017-02-06 16:58 245  
[ ]ordinal1__486_16.min1.thm1.tptp2017-02-06 16:58 245  
[ ]ordinal1__505_16.min1.thm1.tptp2017-02-06 16:58 245  
[ ]ordinal1__528_16.min1.thm1.tptp2017-02-06 16:58 251  
[ ]ordinal1__713_16.min1.thm1.tptp2017-02-06 16:58 245  
[ ]ordinal1__780_18.min1.thm1.tptp2017-02-06 16:58 251  
[ ]ordinal2__801_28.min1.thm1.tptp2017-02-06 16:58 287  
[ ]ordinal2__892_18.min1.thm1.tptp2017-02-06 16:58 257  
[ ]ordinal2__1002_40.min1.thm1.tptp2017-02-06 16:58 339  
[ ]ordinal2__1018_22.min1.thm1.tptp2017-02-06 16:58 247  
[ ]ordinal2__1123_18.min1.thm1.tptp2017-02-06 16:58 257  
[ ]ordinal2__1259_40.min1.thm1.tptp2017-02-06 16:58 339  
[ ]ordinal2__1276_22.min1.thm1.tptp2017-02-06 16:58 247  
[ ]ordinal2__2334_20.min1.thm1.tptp2017-02-06 16:58 259  
[ ]ordinal4__436_20.min1.thm1.tptp2017-02-06 16:58 248  
[ ]ordinal4__460_20.min1.thm1.tptp2017-02-06 16:58 248  
[ ]ordinal4__908_18.min1.thm1.tptp2017-02-06 16:58 252  
[ ]ordinal4__1166_20.min1.thm1.tptp2017-02-06 16:58 257  
[ ]ordinal4__1180_26.min1.thm1.tptp2017-02-06 16:58 265  
[ ]ordinal4__1797_27.min1.thm1.tptp2017-02-06 16:58 331  
[ ]ordinal4__2157_18.min1.thm1.tptp2017-02-06 16:58 251  
[ ]ordinal4__2234_27.min1.thm1.tptp2017-02-06 16:58 321  
[ ]ordinal4__2407_20.min1.thm1.tptp2017-02-06 16:58 258  
[ ]ordinal5__237_19.min1.thm1.tptp2017-02-06 16:58 242  
[ ]ordinal6__465_18.min1.thm1.tptp2017-02-06 16:58 245  
[ ]ordinal6__926_18.min1.thm1.tptp2017-02-06 16:58 245  
[ ]ordinal6__1093_20.min1.thm1.tptp2017-02-06 16:58 251  
[ ]ordinal6__1320_22.min1.thm1.tptp2017-02-06 16:58 269  
[ ]ordinal6__1784_22.min1.thm1.tptp2017-02-06 16:58 275  
[ ]ordinal6__2217_20.min1.thm1.tptp2017-02-06 16:58 251  
[ ]ordinal6__2499_20.min1.thm1.tptp2017-02-06 16:58 266  
[ ]ordinal6__2599_20.min1.thm1.tptp2017-02-06 16:58 254  
[ ]ordinal6__2716_21.min1.thm1.tptp2017-02-06 16:58 254  
[ ]ordinal6__2922_23.min1.thm1.tptp2017-02-06 16:58 260  
[ ]ordinal6__2988_20.min1.thm1.tptp2017-02-06 16:58 254  
[ ]ordinal6__3031_20.min1.thm1.tptp2017-02-06 16:58 254  
[ ]ordinal6__3437_18.min1.thm1.tptp2017-02-06 16:58 248  
[ ]zf_fund1__693_13.min1.thm1.tptp2017-02-06 16:58 228  
[ ]zf_refle__79_18.min1.thm1.tptp2017-02-06 16:58 248  
[ ]zf_refle__841_22.min1.thm1.tptp2017-02-06 16:58 264  
[ ]zfrefle1__687_16.min1.thm1.tptp2017-02-06 16:58 245  
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80