Index of /~mptp/1147/MPTP2/ilp0/rlvect_2
Name
Last modified
Size
Description
Parent Directory
-
rlvect_2__62_14.min1.thm1
2017-02-06 12:46
509
rlvect_2__67_4.min1.thm1
2017-02-06 12:46
467
rlvect_2__67_4.min1.thm1.tptp
2017-02-06 16:47
431
rlvect_2__93_19.min1.thm1
2017-02-06 12:46
1.3K
rlvect_2__95_26.min1.thm1
2017-02-06 12:46
1.9K
rlvect_2__99_25.min1.thm1
2017-02-06 12:46
2.1K
rlvect_2__102_26.min1.thm1
2017-02-06 12:46
2.1K
rlvect_2__104_30.min1.thm1
2017-02-06 12:46
2.1K
rlvect_2__106_64.min1.thm1
2017-02-06 12:46
1.7K
rlvect_2__107_35.min1.thm1
2017-02-06 12:46
2.3K
rlvect_2__108_26.min1.thm1
2017-02-06 12:46
2.3K
rlvect_2__109_17.min1.thm1
2017-02-06 12:46
1.5K
rlvect_2__113_22.min1.thm1
2017-02-06 12:46
1.3K
rlvect_2__122_23.min1.thm1
2017-02-06 12:46
1.3K
rlvect_2__124_23.min1.thm1
2017-02-06 12:46
1.0K
rlvect_2__128_19.min1.thm1
2017-02-06 12:46
1.3K
rlvect_2__134_20.min1.thm1
2017-02-06 12:46
1.7K
rlvect_2__137_25.min1.thm1
2017-02-06 12:46
1.7K
rlvect_2__145_22.min1.thm1
2017-02-06 12:46
1.3K
rlvect_2__148_37.min1.thm1
2017-02-06 12:46
1.8K
rlvect_2__162_20.min1.thm1
2017-02-06 12:46
915
rlvect_2__163_34.min1.thm1
2017-02-06 12:46
1.1K
rlvect_2__183_15.min1.thm1
2017-02-06 12:46
1.6K
rlvect_2__184_24.min1.thm1
2017-02-06 12:46
1.0K
rlvect_2__207_20.min1.thm1
2017-02-06 12:46
1.6K
rlvect_2__208_22.min1.thm1
2017-02-06 12:46
1.0K
rlvect_2__229_22.min1.thm1
2017-02-06 12:46
1.5K
rlvect_2__231_67.min1.thm1
2017-02-06 12:46
2.0K
rlvect_2__240_37.min1.thm1
2017-02-06 12:46
802
rlvect_2__241_17.min1.thm1
2017-02-06 12:46
1.0K
rlvect_2__242_41.min1.thm1
2017-02-06 12:46
1.3K
rlvect_2__243_13.min1.thm1
2017-02-06 12:46
780
rlvect_2__244_16.min1.thm1
2017-02-06 12:46
931
rlvect_2__246_57.min1.thm1
2017-02-06 12:46
644
rlvect_2__253_18.min1.thm1
2017-02-06 12:46
1.5K
rlvect_2__254_29.min1.thm1
2017-02-06 12:46
823
rlvect_2__283_69.min1.thm1
2017-02-06 12:46
807
rlvect_2__288_25.min1.thm1
2017-02-06 12:46
1.3K
rlvect_2__292_31.min1.thm1
2017-02-06 12:46
1.6K
rlvect_2__295_26.min1.thm1
2017-02-06 12:46
1.4K
rlvect_2__297_24.min1.thm1
2017-02-06 12:46
1.2K
rlvect_2__298_43.min1.thm1
2017-02-06 12:46
244
rlvect_2__300_25.min1.thm1
2017-02-06 12:46
2.4K
rlvect_2__301_27.min1.thm1
2017-02-06 12:46
1.9K
rlvect_2__303_31.min1.thm1
2017-02-06 12:46
2.3K
rlvect_2__307_22.min1.thm1
2017-02-06 12:46
1.9K
rlvect_2__311_18.min1.thm1
2017-02-06 12:46
1.0K
rlvect_2__312_41.min1.thm1
2017-02-06 12:46
567
rlvect_2__313_47.min1.thm1
2017-02-06 12:46
271
rlvect_2__325_39.min1.thm1
2017-02-06 12:46
825
rlvect_2__326_15.min1.thm1
2017-02-06 12:46
1.0K
rlvect_2__328_19.min1.thm1
2017-02-06 12:46
1.2K
rlvect_2__329_16.min1.thm1
2017-02-06 12:46
1.0K
rlvect_2__333_28.min1.thm1
2017-02-06 12:46
869
rlvect_2__334_21.min1.thm1
2017-02-06 12:46
1.3K
rlvect_2__336_60.min1.thm1
2017-02-06 12:46
667
rlvect_2__337_71.min1.thm1
2017-02-06 12:46
652
rlvect_2__341_18.min1.thm1
2017-02-06 12:46
1.5K
rlvect_2__343_27.min1.thm1
2017-02-06 12:46
1.6K
rlvect_2__350_28.min1.thm1
2017-02-06 12:46
2.6K
rlvect_2__355_45.min1.thm1
2017-02-06 12:46
443
rlvect_2__359_23.min1.thm1
2017-02-06 12:46
504
rlvect_2__361_18.min1.thm1
2017-02-06 12:46
509
rlvect_2__370_19.min1.thm1
2017-02-06 12:46
2.0K
rlvect_2__379_24.min1.thm1
2017-02-06 12:46
1.1K
rlvect_2__383_30.min1.thm1
2017-02-06 12:46
1.8K
rlvect_2__388_24.min1.thm1
2017-02-06 12:46
1.5K
rlvect_2__389_29.min1.thm1
2017-02-06 12:46
2.6K
rlvect_2__390_23.min1.thm1
2017-02-06 12:46
2.5K
rlvect_2__398_15.min1.thm1
2017-02-06 12:46
2.6K
rlvect_2__399_48.min1.thm1
2017-02-06 12:46
1.1K
rlvect_2__411_39.min1.thm1
2017-02-06 12:46
825
rlvect_2__413_17.min1.thm1
2017-02-06 12:46
340
rlvect_2__416_28.min1.thm1
2017-02-06 12:46
1.1K
rlvect_2__417_22.min1.thm1
2017-02-06 12:46
1.4K
rlvect_2__424_28.min1.thm1
2017-02-06 12:46
1.2K
rlvect_2__430_24.min1.thm1
2017-02-06 12:46
1.1K
rlvect_2__433_24.min1.thm1
2017-02-06 12:46
1.1K
rlvect_2__436_24.min1.thm1
2017-02-06 12:46
1.6K
rlvect_2__440_18.min1.thm1
2017-02-06 12:46
304
rlvect_2__463_17.min1.thm1
2017-02-06 12:46
462
rlvect_2__467_21.min1.thm1
2017-02-06 12:46
346
rlvect_2__471_29.min1.thm1
2017-02-06 12:46
2.1K
rlvect_2__475_23.min1.thm1
2017-02-06 12:46
1.1K
rlvect_2__476_49.min1.thm1
2017-02-06 12:46
1.6K
rlvect_2__480_29.min1.thm1
2017-02-06 12:46
1.5K
rlvect_2__487_25.min1.thm1
2017-02-06 12:46
1.1K
rlvect_2__490_32.min1.thm1
2017-02-06 12:46
1.3K
rlvect_2__491_37.min1.thm1
2017-02-06 12:46
2.5K
rlvect_2__492_40.min1.thm1
2017-02-06 12:46
1.3K
rlvect_2__495_29.min1.thm1
2017-02-06 12:46
2.0K
rlvect_2__498_22.min1.thm1
2017-02-06 12:46
498
rlvect_2__502_19.min1.thm1
2017-02-06 12:46
1.1K
rlvect_2__503_45.min1.thm1
2017-02-06 12:46
1.6K
rlvect_2__507_25.min1.thm1
2017-02-06 12:46
1.5K
rlvect_2__511_22.min1.thm1
2017-02-06 12:46
1.8K
rlvect_2__516_33.min1.thm1
2017-02-06 12:46
2.7K
rlvect_2__520_33.min1.thm1
2017-02-06 12:46
1.3K
rlvect_2__521_36.min1.thm1
2017-02-06 12:46
1.2K
rlvect_2__524_25.min1.thm1
2017-02-06 12:46
1.9K
rlvect_2__527_18.min1.thm1
2017-02-06 12:46
486
rlvect_2__532_35.min1.thm1
2017-02-06 12:46
2.6K
rlvect_2__545_38.min1.thm1
2017-02-06 12:46
1.9K
rlvect_2__550_21.min1.thm1
2017-02-06 12:46
353
rlvect_2__550_21.min1.thm1.tptp
2017-02-06 16:47
288
rlvect_2__554_20.min1.thm1
2017-02-06 12:46
1.3K
rlvect_2__557_38.min1.thm1
2017-02-06 12:46
1.2K
rlvect_2__571_17.min1.thm1
2017-02-06 12:46
1.0K
rlvect_2__615_26.min1.thm1
2017-02-06 12:46
2.6K
rlvect_2__617_31.min1.thm1
2017-02-06 12:46
1.9K
rlvect_2__622_18.min1.thm1
2017-02-06 12:46
238
rlvect_2__624_48.min1.thm1
2017-02-06 12:46
2.0K
rlvect_2__626_17.min1.thm1
2017-02-06 12:46
2.2K
rlvect_2__627_52.min1.thm1
2017-02-06 12:46
1.7K
rlvect_2__637_17.min1.thm1
2017-02-06 12:46
343
rlvect_2__647_29.min1.thm1
2017-02-06 12:46
1.3K
rlvect_2__650_24.min1.thm1
2017-02-06 12:46
1.3K
rlvect_2__655_29.min1.thm1
2017-02-06 12:46
1.1K
rlvect_2__656_24.min1.thm1
2017-02-06 12:46
1.7K
rlvect_2__661_27.min1.thm1
2017-02-06 12:46
1.3K
rlvect_2__674_25.min1.thm1
2017-02-06 12:46
540
rlvect_2__683_27.min1.thm1
2017-02-06 12:46
340
rlvect_2__693_20.min1.thm1
2017-02-06 12:46
821
rlvect_2__694_19.min1.thm1
2017-02-06 12:46
1.9K
rlvect_2__727_22.min1.thm1
2017-02-06 12:46
523
rlvect_2__727_22.min1.thm1.tptp
2017-02-06 16:47
466
rlvect_2__728_54.min1.thm1
2017-02-06 12:46
877
rlvect_2__731_18.min1.thm1
2017-02-06 12:46
1.1K
rlvect_2__741_37.min1.thm1
2017-02-06 12:46
622
rlvect_2__751_21.min1.thm1
2017-02-06 12:46
1.3K
rlvect_2__752_45.min1.thm1
2017-02-06 12:46
2.3K
rlvect_2__753_17.min1.thm1
2017-02-06 12:46
2.2K
rlvect_2__765_32.min1.thm1
2017-02-06 12:46
1.2K
rlvect_2__780_35.min1.thm1
2017-02-06 12:46
1.4K
rlvect_2__799_22.min1.thm1
2017-02-06 12:46
1.2K
rlvect_2__803_22.min1.thm1
2017-02-06 12:46
1.2K
rlvect_2__856_21.min1.thm1
2017-02-06 12:46
577
rlvect_2__858_25.min1.thm1
2017-02-06 12:46
1.3K
rlvect_2__859_26.min1.thm1
2017-02-06 12:46
1.2K
rlvect_2__861_49.min1.thm1
2017-02-06 12:46
1.5K
rlvect_2__873_25.min1.thm1
2017-02-06 12:46
1.0K
rlvect_2__887_47.min1.thm1
2017-02-06 12:46
1.7K
rlvect_2__888_35.min1.thm1
2017-02-06 12:46
1.4K
rlvect_2__908_18.min1.thm1
2017-02-06 12:46
2.4K
rlvect_2__926_22.min1.thm1
2017-02-06 12:46
1.2K
rlvect_2__935_14.min1.thm1
2017-02-06 12:46
767
rlvect_2__950_24.min1.thm1
2017-02-06 12:46
1.5K
rlvect_2__955_51.min1.thm1
2017-02-06 12:46
1.0K
rlvect_2__964_54.min1.thm1
2017-02-06 12:46
1.0K
rlvect_2__972_36.min1.thm1
2017-02-06 12:46
662
rlvect_2__990_21.min1.thm1
2017-02-06 12:46
599
rlvect_2__990_21.min1.thm1.tptp
2017-02-06 16:47
532
rlvect_2__992_16.min1.thm1
2017-02-06 12:46
652
rlvect_2__1021_8.min1.thm1
2017-02-06 12:46
1.3K
rlvect_2__1025_52.min1.thm1
2017-02-06 12:46
1.0K
rlvect_2__1029_48.min1.thm1
2017-02-06 12:46
262
rlvect_2__1035_17.min1.thm1
2017-02-06 12:46
1.0K
rlvect_2__1036_54.min1.thm1
2017-02-06 12:46
937
rlvect_2__1050_43.min1.thm1
2017-02-06 12:46
372
rlvect_2__1050_43.min1.thm1.tptp
2017-02-06 16:47
294
rlvect_2__1053_57.min1.thm1
2017-02-06 12:46
926
rlvect_2__1058_56.min1.thm1
2017-02-06 12:46
926
rlvect_2__1071_43.min1.thm1
2017-02-06 12:46
798
rlvect_2__1084_23.min1.thm1
2017-02-06 12:46
622
rlvect_2__1085_19.min1.thm1
2017-02-06 12:46
362
rlvect_2__1085_19.min1.thm1.tptp
2017-02-06 16:47
279
rlvect_2__1096_20.min1.thm1
2017-02-06 12:46
1.2K
rlvect_2__1097_25.min1.thm1
2017-02-06 12:46
479
rlvect_2__1098_17.min1.thm1
2017-02-06 12:46
1.4K
rlvect_2__1104_38.min1.thm1
2017-02-06 12:46
1.0K
rlvect_2__1105_17.min1.thm1
2017-02-06 12:46
1.2K
rlvect_2__1112_21.min1.thm1
2017-02-06 12:46
1.3K
rlvect_2__1113_22.min1.thm1
2017-02-06 12:46
841
rlvect_2__1138_41.min1.thm1
2017-02-06 12:46
1.8K
rlvect_2__1139_30.min1.thm1
2017-02-06 12:46
1.3K
rlvect_2__1142_59.min1.thm1
2017-02-06 12:46
685
rlvect_2__1144_18.min1.thm1
2017-02-06 12:46
1.3K
rlvect_2__1158_25.min1.thm1
2017-02-06 12:46
1.6K
rlvect_2__1159_25.min1.thm1
2017-02-06 12:46
1.4K
rlvect_2__1161_31.min1.thm1
2017-02-06 12:46
2.3K
rlvect_2__1162_20.min1.thm1
2017-02-06 12:46
1.6K
rlvect_2__1163_26.min1.thm1
2017-02-06 12:46
2.4K
rlvect_2__1175_17.min1.thm1
2017-02-06 12:46
1.3K
rlvect_2__1185_8.min1.thm1
2017-02-06 12:46
1.0K
rlvect_2__1192_15.min1.thm1
2017-02-06 12:46
606
rlvect_2__1194_11.min1.thm1
2017-02-06 12:46
1.5K
rlvect_2__1197_28.min1.thm1
2017-02-06 12:46
1.8K
rlvect_2__1198_17.min1.thm1
2017-02-06 12:46
1.6K
rlvect_2__1206_11.min1.thm1
2017-02-06 12:46
1.6K
rlvect_2__1209_15.min1.thm1
2017-02-06 12:46
819
rlvect_2__1212_33.min1.thm1
2017-02-06 12:46
1.8K
rlvect_2__1213_19.min1.thm1
2017-02-06 12:46
1.5K
rlvect_2__1214_15.min1.thm1
2017-02-06 12:46
819
rlvect_2__1216_33.min1.thm1
2017-02-06 12:46
1.8K
rlvect_2__1217_19.min1.thm1
2017-02-06 12:46
1.5K
rlvect_2__1228_17.min1.thm1
2017-02-06 12:46
1.0K
rlvect_2__1234_17.min1.thm1
2017-02-06 12:46
1.0K
rlvect_2__1240_17.min1.thm1
2017-02-06 12:46
1.0K
rlvect_2__1263_48.min1.thm1
2017-02-06 12:46
1.1K
rlvect_2__1264_15.min1.thm1
2017-02-06 12:46
315
rlvect_2__1278_27.min1.thm1
2017-02-06 12:46
1.3K
rlvect_2__1279_28.min1.thm1
2017-02-06 12:46
1.3K
rlvect_2__1285_28.min1.thm1
2017-02-06 12:46
2.2K
rlvect_2__1287_26.min1.thm1
2017-02-06 12:46
1.5K
rlvect_2__1289_25.min1.thm1
2017-02-06 12:46
603
rlvect_2__1289_25.min1.thm1.tptp
2017-02-06 16:47
538
rlvect_2__1291_20.min1.thm1
2017-02-06 12:46
510
rlvect_2__1304_26.min1.thm1
2017-02-06 12:46
524
rlvect_2__1304_26.min1.thm1.tptp
2017-02-06 16:47
446
rlvect_2__1307_26.min1.thm1
2017-02-06 12:46
524
rlvect_2__1307_26.min1.thm1.tptp
2017-02-06 16:47
446
rlvect_2__1310_27.min1.thm1
2017-02-06 12:46
564
rlvect_2__1317_26.min1.thm1
2017-02-06 12:46
1.1K
rlvect_2__1321_28.min1.thm1
2017-02-06 12:46
1.9K
rlvect_2__1324_20.min1.thm1
2017-02-06 12:46
1.6K
rlvect_2__1325_36.min1.thm1
2017-02-06 12:46
1.5K
rlvect_2__1329_16.min1.thm1
2017-02-06 12:46
444
rlvect_2__1329_16.min1.thm1.tptp
2017-02-06 16:47
370
rlvect_2__1330_19.min1.thm1
2017-02-06 12:46
1.4K
rlvect_2__1331_21.min1.thm1
2017-02-06 12:46
1.5K
rlvect_2__1333_49.min1.thm1
2017-02-06 12:46
1.4K
rlvect_2__1335_49.min1.thm1
2017-02-06 12:46
1.7K
rlvect_2__1344_48.min1.thm1
2017-02-06 12:46
1.9K
rlvect_2__1347_19.min1.thm1
2017-02-06 12:46
2.4K
rlvect_2__1350_47.min1.thm1
2017-02-06 12:46
1.2K
rlvect_2__1352_32.min1.thm1
2017-02-06 12:46
1.4K
rlvect_2__1353_33.min1.thm1
2017-02-06 12:46
2.3K
rlvect_2__1369_28.min1.thm1
2017-02-06 12:46
881
rlvect_2__1370_16.min1.thm1
2017-02-06 12:46
1.0K
rlvect_2__1371_16.min1.thm1
2017-02-06 12:46
1.0K
rlvect_2__1392_26.min1.thm1
2017-02-06 12:46
1.2K
rlvect_2__1395_8.min1.thm1
2017-02-06 12:46
506
rlvect_2__1405_30.min1.thm1
2017-02-06 12:46
2.0K
rlvect_2__1406_68.min1.thm1
2017-02-06 12:46
831
rlvect_2__1411_22.min1.thm1
2017-02-06 12:46
1.3K
rlvect_2__1414_28.min1.thm1
2017-02-06 12:46
1.9K
rlvect_2__1418_53.min1.thm1
2017-02-06 12:46
2.2K
rlvect_2__1424_24.min1.thm1
2017-02-06 12:46
1.7K
rlvect_2__1429_26.min1.thm1
2017-02-06 12:46
1.0K
rlvect_2__1433_21.min1.thm1
2017-02-06 12:46
593
rlvect_2__1434_24.min1.thm1
2017-02-06 12:46
1.2K
rlvect_2__1445_18.min1.thm1
2017-02-06 12:46
1.6K
rlvect_2__1446_22.min1.thm1
2017-02-06 12:46
1.1K
rlvect_2__1449_25.min1.thm1
2017-02-06 12:46
1.7K
rlvect_2__1460_22.min1.thm1
2017-02-06 12:46
1.3K
rlvect_2__1461_25.min1.thm1
2017-02-06 12:46
1.0K
rlvect_2__1466_53.min1.thm1
2017-02-06 12:46
1.1K
rlvect_2__1478_20.min1.thm1
2017-02-06 12:46
1.5K
rlvect_2__1479_43.min1.thm1
2017-02-06 12:46
1.2K
rlvect_2__1485_21.min1.thm1
2017-02-06 12:46
1.5K
rlvect_2__1489_25.min1.thm1
2017-02-06 12:46
1.3K
rlvect_2__1499_18.min1.thm1
2017-02-06 12:46
1.5K
rlvect_2__1500_41.min1.thm1
2017-02-06 12:46
1.1K
rlvect_2__1503_36.min1.thm1
2017-02-06 12:46
1.6K
rlvect_2__1506_27.min1.thm1
2017-02-06 12:46
1.8K
rlvect_2__1514_23.min1.thm1
2017-02-06 12:46
1.8K
rlvect_2__1516_36.min1.thm1
2017-02-06 12:46
2.3K
rlvect_2__1528_28.min1.thm1
2017-02-06 12:46
1.5K
rlvect_2__1529_46.min1.thm1
2017-02-06 12:46
1.0K
rlvect_2__1532_23.min1.thm1
2017-02-06 12:46
1.5K
rlvect_2__1533_46.min1.thm1
2017-02-06 12:46
1.0K
rlvect_2__1536_17.min1.thm1
2017-02-06 12:46
1.3K
rlvect_2__1538_23.min1.thm1
2017-02-06 12:46
1.1K
rlvect_2__1544_19.min1.thm1
2017-02-06 12:46
1.6K
rlvect_2__1545_31.min1.thm1
2017-02-06 12:46
1.5K
rlvect_2__1547_23.min1.thm1
2017-02-06 12:46
1.4K
rlvect_2__1550_20.min1.thm1
2017-02-06 12:46
726
rlvect_2__1561_31.min1.thm1
2017-02-06 12:46
930
rlvect_2__1563_40.min1.thm1
2017-02-06 12:46
241
rlvect_2__1569_15.min1.thm1
2017-02-06 12:46
1.2K
rlvect_2__1570_64.min1.thm1
2017-02-06 12:46
1.3K
rlvect_2__1572_16.min1.thm1
2017-02-06 12:46
524
rlvect_2__1572_16.min1.thm1.tptp
2017-02-06 16:47
445
rlvect_2__1579_15.min1.thm1
2017-02-06 12:46
195
rlvect_2__1582_23.min1.thm1
2017-02-06 12:46
1.4K
rlvect_2__1595_24.min1.thm1
2017-02-06 12:46
1.3K
rlvect_2__1596_26.min1.thm1
2017-02-06 12:46
754
rlvect_2__1607_20.min1.thm1
2017-02-06 12:46
1.6K
rlvect_2__1608_20.min1.thm1
2017-02-06 12:46
858
rlvect_2__1609_27.min1.thm1
2017-02-06 12:46
1.4K
rlvect_2__1613_23.min1.thm1
2017-02-06 12:46
1.3K
rlvect_2__1616_19.min1.thm1
2017-02-06 12:46
912
rlvect_2__1617_55.min1.thm1
2017-02-06 12:46
1.3K
rlvect_2__1620_32.min1.thm1
2017-02-06 12:46
1.7K
rlvect_2__1624_23.min1.thm1
2017-02-06 12:46
646
rlvect_2__1627_16.min1.thm1
2017-02-06 12:46
344
rlvect_2__1636_15.min1.thm1
2017-02-06 12:46
209
rlvect_2__1639_33.min1.thm1
2017-02-06 12:46
1.0K
rlvect_2__1640_29.min1.thm1
2017-02-06 12:46
1.0K
rlvect_2__1642_18.min1.thm1
2017-02-06 12:46
816
rlvect_2__1643_23.min1.thm1
2017-02-06 12:46
935
rlvect_2__1656_33.min1.thm1
2017-02-06 12:46
1.6K
rlvect_2__1657_26.min1.thm1
2017-02-06 12:46
834
rlvect_2__1666_41.min1.thm1
2017-02-06 12:46
1.6K
rlvect_2__1667_34.min1.thm1
2017-02-06 12:46
880
rlvect_2__1668_27.min1.thm1
2017-02-06 12:46
1.5K
rlvect_2__1672_32.min1.thm1
2017-02-06 12:46
1.5K
rlvect_2__1677_32.min1.thm1
2017-02-06 12:46
1.0K
rlvect_2__1678_50.min1.thm1
2017-02-06 12:46
1.1K
rlvect_2__1681_32.min1.thm1
2017-02-06 12:46
1.7K
rlvect_2__1686_23.min1.thm1
2017-02-06 12:46
646
rlvect_2__1689_16.min1.thm1
2017-02-06 12:46
344
rlvect_2__1691_16.min1.thm1
2017-02-06 12:46
531
rlvect_2__1695_25.min1.thm1
2017-02-06 12:46
628
rlvect_2__1701_18.min1.thm1
2017-02-06 12:46
1.0K
rlvect_2__1709_24.min1.thm1
2017-02-06 12:46
1.7K
rlvect_2__1711_16.min1.thm1
2017-02-06 12:46
1.4K
rlvect_2__1717_19.min1.thm1
2017-02-06 12:46
1.2K
rlvect_2__1724_30.min1.thm1
2017-02-06 12:46
2.5K
rlvect_2__1730_14.min1.thm1
2017-02-06 12:46
504
rlvect_2__1740_28.min1.thm1
2017-02-06 12:46
1.8K
rlvect_2__1742_16.min1.thm1
2017-02-06 12:46
2.0K
rlvect_2__1749_26.min1.thm1
2017-02-06 12:46
1.3K
rlvect_2__1750_29.min1.thm1
2017-02-06 12:46
1.4K
rlvect_2__1756_60.min1.thm1
2017-02-06 12:46
2.1K
rlvect_2__1757_29.min1.thm1
2017-02-06 12:46
1.4K
rlvect_2__1758_26.min1.thm1
2017-02-06 12:46
307
rlvect_2__1758_42.min1.thm1
2017-02-06 12:46
1.4K
rlvect_2__1760_32.min1.thm1
2017-02-06 12:46
1.5K
rlvect_2__1765_60.min1.thm1
2017-02-06 12:46
2.1K
rlvect_2__1766_29.min1.thm1
2017-02-06 12:46
1.4K
rlvect_2__1767_26.min1.thm1
2017-02-06 12:46
307
rlvect_2__1767_42.min1.thm1
2017-02-06 12:46
1.4K
rlvect_2__1769_32.min1.thm1
2017-02-06 12:46
1.5K
rlvect_2__1783_14.min1.thm1
2017-02-06 12:46
820
rlvect_2__1798_40.min1.thm1
2017-02-06 12:46
1.6K
rlvect_2__1799_17.min1.thm1
2017-02-06 12:46
1.3K
rlvect_2__1808_39.min1.thm1
2017-02-06 12:46
1.9K
rlvect_2__1809_17.min1.thm1
2017-02-06 12:46
1.7K
rlvect_2__1840_12.min1.thm1
2017-02-06 12:46
891
rlvect_2__1854_29.min1.thm1
2017-02-06 12:46
841
rlvect_2__1854_29.min1.thm1.tptp
2017-02-06 16:47
764
rlvect_2__1870_58.min1.thm1
2017-02-06 12:46
1.5K
rlvect_2__1879_45.min1.thm1
2017-02-06 12:46
1.3K
rlvect_2__1882_51.min1.thm1
2017-02-06 12:46
1.2K
rlvect_2__1883_32.min1.thm1
2017-02-06 12:46
801
rlvect_2__1888_19.min1.thm1
2017-02-06 12:46
813
rlvect_2__1908_19.min1.thm1
2017-02-06 12:46
1.1K
rlvect_2__1911_14.min1.thm1
2017-02-06 12:46
1.2K
rlvect_2__1930_26.min1.thm1
2017-02-06 12:46
853
rlvect_2__1931_12.min1.thm1
2017-02-06 12:46
940
rlvect_2__1936_18.min1.thm1
2017-02-06 12:46
860
rlvect_2__1946_26.min1.thm1
2017-02-06 12:46
702
rlvect_2__1946_26.min1.thm1.tptp
2017-02-06 16:47
625
rlvect_2__1947_16.min1.thm1
2017-02-06 12:46
702
rlvect_2__1947_16.min1.thm1.tptp
2017-02-06 16:47
625
rlvect_2__1966_20.min1.thm1
2017-02-06 12:46
1.4K
rlvect_2__1969_21.min1.thm1
2017-02-06 12:46
1.3K
rlvect_2__1975_12.min1.thm1
2017-02-06 12:46
1.2K
rlvect_2__1978_19.min1.thm1
2017-02-06 12:46
1.5K
rlvect_2__1997_13.min1.thm1
2017-02-06 12:46
189
rlvect_2__2000_31.min1.thm1
2017-02-06 12:46
1.0K
rlvect_2__2001_21.min1.thm1
2017-02-06 12:46
1.9K
rlvect_2__2005_41.min1.thm1
2017-02-06 12:46
1.2K
rlvect_2__2006_21.min1.thm1
2017-02-06 12:46
1.9K
rlvect_2__2009_14.min1.thm1
2017-02-06 12:46
368
rlvect_2__2057_13.min1.thm1
2017-02-06 12:46
1.2K
rlvect_2__2074_11.min1.thm1
2017-02-06 12:46
934
rlvect_2__2075_36.min1.thm1
2017-02-06 12:46
1.2K
rlvect_2__2098_13.min1.thm1
2017-02-06 12:46
1.3K
rlvect_2__2105_25.min1.thm1
2017-02-06 12:46
1.4K
rlvect_2__2124_17.min1.thm1
2017-02-06 12:46
2.1K
rlvect_2__2148_55.min1.thm1
2017-02-06 12:46
411
rlvect_2__2163_42.min1.thm1
2017-02-06 12:46
385
rlvect_2__2163_42.min1.thm1.tptp
2017-02-06 16:47
304
rlvect_2__2164_21.min1.thm1
2017-02-06 12:46
385
rlvect_2__2164_21.min1.thm1.tptp
2017-02-06 16:47
304
rlvect_2__2168_40.min1.thm1
2017-02-06 12:46
377
rlvect_2__2168_40.min1.thm1.tptp
2017-02-06 16:47
296
rlvect_2__2169_19.min1.thm1
2017-02-06 12:46
377
rlvect_2__2169_19.min1.thm1.tptp
2017-02-06 16:47
296
rlvect_2__2180_16.min1.thm1
2017-02-06 12:46
359
rlvect_2__2180_16.min1.thm1.tptp
2017-02-06 16:47
279
rlvect_2__2199_14.min1.thm1
2017-02-06 12:46
1.0K
rlvect_2__2214_36.min1.thm1
2017-02-06 12:46
936
rlvect_2__2215_18.min1.thm1
2017-02-06 12:46
2.0K
rlvect_2__2226_36.min1.thm1
2017-02-06 12:46
894
rlvect_2__2227_24.min1.thm1
2017-02-06 12:46
894
rlvect_2__2247_17.min1.thm1
2017-02-06 12:46
2.1K
rlvect_2__2254_39.min1.thm1
2017-02-06 12:46
944
rlvect_2__2305_27.min1.thm1
2017-02-06 12:46
1.8K
rlvect_2__2306_19.min1.thm1
2017-02-06 12:46
1.2K
rlvect_2__2312_22.min1.thm1
2017-02-06 12:46
1.2K
rlvect_2__2313_22.min1.thm1
2017-02-06 12:46
1.2K
rlvect_2__2323_15.min1.thm1
2017-02-06 12:46
1.6K
rlvect_2__2348_29.min1.thm1
2017-02-06 12:46
407
rlvect_2__2349_38.min1.thm1
2017-02-06 12:46
1.4K
rlvect_2__2350_22.min1.thm1
2017-02-06 12:46
1.2K
rlvect_2__2354_18.min1.thm1
2017-02-06 12:46
1.0K
rlvect_2__2354_18.min1.thm1.tptp
2017-02-06 16:47
910
rlvect_2__2362_31.min1.thm1
2017-02-06 12:46
531
rlvect_2__2363_38.min1.thm1
2017-02-06 12:46
1.2K
rlvect_2__2364_34.min1.thm1
2017-02-06 12:46
1.3K
rlvect_2__2367_18.min1.thm1
2017-02-06 12:46
1.3K
rlvect_2__2375_31.min1.thm1
2017-02-06 12:46
531
rlvect_2__2376_22.min1.thm1
2017-02-06 12:46
951
rlvect_2__2377_34.min1.thm1
2017-02-06 12:46
1.3K
rlvect_2__2380_18.min1.thm1
2017-02-06 12:46
1.2K
rlvect_2__2384_25.min1.thm1
2017-02-06 12:46
971
rlvect_2__2385_13.min1.thm1
2017-02-06 12:46
1.7K
rlvect_2__2408_26.min1.thm1
2017-02-06 12:46
1.2K
rlvect_2__2410_29.min1.thm1
2017-02-06 12:46
1.2K
rlvect_2__2414_17.min1.thm1
2017-02-06 12:46
2.8K
rlvect_2__2422_28.min1.thm1
2017-02-06 12:46
1.2K
rlvect_2__2432_13.min1.thm1
2017-02-06 12:46
1.6K
rlvect_2__2441_38.min1.thm1
2017-02-06 12:46
1.0K
rlvect_2__2442_36.min1.thm1
2017-02-06 12:46
1.3K
rlvect_2__2458_24.min1.thm1
2017-02-06 12:46
1.1K
rlvect_2__2461_48.min1.thm1
2017-02-06 12:46
475
rlvect_2__2461_48.min1.thm1.tptp
2017-02-06 16:47
397
rlvect_2__2472_17.min1.thm1
2017-02-06 12:46
1.2K
rlvect_2__2474_17.min1.thm1
2017-02-06 12:46
1.2K
rlvect_2__2477_31.min1.thm1
2017-02-06 12:46
1.8K
rlvect_2__2478_48.min1.thm1
2017-02-06 12:46
1.8K
rlvect_2__2479_20.min1.thm1
2017-02-06 12:46
1.3K
rlvect_2__2485_11.min1.thm1
2017-02-06 12:46
1.2K
rlvect_2__2486_44.min1.thm1
2017-02-06 12:46
1.9K
rlvect_2__2487_19.min1.thm1
2017-02-06 12:46
1.6K
rlvect_2__2488_46.min1.thm1
2017-02-06 12:46
1.7K
rlvect_2__2489_18.min1.thm1
2017-02-06 12:46
1.3K
rlvect_2__2491_43.min1.thm1
2017-02-06 12:46
966
rlvect_2__2492_23.min1.thm1
2017-02-06 12:46
1.2K
rlvect_2__2532_8.min1.thm1
2017-02-06 12:46
1.0K
rlvect_2__2533_17.min1.thm1
2017-02-06 12:46
1.5K
rlvect_2__2535_22.min1.thm1
2017-02-06 12:46
3.0K
rlvect_2__2547_25.min1.thm1
2017-02-06 12:46
2.0K
rlvect_2__2550_26.min1.thm1
2017-02-06 12:46
1.9K
rlvect_2__2570_32.min1.thm1
2017-02-06 12:46
1.7K
rlvect_2__2572_20.min1.thm1
2017-02-06 12:46
2.3K
rlvect_2__2573_32.min1.thm1
2017-02-06 12:46
1.8K
rlvect_2__2574_24.min1.thm1
2017-02-06 12:46
2.3K
rlvect_2__2606_20.min1.thm1
2017-02-06 12:46
1.4K
rlvect_2__2607_24.min1.thm1
2017-02-06 12:46
842
rlvect_2__2634_48.min1.thm1
2017-02-06 12:46
909
rlvect_2__2642_37.min1.thm1
2017-02-06 12:46
811
rlvect_2__2643_17.min1.thm1
2017-02-06 12:46
1.0K
rlvect_2__2644_41.min1.thm1
2017-02-06 12:46
2.0K
rlvect_2__2645_13.min1.thm1
2017-02-06 12:46
1.3K
rlvect_2__2646_16.min1.thm1
2017-02-06 12:46
1.4K
rlvect_2__2648_42.min1.thm1
2017-02-06 12:46
654
rlvect_2__2649_25.min1.thm1
2017-02-06 12:46
1.2K
rlvect_2__2657_18.min1.thm1
2017-02-06 12:46
1.3K
rlvect_2__2658_29.min1.thm1
2017-02-06 12:46
846
rlvect_2__2660_23.min1.thm1
2017-02-06 12:46
1.7K
rlvect_2__2682_50.min1.thm1
2017-02-06 12:46
1.8K
rlvect_2__2683_13.min1.thm1
2017-02-06 12:46
1.8K
rlvect_2__2701_40.min1.thm1
2017-02-06 12:46
2.1K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80