Index of /~mptp/7.13.01_4.181.1147/MPTP2/ilp0/ec_pf_1
Name
Last modified
Size
Description
Parent Directory
-
ec_pf_1__75_64.min1.thm1
2017-02-06 12:44
366
ec_pf_1__118_52.min1.thm1
2017-02-06 12:44
1.2K
ec_pf_1__124_60.min1.thm1
2017-02-06 12:44
1.3K
ec_pf_1__125_38.min1.thm1
2017-02-06 12:44
1.4K
ec_pf_1__133_53.min1.thm1
2017-02-06 12:44
1.2K
ec_pf_1__139_53.min1.thm1
2017-02-06 12:44
1.3K
ec_pf_1__148_43.min1.thm1
2017-02-06 12:44
1.0K
ec_pf_1__154_54.min1.thm1
2017-02-06 12:44
1.3K
ec_pf_1__160_31.min1.thm1
2017-02-06 12:44
1.3K
ec_pf_1__164_38.min1.thm1
2017-02-06 12:44
1.2K
ec_pf_1__227_54.min1.thm1
2017-02-06 12:44
1.9K
ec_pf_1__232_36.min1.thm1
2017-02-06 12:44
1.0K
ec_pf_1__233_21.min1.thm1
2017-02-06 12:44
1.6K
ec_pf_1__235_16.min1.thm1
2017-02-06 12:44
290
ec_pf_1__246_45.min1.thm1
2017-02-06 12:44
2.4K
ec_pf_1__247_44.min1.thm1
2017-02-06 12:44
426
ec_pf_1__247_44.min1.thm1.tptp
2017-02-06 16:47
356
ec_pf_1__249_24.min1.thm1
2017-02-06 12:44
2.0K
ec_pf_1__252_25.min1.thm1
2017-02-06 12:44
2.0K
ec_pf_1__253_32.min1.thm1
2017-02-06 12:44
2.0K
ec_pf_1__268_15.min1.thm1
2017-02-06 12:44
1.9K
ec_pf_1__269_38.min1.thm1
2017-02-06 12:44
504
ec_pf_1__269_38.min1.thm1.tptp
2017-02-06 16:47
436
ec_pf_1__270_14.min1.thm1
2017-02-06 12:44
1.9K
ec_pf_1__271_14.min1.thm1
2017-02-06 12:44
481
ec_pf_1__272_33.min1.thm1
2017-02-06 12:44
1.9K
ec_pf_1__273_46.min1.thm1
2017-02-06 12:44
2.0K
ec_pf_1__275_35.min1.thm1
2017-02-06 12:44
1.9K
ec_pf_1__276_48.min1.thm1
2017-02-06 12:44
2.0K
ec_pf_1__278_32.min1.thm1
2017-02-06 12:44
2.0K
ec_pf_1__279_37.min1.thm1
2017-02-06 12:44
2.1K
ec_pf_1__280_19.min1.thm1
2017-02-06 12:44
2.2K
ec_pf_1__290_51.min1.thm1
2017-02-06 12:44
1.9K
ec_pf_1__292_38.min1.thm1
2017-02-06 12:44
504
ec_pf_1__292_38.min1.thm1.tptp
2017-02-06 16:47
436
ec_pf_1__293_34.min1.thm1
2017-02-06 12:44
1.9K
ec_pf_1__295_25.min1.thm1
2017-02-06 12:44
1.9K
ec_pf_1__296_36.min1.thm1
2017-02-06 12:44
1.9K
ec_pf_1__298_26.min1.thm1
2017-02-06 12:44
1.9K
ec_pf_1__299_32.min1.thm1
2017-02-06 12:44
1.9K
ec_pf_1__300_41.min1.thm1
2017-02-06 12:44
2.0K
ec_pf_1__308_40.min1.thm1
2017-02-06 12:44
1.7K
ec_pf_1__314_42.min1.thm1
2017-02-06 12:44
344
ec_pf_1__314_42.min1.thm1.tptp
2017-02-06 16:47
266
ec_pf_1__315_18.min1.thm1
2017-02-06 12:44
1.8K
ec_pf_1__316_23.min1.thm1
2017-02-06 12:44
342
ec_pf_1__316_23.min1.thm1.tptp
2017-02-06 16:47
261
ec_pf_1__317_22.min1.thm1
2017-02-06 12:44
1.6K
ec_pf_1__319_20.min1.thm1
2017-02-06 12:44
1.1K
ec_pf_1__328_43.min1.thm1
2017-02-06 12:44
211
ec_pf_1__332_19.min1.thm1
2017-02-06 12:44
2.0K
ec_pf_1__340_60.min1.thm1
2017-02-06 12:44
227
ec_pf_1__343_38.min1.thm1
2017-02-06 12:44
2.4K
ec_pf_1__344_19.min1.thm1
2017-02-06 12:44
2.0K
ec_pf_1__352_40.min1.thm1
2017-02-06 12:44
872
ec_pf_1__352_40.min1.thm1.tptp
2017-02-06 16:47
791
ec_pf_1__354_15.min1.thm1
2017-02-06 12:44
660
ec_pf_1__354_15.min1.thm1.tptp
2017-02-06 16:47
572
ec_pf_1__363_32.min1.thm1
2017-02-06 12:44
1.3K
ec_pf_1__364_16.min1.thm1
2017-02-06 12:44
1.8K
ec_pf_1__373_19.min1.thm1
2017-02-06 12:44
884
ec_pf_1__388_46.min1.thm1
2017-02-06 12:44
2.0K
ec_pf_1__389_47.min1.thm1
2017-02-06 12:44
479
ec_pf_1__392_25.min1.thm1
2017-02-06 12:44
899
ec_pf_1__392_25.min1.thm1.tptp
2017-02-06 16:47
818
ec_pf_1__393_19.min1.thm1
2017-02-06 12:44
1.2K
ec_pf_1__415_12.min1.thm1
2017-02-06 12:44
417
ec_pf_1__415_12.min1.thm1.tptp
2017-02-06 16:47
352
ec_pf_1__420_40.min1.thm1
2017-02-06 12:44
895
ec_pf_1__426_25.min1.thm1
2017-02-06 12:44
1.7K
ec_pf_1__433_19.min1.thm1
2017-02-06 12:44
455
ec_pf_1__436_26.min1.thm1
2017-02-06 12:44
2.2K
ec_pf_1__437_23.min1.thm1
2017-02-06 12:44
2.3K
ec_pf_1__450_36.min1.thm1
2017-02-06 12:44
1.8K
ec_pf_1__451_25.min1.thm1
2017-02-06 12:44
679
ec_pf_1__457_19.min1.thm1
2017-02-06 12:44
849
ec_pf_1__466_50.min1.thm1
2017-02-06 12:44
577
ec_pf_1__476_15.min1.thm1
2017-02-06 12:44
343
ec_pf_1__476_15.min1.thm1.tptp
2017-02-06 16:47
266
ec_pf_1__494_26.min1.thm1
2017-02-06 12:44
1.4K
ec_pf_1__498_50.min1.thm1
2017-02-06 12:44
382
ec_pf_1__499_28.min1.thm1
2017-02-06 12:44
1.5K
ec_pf_1__504_14.min1.thm1
2017-02-06 12:44
400
ec_pf_1__510_18.min1.thm1
2017-02-06 12:44
1.7K
ec_pf_1__517_12.min1.thm1
2017-02-06 12:44
413
ec_pf_1__517_12.min1.thm1.tptp
2017-02-06 16:47
348
ec_pf_1__518_23.min1.thm1
2017-02-06 12:44
1.0K
ec_pf_1__526_17.min1.thm1
2017-02-06 12:44
1.5K
ec_pf_1__527_23.min1.thm1
2017-02-06 12:44
1.2K
ec_pf_1__528_16.min1.thm1
2017-02-06 12:44
887
ec_pf_1__534_37.min1.thm1
2017-02-06 12:44
485
ec_pf_1__535_15.min1.thm1
2017-02-06 12:44
1.5K
ec_pf_1__536_28.min1.thm1
2017-02-06 12:44
444
ec_pf_1__537_10.min1.thm1
2017-02-06 12:44
1.6K
ec_pf_1__538_24.min1.thm1
2017-02-06 12:44
538
ec_pf_1__547_19.min1.thm1
2017-02-06 12:44
934
ec_pf_1__554_53.min1.thm1
2017-02-06 12:44
701
ec_pf_1__555_28.min1.thm1
2017-02-06 12:44
1.3K
ec_pf_1__557_17.min1.thm1
2017-02-06 12:44
369
ec_pf_1__557_17.min1.thm1.tptp
2017-02-06 16:47
296
ec_pf_1__565_23.min1.thm1
2017-02-06 12:44
863
ec_pf_1__576_19.min1.thm1
2017-02-06 12:44
932
ec_pf_1__583_49.min1.thm1
2017-02-06 12:44
509
ec_pf_1__584_12.min1.thm1
2017-02-06 12:44
413
ec_pf_1__584_12.min1.thm1.tptp
2017-02-06 16:47
348
ec_pf_1__586_17.min1.thm1
2017-02-06 12:44
439
ec_pf_1__595_19.min1.thm1
2017-02-06 12:44
703
ec_pf_1__601_32.min1.thm1
2017-02-06 12:44
1.7K
ec_pf_1__602_12.min1.thm1
2017-02-06 12:44
413
ec_pf_1__602_12.min1.thm1.tptp
2017-02-06 16:47
348
ec_pf_1__603_23.min1.thm1
2017-02-06 12:44
1.5K
ec_pf_1__606_31.min1.thm1
2017-02-06 12:44
1.6K
ec_pf_1__616_12.min1.thm1
2017-02-06 12:44
413
ec_pf_1__616_12.min1.thm1.tptp
2017-02-06 16:47
348
ec_pf_1__620_15.min1.thm1
2017-02-06 12:44
607
ec_pf_1__621_30.min1.thm1
2017-02-06 12:44
1.6K
ec_pf_1__625_63.min1.thm1
2017-02-06 12:44
1.3K
ec_pf_1__626_30.min1.thm1
2017-02-06 12:44
1.5K
ec_pf_1__629_27.min1.thm1
2017-02-06 12:44
717
ec_pf_1__642_57.min1.thm1
2017-02-06 12:44
795
ec_pf_1__643_14.min1.thm1
2017-02-06 12:44
492
ec_pf_1__650_52.min1.thm1
2017-02-06 12:44
543
ec_pf_1__651_23.min1.thm1
2017-02-06 12:44
1.8K
ec_pf_1__652_31.min1.thm1
2017-02-06 12:44
647
ec_pf_1__653_28.min1.thm1
2017-02-06 12:44
1.9K
ec_pf_1__674_28.min1.thm1
2017-02-06 12:44
2.1K
ec_pf_1__679_31.min1.thm1
2017-02-06 12:44
1.9K
ec_pf_1__693_37.min1.thm1
2017-02-06 12:44
1.2K
ec_pf_1__694_19.min1.thm1
2017-02-06 12:44
357
ec_pf_1__694_19.min1.thm1.tptp
2017-02-06 16:47
284
ec_pf_1__695_14.min1.thm1
2017-02-06 12:44
841
ec_pf_1__702_21.min1.thm1
2017-02-06 12:44
783
ec_pf_1__706_26.min1.thm1
2017-02-06 12:44
1.2K
ec_pf_1__711_26.min1.thm1
2017-02-06 12:44
496
ec_pf_1__718_12.min1.thm1
2017-02-06 12:44
413
ec_pf_1__718_12.min1.thm1.tptp
2017-02-06 16:47
348
ec_pf_1__719_52.min1.thm1
2017-02-06 12:44
543
ec_pf_1__720_53.min1.thm1
2017-02-06 12:44
900
ec_pf_1__721_25.min1.thm1
2017-02-06 12:44
908
ec_pf_1__722_32.min1.thm1
2017-02-06 12:44
1.3K
ec_pf_1__723_51.min1.thm1
2017-02-06 12:44
847
ec_pf_1__725_19.min1.thm1
2017-02-06 12:44
436
ec_pf_1__727_11.min1.thm1
2017-02-06 12:44
359
ec_pf_1__727_11.min1.thm1.tptp
2017-02-06 16:47
286
ec_pf_1__729_36.min1.thm1
2017-02-06 12:44
1.0K
ec_pf_1__767_16.min1.thm1
2017-02-06 12:44
640
ec_pf_1__768_8.min1.thm1
2017-02-06 12:44
428
ec_pf_1__770_16.min1.thm1
2017-02-06 12:44
508
ec_pf_1__770_16.min1.thm1.tptp
2017-02-06 16:47
431
ec_pf_1__790_21.min1.thm1
2017-02-06 12:44
554
ec_pf_1__790_21.min1.thm1.tptp
2017-02-06 16:47
491
ec_pf_1__794_16.min1.thm1
2017-02-06 12:44
546
ec_pf_1__811_13.min1.thm1
2017-02-06 12:44
1.0K
ec_pf_1__812_19.min1.thm1
2017-02-06 12:44
909
ec_pf_1__819_12.min1.thm1
2017-02-06 12:44
417
ec_pf_1__819_12.min1.thm1.tptp
2017-02-06 16:47
352
ec_pf_1__820_45.min1.thm1
2017-02-06 12:44
760
ec_pf_1__821_12.min1.thm1
2017-02-06 12:44
522
ec_pf_1__824_19.min1.thm1
2017-02-06 12:44
2.3K
ec_pf_1__833_11.min1.thm1
2017-02-06 12:44
1.0K
ec_pf_1__834_16.min1.thm1
2017-02-06 12:44
682
ec_pf_1__842_28.min1.thm1
2017-02-06 12:44
796
ec_pf_1__843_49.min1.thm1
2017-02-06 12:44
826
ec_pf_1__844_29.min1.thm1
2017-02-06 12:44
785
ec_pf_1__847_47.min1.thm1
2017-02-06 12:44
1.6K
ec_pf_1__849_18.min1.thm1
2017-02-06 12:44
822
ec_pf_1__850_19.min1.thm1
2017-02-06 12:44
792
ec_pf_1__856_56.min1.thm1
2017-02-06 12:44
705
ec_pf_1__858_36.min1.thm1
2017-02-06 12:44
1.4K
ec_pf_1__859_19.min1.thm1
2017-02-06 12:44
781
ec_pf_1__865_39.min1.thm1
2017-02-06 12:44
694
ec_pf_1__867_56.min1.thm1
2017-02-06 12:44
1.6K
ec_pf_1__868_18.min1.thm1
2017-02-06 12:44
781
ec_pf_1__875_37.min1.thm1
2017-02-06 12:44
644
ec_pf_1__882_13.min1.thm1
2017-02-06 12:44
216
ec_pf_1__884_31.min1.thm1
2017-02-06 12:44
609
ec_pf_1__885_15.min1.thm1
2017-02-06 12:44
288
ec_pf_1__887_33.min1.thm1
2017-02-06 12:44
617
ec_pf_1__888_59.min1.thm1
2017-02-06 12:44
796
ec_pf_1__889_59.min1.thm1
2017-02-06 12:44
800
ec_pf_1__890_28.min1.thm1
2017-02-06 12:44
1.1K
ec_pf_1__894_26.min1.thm1
2017-02-06 12:44
767
ec_pf_1__896_26.min1.thm1
2017-02-06 12:44
771
ec_pf_1__904_29.min1.thm1
2017-02-06 12:44
739
ec_pf_1__905_23.min1.thm1
2017-02-06 12:44
1.4K
ec_pf_1__908_35.min1.thm1
2017-02-06 12:44
797
ec_pf_1__910_50.min1.thm1
2017-02-06 12:44
796
ec_pf_1__911_24.min1.thm1
2017-02-06 12:44
1.0K
ec_pf_1__917_27.min1.thm1
2017-02-06 12:44
767
ec_pf_1__918_34.min1.thm1
2017-02-06 12:44
750
ec_pf_1__922_27.min1.thm1
2017-02-06 12:44
473
ec_pf_1__929_36.min1.thm1
2017-02-06 12:44
1.5K
ec_pf_1__939_19.min1.thm1
2017-02-06 12:44
190
ec_pf_1__941_31.min1.thm1
2017-02-06 12:44
611
ec_pf_1__942_25.min1.thm1
2017-02-06 12:44
1.7K
ec_pf_1__945_37.min1.thm1
2017-02-06 12:44
835
ec_pf_1__946_19.min1.thm1
2017-02-06 12:44
294
ec_pf_1__948_38.min1.thm1
2017-02-06 12:44
629
ec_pf_1__950_54.min1.thm1
2017-02-06 12:44
812
ec_pf_1__951_33.min1.thm1
2017-02-06 12:44
1.0K
ec_pf_1__957_29.min1.thm1
2017-02-06 12:44
783
ec_pf_1__958_36.min1.thm1
2017-02-06 12:44
780
ec_pf_1__962_29.min1.thm1
2017-02-06 12:44
497
ec_pf_1__969_43.min1.thm1
2017-02-06 12:44
1.5K
ec_pf_1__978_31.min1.thm1
2017-02-06 12:44
619
ec_pf_1__979_25.min1.thm1
2017-02-06 12:44
1.4K
ec_pf_1__982_37.min1.thm1
2017-02-06 12:44
809
ec_pf_1__983_22.min1.thm1
2017-02-06 12:44
949
ec_pf_1__989_29.min1.thm1
2017-02-06 12:44
461
ec_pf_1__991_25.min1.thm1
2017-02-06 12:44
711
ec_pf_1__992_29.min1.thm1
2017-02-06 12:44
512
ec_pf_1__994_25.min1.thm1
2017-02-06 12:44
711
ec_pf_1__995_47.min1.thm1
2017-02-06 12:44
1.6K
ec_pf_1__996_47.min1.thm1
2017-02-06 12:44
1.6K
ec_pf_1__1000_59.min1.thm1
2017-02-06 12:44
1.2K
ec_pf_1__1004_29.min1.thm1
2017-02-06 12:44
506
ec_pf_1__1008_59.min1.thm1
2017-02-06 12:44
1.2K
ec_pf_1__1012_29.min1.thm1
2017-02-06 12:44
506
ec_pf_1__1013_64.min1.thm1
2017-02-06 12:44
1.5K
ec_pf_1__1026_18.min1.thm1
2017-02-06 12:44
544
ec_pf_1__1036_34.min1.thm1
2017-02-06 12:44
723
ec_pf_1__1050_13.min1.thm1
2017-02-06 12:44
184
ec_pf_1__1052_27.min1.thm1
2017-02-06 12:44
731
ec_pf_1__1058_13.min1.thm1
2017-02-06 12:44
557
ec_pf_1__1060_21.min1.thm1
2017-02-06 12:44
1.2K
ec_pf_1__1068_13.min1.thm1
2017-02-06 12:44
216
ec_pf_1__1071_16.min1.thm1
2017-02-06 12:44
761
ec_pf_1__1072_28.min1.thm1
2017-02-06 12:44
880
ec_pf_1__1076_26.min1.thm1
2017-02-06 12:44
1.2K
ec_pf_1__1082_28.min1.thm1
2017-02-06 12:44
839
ec_pf_1__1085_15.min1.thm1
2017-02-06 12:44
375
ec_pf_1__1085_15.min1.thm1.tptp
2017-02-06 16:47
302
ec_pf_1__1091_21.min1.thm1
2017-02-06 12:44
849
ec_pf_1__1100_23.min1.thm1
2017-02-06 12:44
1.2K
ec_pf_1__1103_19.min1.thm1
2017-02-06 12:44
190
ec_pf_1__1110_38.min1.thm1
2017-02-06 12:44
945
ec_pf_1__1111_22.min1.thm1
2017-02-06 12:44
1.1K
ec_pf_1__1112_29.min1.thm1
2017-02-06 12:44
383
ec_pf_1__1112_29.min1.thm1.tptp
2017-02-06 16:47
310
ec_pf_1__1113_39.min1.thm1
2017-02-06 12:44
1.8K
ec_pf_1__1118_19.min1.thm1
2017-02-06 12:44
381
ec_pf_1__1118_19.min1.thm1.tptp
2017-02-06 16:47
308
ec_pf_1__1120_44.min1.thm1
2017-02-06 12:44
1.7K
ec_pf_1__1121_43.min1.thm1
2017-02-06 12:44
734
ec_pf_1__1123_30.min1.thm1
2017-02-06 12:44
1.5K
ec_pf_1__1131_49.min1.thm1
2017-02-06 12:44
525
ec_pf_1__1132_39.min1.thm1
2017-02-06 12:44
873
ec_pf_1__1135_48.min1.thm1
2017-02-06 12:44
611
ec_pf_1__1136_28.min1.thm1
2017-02-06 12:44
1.1K
ec_pf_1__1139_44.min1.thm1
2017-02-06 12:44
396
ec_pf_1__1161_18.min1.thm1
2017-02-06 12:44
367
ec_pf_1__1161_18.min1.thm1.tptp
2017-02-06 16:47
294
ec_pf_1__1175_51.min1.thm1
2017-02-06 12:44
1.1K
ec_pf_1__1176_53.min1.thm1
2017-02-06 12:44
1.1K
ec_pf_1__1179_15.min1.thm1
2017-02-06 12:44
1.0K
ec_pf_1__1190_50.min1.thm1
2017-02-06 12:44
1.1K
ec_pf_1__1191_52.min1.thm1
2017-02-06 12:44
1.1K
ec_pf_1__1192_35.min1.thm1
2017-02-06 12:44
1.3K
ec_pf_1__1193_12.min1.thm1
2017-02-06 12:44
1.3K
ec_pf_1__1217_18.min1.thm1
2017-02-06 12:44
3.2K
ec_pf_1__1230_26.min1.thm1
2017-02-06 12:44
3.4K
ec_pf_1__1230_26.min1.thm1.tptp
2017-02-06 16:47
3.3K
ec_pf_1__1231_16.min1.thm1
2017-02-06 12:44
3.4K
ec_pf_1__1231_16.min1.thm1.tptp
2017-02-06 16:47
3.3K
ec_pf_1__1256_35.min1.thm1
2017-02-06 12:44
1.5K
ec_pf_1__1257_37.min1.thm1
2017-02-06 12:44
491
ec_pf_1__1265_55.min1.thm1
2017-02-06 12:44
656
ec_pf_1__1272_29.min1.thm1
2017-02-06 12:44
1.2K
ec_pf_1__1275_29.min1.thm1
2017-02-06 12:44
1.1K
ec_pf_1__1278_29.min1.thm1
2017-02-06 12:44
1.0K
ec_pf_1__1304_45.min1.thm1
2017-02-06 12:44
1.6K
ec_pf_1__1311_37.min1.thm1
2017-02-06 12:44
1.6K
ec_pf_1__1324_33.min1.thm1
2017-02-06 12:44
1.5K
ec_pf_1__1325_35.min1.thm1
2017-02-06 12:44
487
ec_pf_1__1339_48.min1.thm1
2017-02-06 12:44
1.4K
ec_pf_1__1350_19.min1.thm1
2017-02-06 12:44
357
ec_pf_1__1350_19.min1.thm1.tptp
2017-02-06 16:47
284
ec_pf_1__1361_26.min1.thm1
2017-02-06 12:44
1.0K
ec_pf_1__1367_38.min1.thm1
2017-02-06 12:44
1.6K
ec_pf_1__1374_35.min1.thm1
2017-02-06 12:44
1.8K
ec_pf_1__1392_50.min1.thm1
2017-02-06 12:44
762
ec_pf_1__1395_18.min1.thm1
2017-02-06 12:44
3.5K
ec_pf_1__1397_16.min1.thm1
2017-02-06 12:44
2.5K
ec_pf_1__1416_32.min1.thm1
2017-02-06 12:44
3.2K
ec_pf_1__1428_21.min1.thm1
2017-02-06 12:44
2.5K
ec_pf_1__1468_52.min1.thm1
2017-02-06 12:44
2.9K
ec_pf_1__1471_8.min1.thm1
2017-02-06 12:44
4.2K
ec_pf_1__1474_56.min1.thm1
2017-02-06 12:44
5.8K
ec_pf_1__1516_41.min1.thm1
2017-02-06 12:44
947
ec_pf_1__1517_29.min1.thm1
2017-02-06 12:44
1.2K
ec_pf_1__1525_63.min1.thm1
2017-02-06 12:44
1.3K
ec_pf_1__1528_45.min1.thm1
2017-02-06 12:44
2.8K
ec_pf_1__1530_25.min1.thm1
2017-02-06 12:44
2.4K
ec_pf_1__1533_25.min1.thm1
2017-02-06 12:44
949
ec_pf_1__1547_26.min1.thm1
2017-02-06 12:44
1.3K
ec_pf_1__1559_45.min1.thm1
2017-02-06 12:44
1.4K
ec_pf_1__1564_21.min1.thm1
2017-02-06 12:44
598
ec_pf_1__1564_21.min1.thm1.tptp
2017-02-06 16:47
516
ec_pf_1__1580_39.min1.thm1
2017-02-06 12:44
438
ec_pf_1__1580_39.min1.thm1.tptp
2017-02-06 16:47
361
ec_pf_1__1602_27.min1.thm1
2017-02-06 12:44
760
ec_pf_1__1618_25.min1.thm1
2017-02-06 12:44
1.8K
ec_pf_1__1621_28.min1.thm1
2017-02-06 12:44
760
ec_pf_1__1647_40.min1.thm1
2017-02-06 12:44
422
ec_pf_1__1647_40.min1.thm1.tptp
2017-02-06 16:47
345
ec_pf_1__1668_25.min1.thm1
2017-02-06 12:44
1.5K
ec_pf_1__1691_23.min1.thm1
2017-02-06 12:44
911
ec_pf_1__1696_12.min1.thm1
2017-02-06 12:44
1.3K
ec_pf_1__1698_13.min1.thm1
2017-02-06 12:44
371
ec_pf_1__1698_13.min1.thm1.tptp
2017-02-06 16:47
298
ec_pf_1__1708_45.min1.thm1
2017-02-06 12:44
1.7K
ec_pf_1__1709_47.min1.thm1
2017-02-06 12:44
892
ec_pf_1__1709_47.min1.thm1.tptp
2017-02-06 16:47
808
ec_pf_1__1715_11.min1.thm1
2017-02-06 12:44
1.3K
ec_pf_1__1731_26.min1.thm1
2017-02-06 12:44
905
ec_pf_1__1735_37.min1.thm1
2017-02-06 12:44
1.1K
ec_pf_1__1738_37.min1.thm1
2017-02-06 12:44
1.0K
ec_pf_1__1764_18.min1.thm1
2017-02-06 12:44
685
ec_pf_1__1769_43.min1.thm1
2017-02-06 12:44
860
ec_pf_1__1770_36.min1.thm1
2017-02-06 12:44
957
ec_pf_1__1777_12.min1.thm1
2017-02-06 12:44
1.3K
ec_pf_1__1779_13.min1.thm1
2017-02-06 12:44
371
ec_pf_1__1779_13.min1.thm1.tptp
2017-02-06 16:47
298
ec_pf_1__1789_46.min1.thm1
2017-02-06 12:44
1.7K
ec_pf_1__1790_47.min1.thm1
2017-02-06 12:44
894
ec_pf_1__1790_47.min1.thm1.tptp
2017-02-06 16:47
810
ec_pf_1__1796_10.min1.thm1
2017-02-06 12:44
369
ec_pf_1__1796_10.min1.thm1.tptp
2017-02-06 16:47
296
ec_pf_1__1799_11.min1.thm1
2017-02-06 12:44
1.3K
ec_pf_1__1802_10.min1.thm1
2017-02-06 12:44
369
ec_pf_1__1802_10.min1.thm1.tptp
2017-02-06 16:47
296
ec_pf_1__1821_13.min1.thm1
2017-02-06 12:44
436
ec_pf_1__1878_22.min1.thm1
2017-02-06 12:44
1.3K
ec_pf_1__1891_51.min1.thm1
2017-02-06 12:44
1.5K
ec_pf_1__1897_18.min1.thm1
2017-02-06 12:44
466
ec_pf_1__1926_18.min1.thm1
2017-02-06 12:44
415
ec_pf_1__1926_18.min1.thm1.tptp
2017-02-06 16:47
350
ec_pf_1__1927_23.min1.thm1
2017-02-06 12:44
443
ec_pf_1__1929_23.min1.thm1
2017-02-06 12:44
443
ec_pf_1__1940_16.min1.thm1
2017-02-06 12:44
854
ec_pf_1__1957_21.min1.thm1
2017-02-06 12:44
353
ec_pf_1__1957_21.min1.thm1.tptp
2017-02-06 16:47
276
ec_pf_1__1958_52.min1.thm1
2017-02-06 12:44
422
ec_pf_1__1959_28.min1.thm1
2017-02-06 12:44
443
ec_pf_1__1959_28.min1.thm1.tptp
2017-02-06 16:47
381
ec_pf_1__1964_22.min1.thm1
2017-02-06 12:44
956
ec_pf_1__1967_46.min1.thm1
2017-02-06 12:44
968
ec_pf_1__1974_16.min1.thm1
2017-02-06 12:44
414
ec_pf_1__1974_16.min1.thm1.tptp
2017-02-06 16:47
349
ec_pf_1__1975_22.min1.thm1
2017-02-06 12:44
440
ec_pf_1__1977_17.min1.thm1
2017-02-06 12:44
369
ec_pf_1__1977_17.min1.thm1.tptp
2017-02-06 16:47
296
ec_pf_1__1993_22.min1.thm1
2017-02-06 12:44
633
ec_pf_1__1994_16.min1.thm1
2017-02-06 12:44
1.3K
ec_pf_1__2010_15.min1.thm1
2017-02-06 12:44
362
ec_pf_1__2013_25.min1.thm1
2017-02-06 12:44
872
ec_pf_1__2014_44.min1.thm1
2017-02-06 12:44
806
ec_pf_1__2019_36.min1.thm1
2017-02-06 12:44
807
ec_pf_1__2020_31.min1.thm1
2017-02-06 12:44
536
ec_pf_1__2023_19.min1.thm1
2017-02-06 12:44
598
ec_pf_1__2036_27.min1.thm1
2017-02-06 12:44
1.1K
ec_pf_1__2037_19.min1.thm1
2017-02-06 12:44
886
ec_pf_1__2058_39.min1.thm1
2017-02-06 12:44
1.6K
ec_pf_1__2078_13.min1.thm1
2017-02-06 12:44
689
ec_pf_1__2100_41.min1.thm1
2017-02-06 12:44
2.1K
ec_pf_1__2106_17.min1.thm1
2017-02-06 12:44
423
ec_pf_1__2106_17.min1.thm1.tptp
2017-02-06 16:47
359
ec_pf_1__2107_16.min1.thm1
2017-02-06 12:44
1.2K
ec_pf_1__2108_22.min1.thm1
2017-02-06 12:44
836
ec_pf_1__2111_29.min1.thm1
2017-02-06 12:44
1.4K
ec_pf_1__2138_13.min1.thm1
2017-02-06 12:44
306
ec_pf_1__2144_17.min1.thm1
2017-02-06 12:44
498
ec_pf_1__2152_14.min1.thm1
2017-02-06 12:44
1.2K
ec_pf_1__2156_52.min1.thm1
2017-02-06 12:44
569
ec_pf_1__2158_49.min1.thm1
2017-02-06 12:44
1.5K
ec_pf_1__2163_23.min1.thm1
2017-02-06 12:44
1.5K
ec_pf_1__2164_23.min1.thm1
2017-02-06 12:44
1.3K
ec_pf_1__2169_22.min1.thm1
2017-02-06 12:44
1.3K
ec_pf_1__2170_18.min1.thm1
2017-02-06 12:44
1.5K
ec_pf_1__2172_29.min1.thm1
2017-02-06 12:44
1.1K
ec_pf_1__2173_14.min1.thm1
2017-02-06 12:44
1.2K
ec_pf_1__2183_23.min1.thm1
2017-02-06 12:44
596
ec_pf_1__2184_30.min1.thm1
2017-02-06 12:44
1.0K
ec_pf_1__2186_15.min1.thm1
2017-02-06 12:44
1.5K
ec_pf_1__2211_27.min1.thm1
2017-02-06 12:44
1.0K
ec_pf_1__2214_41.min1.thm1
2017-02-06 12:44
525
ec_pf_1__2218_13.min1.thm1
2017-02-06 12:44
362
ec_pf_1__2221_31.min1.thm1
2017-02-06 12:44
881
ec_pf_1__2222_32.min1.thm1
2017-02-06 12:44
1.2K
ec_pf_1__2223_58.min1.thm1
2017-02-06 12:44
1.0K
ec_pf_1__2226_45.min1.thm1
2017-02-06 12:44
803
ec_pf_1__2229_45.min1.thm1
2017-02-06 12:44
803
ec_pf_1__2234_29.min1.thm1
2017-02-06 12:44
579
ec_pf_1__2234_29.min1.thm1.tptp
2017-02-06 16:47
525
ec_pf_1__2247_34.min1.thm1
2017-02-06 12:44
899
ec_pf_1__2248_29.min1.thm1
2017-02-06 12:44
536
ec_pf_1__2251_31.min1.thm1
2017-02-06 12:44
557
ec_pf_1__2257_73.min1.thm1
2017-02-06 12:44
642
ec_pf_1__2258_19.min1.thm1
2017-02-06 12:44
698
ec_pf_1__2259_29.min1.thm1
2017-02-06 12:44
1.1K
ec_pf_1__2261_16.min1.thm1
2017-02-06 12:44
1.5K
ec_pf_1__2262_14.min1.thm1
2017-02-06 12:44
1.5K
ec_pf_1__2266_36.min1.thm1
2017-02-06 12:44
1.5K
ec_pf_1__2269_15.min1.thm1
2017-02-06 12:44
1.1K
ec_pf_1__2272_44.min1.thm1
2017-02-06 12:44
1.0K
ec_pf_1__2276_24.min1.thm1
2017-02-06 12:44
1.1K
ec_pf_1__2279_48.min1.thm1
2017-02-06 12:44
1.0K
ec_pf_1__2283_48.min1.thm1
2017-02-06 12:44
1.0K
ec_pf_1__2286_44.min1.thm1
2017-02-06 12:44
746
ec_pf_1__2290_23.min1.thm1
2017-02-06 12:44
630
ec_pf_1__2299_28.min1.thm1
2017-02-06 12:44
441
ec_pf_1__2299_28.min1.thm1.tptp
2017-02-06 16:47
386
ec_pf_1__2301_29.min1.thm1
2017-02-06 12:44
808
ec_pf_1__2302_28.min1.thm1
2017-02-06 12:44
858
ec_pf_1__2304_45.min1.thm1
2017-02-06 12:44
800
ec_pf_1__2308_32.min1.thm1
2017-02-06 12:44
891
ec_pf_1__2316_17.min1.thm1
2017-02-06 12:44
970
ec_pf_1__2319_31.min1.thm1
2017-02-06 12:44
2.5K
ec_pf_1__2320_19.min1.thm1
2017-02-06 12:44
606
ec_pf_1__2326_19.min1.thm1
2017-02-06 12:44
899
ec_pf_1__2356_27.min1.thm1
2017-02-06 12:44
822
ec_pf_1__2357_52.min1.thm1
2017-02-06 12:44
1.3K
ec_pf_1__2359_18.min1.thm1
2017-02-06 12:44
376
ec_pf_1__2359_18.min1.thm1.tptp
2017-02-06 16:47
294
ec_pf_1__2365_26.min1.thm1
2017-02-06 12:44
944
ec_pf_1__2369_21.min1.thm1
2017-02-06 12:44
610
ec_pf_1__2370_30.min1.thm1
2017-02-06 12:44
1.1K
ec_pf_1__2371_30.min1.thm1
2017-02-06 12:44
2.0K
ec_pf_1__2372_18.min1.thm1
2017-02-06 12:44
1.5K
ec_pf_1__2373_16.min1.thm1
2017-02-06 12:44
1.5K
ec_pf_1__2376_16.min1.thm1
2017-02-06 12:44
338
ec_pf_1__2376_16.min1.thm1.tptp
2017-02-06 16:47
256
ec_pf_1__2377_30.min1.thm1
2017-02-06 12:44
613
ec_pf_1__2380_47.min1.thm1
2017-02-06 12:44
910
ec_pf_1__2383_38.min1.thm1
2017-02-06 12:44
1.5K
ec_pf_1__2386_39.min1.thm1
2017-02-06 12:44
1.0K
ec_pf_1__2386_39.min1.thm1.tptp
2017-02-06 16:47
1.0K
ec_pf_1__2408_26.min1.thm1
2017-02-06 12:44
944
ec_pf_1__2413_21.min1.thm1
2017-02-06 12:44
610
ec_pf_1__2414_33.min1.thm1
2017-02-06 12:44
1.1K
ec_pf_1__2415_34.min1.thm1
2017-02-06 12:44
2.0K
ec_pf_1__2416_18.min1.thm1
2017-02-06 12:44
1.5K
ec_pf_1__2421_18.min1.thm1
2017-02-06 12:44
1.0K
ec_pf_1__2427_23.min1.thm1
2017-02-06 12:44
1.5K
ec_pf_1__2429_30.min1.thm1
2017-02-06 12:44
701
ec_pf_1__2430_30.min1.thm1
2017-02-06 12:44
514
ec_pf_1__2431_57.min1.thm1
2017-02-06 12:44
463
ec_pf_1__2434_24.min1.thm1
2017-02-06 12:44
610
ec_pf_1__2436_41.min1.thm1
2017-02-06 12:44
1.2K
ec_pf_1__2438_37.min1.thm1
2017-02-06 12:44
1.1K
ec_pf_1__2450_34.min1.thm1
2017-02-06 12:44
1.8K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80