Index of /~mptp/7.13.01_4.181.1147/MPTP2/ilp0/rusub_4
Name
Last modified
Size
Description
Parent Directory
-
rusub_4__52_13.min1.thm1
2017-02-06 12:45
1.2K
rusub_4__55_18.min1.thm1
2017-02-06 12:45
1.7K
rusub_4__56_27.min1.thm1
2017-02-06 12:45
1.7K
rusub_4__68_31.min1.thm1
2017-02-06 12:45
590
rusub_4__69_27.min1.thm1
2017-02-06 12:45
1.1K
rusub_4__70_40.min1.thm1
2017-02-06 12:45
1.7K
rusub_4__75_13.min1.thm1
2017-02-06 12:45
478
rusub_4__81_70.min1.thm1
2017-02-06 12:45
1.7K
rusub_4__83_66.min1.thm1
2017-02-06 12:45
1.7K
rusub_4__85_30.min1.thm1
2017-02-06 12:45
1.2K
rusub_4__90_25.min1.thm1
2017-02-06 12:45
911
rusub_4__91_22.min1.thm1
2017-02-06 12:45
2.5K
rusub_4__101_39.min1.thm1
2017-02-06 12:45
2.1K
rusub_4__118_54.min1.thm1
2017-02-06 12:45
1.5K
rusub_4__120_23.min1.thm1
2017-02-06 12:45
1.7K
rusub_4__122_50.min1.thm1
2017-02-06 12:45
1.3K
rusub_4__126_42.min1.thm1
2017-02-06 12:45
1.3K
rusub_4__132_23.min1.thm1
2017-02-06 12:45
1.2K
rusub_4__136_36.min1.thm1
2017-02-06 12:45
1.6K
rusub_4__148_25.min1.thm1
2017-02-06 12:45
361
rusub_4__148_25.min1.thm1.tptp
2017-02-06 16:47
283
rusub_4__149_32.min1.thm1
2017-02-06 12:45
546
rusub_4__150_11.min1.thm1
2017-02-06 12:45
554
rusub_4__151_14.min1.thm1
2017-02-06 12:45
453
rusub_4__151_14.min1.thm1.tptp
2017-02-06 16:47
377
rusub_4__161_20.min1.thm1
2017-02-06 12:45
458
rusub_4__161_20.min1.thm1.tptp
2017-02-06 16:47
392
rusub_4__162_24.min1.thm1
2017-02-06 12:45
466
rusub_4__162_24.min1.thm1.tptp
2017-02-06 16:47
404
rusub_4__165_17.min1.thm1
2017-02-06 12:45
449
rusub_4__190_13.min1.thm1
2017-02-06 12:45
1.4K
rusub_4__191_34.min1.thm1
2017-02-06 12:45
509
rusub_4__193_33.min1.thm1
2017-02-06 12:45
1.6K
rusub_4__194_25.min1.thm1
2017-02-06 12:45
1.0K
rusub_4__196_42.min1.thm1
2017-02-06 12:45
1.2K
rusub_4__197_21.min1.thm1
2017-02-06 12:45
2.6K
rusub_4__203_24.min1.thm1
2017-02-06 12:45
1.7K
rusub_4__217_38.min1.thm1
2017-02-06 12:45
3.1K
rusub_4__223_25.min1.thm1
2017-02-06 12:45
950
rusub_4__225_38.min1.thm1
2017-02-06 12:45
1.2K
rusub_4__226_21.min1.thm1
2017-02-06 12:45
2.2K
rusub_4__228_14.min1.thm1
2017-02-06 12:45
610
rusub_4__230_15.min1.thm1
2017-02-06 12:45
616
rusub_4__233_65.min1.thm1
2017-02-06 12:45
4.1K
rusub_4__241_31.min1.thm1
2017-02-06 12:45
1.3K
rusub_4__243_38.min1.thm1
2017-02-06 12:45
1.5K
rusub_4__247_50.min1.thm1
2017-02-06 12:45
1.0K
rusub_4__247_50.min1.thm1.tptp
2017-02-06 16:47
1.0K
rusub_4__248_52.min1.thm1
2017-02-06 12:45
2.5K
rusub_4__252_54.min1.thm1
2017-02-06 12:45
2.8K
rusub_4__258_17.min1.thm1
2017-02-06 12:45
885
rusub_4__269_13.min1.thm1
2017-02-06 12:45
813
rusub_4__270_19.min1.thm1
2017-02-06 12:45
870
rusub_4__271_19.min1.thm1
2017-02-06 12:45
1.7K
rusub_4__292_24.min1.thm1
2017-02-06 12:45
807
rusub_4__292_24.min1.thm1.tptp
2017-02-06 16:47
732
rusub_4__308_22.min1.thm1
2017-02-06 12:45
1.0K
rusub_4__311_16.min1.thm1
2017-02-06 12:45
474
rusub_4__311_16.min1.thm1.tptp
2017-02-06 16:47
411
rusub_4__312_52.min1.thm1
2017-02-06 12:45
831
rusub_4__325_18.min1.thm1
2017-02-06 12:45
1.7K
rusub_4__326_19.min1.thm1
2017-02-06 12:45
808
rusub_4__328_37.min1.thm1
2017-02-06 12:45
1.3K
rusub_4__334_35.min1.thm1
2017-02-06 12:45
1.1K
rusub_4__337_20.min1.thm1
2017-02-06 12:45
1.2K
rusub_4__344_23.min1.thm1
2017-02-06 12:45
1.0K
rusub_4__346_22.min1.thm1
2017-02-06 12:45
1.5K
rusub_4__347_27.min1.thm1
2017-02-06 12:45
1.3K
rusub_4__348_54.min1.thm1
2017-02-06 12:45
1.5K
rusub_4__355_25.min1.thm1
2017-02-06 12:45
692
rusub_4__357_45.min1.thm1
2017-02-06 12:45
1.7K
rusub_4__358_27.min1.thm1
2017-02-06 12:45
1.2K
rusub_4__359_23.min1.thm1
2017-02-06 12:45
2.0K
rusub_4__361_70.min1.thm1
2017-02-06 12:45
1.8K
rusub_4__363_26.min1.thm1
2017-02-06 12:45
1.3K
rusub_4__367_41.min1.thm1
2017-02-06 12:45
1.1K
rusub_4__372_33.min1.thm1
2017-02-06 12:45
1.1K
rusub_4__373_33.min1.thm1
2017-02-06 12:45
1.3K
rusub_4__374_35.min1.thm1
2017-02-06 12:45
1.7K
rusub_4__376_23.min1.thm1
2017-02-06 12:45
1.3K
rusub_4__381_49.min1.thm1
2017-02-06 12:45
368
rusub_4__381_49.min1.thm1.tptp
2017-02-06 16:47
302
rusub_4__383_31.min1.thm1
2017-02-06 12:45
923
rusub_4__384_28.min1.thm1
2017-02-06 12:45
1.0K
rusub_4__385_13.min1.thm1
2017-02-06 12:45
1.0K
rusub_4__386_19.min1.thm1
2017-02-06 12:45
568
rusub_4__390_13.min1.thm1
2017-02-06 12:45
549
rusub_4__397_22.min1.thm1
2017-02-06 12:45
921
rusub_4__398_35.min1.thm1
2017-02-06 12:45
659
rusub_4__399_25.min1.thm1
2017-02-06 12:45
1.1K
rusub_4__401_20.min1.thm1
2017-02-06 12:45
1.5K
rusub_4__402_23.min1.thm1
2017-02-06 12:45
533
rusub_4__402_23.min1.thm1.tptp
2017-02-06 16:47
458
rusub_4__403_16.min1.thm1
2017-02-06 12:45
520
rusub_4__410_21.min1.thm1
2017-02-06 12:45
919
rusub_4__421_40.min1.thm1
2017-02-06 12:45
500
rusub_4__423_40.min1.thm1
2017-02-06 12:45
500
rusub_4__424_42.min1.thm1
2017-02-06 12:45
1.7K
rusub_4__435_20.min1.thm1
2017-02-06 12:45
456
rusub_4__436_16.min1.thm1
2017-02-06 12:45
1.1K
rusub_4__438_23.min1.thm1
2017-02-06 12:45
940
rusub_4__450_17.min1.thm1
2017-02-06 12:45
1.2K
rusub_4__463_13.min1.thm1
2017-02-06 12:45
1.0K
rusub_4__464_16.min1.thm1
2017-02-06 12:45
924
rusub_4__465_17.min1.thm1
2017-02-06 12:45
480
rusub_4__475_55.min1.thm1
2017-02-06 12:45
1.4K
rusub_4__476_59.min1.thm1
2017-02-06 12:45
1.6K
rusub_4__479_59.min1.thm1
2017-02-06 12:45
1.6K
rusub_4__481_17.min1.thm1
2017-02-06 12:45
1.4K
rusub_4__489_61.min1.thm1
2017-02-06 12:45
493
rusub_4__490_30.min1.thm1
2017-02-06 12:45
1.3K
rusub_4__491_16.min1.thm1
2017-02-06 12:45
2.3K
rusub_4__492_31.min1.thm1
2017-02-06 12:45
1.2K
rusub_4__495_48.min1.thm1
2017-02-06 12:45
1.3K
rusub_4__496_26.min1.thm1
2017-02-06 12:45
1.7K
rusub_4__497_17.min1.thm1
2017-02-06 12:45
1.5K
rusub_4__508_13.min1.thm1
2017-02-06 12:45
1.3K
rusub_4__510_21.min1.thm1
2017-02-06 12:45
943
rusub_4__511_17.min1.thm1
2017-02-06 12:45
2.3K
rusub_4__520_18.min1.thm1
2017-02-06 12:45
1.1K
rusub_4__527_16.min1.thm1
2017-02-06 12:45
863
rusub_4__527_16.min1.thm1.tptp
2017-02-06 16:47
802
rusub_4__536_16.min1.thm1
2017-02-06 12:45
349
rusub_4__553_22.min1.thm1
2017-02-06 12:45
1.0K
rusub_4__555_14.min1.thm1
2017-02-06 12:45
498
rusub_4__556_46.min1.thm1
2017-02-06 12:45
1.3K
rusub_4__557_16.min1.thm1
2017-02-06 12:45
407
rusub_4__557_16.min1.thm1.tptp
2017-02-06 16:47
344
rusub_4__566_22.min1.thm1
2017-02-06 12:45
1.0K
rusub_4__567_17.min1.thm1
2017-02-06 12:45
604
rusub_4__568_19.min1.thm1
2017-02-06 12:45
678
rusub_4__579_29.min1.thm1
2017-02-06 12:45
1.7K
rusub_4__580_30.min1.thm1
2017-02-06 12:45
2.2K
rusub_4__581_60.min1.thm1
2017-02-06 12:45
1.3K
rusub_4__582_43.min1.thm1
2017-02-06 12:45
2.3K
rusub_4__583_38.min1.thm1
2017-02-06 12:45
842
rusub_4__586_39.min1.thm1
2017-02-06 12:45
1.9K
rusub_4__587_21.min1.thm1
2017-02-06 12:45
1.8K
rusub_4__589_17.min1.thm1
2017-02-06 12:45
2.9K
rusub_4__604_34.min1.thm1
2017-02-06 12:45
2.0K
rusub_4__606_62.min1.thm1
2017-02-06 12:45
1.9K
rusub_4__608_15.min1.thm1
2017-02-06 12:45
1.7K
rusub_4__610_19.min1.thm1
2017-02-06 12:45
2.6K
rusub_4__611_14.min1.thm1
2017-02-06 12:45
444
rusub_4__619_22.min1.thm1
2017-02-06 12:45
968
rusub_4__619_22.min1.thm1.tptp
2017-02-06 16:47
907
rusub_4__620_35.min1.thm1
2017-02-06 12:45
1.0K
rusub_4__620_35.min1.thm1.tptp
2017-02-06 16:47
954
rusub_4__621_16.min1.thm1
2017-02-06 12:45
1.5K
rusub_4__622_47.min1.thm1
2017-02-06 12:45
1.9K
rusub_4__623_17.min1.thm1
2017-02-06 12:45
1.4K
rusub_4__633_22.min1.thm1
2017-02-06 12:45
968
rusub_4__633_22.min1.thm1.tptp
2017-02-06 16:47
907
rusub_4__637_13.min1.thm1
2017-02-06 12:45
1.3K
rusub_4__638_43.min1.thm1
2017-02-06 12:45
1.8K
rusub_4__640_45.min1.thm1
2017-02-06 12:45
1.3K
rusub_4__643_21.min1.thm1
2017-02-06 12:45
2.4K
rusub_4__644_18.min1.thm1
2017-02-06 12:45
1.3K
rusub_4__647_20.min1.thm1
2017-02-06 12:45
501
rusub_4__648_31.min1.thm1
2017-02-06 12:45
944
rusub_4__651_31.min1.thm1
2017-02-06 12:45
1.0K
rusub_4__652_31.min1.thm1
2017-02-06 12:45
1.7K
rusub_4__653_35.min1.thm1
2017-02-06 12:45
1.0K
rusub_4__653_35.min1.thm1.tptp
2017-02-06 16:47
956
rusub_4__654_18.min1.thm1
2017-02-06 12:45
1.6K
rusub_4__655_18.min1.thm1
2017-02-06 12:45
1.5K
rusub_4__656_28.min1.thm1
2017-02-06 12:45
2.4K
rusub_4__657_21.min1.thm1
2017-02-06 12:45
1.5K
rusub_4__658_31.min1.thm1
2017-02-06 12:45
268
rusub_4__661_22.min1.thm1
2017-02-06 12:45
1.8K
rusub_4__662_32.min1.thm1
2017-02-06 12:45
1.3K
rusub_4__664_38.min1.thm1
2017-02-06 12:45
1.1K
rusub_4__665_26.min1.thm1
2017-02-06 12:45
1.5K
rusub_4__667_32.min1.thm1
2017-02-06 12:45
1.8K
rusub_4__668_16.min1.thm1
2017-02-06 12:45
2.0K
rusub_4__669_32.min1.thm1
2017-02-06 12:45
1.9K
rusub_4__670_29.min1.thm1
2017-02-06 12:45
326
rusub_4__671_29.min1.thm1
2017-02-06 12:45
326
rusub_4__672_19.min1.thm1
2017-02-06 12:45
1.3K
rusub_4__673_20.min1.thm1
2017-02-06 12:45
1.4K
rusub_4__674_16.min1.thm1
2017-02-06 12:45
2.0K
rusub_4__675_15.min1.thm1
2017-02-06 12:45
2.1K
rusub_4__676_14.min1.thm1
2017-02-06 12:45
264
rusub_4__685_22.min1.thm1
2017-02-06 12:45
968
rusub_4__685_22.min1.thm1.tptp
2017-02-06 16:47
907
rusub_4__688_22.min1.thm1
2017-02-06 12:45
970
rusub_4__688_22.min1.thm1.tptp
2017-02-06 16:47
909
rusub_4__690_22.min1.thm1
2017-02-06 12:45
1.5K
rusub_4__692_28.min1.thm1
2017-02-06 12:45
916
rusub_4__693_35.min1.thm1
2017-02-06 12:45
1.0K
rusub_4__693_35.min1.thm1.tptp
2017-02-06 16:47
956
rusub_4__694_18.min1.thm1
2017-02-06 12:45
1.5K
rusub_4__695_17.min1.thm1
2017-02-06 12:45
1.0K
rusub_4__696_27.min1.thm1
2017-02-06 12:45
266
rusub_4__700_35.min1.thm1
2017-02-06 12:45
1.3K
rusub_4__704_34.min1.thm1
2017-02-06 12:45
1.1K
rusub_4__705_24.min1.thm1
2017-02-06 12:45
1.6K
rusub_4__706_29.min1.thm1
2017-02-06 12:45
1.2K
rusub_4__707_17.min1.thm1
2017-02-06 12:45
1.6K
rusub_4__717_22.min1.thm1
2017-02-06 12:45
970
rusub_4__717_22.min1.thm1.tptp
2017-02-06 16:47
909
rusub_4__719_22.min1.thm1
2017-02-06 12:45
1.5K
rusub_4__721_14.min1.thm1
2017-02-06 12:45
543
rusub_4__722_13.min1.thm1
2017-02-06 12:45
341
rusub_4__722_13.min1.thm1.tptp
2017-02-06 16:47
276
rusub_4__723_36.min1.thm1
2017-02-06 12:45
519
rusub_4__724_34.min1.thm1
2017-02-06 12:45
2.2K
rusub_4__726_15.min1.thm1
2017-02-06 12:45
1.2K
rusub_4__727_32.min1.thm1
2017-02-06 12:45
2.3K
rusub_4__728_68.min1.thm1
2017-02-06 12:45
1.5K
rusub_4__733_60.min1.thm1
2017-02-06 12:45
1.8K
rusub_4__736_24.min1.thm1
2017-02-06 12:45
2.0K
rusub_4__737_17.min1.thm1
2017-02-06 12:45
1.4K
rusub_4__738_17.min1.thm1
2017-02-06 12:45
2.1K
rusub_4__749_22.min1.thm1
2017-02-06 12:45
970
rusub_4__749_22.min1.thm1.tptp
2017-02-06 16:47
909
rusub_4__752_17.min1.thm1
2017-02-06 12:45
1.5K
rusub_4__754_13.min1.thm1
2017-02-06 12:45
700
rusub_4__755_34.min1.thm1
2017-02-06 12:45
519
rusub_4__758_32.min1.thm1
2017-02-06 12:45
1.7K
rusub_4__759_20.min1.thm1
2017-02-06 12:45
1.2K
rusub_4__764_19.min1.thm1
2017-02-06 12:45
464
rusub_4__764_19.min1.thm1.tptp
2017-02-06 16:47
398
rusub_4__765_34.min1.thm1
2017-02-06 12:45
521
rusub_4__766_13.min1.thm1
2017-02-06 12:45
1.4K
rusub_4__771_24.min1.thm1
2017-02-06 12:45
502
rusub_4__771_24.min1.thm1.tptp
2017-02-06 16:47
436
rusub_4__772_53.min1.thm1
2017-02-06 12:45
773
rusub_4__773_28.min1.thm1
2017-02-06 12:45
479
rusub_4__773_28.min1.thm1.tptp
2017-02-06 16:47
415
rusub_4__775_33.min1.thm1
2017-02-06 12:45
735
rusub_4__776_24.min1.thm1
2017-02-06 12:45
1.6K
rusub_4__777_20.min1.thm1
2017-02-06 12:45
685
rusub_4__780_49.min1.thm1
2017-02-06 12:45
1.3K
rusub_4__781_23.min1.thm1
2017-02-06 12:45
495
rusub_4__781_23.min1.thm1.tptp
2017-02-06 16:47
431
rusub_4__783_18.min1.thm1
2017-02-06 12:45
581
rusub_4__785_38.min1.thm1
2017-02-06 12:45
1.5K
rusub_4__786_35.min1.thm1
2017-02-06 12:45
1.7K
rusub_4__787_21.min1.thm1
2017-02-06 12:45
1.0K
rusub_4__787_21.min1.thm1.tptp
2017-02-06 16:47
956
rusub_4__789_28.min1.thm1
2017-02-06 12:45
1.0K
rusub_4__795_33.min1.thm1
2017-02-06 12:45
1.2K
rusub_4__797_28.min1.thm1
2017-02-06 12:45
2.2K
rusub_4__798_20.min1.thm1
2017-02-06 12:45
1.5K
rusub_4__799_17.min1.thm1
2017-02-06 12:45
2.3K
rusub_4__808_34.min1.thm1
2017-02-06 12:45
842
rusub_4__809_36.min1.thm1
2017-02-06 12:45
427
rusub_4__812_31.min1.thm1
2017-02-06 12:45
1.1K
rusub_4__815_31.min1.thm1
2017-02-06 12:45
1.1K
rusub_4__818_41.min1.thm1
2017-02-06 12:45
2.1K
rusub_4__819_41.min1.thm1
2017-02-06 12:45
2.1K
rusub_4__821_33.min1.thm1
2017-02-06 12:45
2.0K
rusub_4__822_67.min1.thm1
2017-02-06 12:45
1.3K
rusub_4__823_50.min1.thm1
2017-02-06 12:45
2.3K
rusub_4__824_43.min1.thm1
2017-02-06 12:45
707
rusub_4__829_14.min1.thm1
2017-02-06 12:45
712
rusub_4__831_34.min1.thm1
2017-02-06 12:45
2.2K
rusub_4__834_44.min1.thm1
2017-02-06 12:45
1.8K
rusub_4__835_43.min1.thm1
2017-02-06 12:45
586
rusub_4__838_52.min1.thm1
2017-02-06 12:45
2.3K
rusub_4__840_30.min1.thm1
2017-02-06 12:45
696
rusub_4__842_32.min1.thm1
2017-02-06 12:45
489
rusub_4__842_32.min1.thm1.tptp
2017-02-06 16:47
427
rusub_4__843_44.min1.thm1
2017-02-06 12:45
1.0K
rusub_4__844_36.min1.thm1
2017-02-06 12:45
1.0K
rusub_4__850_32.min1.thm1
2017-02-06 12:45
489
rusub_4__850_32.min1.thm1.tptp
2017-02-06 16:47
427
rusub_4__851_30.min1.thm1
2017-02-06 12:45
1.1K
rusub_4__852_23.min1.thm1
2017-02-06 12:45
1.0K
rusub_4__855_17.min1.thm1
2017-02-06 12:45
528
rusub_4__856_15.min1.thm1
2017-02-06 12:45
274
rusub_4__858_16.min1.thm1
2017-02-06 12:45
578
rusub_4__859_14.min1.thm1
2017-02-06 12:45
806
rusub_4__861_34.min1.thm1
2017-02-06 12:45
2.2K
rusub_4__863_59.min1.thm1
2017-02-06 12:45
540
rusub_4__864_40.min1.thm1
2017-02-06 12:45
1.6K
rusub_4__865_40.min1.thm1
2017-02-06 12:45
2.5K
rusub_4__868_25.min1.thm1
2017-02-06 12:45
964
rusub_4__869_13.min1.thm1
2017-02-06 12:45
847
rusub_4__877_19.min1.thm1
2017-02-06 12:45
1.9K
rusub_4__880_26.min1.thm1
2017-02-06 12:45
457
rusub_4__880_26.min1.thm1.tptp
2017-02-06 16:47
395
rusub_4__881_57.min1.thm1
2017-02-06 12:45
967
rusub_4__882_43.min1.thm1
2017-02-06 12:45
710
rusub_4__883_27.min1.thm1
2017-02-06 12:45
2.8K
rusub_4__885_40.min1.thm1
2017-02-06 12:45
2.1K
rusub_4__888_18.min1.thm1
2017-02-06 12:45
1.0K
rusub_4__889_22.min1.thm1
2017-02-06 12:45
563
rusub_4__895_61.min1.thm1
2017-02-06 12:45
2.4K
rusub_4__899_48.min1.thm1
2017-02-06 12:45
1.1K
rusub_4__900_48.min1.thm1
2017-02-06 12:45
1.1K
rusub_4__910_38.min1.thm1
2017-02-06 12:45
918
rusub_4__912_9.min1.thm1
2017-02-06 12:45
1.1K
rusub_4__916_23.min1.thm1
2017-02-06 12:45
1.0K
rusub_4__919_18.min1.thm1
2017-02-06 12:45
266
rusub_4__920_48.min1.thm1
2017-02-06 12:45
373
rusub_4__920_48.min1.thm1.tptp
2017-02-06 16:47
301
rusub_4__924_23.min1.thm1
2017-02-06 12:45
968
rusub_4__927_24.min1.thm1
2017-02-06 12:45
1.1K
rusub_4__928_13.min1.thm1
2017-02-06 12:45
1.0K
rusub_4__929_22.min1.thm1
2017-02-06 12:45
1.6K
rusub_4__943_11.min1.thm1
2017-02-06 12:45
919
rusub_4__946_30.min1.thm1
2017-02-06 12:45
2.5K
rusub_4__953_21.min1.thm1
2017-02-06 12:45
2.2K
rusub_4__962_25.min1.thm1
2017-02-06 12:45
2.8K
rusub_4__979_36.min1.thm1
2017-02-06 12:45
814
rusub_4__987_36.min1.thm1
2017-02-06 12:45
814
rusub_4__994_20.min1.thm1
2017-02-06 12:45
502
rusub_4__995_34.min1.thm1
2017-02-06 12:45
2.0K
rusub_4__996_25.min1.thm1
2017-02-06 12:45
948
rusub_4__1001_23.min1.thm1
2017-02-06 12:45
2.6K
rusub_4__1002_30.min1.thm1
2017-02-06 12:45
704
rusub_4__1005_23.min1.thm1
2017-02-06 12:45
2.6K
rusub_4__1009_30.min1.thm1
2017-02-06 12:45
1.2K
rusub_4__1009_30.min1.thm1.tptp
2017-02-06 16:47
1.1K
rusub_4__1010_32.min1.thm1
2017-02-06 12:45
1.1K
rusub_4__1014_47.min1.thm1
2017-02-06 12:45
2.2K
rusub_4__1015_31.min1.thm1
2017-02-06 12:45
2.5K
rusub_4__1018_19.min1.thm1
2017-02-06 12:45
1.1K
rusub_4__1022_47.min1.thm1
2017-02-06 12:45
2.3K
rusub_4__1024_24.min1.thm1
2017-02-06 12:45
2.4K
rusub_4__1028_24.min1.thm1
2017-02-06 12:45
2.0K
rusub_4__1032_19.min1.thm1
2017-02-06 12:45
1.4K
rusub_4__1033_36.min1.thm1
2017-02-06 12:45
1.7K
rusub_4__1034_20.min1.thm1
2017-02-06 12:45
1.7K
rusub_4__1036_20.min1.thm1
2017-02-06 12:45
1.8K
rusub_4__1037_36.min1.thm1
2017-02-06 12:45
1.7K
rusub_4__1038_20.min1.thm1
2017-02-06 12:45
1.7K
rusub_4__1040_20.min1.thm1
2017-02-06 12:45
1.8K
rusub_4__1044_25.min1.thm1
2017-02-06 12:45
1.9K
rusub_4__1049_24.min1.thm1
2017-02-06 12:45
1.9K
rusub_4__1053_34.min1.thm1
2017-02-06 12:45
830
rusub_4__1053_34.min1.thm1.tptp
2017-02-06 16:47
759
rusub_4__1054_52.min1.thm1
2017-02-06 12:45
1.7K
rusub_4__1055_17.min1.thm1
2017-02-06 12:45
1.9K
rusub_4__1056_24.min1.thm1
2017-02-06 12:45
1.2K
rusub_4__1057_40.min1.thm1
2017-02-06 12:45
2.0K
rusub_4__1069_14.min1.thm1
2017-02-06 12:45
775
rusub_4__1094_33.min1.thm1
2017-02-06 12:45
1.4K
rusub_4__1095_21.min1.thm1
2017-02-06 12:45
1.3K
rusub_4__1097_24.min1.thm1
2017-02-06 12:45
1.4K
rusub_4__1101_15.min1.thm1
2017-02-06 12:45
875
rusub_4__1101_15.min1.thm1.tptp
2017-02-06 16:47
800
rusub_4__1102_14.min1.thm1
2017-02-06 12:45
336
rusub_4__1113_22.min1.thm1
2017-02-06 12:45
968
rusub_4__1113_22.min1.thm1.tptp
2017-02-06 16:47
907
rusub_4__1115_21.min1.thm1
2017-02-06 12:45
1.5K
rusub_4__1117_17.min1.thm1
2017-02-06 12:45
856
rusub_4__1118_32.min1.thm1
2017-02-06 12:45
641
rusub_4__1119_66.min1.thm1
2017-02-06 12:45
1.4K
rusub_4__1120_30.min1.thm1
2017-02-06 12:45
1.3K
rusub_4__1122_14.min1.thm1
2017-02-06 12:45
416
rusub_4__1122_14.min1.thm1.tptp
2017-02-06 16:47
339
rusub_4__1128_17.min1.thm1
2017-02-06 12:45
1.2K
rusub_4__1128_17.min1.thm1.tptp
2017-02-06 16:47
1.2K
rusub_4__1149_18.min1.thm1
2017-02-06 12:45
1.3K
rusub_4__1150_53.min1.thm1
2017-02-06 12:45
1.1K
rusub_4__1151_20.min1.thm1
2017-02-06 12:45
1.2K
rusub_4__1152_66.min1.thm1
2017-02-06 12:45
546
rusub_4__1158_24.min1.thm1
2017-02-06 12:45
1.8K
rusub_4__1159_33.min1.thm1
2017-02-06 12:45
367
rusub_4__1160_34.min1.thm1
2017-02-06 12:45
2.0K
rusub_4__1163_20.min1.thm1
2017-02-06 12:45
1.5K
rusub_4__1164_24.min1.thm1
2017-02-06 12:45
1.3K
rusub_4__1165_21.min1.thm1
2017-02-06 12:45
1.5K
rusub_4__1167_16.min1.thm1
2017-02-06 12:45
484
rusub_4__1174_16.min1.thm1
2017-02-06 12:45
684
rusub_4__1185_54.min1.thm1
2017-02-06 12:45
1.1K
rusub_4__1186_17.min1.thm1
2017-02-06 12:45
1.2K
rusub_4__1199_28.min1.thm1
2017-02-06 12:45
420
rusub_4__1200_57.min1.thm1
2017-02-06 12:45
1.2K
rusub_4__1215_17.min1.thm1
2017-02-06 12:45
2.0K
rusub_4__1217_27.min1.thm1
2017-02-06 12:45
1.3K
rusub_4__1218_17.min1.thm1
2017-02-06 12:45
417
rusub_4__1236_26.min1.thm1
2017-02-06 12:45
1.8K
rusub_4__1237_25.min1.thm1
2017-02-06 12:45
1.5K
rusub_4__1239_23.min1.thm1
2017-02-06 12:45
1.1K
rusub_4__1240_17.min1.thm1
2017-02-06 12:45
1.4K
rusub_4__1257_25.min1.thm1
2017-02-06 12:45
1.2K
rusub_4__1260_19.min1.thm1
2017-02-06 12:45
1.4K
rusub_4__1271_18.min1.thm1
2017-02-06 12:45
807
rusub_4__1277_18.min1.thm1
2017-02-06 12:45
897
rusub_4__1285_14.min1.thm1
2017-02-06 12:45
2.1K
rusub_4__1292_14.min1.thm1
2017-02-06 12:45
2.3K
rusub_4__1309_13.min1.thm1
2017-02-06 12:45
1.7K
rusub_4__1311_17.min1.thm1
2017-02-06 12:45
1.2K
rusub_4__1312_13.min1.thm1
2017-02-06 12:45
1.7K
rusub_4__1313_28.min1.thm1
2017-02-06 12:45
1.6K
rusub_4__1315_19.min1.thm1
2017-02-06 12:45
2.0K
rusub_4__1318_13.min1.thm1
2017-02-06 12:45
871
rusub_4__1319_17.min1.thm1
2017-02-06 12:45
1.4K
rusub_4__1336_28.min1.thm1
2017-02-06 12:45
2.2K
rusub_4__1337_19.min1.thm1
2017-02-06 12:45
1.9K
rusub_4__1339_14.min1.thm1
2017-02-06 12:45
516
rusub_4__1366_33.min1.thm1
2017-02-06 12:45
432
rusub_4__1366_33.min1.thm1.tptp
2017-02-06 16:47
344
rusub_4__1371_21.min1.thm1
2017-02-06 12:45
2.1K
rusub_4__1372_17.min1.thm1
2017-02-06 12:45
880
rusub_4__1381_23.min1.thm1
2017-02-06 12:45
1.9K
rusub_4__1383_55.min1.thm1
2017-02-06 12:45
1.2K
rusub_4__1385_67.min1.thm1
2017-02-06 12:45
1.3K
rusub_4__1386_32.min1.thm1
2017-02-06 12:45
1.8K
rusub_4__1387_19.min1.thm1
2017-02-06 12:45
1.4K
rusub_4__1390_33.min1.thm1
2017-02-06 12:45
447
rusub_4__1390_33.min1.thm1.tptp
2017-02-06 16:47
383
rusub_4__1396_19.min1.thm1
2017-02-06 12:45
1.9K
rusub_4__1398_36.min1.thm1
2017-02-06 12:45
447
rusub_4__1398_36.min1.thm1.tptp
2017-02-06 16:47
383
rusub_4__1399_17.min1.thm1
2017-02-06 12:45
509
rusub_4__1408_13.min1.thm1
2017-02-06 12:45
871
rusub_4__1409_23.min1.thm1
2017-02-06 12:45
1.7K
rusub_4__1418_34.min1.thm1
2017-02-06 12:45
432
rusub_4__1418_34.min1.thm1.tptp
2017-02-06 16:47
344
rusub_4__1419_13.min1.thm1
2017-02-06 12:45
1.8K
rusub_4__1421_17.min1.thm1
2017-02-06 12:45
1.2K
rusub_4__1422_13.min1.thm1
2017-02-06 12:45
1.8K
rusub_4__1423_22.min1.thm1
2017-02-06 12:45
1.4K
rusub_4__1424_19.min1.thm1
2017-02-06 12:45
2.2K
rusub_4__1436_25.min1.thm1
2017-02-06 12:45
1.3K
rusub_4__1441_23.min1.thm1
2017-02-06 12:45
2.0K
rusub_4__1443_55.min1.thm1
2017-02-06 12:45
1.2K
rusub_4__1446_32.min1.thm1
2017-02-06 12:45
2.1K
rusub_4__1447_19.min1.thm1
2017-02-06 12:45
1.5K
rusub_4__1450_33.min1.thm1
2017-02-06 12:45
445
rusub_4__1450_33.min1.thm1.tptp
2017-02-06 16:47
381
rusub_4__1456_19.min1.thm1
2017-02-06 12:45
2.0K
rusub_4__1458_36.min1.thm1
2017-02-06 12:45
445
rusub_4__1458_36.min1.thm1.tptp
2017-02-06 16:47
381
rusub_4__1459_17.min1.thm1
2017-02-06 12:45
506
rusub_4__1468_13.min1.thm1
2017-02-06 12:45
911
rusub_4__1469_23.min1.thm1
2017-02-06 12:45
1.9K
rusub_4__1478_34.min1.thm1
2017-02-06 12:45
432
rusub_4__1478_34.min1.thm1.tptp
2017-02-06 16:47
344
rusub_4__1479_13.min1.thm1
2017-02-06 12:45
1.9K
rusub_4__1481_17.min1.thm1
2017-02-06 12:45
1.3K
rusub_4__1482_13.min1.thm1
2017-02-06 12:45
1.9K
rusub_4__1483_22.min1.thm1
2017-02-06 12:45
1.4K
rusub_4__1484_19.min1.thm1
2017-02-06 12:45
2.3K
rusub_4__1503_21.min1.thm1
2017-02-06 12:45
532
rusub_4__1503_21.min1.thm1.tptp
2017-02-06 16:47
464
rusub_4__1505_36.min1.thm1
2017-02-06 12:45
385
rusub_4__1505_36.min1.thm1.tptp
2017-02-06 16:47
307
rusub_4__1506_31.min1.thm1
2017-02-06 12:45
311
rusub_4__1511_56.min1.thm1
2017-02-06 12:45
1.0K
rusub_4__1512_21.min1.thm1
2017-02-06 12:45
1.5K
rusub_4__1518_59.min1.thm1
2017-02-06 12:45
776
rusub_4__1519_18.min1.thm1
2017-02-06 12:45
1.1K
rusub_4__1521_19.min1.thm1
2017-02-06 12:45
769
rusub_4__1541_10.min1.thm1
2017-02-06 12:45
2.1K
rusub_4__1542_13.min1.thm1
2017-02-06 12:45
1.8K
rusub_4__1556_13.min1.thm1
2017-02-06 12:45
1.8K
rusub_4__1557_19.min1.thm1
2017-02-06 12:45
1.9K
rusub_4__1560_17.min1.thm1
2017-02-06 12:45
638
rusub_4__1583_14.min1.thm1
2017-02-06 12:45
2.1K
rusub_4__1586_14.min1.thm1
2017-02-06 12:45
2.1K
rusub_4__1595_33.min1.thm1
2017-02-06 12:45
2.6K
rusub_4__1617_10.min1.thm1
2017-02-06 12:45
2.2K
rusub_4__1618_13.min1.thm1
2017-02-06 12:45
1.9K
rusub_4__1631_10.min1.thm1
2017-02-06 12:45
1.4K
rusub_4__1632_13.min1.thm1
2017-02-06 12:45
1.9K
rusub_4__1633_19.min1.thm1
2017-02-06 12:45
2.0K
rusub_4__1636_17.min1.thm1
2017-02-06 12:45
638
rusub_4__1650_16.min1.thm1
2017-02-06 12:45
390
rusub_4__1668_21.min1.thm1
2017-02-06 12:45
573
rusub_4__1668_21.min1.thm1.tptp
2017-02-06 16:47
509
rusub_4__1676_24.min1.thm1
2017-02-06 12:45
573
rusub_4__1676_24.min1.thm1.tptp
2017-02-06 16:47
509
rusub_4__1677_17.min1.thm1
2017-02-06 12:45
698
rusub_4__1693_49.min1.thm1
2017-02-06 12:45
1.3K
rusub_4__1694_15.min1.thm1
2017-02-06 12:45
888
rusub_4__1695_19.min1.thm1
2017-02-06 12:45
1.8K
rusub_4__1698_23.min1.thm1
2017-02-06 12:45
615
rusub_4__1698_23.min1.thm1.tptp
2017-02-06 16:47
551
rusub_4__1707_13.min1.thm1
2017-02-06 12:45
956
rusub_4__1708_19.min1.thm1
2017-02-06 12:45
1.4K
rusub_4__1710_26.min1.thm1
2017-02-06 12:45
615
rusub_4__1710_26.min1.thm1.tptp
2017-02-06 16:47
551
rusub_4__1711_17.min1.thm1
2017-02-06 12:45
761
rusub_4__1724_20.min1.thm1
2017-02-06 12:45
1.7K
rusub_4__1725_17.min1.thm1
2017-02-06 12:45
1.3K
rusub_4__1741_27.min1.thm1
2017-02-06 12:45
959
rusub_4__1743_31.min1.thm1
2017-02-06 12:45
1.2K
rusub_4__1744_22.min1.thm1
2017-02-06 12:45
866
rusub_4__1745_36.min1.thm1
2017-02-06 12:45
1.2K
rusub_4__1746_19.min1.thm1
2017-02-06 12:45
1.2K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80