Index of /~mptp/1147/MPTP2/ilp0/rlvect_5
Name
Last modified
Size
Description
Parent Directory
-
rlvect_5__61_13.min1.thm1
2017-02-06 12:45
1.8K
rlvect_5__65_55.min1.thm1
2017-02-06 12:45
1.2K
rlvect_5__67_49.min1.thm1
2017-02-06 12:45
1.7K
rlvect_5__71_29.min1.thm1
2017-02-06 12:45
1.6K
rlvect_5__86_62.min1.thm1
2017-02-06 12:45
1.4K
rlvect_5__87_31.min1.thm1
2017-02-06 12:45
1.2K
rlvect_5__89_16.min1.thm1
2017-02-06 12:45
301
rlvect_5__89_16.min1.thm1.tptp
2017-02-06 16:47
215
rlvect_5__100_34.min1.thm1
2017-02-06 12:45
1.2K
rlvect_5__104_48.min1.thm1
2017-02-06 12:45
1.2K
rlvect_5__113_25.min1.thm1
2017-02-06 12:45
367
rlvect_5__113_25.min1.thm1.tptp
2017-02-06 16:47
289
rlvect_5__114_32.min1.thm1
2017-02-06 12:45
552
rlvect_5__115_11.min1.thm1
2017-02-06 12:45
561
rlvect_5__116_14.min1.thm1
2017-02-06 12:45
463
rlvect_5__116_14.min1.thm1.tptp
2017-02-06 16:47
387
rlvect_5__152_36.min1.thm1
2017-02-06 12:45
1.6K
rlvect_5__154_18.min1.thm1
2017-02-06 12:45
1.5K
rlvect_5__156_17.min1.thm1
2017-02-06 12:45
1.6K
rlvect_5__158_16.min1.thm1
2017-02-06 12:45
1.3K
rlvect_5__162_19.min1.thm1
2017-02-06 12:45
420
rlvect_5__182_70.min1.thm1
2017-02-06 12:45
1.0K
rlvect_5__184_15.min1.thm1
2017-02-06 12:45
273
rlvect_5__186_18.min1.thm1
2017-02-06 12:45
782
rlvect_5__187_33.min1.thm1
2017-02-06 12:45
649
rlvect_5__188_39.min1.thm1
2017-02-06 12:45
589
rlvect_5__192_45.min1.thm1
2017-02-06 12:45
2.4K
rlvect_5__193_40.min1.thm1
2017-02-06 12:45
1.9K
rlvect_5__198_25.min1.thm1
2017-02-06 12:45
816
rlvect_5__201_17.min1.thm1
2017-02-06 12:45
1.2K
rlvect_5__206_14.min1.thm1
2017-02-06 12:45
1.1K
rlvect_5__211_17.min1.thm1
2017-02-06 12:45
1.9K
rlvect_5__212_15.min1.thm1
2017-02-06 12:45
1.7K
rlvect_5__213_16.min1.thm1
2017-02-06 12:45
392
rlvect_5__222_18.min1.thm1
2017-02-06 12:45
922
rlvect_5__227_17.min1.thm1
2017-02-06 12:45
1.1K
rlvect_5__237_16.min1.thm1
2017-02-06 12:45
259
rlvect_5__238_46.min1.thm1
2017-02-06 12:45
366
rlvect_5__238_46.min1.thm1.tptp
2017-02-06 16:47
294
rlvect_5__244_28.min1.thm1
2017-02-06 12:45
1.9K
rlvect_5__245_44.min1.thm1
2017-02-06 12:45
517
rlvect_5__247_22.min1.thm1
2017-02-06 12:45
1.0K
rlvect_5__248_11.min1.thm1
2017-02-06 12:45
1.0K
rlvect_5__250_21.min1.thm1
2017-02-06 12:45
1.5K
rlvect_5__251_21.min1.thm1
2017-02-06 12:45
883
rlvect_5__255_65.min1.thm1
2017-02-06 12:45
953
rlvect_5__256_35.min1.thm1
2017-02-06 12:45
405
rlvect_5__256_35.min1.thm1.tptp
2017-02-06 16:47
331
rlvect_5__257_47.min1.thm1
2017-02-06 12:45
1.4K
rlvect_5__260_31.min1.thm1
2017-02-06 12:45
695
rlvect_5__265_29.min1.thm1
2017-02-06 12:45
1.5K
rlvect_5__267_16.min1.thm1
2017-02-06 12:45
1.9K
rlvect_5__268_14.min1.thm1
2017-02-06 12:45
414
rlvect_5__279_47.min1.thm1
2017-02-06 12:45
1.2K
rlvect_5__284_40.min1.thm1
2017-02-06 12:45
350
rlvect_5__284_40.min1.thm1.tptp
2017-02-06 16:47
272
rlvect_5__285_13.min1.thm1
2017-02-06 12:45
248
rlvect_5__288_21.min1.thm1
2017-02-06 12:45
2.7K
rlvect_5__293_18.min1.thm1
2017-02-06 12:45
1.1K
rlvect_5__299_50.min1.thm1
2017-02-06 12:45
1.1K
rlvect_5__299_50.min1.thm1.tptp
2017-02-06 16:47
1.1K
rlvect_5__307_22.min1.thm1
2017-02-06 12:45
2.1K
rlvect_5__311_21.min1.thm1
2017-02-06 12:45
1.1K
rlvect_5__324_16.min1.thm1
2017-02-06 12:45
1.2K
rlvect_5__326_23.min1.thm1
2017-02-06 12:45
3.1K
rlvect_5__356_53.min1.thm1
2017-02-06 12:45
1.2K
rlvect_5__357_37.min1.thm1
2017-02-06 12:45
949
rlvect_5__360_17.min1.thm1
2017-02-06 12:45
1.0K
rlvect_5__383_65.min1.thm1
2017-02-06 12:45
1.0K
rlvect_5__385_40.min1.thm1
2017-02-06 12:45
955
rlvect_5__386_24.min1.thm1
2017-02-06 12:45
711
rlvect_5__388_21.min1.thm1
2017-02-06 12:45
633
rlvect_5__389_19.min1.thm1
2017-02-06 12:45
723
rlvect_5__390_40.min1.thm1
2017-02-06 12:45
559
rlvect_5__391_52.min1.thm1
2017-02-06 12:45
1.2K
rlvect_5__393_18.min1.thm1
2017-02-06 12:45
2.0K
rlvect_5__395_19.min1.thm1
2017-02-06 12:45
1.1K
rlvect_5__397_39.min1.thm1
2017-02-06 12:45
1.0K
rlvect_5__398_39.min1.thm1
2017-02-06 12:45
2.3K
rlvect_5__399_21.min1.thm1
2017-02-06 12:45
1.6K
rlvect_5__404_50.min1.thm1
2017-02-06 12:45
1.7K
rlvect_5__411_19.min1.thm1
2017-02-06 12:45
873
rlvect_5__411_19.min1.thm1.tptp
2017-02-06 16:47
796
rlvect_5__416_28.min1.thm1
2017-02-06 12:45
787
rlvect_5__423_32.min1.thm1
2017-02-06 12:45
1.2K
rlvect_5__426_26.min1.thm1
2017-02-06 12:45
924
rlvect_5__427_26.min1.thm1
2017-02-06 12:45
816
rlvect_5__427_26.min1.thm1.tptp
2017-02-06 16:47
741
rlvect_5__428_43.min1.thm1
2017-02-06 12:45
946
rlvect_5__429_19.min1.thm1
2017-02-06 12:45
580
rlvect_5__429_19.min1.thm1.tptp
2017-02-06 16:47
503
rlvect_5__432_17.min1.thm1
2017-02-06 12:45
1.0K
rlvect_5__444_28.min1.thm1
2017-02-06 12:45
1.9K
rlvect_5__447_28.min1.thm1
2017-02-06 12:45
1.6K
rlvect_5__449_16.min1.thm1
2017-02-06 12:45
549
rlvect_5__449_16.min1.thm1.tptp
2017-02-06 16:47
467
rlvect_5__468_23.min1.thm1
2017-02-06 12:45
1.0K
rlvect_5__473_31.min1.thm1
2017-02-06 12:45
487
rlvect_5__473_31.min1.thm1.tptp
2017-02-06 16:47
423
rlvect_5__476_28.min1.thm1
2017-02-06 12:45
2.4K
rlvect_5__480_29.min1.thm1
2017-02-06 12:45
1.9K
rlvect_5__492_32.min1.thm1
2017-02-06 12:45
489
rlvect_5__492_32.min1.thm1.tptp
2017-02-06 16:47
425
rlvect_5__494_31.min1.thm1
2017-02-06 12:45
571
rlvect_5__508_44.min1.thm1
2017-02-06 12:45
1.7K
rlvect_5__509_30.min1.thm1
2017-02-06 12:45
648
rlvect_5__510_35.min1.thm1
2017-02-06 12:45
504
rlvect_5__511_61.min1.thm1
2017-02-06 12:45
897
rlvect_5__517_44.min1.thm1
2017-02-06 12:45
2.5K
rlvect_5__518_63.min1.thm1
2017-02-06 12:45
1.3K
rlvect_5__527_34.min1.thm1
2017-02-06 12:45
3.1K
rlvect_5__529_43.min1.thm1
2017-02-06 12:45
2.4K
rlvect_5__530_27.min1.thm1
2017-02-06 12:45
1.3K
rlvect_5__547_18.min1.thm1
2017-02-06 12:45
1.4K
rlvect_5__548_22.min1.thm1
2017-02-06 12:45
1.5K
rlvect_5__550_36.min1.thm1
2017-02-06 12:45
1.6K
rlvect_5__552_18.min1.thm1
2017-02-06 12:45
1.3K
rlvect_5__554_22.min1.thm1
2017-02-06 12:45
1.3K
rlvect_5__566_51.min1.thm1
2017-02-06 12:45
1.2K
rlvect_5__566_51.min1.thm1.tptp
2017-02-06 16:47
1.1K
rlvect_5__571_15.min1.thm1
2017-02-06 12:45
2.1K
rlvect_5__582_56.min1.thm1
2017-02-06 12:45
1.9K
rlvect_5__583_43.min1.thm1
2017-02-06 12:45
1.7K
rlvect_5__589_36.min1.thm1
2017-02-06 12:45
356
rlvect_5__589_36.min1.thm1.tptp
2017-02-06 16:47
278
rlvect_5__590_13.min1.thm1
2017-02-06 12:45
229
rlvect_5__593_41.min1.thm1
2017-02-06 12:45
1.5K
rlvect_5__599_18.min1.thm1
2017-02-06 12:45
1.2K
rlvect_5__605_50.min1.thm1
2017-02-06 12:45
890
rlvect_5__609_69.min1.thm1
2017-02-06 12:45
1.9K
rlvect_5__612_20.min1.thm1
2017-02-06 12:45
2.3K
rlvect_5__627_14.min1.thm1
2017-02-06 12:45
1.6K
rlvect_5__636_21.min1.thm1
2017-02-06 12:45
1.7K
rlvect_5__640_17.min1.thm1
2017-02-06 12:45
2.5K
rlvect_5__652_41.min1.thm1
2017-02-06 12:45
1.7K
rlvect_5__656_31.min1.thm1
2017-02-06 12:45
1.3K
rlvect_5__659_23.min1.thm1
2017-02-06 12:45
1.0K
rlvect_5__666_16.min1.thm1
2017-02-06 12:45
1.7K
rlvect_5__684_41.min1.thm1
2017-02-06 12:45
1.7K
rlvect_5__685_41.min1.thm1
2017-02-06 12:45
598
rlvect_5__692_23.min1.thm1
2017-02-06 12:45
1.2K
rlvect_5__693_22.min1.thm1
2017-02-06 12:45
1.3K
rlvect_5__697_47.min1.thm1
2017-02-06 12:45
2.1K
rlvect_5__698_20.min1.thm1
2017-02-06 12:45
1.2K
rlvect_5__701_14.min1.thm1
2017-02-06 12:45
494
rlvect_5__711_36.min1.thm1
2017-02-06 12:45
375
rlvect_5__711_36.min1.thm1.tptp
2017-02-06 16:47
297
rlvect_5__721_19.min1.thm1
2017-02-06 12:45
1.2K
rlvect_5__724_14.min1.thm1
2017-02-06 12:45
494
rlvect_5__731_30.min1.thm1
2017-02-06 12:45
1.8K
rlvect_5__732_47.min1.thm1
2017-02-06 12:45
1.9K
rlvect_5__734_13.min1.thm1
2017-02-06 12:45
1.0K
rlvect_5__736_16.min1.thm1
2017-02-06 12:45
242
rlvect_5__749_25.min1.thm1
2017-02-06 12:45
923
rlvect_5__750_13.min1.thm1
2017-02-06 12:45
1.2K
rlvect_5__753_17.min1.thm1
2017-02-06 12:45
1.7K
rlvect_5__756_11.min1.thm1
2017-02-06 12:45
649
rlvect_5__761_17.min1.thm1
2017-02-06 12:45
1.1K
rlvect_5__762_42.min1.thm1
2017-02-06 12:45
1.9K
rlvect_5__766_29.min1.thm1
2017-02-06 12:45
774
rlvect_5__766_29.min1.thm1.tptp
2017-02-06 16:47
703
rlvect_5__768_39.min1.thm1
2017-02-06 12:45
2.4K
rlvect_5__774_19.min1.thm1
2017-02-06 12:45
1.9K
rlvect_5__781_16.min1.thm1
2017-02-06 12:45
1.5K
rlvect_5__783_19.min1.thm1
2017-02-06 12:45
931
rlvect_5__788_18.min1.thm1
2017-02-06 12:45
1.0K
rlvect_5__789_33.min1.thm1
2017-02-06 12:45
1.5K
rlvect_5__790_43.min1.thm1
2017-02-06 12:45
365
rlvect_5__790_43.min1.thm1.tptp
2017-02-06 16:47
288
rlvect_5__792_35.min1.thm1
2017-02-06 12:45
739
rlvect_5__793_30.min1.thm1
2017-02-06 12:45
1.7K
rlvect_5__808_13.min1.thm1
2017-02-06 12:45
381
rlvect_5__808_13.min1.thm1.tptp
2017-02-06 16:47
304
rlvect_5__811_13.min1.thm1
2017-02-06 12:45
1.5K
rlvect_5__812_32.min1.thm1
2017-02-06 12:45
516
rlvect_5__813_40.min1.thm1
2017-02-06 12:45
537
rlvect_5__813_40.min1.thm1.tptp
2017-02-06 16:47
462
rlvect_5__815_15.min1.thm1
2017-02-06 12:45
572
rlvect_5__816_17.min1.thm1
2017-02-06 12:45
2.2K
rlvect_5__821_16.min1.thm1
2017-02-06 12:45
1.0K
rlvect_5__835_23.min1.thm1
2017-02-06 12:45
1.9K
rlvect_5__837_17.min1.thm1
2017-02-06 12:45
1.1K
rlvect_5__838_22.min1.thm1
2017-02-06 12:45
1.2K
rlvect_5__844_51.min1.thm1
2017-02-06 12:45
481
rlvect_5__844_51.min1.thm1.tptp
2017-02-06 16:47
417
rlvect_5__852_49.min1.thm1
2017-02-06 12:45
2.3K
rlvect_5__859_23.min1.thm1
2017-02-06 12:45
1.9K
rlvect_5__861_17.min1.thm1
2017-02-06 12:45
1.1K
rlvect_5__862_22.min1.thm1
2017-02-06 12:45
1.2K
rlvect_5__866_46.min1.thm1
2017-02-06 12:45
2.1K
rlvect_5__867_17.min1.thm1
2017-02-06 12:45
494
rlvect_5__868_23.min1.thm1
2017-02-06 12:45
1.7K
rlvect_5__869_39.min1.thm1
2017-02-06 12:45
1.9K
rlvect_5__876_23.min1.thm1
2017-02-06 12:45
1.9K
rlvect_5__878_17.min1.thm1
2017-02-06 12:45
1.6K
rlvect_5__883_17.min1.thm1
2017-02-06 12:45
493
rlvect_5__884_23.min1.thm1
2017-02-06 12:45
1.2K
rlvect_5__885_39.min1.thm1
2017-02-06 12:45
1.9K
rlvect_5__888_55.min1.thm1
2017-02-06 12:45
647
rlvect_5__889_17.min1.thm1
2017-02-06 12:45
2.3K
rlvect_5__905_17.min1.thm1
2017-02-06 12:45
1.6K
rlvect_5__906_27.min1.thm1
2017-02-06 12:45
1.6K
rlvect_5__918_31.min1.thm1
2017-02-06 12:45
606
rlvect_5__919_27.min1.thm1
2017-02-06 12:45
1.1K
rlvect_5__925_12.min1.thm1
2017-02-06 12:45
496
rlvect_5__933_70.min1.thm1
2017-02-06 12:45
1.5K
rlvect_5__935_66.min1.thm1
2017-02-06 12:45
1.5K
rlvect_5__937_30.min1.thm1
2017-02-06 12:45
1.3K
rlvect_5__939_25.min1.thm1
2017-02-06 12:45
1.0K
rlvect_5__941_20.min1.thm1
2017-02-06 12:45
2.3K
rlvect_5__944_39.min1.thm1
2017-02-06 12:45
1.9K
rlvect_5__958_13.min1.thm1
2017-02-06 12:45
1.2K
rlvect_5__961_19.min1.thm1
2017-02-06 12:45
1.7K
rlvect_5__965_25.min1.thm1
2017-02-06 12:45
1.1K
rlvect_5__977_54.min1.thm1
2017-02-06 12:45
1.5K
rlvect_5__978_23.min1.thm1
2017-02-06 12:45
1.7K
rlvect_5__984_42.min1.thm1
2017-02-06 12:45
1.4K
rlvect_5__985_26.min1.thm1
2017-02-06 12:45
1.3K
rlvect_5__990_23.min1.thm1
2017-02-06 12:45
1.2K
rlvect_5__994_36.min1.thm1
2017-02-06 12:45
1.6K
rlvect_5__1022_13.min1.thm1
2017-02-06 12:45
2.1K
rlvect_5__1023_34.min1.thm1
2017-02-06 12:45
529
rlvect_5__1025_33.min1.thm1
2017-02-06 12:45
1.5K
rlvect_5__1026_25.min1.thm1
2017-02-06 12:45
1.0K
rlvect_5__1028_42.min1.thm1
2017-02-06 12:45
1.2K
rlvect_5__1035_24.min1.thm1
2017-02-06 12:45
1.8K
rlvect_5__1049_38.min1.thm1
2017-02-06 12:45
3.1K
rlvect_5__1055_25.min1.thm1
2017-02-06 12:45
1.0K
rlvect_5__1057_38.min1.thm1
2017-02-06 12:45
1.2K
rlvect_5__1058_21.min1.thm1
2017-02-06 12:45
2.8K
rlvect_5__1060_14.min1.thm1
2017-02-06 12:45
630
rlvect_5__1062_15.min1.thm1
2017-02-06 12:45
646
rlvect_5__1079_50.min1.thm1
2017-02-06 12:45
1.1K
rlvect_5__1079_50.min1.thm1.tptp
2017-02-06 16:47
1.0K
rlvect_5__1080_52.min1.thm1
2017-02-06 12:45
2.6K
rlvect_5__1084_54.min1.thm1
2017-02-06 12:45
2.7K
rlvect_5__1090_17.min1.thm1
2017-02-06 12:45
1.4K
rlvect_5__1101_13.min1.thm1
2017-02-06 12:45
765
rlvect_5__1102_19.min1.thm1
2017-02-06 12:45
900
rlvect_5__1126_24.min1.thm1
2017-02-06 12:45
786
rlvect_5__1126_24.min1.thm1.tptp
2017-02-06 16:47
711
rlvect_5__1140_22.min1.thm1
2017-02-06 12:45
1.0K
rlvect_5__1143_16.min1.thm1
2017-02-06 12:45
486
rlvect_5__1143_16.min1.thm1.tptp
2017-02-06 16:47
423
rlvect_5__1144_52.min1.thm1
2017-02-06 12:45
859
rlvect_5__1157_18.min1.thm1
2017-02-06 12:45
1.6K
rlvect_5__1158_19.min1.thm1
2017-02-06 12:45
826
rlvect_5__1160_37.min1.thm1
2017-02-06 12:45
1.3K
rlvect_5__1166_37.min1.thm1
2017-02-06 12:45
1.0K
rlvect_5__1167_25.min1.thm1
2017-02-06 12:45
1.5K
rlvect_5__1169_20.min1.thm1
2017-02-06 12:45
1.2K
rlvect_5__1176_23.min1.thm1
2017-02-06 12:45
1.0K
rlvect_5__1178_22.min1.thm1
2017-02-06 12:45
1.5K
rlvect_5__1179_27.min1.thm1
2017-02-06 12:45
1.2K
rlvect_5__1187_25.min1.thm1
2017-02-06 12:45
730
rlvect_5__1189_45.min1.thm1
2017-02-06 12:45
1.7K
rlvect_5__1190_27.min1.thm1
2017-02-06 12:45
1.2K
rlvect_5__1191_23.min1.thm1
2017-02-06 12:45
1.9K
rlvect_5__1193_70.min1.thm1
2017-02-06 12:45
1.8K
rlvect_5__1194_26.min1.thm1
2017-02-06 12:45
1.3K
rlvect_5__1198_41.min1.thm1
2017-02-06 12:45
1.0K
rlvect_5__1203_35.min1.thm1
2017-02-06 12:45
1.0K
rlvect_5__1204_33.min1.thm1
2017-02-06 12:45
1.3K
rlvect_5__1205_35.min1.thm1
2017-02-06 12:45
1.7K
rlvect_5__1207_23.min1.thm1
2017-02-06 12:45
1.3K
rlvect_5__1212_49.min1.thm1
2017-02-06 12:45
380
rlvect_5__1212_49.min1.thm1.tptp
2017-02-06 16:47
314
rlvect_5__1214_31.min1.thm1
2017-02-06 12:45
921
rlvect_5__1215_28.min1.thm1
2017-02-06 12:45
1.1K
rlvect_5__1216_13.min1.thm1
2017-02-06 12:45
1.1K
rlvect_5__1217_19.min1.thm1
2017-02-06 12:45
608
rlvect_5__1221_13.min1.thm1
2017-02-06 12:45
583
rlvect_5__1228_22.min1.thm1
2017-02-06 12:45
947
rlvect_5__1229_35.min1.thm1
2017-02-06 12:45
689
rlvect_5__1230_25.min1.thm1
2017-02-06 12:45
1.2K
rlvect_5__1232_20.min1.thm1
2017-02-06 12:45
1.5K
rlvect_5__1233_23.min1.thm1
2017-02-06 12:45
569
rlvect_5__1233_23.min1.thm1.tptp
2017-02-06 16:47
494
rlvect_5__1234_16.min1.thm1
2017-02-06 12:45
552
rlvect_5__1241_21.min1.thm1
2017-02-06 12:45
945
rlvect_5__1250_40.min1.thm1
2017-02-06 12:45
532
rlvect_5__1252_40.min1.thm1
2017-02-06 12:45
532
rlvect_5__1253_42.min1.thm1
2017-02-06 12:45
1.6K
rlvect_5__1264_20.min1.thm1
2017-02-06 12:45
498
rlvect_5__1265_16.min1.thm1
2017-02-06 12:45
1.7K
rlvect_5__1267_23.min1.thm1
2017-02-06 12:45
1.0K
rlvect_5__1291_13.min1.thm1
2017-02-06 12:45
1.0K
rlvect_5__1292_16.min1.thm1
2017-02-06 12:45
927
rlvect_5__1293_17.min1.thm1
2017-02-06 12:45
494
rlvect_5__1303_50.min1.thm1
2017-02-06 12:45
1.4K
rlvect_5__1304_61.min1.thm1
2017-02-06 12:45
1.6K
rlvect_5__1307_61.min1.thm1
2017-02-06 12:45
1.6K
rlvect_5__1309_17.min1.thm1
2017-02-06 12:45
1.5K
rlvect_5__1316_61.min1.thm1
2017-02-06 12:45
497
rlvect_5__1317_30.min1.thm1
2017-02-06 12:45
1.3K
rlvect_5__1319_31.min1.thm1
2017-02-06 12:45
1.2K
rlvect_5__1322_48.min1.thm1
2017-02-06 12:45
1.2K
rlvect_5__1323_26.min1.thm1
2017-02-06 12:45
1.6K
rlvect_5__1324_17.min1.thm1
2017-02-06 12:45
1.1K
rlvect_5__1332_13.min1.thm1
2017-02-06 12:45
1.2K
rlvect_5__1334_21.min1.thm1
2017-02-06 12:45
927
rlvect_5__1335_17.min1.thm1
2017-02-06 12:45
2.2K
rlvect_5__1344_18.min1.thm1
2017-02-06 12:45
1.1K
rlvect_5__1351_16.min1.thm1
2017-02-06 12:45
843
rlvect_5__1351_16.min1.thm1.tptp
2017-02-06 16:47
782
rlvect_5__1360_16.min1.thm1
2017-02-06 12:45
361
rlvect_5__1377_22.min1.thm1
2017-02-06 12:45
1.0K
rlvect_5__1379_14.min1.thm1
2017-02-06 12:45
1.0K
rlvect_5__1380_46.min1.thm1
2017-02-06 12:45
1.3K
rlvect_5__1381_16.min1.thm1
2017-02-06 12:45
438
rlvect_5__1381_16.min1.thm1.tptp
2017-02-06 16:47
375
rlvect_5__1390_22.min1.thm1
2017-02-06 12:45
1.0K
rlvect_5__1391_17.min1.thm1
2017-02-06 12:45
619
rlvect_5__1392_19.min1.thm1
2017-02-06 12:45
696
rlvect_5__1403_37.min1.thm1
2017-02-06 12:45
814
rlvect_5__1405_39.min1.thm1
2017-02-06 12:45
1.8K
rlvect_5__1407_29.min1.thm1
2017-02-06 12:45
1.7K
rlvect_5__1408_29.min1.thm1
2017-02-06 12:45
2.1K
rlvect_5__1409_48.min1.thm1
2017-02-06 12:45
2.6K
rlvect_5__1414_19.min1.thm1
2017-02-06 12:45
2.3K
rlvect_5__1415_17.min1.thm1
2017-02-06 12:45
2.2K
rlvect_5__1429_34.min1.thm1
2017-02-06 12:45
1.9K
rlvect_5__1434_36.min1.thm1
2017-02-06 12:45
2.4K
rlvect_5__1435_19.min1.thm1
2017-02-06 12:45
2.6K
rlvect_5__1436_14.min1.thm1
2017-02-06 12:45
462
rlvect_5__1443_22.min1.thm1
2017-02-06 12:45
948
rlvect_5__1443_22.min1.thm1.tptp
2017-02-06 16:47
887
rlvect_5__1444_37.min1.thm1
2017-02-06 12:45
972
rlvect_5__1444_37.min1.thm1.tptp
2017-02-06 16:47
897
rlvect_5__1445_16.min1.thm1
2017-02-06 12:45
1.4K
rlvect_5__1446_47.min1.thm1
2017-02-06 12:45
2.2K
rlvect_5__1447_17.min1.thm1
2017-02-06 12:45
1.4K
rlvect_5__1454_22.min1.thm1
2017-02-06 12:45
948
rlvect_5__1454_22.min1.thm1.tptp
2017-02-06 16:47
887
rlvect_5__1458_13.min1.thm1
2017-02-06 12:45
1.3K
rlvect_5__1459_43.min1.thm1
2017-02-06 12:45
1.7K
rlvect_5__1461_45.min1.thm1
2017-02-06 12:45
1.2K
rlvect_5__1464_21.min1.thm1
2017-02-06 12:45
2.4K
rlvect_5__1465_18.min1.thm1
2017-02-06 12:45
1.2K
rlvect_5__1468_20.min1.thm1
2017-02-06 12:45
516
rlvect_5__1469_31.min1.thm1
2017-02-06 12:45
968
rlvect_5__1472_31.min1.thm1
2017-02-06 12:45
958
rlvect_5__1473_31.min1.thm1
2017-02-06 12:45
1.7K
rlvect_5__1474_37.min1.thm1
2017-02-06 12:45
1.0K
rlvect_5__1474_37.min1.thm1.tptp
2017-02-06 16:47
899
rlvect_5__1475_18.min1.thm1
2017-02-06 12:45
1.5K
rlvect_5__1477_30.min1.thm1
2017-02-06 12:45
2.3K
rlvect_5__1478_21.min1.thm1
2017-02-06 12:45
1.5K
rlvect_5__1479_31.min1.thm1
2017-02-06 12:45
274
rlvect_5__1482_22.min1.thm1
2017-02-06 12:45
1.7K
rlvect_5__1483_32.min1.thm1
2017-02-06 12:45
1.3K
rlvect_5__1485_40.min1.thm1
2017-02-06 12:45
1.0K
rlvect_5__1486_28.min1.thm1
2017-02-06 12:45
1.4K
rlvect_5__1488_34.min1.thm1
2017-02-06 12:45
1.7K
rlvect_5__1489_16.min1.thm1
2017-02-06 12:45
1.9K
rlvect_5__1490_32.min1.thm1
2017-02-06 12:45
1.8K
rlvect_5__1491_29.min1.thm1
2017-02-06 12:45
333
rlvect_5__1492_29.min1.thm1
2017-02-06 12:45
333
rlvect_5__1493_19.min1.thm1
2017-02-06 12:45
1.3K
rlvect_5__1494_20.min1.thm1
2017-02-06 12:45
1.4K
rlvect_5__1495_16.min1.thm1
2017-02-06 12:45
2.0K
rlvect_5__1496_15.min1.thm1
2017-02-06 12:45
2.1K
rlvect_5__1497_14.min1.thm1
2017-02-06 12:45
274
rlvect_5__1504_22.min1.thm1
2017-02-06 12:45
948
rlvect_5__1504_22.min1.thm1.tptp
2017-02-06 16:47
887
rlvect_5__1507_22.min1.thm1
2017-02-06 12:45
950
rlvect_5__1507_22.min1.thm1.tptp
2017-02-06 16:47
889
rlvect_5__1509_22.min1.thm1
2017-02-06 12:45
1.5K
rlvect_5__1511_28.min1.thm1
2017-02-06 12:45
861
rlvect_5__1512_37.min1.thm1
2017-02-06 12:45
1.0K
rlvect_5__1512_37.min1.thm1.tptp
2017-02-06 16:47
899
rlvect_5__1513_18.min1.thm1
2017-02-06 12:45
1.4K
rlvect_5__1514_17.min1.thm1
2017-02-06 12:45
957
rlvect_5__1515_27.min1.thm1
2017-02-06 12:45
272
rlvect_5__1519_35.min1.thm1
2017-02-06 12:45
1.2K
rlvect_5__1523_36.min1.thm1
2017-02-06 12:45
1.0K
rlvect_5__1524_24.min1.thm1
2017-02-06 12:45
1.5K
rlvect_5__1525_29.min1.thm1
2017-02-06 12:45
1.2K
rlvect_5__1526_17.min1.thm1
2017-02-06 12:45
1.6K
rlvect_5__1534_22.min1.thm1
2017-02-06 12:45
950
rlvect_5__1534_22.min1.thm1.tptp
2017-02-06 16:47
889
rlvect_5__1536_22.min1.thm1
2017-02-06 12:45
1.5K
rlvect_5__1538_14.min1.thm1
2017-02-06 12:45
551
rlvect_5__1539_13.min1.thm1
2017-02-06 12:45
347
rlvect_5__1539_13.min1.thm1.tptp
2017-02-06 16:47
282
rlvect_5__1540_36.min1.thm1
2017-02-06 12:45
529
rlvect_5__1541_34.min1.thm1
2017-02-06 12:45
1.8K
rlvect_5__1543_15.min1.thm1
2017-02-06 12:45
1.1K
rlvect_5__1544_34.min1.thm1
2017-02-06 12:45
2.2K
rlvect_5__1545_50.min1.thm1
2017-02-06 12:45
1.4K
rlvect_5__1549_62.min1.thm1
2017-02-06 12:45
1.7K
rlvect_5__1552_24.min1.thm1
2017-02-06 12:45
1.9K
rlvect_5__1553_17.min1.thm1
2017-02-06 12:45
1.3K
rlvect_5__1554_17.min1.thm1
2017-02-06 12:45
2.1K
rlvect_5__1563_22.min1.thm1
2017-02-06 12:45
950
rlvect_5__1563_22.min1.thm1.tptp
2017-02-06 16:47
889
rlvect_5__1566_17.min1.thm1
2017-02-06 12:45
1.5K
rlvect_5__1568_13.min1.thm1
2017-02-06 12:45
708
rlvect_5__1569_34.min1.thm1
2017-02-06 12:45
529
rlvect_5__1572_32.min1.thm1
2017-02-06 12:45
1.6K
rlvect_5__1573_20.min1.thm1
2017-02-06 12:45
1.2K
rlvect_5__1578_19.min1.thm1
2017-02-06 12:45
472
rlvect_5__1578_19.min1.thm1.tptp
2017-02-06 16:47
406
rlvect_5__1579_34.min1.thm1
2017-02-06 12:45
531
rlvect_5__1580_13.min1.thm1
2017-02-06 12:45
1.4K
rlvect_5__1585_24.min1.thm1
2017-02-06 12:45
512
rlvect_5__1585_24.min1.thm1.tptp
2017-02-06 16:47
446
rlvect_5__1587_28.min1.thm1
2017-02-06 12:45
489
rlvect_5__1587_28.min1.thm1.tptp
2017-02-06 16:47
425
rlvect_5__1589_33.min1.thm1
2017-02-06 12:45
749
rlvect_5__1590_24.min1.thm1
2017-02-06 12:45
1.5K
rlvect_5__1591_20.min1.thm1
2017-02-06 12:45
701
rlvect_5__1594_47.min1.thm1
2017-02-06 12:45
1.3K
rlvect_5__1595_23.min1.thm1
2017-02-06 12:45
505
rlvect_5__1595_23.min1.thm1.tptp
2017-02-06 16:47
441
rlvect_5__1597_18.min1.thm1
2017-02-06 12:45
596
rlvect_5__1599_38.min1.thm1
2017-02-06 12:45
1.5K
rlvect_5__1600_37.min1.thm1
2017-02-06 12:45
1.6K
rlvect_5__1601_21.min1.thm1
2017-02-06 12:45
1.0K
rlvect_5__1601_21.min1.thm1.tptp
2017-02-06 16:47
899
rlvect_5__1604_12.min1.thm1
2017-02-06 12:45
1.0K
rlvect_5__1610_35.min1.thm1
2017-02-06 12:45
1.2K
rlvect_5__1612_28.min1.thm1
2017-02-06 12:45
2.1K
rlvect_5__1613_20.min1.thm1
2017-02-06 12:45
1.4K
rlvect_5__1620_33.min1.thm1
2017-02-06 12:45
814
rlvect_5__1621_36.min1.thm1
2017-02-06 12:45
441
rlvect_5__1624_31.min1.thm1
2017-02-06 12:45
1.0K
rlvect_5__1627_31.min1.thm1
2017-02-06 12:45
1.0K
rlvect_5__1630_41.min1.thm1
2017-02-06 12:45
2.1K
rlvect_5__1631_41.min1.thm1
2017-02-06 12:45
2.1K
rlvect_5__1633_33.min1.thm1
2017-02-06 12:45
1.9K
rlvect_5__1634_67.min1.thm1
2017-02-06 12:45
1.3K
rlvect_5__1639_14.min1.thm1
2017-02-06 12:45
724
rlvect_5__1641_36.min1.thm1
2017-02-06 12:45
2.2K
rlvect_5__1644_44.min1.thm1
2017-02-06 12:45
1.7K
rlvect_5__1645_43.min1.thm1
2017-02-06 12:45
595
rlvect_5__1648_52.min1.thm1
2017-02-06 12:45
2.1K
rlvect_5__1650_30.min1.thm1
2017-02-06 12:45
710
rlvect_5__1652_32.min1.thm1
2017-02-06 12:45
498
rlvect_5__1652_32.min1.thm1.tptp
2017-02-06 16:47
436
rlvect_5__1653_44.min1.thm1
2017-02-06 12:45
1.0K
rlvect_5__1654_36.min1.thm1
2017-02-06 12:45
1.0K
rlvect_5__1660_32.min1.thm1
2017-02-06 12:45
498
rlvect_5__1660_32.min1.thm1.tptp
2017-02-06 16:47
436
rlvect_5__1661_30.min1.thm1
2017-02-06 12:45
1.1K
rlvect_5__1662_23.min1.thm1
2017-02-06 12:45
1.0K
rlvect_5__1665_17.min1.thm1
2017-02-06 12:45
539
rlvect_5__1666_15.min1.thm1
2017-02-06 12:45
277
rlvect_5__1668_16.min1.thm1
2017-02-06 12:45
591
rlvect_5__1669_14.min1.thm1
2017-02-06 12:45
818
rlvect_5__1671_36.min1.thm1
2017-02-06 12:45
2.2K
rlvect_5__1673_59.min1.thm1
2017-02-06 12:45
550
rlvect_5__1674_40.min1.thm1
2017-02-06 12:45
1.6K
rlvect_5__1676_38.min1.thm1
2017-02-06 12:45
2.3K
rlvect_5__1677_50.min1.thm1
2017-02-06 12:45
2.1K
rlvect_5__1680_25.min1.thm1
2017-02-06 12:45
1.0K
rlvect_5__1681_13.min1.thm1
2017-02-06 12:45
774
rlvect_5__1689_19.min1.thm1
2017-02-06 12:45
1.8K
rlvect_5__1692_26.min1.thm1
2017-02-06 12:45
466
rlvect_5__1692_26.min1.thm1.tptp
2017-02-06 16:47
404
rlvect_5__1693_57.min1.thm1
2017-02-06 12:45
1.0K
rlvect_5__1694_43.min1.thm1
2017-02-06 12:45
723
rlvect_5__1695_27.min1.thm1
2017-02-06 12:45
2.4K
rlvect_5__1697_40.min1.thm1
2017-02-06 12:45
2.0K
rlvect_5__1700_18.min1.thm1
2017-02-06 12:45
1.0K
rlvect_5__1701_22.min1.thm1
2017-02-06 12:45
578
rlvect_5__1707_61.min1.thm1
2017-02-06 12:45
2.4K
rlvect_5__1710_48.min1.thm1
2017-02-06 12:45
1.0K
rlvect_5__1711_48.min1.thm1
2017-02-06 12:45
1.0K
rlvect_5__1723_9.min1.thm1
2017-02-06 12:45
1.1K
rlvect_5__1730_18.min1.thm1
2017-02-06 12:45
269
rlvect_5__1731_48.min1.thm1
2017-02-06 12:45
376
rlvect_5__1731_48.min1.thm1.tptp
2017-02-06 16:47
304
rlvect_5__1738_24.min1.thm1
2017-02-06 12:45
1.1K
rlvect_5__1739_13.min1.thm1
2017-02-06 12:45
1.0K
rlvect_5__1754_11.min1.thm1
2017-02-06 12:45
927
rlvect_5__1757_30.min1.thm1
2017-02-06 12:45
2.4K
rlvect_5__1764_21.min1.thm1
2017-02-06 12:45
2.1K
rlvect_5__1773_25.min1.thm1
2017-02-06 12:45
2.7K
rlvect_5__1790_36.min1.thm1
2017-02-06 12:45
835
rlvect_5__1798_36.min1.thm1
2017-02-06 12:45
835
rlvect_5__1805_20.min1.thm1
2017-02-06 12:45
512
rlvect_5__1806_34.min1.thm1
2017-02-06 12:45
1.9K
rlvect_5__1807_25.min1.thm1
2017-02-06 12:45
969
rlvect_5__1812_23.min1.thm1
2017-02-06 12:45
2.5K
rlvect_5__1813_30.min1.thm1
2017-02-06 12:45
725
rlvect_5__1816_23.min1.thm1
2017-02-06 12:45
2.5K
rlvect_5__1820_30.min1.thm1
2017-02-06 12:45
1.2K
rlvect_5__1820_30.min1.thm1.tptp
2017-02-06 16:47
1.1K
rlvect_5__1821_32.min1.thm1
2017-02-06 12:45
1.0K
rlvect_5__1825_47.min1.thm1
2017-02-06 12:45
2.1K
rlvect_5__1826_31.min1.thm1
2017-02-06 12:45
2.5K
rlvect_5__1829_19.min1.thm1
2017-02-06 12:45
1.1K
rlvect_5__1833_47.min1.thm1
2017-02-06 12:45
2.1K
rlvect_5__1835_24.min1.thm1
2017-02-06 12:45
2.4K
rlvect_5__1839_24.min1.thm1
2017-02-06 12:45
1.9K
rlvect_5__1843_19.min1.thm1
2017-02-06 12:45
1.4K
rlvect_5__1844_36.min1.thm1
2017-02-06 12:45
1.6K
rlvect_5__1845_20.min1.thm1
2017-02-06 12:45
1.7K
rlvect_5__1847_20.min1.thm1
2017-02-06 12:45
1.8K
rlvect_5__1848_36.min1.thm1
2017-02-06 12:45
1.6K
rlvect_5__1849_20.min1.thm1
2017-02-06 12:45
1.7K
rlvect_5__1851_20.min1.thm1
2017-02-06 12:45
1.8K
rlvect_5__1855_25.min1.thm1
2017-02-06 12:45
1.9K
rlvect_5__1860_24.min1.thm1
2017-02-06 12:45
1.9K
rlvect_5__1865_52.min1.thm1
2017-02-06 12:45
1.6K
rlvect_5__1867_24.min1.thm1
2017-02-06 12:45
1.2K
rlvect_5__1868_40.min1.thm1
2017-02-06 12:45
1.9K
rlvect_5__1898_35.min1.thm1
2017-02-06 12:45
1.3K
rlvect_5__1899_21.min1.thm1
2017-02-06 12:45
1.2K
rlvect_5__1901_24.min1.thm1
2017-02-06 12:45
1.4K
rlvect_5__1905_15.min1.thm1
2017-02-06 12:45
857
rlvect_5__1905_15.min1.thm1.tptp
2017-02-06 16:47
782
rlvect_5__1906_14.min1.thm1
2017-02-06 12:45
350
rlvect_5__1914_22.min1.thm1
2017-02-06 12:45
948
rlvect_5__1914_22.min1.thm1.tptp
2017-02-06 16:47
887
rlvect_5__1916_21.min1.thm1
2017-02-06 12:45
1.5K
rlvect_5__1918_17.min1.thm1
2017-02-06 12:45
1.4K
rlvect_5__1919_32.min1.thm1
2017-02-06 12:45
652
rlvect_5__1920_66.min1.thm1
2017-02-06 12:45
1.4K
rlvect_5__1921_30.min1.thm1
2017-02-06 12:45
1.3K
rlvect_5__1923_14.min1.thm1
2017-02-06 12:45
434
rlvect_5__1923_14.min1.thm1.tptp
2017-02-06 16:47
357
rlvect_5__1946_53.min1.thm1
2017-02-06 12:45
1.1K
rlvect_5__1947_20.min1.thm1
2017-02-06 12:45
1.2K
rlvect_5__1948_66.min1.thm1
2017-02-06 12:45
566
rlvect_5__1954_24.min1.thm1
2017-02-06 12:45
1.8K
rlvect_5__1955_33.min1.thm1
2017-02-06 12:45
374
rlvect_5__1956_34.min1.thm1
2017-02-06 12:45
2.0K
rlvect_5__1958_19.min1.thm1
2017-02-06 12:45
2.2K
rlvect_5__1960_24.min1.thm1
2017-02-06 12:45
1.3K
rlvect_5__1961_21.min1.thm1
2017-02-06 12:45
1.5K
rlvect_5__1963_16.min1.thm1
2017-02-06 12:45
502
rlvect_5__1976_68.min1.thm1
2017-02-06 12:45
519
rlvect_5__1976_68.min1.thm1.tptp
2017-02-06 16:47
460
rlvect_5__1977_24.min1.thm1
2017-02-06 12:45
519
rlvect_5__1977_24.min1.thm1.tptp
2017-02-06 16:47
460
rlvect_5__1980_66.min1.thm1
2017-02-06 12:45
515
rlvect_5__1980_66.min1.thm1.tptp
2017-02-06 16:47
456
rlvect_5__1981_21.min1.thm1
2017-02-06 12:45
515
rlvect_5__1981_21.min1.thm1.tptp
2017-02-06 16:47
456
rlvect_5__1983_19.min1.thm1
2017-02-06 12:45
374
rlvect_5__1983_19.min1.thm1.tptp
2017-02-06 16:47
314
rlvect_5__2002_28.min1.thm1
2017-02-06 12:45
428
rlvect_5__2017_17.min1.thm1
2017-02-06 12:45
433
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80