Index of /~mptp/7.13.01_4.181.1147/MPTP2/ilp0/relat_2
Name
Last modified
Size
Description
Parent Directory
-
relat_2__733_20.min1.thm1
2017-02-06 12:46
1.7K
relat_2__153_21.min1.thm1
2017-02-06 12:46
1.3K
relat_2__550_19.min1.thm1
2017-02-06 12:46
1.3K
relat_2__904_30.min1.thm1
2017-02-06 12:46
1.2K
relat_2__978_23.min1.thm1
2017-02-06 12:46
1.1K
relat_2__834_20.min1.thm1
2017-02-06 12:46
1.1K
relat_2__828_18.min1.thm1
2017-02-06 12:46
1.1K
relat_2__856_25.min1.thm1
2017-02-06 12:46
1.0K
relat_2__805_20.min1.thm1
2017-02-06 12:46
1.0K
relat_2__905_17.min1.thm1
2017-02-06 12:46
1.0K
relat_2__899_74.min1.thm1
2017-02-06 12:46
1.0K
relat_2__268_25.min1.thm1
2017-02-06 12:46
1.0K
relat_2__260_25.min1.thm1
2017-02-06 12:46
1.0K
relat_2__315_17.min1.thm1
2017-02-06 12:46
1.0K
relat_2__866_17.min1.thm1
2017-02-06 12:46
1.0K
relat_2__963_17.min1.thm1
2017-02-06 12:46
1.0K
relat_2__633_27.min1.thm1
2017-02-06 12:46
1.0K
relat_2__587_28.min1.thm1
2017-02-06 12:46
970
relat_2__270_19.min1.thm1
2017-02-06 12:46
949
relat_2__804_30.min1.thm1
2017-02-06 12:46
932
relat_2__499_34.min1.thm1
2017-02-06 12:46
932
relat_2__888_40.min1.thm1
2017-02-06 12:46
929
relat_2__786_17.min1.thm1
2017-02-06 12:46
922
relat_2__770_16.min1.thm1
2017-02-06 12:46
922
relat_2__460_28.min1.thm1
2017-02-06 12:46
922
relat_2__511_32.min1.thm1
2017-02-06 12:46
903
relat_2__751_16.min1.thm1
2017-02-06 12:46
900
relat_2__902_21.min1.thm1
2017-02-06 12:46
896
relat_2__716_19.min1.thm1
2017-02-06 12:46
891
relat_2__371_25.min1.thm1
2017-02-06 12:46
879
relat_2__949_35.min1.thm1
2017-02-06 12:46
874
relat_2__200_28.min1.thm1
2017-02-06 12:46
873
relat_2__584_24.min1.thm1
2017-02-06 12:46
864
relat_2__577_24.min1.thm1
2017-02-06 12:46
864
relat_2__630_18.min1.thm1
2017-02-06 12:46
858
relat_2__608_22.min1.thm1
2017-02-06 12:46
858
relat_2__605_18.min1.thm1
2017-02-06 12:46
858
relat_2__267_24.min1.thm1
2017-02-06 12:46
855
relat_2__259_24.min1.thm1
2017-02-06 12:46
855
relat_2__691_24.min1.thm1
2017-02-06 12:46
845
relat_2__670_24.min1.thm1
2017-02-06 12:46
845
relat_2__651_24.min1.thm1
2017-02-06 12:46
845
relat_2__292_18.min1.thm1
2017-02-06 12:46
842
relat_2__749_30.min1.thm1
2017-02-06 12:46
839
relat_2__507_34.min1.thm1
2017-02-06 12:46
839
relat_2__902_21.min1.thm1.tptp
2017-02-06 16:47
837
relat_2__626_62.min1.thm1
2017-02-06 12:46
828
relat_2__889_41.min1.thm1
2017-02-06 12:46
819
relat_2__950_41.min1.thm1
2017-02-06 12:46
818
relat_2__940_40.min1.thm1
2017-02-06 12:46
818
relat_2__426_26.min1.thm1
2017-02-06 12:46
815
relat_2__420_27.min1.thm1
2017-02-06 12:46
815
relat_2__292_18.min1.thm1.tptp
2017-02-06 16:47
793
relat_2__389_28.min1.thm1
2017-02-06 12:46
784
relat_2__173_34.min1.thm1
2017-02-06 12:46
784
relat_2__962_4.min1.thm1
2017-02-06 12:46
775
relat_2__953_57.min1.thm1
2017-02-06 12:46
754
relat_2__719_36.min1.thm1
2017-02-06 12:46
738
relat_2__297_18.min1.thm1
2017-02-06 12:46
720
relat_2__917_19.min1.thm1
2017-02-06 12:46
719
relat_2__962_4.min1.thm1.tptp
2017-02-06 16:47
718
relat_2__887_22.min1.thm1
2017-02-06 12:46
707
relat_2__435_9.min1.thm1
2017-02-06 12:46
703
relat_2__390_25.min1.thm1
2017-02-06 12:46
703
relat_2__326_18.min1.thm1
2017-02-06 12:46
702
relat_2__429_41.min1.thm1
2017-02-06 12:46
694
relat_2__370_28.min1.thm1
2017-02-06 12:46
690
relat_2__855_36.min1.thm1
2017-02-06 12:46
685
relat_2__459_35.min1.thm1
2017-02-06 12:46
685
relat_2__145_25.min1.thm1
2017-02-06 12:46
682
relat_2__122_20.min1.thm1
2017-02-06 12:46
680
relat_2__652_17.min1.thm1
2017-02-06 12:46
679
relat_2__355_17.min1.thm1
2017-02-06 12:46
679
relat_2__396_26.min1.thm1
2017-02-06 12:46
678
relat_2__510_35.min1.thm1
2017-02-06 12:46
677
relat_2__806_17.min1.thm1
2017-02-06 12:46
674
relat_2__803_17.min1.thm1
2017-02-06 12:46
673
relat_2__649_17.min1.thm1
2017-02-06 12:46
673
relat_2__341_22.min1.thm1
2017-02-06 12:46
673
relat_2__297_18.min1.thm1.tptp
2017-02-06 16:47
673
relat_2__890_29.min1.thm1
2017-02-06 12:46
671
relat_2__951_29.min1.thm1
2017-02-06 12:46
669
relat_2__939_36.min1.thm1
2017-02-06 12:46
669
relat_2__853_19.min1.thm1
2017-02-06 12:46
669
relat_2__941_43.min1.thm1
2017-02-06 12:46
667
relat_2__663_46.min1.thm1
2017-02-06 12:46
667
relat_2__953_57.min1.thm1.tptp
2017-02-06 16:47
666
relat_2__938_20.min1.thm1
2017-02-06 12:46
666
relat_2__865_22.min1.thm1
2017-02-06 12:46
663
relat_2__894_59.min1.thm1
2017-02-06 12:46
657
relat_2__127_20.min1.thm1
2017-02-06 12:46
652
relat_2__427_28.min1.thm1
2017-02-06 12:46
648
relat_2__418_21.min1.thm1
2017-02-06 12:46
648
relat_2__378_24.min1.thm1
2017-02-06 12:46
647
relat_2__731_20.min1.thm1
2017-02-06 12:46
644
relat_2__711_19.min1.thm1
2017-02-06 12:46
644
relat_2__920_16.min1.thm1
2017-02-06 12:46
640
relat_2__892_73.min1.thm1
2017-02-06 12:46
636
relat_2__398_25.min1.thm1
2017-02-06 12:46
636
relat_2__391_24.min1.thm1
2017-02-06 12:46
636
relat_2__379_25.min1.thm1
2017-02-06 12:46
636
relat_2__372_24.min1.thm1
2017-02-06 12:46
636
relat_2__960_57.min1.thm1
2017-02-06 12:46
635
relat_2__942_42.min1.thm1
2017-02-06 12:46
634
relat_2__365_35.min1.thm1
2017-02-06 12:46
630
relat_2__521_24.min1.thm1
2017-02-06 12:46
629
relat_2__455_24.min1.thm1
2017-02-06 12:46
626
relat_2__450_24.min1.thm1
2017-02-06 12:46
626
relat_2__478_22.min1.thm1
2017-02-06 12:46
622
relat_2__476_17.min1.thm1
2017-02-06 12:46
622
relat_2__431_19.min1.thm1
2017-02-06 12:46
622
relat_2__548_29.min1.thm1
2017-02-06 12:46
621
relat_2__540_29.min1.thm1
2017-02-06 12:46
621
relat_2__504_23.min1.thm1
2017-02-06 12:46
621
relat_2__496_23.min1.thm1
2017-02-06 12:46
621
relat_2__583_41.min1.thm1
2017-02-06 12:46
619
relat_2__576_41.min1.thm1
2017-02-06 12:46
619
relat_2__354_24.min1.thm1
2017-02-06 12:46
617
relat_2__628_39.min1.thm1
2017-02-06 12:46
615
relat_2__340_20.min1.thm1
2017-02-06 12:46
612
relat_2__314_19.min1.thm1
2017-02-06 12:46
612
relat_2__732_32.min1.thm1
2017-02-06 12:46
611
relat_2__717_34.min1.thm1
2017-02-06 12:46
611
relat_2__167_35.min1.thm1
2017-02-06 12:46
608
relat_2__324_27.min1.thm1
2017-02-06 12:46
607
relat_2__609_28.min1.thm1
2017-02-06 12:46
606
relat_2__429_41.min1.thm1.tptp
2017-02-06 16:47
606
relat_2__833_37.min1.thm1
2017-02-06 12:46
605
relat_2__602_43.min1.thm1
2017-02-06 12:46
605
relat_2__479_28.min1.thm1
2017-02-06 12:46
605
relat_2__473_42.min1.thm1
2017-02-06 12:46
605
relat_2__130_18.min1.thm1
2017-02-06 12:46
605
relat_2__802_34.min1.thm1
2017-02-06 12:46
604
relat_2__750_32.min1.thm1
2017-02-06 12:46
604
relat_2__650_32.min1.thm1
2017-02-06 12:46
604
relat_2__826_37.min1.thm1
2017-02-06 12:46
603
relat_2__785_37.min1.thm1
2017-02-06 12:46
603
relat_2__769_37.min1.thm1
2017-02-06 12:46
603
relat_2__690_37.min1.thm1
2017-02-06 12:46
603
relat_2__519_44.min1.thm1
2017-02-06 12:46
603
relat_2__266_36.min1.thm1
2017-02-06 12:46
602
relat_2__258_36.min1.thm1
2017-02-06 12:46
602
relat_2__97_20.min1.thm1
2017-02-06 12:46
599
relat_2__737_17.min1.thm1
2017-02-06 12:46
595
relat_2__323_57.min1.thm1
2017-02-06 12:46
594
relat_2__894_59.min1.thm1.tptp
2017-02-06 16:47
593
relat_2__835_17.min1.thm1
2017-02-06 12:46
590
relat_2__982_20.min1.thm1
2017-02-06 12:46
587
relat_2__632_6.min1.thm1
2017-02-06 12:46
585
relat_2__578_30.min1.thm1
2017-02-06 12:46
585
relat_2__506_44.min1.thm1
2017-02-06 12:46
585
relat_2__498_44.min1.thm1
2017-02-06 12:46
585
relat_2__456_30.min1.thm1
2017-02-06 12:46
585
relat_2__377_26.min1.thm1
2017-02-06 12:46
584
relat_2__180_17.min1.thm1
2017-02-06 12:46
584
relat_2__170_19.min1.thm1
2017-02-06 12:46
584
relat_2__858_21.min1.thm1
2017-02-06 12:46
583
relat_2__601_18.min1.thm1
2017-02-06 12:46
581
relat_2__198_15.min1.thm1
2017-02-06 12:46
581
relat_2__401_40.min1.thm1
2017-02-06 12:46
580
relat_2__425_43.min1.thm1
2017-02-06 12:46
578
relat_2__419_43.min1.thm1
2017-02-06 12:46
578
relat_2__671_17.min1.thm1
2017-02-06 12:46
575
relat_2__715_41.min1.thm1
2017-02-06 12:46
574
relat_2__382_40.min1.thm1
2017-02-06 12:46
574
relat_2__960_57.min1.thm1.tptp
2017-02-06 16:47
573
relat_2__397_24.min1.thm1
2017-02-06 12:46
573
relat_2__825_17.min1.thm1
2017-02-06 12:46
569
relat_2__822_17.min1.thm1
2017-02-06 12:46
569
relat_2__668_17.min1.thm1
2017-02-06 12:46
569
relat_2__217_27.min1.thm1
2017-02-06 12:46
569
relat_2__215_25.min1.thm1
2017-02-06 12:46
568
relat_2__948_20.min1.thm1
2017-02-06 12:46
567
relat_2__885_20.min1.thm1
2017-02-06 12:46
567
relat_2__169_29.min1.thm1
2017-02-06 12:46
566
relat_2__144_34.min1.thm1
2017-02-06 12:46
566
relat_2__237_20.min1.thm1
2017-02-06 12:46
565
relat_2__235_17.min1.thm1
2017-02-06 12:46
565
relat_2__977_34.min1.thm1
2017-02-06 12:46
562
relat_2__881_41.min1.thm1
2017-02-06 12:46
551
relat_2__773_9.min1.thm1
2017-02-06 12:46
550
relat_2__674_9.min1.thm1
2017-02-06 12:46
550
relat_2__547_26.min1.thm1
2017-02-06 12:46
550
relat_2__539_26.min1.thm1
2017-02-06 12:46
550
relat_2__831_20.min1.thm1
2017-02-06 12:46
546
relat_2__824_19.min1.thm1
2017-02-06 12:46
544
relat_2__130_18.min1.thm1.tptp
2017-02-06 16:47
540
relat_2__112_20.min1.thm1
2017-02-06 12:46
538
relat_2__955_43.min1.thm1
2017-02-06 12:46
532
relat_2__886_32.min1.thm1
2017-02-06 12:46
526
relat_2__948_20.min1.thm1.tptp
2017-02-06 16:47
525
relat_2__885_20.min1.thm1.tptp
2017-02-06 16:47
525
relat_2__632_6.min1.thm1.tptp
2017-02-06 16:47
524
relat_2__505_48.min1.thm1
2017-02-06 12:46
518
relat_2__497_48.min1.thm1
2017-02-06 12:46
518
relat_2__286_12.min1.thm1
2017-02-06 12:46
516
relat_2__854_21.min1.thm1
2017-02-06 12:46
515
relat_2__117_20.min1.thm1
2017-02-06 12:46
515
relat_2__107_20.min1.thm1
2017-02-06 12:46
513
relat_2__179_29.min1.thm1
2017-02-06 12:46
508
relat_2__152_29.min1.thm1
2017-02-06 12:46
508
relat_2__737_17.min1.thm1.tptp
2017-02-06 16:47
507
relat_2__976_19.min1.thm1
2017-02-06 12:46
505
relat_2__709_25.min1.thm1
2017-02-06 12:46
500
relat_2__196_26.min1.thm1
2017-02-06 12:46
497
relat_2__624_21.min1.thm1
2017-02-06 12:46
494
relat_2__585_30.min1.thm1
2017-02-06 12:46
492
relat_2__451_30.min1.thm1
2017-02-06 12:46
492
relat_2__401_40.min1.thm1.tptp
2017-02-06 16:47
492
relat_2__627_18.min1.thm1
2017-02-06 12:46
491
relat_2__881_41.min1.thm1.tptp
2017-02-06 16:47
488
relat_2__714_19.min1.thm1
2017-02-06 12:46
488
relat_2__606_18.min1.thm1
2017-02-06 12:46
488
relat_2__201_36.min1.thm1
2017-02-06 12:46
488
relat_2__546_19.min1.thm1
2017-02-06 12:46
487
relat_2__538_19.min1.thm1
2017-02-06 12:46
487
relat_2__382_40.min1.thm1.tptp
2017-02-06 16:47
486
relat_2__692_17.min1.thm1
2017-02-06 12:46
485
relat_2__522_17.min1.thm1
2017-02-06 12:46
482
relat_2__199_19.min1.thm1
2017-02-06 12:46
482
relat_2__784_17.min1.thm1
2017-02-06 12:46
479
relat_2__783_17.min1.thm1
2017-02-06 12:46
479
relat_2__689_17.min1.thm1
2017-02-06 12:46
479
relat_2__236_22.min1.thm1
2017-02-06 12:46
479
relat_2__233_27.min1.thm1
2017-02-06 12:46
479
relat_2__216_22.min1.thm1
2017-02-06 12:46
479
relat_2__213_27.min1.thm1
2017-02-06 12:46
479
relat_2__832_18.min1.thm1
2017-02-06 12:46
477
relat_2__829_18.min1.thm1
2017-02-06 12:46
477
relat_2__768_17.min1.thm1
2017-02-06 12:46
476
relat_2__767_17.min1.thm1
2017-02-06 12:46
476
relat_2__545_23.min1.thm1
2017-02-06 12:46
476
relat_2__537_23.min1.thm1
2017-02-06 12:46
474
relat_2__353_22.min1.thm1
2017-02-06 12:46
474
relat_2__339_22.min1.thm1
2017-02-06 12:46
474
relat_2__955_43.min1.thm1.tptp
2017-02-06 16:47
472
relat_2__112_20.min1.thm1.tptp
2017-02-06 16:47
472
relat_2__886_32.min1.thm1.tptp
2017-02-06 16:47
462
relat_2__505_48.min1.thm1.tptp
2017-02-06 16:47
453
relat_2__497_48.min1.thm1.tptp
2017-02-06 16:47
453
relat_2__107_20.min1.thm1.tptp
2017-02-06 16:47
445
relat_2__399_27.min1.thm1
2017-02-06 12:46
444
relat_2__380_27.min1.thm1
2017-02-06 12:46
442
relat_2__117_20.min1.thm1.tptp
2017-02-06 16:47
442
relat_2__709_25.min1.thm1.tptp
2017-02-06 16:47
438
relat_2__196_26.min1.thm1.tptp
2017-02-06 16:47
433
relat_2__624_21.min1.thm1.tptp
2017-02-06 16:47
430
relat_2__585_30.min1.thm1.tptp
2017-02-06 16:47
430
relat_2__451_30.min1.thm1.tptp
2017-02-06 16:47
430
relat_2__627_18.min1.thm1.tptp
2017-02-06 16:47
428
relat_2__287_19.min1.thm1
2017-02-06 12:46
428
relat_2__265_19.min1.thm1
2017-02-06 12:46
428
relat_2__252_32.min1.thm1
2017-02-06 12:46
427
relat_2__251_33.min1.thm1
2017-02-06 12:46
427
relat_2__714_19.min1.thm1.tptp
2017-02-06 16:47
426
relat_2__606_18.min1.thm1.tptp
2017-02-06 16:47
426
relat_2__257_19.min1.thm1
2017-02-06 12:46
426
relat_2__713_19.min1.thm1
2017-02-06 12:46
424
relat_2__546_19.min1.thm1.tptp
2017-02-06 16:47
424
relat_2__538_19.min1.thm1.tptp
2017-02-06 16:47
424
relat_2__403_17.min1.thm1
2017-02-06 12:46
424
relat_2__201_36.min1.thm1.tptp
2017-02-06 16:47
423
relat_2__692_17.min1.thm1.tptp
2017-02-06 16:47
420
relat_2__392_25.min1.thm1
2017-02-06 12:46
420
relat_2__384_26.min1.thm1
2017-02-06 12:46
420
relat_2__199_19.min1.thm1.tptp
2017-02-06 16:47
419
relat_2__522_17.min1.thm1.tptp
2017-02-06 16:47
418
relat_2__373_25.min1.thm1
2017-02-06 12:46
418
relat_2__784_17.min1.thm1.tptp
2017-02-06 16:47
416
relat_2__783_17.min1.thm1.tptp
2017-02-06 16:47
416
relat_2__689_17.min1.thm1.tptp
2017-02-06 16:47
416
relat_2__832_18.min1.thm1.tptp
2017-02-06 16:47
415
relat_2__829_18.min1.thm1.tptp
2017-02-06 16:47
415
relat_2__102_20.min1.thm1
2017-02-06 12:46
415
relat_2__768_17.min1.thm1.tptp
2017-02-06 16:47
414
relat_2__767_17.min1.thm1.tptp
2017-02-06 16:47
414
relat_2__545_23.min1.thm1.tptp
2017-02-06 16:47
413
relat_2__537_23.min1.thm1.tptp
2017-02-06 16:47
411
relat_2__875_32.min1.thm1
2017-02-06 12:46
403
relat_2__847_33.min1.thm1
2017-02-06 12:46
403
relat_2__704_36.min1.thm1
2017-02-06 12:46
403
relat_2__412_32.min1.thm1
2017-02-06 12:46
403
relat_2__364_32.min1.thm1
2017-02-06 12:46
398
relat_2__162_34.min1.thm1
2017-02-06 12:46
396
relat_2__399_27.min1.thm1.tptp
2017-02-06 16:47
378
relat_2__380_27.min1.thm1.tptp
2017-02-06 16:47
376
relat_2__816_33.min1.thm1
2017-02-06 12:46
373
relat_2__815_33.min1.thm1
2017-02-06 12:46
373
relat_2__795_33.min1.thm1
2017-02-06 12:46
373
relat_2__777_36.min1.thm1
2017-02-06 12:46
373
relat_2__761_36.min1.thm1
2017-02-06 12:46
373
relat_2__683_33.min1.thm1
2017-02-06 12:46
373
relat_2__662_33.min1.thm1
2017-02-06 12:46
373
relat_2__644_33.min1.thm1
2017-02-06 12:46
373
relat_2__617_32.min1.thm1
2017-02-06 12:46
373
relat_2__616_32.min1.thm1
2017-02-06 12:46
373
relat_2__595_32.min1.thm1
2017-02-06 12:46
373
relat_2__594_32.min1.thm1
2017-02-06 12:46
373
relat_2__566_32.min1.thm1
2017-02-06 12:46
373
relat_2__565_32.min1.thm1
2017-02-06 12:46
373
relat_2__532_34.min1.thm1
2017-02-06 12:46
373
relat_2__491_34.min1.thm1
2017-02-06 12:46
373
relat_2__490_34.min1.thm1
2017-02-06 12:46
373
relat_2__350_34.min1.thm1
2017-02-06 12:46
373
relat_2__468_32.min1.thm1
2017-02-06 12:46
372
relat_2__467_32.min1.thm1
2017-02-06 12:46
372
relat_2__445_32.min1.thm1
2017-02-06 12:46
372
relat_2__444_32.min1.thm1
2017-02-06 12:46
372
relat_2__336_32.min1.thm1
2017-02-06 12:46
372
relat_2__265_19.min1.thm1.tptp
2017-02-06 16:47
365
relat_2__403_17.min1.thm1.tptp
2017-02-06 16:47
364
relat_2__257_19.min1.thm1.tptp
2017-02-06 16:47
363
relat_2__384_26.min1.thm1.tptp
2017-02-06 16:47
360
relat_2__713_19.min1.thm1.tptp
2017-02-06 16:47
358
relat_2__392_25.min1.thm1.tptp
2017-02-06 16:47
354
relat_2__373_25.min1.thm1.tptp
2017-02-06 16:47
352
relat_2__557_14.min1.thm1
2017-02-06 12:46
344
relat_2__287_19.min1.thm1.tptp
2017-02-06 16:47
342
relat_2__102_20.min1.thm1.tptp
2017-02-06 16:47
339
relat_2__816_33.min1.thm1.tptp
2017-02-06 16:47
296
relat_2__815_33.min1.thm1.tptp
2017-02-06 16:47
296
relat_2__795_33.min1.thm1.tptp
2017-02-06 16:47
296
relat_2__777_36.min1.thm1.tptp
2017-02-06 16:47
296
relat_2__761_36.min1.thm1.tptp
2017-02-06 16:47
296
relat_2__683_33.min1.thm1.tptp
2017-02-06 16:47
296
relat_2__662_33.min1.thm1.tptp
2017-02-06 16:47
296
relat_2__644_33.min1.thm1.tptp
2017-02-06 16:47
296
relat_2__617_32.min1.thm1.tptp
2017-02-06 16:47
296
relat_2__616_32.min1.thm1.tptp
2017-02-06 16:47
296
relat_2__595_32.min1.thm1.tptp
2017-02-06 16:47
296
relat_2__594_32.min1.thm1.tptp
2017-02-06 16:47
296
relat_2__566_32.min1.thm1.tptp
2017-02-06 16:47
296
relat_2__565_32.min1.thm1.tptp
2017-02-06 16:47
296
relat_2__532_34.min1.thm1.tptp
2017-02-06 16:47
296
relat_2__491_34.min1.thm1.tptp
2017-02-06 16:47
296
relat_2__490_34.min1.thm1.tptp
2017-02-06 16:47
296
relat_2__350_34.min1.thm1.tptp
2017-02-06 16:47
296
relat_2__468_32.min1.thm1.tptp
2017-02-06 16:47
295
relat_2__467_32.min1.thm1.tptp
2017-02-06 16:47
295
relat_2__445_32.min1.thm1.tptp
2017-02-06 16:47
295
relat_2__444_32.min1.thm1.tptp
2017-02-06 16:47
295
relat_2__336_32.min1.thm1.tptp
2017-02-06 16:47
295
relat_2__557_14.min1.thm1.tptp
2017-02-06 16:47
269
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80