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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]algspec1__828_47.min1.thm1.tptp2017-02-06 16:57 330  
[ ]altcat_1__996_23.min1.thm1.tptp2017-02-06 16:57 387  
[ ]armstrng__4248_23.min1.thm1.tptp2017-02-06 16:57 288  
[ ]borsuk_1__1199_27.min1.thm1.tptp2017-02-06 16:57 427  
[ ]borsuk_4__1863_20.min1.thm1.tptp2017-02-06 16:57 230  
[ ]closure1__486_26.min1.thm1.tptp2017-02-06 16:57 311  
[ ]closure1__529_23.min1.thm1.tptp2017-02-06 16:57 311  
[ ]closure2__792_25.min1.thm1.tptp2017-02-06 16:57 335  
[ ]closure2__942_14.min1.thm1.tptp2017-02-06 16:57 228  
[ ]closure2__964_14.min1.thm1.tptp2017-02-06 16:57 228  
[ ]closure3__315_21.min1.thm1.tptp2017-02-06 16:57 307  
[ ]closure3__341_21.min1.thm1.tptp2017-02-06 16:57 309  
[ ]cohsp_1__347_18.min1.thm1.tptp2017-02-06 16:57 228  
[ ]cohsp_1__629_18.min1.thm1.tptp2017-02-06 16:57 223  
[ ]cohsp_1__4488_51.min1.thm1.tptp2017-02-06 16:57 323  
[ ]cohsp_1__4524_51.min1.thm1.tptp2017-02-06 16:57 323  
[ ]combgras__1934_18.min1.thm1.tptp2017-02-06 16:57 213  
[ ]compos_2__740_40.min1.thm1.tptp2017-02-06 16:57 301  
[ ]compos_2__767_40.min1.thm1.tptp2017-02-06 16:57 302  
[ ]convex3__1134_34.min1.thm1.tptp2017-02-06 16:57 270  
[ ]convex4__234_19.min1.thm1.tptp2017-02-06 16:57 270  
[ ]cqc_the3__1307_43.min1.thm1.tptp2017-02-06 16:57 466  
[ ]dilworth__2810_23.min1.thm1.tptp2017-02-06 16:57 409  
[ ]dynkin__483_45.min1.thm1.tptp2017-02-06 16:57 275  
[ ]exchsort__2608_44.min1.thm1.tptp2017-02-06 16:57 325  
[ ]exchsort__2994_25.min1.thm1.tptp2017-02-06 16:57 262  
[ ]finseq_8__890_21.min1.thm1.tptp2017-02-06 16:57 221  
[ ]flang_2__1043_19.min1.thm1.tptp2017-02-06 16:57 519  
[ ]flang_2__1914_19.min1.thm1.tptp2017-02-06 16:57 417  
[ ]fomodel4__491_46.min1.thm1.tptp2017-02-06 16:57 298  
[ ]funct_1__2282_27.min1.thm1.tptp2017-02-06 16:57 310  
[ ]glib_000__1040_55.min1.thm1.tptp2017-02-06 16:57 289  
[ ]glib_000__1101_25.min1.thm1.tptp2017-02-06 16:57 330  
[ ]glib_004__2280_39.min1.thm1.tptp2017-02-06 16:57 443  
[ ]graph_2__724_19.min1.thm1.tptp2017-02-06 16:57 330  
[ ]groeb_2__2329_19.min1.thm1.tptp2017-02-06 16:57 395  
[ ]group_2__149_16.min1.thm1.tptp2017-02-06 16:57 254  
[ ]group_9__10299_25.min1.thm1.tptp2017-02-06 16:57 245  
[ ]group_9__11760_27.min1.thm1.tptp2017-02-06 16:57 253  
[ ]group_9__11786_27.min1.thm1.tptp2017-02-06 16:57 253  
[ ]hallmar1__473_23.min1.thm1.tptp2017-02-06 16:57 281  
[ ]interva1__144_18.min1.thm1.tptp2017-02-06 16:57 260  
[ ]interva1__1514_52.min1.thm1.tptp2017-02-06 16:57 647  
[ ]jordan1k__405_19.min1.thm1.tptp2017-02-06 16:57 326  
[ ]jordan3__3766_19.min1.thm1.tptp2017-02-06 16:57 319  
[ ]jordan5b__1596_19.min1.thm1.tptp2017-02-06 16:57 358  
[ ]jordan23__1477_19.min1.thm1.tptp2017-02-06 16:57 358  
[ ]kolmog01__157_23.min1.thm1.tptp2017-02-06 16:57 223  
[ ]lexbfs__384_22.min1.thm1.tptp2017-02-06 16:57 216  
[ ]mathmorp__293_20.min1.thm1.tptp2017-02-06 16:57 303  
[ ]matrix15__2704_73.min1.thm1.tptp2017-02-06 16:57 840  
[ ]matroid0__474_29.min1.thm1.tptp2017-02-06 16:57 404  
[ ]measure7__1144_34.min1.thm1.tptp2017-02-06 16:57 380  
[ ]measure7__1195_34.min1.thm1.tptp2017-02-06 16:57 380  
[ ]measure8__481_23.min1.thm1.tptp2017-02-06 16:57 261  
[ ]measure8__688_37.min1.thm1.tptp2017-02-06 16:57 406  
[ ]measure8__732_37.min1.thm1.tptp2017-02-06 16:57 406  
[ ]mesfunc4__1107_31.min1.thm1.tptp2017-02-06 16:57 329  
[ ]mesfunc4__2322_21.min1.thm1.tptp2017-02-06 16:57 238  
[ ]mesfunc4__2386_21.min1.thm1.tptp2017-02-06 16:57 238  
[ ]mesfunc5__6498_21.min1.thm1.tptp2017-02-06 16:57 243  
[ ]metric_1__616_39.min1.thm1.tptp2017-02-06 16:57 272  
[ ]metric_1__645_39.min1.thm1.tptp2017-02-06 16:57 272  
[ ]metric_1__674_39.min1.thm1.tptp2017-02-06 16:57 272  
[ ]morph_01__790_25.min1.thm1.tptp2017-02-06 16:57 424  
[ ]msscyc_1__900_28.min1.thm1.tptp2017-02-06 16:57 255  
[ ]normform__351_15.min1.thm1.tptp2017-02-06 16:57 1.1K 
[ ]pralg_3__458_39.min1.thm1.tptp2017-02-06 16:57 379  
[ ]pre_topc__122_28.min1.thm1.tptp2017-02-06 16:57 216  
[ ]prob_3__1263_22.min1.thm1.tptp2017-02-06 16:57 263  
[ ]prob_4__735_43.min1.thm1.tptp2017-02-06 16:57 255  
[ ]pua2mss1__1698_32.min1.thm1.tptp2017-02-06 16:57 459  
[ ]qc_lang3__840_37.min1.thm1.tptp2017-02-06 16:57 276  
[ ]qc_lang3__896_37.min1.thm1.tptp2017-02-06 16:57 276  
[ ]qc_lang4__798_26.min1.thm1.tptp2017-02-06 16:57 216  
[ ]ramsey_1__2108_21.min1.thm1.tptp2017-02-06 16:57 303  
[ ]relat_1__2588_26.min1.thm1.tptp2017-02-06 16:57 256  
[ ]relset_1__367_26.min1.thm1.tptp2017-02-06 16:57 273  
[ ]relset_1__891_28.min1.thm1.tptp2017-02-06 16:57 288  
[ ]rlvect_2__1085_19.min1.thm1.tptp2017-02-06 16:57 279  
[ ]rmod_4__438_19.min1.thm1.tptp2017-02-06 16:57 289  
[ ]setfam_1__103_19.min1.thm1.tptp2017-02-06 16:57 241  
[ ]setfam_1__861_19.min1.thm1.tptp2017-02-06 16:57 352  
[ ]subset_1__511_17.min1.thm1.tptp2017-02-06 16:57 263  
[ ]taxonom2__394_20.min1.thm1.tptp2017-02-06 16:57 229  
[ ]tex_1__222_48.min1.thm1.tptp2017-02-06 16:57 277  
[ ]tex_1__232_48.min1.thm1.tptp2017-02-06 16:57 277  
[ ]topalg_6__1046_20.min1.thm1.tptp2017-02-06 16:57 276  
[ ]topalg_6__1047_41.min1.thm1.tptp2017-02-06 16:57 264  
[ ]topalg_6__2866_21.min1.thm1.tptp2017-02-06 16:57 527  
[ ]topalg_6__2888_23.min1.thm1.tptp2017-02-06 16:57 307  
[ ]topdim_2__939_17.min1.thm1.tptp2017-02-06 16:57 288  
[ ]topgen_3__399_12.min1.thm1.tptp2017-02-06 16:57 206  
[ ]topgen_3__616_12.min1.thm1.tptp2017-02-06 16:57 207  
[ ]topgen_4__448_13.min1.thm1.tptp2017-02-06 16:57 208  
[ ]topgen_4__1037_19.min1.thm1.tptp2017-02-06 16:57 352  
[ ]topreal9__985_19.min1.thm1.tptp2017-02-06 16:57 566  
[ ]trees_1__1666_10.min1.thm1.tptp2017-02-06 16:57 203  
[ ]trees_2__402_24.min1.thm1.tptp2017-02-06 16:57 324  
[ ]urysohn3__893_19.min1.thm1.tptp2017-02-06 16:57 360  
[ ]urysohn3__910_19.min1.thm1.tptp2017-02-06 16:57 360  
[ ]urysohn3__940_19.min1.thm1.tptp2017-02-06 16:57 360  
[ ]vectsp_6__192_19.min1.thm1.tptp2017-02-06 16:57 302  
[ ]waybel18__1291_18.min1.thm1.tptp2017-02-06 16:57 226  
[ ]waybel_2__1144_19.min1.thm1.tptp2017-02-06 16:57 413  
[ ]weierstr__503_45.min1.thm1.tptp2017-02-06 16:57 287  
[ ]wellord1__606_56.min1.thm1.tptp2017-02-06 16:57 460  
[ ]xboole_1__53_28.min1.thm1.tptp2017-02-06 16:57 246  
[ ]yellow16__1747_13.min1.thm1.tptp2017-02-06 16:57 194  
[ ]yellow_9__617_13.min1.thm1.tptp2017-02-06 16:57 210  
[ ]zf_fund2__73_18.min1.thm1.tptp2017-02-06 16:57 324  
[ ]zfmisc_1__67_16.min1.thm1.tptp2017-02-06 16:57 305  
[ ]zfmisc_1__1887_19.min1.thm1.tptp2017-02-06 16:57 218  
[ ]zfmisc_1__1986_19.min1.thm1.tptp2017-02-06 16:57 265  
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80