Index of /~mptp/1147/MPTP2/ilp0/finsop_1
Name
Last modified
Size
Description
Parent Directory
-
finsop_1__57_15.min1.thm1
2017-02-06 12:45
216
finsop_1__60_23.min1.thm1
2017-02-06 12:45
2.5K
finsop_1__76_57.min1.thm1
2017-02-06 12:45
1.2K
finsop_1__77_22.min1.thm1
2017-02-06 12:45
2.2K
finsop_1__79_21.min1.thm1
2017-02-06 12:45
248
finsop_1__89_26.min1.thm1
2017-02-06 12:45
1.6K
finsop_1__92_29.min1.thm1
2017-02-06 12:45
1.4K
finsop_1__93_29.min1.thm1
2017-02-06 12:45
671
finsop_1__94_31.min1.thm1
2017-02-06 12:45
833
finsop_1__96_28.min1.thm1
2017-02-06 12:45
1.0K
finsop_1__97_55.min1.thm1
2017-02-06 12:45
1.9K
finsop_1__99_31.min1.thm1
2017-02-06 12:45
1.7K
finsop_1__101_20.min1.thm1
2017-02-06 12:45
1.8K
finsop_1__102_35.min1.thm1
2017-02-06 12:45
1.6K
finsop_1__106_52.min1.thm1
2017-02-06 12:45
1.5K
finsop_1__107_27.min1.thm1
2017-02-06 12:45
1.2K
finsop_1__108_36.min1.thm1
2017-02-06 12:45
1.8K
finsop_1__110_35.min1.thm1
2017-02-06 12:45
1.3K
finsop_1__111_27.min1.thm1
2017-02-06 12:45
669
finsop_1__112_62.min1.thm1
2017-02-06 12:45
755
finsop_1__113_27.min1.thm1
2017-02-06 12:45
1.8K
finsop_1__115_27.min1.thm1
2017-02-06 12:45
1.3K
finsop_1__128_32.min1.thm1
2017-02-06 12:45
1.0K
finsop_1__129_25.min1.thm1
2017-02-06 12:45
1.7K
finsop_1__138_27.min1.thm1
2017-02-06 12:45
336
finsop_1__146_37.min1.thm1
2017-02-06 12:45
2.2K
finsop_1__148_36.min1.thm1
2017-02-06 12:45
2.7K
finsop_1__154_44.min1.thm1
2017-02-06 12:45
2.2K
finsop_1__155_45.min1.thm1
2017-02-06 12:45
1.2K
finsop_1__156_45.min1.thm1
2017-02-06 12:45
2.0K
finsop_1__157_45.min1.thm1
2017-02-06 12:45
2.0K
finsop_1__158_32.min1.thm1
2017-02-06 12:45
844
finsop_1__161_28.min1.thm1
2017-02-06 12:45
832
finsop_1__163_32.min1.thm1
2017-02-06 12:45
694
finsop_1__168_12.min1.thm1
2017-02-06 12:45
759
finsop_1__179_35.min1.thm1
2017-02-06 12:45
377
finsop_1__201_17.min1.thm1
2017-02-06 12:45
204
finsop_1__204_25.min1.thm1
2017-02-06 12:45
1.4K
finsop_1__208_22.min1.thm1
2017-02-06 12:45
2.1K
finsop_1__209_49.min1.thm1
2017-02-06 12:45
1.0K
finsop_1__210_25.min1.thm1
2017-02-06 12:45
2.9K
finsop_1__213_18.min1.thm1
2017-02-06 12:45
490
finsop_1__215_9.min1.thm1
2017-02-06 12:45
316
finsop_1__217_19.min1.thm1
2017-02-06 12:45
3.3K
finsop_1__219_13.min1.thm1
2017-02-06 12:45
130
finsop_1__235_18.min1.thm1
2017-02-06 12:45
721
finsop_1__237_15.min1.thm1
2017-02-06 12:45
1.5K
finsop_1__252_24.min1.thm1
2017-02-06 12:45
1.0K
finsop_1__253_19.min1.thm1
2017-02-06 12:45
2.3K
finsop_1__265_24.min1.thm1
2017-02-06 12:45
1.2K
finsop_1__287_15.min1.thm1
2017-02-06 12:45
192
finsop_1__290_21.min1.thm1
2017-02-06 12:45
2.1K
finsop_1__292_23.min1.thm1
2017-02-06 12:45
2.3K
finsop_1__296_53.min1.thm1
2017-02-06 12:45
1.1K
finsop_1__297_21.min1.thm1
2017-02-06 12:45
1.3K
finsop_1__299_25.min1.thm1
2017-02-06 12:45
2.2K
finsop_1__300_20.min1.thm1
2017-02-06 12:45
2.1K
finsop_1__302_40.min1.thm1
2017-02-06 12:45
915
finsop_1__303_29.min1.thm1
2017-02-06 12:45
1.2K
finsop_1__305_29.min1.thm1
2017-02-06 12:45
2.1K
finsop_1__307_48.min1.thm1
2017-02-06 12:45
1.4K
finsop_1__312_16.min1.thm1
2017-02-06 12:45
450
finsop_1__314_9.min1.thm1
2017-02-06 12:45
304
finsop_1__316_17.min1.thm1
2017-02-06 12:45
3.5K
finsop_1__326_11.min1.thm1
2017-02-06 12:45
1.1K
finsop_1__328_18.min1.thm1
2017-02-06 12:45
1.4K
finsop_1__337_28.min1.thm1
2017-02-06 12:45
1.3K
finsop_1__343_16.min1.thm1
2017-02-06 12:45
923
finsop_1__350_21.min1.thm1
2017-02-06 12:45
875
finsop_1__354_17.min1.thm1
2017-02-06 12:45
1.7K
finsop_1__360_24.min1.thm1
2017-02-06 12:45
1.5K
finsop_1__361_33.min1.thm1
2017-02-06 12:45
1.7K
finsop_1__362_19.min1.thm1
2017-02-06 12:45
963
finsop_1__363_20.min1.thm1
2017-02-06 12:45
2.2K
finsop_1__383_18.min1.thm1
2017-02-06 12:45
1.4K
finsop_1__385_18.min1.thm1
2017-02-06 12:45
1.3K
finsop_1__388_21.min1.thm1
2017-02-06 12:45
1.3K
finsop_1__393_19.min1.thm1
2017-02-06 12:45
1.3K
finsop_1__398_20.min1.thm1
2017-02-06 12:45
2.1K
finsop_1__399_21.min1.thm1
2017-02-06 12:45
1.3K
finsop_1__401_25.min1.thm1
2017-02-06 12:45
2.3K
finsop_1__402_24.min1.thm1
2017-02-06 12:45
1.3K
finsop_1__403_45.min1.thm1
2017-02-06 12:45
2.2K
finsop_1__407_16.min1.thm1
2017-02-06 12:45
464
finsop_1__409_9.min1.thm1
2017-02-06 12:45
396
finsop_1__421_13.min1.thm1
2017-02-06 12:45
1.2K
finsop_1__422_48.min1.thm1
2017-02-06 12:45
1.7K
finsop_1__423_11.min1.thm1
2017-02-06 12:45
910
finsop_1__424_31.min1.thm1
2017-02-06 12:45
1.0K
finsop_1__432_28.min1.thm1
2017-02-06 12:45
1.3K
finsop_1__453_35.min1.thm1
2017-02-06 12:45
1.2K
finsop_1__460_15.min1.thm1
2017-02-06 12:45
221
finsop_1__463_26.min1.thm1
2017-02-06 12:45
1.4K
finsop_1__472_14.min1.thm1
2017-02-06 12:45
1.1K
finsop_1__473_66.min1.thm1
2017-02-06 12:45
1.7K
finsop_1__475_43.min1.thm1
2017-02-06 12:45
1.1K
finsop_1__476_49.min1.thm1
2017-02-06 12:45
1.8K
finsop_1__479_16.min1.thm1
2017-02-06 12:45
1.0K
finsop_1__487_40.min1.thm1
2017-02-06 12:45
1.4K
finsop_1__489_36.min1.thm1
2017-02-06 12:45
2.4K
finsop_1__499_21.min1.thm1
2017-02-06 12:45
883
finsop_1__502_24.min1.thm1
2017-02-06 12:45
1.1K
finsop_1__526_56.min1.thm1
2017-02-06 12:45
1.2K
finsop_1__528_28.min1.thm1
2017-02-06 12:45
1.3K
finsop_1__530_27.min1.thm1
2017-02-06 12:45
1.5K
finsop_1__534_33.min1.thm1
2017-02-06 12:45
1.5K
finsop_1__535_35.min1.thm1
2017-02-06 12:45
1.8K
finsop_1__537_20.min1.thm1
2017-02-06 12:45
637
finsop_1__538_45.min1.thm1
2017-02-06 12:45
248
finsop_1__540_27.min1.thm1
2017-02-06 12:45
2.2K
finsop_1__541_28.min1.thm1
2017-02-06 12:45
1.0K
finsop_1__543_32.min1.thm1
2017-02-06 12:45
1.7K
finsop_1__544_53.min1.thm1
2017-02-06 12:45
1.7K
finsop_1__545_28.min1.thm1
2017-02-06 12:45
1.4K
finsop_1__546_34.min1.thm1
2017-02-06 12:45
1.4K
finsop_1__547_55.min1.thm1
2017-02-06 12:45
680
finsop_1__548_19.min1.thm1
2017-02-06 12:45
1.9K
finsop_1__550_23.min1.thm1
2017-02-06 12:45
1.7K
finsop_1__552_15.min1.thm1
2017-02-06 12:45
1.7K
finsop_1__554_19.min1.thm1
2017-02-06 12:45
941
finsop_1__555_44.min1.thm1
2017-02-06 12:45
588
finsop_1__556_48.min1.thm1
2017-02-06 12:45
283
finsop_1__567_19.min1.thm1
2017-02-06 12:45
813
finsop_1__568_41.min1.thm1
2017-02-06 12:45
862
finsop_1__569_17.min1.thm1
2017-02-06 12:45
1.8K
finsop_1__571_21.min1.thm1
2017-02-06 12:45
1.2K
finsop_1__572_18.min1.thm1
2017-02-06 12:45
1.8K
finsop_1__574_36.min1.thm1
2017-02-06 12:45
2.3K
finsop_1__575_31.min1.thm1
2017-02-06 12:45
1.5K
finsop_1__577_31.min1.thm1
2017-02-06 12:45
1.3K
finsop_1__578_22.min1.thm1
2017-02-06 12:45
640
finsop_1__579_58.min1.thm1
2017-02-06 12:45
723
finsop_1__580_15.min1.thm1
2017-02-06 12:45
436
finsop_1__581_23.min1.thm1
2017-02-06 12:45
1.8K
finsop_1__583_47.min1.thm1
2017-02-06 12:45
667
finsop_1__584_58.min1.thm1
2017-02-06 12:45
1.1K
finsop_1__587_19.min1.thm1
2017-02-06 12:45
1.4K
finsop_1__589_28.min1.thm1
2017-02-06 12:45
1.6K
finsop_1__596_30.min1.thm1
2017-02-06 12:45
2.2K
finsop_1__597_51.min1.thm1
2017-02-06 12:45
1.6K
finsop_1__601_47.min1.thm1
2017-02-06 12:45
476
finsop_1__605_25.min1.thm1
2017-02-06 12:45
550
finsop_1__607_20.min1.thm1
2017-02-06 12:45
544
finsop_1__614_16.min1.thm1
2017-02-06 12:45
1.5K
finsop_1__616_20.min1.thm1
2017-02-06 12:45
1.6K
finsop_1__618_24.min1.thm1
2017-02-06 12:45
2.3K
finsop_1__625_26.min1.thm1
2017-02-06 12:45
1.1K
finsop_1__629_32.min1.thm1
2017-02-06 12:45
1.6K
finsop_1__632_23.min1.thm1
2017-02-06 12:45
2.1K
finsop_1__634_26.min1.thm1
2017-02-06 12:45
1.8K
finsop_1__635_31.min1.thm1
2017-02-06 12:45
2.1K
finsop_1__636_25.min1.thm1
2017-02-06 12:45
2.7K
finsop_1__647_19.min1.thm1
2017-02-06 12:45
813
finsop_1__648_41.min1.thm1
2017-02-06 12:45
862
finsop_1__650_19.min1.thm1
2017-02-06 12:45
361
finsop_1__653_30.min1.thm1
2017-02-06 12:45
1.1K
finsop_1__654_25.min1.thm1
2017-02-06 12:45
2.0K
finsop_1__655_27.min1.thm1
2017-02-06 12:45
1.3K
finsop_1__659_51.min1.thm1
2017-02-06 12:45
2.1K
finsop_1__661_30.min1.thm1
2017-02-06 12:45
1.2K
finsop_1__664_25.min1.thm1
2017-02-06 12:45
1.9K
finsop_1__667_26.min1.thm1
2017-02-06 12:45
1.8K
finsop_1__670_26.min1.thm1
2017-02-06 12:45
1.4K
finsop_1__673_27.min1.thm1
2017-02-06 12:45
2.2K
finsop_1__677_20.min1.thm1
2017-02-06 12:45
322
finsop_1__679_20.min1.thm1
2017-02-06 12:45
1.9K
finsop_1__685_17.min1.thm1
2017-02-06 12:45
1.9K
finsop_1__686_50.min1.thm1
2017-02-06 12:45
1.1K
finsop_1__706_18.min1.thm1
2017-02-06 12:45
2.4K
finsop_1__707_41.min1.thm1
2017-02-06 12:45
1.8K
finsop_1__709_19.min1.thm1
2017-02-06 12:45
465
finsop_1__713_23.min1.thm1
2017-02-06 12:45
367
finsop_1__721_25.min1.thm1
2017-02-06 12:45
1.1K
finsop_1__722_51.min1.thm1
2017-02-06 12:45
1.6K
finsop_1__723_38.min1.thm1
2017-02-06 12:45
1.8K
finsop_1__726_31.min1.thm1
2017-02-06 12:45
1.4K
finsop_1__730_39.min1.thm1
2017-02-06 12:45
1.2K
finsop_1__732_34.min1.thm1
2017-02-06 12:45
1.2K
finsop_1__733_27.min1.thm1
2017-02-06 12:45
1.0K
finsop_1__736_34.min1.thm1
2017-02-06 12:45
1.3K
finsop_1__737_39.min1.thm1
2017-02-06 12:45
2.6K
finsop_1__744_24.min1.thm1
2017-02-06 12:45
316
finsop_1__748_21.min1.thm1
2017-02-06 12:45
1.1K
finsop_1__749_47.min1.thm1
2017-02-06 12:45
1.6K
finsop_1__750_34.min1.thm1
2017-02-06 12:45
1.8K
finsop_1__753_27.min1.thm1
2017-02-06 12:45
1.4K
finsop_1__755_32.min1.thm1
2017-02-06 12:45
1.2K
finsop_1__757_24.min1.thm1
2017-02-06 12:45
408
finsop_1__757_24.min1.thm1.tptp
2017-02-06 16:47
343
finsop_1__761_35.min1.thm1
2017-02-06 12:45
1.2K
finsop_1__762_35.min1.thm1
2017-02-06 12:45
2.2K
finsop_1__766_35.min1.thm1
2017-02-06 12:45
1.5K
finsop_1__773_20.min1.thm1
2017-02-06 12:45
304
finsop_1__778_36.min1.thm1
2017-02-06 12:45
2.3K
finsop_1__787_29.min1.thm1
2017-02-06 12:45
1.6K
finsop_1__791_40.min1.thm1
2017-02-06 12:45
1.7K
finsop_1__792_34.min1.thm1
2017-02-06 12:45
1.7K
finsop_1__796_23.min1.thm1
2017-02-06 12:45
371
finsop_1__796_23.min1.thm1.tptp
2017-02-06 16:47
306
finsop_1__800_22.min1.thm1
2017-02-06 12:45
956
finsop_1__802_34.min1.thm1
2017-02-06 12:45
1.5K
finsop_1__803_40.min1.thm1
2017-02-06 12:45
1.2K
finsop_1__815_63.min1.thm1
2017-02-06 12:45
1.9K
finsop_1__817_19.min1.thm1
2017-02-06 12:45
1.0K
finsop_1__826_22.min1.thm1
2017-02-06 12:45
1.2K
finsop_1__830_21.min1.thm1
2017-02-06 12:45
1.7K
finsop_1__834_45.min1.thm1
2017-02-06 12:45
2.2K
finsop_1__836_30.min1.thm1
2017-02-06 12:45
412
finsop_1__836_30.min1.thm1.tptp
2017-02-06 16:47
347
finsop_1__843_22.min1.thm1
2017-02-06 12:45
1.2K
finsop_1__847_21.min1.thm1
2017-02-06 12:45
1.7K
finsop_1__851_45.min1.thm1
2017-02-06 12:45
2.2K
finsop_1__853_30.min1.thm1
2017-02-06 12:45
412
finsop_1__853_30.min1.thm1.tptp
2017-02-06 16:47
347
finsop_1__861_29.min1.thm1
2017-02-06 12:45
1.2K
finsop_1__863_34.min1.thm1
2017-02-06 12:45
1.1K
finsop_1__868_20.min1.thm1
2017-02-06 12:45
256
finsop_1__870_51.min1.thm1
2017-02-06 12:45
2.4K
finsop_1__871_62.min1.thm1
2017-02-06 12:45
1.9K
finsop_1__872_19.min1.thm1
2017-02-06 12:45
1.8K
finsop_1__873_54.min1.thm1
2017-02-06 12:45
1.7K
finsop_1__880_28.min1.thm1
2017-02-06 12:45
2.1K
finsop_1__881_52.min1.thm1
2017-02-06 12:45
1.9K
finsop_1__883_19.min1.thm1
2017-02-06 12:45
364
finsop_1__887_43.min1.thm1
2017-02-06 12:45
3.0K
finsop_1__888_43.min1.thm1
2017-02-06 12:45
2.9K
finsop_1__893_31.min1.thm1
2017-02-06 12:45
1.3K
finsop_1__896_26.min1.thm1
2017-02-06 12:45
1.6K
finsop_1__899_26.min1.thm1
2017-02-06 12:45
1.6K
finsop_1__900_59.min1.thm1
2017-02-06 12:45
1.5K
finsop_1__901_31.min1.thm1
2017-02-06 12:45
1.1K
finsop_1__902_27.min1.thm1
2017-02-06 12:45
1.7K
finsop_1__907_29.min1.thm1
2017-02-06 12:45
909
finsop_1__908_43.min1.thm1
2017-02-06 12:45
2.9K
finsop_1__921_28.min1.thm1
2017-02-06 12:45
558
finsop_1__924_17.min1.thm1
2017-02-06 12:45
228
finsop_1__932_21.min1.thm1
2017-02-06 12:45
539
finsop_1__938_39.min1.thm1
2017-02-06 12:45
2.0K
finsop_1__939_28.min1.thm1
2017-02-06 12:45
1.9K
finsop_1__940_28.min1.thm1
2017-02-06 12:45
1.6K
finsop_1__948_26.min1.thm1
2017-02-06 12:45
450
finsop_1__953_21.min1.thm1
2017-02-06 12:45
1.2K
finsop_1__955_34.min1.thm1
2017-02-06 12:45
1.7K
finsop_1__956_33.min1.thm1
2017-02-06 12:45
1.4K
finsop_1__960_29.min1.thm1
2017-02-06 12:45
800
finsop_1__960_29.min1.thm1.tptp
2017-02-06 16:47
718
finsop_1__965_21.min1.thm1
2017-02-06 12:45
1.1K
finsop_1__976_22.min1.thm1
2017-02-06 12:45
438
finsop_1__980_30.min1.thm1
2017-02-06 12:45
2.9K
finsop_1__982_38.min1.thm1
2017-02-06 12:45
1.9K
finsop_1__983_21.min1.thm1
2017-02-06 12:45
261
finsop_1__984_28.min1.thm1
2017-02-06 12:45
1.5K
finsop_1__985_29.min1.thm1
2017-02-06 12:45
2.1K
finsop_1__986_30.min1.thm1
2017-02-06 12:45
2.7K
finsop_1__987_25.min1.thm1
2017-02-06 12:45
1.8K
finsop_1__990_18.min1.thm1
2017-02-06 12:45
426
finsop_1__994_10.min1.thm1
2017-02-06 12:45
1.7K
finsop_1__1006_11.min1.thm1
2017-02-06 12:45
1.1K
finsop_1__1007_16.min1.thm1
2017-02-06 12:45
1.0K
finsop_1__1009_13.min1.thm1
2017-02-06 12:45
929
finsop_1__1024_13.min1.thm1
2017-02-06 12:45
215
finsop_1__1036_14.min1.thm1
2017-02-06 12:45
400
finsop_1__1048_20.min1.thm1
2017-02-06 12:45
1.2K
finsop_1__1050_22.min1.thm1
2017-02-06 12:45
885
finsop_1__1052_20.min1.thm1
2017-02-06 12:45
1.6K
finsop_1__1053_19.min1.thm1
2017-02-06 12:45
1.3K
finsop_1__1054_15.min1.thm1
2017-02-06 12:45
1.2K
finsop_1__1055_20.min1.thm1
2017-02-06 12:45
1.2K
finsop_1__1057_21.min1.thm1
2017-02-06 12:45
1.1K
finsop_1__1058_22.min1.thm1
2017-02-06 12:45
1.2K
finsop_1__1061_20.min1.thm1
2017-02-06 12:45
1.4K
finsop_1__1062_15.min1.thm1
2017-02-06 12:45
1.2K
finsop_1__1063_46.min1.thm1
2017-02-06 12:45
2.7K
finsop_1__1064_25.min1.thm1
2017-02-06 12:45
1.2K
finsop_1__1065_23.min1.thm1
2017-02-06 12:45
1.1K
finsop_1__1066_11.min1.thm1
2017-02-06 12:45
604
finsop_1__1077_17.min1.thm1
2017-02-06 12:45
1.5K
finsop_1__1084_28.min1.thm1
2017-02-06 12:45
1.3K
finsop_1__1092_23.min1.thm1
2017-02-06 12:45
872
finsop_1__1093_20.min1.thm1
2017-02-06 12:45
2.3K
finsop_1__1094_26.min1.thm1
2017-02-06 12:45
1.6K
finsop_1__1095_13.min1.thm1
2017-02-06 12:45
1.8K
finsop_1__1123_18.min1.thm1
2017-02-06 12:45
2.2K
finsop_1__1124_18.min1.thm1
2017-02-06 12:45
2.1K
finsop_1__1125_19.min1.thm1
2017-02-06 12:45
2.2K
finsop_1__1127_21.min1.thm1
2017-02-06 12:45
1.4K
finsop_1__1128_38.min1.thm1
2017-02-06 12:45
2.1K
finsop_1__1129_34.min1.thm1
2017-02-06 12:45
1.5K
finsop_1__1131_25.min1.thm1
2017-02-06 12:45
1.5K
finsop_1__1135_31.min1.thm1
2017-02-06 12:45
1.5K
finsop_1__1136_27.min1.thm1
2017-02-06 12:45
1.4K
finsop_1__1138_21.min1.thm1
2017-02-06 12:45
1.6K
finsop_1__1139_25.min1.thm1
2017-02-06 12:45
1.5K
finsop_1__1140_26.min1.thm1
2017-02-06 12:45
1.4K
finsop_1__1142_20.min1.thm1
2017-02-06 12:45
1.6K
finsop_1__1143_20.min1.thm1
2017-02-06 12:45
1.6K
finsop_1__1144_35.min1.thm1
2017-02-06 12:45
1.9K
finsop_1__1147_20.min1.thm1
2017-02-06 12:45
1.7K
finsop_1__1150_23.min1.thm1
2017-02-06 12:45
643
finsop_1__1151_36.min1.thm1
2017-02-06 12:45
795
finsop_1__1152_32.min1.thm1
2017-02-06 12:45
1.0K
finsop_1__1153_32.min1.thm1
2017-02-06 12:45
1.7K
finsop_1__1155_33.min1.thm1
2017-02-06 12:45
1.3K
finsop_1__1156_27.min1.thm1
2017-02-06 12:45
1.6K
finsop_1__1158_33.min1.thm1
2017-02-06 12:45
1.3K
finsop_1__1159_27.min1.thm1
2017-02-06 12:45
1.5K
finsop_1__1160_38.min1.thm1
2017-02-06 12:45
1.3K
finsop_1__1163_14.min1.thm1
2017-02-06 12:45
1.3K
finsop_1__1164_41.min1.thm1
2017-02-06 12:45
1.9K
finsop_1__1185_44.min1.thm1
2017-02-06 12:45
2.8K
finsop_1__1186_25.min1.thm1
2017-02-06 12:45
2.3K
finsop_1__1189_18.min1.thm1
2017-02-06 12:45
644
finsop_1__1194_9.min1.thm1
2017-02-06 12:45
1.7K
finsop_1__1208_45.min1.thm1
2017-02-06 12:45
1.2K
finsop_1__1218_44.min1.thm1
2017-02-06 12:45
1.4K
finsop_1__1219_30.min1.thm1
2017-02-06 12:45
1.3K
finsop_1__1225_62.min1.thm1
2017-02-06 12:45
613
finsop_1__1228_23.min1.thm1
2017-02-06 12:45
603
finsop_1__1233_22.min1.thm1
2017-02-06 12:45
883
finsop_1__1236_19.min1.thm1
2017-02-06 12:45
1.0K
finsop_1__1244_40.min1.thm1
2017-02-06 12:45
1.1K
finsop_1__1246_28.min1.thm1
2017-02-06 12:45
1.1K
finsop_1__1252_25.min1.thm1
2017-02-06 12:45
1.0K
finsop_1__1255_26.min1.thm1
2017-02-06 12:45
1.2K
finsop_1__1263_50.min1.thm1
2017-02-06 12:45
1.3K
finsop_1__1265_31.min1.thm1
2017-02-06 12:45
1.3K
finsop_1__1271_43.min1.thm1
2017-02-06 12:45
1.2K
finsop_1__1272_11.min1.thm1
2017-02-06 12:45
910
finsop_1__1278_45.min1.thm1
2017-02-06 12:45
1.2K
finsop_1__1279_17.min1.thm1
2017-02-06 12:45
1.0K
finsop_1__1311_15.min1.thm1
2017-02-06 12:45
195
finsop_1__1319_36.min1.thm1
2017-02-06 12:45
1.0K
finsop_1__1329_16.min1.thm1
2017-02-06 12:45
916
finsop_1__1337_37.min1.thm1
2017-02-06 12:45
656
finsop_1__1344_27.min1.thm1
2017-02-06 12:45
943
finsop_1__1345_24.min1.thm1
2017-02-06 12:45
1.0K
finsop_1__1346_25.min1.thm1
2017-02-06 12:45
2.4K
finsop_1__1347_35.min1.thm1
2017-02-06 12:45
1.8K
finsop_1__1348_22.min1.thm1
2017-02-06 12:45
2.3K
finsop_1__1349_21.min1.thm1
2017-02-06 12:45
1.3K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80