Index of /~mptp/1147/MPTP2/ilp0/fib_fusc
Name
Last modified
Size
Description
Parent Directory
-
fib_fusc__36_21.min1.thm1
2017-02-06 12:46
674
fib_fusc__37_25.min1.thm1
2017-02-06 12:46
1.1K
fib_fusc__46_17.min1.thm1
2017-02-06 12:46
1.1K
fib_fusc__47_18.min1.thm1
2017-02-06 12:46
1.1K
fib_fusc__49_38.min1.thm1
2017-02-06 12:46
1.3K
fib_fusc__50_32.min1.thm1
2017-02-06 12:46
812
fib_fusc__51_60.min1.thm1
2017-02-06 12:46
1.1K
fib_fusc__52_21.min1.thm1
2017-02-06 12:46
235
fib_fusc__53_43.min1.thm1
2017-02-06 12:46
352
fib_fusc__53_43.min1.thm1.tptp
2017-02-06 16:47
266
fib_fusc__54_23.min1.thm1
2017-02-06 12:46
2.4K
fib_fusc__74_22.min1.thm1
2017-02-06 12:46
1.0K
fib_fusc__75_14.min1.thm1
2017-02-06 12:46
2.0K
fib_fusc__85_43.min1.thm1
2017-02-06 12:46
1.3K
fib_fusc__94_14.min1.thm1
2017-02-06 12:46
585
fib_fusc__95_35.min1.thm1
2017-02-06 12:46
448
fib_fusc__100_18.min1.thm1
2017-02-06 12:46
939
fib_fusc__101_18.min1.thm1
2017-02-06 12:46
939
fib_fusc__102_18.min1.thm1
2017-02-06 12:46
939
fib_fusc__107_19.min1.thm1
2017-02-06 12:46
940
fib_fusc__170_13.min1.thm1
2017-02-06 12:46
1.5K
fib_fusc__174_13.min1.thm1
2017-02-06 12:46
1.5K
fib_fusc__178_13.min1.thm1
2017-02-06 12:46
1.5K
fib_fusc__259_15.min1.thm1
2017-02-06 12:46
1.5K
fib_fusc__280_14.min1.thm1
2017-02-06 12:46
564
fib_fusc__288_33.min1.thm1
2017-02-06 12:46
2.3K
fib_fusc__291_51.min1.thm1
2017-02-06 12:46
563
fib_fusc__297_12.min1.thm1
2017-02-06 12:46
278
fib_fusc__298_37.min1.thm1
2017-02-06 12:46
464
fib_fusc__300_13.min1.thm1
2017-02-06 12:46
899
fib_fusc__310_43.min1.thm1
2017-02-06 12:46
696
fib_fusc__328_13.min1.thm1
2017-02-06 12:46
217
fib_fusc__331_45.min1.thm1
2017-02-06 12:46
252
fib_fusc__333_17.min1.thm1
2017-02-06 12:46
515
fib_fusc__333_17.min1.thm1.tptp
2017-02-06 16:47
450
fib_fusc__337_18.min1.thm1
2017-02-06 12:46
589
fib_fusc__340_12.min1.thm1
2017-02-06 12:46
501
fib_fusc__374_22.min1.thm1
2017-02-06 12:46
1.4K
fib_fusc__376_22.min1.thm1
2017-02-06 12:46
1.5K
fib_fusc__377_13.min1.thm1
2017-02-06 12:46
1.1K
fib_fusc__379_25.min1.thm1
2017-02-06 12:46
1.2K
fib_fusc__381_40.min1.thm1
2017-02-06 12:46
2.0K
fib_fusc__383_30.min1.thm1
2017-02-06 12:46
1.6K
fib_fusc__388_9.min1.thm1
2017-02-06 12:46
2.1K
fib_fusc__414_26.min1.thm1
2017-02-06 12:46
1.5K
fib_fusc__415_48.min1.thm1
2017-02-06 12:46
1.2K
fib_fusc__416_29.min1.thm1
2017-02-06 12:46
1.5K
fib_fusc__418_19.min1.thm1
2017-02-06 12:46
1.0K
fib_fusc__419_16.min1.thm1
2017-02-06 12:46
820
fib_fusc__428_19.min1.thm1
2017-02-06 12:46
1.2K
fib_fusc__429_21.min1.thm1
2017-02-06 12:46
2.0K
fib_fusc__454_41.min1.thm1
2017-02-06 12:46
2.6K
fib_fusc__471_13.min1.thm1
2017-02-06 12:46
437
fib_fusc__495_37.min1.thm1
2017-02-06 12:46
2.1K
fib_fusc__497_27.min1.thm1
2017-02-06 12:46
1.9K
fib_fusc__502_29.min1.thm1
2017-02-06 12:46
1.1K
fib_fusc__504_37.min1.thm1
2017-02-06 12:46
1.0K
fib_fusc__505_39.min1.thm1
2017-02-06 12:46
2.1K
fib_fusc__527_37.min1.thm1
2017-02-06 12:46
2.0K
fib_fusc__528_39.min1.thm1
2017-02-06 12:46
1.1K
fib_fusc__537_29.min1.thm1
2017-02-06 12:46
1.1K
fib_fusc__539_23.min1.thm1
2017-02-06 12:46
957
fib_fusc__552_15.min1.thm1
2017-02-06 12:46
1.8K
fib_fusc__553_25.min1.thm1
2017-02-06 12:46
1.8K
fib_fusc__560_13.min1.thm1
2017-02-06 12:46
2.8K
fib_fusc__561_33.min1.thm1
2017-02-06 12:46
3.1K
fib_fusc__562_37.min1.thm1
2017-02-06 12:46
735
fib_fusc__563_38.min1.thm1
2017-02-06 12:46
946
fib_fusc__564_33.min1.thm1
2017-02-06 12:46
1.7K
fib_fusc__565_18.min1.thm1
2017-02-06 12:46
2.3K
fib_fusc__568_31.min1.thm1
2017-02-06 12:46
1.1K
fib_fusc__578_15.min1.thm1
2017-02-06 12:46
2.5K
fib_fusc__581_24.min1.thm1
2017-02-06 12:46
2.7K
fib_fusc__583_23.min1.thm1
2017-02-06 12:46
3.7K
fib_fusc__584_70.min1.thm1
2017-02-06 12:46
2.4K
fib_fusc__619_13.min1.thm1
2017-02-06 12:46
472
fib_fusc__634_10.min1.thm1
2017-02-06 12:46
933
fib_fusc__651_16.min1.thm1
2017-02-06 12:46
1.8K
fib_fusc__659_16.min1.thm1
2017-02-06 12:46
1.1K
fib_fusc__665_28.min1.thm1
2017-02-06 12:46
2.4K
fib_fusc__668_27.min1.thm1
2017-02-06 12:46
2.4K
fib_fusc__674_22.min1.thm1
2017-02-06 12:46
969
fib_fusc__733_9.min1.thm1
2017-02-06 12:46
1.0K
fib_fusc__773_43.min1.thm1
2017-02-06 12:46
460
fib_fusc__780_15.min1.thm1
2017-02-06 12:46
1.4K
fib_fusc__787_14.min1.thm1
2017-02-06 12:46
1.4K
fib_fusc__790_15.min1.thm1
2017-02-06 12:46
1.4K
fib_fusc__794_14.min1.thm1
2017-02-06 12:46
1.4K
fib_fusc__807_34.min1.thm1
2017-02-06 12:46
2.3K
fib_fusc__811_2.min1.thm1
2017-02-06 12:46
852
fib_fusc__825_39.min1.thm1
2017-02-06 12:46
1.1K
fib_fusc__846_53.min1.thm1
2017-02-06 12:46
862
fib_fusc__848_15.min1.thm1
2017-02-06 12:46
387
fib_fusc__862_21.min1.thm1
2017-02-06 12:46
846
fib_fusc__889_48.min1.thm1
2017-02-06 12:46
762
fib_fusc__895_19.min1.thm1
2017-02-06 12:46
205
fib_fusc__903_22.min1.thm1
2017-02-06 12:46
596
fib_fusc__904_70.min1.thm1
2017-02-06 12:46
651
fib_fusc__933_50.min1.thm1
2017-02-06 12:46
866
fib_fusc__946_48.min1.thm1
2017-02-06 12:46
762
fib_fusc__953_19.min1.thm1
2017-02-06 12:46
213
fib_fusc__961_22.min1.thm1
2017-02-06 12:46
612
fib_fusc__962_70.min1.thm1
2017-02-06 12:46
667
fib_fusc__971_14.min1.thm1
2017-02-06 12:46
315
fib_fusc__971_14.min1.thm1.tptp
2017-02-06 16:47
234
fib_fusc__972_19.min1.thm1
2017-02-06 12:46
2.4K
fib_fusc__991_38.min1.thm1
2017-02-06 12:46
2.7K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80