Index of /~mptp/1147/MPTP2/ilp0/fib_num
Name
Last modified
Size
Description
Parent Directory
-
fib_num__54_18.min1.thm1
2017-02-06 12:46
1.0K
fib_num__55_18.min1.thm1
2017-02-06 12:46
1.2K
fib_num__56_20.min1.thm1
2017-02-06 12:46
1.2K
fib_num__57_21.min1.thm1
2017-02-06 12:46
1.6K
fib_num__59_18.min1.thm1
2017-02-06 12:46
1.5K
fib_num__60_16.min1.thm1
2017-02-06 12:46
950
fib_num__61_25.min1.thm1
2017-02-06 12:46
1.3K
fib_num__62_21.min1.thm1
2017-02-06 12:46
1.6K
fib_num__63_17.min1.thm1
2017-02-06 12:46
1.5K
fib_num__76_16.min1.thm1
2017-02-06 12:46
397
fib_num__76_16.min1.thm1.tptp
2017-02-06 16:47
322
fib_num__81_19.min1.thm1
2017-02-06 12:46
1.0K
fib_num__82_18.min1.thm1
2017-02-06 12:46
1.2K
fib_num__88_24.min1.thm1
2017-02-06 12:46
1.3K
fib_num__89_21.min1.thm1
2017-02-06 12:46
1.1K
fib_num__99_20.min1.thm1
2017-02-06 12:46
1.5K
fib_num__102_29.min1.thm1
2017-02-06 12:46
1.3K
fib_num__103_23.min1.thm1
2017-02-06 12:46
869
fib_num__109_24.min1.thm1
2017-02-06 12:46
1.0K
fib_num__110_28.min1.thm1
2017-02-06 12:46
1.1K
fib_num__111_24.min1.thm1
2017-02-06 12:46
1.0K
fib_num__112_33.min1.thm1
2017-02-06 12:46
1.6K
fib_num__113_29.min1.thm1
2017-02-06 12:46
2.2K
fib_num__114_25.min1.thm1
2017-02-06 12:46
1.1K
fib_num__121_24.min1.thm1
2017-02-06 12:46
2.0K
fib_num__122_24.min1.thm1
2017-02-06 12:46
1.3K
fib_num__126_22.min1.thm1
2017-02-06 12:46
963
fib_num__130_31.min1.thm1
2017-02-06 12:46
1.3K
fib_num__131_25.min1.thm1
2017-02-06 12:46
655
fib_num__134_28.min1.thm1
2017-02-06 12:46
1.3K
fib_num__136_29.min1.thm1
2017-02-06 12:46
1.3K
fib_num__138_22.min1.thm1
2017-02-06 12:46
1.0K
fib_num__139_43.min1.thm1
2017-02-06 12:46
493
fib_num__140_22.min1.thm1
2017-02-06 12:46
1.4K
fib_num__141_18.min1.thm1
2017-02-06 12:46
740
fib_num__142_28.min1.thm1
2017-02-06 12:46
1.2K
fib_num__145_19.min1.thm1
2017-02-06 12:46
1.4K
fib_num__146_27.min1.thm1
2017-02-06 12:46
1.0K
fib_num__147_32.min1.thm1
2017-02-06 12:46
1.5K
fib_num__150_18.min1.thm1
2017-02-06 12:46
2.0K
fib_num__154_26.min1.thm1
2017-02-06 12:46
1.1K
fib_num__155_26.min1.thm1
2017-02-06 12:46
1.1K
fib_num__156_26.min1.thm1
2017-02-06 12:46
1.7K
fib_num__157_31.min1.thm1
2017-02-06 12:46
1.4K
fib_num__158_31.min1.thm1
2017-02-06 12:46
1.8K
fib_num__159_27.min1.thm1
2017-02-06 12:46
1.0K
fib_num__161_43.min1.thm1
2017-02-06 12:46
493
fib_num__162_36.min1.thm1
2017-02-06 12:46
1.8K
fib_num__163_48.min1.thm1
2017-02-06 12:46
2.4K
fib_num__165_25.min1.thm1
2017-02-06 12:46
1.5K
fib_num__171_14.min1.thm1
2017-02-06 12:46
716
fib_num__181_18.min1.thm1
2017-02-06 12:46
813
fib_num__181_23.min1.thm1
2017-02-06 12:46
1.0K
fib_num__184_14.min1.thm1
2017-02-06 12:46
1.1K
fib_num__187_17.min1.thm1
2017-02-06 12:46
3.0K
fib_num__202_23.min1.thm1
2017-02-06 12:46
2.1K
fib_num__204_19.min1.thm1
2017-02-06 12:46
1.9K
fib_num__206_11.min1.thm1
2017-02-06 12:46
1.1K
fib_num__208_14.min1.thm1
2017-02-06 12:46
331
fib_num__208_14.min1.thm1.tptp
2017-02-06 16:47
254
fib_num__230_13.min1.thm1
2017-02-06 12:46
1.2K
fib_num__231_16.min1.thm1
2017-02-06 12:46
1.2K
fib_num__234_44.min1.thm1
2017-02-06 12:46
1.2K
fib_num__235_21.min1.thm1
2017-02-06 12:46
1.2K
fib_num__246_17.min1.thm1
2017-02-06 12:46
873
fib_num__247_17.min1.thm1
2017-02-06 12:46
1.0K
fib_num__248_16.min1.thm1
2017-02-06 12:46
1.1K
fib_num__249_23.min1.thm1
2017-02-06 12:46
1.3K
fib_num__253_20.min1.thm1
2017-02-06 12:46
944
fib_num__261_25.min1.thm1
2017-02-06 12:46
590
fib_num__269_35.min1.thm1
2017-02-06 12:46
1.0K
fib_num__273_13.min1.thm1
2017-02-06 12:46
1.1K
fib_num__276_18.min1.thm1
2017-02-06 12:46
1.4K
fib_num__278_18.min1.thm1
2017-02-06 12:46
1.0K
fib_num__283_15.min1.thm1
2017-02-06 12:46
1.1K
fib_num__285_11.min1.thm1
2017-02-06 12:46
1.5K
fib_num__292_13.min1.thm1
2017-02-06 12:46
187
fib_num__295_21.min1.thm1
2017-02-06 12:46
1.8K
fib_num__299_20.min1.thm1
2017-02-06 12:46
388
fib_num__309_11.min1.thm1
2017-02-06 12:46
1.3K
fib_num__319_18.min1.thm1
2017-02-06 12:46
640
fib_num__320_41.min1.thm1
2017-02-06 12:46
1.5K
fib_num__324_11.min1.thm1
2017-02-06 12:46
1.4K
fib_num__340_27.min1.thm1
2017-02-06 12:46
2.0K
fib_num__343_27.min1.thm1
2017-02-06 12:46
444
fib_num__343_27.min1.thm1.tptp
2017-02-06 16:47
363
fib_num__347_8.min1.thm1
2017-02-06 12:46
1.6K
fib_num__349_16.min1.thm1
2017-02-06 12:46
527
fib_num__354_14.min1.thm1
2017-02-06 12:46
906
fib_num__355_35.min1.thm1
2017-02-06 12:46
444
fib_num__356_12.min1.thm1
2017-02-06 12:46
318
fib_num__356_12.min1.thm1.tptp
2017-02-06 16:47
236
fib_num__357_17.min1.thm1
2017-02-06 12:46
568
fib_num__363_11.min1.thm1
2017-02-06 12:46
181
fib_num__366_19.min1.thm1
2017-02-06 12:46
1.4K
fib_num__370_19.min1.thm1
2017-02-06 12:46
1.4K
fib_num__380_11.min1.thm1
2017-02-06 12:46
3.0K
fib_num__397_37.min1.thm1
2017-02-06 12:46
629
fib_num__397_37.min1.thm1.tptp
2017-02-06 16:47
556
fib_num__398_63.min1.thm1
2017-02-06 12:46
710
fib_num__398_63.min1.thm1.tptp
2017-02-06 16:47
633
fib_num__402_11.min1.thm1
2017-02-06 12:46
2.5K
fib_num__414_6.min1.thm1
2017-02-06 12:46
1.6K
fib_num__416_16.min1.thm1
2017-02-06 12:46
398
fib_num__418_11.min1.thm1
2017-02-06 12:46
1.6K
fib_num__436_16.min1.thm1
2017-02-06 12:46
1.0K
fib_num__439_38.min1.thm1
2017-02-06 12:46
877
fib_num__440_26.min1.thm1
2017-02-06 12:46
773
fib_num__444_18.min1.thm1
2017-02-06 12:46
544
fib_num__447_20.min1.thm1
2017-02-06 12:46
1.0K
fib_num__450_44.min1.thm1
2017-02-06 12:46
1.2K
fib_num__451_25.min1.thm1
2017-02-06 12:46
1.0K
fib_num__458_24.min1.thm1
2017-02-06 12:46
948
fib_num__459_45.min1.thm1
2017-02-06 12:46
504
fib_num__460_21.min1.thm1
2017-02-06 12:46
1.3K
fib_num__461_21.min1.thm1
2017-02-06 12:46
1.6K
fib_num__463_25.min1.thm1
2017-02-06 12:46
618
fib_num__464_46.min1.thm1
2017-02-06 12:46
504
fib_num__470_38.min1.thm1
2017-02-06 12:46
428
fib_num__470_38.min1.thm1.tptp
2017-02-06 16:47
351
fib_num__475_20.min1.thm1
2017-02-06 12:46
1.0K
fib_num__476_32.min1.thm1
2017-02-06 12:46
1.4K
fib_num__477_27.min1.thm1
2017-02-06 12:46
1.2K
fib_num__483_41.min1.thm1
2017-02-06 12:46
819
fib_num__517_13.min1.thm1
2017-02-06 12:46
1.4K
fib_num__525_13.min1.thm1
2017-02-06 12:46
1.4K
fib_num__531_8.min1.thm1
2017-02-06 12:46
1.5K
fib_num__541_23.min1.thm1
2017-02-06 12:46
357
fib_num__541_23.min1.thm1.tptp
2017-02-06 16:47
292
fib_num__542_16.min1.thm1
2017-02-06 12:46
357
fib_num__542_16.min1.thm1.tptp
2017-02-06 16:47
292
fib_num__545_18.min1.thm1
2017-02-06 12:46
1.2K
fib_num__547_20.min1.thm1
2017-02-06 12:46
1.2K
fib_num__551_10.min1.thm1
2017-02-06 12:46
703
fib_num__552_20.min1.thm1
2017-02-06 12:46
1.1K
fib_num__553_17.min1.thm1
2017-02-06 12:46
1.2K
fib_num__558_15.min1.thm1
2017-02-06 12:46
1.2K
fib_num__559_20.min1.thm1
2017-02-06 12:46
1.5K
fib_num__561_30.min1.thm1
2017-02-06 12:46
2.4K
fib_num__562_14.min1.thm1
2017-02-06 12:46
948
fib_num__570_15.min1.thm1
2017-02-06 12:46
1.2K
fib_num__572_32.min1.thm1
2017-02-06 12:46
2.4K
fib_num__579_23.min1.thm1
2017-02-06 12:46
1.2K
fib_num__584_17.min1.thm1
2017-02-06 12:46
1.0K
fib_num__593_35.min1.thm1
2017-02-06 12:46
287
fib_num__593_35.min1.thm1.tptp
2017-02-06 16:47
210
fib_num__594_27.min1.thm1
2017-02-06 12:46
295
fib_num__594_27.min1.thm1.tptp
2017-02-06 16:47
218
fib_num__596_74.min1.thm1
2017-02-06 12:46
548
fib_num__598_8.min1.thm1
2017-02-06 12:46
1.2K
fib_num__600_11.min1.thm1
2017-02-06 12:46
619
fib_num__600_11.min1.thm1.tptp
2017-02-06 16:47
548
fib_num__613_42.min1.thm1
2017-02-06 12:46
738
fib_num__623_31.min1.thm1
2017-02-06 12:46
2.1K
fib_num__626_16.min1.thm1
2017-02-06 12:46
554
fib_num__630_4.min1.thm1
2017-02-06 12:46
559
fib_num__633_8.min1.thm1
2017-02-06 12:46
388
fib_num__649_19.min1.thm1
2017-02-06 12:46
2.0K
fib_num__651_25.min1.thm1
2017-02-06 12:46
409
fib_num__652_11.min1.thm1
2017-02-06 12:46
951
fib_num__654_8.min1.thm1
2017-02-06 12:46
326
fib_num__654_8.min1.thm1.tptp
2017-02-06 16:47
240
fib_num__656_14.min1.thm1
2017-02-06 12:46
400
fib_num__656_14.min1.thm1.tptp
2017-02-06 16:47
319
fib_num__663_33.min1.thm1
2017-02-06 12:46
679
fib_num__666_10.min1.thm1
2017-02-06 12:46
1.6K
fib_num__668_13.min1.thm1
2017-02-06 12:46
896
fib_num__669_22.min1.thm1
2017-02-06 12:46
1.5K
fib_num__672_17.min1.thm1
2017-02-06 12:46
1.5K
fib_num__681_18.min1.thm1
2017-02-06 12:46
722
fib_num__702_17.min1.thm1
2017-02-06 12:46
1.7K
fib_num__704_17.min1.thm1
2017-02-06 12:46
1.7K
fib_num__705_15.min1.thm1
2017-02-06 12:46
1.5K
fib_num__706_21.min1.thm1
2017-02-06 12:46
1.7K
fib_num__706_29.min1.thm1
2017-02-06 12:46
2.0K
fib_num__708_17.min1.thm1
2017-02-06 12:46
1.7K
fib_num__712_16.min1.thm1
2017-02-06 12:46
822
fib_num__724_24.min1.thm1
2017-02-06 12:46
1.7K
fib_num__726_16.min1.thm1
2017-02-06 12:46
570
fib_num__740_9.min1.thm1
2017-02-06 12:46
791
fib_num__751_15.min1.thm1
2017-02-06 12:46
376
fib_num__755_16.min1.thm1
2017-02-06 12:46
498
fib_num__759_33.min1.thm1
2017-02-06 12:46
1.2K
fib_num__762_23.min1.thm1
2017-02-06 12:46
1.0K
fib_num__773_23.min1.thm1
2017-02-06 12:46
1.5K
fib_num__774_23.min1.thm1
2017-02-06 12:46
945
fib_num__775_40.min1.thm1
2017-02-06 12:46
471
fib_num__775_40.min1.thm1.tptp
2017-02-06 16:47
394
fib_num__777_34.min1.thm1
2017-02-06 12:46
753
fib_num__781_21.min1.thm1
2017-02-06 12:46
1.5K
fib_num__789_20.min1.thm1
2017-02-06 12:46
1.7K
fib_num__790_19.min1.thm1
2017-02-06 12:46
547
fib_num__811_20.min1.thm1
2017-02-06 12:46
1.7K
fib_num__812_16.min1.thm1
2017-02-06 12:46
390
fib_num__820_27.min1.thm1
2017-02-06 12:46
589
fib_num__820_27.min1.thm1.tptp
2017-02-06 16:47
512
fib_num__821_27.min1.thm1
2017-02-06 12:46
500
fib_num__821_27.min1.thm1.tptp
2017-02-06 16:47
423
fib_num__822_19.min1.thm1
2017-02-06 12:46
787
fib_num__826_27.min1.thm1
2017-02-06 12:46
2.2K
fib_num__831_16.min1.thm1
2017-02-06 12:46
376
fib_num__833_41.min1.thm1
2017-02-06 12:46
544
fib_num__834_37.min1.thm1
2017-02-06 12:46
1.3K
fib_num__835_34.min1.thm1
2017-02-06 12:46
523
fib_num__836_16.min1.thm1
2017-02-06 12:46
442
fib_num__847_16.min1.thm1
2017-02-06 12:46
448
fib_num__849_16.min1.thm1
2017-02-06 12:46
288
fib_num__849_16.min1.thm1.tptp
2017-02-06 16:47
207
fib_num__859_16.min1.thm1
2017-02-06 12:46
695
fib_num__863_25.min1.thm1
2017-02-06 12:46
1.7K
fib_num__868_29.min1.thm1
2017-02-06 12:46
2.4K
fib_num__870_21.min1.thm1
2017-02-06 12:46
528
fib_num__871_21.min1.thm1
2017-02-06 12:46
3.3K
fib_num__873_20.min1.thm1
2017-02-06 12:46
1.8K
fib_num__874_22.min1.thm1
2017-02-06 12:46
2.1K
fib_num__876_22.min1.thm1
2017-02-06 12:46
2.5K
fib_num__877_39.min1.thm1
2017-02-06 12:46
1.9K
fib_num__878_20.min1.thm1
2017-02-06 12:46
1.8K
fib_num__879_18.min1.thm1
2017-02-06 12:46
1.7K
fib_num__880_27.min1.thm1
2017-02-06 12:46
2.7K
fib_num__897_19.min1.thm1
2017-02-06 12:46
389
fib_num__897_19.min1.thm1.tptp
2017-02-06 16:47
312
fib_num__898_62.min1.thm1
2017-02-06 12:46
740
fib_num__901_21.min1.thm1
2017-02-06 12:46
588
fib_num__901_21.min1.thm1.tptp
2017-02-06 16:47
511
fib_num__902_16.min1.thm1
2017-02-06 12:46
444
fib_num__907_22.min1.thm1
2017-02-06 12:46
513
fib_num__907_22.min1.thm1.tptp
2017-02-06 16:47
436
fib_num__916_42.min1.thm1
2017-02-06 12:46
474
fib_num__916_42.min1.thm1.tptp
2017-02-06 16:47
397
fib_num__917_19.min1.thm1
2017-02-06 12:46
592
fib_num__926_24.min1.thm1
2017-02-06 12:46
1.0K
fib_num__930_34.min1.thm1
2017-02-06 12:46
1.4K
fib_num__934_8.min1.thm1
2017-02-06 12:46
962
fib_num__945_26.min1.thm1
2017-02-06 12:46
1.1K
fib_num__947_8.min1.thm1
2017-02-06 12:46
625
fib_num__951_10.min1.thm1
2017-02-06 12:46
366
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80