Index of /~mptp/7.13.01_4.181.1147/MPTP2/ilp0/mboolean
Name
Last modified
Size
Description
Parent Directory
-
mboolean__942_10.min1.thm1
2017-02-06 12:46
2.4K
mboolean__399_4.min1.thm1
2017-02-06 12:46
2.3K
mboolean__1083_6.min1.thm1
2017-02-06 12:46
2.3K
mboolean__902_35.min1.thm1
2017-02-06 12:46
2.3K
mboolean__909_33.min1.thm1
2017-02-06 12:46
2.2K
mboolean__997_54.min1.thm1
2017-02-06 12:46
2.1K
mboolean__1000_17.min1.thm1
2017-02-06 12:46
2.1K
mboolean__749_17.min1.thm1
2017-02-06 12:46
2.1K
mboolean__336_17.min1.thm1
2017-02-06 12:46
2.1K
mboolean__350_43.min1.thm1
2017-02-06 12:46
2.0K
mboolean__989_31.min1.thm1
2017-02-06 12:46
2.0K
mboolean__1053_30.min1.thm1
2017-02-06 12:46
2.0K
mboolean__418_39.min1.thm1
2017-02-06 12:46
2.0K
mboolean__369_37.min1.thm1
2017-02-06 12:46
2.0K
mboolean__426_37.min1.thm1
2017-02-06 12:46
2.0K
mboolean__376_35.min1.thm1
2017-02-06 12:46
2.0K
mboolean__990_31.min1.thm1
2017-02-06 12:46
1.9K
mboolean__984_27.min1.thm1
2017-02-06 12:46
1.8K
mboolean__961_27.min1.thm1
2017-02-06 12:46
1.8K
mboolean__875_67.min1.thm1
2017-02-06 12:46
1.8K
mboolean__747_34.min1.thm1
2017-02-06 12:46
1.8K
mboolean__334_32.min1.thm1
2017-02-06 12:46
1.8K
mboolean__760_56.min1.thm1
2017-02-06 12:46
1.8K
mboolean__317_34.min1.thm1
2017-02-06 12:46
1.8K
mboolean__302_52.min1.thm1
2017-02-06 12:46
1.8K
mboolean__978_27.min1.thm1
2017-02-06 12:46
1.8K
mboolean__955_27.min1.thm1
2017-02-06 12:46
1.8K
mboolean__1049_27.min1.thm1
2017-02-06 12:46
1.8K
mboolean__1022_65.min1.thm1
2017-02-06 12:46
1.8K
mboolean__823_65.min1.thm1
2017-02-06 12:46
1.8K
mboolean__268_17.min1.thm1
2017-02-06 12:46
1.8K
mboolean__164_72.min1.thm1
2017-02-06 12:46
1.7K
mboolean__239_17.min1.thm1
2017-02-06 12:46
1.7K
mboolean__253_17.min1.thm1
2017-02-06 12:46
1.7K
mboolean__508_54.min1.thm1
2017-02-06 12:46
1.7K
mboolean__691_17.min1.thm1
2017-02-06 12:46
1.7K
mboolean__676_17.min1.thm1
2017-02-06 12:46
1.7K
mboolean__482_17.min1.thm1
2017-02-06 12:46
1.7K
mboolean__387_17.min1.thm1
2017-02-06 12:46
1.7K
mboolean__662_17.min1.thm1
2017-02-06 12:46
1.7K
mboolean__385_37.min1.thm1
2017-02-06 12:46
1.7K
mboolean__545_42.min1.thm1
2017-02-06 12:46
1.6K
mboolean__605_50.min1.thm1
2017-02-06 12:46
1.6K
mboolean__596_50.min1.thm1
2017-02-06 12:46
1.6K
mboolean__468_19.min1.thm1
2017-02-06 12:46
1.6K
mboolean__459_19.min1.thm1
2017-02-06 12:46
1.6K
mboolean__421_21.min1.thm1
2017-02-06 12:46
1.6K
mboolean__437_31.min1.thm1
2017-02-06 12:46
1.6K
mboolean__440_22.min1.thm1
2017-02-06 12:46
1.6K
mboolean__429_19.min1.thm1
2017-02-06 12:46
1.6K
mboolean__117_50.min1.thm1
2017-02-06 12:46
1.6K
mboolean__108_46.min1.thm1
2017-02-06 12:46
1.6K
mboolean__99_48.min1.thm1
2017-02-06 12:46
1.6K
mboolean__90_48.min1.thm1
2017-02-06 12:46
1.6K
mboolean__1054_35.min1.thm1
2017-02-06 12:46
1.6K
mboolean__439_28.min1.thm1
2017-02-06 12:46
1.6K
mboolean__441_27.min1.thm1
2017-02-06 12:46
1.6K
mboolean__777_17.min1.thm1
2017-02-06 12:46
1.6K
mboolean__109_26.min1.thm1
2017-02-06 12:46
1.6K
mboolean__138_25.min1.thm1
2017-02-06 12:46
1.5K
mboolean__148_23.min1.thm1
2017-02-06 12:46
1.5K
mboolean__587_19.min1.thm1
2017-02-06 12:46
1.5K
mboolean__546_27.min1.thm1
2017-02-06 12:46
1.5K
mboolean__606_28.min1.thm1
2017-02-06 12:46
1.5K
mboolean__597_28.min1.thm1
2017-02-06 12:46
1.5K
mboolean__996_58.min1.thm1
2017-02-06 12:46
1.5K
mboolean__701_70.min1.thm1
2017-02-06 12:46
1.5K
mboolean__188_29.min1.thm1
2017-02-06 12:46
1.5K
mboolean__214_27.min1.thm1
2017-02-06 12:46
1.5K
mboolean__353_17.min1.thm1
2017-02-06 12:46
1.5K
mboolean__100_27.min1.thm1
2017-02-06 12:46
1.5K
mboolean__91_27.min1.thm1
2017-02-06 12:46
1.5K
mboolean__507_32.min1.thm1
2017-02-06 12:46
1.5K
mboolean__544_42.min1.thm1
2017-02-06 12:46
1.5K
mboolean__400_48.min1.thm1
2017-02-06 12:46
1.5K
mboolean__401_50.min1.thm1
2017-02-06 12:46
1.5K
mboolean__79_57.min1.thm1
2017-02-06 12:46
1.5K
mboolean__225_17.min1.thm1
2017-02-06 12:46
1.5K
mboolean__995_57.min1.thm1
2017-02-06 12:46
1.5K
mboolean__998_55.min1.thm1
2017-02-06 12:46
1.4K
mboolean__658_48.min1.thm1
2017-02-06 12:46
1.4K
mboolean__686_58.min1.thm1
2017-02-06 12:46
1.4K
mboolean__672_54.min1.thm1
2017-02-06 12:46
1.4K
mboolean__968_29.min1.thm1
2017-02-06 12:46
1.4K
mboolean__945_29.min1.thm1
2017-02-06 12:46
1.4K
mboolean__880_28.min1.thm1
2017-02-06 12:46
1.4K
mboolean__402_17.min1.thm1
2017-02-06 12:46
1.4K
mboolean__647_33.min1.thm1
2017-02-06 12:46
1.4K
mboolean__493_33.min1.thm1
2017-02-06 12:46
1.4K
mboolean__773_50.min1.thm1
2017-02-06 12:46
1.4K
mboolean__622_32.min1.thm1
2017-02-06 12:46
1.4K
mboolean__290_54.min1.thm1
2017-02-06 12:46
1.4K
mboolean__786_47.min1.thm1
2017-02-06 12:46
1.4K
mboolean__1134_19.min1.thm1
2017-02-06 12:46
1.4K
mboolean__908_35.min1.thm1
2017-02-06 12:46
1.3K
mboolean__933_20.min1.thm1
2017-02-06 12:46
1.3K
mboolean__1112_28.min1.thm1
2017-02-06 12:46
1.3K
mboolean__800_28.min1.thm1
2017-02-06 12:46
1.3K
mboolean__532_27.min1.thm1
2017-02-06 12:46
1.3K
mboolean__1089_28.min1.thm1
2017-02-06 12:46
1.3K
mboolean__1027_26.min1.thm1
2017-02-06 12:46
1.3K
mboolean__828_26.min1.thm1
2017-02-06 12:46
1.3K
mboolean__235_45.min1.thm1
2017-02-06 12:46
1.3K
mboolean__318_36.min1.thm1
2017-02-06 12:46
1.3K
mboolean__263_56.min1.thm1
2017-02-06 12:46
1.3K
mboolean__761_36.min1.thm1
2017-02-06 12:46
1.3K
mboolean__983_30.min1.thm1
2017-02-06 12:46
1.3K
mboolean__960_30.min1.thm1
2017-02-06 12:46
1.3K
mboolean__895_29.min1.thm1
2017-02-06 12:46
1.3K
mboolean__419_39.min1.thm1
2017-02-06 12:46
1.3K
mboolean__370_37.min1.thm1
2017-02-06 12:46
1.3K
mboolean__351_45.min1.thm1
2017-02-06 12:46
1.3K
mboolean__249_52.min1.thm1
2017-02-06 12:46
1.3K
mboolean__896_27.min1.thm1
2017-02-06 12:46
1.3K
mboolean__1128_25.min1.thm1
2017-02-06 12:46
1.3K
mboolean__1105_25.min1.thm1
2017-02-06 12:46
1.3K
mboolean__427_37.min1.thm1
2017-02-06 12:46
1.3K
mboolean__377_35.min1.thm1
2017-02-06 12:46
1.3K
mboolean__762_36.min1.thm1
2017-02-06 12:46
1.3K
mboolean__352_43.min1.thm1
2017-02-06 12:46
1.3K
mboolean__1127_28.min1.thm1
2017-02-06 12:46
1.3K
mboolean__1104_28.min1.thm1
2017-02-06 12:46
1.3K
mboolean__1042_27.min1.thm1
2017-02-06 12:46
1.3K
mboolean__843_27.min1.thm1
2017-02-06 12:46
1.3K
mboolean__168_28.min1.thm1
2017-02-06 12:46
1.2K
mboolean__1138_17.min1.thm1
2017-02-06 12:46
1.2K
mboolean__1043_25.min1.thm1
2017-02-06 12:46
1.2K
mboolean__844_25.min1.thm1
2017-02-06 12:46
1.2K
mboolean__733_17.min1.thm1
2017-02-06 12:46
1.2K
mboolean__1133_32.min1.thm1
2017-02-06 12:46
1.2K
mboolean__575_18.min1.thm1
2017-02-06 12:46
1.2K
mboolean__333_36.min1.thm1
2017-02-06 12:46
1.2K
mboolean__746_38.min1.thm1
2017-02-06 12:46
1.2K
mboolean__303_34.min1.thm1
2017-02-06 12:46
1.2K
mboolean__623_32.min1.thm1
2017-02-06 12:46
1.2K
mboolean__853_17.min1.thm1
2017-02-06 12:46
1.2K
mboolean__58_18.min1.thm1
2017-02-06 12:46
1.2K
mboolean__496_35.min1.thm1
2017-02-06 12:46
1.2K
mboolean__732_36.min1.thm1
2017-02-06 12:46
1.2K
mboolean__525_19.min1.thm1
2017-02-06 12:46
1.2K
mboolean__332_38.min1.thm1
2017-02-06 12:46
1.2K
mboolean__745_38.min1.thm1
2017-02-06 12:46
1.2K
mboolean__533_27.min1.thm1
2017-02-06 12:46
1.2K
mboolean__319_38.min1.thm1
2017-02-06 12:46
1.2K
mboolean__304_34.min1.thm1
2017-02-06 12:46
1.2K
mboolean__1056_17.min1.thm1
2017-02-06 12:46
1.2K
mboolean__802_25.min1.thm1
2017-02-06 12:46
1.2K
mboolean__719_17.min1.thm1
2017-02-06 12:46
1.2K
mboolean__649_17.min1.thm1
2017-02-06 12:46
1.2K
mboolean__443_17.min1.thm1
2017-02-06 12:46
1.2K
mboolean__187_36.min1.thm1
2017-02-06 12:46
1.2K
mboolean__212_29.min1.thm1
2017-02-06 12:46
1.2K
mboolean__223_29.min1.thm1
2017-02-06 12:46
1.2K
mboolean__509_32.min1.thm1
2017-02-06 12:46
1.1K
mboolean__330_48.min1.thm1
2017-02-06 12:46
1.1K
mboolean__194_23.min1.thm1
2017-02-06 12:46
1.1K
mboolean__743_52.min1.thm1
2017-02-06 12:46
1.1K
mboolean__220_21.min1.thm1
2017-02-06 12:46
1.1K
mboolean__850_19.min1.thm1
2017-02-06 12:46
1.1K
mboolean__397_44.min1.thm1
2017-02-06 12:46
1.1K
mboolean__346_42.min1.thm1
2017-02-06 12:46
1.1K
mboolean__301_44.min1.thm1
2017-02-06 12:46
1.1K
mboolean__759_46.min1.thm1
2017-02-06 12:46
1.1K
mboolean__939_64.min1.thm1
2017-02-06 12:46
1.1K
mboolean__774_28.min1.thm1
2017-02-06 12:46
1.1K
mboolean__70_19.min1.thm1
2017-02-06 12:46
1.1K
mboolean__901_29.min1.thm1
2017-02-06 12:46
1.1K
mboolean__787_26.min1.thm1
2017-02-06 12:46
1.1K
mboolean__305_17.min1.thm1
2017-02-06 12:46
1.1K
mboolean__1080_62.min1.thm1
2017-02-06 12:46
1.1K
mboolean__466_22.min1.thm1
2017-02-06 12:46
1.1K
mboolean__457_22.min1.thm1
2017-02-06 12:46
1.1K
mboolean__1048_27.min1.thm1
2017-02-06 12:46
1.1K
mboolean__763_17.min1.thm1
2017-02-06 12:46
1.1K
mboolean__523_22.min1.thm1
2017-02-06 12:46
1.0K
mboolean__137_19.min1.thm1
2017-02-06 12:46
1.0K
mboolean__118_28.min1.thm1
2017-02-06 12:46
1.0K
mboolean__803_15.min1.thm1
2017-02-06 12:46
1.0K
mboolean__730_20.min1.thm1
2017-02-06 12:46
1.0K
mboolean__717_20.min1.thm1
2017-02-06 12:46
1.0K
mboolean__480_20.min1.thm1
2017-02-06 12:46
1.0K
mboolean__289_17.min1.thm1
2017-02-06 12:46
1.0K
mboolean__147_17.min1.thm1
2017-02-06 12:46
1.0K
mboolean__163_40.min1.thm1
2017-02-06 12:46
1.0K
mboolean__80_29.min1.thm1
2017-02-06 12:46
1.0K
mboolean__510_17.min1.thm1
2017-02-06 12:46
1.0K
mboolean__874_35.min1.thm1
2017-02-06 12:46
1.0K
mboolean__1021_33.min1.thm1
2017-02-06 12:46
1.0K
mboolean__822_33.min1.thm1
2017-02-06 12:46
1.0K
mboolean__158_19.min1.thm1
2017-02-06 12:46
959
mboolean__547_17.min1.thm1
2017-02-06 12:46
922
mboolean__994_56.min1.thm1
2017-02-06 12:46
911
mboolean__349_37.min1.thm1
2017-02-06 12:46
906
mboolean__994_56.min1.thm1.tptp
2017-02-06 16:47
877
mboolean__903_28.min1.thm1
2017-02-06 12:46
867
mboolean__237_45.min1.thm1
2017-02-06 12:46
865
mboolean__420_31.min1.thm1
2017-02-06 12:46
839
mboolean__428_33.min1.thm1
2017-02-06 12:46
825
mboolean__982_44.min1.thm1
2017-02-06 12:46
822
mboolean__959_44.min1.thm1
2017-02-06 12:46
821
mboolean__894_44.min1.thm1
2017-02-06 12:46
821
mboolean__1137_28.min1.thm1
2017-02-06 12:46
820
mboolean__186_46.min1.thm1
2017-02-06 12:46
818
mboolean__442_28.min1.thm1
2017-02-06 12:46
815
mboolean__291_17.min1.thm1
2017-02-06 12:46
812
mboolean__210_44.min1.thm1
2017-02-06 12:46
810
mboolean__910_41.min1.thm1
2017-02-06 12:46
802
mboolean__1126_42.min1.thm1
2017-02-06 12:46
800
mboolean__1103_42.min1.thm1
2017-02-06 12:46
799
mboolean__1041_42.min1.thm1
2017-02-06 12:46
799
mboolean__842_42.min1.thm1
2017-02-06 12:46
799
mboolean__213_26.min1.thm1
2017-02-06 12:46
785
mboolean__156_18.min1.thm1
2017-02-06 12:46
775
mboolean__1055_28.min1.thm1
2017-02-06 12:46
763
mboolean__1079_13.min1.thm1
2017-02-06 12:46
761
mboolean__1136_14.min1.thm1
2017-02-06 12:46
755
mboolean__1069_20.min1.thm1
2017-02-06 12:46
754
mboolean__149_19.min1.thm1
2017-02-06 12:46
751
mboolean__371_21.min1.thm1
2017-02-06 12:46
745
mboolean__495_32.min1.thm1
2017-02-06 12:46
737
mboolean__378_19.min1.thm1
2017-02-06 12:46
733
mboolean__871_15.min1.thm1
2017-02-06 12:46
732
mboolean__987_20.min1.thm1
2017-02-06 12:46
731
mboolean__1018_13.min1.thm1
2017-02-06 12:46
730
mboolean__819_13.min1.thm1
2017-02-06 12:46
730
mboolean__849_18.min1.thm1
2017-02-06 12:46
716
mboolean__193_22.min1.thm1
2017-02-06 12:46
716
mboolean__219_20.min1.thm1
2017-02-06 12:46
712
mboolean__702_27.min1.thm1
2017-02-06 12:46
704
mboolean__1079_13.min1.thm1.tptp
2017-02-06 16:47
701
mboolean__1070_22.min1.thm1
2017-02-06 12:46
699
mboolean__139_21.min1.thm1
2017-02-06 12:46
683
mboolean__1072_20.min1.thm1
2017-02-06 12:46
675
mboolean__81_18.min1.thm1
2017-02-06 12:46
673
mboolean__871_15.min1.thm1.tptp
2017-02-06 16:47
672
mboolean__1018_13.min1.thm1.tptp
2017-02-06 16:47
670
mboolean__819_13.min1.thm1.tptp
2017-02-06 16:47
670
mboolean__585_32.min1.thm1
2017-02-06 12:46
666
mboolean__266_34.min1.thm1
2017-02-06 12:46
652
mboolean__277_17.min1.thm1
2017-02-06 12:46
651
mboolean__320_17.min1.thm1
2017-02-06 12:46
639
mboolean__704_27.min1.thm1
2017-02-06 12:46
638
mboolean__386_26.min1.thm1
2017-02-06 12:46
636
mboolean__524_26.min1.thm1
2017-02-06 12:46
635
mboolean__467_29.min1.thm1
2017-02-06 12:46
634
mboolean__494_28.min1.thm1
2017-02-06 12:46
633
mboolean__966_30.min1.thm1
2017-02-06 12:46
632
mboolean__264_20.min1.thm1
2017-02-06 12:46
632
mboolean__943_30.min1.thm1
2017-02-06 12:46
631
mboolean__877_30.min1.thm1
2017-02-06 12:46
631
mboolean__236_16.min1.thm1
2017-02-06 12:46
631
mboolean__687_21.min1.thm1
2017-02-06 12:46
628
mboolean__162_30.min1.thm1
2017-02-06 12:46
627
mboolean__1110_29.min1.thm1
2017-02-06 12:46
624
mboolean__1087_29.min1.thm1
2017-02-06 12:46
623
mboolean__1024_28.min1.thm1
2017-02-06 12:46
623
mboolean__825_28.min1.thm1
2017-02-06 12:46
623
mboolean__497_14.min1.thm1
2017-02-06 12:46
623
mboolean__804_17.min1.thm1
2017-02-06 12:46
612
mboolean__251_28.min1.thm1
2017-02-06 12:46
610
mboolean__250_18.min1.thm1
2017-02-06 12:46
610
mboolean__659_14.min1.thm1
2017-02-06 12:46
608
mboolean__674_29.min1.thm1
2017-02-06 12:46
606
mboolean__673_19.min1.thm1
2017-02-06 12:46
606
mboolean__191_22.min1.thm1
2017-02-06 12:46
604
mboolean__899_20.min1.thm1
2017-02-06 12:46
602
mboolean__648_28.min1.thm1
2017-02-06 12:46
595
mboolean__907_37.min1.thm1
2017-02-06 12:46
592
mboolean__969_16.min1.thm1
2017-02-06 12:46
584
mboolean__946_16.min1.thm1
2017-02-06 12:46
584
mboolean__881_16.min1.thm1
2017-02-06 12:46
584
mboolean__689_23.min1.thm1
2017-02-06 12:46
584
mboolean__217_20.min1.thm1
2017-02-06 12:46
584
mboolean__169_16.min1.thm1
2017-02-06 12:46
579
mboolean__1113_14.min1.thm1
2017-02-06 12:46
574
mboolean__1090_14.min1.thm1
2017-02-06 12:46
574
mboolean__1028_14.min1.thm1
2017-02-06 12:46
574
mboolean__829_14.min1.thm1
2017-02-06 12:46
574
mboolean__1131_18.min1.thm1
2017-02-06 12:46
572
mboolean__1108_18.min1.thm1
2017-02-06 12:46
572
mboolean__1046_18.min1.thm1
2017-02-06 12:46
572
mboolean__847_18.min1.thm1
2017-02-06 12:46
572
mboolean__386_26.min1.thm1.tptp
2017-02-06 16:47
565
mboolean__320_17.min1.thm1.tptp
2017-02-06 16:47
565
mboolean__494_28.min1.thm1.tptp
2017-02-06 16:47
562
mboolean__788_17.min1.thm1
2017-02-06 12:46
560
mboolean__890_27.min1.thm1
2017-02-06 12:46
556
mboolean__182_29.min1.thm1
2017-02-06 12:46
552
mboolean__639_21.min1.thm1
2017-02-06 12:46
546
mboolean__633_21.min1.thm1
2017-02-06 12:46
546
mboolean__624_21.min1.thm1
2017-02-06 12:46
543
mboolean__458_29.min1.thm1
2017-02-06 12:46
541
mboolean__206_27.min1.thm1
2017-02-06 12:46
540
mboolean__534_14.min1.thm1
2017-02-06 12:46
537
mboolean__660_20.min1.thm1
2017-02-06 12:46
533
mboolean__648_28.min1.thm1.tptp
2017-02-06 16:47
533
mboolean__1122_25.min1.thm1
2017-02-06 12:46
529
mboolean__1099_25.min1.thm1
2017-02-06 12:46
529
mboolean__1037_25.min1.thm1
2017-02-06 12:46
528
mboolean__838_25.min1.thm1
2017-02-06 12:46
528
mboolean__906_36.min1.thm1
2017-02-06 12:46
527
mboolean__276_18.min1.thm1
2017-02-06 12:46
527
mboolean__481_26.min1.thm1
2017-02-06 12:46
513
mboolean__852_28.min1.thm1
2017-02-06 12:46
507
mboolean__331_40.min1.thm1
2017-02-06 12:46
495
mboolean__222_28.min1.thm1
2017-02-06 12:46
493
mboolean__624_21.min1.thm1.tptp
2017-02-06 16:47
488
mboolean__573_17.min1.thm1
2017-02-06 12:46
487
mboolean__572_32.min1.thm1
2017-02-06 12:46
487
mboolean__964_20.min1.thm1
2017-02-06 12:46
484
mboolean__744_38.min1.thm1
2017-02-06 12:46
483
mboolean__56_17.min1.thm1
2017-02-06 12:46
479
mboolean__55_31.min1.thm1
2017-02-06 12:46
479
mboolean__788_17.min1.thm1.tptp
2017-02-06 16:47
477
mboolean__731_36.min1.thm1
2017-02-06 12:46
477
mboolean__639_21.min1.thm1.tptp
2017-02-06 16:47
469
mboolean__633_21.min1.thm1.tptp
2017-02-06 16:47
469
mboolean__458_29.min1.thm1.tptp
2017-02-06 16:47
466
mboolean__906_36.min1.thm1.tptp
2017-02-06 16:47
463
mboolean__718_28.min1.thm1
2017-02-06 12:46
455
mboolean__82_11.min1.thm1
2017-02-06 12:46
454
mboolean__852_28.min1.thm1.tptp
2017-02-06 16:47
443
mboolean__481_26.min1.thm1.tptp
2017-02-06 16:47
438
mboolean__222_28.min1.thm1.tptp
2017-02-06 16:47
433
mboolean__904_21.min1.thm1
2017-02-06 12:46
431
mboolean__1051_19.min1.thm1
2017-02-06 12:46
419
mboolean__573_17.min1.thm1.tptp
2017-02-06 16:47
410
mboolean__572_32.min1.thm1.tptp
2017-02-06 16:47
410
mboolean__56_17.min1.thm1.tptp
2017-02-06 16:47
402
mboolean__55_31.min1.thm1.tptp
2017-02-06 16:47
402
mboolean__731_36.min1.thm1.tptp
2017-02-06 16:47
399
mboolean__451_14.min1.thm1
2017-02-06 12:46
398
mboolean__992_21.min1.thm1
2017-02-06 12:46
379
mboolean__718_28.min1.thm1.tptp
2017-02-06 16:47
377
mboolean__904_21.min1.thm1.tptp
2017-02-06 16:47
357
mboolean__703_17.min1.thm1
2017-02-06 12:46
355
mboolean__1051_19.min1.thm1.tptp
2017-02-06 16:47
345
mboolean__265_24.min1.thm1
2017-02-06 12:46
317
mboolean__775_15.min1.thm1
2017-02-06 12:46
309
mboolean__992_21.min1.thm1.tptp
2017-02-06 16:47
305
mboolean__934_17.min1.thm1
2017-02-06 12:46
278
mboolean__878_17.min1.thm1
2017-02-06 12:46
278
mboolean__166_17.min1.thm1
2017-02-06 12:46
275
mboolean__1086_15.min1.thm1
2017-02-06 12:46
272
mboolean__1025_15.min1.thm1
2017-02-06 12:46
272
mboolean__826_15.min1.thm1
2017-02-06 12:46
272
mboolean__69_27.min1.thm1
2017-02-06 12:46
269
mboolean__688_13.min1.thm1
2017-02-06 12:46
245
mboolean__179_21.min1.thm1
2017-02-06 12:46
222
mboolean__975_19.min1.thm1
2017-02-06 12:46
221
mboolean__952_19.min1.thm1
2017-02-06 12:46
221
mboolean__887_19.min1.thm1
2017-02-06 12:46
221
mboolean__203_19.min1.thm1
2017-02-06 12:46
216
mboolean__1119_17.min1.thm1
2017-02-06 12:46
211
mboolean__1096_17.min1.thm1
2017-02-06 12:46
211
mboolean__1034_17.min1.thm1
2017-02-06 12:46
211
mboolean__835_17.min1.thm1
2017-02-06 12:46
211
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80