Index of /~mptp/7.13.01_4.181.1147/MPTP2/ilp0/vectsp_6
Name
Last modified
Size
Description
Parent Directory
-
vectsp_6__87_62.min1.thm1
2017-02-06 12:46
1.4K
vectsp_6__92_57.min1.thm1
2017-02-06 12:46
1.1K
vectsp_6__93_21.min1.thm1
2017-02-06 12:46
654
vectsp_6__93_21.min1.thm1.tptp
2017-02-06 16:46
587
vectsp_6__95_19.min1.thm1
2017-02-06 12:46
897
vectsp_6__100_49.min1.thm1
2017-02-06 12:46
1.4K
vectsp_6__110_36.min1.thm1
2017-02-06 12:46
1.9K
vectsp_6__114_14.min1.thm1
2017-02-06 12:46
1.9K
vectsp_6__131_52.min1.thm1
2017-02-06 12:46
1.2K
vectsp_6__135_48.min1.thm1
2017-02-06 12:46
286
vectsp_6__141_17.min1.thm1
2017-02-06 12:46
1.2K
vectsp_6__142_57.min1.thm1
2017-02-06 12:46
1.2K
vectsp_6__145_16.min1.thm1
2017-02-06 12:46
823
vectsp_6__150_75.min1.thm1
2017-02-06 12:46
1.7K
vectsp_6__157_43.min1.thm1
2017-02-06 12:46
366
vectsp_6__157_43.min1.thm1.tptp
2017-02-06 16:46
288
vectsp_6__160_59.min1.thm1
2017-02-06 12:46
1.1K
vectsp_6__165_58.min1.thm1
2017-02-06 12:46
1.1K
vectsp_6__177_42.min1.thm1
2017-02-06 12:46
2.2K
vectsp_6__178_14.min1.thm1
2017-02-06 12:46
2.1K
vectsp_6__191_22.min1.thm1
2017-02-06 12:46
824
vectsp_6__192_19.min1.thm1
2017-02-06 12:46
385
vectsp_6__192_19.min1.thm1.tptp
2017-02-06 16:46
302
vectsp_6__203_20.min1.thm1
2017-02-06 12:46
1.9K
vectsp_6__204_25.min1.thm1
2017-02-06 12:46
498
vectsp_6__205_17.min1.thm1
2017-02-06 12:46
2.1K
vectsp_6__211_38.min1.thm1
2017-02-06 12:46
1.7K
vectsp_6__212_17.min1.thm1
2017-02-06 12:46
1.9K
vectsp_6__219_21.min1.thm1
2017-02-06 12:46
2.0K
vectsp_6__220_22.min1.thm1
2017-02-06 12:46
865
vectsp_6__221_17.min1.thm1
2017-02-06 12:46
2.9K
vectsp_6__225_42.min1.thm1
2017-02-06 12:46
1.3K
vectsp_6__247_16.min1.thm1
2017-02-06 12:46
673
vectsp_6__248_24.min1.thm1
2017-02-06 12:46
1.3K
vectsp_6__249_41.min1.thm1
2017-02-06 12:46
1.8K
vectsp_6__250_30.min1.thm1
2017-02-06 12:46
1.3K
vectsp_6__253_59.min1.thm1
2017-02-06 12:46
685
vectsp_6__255_18.min1.thm1
2017-02-06 12:46
1.1K
vectsp_6__269_25.min1.thm1
2017-02-06 12:46
1.6K
vectsp_6__270_25.min1.thm1
2017-02-06 12:46
959
vectsp_6__272_31.min1.thm1
2017-02-06 12:46
1.0K
vectsp_6__273_20.min1.thm1
2017-02-06 12:46
1.3K
vectsp_6__274_26.min1.thm1
2017-02-06 12:46
1.2K
vectsp_6__286_17.min1.thm1
2017-02-06 12:46
1.0K
vectsp_6__295_66.min1.thm1
2017-02-06 12:46
2.7K
vectsp_6__296_8.min1.thm1
2017-02-06 12:46
940
vectsp_6__303_15.min1.thm1
2017-02-06 12:46
606
vectsp_6__304_38.min1.thm1
2017-02-06 12:46
3.0K
vectsp_6__305_11.min1.thm1
2017-02-06 12:46
2.2K
vectsp_6__306_34.min1.thm1
2017-02-06 12:46
3.8K
vectsp_6__308_28.min1.thm1
2017-02-06 12:46
2.4K
vectsp_6__309_17.min1.thm1
2017-02-06 12:46
2.2K
vectsp_6__317_11.min1.thm1
2017-02-06 12:46
2.1K
vectsp_6__320_15.min1.thm1
2017-02-06 12:46
819
vectsp_6__323_33.min1.thm1
2017-02-06 12:46
2.6K
vectsp_6__324_19.min1.thm1
2017-02-06 12:46
2.4K
vectsp_6__325_15.min1.thm1
2017-02-06 12:46
819
vectsp_6__327_33.min1.thm1
2017-02-06 12:46
2.6K
vectsp_6__328_19.min1.thm1
2017-02-06 12:46
2.4K
vectsp_6__339_17.min1.thm1
2017-02-06 12:46
1.0K
vectsp_6__345_17.min1.thm1
2017-02-06 12:46
1.0K
vectsp_6__351_17.min1.thm1
2017-02-06 12:46
1.0K
vectsp_6__366_42.min1.thm1
2017-02-06 12:46
2.7K
vectsp_6__369_15.min1.thm1
2017-02-06 12:46
1.2K
vectsp_6__383_21.min1.thm1
2017-02-06 12:46
1.0K
vectsp_6__394_31.min1.thm1
2017-02-06 12:46
674
vectsp_6__397_21.min1.thm1
2017-02-06 12:46
1.1K
vectsp_6__404_31.min1.thm1
2017-02-06 12:46
1.4K
vectsp_6__423_22.min1.thm1
2017-02-06 12:46
1.1K
vectsp_6__424_54.min1.thm1
2017-02-06 12:46
1.4K
vectsp_6__426_48.min1.thm1
2017-02-06 12:46
537
vectsp_6__427_15.min1.thm1
2017-02-06 12:46
347
vectsp_6__442_28.min1.thm1
2017-02-06 12:46
1.0K
vectsp_6__443_28.min1.thm1
2017-02-06 12:46
1.0K
vectsp_6__448_28.min1.thm1
2017-02-06 12:46
1.6K
vectsp_6__450_26.min1.thm1
2017-02-06 12:46
1.1K
vectsp_6__452_25.min1.thm1
2017-02-06 12:46
521
vectsp_6__452_25.min1.thm1.tptp
2017-02-06 16:46
456
vectsp_6__453_26.min1.thm1
2017-02-06 12:46
1.0K
vectsp_6__454_20.min1.thm1
2017-02-06 12:46
428
vectsp_6__460_29.min1.thm1
2017-02-06 12:46
869
vectsp_6__464_28.min1.thm1
2017-02-06 12:46
1.2K
vectsp_6__467_20.min1.thm1
2017-02-06 12:46
1.0K
vectsp_6__468_36.min1.thm1
2017-02-06 12:46
1.2K
vectsp_6__470_26.min1.thm1
2017-02-06 12:46
1.1K
vectsp_6__472_16.min1.thm1
2017-02-06 12:46
444
vectsp_6__472_16.min1.thm1.tptp
2017-02-06 16:46
370
vectsp_6__473_19.min1.thm1
2017-02-06 12:46
1.7K
vectsp_6__474_21.min1.thm1
2017-02-06 12:46
1.0K
vectsp_6__478_36.min1.thm1
2017-02-06 12:46
221
vectsp_6__486_21.min1.thm1
2017-02-06 12:46
2.2K
vectsp_6__488_30.min1.thm1
2017-02-06 12:46
614
vectsp_6__488_30.min1.thm1.tptp
2017-02-06 16:46
537
vectsp_6__489_21.min1.thm1
2017-02-06 12:46
2.2K
vectsp_6__490_29.min1.thm1
2017-02-06 12:46
1.6K
vectsp_6__492_26.min1.thm1
2017-02-06 12:46
468
vectsp_6__492_26.min1.thm1.tptp
2017-02-06 16:46
390
vectsp_6__493_24.min1.thm1
2017-02-06 12:46
1.6K
vectsp_6__495_26.min1.thm1
2017-02-06 12:46
469
vectsp_6__495_26.min1.thm1.tptp
2017-02-06 16:46
391
vectsp_6__496_30.min1.thm1
2017-02-06 12:46
615
vectsp_6__496_30.min1.thm1.tptp
2017-02-06 16:46
538
vectsp_6__497_31.min1.thm1
2017-02-06 12:46
1.7K
vectsp_6__499_22.min1.thm1
2017-02-06 12:46
565
vectsp_6__500_36.min1.thm1
2017-02-06 12:46
2.8K
vectsp_6__501_21.min1.thm1
2017-02-06 12:46
1.2K
vectsp_6__505_44.min1.thm1
2017-02-06 12:46
1.6K
vectsp_6__507_49.min1.thm1
2017-02-06 12:46
1.7K
vectsp_6__518_49.min1.thm1
2017-02-06 12:46
1.4K
vectsp_6__521_22.min1.thm1
2017-02-06 12:46
2.0K
vectsp_6__522_50.min1.thm1
2017-02-06 12:46
1.9K
vectsp_6__523_44.min1.thm1
2017-02-06 12:46
1.6K
vectsp_6__524_32.min1.thm1
2017-02-06 12:46
1.1K
vectsp_6__525_33.min1.thm1
2017-02-06 12:46
1.9K
vectsp_6__527_14.min1.thm1
2017-02-06 12:46
1.4K
vectsp_6__528_21.min1.thm1
2017-02-06 12:46
1.2K
vectsp_6__540_44.min1.thm1
2017-02-06 12:46
2.2K
vectsp_6__541_28.min1.thm1
2017-02-06 12:46
1.6K
vectsp_6__542_16.min1.thm1
2017-02-06 12:46
875
vectsp_6__543_16.min1.thm1
2017-02-06 12:46
1.0K
vectsp_6__565_26.min1.thm1
2017-02-06 12:46
2.4K
vectsp_6__566_27.min1.thm1
2017-02-06 12:46
2.9K
vectsp_6__568_21.min1.thm1
2017-02-06 12:46
1.9K
vectsp_6__579_30.min1.thm1
2017-02-06 12:46
2.4K
vectsp_6__580_68.min1.thm1
2017-02-06 12:46
1.1K
vectsp_6__585_22.min1.thm1
2017-02-06 12:46
1.1K
vectsp_6__588_28.min1.thm1
2017-02-06 12:46
1.7K
vectsp_6__590_23.min1.thm1
2017-02-06 12:46
1.2K
vectsp_6__591_23.min1.thm1
2017-02-06 12:46
1.2K
vectsp_6__600_24.min1.thm1
2017-02-06 12:46
1.2K
vectsp_6__605_26.min1.thm1
2017-02-06 12:46
1.1K
vectsp_6__606_20.min1.thm1
2017-02-06 12:46
2.4K
vectsp_6__609_21.min1.thm1
2017-02-06 12:46
593
vectsp_6__610_24.min1.thm1
2017-02-06 12:46
1.9K
vectsp_6__621_21.min1.thm1
2017-02-06 12:46
2.2K
vectsp_6__622_22.min1.thm1
2017-02-06 12:46
1.3K
vectsp_6__625_25.min1.thm1
2017-02-06 12:46
2.3K
vectsp_6__626_25.min1.thm1
2017-02-06 12:46
2.5K
vectsp_6__634_19.min1.thm1
2017-02-06 12:46
2.3K
vectsp_6__636_22.min1.thm1
2017-02-06 12:46
2.1K
vectsp_6__637_25.min1.thm1
2017-02-06 12:46
1.1K
vectsp_6__641_29.min1.thm1
2017-02-06 12:46
1.0K
vectsp_6__642_53.min1.thm1
2017-02-06 12:46
1.7K
vectsp_6__654_20.min1.thm1
2017-02-06 12:46
1.0K
vectsp_6__655_43.min1.thm1
2017-02-06 12:46
1.3K
vectsp_6__656_39.min1.thm1
2017-02-06 12:46
1.4K
vectsp_6__660_24.min1.thm1
2017-02-06 12:46
3.2K
vectsp_6__661_21.min1.thm1
2017-02-06 12:46
2.2K
vectsp_6__665_25.min1.thm1
2017-02-06 12:46
2.1K
vectsp_6__666_23.min1.thm1
2017-02-06 12:46
2.2K
vectsp_6__672_26.min1.thm1
2017-02-06 12:46
2.7K
vectsp_6__675_18.min1.thm1
2017-02-06 12:46
1.0K
vectsp_6__676_41.min1.thm1
2017-02-06 12:46
1.7K
vectsp_6__679_36.min1.thm1
2017-02-06 12:46
775
vectsp_6__681_30.min1.thm1
2017-02-06 12:46
2.1K
vectsp_6__682_27.min1.thm1
2017-02-06 12:46
1.8K
vectsp_6__689_25.min1.thm1
2017-02-06 12:46
1.1K
vectsp_6__690_23.min1.thm1
2017-02-06 12:46
1.3K
vectsp_6__692_36.min1.thm1
2017-02-06 12:46
2.6K
vectsp_6__693_26.min1.thm1
2017-02-06 12:46
2.9K
vectsp_6__698_36.min1.thm1
2017-02-06 12:46
665
vectsp_6__705_28.min1.thm1
2017-02-06 12:46
1.0K
vectsp_6__706_50.min1.thm1
2017-02-06 12:46
686
vectsp_6__709_23.min1.thm1
2017-02-06 12:46
1.0K
vectsp_6__710_36.min1.thm1
2017-02-06 12:46
666
vectsp_6__711_50.min1.thm1
2017-02-06 12:46
688
vectsp_6__714_17.min1.thm1
2017-02-06 12:46
2.1K
vectsp_6__716_23.min1.thm1
2017-02-06 12:46
1.2K
vectsp_6__717_16.min1.thm1
2017-02-06 12:46
1.3K
vectsp_6__722_44.min1.thm1
2017-02-06 12:46
3.3K
vectsp_6__723_19.min1.thm1
2017-02-06 12:46
1.1K
vectsp_6__724_31.min1.thm1
2017-02-06 12:46
2.0K
vectsp_6__726_23.min1.thm1
2017-02-06 12:46
2.2K
vectsp_6__727_15.min1.thm1
2017-02-06 12:46
1.5K
vectsp_6__729_20.min1.thm1
2017-02-06 12:46
742
vectsp_6__730_24.min1.thm1
2017-02-06 12:46
949
vectsp_6__739_40.min1.thm1
2017-02-06 12:46
273
vectsp_6__741_19.min1.thm1
2017-02-06 12:46
2.2K
vectsp_6__745_15.min1.thm1
2017-02-06 12:46
2.2K
vectsp_6__746_64.min1.thm1
2017-02-06 12:46
2.1K
vectsp_6__748_16.min1.thm1
2017-02-06 12:46
620
vectsp_6__748_16.min1.thm1.tptp
2017-02-06 16:46
541
vectsp_6__755_15.min1.thm1
2017-02-06 12:46
231
vectsp_6__758_23.min1.thm1
2017-02-06 12:46
1.9K
vectsp_6__772_24.min1.thm1
2017-02-06 12:46
2.1K
vectsp_6__773_29.min1.thm1
2017-02-06 12:46
826
vectsp_6__784_23.min1.thm1
2017-02-06 12:46
2.2K
vectsp_6__785_20.min1.thm1
2017-02-06 12:46
930
vectsp_6__786_27.min1.thm1
2017-02-06 12:46
2.2K
vectsp_6__790_23.min1.thm1
2017-02-06 12:46
2.1K
vectsp_6__793_19.min1.thm1
2017-02-06 12:46
912
vectsp_6__794_55.min1.thm1
2017-02-06 12:46
1.9K
vectsp_6__797_32.min1.thm1
2017-02-06 12:46
2.1K
vectsp_6__798_22.min1.thm1
2017-02-06 12:46
2.9K
vectsp_6__801_23.min1.thm1
2017-02-06 12:46
742
vectsp_6__804_16.min1.thm1
2017-02-06 12:46
376
vectsp_6__813_15.min1.thm1
2017-02-06 12:46
209
vectsp_6__816_36.min1.thm1
2017-02-06 12:46
1.5K
vectsp_6__817_35.min1.thm1
2017-02-06 12:46
1.5K
vectsp_6__833_33.min1.thm1
2017-02-06 12:46
2.1K
vectsp_6__834_29.min1.thm1
2017-02-06 12:46
906
vectsp_6__844_34.min1.thm1
2017-02-06 12:46
952
vectsp_6__845_27.min1.thm1
2017-02-06 12:46
2.0K
vectsp_6__849_32.min1.thm1
2017-02-06 12:46
2.0K
vectsp_6__854_38.min1.thm1
2017-02-06 12:46
1.5K
vectsp_6__855_50.min1.thm1
2017-02-06 12:46
1.7K
vectsp_6__858_32.min1.thm1
2017-02-06 12:46
2.1K
vectsp_6__863_23.min1.thm1
2017-02-06 12:46
710
vectsp_6__866_16.min1.thm1
2017-02-06 12:46
344
vectsp_6__868_16.min1.thm1
2017-02-06 12:46
599
vectsp_6__872_25.min1.thm1
2017-02-06 12:46
1.0K
vectsp_6__878_18.min1.thm1
2017-02-06 12:46
1.6K
vectsp_6__886_24.min1.thm1
2017-02-06 12:46
2.3K
vectsp_6__888_16.min1.thm1
2017-02-06 12:46
2.0K
vectsp_6__894_22.min1.thm1
2017-02-06 12:46
1.8K
vectsp_6__901_30.min1.thm1
2017-02-06 12:46
3.0K
vectsp_6__902_20.min1.thm1
2017-02-06 12:46
2.6K
vectsp_6__907_14.min1.thm1
2017-02-06 12:46
604
vectsp_6__917_28.min1.thm1
2017-02-06 12:46
2.7K
vectsp_6__919_16.min1.thm1
2017-02-06 12:46
2.6K
vectsp_6__923_22.min1.thm1
2017-02-06 12:46
3.3K
vectsp_6__925_23.min1.thm1
2017-02-06 12:46
1.9K
vectsp_6__927_35.min1.thm1
2017-02-06 12:46
2.0K
vectsp_6__933_60.min1.thm1
2017-02-06 12:46
2.8K
vectsp_6__934_29.min1.thm1
2017-02-06 12:46
1.9K
vectsp_6__935_26.min1.thm1
2017-02-06 12:46
339
vectsp_6__942_60.min1.thm1
2017-02-06 12:46
2.8K
vectsp_6__943_29.min1.thm1
2017-02-06 12:46
1.9K
vectsp_6__944_26.min1.thm1
2017-02-06 12:46
339
vectsp_6__960_14.min1.thm1
2017-02-06 12:46
1.0K
vectsp_6__967_23.min1.thm1
2017-02-06 12:46
2.6K
vectsp_6__975_40.min1.thm1
2017-02-06 12:46
2.2K
vectsp_6__985_39.min1.thm1
2017-02-06 12:46
2.1K
vectsp_6__1014_34.min1.thm1
2017-02-06 12:46
2.2K
vectsp_6__1016_17.min1.thm1
2017-02-06 12:46
2.0K
vectsp_6__1018_29.min1.thm1
2017-02-06 12:46
2.1K
vectsp_6__1020_17.min1.thm1
2017-02-06 12:46
2.0K
vectsp_6__1023_16.min1.thm1
2017-02-06 12:46
1.3K
vectsp_6__1050_64.min1.thm1
2017-02-06 12:46
2.3K
vectsp_6__1059_45.min1.thm1
2017-02-06 12:46
2.1K
vectsp_6__1061_38.min1.thm1
2017-02-06 12:46
2.1K
vectsp_6__1063_32.min1.thm1
2017-02-06 12:46
929
vectsp_6__1092_22.min1.thm1
2017-02-06 12:46
1.9K
vectsp_6__1113_21.min1.thm1
2017-02-06 12:46
2.0K
vectsp_6__1114_29.min1.thm1
2017-02-06 12:46
1.0K
vectsp_6__1115_18.min1.thm1
2017-02-06 12:46
1.0K
vectsp_6__1120_18.min1.thm1
2017-02-06 12:46
968
vectsp_6__1130_26.min1.thm1
2017-02-06 12:46
810
vectsp_6__1130_26.min1.thm1.tptp
2017-02-06 16:46
733
vectsp_6__1131_16.min1.thm1
2017-02-06 12:46
810
vectsp_6__1131_16.min1.thm1.tptp
2017-02-06 16:46
733
vectsp_6__1146_21.min1.thm1
2017-02-06 12:46
2.1K
vectsp_6__1148_23.min1.thm1
2017-02-06 12:46
1.6K
vectsp_6__1149_19.min1.thm1
2017-02-06 12:46
2.0K
vectsp_6__1172_23.min1.thm1
2017-02-06 12:46
2.3K
vectsp_6__1174_25.min1.thm1
2017-02-06 12:46
2.6K
vectsp_6__1175_21.min1.thm1
2017-02-06 12:46
2.1K
vectsp_6__1181_15.min1.thm1
2017-02-06 12:46
2.0K
vectsp_6__1195_21.min1.thm1
2017-02-06 12:46
1.6K
vectsp_6__1203_22.min1.thm1
2017-02-06 12:46
1.9K
vectsp_6__1204_33.min1.thm1
2017-02-06 12:46
1.8K
vectsp_6__1205_29.min1.thm1
2017-02-06 12:46
723
vectsp_6__1206_17.min1.thm1
2017-02-06 12:46
2.5K
vectsp_6__1271_42.min1.thm1
2017-02-06 12:46
1.2K
vectsp_6__1273_25.min1.thm1
2017-02-06 12:46
1.2K
vectsp_6__1274_20.min1.thm1
2017-02-06 12:46
1.5K
vectsp_6__1275_13.min1.thm1
2017-02-06 12:46
1.2K
vectsp_6__1292_14.min1.thm1
2017-02-06 12:46
1.6K
vectsp_6__1301_23.min1.thm1
2017-02-06 12:46
1.3K
vectsp_6__1309_17.min1.thm1
2017-02-06 12:46
2.1K
vectsp_6__1319_11.min1.thm1
2017-02-06 12:46
2.2K
vectsp_6__1334_17.min1.thm1
2017-02-06 12:46
2.1K
vectsp_6__1354_21.min1.thm1
2017-02-06 12:46
1.6K
vectsp_6__1386_31.min1.thm1
2017-02-06 12:46
2.0K
vectsp_6__1400_32.min1.thm1
2017-02-06 12:46
516
vectsp_6__1410_32.min1.thm1
2017-02-06 12:46
514
vectsp_6__1422_26.min1.thm1
2017-02-06 12:46
870
vectsp_6__1428_21.min1.thm1
2017-02-06 12:46
2.3K
vectsp_6__1430_32.min1.thm1
2017-02-06 12:46
1.5K
vectsp_6__1432_40.min1.thm1
2017-02-06 12:46
1.5K
vectsp_6__1433_16.min1.thm1
2017-02-06 12:46
2.0K
vectsp_6__1434_25.min1.thm1
2017-02-06 12:46
714
vectsp_6__1434_25.min1.thm1.tptp
2017-02-06 16:46
632
vectsp_6__1442_15.min1.thm1
2017-02-06 12:46
636
vectsp_6__1443_37.min1.thm1
2017-02-06 12:46
850
vectsp_6__1445_26.min1.thm1
2017-02-06 12:46
2.3K
vectsp_6__1447_32.min1.thm1
2017-02-06 12:46
1.5K
vectsp_6__1448_25.min1.thm1
2017-02-06 12:46
1.1K
vectsp_6__1449_19.min1.thm1
2017-02-06 12:46
1.8K
vectsp_6__1457_25.min1.thm1
2017-02-06 12:46
756
vectsp_6__1458_26.min1.thm1
2017-02-06 12:46
626
vectsp_6__1459_21.min1.thm1
2017-02-06 12:46
1.3K
vectsp_6__1464_22.min1.thm1
2017-02-06 12:46
752
vectsp_6__1475_24.min1.thm1
2017-02-06 12:46
2.6K
vectsp_6__1478_18.min1.thm1
2017-02-06 12:46
1.4K
vectsp_6__1479_24.min1.thm1
2017-02-06 12:46
2.2K
vectsp_6__1480_26.min1.thm1
2017-02-06 12:46
1.6K
vectsp_6__1481_13.min1.thm1
2017-02-06 12:46
694
vectsp_6__1482_19.min1.thm1
2017-02-06 12:46
878
vectsp_6__1485_22.min1.thm1
2017-02-06 12:46
662
vectsp_6__1491_22.min1.thm1
2017-02-06 12:46
1.0K
vectsp_6__1492_22.min1.thm1
2017-02-06 12:46
1.9K
vectsp_6__1501_13.min1.thm1
2017-02-06 12:46
2.7K
vectsp_6__1507_22.min1.thm1
2017-02-06 12:46
1.0K
vectsp_6__1508_22.min1.thm1
2017-02-06 12:46
1.7K
vectsp_6__1517_13.min1.thm1
2017-02-06 12:46
2.7K
vectsp_6__1523_22.min1.thm1
2017-02-06 12:46
1.0K
vectsp_6__1524_22.min1.thm1
2017-02-06 12:46
1.7K
vectsp_6__1533_13.min1.thm1
2017-02-06 12:46
2.7K
vectsp_6__1542_31.min1.thm1
2017-02-06 12:46
2.0K
vectsp_6__1548_32.min1.thm1
2017-02-06 12:46
518
vectsp_6__1564_26.min1.thm1
2017-02-06 12:46
870
vectsp_6__1570_21.min1.thm1
2017-02-06 12:46
2.4K
vectsp_6__1572_32.min1.thm1
2017-02-06 12:46
1.5K
vectsp_6__1574_40.min1.thm1
2017-02-06 12:46
1.5K
vectsp_6__1575_16.min1.thm1
2017-02-06 12:46
2.0K
vectsp_6__1576_25.min1.thm1
2017-02-06 12:46
723
vectsp_6__1576_25.min1.thm1.tptp
2017-02-06 16:46
641
vectsp_6__1584_15.min1.thm1
2017-02-06 12:46
640
vectsp_6__1585_37.min1.thm1
2017-02-06 12:46
854
vectsp_6__1587_26.min1.thm1
2017-02-06 12:46
2.3K
vectsp_6__1589_32.min1.thm1
2017-02-06 12:46
1.5K
vectsp_6__1590_25.min1.thm1
2017-02-06 12:46
1.1K
vectsp_6__1591_19.min1.thm1
2017-02-06 12:46
1.8K
vectsp_6__1599_25.min1.thm1
2017-02-06 12:46
760
vectsp_6__1600_26.min1.thm1
2017-02-06 12:46
630
vectsp_6__1601_21.min1.thm1
2017-02-06 12:46
1.3K
vectsp_6__1606_22.min1.thm1
2017-02-06 12:46
756
vectsp_6__1617_24.min1.thm1
2017-02-06 12:46
2.6K
vectsp_6__1620_18.min1.thm1
2017-02-06 12:46
1.4K
vectsp_6__1621_24.min1.thm1
2017-02-06 12:46
2.2K
vectsp_6__1622_26.min1.thm1
2017-02-06 12:46
1.6K
vectsp_6__1623_13.min1.thm1
2017-02-06 12:46
695
vectsp_6__1624_19.min1.thm1
2017-02-06 12:46
884
vectsp_6__1627_22.min1.thm1
2017-02-06 12:46
662
vectsp_6__1637_23.min1.thm1
2017-02-06 12:46
862
vectsp_6__1640_23.min1.thm1
2017-02-06 12:46
862
vectsp_6__1641_47.min1.thm1
2017-02-06 12:46
1.2K
vectsp_6__1643_42.min1.thm1
2017-02-06 12:46
2.2K
vectsp_6__1646_43.min1.thm1
2017-02-06 12:46
2.1K
vectsp_6__1646_43.min1.thm1.tptp
2017-02-06 16:46
2.0K
vectsp_6__1649_47.min1.thm1
2017-02-06 12:46
1.2K
vectsp_6__1651_42.min1.thm1
2017-02-06 12:46
2.2K
vectsp_6__1654_43.min1.thm1
2017-02-06 12:46
2.5K
vectsp_6__1654_43.min1.thm1.tptp
2017-02-06 16:46
2.4K
vectsp_6__1663_26.min1.thm1
2017-02-06 12:46
868
vectsp_6__1665_68.min1.thm1
2017-02-06 12:46
1.3K
vectsp_6__1672_15.min1.thm1
2017-02-06 12:46
640
vectsp_6__1673_37.min1.thm1
2017-02-06 12:46
854
vectsp_6__1674_25.min1.thm1
2017-02-06 12:46
1.3K
vectsp_6__1677_57.min1.thm1
2017-02-06 12:46
663
vectsp_6__1683_43.min1.thm1
2017-02-06 12:46
1.5K
vectsp_6__1684_19.min1.thm1
2017-02-06 12:46
1.4K
vectsp_6__1686_25.min1.thm1
2017-02-06 12:46
1.4K
vectsp_6__1689_18.min1.thm1
2017-02-06 12:46
1.2K
vectsp_6__1693_24.min1.thm1
2017-02-06 12:46
2.3K
vectsp_6__1694_48.min1.thm1
2017-02-06 12:46
2.2K
vectsp_6__1697_19.min1.thm1
2017-02-06 12:46
1.2K
vectsp_6__1698_17.min1.thm1
2017-02-06 12:46
1.4K
vectsp_6__1700_24.min1.thm1
2017-02-06 12:46
2.9K
vectsp_6__1701_48.min1.thm1
2017-02-06 12:46
2.5K
vectsp_6__1702_19.min1.thm1
2017-02-06 12:46
1.2K
vectsp_6__1703_17.min1.thm1
2017-02-06 12:46
1.4K
vectsp_6__1704_20.min1.thm1
2017-02-06 12:46
1.3K
vectsp_6__1707_20.min1.thm1
2017-02-06 12:46
1.5K
vectsp_6__1715_23.min1.thm1
2017-02-06 12:46
4.6K
vectsp_6__1717_45.min1.thm1
2017-02-06 12:46
1.3K
vectsp_6__1730_11.min1.thm1
2017-02-06 12:46
223
vectsp_6__1741_28.min1.thm1
2017-02-06 12:46
2.1K
vectsp_6__1749_31.min1.thm1
2017-02-06 12:46
2.0K
vectsp_6__1756_16.min1.thm1
2017-02-06 12:46
673
vectsp_6__1757_39.min1.thm1
2017-02-06 12:46
881
vectsp_6__1758_24.min1.thm1
2017-02-06 12:46
1.4K
vectsp_6__1759_24.min1.thm1
2017-02-06 12:46
1.2K
vectsp_6__1760_26.min1.thm1
2017-02-06 12:46
1.5K
vectsp_6__1762_31.min1.thm1
2017-02-06 12:46
1.0K
vectsp_6__1763_25.min1.thm1
2017-02-06 12:46
1.0K
vectsp_6__1764_26.min1.thm1
2017-02-06 12:46
1.2K
vectsp_6__1765_21.min1.thm1
2017-02-06 12:46
1.3K
vectsp_6__1772_31.min1.thm1
2017-02-06 12:46
1.3K
vectsp_6__1773_27.min1.thm1
2017-02-06 12:46
790
vectsp_6__1774_28.min1.thm1
2017-02-06 12:46
663
vectsp_6__1775_33.min1.thm1
2017-02-06 12:46
1.0K
vectsp_6__1776_23.min1.thm1
2017-02-06 12:46
1.0K
vectsp_6__1781_24.min1.thm1
2017-02-06 12:46
786
vectsp_6__1782_25.min1.thm1
2017-02-06 12:46
1.3K
vectsp_6__1784_25.min1.thm1
2017-02-06 12:46
784
vectsp_6__1789_48.min1.thm1
2017-02-06 12:46
1.7K
vectsp_6__1790_21.min1.thm1
2017-02-06 12:46
1.6K
vectsp_6__1792_31.min1.thm1
2017-02-06 12:46
1.0K
vectsp_6__1793_24.min1.thm1
2017-02-06 12:46
1.3K
vectsp_6__1794_38.min1.thm1
2017-02-06 12:46
1.1K
vectsp_6__1795_17.min1.thm1
2017-02-06 12:46
1.1K
vectsp_6__1796_25.min1.thm1
2017-02-06 12:46
534
vectsp_6__1796_25.min1.thm1.tptp
2017-02-06 16:46
452
vectsp_6__1806_24.min1.thm1
2017-02-06 12:46
1.4K
vectsp_6__1808_24.min1.thm1
2017-02-06 12:46
1.3K
vectsp_6__1809_19.min1.thm1
2017-02-06 12:46
930
vectsp_6__1810_23.min1.thm1
2017-02-06 12:46
1.0K
vectsp_6__1811_24.min1.thm1
2017-02-06 12:46
1.3K
vectsp_6__1812_27.min1.thm1
2017-02-06 12:46
1.0K
vectsp_6__1813_15.min1.thm1
2017-02-06 12:46
612
vectsp_6__1814_21.min1.thm1
2017-02-06 12:46
1.4K
vectsp_6__1817_26.min1.thm1
2017-02-06 12:46
554
vectsp_6__1818_26.min1.thm1
2017-02-06 12:46
784
vectsp_6__1820_23.min1.thm1
2017-02-06 12:46
809
vectsp_6__1821_56.min1.thm1
2017-02-06 12:46
1.0K
vectsp_6__1823_48.min1.thm1
2017-02-06 12:46
1.8K
vectsp_6__1826_45.min1.thm1
2017-02-06 12:46
1.9K
vectsp_6__1826_45.min1.thm1.tptp
2017-02-06 16:46
1.8K
vectsp_6__1839_19.min1.thm1
2017-02-06 12:46
2.9K
vectsp_6__1840_19.min1.thm1
2017-02-06 12:46
1.9K
vectsp_6__1841_26.min1.thm1
2017-02-06 12:46
1.0K
vectsp_6__1842_36.min1.thm1
2017-02-06 12:46
1.6K
vectsp_6__1844_28.min1.thm1
2017-02-06 12:46
1.0K
vectsp_6__1845_57.min1.thm1
2017-02-06 12:46
1.3K
vectsp_6__1846_19.min1.thm1
2017-02-06 12:46
1.1K
vectsp_6__1847_21.min1.thm1
2017-02-06 12:46
2.6K
vectsp_6__1848_17.min1.thm1
2017-02-06 12:46
2.1K
vectsp_6__1849_18.min1.thm1
2017-02-06 12:46
1.3K
vectsp_6__1850_24.min1.thm1
2017-02-06 12:46
1.6K
vectsp_6__1854_28.min1.thm1
2017-02-06 12:46
2.2K
vectsp_6__1866_15.min1.thm1
2017-02-06 12:46
1.5K
vectsp_6__1867_22.min1.thm1
2017-02-06 12:46
2.3K
vectsp_6__1876_13.min1.thm1
2017-02-06 12:46
1.4K
vectsp_6__1884_31.min1.thm1
2017-02-06 12:46
1.8K
vectsp_6__1893_23.min1.thm1
2017-02-06 12:46
716
vectsp_6__1896_44.min1.thm1
2017-02-06 12:46
710
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80