Index of /~mptp/7.13.01_4.181.1147/MPTP2/ilp0/borsuk_2
Name
Last modified
Size
Description
Parent Directory
-
borsuk_2__52_14.min1.thm1
2017-02-06 12:45
379
borsuk_2__53_60.min1.thm1
2017-02-06 12:45
721
borsuk_2__55_56.min1.thm1
2017-02-06 12:45
710
borsuk_2__56_14.min1.thm1
2017-02-06 12:45
335
borsuk_2__72_8.min1.thm1
2017-02-06 12:45
529
borsuk_2__72_8.min1.thm1.tptp
2017-02-06 16:48
466
borsuk_2__73_14.min1.thm1
2017-02-06 12:45
534
borsuk_2__74_19.min1.thm1
2017-02-06 12:45
823
borsuk_2__98_22.min1.thm1
2017-02-06 12:45
1.2K
borsuk_2__99_22.min1.thm1
2017-02-06 12:45
1.2K
borsuk_2__105_15.min1.thm1
2017-02-06 12:45
272
borsuk_2__109_39.min1.thm1
2017-02-06 12:45
699
borsuk_2__109_39.min1.thm1.tptp
2017-02-06 16:48
627
borsuk_2__110_39.min1.thm1
2017-02-06 12:45
699
borsuk_2__110_39.min1.thm1.tptp
2017-02-06 16:48
627
borsuk_2__111_22.min1.thm1
2017-02-06 12:45
394
borsuk_2__111_22.min1.thm1.tptp
2017-02-06 16:48
314
borsuk_2__112_46.min1.thm1
2017-02-06 12:45
1.5K
borsuk_2__113_22.min1.thm1
2017-02-06 12:45
487
borsuk_2__114_46.min1.thm1
2017-02-06 12:45
1.5K
borsuk_2__115_30.min1.thm1
2017-02-06 12:45
2.1K
borsuk_2__135_19.min1.thm1
2017-02-06 12:45
778
borsuk_2__136_22.min1.thm1
2017-02-06 12:45
1.5K
borsuk_2__144_17.min1.thm1
2017-02-06 12:45
254
borsuk_2__147_39.min1.thm1
2017-02-06 12:45
1.2K
borsuk_2__148_27.min1.thm1
2017-02-06 12:45
605
borsuk_2__148_27.min1.thm1.tptp
2017-02-06 16:48
528
borsuk_2__153_25.min1.thm1
2017-02-06 12:45
1.7K
borsuk_2__156_18.min1.thm1
2017-02-06 12:45
346
borsuk_2__174_19.min1.thm1
2017-02-06 12:45
685
borsuk_2__177_22.min1.thm1
2017-02-06 12:45
1.5K
borsuk_2__185_25.min1.thm1
2017-02-06 12:45
711
borsuk_2__189_25.min1.thm1
2017-02-06 12:45
711
borsuk_2__195_19.min1.thm1
2017-02-06 12:45
1.9K
borsuk_2__209_21.min1.thm1
2017-02-06 12:45
1.2K
borsuk_2__213_19.min1.thm1
2017-02-06 12:45
817
borsuk_2__223_15.min1.thm1
2017-02-06 12:45
863
borsuk_2__234_49.min1.thm1
2017-02-06 12:45
1.3K
borsuk_2__265_8.min1.thm1
2017-02-06 12:45
1.0K
borsuk_2__277_14.min1.thm1
2017-02-06 12:45
1.2K
borsuk_2__287_21.min1.thm1
2017-02-06 12:45
619
borsuk_2__290_16.min1.thm1
2017-02-06 12:45
1.1K
borsuk_2__299_13.min1.thm1
2017-02-06 12:45
131
borsuk_2__307_25.min1.thm1
2017-02-06 12:45
866
borsuk_2__308_47.min1.thm1
2017-02-06 12:45
1.2K
borsuk_2__309_35.min1.thm1
2017-02-06 12:45
1.0K
borsuk_2__316_24.min1.thm1
2017-02-06 12:45
1.6K
borsuk_2__332_24.min1.thm1
2017-02-06 12:45
650
borsuk_2__341_14.min1.thm1
2017-02-06 12:45
1.3K
borsuk_2__347_35.min1.thm1
2017-02-06 12:45
1.4K
borsuk_2__360_26.min1.thm1
2017-02-06 12:45
618
borsuk_2__364_14.min1.thm1
2017-02-06 12:45
1.6K
borsuk_2__365_19.min1.thm1
2017-02-06 12:45
1.4K
borsuk_2__367_19.min1.thm1
2017-02-06 12:45
1.4K
borsuk_2__368_19.min1.thm1
2017-02-06 12:45
1.4K
borsuk_2__369_24.min1.thm1
2017-02-06 12:45
1.4K
borsuk_2__370_21.min1.thm1
2017-02-06 12:45
1.5K
borsuk_2__392_24.min1.thm1
2017-02-06 12:45
1.6K
borsuk_2__394_24.min1.thm1
2017-02-06 12:45
1.6K
borsuk_2__401_34.min1.thm1
2017-02-06 12:45
1.4K
borsuk_2__411_21.min1.thm1
2017-02-06 12:45
1.3K
borsuk_2__413_30.min1.thm1
2017-02-06 12:45
1.0K
borsuk_2__421_36.min1.thm1
2017-02-06 12:45
1.4K
borsuk_2__426_21.min1.thm1
2017-02-06 12:45
952
borsuk_2__438_28.min1.thm1
2017-02-06 12:45
1.7K
borsuk_2__443_21.min1.thm1
2017-02-06 12:45
1.0K
borsuk_2__453_55.min1.thm1
2017-02-06 12:45
2.2K
borsuk_2__457_21.min1.thm1
2017-02-06 12:45
1.1K
borsuk_2__458_36.min1.thm1
2017-02-06 12:45
1.5K
borsuk_2__468_59.min1.thm1
2017-02-06 12:45
680
borsuk_2__471_27.min1.thm1
2017-02-06 12:45
2.5K
borsuk_2__474_20.min1.thm1
2017-02-06 12:45
1.9K
borsuk_2__475_14.min1.thm1
2017-02-06 12:45
1.0K
borsuk_2__487_34.min1.thm1
2017-02-06 12:45
1.0K
borsuk_2__488_23.min1.thm1
2017-02-06 12:45
2.5K
borsuk_2__491_22.min1.thm1
2017-02-06 12:45
1.6K
borsuk_2__492_14.min1.thm1
2017-02-06 12:45
1.2K
borsuk_2__506_44.min1.thm1
2017-02-06 12:45
664
borsuk_2__508_26.min1.thm1
2017-02-06 12:45
1.7K
borsuk_2__509_17.min1.thm1
2017-02-06 12:45
230
borsuk_2__522_22.min1.thm1
2017-02-06 12:45
520
borsuk_2__526_42.min1.thm1
2017-02-06 12:45
1.6K
borsuk_2__527_44.min1.thm1
2017-02-06 12:45
1.2K
borsuk_2__528_69.min1.thm1
2017-02-06 12:45
1.2K
borsuk_2__532_27.min1.thm1
2017-02-06 12:45
3.4K
borsuk_2__533_22.min1.thm1
2017-02-06 12:45
520
borsuk_2__540_44.min1.thm1
2017-02-06 12:45
590
borsuk_2__541_40.min1.thm1
2017-02-06 12:45
1.5K
borsuk_2__544_20.min1.thm1
2017-02-06 12:45
546
borsuk_2__556_35.min1.thm1
2017-02-06 12:45
1.5K
borsuk_2__558_35.min1.thm1
2017-02-06 12:45
1.5K
borsuk_2__562_14.min1.thm1
2017-02-06 12:45
1.8K
borsuk_2__563_34.min1.thm1
2017-02-06 12:45
1.4K
borsuk_2__564_34.min1.thm1
2017-02-06 12:45
1.2K
borsuk_2__567_13.min1.thm1
2017-02-06 12:45
245
borsuk_2__571_23.min1.thm1
2017-02-06 12:45
2.4K
borsuk_2__572_15.min1.thm1
2017-02-06 12:45
1.2K
borsuk_2__576_28.min1.thm1
2017-02-06 12:45
1.7K
borsuk_2__581_17.min1.thm1
2017-02-06 12:45
1.7K
borsuk_2__582_19.min1.thm1
2017-02-06 12:45
1.1K
borsuk_2__584_17.min1.thm1
2017-02-06 12:45
1.4K
borsuk_2__585_15.min1.thm1
2017-02-06 12:45
1.1K
borsuk_2__586_22.min1.thm1
2017-02-06 12:45
2.6K
borsuk_2__587_22.min1.thm1
2017-02-06 12:45
1.7K
borsuk_2__591_28.min1.thm1
2017-02-06 12:45
1.7K
borsuk_2__610_34.min1.thm1
2017-02-06 12:45
1.4K
borsuk_2__620_21.min1.thm1
2017-02-06 12:45
1.3K
borsuk_2__622_21.min1.thm1
2017-02-06 12:45
1.1K
borsuk_2__628_27.min1.thm1
2017-02-06 12:45
1.4K
borsuk_2__633_21.min1.thm1
2017-02-06 12:45
968
borsuk_2__653_28.min1.thm1
2017-02-06 12:45
1.7K
borsuk_2__658_21.min1.thm1
2017-02-06 12:45
1.0K
borsuk_2__665_27.min1.thm1
2017-02-06 12:45
2.5K
borsuk_2__665_35.min1.thm1
2017-02-06 12:45
2.5K
borsuk_2__666_25.min1.thm1
2017-02-06 12:45
3.0K
borsuk_2__668_35.min1.thm1
2017-02-06 12:45
1.4K
borsuk_2__678_59.min1.thm1
2017-02-06 12:45
684
borsuk_2__681_27.min1.thm1
2017-02-06 12:45
2.5K
borsuk_2__684_19.min1.thm1
2017-02-06 12:45
1.9K
borsuk_2__685_13.min1.thm1
2017-02-06 12:45
2.3K
borsuk_2__689_46.min1.thm1
2017-02-06 12:45
2.2K
borsuk_2__693_21.min1.thm1
2017-02-06 12:45
1.1K
borsuk_2__695_40.min1.thm1
2017-02-06 12:45
2.0K
borsuk_2__698_34.min1.thm1
2017-02-06 12:45
1.0K
borsuk_2__699_23.min1.thm1
2017-02-06 12:45
2.5K
borsuk_2__702_21.min1.thm1
2017-02-06 12:45
1.6K
borsuk_2__703_13.min1.thm1
2017-02-06 12:45
2.6K
borsuk_2__710_18.min1.thm1
2017-02-06 12:45
886
borsuk_2__711_15.min1.thm1
2017-02-06 12:45
1.4K
borsuk_2__716_46.min1.thm1
2017-02-06 12:45
713
borsuk_2__719_17.min1.thm1
2017-02-06 12:45
236
borsuk_2__731_22.min1.thm1
2017-02-06 12:45
536
borsuk_2__735_42.min1.thm1
2017-02-06 12:45
1.6K
borsuk_2__736_35.min1.thm1
2017-02-06 12:45
1.2K
borsuk_2__737_69.min1.thm1
2017-02-06 12:45
1.2K
borsuk_2__742_22.min1.thm1
2017-02-06 12:45
536
borsuk_2__745_15.min1.thm1
2017-02-06 12:45
1.5K
borsuk_2__750_46.min1.thm1
2017-02-06 12:45
639
borsuk_2__751_30.min1.thm1
2017-02-06 12:45
1.4K
borsuk_2__753_25.min1.thm1
2017-02-06 12:45
1.3K
borsuk_2__754_20.min1.thm1
2017-02-06 12:45
562
borsuk_2__771_45.min1.thm1
2017-02-06 12:45
1.6K
borsuk_2__777_13.min1.thm1
2017-02-06 12:45
503
borsuk_2__777_13.min1.thm1.tptp
2017-02-06 16:48
440
borsuk_2__778_15.min1.thm1
2017-02-06 12:45
257
borsuk_2__781_30.min1.thm1
2017-02-06 12:45
1.1K
borsuk_2__782_19.min1.thm1
2017-02-06 12:45
1.1K
borsuk_2__792_35.min1.thm1
2017-02-06 12:45
1.4K
borsuk_2__793_25.min1.thm1
2017-02-06 12:45
1.5K
borsuk_2__806_21.min1.thm1
2017-02-06 12:45
619
borsuk_2__816_18.min1.thm1
2017-02-06 12:45
384
borsuk_2__819_16.min1.thm1
2017-02-06 12:45
404
borsuk_2__819_16.min1.thm1.tptp
2017-02-06 16:48
323
borsuk_2__831_35.min1.thm1
2017-02-06 12:45
1.3K
borsuk_2__832_21.min1.thm1
2017-02-06 12:45
615
borsuk_2__835_32.min1.thm1
2017-02-06 12:45
739
borsuk_2__837_32.min1.thm1
2017-02-06 12:45
1.3K
borsuk_2__841_14.min1.thm1
2017-02-06 12:45
1.6K
borsuk_2__843_16.min1.thm1
2017-02-06 12:45
1.3K
borsuk_2__844_16.min1.thm1
2017-02-06 12:45
424
borsuk_2__855_35.min1.thm1
2017-02-06 12:45
1.3K
borsuk_2__861_43.min1.thm1
2017-02-06 12:45
346
borsuk_2__861_43.min1.thm1.tptp
2017-02-06 16:48
268
borsuk_2__866_10.min1.thm1
2017-02-06 12:45
487
borsuk_2__866_10.min1.thm1.tptp
2017-02-06 16:48
424
borsuk_2__867_13.min1.thm1
2017-02-06 12:45
245
borsuk_2__871_24.min1.thm1
2017-02-06 12:45
1.9K
borsuk_2__872_19.min1.thm1
2017-02-06 12:45
1.2K
borsuk_2__873_62.min1.thm1
2017-02-06 12:45
2.1K
borsuk_2__880_30.min1.thm1
2017-02-06 12:45
1.6K
borsuk_2__881_25.min1.thm1
2017-02-06 12:45
1.8K
borsuk_2__883_23.min1.thm1
2017-02-06 12:45
1.7K
borsuk_2__884_23.min1.thm1
2017-02-06 12:45
1.4K
borsuk_2__885_32.min1.thm1
2017-02-06 12:45
1.7K
borsuk_2__886_66.min1.thm1
2017-02-06 12:45
1.5K
borsuk_2__918_67.min1.thm1
2017-02-06 12:45
443
borsuk_2__919_36.min1.thm1
2017-02-06 12:45
1.0K
borsuk_2__920_57.min1.thm1
2017-02-06 12:45
892
borsuk_2__924_22.min1.thm1
2017-02-06 12:45
3.3K
borsuk_2__925_18.min1.thm1
2017-02-06 12:45
1.6K
borsuk_2__927_32.min1.thm1
2017-02-06 12:45
741
borsuk_2__928_24.min1.thm1
2017-02-06 12:45
1.3K
borsuk_2__929_60.min1.thm1
2017-02-06 12:45
1.0K
borsuk_2__934_13.min1.thm1
2017-02-06 12:45
846
borsuk_2__937_13.min1.thm1
2017-02-06 12:45
1.7K
borsuk_2__938_32.min1.thm1
2017-02-06 12:45
757
borsuk_2__939_24.min1.thm1
2017-02-06 12:45
1.3K
borsuk_2__940_60.min1.thm1
2017-02-06 12:45
1.0K
borsuk_2__945_13.min1.thm1
2017-02-06 12:45
851
borsuk_2__948_13.min1.thm1
2017-02-06 12:45
1.7K
borsuk_2__954_18.min1.thm1
2017-02-06 12:45
615
borsuk_2__954_18.min1.thm1.tptp
2017-02-06 16:48
547
borsuk_2__965_46.min1.thm1
2017-02-06 12:45
362
borsuk_2__965_46.min1.thm1.tptp
2017-02-06 16:48
284
borsuk_2__966_24.min1.thm1
2017-02-06 12:45
628
borsuk_2__966_24.min1.thm1.tptp
2017-02-06 16:48
551
borsuk_2__967_18.min1.thm1
2017-02-06 12:45
628
borsuk_2__967_18.min1.thm1.tptp
2017-02-06 16:48
551
borsuk_2__970_66.min1.thm1
2017-02-06 12:45
1.6K
borsuk_2__980_33.min1.thm1
2017-02-06 12:45
2.2K
borsuk_2__981_14.min1.thm1
2017-02-06 12:45
1.1K
borsuk_2__989_25.min1.thm1
2017-02-06 12:45
586
borsuk_2__990_29.min1.thm1
2017-02-06 12:45
625
borsuk_2__991_17.min1.thm1
2017-02-06 12:45
1.0K
borsuk_2__999_35.min1.thm1
2017-02-06 12:45
1.3K
borsuk_2__1005_37.min1.thm1
2017-02-06 12:45
1.1K
borsuk_2__1006_47.min1.thm1
2017-02-06 12:45
744
borsuk_2__1008_15.min1.thm1
2017-02-06 12:45
2.3K
borsuk_2__1009_16.min1.thm1
2017-02-06 12:45
466
borsuk_2__1011_36.min1.thm1
2017-02-06 12:45
1.6K
borsuk_2__1031_42.min1.thm1
2017-02-06 12:45
498
borsuk_2__1031_42.min1.thm1.tptp
2017-02-06 16:48
420
borsuk_2__1038_14.min1.thm1
2017-02-06 12:45
831
borsuk_2__1039_39.min1.thm1
2017-02-06 12:45
713
borsuk_2__1039_39.min1.thm1.tptp
2017-02-06 16:48
641
borsuk_2__1051_17.min1.thm1
2017-02-06 12:45
1.5K
borsuk_2__1057_24.min1.thm1
2017-02-06 12:45
803
borsuk_2__1058_17.min1.thm1
2017-02-06 12:45
1.8K
borsuk_2__1070_41.min1.thm1
2017-02-06 12:45
1.7K
borsuk_2__1072_37.min1.thm1
2017-02-06 12:45
1.0K
borsuk_2__1089_15.min1.thm1
2017-02-06 12:45
1.6K
borsuk_2__1090_13.min1.thm1
2017-02-06 12:45
533
borsuk_2__1092_20.min1.thm1
2017-02-06 12:45
1.5K
borsuk_2__1093_13.min1.thm1
2017-02-06 12:45
533
borsuk_2__1095_20.min1.thm1
2017-02-06 12:45
1.5K
borsuk_2__1120_33.min1.thm1
2017-02-06 12:45
1.0K
borsuk_2__1123_17.min1.thm1
2017-02-06 12:45
2.3K
borsuk_2__1144_12.min1.thm1
2017-02-06 12:45
269
borsuk_2__1146_16.min1.thm1
2017-02-06 12:45
1.3K
borsuk_2__1151_37.min1.thm1
2017-02-06 12:45
1.4K
borsuk_2__1156_30.min1.thm1
2017-02-06 12:45
582
borsuk_2__1157_59.min1.thm1
2017-02-06 12:45
1.1K
borsuk_2__1162_30.min1.thm1
2017-02-06 12:45
582
borsuk_2__1163_59.min1.thm1
2017-02-06 12:45
1.1K
borsuk_2__1168_39.min1.thm1
2017-02-06 12:45
569
borsuk_2__1169_39.min1.thm1
2017-02-06 12:45
569
borsuk_2__1170_15.min1.thm1
2017-02-06 12:45
249
borsuk_2__1175_58.min1.thm1
2017-02-06 12:45
1.3K
borsuk_2__1178_22.min1.thm1
2017-02-06 12:45
752
borsuk_2__1202_22.min1.thm1
2017-02-06 12:45
748
borsuk_2__1230_11.min1.thm1
2017-02-06 12:45
269
borsuk_2__1232_15.min1.thm1
2017-02-06 12:45
1.4K
borsuk_2__1236_41.min1.thm1
2017-02-06 12:45
1.3K
borsuk_2__1240_28.min1.thm1
2017-02-06 12:45
574
borsuk_2__1241_57.min1.thm1
2017-02-06 12:45
1.1K
borsuk_2__1246_28.min1.thm1
2017-02-06 12:45
575
borsuk_2__1247_57.min1.thm1
2017-02-06 12:45
1.1K
borsuk_2__1252_37.min1.thm1
2017-02-06 12:45
555
borsuk_2__1253_37.min1.thm1
2017-02-06 12:45
555
borsuk_2__1254_13.min1.thm1
2017-02-06 12:45
239
borsuk_2__1277_37.min1.thm1
2017-02-06 12:45
565
borsuk_2__1277_37.min1.thm1.tptp
2017-02-06 16:48
477
borsuk_2__1294_11.min1.thm1
2017-02-06 12:45
269
borsuk_2__1296_15.min1.thm1
2017-02-06 12:45
1.3K
borsuk_2__1300_33.min1.thm1
2017-02-06 12:45
1.3K
borsuk_2__1304_28.min1.thm1
2017-02-06 12:45
574
borsuk_2__1305_57.min1.thm1
2017-02-06 12:45
1.1K
borsuk_2__1310_28.min1.thm1
2017-02-06 12:45
575
borsuk_2__1311_57.min1.thm1
2017-02-06 12:45
1.1K
borsuk_2__1316_37.min1.thm1
2017-02-06 12:45
555
borsuk_2__1317_37.min1.thm1
2017-02-06 12:45
555
borsuk_2__1318_13.min1.thm1
2017-02-06 12:45
239
borsuk_2__1325_37.min1.thm1
2017-02-06 12:45
565
borsuk_2__1325_37.min1.thm1.tptp
2017-02-06 16:48
477
borsuk_2__1330_21.min1.thm1
2017-02-06 12:45
1.3K
borsuk_2__1338_37.min1.thm1
2017-02-06 12:45
565
borsuk_2__1338_37.min1.thm1.tptp
2017-02-06 16:48
477
borsuk_2__1343_21.min1.thm1
2017-02-06 12:45
1.3K
borsuk_2__1353_57.min1.thm1
2017-02-06 12:45
912
borsuk_2__1368_38.min1.thm1
2017-02-06 12:45
1.3K
borsuk_2__1392_69.min1.thm1
2017-02-06 12:45
451
borsuk_2__1394_38.min1.thm1
2017-02-06 12:45
1.0K
borsuk_2__1396_23.min1.thm1
2017-02-06 12:45
2.5K
borsuk_2__1397_20.min1.thm1
2017-02-06 12:45
1.3K
borsuk_2__1399_56.min1.thm1
2017-02-06 12:45
656
borsuk_2__1402_42.min1.thm1
2017-02-06 12:45
1.1K
borsuk_2__1405_20.min1.thm1
2017-02-06 12:45
1.0K
borsuk_2__1411_23.min1.thm1
2017-02-06 12:45
1.1K
borsuk_2__1412_16.min1.thm1
2017-02-06 12:45
1.0K
borsuk_2__1415_17.min1.thm1
2017-02-06 12:45
878
borsuk_2__1415_17.min1.thm1.tptp
2017-02-06 16:48
811
borsuk_2__1418_24.min1.thm1
2017-02-06 12:45
1.3K
borsuk_2__1419_17.min1.thm1
2017-02-06 12:45
1.0K
borsuk_2__1421_17.min1.thm1
2017-02-06 12:45
873
borsuk_2__1421_17.min1.thm1.tptp
2017-02-06 16:48
806
borsuk_2__1422_21.min1.thm1
2017-02-06 12:45
889
borsuk_2__1422_21.min1.thm1.tptp
2017-02-06 16:48
809
borsuk_2__1427_31.min1.thm1
2017-02-06 12:45
803
borsuk_2__1428_39.min1.thm1
2017-02-06 12:45
1.1K
borsuk_2__1434_69.min1.thm1
2017-02-06 12:45
451
borsuk_2__1436_38.min1.thm1
2017-02-06 12:45
1.0K
borsuk_2__1438_21.min1.thm1
2017-02-06 12:45
2.5K
borsuk_2__1439_20.min1.thm1
2017-02-06 12:45
1.3K
borsuk_2__1442_43.min1.thm1
2017-02-06 12:45
819
borsuk_2__1443_49.min1.thm1
2017-02-06 12:45
1.2K
borsuk_2__1446_41.min1.thm1
2017-02-06 12:45
1.1K
borsuk_2__1451_41.min1.thm1
2017-02-06 12:45
1.3K
borsuk_2__1456_24.min1.thm1
2017-02-06 12:45
1.5K
borsuk_2__1459_15.min1.thm1
2017-02-06 12:45
782
borsuk_2__1459_15.min1.thm1.tptp
2017-02-06 16:48
715
borsuk_2__1462_24.min1.thm1
2017-02-06 12:45
1.5K
borsuk_2__1464_15.min1.thm1
2017-02-06 12:45
787
borsuk_2__1464_15.min1.thm1.tptp
2017-02-06 16:48
720
borsuk_2__1465_21.min1.thm1
2017-02-06 12:45
526
borsuk_2__1465_21.min1.thm1.tptp
2017-02-06 16:48
446
borsuk_2__1487_39.min1.thm1
2017-02-06 12:45
461
borsuk_2__1487_39.min1.thm1.tptp
2017-02-06 16:48
390
borsuk_2__1495_12.min1.thm1
2017-02-06 12:45
1.0K
borsuk_2__1497_67.min1.thm1
2017-02-06 12:45
865
borsuk_2__1497_67.min1.thm1.tptp
2017-02-06 16:48
779
borsuk_2__1498_48.min1.thm1
2017-02-06 12:45
697
borsuk_2__1505_32.min1.thm1
2017-02-06 12:45
688
borsuk_2__1506_64.min1.thm1
2017-02-06 12:45
822
borsuk_2__1508_22.min1.thm1
2017-02-06 12:45
922
borsuk_2__1509_32.min1.thm1
2017-02-06 12:45
816
borsuk_2__1510_64.min1.thm1
2017-02-06 12:45
812
borsuk_2__1512_22.min1.thm1
2017-02-06 12:45
907
borsuk_2__1513_24.min1.thm1
2017-02-06 12:45
1.7K
borsuk_2__1514_19.min1.thm1
2017-02-06 12:45
1.5K
borsuk_2__1520_40.min1.thm1
2017-02-06 12:45
1.3K
borsuk_2__1522_58.min1.thm1
2017-02-06 12:45
1.1K
borsuk_2__1523_49.min1.thm1
2017-02-06 12:45
541
borsuk_2__1524_33.min1.thm1
2017-02-06 12:45
670
borsuk_2__1526_48.min1.thm1
2017-02-06 12:45
252
borsuk_2__1527_64.min1.thm1
2017-02-06 12:45
359
borsuk_2__1527_64.min1.thm1.tptp
2017-02-06 16:48
287
borsuk_2__1528_17.min1.thm1
2017-02-06 12:45
530
borsuk_2__1529_41.min1.thm1
2017-02-06 12:45
702
borsuk_2__1531_21.min1.thm1
2017-02-06 12:45
657
borsuk_2__1532_22.min1.thm1
2017-02-06 12:45
1.7K
borsuk_2__1536_59.min1.thm1
2017-02-06 12:45
1.1K
borsuk_2__1537_55.min1.thm1
2017-02-06 12:45
1.2K
borsuk_2__1550_50.min1.thm1
2017-02-06 12:45
1.3K
borsuk_2__1552_63.min1.thm1
2017-02-06 12:45
2.0K
borsuk_2__1553_27.min1.thm1
2017-02-06 12:45
2.3K
borsuk_2__1557_16.min1.thm1
2017-02-06 12:45
468
borsuk_2__1563_44.min1.thm1
2017-02-06 12:45
131
borsuk_2__1564_32.min1.thm1
2017-02-06 12:45
816
borsuk_2__1567_19.min1.thm1
2017-02-06 12:45
683
borsuk_2__1568_32.min1.thm1
2017-02-06 12:45
688
borsuk_2__1570_23.min1.thm1
2017-02-06 12:45
683
borsuk_2__1583_24.min1.thm1
2017-02-06 12:45
949
borsuk_2__1584_19.min1.thm1
2017-02-06 12:45
1.0K
borsuk_2__1606_27.min1.thm1
2017-02-06 12:45
1.7K
borsuk_2__1616_15.min1.thm1
2017-02-06 12:45
1.4K
borsuk_2__1640_11.min1.thm1
2017-02-06 12:45
847
borsuk_2__1641_19.min1.thm1
2017-02-06 12:45
1.3K
borsuk_2__1642_58.min1.thm1
2017-02-06 12:45
972
borsuk_2__1645_19.min1.thm1
2017-02-06 12:45
1.3K
borsuk_2__1646_58.min1.thm1
2017-02-06 12:45
1.0K
borsuk_2__1651_11.min1.thm1
2017-02-06 12:45
842
borsuk_2__1660_13.min1.thm1
2017-02-06 12:45
1.1K
borsuk_2__1665_24.min1.thm1
2017-02-06 12:45
1.6K
borsuk_2__1667_46.min1.thm1
2017-02-06 12:45
1.6K
borsuk_2__1668_55.min1.thm1
2017-02-06 12:45
815
borsuk_2__1672_46.min1.thm1
2017-02-06 12:45
645
borsuk_2__1675_21.min1.thm1
2017-02-06 12:45
853
borsuk_2__1677_15.min1.thm1
2017-02-06 12:45
1.0K
borsuk_2__1678_21.min1.thm1
2017-02-06 12:45
849
borsuk_2__1680_15.min1.thm1
2017-02-06 12:45
1.0K
borsuk_2__1686_24.min1.thm1
2017-02-06 12:45
1.6K
borsuk_2__1688_46.min1.thm1
2017-02-06 12:45
1.6K
borsuk_2__1689_55.min1.thm1
2017-02-06 12:45
815
borsuk_2__1693_46.min1.thm1
2017-02-06 12:45
645
borsuk_2__1694_21.min1.thm1
2017-02-06 12:45
853
borsuk_2__1697_15.min1.thm1
2017-02-06 12:45
1.0K
borsuk_2__1698_21.min1.thm1
2017-02-06 12:45
849
borsuk_2__1701_15.min1.thm1
2017-02-06 12:45
1.0K
borsuk_2__1703_31.min1.thm1
2017-02-06 12:45
1.9K
borsuk_2__1707_16.min1.thm1
2017-02-06 12:45
2.2K
borsuk_2__1708_31.min1.thm1
2017-02-06 12:45
1.6K
borsuk_2__1709_21.min1.thm1
2017-02-06 12:45
2.5K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80