Index of /~mptp/1147/mptp/ilp0/fraenkel
Name
Last modified
Size
Description
Parent Directory
-
fraenkel__120_9.min1.thm1.tptp
2017-02-06 16:47
404
fraenkel__715_23.min1.thm1.tptp
2017-02-06 16:47
441
fraenkel__976_52.min1.thm1.tptp
2017-02-06 16:47
555
fraenkel__609_43.min1.thm1.tptp
2017-02-06 16:47
515
fraenkel__888_36.min1.thm1.tptp
2017-02-06 16:47
249
fraenkel__162_9.min1.thm1.tptp
2017-02-06 16:47
407
fraenkel__823_28.min1.thm1.tptp
2017-02-06 16:47
287
fraenkel__255_29.min1.thm1.tptp
2017-02-06 16:47
347
fraenkel__304_14.min1.thm1.tptp
2017-02-06 16:47
275
fraenkel__187_12.min1.thm1.tptp
2017-02-06 16:47
507
fraenkel__981_22.min1.thm1.tptp
2017-02-06 16:47
646
fraenkel__65_10.min1.thm1.tptp
2017-02-06 16:47
496
fraenkel__964_74.min1.thm1.tptp
2017-02-06 16:47
623
fraenkel__296_17.min1.thm1.tptp
2017-02-06 16:47
209
fraenkel__839_47.min1.thm1.tptp
2017-02-06 16:47
298
fraenkel__487_13.min1.thm1.tptp
2017-02-06 16:47
473
fraenkel__336_17.min1.thm1.tptp
2017-02-06 16:47
468
fraenkel__319_17.min1.thm1.tptp
2017-02-06 16:47
321
fraenkel__254_17.min1.thm1.tptp
2017-02-06 16:47
520
fraenkel__734_23.min1.thm1.tptp
2017-02-06 16:47
303
fraenkel__360_19.min1.thm1.tptp
2017-02-06 16:47
519
fraenkel__816_19.min1.thm1.tptp
2017-02-06 16:47
665
fraenkel__444_65.min1.thm1.tptp
2017-02-06 16:47
507
fraenkel__886_14.min1.thm1.tptp
2017-02-06 16:47
762
fraenkel__771_17.min1.thm1.tptp
2017-02-06 16:47
263
fraenkel__902_35.min1.thm1.tptp
2017-02-06 16:47
547
fraenkel__827_24.min1.thm1.tptp
2017-02-06 16:47
292
fraenkel__911_27.min1.thm1.tptp
2017-02-06 16:47
389
fraenkel__47_8.min1.thm1.tptp
2017-02-06 16:47
396
fraenkel__748_14.min1.thm1.tptp
2017-02-06 16:47
608
fraenkel__369_15.min1.thm1.tptp
2017-02-06 16:47
595
fraenkel__457_67.min1.thm1.tptp
2017-02-06 16:47
511
fraenkel__152_9.min1.thm1.tptp
2017-02-06 16:47
407
fraenkel__949_16.min1.thm1.tptp
2017-02-06 16:47
488
fraenkel__556_25.min1.thm1.tptp
2017-02-06 16:47
453
fraenkel__750_14.min1.thm1.tptp
2017-02-06 16:47
848
fraenkel__696_35.min1.thm1.tptp
2017-02-06 16:47
440
fraenkel__197_12.min1.thm1.tptp
2017-02-06 16:47
507
fraenkel__130_9.min1.thm1.tptp
2017-02-06 16:47
404
fraenkel__335_12.min1.thm1.tptp
2017-02-06 16:47
511
fraenkel__619_14.min1.thm1.tptp
2017-02-06 16:47
605
fraenkel__575_14.min1.thm1.tptp
2017-02-06 16:47
461
fraenkel__768_16.min1.thm1.tptp
2017-02-06 16:47
519
fraenkel__456_15.min1.thm1.tptp
2017-02-06 16:47
403
fraenkel__478_10.min1.thm1.tptp
2017-02-06 16:47
519
fraenkel__358_10.min1.thm1.tptp
2017-02-06 16:47
447
fraenkel__916_48.min1.thm1.tptp
2017-02-06 16:47
550
fraenkel__433_10.min1.thm1.tptp
2017-02-06 16:47
511
fraenkel__533_40.min1.thm1
2017-02-06 12:45
2.4K
fraenkel__154_19.min1.thm1
2017-02-06 12:45
583
fraenkel__912_64.min1.thm1
2017-02-06 12:45
717
fraenkel__558_21.min1.thm1
2017-02-06 12:45
535
fraenkel__120_9.min1.thm1
2017-02-06 12:45
467
fraenkel__273_17.min1.thm1
2017-02-06 12:45
823
fraenkel__838_20.min1.thm1
2017-02-06 12:45
855
fraenkel__887_53.min1.thm1
2017-02-06 12:45
527
fraenkel__534_29.min1.thm1
2017-02-06 12:45
1.8K
fraenkel__715_23.min1.thm1
2017-02-06 12:45
513
fraenkel__637_18.min1.thm1
2017-02-06 12:45
2.2K
fraenkel__624_17.min1.thm1
2017-02-06 12:45
1.3K
fraenkel__434_61.min1.thm1
2017-02-06 12:45
812
fraenkel__389_16.min1.thm1
2017-02-06 12:45
656
fraenkel__67_17.min1.thm1
2017-02-06 12:45
723
fraenkel__979_17.min1.thm1
2017-02-06 12:45
396
fraenkel__609_43.min1.thm1
2017-02-06 12:45
585
fraenkel__163_16.min1.thm1
2017-02-06 12:45
559
fraenkel__732_35.min1.thm1
2017-02-06 12:45
663
fraenkel__976_52.min1.thm1
2017-02-06 12:45
604
fraenkel__888_36.min1.thm1
2017-02-06 12:45
329
fraenkel__535_54.min1.thm1
2017-02-06 12:45
1.9K
fraenkel__622_23.min1.thm1
2017-02-06 12:45
1.5K
fraenkel__294_60.min1.thm1
2017-02-06 12:45
1.3K
fraenkel__162_9.min1.thm1
2017-02-06 12:45
470
fraenkel__132_19.min1.thm1
2017-02-06 12:45
580
fraenkel__638_18.min1.thm1
2017-02-06 12:45
2.2K
fraenkel__697_28.min1.thm1
2017-02-06 12:45
320
fraenkel__823_28.min1.thm1
2017-02-06 12:45
361
fraenkel__820_20.min1.thm1
2017-02-06 12:45
1.4K
fraenkel__577_24.min1.thm1
2017-02-06 12:45
634
fraenkel__255_29.min1.thm1
2017-02-06 12:45
428
fraenkel__786_26.min1.thm1
2017-02-06 12:45
525
fraenkel__587_15.min1.thm1
2017-02-06 12:45
805
fraenkel__189_19.min1.thm1
2017-02-06 12:45
752
fraenkel__590_17.min1.thm1
2017-02-06 12:45
564
fraenkel__929_18.min1.thm1
2017-02-06 12:45
450
fraenkel__187_12.min1.thm1
2017-02-06 12:45
560
fraenkel__894_12.min1.thm1
2017-02-06 12:45
572
fraenkel__560_16.min1.thm1
2017-02-06 12:45
603
fraenkel__739_29.min1.thm1
2017-02-06 12:45
1.0K
fraenkel__723_28.min1.thm1
2017-02-06 12:45
1.1K
fraenkel__134_17.min1.thm1
2017-02-06 12:45
392
fraenkel__387_16.min1.thm1
2017-02-06 12:45
290
fraenkel__304_14.min1.thm1
2017-02-06 12:45
353
fraenkel__925_53.min1.thm1
2017-02-06 12:45
613
fraenkel__242_24.min1.thm1
2017-02-06 12:45
1.9K
fraenkel__198_19.min1.thm1
2017-02-06 12:45
636
fraenkel__981_22.min1.thm1
2017-02-06 12:45
723
fraenkel__65_10.min1.thm1
2017-02-06 12:45
549
fraenkel__980_19.min1.thm1
2017-02-06 12:45
1.0K
fraenkel__688_30.min1.thm1
2017-02-06 12:45
810
fraenkel__896_14.min1.thm1
2017-02-06 12:45
556
fraenkel__585_15.min1.thm1
2017-02-06 12:45
730
fraenkel__524_22.min1.thm1
2017-02-06 12:45
1.2K
fraenkel__220_19.min1.thm1
2017-02-06 12:45
411
fraenkel__964_74.min1.thm1
2017-02-06 12:45
651
fraenkel__852_27.min1.thm1
2017-02-06 12:45
2.0K
fraenkel__386_55.min1.thm1
2017-02-06 12:45
539
fraenkel__833_19.min1.thm1
2017-02-06 12:45
1.5K
fraenkel__153_16.min1.thm1
2017-02-06 12:45
559
fraenkel__702_29.min1.thm1
2017-02-06 12:45
1.0K
fraenkel__691_32.min1.thm1
2017-02-06 12:45
849
fraenkel__296_17.min1.thm1
2017-02-06 12:45
291
fraenkel__851_20.min1.thm1
2017-02-06 12:45
814
fraenkel__487_13.min1.thm1
2017-02-06 12:45
536
fraenkel__166_17.min1.thm1
2017-02-06 12:45
398
fraenkel__101_19.min1.thm1
2017-02-06 12:45
411
fraenkel__822_26.min1.thm1
2017-02-06 12:45
1.6K
fraenkel__435_17.min1.thm1
2017-02-06 12:45
780
fraenkel__680_28.min1.thm1
2017-02-06 12:45
945
fraenkel__214_19.min1.thm1
2017-02-06 12:45
411
fraenkel__993_19.min1.thm1
2017-02-06 12:45
1.5K
fraenkel__839_47.min1.thm1
2017-02-06 12:45
376
fraenkel__813_13.min1.thm1
2017-02-06 12:45
477
fraenkel__620_30.min1.thm1
2017-02-06 12:45
1.2K
fraenkel__522_58.min1.thm1
2017-02-06 12:45
823
fraenkel__336_17.min1.thm1
2017-02-06 12:45
522
fraenkel__412_16.min1.thm1
2017-02-06 12:45
696
fraenkel__188_19.min1.thm1
2017-02-06 12:45
636
fraenkel__66_11.min1.thm1
2017-02-06 12:45
581
fraenkel__410_16.min1.thm1
2017-02-06 12:45
290
fraenkel__548_11.min1.thm1
2017-02-06 12:45
193
fraenkel__319_17.min1.thm1
2017-02-06 12:45
402
fraenkel__523_25.min1.thm1
2017-02-06 12:45
1.2K
fraenkel__674_71.min1.thm1
2017-02-06 12:45
914
fraenkel__861_18.min1.thm1
2017-02-06 12:45
1.4K
fraenkel__722_35.min1.thm1
2017-02-06 12:45
642
fraenkel__679_35.min1.thm1
2017-02-06 12:45
663
fraenkel__557_15.min1.thm1
2017-02-06 12:45
680
fraenkel__488_14.min1.thm1
2017-02-06 12:45
614
fraenkel__625_30.min1.thm1
2017-02-06 12:45
1.9K
fraenkel__927_62.min1.thm1
2017-02-06 12:45
667
fraenkel__588_19.min1.thm1
2017-02-06 12:45
746
fraenkel__131_16.min1.thm1
2017-02-06 12:45
466
fraenkel__991_37.min1.thm1
2017-02-06 12:45
728
fraenkel__995_17.min1.thm1
2017-02-06 12:45
1.0K
fraenkel__499_16.min1.thm1
2017-02-06 12:45
299
fraenkel__623_17.min1.thm1
2017-02-06 12:45
1.3K
fraenkel__275_17.min1.thm1
2017-02-06 12:45
822
fraenkel__258_17.min1.thm1
2017-02-06 12:45
634
fraenkel__254_17.min1.thm1
2017-02-06 12:45
564
fraenkel__692_29.min1.thm1
2017-02-06 12:45
788
fraenkel__360_19.min1.thm1
2017-02-06 12:45
572
fraenkel__489_17.min1.thm1
2017-02-06 12:45
739
fraenkel__809_24.min1.thm1
2017-02-06 12:45
272
fraenkel__910_17.min1.thm1
2017-02-06 12:45
617
fraenkel__738_27.min1.thm1
2017-02-06 12:45
619
fraenkel__734_23.min1.thm1
2017-02-06 12:45
384
fraenkel__983_21.min1.thm1
2017-02-06 12:45
1.5K
fraenkel__243_13.min1.thm1
2017-02-06 12:45
1.0K
fraenkel__444_65.min1.thm1
2017-02-06 12:45
570
fraenkel__480_14.min1.thm1
2017-02-06 12:45
621
fraenkel__773_45.min1.thm1
2017-02-06 12:45
897
fraenkel__372_17.min1.thm1
2017-02-06 12:45
778
fraenkel__777_53.min1.thm1
2017-02-06 12:45
777
fraenkel__816_19.min1.thm1
2017-02-06 12:45
728
fraenkel__841_18.min1.thm1
2017-02-06 12:45
2.0K
fraenkel__676_21.min1.thm1
2017-02-06 12:45
277
fraenkel__915_29.min1.thm1
2017-02-06 12:45
224
fraenkel__854_35.min1.thm1
2017-02-06 12:45
2.0K
fraenkel__812_14.min1.thm1
2017-02-06 12:45
413
fraenkel__626_21.min1.thm1
2017-02-06 12:45
1.9K
fraenkel__926_63.min1.thm1
2017-02-06 12:45
787
fraenkel__771_17.min1.thm1
2017-02-06 12:45
341
fraenkel__520_44.min1.thm1
2017-02-06 12:45
1.3K
fraenkel__409_55.min1.thm1
2017-02-06 12:45
539
fraenkel__886_14.min1.thm1
2017-02-06 12:45
827
fraenkel__778_14.min1.thm1
2017-02-06 12:45
1.2K
fraenkel__578_21.min1.thm1
2017-02-06 12:45
1.0K
fraenkel__479_13.min1.thm1
2017-02-06 12:45
642
fraenkel__902_35.min1.thm1
2017-02-06 12:45
574
fraenkel__199_19.min1.thm1
2017-02-06 12:45
752
fraenkel__292_55.min1.thm1
2017-02-06 12:45
416
fraenkel__827_24.min1.thm1
2017-02-06 12:45
366
fraenkel__576_19.min1.thm1
2017-02-06 12:45
917
fraenkel__821_20.min1.thm1
2017-02-06 12:45
1.0K
fraenkel__911_27.min1.thm1
2017-02-06 12:45
470
fraenkel__943_9.min1.thm1
2017-02-06 12:45
444
fraenkel__47_8.min1.thm1
2017-02-06 12:45
459
fraenkel__856_22.min1.thm1
2017-02-06 12:45
1.5K
fraenkel__634_46.min1.thm1
2017-02-06 12:45
780
fraenkel__122_19.min1.thm1
2017-02-06 12:45
580
fraenkel__369_15.min1.thm1
2017-02-06 12:45
648
fraenkel__828_24.min1.thm1
2017-02-06 12:45
273
fraenkel__748_14.min1.thm1
2017-02-06 12:45
647
fraenkel__745_18.min1.thm1
2017-02-06 12:45
972
fraenkel__152_9.min1.thm1
2017-02-06 12:45
470
fraenkel__897_14.min1.thm1
2017-02-06 12:45
739
fraenkel__689_31.min1.thm1
2017-02-06 12:45
1.0K
fraenkel__225_4.min1.thm1
2017-02-06 12:45
404
fraenkel__720_20.min1.thm1
2017-02-06 12:45
1.0K
fraenkel__164_19.min1.thm1
2017-02-06 12:45
583
fraenkel__635_21.min1.thm1
2017-02-06 12:45
2.0K
fraenkel__633_15.min1.thm1
2017-02-06 12:45
748
fraenkel__949_16.min1.thm1
2017-02-06 12:45
552
fraenkel__457_67.min1.thm1
2017-02-06 12:45
576
fraenkel__98_19.min1.thm1
2017-02-06 12:45
411
fraenkel__855_38.min1.thm1
2017-02-06 12:45
2.1K
fraenkel__81_57.min1.thm1
2017-02-06 12:45
319
fraenkel__992_13.min1.thm1
2017-02-06 12:45
738
fraenkel__556_25.min1.thm1
2017-02-06 12:45
516
fraenkel__792_75.min1.thm1
2017-02-06 12:45
309
fraenkel__701_32.min1.thm1
2017-02-06 12:45
849
fraenkel__201_17.min1.thm1
2017-02-06 12:45
398
fraenkel__928_57.min1.thm1
2017-02-06 12:45
745
fraenkel__481_19.min1.thm1
2017-02-06 12:45
743
fraenkel__696_35.min1.thm1
2017-02-06 12:45
502
fraenkel__862_14.min1.thm1
2017-02-06 12:45
1.8K
fraenkel__898_17.min1.thm1
2017-02-06 12:45
445
fraenkel__257_22.min1.thm1
2017-02-06 12:45
591
fraenkel__836_32.min1.thm1
2017-02-06 12:45
2.1K
fraenkel__750_14.min1.thm1
2017-02-06 12:45
861
fraenkel__517_39.min1.thm1
2017-02-06 12:45
1.0K
fraenkel__728_29.min1.thm1
2017-02-06 12:45
1.8K
fraenkel__835_9.min1.thm1
2017-02-06 12:45
943
fraenkel__130_9.min1.thm1
2017-02-06 12:45
467
fraenkel__445_14.min1.thm1
2017-02-06 12:45
354
fraenkel__48_9.min1.thm1
2017-02-06 12:45
419
fraenkel__710_21.min1.thm1
2017-02-06 12:45
380
fraenkel__639_21.min1.thm1
2017-02-06 12:45
1.7K
fraenkel__371_21.min1.thm1
2017-02-06 12:45
676
fraenkel__361_19.min1.thm1
2017-02-06 12:45
765
fraenkel__256_32.min1.thm1
2017-02-06 12:45
587
fraenkel__963_57.min1.thm1
2017-02-06 12:45
289
fraenkel__586_37.min1.thm1
2017-02-06 12:45
721
fraenkel__335_12.min1.thm1
2017-02-06 12:45
564
fraenkel__197_12.min1.thm1
2017-02-06 12:45
560
fraenkel__619_14.min1.thm1
2017-02-06 12:45
658
fraenkel__767_37.min1.thm1
2017-02-06 12:45
737
fraenkel__575_14.min1.thm1
2017-02-06 12:45
524
fraenkel__318_12.min1.thm1
2017-02-06 12:45
676
fraenkel__531_16.min1.thm1
2017-02-06 12:45
1.0K
fraenkel__229_17.min1.thm1
2017-02-06 12:45
464
fraenkel__687_25.min1.thm1
2017-02-06 12:45
1.0K
fraenkel__49_17.min1.thm1
2017-02-06 12:45
562
fraenkel__642_17.min1.thm1
2017-02-06 12:45
743
fraenkel__456_15.min1.thm1
2017-02-06 12:45
457
fraenkel__768_16.min1.thm1
2017-02-06 12:45
573
fraenkel__982_21.min1.thm1
2017-02-06 12:45
1.1K
fraenkel__121_16.min1.thm1
2017-02-06 12:45
466
fraenkel__837_27.min1.thm1
2017-02-06 12:45
2.0K
fraenkel__274_15.min1.thm1
2017-02-06 12:45
449
fraenkel__727_32.min1.thm1
2017-02-06 12:45
851
fraenkel__478_10.min1.thm1
2017-02-06 12:45
572
fraenkel__947_47.min1.thm1
2017-02-06 12:45
1.3K
fraenkel__358_10.min1.thm1
2017-02-06 12:45
510
fraenkel__79_57.min1.thm1
2017-02-06 12:45
319
fraenkel__640_19.min1.thm1
2017-02-06 12:45
1.4K
fraenkel__990_15.min1.thm1
2017-02-06 12:45
1.4K
fraenkel__668_20.min1.thm1
2017-02-06 12:45
793
fraenkel__433_10.min1.thm1
2017-02-06 12:45
564
fraenkel__916_48.min1.thm1
2017-02-06 12:45
619
fraenkel__913_38.min1.thm1
2017-02-06 12:45
414
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80