Index of /~mptp/1147/MPTP2/ilp0/altcat_2
Name
Last modified
Size
Description
Parent Directory
-
altcat_2__46_45.min1.thm1
2017-02-06 12:46
585
altcat_2__48_67.min1.thm1
2017-02-06 12:46
950
altcat_2__54_47.min1.thm1
2017-02-06 12:46
1.2K
altcat_2__56_25.min1.thm1
2017-02-06 12:46
840
altcat_2__57_42.min1.thm1
2017-02-06 12:46
966
altcat_2__58_70.min1.thm1
2017-02-06 12:46
1.6K
altcat_2__67_11.min1.thm1
2017-02-06 12:46
723
altcat_2__79_24.min1.thm1
2017-02-06 12:46
878
altcat_2__82_25.min1.thm1
2017-02-06 12:46
1.1K
altcat_2__84_25.min1.thm1
2017-02-06 12:46
546
altcat_2__85_28.min1.thm1
2017-02-06 12:46
1.4K
altcat_2__86_32.min1.thm1
2017-02-06 12:46
1.3K
altcat_2__87_34.min1.thm1
2017-02-06 12:46
1.3K
altcat_2__92_21.min1.thm1
2017-02-06 12:46
963
altcat_2__94_18.min1.thm1
2017-02-06 12:46
1.1K
altcat_2__95_23.min1.thm1
2017-02-06 12:46
1.0K
altcat_2__96_29.min1.thm1
2017-02-06 12:46
1.1K
altcat_2__97_27.min1.thm1
2017-02-06 12:46
1.3K
altcat_2__103_26.min1.thm1
2017-02-06 12:46
963
altcat_2__105_23.min1.thm1
2017-02-06 12:46
800
altcat_2__106_40.min1.thm1
2017-02-06 12:46
1.4K
altcat_2__107_23.min1.thm1
2017-02-06 12:46
828
altcat_2__108_23.min1.thm1
2017-02-06 12:46
1.3K
altcat_2__122_29.min1.thm1
2017-02-06 12:46
1.2K
altcat_2__123_35.min1.thm1
2017-02-06 12:46
1.1K
altcat_2__126_20.min1.thm1
2017-02-06 12:46
830
altcat_2__127_70.min1.thm1
2017-02-06 12:46
1.6K
altcat_2__129_33.min1.thm1
2017-02-06 12:46
1.5K
altcat_2__131_33.min1.thm1
2017-02-06 12:46
1.3K
altcat_2__133_25.min1.thm1
2017-02-06 12:46
547
altcat_2__134_37.min1.thm1
2017-02-06 12:46
1.0K
altcat_2__135_35.min1.thm1
2017-02-06 12:46
1.0K
altcat_2__136_40.min1.thm1
2017-02-06 12:46
1.6K
altcat_2__141_29.min1.thm1
2017-02-06 12:46
1.3K
altcat_2__142_38.min1.thm1
2017-02-06 12:46
1.0K
altcat_2__143_27.min1.thm1
2017-02-06 12:46
1.2K
altcat_2__145_31.min1.thm1
2017-02-06 12:46
782
altcat_2__146_65.min1.thm1
2017-02-06 12:46
1.5K
altcat_2__149_26.min1.thm1
2017-02-06 12:46
1.8K
altcat_2__150_36.min1.thm1
2017-02-06 12:46
1.0K
altcat_2__151_27.min1.thm1
2017-02-06 12:46
939
altcat_2__152_33.min1.thm1
2017-02-06 12:46
1.3K
altcat_2__158_31.min1.thm1
2017-02-06 12:46
1.2K
altcat_2__159_37.min1.thm1
2017-02-06 12:46
1.2K
altcat_2__161_31.min1.thm1
2017-02-06 12:46
636
altcat_2__162_29.min1.thm1
2017-02-06 12:46
1.3K
altcat_2__164_26.min1.thm1
2017-02-06 12:46
1.5K
altcat_2__165_32.min1.thm1
2017-02-06 12:46
636
altcat_2__166_31.min1.thm1
2017-02-06 12:46
1.2K
altcat_2__167_52.min1.thm1
2017-02-06 12:46
1.8K
altcat_2__168_24.min1.thm1
2017-02-06 12:46
1.8K
altcat_2__169_23.min1.thm1
2017-02-06 12:46
1.3K
altcat_2__170_29.min1.thm1
2017-02-06 12:46
1.6K
altcat_2__171_29.min1.thm1
2017-02-06 12:46
1.6K
altcat_2__185_21.min1.thm1
2017-02-06 12:46
1.1K
altcat_2__186_27.min1.thm1
2017-02-06 12:46
1.1K
altcat_2__187_19.min1.thm1
2017-02-06 12:46
1.2K
altcat_2__199_52.min1.thm1
2017-02-06 12:46
2.3K
altcat_2__207_18.min1.thm1
2017-02-06 12:46
718
altcat_2__210_32.min1.thm1
2017-02-06 12:46
1.1K
altcat_2__213_14.min1.thm1
2017-02-06 12:46
413
altcat_2__213_14.min1.thm1.tptp
2017-02-06 16:48
327
altcat_2__220_11.min1.thm1
2017-02-06 12:46
701
altcat_2__220_11.min1.thm1.tptp
2017-02-06 16:48
634
altcat_2__227_11.min1.thm1
2017-02-06 12:46
861
altcat_2__227_11.min1.thm1.tptp
2017-02-06 16:48
811
altcat_2__242_17.min1.thm1
2017-02-06 12:46
1.2K
altcat_2__243_47.min1.thm1
2017-02-06 12:46
1.4K
altcat_2__244_17.min1.thm1
2017-02-06 12:46
3.0K
altcat_2__253_49.min1.thm1
2017-02-06 12:46
1.7K
altcat_2__260_21.min1.thm1
2017-02-06 12:46
798
altcat_2__261_27.min1.thm1
2017-02-06 12:46
618
altcat_2__262_24.min1.thm1
2017-02-06 12:46
699
altcat_2__264_31.min1.thm1
2017-02-06 12:46
1.3K
altcat_2__265_24.min1.thm1
2017-02-06 12:46
699
altcat_2__267_31.min1.thm1
2017-02-06 12:46
1.3K
altcat_2__268_24.min1.thm1
2017-02-06 12:46
1.4K
altcat_2__269_35.min1.thm1
2017-02-06 12:46
2.1K
altcat_2__272_16.min1.thm1
2017-02-06 12:46
524
altcat_2__272_16.min1.thm1.tptp
2017-02-06 16:48
438
altcat_2__282_22.min1.thm1
2017-02-06 12:46
969
altcat_2__283_26.min1.thm1
2017-02-06 12:46
902
altcat_2__284_17.min1.thm1
2017-02-06 12:46
1.7K
altcat_2__292_30.min1.thm1
2017-02-06 12:46
906
altcat_2__293_33.min1.thm1
2017-02-06 12:46
1.3K
altcat_2__294_14.min1.thm1
2017-02-06 12:46
420
altcat_2__294_14.min1.thm1.tptp
2017-02-06 16:48
346
altcat_2__295_19.min1.thm1
2017-02-06 12:46
1.1K
altcat_2__304_30.min1.thm1
2017-02-06 12:46
906
altcat_2__305_33.min1.thm1
2017-02-06 12:46
1.3K
altcat_2__306_14.min1.thm1
2017-02-06 12:46
420
altcat_2__306_14.min1.thm1.tptp
2017-02-06 16:48
346
altcat_2__307_19.min1.thm1
2017-02-06 12:46
1.5K
altcat_2__318_13.min1.thm1
2017-02-06 12:46
365
altcat_2__328_16.min1.thm1
2017-02-06 12:46
610
altcat_2__329_16.min1.thm1
2017-02-06 12:46
610
altcat_2__331_6.min1.thm1
2017-02-06 12:46
1.1K
altcat_2__335_26.min1.thm1
2017-02-06 12:46
796
altcat_2__338_19.min1.thm1
2017-02-06 12:46
562
altcat_2__350_13.min1.thm1
2017-02-06 12:46
1.0K
altcat_2__351_11.min1.thm1
2017-02-06 12:46
1.0K
altcat_2__352_15.min1.thm1
2017-02-06 12:46
395
altcat_2__353_46.min1.thm1
2017-02-06 12:46
526
altcat_2__353_46.min1.thm1.tptp
2017-02-06 16:48
440
altcat_2__357_35.min1.thm1
2017-02-06 12:46
1.8K
altcat_2__358_23.min1.thm1
2017-02-06 12:46
616
altcat_2__360_17.min1.thm1
2017-02-06 12:46
1.2K
altcat_2__373_13.min1.thm1
2017-02-06 12:46
1.0K
altcat_2__374_11.min1.thm1
2017-02-06 12:46
1.0K
altcat_2__375_17.min1.thm1
2017-02-06 12:46
421
altcat_2__380_17.min1.thm1
2017-02-06 12:46
1.1K
altcat_2__381_15.min1.thm1
2017-02-06 12:46
1.6K
altcat_2__382_17.min1.thm1
2017-02-06 12:46
589
altcat_2__395_18.min1.thm1
2017-02-06 12:46
1.1K
altcat_2__399_13.min1.thm1
2017-02-06 12:46
234
altcat_2__400_16.min1.thm1
2017-02-06 12:46
1.0K
altcat_2__415_9.min1.thm1
2017-02-06 12:46
746
altcat_2__416_13.min1.thm1
2017-02-06 12:46
611
altcat_2__420_9.min1.thm1
2017-02-06 12:46
746
altcat_2__421_13.min1.thm1
2017-02-06 12:46
612
altcat_2__422_19.min1.thm1
2017-02-06 12:46
922
altcat_2__430_8.min1.thm1
2017-02-06 12:46
684
altcat_2__432_18.min1.thm1
2017-02-06 12:46
436
altcat_2__432_18.min1.thm1.tptp
2017-02-06 16:48
360
altcat_2__434_17.min1.thm1
2017-02-06 12:46
305
altcat_2__434_17.min1.thm1.tptp
2017-02-06 16:48
217
altcat_2__449_18.min1.thm1
2017-02-06 12:46
443
altcat_2__449_18.min1.thm1.tptp
2017-02-06 16:48
380
altcat_2__451_26.min1.thm1
2017-02-06 12:46
947
altcat_2__457_11.min1.thm1
2017-02-06 12:46
809
altcat_2__458_12.min1.thm1
2017-02-06 12:46
611
altcat_2__459_19.min1.thm1
2017-02-06 12:46
557
altcat_2__461_17.min1.thm1
2017-02-06 12:46
692
altcat_2__471_57.min1.thm1
2017-02-06 12:46
218
altcat_2__475_21.min1.thm1
2017-02-06 12:46
545
altcat_2__476_65.min1.thm1
2017-02-06 12:46
711
altcat_2__477_17.min1.thm1
2017-02-06 12:46
1.0K
altcat_2__491_22.min1.thm1
2017-02-06 12:46
1.5K
altcat_2__493_20.min1.thm1
2017-02-06 12:46
1.5K
altcat_2__494_19.min1.thm1
2017-02-06 12:46
1.2K
altcat_2__495_15.min1.thm1
2017-02-06 12:46
1.2K
altcat_2__496_17.min1.thm1
2017-02-06 12:46
1.8K
altcat_2__512_22.min1.thm1
2017-02-06 12:46
1.5K
altcat_2__514_27.min1.thm1
2017-02-06 12:46
1.4K
altcat_2__515_22.min1.thm1
2017-02-06 12:46
1.5K
altcat_2__516_30.min1.thm1
2017-02-06 12:46
1.4K
altcat_2__517_27.min1.thm1
2017-02-06 12:46
2.0K
altcat_2__541_33.min1.thm1
2017-02-06 12:46
704
altcat_2__542_22.min1.thm1
2017-02-06 12:46
704
altcat_2__544_19.min1.thm1
2017-02-06 12:46
2.2K
altcat_2__552_22.min1.thm1
2017-02-06 12:46
853
altcat_2__553_17.min1.thm1
2017-02-06 12:46
1.4K
altcat_2__572_43.min1.thm1
2017-02-06 12:46
1.1K
altcat_2__577_52.min1.thm1
2017-02-06 12:46
1.4K
altcat_2__580_53.min1.thm1
2017-02-06 12:46
1.2K
altcat_2__583_36.min1.thm1
2017-02-06 12:46
830
altcat_2__583_36.min1.thm1.tptp
2017-02-06 16:48
760
altcat_2__587_20.min1.thm1
2017-02-06 12:46
1.9K
altcat_2__588_44.min1.thm1
2017-02-06 12:46
514
altcat_2__588_44.min1.thm1.tptp
2017-02-06 16:48
436
altcat_2__589_38.min1.thm1
2017-02-06 12:46
1.8K
altcat_2__590_15.min1.thm1
2017-02-06 12:46
2.6K
altcat_2__591_36.min1.thm1
2017-02-06 12:46
1.7K
altcat_2__592_15.min1.thm1
2017-02-06 12:46
2.4K
altcat_2__593_38.min1.thm1
2017-02-06 12:46
1.8K
altcat_2__594_15.min1.thm1
2017-02-06 12:46
2.4K
altcat_2__597_48.min1.thm1
2017-02-06 12:46
1.7K
altcat_2__599_21.min1.thm1
2017-02-06 12:46
2.4K
altcat_2__600_22.min1.thm1
2017-02-06 12:46
1.4K
altcat_2__603_59.min1.thm1
2017-02-06 12:46
1.4K
altcat_2__606_51.min1.thm1
2017-02-06 12:46
1.4K
altcat_2__608_51.min1.thm1
2017-02-06 12:46
1.7K
altcat_2__613_44.min1.thm1
2017-02-06 12:46
1.5K
altcat_2__614_33.min1.thm1
2017-02-06 12:46
1.7K
altcat_2__615_13.min1.thm1
2017-02-06 12:46
2.3K
altcat_2__616_33.min1.thm1
2017-02-06 12:46
1.7K
altcat_2__617_13.min1.thm1
2017-02-06 12:46
2.5K
altcat_2__618_31.min1.thm1
2017-02-06 12:46
1.6K
altcat_2__619_13.min1.thm1
2017-02-06 12:46
2.2K
altcat_2__635_20.min1.thm1
2017-02-06 12:46
1.9K
altcat_2__655_20.min1.thm1
2017-02-06 12:46
1.4K
altcat_2__657_37.min1.thm1
2017-02-06 12:46
1.5K
altcat_2__658_20.min1.thm1
2017-02-06 12:46
1.4K
altcat_2__659_40.min1.thm1
2017-02-06 12:46
1.5K
altcat_2__661_71.min1.thm1
2017-02-06 12:46
2.3K
altcat_2__663_16.min1.thm1
2017-02-06 12:46
1.4K
altcat_2__664_15.min1.thm1
2017-02-06 12:46
1.4K
altcat_2__668_35.min1.thm1
2017-02-06 12:46
1.7K
altcat_2__669_13.min1.thm1
2017-02-06 12:46
1.7K
altcat_2__680_20.min1.thm1
2017-02-06 12:46
1.5K
altcat_2__681_46.min1.thm1
2017-02-06 12:46
1.7K
altcat_2__684_20.min1.thm1
2017-02-06 12:46
1.5K
altcat_2__685_46.min1.thm1
2017-02-06 12:46
1.7K
altcat_2__688_20.min1.thm1
2017-02-06 12:46
1.5K
altcat_2__689_46.min1.thm1
2017-02-06 12:46
1.7K
altcat_2__697_18.min1.thm1
2017-02-06 12:46
2.8K
altcat_2__710_45.min1.thm1
2017-02-06 12:46
898
altcat_2__714_20.min1.thm1
2017-02-06 12:46
1.5K
altcat_2__715_47.min1.thm1
2017-02-06 12:46
1.7K
altcat_2__716_18.min1.thm1
2017-02-06 12:46
808
altcat_2__718_13.min1.thm1
2017-02-06 12:46
1.5K
altcat_2__722_43.min1.thm1
2017-02-06 12:46
886
altcat_2__726_20.min1.thm1
2017-02-06 12:46
1.5K
altcat_2__727_45.min1.thm1
2017-02-06 12:46
1.7K
altcat_2__728_16.min1.thm1
2017-02-06 12:46
798
altcat_2__730_11.min1.thm1
2017-02-06 12:46
1.5K
altcat_2__740_13.min1.thm1
2017-02-06 12:46
2.3K
altcat_2__766_17.min1.thm1
2017-02-06 12:46
2.0K
altcat_2__772_14.min1.thm1
2017-02-06 12:46
1.1K
altcat_2__783_38.min1.thm1
2017-02-06 12:46
1.1K
altcat_2__784_15.min1.thm1
2017-02-06 12:46
268
altcat_2__801_75.min1.thm1
2017-02-06 12:46
1.0K
altcat_2__807_38.min1.thm1
2017-02-06 12:46
364
altcat_2__807_38.min1.thm1.tptp
2017-02-06 16:48
286
altcat_2__808_37.min1.thm1
2017-02-06 12:46
750
altcat_2__809_19.min1.thm1
2017-02-06 12:46
733
altcat_2__826_2.min1.thm1
2017-02-06 12:46
1.6K
altcat_2__826_2.min1.thm1.tptp
2017-02-06 16:48
1.7K
altcat_2__832_52.min1.thm1
2017-02-06 12:46
789
altcat_2__836_47.min1.thm1
2017-02-06 12:46
1.2K
altcat_2__840_18.min1.thm1
2017-02-06 12:46
1.1K
altcat_2__841_21.min1.thm1
2017-02-06 12:46
1.1K
altcat_2__843_22.min1.thm1
2017-02-06 12:46
1.5K
altcat_2__844_45.min1.thm1
2017-02-06 12:46
1.2K
altcat_2__847_47.min1.thm1
2017-02-06 12:46
1.2K
altcat_2__849_21.min1.thm1
2017-02-06 12:46
1.1K
altcat_2__851_22.min1.thm1
2017-02-06 12:46
1.5K
altcat_2__856_20.min1.thm1
2017-02-06 12:46
3.7K
altcat_2__874_62.min1.thm1
2017-02-06 12:46
392
altcat_2__874_62.min1.thm1.tptp
2017-02-06 16:48
302
altcat_2__876_27.min1.thm1
2017-02-06 12:46
664
altcat_2__877_38.min1.thm1
2017-02-06 12:46
385
altcat_2__877_38.min1.thm1.tptp
2017-02-06 16:48
299
altcat_2__878_45.min1.thm1
2017-02-06 12:46
896
altcat_2__881_46.min1.thm1
2017-02-06 12:46
1.6K
altcat_2__882_48.min1.thm1
2017-02-06 12:46
1.9K
altcat_2__891_37.min1.thm1
2017-02-06 12:46
299
altcat_2__895_29.min1.thm1
2017-02-06 12:46
1.5K
altcat_2__896_29.min1.thm1
2017-02-06 12:46
135
altcat_2__898_22.min1.thm1
2017-02-06 12:46
901
altcat_2__898_22.min1.thm1.tptp
2017-02-06 16:48
868
altcat_2__899_40.min1.thm1
2017-02-06 12:46
1.4K
altcat_2__902_38.min1.thm1
2017-02-06 12:46
299
altcat_2__903_46.min1.thm1
2017-02-06 12:46
1.2K
altcat_2__905_15.min1.thm1
2017-02-06 12:46
2.5K
altcat_2__908_35.min1.thm1
2017-02-06 12:46
291
altcat_2__912_27.min1.thm1
2017-02-06 12:46
1.4K
altcat_2__914_20.min1.thm1
2017-02-06 12:46
891
altcat_2__914_20.min1.thm1.tptp
2017-02-06 16:48
858
altcat_2__915_38.min1.thm1
2017-02-06 12:46
1.2K
altcat_2__918_36.min1.thm1
2017-02-06 12:46
292
altcat_2__919_44.min1.thm1
2017-02-06 12:46
1.2K
altcat_2__921_13.min1.thm1
2017-02-06 12:46
2.1K
altcat_2__933_18.min1.thm1
2017-02-06 12:46
676
altcat_2__943_15.min1.thm1
2017-02-06 12:46
448
altcat_2__943_15.min1.thm1.tptp
2017-02-06 16:48
375
altcat_2__953_15.min1.thm1
2017-02-06 12:46
509
altcat_2__953_15.min1.thm1.tptp
2017-02-06 16:48
436
altcat_2__967_24.min1.thm1
2017-02-06 12:46
522
altcat_2__968_22.min1.thm1
2017-02-06 12:46
522
altcat_2__972_21.min1.thm1
2017-02-06 12:46
456
altcat_2__973_19.min1.thm1
2017-02-06 12:46
456
altcat_2__974_28.min1.thm1
2017-02-06 12:46
1.0K
altcat_2__975_26.min1.thm1
2017-02-06 12:46
1.0K
altcat_2__976_17.min1.thm1
2017-02-06 12:46
895
altcat_2__985_28.min1.thm1
2017-02-06 12:46
133
altcat_2__989_15.min1.thm1
2017-02-06 12:46
1.5K
altcat_2__991_15.min1.thm1
2017-02-06 12:46
586
altcat_2__996_14.min1.thm1
2017-02-06 12:46
609
altcat_2__1004_15.min1.thm1
2017-02-06 12:46
261
altcat_2__1009_68.min1.thm1
2017-02-06 12:46
916
altcat_2__1029_43.min1.thm1
2017-02-06 12:46
260
altcat_2__1030_13.min1.thm1
2017-02-06 12:46
2.6K
altcat_2__1057_7.min1.thm1
2017-02-06 12:46
1.7K
altcat_2__1069_15.min1.thm1
2017-02-06 12:46
1.3K
altcat_2__1084_27.min1.thm1
2017-02-06 12:46
2.5K
altcat_2__1089_56.min1.thm1
2017-02-06 12:46
2.6K
altcat_2__1090_40.min1.thm1
2017-02-06 12:46
1.5K
altcat_2__1094_17.min1.thm1
2017-02-06 12:46
884
altcat_2__1096_28.min1.thm1
2017-02-06 12:46
2.7K
altcat_2__1098_20.min1.thm1
2017-02-06 12:46
1.7K
altcat_2__1107_37.min1.thm1
2017-02-06 12:46
1.0K
altcat_2__1119_25.min1.thm1
2017-02-06 12:46
1.5K
altcat_2__1128_20.min1.thm1
2017-02-06 12:46
1.7K
altcat_2__1129_57.min1.thm1
2017-02-06 12:46
3.9K
altcat_2__1131_18.min1.thm1
2017-02-06 12:46
689
altcat_2__1131_18.min1.thm1.tptp
2017-02-06 16:48
609
altcat_2__1137_12.min1.thm1
2017-02-06 12:46
2.2K
altcat_2__1147_33.min1.thm1
2017-02-06 12:46
1.1K
altcat_2__1148_17.min1.thm1
2017-02-06 12:46
1.2K
altcat_2__1162_15.min1.thm1
2017-02-06 12:46
675
altcat_2__1163_21.min1.thm1
2017-02-06 12:46
1.0K
altcat_2__1165_35.min1.thm1
2017-02-06 12:46
1.1K
altcat_2__1166_45.min1.thm1
2017-02-06 12:46
1.1K
altcat_2__1177_15.min1.thm1
2017-02-06 12:46
803
altcat_2__1190_48.min1.thm1
2017-02-06 12:46
294
altcat_2__1191_47.min1.thm1
2017-02-06 12:46
582
altcat_2__1193_58.min1.thm1
2017-02-06 12:46
614
altcat_2__1193_58.min1.thm1.tptp
2017-02-06 16:48
552
altcat_2__1200_21.min1.thm1
2017-02-06 12:46
956
altcat_2__1201_40.min1.thm1
2017-02-06 12:46
585
altcat_2__1201_40.min1.thm1.tptp
2017-02-06 16:48
507
altcat_2__1202_51.min1.thm1
2017-02-06 12:46
1.0K
altcat_2__1203_52.min1.thm1
2017-02-06 12:46
1.5K
altcat_2__1210_60.min1.thm1
2017-02-06 12:46
1.4K
altcat_2__1211_61.min1.thm1
2017-02-06 12:46
726
altcat_2__1211_61.min1.thm1.tptp
2017-02-06 16:48
667
altcat_2__1213_39.min1.thm1
2017-02-06 12:46
2.1K
altcat_2__1214_60.min1.thm1
2017-02-06 12:46
1.4K
altcat_2__1215_61.min1.thm1
2017-02-06 12:46
734
altcat_2__1215_61.min1.thm1.tptp
2017-02-06 16:48
675
altcat_2__1217_39.min1.thm1
2017-02-06 12:46
2.1K
altcat_2__1218_52.min1.thm1
2017-02-06 12:46
1.5K
altcat_2__1223_44.min1.thm1
2017-02-06 12:46
1.0K
altcat_2__1224_57.min1.thm1
2017-02-06 12:46
1.0K
altcat_2__1239_23.min1.thm1
2017-02-06 12:46
2.1K
altcat_2__1240_16.min1.thm1
2017-02-06 12:46
2.5K
altcat_2__1243_17.min1.thm1
2017-02-06 12:46
2.4K
altcat_2__1260_13.min1.thm1
2017-02-06 12:46
131
altcat_2__1273_66.min1.thm1
2017-02-06 12:46
2.3K
altcat_2__1274_15.min1.thm1
2017-02-06 12:46
1.3K
altcat_2__1289_38.min1.thm1
2017-02-06 12:46
1.8K
altcat_2__1290_15.min1.thm1
2017-02-06 12:46
1.3K
altcat_2__1299_35.min1.thm1
2017-02-06 12:46
1.2K
altcat_2__1300_47.min1.thm1
2017-02-06 12:46
1.8K
altcat_2__1302_28.min1.thm1
2017-02-06 12:46
1.0K
altcat_2__1307_15.min1.thm1
2017-02-06 12:46
770
altcat_2__1308_50.min1.thm1
2017-02-06 12:46
2.4K
altcat_2__1309_23.min1.thm1
2017-02-06 12:46
1.2K
altcat_2__1310_34.min1.thm1
2017-02-06 12:46
1.0K
altcat_2__1323_15.min1.thm1
2017-02-06 12:46
1.3K
altcat_2__1340_58.min1.thm1
2017-02-06 12:46
694
altcat_2__1343_28.min1.thm1
2017-02-06 12:46
1.4K
altcat_2__1344_52.min1.thm1
2017-02-06 12:46
1.8K
altcat_2__1345_19.min1.thm1
2017-02-06 12:46
1.9K
altcat_2__1347_26.min1.thm1
2017-02-06 12:46
372
altcat_2__1347_26.min1.thm1.tptp
2017-02-06 16:48
290
altcat_2__1348_19.min1.thm1
2017-02-06 12:46
914
altcat_2__1350_17.min1.thm1
2017-02-06 12:46
958
altcat_2__1362_17.min1.thm1
2017-02-06 12:46
1.0K
altcat_2__1373_58.min1.thm1
2017-02-06 12:46
650
altcat_2__1374_25.min1.thm1
2017-02-06 12:46
1.1K
altcat_2__1375_17.min1.thm1
2017-02-06 12:46
1.1K
altcat_2__1386_51.min1.thm1
2017-02-06 12:46
1.5K
altcat_2__1389_19.min1.thm1
2017-02-06 12:46
1.3K
altcat_2__1398_65.min1.thm1
2017-02-06 12:46
1.4K
altcat_2__1399_14.min1.thm1
2017-02-06 12:46
551
altcat_2__1412_58.min1.thm1
2017-02-06 12:46
1.1K
altcat_2__1413_40.min1.thm1
2017-02-06 12:46
2.0K
altcat_2__1414_27.min1.thm1
2017-02-06 12:46
1.2K
altcat_2__1415_19.min1.thm1
2017-02-06 12:46
1.6K
altcat_2__1426_64.min1.thm1
2017-02-06 12:46
775
altcat_2__1427_26.min1.thm1
2017-02-06 12:46
684
altcat_2__1428_17.min1.thm1
2017-02-06 12:46
1.5K
altcat_2__1460_20.min1.thm1
2017-02-06 12:46
1.4K
altcat_2__1464_49.min1.thm1
2017-02-06 12:46
1.6K
altcat_2__1465_38.min1.thm1
2017-02-06 12:46
1.2K
altcat_2__1483_60.min1.thm1
2017-02-06 12:46
446
altcat_2__1483_60.min1.thm1.tptp
2017-02-06 16:48
356
altcat_2__1487_53.min1.thm1
2017-02-06 12:46
1.2K
altcat_2__1488_53.min1.thm1
2017-02-06 12:46
1.2K
altcat_2__1489_45.min1.thm1
2017-02-06 12:46
1.1K
altcat_2__1490_66.min1.thm1
2017-02-06 12:46
1.0K
altcat_2__1496_31.min1.thm1
2017-02-06 12:46
1.5K
altcat_2__1497_23.min1.thm1
2017-02-06 12:46
689
altcat_2__1498_52.min1.thm1
2017-02-06 12:46
971
altcat_2__1499_31.min1.thm1
2017-02-06 12:46
1.5K
altcat_2__1500_23.min1.thm1
2017-02-06 12:46
687
altcat_2__1501_52.min1.thm1
2017-02-06 12:46
971
altcat_2__1502_38.min1.thm1
2017-02-06 12:46
4.0K
altcat_2__1503_31.min1.thm1
2017-02-06 12:46
1.5K
altcat_2__1504_23.min1.thm1
2017-02-06 12:46
690
altcat_2__1505_52.min1.thm1
2017-02-06 12:46
1.0K
altcat_2__1506_24.min1.thm1
2017-02-06 12:46
1.7K
altcat_2__1508_39.min1.thm1
2017-02-06 12:46
4.0K
altcat_2__1509_30.min1.thm1
2017-02-06 12:46
5.0K
altcat_2__1510_24.min1.thm1
2017-02-06 12:46
2.6K
altcat_2__1511_21.min1.thm1
2017-02-06 12:46
5.0K
altcat_2__1513_16.min1.thm1
2017-02-06 12:46
312
altcat_2__1513_16.min1.thm1.tptp
2017-02-06 16:48
226
altcat_2__1526_44.min1.thm1
2017-02-06 12:46
1.7K
altcat_2__1527_14.min1.thm1
2017-02-06 12:46
679
altcat_2__1540_38.min1.thm1
2017-02-06 12:46
782
altcat_2__1541_46.min1.thm1
2017-02-06 12:46
1.3K
altcat_2__1542_23.min1.thm1
2017-02-06 12:46
1.2K
altcat_2__1543_23.min1.thm1
2017-02-06 12:46
596
altcat_2__1547_42.min1.thm1
2017-02-06 12:46
784
altcat_2__1551_23.min1.thm1
2017-02-06 12:46
1.6K
altcat_2__1552_47.min1.thm1
2017-02-06 12:46
1.8K
altcat_2__1553_31.min1.thm1
2017-02-06 12:46
3.3K
altcat_2__1554_16.min1.thm1
2017-02-06 12:46
1.3K
altcat_2__1556_40.min1.thm1
2017-02-06 12:46
782
altcat_2__1560_21.min1.thm1
2017-02-06 12:46
1.6K
altcat_2__1561_47.min1.thm1
2017-02-06 12:46
1.8K
altcat_2__1562_31.min1.thm1
2017-02-06 12:46
3.3K
altcat_2__1563_15.min1.thm1
2017-02-06 12:46
1.5K
altcat_2__1574_15.min1.thm1
2017-02-06 12:46
1.1K
altcat_2__1591_50.min1.thm1
2017-02-06 12:46
1.3K
altcat_2__1592_24.min1.thm1
2017-02-06 12:46
1.2K
altcat_2__1596_39.min1.thm1
2017-02-06 12:46
868
altcat_2__1599_44.min1.thm1
2017-02-06 12:46
1.8K
altcat_2__1600_28.min1.thm1
2017-02-06 12:46
3.1K
altcat_2__1601_13.min1.thm1
2017-02-06 12:46
1.5K
altcat_2__1603_17.min1.thm1
2017-02-06 12:46
1.9K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80