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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]card_2__866_9.min1.thm1.tptp2017-02-06 16:57 591  
[ ]card_4__816_74.min1.thm1.tptp2017-02-06 16:57 966  
[ ]circcmb3__2306_28.min1.thm1.tptp2017-02-06 16:57 790  
[ ]combgras__1227_24.min1.thm1.tptp2017-02-06 16:57 408  
[ ]cqc_the3__1243_67.min1.thm1.tptp2017-02-06 16:57 648  
[ ]cqc_the3__1246_72.min1.thm1.tptp2017-02-06 16:57 706  
[ ]e_siec__495_39.min1.thm1.tptp2017-02-06 16:57 696  
[ ]e_siec__496_39.min1.thm1.tptp2017-02-06 16:57 696  
[ ]e_siec__497_39.min1.thm1.tptp2017-02-06 16:57 696  
[ ]e_siec__498_39.min1.thm1.tptp2017-02-06 16:57 696  
[ ]e_siec__499_39.min1.thm1.tptp2017-02-06 16:57 696  
[ ]e_siec__914_45.min1.thm1.tptp2017-02-06 16:57 800  
[ ]e_siec__915_45.min1.thm1.tptp2017-02-06 16:57 800  
[ ]e_siec__916_50.min1.thm1.tptp2017-02-06 16:57 800  
[ ]enumset1__247_36.min1.thm1.tptp2017-02-06 16:57 482  
[ ]enumset1__324_42.min1.thm1.tptp2017-02-06 16:57 550  
[ ]enumset1__399_50.min1.thm1.tptp2017-02-06 16:57 618  
[ ]enumset1__417_50.min1.thm1.tptp2017-02-06 16:57 618  
[ ]enumset1__460_53.min1.thm1.tptp2017-02-06 16:57 650  
[ ]enumset1__478_53.min1.thm1.tptp2017-02-06 16:57 650  
[ ]enumset1__490_50.min1.thm1.tptp2017-02-06 16:57 650  
[ ]enumset1__508_51.min1.thm1.tptp2017-02-06 16:57 650  
[ ]enumset1__888_56.min1.thm1.tptp2017-02-06 16:57 682  
[ ]enumset1__908_56.min1.thm1.tptp2017-02-06 16:57 682  
[ ]enumset1__922_53.min1.thm1.tptp2017-02-06 16:57 682  
[ ]enumset1__952_54.min1.thm1.tptp2017-02-06 16:57 682  
[ ]facirc_1__2184_31.min1.thm1.tptp2017-02-06 16:57 561  
[ ]facirc_2__1546_44.min1.thm1.tptp2017-02-06 16:57 592  
[ ]facirc_2__1547_44.min1.thm1.tptp2017-02-06 16:57 592  
[ ]ff_siec__952_32.min1.thm1.tptp2017-02-06 16:57 961  
[ ]ff_siec__953_32.min1.thm1.tptp2017-02-06 16:57 961  
[ ]ff_siec__959_46.min1.thm1.tptp2017-02-06 16:57 1.1K 
[ ]ff_siec__1336_32.min1.thm1.tptp2017-02-06 16:57 961  
[ ]ff_siec__1337_32.min1.thm1.tptp2017-02-06 16:57 961  
[ ]ff_siec__1343_46.min1.thm1.tptp2017-02-06 16:57 1.1K 
[ ]finseq_6__1490_61.min1.thm1.tptp2017-02-06 16:57 822  
[ ]fscirc_1__362_31.min1.thm1.tptp2017-02-06 16:57 550  
[ ]fscirc_2__1307_44.min1.thm1.tptp2017-02-06 16:57 592  
[ ]fscirc_2__1308_44.min1.thm1.tptp2017-02-06 16:57 592  
[ ]funct_4__333_35.min1.thm1.tptp2017-02-06 16:57 487  
[ ]funct_7__397_27.min1.thm1.tptp2017-02-06 16:57 435  
[ ]gfacirc1__898_31.min1.thm1.tptp2017-02-06 16:57 550  
[ ]gfacirc1__1954_31.min1.thm1.tptp2017-02-06 16:57 550  
[ ]gfacirc1__3032_31.min1.thm1.tptp2017-02-06 16:57 561  
[ ]gfacirc1__4092_31.min1.thm1.tptp2017-02-06 16:57 561  
[ ]gfacirc2__990_44.min1.thm1.tptp2017-02-06 16:57 592  
[ ]gfacirc2__991_44.min1.thm1.tptp2017-02-06 16:57 592  
[ ]gfacirc2__2103_44.min1.thm1.tptp2017-02-06 16:57 592  
[ ]gfacirc2__2104_44.min1.thm1.tptp2017-02-06 16:57 592  
[ ]goboard6__3537_58.min1.thm1.tptp2017-02-06 16:57 2.0K 
[ ]goboard6__3614_58.min1.thm1.tptp2017-02-06 16:57 2.0K 
[ ]goboard6__3648_58.min1.thm1.tptp2017-02-06 16:57 1.7K 
[ ]goboard6__3752_58.min1.thm1.tptp2017-02-06 16:57 2.0K 
[ ]goboard6__3822_58.min1.thm1.tptp2017-02-06 16:57 1.7K 
[ ]goboard6__3925_58.min1.thm1.tptp2017-02-06 16:57 2.0K 
[ ]goboard6__3988_56.min1.thm1.tptp2017-02-06 16:57 1.3K 
[ ]goboard6__4081_56.min1.thm1.tptp2017-02-06 16:57 1.5K 
[ ]goboard6__4174_56.min1.thm1.tptp2017-02-06 16:57 1.3K 
[ ]goboard6__4267_56.min1.thm1.tptp2017-02-06 16:57 1.5K 
[ ]goboard6__4404_56.min1.thm1.tptp2017-02-06 16:57 1.2K 
[ ]goboard6__4471_56.min1.thm1.tptp2017-02-06 16:57 1.3K 
[ ]goboard6__4539_56.min1.thm1.tptp2017-02-06 16:57 1.4K 
[ ]goboard6__4610_56.min1.thm1.tptp2017-02-06 16:57 1.5K 
[ ]goboard6__4680_56.min1.thm1.tptp2017-02-06 16:57 1.2K 
[ ]goboard6__4748_56.min1.thm1.tptp2017-02-06 16:57 1.3K 
[ ]goboard6__4816_56.min1.thm1.tptp2017-02-06 16:57 1.4K 
[ ]goboard6__4887_56.min1.thm1.tptp2017-02-06 16:57 1.5K 
[ ]goedelcp__1372_59.min1.thm1.tptp2017-02-06 16:57 1.0K 
[ ]graph_1__1551_26.min1.thm1.tptp2017-02-06 16:57 487  
[ ]graph_1__1559_49.min1.thm1.tptp2017-02-06 16:57 487  
[ ]graph_5__444_39.min1.thm1.tptp2017-02-06 16:57 523  
[ ]hallmar1__435_60.min1.thm1.tptp2017-02-06 16:57 781  
[ ]interva1__972_12.min1.thm1.tptp2017-02-06 16:57 740  
[ ]jgraph_8__558_53.min1.thm1.tptp2017-02-06 16:57 827  
[ ]kurato_1__465_15.min1.thm1.tptp2017-02-06 16:57 1.3K 
[ ]neckla_3__785_75.min1.thm1.tptp2017-02-06 16:57 746  
[ ]neckla_3__1143_41.min1.thm1.tptp2017-02-06 16:57 714  
[ ]openlatt__194_25.min1.thm1.tptp2017-02-06 16:57 423  
[ ]openlatt__856_25.min1.thm1.tptp2017-02-06 16:57 430  
[ ]pboole__671_31.min1.thm1.tptp2017-02-06 16:57 558  
[ ]pnproc_1__2292_40.min1.thm1.tptp2017-02-06 16:57 510  
[ ]pnproc_1__2449_38.min1.thm1.tptp2017-02-06 16:57 498  
[ ]pnproc_1__3273_4.min1.thm1.tptp2017-02-06 16:57 667  
[ ]pre_circ__561_25.min1.thm1.tptp2017-02-06 16:57 598  
[ ]qc_lang2__1648_14.min1.thm1.tptp2017-02-06 16:57 1.7K 
[ ]qc_lang2__1651_13.min1.thm1.tptp2017-02-06 16:57 1.7K 
[ ]relat_1__385_42.min1.thm1.tptp2017-02-06 16:57 573  
[ ]rlvect_1__1553_37.min1.thm1.tptp2017-02-06 16:57 512  
[ ]scmbsort__295_48.min1.thm1.tptp2017-02-06 16:57 493  
[ ]scmisort__1828_68.min1.thm1.tptp2017-02-06 16:57 1.0K 
[ ]scmisort__1841_50.min1.thm1.tptp2017-02-06 16:57 765  
[ ]scmisort__1842_50.min1.thm1.tptp2017-02-06 16:57 765  
[ ]scmisort__1843_52.min1.thm1.tptp2017-02-06 16:57 765  
[ ]sfmastr3__826_40.min1.thm1.tptp2017-02-06 16:57 1.2K 
[ ]sfmastr3__828_40.min1.thm1.tptp2017-02-06 16:57 1.2K 
[ ]sublemma__75_12.min1.thm1.tptp2017-02-06 16:57 854  
[ ]tsep_1__571_4.min1.thm1.tptp2017-02-06 16:57 480  
[ ]xboole_1__80_30.min1.thm1.tptp2017-02-06 16:57 447  
[ ]xboole_1__81_30.min1.thm1.tptp2017-02-06 16:57 465  
[ ]xboole_1__88_34.min1.thm1.tptp2017-02-06 16:57 391  
[ ]xboole_1__1444_42.min1.thm1.tptp2017-02-06 16:57 483  
[ ]xboole_1__1445_30.min1.thm1.tptp2017-02-06 16:57 483  
[ ]xboole_1__1446_28.min1.thm1.tptp2017-02-06 16:57 483  
[ ]xregular__162_33.min1.thm1.tptp2017-02-06 16:57 465  
[ ]xregular__163_31.min1.thm1.tptp2017-02-06 16:57 465  
[ ]xregular__238_63.min1.thm1.tptp2017-02-06 16:57 521  
[ ]xregular__239_37.min1.thm1.tptp2017-02-06 16:57 521  
[ ]xregular__240_37.min1.thm1.tptp2017-02-06 16:57 521  
[ ]xregular__313_44.min1.thm1.tptp2017-02-06 16:57 577  
[ ]xregular__314_43.min1.thm1.tptp2017-02-06 16:57 577  
[ ]xregular__315_43.min1.thm1.tptp2017-02-06 16:57 577  
[ ]xregular__316_43.min1.thm1.tptp2017-02-06 16:57 577  
[ ]zf_lang1__564_11.min1.thm1.tptp2017-02-06 16:57 812  
[ ]zf_lang1__566_14.min1.thm1.tptp2017-02-06 16:57 812  
[ ]zf_lang1__568_15.min1.thm1.tptp2017-02-06 16:57 812  
[ ]zf_lang1__588_39.min1.thm1.tptp2017-02-06 16:57 940  
[ ]zf_lang1__590_39.min1.thm1.tptp2017-02-06 16:57 940  
[ ]zf_lang1__618_13.min1.thm1.tptp2017-02-06 16:57 1.3K 
[ ]zf_lang1__621_14.min1.thm1.tptp2017-02-06 16:57 1.3K 
[ ]zf_lang1__628_51.min1.thm1.tptp2017-02-06 16:57 1.1K 
[ ]zf_lang1__1919_29.min1.thm1.tptp2017-02-06 16:57 477  
[ ]zf_lang1__1948_29.min1.thm1.tptp2017-02-06 16:57 467  
[ ]zf_lang1__1997_35.min1.thm1.tptp2017-02-06 16:57 479  
[ ]zf_lang1__2020_31.min1.thm1.tptp2017-02-06 16:57 473  
[ ]zf_lang1__2089_40.min1.thm1.tptp2017-02-06 16:57 493  
[ ]zf_lang1__2098_40.min1.thm1.tptp2017-02-06 16:57 493  
[ ]zfmisc_1__1457_58.min1.thm1.tptp2017-02-06 16:57 706  
[ ]zfmisc_1__1957_41.min1.thm1.tptp2017-02-06 16:57 577  
[ ]zfmisc_1__2019_31.min1.thm1.tptp2017-02-06 16:57 493  
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80