Index of /~mptp/1147/MPTP2/ilp0/scheme1
Name
Last modified
Size
Description
Parent Directory
-
scheme1__47_16.min1.thm1
2017-02-06 12:45
1.7K
scheme1__51_18.min1.thm1
2017-02-06 12:45
2.3K
scheme1__54_23.min1.thm1
2017-02-06 12:45
2.1K
scheme1__58_20.min1.thm1
2017-02-06 12:45
1.1K
scheme1__61_16.min1.thm1
2017-02-06 12:45
314
scheme1__75_16.min1.thm1
2017-02-06 12:45
1.9K
scheme1__79_18.min1.thm1
2017-02-06 12:45
1.8K
scheme1__83_22.min1.thm1
2017-02-06 12:45
2.6K
scheme1__86_27.min1.thm1
2017-02-06 12:45
2.1K
scheme1__90_24.min1.thm1
2017-02-06 12:45
1.2K
scheme1__93_20.min1.thm1
2017-02-06 12:45
426
scheme1__97_20.min1.thm1
2017-02-06 12:45
838
scheme1__100_16.min1.thm1
2017-02-06 12:45
414
scheme1__104_16.min1.thm1
2017-02-06 12:45
414
scheme1__107_21.min1.thm1
2017-02-06 12:45
2.2K
scheme1__111_21.min1.thm1
2017-02-06 12:45
1.9K
scheme1__115_21.min1.thm1
2017-02-06 12:45
1.9K
scheme1__118_14.min1.thm1
2017-02-06 12:45
608
scheme1__129_16.min1.thm1
2017-02-06 12:45
1.9K
scheme1__137_22.min1.thm1
2017-02-06 12:45
1.8K
scheme1__141_26.min1.thm1
2017-02-06 12:45
2.6K
scheme1__144_31.min1.thm1
2017-02-06 12:45
2.2K
scheme1__148_28.min1.thm1
2017-02-06 12:45
1.1K
scheme1__151_24.min1.thm1
2017-02-06 12:45
520
scheme1__155_24.min1.thm1
2017-02-06 12:45
891
scheme1__158_20.min1.thm1
2017-02-06 12:45
508
scheme1__162_20.min1.thm1
2017-02-06 12:45
1.0K
scheme1__165_16.min1.thm1
2017-02-06 12:45
496
scheme1__179_16.min1.thm1
2017-02-06 12:45
1.9K
scheme1__191_26.min1.thm1
2017-02-06 12:45
1.8K
scheme1__195_30.min1.thm1
2017-02-06 12:45
2.6K
scheme1__202_32.min1.thm1
2017-02-06 12:45
1.2K
scheme1__205_28.min1.thm1
2017-02-06 12:45
614
scheme1__209_28.min1.thm1
2017-02-06 12:45
944
scheme1__212_24.min1.thm1
2017-02-06 12:45
602
scheme1__216_24.min1.thm1
2017-02-06 12:45
1.1K
scheme1__219_20.min1.thm1
2017-02-06 12:45
590
scheme1__223_20.min1.thm1
2017-02-06 12:45
1.1K
scheme1__226_16.min1.thm1
2017-02-06 12:45
578
scheme1__243_51.min1.thm1
2017-02-06 12:45
504
scheme1__243_51.min1.thm1.tptp
2017-02-06 16:47
437
scheme1__245_23.min1.thm1
2017-02-06 12:45
888
scheme1__248_40.min1.thm1
2017-02-06 12:45
865
scheme1__252_28.min1.thm1
2017-02-06 12:45
1.4K
scheme1__254_28.min1.thm1
2017-02-06 12:45
1.7K
scheme1__261_37.min1.thm1
2017-02-06 12:45
535
scheme1__261_37.min1.thm1.tptp
2017-02-06 16:47
466
scheme1__263_23.min1.thm1
2017-02-06 12:45
941
scheme1__266_37.min1.thm1
2017-02-06 12:45
873
scheme1__268_18.min1.thm1
2017-02-06 12:45
1.3K
scheme1__273_32.min1.thm1
2017-02-06 12:45
2.3K
scheme1__274_54.min1.thm1
2017-02-06 12:45
1.9K
scheme1__276_30.min1.thm1
2017-02-06 12:45
1.5K
scheme1__283_24.min1.thm1
2017-02-06 12:45
1.0K
scheme1__290_26.min1.thm1
2017-02-06 12:45
1.6K
scheme1__291_21.min1.thm1
2017-02-06 12:45
633
scheme1__292_22.min1.thm1
2017-02-06 12:45
374
scheme1__294_20.min1.thm1
2017-02-06 12:45
910
scheme1__296_39.min1.thm1
2017-02-06 12:45
623
scheme1__306_17.min1.thm1
2017-02-06 12:45
336
scheme1__319_15.min1.thm1
2017-02-06 12:45
694
scheme1__320_38.min1.thm1
2017-02-06 12:45
1.9K
scheme1__321_16.min1.thm1
2017-02-06 12:45
381
scheme1__323_21.min1.thm1
2017-02-06 12:45
3.2K
scheme1__326_26.min1.thm1
2017-02-06 12:45
1.8K
scheme1__337_21.min1.thm1
2017-02-06 12:45
1.3K
scheme1__338_27.min1.thm1
2017-02-06 12:45
1.4K
scheme1__341_30.min1.thm1
2017-02-06 12:45
268
scheme1__347_15.min1.thm1
2017-02-06 12:45
1.3K
scheme1__373_30.min1.thm1
2017-02-06 12:45
601
scheme1__375_18.min1.thm1
2017-02-06 12:45
567
scheme1__376_22.min1.thm1
2017-02-06 12:45
1.6K
scheme1__379_18.min1.thm1
2017-02-06 12:45
556
scheme1__379_18.min1.thm1.tptp
2017-02-06 16:47
489
scheme1__381_16.min1.thm1
2017-02-06 12:45
938
scheme1__385_31.min1.thm1
2017-02-06 12:45
477
scheme1__388_13.min1.thm1
2017-02-06 12:45
1.3K
scheme1__389_29.min1.thm1
2017-02-06 12:45
1.6K
scheme1__390_11.min1.thm1
2017-02-06 12:45
2.1K
scheme1__391_17.min1.thm1
2017-02-06 12:45
1.7K
scheme1__414_44.min1.thm1
2017-02-06 12:45
658
scheme1__414_44.min1.thm1.tptp
2017-02-06 16:47
597
scheme1__416_18.min1.thm1
2017-02-06 12:45
572
scheme1__420_22.min1.thm1
2017-02-06 12:45
1.6K
scheme1__423_37.min1.thm1
2017-02-06 12:45
609
scheme1__428_37.min1.thm1
2017-02-06 12:45
609
scheme1__431_23.min1.thm1
2017-02-06 12:45
777
scheme1__439_20.min1.thm1
2017-02-06 12:45
577
scheme1__440_24.min1.thm1
2017-02-06 12:45
1.6K
scheme1__445_37.min1.thm1
2017-02-06 12:45
609
scheme1__448_23.min1.thm1
2017-02-06 12:45
777
scheme1__456_20.min1.thm1
2017-02-06 12:45
577
scheme1__457_24.min1.thm1
2017-02-06 12:45
1.6K
scheme1__462_37.min1.thm1
2017-02-06 12:45
609
scheme1__465_23.min1.thm1
2017-02-06 12:45
777
scheme1__468_16.min1.thm1
2017-02-06 12:45
1.2K
scheme1__472_31.min1.thm1
2017-02-06 12:45
478
scheme1__475_13.min1.thm1
2017-02-06 12:45
1.3K
scheme1__476_29.min1.thm1
2017-02-06 12:45
1.7K
scheme1__477_11.min1.thm1
2017-02-06 12:45
2.1K
scheme1__478_15.min1.thm1
2017-02-06 12:45
1.7K
scheme1__481_15.min1.thm1
2017-02-06 12:45
1.7K
scheme1__510_18.min1.thm1
2017-02-06 12:45
718
scheme1__514_18.min1.thm1
2017-02-06 12:45
1.6K
scheme1__517_33.min1.thm1
2017-02-06 12:45
609
scheme1__522_33.min1.thm1
2017-02-06 12:45
609
scheme1__527_33.min1.thm1
2017-02-06 12:45
609
scheme1__530_23.min1.thm1
2017-02-06 12:45
1.0K
scheme1__538_18.min1.thm1
2017-02-06 12:45
577
scheme1__539_20.min1.thm1
2017-02-06 12:45
1.6K
scheme1__544_33.min1.thm1
2017-02-06 12:45
609
scheme1__549_33.min1.thm1
2017-02-06 12:45
609
scheme1__552_23.min1.thm1
2017-02-06 12:45
1.0K
scheme1__560_18.min1.thm1
2017-02-06 12:45
577
scheme1__561_20.min1.thm1
2017-02-06 12:45
1.6K
scheme1__566_33.min1.thm1
2017-02-06 12:45
609
scheme1__571_33.min1.thm1
2017-02-06 12:45
609
scheme1__574_23.min1.thm1
2017-02-06 12:45
1.0K
scheme1__582_18.min1.thm1
2017-02-06 12:45
577
scheme1__583_20.min1.thm1
2017-02-06 12:45
1.6K
scheme1__588_33.min1.thm1
2017-02-06 12:45
609
scheme1__593_33.min1.thm1
2017-02-06 12:45
609
scheme1__596_23.min1.thm1
2017-02-06 12:45
1.0K
scheme1__599_16.min1.thm1
2017-02-06 12:45
1.5K
scheme1__603_31.min1.thm1
2017-02-06 12:45
478
scheme1__606_13.min1.thm1
2017-02-06 12:45
1.3K
scheme1__607_27.min1.thm1
2017-02-06 12:45
1.8K
scheme1__608_11.min1.thm1
2017-02-06 12:45
2.1K
scheme1__609_15.min1.thm1
2017-02-06 12:45
1.7K
scheme1__612_15.min1.thm1
2017-02-06 12:45
1.7K
scheme1__615_15.min1.thm1
2017-02-06 12:45
1.7K
scheme1__648_18.min1.thm1
2017-02-06 12:45
864
scheme1__652_18.min1.thm1
2017-02-06 12:45
1.6K
scheme1__655_33.min1.thm1
2017-02-06 12:45
609
scheme1__660_33.min1.thm1
2017-02-06 12:45
610
scheme1__665_33.min1.thm1
2017-02-06 12:45
609
scheme1__670_33.min1.thm1
2017-02-06 12:45
609
scheme1__673_23.min1.thm1
2017-02-06 12:45
1.2K
scheme1__679_33.min1.thm1
2017-02-06 12:45
610
scheme1__684_33.min1.thm1
2017-02-06 12:45
609
scheme1__691_18.min1.thm1
2017-02-06 12:45
577
scheme1__692_20.min1.thm1
2017-02-06 12:45
1.6K
scheme1__697_33.min1.thm1
2017-02-06 12:45
609
scheme1__700_23.min1.thm1
2017-02-06 12:45
1.2K
scheme1__706_33.min1.thm1
2017-02-06 12:45
610
scheme1__711_33.min1.thm1
2017-02-06 12:45
609
scheme1__718_18.min1.thm1
2017-02-06 12:45
577
scheme1__719_20.min1.thm1
2017-02-06 12:45
1.6K
scheme1__724_33.min1.thm1
2017-02-06 12:45
609
scheme1__727_23.min1.thm1
2017-02-06 12:45
1.2K
scheme1__733_33.min1.thm1
2017-02-06 12:45
610
scheme1__738_33.min1.thm1
2017-02-06 12:45
609
scheme1__745_18.min1.thm1
2017-02-06 12:45
577
scheme1__746_20.min1.thm1
2017-02-06 12:45
1.6K
scheme1__751_33.min1.thm1
2017-02-06 12:45
609
scheme1__754_23.min1.thm1
2017-02-06 12:45
1.2K
scheme1__760_33.min1.thm1
2017-02-06 12:45
609
scheme1__765_33.min1.thm1
2017-02-06 12:45
609
scheme1__772_18.min1.thm1
2017-02-06 12:45
577
scheme1__773_20.min1.thm1
2017-02-06 12:45
1.6K
scheme1__778_33.min1.thm1
2017-02-06 12:45
609
scheme1__781_23.min1.thm1
2017-02-06 12:45
1.2K
scheme1__788_31.min1.thm1
2017-02-06 12:45
478
scheme1__791_13.min1.thm1
2017-02-06 12:45
1.3K
scheme1__792_29.min1.thm1
2017-02-06 12:45
2.0K
scheme1__793_11.min1.thm1
2017-02-06 12:45
2.2K
scheme1__794_15.min1.thm1
2017-02-06 12:45
1.7K
scheme1__795_37.min1.thm1
2017-02-06 12:45
1.8K
scheme1__797_15.min1.thm1
2017-02-06 12:45
1.7K
scheme1__798_37.min1.thm1
2017-02-06 12:45
1.8K
scheme1__800_15.min1.thm1
2017-02-06 12:45
1.7K
scheme1__801_37.min1.thm1
2017-02-06 12:45
1.8K
scheme1__803_15.min1.thm1
2017-02-06 12:45
1.7K
scheme1__804_37.min1.thm1
2017-02-06 12:45
1.8K
scheme1__826_47.min1.thm1
2017-02-06 12:45
476
scheme1__828_18.min1.thm1
2017-02-06 12:45
426
scheme1__828_18.min1.thm1.tptp
2017-02-06 16:47
353
scheme1__832_20.min1.thm1
2017-02-06 12:45
519
scheme1__833_20.min1.thm1
2017-02-06 12:45
444
scheme1__833_20.min1.thm1.tptp
2017-02-06 16:47
376
scheme1__838_20.min1.thm1
2017-02-06 12:45
519
scheme1__839_20.min1.thm1
2017-02-06 12:45
444
scheme1__839_20.min1.thm1.tptp
2017-02-06 16:47
376
scheme1__842_16.min1.thm1
2017-02-06 12:45
512
scheme1__850_19.min1.thm1
2017-02-06 12:45
396
scheme1__850_19.min1.thm1.tptp
2017-02-06 16:47
323
scheme1__858_15.min1.thm1
2017-02-06 12:45
608
scheme1__860_18.min1.thm1
2017-02-06 12:45
706
scheme1__863_26.min1.thm1
2017-02-06 12:45
653
scheme1__864_23.min1.thm1
2017-02-06 12:45
648
scheme1__868_26.min1.thm1
2017-02-06 12:45
653
scheme1__869_23.min1.thm1
2017-02-06 12:45
648
scheme1__872_16.min1.thm1
2017-02-06 12:45
250
scheme1__874_49.min1.thm1
2017-02-06 12:45
948
scheme1__876_67.min1.thm1
2017-02-06 12:45
1.4K
scheme1__879_17.min1.thm1
2017-02-06 12:45
1.3K
scheme1__900_47.min1.thm1
2017-02-06 12:45
476
scheme1__902_18.min1.thm1
2017-02-06 12:45
503
scheme1__907_19.min1.thm1
2017-02-06 12:45
212
scheme1__910_33.min1.thm1
2017-02-06 12:45
597
scheme1__911_24.min1.thm1
2017-02-06 12:45
487
scheme1__911_24.min1.thm1.tptp
2017-02-06 16:47
422
scheme1__915_24.min1.thm1
2017-02-06 12:45
456
scheme1__915_24.min1.thm1.tptp
2017-02-06 16:47
388
scheme1__918_20.min1.thm1
2017-02-06 12:45
486
scheme1__924_19.min1.thm1
2017-02-06 12:45
212
scheme1__927_33.min1.thm1
2017-02-06 12:45
597
scheme1__928_24.min1.thm1
2017-02-06 12:45
487
scheme1__928_24.min1.thm1.tptp
2017-02-06 16:47
422
scheme1__932_24.min1.thm1
2017-02-06 12:45
456
scheme1__932_24.min1.thm1.tptp
2017-02-06 16:47
388
scheme1__935_20.min1.thm1
2017-02-06 12:45
486
scheme1__938_16.min1.thm1
2017-02-06 12:45
512
scheme1__946_19.min1.thm1
2017-02-06 12:45
396
scheme1__946_19.min1.thm1.tptp
2017-02-06 16:47
323
scheme1__954_15.min1.thm1
2017-02-06 12:45
608
scheme1__956_18.min1.thm1
2017-02-06 12:45
706
scheme1__959_26.min1.thm1
2017-02-06 12:45
653
scheme1__960_23.min1.thm1
2017-02-06 12:45
648
scheme1__964_26.min1.thm1
2017-02-06 12:45
653
scheme1__965_23.min1.thm1
2017-02-06 12:45
648
scheme1__968_16.min1.thm1
2017-02-06 12:45
250
scheme1__970_49.min1.thm1
2017-02-06 12:45
948
scheme1__972_67.min1.thm1
2017-02-06 12:45
1.4K
scheme1__975_17.min1.thm1
2017-02-06 12:45
1.3K
scheme1__983_50.min1.thm1
2017-02-06 12:45
207
scheme1__991_21.min1.thm1
2017-02-06 12:45
820
scheme1__994_44.min1.thm1
2017-02-06 12:45
330
scheme1__994_44.min1.thm1.tptp
2017-02-06 16:47
252
scheme1__995_22.min1.thm1
2017-02-06 12:45
202
scheme1__996_19.min1.thm1
2017-02-06 12:45
787
scheme1__998_21.min1.thm1
2017-02-06 12:45
787
scheme1__999_16.min1.thm1
2017-02-06 12:45
796
scheme1__1021_47.min1.thm1
2017-02-06 12:45
508
scheme1__1023_18.min1.thm1
2017-02-06 12:45
506
scheme1__1023_18.min1.thm1.tptp
2017-02-06 16:47
429
scheme1__1027_34.min1.thm1
2017-02-06 12:45
644
scheme1__1028_20.min1.thm1
2017-02-06 12:45
559
scheme1__1028_20.min1.thm1.tptp
2017-02-06 16:47
496
scheme1__1033_34.min1.thm1
2017-02-06 12:45
644
scheme1__1034_20.min1.thm1
2017-02-06 12:45
559
scheme1__1034_20.min1.thm1.tptp
2017-02-06 16:47
496
scheme1__1039_34.min1.thm1
2017-02-06 12:45
644
scheme1__1040_20.min1.thm1
2017-02-06 12:45
559
scheme1__1040_20.min1.thm1.tptp
2017-02-06 16:47
496
scheme1__1043_16.min1.thm1
2017-02-06 12:45
664
scheme1__1053_15.min1.thm1
2017-02-06 12:45
608
scheme1__1055_18.min1.thm1
2017-02-06 12:45
859
scheme1__1058_26.min1.thm1
2017-02-06 12:45
726
scheme1__1059_23.min1.thm1
2017-02-06 12:45
648
scheme1__1063_26.min1.thm1
2017-02-06 12:45
726
scheme1__1064_23.min1.thm1
2017-02-06 12:45
648
scheme1__1068_26.min1.thm1
2017-02-06 12:45
726
scheme1__1069_23.min1.thm1
2017-02-06 12:45
648
scheme1__1072_16.min1.thm1
2017-02-06 12:45
250
scheme1__1078_19.min1.thm1
2017-02-06 12:45
428
scheme1__1078_19.min1.thm1.tptp
2017-02-06 16:47
351
scheme1__1080_49.min1.thm1
2017-02-06 12:45
1.0K
scheme1__1082_75.min1.thm1
2017-02-06 12:45
1.5K
scheme1__1086_17.min1.thm1
2017-02-06 12:45
1.7K
scheme1__1108_47.min1.thm1
2017-02-06 12:45
513
scheme1__1110_18.min1.thm1
2017-02-06 12:45
590
scheme1__1115_19.min1.thm1
2017-02-06 12:45
214
scheme1__1119_28.min1.thm1
2017-02-06 12:45
773
scheme1__1121_23.min1.thm1
2017-02-06 12:45
220
scheme1__1124_37.min1.thm1
2017-02-06 12:45
791
scheme1__1125_31.min1.thm1
2017-02-06 12:45
701
scheme1__1129_31.min1.thm1
2017-02-06 12:45
669
scheme1__1132_24.min1.thm1
2017-02-06 12:45
662
scheme1__1137_23.min1.thm1
2017-02-06 12:45
220
scheme1__1140_37.min1.thm1
2017-02-06 12:45
785
scheme1__1141_31.min1.thm1
2017-02-06 12:45
669
scheme1__1145_31.min1.thm1
2017-02-06 12:45
637
scheme1__1148_24.min1.thm1
2017-02-06 12:45
662
scheme1__1151_20.min1.thm1
2017-02-06 12:45
650
scheme1__1157_19.min1.thm1
2017-02-06 12:45
214
scheme1__1161_28.min1.thm1
2017-02-06 12:45
773
scheme1__1163_23.min1.thm1
2017-02-06 12:45
220
scheme1__1166_37.min1.thm1
2017-02-06 12:45
785
scheme1__1167_31.min1.thm1
2017-02-06 12:45
701
scheme1__1171_31.min1.thm1
2017-02-06 12:45
669
scheme1__1174_24.min1.thm1
2017-02-06 12:45
662
scheme1__1179_23.min1.thm1
2017-02-06 12:45
220
scheme1__1182_37.min1.thm1
2017-02-06 12:45
785
scheme1__1183_31.min1.thm1
2017-02-06 12:45
669
scheme1__1187_31.min1.thm1
2017-02-06 12:45
637
scheme1__1190_24.min1.thm1
2017-02-06 12:45
662
scheme1__1193_20.min1.thm1
2017-02-06 12:45
650
scheme1__1199_19.min1.thm1
2017-02-06 12:45
214
scheme1__1203_28.min1.thm1
2017-02-06 12:45
773
scheme1__1205_23.min1.thm1
2017-02-06 12:45
220
scheme1__1208_37.min1.thm1
2017-02-06 12:45
785
scheme1__1209_31.min1.thm1
2017-02-06 12:45
701
scheme1__1213_31.min1.thm1
2017-02-06 12:45
669
scheme1__1216_24.min1.thm1
2017-02-06 12:45
662
scheme1__1221_23.min1.thm1
2017-02-06 12:45
220
scheme1__1224_37.min1.thm1
2017-02-06 12:45
785
scheme1__1225_31.min1.thm1
2017-02-06 12:45
669
scheme1__1229_31.min1.thm1
2017-02-06 12:45
637
scheme1__1232_24.min1.thm1
2017-02-06 12:45
662
scheme1__1235_20.min1.thm1
2017-02-06 12:45
650
scheme1__1238_16.min1.thm1
2017-02-06 12:45
677
scheme1__1248_15.min1.thm1
2017-02-06 12:45
608
scheme1__1250_18.min1.thm1
2017-02-06 12:45
872
scheme1__1253_26.min1.thm1
2017-02-06 12:45
734
scheme1__1254_23.min1.thm1
2017-02-06 12:45
655
scheme1__1258_26.min1.thm1
2017-02-06 12:45
734
scheme1__1259_23.min1.thm1
2017-02-06 12:45
655
scheme1__1263_26.min1.thm1
2017-02-06 12:45
734
scheme1__1264_23.min1.thm1
2017-02-06 12:45
655
scheme1__1267_16.min1.thm1
2017-02-06 12:45
252
scheme1__1273_19.min1.thm1
2017-02-06 12:45
433
scheme1__1273_19.min1.thm1.tptp
2017-02-06 16:47
356
scheme1__1275_49.min1.thm1
2017-02-06 12:45
1.0K
scheme1__1277_75.min1.thm1
2017-02-06 12:45
1.5K
scheme1__1281_17.min1.thm1
2017-02-06 12:45
1.7K
scheme1__1305_47.min1.thm1
2017-02-06 12:45
537
scheme1__1307_18.min1.thm1
2017-02-06 12:45
577
scheme1__1307_18.min1.thm1.tptp
2017-02-06 16:47
498
scheme1__1311_20.min1.thm1
2017-02-06 12:45
750
scheme1__1312_34.min1.thm1
2017-02-06 12:45
790
scheme1__1313_23.min1.thm1
2017-02-06 12:45
725
scheme1__1318_20.min1.thm1
2017-02-06 12:45
750
scheme1__1319_34.min1.thm1
2017-02-06 12:45
790
scheme1__1320_23.min1.thm1
2017-02-06 12:45
725
scheme1__1325_20.min1.thm1
2017-02-06 12:45
750
scheme1__1326_34.min1.thm1
2017-02-06 12:45
790
scheme1__1327_23.min1.thm1
2017-02-06 12:45
725
scheme1__1332_20.min1.thm1
2017-02-06 12:45
750
scheme1__1333_34.min1.thm1
2017-02-06 12:45
790
scheme1__1334_23.min1.thm1
2017-02-06 12:45
725
scheme1__1337_16.min1.thm1
2017-02-06 12:45
833
scheme1__1347_15.min1.thm1
2017-02-06 12:45
608
scheme1__1349_18.min1.thm1
2017-02-06 12:45
1.0K
scheme1__1352_26.min1.thm1
2017-02-06 12:45
809
scheme1__1353_23.min1.thm1
2017-02-06 12:45
655
scheme1__1357_26.min1.thm1
2017-02-06 12:45
809
scheme1__1358_23.min1.thm1
2017-02-06 12:45
655
scheme1__1362_26.min1.thm1
2017-02-06 12:45
809
scheme1__1363_23.min1.thm1
2017-02-06 12:45
655
scheme1__1367_26.min1.thm1
2017-02-06 12:45
809
scheme1__1368_23.min1.thm1
2017-02-06 12:45
655
scheme1__1371_16.min1.thm1
2017-02-06 12:45
252
scheme1__1377_19.min1.thm1
2017-02-06 12:45
457
scheme1__1377_19.min1.thm1.tptp
2017-02-06 16:47
379
scheme1__1379_49.min1.thm1
2017-02-06 12:45
1.1K
scheme1__1382_8.min1.thm1
2017-02-06 12:45
1.7K
scheme1__1385_17.min1.thm1
2017-02-06 12:45
1.7K
scheme1__1408_15.min1.thm1
2017-02-06 12:45
400
scheme1__1408_15.min1.thm1.tptp
2017-02-06 16:47
327
scheme1__1410_18.min1.thm1
2017-02-06 12:45
431
scheme1__1410_18.min1.thm1.tptp
2017-02-06 16:47
358
scheme1__1414_19.min1.thm1
2017-02-06 12:45
440
scheme1__1415_20.min1.thm1
2017-02-06 12:45
372
scheme1__1420_19.min1.thm1
2017-02-06 12:45
440
scheme1__1421_20.min1.thm1
2017-02-06 12:45
372
scheme1__1424_16.min1.thm1
2017-02-06 12:45
488
scheme1__1432_19.min1.thm1
2017-02-06 12:45
400
scheme1__1432_19.min1.thm1.tptp
2017-02-06 16:47
327
scheme1__1440_15.min1.thm1
2017-02-06 12:45
608
scheme1__1442_18.min1.thm1
2017-02-06 12:45
715
scheme1__1445_26.min1.thm1
2017-02-06 12:45
659
scheme1__1446_23.min1.thm1
2017-02-06 12:45
1.5K
scheme1__1450_26.min1.thm1
2017-02-06 12:45
659
scheme1__1451_23.min1.thm1
2017-02-06 12:45
1.5K
scheme1__1454_16.min1.thm1
2017-02-06 12:45
252
scheme1__1456_45.min1.thm1
2017-02-06 12:45
956
scheme1__1458_62.min1.thm1
2017-02-06 12:45
1.2K
scheme1__1461_17.min1.thm1
2017-02-06 12:45
1.3K
scheme1__1487_15.min1.thm1
2017-02-06 12:45
433
scheme1__1487_15.min1.thm1.tptp
2017-02-06 16:47
356
scheme1__1489_18.min1.thm1
2017-02-06 12:45
513
scheme1__1489_18.min1.thm1.tptp
2017-02-06 16:47
436
scheme1__1493_32.min1.thm1
2017-02-06 12:45
571
scheme1__1494_20.min1.thm1
2017-02-06 12:45
490
scheme1__1499_32.min1.thm1
2017-02-06 12:45
571
scheme1__1500_20.min1.thm1
2017-02-06 12:45
490
scheme1__1505_32.min1.thm1
2017-02-06 12:45
571
scheme1__1506_20.min1.thm1
2017-02-06 12:45
490
scheme1__1509_16.min1.thm1
2017-02-06 12:45
644
scheme1__1517_19.min1.thm1
2017-02-06 12:45
433
scheme1__1517_19.min1.thm1.tptp
2017-02-06 16:47
356
scheme1__1525_15.min1.thm1
2017-02-06 12:45
608
scheme1__1527_18.min1.thm1
2017-02-06 12:45
872
scheme1__1530_26.min1.thm1
2017-02-06 12:45
734
scheme1__1531_23.min1.thm1
2017-02-06 12:45
1.5K
scheme1__1535_26.min1.thm1
2017-02-06 12:45
734
scheme1__1536_23.min1.thm1
2017-02-06 12:45
1.5K
scheme1__1540_26.min1.thm1
2017-02-06 12:45
734
scheme1__1541_23.min1.thm1
2017-02-06 12:45
1.5K
scheme1__1544_16.min1.thm1
2017-02-06 12:45
252
scheme1__1546_45.min1.thm1
2017-02-06 12:45
1.0K
scheme1__1548_70.min1.thm1
2017-02-06 12:45
1.4K
scheme1__1551_17.min1.thm1
2017-02-06 12:45
1.7K
scheme1__1579_15.min1.thm1
2017-02-06 12:45
457
scheme1__1579_15.min1.thm1.tptp
2017-02-06 16:47
379
scheme1__1581_18.min1.thm1
2017-02-06 12:45
577
scheme1__1581_18.min1.thm1.tptp
2017-02-06 16:47
498
scheme1__1585_19.min1.thm1
2017-02-06 12:45
666
scheme1__1586_32.min1.thm1
2017-02-06 12:45
706
scheme1__1587_23.min1.thm1
2017-02-06 12:45
648
scheme1__1587_23.min1.thm1.tptp
2017-02-06 16:47
588
scheme1__1592_19.min1.thm1
2017-02-06 12:45
666
scheme1__1593_32.min1.thm1
2017-02-06 12:45
706
scheme1__1594_23.min1.thm1
2017-02-06 12:45
648
scheme1__1594_23.min1.thm1.tptp
2017-02-06 16:47
588
scheme1__1599_19.min1.thm1
2017-02-06 12:45
666
scheme1__1600_32.min1.thm1
2017-02-06 12:45
706
scheme1__1601_23.min1.thm1
2017-02-06 12:45
648
scheme1__1601_23.min1.thm1.tptp
2017-02-06 16:47
588
scheme1__1606_19.min1.thm1
2017-02-06 12:45
666
scheme1__1607_32.min1.thm1
2017-02-06 12:45
706
scheme1__1608_23.min1.thm1
2017-02-06 12:45
648
scheme1__1608_23.min1.thm1.tptp
2017-02-06 16:47
588
scheme1__1611_16.min1.thm1
2017-02-06 12:45
800
scheme1__1619_19.min1.thm1
2017-02-06 12:45
457
scheme1__1619_19.min1.thm1.tptp
2017-02-06 16:47
379
scheme1__1627_15.min1.thm1
2017-02-06 12:45
608
scheme1__1629_18.min1.thm1
2017-02-06 12:45
1.0K
scheme1__1632_26.min1.thm1
2017-02-06 12:45
809
scheme1__1633_23.min1.thm1
2017-02-06 12:45
1.6K
scheme1__1637_26.min1.thm1
2017-02-06 12:45
809
scheme1__1638_23.min1.thm1
2017-02-06 12:45
1.6K
scheme1__1642_26.min1.thm1
2017-02-06 12:45
809
scheme1__1643_23.min1.thm1
2017-02-06 12:45
1.6K
scheme1__1647_26.min1.thm1
2017-02-06 12:45
809
scheme1__1648_23.min1.thm1
2017-02-06 12:45
1.6K
scheme1__1651_16.min1.thm1
2017-02-06 12:45
252
scheme1__1653_45.min1.thm1
2017-02-06 12:45
1.1K
scheme1__1655_78.min1.thm1
2017-02-06 12:45
1.5K
scheme1__1659_17.min1.thm1
2017-02-06 12:45
1.7K
scheme1__1682_29.min1.thm1
2017-02-06 12:45
573
scheme1__1682_29.min1.thm1.tptp
2017-02-06 16:47
513
scheme1__1686_19.min1.thm1
2017-02-06 12:45
700
scheme1__1687_38.min1.thm1
2017-02-06 12:45
332
scheme1__1687_38.min1.thm1.tptp
2017-02-06 16:47
254
scheme1__1688_38.min1.thm1
2017-02-06 12:45
332
scheme1__1688_38.min1.thm1.tptp
2017-02-06 16:47
254
scheme1__1690_18.min1.thm1
2017-02-06 12:45
1.2K
scheme1__1696_31.min1.thm1
2017-02-06 12:45
804
scheme1__1697_74.min1.thm1
2017-02-06 12:45
1.1K
scheme1__1705_31.min1.thm1
2017-02-06 12:45
804
scheme1__1706_74.min1.thm1
2017-02-06 12:45
1.1K
scheme1__1710_16.min1.thm1
2017-02-06 12:45
835
scheme1__1720_16.min1.thm1
2017-02-06 12:45
608
scheme1__1721_24.min1.thm1
2017-02-06 12:45
972
scheme1__1725_18.min1.thm1
2017-02-06 12:45
700
scheme1__1726_37.min1.thm1
2017-02-06 12:45
333
scheme1__1726_37.min1.thm1.tptp
2017-02-06 16:47
255
scheme1__1727_37.min1.thm1
2017-02-06 12:45
333
scheme1__1727_37.min1.thm1.tptp
2017-02-06 16:47
255
scheme1__1729_18.min1.thm1
2017-02-06 12:45
1.5K
scheme1__1732_32.min1.thm1
2017-02-06 12:45
1.3K
scheme1__1733_23.min1.thm1
2017-02-06 12:45
1.0K
scheme1__1737_32.min1.thm1
2017-02-06 12:45
1.3K
scheme1__1738_23.min1.thm1
2017-02-06 12:45
1.0K
scheme1__1741_16.min1.thm1
2017-02-06 12:45
254
scheme1__1747_19.min1.thm1
2017-02-06 12:45
573
scheme1__1747_19.min1.thm1.tptp
2017-02-06 16:47
513
scheme1__1749_53.min1.thm1
2017-02-06 12:45
1.1K
scheme1__1755_51.min1.thm1
2017-02-06 12:45
1.9K
scheme1__1762_20.min1.thm1
2017-02-06 12:45
510
scheme1__1763_35.min1.thm1
2017-02-06 12:45
812
scheme1__1765_27.min1.thm1
2017-02-06 12:45
868
scheme1__1766_19.min1.thm1
2017-02-06 12:45
2.1K
scheme1__1796_29.min1.thm1
2017-02-06 12:45
600
scheme1__1796_29.min1.thm1.tptp
2017-02-06 16:47
539
scheme1__1800_19.min1.thm1
2017-02-06 12:45
700
scheme1__1801_38.min1.thm1
2017-02-06 12:45
332
scheme1__1801_38.min1.thm1.tptp
2017-02-06 16:47
254
scheme1__1802_38.min1.thm1
2017-02-06 12:45
332
scheme1__1802_38.min1.thm1.tptp
2017-02-06 16:47
254
scheme1__1804_18.min1.thm1
2017-02-06 12:45
1.3K
scheme1__1810_31.min1.thm1
2017-02-06 12:45
804
scheme1__1813_33.min1.thm1
2017-02-06 12:45
1.4K
scheme1__1820_31.min1.thm1
2017-02-06 12:45
804
scheme1__1823_33.min1.thm1
2017-02-06 12:45
1.4K
scheme1__1830_31.min1.thm1
2017-02-06 12:45
804
scheme1__1833_33.min1.thm1
2017-02-06 12:45
1.4K
scheme1__1836_16.min1.thm1
2017-02-06 12:45
939
scheme1__1846_16.min1.thm1
2017-02-06 12:45
608
scheme1__1847_24.min1.thm1
2017-02-06 12:45
1.1K
scheme1__1851_18.min1.thm1
2017-02-06 12:45
700
scheme1__1852_37.min1.thm1
2017-02-06 12:45
333
scheme1__1852_37.min1.thm1.tptp
2017-02-06 16:47
255
scheme1__1853_37.min1.thm1
2017-02-06 12:45
333
scheme1__1853_37.min1.thm1.tptp
2017-02-06 16:47
255
scheme1__1855_18.min1.thm1
2017-02-06 12:45
1.7K
scheme1__1858_32.min1.thm1
2017-02-06 12:45
1.4K
scheme1__1859_23.min1.thm1
2017-02-06 12:45
1.0K
scheme1__1863_32.min1.thm1
2017-02-06 12:45
1.4K
scheme1__1864_23.min1.thm1
2017-02-06 12:45
1.0K
scheme1__1868_32.min1.thm1
2017-02-06 12:45
1.4K
scheme1__1869_23.min1.thm1
2017-02-06 12:45
1.0K
scheme1__1872_16.min1.thm1
2017-02-06 12:45
254
scheme1__1878_19.min1.thm1
2017-02-06 12:45
600
scheme1__1878_19.min1.thm1.tptp
2017-02-06 16:47
539
scheme1__1880_53.min1.thm1
2017-02-06 12:45
1.2K
scheme1__1886_61.min1.thm1
2017-02-06 12:45
2.1K
scheme1__1893_20.min1.thm1
2017-02-06 12:45
510
scheme1__1894_47.min1.thm1
2017-02-06 12:45
952
scheme1__1896_27.min1.thm1
2017-02-06 12:45
868
scheme1__1897_19.min1.thm1
2017-02-06 12:45
2.2K
scheme1__1924_29.min1.thm1
2017-02-06 12:45
505
scheme1__1924_29.min1.thm1.tptp
2017-02-06 16:47
437
scheme1__1927_19.min1.thm1
2017-02-06 12:45
700
scheme1__1929_18.min1.thm1
2017-02-06 12:45
748
scheme1__1935_31.min1.thm1
2017-02-06 12:45
650
scheme1__1936_74.min1.thm1
2017-02-06 12:45
1.1K
scheme1__1944_31.min1.thm1
2017-02-06 12:45
650
scheme1__1945_74.min1.thm1
2017-02-06 12:45
1.1K
scheme1__1949_16.min1.thm1
2017-02-06 12:45
665
scheme1__1959_16.min1.thm1
2017-02-06 12:45
608
scheme1__1960_24.min1.thm1
2017-02-06 12:45
836
scheme1__1963_18.min1.thm1
2017-02-06 12:45
700
scheme1__1965_18.min1.thm1
2017-02-06 12:45
1.1K
scheme1__1968_32.min1.thm1
2017-02-06 12:45
1.0K
scheme1__1969_23.min1.thm1
2017-02-06 12:45
1.0K
scheme1__1973_32.min1.thm1
2017-02-06 12:45
1.0K
scheme1__1974_23.min1.thm1
2017-02-06 12:45
1.0K
scheme1__1977_16.min1.thm1
2017-02-06 12:45
253
scheme1__1983_19.min1.thm1
2017-02-06 12:45
505
scheme1__1983_19.min1.thm1.tptp
2017-02-06 16:47
437
scheme1__1985_53.min1.thm1
2017-02-06 12:45
1.0K
scheme1__1991_75.min1.thm1
2017-02-06 12:45
1.8K
scheme1__2000_20.min1.thm1
2017-02-06 12:45
510
scheme1__2001_35.min1.thm1
2017-02-06 12:45
812
scheme1__2003_27.min1.thm1
2017-02-06 12:45
596
scheme1__2004_19.min1.thm1
2017-02-06 12:45
1.9K
scheme1__2008_17.min1.thm1
2017-02-06 12:45
1.6K
scheme1__2034_29.min1.thm1
2017-02-06 12:45
532
scheme1__2034_29.min1.thm1.tptp
2017-02-06 16:47
463
scheme1__2037_19.min1.thm1
2017-02-06 12:45
700
scheme1__2039_18.min1.thm1
2017-02-06 12:45
843
scheme1__2045_31.min1.thm1
2017-02-06 12:45
650
scheme1__2048_33.min1.thm1
2017-02-06 12:45
1.3K
scheme1__2055_31.min1.thm1
2017-02-06 12:45
650
scheme1__2058_33.min1.thm1
2017-02-06 12:45
1.3K
scheme1__2065_31.min1.thm1
2017-02-06 12:45
650
scheme1__2068_33.min1.thm1
2017-02-06 12:45
1.3K
scheme1__2071_16.min1.thm1
2017-02-06 12:45
769
scheme1__2081_16.min1.thm1
2017-02-06 12:45
608
scheme1__2082_24.min1.thm1
2017-02-06 12:45
944
scheme1__2085_18.min1.thm1
2017-02-06 12:45
700
scheme1__2087_18.min1.thm1
2017-02-06 12:45
1.2K
scheme1__2090_32.min1.thm1
2017-02-06 12:45
1.0K
scheme1__2091_23.min1.thm1
2017-02-06 12:45
1.0K
scheme1__2095_32.min1.thm1
2017-02-06 12:45
1.0K
scheme1__2096_23.min1.thm1
2017-02-06 12:45
1.0K
scheme1__2100_32.min1.thm1
2017-02-06 12:45
1.0K
scheme1__2101_23.min1.thm1
2017-02-06 12:45
1.0K
scheme1__2104_16.min1.thm1
2017-02-06 12:45
253
scheme1__2110_19.min1.thm1
2017-02-06 12:45
532
scheme1__2110_19.min1.thm1.tptp
2017-02-06 16:47
463
scheme1__2112_53.min1.thm1
2017-02-06 12:45
1.1K
scheme1__2119_11.min1.thm1
2017-02-06 12:45
2.0K
scheme1__2127_20.min1.thm1
2017-02-06 12:45
510
scheme1__2128_47.min1.thm1
2017-02-06 12:45
952
scheme1__2130_27.min1.thm1
2017-02-06 12:45
596
scheme1__2131_19.min1.thm1
2017-02-06 12:45
2.0K
scheme1__2148_40.min1.thm1
2017-02-06 12:45
502
scheme1__2157_21.min1.thm1
2017-02-06 12:45
824
scheme1__2160_44.min1.thm1
2017-02-06 12:45
332
scheme1__2160_44.min1.thm1.tptp
2017-02-06 16:47
254
scheme1__2161_30.min1.thm1
2017-02-06 12:45
478
scheme1__2161_30.min1.thm1.tptp
2017-02-06 16:47
397
scheme1__2162_19.min1.thm1
2017-02-06 12:45
731
scheme1__2164_45.min1.thm1
2017-02-06 12:45
960
scheme1__2167_16.min1.thm1
2017-02-06 12:45
1.8K
scheme1__2183_40.min1.thm1
2017-02-06 12:45
772
scheme1__2193_21.min1.thm1
2017-02-06 12:45
824
scheme1__2196_44.min1.thm1
2017-02-06 12:45
332
scheme1__2196_44.min1.thm1.tptp
2017-02-06 16:47
254
scheme1__2197_39.min1.thm1
2017-02-06 12:45
542
scheme1__2197_39.min1.thm1.tptp
2017-02-06 16:47
459
scheme1__2198_19.min1.thm1
2017-02-06 12:45
795
scheme1__2200_45.min1.thm1
2017-02-06 12:45
960
scheme1__2203_16.min1.thm1
2017-02-06 12:45
2.0K
scheme1__2213_4.min1.thm1
2017-02-06 12:45
256
scheme1__2220_7.min1.thm1
2017-02-06 12:45
480
scheme1__2220_7.min1.thm1.tptp
2017-02-06 16:47
414
scheme1__2223_29.min1.thm1
2017-02-06 12:45
1.1K
scheme1__2229_16.min1.thm1
2017-02-06 12:45
700
scheme1__2230_37.min1.thm1
2017-02-06 12:45
332
scheme1__2230_37.min1.thm1.tptp
2017-02-06 16:47
254
scheme1__2231_37.min1.thm1
2017-02-06 12:45
332
scheme1__2231_37.min1.thm1.tptp
2017-02-06 16:47
254
scheme1__2232_24.min1.thm1
2017-02-06 12:45
242
scheme1__2233_19.min1.thm1
2017-02-06 12:45
1.4K
scheme1__2235_53.min1.thm1
2017-02-06 12:45
1.2K
scheme1__2237_16.min1.thm1
2017-02-06 12:45
1.3K
scheme1__2254_71.min1.thm1
2017-02-06 12:45
618
scheme1__2261_9.min1.thm1
2017-02-06 12:45
480
scheme1__2261_9.min1.thm1.tptp
2017-02-06 16:47
414
scheme1__2264_29.min1.thm1
2017-02-06 12:45
1.1K
scheme1__2270_16.min1.thm1
2017-02-06 12:45
700
scheme1__2271_37.min1.thm1
2017-02-06 12:45
332
scheme1__2271_37.min1.thm1.tptp
2017-02-06 16:47
254
scheme1__2272_37.min1.thm1
2017-02-06 12:45
332
scheme1__2272_37.min1.thm1.tptp
2017-02-06 16:47
254
scheme1__2273_33.min1.thm1
2017-02-06 12:45
670
scheme1__2274_19.min1.thm1
2017-02-06 12:45
1.7K
scheme1__2276_53.min1.thm1
2017-02-06 12:45
1.2K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80