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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]afinsq_2__1488_21.min1.thm1.tptp2017-02-06 16:57 286  
[ ]afinsq_2__1828_19.min1.thm1.tptp2017-02-06 16:57 279  
[ ]afinsq_2__1963_20.min1.thm1.tptp2017-02-06 16:57 281  
[ ]afinsq_2__2066_17.min1.thm1.tptp2017-02-06 16:57 283  
[ ]algspec1__491_27.min1.thm1.tptp2017-02-06 16:57 363  
[ ]ami_5__516_29.min1.thm1.tptp2017-02-06 16:57 351  
[ ]ami_5__609_30.min1.thm1.tptp2017-02-06 16:57 357  
[ ]ami_5__640_6.min1.thm1.tptp2017-02-06 16:57 515  
[ ]card_1__1187_23.min1.thm1.tptp2017-02-06 16:57 305  
[ ]card_2__833_34.min1.thm1.tptp2017-02-06 16:57 387  
[ ]card_4__826_26.min1.thm1.tptp2017-02-06 16:57 329  
[ ]card_4__838_28.min1.thm1.tptp2017-02-06 16:57 335  
[ ]card_4__886_18.min1.thm1.tptp2017-02-06 16:57 333  
[ ]card_fil__1853_21.min1.thm1.tptp2017-02-06 16:57 281  
[ ]card_fin__935_22.min1.thm1.tptp2017-02-06 16:57 606  
[ ]catalan2__1736_24.min1.thm1.tptp2017-02-06 16:57 406  
[ ]catalan2__2042_24.min1.thm1.tptp2017-02-06 16:57 406  
[ ]circcmb2__460_20.min1.thm1.tptp2017-02-06 16:57 279  
[ ]circcmb2__475_24.min1.thm1.tptp2017-02-06 16:57 337  
[ ]circcmb2__494_28.min1.thm1.tptp2017-02-06 16:57 395  
[ ]cohsp_1__3934_20.min1.thm1.tptp2017-02-06 16:57 399  
[ ]combgras__290_41.min1.thm1.tptp2017-02-06 16:57 396  
[ ]combgras__347_64.min1.thm1.tptp2017-02-06 16:57 557  
[ ]combgras__366_44.min1.thm1.tptp2017-02-06 16:57 430  
[ ]combgras__1752_21.min1.thm1.tptp2017-02-06 16:57 305  
[ ]convfun1__1915_17.min1.thm1.tptp2017-02-06 16:57 281  
[ ]dist_1__653_39.min1.thm1.tptp2017-02-06 16:57 507  
[ ]dist_1__659_39.min1.thm1.tptp2017-02-06 16:57 507  
[ ]ec_pf_1__1957_21.min1.thm1.tptp2017-02-06 16:57 276  
[ ]ff_siec__427_19.min1.thm1.tptp2017-02-06 16:57 445  
[ ]ff_siec__446_19.min1.thm1.tptp2017-02-06 16:57 421  
[ ]ff_siec__466_19.min1.thm1.tptp2017-02-06 16:57 445  
[ ]ff_siec__483_17.min1.thm1.tptp2017-02-06 16:57 417  
[ ]finseq_3__543_17.min1.thm1.tptp2017-02-06 16:57 283  
[ ]finseq_3__1360_22.min1.thm1.tptp2017-02-06 16:57 431  
[ ]finseq_3__3578_31.min1.thm1.tptp2017-02-06 16:57 489  
[ ]fomodel1__428_18.min1.thm1.tptp2017-02-06 16:57 339  
[ ]fraenkel__823_28.min1.thm1.tptp2017-02-06 16:57 287  
[ ]freealg__448_45.min1.thm1.tptp2017-02-06 16:57 421  
[ ]funct_1__1763_17.min1.thm1.tptp2017-02-06 16:57 525  
[ ]funct_1__1905_21.min1.thm1.tptp2017-02-06 16:57 273  
[ ]funct_1__1908_17.min1.thm1.tptp2017-02-06 16:57 381  
[ ]funct_4__1577_25.min1.thm1.tptp2017-02-06 16:57 299  
[ ]funct_4__1618_25.min1.thm1.tptp2017-02-06 16:57 299  
[ ]funct_4__1623_25.min1.thm1.tptp2017-02-06 16:57 299  
[ ]glib_001__4194_26.min1.thm1.tptp2017-02-06 16:57 351  
[ ]goboard3__588_42.min1.thm1.tptp2017-02-06 16:57 417  
[ ]goboard3__1664_42.min1.thm1.tptp2017-02-06 16:57 417  
[ ]goboard3__2754_42.min1.thm1.tptp2017-02-06 16:57 417  
[ ]goboard3__3831_42.min1.thm1.tptp2017-02-06 16:57 417  
[ ]goboard4__1016_57.min1.thm1.tptp2017-02-06 16:57 833  
[ ]goboard4__1865_61.min1.thm1.tptp2017-02-06 16:57 967  
[ ]goboard4__2304_61.min1.thm1.tptp2017-02-06 16:57 967  
[ ]goboard4__2497_32.min1.thm1.tptp2017-02-06 16:57 344  
[ ]graph_3__3000_24.min1.thm1.tptp2017-02-06 16:57 331  
[ ]graph_3__3830_27.min1.thm1.tptp2017-02-06 16:57 331  
[ ]groeb_1__3029_21.min1.thm1.tptp2017-02-06 16:57 311  
[ ]group_9__8199_22.min1.thm1.tptp2017-02-06 16:57 389  
[ ]group_9__8212_22.min1.thm1.tptp2017-02-06 16:57 389  
[ ]jgraph_6__4129_21.min1.thm1.tptp2017-02-06 16:57 473  
[ ]jgraph_6__4150_21.min1.thm1.tptp2017-02-06 16:57 473  
[ ]jordan1g__4024_58.min1.thm1.tptp2017-02-06 16:57 1.5K 
[ ]jordan1g__4027_58.min1.thm1.tptp2017-02-06 16:57 1.6K 
[ ]lattice3__201_16.min1.thm1.tptp2017-02-06 16:57 311  
[ ]matrix11__3393_24.min1.thm1.tptp2017-02-06 16:57 339  
[ ]matrix11__3786_26.min1.thm1.tptp2017-02-06 16:57 351  
[ ]mboolean__904_21.min1.thm1.tptp2017-02-06 16:57 357  
[ ]mboolean__992_21.min1.thm1.tptp2017-02-06 16:57 305  
[ ]mboolean__1051_19.min1.thm1.tptp2017-02-06 16:57 345  
[ ]measure3__1427_31.min1.thm1.tptp2017-02-06 16:57 463  
[ ]measure3__1429_23.min1.thm1.tptp2017-02-06 16:57 463  
[ ]mesfunc3__438_36.min1.thm1.tptp2017-02-06 16:57 505  
[ ]mesfunc3__1869_40.min1.thm1.tptp2017-02-06 16:57 477  
[ ]mesfunc3__1872_19.min1.thm1.tptp2017-02-06 16:57 415  
[ ]mesfunc3__2193_29.min1.thm1.tptp2017-02-06 16:57 411  
[ ]mesfunc4__1481_45.min1.thm1.tptp2017-02-06 16:57 465  
[ ]mesfunc4__1997_32.min1.thm1.tptp2017-02-06 16:57 1.2K 
[ ]mesfunc4__1999_21.min1.thm1.tptp2017-02-06 16:57 405  
[ ]mesfunc4__2011_21.min1.thm1.tptp2017-02-06 16:57 405  
[ ]mesfunc5__1670_24.min1.thm1.tptp2017-02-06 16:57 585  
[ ]mesfunc5__4985_37.min1.thm1.tptp2017-02-06 16:57 447  
[ ]mesfunc5__5016_35.min1.thm1.tptp2017-02-06 16:57 445  
[ ]mesfunc5__5051_37.min1.thm1.tptp2017-02-06 16:57 447  
[ ]mesfunc5__5076_35.min1.thm1.tptp2017-02-06 16:57 443  
[ ]mesfunc6__1503_24.min1.thm1.tptp2017-02-06 16:57 585  
[ ]mssubfam__1469_26.min1.thm1.tptp2017-02-06 16:57 403  
[ ]nat_5__3209_30.min1.thm1.tptp2017-02-06 16:57 376  
[ ]orders_1__96_21.min1.thm1.tptp2017-02-06 16:57 312  
[ ]partit1__1050_30.min1.thm1.tptp2017-02-06 16:57 308  
[ ]partit1__1089_28.min1.thm1.tptp2017-02-06 16:57 296  
[ ]partit1__1562_15.min1.thm1.tptp2017-02-06 16:57 301  
[ ]partit1__1654_14.min1.thm1.tptp2017-02-06 16:57 302  
[ ]partit1__1742_14.min1.thm1.tptp2017-02-06 16:57 294  
[ ]pboole__415_23.min1.thm1.tptp2017-02-06 16:57 386  
[ ]pboole__1507_14.min1.thm1.tptp2017-02-06 16:57 395  
[ ]pnproc_1__267_19.min1.thm1.tptp2017-02-06 16:57 283  
[ ]pnproc_1__294_18.min1.thm1.tptp2017-02-06 16:57 279  
[ ]pnproc_1__300_36.min1.thm1.tptp2017-02-06 16:57 443  
[ ]pnproc_1__2275_20.min1.thm1.tptp2017-02-06 16:57 292  
[ ]pnproc_1__2282_20.min1.thm1.tptp2017-02-06 16:57 295  
[ ]pnproc_1__2326_54.min1.thm1.tptp2017-02-06 16:57 579  
[ ]pnproc_1__2433_18.min1.thm1.tptp2017-02-06 16:57 280  
[ ]pnproc_1__2439_21.min1.thm1.tptp2017-02-06 16:57 283  
[ ]pnproc_1__2479_26.min1.thm1.tptp2017-02-06 16:57 335  
[ ]pnproc_1__2483_55.min1.thm1.tptp2017-02-06 16:57 559  
[ ]pnproc_1__3285_21.min1.thm1.tptp2017-02-06 16:57 291  
[ ]pnproc_1__3289_36.min1.thm1.tptp2017-02-06 16:57 379  
[ ]pnproc_1__3295_22.min1.thm1.tptp2017-02-06 16:57 291  
[ ]prob_3__921_31.min1.thm1.tptp2017-02-06 16:57 373  
[ ]prob_4__1636_31.min1.thm1.tptp2017-02-06 16:57 443  
[ ]prob_4__1638_23.min1.thm1.tptp2017-02-06 16:57 443  
[ ]pzfmisc1__1781_30.min1.thm1.tptp2017-02-06 16:57 427  
[ ]pzfmisc1__1788_16.min1.thm1.tptp2017-02-06 16:57 681  
[ ]pzfmisc1__1801_28.min1.thm1.tptp2017-02-06 16:57 427  
[ ]pzfmisc1__1808_16.min1.thm1.tptp2017-02-06 16:57 681  
[ ]pzfmisc1__2016_26.min1.thm1.tptp2017-02-06 16:57 403  
[ ]pzfmisc1__2022_14.min1.thm1.tptp2017-02-06 16:57 641  
[ ]relat_1__2999_21.min1.thm1.tptp2017-02-06 16:57 279  
[ ]rltopsp1__2625_25.min1.thm1.tptp2017-02-06 16:57 329  
[ ]rlvect_1__1355_27.min1.thm1.tptp2017-02-06 16:57 472  
[ ]scmfsa_3__186_8.min1.thm1.tptp2017-02-06 16:57 549  
[ ]scmfsa_3__408_30.min1.thm1.tptp2017-02-06 16:57 549  
[ ]scmpds_3__195_14.min1.thm1.tptp2017-02-06 16:57 364  
[ ]scmpds_3__197_50.min1.thm1.tptp2017-02-06 16:57 421  
[ ]scmpds_3__210_14.min1.thm1.tptp2017-02-06 16:57 364  
[ ]scmpds_3__212_50.min1.thm1.tptp2017-02-06 16:57 421  
[ ]scmring4__488_6.min1.thm1.tptp2017-02-06 16:57 647  
[ ]scmring4__504_6.min1.thm1.tptp2017-02-06 16:57 639  
[ ]setwop_2__218_31.min1.thm1.tptp2017-02-06 16:57 399  
[ ]sppol_2__2857_32.min1.thm1.tptp2017-02-06 16:57 657  
[ ]topreal1__1374_20.min1.thm1.tptp2017-02-06 16:57 275  
[ ]topreal2__43_24.min1.thm1.tptp2017-02-06 16:57 295  
[ ]waybel_1__3195_14.min1.thm1.tptp2017-02-06 16:57 311  
[ ]waybel_7__152_12.min1.thm1.tptp2017-02-06 16:57 275  
[ ]wellfnd1__1161_29.min1.thm1.tptp2017-02-06 16:57 484  
[ ]wellord2__1042_19.min1.thm1.tptp2017-02-06 16:57 288  
[ ]wellset1__952_31.min1.thm1.tptp2017-02-06 16:57 461  
[ ]xboole_0__263_24.min1.thm1.tptp2017-02-06 16:57 286  
[ ]xboole_0__274_17.min1.thm1.tptp2017-02-06 16:57 282  
[ ]xboole_0__282_24.min1.thm1.tptp2017-02-06 16:57 286  
[ ]xboole_0__291_17.min1.thm1.tptp2017-02-06 16:57 282  
[ ]xboole_1__906_17.min1.thm1.tptp2017-02-06 16:57 279  
[ ]xboole_1__1028_34.min1.thm1.tptp2017-02-06 16:57 387  
[ ]xboole_1__1089_17.min1.thm1.tptp2017-02-06 16:57 340  
[ ]xboole_1__1096_21.min1.thm1.tptp2017-02-06 16:57 279  
[ ]yellow17__334_58.min1.thm1.tptp2017-02-06 16:57 644  
[ ]yellow_6__1750_19.min1.thm1.tptp2017-02-06 16:57 791  
[ ]zfmisc_1__2218_12.min1.thm1.tptp2017-02-06 16:57 287  
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80