Index of /~mptp/1147/MPTP2/ilp0/fib_num3
Name
Last modified
Size
Description
Parent Directory
-
fib_num3__44_17.min1.thm1
2017-02-06 12:46
649
fib_num3__53_18.min1.thm1
2017-02-06 12:46
896
fib_num3__54_26.min1.thm1
2017-02-06 12:46
1.2K
fib_num3__55_14.min1.thm1
2017-02-06 12:46
322
fib_num3__62_9.min1.thm1
2017-02-06 12:46
796
fib_num3__63_19.min1.thm1
2017-02-06 12:46
920
fib_num3__64_17.min1.thm1
2017-02-06 12:46
885
fib_num3__71_11.min1.thm1
2017-02-06 12:46
949
fib_num3__72_17.min1.thm1
2017-02-06 12:46
1.2K
fib_num3__78_25.min1.thm1
2017-02-06 12:46
1.9K
fib_num3__80_14.min1.thm1
2017-02-06 12:46
1.1K
fib_num3__88_58.min1.thm1
2017-02-06 12:46
741
fib_num3__89_62.min1.thm1
2017-02-06 12:46
1.3K
fib_num3__90_50.min1.thm1
2017-02-06 12:46
920
fib_num3__91_38.min1.thm1
2017-02-06 12:46
888
fib_num3__94_14.min1.thm1
2017-02-06 12:46
378
fib_num3__102_54.min1.thm1
2017-02-06 12:46
413
fib_num3__102_54.min1.thm1.tptp
2017-02-06 16:47
336
fib_num3__103_37.min1.thm1
2017-02-06 12:46
419
fib_num3__103_37.min1.thm1.tptp
2017-02-06 16:47
342
fib_num3__104_14.min1.thm1
2017-02-06 12:46
502
fib_num3__112_28.min1.thm1
2017-02-06 12:46
769
fib_num3__119_14.min1.thm1
2017-02-06 12:46
856
fib_num3__121_14.min1.thm1
2017-02-06 12:46
2.4K
fib_num3__130_60.min1.thm1
2017-02-06 12:46
1.1K
fib_num3__133_41.min1.thm1
2017-02-06 12:46
1.5K
fib_num3__136_31.min1.thm1
2017-02-06 12:46
338
fib_num3__136_31.min1.thm1.tptp
2017-02-06 16:47
261
fib_num3__137_42.min1.thm1
2017-02-06 12:46
370
fib_num3__137_42.min1.thm1.tptp
2017-02-06 16:47
293
fib_num3__138_27.min1.thm1
2017-02-06 12:46
1.7K
fib_num3__139_23.min1.thm1
2017-02-06 12:46
1.3K
fib_num3__140_35.min1.thm1
2017-02-06 12:46
328
fib_num3__140_35.min1.thm1.tptp
2017-02-06 16:47
251
fib_num3__151_46.min1.thm1
2017-02-06 12:46
1.4K
fib_num3__153_16.min1.thm1
2017-02-06 12:46
1.8K
fib_num3__155_65.min1.thm1
2017-02-06 12:46
402
fib_num3__155_65.min1.thm1.tptp
2017-02-06 16:47
325
fib_num3__156_48.min1.thm1
2017-02-06 12:46
1.7K
fib_num3__157_37.min1.thm1
2017-02-06 12:46
418
fib_num3__157_37.min1.thm1.tptp
2017-02-06 16:47
341
fib_num3__158_26.min1.thm1
2017-02-06 12:46
386
fib_num3__158_26.min1.thm1.tptp
2017-02-06 16:47
309
fib_num3__160_44.min1.thm1
2017-02-06 12:46
1.3K
fib_num3__161_27.min1.thm1
2017-02-06 12:46
1.8K
fib_num3__163_8.min1.thm1
2017-02-06 12:46
1.2K
fib_num3__164_11.min1.thm1
2017-02-06 12:46
1.3K
fib_num3__166_14.min1.thm1
2017-02-06 12:46
519
fib_num3__166_14.min1.thm1.tptp
2017-02-06 16:47
442
fib_num3__176_72.min1.thm1
2017-02-06 12:46
1.1K
fib_num3__183_37.min1.thm1
2017-02-06 12:46
338
fib_num3__183_37.min1.thm1.tptp
2017-02-06 16:47
261
fib_num3__184_50.min1.thm1
2017-02-06 12:46
370
fib_num3__184_50.min1.thm1.tptp
2017-02-06 16:47
293
fib_num3__186_27.min1.thm1
2017-02-06 12:46
1.3K
fib_num3__187_46.min1.thm1
2017-02-06 12:46
346
fib_num3__187_46.min1.thm1.tptp
2017-02-06 16:47
269
fib_num3__196_53.min1.thm1
2017-02-06 12:46
1.9K
fib_num3__198_54.min1.thm1
2017-02-06 12:46
1.0K
fib_num3__199_37.min1.thm1
2017-02-06 12:46
1.9K
fib_num3__200_16.min1.thm1
2017-02-06 12:46
1.8K
fib_num3__203_8.min1.thm1
2017-02-06 12:46
402
fib_num3__203_8.min1.thm1.tptp
2017-02-06 16:47
325
fib_num3__204_58.min1.thm1
2017-02-06 12:46
1.0K
fib_num3__205_47.min1.thm1
2017-02-06 12:46
418
fib_num3__205_47.min1.thm1.tptp
2017-02-06 16:47
341
fib_num3__206_32.min1.thm1
2017-02-06 12:46
386
fib_num3__206_32.min1.thm1.tptp
2017-02-06 16:47
309
fib_num3__208_52.min1.thm1
2017-02-06 12:46
901
fib_num3__209_31.min1.thm1
2017-02-06 12:46
1.2K
fib_num3__211_8.min1.thm1
2017-02-06 12:46
1.2K
fib_num3__212_11.min1.thm1
2017-02-06 12:46
1.3K
fib_num3__214_14.min1.thm1
2017-02-06 12:46
519
fib_num3__214_14.min1.thm1.tptp
2017-02-06 16:47
442
fib_num3__234_18.min1.thm1
2017-02-06 12:46
1.8K
fib_num3__249_19.min1.thm1
2017-02-06 12:46
1.6K
fib_num3__263_11.min1.thm1
2017-02-06 12:46
1.3K
fib_num3__265_44.min1.thm1
2017-02-06 12:46
3.1K
fib_num3__267_11.min1.thm1
2017-02-06 12:46
1.3K
fib_num3__269_53.min1.thm1
2017-02-06 12:46
1.4K
fib_num3__269_53.min1.thm1.tptp
2017-02-06 16:47
1.3K
fib_num3__272_54.min1.thm1
2017-02-06 12:46
3.3K
fib_num3__274_42.min1.thm1
2017-02-06 12:46
1.4K
fib_num3__274_42.min1.thm1.tptp
2017-02-06 16:47
1.3K
fib_num3__284_34.min1.thm1
2017-02-06 12:46
1.6K
fib_num3__284_62.min1.thm1
2017-02-06 12:46
555
fib_num3__284_62.min1.thm1.tptp
2017-02-06 16:47
482
fib_num3__293_14.min1.thm1
2017-02-06 12:46
446
fib_num3__299_25.min1.thm1
2017-02-06 12:46
1.1K
fib_num3__299_37.min1.thm1
2017-02-06 12:46
1.3K
fib_num3__300_8.min1.thm1
2017-02-06 12:46
931
fib_num3__301_14.min1.thm1
2017-02-06 12:46
206
fib_num3__307_25.min1.thm1
2017-02-06 12:46
892
fib_num3__307_35.min1.thm1
2017-02-06 12:46
1.4K
fib_num3__308_8.min1.thm1
2017-02-06 12:46
931
fib_num3__309_14.min1.thm1
2017-02-06 12:46
206
fib_num3__315_27.min1.thm1
2017-02-06 12:46
1.2K
fib_num3__315_36.min1.thm1
2017-02-06 12:46
1.8K
fib_num3__316_7.min1.thm1
2017-02-06 12:46
931
fib_num3__317_14.min1.thm1
2017-02-06 12:46
206
fib_num3__324_8.min1.thm1
2017-02-06 12:46
1.2K
fib_num3__331_13.min1.thm1
2017-02-06 12:46
193
fib_num3__334_21.min1.thm1
2017-02-06 12:46
1.0K
fib_num3__338_20.min1.thm1
2017-02-06 12:46
400
fib_num3__340_31.min1.thm1
2017-02-06 12:46
1.9K
fib_num3__341_38.min1.thm1
2017-02-06 12:46
1.9K
fib_num3__348_11.min1.thm1
2017-02-06 12:46
426
fib_num3__348_11.min1.thm1.tptp
2017-02-06 16:47
351
fib_num3__365_41.min1.thm1
2017-02-06 12:46
1.5K
fib_num3__368_11.min1.thm1
2017-02-06 12:46
1.0K
fib_num3__369_11.min1.thm1
2017-02-06 12:46
1.0K
fib_num3__371_16.min1.thm1
2017-02-06 12:46
1.0K
fib_num3__380_13.min1.thm1
2017-02-06 12:46
191
fib_num3__383_21.min1.thm1
2017-02-06 12:46
618
fib_num3__387_21.min1.thm1
2017-02-06 12:46
1.5K
fib_num3__397_47.min1.thm1
2017-02-06 12:46
2.5K
fib_num3__411_41.min1.thm1
2017-02-06 12:46
2.3K
fib_num3__413_51.min1.thm1
2017-02-06 12:46
2.0K
fib_num3__416_50.min1.thm1
2017-02-06 12:46
805
fib_num3__416_50.min1.thm1.tptp
2017-02-06 16:47
732
fib_num3__418_16.min1.thm1
2017-02-06 12:46
1.7K
fib_num3__420_9.min1.thm1
2017-02-06 12:46
1.1K
fib_num3__421_20.min1.thm1
2017-02-06 12:46
1.3K
fib_num3__423_11.min1.thm1
2017-02-06 12:46
1.5K
fib_num3__424_9.min1.thm1
2017-02-06 12:46
1.1K
fib_num3__426_11.min1.thm1
2017-02-06 12:46
1.8K
fib_num3__434_27.min1.thm1
2017-02-06 12:46
296
fib_num3__434_27.min1.thm1.tptp
2017-02-06 16:47
219
fib_num3__435_59.min1.thm1
2017-02-06 12:46
919
fib_num3__436_8.min1.thm1
2017-02-06 12:46
642
fib_num3__438_11.min1.thm1
2017-02-06 12:46
560
fib_num3__438_11.min1.thm1.tptp
2017-02-06 16:47
489
fib_num3__445_66.min1.thm1
2017-02-06 12:46
1.5K
fib_num3__448_75.min1.thm1
2017-02-06 12:46
769
fib_num3__448_75.min1.thm1.tptp
2017-02-06 16:47
692
fib_num3__449_74.min1.thm1
2017-02-06 12:46
1.7K
fib_num3__450_54.min1.thm1
2017-02-06 12:46
666
fib_num3__450_54.min1.thm1.tptp
2017-02-06 16:47
589
fib_num3__451_16.min1.thm1
2017-02-06 12:46
500
fib_num3__453_56.min1.thm1
2017-02-06 12:46
382
fib_num3__457_14.min1.thm1
2017-02-06 12:46
360
fib_num3__471_53.min1.thm1
2017-02-06 12:46
1.4K
fib_num3__473_64.min1.thm1
2017-02-06 12:46
736
fib_num3__473_64.min1.thm1.tptp
2017-02-06 16:47
659
fib_num3__479_23.min1.thm1
2017-02-06 12:46
2.1K
fib_num3__480_16.min1.thm1
2017-02-06 12:46
2.1K
fib_num3__482_9.min1.thm1
2017-02-06 12:46
1.1K
fib_num3__483_20.min1.thm1
2017-02-06 12:46
1.3K
fib_num3__485_11.min1.thm1
2017-02-06 12:46
2.0K
fib_num3__486_11.min1.thm1
2017-02-06 12:46
2.3K
fib_num3__494_11.min1.thm1
2017-02-06 12:46
2.0K
fib_num3__504_18.min1.thm1
2017-02-06 12:46
1.0K
fib_num3__508_24.min1.thm1
2017-02-06 12:46
585
fib_num3__508_24.min1.thm1.tptp
2017-02-06 16:47
512
fib_num3__509_19.min1.thm1
2017-02-06 12:46
2.0K
fib_num3__510_16.min1.thm1
2017-02-06 12:46
1.8K
fib_num3__512_11.min1.thm1
2017-02-06 12:46
2.1K
fib_num3__527_56.min1.thm1
2017-02-06 12:46
586
fib_num3__527_56.min1.thm1.tptp
2017-02-06 16:47
509
fib_num3__528_49.min1.thm1
2017-02-06 12:46
660
fib_num3__528_49.min1.thm1.tptp
2017-02-06 16:47
583
fib_num3__530_35.min1.thm1
2017-02-06 12:46
1.8K
fib_num3__532_21.min1.thm1
2017-02-06 12:46
1.5K
fib_num3__533_22.min1.thm1
2017-02-06 12:46
2.4K
fib_num3__534_16.min1.thm1
2017-02-06 12:46
2.0K
fib_num3__536_9.min1.thm1
2017-02-06 12:46
1.1K
fib_num3__537_20.min1.thm1
2017-02-06 12:46
1.3K
fib_num3__539_11.min1.thm1
2017-02-06 12:46
1.7K
fib_num3__540_11.min1.thm1
2017-02-06 12:46
1.9K
fib_num3__542_14.min1.thm1
2017-02-06 12:46
457
fib_num3__542_14.min1.thm1.tptp
2017-02-06 16:47
380
fib_num3__550_9.min1.thm1
2017-02-06 12:46
1.1K
fib_num3__552_17.min1.thm1
2017-02-06 12:46
1.3K
fib_num3__558_60.min1.thm1
2017-02-06 12:46
610
fib_num3__558_60.min1.thm1.tptp
2017-02-06 16:47
533
fib_num3__563_26.min1.thm1
2017-02-06 12:46
1.8K
fib_num3__564_16.min1.thm1
2017-02-06 12:46
1.9K
fib_num3__566_11.min1.thm1
2017-02-06 12:46
1.3K
fib_num3__567_18.min1.thm1
2017-02-06 12:46
1.4K
fib_num3__569_11.min1.thm1
2017-02-06 12:46
2.0K
fib_num3__570_11.min1.thm1
2017-02-06 12:46
2.2K
fib_num3__572_14.min1.thm1
2017-02-06 12:46
489
fib_num3__572_14.min1.thm1.tptp
2017-02-06 16:47
412
fib_num3__589_71.min1.thm1
2017-02-06 12:46
821
fib_num3__589_71.min1.thm1.tptp
2017-02-06 16:47
744
fib_num3__590_38.min1.thm1
2017-02-06 12:46
2.9K
fib_num3__590_74.min1.thm1
2017-02-06 12:46
2.8K
fib_num3__594_64.min1.thm1
2017-02-06 12:46
866
fib_num3__594_64.min1.thm1.tptp
2017-02-06 16:47
789
fib_num3__595_54.min1.thm1
2017-02-06 12:46
780
fib_num3__595_54.min1.thm1.tptp
2017-02-06 16:47
703
fib_num3__596_18.min1.thm1
2017-02-06 12:46
754
fib_num3__604_31.min1.thm1
2017-02-06 12:46
1.9K
fib_num3__607_16.min1.thm1
2017-02-06 12:46
570
fib_num3__609_11.min1.thm1
2017-02-06 12:46
3.5K
fib_num3__611_14.min1.thm1
2017-02-06 12:46
810
fib_num3__627_49.min1.thm1
2017-02-06 12:46
2.1K
fib_num3__629_62.min1.thm1
2017-02-06 12:46
2.0K
fib_num3__639_40.min1.thm1
2017-02-06 12:46
2.1K
fib_num3__640_20.min1.thm1
2017-02-06 12:46
1.4K
fib_num3__641_45.min1.thm1
2017-02-06 12:46
1.9K
fib_num3__643_8.min1.thm1
2017-02-06 12:46
1.6K
fib_num3__644_62.min1.thm1
2017-02-06 12:46
2.3K
fib_num3__645_15.min1.thm1
2017-02-06 12:46
1.7K
fib_num3__648_8.min1.thm1
2017-02-06 12:46
2.2K
fib_num3__657_15.min1.thm1
2017-02-06 12:46
372
fib_num3__661_26.min1.thm1
2017-02-06 12:46
702
fib_num3__661_26.min1.thm1.tptp
2017-02-06 16:47
625
fib_num3__663_25.min1.thm1
2017-02-06 12:46
1.9K
fib_num3__665_4.min1.thm1
2017-02-06 12:46
1.0K
fib_num3__669_14.min1.thm1
2017-02-06 12:46
374
fib_num3__677_9.min1.thm1
2017-02-06 12:46
1.1K
fib_num3__679_17.min1.thm1
2017-02-06 12:46
1.3K
fib_num3__698_46.min1.thm1
2017-02-06 12:46
1.2K
fib_num3__698_46.min1.thm1.tptp
2017-02-06 16:47
1.2K
fib_num3__702_40.min1.thm1
2017-02-06 12:46
2.3K
fib_num3__704_55.min1.thm1
2017-02-06 12:46
2.4K
fib_num3__710_40.min1.thm1
2017-02-06 12:46
1.2K
fib_num3__710_40.min1.thm1.tptp
2017-02-06 16:47
1.2K
fib_num3__716_50.min1.thm1
2017-02-06 12:46
1.7K
fib_num3__716_50.min1.thm1.tptp
2017-02-06 16:47
1.6K
fib_num3__720_56.min1.thm1
2017-02-06 12:46
835
fib_num3__720_56.min1.thm1.tptp
2017-02-06 16:47
758
fib_num3__721_45.min1.thm1
2017-02-06 12:46
761
fib_num3__721_45.min1.thm1.tptp
2017-02-06 16:47
684
fib_num3__729_16.min1.thm1
2017-02-06 12:46
2.3K
fib_num3__731_9.min1.thm1
2017-02-06 12:46
1.0K
fib_num3__732_26.min1.thm1
2017-02-06 12:46
1.6K
fib_num3__733_44.min1.thm1
2017-02-06 12:46
2.0K
fib_num3__735_8.min1.thm1
2017-02-06 12:46
1.2K
fib_num3__736_11.min1.thm1
2017-02-06 12:46
2.2K
fib_num3__749_66.min1.thm1
2017-02-06 12:46
2.1K
fib_num3__751_37.min1.thm1
2017-02-06 12:46
2.0K
fib_num3__752_44.min1.thm1
2017-02-06 12:46
1.9K
fib_num3__756_29.min1.thm1
2017-02-06 12:46
1.5K
fib_num3__757_20.min1.thm1
2017-02-06 12:46
381
fib_num3__757_20.min1.thm1.tptp
2017-02-06 16:47
266
fib_num3__759_57.min1.thm1
2017-02-06 12:46
908
fib_num3__761_16.min1.thm1
2017-02-06 12:46
796
fib_num3__764_42.min1.thm1
2017-02-06 12:46
755
fib_num3__765_41.min1.thm1
2017-02-06 12:46
1.5K
fib_num3__766_28.min1.thm1
2017-02-06 12:46
1.4K
fib_num3__767_14.min1.thm1
2017-02-06 12:46
558
fib_num3__776_8.min1.thm1
2017-02-06 12:46
1.2K
fib_num3__778_22.min1.thm1
2017-02-06 12:46
2.0K
fib_num3__779_14.min1.thm1
2017-02-06 12:46
628
fib_num3__789_39.min1.thm1
2017-02-06 12:46
563
fib_num3__790_35.min1.thm1
2017-02-06 12:46
1.0K
fib_num3__791_16.min1.thm1
2017-02-06 12:46
1.1K
fib_num3__809_18.min1.thm1
2017-02-06 12:46
1.8K
fib_num3__824_19.min1.thm1
2017-02-06 12:46
1.6K
fib_num3__839_11.min1.thm1
2017-02-06 12:46
1.3K
fib_num3__841_44.min1.thm1
2017-02-06 12:46
3.1K
fib_num3__843_11.min1.thm1
2017-02-06 12:46
1.3K
fib_num3__845_53.min1.thm1
2017-02-06 12:46
1.3K
fib_num3__845_53.min1.thm1.tptp
2017-02-06 16:47
1.3K
fib_num3__848_54.min1.thm1
2017-02-06 12:46
3.3K
fib_num3__850_42.min1.thm1
2017-02-06 12:46
1.3K
fib_num3__850_42.min1.thm1.tptp
2017-02-06 16:47
1.3K
fib_num3__854_14.min1.thm1
2017-02-06 12:46
638
fib_num3__865_70.min1.thm1
2017-02-06 12:46
2.6K
fib_num3__868_28.min1.thm1
2017-02-06 12:46
3.0K
fib_num3__869_14.min1.thm1
2017-02-06 12:46
1.4K
fib_num3__876_56.min1.thm1
2017-02-06 12:46
855
fib_num3__877_22.min1.thm1
2017-02-06 12:46
2.1K
fib_num3__878_14.min1.thm1
2017-02-06 12:46
606
fib_num3__888_14.min1.thm1
2017-02-06 12:46
638
fib_num3__898_14.min1.thm1
2017-02-06 12:46
638
fib_num3__905_11.min1.thm1
2017-02-06 12:46
1.2K
fib_num3__910_43.min1.thm1
2017-02-06 12:46
1.3K
fib_num3__911_19.min1.thm1
2017-02-06 12:46
464
fib_num3__911_19.min1.thm1.tptp
2017-02-06 16:47
387
fib_num3__912_16.min1.thm1
2017-02-06 12:46
378
fib_num3__914_11.min1.thm1
2017-02-06 12:46
1.2K
fib_num3__916_14.min1.thm1
2017-02-06 12:46
458
fib_num3__923_11.min1.thm1
2017-02-06 12:46
1.2K
fib_num3__928_48.min1.thm1
2017-02-06 12:46
1.3K
fib_num3__929_22.min1.thm1
2017-02-06 12:46
476
fib_num3__929_22.min1.thm1.tptp
2017-02-06 16:47
399
fib_num3__930_16.min1.thm1
2017-02-06 12:46
372
fib_num3__932_11.min1.thm1
2017-02-06 12:46
1.2K
fib_num3__934_14.min1.thm1
2017-02-06 12:46
452
fib_num3__946_26.min1.thm1
2017-02-06 12:46
2.6K
fib_num3__947_14.min1.thm1
2017-02-06 12:46
638
fib_num3__956_21.min1.thm1
2017-02-06 12:46
1.0K
fib_num3__963_14.min1.thm1
2017-02-06 12:46
638
fib_num3__975_14.min1.thm1
2017-02-06 12:46
644
fib_num3__988_58.min1.thm1
2017-02-06 12:46
1.1K
fib_num3__990_8.min1.thm1
2017-02-06 12:46
636
fib_num3__997_15.min1.thm1
2017-02-06 12:46
1.0K
fib_num3__999_56.min1.thm1
2017-02-06 12:46
1.2K
fib_num3__1000_27.min1.thm1
2017-02-06 12:46
1.3K
fib_num3__1001_22.min1.thm1
2017-02-06 12:46
1.7K
fib_num3__1002_25.min1.thm1
2017-02-06 12:46
511
fib_num3__1002_25.min1.thm1.tptp
2017-02-06 16:47
436
fib_num3__1004_24.min1.thm1
2017-02-06 12:46
1.5K
fib_num3__1005_64.min1.thm1
2017-02-06 12:46
1.3K
fib_num3__1006_52.min1.thm1
2017-02-06 12:46
1.3K
fib_num3__1010_8.min1.thm1
2017-02-06 12:46
1.5K
fib_num3__1011_65.min1.thm1
2017-02-06 12:46
1.4K
fib_num3__1013_39.min1.thm1
2017-02-06 12:46
1.0K
fib_num3__1014_52.min1.thm1
2017-02-06 12:46
1.1K
fib_num3__1015_65.min1.thm1
2017-02-06 12:46
1.2K
fib_num3__1016_18.min1.thm1
2017-02-06 12:46
820
fib_num3__1018_11.min1.thm1
2017-02-06 12:46
1.1K
fib_num3__1020_15.min1.thm1
2017-02-06 12:46
1.3K
fib_num3__1021_33.min1.thm1
2017-02-06 12:46
1.1K
fib_num3__1023_62.min1.thm1
2017-02-06 12:46
1.1K
fib_num3__1025_55.min1.thm1
2017-02-06 12:46
1.0K
fib_num3__1027_8.min1.thm1
2017-02-06 12:46
636
fib_num3__1029_16.min1.thm1
2017-02-06 12:46
960
fib_num3__1043_11.min1.thm1
2017-02-06 12:46
1.4K
fib_num3__1049_40.min1.thm1
2017-02-06 12:46
508
fib_num3__1049_40.min1.thm1.tptp
2017-02-06 16:47
431
fib_num3__1051_29.min1.thm1
2017-02-06 12:46
1.3K
fib_num3__1052_18.min1.thm1
2017-02-06 12:46
422
fib_num3__1054_11.min1.thm1
2017-02-06 12:46
1.5K
fib_num3__1056_16.min1.thm1
2017-02-06 12:46
402
fib_num3__1056_16.min1.thm1.tptp
2017-02-06 16:47
325
fib_num3__1059_11.min1.thm1
2017-02-06 12:46
2.7K
fib_num3__1068_59.min1.thm1
2017-02-06 12:46
602
fib_num3__1068_59.min1.thm1.tptp
2017-02-06 16:47
525
fib_num3__1069_51.min1.thm1
2017-02-06 12:46
680
fib_num3__1069_51.min1.thm1.tptp
2017-02-06 16:47
603
fib_num3__1071_28.min1.thm1
2017-02-06 12:46
1.1K
fib_num3__1072_29.min1.thm1
2017-02-06 12:46
2.9K
fib_num3__1073_18.min1.thm1
2017-02-06 12:46
2.0K
fib_num3__1075_42.min1.thm1
2017-02-06 12:46
2.2K
fib_num3__1076_44.min1.thm1
2017-02-06 12:46
1.7K
fib_num3__1078_24.min1.thm1
2017-02-06 12:46
1.3K
fib_num3__1080_8.min1.thm1
2017-02-06 12:46
1.0K
fib_num3__1081_11.min1.thm1
2017-02-06 12:46
2.3K
fib_num3__1083_16.min1.thm1
2017-02-06 12:46
467
fib_num3__1083_16.min1.thm1.tptp
2017-02-06 16:47
390
fib_num3__1093_27.min1.thm1
2017-02-06 12:46
730
fib_num3__1093_27.min1.thm1.tptp
2017-02-06 16:47
653
fib_num3__1097_31.min1.thm1
2017-02-06 12:46
1.3K
fib_num3__1099_16.min1.thm1
2017-02-06 12:46
1.8K
fib_num3__1102_14.min1.thm1
2017-02-06 12:46
699
fib_num3__1102_14.min1.thm1.tptp
2017-02-06 16:47
622
fib_num3__1109_39.min1.thm1
2017-02-06 12:46
1.3K
fib_num3__1110_60.min1.thm1
2017-02-06 12:46
1.6K
fib_num3__1129_63.min1.thm1
2017-02-06 12:46
836
fib_num3__1129_63.min1.thm1.tptp
2017-02-06 16:47
759
fib_num3__1130_52.min1.thm1
2017-02-06 12:46
762
fib_num3__1130_52.min1.thm1.tptp
2017-02-06 16:47
685
fib_num3__1131_16.min1.thm1
2017-02-06 12:46
698
fib_num3__1133_20.min1.thm1
2017-02-06 12:46
707
fib_num3__1138_14.min1.thm1
2017-02-06 12:46
795
fib_num3__1151_27.min1.thm1
2017-02-06 12:46
1.0K
fib_num3__1153_16.min1.thm1
2017-02-06 12:46
1.9K
fib_num3__1155_22.min1.thm1
2017-02-06 12:46
1.1K
fib_num3__1156_24.min1.thm1
2017-02-06 12:46
1.5K
fib_num3__1158_8.min1.thm1
2017-02-06 12:46
1.2K
fib_num3__1159_24.min1.thm1
2017-02-06 12:46
1.1K
fib_num3__1160_24.min1.thm1
2017-02-06 12:46
909
fib_num3__1161_38.min1.thm1
2017-02-06 12:46
1.6K
fib_num3__1163_21.min1.thm1
2017-02-06 12:46
1.3K
fib_num3__1165_8.min1.thm1
2017-02-06 12:46
1.1K
fib_num3__1167_14.min1.thm1
2017-02-06 12:46
1.2K
fib_num3__1178_33.min1.thm1
2017-02-06 12:46
1.1K
fib_num3__1179_24.min1.thm1
2017-02-06 12:46
1.6K
fib_num3__1180_12.min1.thm1
2017-02-06 12:46
909
fib_num3__1181_35.min1.thm1
2017-02-06 12:46
961
fib_num3__1182_16.min1.thm1
2017-02-06 12:46
1.4K
fib_num3__1185_74.min1.thm1
2017-02-06 12:46
1.9K
fib_num3__1189_51.min1.thm1
2017-02-06 12:46
1.0K
fib_num3__1191_72.min1.thm1
2017-02-06 12:46
1.3K
fib_num3__1203_23.min1.thm1
2017-02-06 12:46
1.4K
fib_num3__1204_46.min1.thm1
2017-02-06 12:46
843
fib_num3__1206_40.min1.thm1
2017-02-06 12:46
1.1K
fib_num3__1208_31.min1.thm1
2017-02-06 12:46
1.7K
fib_num3__1209_19.min1.thm1
2017-02-06 12:46
947
fib_num3__1212_11.min1.thm1
2017-02-06 12:46
1.7K
fib_num3__1214_41.min1.thm1
2017-02-06 12:46
2.0K
fib_num3__1216_43.min1.thm1
2017-02-06 12:46
1.9K
fib_num3__1217_31.min1.thm1
2017-02-06 12:46
1.1K
fib_num3__1221_65.min1.thm1
2017-02-06 12:46
1.5K
fib_num3__1221_65.min1.thm1.tptp
2017-02-06 16:47
1.4K
fib_num3__1230_70.min1.thm1
2017-02-06 12:46
2.2K
fib_num3__1234_35.min1.thm1
2017-02-06 12:46
1.9K
fib_num3__1255_21.min1.thm1
2017-02-06 12:46
1.3K
fib_num3__1257_22.min1.thm1
2017-02-06 12:46
1.3K
fib_num3__1259_6.min1.thm1
2017-02-06 12:46
1.8K
fib_num3__1263_21.min1.thm1
2017-02-06 12:46
2.0K
fib_num3__1264_21.min1.thm1
2017-02-06 12:46
1.1K
fib_num3__1268_60.min1.thm1
2017-02-06 12:46
945
fib_num3__1269_72.min1.thm1
2017-02-06 12:46
1.1K
fib_num3__1283_11.min1.thm1
2017-02-06 12:46
2.0K
fib_num3__1291_30.min1.thm1
2017-02-06 12:46
2.4K
fib_num3__1293_16.min1.thm1
2017-02-06 12:46
1.9K
fib_num3__1295_11.min1.thm1
2017-02-06 12:46
2.7K
fib_num3__1297_14.min1.thm1
2017-02-06 12:46
1.3K
fib_num3__1305_19.min1.thm1
2017-02-06 12:46
912
fib_num3__1305_28.min1.thm1
2017-02-06 12:46
1.6K
fib_num3__1306_31.min1.thm1
2017-02-06 12:46
1.1K
fib_num3__1307_24.min1.thm1
2017-02-06 12:46
1.6K
fib_num3__1308_12.min1.thm1
2017-02-06 12:46
909
fib_num3__1310_11.min1.thm1
2017-02-06 12:46
2.2K
fib_num3__1320_47.min1.thm1
2017-02-06 12:46
820
fib_num3__1320_47.min1.thm1.tptp
2017-02-06 16:47
743
fib_num3__1321_36.min1.thm1
2017-02-06 12:46
2.0K
fib_num3__1323_16.min1.thm1
2017-02-06 12:46
2.0K
fib_num3__1325_11.min1.thm1
2017-02-06 12:46
2.9K
fib_num3__1327_14.min1.thm1
2017-02-06 12:46
1.2K
fib_num3__1335_11.min1.thm1
2017-02-06 12:46
1.7K
fib_num3__1342_47.min1.thm1
2017-02-06 12:46
1.1K
fib_num3__1344_21.min1.thm1
2017-02-06 12:46
516
fib_num3__1344_21.min1.thm1.tptp
2017-02-06 16:47
439
fib_num3__1345_16.min1.thm1
2017-02-06 12:46
450
fib_num3__1347_11.min1.thm1
2017-02-06 12:46
1.3K
fib_num3__1349_14.min1.thm1
2017-02-06 12:46
596
fib_num3__1363_43.min1.thm1
2017-02-06 12:46
1.9K
fib_num3__1366_21.min1.thm1
2017-02-06 12:46
516
fib_num3__1366_21.min1.thm1.tptp
2017-02-06 16:47
439
fib_num3__1367_16.min1.thm1
2017-02-06 12:46
1.8K
fib_num3__1369_31.min1.thm1
2017-02-06 12:46
1.1K
fib_num3__1370_24.min1.thm1
2017-02-06 12:46
1.6K
fib_num3__1371_12.min1.thm1
2017-02-06 12:46
953
fib_num3__1373_11.min1.thm1
2017-02-06 12:46
1.8K
fib_num3__1374_11.min1.thm1
2017-02-06 12:46
1.9K
fib_num3__1376_14.min1.thm1
2017-02-06 12:46
1.1K
fib_num3__1392_15.min1.thm1
2017-02-06 12:46
1.2K
fib_num3__1393_72.min1.thm1
2017-02-06 12:46
1.3K
fib_num3__1395_30.min1.thm1
2017-02-06 12:46
2.0K
fib_num3__1396_16.min1.thm1
2017-02-06 12:46
758
fib_num3__1398_48.min1.thm1
2017-02-06 12:46
1.0K
fib_num3__1399_12.min1.thm1
2017-02-06 12:46
909
fib_num3__1400_26.min1.thm1
2017-02-06 12:46
1.3K
fib_num3__1402_8.min1.thm1
2017-02-06 12:46
586
fib_num3__1403_48.min1.thm1
2017-02-06 12:46
1.0K
fib_num3__1404_12.min1.thm1
2017-02-06 12:46
914
fib_num3__1405_26.min1.thm1
2017-02-06 12:46
1.3K
fib_num3__1407_8.min1.thm1
2017-02-06 12:46
616
fib_num3__1409_14.min1.thm1
2017-02-06 12:46
855
fib_num3__1424_62.min1.thm1
2017-02-06 12:46
1.7K
fib_num3__1426_28.min1.thm1
2017-02-06 12:46
1.0K
fib_num3__1427_16.min1.thm1
2017-02-06 12:46
632
fib_num3__1429_26.min1.thm1
2017-02-06 12:46
1.2K
fib_num3__1430_24.min1.thm1
2017-02-06 12:46
837
fib_num3__1432_8.min1.thm1
2017-02-06 12:46
516
fib_num3__1433_26.min1.thm1
2017-02-06 12:46
1.2K
fib_num3__1434_24.min1.thm1
2017-02-06 12:46
842
fib_num3__1436_8.min1.thm1
2017-02-06 12:46
536
fib_num3__1438_14.min1.thm1
2017-02-06 12:46
778
fib_num3__1450_2.min1.thm1
2017-02-06 12:46
788
fib_num3__1450_2.min1.thm1.tptp
2017-02-06 16:47
711
fib_num3__1451_63.min1.thm1
2017-02-06 12:46
756
fib_num3__1451_63.min1.thm1.tptp
2017-02-06 16:47
679
fib_num3__1454_22.min1.thm1
2017-02-06 12:46
857
fib_num3__1456_8.min1.thm1
2017-02-06 12:46
810
fib_num3__1462_59.min1.thm1
2017-02-06 12:46
1.6K
fib_num3__1463_16.min1.thm1
2017-02-06 12:46
396
fib_num3__1463_16.min1.thm1.tptp
2017-02-06 16:47
319
fib_num3__1467_20.min1.thm1
2017-02-06 12:46
396
fib_num3__1467_20.min1.thm1.tptp
2017-02-06 16:47
319
fib_num3__1468_28.min1.thm1
2017-02-06 12:46
733
fib_num3__1472_31.min1.thm1
2017-02-06 12:46
340
fib_num3__1472_31.min1.thm1.tptp
2017-02-06 16:47
263
fib_num3__1473_44.min1.thm1
2017-02-06 12:46
372
fib_num3__1473_44.min1.thm1.tptp
2017-02-06 16:47
295
fib_num3__1474_29.min1.thm1
2017-02-06 12:46
1.7K
fib_num3__1478_39.min1.thm1
2017-02-06 12:46
340
fib_num3__1478_39.min1.thm1.tptp
2017-02-06 16:47
263
fib_num3__1479_52.min1.thm1
2017-02-06 12:46
372
fib_num3__1479_52.min1.thm1.tptp
2017-02-06 16:47
295
fib_num3__1481_28.min1.thm1
2017-02-06 12:46
686
fib_num3__1490_16.min1.thm1
2017-02-06 12:46
1.0K
fib_num3__1493_71.min1.thm1
2017-02-06 12:46
806
fib_num3__1493_71.min1.thm1.tptp
2017-02-06 16:47
729
fib_num3__1495_48.min1.thm1
2017-02-06 12:46
2.0K
fib_num3__1498_22.min1.thm1
2017-02-06 12:46
862
fib_num3__1500_8.min1.thm1
2017-02-06 12:46
840
fib_num3__1502_14.min1.thm1
2017-02-06 12:46
1.1K
fib_num3__1510_60.min1.thm1
2017-02-06 12:46
2.0K
fib_num3__1512_26.min1.thm1
2017-02-06 12:46
1.3K
fib_num3__1513_14.min1.thm1
2017-02-06 12:46
640
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80