Index of /~mptp/1147/MPTP2/ilp0/funct_9
Name
Last modified
Size
Description
Parent Directory
-
funct_9__71_17.min1.thm1
2017-02-06 12:45
1.6K
funct_9__85_31.min1.thm1
2017-02-06 12:45
938
funct_9__88_22.min1.thm1
2017-02-06 12:45
855
funct_9__90_20.min1.thm1
2017-02-06 12:45
1.1K
funct_9__92_18.min1.thm1
2017-02-06 12:45
1.5K
funct_9__102_20.min1.thm1
2017-02-06 12:45
1.3K
funct_9__109_28.min1.thm1
2017-02-06 12:45
1.2K
funct_9__110_58.min1.thm1
2017-02-06 12:45
503
funct_9__110_58.min1.thm1.tptp
2017-02-06 16:47
429
funct_9__112_36.min1.thm1
2017-02-06 12:45
1.9K
funct_9__113_36.min1.thm1
2017-02-06 12:45
1.9K
funct_9__114_54.min1.thm1
2017-02-06 12:45
897
funct_9__116_48.min1.thm1
2017-02-06 12:45
1.5K
funct_9__117_28.min1.thm1
2017-02-06 12:45
1.3K
funct_9__120_32.min1.thm1
2017-02-06 12:45
1.5K
funct_9__121_21.min1.thm1
2017-02-06 12:45
1.9K
funct_9__131_14.min1.thm1
2017-02-06 12:45
208
funct_9__133_30.min1.thm1
2017-02-06 12:45
527
funct_9__134_38.min1.thm1
2017-02-06 12:45
665
funct_9__136_17.min1.thm1
2017-02-06 12:45
529
funct_9__137_15.min1.thm1
2017-02-06 12:45
556
funct_9__147_20.min1.thm1
2017-02-06 12:45
1.3K
funct_9__154_28.min1.thm1
2017-02-06 12:45
897
funct_9__155_58.min1.thm1
2017-02-06 12:45
503
funct_9__155_58.min1.thm1.tptp
2017-02-06 16:47
429
funct_9__157_36.min1.thm1
2017-02-06 12:45
1.9K
funct_9__158_36.min1.thm1
2017-02-06 12:45
1.9K
funct_9__159_54.min1.thm1
2017-02-06 12:45
897
funct_9__161_48.min1.thm1
2017-02-06 12:45
1.2K
funct_9__162_28.min1.thm1
2017-02-06 12:45
1.0K
funct_9__165_35.min1.thm1
2017-02-06 12:45
1.2K
funct_9__166_21.min1.thm1
2017-02-06 12:45
1.5K
funct_9__178_20.min1.thm1
2017-02-06 12:45
1.3K
funct_9__185_30.min1.thm1
2017-02-06 12:45
1.2K
funct_9__186_60.min1.thm1
2017-02-06 12:45
503
funct_9__186_60.min1.thm1.tptp
2017-02-06 16:47
429
funct_9__188_38.min1.thm1
2017-02-06 12:45
1.9K
funct_9__189_38.min1.thm1
2017-02-06 12:45
1.9K
funct_9__190_55.min1.thm1
2017-02-06 12:45
897
funct_9__191_53.min1.thm1
2017-02-06 12:45
1.5K
funct_9__192_32.min1.thm1
2017-02-06 12:45
1.3K
funct_9__195_37.min1.thm1
2017-02-06 12:45
1.5K
funct_9__196_25.min1.thm1
2017-02-06 12:45
1.9K
funct_9__208_20.min1.thm1
2017-02-06 12:45
1.3K
funct_9__214_30.min1.thm1
2017-02-06 12:45
897
funct_9__215_60.min1.thm1
2017-02-06 12:45
503
funct_9__215_60.min1.thm1.tptp
2017-02-06 16:47
429
funct_9__217_38.min1.thm1
2017-02-06 12:45
1.9K
funct_9__218_38.min1.thm1
2017-02-06 12:45
1.9K
funct_9__220_53.min1.thm1
2017-02-06 12:45
897
funct_9__221_31.min1.thm1
2017-02-06 12:45
1.1K
funct_9__225_25.min1.thm1
2017-02-06 12:45
1.5K
funct_9__237_20.min1.thm1
2017-02-06 12:45
1.3K
funct_9__243_21.min1.thm1
2017-02-06 12:45
705
funct_9__245_38.min1.thm1
2017-02-06 12:45
1.0K
funct_9__246_22.min1.thm1
2017-02-06 12:45
663
funct_9__247_30.min1.thm1
2017-02-06 12:45
1.0K
funct_9__248_32.min1.thm1
2017-02-06 12:45
717
funct_9__249_25.min1.thm1
2017-02-06 12:45
1.2K
funct_9__260_20.min1.thm1
2017-02-06 12:45
1.3K
funct_9__267_21.min1.thm1
2017-02-06 12:45
1.1K
funct_9__268_37.min1.thm1
2017-02-06 12:45
1.0K
funct_9__269_54.min1.thm1
2017-02-06 12:45
1.4K
funct_9__270_30.min1.thm1
2017-02-06 12:45
1.2K
funct_9__271_33.min1.thm1
2017-02-06 12:45
1.0K
funct_9__272_37.min1.thm1
2017-02-06 12:45
1.4K
funct_9__273_25.min1.thm1
2017-02-06 12:45
1.7K
funct_9__284_20.min1.thm1
2017-02-06 12:45
1.3K
funct_9__291_21.min1.thm1
2017-02-06 12:45
1.1K
funct_9__292_38.min1.thm1
2017-02-06 12:45
1.0K
funct_9__293_50.min1.thm1
2017-02-06 12:45
1.4K
funct_9__294_26.min1.thm1
2017-02-06 12:45
1.2K
funct_9__295_33.min1.thm1
2017-02-06 12:45
1.0K
funct_9__296_33.min1.thm1
2017-02-06 12:45
1.4K
funct_9__297_25.min1.thm1
2017-02-06 12:45
1.7K
funct_9__303_46.min1.thm1
2017-02-06 12:45
922
funct_9__311_20.min1.thm1
2017-02-06 12:45
1.3K
funct_9__318_19.min1.thm1
2017-02-06 12:45
1.0K
funct_9__319_36.min1.thm1
2017-02-06 12:45
1.0K
funct_9__320_48.min1.thm1
2017-02-06 12:45
1.2K
funct_9__321_28.min1.thm1
2017-02-06 12:45
1.0K
funct_9__322_32.min1.thm1
2017-02-06 12:45
1.0K
funct_9__323_32.min1.thm1
2017-02-06 12:45
1.2K
funct_9__324_21.min1.thm1
2017-02-06 12:45
1.5K
funct_9__326_19.min1.thm1
2017-02-06 12:45
1.7K
funct_9__335_20.min1.thm1
2017-02-06 12:45
1.3K
funct_9__343_38.min1.thm1
2017-02-06 12:45
1.0K
funct_9__345_44.min1.thm1
2017-02-06 12:45
1.2K
funct_9__347_32.min1.thm1
2017-02-06 12:45
1.0K
funct_9__348_30.min1.thm1
2017-02-06 12:45
1.2K
funct_9__349_25.min1.thm1
2017-02-06 12:45
1.5K
funct_9__351_16.min1.thm1
2017-02-06 12:45
1.7K
funct_9__355_46.min1.thm1
2017-02-06 12:45
731
funct_9__364_34.min1.thm1
2017-02-06 12:45
1.0K
funct_9__365_29.min1.thm1
2017-02-06 12:45
1.2K
funct_9__367_16.min1.thm1
2017-02-06 12:45
378
funct_9__375_18.min1.thm1
2017-02-06 12:45
1.1K
funct_9__381_34.min1.thm1
2017-02-06 12:45
1.0K
funct_9__382_21.min1.thm1
2017-02-06 12:45
1.7K
funct_9__384_18.min1.thm1
2017-02-06 12:45
1.2K
funct_9__398_39.min1.thm1
2017-02-06 12:45
1.1K
funct_9__400_34.min1.thm1
2017-02-06 12:45
1.7K
funct_9__403_18.min1.thm1
2017-02-06 12:45
1.5K
funct_9__417_39.min1.thm1
2017-02-06 12:45
1.1K
funct_9__418_45.min1.thm1
2017-02-06 12:45
1.6K
funct_9__419_23.min1.thm1
2017-02-06 12:45
1.1K
funct_9__420_35.min1.thm1
2017-02-06 12:45
1.3K
funct_9__421_38.min1.thm1
2017-02-06 12:45
1.3K
funct_9__425_18.min1.thm1
2017-02-06 12:45
1.5K
funct_9__439_34.min1.thm1
2017-02-06 12:45
811
funct_9__440_38.min1.thm1
2017-02-06 12:45
1.2K
funct_9__441_37.min1.thm1
2017-02-06 12:45
1.1K
funct_9__446_15.min1.thm1
2017-02-06 12:45
1.1K
funct_9__463_68.min1.thm1
2017-02-06 12:45
1.1K
funct_9__465_42.min1.thm1
2017-02-06 12:45
1.5K
funct_9__466_28.min1.thm1
2017-02-06 12:45
887
funct_9__466_45.min1.thm1
2017-02-06 12:45
1.4K
funct_9__471_15.min1.thm1
2017-02-06 12:45
804
funct_9__488_68.min1.thm1
2017-02-06 12:45
1.1K
funct_9__490_42.min1.thm1
2017-02-06 12:45
1.5K
funct_9__491_44.min1.thm1
2017-02-06 12:45
1.4K
funct_9__496_15.min1.thm1
2017-02-06 12:45
804
funct_9__511_34.min1.thm1
2017-02-06 12:45
796
funct_9__512_38.min1.thm1
2017-02-06 12:45
1.2K
funct_9__513_38.min1.thm1
2017-02-06 12:45
1.1K
funct_9__514_29.min1.thm1
2017-02-06 12:45
783
funct_9__515_20.min1.thm1
2017-02-06 12:45
657
funct_9__519_15.min1.thm1
2017-02-06 12:45
1.1K
funct_9__534_18.min1.thm1
2017-02-06 12:45
1.5K
funct_9__540_18.min1.thm1
2017-02-06 12:45
1.4K
funct_9__547_14.min1.thm1
2017-02-06 12:45
606
funct_9__552_15.min1.thm1
2017-02-06 12:45
642
funct_9__560_14.min1.thm1
2017-02-06 12:45
864
funct_9__562_14.min1.thm1
2017-02-06 12:45
866
funct_9__564_14.min1.thm1
2017-02-06 12:45
866
funct_9__566_14.min1.thm1
2017-02-06 12:45
866
funct_9__574_22.min1.thm1
2017-02-06 12:45
458
funct_9__574_22.min1.thm1.tptp
2017-02-06 16:47
399
funct_9__575_23.min1.thm1
2017-02-06 12:45
652
funct_9__576_19.min1.thm1
2017-02-06 12:45
826
funct_9__586_22.min1.thm1
2017-02-06 12:45
458
funct_9__586_22.min1.thm1.tptp
2017-02-06 16:47
399
funct_9__587_28.min1.thm1
2017-02-06 12:45
756
funct_9__588_19.min1.thm1
2017-02-06 12:45
918
funct_9__594_22.min1.thm1
2017-02-06 12:45
458
funct_9__594_22.min1.thm1.tptp
2017-02-06 16:47
399
funct_9__595_24.min1.thm1
2017-02-06 12:45
754
funct_9__596_19.min1.thm1
2017-02-06 12:45
913
funct_9__599_11.min1.thm1
2017-02-06 12:45
1.0K
funct_9__607_22.min1.thm1
2017-02-06 12:45
458
funct_9__607_22.min1.thm1.tptp
2017-02-06 16:47
399
funct_9__608_28.min1.thm1
2017-02-06 12:45
653
funct_9__609_19.min1.thm1
2017-02-06 12:45
901
funct_9__615_22.min1.thm1
2017-02-06 12:45
458
funct_9__615_22.min1.thm1.tptp
2017-02-06 16:47
399
funct_9__616_23.min1.thm1
2017-02-06 12:45
653
funct_9__617_19.min1.thm1
2017-02-06 12:45
826
funct_9__623_22.min1.thm1
2017-02-06 12:45
458
funct_9__623_22.min1.thm1.tptp
2017-02-06 16:47
399
funct_9__624_24.min1.thm1
2017-02-06 12:45
964
funct_9__625_19.min1.thm1
2017-02-06 12:45
899
funct_9__640_14.min1.thm1
2017-02-06 12:45
1.6K
funct_9__642_14.min1.thm1
2017-02-06 12:45
1.6K
funct_9__649_11.min1.thm1
2017-02-06 12:45
1.8K
funct_9__669_16.min1.thm1
2017-02-06 12:45
1.8K
funct_9__672_14.min1.thm1
2017-02-06 12:45
422
funct_9__672_14.min1.thm1.tptp
2017-02-06 16:47
341
funct_9__678_15.min1.thm1
2017-02-06 12:45
326
funct_9__678_15.min1.thm1.tptp
2017-02-06 16:47
244
funct_9__681_16.min1.thm1
2017-02-06 12:45
306
funct_9__684_21.min1.thm1
2017-02-06 12:45
438
funct_9__684_21.min1.thm1.tptp
2017-02-06 16:47
366
funct_9__689_19.min1.thm1
2017-02-06 12:45
2.0K
funct_9__690_35.min1.thm1
2017-02-06 12:45
435
funct_9__690_35.min1.thm1.tptp
2017-02-06 16:47
354
funct_9__691_41.min1.thm1
2017-02-06 12:45
2.1K
funct_9__700_11.min1.thm1
2017-02-06 12:45
1.8K
funct_9__720_16.min1.thm1
2017-02-06 12:45
1.8K
funct_9__723_14.min1.thm1
2017-02-06 12:45
422
funct_9__723_14.min1.thm1.tptp
2017-02-06 16:47
341
funct_9__729_15.min1.thm1
2017-02-06 12:45
326
funct_9__729_15.min1.thm1.tptp
2017-02-06 16:47
244
funct_9__732_16.min1.thm1
2017-02-06 12:45
306
funct_9__735_21.min1.thm1
2017-02-06 12:45
438
funct_9__735_21.min1.thm1.tptp
2017-02-06 16:47
366
funct_9__740_19.min1.thm1
2017-02-06 12:45
2.0K
funct_9__741_35.min1.thm1
2017-02-06 12:45
435
funct_9__741_35.min1.thm1.tptp
2017-02-06 16:47
354
funct_9__742_41.min1.thm1
2017-02-06 12:45
2.1K
funct_9__755_35.min1.thm1
2017-02-06 12:45
1.7K
funct_9__756_44.min1.thm1
2017-02-06 12:45
633
funct_9__758_23.min1.thm1
2017-02-06 12:45
924
funct_9__759_21.min1.thm1
2017-02-06 12:45
383
funct_9__759_21.min1.thm1.tptp
2017-02-06 16:47
315
funct_9__760_30.min1.thm1
2017-02-06 12:45
2.6K
funct_9__761_38.min1.thm1
2017-02-06 12:45
507
funct_9__761_38.min1.thm1.tptp
2017-02-06 16:47
439
funct_9__764_36.min1.thm1
2017-02-06 12:45
753
funct_9__768_36.min1.thm1
2017-02-06 12:45
755
funct_9__769_49.min1.thm1
2017-02-06 12:45
2.0K
funct_9__771_32.min1.thm1
2017-02-06 12:45
2.9K
funct_9__772_31.min1.thm1
2017-02-06 12:45
1.7K
funct_9__773_19.min1.thm1
2017-02-06 12:45
2.3K
funct_9__786_35.min1.thm1
2017-02-06 12:45
1.7K
funct_9__787_44.min1.thm1
2017-02-06 12:45
633
funct_9__789_23.min1.thm1
2017-02-06 12:45
924
funct_9__790_21.min1.thm1
2017-02-06 12:45
383
funct_9__790_21.min1.thm1.tptp
2017-02-06 16:47
315
funct_9__791_30.min1.thm1
2017-02-06 12:45
2.6K
funct_9__792_38.min1.thm1
2017-02-06 12:45
507
funct_9__792_38.min1.thm1.tptp
2017-02-06 16:47
439
funct_9__795_36.min1.thm1
2017-02-06 12:45
753
funct_9__799_36.min1.thm1
2017-02-06 12:45
755
funct_9__800_45.min1.thm1
2017-02-06 12:45
2.0K
funct_9__802_32.min1.thm1
2017-02-06 12:45
2.9K
funct_9__803_29.min1.thm1
2017-02-06 12:45
1.7K
funct_9__804_19.min1.thm1
2017-02-06 12:45
2.3K
funct_9__811_14.min1.thm1
2017-02-06 12:45
1.6K
funct_9__813_14.min1.thm1
2017-02-06 12:45
1.6K
funct_9__820_11.min1.thm1
2017-02-06 12:45
2.1K
funct_9__836_4.min1.thm1
2017-02-06 12:45
2.4K
funct_9__838_62.min1.thm1
2017-02-06 12:45
1.4K
funct_9__842_34.min1.thm1
2017-02-06 12:45
803
funct_9__842_34.min1.thm1.tptp
2017-02-06 16:47
734
funct_9__844_47.min1.thm1
2017-02-06 12:45
693
funct_9__844_47.min1.thm1.tptp
2017-02-06 16:47
625
funct_9__852_57.min1.thm1
2017-02-06 12:45
2.3K
funct_9__856_22.min1.thm1
2017-02-06 12:45
2.7K
funct_9__860_16.min1.thm1
2017-02-06 12:45
1.6K
funct_9__863_14.min1.thm1
2017-02-06 12:45
420
funct_9__863_14.min1.thm1.tptp
2017-02-06 16:47
339
funct_9__869_15.min1.thm1
2017-02-06 12:45
326
funct_9__869_15.min1.thm1.tptp
2017-02-06 16:47
244
funct_9__872_16.min1.thm1
2017-02-06 12:45
306
funct_9__875_21.min1.thm1
2017-02-06 12:45
436
funct_9__875_21.min1.thm1.tptp
2017-02-06 16:47
364
funct_9__880_19.min1.thm1
2017-02-06 12:45
2.0K
funct_9__881_35.min1.thm1
2017-02-06 12:45
433
funct_9__881_35.min1.thm1.tptp
2017-02-06 16:47
352
funct_9__882_41.min1.thm1
2017-02-06 12:45
2.1K
funct_9__891_11.min1.thm1
2017-02-06 12:45
2.1K
funct_9__907_4.min1.thm1
2017-02-06 12:45
2.4K
funct_9__909_62.min1.thm1
2017-02-06 12:45
1.4K
funct_9__913_34.min1.thm1
2017-02-06 12:45
803
funct_9__913_34.min1.thm1.tptp
2017-02-06 16:47
734
funct_9__915_47.min1.thm1
2017-02-06 12:45
693
funct_9__915_47.min1.thm1.tptp
2017-02-06 16:47
625
funct_9__924_4.min1.thm1
2017-02-06 12:45
2.3K
funct_9__928_22.min1.thm1
2017-02-06 12:45
2.7K
funct_9__932_16.min1.thm1
2017-02-06 12:45
1.6K
funct_9__935_14.min1.thm1
2017-02-06 12:45
420
funct_9__935_14.min1.thm1.tptp
2017-02-06 16:47
339
funct_9__941_15.min1.thm1
2017-02-06 12:45
326
funct_9__941_15.min1.thm1.tptp
2017-02-06 16:47
244
funct_9__944_16.min1.thm1
2017-02-06 12:45
306
funct_9__946_41.min1.thm1
2017-02-06 12:45
2.1K
funct_9__947_21.min1.thm1
2017-02-06 12:45
436
funct_9__947_21.min1.thm1.tptp
2017-02-06 16:47
364
funct_9__952_19.min1.thm1
2017-02-06 12:45
2.0K
funct_9__953_37.min1.thm1
2017-02-06 12:45
433
funct_9__953_37.min1.thm1.tptp
2017-02-06 16:47
352
funct_9__954_43.min1.thm1
2017-02-06 12:45
2.1K
funct_9__968_50.min1.thm1
2017-02-06 12:45
864
funct_9__969_59.min1.thm1
2017-02-06 12:45
743
funct_9__970_29.min1.thm1
2017-02-06 12:45
1.0K
funct_9__971_15.min1.thm1
2017-02-06 12:45
383
funct_9__971_15.min1.thm1.tptp
2017-02-06 16:47
315
funct_9__973_34.min1.thm1
2017-02-06 12:45
1.6K
funct_9__976_55.min1.thm1
2017-02-06 12:45
859
funct_9__978_45.min1.thm1
2017-02-06 12:45
935
funct_9__981_33.min1.thm1
2017-02-06 12:45
1.8K
funct_9__984_55.min1.thm1
2017-02-06 12:45
860
funct_9__986_45.min1.thm1
2017-02-06 12:45
935
funct_9__991_35.min1.thm1
2017-02-06 12:45
1.4K
funct_9__1007_50.min1.thm1
2017-02-06 12:45
864
funct_9__1008_59.min1.thm1
2017-02-06 12:45
743
funct_9__1009_29.min1.thm1
2017-02-06 12:45
1.0K
funct_9__1010_15.min1.thm1
2017-02-06 12:45
383
funct_9__1010_15.min1.thm1.tptp
2017-02-06 16:47
315
funct_9__1012_34.min1.thm1
2017-02-06 12:45
1.6K
funct_9__1015_56.min1.thm1
2017-02-06 12:45
859
funct_9__1016_46.min1.thm1
2017-02-06 12:45
935
funct_9__1019_34.min1.thm1
2017-02-06 12:45
1.8K
funct_9__1022_55.min1.thm1
2017-02-06 12:45
860
funct_9__1023_45.min1.thm1
2017-02-06 12:45
935
funct_9__1028_35.min1.thm1
2017-02-06 12:45
1.4K
funct_9__1037_14.min1.thm1
2017-02-06 12:45
776
funct_9__1039_14.min1.thm1
2017-02-06 12:45
776
funct_9__1046_11.min1.thm1
2017-02-06 12:45
1.6K
funct_9__1060_29.min1.thm1
2017-02-06 12:45
2.9K
funct_9__1067_34.min1.thm1
2017-02-06 12:45
1.8K
funct_9__1069_6.min1.thm1
2017-02-06 12:45
3.1K
funct_9__1071_48.min1.thm1
2017-02-06 12:45
903
funct_9__1071_48.min1.thm1.tptp
2017-02-06 16:47
834
funct_9__1072_44.min1.thm1
2017-02-06 12:45
3.3K
funct_9__1073_43.min1.thm1
2017-02-06 12:45
2.9K
funct_9__1080_50.min1.thm1
2017-02-06 12:45
3.6K
funct_9__1082_37.min1.thm1
2017-02-06 12:45
3.0K
funct_9__1099_16.min1.thm1
2017-02-06 12:45
1.6K
funct_9__1102_14.min1.thm1
2017-02-06 12:45
388
funct_9__1102_14.min1.thm1.tptp
2017-02-06 16:47
307
funct_9__1108_15.min1.thm1
2017-02-06 12:45
326
funct_9__1108_15.min1.thm1.tptp
2017-02-06 16:47
244
funct_9__1111_16.min1.thm1
2017-02-06 12:45
306
funct_9__1113_41.min1.thm1
2017-02-06 12:45
2.1K
funct_9__1114_21.min1.thm1
2017-02-06 12:45
404
funct_9__1114_21.min1.thm1.tptp
2017-02-06 16:47
332
funct_9__1119_19.min1.thm1
2017-02-06 12:45
2.0K
funct_9__1120_33.min1.thm1
2017-02-06 12:45
401
funct_9__1120_33.min1.thm1.tptp
2017-02-06 16:47
320
funct_9__1121_39.min1.thm1
2017-02-06 12:45
1.9K
funct_9__1130_11.min1.thm1
2017-02-06 12:45
1.6K
funct_9__1144_29.min1.thm1
2017-02-06 12:45
2.9K
funct_9__1151_34.min1.thm1
2017-02-06 12:45
1.8K
funct_9__1153_6.min1.thm1
2017-02-06 12:45
3.1K
funct_9__1154_48.min1.thm1
2017-02-06 12:45
903
funct_9__1154_48.min1.thm1.tptp
2017-02-06 16:47
834
funct_9__1155_44.min1.thm1
2017-02-06 12:45
3.3K
funct_9__1156_43.min1.thm1
2017-02-06 12:45
2.9K
funct_9__1162_50.min1.thm1
2017-02-06 12:45
3.6K
funct_9__1164_37.min1.thm1
2017-02-06 12:45
3.0K
funct_9__1181_16.min1.thm1
2017-02-06 12:45
1.6K
funct_9__1184_14.min1.thm1
2017-02-06 12:45
388
funct_9__1184_14.min1.thm1.tptp
2017-02-06 16:47
307
funct_9__1190_15.min1.thm1
2017-02-06 12:45
326
funct_9__1190_15.min1.thm1.tptp
2017-02-06 16:47
244
funct_9__1193_16.min1.thm1
2017-02-06 12:45
306
funct_9__1195_41.min1.thm1
2017-02-06 12:45
2.1K
funct_9__1196_21.min1.thm1
2017-02-06 12:45
404
funct_9__1196_21.min1.thm1.tptp
2017-02-06 16:47
332
funct_9__1201_19.min1.thm1
2017-02-06 12:45
2.0K
funct_9__1202_33.min1.thm1
2017-02-06 12:45
401
funct_9__1202_33.min1.thm1.tptp
2017-02-06 16:47
320
funct_9__1203_39.min1.thm1
2017-02-06 12:45
1.9K
funct_9__1217_49.min1.thm1
2017-02-06 12:45
1.8K
funct_9__1218_44.min1.thm1
2017-02-06 12:45
2.6K
funct_9__1220_35.min1.thm1
2017-02-06 12:45
1.1K
funct_9__1221_35.min1.thm1
2017-02-06 12:45
1.6K
funct_9__1222_19.min1.thm1
2017-02-06 12:45
2.2K
funct_9__1235_49.min1.thm1
2017-02-06 12:45
1.8K
funct_9__1236_44.min1.thm1
2017-02-06 12:45
2.6K
funct_9__1238_35.min1.thm1
2017-02-06 12:45
1.1K
funct_9__1239_35.min1.thm1
2017-02-06 12:45
1.6K
funct_9__1240_19.min1.thm1
2017-02-06 12:45
2.2K
funct_9__1249_11.min1.thm1
2017-02-06 12:45
1.7K
funct_9__1265_5.min1.thm1
2017-02-06 12:45
2.0K
funct_9__1267_56.min1.thm1
2017-02-06 12:45
3.3K
funct_9__1268_55.min1.thm1
2017-02-06 12:45
2.2K
funct_9__1269_55.min1.thm1
2017-02-06 12:45
3.1K
funct_9__1274_16.min1.thm1
2017-02-06 12:45
1.9K
funct_9__1277_14.min1.thm1
2017-02-06 12:45
460
funct_9__1277_14.min1.thm1.tptp
2017-02-06 16:47
379
funct_9__1283_15.min1.thm1
2017-02-06 12:45
326
funct_9__1283_15.min1.thm1.tptp
2017-02-06 16:47
244
funct_9__1286_16.min1.thm1
2017-02-06 12:45
306
funct_9__1288_41.min1.thm1
2017-02-06 12:45
2.1K
funct_9__1289_21.min1.thm1
2017-02-06 12:45
476
funct_9__1289_21.min1.thm1.tptp
2017-02-06 16:47
404
funct_9__1294_19.min1.thm1
2017-02-06 12:45
2.0K
funct_9__1295_39.min1.thm1
2017-02-06 12:45
473
funct_9__1295_39.min1.thm1.tptp
2017-02-06 16:47
392
funct_9__1296_45.min1.thm1
2017-02-06 12:45
2.5K
funct_9__1305_11.min1.thm1
2017-02-06 12:45
1.7K
funct_9__1321_5.min1.thm1
2017-02-06 12:45
2.0K
funct_9__1323_56.min1.thm1
2017-02-06 12:45
3.3K
funct_9__1324_55.min1.thm1
2017-02-06 12:45
2.2K
funct_9__1325_55.min1.thm1
2017-02-06 12:45
3.1K
funct_9__1330_16.min1.thm1
2017-02-06 12:45
1.9K
funct_9__1333_14.min1.thm1
2017-02-06 12:45
460
funct_9__1333_14.min1.thm1.tptp
2017-02-06 16:47
379
funct_9__1339_15.min1.thm1
2017-02-06 12:45
326
funct_9__1339_15.min1.thm1.tptp
2017-02-06 16:47
244
funct_9__1342_16.min1.thm1
2017-02-06 12:45
306
funct_9__1345_21.min1.thm1
2017-02-06 12:45
476
funct_9__1345_21.min1.thm1.tptp
2017-02-06 16:47
404
funct_9__1350_19.min1.thm1
2017-02-06 12:45
2.0K
funct_9__1351_39.min1.thm1
2017-02-06 12:45
473
funct_9__1351_39.min1.thm1.tptp
2017-02-06 16:47
392
funct_9__1352_45.min1.thm1
2017-02-06 12:45
2.5K
funct_9__1369_7.min1.thm1
2017-02-06 12:45
3.0K
funct_9__1371_21.min1.thm1
2017-02-06 12:45
1.0K
funct_9__1377_45.min1.thm1
2017-02-06 12:45
3.5K
funct_9__1380_31.min1.thm1
2017-02-06 12:45
1.2K
funct_9__1381_32.min1.thm1
2017-02-06 12:45
3.9K
funct_9__1384_19.min1.thm1
2017-02-06 12:45
2.9K
funct_9__1393_11.min1.thm1
2017-02-06 12:45
2.6K
funct_9__1401_7.min1.thm1
2017-02-06 12:45
3.0K
funct_9__1403_21.min1.thm1
2017-02-06 12:45
1.0K
funct_9__1424_58.min1.thm1
2017-02-06 12:45
2.7K
funct_9__1434_16.min1.thm1
2017-02-06 12:45
1.9K
funct_9__1437_14.min1.thm1
2017-02-06 12:45
684
funct_9__1437_14.min1.thm1.tptp
2017-02-06 16:47
603
funct_9__1443_15.min1.thm1
2017-02-06 12:45
326
funct_9__1443_15.min1.thm1.tptp
2017-02-06 16:47
244
funct_9__1446_16.min1.thm1
2017-02-06 12:45
306
funct_9__1449_21.min1.thm1
2017-02-06 12:45
700
funct_9__1449_21.min1.thm1.tptp
2017-02-06 16:47
628
funct_9__1454_19.min1.thm1
2017-02-06 12:45
2.0K
funct_9__1455_53.min1.thm1
2017-02-06 12:45
697
funct_9__1455_53.min1.thm1.tptp
2017-02-06 16:47
616
funct_9__1469_35.min1.thm1
2017-02-06 12:45
2.3K
funct_9__1472_33.min1.thm1
2017-02-06 12:45
1.3K
funct_9__1473_19.min1.thm1
2017-02-06 12:45
1.9K
funct_9__1486_35.min1.thm1
2017-02-06 12:45
2.3K
funct_9__1489_31.min1.thm1
2017-02-06 12:45
1.3K
funct_9__1490_19.min1.thm1
2017-02-06 12:45
1.9K
funct_9__1499_11.min1.thm1
2017-02-06 12:45
1.7K
funct_9__1521_16.min1.thm1
2017-02-06 12:45
1.7K
funct_9__1524_14.min1.thm1
2017-02-06 12:45
460
funct_9__1524_14.min1.thm1.tptp
2017-02-06 16:47
379
funct_9__1530_15.min1.thm1
2017-02-06 12:45
326
funct_9__1530_15.min1.thm1.tptp
2017-02-06 16:47
244
funct_9__1533_16.min1.thm1
2017-02-06 12:45
306
funct_9__1535_41.min1.thm1
2017-02-06 12:45
2.1K
funct_9__1536_21.min1.thm1
2017-02-06 12:45
476
funct_9__1536_21.min1.thm1.tptp
2017-02-06 16:47
404
funct_9__1541_19.min1.thm1
2017-02-06 12:45
2.0K
funct_9__1542_35.min1.thm1
2017-02-06 12:45
473
funct_9__1542_35.min1.thm1.tptp
2017-02-06 16:47
392
funct_9__1543_41.min1.thm1
2017-02-06 12:45
2.7K
funct_9__1552_11.min1.thm1
2017-02-06 12:45
1.7K
funct_9__1574_16.min1.thm1
2017-02-06 12:45
1.7K
funct_9__1577_14.min1.thm1
2017-02-06 12:45
460
funct_9__1577_14.min1.thm1.tptp
2017-02-06 16:47
379
funct_9__1583_15.min1.thm1
2017-02-06 12:45
326
funct_9__1583_15.min1.thm1.tptp
2017-02-06 16:47
244
funct_9__1586_16.min1.thm1
2017-02-06 12:45
306
funct_9__1589_21.min1.thm1
2017-02-06 12:45
476
funct_9__1589_21.min1.thm1.tptp
2017-02-06 16:47
404
funct_9__1594_19.min1.thm1
2017-02-06 12:45
2.0K
funct_9__1595_35.min1.thm1
2017-02-06 12:45
473
funct_9__1595_35.min1.thm1.tptp
2017-02-06 16:47
392
funct_9__1596_41.min1.thm1
2017-02-06 12:45
2.7K
funct_9__1610_55.min1.thm1
2017-02-06 12:45
2.3K
funct_9__1615_39.min1.thm1
2017-02-06 12:45
2.1K
funct_9__1616_19.min1.thm1
2017-02-06 12:45
2.8K
funct_9__1625_11.min1.thm1
2017-02-06 12:45
1.7K
funct_9__1643_38.min1.thm1
2017-02-06 12:45
3.1K
funct_9__1654_16.min1.thm1
2017-02-06 12:45
1.3K
funct_9__1657_14.min1.thm1
2017-02-06 12:45
506
funct_9__1657_14.min1.thm1.tptp
2017-02-06 16:47
425
funct_9__1663_15.min1.thm1
2017-02-06 12:45
326
funct_9__1663_15.min1.thm1.tptp
2017-02-06 16:47
244
funct_9__1666_16.min1.thm1
2017-02-06 12:45
306
funct_9__1669_21.min1.thm1
2017-02-06 12:45
522
funct_9__1669_21.min1.thm1.tptp
2017-02-06 16:47
450
funct_9__1674_19.min1.thm1
2017-02-06 12:45
2.0K
funct_9__1675_39.min1.thm1
2017-02-06 12:45
519
funct_9__1675_39.min1.thm1.tptp
2017-02-06 16:47
438
funct_9__1676_45.min1.thm1
2017-02-06 12:45
3.6K
funct_9__1688_17.min1.thm1
2017-02-06 12:45
307
funct_9__1688_17.min1.thm1.tptp
2017-02-06 16:47
226
funct_9__1693_58.min1.thm1
2017-02-06 12:45
2.0K
funct_9__1700_21.min1.thm1
2017-02-06 12:45
3.3K
funct_9__1701_25.min1.thm1
2017-02-06 12:45
1.9K
funct_9__1715_17.min1.thm1
2017-02-06 12:45
307
funct_9__1715_17.min1.thm1.tptp
2017-02-06 16:47
226
funct_9__1720_58.min1.thm1
2017-02-06 12:45
2.0K
funct_9__1727_21.min1.thm1
2017-02-06 12:45
3.3K
funct_9__1728_25.min1.thm1
2017-02-06 12:45
1.9K
funct_9__1739_11.min1.thm1
2017-02-06 12:45
2.4K
funct_9__1752_19.min1.thm1
2017-02-06 12:45
323
funct_9__1752_19.min1.thm1.tptp
2017-02-06 16:47
242
funct_9__1773_16.min1.thm1
2017-02-06 12:45
1.5K
funct_9__1776_14.min1.thm1
2017-02-06 12:45
624
funct_9__1776_14.min1.thm1.tptp
2017-02-06 16:47
543
funct_9__1782_15.min1.thm1
2017-02-06 12:45
326
funct_9__1782_15.min1.thm1.tptp
2017-02-06 16:47
244
funct_9__1785_16.min1.thm1
2017-02-06 12:45
306
funct_9__1793_19.min1.thm1
2017-02-06 12:45
2.0K
funct_9__1794_41.min1.thm1
2017-02-06 12:45
785
funct_9__1807_11.min1.thm1
2017-02-06 12:45
2.4K
funct_9__1820_19.min1.thm1
2017-02-06 12:45
323
funct_9__1820_19.min1.thm1.tptp
2017-02-06 16:47
242
funct_9__1841_16.min1.thm1
2017-02-06 12:45
1.5K
funct_9__1844_14.min1.thm1
2017-02-06 12:45
624
funct_9__1844_14.min1.thm1.tptp
2017-02-06 16:47
543
funct_9__1850_15.min1.thm1
2017-02-06 12:45
326
funct_9__1850_15.min1.thm1.tptp
2017-02-06 16:47
244
funct_9__1853_16.min1.thm1
2017-02-06 12:45
306
funct_9__1861_19.min1.thm1
2017-02-06 12:45
2.0K
funct_9__1862_41.min1.thm1
2017-02-06 12:45
785
funct_9__1872_45.min1.thm1
2017-02-06 12:45
367
funct_9__1880_18.min1.thm1
2017-02-06 12:45
926
funct_9__1890_18.min1.thm1
2017-02-06 12:45
1.0K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80