Index of /~mptp/7.13.01_4.181.1147/MPTP2/ilp0/topmetr3
Name
Last modified
Size
Description
Parent Directory
-
topmetr3__66_33.min1.thm1
2017-02-06 12:45
395
topmetr3__70_27.min1.thm1
2017-02-06 12:45
1.5K
topmetr3__73_17.min1.thm1
2017-02-06 12:45
455
topmetr3__73_17.min1.thm1.tptp
2017-02-06 16:46
374
topmetr3__75_24.min1.thm1
2017-02-06 12:45
852
topmetr3__77_16.min1.thm1
2017-02-06 12:45
396
topmetr3__79_46.min1.thm1
2017-02-06 12:45
321
topmetr3__80_27.min1.thm1
2017-02-06 12:45
1.2K
topmetr3__81_49.min1.thm1
2017-02-06 12:45
689
topmetr3__83_17.min1.thm1
2017-02-06 12:45
1.1K
topmetr3__93_43.min1.thm1
2017-02-06 12:45
1.8K
topmetr3__94_25.min1.thm1
2017-02-06 12:45
555
topmetr3__94_25.min1.thm1.tptp
2017-02-06 16:46
483
topmetr3__95_42.min1.thm1
2017-02-06 12:45
1.6K
topmetr3__112_48.min1.thm1
2017-02-06 12:45
1.1K
topmetr3__113_43.min1.thm1
2017-02-06 12:45
1.8K
topmetr3__114_25.min1.thm1
2017-02-06 12:45
555
topmetr3__114_25.min1.thm1.tptp
2017-02-06 16:46
483
topmetr3__115_28.min1.thm1
2017-02-06 12:45
2.4K
topmetr3__116_49.min1.thm1
2017-02-06 12:45
1.7K
topmetr3__121_59.min1.thm1
2017-02-06 12:45
1.0K
topmetr3__129_23.min1.thm1
2017-02-06 12:45
1.8K
topmetr3__130_32.min1.thm1
2017-02-06 12:45
388
topmetr3__138_29.min1.thm1
2017-02-06 12:45
800
topmetr3__142_18.min1.thm1
2017-02-06 12:45
1.1K
topmetr3__146_16.min1.thm1
2017-02-06 12:45
685
topmetr3__146_16.min1.thm1.tptp
2017-02-06 16:46
624
topmetr3__165_30.min1.thm1
2017-02-06 12:45
387
topmetr3__166_44.min1.thm1
2017-02-06 12:45
1.1K
topmetr3__173_66.min1.thm1
2017-02-06 12:45
955
topmetr3__179_32.min1.thm1
2017-02-06 12:45
826
topmetr3__182_23.min1.thm1
2017-02-06 12:45
1.1K
topmetr3__184_18.min1.thm1
2017-02-06 12:45
689
topmetr3__184_18.min1.thm1.tptp
2017-02-06 16:46
628
topmetr3__194_30.min1.thm1
2017-02-06 12:45
1.0K
topmetr3__199_32.min1.thm1
2017-02-06 12:45
395
topmetr3__208_32.min1.thm1
2017-02-06 12:45
826
topmetr3__210_24.min1.thm1
2017-02-06 12:45
1.0K
topmetr3__211_23.min1.thm1
2017-02-06 12:45
1.1K
topmetr3__213_18.min1.thm1
2017-02-06 12:45
663
topmetr3__213_18.min1.thm1.tptp
2017-02-06 16:46
602
topmetr3__217_46.min1.thm1
2017-02-06 12:45
394
topmetr3__217_46.min1.thm1.tptp
2017-02-06 16:46
306
topmetr3__220_34.min1.thm1
2017-02-06 12:45
1.7K
topmetr3__227_32.min1.thm1
2017-02-06 12:45
395
topmetr3__239_23.min1.thm1
2017-02-06 12:45
1.1K
topmetr3__241_18.min1.thm1
2017-02-06 12:45
663
topmetr3__241_18.min1.thm1.tptp
2017-02-06 16:46
602
topmetr3__254_26.min1.thm1
2017-02-06 12:45
874
topmetr3__255_16.min1.thm1
2017-02-06 12:45
699
topmetr3__256_22.min1.thm1
2017-02-06 12:45
1.8K
topmetr3__257_21.min1.thm1
2017-02-06 12:45
2.1K
topmetr3__260_17.min1.thm1
2017-02-06 12:45
1.6K
topmetr3__269_60.min1.thm1
2017-02-06 12:45
566
topmetr3__272_17.min1.thm1
2017-02-06 12:45
1.5K
topmetr3__285_42.min1.thm1
2017-02-06 12:45
535
topmetr3__286_57.min1.thm1
2017-02-06 12:45
566
topmetr3__292_19.min1.thm1
2017-02-06 12:45
1.7K
topmetr3__296_18.min1.thm1
2017-02-06 12:45
668
topmetr3__321_23.min1.thm1
2017-02-06 12:45
1.1K
topmetr3__323_18.min1.thm1
2017-02-06 12:45
809
topmetr3__323_18.min1.thm1.tptp
2017-02-06 16:46
748
topmetr3__333_20.min1.thm1
2017-02-06 12:45
1.5K
topmetr3__334_52.min1.thm1
2017-02-06 12:45
1.4K
topmetr3__351_23.min1.thm1
2017-02-06 12:45
1.1K
topmetr3__353_18.min1.thm1
2017-02-06 12:45
689
topmetr3__353_18.min1.thm1.tptp
2017-02-06 16:46
628
topmetr3__357_47.min1.thm1
2017-02-06 12:45
514
topmetr3__357_47.min1.thm1.tptp
2017-02-06 16:46
426
topmetr3__361_54.min1.thm1
2017-02-06 12:45
2.1K
topmetr3__381_23.min1.thm1
2017-02-06 12:45
1.2K
topmetr3__383_18.min1.thm1
2017-02-06 12:45
689
topmetr3__383_18.min1.thm1.tptp
2017-02-06 16:46
628
topmetr3__400_45.min1.thm1
2017-02-06 12:45
1.2K
topmetr3__421_12.min1.thm1
2017-02-06 12:45
1.0K
topmetr3__422_16.min1.thm1
2017-02-06 12:45
1.7K
topmetr3__425_57.min1.thm1
2017-02-06 12:45
568
topmetr3__427_19.min1.thm1
2017-02-06 12:45
1.9K
topmetr3__429_28.min1.thm1
2017-02-06 12:45
1.4K
topmetr3__430_17.min1.thm1
2017-02-06 12:45
1.9K
topmetr3__447_12.min1.thm1
2017-02-06 12:45
1.0K
topmetr3__449_12.min1.thm1
2017-02-06 12:45
1.0K
topmetr3__450_16.min1.thm1
2017-02-06 12:45
1.7K
topmetr3__453_57.min1.thm1
2017-02-06 12:45
580
topmetr3__455_19.min1.thm1
2017-02-06 12:45
2.0K
topmetr3__457_28.min1.thm1
2017-02-06 12:45
1.3K
topmetr3__458_17.min1.thm1
2017-02-06 12:45
2.0K
topmetr3__467_44.min1.thm1
2017-02-06 12:45
479
topmetr3__475_12.min1.thm1
2017-02-06 12:45
3.4K
topmetr3__476_21.min1.thm1
2017-02-06 12:45
2.8K
topmetr3__481_18.min1.thm1
2017-02-06 12:45
422
topmetr3__482_19.min1.thm1
2017-02-06 12:45
895
topmetr3__499_17.min1.thm1
2017-02-06 12:45
203
topmetr3__502_22.min1.thm1
2017-02-06 12:45
593
topmetr3__506_46.min1.thm1
2017-02-06 12:45
240
topmetr3__507_48.min1.thm1
2017-02-06 12:45
1.0K
topmetr3__509_21.min1.thm1
2017-02-06 12:45
275
topmetr3__513_67.min1.thm1
2017-02-06 12:45
1.9K
topmetr3__514_29.min1.thm1
2017-02-06 12:45
596
topmetr3__520_17.min1.thm1
2017-02-06 12:45
2.0K
topmetr3__521_29.min1.thm1
2017-02-06 12:45
596
topmetr3__524_22.min1.thm1
2017-02-06 12:45
515
topmetr3__527_18.min1.thm1
2017-02-06 12:45
509
topmetr3__543_14.min1.thm1
2017-02-06 12:45
598
topmetr3__544_39.min1.thm1
2017-02-06 12:45
889
topmetr3__548_36.min1.thm1
2017-02-06 12:45
909
topmetr3__551_37.min1.thm1
2017-02-06 12:45
384
topmetr3__551_37.min1.thm1.tptp
2017-02-06 16:46
306
topmetr3__553_17.min1.thm1
2017-02-06 12:45
245
topmetr3__556_25.min1.thm1
2017-02-06 12:45
3.2K
topmetr3__560_35.min1.thm1
2017-02-06 12:45
3.3K
topmetr3__561_22.min1.thm1
2017-02-06 12:45
1.1K
topmetr3__564_18.min1.thm1
2017-02-06 12:45
537
topmetr3__566_12.min1.thm1
2017-02-06 12:45
1.1K
topmetr3__568_21.min1.thm1
2017-02-06 12:45
419
topmetr3__568_21.min1.thm1.tptp
2017-02-06 16:46
338
topmetr3__569_19.min1.thm1
2017-02-06 12:45
442
topmetr3__571_43.min1.thm1
2017-02-06 12:45
760
topmetr3__577_41.min1.thm1
2017-02-06 12:45
1.0K
topmetr3__578_21.min1.thm1
2017-02-06 12:45
1.2K
topmetr3__579_45.min1.thm1
2017-02-06 12:45
827
topmetr3__581_15.min1.thm1
2017-02-06 12:45
235
topmetr3__584_23.min1.thm1
2017-02-06 12:45
3.7K
topmetr3__588_23.min1.thm1
2017-02-06 12:45
4.3K
topmetr3__591_16.min1.thm1
2017-02-06 12:45
782
topmetr3__591_16.min1.thm1.tptp
2017-02-06 16:46
703
topmetr3__593_12.min1.thm1
2017-02-06 12:45
1.4K
topmetr3__599_42.min1.thm1
2017-02-06 12:45
1.0K
topmetr3__600_17.min1.thm1
2017-02-06 12:45
707
topmetr3__601_43.min1.thm1
2017-02-06 12:45
855
topmetr3__603_15.min1.thm1
2017-02-06 12:45
235
topmetr3__606_23.min1.thm1
2017-02-06 12:45
4.0K
topmetr3__610_23.min1.thm1
2017-02-06 12:45
4.3K
topmetr3__613_16.min1.thm1
2017-02-06 12:45
618
topmetr3__622_23.min1.thm1
2017-02-06 12:45
503
topmetr3__622_23.min1.thm1.tptp
2017-02-06 16:46
422
topmetr3__624_17.min1.thm1
2017-02-06 12:45
1.9K
topmetr3__627_32.min1.thm1
2017-02-06 12:45
3.2K
topmetr3__631_33.min1.thm1
2017-02-06 12:45
796
topmetr3__634_26.min1.thm1
2017-02-06 12:45
574
topmetr3__636_16.min1.thm1
2017-02-06 12:45
502
topmetr3__648_43.min1.thm1
2017-02-06 12:45
1.0K
topmetr3__649_23.min1.thm1
2017-02-06 12:45
1.2K
topmetr3__650_47.min1.thm1
2017-02-06 12:45
835
topmetr3__652_17.min1.thm1
2017-02-06 12:45
245
topmetr3__655_33.min1.thm1
2017-02-06 12:45
4.0K
topmetr3__659_33.min1.thm1
2017-02-06 12:45
4.3K
topmetr3__668_22.min1.thm1
2017-02-06 12:45
2.1K
topmetr3__675_36.min1.thm1
2017-02-06 12:45
1.5K
topmetr3__678_32.min1.thm1
2017-02-06 12:45
735
topmetr3__680_18.min1.thm1
2017-02-06 12:45
606
topmetr3__682_9.min1.thm1
2017-02-06 12:45
2.5K
topmetr3__684_16.min1.thm1
2017-02-06 12:45
564
topmetr3__686_9.min1.thm1
2017-02-06 12:45
1.3K
topmetr3__689_9.min1.thm1
2017-02-06 12:45
470
topmetr3__692_25.min1.thm1
2017-02-06 12:45
644
topmetr3__701_46.min1.thm1
2017-02-06 12:45
1.6K
topmetr3__705_43.min1.thm1
2017-02-06 12:45
1.0K
topmetr3__706_23.min1.thm1
2017-02-06 12:45
1.2K
topmetr3__707_47.min1.thm1
2017-02-06 12:45
835
topmetr3__711_17.min1.thm1
2017-02-06 12:45
245
topmetr3__718_35.min1.thm1
2017-02-06 12:45
3.2K
topmetr3__719_25.min1.thm1
2017-02-06 12:45
2.5K
topmetr3__722_18.min1.thm1
2017-02-06 12:45
546
topmetr3__724_12.min1.thm1
2017-02-06 12:45
1.4K
topmetr3__726_19.min1.thm1
2017-02-06 12:45
1.6K
topmetr3__731_21.min1.thm1
2017-02-06 12:45
2.0K
topmetr3__733_28.min1.thm1
2017-02-06 12:45
2.6K
topmetr3__734_39.min1.thm1
2017-02-06 12:45
1.2K
topmetr3__735_19.min1.thm1
2017-02-06 12:45
2.0K
topmetr3__738_27.min1.thm1
2017-02-06 12:45
1.4K
topmetr3__745_14.min1.thm1
2017-02-06 12:45
952
topmetr3__746_14.min1.thm1
2017-02-06 12:45
1.8K
topmetr3__747_20.min1.thm1
2017-02-06 12:45
2.9K
topmetr3__748_26.min1.thm1
2017-02-06 12:45
2.7K
topmetr3__749_22.min1.thm1
2017-02-06 12:45
2.2K
topmetr3__751_22.min1.thm1
2017-02-06 12:45
3.5K
topmetr3__752_28.min1.thm1
2017-02-06 12:45
2.4K
topmetr3__755_21.min1.thm1
2017-02-06 12:45
2.2K
topmetr3__756_19.min1.thm1
2017-02-06 12:45
475
topmetr3__756_19.min1.thm1.tptp
2017-02-06 16:46
394
topmetr3__757_22.min1.thm1
2017-02-06 12:45
2.1K
topmetr3__758_19.min1.thm1
2017-02-06 12:45
2.7K
topmetr3__761_46.min1.thm1
2017-02-06 12:45
1.0K
topmetr3__763_15.min1.thm1
2017-02-06 12:45
1.7K
topmetr3__764_35.min1.thm1
2017-02-06 12:45
636
topmetr3__770_17.min1.thm1
2017-02-06 12:45
708
topmetr3__771_26.min1.thm1
2017-02-06 12:45
2.2K
topmetr3__772_19.min1.thm1
2017-02-06 12:45
2.6K
topmetr3__777_59.min1.thm1
2017-02-06 12:45
1.6K
topmetr3__778_19.min1.thm1
2017-02-06 12:45
2.0K
topmetr3__781_27.min1.thm1
2017-02-06 12:45
1.4K
topmetr3__782_31.min1.thm1
2017-02-06 12:45
1.5K
topmetr3__783_17.min1.thm1
2017-02-06 12:45
2.3K
topmetr3__792_44.min1.thm1
2017-02-06 12:45
479
topmetr3__800_12.min1.thm1
2017-02-06 12:45
3.4K
topmetr3__801_21.min1.thm1
2017-02-06 12:45
2.8K
topmetr3__806_18.min1.thm1
2017-02-06 12:45
422
topmetr3__807_19.min1.thm1
2017-02-06 12:45
895
topmetr3__824_17.min1.thm1
2017-02-06 12:45
203
topmetr3__829_78.min1.thm1
2017-02-06 12:45
593
topmetr3__833_46.min1.thm1
2017-02-06 12:45
240
topmetr3__834_48.min1.thm1
2017-02-06 12:45
1.0K
topmetr3__836_21.min1.thm1
2017-02-06 12:45
275
topmetr3__840_67.min1.thm1
2017-02-06 12:45
1.9K
topmetr3__841_29.min1.thm1
2017-02-06 12:45
596
topmetr3__847_17.min1.thm1
2017-02-06 12:45
2.0K
topmetr3__848_29.min1.thm1
2017-02-06 12:45
596
topmetr3__851_22.min1.thm1
2017-02-06 12:45
515
topmetr3__854_18.min1.thm1
2017-02-06 12:45
509
topmetr3__870_14.min1.thm1
2017-02-06 12:45
598
topmetr3__871_39.min1.thm1
2017-02-06 12:45
889
topmetr3__875_36.min1.thm1
2017-02-06 12:45
909
topmetr3__878_37.min1.thm1
2017-02-06 12:45
384
topmetr3__878_37.min1.thm1.tptp
2017-02-06 16:46
306
topmetr3__880_17.min1.thm1
2017-02-06 12:45
245
topmetr3__883_25.min1.thm1
2017-02-06 12:45
3.2K
topmetr3__887_35.min1.thm1
2017-02-06 12:45
3.3K
topmetr3__888_22.min1.thm1
2017-02-06 12:45
1.1K
topmetr3__891_18.min1.thm1
2017-02-06 12:45
537
topmetr3__893_12.min1.thm1
2017-02-06 12:45
1.1K
topmetr3__895_21.min1.thm1
2017-02-06 12:45
419
topmetr3__895_21.min1.thm1.tptp
2017-02-06 16:46
338
topmetr3__896_19.min1.thm1
2017-02-06 12:45
442
topmetr3__898_43.min1.thm1
2017-02-06 12:45
760
topmetr3__904_41.min1.thm1
2017-02-06 12:45
1.0K
topmetr3__905_21.min1.thm1
2017-02-06 12:45
1.2K
topmetr3__906_45.min1.thm1
2017-02-06 12:45
827
topmetr3__908_15.min1.thm1
2017-02-06 12:45
235
topmetr3__911_23.min1.thm1
2017-02-06 12:45
3.7K
topmetr3__915_23.min1.thm1
2017-02-06 12:45
3.9K
topmetr3__918_16.min1.thm1
2017-02-06 12:45
782
topmetr3__918_16.min1.thm1.tptp
2017-02-06 16:46
703
topmetr3__920_12.min1.thm1
2017-02-06 12:45
1.4K
topmetr3__926_42.min1.thm1
2017-02-06 12:45
1.0K
topmetr3__927_17.min1.thm1
2017-02-06 12:45
707
topmetr3__928_43.min1.thm1
2017-02-06 12:45
855
topmetr3__930_15.min1.thm1
2017-02-06 12:45
235
topmetr3__933_23.min1.thm1
2017-02-06 12:45
4.0K
topmetr3__937_23.min1.thm1
2017-02-06 12:45
4.3K
topmetr3__940_16.min1.thm1
2017-02-06 12:45
618
topmetr3__949_23.min1.thm1
2017-02-06 12:45
503
topmetr3__949_23.min1.thm1.tptp
2017-02-06 16:46
422
topmetr3__951_17.min1.thm1
2017-02-06 12:45
2.4K
topmetr3__954_32.min1.thm1
2017-02-06 12:45
3.2K
topmetr3__958_30.min1.thm1
2017-02-06 12:45
1.5K
topmetr3__961_26.min1.thm1
2017-02-06 12:45
606
topmetr3__963_16.min1.thm1
2017-02-06 12:45
502
topmetr3__975_43.min1.thm1
2017-02-06 12:45
1.0K
topmetr3__976_23.min1.thm1
2017-02-06 12:45
1.2K
topmetr3__977_47.min1.thm1
2017-02-06 12:45
835
topmetr3__979_17.min1.thm1
2017-02-06 12:45
245
topmetr3__982_33.min1.thm1
2017-02-06 12:45
4.0K
topmetr3__986_33.min1.thm1
2017-02-06 12:45
4.3K
topmetr3__995_22.min1.thm1
2017-02-06 12:45
2.1K
topmetr3__1002_36.min1.thm1
2017-02-06 12:45
1.5K
topmetr3__1005_32.min1.thm1
2017-02-06 12:45
735
topmetr3__1007_18.min1.thm1
2017-02-06 12:45
606
topmetr3__1009_9.min1.thm1
2017-02-06 12:45
2.5K
topmetr3__1012_9.min1.thm1
2017-02-06 12:45
1.3K
topmetr3__1015_9.min1.thm1
2017-02-06 12:45
470
topmetr3__1018_25.min1.thm1
2017-02-06 12:45
644
topmetr3__1027_46.min1.thm1
2017-02-06 12:45
1.6K
topmetr3__1031_43.min1.thm1
2017-02-06 12:45
1.0K
topmetr3__1032_23.min1.thm1
2017-02-06 12:45
1.2K
topmetr3__1033_47.min1.thm1
2017-02-06 12:45
835
topmetr3__1037_17.min1.thm1
2017-02-06 12:45
245
topmetr3__1044_35.min1.thm1
2017-02-06 12:45
3.1K
topmetr3__1045_25.min1.thm1
2017-02-06 12:45
2.3K
topmetr3__1048_18.min1.thm1
2017-02-06 12:45
546
topmetr3__1050_12.min1.thm1
2017-02-06 12:45
1.3K
topmetr3__1052_19.min1.thm1
2017-02-06 12:45
1.6K
topmetr3__1057_39.min1.thm1
2017-02-06 12:45
1.2K
topmetr3__1059_40.min1.thm1
2017-02-06 12:45
1.2K
topmetr3__1060_21.min1.thm1
2017-02-06 12:45
2.0K
topmetr3__1061_32.min1.thm1
2017-02-06 12:45
2.6K
topmetr3__1062_19.min1.thm1
2017-02-06 12:45
2.3K
topmetr3__1065_27.min1.thm1
2017-02-06 12:45
1.4K
topmetr3__1072_14.min1.thm1
2017-02-06 12:45
952
topmetr3__1073_14.min1.thm1
2017-02-06 12:45
1.8K
topmetr3__1074_20.min1.thm1
2017-02-06 12:45
2.9K
topmetr3__1075_26.min1.thm1
2017-02-06 12:45
2.7K
topmetr3__1076_22.min1.thm1
2017-02-06 12:45
2.2K
topmetr3__1078_22.min1.thm1
2017-02-06 12:45
3.5K
topmetr3__1082_21.min1.thm1
2017-02-06 12:45
2.2K
topmetr3__1083_19.min1.thm1
2017-02-06 12:45
475
topmetr3__1083_19.min1.thm1.tptp
2017-02-06 16:46
394
topmetr3__1084_22.min1.thm1
2017-02-06 12:45
2.5K
topmetr3__1085_19.min1.thm1
2017-02-06 12:45
2.9K
topmetr3__1088_48.min1.thm1
2017-02-06 12:45
1.0K
topmetr3__1090_15.min1.thm1
2017-02-06 12:45
1.8K
topmetr3__1097_17.min1.thm1
2017-02-06 12:45
708
topmetr3__1098_26.min1.thm1
2017-02-06 12:45
2.2K
topmetr3__1099_19.min1.thm1
2017-02-06 12:45
2.6K
topmetr3__1104_37.min1.thm1
2017-02-06 12:45
1.2K
topmetr3__1106_38.min1.thm1
2017-02-06 12:45
1.2K
topmetr3__1107_26.min1.thm1
2017-02-06 12:45
452
topmetr3__1107_26.min1.thm1.tptp
2017-02-06 16:46
371
topmetr3__1108_19.min1.thm1
2017-02-06 12:45
2.3K
topmetr3__1111_27.min1.thm1
2017-02-06 12:45
1.4K
topmetr3__1112_31.min1.thm1
2017-02-06 12:45
1.5K
topmetr3__1113_17.min1.thm1
2017-02-06 12:45
2.3K
topmetr3__1141_16.min1.thm1
2017-02-06 12:45
536
topmetr3__1144_25.min1.thm1
2017-02-06 12:45
847
topmetr3__1150_16.min1.thm1
2017-02-06 12:45
391
topmetr3__1157_16.min1.thm1
2017-02-06 12:45
391
topmetr3__1160_26.min1.thm1
2017-02-06 12:45
794
topmetr3__1164_28.min1.thm1
2017-02-06 12:45
927
topmetr3__1173_12.min1.thm1
2017-02-06 12:45
940
topmetr3__1174_19.min1.thm1
2017-02-06 12:45
1.9K
topmetr3__1178_55.min1.thm1
2017-02-06 12:45
909
topmetr3__1181_31.min1.thm1
2017-02-06 12:45
1.3K
topmetr3__1182_51.min1.thm1
2017-02-06 12:45
1.5K
topmetr3__1184_48.min1.thm1
2017-02-06 12:45
1.6K
topmetr3__1185_46.min1.thm1
2017-02-06 12:45
1.3K
topmetr3__1207_20.min1.thm1
2017-02-06 12:45
1.4K
topmetr3__1214_16.min1.thm1
2017-02-06 12:45
702
topmetr3__1214_16.min1.thm1.tptp
2017-02-06 16:46
641
topmetr3__1216_25.min1.thm1
2017-02-06 12:45
798
topmetr3__1225_16.min1.thm1
2017-02-06 12:45
546
topmetr3__1229_32.min1.thm1
2017-02-06 12:45
848
topmetr3__1235_16.min1.thm1
2017-02-06 12:45
411
topmetr3__1242_16.min1.thm1
2017-02-06 12:45
411
topmetr3__1245_27.min1.thm1
2017-02-06 12:45
968
topmetr3__1249_29.min1.thm1
2017-02-06 12:45
933
topmetr3__1250_24.min1.thm1
2017-02-06 12:45
3.1K
topmetr3__1259_12.min1.thm1
2017-02-06 12:45
946
topmetr3__1264_46.min1.thm1
2017-02-06 12:45
1.3K
topmetr3__1273_17.min1.thm1
2017-02-06 12:45
708
topmetr3__1274_27.min1.thm1
2017-02-06 12:45
2.1K
topmetr3__1275_22.min1.thm1
2017-02-06 12:45
860
topmetr3__1283_55.min1.thm1
2017-02-06 12:45
909
topmetr3__1285_31.min1.thm1
2017-02-06 12:45
1.3K
topmetr3__1286_51.min1.thm1
2017-02-06 12:45
1.5K
topmetr3__1288_48.min1.thm1
2017-02-06 12:45
1.6K
topmetr3__1305_20.min1.thm1
2017-02-06 12:45
1.4K
topmetr3__1312_16.min1.thm1
2017-02-06 12:45
709
topmetr3__1312_16.min1.thm1.tptp
2017-02-06 16:46
648
topmetr3__1314_26.min1.thm1
2017-02-06 12:45
1.4K
topmetr3__1325_20.min1.thm1
2017-02-06 12:45
2.1K
topmetr3__1334_18.min1.thm1
2017-02-06 12:45
1.7K
topmetr3__1337_34.min1.thm1
2017-02-06 12:45
1.3K
topmetr3__1346_29.min1.thm1
2017-02-06 12:45
1.7K
topmetr3__1347_31.min1.thm1
2017-02-06 12:45
1.6K
topmetr3__1349_42.min1.thm1
2017-02-06 12:45
1.0K
topmetr3__1351_37.min1.thm1
2017-02-06 12:45
1.4K
topmetr3__1355_19.min1.thm1
2017-02-06 12:45
1.4K
topmetr3__1359_25.min1.thm1
2017-02-06 12:45
1.1K
topmetr3__1367_16.min1.thm1
2017-02-06 12:45
424
topmetr3__1377_17.min1.thm1
2017-02-06 12:45
713
topmetr3__1378_27.min1.thm1
2017-02-06 12:45
2.1K
topmetr3__1379_23.min1.thm1
2017-02-06 12:45
869
topmetr3__1386_17.min1.thm1
2017-02-06 12:45
1.0K
topmetr3__1400_26.min1.thm1
2017-02-06 12:45
1.5K
topmetr3__1414_50.min1.thm1
2017-02-06 12:45
1.6K
topmetr3__1415_53.min1.thm1
2017-02-06 12:45
1.4K
topmetr3__1415_60.min1.thm1
2017-02-06 12:45
1.3K
topmetr3__1416_64.min1.thm1
2017-02-06 12:45
889
topmetr3__1417_59.min1.thm1
2017-02-06 12:45
889
topmetr3__1418_50.min1.thm1
2017-02-06 12:45
1.4K
topmetr3__1419_25.min1.thm1
2017-02-06 12:45
1.0K
topmetr3__1422_37.min1.thm1
2017-02-06 12:45
1.4K
topmetr3__1423_25.min1.thm1
2017-02-06 12:45
1.0K
topmetr3__1426_56.min1.thm1
2017-02-06 12:45
1.5K
topmetr3__1428_48.min1.thm1
2017-02-06 12:45
667
topmetr3__1429_48.min1.thm1
2017-02-06 12:45
580
topmetr3__1429_48.min1.thm1.tptp
2017-02-06 16:46
524
topmetr3__1436_34.min1.thm1
2017-02-06 12:45
2.2K
topmetr3__1437_11.min1.thm1
2017-02-06 12:45
1.3K
topmetr3__1438_23.min1.thm1
2017-02-06 12:45
2.2K
topmetr3__1440_13.min1.thm1
2017-02-06 12:45
470
topmetr3__1449_16.min1.thm1
2017-02-06 12:45
1.5K
topmetr3__1450_33.min1.thm1
2017-02-06 12:45
1.5K
topmetr3__1456_27.min1.thm1
2017-02-06 12:45
857
topmetr3__1467_20.min1.thm1
2017-02-06 12:45
610
topmetr3__1474_17.min1.thm1
2017-02-06 12:45
476
topmetr3__1483_20.min1.thm1
2017-02-06 12:45
1.5K
topmetr3__1484_37.min1.thm1
2017-02-06 12:45
1.5K
topmetr3__1490_31.min1.thm1
2017-02-06 12:45
941
topmetr3__1501_24.min1.thm1
2017-02-06 12:45
670
topmetr3__1510_34.min1.thm1
2017-02-06 12:45
514
topmetr3__1511_26.min1.thm1
2017-02-06 12:45
1.4K
topmetr3__1512_31.min1.thm1
2017-02-06 12:45
1.8K
topmetr3__1518_37.min1.thm1
2017-02-06 12:45
508
topmetr3__1519_26.min1.thm1
2017-02-06 12:45
1.4K
topmetr3__1521_26.min1.thm1
2017-02-06 12:45
1.9K
topmetr3__1525_21.min1.thm1
2017-02-06 12:45
285
topmetr3__1529_28.min1.thm1
2017-02-06 12:45
875
topmetr3__1536_67.min1.thm1
2017-02-06 12:45
860
topmetr3__1538_69.min1.thm1
2017-02-06 12:45
1.4K
topmetr3__1539_27.min1.thm1
2017-02-06 12:45
1.3K
topmetr3__1540_67.min1.thm1
2017-02-06 12:45
1.4K
topmetr3__1541_26.min1.thm1
2017-02-06 12:45
1.3K
topmetr3__1542_64.min1.thm1
2017-02-06 12:45
1.5K
topmetr3__1545_60.min1.thm1
2017-02-06 12:45
2.0K
topmetr3__1546_30.min1.thm1
2017-02-06 12:45
1.0K
topmetr3__1556_25.min1.thm1
2017-02-06 12:45
1.1K
topmetr3__1559_31.min1.thm1
2017-02-06 12:45
2.3K
topmetr3__1560_31.min1.thm1
2017-02-06 12:45
1.8K
topmetr3__1581_63.min1.thm1
2017-02-06 12:45
854
topmetr3__1582_65.min1.thm1
2017-02-06 12:45
1.4K
topmetr3__1583_23.min1.thm1
2017-02-06 12:45
1.3K
topmetr3__1584_63.min1.thm1
2017-02-06 12:45
1.4K
topmetr3__1585_22.min1.thm1
2017-02-06 12:45
1.3K
topmetr3__1586_60.min1.thm1
2017-02-06 12:45
1.5K
topmetr3__1587_72.min1.thm1
2017-02-06 12:45
2.0K
topmetr3__1589_26.min1.thm1
2017-02-06 12:45
1.0K
topmetr3__1599_21.min1.thm1
2017-02-06 12:45
1.1K
topmetr3__1602_27.min1.thm1
2017-02-06 12:45
2.3K
topmetr3__1603_27.min1.thm1
2017-02-06 12:45
1.8K
topmetr3__1621_18.min1.thm1
2017-02-06 12:45
719
topmetr3__1624_14.min1.thm1
2017-02-06 12:45
799
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80