Index of /~mptp/7.13.01_4.181.1147/MPTP2/ilp0/zf_refle
Name
Last modified
Size
Description
Parent Directory
-
zf_refle__1365_17.min1.thm1
2017-02-06 12:44
950
zf_refle__1364_16.min1.thm1
2017-02-06 12:44
460
zf_refle__1363_17.min1.thm1
2017-02-06 12:44
725
zf_refle__1361_20.min1.thm1
2017-02-06 12:44
880
zf_refle__1360_12.min1.thm1
2017-02-06 12:44
1.0K
zf_refle__1359_25.min1.thm1
2017-02-06 12:44
645
zf_refle__1343_42.min1.thm1
2017-02-06 12:44
1.7K
zf_refle__1338_44.min1.thm1
2017-02-06 12:44
1.7K
zf_refle__1330_49.min1.thm1
2017-02-06 12:44
288
zf_refle__1324_36.min1.thm1
2017-02-06 12:44
1.2K
zf_refle__1317_19.min1.thm1
2017-02-06 12:44
1.0K
zf_refle__1313_34.min1.thm1
2017-02-06 12:44
939
zf_refle__1306_35.min1.thm1
2017-02-06 12:44
939
zf_refle__1298_21.min1.thm1
2017-02-06 12:44
700
zf_refle__1294_36.min1.thm1
2017-02-06 12:44
943
zf_refle__1287_37.min1.thm1
2017-02-06 12:44
943
zf_refle__1271_28.min1.thm1
2017-02-06 12:44
1.2K
zf_refle__1268_18.min1.thm1
2017-02-06 12:44
1.1K
zf_refle__1265_18.min1.thm1
2017-02-06 12:44
1.9K
zf_refle__1264_32.min1.thm1
2017-02-06 12:44
1.2K
zf_refle__1263_27.min1.thm1
2017-02-06 12:44
1.1K
zf_refle__1262_21.min1.thm1
2017-02-06 12:44
1.6K
zf_refle__1253_21.min1.thm1
2017-02-06 12:44
1.3K
zf_refle__1241_46.min1.thm1
2017-02-06 12:44
1.7K
zf_refle__1240_38.min1.thm1
2017-02-06 12:44
1.0K
zf_refle__1239_24.min1.thm1
2017-02-06 12:44
559
zf_refle__1238_50.min1.thm1
2017-02-06 12:44
798
zf_refle__1237_24.min1.thm1
2017-02-06 12:44
557
zf_refle__1232_43.min1.thm1
2017-02-06 12:44
1.8K
zf_refle__1230_41.min1.thm1
2017-02-06 12:44
1.8K
zf_refle__1223_45.min1.thm1
2017-02-06 12:44
1.8K
zf_refle__1221_41.min1.thm1
2017-02-06 12:44
1.8K
zf_refle__1209_25.min1.thm1
2017-02-06 12:44
2.1K
zf_refle__1207_19.min1.thm1
2017-02-06 12:44
1.4K
zf_refle__1205_24.min1.thm1
2017-02-06 12:44
2.1K
zf_refle__1202_21.min1.thm1
2017-02-06 12:44
1.4K
zf_refle__1201_21.min1.thm1
2017-02-06 12:44
1.4K
zf_refle__1199_19.min1.thm1
2017-02-06 12:44
2.2K
zf_refle__1197_19.min1.thm1
2017-02-06 12:44
1.4K
zf_refle__1180_67.min1.thm1
2017-02-06 12:44
1.0K
zf_refle__1168_27.min1.thm1
2017-02-06 12:44
1.8K
zf_refle__1165_40.min1.thm1
2017-02-06 12:44
446
zf_refle__1162_29.min1.thm1
2017-02-06 12:44
1.8K
zf_refle__1159_50.min1.thm1
2017-02-06 12:44
676
zf_refle__1153_53.min1.thm1.tptp
2017-02-06 16:46
239
zf_refle__1153_53.min1.thm1
2017-02-06 12:44
327
zf_refle__1140_51.min1.thm1
2017-02-06 12:44
767
zf_refle__1139_27.min1.thm1
2017-02-06 12:44
2.6K
zf_refle__1138_26.min1.thm1
2017-02-06 12:44
908
zf_refle__1136_30.min1.thm1
2017-02-06 12:44
1.8K
zf_refle__1120_43.min1.thm1.tptp
2017-02-06 16:46
647
zf_refle__1120_43.min1.thm1
2017-02-06 12:44
720
zf_refle__1119_24.min1.thm1
2017-02-06 12:44
1.5K
zf_refle__1110_32.min1.thm1
2017-02-06 12:44
1.9K
zf_refle__1096_20.min1.thm1
2017-02-06 12:44
2.0K
zf_refle__1095_20.min1.thm1
2017-02-06 12:44
2.0K
zf_refle__1093_31.min1.thm1
2017-02-06 12:44
3.5K
zf_refle__1091_27.min1.thm1
2017-02-06 12:44
2.1K
zf_refle__1090_21.min1.thm1
2017-02-06 12:44
2.2K
zf_refle__1088_23.min1.thm1
2017-02-06 12:44
1.4K
zf_refle__1085_25.min1.thm1
2017-02-06 12:44
1.5K
zf_refle__1068_38.min1.thm1
2017-02-06 12:44
2.1K
zf_refle__1059_23.min1.thm1
2017-02-06 12:44
2.3K
zf_refle__1057_25.min1.thm1
2017-02-06 12:44
1.0K
zf_refle__1054_44.min1.thm1
2017-02-06 12:44
601
zf_refle__1053_22.min1.thm1
2017-02-06 12:44
1.3K
zf_refle__1051_20.min1.thm1
2017-02-06 12:44
635
zf_refle__1041_29.min1.thm1
2017-02-06 12:44
895
zf_refle__1031_21.min1.thm1
2017-02-06 12:44
2.8K
zf_refle__1029_23.min1.thm1
2017-02-06 12:44
833
zf_refle__1007_24.min1.thm1
2017-02-06 12:44
828
zf_refle__964_60.min1.thm1
2017-02-06 12:44
803
zf_refle__962_39.min1.thm1
2017-02-06 12:44
1.8K
zf_refle__961_28.min1.thm1
2017-02-06 12:44
2.0K
zf_refle__956_45.min1.thm1
2017-02-06 12:44
2.6K
zf_refle__955_52.min1.thm1
2017-02-06 12:44
315
zf_refle__954_35.min1.thm1
2017-02-06 12:44
1.2K
zf_refle__953_18.min1.thm1
2017-02-06 12:44
644
zf_refle__933_41.min1.thm1.tptp
2017-02-06 16:46
635
zf_refle__933_41.min1.thm1
2017-02-06 12:44
708
zf_refle__928_63.min1.thm1
2017-02-06 12:44
656
zf_refle__927_22.min1.thm1
2017-02-06 12:44
666
zf_refle__916_44.min1.thm1
2017-02-06 12:44
601
zf_refle__914_20.min1.thm1
2017-02-06 12:44
635
zf_refle__913_34.min1.thm1
2017-02-06 12:44
1.4K
zf_refle__912_24.min1.thm1
2017-02-06 12:44
825
zf_refle__911_22.min1.thm1
2017-02-06 12:44
1.4K
zf_refle__905_28.min1.thm1
2017-02-06 12:44
2.1K
zf_refle__903_68.min1.thm1
2017-02-06 12:44
1.7K
zf_refle__902_25.min1.thm1
2017-02-06 12:44
1.4K
zf_refle__897_49.min1.thm1
2017-02-06 12:44
902
zf_refle__895_61.min1.thm1
2017-02-06 12:44
1.8K
zf_refle__894_27.min1.thm1
2017-02-06 12:44
310
zf_refle__889_42.min1.thm1
2017-02-06 12:44
1.2K
zf_refle__888_38.min1.thm1
2017-02-06 12:44
721
zf_refle__865_70.min1.thm1
2017-02-06 12:44
593
zf_refle__855_41.min1.thm1.tptp
2017-02-06 16:46
634
zf_refle__855_41.min1.thm1
2017-02-06 12:44
707
zf_refle__844_23.min1.thm1
2017-02-06 12:44
1.0K
zf_refle__841_22.min1.thm1.tptp
2017-02-06 16:46
264
zf_refle__841_22.min1.thm1
2017-02-06 12:44
344
zf_refle__826_28.min1.thm1
2017-02-06 12:44
1.6K
zf_refle__824_23.min1.thm1
2017-02-06 12:44
2.5K
zf_refle__822_36.min1.thm1
2017-02-06 12:44
1.4K
zf_refle__812_31.min1.thm1
2017-02-06 12:44
1.7K
zf_refle__810_27.min1.thm1
2017-02-06 12:44
2.0K
zf_refle__806_21.min1.thm1
2017-02-06 12:44
2.0K
zf_refle__797_27.min1.thm1.tptp
2017-02-06 16:46
325
zf_refle__797_27.min1.thm1
2017-02-06 12:44
394
zf_refle__794_28.min1.thm1
2017-02-06 12:44
905
zf_refle__792_30.min1.thm1
2017-02-06 12:44
702
zf_refle__790_23.min1.thm1
2017-02-06 12:44
1.2K
zf_refle__789_33.min1.thm1
2017-02-06 12:44
1.7K
zf_refle__787_33.min1.thm1
2017-02-06 12:44
1.0K
zf_refle__784_42.min1.thm1
2017-02-06 12:44
2.4K
zf_refle__775_50.min1.thm1.tptp
2017-02-06 16:46
858
zf_refle__775_50.min1.thm1
2017-02-06 12:44
931
zf_refle__764_24.min1.thm1
2017-02-06 12:44
507
zf_refle__760_27.min1.thm1
2017-02-06 12:44
1.2K
zf_refle__759_26.min1.thm1
2017-02-06 12:44
851
zf_refle__756_19.min1.thm1
2017-02-06 12:44
225
zf_refle__753_17.min1.thm1
2017-02-06 12:44
1.0K
zf_refle__745_21.min1.thm1
2017-02-06 12:44
1.9K
zf_refle__723_17.min1.thm1
2017-02-06 12:44
469
zf_refle__721_50.min1.thm1
2017-02-06 12:44
1.0K
zf_refle__720_20.min1.thm1
2017-02-06 12:44
1.0K
zf_refle__718_57.min1.thm1
2017-02-06 12:44
1.7K
zf_refle__717_54.min1.thm1
2017-02-06 12:44
637
zf_refle__716_40.min1.thm1
2017-02-06 12:44
817
zf_refle__714_30.min1.thm1
2017-02-06 12:44
1.5K
zf_refle__712_23.min1.thm1
2017-02-06 12:44
2.5K
zf_refle__705_73.min1.thm1
2017-02-06 12:44
808
zf_refle__704_41.min1.thm1
2017-02-06 12:44
1.8K
zf_refle__680_26.min1.thm1
2017-02-06 12:44
1.9K
zf_refle__678_47.min1.thm1
2017-02-06 12:44
837
zf_refle__677_38.min1.thm1
2017-02-06 12:44
832
zf_refle__676_22.min1.thm1
2017-02-06 12:44
935
zf_refle__673_25.min1.thm1
2017-02-06 12:44
1.6K
zf_refle__670_37.min1.thm1
2017-02-06 12:44
774
zf_refle__663_22.min1.thm1
2017-02-06 12:44
2.0K
zf_refle__660_17.min1.thm1
2017-02-06 12:44
736
zf_refle__658_39.min1.thm1
2017-02-06 12:44
1.5K
zf_refle__657_49.min1.thm1
2017-02-06 12:44
1.3K
zf_refle__653_41.min1.thm1
2017-02-06 12:44
935
zf_refle__641_19.min1.thm1
2017-02-06 12:44
737
zf_refle__638_22.min1.thm1
2017-02-06 12:44
1.0K
zf_refle__621_17.min1.thm1
2017-02-06 12:44
1.3K
zf_refle__620_20.min1.thm1
2017-02-06 12:44
1.3K
zf_refle__619_38.min1.thm1
2017-02-06 12:44
892
zf_refle__618_19.min1.thm1
2017-02-06 12:44
726
zf_refle__616_16.min1.thm1
2017-02-06 12:44
244
zf_refle__615_41.min1.thm1
2017-02-06 12:44
251
zf_refle__610_29.min1.thm1.tptp
2017-02-06 16:46
300
zf_refle__610_29.min1.thm1
2017-02-06 12:44
377
zf_refle__605_19.min1.thm1
2017-02-06 12:44
1.2K
zf_refle__604_19.min1.thm1
2017-02-06 12:44
1.1K
zf_refle__603_15.min1.thm1
2017-02-06 12:44
380
zf_refle__602_14.min1.thm1
2017-02-06 12:44
890
zf_refle__600_31.min1.thm1
2017-02-06 12:44
476
zf_refle__596_21.min1.thm1
2017-02-06 12:44
1.5K
zf_refle__595_16.min1.thm1
2017-02-06 12:44
1.1K
zf_refle__594_17.min1.thm1
2017-02-06 12:44
816
zf_refle__593_39.min1.thm1
2017-02-06 12:44
1.1K
zf_refle__592_16.min1.thm1
2017-02-06 12:44
1.1K
zf_refle__585_23.min1.thm1
2017-02-06 12:44
1.2K
zf_refle__582_34.min1.thm1
2017-02-06 12:44
650
zf_refle__581_57.min1.thm1
2017-02-06 12:44
1.5K
zf_refle__575_32.min1.thm1
2017-02-06 12:44
623
zf_refle__572_18.min1.thm1
2017-02-06 12:44
798
zf_refle__570_22.min1.thm1.tptp
2017-02-06 16:46
576
zf_refle__570_22.min1.thm1
2017-02-06 12:44
647
zf_refle__569_30.min1.thm1
2017-02-06 12:44
809
zf_refle__568_49.min1.thm1
2017-02-06 12:44
543
zf_refle__556_17.min1.thm1
2017-02-06 12:44
614
zf_refle__555_26.min1.thm1
2017-02-06 12:44
1.0K
zf_refle__554_19.min1.thm1
2017-02-06 12:44
1.4K
zf_refle__552_15.min1.thm1
2017-02-06 12:44
907
zf_refle__546_17.min1.thm1
2017-02-06 12:44
824
zf_refle__545_14.min1.thm1
2017-02-06 12:44
612
zf_refle__534_18.min1.thm1
2017-02-06 12:44
1.2K
zf_refle__533_19.min1.thm1
2017-02-06 12:44
881
zf_refle__531_22.min1.thm1
2017-02-06 12:44
832
zf_refle__530_16.min1.thm1
2017-02-06 12:44
616
zf_refle__524_16.min1.thm1
2017-02-06 12:44
581
zf_refle__522_21.min1.thm1
2017-02-06 12:44
765
zf_refle__521_15.min1.thm1
2017-02-06 12:44
552
zf_refle__520_15.min1.thm1
2017-02-06 12:44
1.1K
zf_refle__513_25.min1.thm1.tptp
2017-02-06 16:46
411
zf_refle__513_25.min1.thm1
2017-02-06 12:44
487
zf_refle__511_41.min1.thm1
2017-02-06 12:44
1.0K
zf_refle__510_51.min1.thm1
2017-02-06 12:44
830
zf_refle__509_26.min1.thm1
2017-02-06 12:44
764
zf_refle__508_42.min1.thm1
2017-02-06 12:44
1.0K
zf_refle__507_24.min1.thm1
2017-02-06 12:44
913
zf_refle__506_22.min1.thm1
2017-02-06 12:44
864
zf_refle__505_16.min1.thm1
2017-02-06 12:44
670
zf_refle__488_13.min1.thm1
2017-02-06 12:44
232
zf_refle__487_30.min1.thm1
2017-02-06 12:44
778
zf_refle__486_15.min1.thm1
2017-02-06 12:44
842
zf_refle__482_24.min1.thm1.tptp
2017-02-06 16:46
555
zf_refle__482_24.min1.thm1
2017-02-06 12:44
607
zf_refle__480_43.min1.thm1
2017-02-06 12:44
629
zf_refle__478_18.min1.thm1
2017-02-06 12:44
619
zf_refle__477_19.min1.thm1
2017-02-06 12:44
1.5K
zf_refle__476_15.min1.thm1
2017-02-06 12:44
237
zf_refle__475_32.min1.thm1
2017-02-06 12:44
705
zf_refle__474_16.min1.thm1
2017-02-06 12:44
673
zf_refle__440_16.min1.thm1
2017-02-06 12:44
393
zf_refle__439_33.min1.thm1
2017-02-06 12:44
865
zf_refle__429_19.min1.thm1
2017-02-06 12:44
922
zf_refle__428_20.min1.thm1
2017-02-06 12:44
575
zf_refle__417_14.min1.thm1
2017-02-06 12:44
244
zf_refle__408_16.min1.thm1
2017-02-06 12:44
1.3K
zf_refle__407_18.min1.thm1
2017-02-06 12:44
960
zf_refle__406_38.min1.thm1
2017-02-06 12:44
775
zf_refle__405_22.min1.thm1
2017-02-06 12:44
859
zf_refle__401_36.min1.thm1
2017-02-06 12:44
679
zf_refle__400_32.min1.thm1
2017-02-06 12:44
761
zf_refle__398_27.min1.thm1
2017-02-06 12:44
801
zf_refle__397_44.min1.thm1
2017-02-06 12:44
1.1K
zf_refle__396_41.min1.thm1
2017-02-06 12:44
1.2K
zf_refle__395_16.min1.thm1
2017-02-06 12:44
616
zf_refle__394_45.min1.thm1.tptp
2017-02-06 16:46
456
zf_refle__394_45.min1.thm1
2017-02-06 12:44
530
zf_refle__393_52.min1.thm1
2017-02-06 12:44
1.2K
zf_refle__385_17.min1.thm1
2017-02-06 12:44
876
zf_refle__384_32.min1.thm1
2017-02-06 12:44
703
zf_refle__383_16.min1.thm1.tptp
2017-02-06 16:46
248
zf_refle__383_16.min1.thm1
2017-02-06 12:44
329
zf_refle__382_28.min1.thm1
2017-02-06 12:44
696
zf_refle__380_7.min1.thm1
2017-02-06 12:44
1.1K
zf_refle__377_32.min1.thm1.tptp
2017-02-06 16:46
428
zf_refle__377_32.min1.thm1
2017-02-06 12:44
506
zf_refle__371_17.min1.thm1
2017-02-06 12:44
445
zf_refle__370_22.min1.thm1
2017-02-06 12:44
459
zf_refle__368_19.min1.thm1
2017-02-06 12:44
480
zf_refle__367_30.min1.thm1
2017-02-06 12:44
540
zf_refle__366_18.min1.thm1.tptp
2017-02-06 16:46
350
zf_refle__366_18.min1.thm1
2017-02-06 12:44
415
zf_refle__365_39.min1.thm1.tptp
2017-02-06 16:46
323
zf_refle__365_39.min1.thm1
2017-02-06 12:44
388
zf_refle__354_17.min1.thm1
2017-02-06 12:44
586
zf_refle__353_40.min1.thm1
2017-02-06 12:44
742
zf_refle__351_22.min1.thm1
2017-02-06 12:44
478
zf_refle__350_18.min1.thm1
2017-02-06 12:44
617
zf_refle__346_30.min1.thm1.tptp
2017-02-06 16:46
419
zf_refle__346_30.min1.thm1
2017-02-06 12:44
497
zf_refle__345_19.min1.thm1.tptp
2017-02-06 16:46
433
zf_refle__345_19.min1.thm1
2017-02-06 12:44
492
zf_refle__339_22.min1.thm1
2017-02-06 12:44
356
zf_refle__335_17.min1.thm1
2017-02-06 12:44
941
zf_refle__334_20.min1.thm1
2017-02-06 12:44
477
zf_refle__333_19.min1.thm1
2017-02-06 12:44
578
zf_refle__332_17.min1.thm1.tptp
2017-02-06 16:46
433
zf_refle__332_17.min1.thm1
2017-02-06 12:44
492
zf_refle__330_42.min1.thm1
2017-02-06 12:44
1.0K
zf_refle__323_17.min1.thm1
2017-02-06 12:44
1.0K
zf_refle__322_34.min1.thm1.tptp
2017-02-06 16:46
491
zf_refle__322_34.min1.thm1
2017-02-06 12:44
550
zf_refle__320_31.min1.thm1
2017-02-06 12:44
704
zf_refle__319_17.min1.thm1
2017-02-06 12:44
706
zf_refle__318_18.min1.thm1
2017-02-06 12:44
523
zf_refle__316_18.min1.thm1
2017-02-06 12:44
627
zf_refle__315_22.min1.thm1
2017-02-06 12:44
669
zf_refle__314_17.min1.thm1
2017-02-06 12:44
627
zf_refle__308_38.min1.thm1.tptp
2017-02-06 16:46
437
zf_refle__308_38.min1.thm1
2017-02-06 12:44
511
zf_refle__301_13.min1.thm1
2017-02-06 12:44
131
zf_refle__294_14.min1.thm1
2017-02-06 12:44
333
zf_refle__292_13.min1.thm1
2017-02-06 12:44
524
zf_refle__290_16.min1.thm1
2017-02-06 12:44
898
zf_refle__289_16.min1.thm1
2017-02-06 12:44
713
zf_refle__288_46.min1.thm1
2017-02-06 12:44
583
zf_refle__287_23.min1.thm1
2017-02-06 12:44
855
zf_refle__286_37.min1.thm1
2017-02-06 12:44
875
zf_refle__279_19.min1.thm1
2017-02-06 12:44
1.0K
zf_refle__278_6.min1.thm1
2017-02-06 12:44
756
zf_refle__276_43.min1.thm1.tptp
2017-02-06 16:46
315
zf_refle__276_43.min1.thm1
2017-02-06 12:44
403
zf_refle__256_17.min1.thm1
2017-02-06 12:44
2.7K
zf_refle__255_41.min1.thm1
2017-02-06 12:44
1.6K
zf_refle__251_37.min1.thm1
2017-02-06 12:44
2.0K
zf_refle__250_32.min1.thm1
2017-02-06 12:44
1.5K
zf_refle__247_51.min1.thm1
2017-02-06 12:44
1.7K
zf_refle__245_19.min1.thm1
2017-02-06 12:44
1.4K
zf_refle__243_21.min1.thm1
2017-02-06 12:44
753
zf_refle__242_19.min1.thm1
2017-02-06 12:44
1.1K
zf_refle__241_37.min1.thm1
2017-02-06 12:44
589
zf_refle__236_21.min1.thm1
2017-02-06 12:44
778
zf_refle__235_28.min1.thm1
2017-02-06 12:44
1.1K
zf_refle__233_27.min1.thm1
2017-02-06 12:44
654
zf_refle__229_37.min1.thm1
2017-02-06 12:44
599
zf_refle__228_16.min1.thm1
2017-02-06 12:44
672
zf_refle__207_17.min1.thm1
2017-02-06 12:44
1.6K
zf_refle__206_16.min1.thm1
2017-02-06 12:44
612
zf_refle__203_46.min1.thm1
2017-02-06 12:44
2.0K
zf_refle__202_44.min1.thm1
2017-02-06 12:44
827
zf_refle__200_19.min1.thm1
2017-02-06 12:44
588
zf_refle__199_12.min1.thm1
2017-02-06 12:44
483
zf_refle__198_42.min1.thm1
2017-02-06 12:44
722
zf_refle__197_44.min1.thm1
2017-02-06 12:44
640
zf_refle__192_37.min1.thm1
2017-02-06 12:44
903
zf_refle__187_18.min1.thm1
2017-02-06 12:44
627
zf_refle__185_27.min1.thm1
2017-02-06 12:44
132
zf_refle__184_13.min1.thm1.tptp
2017-02-06 16:46
447
zf_refle__184_13.min1.thm1
2017-02-06 12:44
510
zf_refle__182_46.min1.thm1
2017-02-06 12:44
505
zf_refle__167_36.min1.thm1
2017-02-06 12:44
542
zf_refle__163_16.min1.thm1
2017-02-06 12:44
723
zf_refle__160_11.min1.thm1
2017-02-06 12:44
502
zf_refle__159_13.min1.thm1.tptp
2017-02-06 16:46
383
zf_refle__159_13.min1.thm1
2017-02-06 12:44
450
zf_refle__157_35.min1.thm1.tptp
2017-02-06 16:46
589
zf_refle__157_35.min1.thm1
2017-02-06 12:44
630
zf_refle__153_21.min1.thm1
2017-02-06 12:44
248
zf_refle__146_18.min1.thm1.tptp
2017-02-06 16:46
261
zf_refle__146_18.min1.thm1
2017-02-06 12:44
347
zf_refle__144_27.min1.thm1
2017-02-06 12:44
278
zf_refle__143_13.min1.thm1.tptp
2017-02-06 16:46
391
zf_refle__143_13.min1.thm1
2017-02-06 12:44
458
zf_refle__122_36.min1.thm1
2017-02-06 12:44
1.6K
zf_refle__108_23.min1.thm1
2017-02-06 12:44
763
zf_refle__94_17.min1.thm1
2017-02-06 12:44
914
zf_refle__92_29.min1.thm1
2017-02-06 12:44
1.1K
zf_refle__91_28.min1.thm1.tptp
2017-02-06 16:46
347
zf_refle__91_28.min1.thm1
2017-02-06 12:44
421
zf_refle__81_28.min1.thm1
2017-02-06 12:44
1.4K
zf_refle__80_27.min1.thm1
2017-02-06 12:44
1.0K
zf_refle__79_18.min1.thm1.tptp
2017-02-06 16:46
248
zf_refle__79_18.min1.thm1
2017-02-06 12:44
328
zf_refle__77_49.min1.thm1
2017-02-06 12:44
1.0K
zf_refle__76_23.min1.thm1
2017-02-06 12:44
753
zf_refle__75_22.min1.thm1
2017-02-06 12:44
1.1K
zf_refle__74_36.min1.thm1
2017-02-06 12:44
596
zf_refle__70_16.min1.thm1
2017-02-06 12:44
427
zf_refle__67_43.min1.thm1.tptp
2017-02-06 16:46
232
zf_refle__67_43.min1.thm1
2017-02-06 12:44
310
zf_refle__60_17.min1.thm1
2017-02-06 12:44
864
zf_refle__59_26.min1.thm1
2017-02-06 12:44
551
zf_refle__52_26.min1.thm1
2017-02-06 12:44
624
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80