Index of /~mptp/1147/mptp/ilp0/binarith
Name
Last modified
Size
Description
Parent Directory
-
binarith__46_14.min1.thm1
2017-02-06 12:45
863
binarith__47_20.min1.thm1
2017-02-06 12:45
1.3K
binarith__56_17.min1.thm1
2017-02-06 12:45
1.1K
binarith__57_27.min1.thm1
2017-02-06 12:45
1.6K
binarith__59_23.min1.thm1
2017-02-06 12:45
1.4K
binarith__60_15.min1.thm1
2017-02-06 12:45
863
binarith__62_11.min1.thm1
2017-02-06 12:45
492
binarith__70_42.min1.thm1
2017-02-06 12:45
801
binarith__71_16.min1.thm1
2017-02-06 12:45
480
binarith__76_44.min1.thm1
2017-02-06 12:45
804
binarith__77_16.min1.thm1
2017-02-06 12:45
483
binarith__102_13.min1.thm1
2017-02-06 12:45
278
binarith__111_14.min1.thm1
2017-02-06 12:45
331
binarith__111_14.min1.thm1.tptp
2017-02-06 16:48
271
binarith__114_25.min1.thm1
2017-02-06 12:45
2.0K
binarith__131_20.min1.thm1
2017-02-06 12:45
1.2K
binarith__132_42.min1.thm1
2017-02-06 12:45
960
binarith__137_22.min1.thm1
2017-02-06 12:45
1.4K
binarith__138_23.min1.thm1
2017-02-06 12:45
1.2K
binarith__139_24.min1.thm1
2017-02-06 12:45
788
binarith__146_16.min1.thm1
2017-02-06 12:45
880
binarith__148_20.min1.thm1
2017-02-06 12:45
1.2K
binarith__149_16.min1.thm1
2017-02-06 12:45
880
binarith__155_19.min1.thm1
2017-02-06 12:45
1.4K
binarith__156_24.min1.thm1
2017-02-06 12:45
1.2K
binarith__157_26.min1.thm1
2017-02-06 12:45
751
binarith__158_18.min1.thm1
2017-02-06 12:45
751
binarith__159_17.min1.thm1
2017-02-06 12:45
1.2K
binarith__161_19.min1.thm1
2017-02-06 12:45
1.4K
binarith__189_16.min1.thm1
2017-02-06 12:45
795
binarith__190_19.min1.thm1
2017-02-06 12:45
1.0K
binarith__191_39.min1.thm1
2017-02-06 12:45
1.1K
binarith__192_13.min1.thm1
2017-02-06 12:45
1.2K
binarith__193_50.min1.thm1
2017-02-06 12:45
1.4K
binarith__194_18.min1.thm1
2017-02-06 12:45
1.9K
binarith__195_21.min1.thm1
2017-02-06 12:45
1.7K
binarith__197_47.min1.thm1
2017-02-06 12:45
725
binarith__199_15.min1.thm1
2017-02-06 12:45
2.0K
binarith__200_19.min1.thm1
2017-02-06 12:45
1.5K
binarith__202_17.min1.thm1
2017-02-06 12:45
1.0K
binarith__203_23.min1.thm1
2017-02-06 12:45
1.1K
binarith__204_19.min1.thm1
2017-02-06 12:45
885
binarith__205_17.min1.thm1
2017-02-06 12:45
1.9K
binarith__211_15.min1.thm1
2017-02-06 12:45
1.3K
binarith__212_19.min1.thm1
2017-02-06 12:45
1.5K
binarith__214_20.min1.thm1
2017-02-06 12:45
1.4K
binarith__216_26.min1.thm1
2017-02-06 12:45
1.2K
binarith__217_21.min1.thm1
2017-02-06 12:45
1.3K
binarith__220_26.min1.thm1
2017-02-06 12:45
1.9K
binarith__222_22.min1.thm1
2017-02-06 12:45
2.1K
binarith__223_31.min1.thm1
2017-02-06 12:45
1.2K
binarith__224_19.min1.thm1
2017-02-06 12:45
1.9K
binarith__225_75.min1.thm1
2017-02-06 12:45
1.5K
binarith__237_18.min1.thm1
2017-02-06 12:45
880
binarith__238_18.min1.thm1
2017-02-06 12:45
880
binarith__240_22.min1.thm1
2017-02-06 12:45
1.2K
binarith__243_40.min1.thm1
2017-02-06 12:45
1.5K
binarith__251_19.min1.thm1
2017-02-06 12:45
210
binarith__254_27.min1.thm1
2017-02-06 12:45
1.3K
binarith__258_33.min1.thm1
2017-02-06 12:45
1.7K
binarith__260_20.min1.thm1
2017-02-06 12:45
1.3K
binarith__261_23.min1.thm1
2017-02-06 12:45
2.1K
binarith__269_13.min1.thm1
2017-02-06 12:45
839
binarith__273_26.min1.thm1
2017-02-06 12:45
1.2K
binarith__274_19.min1.thm1
2017-02-06 12:45
735
binarith__275_18.min1.thm1
2017-02-06 12:45
1.4K
binarith__277_19.min1.thm1
2017-02-06 12:45
1.4K
binarith__292_20.min1.thm1
2017-02-06 12:45
1.2K
binarith__293_38.min1.thm1
2017-02-06 12:45
958
binarith__298_22.min1.thm1
2017-02-06 12:45
1.4K
binarith__299_23.min1.thm1
2017-02-06 12:45
1.2K
binarith__300_47.min1.thm1
2017-02-06 12:45
1.0K
binarith__307_17.min1.thm1
2017-02-06 12:45
879
binarith__309_21.min1.thm1
2017-02-06 12:45
1.2K
binarith__310_17.min1.thm1
2017-02-06 12:45
879
binarith__312_22.min1.thm1
2017-02-06 12:45
1.2K
binarith__317_27.min1.thm1
2017-02-06 12:45
1.2K
binarith__318_50.min1.thm1
2017-02-06 12:45
1.0K
binarith__319_19.min1.thm1
2017-02-06 12:45
1.0K
binarith__320_18.min1.thm1
2017-02-06 12:45
1.4K
binarith__322_19.min1.thm1
2017-02-06 12:45
1.4K
binarith__330_13.min1.thm1
2017-02-06 12:45
1.6K
binarith__344_20.min1.thm1
2017-02-06 12:45
1.2K
binarith__345_42.min1.thm1
2017-02-06 12:45
960
binarith__350_22.min1.thm1
2017-02-06 12:45
1.4K
binarith__351_23.min1.thm1
2017-02-06 12:45
1.2K
binarith__361_17.min1.thm1
2017-02-06 12:45
880
binarith__363_21.min1.thm1
2017-02-06 12:45
1.2K
binarith__364_17.min1.thm1
2017-02-06 12:45
880
binarith__366_22.min1.thm1
2017-02-06 12:45
1.2K
binarith__371_27.min1.thm1
2017-02-06 12:45
1.2K
binarith__374_18.min1.thm1
2017-02-06 12:45
1.4K
binarith__376_19.min1.thm1
2017-02-06 12:45
1.4K
binarith__399_48.min1.thm1
2017-02-06 12:45
532
binarith__400_14.min1.thm1
2017-02-06 12:45
1.1K
binarith__403_19.min1.thm1
2017-02-06 12:45
636
binarith__407_19.min1.thm1
2017-02-06 12:45
749
binarith__415_58.min1.thm1
2017-02-06 12:45
1.6K
binarith__418_20.min1.thm1
2017-02-06 12:45
527
binarith__419_12.min1.thm1
2017-02-06 12:45
902
binarith__421_11.min1.thm1
2017-02-06 12:45
2.0K
binarith__422_41.min1.thm1
2017-02-06 12:45
1.6K
binarith__423_11.min1.thm1
2017-02-06 12:45
971
binarith__430_13.min1.thm1
2017-02-06 12:45
879
binarith__433_21.min1.thm1
2017-02-06 12:45
930
binarith__434_12.min1.thm1
2017-02-06 12:45
902
binarith__437_26.min1.thm1
2017-02-06 12:45
2.0K
binarith__438_56.min1.thm1
2017-02-06 12:45
1.6K
binarith__439_56.min1.thm1
2017-02-06 12:45
1.6K
binarith__440_26.min1.thm1
2017-02-06 12:45
1.8K
binarith__441_23.min1.thm1
2017-02-06 12:45
1.2K
binarith__442_11.min1.thm1
2017-02-06 12:45
881
binarith__460_30.min1.thm1
2017-02-06 12:45
507
binarith__461_16.min1.thm1
2017-02-06 12:45
886
binarith__481_30.min1.thm1
2017-02-06 12:45
1.7K
binarith__483_12.min1.thm1
2017-02-06 12:45
1.3K
binarith__484_15.min1.thm1
2017-02-06 12:45
835
binarith__486_14.min1.thm1
2017-02-06 12:45
1.4K
binarith__487_13.min1.thm1
2017-02-06 12:45
538
binarith__488_22.min1.thm1
2017-02-06 12:45
903
binarith__505_24.min1.thm1
2017-02-06 12:45
725
binarith__506_17.min1.thm1
2017-02-06 12:45
1.2K
binarith__514_23.min1.thm1
2017-02-06 12:45
1.2K
binarith__515_17.min1.thm1
2017-02-06 12:45
497
binarith__533_39.min1.thm1
2017-02-06 12:45
1.4K
binarith__536_16.min1.thm1
2017-02-06 12:45
695
binarith__572_39.min1.thm1
2017-02-06 12:45
1.4K
binarith__575_16.min1.thm1
2017-02-06 12:45
695
binarith__591_57.min1.thm1
2017-02-06 12:45
1.7K
binarith__622_33.min1.thm1
2017-02-06 12:45
1.7K
binarith__641_25.min1.thm1
2017-02-06 12:45
2.9K
binarith__643_6.min1.thm1
2017-02-06 12:45
2.4K
binarith__647_17.min1.thm1
2017-02-06 12:45
199
binarith__651_17.min1.thm1
2017-02-06 12:45
1.9K
binarith__653_21.min1.thm1
2017-02-06 12:45
205
binarith__656_26.min1.thm1
2017-02-06 12:45
1.9K
binarith__662_32.min1.thm1
2017-02-06 12:45
1.9K
binarith__664_25.min1.thm1
2017-02-06 12:45
309
binarith__687_26.min1.thm1
2017-02-06 12:45
446
binarith__690_22.min1.thm1
2017-02-06 12:45
434
binarith__695_28.min1.thm1
2017-02-06 12:45
1.9K
binarith__697_21.min1.thm1
2017-02-06 12:45
205
binarith__701_21.min1.thm1
2017-02-06 12:45
1.9K
binarith__703_25.min1.thm1
2017-02-06 12:45
309
binarith__717_77.min1.thm1
2017-02-06 12:45
1.9K
binarith__728_26.min1.thm1
2017-02-06 12:45
446
binarith__733_32.min1.thm1
2017-02-06 12:45
1.9K
binarith__735_25.min1.thm1
2017-02-06 12:45
309
binarith__746_24.min1.thm1
2017-02-06 12:45
1.1K
binarith__748_36.min1.thm1
2017-02-06 12:45
1.1K
binarith__765_24.min1.thm1
2017-02-06 12:45
1.1K
binarith__767_36.min1.thm1
2017-02-06 12:45
1.1K
binarith__773_57.min1.thm1
2017-02-06 12:45
1.8K
binarith__778_26.min1.thm1
2017-02-06 12:45
446
binarith__781_22.min1.thm1
2017-02-06 12:45
434
binarith__784_18.min1.thm1
2017-02-06 12:45
422
binarith__798_54.min1.thm1
2017-02-06 12:45
839
binarith__801_19.min1.thm1
2017-02-06 12:45
1.2K
binarith__802_19.min1.thm1
2017-02-06 12:45
1.3K
binarith__803_16.min1.thm1
2017-02-06 12:45
1.9K
binarith__811_14.min1.thm1
2017-02-06 12:45
458
binarith__813_45.min1.thm1
2017-02-06 12:45
1.2K
binarith__827_14.min1.thm1
2017-02-06 12:45
458
binarith__842_14.min1.thm1
2017-02-06 12:45
458
binarith__858_14.min1.thm1
2017-02-06 12:45
458
binarith__861_45.min1.thm1
2017-02-06 12:45
1.3K
binarith__869_15.min1.thm1
2017-02-06 12:45
901
binarith__870_21.min1.thm1
2017-02-06 12:45
2.4K
binarith__882_33.min1.thm1
2017-02-06 12:45
880
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80