Index of /~mptp/7.13.01_4.181.1147/MPTP2/ilp1/idempotence_k2_xboole_0
Name
Last modified
Size
Description
Parent Directory
-
cohsp_1__64_20.min1.thm1.tptp
2017-02-06 16:57
292
facirc_2__1254_26.min1.thm1.tptp
2017-02-06 16:57
315
ff_siec__960_42.min1.thm1.tptp
2017-02-06 16:57
1.1K
ff_siec__1344_42.min1.thm1.tptp
2017-02-06 16:57
1.1K
goboard6__3537_58.min1.thm1.tptp
2017-02-06 16:57
2.0K
goboard6__3614_58.min1.thm1.tptp
2017-02-06 16:57
2.0K
goboard6__3648_58.min1.thm1.tptp
2017-02-06 16:57
1.7K
goboard6__3752_58.min1.thm1.tptp
2017-02-06 16:57
2.0K
goboard6__3822_58.min1.thm1.tptp
2017-02-06 16:57
1.7K
goboard6__3925_58.min1.thm1.tptp
2017-02-06 16:57
2.0K
goboard6__3988_56.min1.thm1.tptp
2017-02-06 16:57
1.3K
goboard6__4081_56.min1.thm1.tptp
2017-02-06 16:57
1.5K
goboard6__4174_56.min1.thm1.tptp
2017-02-06 16:57
1.3K
goboard6__4267_56.min1.thm1.tptp
2017-02-06 16:57
1.5K
goboard6__4471_56.min1.thm1.tptp
2017-02-06 16:57
1.3K
goboard6__4539_56.min1.thm1.tptp
2017-02-06 16:57
1.4K
goboard6__4610_56.min1.thm1.tptp
2017-02-06 16:57
1.5K
goboard6__4748_56.min1.thm1.tptp
2017-02-06 16:57
1.3K
goboard6__4816_56.min1.thm1.tptp
2017-02-06 16:57
1.4K
goboard6__4887_56.min1.thm1.tptp
2017-02-06 16:57
1.5K
jordan1h__298_29.min1.thm1.tptp
2017-02-06 16:57
267
partit_2__192_14.min1.thm1.tptp
2017-02-06 16:57
283
partit_2__704_14.min1.thm1.tptp
2017-02-06 16:57
296
poset_1__874_51.min1.thm1.tptp
2017-02-06 16:57
341
scmisort__1937_10.min1.thm1.tptp
2017-02-06 16:57
313
topreal2__729_16.min1.thm1.tptp
2017-02-06 16:57
1.2K
topreal2__746_23.min1.thm1.tptp
2017-02-06 16:57
383
topreal2__949_16.min1.thm1.tptp
2017-02-06 16:57
1.2K
topreal2__975_23.min1.thm1.tptp
2017-02-06 16:57
383
topreal2__1395_16.min1.thm1.tptp
2017-02-06 16:57
1.2K
topreal2__1406_16.min1.thm1.tptp
2017-02-06 16:57
1.2K
topreal2__1493_23.min1.thm1.tptp
2017-02-06 16:57
383
topreal2__2029_75.min1.thm1.tptp
2017-02-06 16:57
1.3K
topreal2__2077_23.min1.thm1.tptp
2017-02-06 16:57
383
topreal2__2239_16.min1.thm1.tptp
2017-02-06 16:57
1.2K
topreal2__2298_23.min1.thm1.tptp
2017-02-06 16:57
383
topreal2__2483_16.min1.thm1.tptp
2017-02-06 16:57
1.2K
topreal2__2494_16.min1.thm1.tptp
2017-02-06 16:57
1.2K
topreal2__2543_23.min1.thm1.tptp
2017-02-06 16:57
383
topreal2__2677_75.min1.thm1.tptp
2017-02-06 16:57
1.2K
topreal2__2726_23.min1.thm1.tptp
2017-02-06 16:57
383
topreal2__3305_16.min1.thm1.tptp
2017-02-06 16:57
1.2K
topreal2__3325_16.min1.thm1.tptp
2017-02-06 16:57
1.2K
topreal2__3373_23.min1.thm1.tptp
2017-02-06 16:57
383
topreal2__3544_75.min1.thm1.tptp
2017-02-06 16:57
1.3K
topreal2__3592_23.min1.thm1.tptp
2017-02-06 16:57
383
topreal2__3760_16.min1.thm1.tptp
2017-02-06 16:57
1.2K
topreal2__3817_23.min1.thm1.tptp
2017-02-06 16:57
383
topreal2__3964_16.min1.thm1.tptp
2017-02-06 16:57
1.2K
topreal2__3975_16.min1.thm1.tptp
2017-02-06 16:57
1.2K
topreal2__4032_23.min1.thm1.tptp
2017-02-06 16:57
383
turing_1__2977_11.min1.thm1.tptp
2017-02-06 16:57
315
turing_1__2990_11.min1.thm1.tptp
2017-02-06 16:57
315
waybel19__1102_26.min1.thm1.tptp
2017-02-06 16:57
315
waybel19__1158_27.min1.thm1.tptp
2017-02-06 16:57
315
waybel33__1442_43.min1.thm1.tptp
2017-02-06 16:57
313
wellset1__762_18.min1.thm1.tptp
2017-02-06 16:57
551
xboole_1__80_30.min1.thm1.tptp
2017-02-06 16:57
447
xboole_1__88_34.min1.thm1.tptp
2017-02-06 16:57
391
xboole_1__1317_31.min1.thm1.tptp
2017-02-06 16:57
399
yellow12__1335_49.min1.thm1.tptp
2017-02-06 16:57
503
yellow12__1441_27.min1.thm1.tptp
2017-02-06 16:57
315
yellow12__1496_27.min1.thm1.tptp
2017-02-06 16:57
315
yellow_9__2611_27.min1.thm1.tptp
2017-02-06 16:57
315
zf_lang1__626_50.min1.thm1.tptp
2017-02-06 16:57
1.2K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80