Index of /~mptp/1147/MPTP2/ilp0/rusub_2
Name
Last modified
Size
Description
Parent Directory
-
rusub_2__43_6.min1.thm1
2017-02-06 12:45
2.0K
rusub_2__49_74.min1.thm1
2017-02-06 12:45
1.4K
rusub_2__50_18.min1.thm1
2017-02-06 12:45
1.5K
rusub_2__52_37.min1.thm1
2017-02-06 12:45
457
rusub_2__52_37.min1.thm1.tptp
2017-02-06 16:47
379
rusub_2__53_22.min1.thm1
2017-02-06 12:45
1.3K
rusub_2__54_28.min1.thm1
2017-02-06 12:45
1.0K
rusub_2__56_16.min1.thm1
2017-02-06 12:45
1.9K
rusub_2__66_28.min1.thm1
2017-02-06 12:45
1.9K
rusub_2__67_23.min1.thm1
2017-02-06 12:45
1.7K
rusub_2__73_23.min1.thm1
2017-02-06 12:45
1.7K
rusub_2__74_26.min1.thm1
2017-02-06 12:45
1.9K
rusub_2__75_21.min1.thm1
2017-02-06 12:45
1.7K
rusub_2__77_52.min1.thm1
2017-02-06 12:45
1.4K
rusub_2__80_15.min1.thm1
2017-02-06 12:45
1.1K
rusub_2__80_15.min1.thm1.tptp
2017-02-06 16:47
1.1K
rusub_2__93_16.min1.thm1
2017-02-06 12:45
897
rusub_2__95_17.min1.thm1
2017-02-06 12:45
1.5K
rusub_2__96_28.min1.thm1
2017-02-06 12:45
1.9K
rusub_2__97_34.min1.thm1
2017-02-06 12:45
654
rusub_2__98_73.min1.thm1
2017-02-06 12:45
2.4K
rusub_2__100_52.min1.thm1
2017-02-06 12:45
1.4K
rusub_2__103_16.min1.thm1
2017-02-06 12:45
897
rusub_2__104_22.min1.thm1
2017-02-06 12:45
1.5K
rusub_2__105_28.min1.thm1
2017-02-06 12:45
739
rusub_2__106_19.min1.thm1
2017-02-06 12:45
1.4K
rusub_2__108_15.min1.thm1
2017-02-06 12:45
1.1K
rusub_2__108_15.min1.thm1.tptp
2017-02-06 16:47
1.1K
rusub_2__125_39.min1.thm1
2017-02-06 12:45
2.0K
rusub_2__126_69.min1.thm1
2017-02-06 12:45
1.5K
rusub_2__128_37.min1.thm1
2017-02-06 12:45
1.4K
rusub_2__130_18.min1.thm1
2017-02-06 12:45
482
rusub_2__134_62.min1.thm1
2017-02-06 12:45
1.5K
rusub_2__135_37.min1.thm1
2017-02-06 12:45
1.5K
rusub_2__136_17.min1.thm1
2017-02-06 12:45
2.0K
rusub_2__149_16.min1.thm1
2017-02-06 12:45
324
rusub_2__152_32.min1.thm1
2017-02-06 12:45
1.8K
rusub_2__157_32.min1.thm1
2017-02-06 12:45
2.0K
rusub_2__161_14.min1.thm1
2017-02-06 12:45
314
rusub_2__171_51.min1.thm1
2017-02-06 12:45
2.0K
rusub_2__172_75.min1.thm1
2017-02-06 12:45
1.7K
rusub_2__174_75.min1.thm1
2017-02-06 12:45
656
rusub_2__174_75.min1.thm1.tptp
2017-02-06 16:47
598
rusub_2__176_17.min1.thm1
2017-02-06 12:45
1.8K
rusub_2__190_66.min1.thm1
2017-02-06 12:45
1.4K
rusub_2__191_16.min1.thm1
2017-02-06 12:45
1.8K
rusub_2__193_33.min1.thm1
2017-02-06 12:45
1.5K
rusub_2__198_66.min1.thm1
2017-02-06 12:45
1.4K
rusub_2__199_16.min1.thm1
2017-02-06 12:45
1.8K
rusub_2__201_15.min1.thm1
2017-02-06 12:45
635
rusub_2__213_40.min1.thm1
2017-02-06 12:45
336
rusub_2__213_40.min1.thm1.tptp
2017-02-06 16:47
258
rusub_2__214_32.min1.thm1
2017-02-06 12:45
1.0K
rusub_2__215_18.min1.thm1
2017-02-06 12:45
1.4K
rusub_2__216_24.min1.thm1
2017-02-06 12:45
2.2K
rusub_2__217_16.min1.thm1
2017-02-06 12:45
1.9K
rusub_2__218_17.min1.thm1
2017-02-06 12:45
1.5K
rusub_2__237_11.min1.thm1
2017-02-06 12:45
1.5K
rusub_2__241_19.min1.thm1
2017-02-06 12:45
1.7K
rusub_2__243_22.min1.thm1
2017-02-06 12:45
1.1K
rusub_2__244_53.min1.thm1
2017-02-06 12:45
1.2K
rusub_2__245_52.min1.thm1
2017-02-06 12:45
575
rusub_2__246_17.min1.thm1
2017-02-06 12:45
1.5K
rusub_2__255_14.min1.thm1
2017-02-06 12:45
748
rusub_2__276_34.min1.thm1
2017-02-06 12:45
2.0K
rusub_2__277_18.min1.thm1
2017-02-06 12:45
1.6K
rusub_2__281_12.min1.thm1
2017-02-06 12:45
1.4K
rusub_2__282_18.min1.thm1
2017-02-06 12:45
1.5K
rusub_2__283_44.min1.thm1
2017-02-06 12:45
1.6K
rusub_2__285_24.min1.thm1
2017-02-06 12:45
2.1K
rusub_2__286_27.min1.thm1
2017-02-06 12:45
2.0K
rusub_2__297_34.min1.thm1
2017-02-06 12:45
2.0K
rusub_2__298_18.min1.thm1
2017-02-06 12:45
1.6K
rusub_2__302_13.min1.thm1
2017-02-06 12:45
1.4K
rusub_2__303_18.min1.thm1
2017-02-06 12:45
1.5K
rusub_2__304_44.min1.thm1
2017-02-06 12:45
1.6K
rusub_2__306_25.min1.thm1
2017-02-06 12:45
2.1K
rusub_2__307_28.min1.thm1
2017-02-06 12:45
2.0K
rusub_2__310_15.min1.thm1
2017-02-06 12:45
719
rusub_2__320_48.min1.thm1
2017-02-06 12:45
1.1K
rusub_2__322_48.min1.thm1
2017-02-06 12:45
1.1K
rusub_2__323_53.min1.thm1
2017-02-06 12:45
1.2K
rusub_2__337_50.min1.thm1
2017-02-06 12:45
1.9K
rusub_2__340_16.min1.thm1
2017-02-06 12:45
1.1K
rusub_2__349_27.min1.thm1
2017-02-06 12:45
935
rusub_2__350_50.min1.thm1
2017-02-06 12:45
1.9K
rusub_2__352_17.min1.thm1
2017-02-06 12:45
1.4K
rusub_2__361_26.min1.thm1
2017-02-06 12:45
1.0K
rusub_2__361_26.min1.thm1.tptp
2017-02-06 16:47
925
rusub_2__373_54.min1.thm1
2017-02-06 12:45
1.2K
rusub_2__375_26.min1.thm1
2017-02-06 12:45
1.0K
rusub_2__375_26.min1.thm1.tptp
2017-02-06 16:47
925
rusub_2__376_17.min1.thm1
2017-02-06 12:45
1.8K
rusub_2__387_61.min1.thm1
2017-02-06 12:45
294
rusub_2__397_73.min1.thm1
2017-02-06 12:45
1.6K
rusub_2__411_26.min1.thm1
2017-02-06 12:45
1.6K
rusub_2__412_26.min1.thm1
2017-02-06 12:45
555
rusub_2__412_26.min1.thm1.tptp
2017-02-06 16:47
488
rusub_2__413_41.min1.thm1
2017-02-06 12:45
1.7K
rusub_2__422_73.min1.thm1
2017-02-06 12:45
1.5K
rusub_2__423_17.min1.thm1
2017-02-06 12:45
477
rusub_2__423_17.min1.thm1.tptp
2017-02-06 16:47
397
rusub_2__432_49.min1.thm1
2017-02-06 12:45
1.1K
rusub_2__434_49.min1.thm1
2017-02-06 12:45
1.1K
rusub_2__435_54.min1.thm1
2017-02-06 12:45
1.2K
rusub_2__450_45.min1.thm1
2017-02-06 12:45
1.9K
rusub_2__452_6.min1.thm1
2017-02-06 12:45
1.5K
rusub_2__453_19.min1.thm1
2017-02-06 12:45
1.8K
rusub_2__455_16.min1.thm1
2017-02-06 12:45
1.1K
rusub_2__464_13.min1.thm1
2017-02-06 12:45
911
rusub_2__465_33.min1.thm1
2017-02-06 12:45
1.6K
rusub_2__466_35.min1.thm1
2017-02-06 12:45
1.4K
rusub_2__468_42.min1.thm1
2017-02-06 12:45
1.7K
rusub_2__470_4.min1.thm1
2017-02-06 12:45
1.8K
rusub_2__473_17.min1.thm1
2017-02-06 12:45
1.4K
rusub_2__486_33.min1.thm1
2017-02-06 12:45
1.0K
rusub_2__486_33.min1.thm1.tptp
2017-02-06 16:47
923
rusub_2__490_41.min1.thm1
2017-02-06 12:45
1.8K
rusub_2__492_17.min1.thm1
2017-02-06 12:45
1.4K
rusub_2__510_17.min1.thm1
2017-02-06 12:45
628
rusub_2__510_17.min1.thm1.tptp
2017-02-06 16:47
557
rusub_2__532_14.min1.thm1
2017-02-06 12:45
1.2K
rusub_2__533_23.min1.thm1
2017-02-06 12:45
1.4K
rusub_2__534_19.min1.thm1
2017-02-06 12:45
1.7K
rusub_2__539_58.min1.thm1
2017-02-06 12:45
1.6K
rusub_2__541_17.min1.thm1
2017-02-06 12:45
1.3K
rusub_2__560_19.min1.thm1
2017-02-06 12:45
747
rusub_2__565_42.min1.thm1
2017-02-06 12:45
1.8K
rusub_2__566_43.min1.thm1
2017-02-06 12:45
573
rusub_2__567_32.min1.thm1
2017-02-06 12:45
1.8K
rusub_2__568_12.min1.thm1
2017-02-06 12:45
1.5K
rusub_2__569_67.min1.thm1
2017-02-06 12:45
1.9K
rusub_2__570_37.min1.thm1
2017-02-06 12:45
1.6K
rusub_2__571_62.min1.thm1
2017-02-06 12:45
609
rusub_2__592_22.min1.thm1
2017-02-06 12:45
1.3K
rusub_2__594_14.min1.thm1
2017-02-06 12:45
1.4K
rusub_2__595_22.min1.thm1
2017-02-06 12:45
1.3K
rusub_2__620_39.min1.thm1
2017-02-06 12:45
531
rusub_2__620_39.min1.thm1.tptp
2017-02-06 16:47
469
rusub_2__621_69.min1.thm1
2017-02-06 12:45
1.6K
rusub_2__625_12.min1.thm1
2017-02-06 12:45
1.4K
rusub_2__626_15.min1.thm1
2017-02-06 12:45
1.2K
rusub_2__627_29.min1.thm1
2017-02-06 12:45
490
rusub_2__627_29.min1.thm1.tptp
2017-02-06 16:47
428
rusub_2__628_25.min1.thm1
2017-02-06 12:45
1.7K
rusub_2__629_32.min1.thm1
2017-02-06 12:45
2.1K
rusub_2__631_26.min1.thm1
2017-02-06 12:45
1.2K
rusub_2__632_20.min1.thm1
2017-02-06 12:45
1.5K
rusub_2__658_12.min1.thm1
2017-02-06 12:45
1.1K
rusub_2__659_73.min1.thm1
2017-02-06 12:45
1.6K
rusub_2__661_34.min1.thm1
2017-02-06 12:45
1.6K
rusub_2__662_12.min1.thm1
2017-02-06 12:45
1.1K
rusub_2__663_73.min1.thm1
2017-02-06 12:45
2.0K
rusub_2__664_37.min1.thm1
2017-02-06 12:45
1.6K
rusub_2__665_67.min1.thm1
2017-02-06 12:45
788
rusub_2__680_53.min1.thm1
2017-02-06 12:45
1.9K
rusub_2__681_28.min1.thm1
2017-02-06 12:45
1.1K
rusub_2__684_45.min1.thm1
2017-02-06 12:45
1.9K
rusub_2__690_37.min1.thm1
2017-02-06 12:45
658
rusub_2__691_73.min1.thm1
2017-02-06 12:45
1.6K
rusub_2__694_23.min1.thm1
2017-02-06 12:45
1.4K
rusub_2__695_54.min1.thm1
2017-02-06 12:45
1.7K
rusub_2__696_23.min1.thm1
2017-02-06 12:45
2.1K
rusub_2__698_20.min1.thm1
2017-02-06 12:45
1.7K
rusub_2__721_25.min1.thm1
2017-02-06 12:45
1.1K
rusub_2__730_42.min1.thm1
2017-02-06 12:45
1.1K
rusub_2__744_50.min1.thm1
2017-02-06 12:45
1.3K
rusub_2__749_24.min1.thm1
2017-02-06 12:45
1.2K
rusub_2__752_17.min1.thm1
2017-02-06 12:45
1.8K
rusub_2__773_21.min1.thm1
2017-02-06 12:45
1.1K
rusub_2__776_19.min1.thm1
2017-02-06 12:45
426
rusub_2__776_19.min1.thm1.tptp
2017-02-06 16:47
360
rusub_2__777_37.min1.thm1
2017-02-06 12:45
350
rusub_2__777_37.min1.thm1.tptp
2017-02-06 16:47
272
rusub_2__778_34.min1.thm1
2017-02-06 12:45
1.0K
rusub_2__779_40.min1.thm1
2017-02-06 12:45
1.9K
rusub_2__780_28.min1.thm1
2017-02-06 12:45
1.1K
rusub_2__781_21.min1.thm1
2017-02-06 12:45
1.1K
rusub_2__784_19.min1.thm1
2017-02-06 12:45
428
rusub_2__784_19.min1.thm1.tptp
2017-02-06 16:47
362
rusub_2__785_37.min1.thm1
2017-02-06 12:45
352
rusub_2__785_37.min1.thm1.tptp
2017-02-06 16:47
274
rusub_2__786_34.min1.thm1
2017-02-06 12:45
1.0K
rusub_2__788_43.min1.thm1
2017-02-06 12:45
1.9K
rusub_2__789_30.min1.thm1
2017-02-06 12:45
1.1K
rusub_2__791_32.min1.thm1
2017-02-06 12:45
2.0K
rusub_2__793_28.min1.thm1
2017-02-06 12:45
1.2K
rusub_2__797_43.min1.thm1
2017-02-06 12:45
1.9K
rusub_2__798_30.min1.thm1
2017-02-06 12:45
1.1K
rusub_2__800_32.min1.thm1
2017-02-06 12:45
2.5K
rusub_2__802_28.min1.thm1
2017-02-06 12:45
1.2K
rusub_2__805_24.min1.thm1
2017-02-06 12:45
2.3K
rusub_2__811_22.min1.thm1
2017-02-06 12:45
1.9K
rusub_2__812_28.min1.thm1
2017-02-06 12:45
499
rusub_2__813_16.min1.thm1
2017-02-06 12:45
550
rusub_2__813_16.min1.thm1.tptp
2017-02-06 16:47
478
rusub_2__817_22.min1.thm1
2017-02-06 12:45
1.9K
rusub_2__818_28.min1.thm1
2017-02-06 12:45
499
rusub_2__819_16.min1.thm1
2017-02-06 12:45
550
rusub_2__819_16.min1.thm1.tptp
2017-02-06 16:47
478
rusub_2__822_17.min1.thm1
2017-02-06 12:45
951
rusub_2__841_63.min1.thm1
2017-02-06 12:45
1.0K
rusub_2__841_63.min1.thm1.tptp
2017-02-06 16:47
1.0K
rusub_2__853_31.min1.thm1
2017-02-06 12:45
521
rusub_2__853_31.min1.thm1.tptp
2017-02-06 16:47
462
rusub_2__854_31.min1.thm1
2017-02-06 12:45
136
rusub_2__856_22.min1.thm1
2017-02-06 12:45
1.0K
rusub_2__860_20.min1.thm1
2017-02-06 12:45
613
rusub_2__863_16.min1.thm1
2017-02-06 12:45
623
rusub_2__871_31.min1.thm1
2017-02-06 12:45
632
rusub_2__872_21.min1.thm1
2017-02-06 12:45
934
rusub_2__874_10.min1.thm1
2017-02-06 12:45
687
rusub_2__875_20.min1.thm1
2017-02-06 12:45
371
rusub_2__878_51.min1.thm1
2017-02-06 12:45
330
rusub_2__879_44.min1.thm1
2017-02-06 12:45
134
rusub_2__880_45.min1.thm1
2017-02-06 12:45
1.8K
rusub_2__882_19.min1.thm1
2017-02-06 12:45
1.0K
rusub_2__883_24.min1.thm1
2017-02-06 12:45
1.1K
rusub_2__884_21.min1.thm1
2017-02-06 12:45
873
rusub_2__885_21.min1.thm1
2017-02-06 12:45
694
rusub_2__887_16.min1.thm1
2017-02-06 12:45
344
rusub_2__901_41.min1.thm1
2017-02-06 12:45
428
rusub_2__901_41.min1.thm1.tptp
2017-02-06 16:47
351
rusub_2__902_23.min1.thm1
2017-02-06 12:45
428
rusub_2__902_23.min1.thm1.tptp
2017-02-06 16:47
351
rusub_2__905_39.min1.thm1
2017-02-06 12:45
424
rusub_2__905_39.min1.thm1.tptp
2017-02-06 16:47
347
rusub_2__906_22.min1.thm1
2017-02-06 12:45
424
rusub_2__906_22.min1.thm1.tptp
2017-02-06 16:47
347
rusub_2__908_19.min1.thm1
2017-02-06 12:45
438
rusub_2__908_19.min1.thm1.tptp
2017-02-06 16:47
386
rusub_2__919_16.min1.thm1
2017-02-06 12:45
349
rusub_2__919_16.min1.thm1.tptp
2017-02-06 16:47
269
rusub_2__953_21.min1.thm1
2017-02-06 12:45
1.1K
rusub_2__956_18.min1.thm1
2017-02-06 12:45
380
rusub_2__956_18.min1.thm1.tptp
2017-02-06 16:47
299
rusub_2__959_17.min1.thm1
2017-02-06 12:45
1.0K
rusub_2__981_70.min1.thm1
2017-02-06 12:45
732
rusub_2__981_70.min1.thm1.tptp
2017-02-06 16:47
683
rusub_2__984_17.min1.thm1
2017-02-06 12:45
1.8K
rusub_2__997_47.min1.thm1
2017-02-06 12:45
1.7K
rusub_2__998_39.min1.thm1
2017-02-06 12:45
1.3K
rusub_2__1017_34.min1.thm1
2017-02-06 12:45
2.2K
rusub_2__1030_15.min1.thm1
2017-02-06 12:45
194
rusub_2__1049_28.min1.thm1
2017-02-06 12:45
1.6K
rusub_2__1050_49.min1.thm1
2017-02-06 12:45
138
rusub_2__1053_24.min1.thm1
2017-02-06 12:45
447
rusub_2__1053_24.min1.thm1.tptp
2017-02-06 16:47
367
rusub_2__1065_24.min1.thm1
2017-02-06 12:45
485
rusub_2__1065_24.min1.thm1.tptp
2017-02-06 16:47
430
rusub_2__1068_21.min1.thm1
2017-02-06 12:45
668
rusub_2__1071_36.min1.thm1
2017-02-06 12:45
695
rusub_2__1072_50.min1.thm1
2017-02-06 12:45
1.9K
rusub_2__1073_40.min1.thm1
2017-02-06 12:45
1.5K
rusub_2__1076_22.min1.thm1
2017-02-06 12:45
576
rusub_2__1079_19.min1.thm1
2017-02-06 12:45
1.0K
rusub_2__1080_38.min1.thm1
2017-02-06 12:45
581
rusub_2__1082_16.min1.thm1
2017-02-06 12:45
686
rusub_2__1084_18.min1.thm1
2017-02-06 12:45
2.6K
rusub_2__1093_24.min1.thm1
2017-02-06 12:45
574
rusub_2__1096_22.min1.thm1
2017-02-06 12:45
668
rusub_2__1099_24.min1.thm1
2017-02-06 12:45
574
rusub_2__1102_22.min1.thm1
2017-02-06 12:45
670
rusub_2__1105_37.min1.thm1
2017-02-06 12:45
696
rusub_2__1108_37.min1.thm1
2017-02-06 12:45
697
rusub_2__1109_45.min1.thm1
2017-02-06 12:45
850
rusub_2__1111_24.min1.thm1
2017-02-06 12:45
1.4K
rusub_2__1115_37.min1.thm1
2017-02-06 12:45
1.0K
rusub_2__1116_60.min1.thm1
2017-02-06 12:45
2.5K
rusub_2__1119_25.min1.thm1
2017-02-06 12:45
2.8K
rusub_2__1120_25.min1.thm1
2017-02-06 12:45
1.9K
rusub_2__1123_45.min1.thm1
2017-02-06 12:45
1.8K
rusub_2__1124_30.min1.thm1
2017-02-06 12:45
759
rusub_2__1125_29.min1.thm1
2017-02-06 12:45
1.0K
rusub_2__1130_37.min1.thm1
2017-02-06 12:45
1.0K
rusub_2__1131_60.min1.thm1
2017-02-06 12:45
2.5K
rusub_2__1134_25.min1.thm1
2017-02-06 12:45
2.8K
rusub_2__1135_25.min1.thm1
2017-02-06 12:45
1.9K
rusub_2__1138_45.min1.thm1
2017-02-06 12:45
1.8K
rusub_2__1139_30.min1.thm1
2017-02-06 12:45
755
rusub_2__1140_29.min1.thm1
2017-02-06 12:45
1.0K
rusub_2__1143_22.min1.thm1
2017-02-06 12:45
400
rusub_2__1152_24.min1.thm1
2017-02-06 12:45
574
rusub_2__1155_22.min1.thm1
2017-02-06 12:45
668
rusub_2__1158_37.min1.thm1
2017-02-06 12:45
695
rusub_2__1159_21.min1.thm1
2017-02-06 12:45
1.9K
rusub_2__1162_40.min1.thm1
2017-02-06 12:45
1.8K
rusub_2__1163_26.min1.thm1
2017-02-06 12:45
655
rusub_2__1164_25.min1.thm1
2017-02-06 12:45
950
rusub_2__1168_31.min1.thm1
2017-02-06 12:45
1.2K
rusub_2__1176_21.min1.thm1
2017-02-06 12:45
1.2K
rusub_2__1177_21.min1.thm1
2017-02-06 12:45
1.3K
rusub_2__1178_26.min1.thm1
2017-02-06 12:45
1.7K
rusub_2__1181_26.min1.thm1
2017-02-06 12:45
578
rusub_2__1184_24.min1.thm1
2017-02-06 12:45
676
rusub_2__1186_16.min1.thm1
2017-02-06 12:45
1.7K
rusub_2__1189_39.min1.thm1
2017-02-06 12:45
706
rusub_2__1190_22.min1.thm1
2017-02-06 12:45
1.9K
rusub_2__1195_28.min1.thm1
2017-02-06 12:45
1.3K
rusub_2__1196_25.min1.thm1
2017-02-06 12:45
1.4K
rusub_2__1197_30.min1.thm1
2017-02-06 12:45
1.5K
rusub_2__1201_28.min1.thm1
2017-02-06 12:45
1.0K
rusub_2__1202_49.min1.thm1
2017-02-06 12:45
937
rusub_2__1209_34.min1.thm1
2017-02-06 12:45
575
rusub_2__1209_34.min1.thm1.tptp
2017-02-06 16:47
516
rusub_2__1214_35.min1.thm1
2017-02-06 12:45
1.6K
rusub_2__1215_39.min1.thm1
2017-02-06 12:45
838
rusub_2__1216_24.min1.thm1
2017-02-06 12:45
676
rusub_2__1217_25.min1.thm1
2017-02-06 12:45
1.7K
rusub_2__1219_42.min1.thm1
2017-02-06 12:45
1.4K
rusub_2__1220_27.min1.thm1
2017-02-06 12:45
1.4K
rusub_2__1223_16.min1.thm1
2017-02-06 12:45
946
rusub_2__1227_24.min1.thm1
2017-02-06 12:45
736
rusub_2__1228_38.min1.thm1
2017-02-06 12:45
972
rusub_2__1232_47.min1.thm1
2017-02-06 12:45
398
rusub_2__1232_47.min1.thm1.tptp
2017-02-06 16:47
321
rusub_2__1233_25.min1.thm1
2017-02-06 12:45
1.3K
rusub_2__1242_18.min1.thm1
2017-02-06 12:45
1.8K
rusub_2__1249_22.min1.thm1
2017-02-06 12:45
822
rusub_2__1257_29.min1.thm1
2017-02-06 12:45
2.1K
rusub_2__1261_15.min1.thm1
2017-02-06 12:45
1.2K
rusub_2__1265_39.min1.thm1
2017-02-06 12:45
1.2K
rusub_2__1266_33.min1.thm1
2017-02-06 12:45
1.6K
rusub_2__1268_39.min1.thm1
2017-02-06 12:45
566
rusub_2__1274_17.min1.thm1
2017-02-06 12:45
1.2K
rusub_2__1277_17.min1.thm1
2017-02-06 12:45
1.2K
rusub_2__1278_32.min1.thm1
2017-02-06 12:45
2.3K
rusub_2__1279_18.min1.thm1
2017-02-06 12:45
1.8K
rusub_2__1287_17.min1.thm1
2017-02-06 12:45
1.2K
rusub_2__1288_30.min1.thm1
2017-02-06 12:45
1.6K
rusub_2__1289_18.min1.thm1
2017-02-06 12:45
1.9K
rusub_2__1293_28.min1.thm1
2017-02-06 12:45
1.6K
rusub_2__1301_22.min1.thm1
2017-02-06 12:45
1.7K
rusub_2__1302_22.min1.thm1
2017-02-06 12:45
1.7K
rusub_2__1304_17.min1.thm1
2017-02-06 12:45
1.2K
rusub_2__1306_23.min1.thm1
2017-02-06 12:45
1.7K
rusub_2__1312_32.min1.thm1
2017-02-06 12:45
1.3K
rusub_2__1315_23.min1.thm1
2017-02-06 12:45
1.5K
rusub_2__1320_24.min1.thm1
2017-02-06 12:45
1.3K
rusub_2__1321_21.min1.thm1
2017-02-06 12:45
1.4K
rusub_2__1332_26.min1.thm1
2017-02-06 12:45
1.7K
rusub_2__1337_17.min1.thm1
2017-02-06 12:45
1.7K
rusub_2__1343_42.min1.thm1
2017-02-06 12:45
2.7K
rusub_2__1344_27.min1.thm1
2017-02-06 12:45
1.3K
rusub_2__1345_24.min1.thm1
2017-02-06 12:45
1.4K
rusub_2__1346_22.min1.thm1
2017-02-06 12:45
1.6K
rusub_2__1351_24.min1.thm1
2017-02-06 12:45
1.3K
rusub_2__1352_21.min1.thm1
2017-02-06 12:45
1.4K
rusub_2__1357_28.min1.thm1
2017-02-06 12:45
1.7K
rusub_2__1358_30.min1.thm1
2017-02-06 12:45
1.4K
rusub_2__1359_49.min1.thm1
2017-02-06 12:45
1.8K
rusub_2__1360_29.min1.thm1
2017-02-06 12:45
1.1K
rusub_2__1362_19.min1.thm1
2017-02-06 12:45
1.9K
rusub_2__1363_13.min1.thm1
2017-02-06 12:45
1.1K
rusub_2__1364_18.min1.thm1
2017-02-06 12:45
1.6K
rusub_2__1368_16.min1.thm1
2017-02-06 12:45
1.2K
rusub_2__1379_68.min1.thm1
2017-02-06 12:45
1.0K
rusub_2__1380_16.min1.thm1
2017-02-06 12:45
344
rusub_2__1391_33.min1.thm1
2017-02-06 12:45
1.0K
rusub_2__1392_29.min1.thm1
2017-02-06 12:45
1.1K
rusub_2__1393_16.min1.thm1
2017-02-06 12:45
407
rusub_2__1393_16.min1.thm1.tptp
2017-02-06 16:47
326
rusub_2__1404_26.min1.thm1
2017-02-06 12:45
1.2K
rusub_2__1406_23.min1.thm1
2017-02-06 12:45
1.1K
rusub_2__1407_31.min1.thm1
2017-02-06 12:45
1.4K
rusub_2__1408_36.min1.thm1
2017-02-06 12:45
1.4K
rusub_2__1409_17.min1.thm1
2017-02-06 12:45
1.5K
rusub_2__1418_38.min1.thm1
2017-02-06 12:45
1.1K
rusub_2__1419_17.min1.thm1
2017-02-06 12:45
1.1K
rusub_2__1427_36.min1.thm1
2017-02-06 12:45
1.3K
rusub_2__1428_17.min1.thm1
2017-02-06 12:45
1.4K
rusub_2__1441_31.min1.thm1
2017-02-06 12:45
1.0K
rusub_2__1442_35.min1.thm1
2017-02-06 12:45
1.7K
rusub_2__1443_17.min1.thm1
2017-02-06 12:45
1.7K
rusub_2__1451_31.min1.thm1
2017-02-06 12:45
1.0K
rusub_2__1452_25.min1.thm1
2017-02-06 12:45
1.6K
rusub_2__1453_17.min1.thm1
2017-02-06 12:45
1.5K
rusub_2__1458_66.min1.thm1
2017-02-06 12:45
756
rusub_2__1467_49.min1.thm1
2017-02-06 12:45
1.9K
rusub_2__1468_17.min1.thm1
2017-02-06 12:45
1.6K
rusub_2__1476_31.min1.thm1
2017-02-06 12:45
1.3K
rusub_2__1477_36.min1.thm1
2017-02-06 12:45
1.4K
rusub_2__1478_17.min1.thm1
2017-02-06 12:45
1.4K
rusub_2__1487_13.min1.thm1
2017-02-06 12:45
1.0K
rusub_2__1487_13.min1.thm1.tptp
2017-02-06 16:47
900
rusub_2__1488_17.min1.thm1
2017-02-06 12:45
1.7K
rusub_2__1503_22.min1.thm1
2017-02-06 12:45
1.3K
rusub_2__1505_18.min1.thm1
2017-02-06 12:45
402
rusub_2__1509_52.min1.thm1
2017-02-06 12:45
1.4K
rusub_2__1527_12.min1.thm1
2017-02-06 12:45
2.3K
rusub_2__1529_18.min1.thm1
2017-02-06 12:45
1.6K
rusub_2__1530_12.min1.thm1
2017-02-06 12:45
2.4K
rusub_2__1532_18.min1.thm1
2017-02-06 12:45
1.6K
rusub_2__1533_29.min1.thm1
2017-02-06 12:45
269
rusub_2__1540_16.min1.thm1
2017-02-06 12:45
1.8K
rusub_2__1541_14.min1.thm1
2017-02-06 12:45
1.2K
rusub_2__1542_59.min1.thm1
2017-02-06 12:45
1.4K
rusub_2__1545_14.min1.thm1
2017-02-06 12:45
1.2K
rusub_2__1546_59.min1.thm1
2017-02-06 12:45
1.4K
rusub_2__1548_19.min1.thm1
2017-02-06 12:45
1.5K
rusub_2__1555_19.min1.thm1
2017-02-06 12:45
1.4K
rusub_2__1558_18.min1.thm1
2017-02-06 12:45
1.4K
rusub_2__1559_14.min1.thm1
2017-02-06 12:45
1.5K
rusub_2__1562_18.min1.thm1
2017-02-06 12:45
1.4K
rusub_2__1568_26.min1.thm1
2017-02-06 12:45
807
rusub_2__1578_39.min1.thm1
2017-02-06 12:45
1.5K
rusub_2__1580_16.min1.thm1
2017-02-06 12:45
1.1K
rusub_2__1591_14.min1.thm1
2017-02-06 12:45
911
rusub_2__1593_17.min1.thm1
2017-02-06 12:45
1.6K
rusub_2__1600_33.min1.thm1
2017-02-06 12:45
1.4K
rusub_2__1603_19.min1.thm1
2017-02-06 12:45
1.5K
rusub_2__1610_19.min1.thm1
2017-02-06 12:45
1.5K
rusub_2__1625_16.min1.thm1
2017-02-06 12:45
1.4K
rusub_2__1626_25.min1.thm1
2017-02-06 12:45
1.7K
rusub_2__1627_25.min1.thm1
2017-02-06 12:45
1.6K
rusub_2__1628_29.min1.thm1
2017-02-06 12:45
1.6K
rusub_2__1632_25.min1.thm1
2017-02-06 12:45
1.6K
rusub_2__1633_29.min1.thm1
2017-02-06 12:45
1.6K
rusub_2__1634_23.min1.thm1
2017-02-06 12:45
1.7K
rusub_2__1635_23.min1.thm1
2017-02-06 12:45
1.5K
rusub_2__1640_25.min1.thm1
2017-02-06 12:45
1.5K
rusub_2__1642_17.min1.thm1
2017-02-06 12:45
1.3K
rusub_2__1643_25.min1.thm1
2017-02-06 12:45
1.2K
rusub_2__1644_47.min1.thm1
2017-02-06 12:45
1.9K
rusub_2__1645_21.min1.thm1
2017-02-06 12:45
2.3K
rusub_2__1647_16.min1.thm1
2017-02-06 12:45
426
rusub_2__1652_26.min1.thm1
2017-02-06 12:45
927
rusub_2__1656_15.min1.thm1
2017-02-06 12:45
1.1K
rusub_2__1659_16.min1.thm1
2017-02-06 12:45
1.3K
rusub_2__1660_19.min1.thm1
2017-02-06 12:45
1.6K
rusub_2__1663_18.min1.thm1
2017-02-06 12:45
1.6K
rusub_2__1664_15.min1.thm1
2017-02-06 12:45
1.6K
rusub_2__1666_15.min1.thm1
2017-02-06 12:45
1.5K
rusub_2__1667_17.min1.thm1
2017-02-06 12:45
2.1K
rusub_2__1670_37.min1.thm1
2017-02-06 12:45
1.8K
rusub_2__1671_23.min1.thm1
2017-02-06 12:45
927
rusub_2__1674_14.min1.thm1
2017-02-06 12:45
912
rusub_2__1675_20.min1.thm1
2017-02-06 12:45
1.6K
rusub_2__1677_18.min1.thm1
2017-02-06 12:45
711
rusub_2__1678_33.min1.thm1
2017-02-06 12:45
1.2K
rusub_2__1679_20.min1.thm1
2017-02-06 12:45
1.6K
rusub_2__1680_33.min1.thm1
2017-02-06 12:45
1.5K
rusub_2__1699_43.min1.thm1
2017-02-06 12:45
1.5K
rusub_2__1700_53.min1.thm1
2017-02-06 12:45
927
rusub_2__1701_15.min1.thm1
2017-02-06 12:45
1.1K
rusub_2__1710_20.min1.thm1
2017-02-06 12:45
1.3K
rusub_2__1711_13.min1.thm1
2017-02-06 12:45
1.6K
rusub_2__1712_24.min1.thm1
2017-02-06 12:45
1.5K
rusub_2__1714_13.min1.thm1
2017-02-06 12:45
1.8K
rusub_2__1715_15.min1.thm1
2017-02-06 12:45
1.6K
rusub_2__1716_24.min1.thm1
2017-02-06 12:45
1.8K
rusub_2__1718_18.min1.thm1
2017-02-06 12:45
2.0K
rusub_2__1720_22.min1.thm1
2017-02-06 12:45
1.5K
rusub_2__1721_18.min1.thm1
2017-02-06 12:45
1.9K
rusub_2__1722_11.min1.thm1
2017-02-06 12:45
1.8K
rusub_2__1736_65.min1.thm1
2017-02-06 12:45
2.1K
rusub_2__1746_42.min1.thm1
2017-02-06 12:45
722
rusub_2__1749_21.min1.thm1
2017-02-06 12:45
598
rusub_2__1749_21.min1.thm1.tptp
2017-02-06 16:47
530
rusub_2__1750_15.min1.thm1
2017-02-06 12:45
1.4K
rusub_2__1751_20.min1.thm1
2017-02-06 12:45
2.0K
rusub_2__1753_41.min1.thm1
2017-02-06 12:45
1.1K
rusub_2__1758_25.min1.thm1
2017-02-06 12:45
1.6K
rusub_2__1759_29.min1.thm1
2017-02-06 12:45
1.2K
rusub_2__1761_29.min1.thm1
2017-02-06 12:45
2.1K
rusub_2__1763_12.min1.thm1
2017-02-06 12:45
1.1K
rusub_2__1765_20.min1.thm1
2017-02-06 12:45
1.4K
rusub_2__1766_12.min1.thm1
2017-02-06 12:45
1.1K
rusub_2__1767_22.min1.thm1
2017-02-06 12:45
1.4K
rusub_2__1768_21.min1.thm1
2017-02-06 12:45
2.6K
rusub_2__1769_18.min1.thm1
2017-02-06 12:45
1.0K
rusub_2__1785_33.min1.thm1
2017-02-06 12:45
1.4K
rusub_2__1789_21.min1.thm1
2017-02-06 12:45
2.0K
rusub_2__1815_30.min1.thm1
2017-02-06 12:45
2.0K
rusub_2__1816_35.min1.thm1
2017-02-06 12:45
1.1K
rusub_2__1820_30.min1.thm1
2017-02-06 12:45
2.0K
rusub_2__1837_30.min1.thm1
2017-02-06 12:45
2.0K
rusub_2__1838_35.min1.thm1
2017-02-06 12:45
1.1K
rusub_2__1842_30.min1.thm1
2017-02-06 12:45
2.0K
rusub_2__1854_31.min1.thm1
2017-02-06 12:45
1.0K
rusub_2__1864_31.min1.thm1
2017-02-06 12:45
1.0K
rusub_2__1874_31.min1.thm1
2017-02-06 12:45
1.0K
rusub_2__1875_17.min1.thm1
2017-02-06 12:45
2.5K
rusub_2__1883_31.min1.thm1
2017-02-06 12:45
1.0K
rusub_2__1884_17.min1.thm1
2017-02-06 12:45
1.8K
rusub_2__1892_31.min1.thm1
2017-02-06 12:45
1.0K
rusub_2__1893_17.min1.thm1
2017-02-06 12:45
1.8K
rusub_2__1914_53.min1.thm1
2017-02-06 12:45
1.5K
rusub_2__1915_58.min1.thm1
2017-02-06 12:45
1.5K
rusub_2__1917_17.min1.thm1
2017-02-06 12:45
610
rusub_2__1936_61.min1.thm1
2017-02-06 12:45
488
rusub_2__1936_61.min1.thm1.tptp
2017-02-06 16:47
410
rusub_2__1937_51.min1.thm1
2017-02-06 12:45
1.0K
rusub_2__1961_53.min1.thm1
2017-02-06 12:45
1.5K
rusub_2__1962_59.min1.thm1
2017-02-06 12:45
1.5K
rusub_2__1964_17.min1.thm1
2017-02-06 12:45
610
rusub_2__1983_61.min1.thm1
2017-02-06 12:45
488
rusub_2__1983_61.min1.thm1.tptp
2017-02-06 16:47
410
rusub_2__1984_51.min1.thm1
2017-02-06 12:45
1.0K
rusub_2__2006_20.min1.thm1
2017-02-06 12:45
1.1K
rusub_2__2068_19.min1.thm1
2017-02-06 12:45
1.1K
rusub_2__2081_14.min1.thm1
2017-02-06 12:45
1.0K
rusub_2__2081_14.min1.thm1.tptp
2017-02-06 16:47
1.0K
rusub_2__2099_13.min1.thm1
2017-02-06 12:45
1.1K
rusub_2__2120_28.min1.thm1
2017-02-06 12:45
1.3K
rusub_2__2121_13.min1.thm1
2017-02-06 12:45
1.0K
rusub_2__2134_14.min1.thm1
2017-02-06 12:45
1.3K
rusub_2__2134_14.min1.thm1.tptp
2017-02-06 16:47
1.2K
rusub_2__2156_27.min1.thm1
2017-02-06 12:45
1.2K
rusub_2__2176_15.min1.thm1
2017-02-06 12:45
1.4K
rusub_2__2176_15.min1.thm1.tptp
2017-02-06 16:47
1.3K
rusub_2__2177_32.min1.thm1
2017-02-06 12:45
556
rusub_2__2177_32.min1.thm1.tptp
2017-02-06 16:47
483
rusub_2__2178_32.min1.thm1
2017-02-06 12:45
556
rusub_2__2178_32.min1.thm1.tptp
2017-02-06 16:47
483
rusub_2__2180_36.min1.thm1
2017-02-06 12:45
334
rusub_2__2180_36.min1.thm1.tptp
2017-02-06 16:47
248
rusub_2__2181_36.min1.thm1
2017-02-06 12:45
334
rusub_2__2181_36.min1.thm1.tptp
2017-02-06 16:47
248
rusub_2__2187_14.min1.thm1
2017-02-06 12:45
1.1K
rusub_2__2190_19.min1.thm1
2017-02-06 12:45
1.2K
rusub_2__2196_28.min1.thm1
2017-02-06 12:45
1.3K
rusub_2__2197_21.min1.thm1
2017-02-06 12:45
1.0K
rusub_2__2197_21.min1.thm1.tptp
2017-02-06 16:47
927
rusub_2__2200_16.min1.thm1
2017-02-06 12:45
1.3K
rusub_2__2209_20.min1.thm1
2017-02-06 12:45
1.5K
rusub_2__2212_28.min1.thm1
2017-02-06 12:45
1.6K
rusub_2__2213_17.min1.thm1
2017-02-06 12:45
1.1K
rusub_2__2216_17.min1.thm1
2017-02-06 12:45
905
rusub_2__2223_14.min1.thm1
2017-02-06 12:45
2.1K
rusub_2__2238_11.min1.thm1
2017-02-06 12:45
1.2K
rusub_2__2251_17.min1.thm1
2017-02-06 12:45
3.1K
rusub_2__2258_67.min1.thm1
2017-02-06 12:45
954
rusub_2__2262_44.min1.thm1
2017-02-06 12:45
786
rusub_2__2267_6.min1.thm1
2017-02-06 12:45
956
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80