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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]cohsp_1__64_20.min1.thm1.tptp2017-02-06 16:57 292  
[ ]facirc_2__1254_26.min1.thm1.tptp2017-02-06 16:57 315  
[ ]ff_siec__960_42.min1.thm1.tptp2017-02-06 16:57 1.1K 
[ ]ff_siec__1344_42.min1.thm1.tptp2017-02-06 16:57 1.1K 
[ ]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__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__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 
[ ]jordan1h__298_29.min1.thm1.tptp2017-02-06 16:57 267  
[ ]partit_2__192_14.min1.thm1.tptp2017-02-06 16:57 283  
[ ]partit_2__704_14.min1.thm1.tptp2017-02-06 16:57 296  
[ ]poset_1__874_51.min1.thm1.tptp2017-02-06 16:57 341  
[ ]scmisort__1937_10.min1.thm1.tptp2017-02-06 16:57 313  
[ ]topreal2__729_16.min1.thm1.tptp2017-02-06 16:57 1.2K 
[ ]topreal2__746_23.min1.thm1.tptp2017-02-06 16:57 383  
[ ]topreal2__949_16.min1.thm1.tptp2017-02-06 16:57 1.2K 
[ ]topreal2__975_23.min1.thm1.tptp2017-02-06 16:57 383  
[ ]topreal2__1395_16.min1.thm1.tptp2017-02-06 16:57 1.2K 
[ ]topreal2__1406_16.min1.thm1.tptp2017-02-06 16:57 1.2K 
[ ]topreal2__1493_23.min1.thm1.tptp2017-02-06 16:57 383  
[ ]topreal2__2029_75.min1.thm1.tptp2017-02-06 16:57 1.3K 
[ ]topreal2__2077_23.min1.thm1.tptp2017-02-06 16:57 383  
[ ]topreal2__2239_16.min1.thm1.tptp2017-02-06 16:57 1.2K 
[ ]topreal2__2298_23.min1.thm1.tptp2017-02-06 16:57 383  
[ ]topreal2__2483_16.min1.thm1.tptp2017-02-06 16:57 1.2K 
[ ]topreal2__2494_16.min1.thm1.tptp2017-02-06 16:57 1.2K 
[ ]topreal2__2543_23.min1.thm1.tptp2017-02-06 16:57 383  
[ ]topreal2__2677_75.min1.thm1.tptp2017-02-06 16:57 1.2K 
[ ]topreal2__2726_23.min1.thm1.tptp2017-02-06 16:57 383  
[ ]topreal2__3305_16.min1.thm1.tptp2017-02-06 16:57 1.2K 
[ ]topreal2__3325_16.min1.thm1.tptp2017-02-06 16:57 1.2K 
[ ]topreal2__3373_23.min1.thm1.tptp2017-02-06 16:57 383  
[ ]topreal2__3544_75.min1.thm1.tptp2017-02-06 16:57 1.3K 
[ ]topreal2__3592_23.min1.thm1.tptp2017-02-06 16:57 383  
[ ]topreal2__3760_16.min1.thm1.tptp2017-02-06 16:57 1.2K 
[ ]topreal2__3817_23.min1.thm1.tptp2017-02-06 16:57 383  
[ ]topreal2__3964_16.min1.thm1.tptp2017-02-06 16:57 1.2K 
[ ]topreal2__3975_16.min1.thm1.tptp2017-02-06 16:57 1.2K 
[ ]topreal2__4032_23.min1.thm1.tptp2017-02-06 16:57 383  
[ ]turing_1__2977_11.min1.thm1.tptp2017-02-06 16:57 315  
[ ]turing_1__2990_11.min1.thm1.tptp2017-02-06 16:57 315  
[ ]waybel19__1102_26.min1.thm1.tptp2017-02-06 16:57 315  
[ ]waybel19__1158_27.min1.thm1.tptp2017-02-06 16:57 315  
[ ]waybel33__1442_43.min1.thm1.tptp2017-02-06 16:57 313  
[ ]wellset1__762_18.min1.thm1.tptp2017-02-06 16:57 551  
[ ]xboole_1__80_30.min1.thm1.tptp2017-02-06 16:57 447  
[ ]xboole_1__88_34.min1.thm1.tptp2017-02-06 16:57 391  
[ ]xboole_1__1317_31.min1.thm1.tptp2017-02-06 16:57 399  
[ ]yellow12__1335_49.min1.thm1.tptp2017-02-06 16:57 503  
[ ]yellow12__1441_27.min1.thm1.tptp2017-02-06 16:57 315  
[ ]yellow12__1496_27.min1.thm1.tptp2017-02-06 16:57 315  
[ ]yellow_9__2611_27.min1.thm1.tptp2017-02-06 16:57 315  
[ ]zf_lang1__626_50.min1.thm1.tptp2017-02-06 16:57 1.2K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80