Index of /~mptp/7.13.01_4.181.1147/mptp/ilp0/tops_2
Name
Last modified
Size
Description
Parent Directory
-
tops_2__49_71.min1.thm1
2017-02-06 12:45
510
tops_2__62_18.min1.thm1
2017-02-06 12:45
793
tops_2__63_16.min1.thm1
2017-02-06 12:45
731
tops_2__65_14.min1.thm1
2017-02-06 12:45
463
tops_2__75_36.min1.thm1
2017-02-06 12:45
526
tops_2__76_43.min1.thm1
2017-02-06 12:45
1.2K
tops_2__77_14.min1.thm1
2017-02-06 12:45
398
tops_2__88_22.min1.thm1
2017-02-06 12:45
919
tops_2__91_13.min1.thm1
2017-02-06 12:45
663
tops_2__92_21.min1.thm1
2017-02-06 12:45
922
tops_2__93_20.min1.thm1
2017-02-06 12:45
711
tops_2__94_20.min1.thm1
2017-02-06 12:45
745
tops_2__95_17.min1.thm1
2017-02-06 12:45
971
tops_2__103_45.min1.thm1
2017-02-06 12:45
446
tops_2__103_45.min1.thm1.tptp
2017-02-06 16:46
378
tops_2__105_41.min1.thm1
2017-02-06 12:45
1.0K
tops_2__106_14.min1.thm1
2017-02-06 12:45
498
tops_2__115_45.min1.thm1
2017-02-06 12:45
683
tops_2__116_14.min1.thm1
2017-02-06 12:45
1.0K
tops_2__125_45.min1.thm1
2017-02-06 12:45
685
tops_2__126_17.min1.thm1
2017-02-06 12:45
643
tops_2__127_14.min1.thm1
2017-02-06 12:45
854
tops_2__139_38.min1.thm1
2017-02-06 12:45
681
tops_2__140_26.min1.thm1
2017-02-06 12:45
128
tops_2__142_15.min1.thm1
2017-02-06 12:45
433
tops_2__142_15.min1.thm1.tptp
2017-02-06 16:46
364
tops_2__153_14.min1.thm1
2017-02-06 12:45
572
tops_2__154_38.min1.thm1
2017-02-06 12:45
771
tops_2__155_16.min1.thm1
2017-02-06 12:45
1.1K
tops_2__156_21.min1.thm1
2017-02-06 12:45
1.0K
tops_2__160_38.min1.thm1
2017-02-06 12:45
489
tops_2__161_11.min1.thm1
2017-02-06 12:45
461
tops_2__161_11.min1.thm1.tptp
2017-02-06 16:46
387
tops_2__162_31.min1.thm1
2017-02-06 12:45
1.2K
tops_2__164_19.min1.thm1
2017-02-06 12:45
920
tops_2__165_18.min1.thm1
2017-02-06 12:45
1.3K
tops_2__166_19.min1.thm1
2017-02-06 12:45
1.0K
tops_2__168_19.min1.thm1
2017-02-06 12:45
360
tops_2__168_19.min1.thm1.tptp
2017-02-06 16:46
300
tops_2__170_29.min1.thm1
2017-02-06 12:45
575
tops_2__172_17.min1.thm1
2017-02-06 12:45
572
tops_2__180_53.min1.thm1
2017-02-06 12:45
567
tops_2__182_40.min1.thm1
2017-02-06 12:45
533
tops_2__183_17.min1.thm1
2017-02-06 12:45
825
tops_2__209_19.min1.thm1
2017-02-06 12:45
967
tops_2__210_24.min1.thm1
2017-02-06 12:45
918
tops_2__211_19.min1.thm1
2017-02-06 12:45
625
tops_2__217_7.min1.thm1
2017-02-06 12:45
459
tops_2__217_7.min1.thm1.tptp
2017-02-06 16:46
385
tops_2__218_29.min1.thm1
2017-02-06 12:45
1.2K
tops_2__219_20.min1.thm1
2017-02-06 12:45
1.1K
tops_2__220_17.min1.thm1
2017-02-06 12:45
613
tops_2__226_29.min1.thm1
2017-02-06 12:45
485
tops_2__226_29.min1.thm1.tptp
2017-02-06 16:46
411
tops_2__227_17.min1.thm1
2017-02-06 12:45
896
tops_2__237_17.min1.thm1
2017-02-06 12:45
1.1K
tops_2__247_17.min1.thm1
2017-02-06 12:45
1.1K
tops_2__257_26.min1.thm1
2017-02-06 12:45
872
tops_2__258_17.min1.thm1
2017-02-06 12:45
1.0K
tops_2__268_16.min1.thm1
2017-02-06 12:45
683
tops_2__269_17.min1.thm1
2017-02-06 12:45
828
tops_2__279_16.min1.thm1
2017-02-06 12:45
686
tops_2__280_17.min1.thm1
2017-02-06 12:45
828
tops_2__290_26.min1.thm1
2017-02-06 12:45
872
tops_2__291_17.min1.thm1
2017-02-06 12:45
1.0K
tops_2__301_16.min1.thm1
2017-02-06 12:45
683
tops_2__302_17.min1.thm1
2017-02-06 12:45
828
tops_2__312_16.min1.thm1
2017-02-06 12:45
686
tops_2__313_17.min1.thm1
2017-02-06 12:45
828
tops_2__326_39.min1.thm1
2017-02-06 12:45
498
tops_2__327_16.min1.thm1
2017-02-06 12:45
933
tops_2__328_19.min1.thm1
2017-02-06 12:45
677
tops_2__330_39.min1.thm1
2017-02-06 12:45
1.0K
tops_2__331_17.min1.thm1
2017-02-06 12:45
830
tops_2__341_16.min1.thm1
2017-02-06 12:45
402
tops_2__341_16.min1.thm1.tptp
2017-02-06 16:46
339
tops_2__343_20.min1.thm1
2017-02-06 12:45
567
tops_2__357_57.min1.thm1
2017-02-06 12:45
1.1K
tops_2__358_58.min1.thm1
2017-02-06 12:45
1.0K
tops_2__361_19.min1.thm1
2017-02-06 12:45
1.9K
tops_2__363_28.min1.thm1
2017-02-06 12:45
626
tops_2__365_17.min1.thm1
2017-02-06 12:45
1.6K
tops_2__366_19.min1.thm1
2017-02-06 12:45
1.9K
tops_2__369_24.min1.thm1
2017-02-06 12:45
910
tops_2__370_25.min1.thm1
2017-02-06 12:45
1.3K
tops_2__371_22.min1.thm1
2017-02-06 12:45
1.4K
tops_2__373_21.min1.thm1
2017-02-06 12:45
1.9K
tops_2__374_28.min1.thm1
2017-02-06 12:45
839
tops_2__376_26.min1.thm1
2017-02-06 12:45
690
tops_2__377_23.min1.thm1
2017-02-06 12:45
404
tops_2__377_23.min1.thm1.tptp
2017-02-06 16:46
326
tops_2__379_17.min1.thm1
2017-02-06 12:45
1.0K
tops_2__380_21.min1.thm1
2017-02-06 12:45
823
tops_2__382_24.min1.thm1
2017-02-06 12:45
1.3K
tops_2__383_44.min1.thm1
2017-02-06 12:45
519
tops_2__383_44.min1.thm1.tptp
2017-02-06 16:46
442
tops_2__384_36.min1.thm1
2017-02-06 12:45
641
tops_2__384_36.min1.thm1.tptp
2017-02-06 16:46
570
tops_2__386_21.min1.thm1
2017-02-06 12:45
1.4K
tops_2__392_19.min1.thm1
2017-02-06 12:45
1.4K
tops_2__393_29.min1.thm1
2017-02-06 12:45
685
tops_2__394_26.min1.thm1
2017-02-06 12:45
1.7K
tops_2__395_25.min1.thm1
2017-02-06 12:45
916
tops_2__396_21.min1.thm1
2017-02-06 12:45
1.2K
tops_2__398_19.min1.thm1
2017-02-06 12:45
679
tops_2__406_32.min1.thm1
2017-02-06 12:45
374
tops_2__406_32.min1.thm1.tptp
2017-02-06 16:46
297
tops_2__407_18.min1.thm1
2017-02-06 12:45
1.4K
tops_2__408_19.min1.thm1
2017-02-06 12:45
840
tops_2__414_21.min1.thm1
2017-02-06 12:45
700
tops_2__415_19.min1.thm1
2017-02-06 12:45
1.3K
tops_2__419_19.min1.thm1
2017-02-06 12:45
667
tops_2__420_21.min1.thm1
2017-02-06 12:45
1.1K
tops_2__422_19.min1.thm1
2017-02-06 12:45
938
tops_2__423_31.min1.thm1
2017-02-06 12:45
374
tops_2__423_31.min1.thm1.tptp
2017-02-06 16:46
297
tops_2__424_19.min1.thm1
2017-02-06 12:45
899
tops_2__429_13.min1.thm1
2017-02-06 12:45
386
tops_2__430_11.min1.thm1
2017-02-06 12:45
1.1K
tops_2__431_19.min1.thm1
2017-02-06 12:45
1.2K
tops_2__433_17.min1.thm1
2017-02-06 12:45
589
tops_2__439_53.min1.thm1
2017-02-06 12:45
508
tops_2__439_53.min1.thm1.tptp
2017-02-06 16:46
430
tops_2__441_57.min1.thm1
2017-02-06 12:45
1.0K
tops_2__443_21.min1.thm1
2017-02-06 12:45
911
tops_2__446_43.min1.thm1
2017-02-06 12:45
665
tops_2__447_19.min1.thm1
2017-02-06 12:45
1.1K
tops_2__449_17.min1.thm1
2017-02-06 12:45
1.1K
tops_2__455_53.min1.thm1
2017-02-06 12:45
508
tops_2__455_53.min1.thm1.tptp
2017-02-06 16:46
430
tops_2__457_31.min1.thm1
2017-02-06 12:45
660
tops_2__459_22.min1.thm1
2017-02-06 12:45
824
tops_2__462_43.min1.thm1
2017-02-06 12:45
665
tops_2__463_19.min1.thm1
2017-02-06 12:45
1.1K
tops_2__467_25.min1.thm1
2017-02-06 12:45
972
tops_2__468_16.min1.thm1
2017-02-06 12:45
1.1K
tops_2__470_17.min1.thm1
2017-02-06 12:45
487
tops_2__470_17.min1.thm1.tptp
2017-02-06 16:46
401
tops_2__481_18.min1.thm1
2017-02-06 12:45
794
tops_2__482_56.min1.thm1
2017-02-06 12:45
889
tops_2__483_17.min1.thm1
2017-02-06 12:45
712
tops_2__493_34.min1.thm1
2017-02-06 12:45
748
tops_2__495_47.min1.thm1
2017-02-06 12:45
1.1K
tops_2__496_31.min1.thm1
2017-02-06 12:45
297
tops_2__498_38.min1.thm1
2017-02-06 12:45
914
tops_2__503_27.min1.thm1
2017-02-06 12:45
568
tops_2__504_32.min1.thm1
2017-02-06 12:45
1.2K
tops_2__505_17.min1.thm1
2017-02-06 12:45
744
tops_2__515_24.min1.thm1
2017-02-06 12:45
1.1K
tops_2__516_17.min1.thm1
2017-02-06 12:45
1.0K
tops_2__526_24.min1.thm1
2017-02-06 12:45
1.1K
tops_2__527_17.min1.thm1
2017-02-06 12:45
1.0K
tops_2__540_35.min1.thm1
2017-02-06 12:45
607
tops_2__541_15.min1.thm1
2017-02-06 12:45
949
tops_2__542_17.min1.thm1
2017-02-06 12:45
873
tops_2__555_35.min1.thm1
2017-02-06 12:45
607
tops_2__556_17.min1.thm1
2017-02-06 12:45
949
tops_2__557_17.min1.thm1
2017-02-06 12:45
873
tops_2__563_16.min1.thm1
2017-02-06 12:45
619
tops_2__564_28.min1.thm1
2017-02-06 12:45
918
tops_2__607_46.min1.thm1
2017-02-06 12:45
598
tops_2__608_58.min1.thm1
2017-02-06 12:45
1.4K
tops_2__609_25.min1.thm1
2017-02-06 12:45
959
tops_2__613_44.min1.thm1
2017-02-06 12:45
594
tops_2__614_56.min1.thm1
2017-02-06 12:45
1.4K
tops_2__615_23.min1.thm1
2017-02-06 12:45
945
tops_2__617_21.min1.thm1
2017-02-06 12:45
374
tops_2__617_21.min1.thm1.tptp
2017-02-06 16:46
314
tops_2__631_50.min1.thm1
2017-02-06 12:45
1.8K
tops_2__638_44.min1.thm1
2017-02-06 12:45
786
tops_2__639_15.min1.thm1
2017-02-06 12:45
319
tops_2__656_20.min1.thm1
2017-02-06 12:45
673
tops_2__659_15.min1.thm1
2017-02-06 12:45
1.2K
tops_2__660_39.min1.thm1
2017-02-06 12:45
506
tops_2__661_23.min1.thm1
2017-02-06 12:45
1.1K
tops_2__663_18.min1.thm1
2017-02-06 12:45
1.2K
tops_2__664_15.min1.thm1
2017-02-06 12:45
767
tops_2__665_21.min1.thm1
2017-02-06 12:45
1.0K
tops_2__669_17.min1.thm1
2017-02-06 12:45
952
tops_2__684_15.min1.thm1
2017-02-06 12:45
1.2K
tops_2__685_39.min1.thm1
2017-02-06 12:45
506
tops_2__686_20.min1.thm1
2017-02-06 12:45
627
tops_2__687_32.min1.thm1
2017-02-06 12:45
934
tops_2__690_20.min1.thm1
2017-02-06 12:45
847
tops_2__698_52.min1.thm1
2017-02-06 12:45
1.8K
tops_2__699_19.min1.thm1
2017-02-06 12:45
881
tops_2__701_17.min1.thm1
2017-02-06 12:45
550
tops_2__701_17.min1.thm1.tptp
2017-02-06 16:46
490
tops_2__715_17.min1.thm1
2017-02-06 12:45
1.8K
tops_2__716_11.min1.thm1
2017-02-06 12:45
778
tops_2__717_17.min1.thm1
2017-02-06 12:45
719
tops_2__725_26.min1.thm1
2017-02-06 12:45
864
tops_2__726_17.min1.thm1
2017-02-06 12:45
695
tops_2__737_38.min1.thm1
2017-02-06 12:45
498
tops_2__738_30.min1.thm1
2017-02-06 12:45
129
tops_2__740_15.min1.thm1
2017-02-06 12:45
473
tops_2__740_15.min1.thm1.tptp
2017-02-06 16:46
404
tops_2__751_14.min1.thm1
2017-02-06 12:45
582
tops_2__752_38.min1.thm1
2017-02-06 12:45
591
tops_2__753_20.min1.thm1
2017-02-06 12:45
627
tops_2__754_32.min1.thm1
2017-02-06 12:45
934
tops_2__755_47.min1.thm1
2017-02-06 12:45
1.6K
tops_2__756_21.min1.thm1
2017-02-06 12:45
815
tops_2__758_23.min1.thm1
2017-02-06 12:45
519
tops_2__765_17.min1.thm1
2017-02-06 12:45
1.8K
tops_2__766_19.min1.thm1
2017-02-06 12:45
642
tops_2__767_19.min1.thm1
2017-02-06 12:45
929
tops_2__769_21.min1.thm1
2017-02-06 12:45
444
tops_2__769_21.min1.thm1.tptp
2017-02-06 16:46
384
tops_2__771_19.min1.thm1
2017-02-06 12:45
588
tops_2__773_17.min1.thm1
2017-02-06 12:45
583
tops_2__785_17.min1.thm1
2017-02-06 12:45
1.7K
tops_2__786_29.min1.thm1
2017-02-06 12:45
289
tops_2__788_14.min1.thm1
2017-02-06 12:45
890
tops_2__801_17.min1.thm1
2017-02-06 12:45
1.7K
tops_2__802_29.min1.thm1
2017-02-06 12:45
289
tops_2__804_16.min1.thm1
2017-02-06 12:45
890
tops_2__815_18.min1.thm1
2017-02-06 12:45
794
tops_2__816_43.min1.thm1
2017-02-06 12:45
609
tops_2__826_73.min1.thm1
2017-02-06 12:45
828
tops_2__827_16.min1.thm1
2017-02-06 12:45
411
tops_2__832_19.min1.thm1
2017-02-06 12:45
927
tops_2__833_29.min1.thm1
2017-02-06 12:45
916
tops_2__843_41.min1.thm1
2017-02-06 12:45
564
tops_2__844_19.min1.thm1
2017-02-06 12:45
1.1K
tops_2__848_20.min1.thm1
2017-02-06 12:45
1.9K
tops_2__853_70.min1.thm1
2017-02-06 12:45
828
tops_2__854_19.min1.thm1
2017-02-06 12:45
737
tops_2__868_38.min1.thm1
2017-02-06 12:45
498
tops_2__869_30.min1.thm1
2017-02-06 12:45
129
tops_2__871_15.min1.thm1
2017-02-06 12:45
473
tops_2__871_15.min1.thm1.tptp
2017-02-06 16:46
404
tops_2__877_19.min1.thm1
2017-02-06 12:45
234
tops_2__884_14.min1.thm1
2017-02-06 12:45
582
tops_2__885_38.min1.thm1
2017-02-06 12:45
591
tops_2__886_20.min1.thm1
2017-02-06 12:45
627
tops_2__887_32.min1.thm1
2017-02-06 12:45
934
tops_2__888_45.min1.thm1
2017-02-06 12:45
1.7K
tops_2__889_19.min1.thm1
2017-02-06 12:45
956
tops_2__897_17.min1.thm1
2017-02-06 12:45
1.8K
tops_2__898_25.min1.thm1
2017-02-06 12:45
129
tops_2__899_14.min1.thm1
2017-02-06 12:45
843
tops_2__900_19.min1.thm1
2017-02-06 12:45
756
tops_2__902_22.min1.thm1
2017-02-06 12:45
444
tops_2__902_22.min1.thm1.tptp
2017-02-06 16:46
384
tops_2__903_16.min1.thm1
2017-02-06 12:45
546
tops_2__912_22.min1.thm1
2017-02-06 12:45
1.4K
tops_2__913_14.min1.thm1
2017-02-06 12:45
1.8K
tops_2__914_26.min1.thm1
2017-02-06 12:45
1.7K
tops_2__915_17.min1.thm1
2017-02-06 12:45
1.2K
tops_2__924_45.min1.thm1
2017-02-06 12:45
1.5K
tops_2__925_31.min1.thm1
2017-02-06 12:45
608
tops_2__925_31.min1.thm1.tptp
2017-02-06 16:46
537
tops_2__926_17.min1.thm1
2017-02-06 12:45
1.3K
tops_2__950_25.min1.thm1
2017-02-06 12:45
625
tops_2__952_24.min1.thm1
2017-02-06 12:45
1.5K
tops_2__954_23.min1.thm1
2017-02-06 12:45
1.4K
tops_2__955_16.min1.thm1
2017-02-06 12:45
1.4K
tops_2__956_25.min1.thm1
2017-02-06 12:45
1.4K
tops_2__962_21.min1.thm1
2017-02-06 12:45
613
tops_2__964_22.min1.thm1
2017-02-06 12:45
863
tops_2__966_21.min1.thm1
2017-02-06 12:45
1.4K
tops_2__967_14.min1.thm1
2017-02-06 12:45
1.4K
tops_2__968_17.min1.thm1
2017-02-06 12:45
1.4K
tops_2__980_21.min1.thm1
2017-02-06 12:45
605
tops_2__981_27.min1.thm1
2017-02-06 12:45
922
tops_2__983_26.min1.thm1
2017-02-06 12:45
1.5K
tops_2__984_24.min1.thm1
2017-02-06 12:45
1.3K
tops_2__985_37.min1.thm1
2017-02-06 12:45
1.4K
tops_2__986_34.min1.thm1
2017-02-06 12:45
1.6K
tops_2__992_20.min1.thm1
2017-02-06 12:45
656
tops_2__993_45.min1.thm1
2017-02-06 12:45
1.7K
tops_2__994_25.min1.thm1
2017-02-06 12:45
915
tops_2__994_25.min1.thm1.tptp
2017-02-06 16:46
845
tops_2__995_17.min1.thm1
2017-02-06 12:45
1.2K
tops_2__1008_13.min1.thm1
2017-02-06 12:45
623
tops_2__1009_22.min1.thm1
2017-02-06 12:45
1.3K
tops_2__1016_36.min1.thm1
2017-02-06 12:45
1.4K
tops_2__1023_20.min1.thm1
2017-02-06 12:45
1.2K
tops_2__1024_29.min1.thm1
2017-02-06 12:45
1.5K
tops_2__1026_34.min1.thm1
2017-02-06 12:45
1.9K
tops_2__1029_34.min1.thm1
2017-02-06 12:45
1.2K
tops_2__1029_34.min1.thm1.tptp
2017-02-06 16:46
1.1K
tops_2__1049_17.min1.thm1
2017-02-06 12:45
2.2K
tops_2__1066_34.min1.thm1
2017-02-06 12:45
490
tops_2__1067_14.min1.thm1
2017-02-06 12:45
1.2K
tops_2__1068_27.min1.thm1
2017-02-06 12:45
532
tops_2__1069_14.min1.thm1
2017-02-06 12:45
923
tops_2__1089_15.min1.thm1
2017-02-06 12:45
1.2K
tops_2__1090_34.min1.thm1
2017-02-06 12:45
490
tops_2__1091_14.min1.thm1
2017-02-06 12:45
1.2K
tops_2__1092_16.min1.thm1
2017-02-06 12:45
891
tops_2__1093_17.min1.thm1
2017-02-06 12:45
1.3K
tops_2__1105_19.min1.thm1
2017-02-06 12:45
1.1K
tops_2__1106_19.min1.thm1
2017-02-06 12:45
1.2K
tops_2__1123_16.min1.thm1
2017-02-06 12:45
1.1K
tops_2__1125_14.min1.thm1
2017-02-06 12:45
1.6K
tops_2__1127_15.min1.thm1
2017-02-06 12:45
1.1K
tops_2__1128_14.min1.thm1
2017-02-06 12:45
1.1K
tops_2__1139_16.min1.thm1
2017-02-06 12:45
1.1K
tops_2__1140_36.min1.thm1
2017-02-06 12:45
820
tops_2__1141_17.min1.thm1
2017-02-06 12:45
1.0K
tops_2__1152_16.min1.thm1
2017-02-06 12:45
1.1K
tops_2__1153_29.min1.thm1
2017-02-06 12:45
780
tops_2__1155_29.min1.thm1
2017-02-06 12:45
1.1K
tops_2__1156_23.min1.thm1
2017-02-06 12:45
1.1K
tops_2__1158_20.min1.thm1
2017-02-06 12:45
1.5K
tops_2__1170_16.min1.thm1
2017-02-06 12:45
1.1K
tops_2__1171_68.min1.thm1
2017-02-06 12:45
1.5K
tops_2__1191_28.min1.thm1
2017-02-06 12:45
1.6K
tops_2__1196_29.min1.thm1
2017-02-06 12:45
1.0K
tops_2__1197_27.min1.thm1
2017-02-06 12:45
1.0K
tops_2__1209_16.min1.thm1
2017-02-06 12:45
1.1K
tops_2__1210_33.min1.thm1
2017-02-06 12:45
1.0K
tops_2__1221_16.min1.thm1
2017-02-06 12:45
1.1K
tops_2__1224_35.min1.thm1
2017-02-06 12:45
1.0K
tops_2__1246_39.min1.thm1
2017-02-06 12:45
1.1K
tops_2__1248_26.min1.thm1
2017-02-06 12:45
1.2K
tops_2__1249_26.min1.thm1
2017-02-06 12:45
1.2K
tops_2__1250_20.min1.thm1
2017-02-06 12:45
1.1K
tops_2__1265_36.min1.thm1
2017-02-06 12:45
1.7K
tops_2__1266_21.min1.thm1
2017-02-06 12:45
1.2K
tops_2__1267_17.min1.thm1
2017-02-06 12:45
1.2K
tops_2__1269_40.min1.thm1
2017-02-06 12:45
1.5K
tops_2__1271_38.min1.thm1
2017-02-06 12:45
1.6K
tops_2__1273_40.min1.thm1
2017-02-06 12:45
1.7K
tops_2__1286_52.min1.thm1
2017-02-06 12:45
1.2K
tops_2__1288_23.min1.thm1
2017-02-06 12:45
1.2K
tops_2__1292_18.min1.thm1
2017-02-06 12:45
1.3K
tops_2__1293_44.min1.thm1
2017-02-06 12:45
1.7K
tops_2__1294_18.min1.thm1
2017-02-06 12:45
1.2K
tops_2__1299_22.min1.thm1
2017-02-06 12:45
1.1K
tops_2__1301_25.min1.thm1
2017-02-06 12:45
1.5K
tops_2__1302_19.min1.thm1
2017-02-06 12:45
1.1K
tops_2__1304_20.min1.thm1
2017-02-06 12:45
2.0K
tops_2__1305_20.min1.thm1
2017-02-06 12:45
1.4K
tops_2__1306_24.min1.thm1
2017-02-06 12:45
970
tops_2__1319_15.min1.thm1
2017-02-06 12:45
2.0K
tops_2__1320_19.min1.thm1
2017-02-06 12:45
1.2K
tops_2__1326_16.min1.thm1
2017-02-06 12:45
1.2K
tops_2__1327_42.min1.thm1
2017-02-06 12:45
1.5K
tops_2__1328_16.min1.thm1
2017-02-06 12:45
1.0K
tops_2__1329_19.min1.thm1
2017-02-06 12:45
1.0K
tops_2__1347_52.min1.thm1
2017-02-06 12:45
1.3K
tops_2__1349_22.min1.thm1
2017-02-06 12:45
1.2K
tops_2__1352_23.min1.thm1
2017-02-06 12:45
1.2K
tops_2__1356_33.min1.thm1
2017-02-06 12:45
1.7K
tops_2__1363_55.min1.thm1
2017-02-06 12:45
565
tops_2__1363_55.min1.thm1.tptp
2017-02-06 16:46
485
tops_2__1364_39.min1.thm1
2017-02-06 12:45
805
tops_2__1364_39.min1.thm1.tptp
2017-02-06 16:46
739
tops_2__1369_42.min1.thm1
2017-02-06 12:45
1.6K
tops_2__1387_52.min1.thm1
2017-02-06 12:45
1.3K
tops_2__1389_22.min1.thm1
2017-02-06 12:45
1.2K
tops_2__1392_23.min1.thm1
2017-02-06 12:45
1.2K
tops_2__1396_33.min1.thm1
2017-02-06 12:45
1.7K
tops_2__1403_55.min1.thm1
2017-02-06 12:45
565
tops_2__1403_55.min1.thm1.tptp
2017-02-06 16:46
485
tops_2__1404_38.min1.thm1
2017-02-06 12:45
805
tops_2__1404_38.min1.thm1.tptp
2017-02-06 16:46
739
tops_2__1409_38.min1.thm1
2017-02-06 12:45
1.6K
tops_2__1430_41.min1.thm1
2017-02-06 12:45
831
tops_2__1430_41.min1.thm1.tptp
2017-02-06 16:46
759
tops_2__1438_13.min1.thm1
2017-02-06 12:45
2.3K
tops_2__1440_14.min1.thm1
2017-02-06 12:45
1.1K
tops_2__1441_30.min1.thm1
2017-02-06 12:45
1.0K
tops_2__1442_18.min1.thm1
2017-02-06 12:45
860
tops_2__1449_23.min1.thm1
2017-02-06 12:45
954
tops_2__1450_18.min1.thm1
2017-02-06 12:45
860
tops_2__1456_25.min1.thm1
2017-02-06 12:45
1.0K
tops_2__1458_27.min1.thm1
2017-02-06 12:45
961
tops_2__1460_16.min1.thm1
2017-02-06 12:45
1.5K
tops_2__1464_14.min1.thm1
2017-02-06 12:45
1.7K
tops_2__1465_14.min1.thm1
2017-02-06 12:45
2.3K
tops_2__1467_14.min1.thm1
2017-02-06 12:45
1.1K
tops_2__1472_22.min1.thm1
2017-02-06 12:45
622
tops_2__1486_21.min1.thm1
2017-02-06 12:45
1.2K
tops_2__1489_35.min1.thm1
2017-02-06 12:45
1.2K
tops_2__1518_36.min1.thm1
2017-02-06 12:45
1.1K
tops_2__1519_36.min1.thm1
2017-02-06 12:45
1.1K
tops_2__1527_18.min1.thm1
2017-02-06 12:45
929
tops_2__1528_24.min1.thm1
2017-02-06 12:45
1.5K
tops_2__1531_23.min1.thm1
2017-02-06 12:45
2.4K
tops_2__1532_25.min1.thm1
2017-02-06 12:45
802
tops_2__1534_21.min1.thm1
2017-02-06 12:45
1.6K
tops_2__1535_23.min1.thm1
2017-02-06 12:45
2.4K
tops_2__1536_25.min1.thm1
2017-02-06 12:45
802
tops_2__1538_21.min1.thm1
2017-02-06 12:45
1.6K
tops_2__1539_15.min1.thm1
2017-02-06 12:45
524
tops_2__1540_37.min1.thm1
2017-02-06 12:45
2.0K
tops_2__1546_19.min1.thm1
2017-02-06 12:45
1.1K
tops_2__1565_38.min1.thm1
2017-02-06 12:45
498
tops_2__1566_18.min1.thm1
2017-02-06 12:45
906
tops_2__1567_21.min1.thm1
2017-02-06 12:45
648
tops_2__1572_18.min1.thm1
2017-02-06 12:45
1.1K
tops_2__1587_38.min1.thm1
2017-02-06 12:45
498
tops_2__1588_20.min1.thm1
2017-02-06 12:45
906
tops_2__1589_24.min1.thm1
2017-02-06 12:45
693
tops_2__1590_37.min1.thm1
2017-02-06 12:45
855
tops_2__1591_21.min1.thm1
2017-02-06 12:45
1.1K
tops_2__1597_35.min1.thm1
2017-02-06 12:45
1.5K
tops_2__1598_22.min1.thm1
2017-02-06 12:45
775
tops_2__1599_19.min1.thm1
2017-02-06 12:45
613
tops_2__1605_14.min1.thm1
2017-02-06 12:45
603
tops_2__1610_15.min1.thm1
2017-02-06 12:45
321
tops_2__1610_15.min1.thm1.tptp
2017-02-06 16:46
240
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80