Index of /~mptp/1147/MPTP2/ilp0/finseq_5
Name
Last modified
Size
Description
Parent Directory
-
finseq_5__43_49.min1.thm1
2017-02-06 12:46
666
finseq_5__44_26.min1.thm1
2017-02-06 12:46
1.4K
finseq_5__45_14.min1.thm1
2017-02-06 12:46
1.1K
finseq_5__54_16.min1.thm1
2017-02-06 12:46
533
finseq_5__55_49.min1.thm1
2017-02-06 12:46
666
finseq_5__56_41.min1.thm1
2017-02-06 12:46
1.4K
finseq_5__62_12.min1.thm1
2017-02-06 12:46
1.2K
finseq_5__64_19.min1.thm1
2017-02-06 12:46
1.5K
finseq_5__76_17.min1.thm1
2017-02-06 12:46
405
finseq_5__76_17.min1.thm1.tptp
2017-02-06 16:47
340
finseq_5__78_17.min1.thm1
2017-02-06 12:46
575
finseq_5__79_15.min1.thm1
2017-02-06 12:46
600
finseq_5__80_17.min1.thm1
2017-02-06 12:46
383
finseq_5__80_17.min1.thm1.tptp
2017-02-06 16:47
318
finseq_5__81_17.min1.thm1
2017-02-06 12:46
687
finseq_5__95_34.min1.thm1
2017-02-06 12:46
385
finseq_5__95_34.min1.thm1.tptp
2017-02-06 16:47
304
finseq_5__96_28.min1.thm1
2017-02-06 12:46
603
finseq_5__103_25.min1.thm1
2017-02-06 12:46
491
finseq_5__103_25.min1.thm1.tptp
2017-02-06 16:47
414
finseq_5__104_33.min1.thm1
2017-02-06 12:46
683
finseq_5__106_17.min1.thm1
2017-02-06 12:46
1.0K
finseq_5__118_20.min1.thm1
2017-02-06 12:46
585
finseq_5__119_14.min1.thm1
2017-02-06 12:46
595
finseq_5__120_17.min1.thm1
2017-02-06 12:46
795
finseq_5__126_11.min1.thm1
2017-02-06 12:46
585
finseq_5__131_22.min1.thm1
2017-02-06 12:46
941
finseq_5__132_19.min1.thm1
2017-02-06 12:46
1.3K
finseq_5__141_22.min1.thm1
2017-02-06 12:46
487
finseq_5__142_16.min1.thm1
2017-02-06 12:46
846
finseq_5__150_17.min1.thm1
2017-02-06 12:46
1.3K
finseq_5__151_21.min1.thm1
2017-02-06 12:46
1.6K
finseq_5__152_16.min1.thm1
2017-02-06 12:46
1.8K
finseq_5__156_68.min1.thm1
2017-02-06 12:46
1.2K
finseq_5__162_42.min1.thm1
2017-02-06 12:46
1.1K
finseq_5__163_19.min1.thm1
2017-02-06 12:46
907
finseq_5__174_23.min1.thm1
2017-02-06 12:46
718
finseq_5__175_11.min1.thm1
2017-02-06 12:46
595
finseq_5__185_45.min1.thm1
2017-02-06 12:46
1.6K
finseq_5__186_17.min1.thm1
2017-02-06 12:46
2.1K
finseq_5__188_18.min1.thm1
2017-02-06 12:46
1.8K
finseq_5__189_13.min1.thm1
2017-02-06 12:46
1.0K
finseq_5__190_27.min1.thm1
2017-02-06 12:46
1.3K
finseq_5__192_17.min1.thm1
2017-02-06 12:46
1.9K
finseq_5__201_22.min1.thm1
2017-02-06 12:46
770
finseq_5__203_29.min1.thm1
2017-02-06 12:46
617
finseq_5__204_31.min1.thm1
2017-02-06 12:46
685
finseq_5__205_17.min1.thm1
2017-02-06 12:46
1.0K
finseq_5__219_22.min1.thm1
2017-02-06 12:46
825
finseq_5__220_16.min1.thm1
2017-02-06 12:46
1.1K
finseq_5__236_23.min1.thm1
2017-02-06 12:46
1.1K
finseq_5__237_16.min1.thm1
2017-02-06 12:46
615
finseq_5__238_15.min1.thm1
2017-02-06 12:46
1.2K
finseq_5__240_17.min1.thm1
2017-02-06 12:46
1.2K
finseq_5__256_23.min1.thm1
2017-02-06 12:46
708
finseq_5__257_16.min1.thm1
2017-02-06 12:46
682
finseq_5__258_15.min1.thm1
2017-02-06 12:46
799
finseq_5__260_17.min1.thm1
2017-02-06 12:46
1.3K
finseq_5__268_21.min1.thm1
2017-02-06 12:46
893
finseq_5__269_20.min1.thm1
2017-02-06 12:46
871
finseq_5__270_20.min1.thm1
2017-02-06 12:46
1.1K
finseq_5__280_27.min1.thm1
2017-02-06 12:46
2.0K
finseq_5__290_22.min1.thm1
2017-02-06 12:46
1.1K
finseq_5__291_29.min1.thm1
2017-02-06 12:46
1.9K
finseq_5__293_14.min1.thm1
2017-02-06 12:46
1.1K
finseq_5__300_36.min1.thm1
2017-02-06 12:46
634
finseq_5__308_36.min1.thm1
2017-02-06 12:46
634
finseq_5__316_13.min1.thm1
2017-02-06 12:46
642
finseq_5__317_17.min1.thm1
2017-02-06 12:46
1.3K
finseq_5__324_13.min1.thm1
2017-02-06 12:46
642
finseq_5__325_17.min1.thm1
2017-02-06 12:46
843
finseq_5__334_20.min1.thm1
2017-02-06 12:46
871
finseq_5__335_20.min1.thm1
2017-02-06 12:46
1.6K
finseq_5__337_19.min1.thm1
2017-02-06 12:46
1.3K
finseq_5__338_23.min1.thm1
2017-02-06 12:46
2.1K
finseq_5__340_17.min1.thm1
2017-02-06 12:46
2.2K
finseq_5__348_21.min1.thm1
2017-02-06 12:46
1.7K
finseq_5__350_19.min1.thm1
2017-02-06 12:46
1.0K
finseq_5__351_21.min1.thm1
2017-02-06 12:46
1.2K
finseq_5__352_25.min1.thm1
2017-02-06 12:46
1.6K
finseq_5__362_24.min1.thm1
2017-02-06 12:46
1.0K
finseq_5__367_22.min1.thm1
2017-02-06 12:46
1.0K
finseq_5__368_16.min1.thm1
2017-02-06 12:46
1.3K
finseq_5__378_14.min1.thm1
2017-02-06 12:46
607
finseq_5__389_19.min1.thm1
2017-02-06 12:46
1.1K
finseq_5__396_18.min1.thm1
2017-02-06 12:46
738
finseq_5__398_17.min1.thm1
2017-02-06 12:46
1.7K
finseq_5__399_24.min1.thm1
2017-02-06 12:46
1.2K
finseq_5__400_26.min1.thm1
2017-02-06 12:46
2.4K
finseq_5__402_17.min1.thm1
2017-02-06 12:46
1.2K
finseq_5__405_19.min1.thm1
2017-02-06 12:46
1.5K
finseq_5__407_21.min1.thm1
2017-02-06 12:46
1.9K
finseq_5__408_23.min1.thm1
2017-02-06 12:46
1.2K
finseq_5__417_21.min1.thm1
2017-02-06 12:46
2.5K
finseq_5__418_23.min1.thm1
2017-02-06 12:46
1.9K
finseq_5__430_23.min1.thm1
2017-02-06 12:46
1.5K
finseq_5__438_11.min1.thm1
2017-02-06 12:46
249
finseq_5__447_23.min1.thm1
2017-02-06 12:46
1.7K
finseq_5__448_16.min1.thm1
2017-02-06 12:46
2.5K
finseq_5__460_11.min1.thm1
2017-02-06 12:46
249
finseq_5__466_19.min1.thm1
2017-02-06 12:46
1.9K
finseq_5__468_20.min1.thm1
2017-02-06 12:46
1.4K
finseq_5__473_23.min1.thm1
2017-02-06 12:46
1.7K
finseq_5__483_11.min1.thm1
2017-02-06 12:46
249
finseq_5__486_19.min1.thm1
2017-02-06 12:46
767
finseq_5__487_32.min1.thm1
2017-02-06 12:46
1.3K
finseq_5__489_20.min1.thm1
2017-02-06 12:46
1.2K
finseq_5__493_23.min1.thm1
2017-02-06 12:46
1.7K
finseq_5__501_14.min1.thm1
2017-02-06 12:46
1.8K
finseq_5__505_26.min1.thm1
2017-02-06 12:46
2.1K
finseq_5__506_31.min1.thm1
2017-02-06 12:46
2.7K
finseq_5__507_12.min1.thm1
2017-02-06 12:46
857
finseq_5__510_12.min1.thm1
2017-02-06 12:46
1.4K
finseq_5__531_20.min1.thm1
2017-02-06 12:46
1.1K
finseq_5__536_21.min1.thm1
2017-02-06 12:46
2.1K
finseq_5__537_30.min1.thm1
2017-02-06 12:46
1.0K
finseq_5__538_22.min1.thm1
2017-02-06 12:46
1.6K
finseq_5__548_17.min1.thm1
2017-02-06 12:46
1.4K
finseq_5__549_11.min1.thm1
2017-02-06 12:46
1.1K
finseq_5__551_17.min1.thm1
2017-02-06 12:46
1.7K
finseq_5__563_13.min1.thm1
2017-02-06 12:46
183
finseq_5__567_17.min1.thm1
2017-02-06 12:46
1.1K
finseq_5__573_14.min1.thm1
2017-02-06 12:46
1.1K
finseq_5__574_46.min1.thm1
2017-02-06 12:46
911
finseq_5__582_22.min1.thm1
2017-02-06 12:46
2.4K
finseq_5__584_22.min1.thm1
2017-02-06 12:46
1.9K
finseq_5__597_11.min1.thm1
2017-02-06 12:46
223
finseq_5__600_37.min1.thm1
2017-02-06 12:46
2.7K
finseq_5__602_16.min1.thm1
2017-02-06 12:46
1.6K
finseq_5__606_21.min1.thm1
2017-02-06 12:46
1.6K
finseq_5__607_19.min1.thm1
2017-02-06 12:46
1.7K
finseq_5__619_17.min1.thm1
2017-02-06 12:46
1.3K
finseq_5__633_34.min1.thm1
2017-02-06 12:46
1.3K
finseq_5__634_27.min1.thm1
2017-02-06 12:46
1.2K
finseq_5__635_20.min1.thm1
2017-02-06 12:46
1.4K
finseq_5__646_14.min1.thm1
2017-02-06 12:46
603
finseq_5__654_24.min1.thm1
2017-02-06 12:46
1.0K
finseq_5__658_21.min1.thm1
2017-02-06 12:46
689
finseq_5__658_21.min1.thm1.tptp
2017-02-06 16:47
635
finseq_5__665_19.min1.thm1
2017-02-06 12:46
1.3K
finseq_5__673_17.min1.thm1
2017-02-06 12:46
1.0K
finseq_5__677_25.min1.thm1
2017-02-06 12:46
1.4K
finseq_5__678_14.min1.thm1
2017-02-06 12:46
1.3K
finseq_5__688_33.min1.thm1
2017-02-06 12:46
1.4K
finseq_5__689_20.min1.thm1
2017-02-06 12:46
967
finseq_5__698_37.min1.thm1
2017-02-06 12:46
1.6K
finseq_5__707_31.min1.thm1
2017-02-06 12:46
1.1K
finseq_5__708_11.min1.thm1
2017-02-06 12:46
249
finseq_5__721_23.min1.thm1
2017-02-06 12:46
2.0K
finseq_5__723_21.min1.thm1
2017-02-06 12:46
799
finseq_5__728_23.min1.thm1
2017-02-06 12:46
949
finseq_5__734_32.min1.thm1
2017-02-06 12:46
2.9K
finseq_5__736_16.min1.thm1
2017-02-06 12:46
1.7K
finseq_5__744_11.min1.thm1
2017-02-06 12:46
373
finseq_5__744_11.min1.thm1.tptp
2017-02-06 16:47
299
finseq_5__751_38.min1.thm1
2017-02-06 12:46
1.2K
finseq_5__752_17.min1.thm1
2017-02-06 12:46
1.2K
finseq_5__759_26.min1.thm1
2017-02-06 12:46
969
finseq_5__760_19.min1.thm1
2017-02-06 12:46
951
finseq_5__762_25.min1.thm1
2017-02-06 12:46
1.3K
finseq_5__765_20.min1.thm1
2017-02-06 12:46
1.1K
finseq_5__766_20.min1.thm1
2017-02-06 12:46
481
finseq_5__766_20.min1.thm1.tptp
2017-02-06 16:47
416
finseq_5__767_20.min1.thm1
2017-02-06 12:46
1.2K
finseq_5__768_29.min1.thm1
2017-02-06 12:46
2.1K
finseq_5__780_24.min1.thm1
2017-02-06 12:46
1.0K
finseq_5__784_27.min1.thm1
2017-02-06 12:46
1.5K
finseq_5__789_25.min1.thm1
2017-02-06 12:46
1.5K
finseq_5__791_23.min1.thm1
2017-02-06 12:46
2.4K
finseq_5__792_24.min1.thm1
2017-02-06 12:46
1.0K
finseq_5__795_23.min1.thm1
2017-02-06 12:46
2.3K
finseq_5__796_35.min1.thm1
2017-02-06 12:46
1.5K
finseq_5__798_26.min1.thm1
2017-02-06 12:46
1.8K
finseq_5__799_17.min1.thm1
2017-02-06 12:46
1.7K
finseq_5__808_22.min1.thm1
2017-02-06 12:46
1.1K
finseq_5__809_17.min1.thm1
2017-02-06 12:46
1.3K
finseq_5__817_13.min1.thm1
2017-02-06 12:46
1.1K
finseq_5__824_23.min1.thm1
2017-02-06 12:46
923
finseq_5__825_23.min1.thm1
2017-02-06 12:46
1.8K
finseq_5__826_17.min1.thm1
2017-02-06 12:46
1.6K
finseq_5__835_18.min1.thm1
2017-02-06 12:46
923
finseq_5__836_17.min1.thm1
2017-02-06 12:46
1.9K
finseq_5__844_19.min1.thm1
2017-02-06 12:46
944
finseq_5__845_21.min1.thm1
2017-02-06 12:46
1.6K
finseq_5__846_17.min1.thm1
2017-02-06 12:46
1.3K
finseq_5__855_20.min1.thm1
2017-02-06 12:46
923
finseq_5__856_14.min1.thm1
2017-02-06 12:46
944
finseq_5__857_24.min1.thm1
2017-02-06 12:46
2.1K
finseq_5__858_37.min1.thm1
2017-02-06 12:46
1.7K
finseq_5__859_18.min1.thm1
2017-02-06 12:46
1.2K
finseq_5__860_11.min1.thm1
2017-02-06 12:46
920
finseq_5__873_11.min1.thm1
2017-02-06 12:46
944
finseq_5__875_22.min1.thm1
2017-02-06 12:46
2.0K
finseq_5__876_22.min1.thm1
2017-02-06 12:46
1.4K
finseq_5__879_22.min1.thm1
2017-02-06 12:46
1.4K
finseq_5__880_23.min1.thm1
2017-02-06 12:46
1.6K
finseq_5__882_20.min1.thm1
2017-02-06 12:46
1.9K
finseq_5__883_15.min1.thm1
2017-02-06 12:46
924
finseq_5__884_22.min1.thm1
2017-02-06 12:46
1.4K
finseq_5__885_17.min1.thm1
2017-02-06 12:46
1.1K
finseq_5__893_19.min1.thm1
2017-02-06 12:46
944
finseq_5__894_24.min1.thm1
2017-02-06 12:46
835
finseq_5__895_14.min1.thm1
2017-02-06 12:46
2.0K
finseq_5__899_23.min1.thm1
2017-02-06 12:46
1.4K
finseq_5__905_11.min1.thm1
2017-02-06 12:46
1.4K
finseq_5__920_51.min1.thm1
2017-02-06 12:46
1.6K
finseq_5__921_20.min1.thm1
2017-02-06 12:46
923
finseq_5__935_20.min1.thm1
2017-02-06 12:46
967
finseq_5__939_14.min1.thm1
2017-02-06 12:46
1.2K
finseq_5__940_20.min1.thm1
2017-02-06 12:46
2.0K
finseq_5__955_22.min1.thm1
2017-02-06 12:46
2.1K
finseq_5__957_14.min1.thm1
2017-02-06 12:46
944
finseq_5__958_21.min1.thm1
2017-02-06 12:46
1.9K
finseq_5__959_17.min1.thm1
2017-02-06 12:46
2.5K
finseq_5__976_20.min1.thm1
2017-02-06 12:46
967
finseq_5__980_14.min1.thm1
2017-02-06 12:46
1.2K
finseq_5__982_17.min1.thm1
2017-02-06 12:46
2.0K
finseq_5__994_29.min1.thm1
2017-02-06 12:46
1.3K
finseq_5__997_23.min1.thm1
2017-02-06 12:46
967
finseq_5__998_55.min1.thm1
2017-02-06 12:46
1.9K
finseq_5__1009_17.min1.thm1
2017-02-06 12:46
951
finseq_5__1017_14.min1.thm1
2017-02-06 12:46
1.2K
finseq_5__1032_16.min1.thm1
2017-02-06 12:46
710
finseq_5__1036_24.min1.thm1
2017-02-06 12:46
788
finseq_5__1042_26.min1.thm1
2017-02-06 12:46
812
finseq_5__1043_26.min1.thm1
2017-02-06 12:46
812
finseq_5__1048_38.min1.thm1
2017-02-06 12:46
1.0K
finseq_5__1058_24.min1.thm1
2017-02-06 12:46
296
finseq_5__1063_22.min1.thm1
2017-02-06 12:46
1.1K
finseq_5__1064_54.min1.thm1
2017-02-06 12:46
1.5K
finseq_5__1065_11.min1.thm1
2017-02-06 12:46
1.1K
finseq_5__1074_19.min1.thm1
2017-02-06 12:46
1.3K
finseq_5__1075_26.min1.thm1
2017-02-06 12:46
962
finseq_5__1084_24.min1.thm1
2017-02-06 12:46
786
finseq_5__1085_25.min1.thm1
2017-02-06 12:46
873
finseq_5__1086_20.min1.thm1
2017-02-06 12:46
1.0K
finseq_5__1087_25.min1.thm1
2017-02-06 12:46
845
finseq_5__1093_14.min1.thm1
2017-02-06 12:46
674
finseq_5__1094_17.min1.thm1
2017-02-06 12:46
1.1K
finseq_5__1095_58.min1.thm1
2017-02-06 12:46
1.2K
finseq_5__1096_24.min1.thm1
2017-02-06 12:46
786
finseq_5__1099_22.min1.thm1
2017-02-06 12:46
1.1K
finseq_5__1100_41.min1.thm1
2017-02-06 12:46
1.2K
finseq_5__1107_20.min1.thm1
2017-02-06 12:46
885
finseq_5__1108_15.min1.thm1
2017-02-06 12:46
1.4K
finseq_5__1109_56.min1.thm1
2017-02-06 12:46
1.2K
finseq_5__1110_24.min1.thm1
2017-02-06 12:46
1.1K
finseq_5__1111_30.min1.thm1
2017-02-06 12:46
1.5K
finseq_5__1113_23.min1.thm1
2017-02-06 12:46
1.1K
finseq_5__1114_34.min1.thm1
2017-02-06 12:46
1.1K
finseq_5__1115_17.min1.thm1
2017-02-06 12:46
1.2K
finseq_5__1122_23.min1.thm1
2017-02-06 12:46
502
finseq_5__1122_23.min1.thm1.tptp
2017-02-06 16:47
435
finseq_5__1123_17.min1.thm1
2017-02-06 12:46
1.1K
finseq_5__1133_44.min1.thm1
2017-02-06 12:46
1.0K
finseq_5__1143_14.min1.thm1
2017-02-06 12:46
1.0K
finseq_5__1144_28.min1.thm1
2017-02-06 12:46
1.6K
finseq_5__1145_16.min1.thm1
2017-02-06 12:46
965
finseq_5__1154_16.min1.thm1
2017-02-06 12:46
831
finseq_5__1158_26.min1.thm1
2017-02-06 12:46
1.2K
finseq_5__1159_17.min1.thm1
2017-02-06 12:46
898
finseq_5__1160_36.min1.thm1
2017-02-06 12:46
1.1K
finseq_5__1170_16.min1.thm1
2017-02-06 12:46
940
finseq_5__1171_16.min1.thm1
2017-02-06 12:46
940
finseq_5__1176_21.min1.thm1
2017-02-06 12:46
1.5K
finseq_5__1177_16.min1.thm1
2017-02-06 12:46
1.0K
finseq_5__1180_23.min1.thm1
2017-02-06 12:46
1.0K
finseq_5__1181_31.min1.thm1
2017-02-06 12:46
1.3K
finseq_5__1185_23.min1.thm1
2017-02-06 12:46
1.0K
finseq_5__1186_31.min1.thm1
2017-02-06 12:46
1.3K
finseq_5__1196_11.min1.thm1
2017-02-06 12:46
191
finseq_5__1200_18.min1.thm1
2017-02-06 12:46
1.0K
finseq_5__1201_20.min1.thm1
2017-02-06 12:46
729
finseq_5__1202_27.min1.thm1
2017-02-06 12:46
1.1K
finseq_5__1203_26.min1.thm1
2017-02-06 12:46
752
finseq_5__1204_21.min1.thm1
2017-02-06 12:46
1.5K
finseq_5__1208_30.min1.thm1
2017-02-06 12:46
1.4K
finseq_5__1209_26.min1.thm1
2017-02-06 12:46
905
finseq_5__1210_52.min1.thm1
2017-02-06 12:46
1.4K
finseq_5__1212_17.min1.thm1
2017-02-06 12:46
1.3K
finseq_5__1213_22.min1.thm1
2017-02-06 12:46
1.6K
finseq_5__1214_42.min1.thm1
2017-02-06 12:46
1.0K
finseq_5__1229_52.min1.thm1
2017-02-06 12:46
1.0K
finseq_5__1230_20.min1.thm1
2017-02-06 12:46
879
finseq_5__1231_37.min1.thm1
2017-02-06 12:46
2.2K
finseq_5__1233_67.min1.thm1
2017-02-06 12:46
1.7K
finseq_5__1234_19.min1.thm1
2017-02-06 12:46
1.4K
finseq_5__1235_17.min1.thm1
2017-02-06 12:46
1.6K
finseq_5__1236_44.min1.thm1
2017-02-06 12:46
1.1K
finseq_5__1248_43.min1.thm1
2017-02-06 12:46
1.3K
finseq_5__1249_25.min1.thm1
2017-02-06 12:46
937
finseq_5__1251_20.min1.thm1
2017-02-06 12:46
796
finseq_5__1253_24.min1.thm1
2017-02-06 12:46
1.7K
finseq_5__1256_16.min1.thm1
2017-02-06 12:46
826
finseq_5__1262_16.min1.thm1
2017-02-06 12:46
1.1K
finseq_5__1265_26.min1.thm1
2017-02-06 12:46
1.2K
finseq_5__1267_19.min1.thm1
2017-02-06 12:46
1.4K
finseq_5__1270_17.min1.thm1
2017-02-06 12:46
847
finseq_5__1275_50.min1.thm1
2017-02-06 12:46
1.4K
finseq_5__1277_18.min1.thm1
2017-02-06 12:46
1.6K
finseq_5__1278_51.min1.thm1
2017-02-06 12:46
1.9K
finseq_5__1288_15.min1.thm1
2017-02-06 12:46
1.0K
finseq_5__1294_46.min1.thm1
2017-02-06 12:46
2.1K
finseq_5__1296_23.min1.thm1
2017-02-06 12:46
1.0K
finseq_5__1311_28.min1.thm1
2017-02-06 12:46
488
finseq_5__1311_28.min1.thm1.tptp
2017-02-06 16:47
421
finseq_5__1312_27.min1.thm1
2017-02-06 12:46
1.2K
finseq_5__1318_45.min1.thm1
2017-02-06 12:46
1.3K
finseq_5__1319_35.min1.thm1
2017-02-06 12:46
1.4K
finseq_5__1320_33.min1.thm1
2017-02-06 12:46
1.5K
finseq_5__1321_34.min1.thm1
2017-02-06 12:46
939
finseq_5__1332_20.min1.thm1
2017-02-06 12:46
1.1K
finseq_5__1337_32.min1.thm1
2017-02-06 12:46
1.4K
finseq_5__1339_19.min1.thm1
2017-02-06 12:46
1.3K
finseq_5__1340_24.min1.thm1
2017-02-06 12:46
1.6K
finseq_5__1341_22.min1.thm1
2017-02-06 12:46
2.1K
finseq_5__1351_24.min1.thm1
2017-02-06 12:46
954
finseq_5__1355_21.min1.thm1
2017-02-06 12:46
894
finseq_5__1356_15.min1.thm1
2017-02-06 12:46
871
finseq_5__1357_21.min1.thm1
2017-02-06 12:46
1.1K
finseq_5__1358_23.min1.thm1
2017-02-06 12:46
1.0K
finseq_5__1359_24.min1.thm1
2017-02-06 12:46
1.3K
finseq_5__1360_30.min1.thm1
2017-02-06 12:46
1.2K
finseq_5__1361_19.min1.thm1
2017-02-06 12:46
1.0K
finseq_5__1362_20.min1.thm1
2017-02-06 12:46
1.5K
finseq_5__1373_20.min1.thm1
2017-02-06 12:46
1.1K
finseq_5__1374_19.min1.thm1
2017-02-06 12:46
1.6K
finseq_5__1375_20.min1.thm1
2017-02-06 12:46
1.2K
finseq_5__1390_17.min1.thm1
2017-02-06 12:46
523
finseq_5__1390_17.min1.thm1.tptp
2017-02-06 16:47
449
finseq_5__1398_23.min1.thm1
2017-02-06 12:46
591
finseq_5__1400_17.min1.thm1
2017-02-06 12:46
1.2K
finseq_5__1406_11.min1.thm1
2017-02-06 12:46
249
finseq_5__1412_34.min1.thm1
2017-02-06 12:46
1.4K
finseq_5__1413_27.min1.thm1
2017-02-06 12:46
2.2K
finseq_5__1428_43.min1.thm1
2017-02-06 12:46
894
finseq_5__1430_27.min1.thm1
2017-02-06 12:46
945
finseq_5__1431_22.min1.thm1
2017-02-06 12:46
1.3K
finseq_5__1443_13.min1.thm1
2017-02-06 12:46
270
finseq_5__1444_27.min1.thm1
2017-02-06 12:46
443
finseq_5__1444_27.min1.thm1.tptp
2017-02-06 16:47
381
finseq_5__1455_14.min1.thm1
2017-02-06 12:46
870
finseq_5__1461_15.min1.thm1
2017-02-06 12:46
1.3K
finseq_5__1464_19.min1.thm1
2017-02-06 12:46
1.1K
finseq_5__1477_47.min1.thm1
2017-02-06 12:46
1.2K
finseq_5__1481_13.min1.thm1
2017-02-06 12:46
1.0K
finseq_5__1483_13.min1.thm1
2017-02-06 12:46
1.5K
finseq_5__1484_22.min1.thm1
2017-02-06 12:46
2.1K
finseq_5__1487_15.min1.thm1
2017-02-06 12:46
1.7K
finseq_5__1503_38.min1.thm1
2017-02-06 12:46
1.1K
finseq_5__1504_15.min1.thm1
2017-02-06 12:46
1.6K
finseq_5__1506_23.min1.thm1
2017-02-06 12:46
2.2K
finseq_5__1520_25.min1.thm1
2017-02-06 12:46
628
finseq_5__1521_22.min1.thm1
2017-02-06 12:46
895
finseq_5__1522_24.min1.thm1
2017-02-06 12:46
464
finseq_5__1524_24.min1.thm1
2017-02-06 12:46
1.2K
finseq_5__1525_32.min1.thm1
2017-02-06 12:46
777
finseq_5__1526_29.min1.thm1
2017-02-06 12:46
750
finseq_5__1527_41.min1.thm1
2017-02-06 12:46
805
finseq_5__1535_20.min1.thm1
2017-02-06 12:46
1.2K
finseq_5__1537_21.min1.thm1
2017-02-06 12:46
464
finseq_5__1538_24.min1.thm1
2017-02-06 12:46
1.1K
finseq_5__1539_30.min1.thm1
2017-02-06 12:46
905
finseq_5__1541_56.min1.thm1
2017-02-06 12:46
1.3K
finseq_5__1556_19.min1.thm1
2017-02-06 12:46
1.0K
finseq_5__1558_21.min1.thm1
2017-02-06 12:46
545
finseq_5__1563_34.min1.thm1
2017-02-06 12:46
1.3K
finseq_5__1566_17.min1.thm1
2017-02-06 12:46
1.1K
finseq_5__1586_11.min1.thm1
2017-02-06 12:46
223
finseq_5__1589_13.min1.thm1
2017-02-06 12:46
253
finseq_5__1593_24.min1.thm1
2017-02-06 12:46
1.7K
finseq_5__1594_23.min1.thm1
2017-02-06 12:46
1.2K
finseq_5__1597_18.min1.thm1
2017-02-06 12:46
1.2K
finseq_5__1598_19.min1.thm1
2017-02-06 12:46
760
finseq_5__1599_18.min1.thm1
2017-02-06 12:46
1.7K
finseq_5__1602_28.min1.thm1
2017-02-06 12:46
1.1K
finseq_5__1610_19.min1.thm1
2017-02-06 12:46
1.1K
finseq_5__1612_25.min1.thm1
2017-02-06 12:46
967
finseq_5__1615_27.min1.thm1
2017-02-06 12:46
2.0K
finseq_5__1616_19.min1.thm1
2017-02-06 12:46
412
finseq_5__1619_23.min1.thm1
2017-02-06 12:46
1.9K
finseq_5__1622_20.min1.thm1
2017-02-06 12:46
806
finseq_5__1629_30.min1.thm1
2017-02-06 12:46
1.7K
finseq_5__1636_49.min1.thm1
2017-02-06 12:46
563
finseq_5__1637_18.min1.thm1
2017-02-06 12:46
691
finseq_5__1639_63.min1.thm1
2017-02-06 12:46
697
finseq_5__1642_13.min1.thm1
2017-02-06 12:46
253
finseq_5__1645_29.min1.thm1
2017-02-06 12:46
3.0K
finseq_5__1650_27.min1.thm1
2017-02-06 12:46
1.1K
finseq_5__1668_19.min1.thm1
2017-02-06 12:46
1.3K
finseq_5__1669_19.min1.thm1
2017-02-06 12:46
1.9K
finseq_5__1670_36.min1.thm1
2017-02-06 12:46
220
finseq_5__1671_34.min1.thm1
2017-02-06 12:46
317
finseq_5__1671_34.min1.thm1.tptp
2017-02-06 16:47
231
finseq_5__1672_18.min1.thm1
2017-02-06 12:46
2.2K
finseq_5__1674_20.min1.thm1
2017-02-06 12:46
1.1K
finseq_5__1675_17.min1.thm1
2017-02-06 12:46
1.4K
finseq_5__1677_23.min1.thm1
2017-02-06 12:46
1.3K
finseq_5__1678_17.min1.thm1
2017-02-06 12:46
1.5K
finseq_5__1679_17.min1.thm1
2017-02-06 12:46
2.3K
finseq_5__1688_19.min1.thm1
2017-02-06 12:46
2.3K
finseq_5__1703_19.min1.thm1
2017-02-06 12:46
1.5K
finseq_5__1706_19.min1.thm1
2017-02-06 12:46
2.3K
finseq_5__1707_33.min1.thm1
2017-02-06 12:46
1.2K
finseq_5__1708_17.min1.thm1
2017-02-06 12:46
2.2K
finseq_5__1723_20.min1.thm1
2017-02-06 12:46
1.6K
finseq_5__1725_19.min1.thm1
2017-02-06 12:46
2.2K
finseq_5__1728_26.min1.thm1
2017-02-06 12:46
1.8K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80