Index of /~mptp/7.13.01_4.181.1147/MPTP2/ilp0/borsuk_4
Name
Last modified
Size
Description
Parent Directory
-
borsuk_4__51_73.min1.thm1
2017-02-06 12:45
1.5K
borsuk_4__53_19.min1.thm1
2017-02-06 12:45
499
borsuk_4__53_19.min1.thm1.tptp
2017-02-06 16:48
447
borsuk_4__59_58.min1.thm1
2017-02-06 12:45
714
borsuk_4__65_27.min1.thm1
2017-02-06 12:45
368
borsuk_4__65_27.min1.thm1.tptp
2017-02-06 16:48
286
borsuk_4__67_21.min1.thm1
2017-02-06 12:45
379
borsuk_4__67_21.min1.thm1.tptp
2017-02-06 16:48
302
borsuk_4__68_33.min1.thm1
2017-02-06 12:45
487
borsuk_4__70_16.min1.thm1
2017-02-06 12:45
548
borsuk_4__79_28.min1.thm1
2017-02-06 12:45
790
borsuk_4__81_22.min1.thm1
2017-02-06 12:45
409
borsuk_4__81_22.min1.thm1.tptp
2017-02-06 16:48
332
borsuk_4__82_33.min1.thm1
2017-02-06 12:45
670
borsuk_4__84_16.min1.thm1
2017-02-06 12:45
774
borsuk_4__100_21.min1.thm1
2017-02-06 12:45
484
borsuk_4__102_17.min1.thm1
2017-02-06 12:45
368
borsuk_4__102_17.min1.thm1.tptp
2017-02-06 16:48
290
borsuk_4__103_21.min1.thm1
2017-02-06 12:45
391
borsuk_4__103_21.min1.thm1.tptp
2017-02-06 16:48
311
borsuk_4__105_17.min1.thm1
2017-02-06 12:45
368
borsuk_4__105_17.min1.thm1.tptp
2017-02-06 16:48
290
borsuk_4__110_20.min1.thm1
2017-02-06 12:45
1.0K
borsuk_4__113_20.min1.thm1
2017-02-06 12:45
543
borsuk_4__114_34.min1.thm1
2017-02-06 12:45
745
borsuk_4__115_22.min1.thm1
2017-02-06 12:45
621
borsuk_4__116_18.min1.thm1
2017-02-06 12:45
1.2K
borsuk_4__117_39.min1.thm1
2017-02-06 12:45
796
borsuk_4__135_23.min1.thm1
2017-02-06 12:45
521
borsuk_4__136_23.min1.thm1
2017-02-06 12:45
521
borsuk_4__140_21.min1.thm1
2017-02-06 12:45
391
borsuk_4__140_21.min1.thm1.tptp
2017-02-06 16:48
311
borsuk_4__142_17.min1.thm1
2017-02-06 12:45
368
borsuk_4__142_17.min1.thm1.tptp
2017-02-06 16:48
290
borsuk_4__145_19.min1.thm1
2017-02-06 12:45
789
borsuk_4__147_16.min1.thm1
2017-02-06 12:45
1.0K
borsuk_4__148_21.min1.thm1
2017-02-06 12:45
484
borsuk_4__150_18.min1.thm1
2017-02-06 12:45
368
borsuk_4__150_18.min1.thm1.tptp
2017-02-06 16:48
290
borsuk_4__151_14.min1.thm1
2017-02-06 12:45
905
borsuk_4__152_19.min1.thm1
2017-02-06 12:45
1.2K
borsuk_4__155_23.min1.thm1
2017-02-06 12:45
969
borsuk_4__161_17.min1.thm1
2017-02-06 12:45
507
borsuk_4__162_19.min1.thm1
2017-02-06 12:45
394
borsuk_4__162_19.min1.thm1.tptp
2017-02-06 16:48
312
borsuk_4__165_21.min1.thm1
2017-02-06 12:45
771
borsuk_4__166_38.min1.thm1
2017-02-06 12:45
1.2K
borsuk_4__167_31.min1.thm1
2017-02-06 12:45
722
borsuk_4__168_28.min1.thm1
2017-02-06 12:45
700
borsuk_4__170_22.min1.thm1
2017-02-06 12:45
911
borsuk_4__171_34.min1.thm1
2017-02-06 12:45
1.0K
borsuk_4__173_22.min1.thm1
2017-02-06 12:45
448
borsuk_4__173_22.min1.thm1.tptp
2017-02-06 16:48
368
borsuk_4__174_22.min1.thm1
2017-02-06 12:45
541
borsuk_4__175_34.min1.thm1
2017-02-06 12:45
720
borsuk_4__183_18.min1.thm1
2017-02-06 12:45
1.1K
borsuk_4__187_21.min1.thm1
2017-02-06 12:45
625
borsuk_4__188_19.min1.thm1
2017-02-06 12:45
1.1K
borsuk_4__190_18.min1.thm1
2017-02-06 12:45
1.1K
borsuk_4__191_21.min1.thm1
2017-02-06 12:45
1.1K
borsuk_4__192_37.min1.thm1
2017-02-06 12:45
1.6K
borsuk_4__197_19.min1.thm1
2017-02-06 12:45
970
borsuk_4__198_21.min1.thm1
2017-02-06 12:45
625
borsuk_4__200_18.min1.thm1
2017-02-06 12:45
1.1K
borsuk_4__201_21.min1.thm1
2017-02-06 12:45
1.1K
borsuk_4__202_37.min1.thm1
2017-02-06 12:45
1.5K
borsuk_4__208_16.min1.thm1
2017-02-06 12:45
767
borsuk_4__212_16.min1.thm1
2017-02-06 12:45
885
borsuk_4__214_17.min1.thm1
2017-02-06 12:45
1.1K
borsuk_4__215_35.min1.thm1
2017-02-06 12:45
725
borsuk_4__217_23.min1.thm1
2017-02-06 12:45
463
borsuk_4__217_23.min1.thm1.tptp
2017-02-06 16:48
383
borsuk_4__218_19.min1.thm1
2017-02-06 12:45
623
borsuk_4__219_27.min1.thm1
2017-02-06 12:45
621
borsuk_4__220_21.min1.thm1
2017-02-06 12:45
1.9K
borsuk_4__225_16.min1.thm1
2017-02-06 12:45
788
borsuk_4__227_17.min1.thm1
2017-02-06 12:45
1.1K
borsuk_4__228_23.min1.thm1
2017-02-06 12:45
551
borsuk_4__229_19.min1.thm1
2017-02-06 12:45
623
borsuk_4__230_27.min1.thm1
2017-02-06 12:45
621
borsuk_4__231_21.min1.thm1
2017-02-06 12:45
1.7K
borsuk_4__234_20.min1.thm1
2017-02-06 12:45
1.1K
borsuk_4__246_25.min1.thm1
2017-02-06 12:45
1.7K
borsuk_4__247_22.min1.thm1
2017-02-06 12:45
1.9K
borsuk_4__262_13.min1.thm1
2017-02-06 12:45
244
borsuk_4__265_21.min1.thm1
2017-02-06 12:45
1.3K
borsuk_4__273_17.min1.thm1
2017-02-06 12:45
1.2K
borsuk_4__274_19.min1.thm1
2017-02-06 12:45
710
borsuk_4__276_27.min1.thm1
2017-02-06 12:45
2.0K
borsuk_4__282_14.min1.thm1
2017-02-06 12:45
446
borsuk_4__296_11.min1.thm1
2017-02-06 12:45
1.8K
borsuk_4__307_27.min1.thm1
2017-02-06 12:45
792
borsuk_4__310_27.min1.thm1
2017-02-06 12:45
865
borsuk_4__312_13.min1.thm1
2017-02-06 12:45
1.5K
borsuk_4__313_11.min1.thm1
2017-02-06 12:45
1.5K
borsuk_4__324_27.min1.thm1
2017-02-06 12:45
801
borsuk_4__327_27.min1.thm1
2017-02-06 12:45
879
borsuk_4__329_13.min1.thm1
2017-02-06 12:45
1.6K
borsuk_4__330_11.min1.thm1
2017-02-06 12:45
1.6K
borsuk_4__341_31.min1.thm1
2017-02-06 12:45
729
borsuk_4__342_17.min1.thm1
2017-02-06 12:45
602
borsuk_4__352_31.min1.thm1
2017-02-06 12:45
729
borsuk_4__353_17.min1.thm1
2017-02-06 12:45
602
borsuk_4__364_45.min1.thm1
2017-02-06 12:45
613
borsuk_4__365_27.min1.thm1
2017-02-06 12:45
803
borsuk_4__367_29.min1.thm1
2017-02-06 12:45
1.2K
borsuk_4__368_17.min1.thm1
2017-02-06 12:45
1.5K
borsuk_4__369_14.min1.thm1
2017-02-06 12:45
324
borsuk_4__380_45.min1.thm1
2017-02-06 12:45
612
borsuk_4__381_27.min1.thm1
2017-02-06 12:45
802
borsuk_4__383_29.min1.thm1
2017-02-06 12:45
1.2K
borsuk_4__384_17.min1.thm1
2017-02-06 12:45
1.5K
borsuk_4__385_14.min1.thm1
2017-02-06 12:45
324
borsuk_4__396_45.min1.thm1
2017-02-06 12:45
612
borsuk_4__397_27.min1.thm1
2017-02-06 12:45
802
borsuk_4__399_29.min1.thm1
2017-02-06 12:45
1.2K
borsuk_4__400_17.min1.thm1
2017-02-06 12:45
1.5K
borsuk_4__401_14.min1.thm1
2017-02-06 12:45
324
borsuk_4__412_13.min1.thm1
2017-02-06 12:45
949
borsuk_4__414_17.min1.thm1
2017-02-06 12:45
1.2K
borsuk_4__427_19.min1.thm1
2017-02-06 12:45
841
borsuk_4__429_19.min1.thm1
2017-02-06 12:45
841
borsuk_4__442_27.min1.thm1
2017-02-06 12:45
1.3K
borsuk_4__443_17.min1.thm1
2017-02-06 12:45
736
borsuk_4__452_20.min1.thm1
2017-02-06 12:45
629
borsuk_4__453_14.min1.thm1
2017-02-06 12:45
383
borsuk_4__454_17.min1.thm1
2017-02-06 12:45
1.2K
borsuk_4__467_14.min1.thm1
2017-02-06 12:45
1.6K
borsuk_4__470_19.min1.thm1
2017-02-06 12:45
425
borsuk_4__474_27.min1.thm1
2017-02-06 12:45
1.4K
borsuk_4__475_25.min1.thm1
2017-02-06 12:45
1.5K
borsuk_4__476_13.min1.thm1
2017-02-06 12:45
1.4K
borsuk_4__477_13.min1.thm1
2017-02-06 12:45
1.5K
borsuk_4__479_13.min1.thm1
2017-02-06 12:45
1.6K
borsuk_4__482_20.min1.thm1
2017-02-06 12:45
1.6K
borsuk_4__485_20.min1.thm1
2017-02-06 12:45
1.6K
borsuk_4__519_54.min1.thm1
2017-02-06 12:45
1.0K
borsuk_4__523_10.min1.thm1
2017-02-06 12:45
698
borsuk_4__524_13.min1.thm1
2017-02-06 12:45
2.1K
borsuk_4__525_11.min1.thm1
2017-02-06 12:45
1.0K
borsuk_4__526_16.min1.thm1
2017-02-06 12:45
1.0K
borsuk_4__527_40.min1.thm1
2017-02-06 12:45
767
borsuk_4__529_17.min1.thm1
2017-02-06 12:45
377
borsuk_4__539_11.min1.thm1
2017-02-06 12:45
223
borsuk_4__543_13.min1.thm1
2017-02-06 12:45
803
borsuk_4__544_13.min1.thm1
2017-02-06 12:45
808
borsuk_4__550_34.min1.thm1
2017-02-06 12:45
1.5K
borsuk_4__551_19.min1.thm1
2017-02-06 12:45
1.8K
borsuk_4__552_19.min1.thm1
2017-02-06 12:45
970
borsuk_4__556_23.min1.thm1
2017-02-06 12:45
1.2K
borsuk_4__557_16.min1.thm1
2017-02-06 12:45
1.0K
borsuk_4__566_14.min1.thm1
2017-02-06 12:45
1.5K
borsuk_4__572_49.min1.thm1
2017-02-06 12:45
1.0K
borsuk_4__573_18.min1.thm1
2017-02-06 12:45
1.2K
borsuk_4__574_12.min1.thm1
2017-02-06 12:45
1.4K
borsuk_4__575_51.min1.thm1
2017-02-06 12:45
1.5K
borsuk_4__576_17.min1.thm1
2017-02-06 12:45
2.3K
borsuk_4__586_61.min1.thm1
2017-02-06 12:45
1.3K
borsuk_4__587_31.min1.thm1
2017-02-06 12:45
1.3K
borsuk_4__588_29.min1.thm1
2017-02-06 12:45
829
borsuk_4__589_56.min1.thm1
2017-02-06 12:45
1.3K
borsuk_4__590_31.min1.thm1
2017-02-06 12:45
902
borsuk_4__591_16.min1.thm1
2017-02-06 12:45
830
borsuk_4__603_38.min1.thm1
2017-02-06 12:45
623
borsuk_4__604_17.min1.thm1
2017-02-06 12:45
1.8K
borsuk_4__607_39.min1.thm1
2017-02-06 12:45
1.1K
borsuk_4__613_57.min1.thm1
2017-02-06 12:45
561
borsuk_4__617_47.min1.thm1
2017-02-06 12:45
454
borsuk_4__618_43.min1.thm1
2017-02-06 12:45
643
borsuk_4__622_18.min1.thm1
2017-02-06 12:45
683
borsuk_4__623_25.min1.thm1
2017-02-06 12:45
1.1K
borsuk_4__628_16.min1.thm1
2017-02-06 12:45
809
borsuk_4__630_17.min1.thm1
2017-02-06 12:45
796
borsuk_4__639_25.min1.thm1
2017-02-06 12:45
1.1K
borsuk_4__640_23.min1.thm1
2017-02-06 12:45
1.1K
borsuk_4__641_17.min1.thm1
2017-02-06 12:45
1.5K
borsuk_4__655_56.min1.thm1
2017-02-06 12:45
545
borsuk_4__658_52.min1.thm1
2017-02-06 12:45
472
borsuk_4__658_52.min1.thm1.tptp
2017-02-06 16:48
406
borsuk_4__659_32.min1.thm1
2017-02-06 12:45
588
borsuk_4__660_26.min1.thm1
2017-02-06 12:45
1.0K
borsuk_4__661_24.min1.thm1
2017-02-06 12:45
1.0K
borsuk_4__670_40.min1.thm1
2017-02-06 12:45
1.3K
borsuk_4__671_38.min1.thm1
2017-02-06 12:45
744
borsuk_4__673_39.min1.thm1
2017-02-06 12:45
1.1K
borsuk_4__674_19.min1.thm1
2017-02-06 12:45
1.2K
borsuk_4__676_27.min1.thm1
2017-02-06 12:45
1.0K
borsuk_4__677_25.min1.thm1
2017-02-06 12:45
1.0K
borsuk_4__687_66.min1.thm1
2017-02-06 12:45
711
borsuk_4__687_66.min1.thm1.tptp
2017-02-06 16:48
634
borsuk_4__688_48.min1.thm1
2017-02-06 12:45
515
borsuk_4__688_48.min1.thm1.tptp
2017-02-06 16:48
440
borsuk_4__689_39.min1.thm1
2017-02-06 12:45
499
borsuk_4__689_39.min1.thm1.tptp
2017-02-06 16:48
420
borsuk_4__691_26.min1.thm1
2017-02-06 12:45
1.9K
borsuk_4__694_5.min1.thm1
2017-02-06 12:45
829
borsuk_4__696_18.min1.thm1
2017-02-06 12:45
635
borsuk_4__697_16.min1.thm1
2017-02-06 12:45
939
borsuk_4__708_50.min1.thm1
2017-02-06 12:45
1.3K
borsuk_4__710_18.min1.thm1
2017-02-06 12:45
743
borsuk_4__719_39.min1.thm1
2017-02-06 12:45
552
borsuk_4__720_46.min1.thm1
2017-02-06 12:45
1.1K
borsuk_4__731_33.min1.thm1
2017-02-06 12:45
1.6K
borsuk_4__732_37.min1.thm1
2017-02-06 12:45
548
borsuk_4__733_17.min1.thm1
2017-02-06 12:45
1.6K
borsuk_4__738_14.min1.thm1
2017-02-06 12:45
1.0K
borsuk_4__742_15.min1.thm1
2017-02-06 12:45
245
borsuk_4__750_27.min1.thm1
2017-02-06 12:45
639
borsuk_4__751_26.min1.thm1
2017-02-06 12:45
1.6K
borsuk_4__756_20.min1.thm1
2017-02-06 12:45
1.6K
borsuk_4__757_17.min1.thm1
2017-02-06 12:45
635
borsuk_4__768_11.min1.thm1
2017-02-06 12:45
1.5K
borsuk_4__770_12.min1.thm1
2017-02-06 12:45
1.3K
borsuk_4__775_55.min1.thm1
2017-02-06 12:45
1.7K
borsuk_4__779_10.min1.thm1
2017-02-06 12:45
812
borsuk_4__780_12.min1.thm1
2017-02-06 12:45
2.3K
borsuk_4__781_12.min1.thm1
2017-02-06 12:45
1.4K
borsuk_4__782_19.min1.thm1
2017-02-06 12:45
719
borsuk_4__795_13.min1.thm1
2017-02-06 12:45
1.5K
borsuk_4__800_55.min1.thm1
2017-02-06 12:45
1.7K
borsuk_4__804_9.min1.thm1
2017-02-06 12:45
812
borsuk_4__805_12.min1.thm1
2017-02-06 12:45
1.4K
borsuk_4__806_12.min1.thm1
2017-02-06 12:45
2.6K
borsuk_4__807_19.min1.thm1
2017-02-06 12:45
719
borsuk_4__818_27.min1.thm1
2017-02-06 12:45
1.2K
borsuk_4__818_27.min1.thm1.tptp
2017-02-06 16:48
1.1K
borsuk_4__819_17.min1.thm1
2017-02-06 12:45
3.3K
borsuk_4__827_60.min1.thm1
2017-02-06 12:45
634
borsuk_4__836_35.min1.thm1
2017-02-06 12:45
2.6K
borsuk_4__837_11.min1.thm1
2017-02-06 12:45
1.4K
borsuk_4__840_17.min1.thm1
2017-02-06 12:45
893
borsuk_4__841_17.min1.thm1
2017-02-06 12:45
1.0K
borsuk_4__842_33.min1.thm1
2017-02-06 12:45
2.2K
borsuk_4__846_24.min1.thm1
2017-02-06 12:45
2.5K
borsuk_4__847_21.min1.thm1
2017-02-06 12:45
2.9K
borsuk_4__848_24.min1.thm1
2017-02-06 12:45
671
borsuk_4__849_65.min1.thm1
2017-02-06 12:45
1.4K
borsuk_4__850_66.min1.thm1
2017-02-06 12:45
1.9K
borsuk_4__854_43.min1.thm1
2017-02-06 12:45
1.0K
borsuk_4__855_40.min1.thm1
2017-02-06 12:45
1.4K
borsuk_4__866_32.min1.thm1
2017-02-06 12:45
2.6K
borsuk_4__867_19.min1.thm1
2017-02-06 12:45
2.2K
borsuk_4__872_60.min1.thm1
2017-02-06 12:45
2.7K
borsuk_4__876_18.min1.thm1
2017-02-06 12:45
2.7K
borsuk_4__879_24.min1.thm1
2017-02-06 12:45
1.1K
borsuk_4__901_26.min1.thm1
2017-02-06 12:45
2.3K
borsuk_4__902_17.min1.thm1
2017-02-06 12:45
2.1K
borsuk_4__918_14.min1.thm1
2017-02-06 12:45
1.5K
borsuk_4__919_12.min1.thm1
2017-02-06 12:45
1.4K
borsuk_4__923_48.min1.thm1
2017-02-06 12:45
1.0K
borsuk_4__924_25.min1.thm1
2017-02-06 12:45
1.5K
borsuk_4__928_29.min1.thm1
2017-02-06 12:45
2.0K
borsuk_4__938_19.min1.thm1
2017-02-06 12:45
845
borsuk_4__944_59.min1.thm1
2017-02-06 12:45
1.5K
borsuk_4__945_13.min1.thm1
2017-02-06 12:45
1.5K
borsuk_4__946_11.min1.thm1
2017-02-06 12:45
1.4K
borsuk_4__948_44.min1.thm1
2017-02-06 12:45
1.8K
borsuk_4__952_19.min1.thm1
2017-02-06 12:45
1.3K
borsuk_4__953_55.min1.thm1
2017-02-06 12:45
2.0K
borsuk_4__961_21.min1.thm1
2017-02-06 12:45
280
borsuk_4__962_29.min1.thm1
2017-02-06 12:45
2.2K
borsuk_4__965_37.min1.thm1
2017-02-06 12:45
684
borsuk_4__968_20.min1.thm1
2017-02-06 12:45
841
borsuk_4__971_37.min1.thm1
2017-02-06 12:45
684
borsuk_4__988_27.min1.thm1
2017-02-06 12:45
543
borsuk_4__1002_13.min1.thm1
2017-02-06 12:45
1.4K
borsuk_4__1003_30.min1.thm1
2017-02-06 12:45
882
borsuk_4__1006_30.min1.thm1
2017-02-06 12:45
754
borsuk_4__1009_13.min1.thm1
2017-02-06 12:45
1.5K
borsuk_4__1010_18.min1.thm1
2017-02-06 12:45
1.3K
borsuk_4__1011_18.min1.thm1
2017-02-06 12:45
1.3K
borsuk_4__1024_46.min1.thm1
2017-02-06 12:45
656
borsuk_4__1036_11.min1.thm1
2017-02-06 12:45
213
borsuk_4__1039_29.min1.thm1
2017-02-06 12:45
871
borsuk_4__1041_33.min1.thm1
2017-02-06 12:45
2.6K
borsuk_4__1042_32.min1.thm1
2017-02-06 12:45
886
borsuk_4__1044_19.min1.thm1
2017-02-06 12:45
927
borsuk_4__1048_23.min1.thm1
2017-02-06 12:45
1.8K
borsuk_4__1049_16.min1.thm1
2017-02-06 12:45
1.3K
borsuk_4__1057_32.min1.thm1
2017-02-06 12:45
754
borsuk_4__1061_11.min1.thm1
2017-02-06 12:45
191
borsuk_4__1064_13.min1.thm1
2017-02-06 12:45
1.5K
borsuk_4__1065_13.min1.thm1
2017-02-06 12:45
877
borsuk_4__1067_12.min1.thm1
2017-02-06 12:45
1.3K
borsuk_4__1068_29.min1.thm1
2017-02-06 12:45
871
borsuk_4__1069_38.min1.thm1
2017-02-06 12:45
2.6K
borsuk_4__1071_19.min1.thm1
2017-02-06 12:45
927
borsuk_4__1075_16.min1.thm1
2017-02-06 12:45
1.1K
borsuk_4__1091_55.min1.thm1
2017-02-06 12:45
2.0K
borsuk_4__1099_11.min1.thm1
2017-02-06 12:45
832
borsuk_4__1102_59.min1.thm1
2017-02-06 12:45
875
borsuk_4__1104_36.min1.thm1
2017-02-06 12:45
1.1K
borsuk_4__1106_34.min1.thm1
2017-02-06 12:45
2.4K
borsuk_4__1107_24.min1.thm1
2017-02-06 12:45
2.5K
borsuk_4__1108_41.min1.thm1
2017-02-06 12:45
972
borsuk_4__1109_61.min1.thm1
2017-02-06 12:45
902
borsuk_4__1110_52.min1.thm1
2017-02-06 12:45
1.3K
borsuk_4__1112_4.min1.thm1
2017-02-06 12:45
1.2K
borsuk_4__1114_60.min1.thm1
2017-02-06 12:45
2.1K
borsuk_4__1115_14.min1.thm1
2017-02-06 12:45
1.5K
borsuk_4__1116_48.min1.thm1
2017-02-06 12:45
793
borsuk_4__1117_39.min1.thm1
2017-02-06 12:45
1.1K
borsuk_4__1118_31.min1.thm1
2017-02-06 12:45
799
borsuk_4__1119_58.min1.thm1
2017-02-06 12:45
830
borsuk_4__1121_38.min1.thm1
2017-02-06 12:45
1.2K
borsuk_4__1124_23.min1.thm1
2017-02-06 12:45
1.0K
borsuk_4__1125_36.min1.thm1
2017-02-06 12:45
2.9K
borsuk_4__1127_17.min1.thm1
2017-02-06 12:45
2.3K
borsuk_4__1128_16.min1.thm1
2017-02-06 12:45
2.2K
borsuk_4__1131_22.min1.thm1
2017-02-06 12:45
1.8K
borsuk_4__1132_21.min1.thm1
2017-02-06 12:45
2.5K
borsuk_4__1133_38.min1.thm1
2017-02-06 12:45
2.8K
borsuk_4__1139_17.min1.thm1
2017-02-06 12:45
2.3K
borsuk_4__1143_16.min1.thm1
2017-02-06 12:45
1.4K
borsuk_4__1144_31.min1.thm1
2017-02-06 12:45
799
borsuk_4__1148_24.min1.thm1
2017-02-06 12:45
1.3K
borsuk_4__1150_36.min1.thm1
2017-02-06 12:45
1.8K
borsuk_4__1152_17.min1.thm1
2017-02-06 12:45
2.3K
borsuk_4__1155_17.min1.thm1
2017-02-06 12:45
2.3K
borsuk_4__1170_55.min1.thm1
2017-02-06 12:45
2.0K
borsuk_4__1178_11.min1.thm1
2017-02-06 12:45
832
borsuk_4__1183_36.min1.thm1
2017-02-06 12:45
1.1K
borsuk_4__1185_34.min1.thm1
2017-02-06 12:45
2.4K
borsuk_4__1186_24.min1.thm1
2017-02-06 12:45
2.5K
borsuk_4__1187_41.min1.thm1
2017-02-06 12:45
972
borsuk_4__1188_61.min1.thm1
2017-02-06 12:45
902
borsuk_4__1189_52.min1.thm1
2017-02-06 12:45
1.3K
borsuk_4__1191_4.min1.thm1
2017-02-06 12:45
1.2K
borsuk_4__1193_60.min1.thm1
2017-02-06 12:45
2.1K
borsuk_4__1194_14.min1.thm1
2017-02-06 12:45
1.5K
borsuk_4__1195_48.min1.thm1
2017-02-06 12:45
793
borsuk_4__1196_39.min1.thm1
2017-02-06 12:45
1.1K
borsuk_4__1197_31.min1.thm1
2017-02-06 12:45
799
borsuk_4__1198_58.min1.thm1
2017-02-06 12:45
830
borsuk_4__1200_38.min1.thm1
2017-02-06 12:45
1.2K
borsuk_4__1203_23.min1.thm1
2017-02-06 12:45
1.0K
borsuk_4__1204_36.min1.thm1
2017-02-06 12:45
2.9K
borsuk_4__1206_17.min1.thm1
2017-02-06 12:45
2.3K
borsuk_4__1210_22.min1.thm1
2017-02-06 12:45
1.8K
borsuk_4__1211_21.min1.thm1
2017-02-06 12:45
2.5K
borsuk_4__1212_38.min1.thm1
2017-02-06 12:45
2.8K
borsuk_4__1219_16.min1.thm1
2017-02-06 12:45
2.3K
borsuk_4__1222_16.min1.thm1
2017-02-06 12:45
1.4K
borsuk_4__1223_31.min1.thm1
2017-02-06 12:45
799
borsuk_4__1227_24.min1.thm1
2017-02-06 12:45
1.3K
borsuk_4__1229_36.min1.thm1
2017-02-06 12:45
1.8K
borsuk_4__1231_17.min1.thm1
2017-02-06 12:45
2.3K
borsuk_4__1234_17.min1.thm1
2017-02-06 12:45
2.3K
borsuk_4__1243_55.min1.thm1
2017-02-06 12:45
1.6K
borsuk_4__1263_28.min1.thm1
2017-02-06 12:45
1.3K
borsuk_4__1265_25.min1.thm1
2017-02-06 12:45
1.6K
borsuk_4__1266_63.min1.thm1
2017-02-06 12:45
2.7K
borsuk_4__1267_49.min1.thm1
2017-02-06 12:45
2.1K
borsuk_4__1268_32.min1.thm1
2017-02-06 12:45
1.4K
borsuk_4__1272_27.min1.thm1
2017-02-06 12:45
1.5K
borsuk_4__1276_65.min1.thm1
2017-02-06 12:45
1.4K
borsuk_4__1278_25.min1.thm1
2017-02-06 12:45
1.3K
borsuk_4__1279_32.min1.thm1
2017-02-06 12:45
1.4K
borsuk_4__1283_27.min1.thm1
2017-02-06 12:45
1.5K
borsuk_4__1286_24.min1.thm1
2017-02-06 12:45
2.0K
borsuk_4__1290_24.min1.thm1
2017-02-06 12:45
2.0K
borsuk_4__1299_35.min1.thm1
2017-02-06 12:45
1.2K
borsuk_4__1301_20.min1.thm1
2017-02-06 12:45
834
borsuk_4__1302_25.min1.thm1
2017-02-06 12:45
1.3K
borsuk_4__1305_15.min1.thm1
2017-02-06 12:45
869
borsuk_4__1311_17.min1.thm1
2017-02-06 12:45
1.4K
borsuk_4__1312_19.min1.thm1
2017-02-06 12:45
477
borsuk_4__1314_17.min1.thm1
2017-02-06 12:45
844
borsuk_4__1318_24.min1.thm1
2017-02-06 12:45
1.6K
borsuk_4__1321_42.min1.thm1
2017-02-06 12:45
1.0K
borsuk_4__1323_42.min1.thm1
2017-02-06 12:45
1.0K
borsuk_4__1326_24.min1.thm1
2017-02-06 12:45
1.6K
borsuk_4__1329_25.min1.thm1
2017-02-06 12:45
2.3K
borsuk_4__1332_45.min1.thm1
2017-02-06 12:45
327
borsuk_4__1333_20.min1.thm1
2017-02-06 12:45
2.1K
borsuk_4__1334_20.min1.thm1
2017-02-06 12:45
1.5K
borsuk_4__1335_13.min1.thm1
2017-02-06 12:45
1.7K
borsuk_4__1337_16.min1.thm1
2017-02-06 12:45
934
borsuk_4__1342_41.min1.thm1
2017-02-06 12:45
1.8K
borsuk_4__1344_14.min1.thm1
2017-02-06 12:45
1.7K
borsuk_4__1349_45.min1.thm1
2017-02-06 12:45
327
borsuk_4__1350_20.min1.thm1
2017-02-06 12:45
2.1K
borsuk_4__1351_20.min1.thm1
2017-02-06 12:45
1.5K
borsuk_4__1352_13.min1.thm1
2017-02-06 12:45
1.7K
borsuk_4__1354_16.min1.thm1
2017-02-06 12:45
934
borsuk_4__1359_41.min1.thm1
2017-02-06 12:45
1.8K
borsuk_4__1361_14.min1.thm1
2017-02-06 12:45
1.7K
borsuk_4__1380_17.min1.thm1
2017-02-06 12:45
1.4K
borsuk_4__1381_19.min1.thm1
2017-02-06 12:45
619
borsuk_4__1393_14.min1.thm1
2017-02-06 12:45
2.0K
borsuk_4__1395_19.min1.thm1
2017-02-06 12:45
2.0K
borsuk_4__1396_14.min1.thm1
2017-02-06 12:45
1.8K
borsuk_4__1397_23.min1.thm1
2017-02-06 12:45
2.1K
borsuk_4__1402_19.min1.thm1
2017-02-06 12:45
2.5K
borsuk_4__1408_17.min1.thm1
2017-02-06 12:45
1.8K
borsuk_4__1410_32.min1.thm1
2017-02-06 12:45
1.0K
borsuk_4__1412_34.min1.thm1
2017-02-06 12:45
4.3K
borsuk_4__1413_17.min1.thm1
2017-02-06 12:45
2.6K
borsuk_4__1423_13.min1.thm1
2017-02-06 12:45
819
borsuk_4__1424_17.min1.thm1
2017-02-06 12:45
1.6K
borsuk_4__1433_27.min1.thm1
2017-02-06 12:45
1.1K
borsuk_4__1436_14.min1.thm1
2017-02-06 12:45
3.2K
borsuk_4__1448_11.min1.thm1
2017-02-06 12:45
197
borsuk_4__1451_16.min1.thm1
2017-02-06 12:45
2.3K
borsuk_4__1458_48.min1.thm1
2017-02-06 12:45
4.0K
borsuk_4__1459_48.min1.thm1
2017-02-06 12:45
4.0K
borsuk_4__1478_19.min1.thm1
2017-02-06 12:45
1.6K
borsuk_4__1483_30.min1.thm1
2017-02-06 12:45
755
borsuk_4__1486_30.min1.thm1
2017-02-06 12:45
883
borsuk_4__1489_63.min1.thm1
2017-02-06 12:45
1.2K
borsuk_4__1490_50.min1.thm1
2017-02-06 12:45
1.0K
borsuk_4__1491_26.min1.thm1
2017-02-06 12:45
2.6K
borsuk_4__1492_14.min1.thm1
2017-02-06 12:45
655
borsuk_4__1507_53.min1.thm1
2017-02-06 12:45
1.2K
borsuk_4__1508_42.min1.thm1
2017-02-06 12:45
1.0K
borsuk_4__1509_45.min1.thm1
2017-02-06 12:45
1.8K
borsuk_4__1510_20.min1.thm1
2017-02-06 12:45
1.3K
borsuk_4__1512_20.min1.thm1
2017-02-06 12:45
1.7K
borsuk_4__1518_33.min1.thm1
2017-02-06 12:45
2.3K
borsuk_4__1519_23.min1.thm1
2017-02-06 12:45
1.4K
borsuk_4__1520_22.min1.thm1
2017-02-06 12:45
1.1K
borsuk_4__1523_38.min1.thm1
2017-02-06 12:45
1.0K
borsuk_4__1527_33.min1.thm1
2017-02-06 12:45
760
borsuk_4__1532_30.min1.thm1
2017-02-06 12:45
1.9K
borsuk_4__1534_30.min1.thm1
2017-02-06 12:45
2.3K
borsuk_4__1539_18.min1.thm1
2017-02-06 12:45
1.4K
borsuk_4__1544_40.min1.thm1
2017-02-06 12:45
1.7K
borsuk_4__1545_13.min1.thm1
2017-02-06 12:45
1.7K
borsuk_4__1546_66.min1.thm1
2017-02-06 12:45
2.3K
borsuk_4__1549_34.min1.thm1
2017-02-06 12:45
761
borsuk_4__1551_26.min1.thm1
2017-02-06 12:45
1.2K
borsuk_4__1552_21.min1.thm1
2017-02-06 12:45
2.4K
borsuk_4__1558_50.min1.thm1
2017-02-06 12:45
2.4K
borsuk_4__1574_11.min1.thm1
2017-02-06 12:45
191
borsuk_4__1577_19.min1.thm1
2017-02-06 12:45
1.0K
borsuk_4__1581_13.min1.thm1
2017-02-06 12:45
408
borsuk_4__1588_15.min1.thm1
2017-02-06 12:45
827
borsuk_4__1589_64.min1.thm1
2017-02-06 12:45
1.3K
borsuk_4__1590_48.min1.thm1
2017-02-06 12:45
4.0K
borsuk_4__1593_55.min1.thm1
2017-02-06 12:45
1.5K
borsuk_4__1594_35.min1.thm1
2017-02-06 12:45
1.9K
borsuk_4__1600_22.min1.thm1
2017-02-06 12:45
2.3K
borsuk_4__1603_45.min1.thm1
2017-02-06 12:45
804
borsuk_4__1604_21.min1.thm1
2017-02-06 12:45
1.0K
borsuk_4__1605_60.min1.thm1
2017-02-06 12:45
530
borsuk_4__1605_60.min1.thm1.tptp
2017-02-06 16:48
457
borsuk_4__1606_20.min1.thm1
2017-02-06 12:45
1.8K
borsuk_4__1607_50.min1.thm1
2017-02-06 12:45
1.4K
borsuk_4__1609_19.min1.thm1
2017-02-06 12:45
1.9K
borsuk_4__1611_20.min1.thm1
2017-02-06 12:45
1.8K
borsuk_4__1612_50.min1.thm1
2017-02-06 12:45
1.4K
borsuk_4__1614_19.min1.thm1
2017-02-06 12:45
1.9K
borsuk_4__1621_25.min1.thm1
2017-02-06 12:45
838
borsuk_4__1621_25.min1.thm1.tptp
2017-02-06 16:48
791
borsuk_4__1627_19.min1.thm1
2017-02-06 12:45
1.4K
borsuk_4__1629_18.min1.thm1
2017-02-06 12:45
1.6K
borsuk_4__1630_18.min1.thm1
2017-02-06 12:45
1.6K
borsuk_4__1633_19.min1.thm1
2017-02-06 12:45
1.2K
borsuk_4__1649_40.min1.thm1
2017-02-06 12:45
1.3K
borsuk_4__1650_71.min1.thm1
2017-02-06 12:45
756
borsuk_4__1651_40.min1.thm1
2017-02-06 12:45
702
borsuk_4__1653_39.min1.thm1
2017-02-06 12:45
1.0K
borsuk_4__1659_34.min1.thm1
2017-02-06 12:45
762
borsuk_4__1660_37.min1.thm1
2017-02-06 12:45
1.1K
borsuk_4__1661_27.min1.thm1
2017-02-06 12:45
1.1K
borsuk_4__1662_27.min1.thm1
2017-02-06 12:45
1.1K
borsuk_4__1665_19.min1.thm1
2017-02-06 12:45
1.2K
borsuk_4__1667_27.min1.thm1
2017-02-06 12:45
969
borsuk_4__1668_27.min1.thm1
2017-02-06 12:45
969
borsuk_4__1672_53.min1.thm1
2017-02-06 12:45
799
borsuk_4__1674_46.min1.thm1
2017-02-06 12:45
514
borsuk_4__1674_46.min1.thm1.tptp
2017-02-06 16:48
439
borsuk_4__1676_38.min1.thm1
2017-02-06 12:45
1.9K
borsuk_4__1680_30.min1.thm1
2017-02-06 12:45
925
borsuk_4__1683_38.min1.thm1
2017-02-06 12:45
1.9K
borsuk_4__1687_30.min1.thm1
2017-02-06 12:45
932
borsuk_4__1714_34.min1.thm1
2017-02-06 12:45
1.0K
borsuk_4__1717_20.min1.thm1
2017-02-06 12:45
634
borsuk_4__1717_20.min1.thm1.tptp
2017-02-06 16:48
591
borsuk_4__1718_12.min1.thm1
2017-02-06 12:45
1.2K
borsuk_4__1720_20.min1.thm1
2017-02-06 12:45
1.2K
borsuk_4__1721_12.min1.thm1
2017-02-06 12:45
1.2K
borsuk_4__1723_20.min1.thm1
2017-02-06 12:45
1.2K
borsuk_4__1724_23.min1.thm1
2017-02-06 12:45
1.1K
borsuk_4__1725_45.min1.thm1
2017-02-06 12:45
875
borsuk_4__1727_18.min1.thm1
2017-02-06 12:45
383
borsuk_4__1728_16.min1.thm1
2017-02-06 12:45
675
borsuk_4__1740_13.min1.thm1
2017-02-06 12:45
336
borsuk_4__1740_13.min1.thm1.tptp
2017-02-06 16:48
262
borsuk_4__1750_15.min1.thm1
2017-02-06 12:45
752
borsuk_4__1755_64.min1.thm1
2017-02-06 12:45
1.2K
borsuk_4__1756_48.min1.thm1
2017-02-06 12:45
4.0K
borsuk_4__1759_20.min1.thm1
2017-02-06 12:45
2.0K
borsuk_4__1760_50.min1.thm1
2017-02-06 12:45
1.4K
borsuk_4__1762_19.min1.thm1
2017-02-06 12:45
1.9K
borsuk_4__1763_20.min1.thm1
2017-02-06 12:45
2.0K
borsuk_4__1764_50.min1.thm1
2017-02-06 12:45
1.4K
borsuk_4__1766_19.min1.thm1
2017-02-06 12:45
1.9K
borsuk_4__1768_44.min1.thm1
2017-02-06 12:45
1.4K
borsuk_4__1770_18.min1.thm1
2017-02-06 12:45
1.9K
borsuk_4__1771_47.min1.thm1
2017-02-06 12:45
1.8K
borsuk_4__1773_42.min1.thm1
2017-02-06 12:45
1.5K
borsuk_4__1774_47.min1.thm1
2017-02-06 12:45
1.8K
borsuk_4__1776_18.min1.thm1
2017-02-06 12:45
1.3K
borsuk_4__1777_55.min1.thm1
2017-02-06 12:45
1.5K
borsuk_4__1778_35.min1.thm1
2017-02-06 12:45
1.8K
borsuk_4__1783_22.min1.thm1
2017-02-06 12:45
2.3K
borsuk_4__1785_45.min1.thm1
2017-02-06 12:45
747
borsuk_4__1786_21.min1.thm1
2017-02-06 12:45
1.0K
borsuk_4__1787_60.min1.thm1
2017-02-06 12:45
470
borsuk_4__1787_60.min1.thm1.tptp
2017-02-06 16:48
397
borsuk_4__1788_31.min1.thm1
2017-02-06 12:45
501
borsuk_4__1790_22.min1.thm1
2017-02-06 12:45
518
borsuk_4__1797_28.min1.thm1
2017-02-06 12:45
1.1K
borsuk_4__1798_78.min1.thm1
2017-02-06 12:45
1.0K
borsuk_4__1800_22.min1.thm1
2017-02-06 12:45
1.3K
borsuk_4__1806_20.min1.thm1
2017-02-06 12:45
1.4K
borsuk_4__1808_18.min1.thm1
2017-02-06 12:45
2.1K
borsuk_4__1809_18.min1.thm1
2017-02-06 12:45
2.1K
borsuk_4__1813_15.min1.thm1
2017-02-06 12:45
1.2K
borsuk_4__1814_17.min1.thm1
2017-02-06 12:45
1.2K
borsuk_4__1817_22.min1.thm1
2017-02-06 12:45
954
borsuk_4__1822_32.min1.thm1
2017-02-06 12:45
338
borsuk_4__1823_14.min1.thm1
2017-02-06 12:45
700
borsuk_4__1827_11.min1.thm1
2017-02-06 12:45
191
borsuk_4__1830_13.min1.thm1
2017-02-06 12:45
193
borsuk_4__1836_15.min1.thm1
2017-02-06 12:45
929
borsuk_4__1837_51.min1.thm1
2017-02-06 12:45
1.8K
borsuk_4__1841_26.min1.thm1
2017-02-06 12:45
576
borsuk_4__1842_59.min1.thm1
2017-02-06 12:45
1.9K
borsuk_4__1849_27.min1.thm1
2017-02-06 12:45
750
borsuk_4__1854_21.min1.thm1
2017-02-06 12:45
455
borsuk_4__1860_15.min1.thm1
2017-02-06 12:45
1.3K
borsuk_4__1862_34.min1.thm1
2017-02-06 12:45
380
borsuk_4__1863_20.min1.thm1
2017-02-06 12:45
313
borsuk_4__1863_20.min1.thm1.tptp
2017-02-06 16:48
230
borsuk_4__1864_20.min1.thm1
2017-02-06 12:45
276
borsuk_4__1869_16.min1.thm1
2017-02-06 12:45
916
borsuk_4__1872_48.min1.thm1
2017-02-06 12:45
923
borsuk_4__1873_67.min1.thm1
2017-02-06 12:45
2.7K
borsuk_4__1876_15.min1.thm1
2017-02-06 12:45
1.6K
borsuk_4__1881_22.min1.thm1
2017-02-06 12:45
750
borsuk_4__1886_14.min1.thm1
2017-02-06 12:45
1.1K
borsuk_4__1889_16.min1.thm1
2017-02-06 12:45
455
borsuk_4__1891_15.min1.thm1
2017-02-06 12:45
1.0K
borsuk_4__1893_31.min1.thm1
2017-02-06 12:45
1.8K
borsuk_4__1901_34.min1.thm1
2017-02-06 12:45
380
borsuk_4__1902_20.min1.thm1
2017-02-06 12:45
480
borsuk_4__1903_20.min1.thm1
2017-02-06 12:45
276
borsuk_4__1908_19.min1.thm1
2017-02-06 12:45
1.2K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80