Index of /~mptp/1147/MPTP2/ilp0/compos_0
Name
Last modified
Size
Description
Parent Directory
-
compos_0__62_20.min1.thm1
2017-02-06 12:45
364
compos_0__62_20.min1.thm1.tptp
2017-02-06 16:48
289
compos_0__63_20.min1.thm1
2017-02-06 12:45
352
compos_0__63_20.min1.thm1.tptp
2017-02-06 16:48
277
compos_0__71_20.min1.thm1
2017-02-06 12:45
364
compos_0__71_20.min1.thm1.tptp
2017-02-06 16:48
289
compos_0__72_20.min1.thm1
2017-02-06 12:45
352
compos_0__72_20.min1.thm1.tptp
2017-02-06 16:48
277
compos_0__90_14.min1.thm1
2017-02-06 12:45
705
compos_0__101_28.min1.thm1
2017-02-06 12:45
607
compos_0__102_10.min1.thm1
2017-02-06 12:45
437
compos_0__104_16.min1.thm1
2017-02-06 12:45
573
compos_0__110_28.min1.thm1
2017-02-06 12:45
607
compos_0__111_10.min1.thm1
2017-02-06 12:45
437
compos_0__113_16.min1.thm1
2017-02-06 12:45
645
compos_0__124_28.min1.thm1
2017-02-06 12:45
607
compos_0__125_10.min1.thm1
2017-02-06 12:45
437
compos_0__127_16.min1.thm1
2017-02-06 12:45
520
compos_0__133_28.min1.thm1
2017-02-06 12:45
607
compos_0__134_10.min1.thm1
2017-02-06 12:45
437
compos_0__136_16.min1.thm1
2017-02-06 12:45
592
compos_0__147_29.min1.thm1
2017-02-06 12:45
607
compos_0__148_9.min1.thm1
2017-02-06 12:45
437
compos_0__150_15.min1.thm1
2017-02-06 12:45
558
compos_0__159_61.min1.thm1
2017-02-06 12:45
583
compos_0__160_16.min1.thm1
2017-02-06 12:45
693
compos_0__168_13.min1.thm1
2017-02-06 12:45
130
compos_0__177_7.min1.thm1
2017-02-06 12:45
612
compos_0__197_30.min1.thm1
2017-02-06 12:45
612
compos_0__198_11.min1.thm1
2017-02-06 12:45
446
compos_0__210_11.min1.thm1
2017-02-06 12:45
131
compos_0__213_11.min1.thm1
2017-02-06 12:45
131
compos_0__225_16.min1.thm1
2017-02-06 12:45
616
compos_0__233_22.min1.thm1
2017-02-06 12:45
659
compos_0__234_45.min1.thm1
2017-02-06 12:45
730
compos_0__235_20.min1.thm1
2017-02-06 12:45
1.1K
compos_0__236_34.min1.thm1
2017-02-06 12:45
1.2K
compos_0__237_33.min1.thm1
2017-02-06 12:45
470
compos_0__240_66.min1.thm1
2017-02-06 12:45
1.0K
compos_0__241_16.min1.thm1
2017-02-06 12:45
698
compos_0__273_14.min1.thm1
2017-02-06 12:45
763
compos_0__275_16.min1.thm1
2017-02-06 12:45
1.4K
compos_0__279_23.min1.thm1
2017-02-06 12:45
1.6K
compos_0__285_21.min1.thm1
2017-02-06 12:45
923
compos_0__287_19.min1.thm1
2017-02-06 12:45
755
compos_0__303_19.min1.thm1
2017-02-06 12:45
1.1K
compos_0__305_16.min1.thm1
2017-02-06 12:45
799
compos_0__308_36.min1.thm1
2017-02-06 12:45
1.1K
compos_0__309_15.min1.thm1
2017-02-06 12:45
823
compos_0__318_14.min1.thm1
2017-02-06 12:45
840
compos_0__332_64.min1.thm1
2017-02-06 12:45
1.0K
compos_0__333_64.min1.thm1
2017-02-06 12:45
1.0K
compos_0__346_29.min1.thm1
2017-02-06 12:45
612
compos_0__347_9.min1.thm1
2017-02-06 12:45
446
compos_0__349_17.min1.thm1
2017-02-06 12:45
728
compos_0__361_36.min1.thm1
2017-02-06 12:45
1.1K
compos_0__362_60.min1.thm1
2017-02-06 12:45
1.8K
compos_0__370_16.min1.thm1
2017-02-06 12:45
1.1K
compos_0__371_29.min1.thm1
2017-02-06 12:45
1.1K
compos_0__373_20.min1.thm1
2017-02-06 12:45
1.2K
compos_0__384_30.min1.thm1
2017-02-06 12:45
639
compos_0__387_37.min1.thm1
2017-02-06 12:45
1.1K
compos_0__389_53.min1.thm1
2017-02-06 12:45
1.8K
compos_0__396_38.min1.thm1
2017-02-06 12:45
845
compos_0__398_29.min1.thm1
2017-02-06 12:45
1.5K
compos_0__399_9.min1.thm1
2017-02-06 12:45
474
compos_0__404_41.min1.thm1
2017-02-06 12:45
1.3K
compos_0__420_29.min1.thm1
2017-02-06 12:45
608
compos_0__421_10.min1.thm1
2017-02-06 12:45
442
compos_0__422_8.min1.thm1
2017-02-06 12:45
442
compos_0__437_21.min1.thm1
2017-02-06 12:45
659
compos_0__438_43.min1.thm1
2017-02-06 12:45
730
compos_0__439_20.min1.thm1
2017-02-06 12:45
1.1K
compos_0__440_21.min1.thm1
2017-02-06 12:45
824
compos_0__442_31.min1.thm1
2017-02-06 12:45
878
compos_0__453_20.min1.thm1
2017-02-06 12:45
1.1K
compos_0__455_18.min1.thm1
2017-02-06 12:45
462
compos_0__461_23.min1.thm1
2017-02-06 12:45
1.2K
compos_0__462_24.min1.thm1
2017-02-06 12:45
1.9K
compos_0__468_32.min1.thm1
2017-02-06 12:45
1.0K
compos_0__470_24.min1.thm1
2017-02-06 12:45
1.3K
compos_0__472_40.min1.thm1
2017-02-06 12:45
1.9K
compos_0__478_49.min1.thm1
2017-02-06 12:45
1.3K
compos_0__479_18.min1.thm1
2017-02-06 12:45
1.2K
compos_0__480_24.min1.thm1
2017-02-06 12:45
1.2K
compos_0__481_45.min1.thm1
2017-02-06 12:45
1.2K
compos_0__488_50.min1.thm1
2017-02-06 12:45
1.1K
compos_0__489_41.min1.thm1
2017-02-06 12:45
800
compos_0__490_29.min1.thm1
2017-02-06 12:45
1.2K
compos_0__493_21.min1.thm1
2017-02-06 12:45
1.1K
compos_0__494_22.min1.thm1
2017-02-06 12:45
837
compos_0__495_29.min1.thm1
2017-02-06 12:45
1.4K
compos_0__513_10.min1.thm1
2017-02-06 12:45
796
compos_0__528_30.min1.thm1
2017-02-06 12:45
674
compos_0__531_37.min1.thm1
2017-02-06 12:45
1.1K
compos_0__532_38.min1.thm1
2017-02-06 12:45
1.1K
compos_0__535_39.min1.thm1
2017-02-06 12:45
2.0K
compos_0__536_17.min1.thm1
2017-02-06 12:45
1.2K
compos_0__546_19.min1.thm1
2017-02-06 12:45
710
compos_0__555_39.min1.thm1
2017-02-06 12:45
1.1K
compos_0__556_11.min1.thm1
2017-02-06 12:45
509
compos_0__562_42.min1.thm1
2017-02-06 12:45
810
compos_0__576_40.min1.thm1
2017-02-06 12:45
1.2K
compos_0__577_48.min1.thm1
2017-02-06 12:45
1.2K
compos_0__578_57.min1.thm1
2017-02-06 12:45
1.3K
compos_0__588_24.min1.thm1
2017-02-06 12:45
1.6K
compos_0__602_28.min1.thm1
2017-02-06 12:45
1.1K
compos_0__603_36.min1.thm1
2017-02-06 12:45
1.1K
compos_0__604_34.min1.thm1
2017-02-06 12:45
1.2K
compos_0__626_27.min1.thm1
2017-02-06 12:45
1.0K
compos_0__627_41.min1.thm1
2017-02-06 12:45
1.2K
compos_0__634_36.min1.thm1
2017-02-06 12:45
1.1K
compos_0__635_28.min1.thm1
2017-02-06 12:45
1.2K
compos_0__650_39.min1.thm1
2017-02-06 12:45
1.1K
compos_0__651_19.min1.thm1
2017-02-06 12:45
1.2K
compos_0__652_47.min1.thm1
2017-02-06 12:45
1.1K
compos_0__653_26.min1.thm1
2017-02-06 12:45
1.2K
compos_0__654_45.min1.thm1
2017-02-06 12:45
1.2K
compos_0__656_50.min1.thm1
2017-02-06 12:45
2.5K
compos_0__657_45.min1.thm1
2017-02-06 12:45
1.2K
compos_0__659_50.min1.thm1
2017-02-06 12:45
2.5K
compos_0__685_19.min1.thm1
2017-02-06 12:45
1.1K
compos_0__686_32.min1.thm1
2017-02-06 12:45
1.3K
compos_0__688_23.min1.thm1
2017-02-06 12:45
1.1K
compos_0__689_36.min1.thm1
2017-02-06 12:45
1.3K
compos_0__691_45.min1.thm1
2017-02-06 12:45
1.2K
compos_0__692_49.min1.thm1
2017-02-06 12:45
1.4K
compos_0__695_35.min1.thm1
2017-02-06 12:45
2.5K
compos_0__729_37.min1.thm1
2017-02-06 12:45
1.1K
compos_0__731_4.min1.thm1
2017-02-06 12:45
1.2K
compos_0__732_24.min1.thm1
2017-02-06 12:45
1.8K
compos_0__733_48.min1.thm1
2017-02-06 12:45
1.1K
compos_0__743_20.min1.thm1
2017-02-06 12:45
365
compos_0__743_20.min1.thm1.tptp
2017-02-06 16:48
290
compos_0__744_20.min1.thm1
2017-02-06 12:45
353
compos_0__744_20.min1.thm1.tptp
2017-02-06 16:48
278
compos_0__760_36.min1.thm1
2017-02-06 12:45
1.0K
compos_0__778_14.min1.thm1
2017-02-06 12:45
763
compos_0__781_49.min1.thm1
2017-02-06 12:45
1.2K
compos_0__785_25.min1.thm1
2017-02-06 12:45
1.0K
compos_0__796_38.min1.thm1
2017-02-06 12:45
1.0K
compos_0__798_19.min1.thm1
2017-02-06 12:45
755
compos_0__814_19.min1.thm1
2017-02-06 12:45
1.2K
compos_0__816_16.min1.thm1
2017-02-06 12:45
972
compos_0__819_40.min1.thm1
2017-02-06 12:45
1.2K
compos_0__820_15.min1.thm1
2017-02-06 12:45
428
compos_0__820_15.min1.thm1.tptp
2017-02-06 16:48
351
compos_0__833_21.min1.thm1
2017-02-06 12:45
643
compos_0__834_46.min1.thm1
2017-02-06 12:45
615
compos_0__836_14.min1.thm1
2017-02-06 12:45
520
compos_0__837_24.min1.thm1
2017-02-06 12:45
1.0K
compos_0__856_17.min1.thm1
2017-02-06 12:45
2.1K
compos_0__857_20.min1.thm1
2017-02-06 12:45
755
compos_0__861_15.min1.thm1
2017-02-06 12:45
747
compos_0__862_27.min1.thm1
2017-02-06 12:45
1.2K
compos_0__880_13.min1.thm1
2017-02-06 12:45
965
compos_0__887_35.min1.thm1
2017-02-06 12:45
687
compos_0__892_45.min1.thm1
2017-02-06 12:45
747
compos_0__901_14.min1.thm1
2017-02-06 12:45
868
compos_0__910_14.min1.thm1
2017-02-06 12:45
840
compos_0__918_14.min1.thm1
2017-02-06 12:45
812
compos_0__936_14.min1.thm1
2017-02-06 12:45
387
compos_0__936_14.min1.thm1.tptp
2017-02-06 16:48
310
compos_0__943_13.min1.thm1
2017-02-06 12:45
605
compos_0__979_18.min1.thm1
2017-02-06 12:45
805
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80