Index of /~mptp/1147/MPTP2/ilp0/rfinseq
Name
Last modified
Size
Description
Parent Directory
-
rfinseq__45_11.min1.thm1
2017-02-06 12:46
667
rfinseq__59_40.min1.thm1
2017-02-06 12:46
930
rfinseq__71_42.min1.thm1
2017-02-06 12:46
1.5K
rfinseq__83_26.min1.thm1
2017-02-06 12:46
1.2K
rfinseq__91_24.min1.thm1
2017-02-06 12:46
770
rfinseq__94_56.min1.thm1
2017-02-06 12:46
1.3K
rfinseq__95_24.min1.thm1
2017-02-06 12:46
770
rfinseq__96_33.min1.thm1
2017-02-06 12:46
1.0K
rfinseq__97_25.min1.thm1
2017-02-06 12:46
908
rfinseq__98_25.min1.thm1
2017-02-06 12:46
689
rfinseq__99_15.min1.thm1
2017-02-06 12:46
1.0K
rfinseq__100_17.min1.thm1
2017-02-06 12:46
940
rfinseq__113_25.min1.thm1
2017-02-06 12:46
719
rfinseq__118_31.min1.thm1
2017-02-06 12:46
202
rfinseq__119_40.min1.thm1
2017-02-06 12:46
2.8K
rfinseq__134_18.min1.thm1
2017-02-06 12:46
1.2K
rfinseq__135_44.min1.thm1
2017-02-06 12:46
1.7K
rfinseq__144_40.min1.thm1
2017-02-06 12:46
688
rfinseq__148_22.min1.thm1
2017-02-06 12:46
593
rfinseq__158_21.min1.thm1
2017-02-06 12:46
559
rfinseq__161_21.min1.thm1
2017-02-06 12:46
637
rfinseq__166_35.min1.thm1
2017-02-06 12:46
922
rfinseq__168_13.min1.thm1
2017-02-06 12:46
594
rfinseq__175_45.min1.thm1
2017-02-06 12:46
922
rfinseq__179_39.min1.thm1
2017-02-06 12:46
1.0K
rfinseq__181_13.min1.thm1
2017-02-06 12:46
2.1K
rfinseq__182_14.min1.thm1
2017-02-06 12:46
553
rfinseq__184_23.min1.thm1
2017-02-06 12:46
706
rfinseq__185_20.min1.thm1
2017-02-06 12:46
544
rfinseq__187_20.min1.thm1
2017-02-06 12:46
390
rfinseq__187_20.min1.thm1.tptp
2017-02-06 16:47
312
rfinseq__188_11.min1.thm1
2017-02-06 12:46
531
rfinseq__190_16.min1.thm1
2017-02-06 12:46
364
rfinseq__190_16.min1.thm1.tptp
2017-02-06 16:47
286
rfinseq__193_20.min1.thm1
2017-02-06 12:46
412
rfinseq__193_20.min1.thm1.tptp
2017-02-06 16:47
338
rfinseq__194_62.min1.thm1
2017-02-06 12:46
1.2K
rfinseq__197_31.min1.thm1
2017-02-06 12:46
725
rfinseq__198_22.min1.thm1
2017-02-06 12:46
705
rfinseq__199_21.min1.thm1
2017-02-06 12:46
504
rfinseq__199_21.min1.thm1.tptp
2017-02-06 16:47
433
rfinseq__200_45.min1.thm1
2017-02-06 12:46
779
rfinseq__201_41.min1.thm1
2017-02-06 12:46
1.1K
rfinseq__202_24.min1.thm1
2017-02-06 12:46
566
rfinseq__203_24.min1.thm1
2017-02-06 12:46
755
rfinseq__205_15.min1.thm1
2017-02-06 12:46
277
rfinseq__211_21.min1.thm1
2017-02-06 12:46
278
rfinseq__214_23.min1.thm1
2017-02-06 12:46
393
rfinseq__214_23.min1.thm1.tptp
2017-02-06 16:47
328
rfinseq__215_31.min1.thm1
2017-02-06 12:46
1.0K
rfinseq__218_29.min1.thm1
2017-02-06 12:46
721
rfinseq__219_33.min1.thm1
2017-02-06 12:46
752
rfinseq__221_32.min1.thm1
2017-02-06 12:46
656
rfinseq__225_21.min1.thm1
2017-02-06 12:46
278
rfinseq__228_23.min1.thm1
2017-02-06 12:46
347
rfinseq__228_23.min1.thm1.tptp
2017-02-06 16:47
282
rfinseq__229_31.min1.thm1
2017-02-06 12:46
837
rfinseq__232_29.min1.thm1
2017-02-06 12:46
872
rfinseq__233_33.min1.thm1
2017-02-06 12:46
689
rfinseq__234_44.min1.thm1
2017-02-06 12:46
1.0K
rfinseq__244_26.min1.thm1
2017-02-06 12:46
597
rfinseq__244_26.min1.thm1.tptp
2017-02-06 16:47
532
rfinseq__246_23.min1.thm1
2017-02-06 12:46
417
rfinseq__246_23.min1.thm1.tptp
2017-02-06 16:47
352
rfinseq__255_26.min1.thm1
2017-02-06 12:46
593
rfinseq__255_26.min1.thm1.tptp
2017-02-06 16:47
528
rfinseq__257_23.min1.thm1
2017-02-06 12:46
463
rfinseq__257_23.min1.thm1.tptp
2017-02-06 16:47
398
rfinseq__260_44.min1.thm1
2017-02-06 12:46
745
rfinseq__267_23.min1.thm1
2017-02-06 12:46
1.4K
rfinseq__268_11.min1.thm1
2017-02-06 12:46
380
rfinseq__268_11.min1.thm1.tptp
2017-02-06 16:47
307
rfinseq__281_35.min1.thm1
2017-02-06 12:46
249
rfinseq__298_56.min1.thm1
2017-02-06 12:46
1.8K
rfinseq__304_31.min1.thm1
2017-02-06 12:46
582
rfinseq__304_31.min1.thm1.tptp
2017-02-06 16:47
513
rfinseq__307_21.min1.thm1
2017-02-06 12:46
684
rfinseq__309_15.min1.thm1
2017-02-06 12:46
562
rfinseq__324_50.min1.thm1
2017-02-06 12:46
1.0K
rfinseq__329_30.min1.thm1
2017-02-06 12:46
635
rfinseq__330_28.min1.thm1
2017-02-06 12:46
1.2K
rfinseq__332_21.min1.thm1
2017-02-06 12:46
1.1K
rfinseq__334_15.min1.thm1
2017-02-06 12:46
282
rfinseq__336_13.min1.thm1
2017-02-06 12:46
129
rfinseq__345_13.min1.thm1
2017-02-06 12:46
248
rfinseq__349_18.min1.thm1
2017-02-06 12:46
1.6K
rfinseq__356_18.min1.thm1
2017-02-06 12:46
1.3K
rfinseq__360_17.min1.thm1
2017-02-06 12:46
481
rfinseq__362_22.min1.thm1
2017-02-06 12:46
1.3K
rfinseq__365_24.min1.thm1
2017-02-06 12:46
1.8K
rfinseq__366_23.min1.thm1
2017-02-06 12:46
1.6K
rfinseq__368_24.min1.thm1
2017-02-06 12:46
1.0K
rfinseq__369_21.min1.thm1
2017-02-06 12:46
1.2K
rfinseq__372_27.min1.thm1
2017-02-06 12:46
1.6K
rfinseq__373_18.min1.thm1
2017-02-06 12:46
380
rfinseq__373_18.min1.thm1.tptp
2017-02-06 16:47
297
rfinseq__383_24.min1.thm1
2017-02-06 12:46
1.1K
rfinseq__397_20.min1.thm1
2017-02-06 12:46
1.6K
rfinseq__398_33.min1.thm1
2017-02-06 12:46
1.7K
rfinseq__400_21.min1.thm1
2017-02-06 12:46
1.6K
rfinseq__415_17.min1.thm1
2017-02-06 12:46
1.8K
rfinseq__416_24.min1.thm1
2017-02-06 12:46
1.1K
rfinseq__417_13.min1.thm1
2017-02-06 12:46
937
rfinseq__423_11.min1.thm1
2017-02-06 12:46
1.8K
rfinseq__424_15.min1.thm1
2017-02-06 12:46
1.8K
rfinseq__426_15.min1.thm1
2017-02-06 12:46
226
rfinseq__433_21.min1.thm1
2017-02-06 12:46
1.4K
rfinseq__435_15.min1.thm1
2017-02-06 12:46
1.0K
rfinseq__436_20.min1.thm1
2017-02-06 12:46
1.1K
rfinseq__439_30.min1.thm1
2017-02-06 12:46
1.4K
rfinseq__445_28.min1.thm1
2017-02-06 12:46
776
rfinseq__448_15.min1.thm1
2017-02-06 12:46
716
rfinseq__459_13.min1.thm1
2017-02-06 12:46
246
rfinseq__463_21.min1.thm1
2017-02-06 12:46
1.4K
rfinseq__467_26.min1.thm1
2017-02-06 12:46
1.1K
rfinseq__468_22.min1.thm1
2017-02-06 12:46
1.1K
rfinseq__469_27.min1.thm1
2017-02-06 12:46
1.6K
rfinseq__473_25.min1.thm1
2017-02-06 12:46
1.4K
rfinseq__479_19.min1.thm1
2017-02-06 12:46
1.8K
rfinseq__480_15.min1.thm1
2017-02-06 12:46
1.8K
rfinseq__482_19.min1.thm1
2017-02-06 12:46
244
rfinseq__485_24.min1.thm1
2017-02-06 12:46
1.1K
rfinseq__488_25.min1.thm1
2017-02-06 12:46
675
rfinseq__495_56.min1.thm1
2017-02-06 12:46
671
rfinseq__496_21.min1.thm1
2017-02-06 12:46
1.1K
rfinseq__503_27.min1.thm1
2017-02-06 12:46
2.3K
rfinseq__507_38.min1.thm1
2017-02-06 12:46
968
rfinseq__512_14.min1.thm1
2017-02-06 12:46
752
rfinseq__524_19.min1.thm1
2017-02-06 12:46
178
rfinseq__535_20.min1.thm1
2017-02-06 12:46
1.4K
rfinseq__536_12.min1.thm1
2017-02-06 12:46
1.4K
rfinseq__537_28.min1.thm1
2017-02-06 12:46
2.2K
rfinseq__539_22.min1.thm1
2017-02-06 12:46
1.6K
rfinseq__542_14.min1.thm1
2017-02-06 12:46
1.5K
rfinseq__544_15.min1.thm1
2017-02-06 12:46
1.4K
rfinseq__546_18.min1.thm1
2017-02-06 12:46
1.1K
rfinseq__547_12.min1.thm1
2017-02-06 12:46
1.3K
rfinseq__548_28.min1.thm1
2017-02-06 12:46
1.1K
rfinseq__549_49.min1.thm1
2017-02-06 12:46
1.1K
rfinseq__553_23.min1.thm1
2017-02-06 12:46
787
rfinseq__554_17.min1.thm1
2017-02-06 12:46
828
rfinseq__559_24.min1.thm1
2017-02-06 12:46
655
rfinseq__561_32.min1.thm1
2017-02-06 12:46
1.3K
rfinseq__564_16.min1.thm1
2017-02-06 12:46
1.4K
rfinseq__568_40.min1.thm1
2017-02-06 12:46
1.3K
rfinseq__580_17.min1.thm1
2017-02-06 12:46
1.8K
rfinseq__593_33.min1.thm1
2017-02-06 12:46
1.6K
rfinseq__594_21.min1.thm1
2017-02-06 12:46
1.3K
rfinseq__595_19.min1.thm1
2017-02-06 12:46
377
rfinseq__595_19.min1.thm1.tptp
2017-02-06 16:47
297
rfinseq__609_13.min1.thm1
2017-02-06 12:46
214
rfinseq__613_48.min1.thm1
2017-02-06 12:46
399
rfinseq__620_21.min1.thm1
2017-02-06 12:46
1.4K
rfinseq__641_19.min1.thm1
2017-02-06 12:46
1.1K
rfinseq__642_33.min1.thm1
2017-02-06 12:46
813
rfinseq__656_26.min1.thm1
2017-02-06 12:46
1.2K
rfinseq__663_13.min1.thm1
2017-02-06 12:46
1.8K
rfinseq__666_17.min1.thm1
2017-02-06 12:46
238
rfinseq__669_30.min1.thm1
2017-02-06 12:46
819
rfinseq__674_20.min1.thm1
2017-02-06 12:46
1.9K
rfinseq__675_28.min1.thm1
2017-02-06 12:46
2.0K
rfinseq__678_28.min1.thm1
2017-02-06 12:46
945
rfinseq__679_30.min1.thm1
2017-02-06 12:46
1.1K
rfinseq__682_23.min1.thm1
2017-02-06 12:46
573
rfinseq__697_10.min1.thm1
2017-02-06 12:46
1.4K
rfinseq__699_23.min1.thm1
2017-02-06 12:46
2.2K
rfinseq__700_19.min1.thm1
2017-02-06 12:46
2.2K
rfinseq__701_18.min1.thm1
2017-02-06 12:46
1.5K
rfinseq__703_42.min1.thm1
2017-02-06 12:46
3.3K
rfinseq__709_20.min1.thm1
2017-02-06 12:46
1.8K
rfinseq__713_27.min1.thm1
2017-02-06 12:46
1.8K
rfinseq__714_27.min1.thm1
2017-02-06 12:46
1.2K
rfinseq__715_20.min1.thm1
2017-02-06 12:46
956
rfinseq__718_14.min1.thm1
2017-02-06 12:46
949
rfinseq__724_12.min1.thm1
2017-02-06 12:46
1.9K
rfinseq__725_14.min1.thm1
2017-02-06 12:46
1.7K
rfinseq__727_15.min1.thm1
2017-02-06 12:46
234
rfinseq__735_16.min1.thm1
2017-02-06 12:46
1.4K
rfinseq__737_15.min1.thm1
2017-02-06 12:46
1.8K
rfinseq__739_21.min1.thm1
2017-02-06 12:46
857
rfinseq__743_15.min1.thm1
2017-02-06 12:46
1.3K
rfinseq__744_29.min1.thm1
2017-02-06 12:46
1.3K
rfinseq__750_31.min1.thm1
2017-02-06 12:46
1.3K
rfinseq__757_29.min1.thm1
2017-02-06 12:46
1.0K
rfinseq__760_13.min1.thm1
2017-02-06 12:46
904
rfinseq__775_19.min1.thm1
2017-02-06 12:46
955
rfinseq__777_24.min1.thm1
2017-02-06 12:46
1.3K
rfinseq__778_19.min1.thm1
2017-02-06 12:46
2.1K
rfinseq__779_18.min1.thm1
2017-02-06 12:46
1.5K
rfinseq__781_12.min1.thm1
2017-02-06 12:46
1.5K
rfinseq__786_14.min1.thm1
2017-02-06 12:46
949
rfinseq__792_12.min1.thm1
2017-02-06 12:46
1.8K
rfinseq__793_14.min1.thm1
2017-02-06 12:46
1.6K
rfinseq__795_15.min1.thm1
2017-02-06 12:46
234
rfinseq__798_25.min1.thm1
2017-02-06 12:46
1.2K
rfinseq__804_21.min1.thm1
2017-02-06 12:46
1.5K
rfinseq__809_19.min1.thm1
2017-02-06 12:46
240
rfinseq__813_18.min1.thm1
2017-02-06 12:46
1.9K
rfinseq__820_25.min1.thm1
2017-02-06 12:46
1.4K
rfinseq__822_19.min1.thm1
2017-02-06 12:46
1.8K
rfinseq__824_25.min1.thm1
2017-02-06 12:46
869
rfinseq__825_19.min1.thm1
2017-02-06 12:46
1.3K
rfinseq__827_28.min1.thm1
2017-02-06 12:46
1.3K
rfinseq__828_34.min1.thm1
2017-02-06 12:46
1.8K
rfinseq__829_34.min1.thm1
2017-02-06 12:46
1.2K
rfinseq__834_41.min1.thm1
2017-02-06 12:46
1.0K
rfinseq__837_37.min1.thm1
2017-02-06 12:46
1.0K
rfinseq__846_19.min1.thm1
2017-02-06 12:46
1.1K
rfinseq__847_14.min1.thm1
2017-02-06 12:46
1.5K
rfinseq__855_16.min1.thm1
2017-02-06 12:46
850
rfinseq__857_21.min1.thm1
2017-02-06 12:46
1.1K
rfinseq__863_17.min1.thm1
2017-02-06 12:46
592
rfinseq__864_27.min1.thm1
2017-02-06 12:46
1.3K
rfinseq__876_36.min1.thm1
2017-02-06 12:46
1.0K
rfinseq__887_21.min1.thm1
2017-02-06 12:46
859
rfinseq__890_13.min1.thm1
2017-02-06 12:46
246
rfinseq__894_21.min1.thm1
2017-02-06 12:46
2.2K
rfinseq__903_36.min1.thm1
2017-02-06 12:46
1.8K
rfinseq__904_27.min1.thm1
2017-02-06 12:46
1.8K
rfinseq__905_28.min1.thm1
2017-02-06 12:46
1.8K
rfinseq__914_20.min1.thm1
2017-02-06 12:46
3.1K
rfinseq__915_17.min1.thm1
2017-02-06 12:46
832
rfinseq__919_19.min1.thm1
2017-02-06 12:46
320
rfinseq__928_28.min1.thm1
2017-02-06 12:46
2.6K
rfinseq__934_25.min1.thm1
2017-02-06 12:46
2.4K
rfinseq__935_21.min1.thm1
2017-02-06 12:46
1.4K
rfinseq__947_30.min1.thm1
2017-02-06 12:46
945
rfinseq__952_14.min1.thm1
2017-02-06 12:46
665
rfinseq__973_15.min1.thm1
2017-02-06 12:46
192
rfinseq__977_22.min1.thm1
2017-02-06 12:46
2.3K
rfinseq__978_26.min1.thm1
2017-02-06 12:46
1.2K
rfinseq__983_19.min1.thm1
2017-02-06 12:46
642
rfinseq__984_30.min1.thm1
2017-02-06 12:46
1.5K
rfinseq__985_32.min1.thm1
2017-02-06 12:46
1.6K
rfinseq__986_53.min1.thm1
2017-02-06 12:46
1.1K
rfinseq__987_28.min1.thm1
2017-02-06 12:46
1.7K
rfinseq__989_45.min1.thm1
2017-02-06 12:46
3.1K
rfinseq__990_21.min1.thm1
2017-02-06 12:46
2.7K
rfinseq__993_28.min1.thm1
2017-02-06 12:46
1.9K
rfinseq__1008_16.min1.thm1
2017-02-06 12:46
448
rfinseq__1010_9.min1.thm1
2017-02-06 12:46
264
rfinseq__1024_15.min1.thm1
2017-02-06 12:46
2.7K
rfinseq__1025_22.min1.thm1
2017-02-06 12:46
3.1K
rfinseq__1048_29.min1.thm1
2017-02-06 12:46
2.3K
rfinseq__1065_27.min1.thm1
2017-02-06 12:46
1.9K
rfinseq__1066_18.min1.thm1
2017-02-06 12:46
1.9K
rfinseq__1072_17.min1.thm1
2017-02-06 12:46
1.6K
rfinseq__1074_17.min1.thm1
2017-02-06 12:46
1.2K
rfinseq__1076_32.min1.thm1
2017-02-06 12:46
821
rfinseq__1081_20.min1.thm1
2017-02-06 12:46
1.5K
rfinseq__1084_12.min1.thm1
2017-02-06 12:46
1.4K
rfinseq__1086_19.min1.thm1
2017-02-06 12:46
695
rfinseq__1096_15.min1.thm1
2017-02-06 12:46
1.1K
rfinseq__1108_16.min1.thm1
2017-02-06 12:46
308
rfinseq__1111_22.min1.thm1
2017-02-06 12:46
1.2K
rfinseq__1112_64.min1.thm1
2017-02-06 12:46
1.0K
rfinseq__1118_20.min1.thm1
2017-02-06 12:46
1.2K
rfinseq__1124_16.min1.thm1
2017-02-06 12:46
437
rfinseq__1125_29.min1.thm1
2017-02-06 12:46
1.8K
rfinseq__1130_14.min1.thm1
2017-02-06 12:46
317
rfinseq__1152_24.min1.thm1
2017-02-06 12:46
2.4K
rfinseq__1161_13.min1.thm1
2017-02-06 12:46
1.6K
rfinseq__1163_13.min1.thm1
2017-02-06 12:46
1.2K
rfinseq__1167_17.min1.thm1
2017-02-06 12:46
214
rfinseq__1174_21.min1.thm1
2017-02-06 12:46
1.0K
rfinseq__1181_18.min1.thm1
2017-02-06 12:46
603
rfinseq__1183_24.min1.thm1
2017-02-06 12:46
1.1K
rfinseq__1187_16.min1.thm1
2017-02-06 12:46
661
rfinseq__1192_13.min1.thm1
2017-02-06 12:46
1.7K
rfinseq__1204_13.min1.thm1
2017-02-06 12:46
186
rfinseq__1207_21.min1.thm1
2017-02-06 12:46
2.0K
rfinseq__1208_21.min1.thm1
2017-02-06 12:46
1.1K
rfinseq__1212_17.min1.thm1
2017-02-06 12:46
630
rfinseq__1214_23.min1.thm1
2017-02-06 12:46
1.5K
rfinseq__1216_17.min1.thm1
2017-02-06 12:46
252
rfinseq__1219_25.min1.thm1
2017-02-06 12:46
1.0K
rfinseq__1227_34.min1.thm1
2017-02-06 12:46
1.8K
rfinseq__1233_35.min1.thm1
2017-02-06 12:46
1.4K
rfinseq__1238_18.min1.thm1
2017-02-06 12:46
734
rfinseq__1241_14.min1.thm1
2017-02-06 12:46
662
rfinseq__1255_13.min1.thm1
2017-02-06 12:46
813
rfinseq__1258_13.min1.thm1
2017-02-06 12:46
1.6K
rfinseq__1259_15.min1.thm1
2017-02-06 12:46
1.4K
rfinseq__1262_17.min1.thm1
2017-02-06 12:46
2.5K
rfinseq__1265_15.min1.thm1
2017-02-06 12:46
248
rfinseq__1269_29.min1.thm1
2017-02-06 12:46
1.9K
rfinseq__1281_28.min1.thm1
2017-02-06 12:46
2.0K
rfinseq__1282_18.min1.thm1
2017-02-06 12:46
2.3K
rfinseq__1285_14.min1.thm1
2017-02-06 12:46
851
rfinseq__1300_10.min1.thm1
2017-02-06 12:46
1.4K
rfinseq__1302_23.min1.thm1
2017-02-06 12:46
2.2K
rfinseq__1308_20.min1.thm1
2017-02-06 12:46
1.4K
rfinseq__1312_18.min1.thm1
2017-02-06 12:46
1.7K
rfinseq__1315_21.min1.thm1
2017-02-06 12:46
1.6K
rfinseq__1318_18.min1.thm1
2017-02-06 12:46
1.5K
rfinseq__1319_19.min1.thm1
2017-02-06 12:46
1.4K
rfinseq__1321_19.min1.thm1
2017-02-06 12:46
244
rfinseq__1328_25.min1.thm1
2017-02-06 12:46
1.7K
rfinseq__1336_21.min1.thm1
2017-02-06 12:46
1.6K
rfinseq__1339_18.min1.thm1
2017-02-06 12:46
1.5K
rfinseq__1340_19.min1.thm1
2017-02-06 12:46
1.4K
rfinseq__1342_19.min1.thm1
2017-02-06 12:46
244
rfinseq__1349_25.min1.thm1
2017-02-06 12:46
1.7K
rfinseq__1358_32.min1.thm1
2017-02-06 12:46
555
rfinseq__1363_26.min1.thm1
2017-02-06 12:46
1.4K
rfinseq__1377_64.min1.thm1
2017-02-06 12:46
471
rfinseq__1379_13.min1.thm1
2017-02-06 12:46
623
rfinseq__1389_15.min1.thm1
2017-02-06 12:46
1.8K
rfinseq__1391_33.min1.thm1
2017-02-06 12:46
1.7K
rfinseq__1392_20.min1.thm1
2017-02-06 12:46
1.3K
rfinseq__1393_24.min1.thm1
2017-02-06 12:46
1.2K
rfinseq__1394_46.min1.thm1
2017-02-06 12:46
609
rfinseq__1395_11.min1.thm1
2017-02-06 12:46
948
rfinseq__1400_26.min1.thm1
2017-02-06 12:46
1.2K
rfinseq__1405_36.min1.thm1
2017-02-06 12:46
537
rfinseq__1406_21.min1.thm1
2017-02-06 12:46
1.1K
rfinseq__1407_24.min1.thm1
2017-02-06 12:46
1.1K
rfinseq__1409_13.min1.thm1
2017-02-06 12:46
443
rfinseq__1427_21.min1.thm1
2017-02-06 12:46
1.4K
rfinseq__1430_23.min1.thm1
2017-02-06 12:46
1.5K
rfinseq__1432_19.min1.thm1
2017-02-06 12:46
490
rfinseq__1436_25.min1.thm1
2017-02-06 12:46
2.1K
rfinseq__1444_27.min1.thm1
2017-02-06 12:46
2.3K
rfinseq__1446_25.min1.thm1
2017-02-06 12:46
1.6K
rfinseq__1449_18.min1.thm1
2017-02-06 12:46
1.5K
rfinseq__1463_14.min1.thm1
2017-02-06 12:46
476
rfinseq__1466_18.min1.thm1
2017-02-06 12:46
1.5K
rfinseq__1467_41.min1.thm1
2017-02-06 12:46
480
rfinseq__1469_26.min1.thm1
2017-02-06 12:46
383
rfinseq__1469_26.min1.thm1.tptp
2017-02-06 16:47
297
rfinseq__1472_23.min1.thm1
2017-02-06 12:46
674
rfinseq__1478_32.min1.thm1
2017-02-06 12:46
1.1K
rfinseq__1479_51.min1.thm1
2017-02-06 12:46
1.1K
rfinseq__1480_16.min1.thm1
2017-02-06 12:46
1.2K
rfinseq__1483_18.min1.thm1
2017-02-06 12:46
1.8K
rfinseq__1487_30.min1.thm1
2017-02-06 12:46
1.9K
rfinseq__1491_34.min1.thm1
2017-02-06 12:46
1.8K
rfinseq__1512_19.min1.thm1
2017-02-06 12:46
290
rfinseq__1518_32.min1.thm1
2017-02-06 12:46
1.1K
rfinseq__1519_19.min1.thm1
2017-02-06 12:46
1.8K
rfinseq__1521_25.min1.thm1
2017-02-06 12:46
940
rfinseq__1524_25.min1.thm1
2017-02-06 12:46
2.0K
rfinseq__1527_27.min1.thm1
2017-02-06 12:46
1.4K
rfinseq__1541_23.min1.thm1
2017-02-06 12:46
236
rfinseq__1548_29.min1.thm1
2017-02-06 12:46
1.4K
rfinseq__1549_29.min1.thm1
2017-02-06 12:46
2.1K
rfinseq__1556_60.min1.thm1
2017-02-06 12:46
1.8K
rfinseq__1560_26.min1.thm1
2017-02-06 12:46
1.4K
rfinseq__1564_27.min1.thm1
2017-02-06 12:46
1.1K
rfinseq__1568_26.min1.thm1
2017-02-06 12:46
1.5K
rfinseq__1574_25.min1.thm1
2017-02-06 12:46
1.0K
rfinseq__1577_25.min1.thm1
2017-02-06 12:46
1.7K
rfinseq__1585_29.min1.thm1
2017-02-06 12:46
2.5K
rfinseq__1590_27.min1.thm1
2017-02-06 12:46
276
rfinseq__1593_42.min1.thm1
2017-02-06 12:46
1.4K
rfinseq__1606_28.min1.thm1
2017-02-06 12:46
2.0K
rfinseq__1607_36.min1.thm1
2017-02-06 12:46
1.9K
rfinseq__1612_29.min1.thm1
2017-02-06 12:46
1.4K
rfinseq__1613_34.min1.thm1
2017-02-06 12:46
1.6K
rfinseq__1623_26.min1.thm1
2017-02-06 12:46
2.1K
rfinseq__1626_22.min1.thm1
2017-02-06 12:46
2.0K
rfinseq__1629_18.min1.thm1
2017-02-06 12:46
2.1K
rfinseq__1635_43.min1.thm1
2017-02-06 12:46
1.3K
rfinseq__1648_14.min1.thm1
2017-02-06 12:46
721
rfinseq__1656_17.min1.thm1
2017-02-06 12:46
178
rfinseq__1658_17.min1.thm1
2017-02-06 12:46
1.5K
rfinseq__1673_78.min1.thm1
2017-02-06 12:46
958
rfinseq__1678_22.min1.thm1
2017-02-06 12:46
1.1K
rfinseq__1682_20.min1.thm1
2017-02-06 12:46
1.8K
rfinseq__1690_42.min1.thm1
2017-02-06 12:46
1.7K
rfinseq__1691_16.min1.thm1
2017-02-06 12:46
1.5K
rfinseq__1701_19.min1.thm1
2017-02-06 12:46
178
rfinseq__1720_19.min1.thm1
2017-02-06 12:46
1.6K
rfinseq__1721_21.min1.thm1
2017-02-06 12:46
441
rfinseq__1721_21.min1.thm1.tptp
2017-02-06 16:47
376
rfinseq__1722_23.min1.thm1
2017-02-06 12:46
1.4K
rfinseq__1723_23.min1.thm1
2017-02-06 12:46
2.0K
rfinseq__1725_21.min1.thm1
2017-02-06 12:46
443
rfinseq__1725_21.min1.thm1.tptp
2017-02-06 16:47
378
rfinseq__1726_17.min1.thm1
2017-02-06 12:46
1.3K
rfinseq__1735_21.min1.thm1
2017-02-06 12:46
435
rfinseq__1735_21.min1.thm1.tptp
2017-02-06 16:47
370
rfinseq__1737_19.min1.thm1
2017-02-06 12:46
2.6K
rfinseq__1739_19.min1.thm1
2017-02-06 12:46
434
rfinseq__1739_19.min1.thm1.tptp
2017-02-06 16:47
369
rfinseq__1742_17.min1.thm1
2017-02-06 12:46
1.8K
rfinseq__1755_41.min1.thm1
2017-02-06 12:46
1.5K
rfinseq__1756_20.min1.thm1
2017-02-06 12:46
2.5K
rfinseq__1757_8.min1.thm1
2017-02-06 12:46
2.0K
rfinseq__1758_24.min1.thm1
2017-02-06 12:46
419
rfinseq__1758_24.min1.thm1.tptp
2017-02-06 16:47
354
rfinseq__1776_11.min1.thm1
2017-02-06 12:46
242
rfinseq__1779_30.min1.thm1
2017-02-06 12:46
591
rfinseq__1780_19.min1.thm1
2017-02-06 12:46
825
rfinseq__1784_27.min1.thm1
2017-02-06 12:46
651
rfinseq__1785_19.min1.thm1
2017-02-06 12:46
1.3K
rfinseq__1797_14.min1.thm1
2017-02-06 12:46
1.8K
rfinseq__1816_20.min1.thm1
2017-02-06 12:46
917
rfinseq__1817_17.min1.thm1
2017-02-06 12:46
551
rfinseq__1818_23.min1.thm1
2017-02-06 12:46
954
rfinseq__1819_15.min1.thm1
2017-02-06 12:46
360
rfinseq__1819_15.min1.thm1.tptp
2017-02-06 16:47
284
rfinseq__1820_18.min1.thm1
2017-02-06 12:46
918
rfinseq__1824_26.min1.thm1
2017-02-06 12:46
802
rfinseq__1825_22.min1.thm1
2017-02-06 12:46
571
rfinseq__1826_15.min1.thm1
2017-02-06 12:46
493
rfinseq__1833_13.min1.thm1
2017-02-06 12:46
198
rfinseq__1836_26.min1.thm1
2017-02-06 12:46
1.9K
rfinseq__1837_14.min1.thm1
2017-02-06 12:46
927
rfinseq__1842_17.min1.thm1
2017-02-06 12:46
204
rfinseq__1845_30.min1.thm1
2017-02-06 12:46
1.9K
rfinseq__1846_18.min1.thm1
2017-02-06 12:46
951
rfinseq__1850_34.min1.thm1
2017-02-06 12:46
2.1K
rfinseq__1851_20.min1.thm1
2017-02-06 12:46
1.1K
rfinseq__1852_20.min1.thm1
2017-02-06 12:46
1.1K
rfinseq__1853_18.min1.thm1
2017-02-06 12:46
569
rfinseq__1856_21.min1.thm1
2017-02-06 12:46
1.1K
rfinseq__1859_16.min1.thm1
2017-02-06 12:46
710
rfinseq__1860_32.min1.thm1
2017-02-06 12:46
1.3K
rfinseq__1863_51.min1.thm1
2017-02-06 12:46
1.5K
rfinseq__1867_19.min1.thm1
2017-02-06 12:46
710
rfinseq__1868_32.min1.thm1
2017-02-06 12:46
1.2K
rfinseq__1873_23.min1.thm1
2017-02-06 12:46
1.8K
rfinseq__1874_29.min1.thm1
2017-02-06 12:46
1.5K
rfinseq__1876_22.min1.thm1
2017-02-06 12:46
1.6K
rfinseq__1885_13.min1.thm1
2017-02-06 12:46
198
rfinseq__1888_26.min1.thm1
2017-02-06 12:46
1.5K
rfinseq__1893_17.min1.thm1
2017-02-06 12:46
204
rfinseq__1896_30.min1.thm1
2017-02-06 12:46
1.5K
rfinseq__1900_34.min1.thm1
2017-02-06 12:46
1.6K
rfinseq__1901_20.min1.thm1
2017-02-06 12:46
623
rfinseq__1902_20.min1.thm1
2017-02-06 12:46
649
rfinseq__1905_23.min1.thm1
2017-02-06 12:46
943
rfinseq__1911_23.min1.thm1
2017-02-06 12:46
2.2K
rfinseq__1922_11.min1.thm1
2017-02-06 12:46
244
rfinseq__1925_28.min1.thm1
2017-02-06 12:46
1.9K
rfinseq__1926_19.min1.thm1
2017-02-06 12:46
1.8K
rfinseq__1930_23.min1.thm1
2017-02-06 12:46
1.7K
rfinseq__1932_16.min1.thm1
2017-02-06 12:46
1.1K
rfinseq__1933_16.min1.thm1
2017-02-06 12:46
1.8K
rfinseq__1934_19.min1.thm1
2017-02-06 12:46
2.3K
rfinseq__1949_14.min1.thm1
2017-02-06 12:46
1.1K
rfinseq__1966_40.min1.thm1
2017-02-06 12:46
946
rfinseq__1978_42.min1.thm1
2017-02-06 12:46
1.5K
rfinseq__2009_23.min1.thm1
2017-02-06 12:46
847
rfinseq__2014_41.min1.thm1
2017-02-06 12:46
456
rfinseq__2015_15.min1.thm1
2017-02-06 12:46
1.3K
rfinseq__2019_19.min1.thm1
2017-02-06 12:46
1.0K
rfinseq__2020_13.min1.thm1
2017-02-06 12:46
857
rfinseq__2024_14.min1.thm1
2017-02-06 12:46
866
rfinseq__2031_15.min1.thm1
2017-02-06 12:46
1.0K
rfinseq__2033_38.min1.thm1
2017-02-06 12:46
1.1K
rfinseq__2035_15.min1.thm1
2017-02-06 12:46
1.3K
rfinseq__2041_22.min1.thm1
2017-02-06 12:46
847
rfinseq__2047_20.min1.thm1
2017-02-06 12:46
1.0K
rfinseq__2048_22.min1.thm1
2017-02-06 12:46
847
rfinseq__2049_20.min1.thm1
2017-02-06 12:46
1.0K
rfinseq__2052_41.min1.thm1
2017-02-06 12:46
456
rfinseq__2056_22.min1.thm1
2017-02-06 12:46
904
rfinseq__2058_14.min1.thm1
2017-02-06 12:46
666
rfinseq__2061_15.min1.thm1
2017-02-06 12:46
1.0K
rfinseq__2063_38.min1.thm1
2017-02-06 12:46
1.1K
rfinseq__2067_17.min1.thm1
2017-02-06 12:46
1.7K
rfinseq__2070_23.min1.thm1
2017-02-06 12:46
849
rfinseq__2071_16.min1.thm1
2017-02-06 12:46
3.0K
rfinseq__2076_35.min1.thm1
2017-02-06 12:46
639
rfinseq__2077_28.min1.thm1
2017-02-06 12:46
2.5K
rfinseq__2078_44.min1.thm1
2017-02-06 12:46
1.8K
rfinseq__2080_9.min1.thm1
2017-02-06 12:46
933
rfinseq__2082_14.min1.thm1
2017-02-06 12:46
3.0K
rfinseq__2083_10.min1.thm1
2017-02-06 12:46
943
rfinseq__2086_20.min1.thm1
2017-02-06 12:46
849
rfinseq__2102_29.min1.thm1
2017-02-06 12:46
329
rfinseq__2102_29.min1.thm1.tptp
2017-02-06 16:47
248
rfinseq__2104_35.min1.thm1
2017-02-06 12:46
414
rfinseq__2104_35.min1.thm1.tptp
2017-02-06 16:47
347
rfinseq__2106_38.min1.thm1
2017-02-06 12:46
240
rfinseq__2107_18.min1.thm1
2017-02-06 12:46
1.5K
rfinseq__2108_34.min1.thm1
2017-02-06 12:46
1.3K
rfinseq__2109_13.min1.thm1
2017-02-06 12:46
254
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80