Index of /~mptp/1147/MPTP2/ilp0/vectsp_7
Name
Last modified
Size
Description
Parent Directory
-
vectsp_7__68_48.min1.thm1
2017-02-06 12:46
1.9K
vectsp_7__70_25.min1.thm1
2017-02-06 12:46
2.1K
vectsp_7__71_14.min1.thm1
2017-02-06 12:46
359
vectsp_7__71_14.min1.thm1.tptp
2017-02-06 16:46
277
vectsp_7__85_74.min1.thm1
2017-02-06 12:46
2.0K
vectsp_7__92_20.min1.thm1
2017-02-06 12:46
1.9K
vectsp_7__93_19.min1.thm1
2017-02-06 12:46
730
vectsp_7__95_49.min1.thm1
2017-02-06 12:46
2.1K
vectsp_7__104_17.min1.thm1
2017-02-06 12:46
2.4K
vectsp_7__105_16.min1.thm1
2017-02-06 12:46
807
vectsp_7__106_21.min1.thm1
2017-02-06 12:46
1.9K
vectsp_7__110_19.min1.thm1
2017-02-06 12:46
1.9K
vectsp_7__111_19.min1.thm1
2017-02-06 12:46
2.8K
vectsp_7__113_25.min1.thm1
2017-02-06 12:46
1.1K
vectsp_7__114_49.min1.thm1
2017-02-06 12:46
1.7K
vectsp_7__116_13.min1.thm1
2017-02-06 12:46
3.0K
vectsp_7__128_23.min1.thm1
2017-02-06 12:46
2.1K
vectsp_7__129_16.min1.thm1
2017-02-06 12:46
739
vectsp_7__139_15.min1.thm1
2017-02-06 12:46
2.5K
vectsp_7__149_26.min1.thm1
2017-02-06 12:46
2.5K
vectsp_7__150_19.min1.thm1
2017-02-06 12:46
2.1K
vectsp_7__155_24.min1.thm1
2017-02-06 12:46
2.4K
vectsp_7__159_16.min1.thm1
2017-02-06 12:46
2.0K
vectsp_7__162_18.min1.thm1
2017-02-06 12:46
306
vectsp_7__166_22.min1.thm1
2017-02-06 12:46
2.0K
vectsp_7__169_40.min1.thm1
2017-02-06 12:46
2.8K
vectsp_7__175_14.min1.thm1
2017-02-06 12:46
294
vectsp_7__181_20.min1.thm1
2017-02-06 12:46
1.9K
vectsp_7__183_17.min1.thm1
2017-02-06 12:46
2.6K
vectsp_7__197_21.min1.thm1
2017-02-06 12:46
2.5K
vectsp_7__203_76.min1.thm1
2017-02-06 12:46
2.1K
vectsp_7__208_31.min1.thm1
2017-02-06 12:46
2.4K
vectsp_7__209_25.min1.thm1
2017-02-06 12:46
795
vectsp_7__217_33.min1.thm1
2017-02-06 12:46
2.2K
vectsp_7__219_31.min1.thm1
2017-02-06 12:46
2.3K
vectsp_7__222_57.min1.thm1
2017-02-06 12:46
2.6K
vectsp_7__230_37.min1.thm1
2017-02-06 12:46
3.0K
vectsp_7__232_21.min1.thm1
2017-02-06 12:46
3.3K
vectsp_7__233_17.min1.thm1
2017-02-06 12:46
2.4K
vectsp_7__234_15.min1.thm1
2017-02-06 12:46
1.6K
vectsp_7__241_21.min1.thm1
2017-02-06 12:46
1.6K
vectsp_7__242_19.min1.thm1
2017-02-06 12:46
1.2K
vectsp_7__247_35.min1.thm1
2017-02-06 12:46
3.1K
vectsp_7__249_26.min1.thm1
2017-02-06 12:46
2.5K
vectsp_7__251_20.min1.thm1
2017-02-06 12:46
2.6K
vectsp_7__252_20.min1.thm1
2017-02-06 12:46
2.3K
vectsp_7__254_32.min1.thm1
2017-02-06 12:46
3.4K
vectsp_7__256_16.min1.thm1
2017-02-06 12:46
2.7K
vectsp_7__264_38.min1.thm1
2017-02-06 12:46
2.3K
vectsp_7__277_38.min1.thm1
2017-02-06 12:46
2.3K
vectsp_7__278_28.min1.thm1
2017-02-06 12:46
4.2K
vectsp_7__280_16.min1.thm1
2017-02-06 12:46
2.2K
vectsp_7__301_18.min1.thm1
2017-02-06 12:46
362
vectsp_7__305_45.min1.thm1
2017-02-06 12:46
3.3K
vectsp_7__306_45.min1.thm1
2017-02-06 12:46
2.8K
vectsp_7__307_45.min1.thm1
2017-02-06 12:46
2.9K
vectsp_7__308_41.min1.thm1
2017-02-06 12:46
2.1K
vectsp_7__309_34.min1.thm1
2017-02-06 12:46
2.0K
vectsp_7__310_38.min1.thm1
2017-02-06 12:46
3.6K
vectsp_7__318_45.min1.thm1
2017-02-06 12:46
3.3K
vectsp_7__319_45.min1.thm1
2017-02-06 12:46
2.9K
vectsp_7__320_45.min1.thm1
2017-02-06 12:46
2.8K
vectsp_7__321_40.min1.thm1
2017-02-06 12:46
2.1K
vectsp_7__322_34.min1.thm1
2017-02-06 12:46
2.0K
vectsp_7__323_38.min1.thm1
2017-02-06 12:46
3.4K
vectsp_7__336_29.min1.thm1
2017-02-06 12:46
2.4K
vectsp_7__338_29.min1.thm1
2017-02-06 12:46
3.1K
vectsp_7__339_34.min1.thm1
2017-02-06 12:46
1.6K
vectsp_7__345_22.min1.thm1
2017-02-06 12:46
2.0K
vectsp_7__350_17.min1.thm1
2017-02-06 12:46
2.4K
vectsp_7__367_29.min1.thm1
2017-02-06 12:46
1.9K
vectsp_7__368_18.min1.thm1
2017-02-06 12:46
2.5K
vectsp_7__370_37.min1.thm1
2017-02-06 12:46
479
vectsp_7__370_37.min1.thm1.tptp
2017-02-06 16:46
401
vectsp_7__371_58.min1.thm1
2017-02-06 12:46
1.6K
vectsp_7__381_22.min1.thm1
2017-02-06 12:46
2.0K
vectsp_7__383_22.min1.thm1
2017-02-06 12:46
2.0K
vectsp_7__384_60.min1.thm1
2017-02-06 12:46
2.5K
vectsp_7__386_20.min1.thm1
2017-02-06 12:46
2.2K
vectsp_7__391_16.min1.thm1
2017-02-06 12:46
2.0K
vectsp_7__392_56.min1.thm1
2017-02-06 12:46
2.4K
vectsp_7__393_23.min1.thm1
2017-02-06 12:46
2.7K
vectsp_7__394_18.min1.thm1
2017-02-06 12:46
2.2K
vectsp_7__396_19.min1.thm1
2017-02-06 12:46
1.6K
vectsp_7__397_18.min1.thm1
2017-02-06 12:46
2.1K
vectsp_7__398_19.min1.thm1
2017-02-06 12:46
2.2K
vectsp_7__409_38.min1.thm1
2017-02-06 12:46
2.9K
vectsp_7__411_16.min1.thm1
2017-02-06 12:46
1.9K
vectsp_7__415_37.min1.thm1
2017-02-06 12:46
2.0K
vectsp_7__417_17.min1.thm1
2017-02-06 12:46
2.9K
vectsp_7__426_38.min1.thm1
2017-02-06 12:46
482
vectsp_7__430_74.min1.thm1
2017-02-06 12:46
2.1K
vectsp_7__437_18.min1.thm1
2017-02-06 12:46
2.2K
vectsp_7__438_19.min1.thm1
2017-02-06 12:46
726
vectsp_7__447_15.min1.thm1
2017-02-06 12:46
2.2K
vectsp_7__448_12.min1.thm1
2017-02-06 12:46
794
vectsp_7__449_19.min1.thm1
2017-02-06 12:46
2.2K
vectsp_7__451_51.min1.thm1
2017-02-06 12:46
2.5K
vectsp_7__452_24.min1.thm1
2017-02-06 12:46
2.3K
vectsp_7__453_11.min1.thm1
2017-02-06 12:46
1.7K
vectsp_7__454_13.min1.thm1
2017-02-06 12:46
963
vectsp_7__455_25.min1.thm1
2017-02-06 12:46
665
vectsp_7__456_49.min1.thm1
2017-02-06 12:46
1.8K
vectsp_7__457_15.min1.thm1
2017-02-06 12:46
383
vectsp_7__457_15.min1.thm1.tptp
2017-02-06 16:46
301
vectsp_7__458_17.min1.thm1
2017-02-06 12:46
2.0K
vectsp_7__473_30.min1.thm1
2017-02-06 12:46
3.1K
vectsp_7__475_34.min1.thm1
2017-02-06 12:46
2.0K
vectsp_7__476_21.min1.thm1
2017-02-06 12:46
1.7K
vectsp_7__477_21.min1.thm1
2017-02-06 12:46
1.6K
vectsp_7__480_19.min1.thm1
2017-02-06 12:46
1.6K
vectsp_7__481_19.min1.thm1
2017-02-06 12:46
2.4K
vectsp_7__497_19.min1.thm1
2017-02-06 12:46
1.7K
vectsp_7__498_19.min1.thm1
2017-02-06 12:46
2.1K
vectsp_7__504_14.min1.thm1
2017-02-06 12:46
2.1K
vectsp_7__506_17.min1.thm1
2017-02-06 12:46
1.9K
vectsp_7__517_16.min1.thm1
2017-02-06 12:46
1.0K
vectsp_7__522_27.min1.thm1
2017-02-06 12:46
1.9K
vectsp_7__523_29.min1.thm1
2017-02-06 12:46
1.9K
vectsp_7__525_21.min1.thm1
2017-02-06 12:46
2.3K
vectsp_7__527_39.min1.thm1
2017-02-06 12:46
2.3K
vectsp_7__539_15.min1.thm1
2017-02-06 12:46
2.0K
vectsp_7__552_17.min1.thm1
2017-02-06 12:46
1.9K
vectsp_7__553_46.min1.thm1
2017-02-06 12:46
2.0K
vectsp_7__554_17.min1.thm1
2017-02-06 12:46
396
vectsp_7__554_17.min1.thm1.tptp
2017-02-06 16:46
314
vectsp_7__555_24.min1.thm1
2017-02-06 12:46
2.0K
vectsp_7__586_42.min1.thm1
2017-02-06 12:46
364
vectsp_7__586_42.min1.thm1.tptp
2017-02-06 16:46
286
vectsp_7__587_30.min1.thm1
2017-02-06 12:46
2.4K
vectsp_7__590_36.min1.thm1
2017-02-06 12:46
1.1K
vectsp_7__592_38.min1.thm1
2017-02-06 12:46
2.9K
vectsp_7__594_38.min1.thm1
2017-02-06 12:46
2.8K
vectsp_7__600_37.min1.thm1
2017-02-06 12:46
2.8K
vectsp_7__601_29.min1.thm1
2017-02-06 12:46
2.4K
vectsp_7__607_76.min1.thm1
2017-02-06 12:46
2.1K
vectsp_7__616_33.min1.thm1
2017-02-06 12:46
2.2K
vectsp_7__620_13.min1.thm1
2017-02-06 12:46
759
vectsp_7__621_27.min1.thm1
2017-02-06 12:46
528
vectsp_7__622_51.min1.thm1
2017-02-06 12:46
1.8K
vectsp_7__627_42.min1.thm1
2017-02-06 12:46
364
vectsp_7__627_42.min1.thm1.tptp
2017-02-06 16:46
286
vectsp_7__628_30.min1.thm1
2017-02-06 12:46
2.4K
vectsp_7__631_36.min1.thm1
2017-02-06 12:46
1.1K
vectsp_7__636_76.min1.thm1
2017-02-06 12:46
2.1K
vectsp_7__645_33.min1.thm1
2017-02-06 12:46
2.2K
vectsp_7__649_27.min1.thm1
2017-02-06 12:46
529
vectsp_7__650_51.min1.thm1
2017-02-06 12:46
1.8K
vectsp_7__655_17.min1.thm1
2017-02-06 12:46
237
vectsp_7__671_21.min1.thm1
2017-02-06 12:46
333
vectsp_7__676_53.min1.thm1
2017-02-06 12:46
2.9K
vectsp_7__688_27.min1.thm1
2017-02-06 12:46
1.0K
vectsp_7__692_26.min1.thm1
2017-02-06 12:46
1.4K
vectsp_7__693_25.min1.thm1
2017-02-06 12:46
2.8K
vectsp_7__696_22.min1.thm1
2017-02-06 12:46
738
vectsp_7__699_18.min1.thm1
2017-02-06 12:46
726
vectsp_7__703_42.min1.thm1
2017-02-06 12:46
2.3K
vectsp_7__746_15.min1.thm1
2017-02-06 12:46
427
vectsp_7__746_15.min1.thm1.tptp
2017-02-06 16:46
372
vectsp_7__747_36.min1.thm1
2017-02-06 12:46
1.1K
vectsp_7__748_21.min1.thm1
2017-02-06 12:46
865
vectsp_7__750_36.min1.thm1
2017-02-06 12:46
405
vectsp_7__750_36.min1.thm1.tptp
2017-02-06 16:46
327
vectsp_7__761_46.min1.thm1
2017-02-06 12:46
715
vectsp_7__768_19.min1.thm1
2017-02-06 12:46
698
vectsp_7__769_26.min1.thm1
2017-02-06 12:46
2.0K
vectsp_7__772_17.min1.thm1
2017-02-06 12:46
1.3K
vectsp_7__773_38.min1.thm1
2017-02-06 12:46
1.2K
vectsp_7__774_60.min1.thm1
2017-02-06 12:46
2.1K
vectsp_7__778_18.min1.thm1
2017-02-06 12:46
590
vectsp_7__779_29.min1.thm1
2017-02-06 12:46
2.5K
vectsp_7__781_20.min1.thm1
2017-02-06 12:46
908
vectsp_7__787_18.min1.thm1
2017-02-06 12:46
1.0K
vectsp_7__789_31.min1.thm1
2017-02-06 12:46
853
vectsp_7__790_59.min1.thm1
2017-02-06 12:46
786
vectsp_7__791_17.min1.thm1
2017-02-06 12:46
1.3K
vectsp_7__792_65.min1.thm1
2017-02-06 12:46
2.0K
vectsp_7__793_20.min1.thm1
2017-02-06 12:46
383
vectsp_7__798_31.min1.thm1
2017-02-06 12:46
583
vectsp_7__798_31.min1.thm1.tptp
2017-02-06 16:46
502
vectsp_7__799_37.min1.thm1
2017-02-06 12:46
520
vectsp_7__800_33.min1.thm1
2017-02-06 12:46
528
vectsp_7__802_16.min1.thm1
2017-02-06 12:46
954
vectsp_7__803_26.min1.thm1
2017-02-06 12:46
876
vectsp_7__804_26.min1.thm1
2017-02-06 12:46
521
vectsp_7__804_26.min1.thm1.tptp
2017-02-06 16:46
440
vectsp_7__808_34.min1.thm1
2017-02-06 12:46
1.4K
vectsp_7__816_61.min1.thm1
2017-02-06 12:46
637
vectsp_7__816_61.min1.thm1.tptp
2017-02-06 16:46
560
vectsp_7__817_19.min1.thm1
2017-02-06 12:46
871
vectsp_7__818_24.min1.thm1
2017-02-06 12:46
1.1K
vectsp_7__821_19.min1.thm1
2017-02-06 12:46
1.2K
vectsp_7__822_23.min1.thm1
2017-02-06 12:46
836
vectsp_7__824_42.min1.thm1
2017-02-06 12:46
2.3K
vectsp_7__828_13.min1.thm1
2017-02-06 12:46
675
vectsp_7__831_6.min1.thm1
2017-02-06 12:46
769
vectsp_7__832_13.min1.thm1
2017-02-06 12:46
669
vectsp_7__833_18.min1.thm1
2017-02-06 12:46
592
vectsp_7__834_25.min1.thm1
2017-02-06 12:46
1.1K
vectsp_7__837_17.min1.thm1
2017-02-06 12:46
1.1K
vectsp_7__840_49.min1.thm1
2017-02-06 12:46
676
vectsp_7__844_33.min1.thm1
2017-02-06 12:46
729
vectsp_7__846_44.min1.thm1
2017-02-06 12:46
402
vectsp_7__846_44.min1.thm1.tptp
2017-02-06 16:46
314
vectsp_7__856_15.min1.thm1
2017-02-06 12:46
317
vectsp_7__870_10.min1.thm1
2017-02-06 12:46
2.1K
vectsp_7__876_29.min1.thm1
2017-02-06 12:46
1.2K
vectsp_7__882_35.min1.thm1
2017-02-06 12:46
2.8K
vectsp_7__886_21.min1.thm1
2017-02-06 12:46
2.3K
vectsp_7__887_22.min1.thm1
2017-02-06 12:46
1.3K
vectsp_7__890_25.min1.thm1
2017-02-06 12:46
2.6K
vectsp_7__892_55.min1.thm1
2017-02-06 12:46
1.8K
vectsp_7__899_10.min1.thm1
2017-02-06 12:46
2.1K
vectsp_7__903_24.min1.thm1
2017-02-06 12:46
2.2K
vectsp_7__904_29.min1.thm1
2017-02-06 12:46
823
vectsp_7__911_60.min1.thm1
2017-02-06 12:46
2.3K
vectsp_7__912_23.min1.thm1
2017-02-06 12:46
862
vectsp_7__913_25.min1.thm1
2017-02-06 12:46
2.1K
vectsp_7__915_57.min1.thm1
2017-02-06 12:46
2.6K
vectsp_7__916_31.min1.thm1
2017-02-06 12:46
2.6K
vectsp_7__921_21.min1.thm1
2017-02-06 12:46
229
vectsp_7__932_31.min1.thm1
2017-02-06 12:46
1.4K
vectsp_7__933_32.min1.thm1
2017-02-06 12:46
1.3K
vectsp_7__937_22.min1.thm1
2017-02-06 12:46
782
vectsp_7__940_37.min1.thm1
2017-02-06 12:46
3.1K
vectsp_7__943_32.min1.thm1
2017-02-06 12:46
2.4K
vectsp_7__946_17.min1.thm1
2017-02-06 12:46
1.7K
vectsp_7__956_35.min1.thm1
2017-02-06 12:46
2.8K
vectsp_7__958_25.min1.thm1
2017-02-06 12:46
2.2K
vectsp_7__961_23.min1.thm1
2017-02-06 12:46
2.1K
vectsp_7__964_16.min1.thm1
2017-02-06 12:46
310
vectsp_7__966_13.min1.thm1
2017-02-06 12:46
2.0K
vectsp_7__968_21.min1.thm1
2017-02-06 12:46
2.5K
vectsp_7__970_18.min1.thm1
2017-02-06 12:46
1.3K
vectsp_7__971_23.min1.thm1
2017-02-06 12:46
624
vectsp_7__972_23.min1.thm1
2017-02-06 12:46
3.2K
vectsp_7__998_15.min1.thm1
2017-02-06 12:46
427
vectsp_7__998_15.min1.thm1.tptp
2017-02-06 16:46
372
vectsp_7__999_36.min1.thm1
2017-02-06 12:46
1.1K
vectsp_7__1000_21.min1.thm1
2017-02-06 12:46
865
vectsp_7__1002_36.min1.thm1
2017-02-06 12:46
405
vectsp_7__1002_36.min1.thm1.tptp
2017-02-06 16:46
327
vectsp_7__1013_46.min1.thm1
2017-02-06 12:46
715
vectsp_7__1020_19.min1.thm1
2017-02-06 12:46
698
vectsp_7__1021_26.min1.thm1
2017-02-06 12:46
2.0K
vectsp_7__1024_17.min1.thm1
2017-02-06 12:46
1.3K
vectsp_7__1025_38.min1.thm1
2017-02-06 12:46
1.2K
vectsp_7__1026_37.min1.thm1
2017-02-06 12:46
2.1K
vectsp_7__1030_18.min1.thm1
2017-02-06 12:46
590
vectsp_7__1031_29.min1.thm1
2017-02-06 12:46
2.5K
vectsp_7__1033_20.min1.thm1
2017-02-06 12:46
908
vectsp_7__1039_18.min1.thm1
2017-02-06 12:46
1.0K
vectsp_7__1041_31.min1.thm1
2017-02-06 12:46
853
vectsp_7__1042_36.min1.thm1
2017-02-06 12:46
786
vectsp_7__1043_17.min1.thm1
2017-02-06 12:46
1.3K
vectsp_7__1044_47.min1.thm1
2017-02-06 12:46
2.0K
vectsp_7__1045_20.min1.thm1
2017-02-06 12:46
383
vectsp_7__1050_31.min1.thm1
2017-02-06 12:46
583
vectsp_7__1050_31.min1.thm1.tptp
2017-02-06 16:46
502
vectsp_7__1051_37.min1.thm1
2017-02-06 12:46
520
vectsp_7__1052_33.min1.thm1
2017-02-06 12:46
528
vectsp_7__1054_16.min1.thm1
2017-02-06 12:46
954
vectsp_7__1055_26.min1.thm1
2017-02-06 12:46
876
vectsp_7__1056_26.min1.thm1
2017-02-06 12:46
521
vectsp_7__1056_26.min1.thm1.tptp
2017-02-06 16:46
440
vectsp_7__1060_34.min1.thm1
2017-02-06 12:46
1.4K
vectsp_7__1068_38.min1.thm1
2017-02-06 12:46
637
vectsp_7__1068_38.min1.thm1.tptp
2017-02-06 16:46
560
vectsp_7__1069_19.min1.thm1
2017-02-06 12:46
871
vectsp_7__1070_24.min1.thm1
2017-02-06 12:46
1.1K
vectsp_7__1073_19.min1.thm1
2017-02-06 12:46
1.2K
vectsp_7__1074_23.min1.thm1
2017-02-06 12:46
836
vectsp_7__1076_42.min1.thm1
2017-02-06 12:46
2.3K
vectsp_7__1085_15.min1.thm1
2017-02-06 12:46
501
vectsp_7__1086_59.min1.thm1
2017-02-06 12:46
1.3K
vectsp_7__1087_21.min1.thm1
2017-02-06 12:46
964
vectsp_7__1089_25.min1.thm1
2017-02-06 12:46
1.1K
vectsp_7__1091_30.min1.thm1
2017-02-06 12:46
385
vectsp_7__1092_17.min1.thm1
2017-02-06 12:46
2.5K
vectsp_7__1095_49.min1.thm1
2017-02-06 12:46
676
vectsp_7__1099_33.min1.thm1
2017-02-06 12:46
730
vectsp_7__1101_44.min1.thm1
2017-02-06 12:46
402
vectsp_7__1101_44.min1.thm1.tptp
2017-02-06 16:46
314
vectsp_7__1112_19.min1.thm1
2017-02-06 12:46
1.9K
vectsp_7__1118_44.min1.thm1
2017-02-06 12:46
2.1K
vectsp_7__1119_26.min1.thm1
2017-02-06 12:46
2.0K
vectsp_7__1120_27.min1.thm1
2017-02-06 12:46
1.3K
vectsp_7__1121_23.min1.thm1
2017-02-06 12:46
3.0K
vectsp_7__1123_53.min1.thm1
2017-02-06 12:46
2.4K
vectsp_7__1124_19.min1.thm1
2017-02-06 12:46
414
vectsp_7__1124_19.min1.thm1.tptp
2017-02-06 16:46
332
vectsp_7__1125_25.min1.thm1
2017-02-06 12:46
2.0K
vectsp_7__1133_20.min1.thm1
2017-02-06 12:46
488
vectsp_7__1140_15.min1.thm1
2017-02-06 12:46
317
vectsp_7__1152_10.min1.thm1
2017-02-06 12:46
2.1K
vectsp_7__1158_29.min1.thm1
2017-02-06 12:46
1.2K
vectsp_7__1164_35.min1.thm1
2017-02-06 12:46
2.8K
vectsp_7__1168_21.min1.thm1
2017-02-06 12:46
2.3K
vectsp_7__1169_22.min1.thm1
2017-02-06 12:46
1.3K
vectsp_7__1172_25.min1.thm1
2017-02-06 12:46
2.6K
vectsp_7__1174_55.min1.thm1
2017-02-06 12:46
1.8K
vectsp_7__1179_10.min1.thm1
2017-02-06 12:46
2.1K
vectsp_7__1183_24.min1.thm1
2017-02-06 12:46
2.2K
vectsp_7__1184_29.min1.thm1
2017-02-06 12:46
823
vectsp_7__1191_42.min1.thm1
2017-02-06 12:46
2.3K
vectsp_7__1192_23.min1.thm1
2017-02-06 12:46
862
vectsp_7__1193_25.min1.thm1
2017-02-06 12:46
2.1K
vectsp_7__1195_57.min1.thm1
2017-02-06 12:46
2.6K
vectsp_7__1196_31.min1.thm1
2017-02-06 12:46
2.6K
vectsp_7__1201_21.min1.thm1
2017-02-06 12:46
229
vectsp_7__1212_31.min1.thm1
2017-02-06 12:46
1.4K
vectsp_7__1213_32.min1.thm1
2017-02-06 12:46
1.3K
vectsp_7__1217_22.min1.thm1
2017-02-06 12:46
782
vectsp_7__1220_37.min1.thm1
2017-02-06 12:46
3.1K
vectsp_7__1223_32.min1.thm1
2017-02-06 12:46
2.4K
vectsp_7__1226_17.min1.thm1
2017-02-06 12:46
1.7K
vectsp_7__1236_35.min1.thm1
2017-02-06 12:46
2.8K
vectsp_7__1238_25.min1.thm1
2017-02-06 12:46
2.2K
vectsp_7__1241_23.min1.thm1
2017-02-06 12:46
2.1K
vectsp_7__1244_16.min1.thm1
2017-02-06 12:46
310
vectsp_7__1246_13.min1.thm1
2017-02-06 12:46
896
vectsp_7__1247_23.min1.thm1
2017-02-06 12:46
1.5K
vectsp_7__1249_21.min1.thm1
2017-02-06 12:46
3.2K
vectsp_7__1250_13.min1.thm1
2017-02-06 12:46
2.0K
vectsp_7__1252_21.min1.thm1
2017-02-06 12:46
2.5K
vectsp_7__1266_57.min1.thm1
2017-02-06 12:46
3.0K
vectsp_7__1267_16.min1.thm1
2017-02-06 12:46
872
vectsp_7__1279_62.min1.thm1
2017-02-06 12:46
2.2K
vectsp_7__1280_31.min1.thm1
2017-02-06 12:46
2.1K
vectsp_7__1282_16.min1.thm1
2017-02-06 12:46
310
vectsp_7__1282_16.min1.thm1.tptp
2017-02-06 16:46
224
vectsp_7__1293_45.min1.thm1
2017-02-06 12:46
2.0K
vectsp_7__1294_31.min1.thm1
2017-02-06 12:46
3.0K
vectsp_7__1296_16.min1.thm1
2017-02-06 12:46
310
vectsp_7__1296_16.min1.thm1.tptp
2017-02-06 16:46
224
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80