Index of /~mptp/7.13.01_4.181.1147/MPTP2/ilp0/rcomp_1

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]rcomp_1__58_60.min1.thm12017-02-06 12:46 886  
[ ]rcomp_1__59_30.min1.thm12017-02-06 12:46 399  
[ ]rcomp_1__60_24.min1.thm12017-02-06 12:46 1.0K 
[ ]rcomp_1__62_19.min1.thm12017-02-06 12:46 522  
[ ]rcomp_1__74_19.min1.thm12017-02-06 12:46 886  
[ ]rcomp_1__75_30.min1.thm12017-02-06 12:46 399  
[ ]rcomp_1__76_23.min1.thm12017-02-06 12:46 1.0K 
[ ]rcomp_1__77_21.min1.thm12017-02-06 12:46 903  
[ ]rcomp_1__84_27.min1.thm12017-02-06 12:46 695  
[ ]rcomp_1__85_15.min1.thm12017-02-06 12:46 405  
[ ]rcomp_1__86_21.min1.thm12017-02-06 12:46 1.2K 
[ ]rcomp_1__88_19.min1.thm12017-02-06 12:46 597  
[ ]rcomp_1__102_63.min1.thm12017-02-06 12:46 831  
[ ]rcomp_1__105_19.min1.thm12017-02-06 12:46 522  
[ ]rcomp_1__116_25.min1.thm12017-02-06 12:46 711  
[ ]rcomp_1__117_15.min1.thm12017-02-06 12:46 405  
[ ]rcomp_1__118_21.min1.thm12017-02-06 12:46 1.2K 
[ ]rcomp_1__126_17.min1.thm12017-02-06 12:46 831  
[ ]rcomp_1__130_19.min1.thm12017-02-06 12:46 597  
[ ]rcomp_1__141_39.min1.thm12017-02-06 12:46 1.2K 
[ ]rcomp_1__142_15.min1.thm12017-02-06 12:46 734  
[ ]rcomp_1__144_13.min1.thm12017-02-06 12:46 791  
[ ]rcomp_1__145_12.min1.thm12017-02-06 12:46 957  
[ ]rcomp_1__146_19.min1.thm12017-02-06 12:46 889  
[ ]rcomp_1__150_15.min1.thm12017-02-06 12:46 768  
[ ]rcomp_1__152_12.min1.thm12017-02-06 12:46 848  
[ ]rcomp_1__153_11.min1.thm12017-02-06 12:46 781  
[ ]rcomp_1__154_28.min1.thm12017-02-06 12:46 1.0K 
[ ]rcomp_1__155_17.min1.thm12017-02-06 12:46 1.4K 
[ ]rcomp_1__165_37.min1.thm12017-02-06 12:46 787  
[ ]rcomp_1__166_20.min1.thm12017-02-06 12:46 1.8K 
[ ]rcomp_1__167_22.min1.thm12017-02-06 12:46 1.0K 
[ ]rcomp_1__172_22.min1.thm12017-02-06 12:46 1.0K 
[ ]rcomp_1__178_25.min1.thm12017-02-06 12:46 1.5K 
[ ]rcomp_1__183_17.min1.thm12017-02-06 12:46 1.5K 
[ ]rcomp_1__184_24.min1.thm12017-02-06 12:46 1.6K 
[ ]rcomp_1__197_35.min1.thm12017-02-06 12:46 872  
[ ]rcomp_1__199_21.min1.thm12017-02-06 12:46 1.0K 
[ ]rcomp_1__204_21.min1.thm12017-02-06 12:46 1.0K 
[ ]rcomp_1__210_24.min1.thm12017-02-06 12:46 1.5K 
[ ]rcomp_1__212_23.min1.thm12017-02-06 12:46 1.5K 
[ ]rcomp_1__215_16.min1.thm12017-02-06 12:46 1.5K 
[ ]rcomp_1__216_23.min1.thm12017-02-06 12:46 1.8K 
[ ]rcomp_1__217_23.min1.thm12017-02-06 12:46 1.5K 
[ ]rcomp_1__256_26.min1.thm12017-02-06 12:46 819  
[ ]rcomp_1__258_43.min1.thm12017-02-06 12:46 799  
[ ]rcomp_1__259_14.min1.thm12017-02-06 12:46 1.0K 
[ ]rcomp_1__265_14.min1.thm12017-02-06 12:46 818  
[ ]rcomp_1__266_25.min1.thm12017-02-06 12:46 1.4K 
[ ]rcomp_1__267_28.min1.thm12017-02-06 12:46 1.1K 
[ ]rcomp_1__268_21.min1.thm12017-02-06 12:46 1.3K 
[ ]rcomp_1__270_16.min1.thm12017-02-06 12:46 368  
[ ]rcomp_1__280_26.min1.thm12017-02-06 12:46 819  
[ ]rcomp_1__282_43.min1.thm12017-02-06 12:46 799  
[ ]rcomp_1__283_14.min1.thm12017-02-06 12:46 1.7K 
[ ]rcomp_1__289_14.min1.thm12017-02-06 12:46 818  
[ ]rcomp_1__290_25.min1.thm12017-02-06 12:46 1.4K 
[ ]rcomp_1__291_28.min1.thm12017-02-06 12:46 1.1K 
[ ]rcomp_1__292_21.min1.thm12017-02-06 12:46 1.3K 
[ ]rcomp_1__294_16.min1.thm12017-02-06 12:46 368  
[ ]rcomp_1__309_18.min1.thm12017-02-06 12:46 303  
[ ]rcomp_1__309_18.min1.thm1.tptp2017-02-06 16:47 222  
[ ]rcomp_1__310_56.min1.thm12017-02-06 12:46 925  
[ ]rcomp_1__313_16.min1.thm12017-02-06 12:46 830  
[ ]rcomp_1__314_27.min1.thm12017-02-06 12:46 1.4K 
[ ]rcomp_1__315_30.min1.thm12017-02-06 12:46 1.2K 
[ ]rcomp_1__316_31.min1.thm12017-02-06 12:46 898  
[ ]rcomp_1__317_53.min1.thm12017-02-06 12:46 1.3K 
[ ]rcomp_1__318_27.min1.thm12017-02-06 12:46 1.9K 
[ ]rcomp_1__320_17.min1.thm12017-02-06 12:46 1.4K 
[ ]rcomp_1__326_18.min1.thm12017-02-06 12:46 303  
[ ]rcomp_1__326_18.min1.thm1.tptp2017-02-06 16:47 222  
[ ]rcomp_1__327_56.min1.thm12017-02-06 12:46 925  
[ ]rcomp_1__330_16.min1.thm12017-02-06 12:46 830  
[ ]rcomp_1__331_27.min1.thm12017-02-06 12:46 1.4K 
[ ]rcomp_1__332_30.min1.thm12017-02-06 12:46 1.2K 
[ ]rcomp_1__333_31.min1.thm12017-02-06 12:46 898  
[ ]rcomp_1__334_53.min1.thm12017-02-06 12:46 1.3K 
[ ]rcomp_1__335_27.min1.thm12017-02-06 12:46 1.9K 
[ ]rcomp_1__337_17.min1.thm12017-02-06 12:46 1.4K 
[ ]rcomp_1__341_19.min1.thm12017-02-06 12:46 1.2K 
[ ]rcomp_1__353_24.min1.thm12017-02-06 12:46 408  
[ ]rcomp_1__358_23.min1.thm12017-02-06 12:46 1.3K 
[ ]rcomp_1__362_29.min1.thm12017-02-06 12:46 536  
[ ]rcomp_1__363_19.min1.thm12017-02-06 12:46 1.4K 
[ ]rcomp_1__382_26.min1.thm12017-02-06 12:46 1.2K 
[ ]rcomp_1__385_21.min1.thm12017-02-06 12:46 1.2K 
[ ]rcomp_1__389_20.min1.thm12017-02-06 12:46 1.2K 
[ ]rcomp_1__390_22.min1.thm12017-02-06 12:46 1.2K 
[ ]rcomp_1__391_19.min1.thm12017-02-06 12:46 1.7K 
[ ]rcomp_1__393_36.min1.thm12017-02-06 12:46 746  
[ ]rcomp_1__401_21.min1.thm12017-02-06 12:46 1.1K 
[ ]rcomp_1__402_18.min1.thm12017-02-06 12:46 1.7K 
[ ]rcomp_1__409_21.min1.thm12017-02-06 12:46 1.3K 
[ ]rcomp_1__410_28.min1.thm12017-02-06 12:46 1.8K 
[ ]rcomp_1__413_24.min1.thm12017-02-06 12:46 882  
[ ]rcomp_1__419_17.min1.thm12017-02-06 12:46 387  
[ ]rcomp_1__421_28.min1.thm12017-02-06 12:46 906  
[ ]rcomp_1__422_24.min1.thm12017-02-06 12:46 931  
[ ]rcomp_1__423_19.min1.thm12017-02-06 12:46 533  
[ ]rcomp_1__426_21.min1.thm12017-02-06 12:46 1.1K 
[ ]rcomp_1__430_47.min1.thm12017-02-06 12:46 497  
[ ]rcomp_1__430_47.min1.thm1.tptp2017-02-06 16:47 434  
[ ]rcomp_1__431_40.min1.thm12017-02-06 12:46 1.3K 
[ ]rcomp_1__432_26.min1.thm12017-02-06 12:46 1.1K 
[ ]rcomp_1__434_23.min1.thm12017-02-06 12:46 706  
[ ]rcomp_1__435_22.min1.thm12017-02-06 12:46 539  
[ ]rcomp_1__436_17.min1.thm12017-02-06 12:46 812  
[ ]rcomp_1__442_14.min1.thm12017-02-06 12:46 466  
[ ]rcomp_1__444_14.min1.thm12017-02-06 12:46 466  
[ ]rcomp_1__455_41.min1.thm12017-02-06 12:46 808  
[ ]rcomp_1__463_14.min1.thm12017-02-06 12:46 316  
[ ]rcomp_1__478_18.min1.thm12017-02-06 12:46 612  
[ ]rcomp_1__490_15.min1.thm12017-02-06 12:46 2.2K 
[ ]rcomp_1__492_13.min1.thm12017-02-06 12:46 2.5K 
[ ]rcomp_1__505_16.min1.thm12017-02-06 12:46 626  
[ ]rcomp_1__513_35.min1.thm12017-02-06 12:46 1.3K 
[ ]rcomp_1__515_23.min1.thm12017-02-06 12:46 1.4K 
[ ]rcomp_1__517_22.min1.thm12017-02-06 12:46 725  
[ ]rcomp_1__523_39.min1.thm12017-02-06 12:46 570  
[ ]rcomp_1__523_39.min1.thm1.tptp2017-02-06 16:47 505  
[ ]rcomp_1__524_30.min1.thm12017-02-06 12:46 480  
[ ]rcomp_1__531_13.min1.thm12017-02-06 12:46 397  
[ ]rcomp_1__531_13.min1.thm1.tptp2017-02-06 16:47 325  
[ ]rcomp_1__534_16.min1.thm12017-02-06 12:46 904  
[ ]rcomp_1__536_21.min1.thm12017-02-06 12:46 1.0K 
[ ]rcomp_1__539_23.min1.thm12017-02-06 12:46 2.3K 
[ ]rcomp_1__540_25.min1.thm12017-02-06 12:46 2.8K 
[ ]rcomp_1__541_27.min1.thm12017-02-06 12:46 1.7K 
[ ]rcomp_1__550_18.min1.thm12017-02-06 12:46 1.2K 
[ ]rcomp_1__551_41.min1.thm12017-02-06 12:46 1.7K 
[ ]rcomp_1__552_19.min1.thm12017-02-06 12:46 495  
[ ]rcomp_1__552_19.min1.thm1.tptp2017-02-06 16:47 417  
[ ]rcomp_1__553_23.min1.thm12017-02-06 12:46 481  
[ ]rcomp_1__567_36.min1.thm12017-02-06 12:46 1.5K 
[ ]rcomp_1__569_24.min1.thm12017-02-06 12:46 1.5K 
[ ]rcomp_1__571_22.min1.thm12017-02-06 12:46 747  
[ ]rcomp_1__578_40.min1.thm12017-02-06 12:46 592  
[ ]rcomp_1__578_40.min1.thm1.tptp2017-02-06 16:47 527  
[ ]rcomp_1__579_31.min1.thm12017-02-06 12:46 502  
[ ]rcomp_1__586_13.min1.thm12017-02-06 12:46 397  
[ ]rcomp_1__586_13.min1.thm1.tptp2017-02-06 16:47 325  
[ ]rcomp_1__589_22.min1.thm12017-02-06 12:46 1.1K 
[ ]rcomp_1__591_21.min1.thm12017-02-06 12:46 1.0K 
[ ]rcomp_1__595_16.min1.thm12017-02-06 12:46 1.3K 
[ ]rcomp_1__596_18.min1.thm12017-02-06 12:46 1.7K 
[ ]rcomp_1__599_26.min1.thm12017-02-06 12:46 2.0K 
[ ]rcomp_1__600_27.min1.thm12017-02-06 12:46 1.7K 
[ ]rcomp_1__610_18.min1.thm12017-02-06 12:46 1.2K 
[ ]rcomp_1__611_41.min1.thm12017-02-06 12:46 1.7K 
[ ]rcomp_1__612_19.min1.thm12017-02-06 12:46 506  
[ ]rcomp_1__612_19.min1.thm1.tptp2017-02-06 16:47 428  
[ ]rcomp_1__613_23.min1.thm12017-02-06 12:46 481  
[ ]rcomp_1__634_30.min1.thm12017-02-06 12:46 734  
[ ]rcomp_1__635_35.min1.thm12017-02-06 12:46 889  
[ ]rcomp_1__643_15.min1.thm12017-02-06 12:46 1.0K 
[ ]rcomp_1__644_16.min1.thm12017-02-06 12:46 1.8K 
[ ]rcomp_1__645_23.min1.thm12017-02-06 12:46 1.0K 
[ ]rcomp_1__650_16.min1.thm12017-02-06 12:46 830  
[ ]rcomp_1__651_27.min1.thm12017-02-06 12:46 1.4K 
[ ]rcomp_1__652_30.min1.thm12017-02-06 12:46 1.2K 
[ ]rcomp_1__653_23.min1.thm12017-02-06 12:46 1.3K 
[ ]rcomp_1__655_18.min1.thm12017-02-06 12:46 386  
[ ]rcomp_1__660_31.min1.thm12017-02-06 12:46 735  
[ ]rcomp_1__661_36.min1.thm12017-02-06 12:46 889  
[ ]rcomp_1__668_15.min1.thm12017-02-06 12:46 1.0K 
[ ]rcomp_1__669_16.min1.thm12017-02-06 12:46 1.1K 
[ ]rcomp_1__670_23.min1.thm12017-02-06 12:46 1.0K 
[ ]rcomp_1__675_16.min1.thm12017-02-06 12:46 830  
[ ]rcomp_1__676_27.min1.thm12017-02-06 12:46 1.4K 
[ ]rcomp_1__677_30.min1.thm12017-02-06 12:46 1.2K 
[ ]rcomp_1__678_23.min1.thm12017-02-06 12:46 1.3K 
[ ]rcomp_1__680_18.min1.thm12017-02-06 12:46 386  
[ ]rcomp_1__682_25.min1.thm12017-02-06 12:46 1.0K 
[ ]rcomp_1__685_24.min1.thm12017-02-06 12:46 934  
[ ]rcomp_1__688_23.min1.thm12017-02-06 12:46 483  
[ ]rcomp_1__689_23.min1.thm12017-02-06 12:46 1.0K 
[ ]rcomp_1__690_78.min1.thm12017-02-06 12:46 799  
[ ]rcomp_1__693_17.min1.thm12017-02-06 12:46 1.1K 
[ ]rcomp_1__710_12.min1.thm12017-02-06 12:46 3.4K 
[ ]rcomp_1__711_21.min1.thm12017-02-06 12:46 2.9K 
[ ]rcomp_1__716_23.min1.thm12017-02-06 12:46 2.7K 
[ ]rcomp_1__718_19.min1.thm12017-02-06 12:46 851  
[ ]rcomp_1__724_49.min1.thm12017-02-06 12:46 678  
[ ]rcomp_1__724_49.min1.thm1.tptp2017-02-06 16:47 613  
[ ]rcomp_1__725_37.min1.thm12017-02-06 12:46 580  
[ ]rcomp_1__733_15.min1.thm12017-02-06 12:46 1.2K 
[ ]rcomp_1__734_37.min1.thm12017-02-06 12:46 1.7K 
[ ]rcomp_1__735_15.min1.thm12017-02-06 12:46 533  
[ ]rcomp_1__735_15.min1.thm1.tptp2017-02-06 16:47 455  
[ ]rcomp_1__736_19.min1.thm12017-02-06 12:46 433  
[ ]rcomp_1__743_12.min1.thm12017-02-06 12:46 517  
[ ]rcomp_1__747_20.min1.thm12017-02-06 12:46 1.8K 
[ ]rcomp_1__749_24.min1.thm12017-02-06 12:46 3.5K 
[ ]rcomp_1__750_15.min1.thm12017-02-06 12:46 533  
[ ]rcomp_1__750_15.min1.thm1.tptp2017-02-06 16:47 455  
[ ]rcomp_1__751_21.min1.thm12017-02-06 12:46 1.4K 
[ ]rcomp_1__753_19.min1.thm12017-02-06 12:46 1.6K 
[ ]rcomp_1__754_16.min1.thm12017-02-06 12:46 3.0K 
[ ]rcomp_1__755_24.min1.thm12017-02-06 12:46 3.5K 
[ ]rcomp_1__756_21.min1.thm12017-02-06 12:46 1.0K 
[ ]rcomp_1__757_21.min1.thm12017-02-06 12:46 3.0K 
[ ]rcomp_1__782_12.min1.thm12017-02-06 12:46 3.4K 
[ ]rcomp_1__783_21.min1.thm12017-02-06 12:46 2.9K 
[ ]rcomp_1__788_21.min1.thm12017-02-06 12:46 2.6K 
[ ]rcomp_1__789_19.min1.thm12017-02-06 12:46 851  
[ ]rcomp_1__795_48.min1.thm12017-02-06 12:46 678  
[ ]rcomp_1__795_48.min1.thm1.tptp2017-02-06 16:47 613  
[ ]rcomp_1__796_35.min1.thm12017-02-06 12:46 1.2K 
[ ]rcomp_1__804_15.min1.thm12017-02-06 12:46 1.2K 
[ ]rcomp_1__805_37.min1.thm12017-02-06 12:46 1.7K 
[ ]rcomp_1__806_15.min1.thm12017-02-06 12:46 533  
[ ]rcomp_1__806_15.min1.thm1.tptp2017-02-06 16:47 455  
[ ]rcomp_1__807_19.min1.thm12017-02-06 12:46 433  
[ ]rcomp_1__814_12.min1.thm12017-02-06 12:46 517  
[ ]rcomp_1__818_20.min1.thm12017-02-06 12:46 1.8K 
[ ]rcomp_1__820_24.min1.thm12017-02-06 12:46 3.5K 
[ ]rcomp_1__821_15.min1.thm12017-02-06 12:46 533  
[ ]rcomp_1__821_15.min1.thm1.tptp2017-02-06 16:47 455  
[ ]rcomp_1__822_19.min1.thm12017-02-06 12:46 1.4K 
[ ]rcomp_1__824_19.min1.thm12017-02-06 12:46 1.5K 
[ ]rcomp_1__825_16.min1.thm12017-02-06 12:46 3.0K 
[ ]rcomp_1__826_24.min1.thm12017-02-06 12:46 3.5K 
[ ]rcomp_1__827_21.min1.thm12017-02-06 12:46 1.0K 
[ ]rcomp_1__828_21.min1.thm12017-02-06 12:46 3.0K 
[ ]rcomp_1__844_29.min1.thm12017-02-06 12:46 548  
[ ]rcomp_1__845_17.min1.thm12017-02-06 12:46 1.0K 
[ ]rcomp_1__855_11.min1.thm12017-02-06 12:46 186  
[ ]rcomp_1__860_18.min1.thm12017-02-06 12:46 1.3K 
[ ]rcomp_1__865_31.min1.thm12017-02-06 12:46 552  
[ ]rcomp_1__869_25.min1.thm12017-02-06 12:46 2.2K 
[ ]rcomp_1__870_24.min1.thm12017-02-06 12:46 1.0K 
[ ]rcomp_1__873_19.min1.thm12017-02-06 12:46 1.2K 
[ ]rcomp_1__874_46.min1.thm12017-02-06 12:46 1.1K 
[ ]rcomp_1__875_24.min1.thm12017-02-06 12:46 939  
[ ]rcomp_1__876_19.min1.thm12017-02-06 12:46 503  
[ ]rcomp_1__885_15.min1.thm12017-02-06 12:46 941  
[ ]rcomp_1__898_15.min1.thm12017-02-06 12:46 1.2K 
[ ]rcomp_1__908_36.min1.thm12017-02-06 12:46 774  
[ ]rcomp_1__909_16.min1.thm12017-02-06 12:46 920  
[ ]rcomp_1__918_17.min1.thm12017-02-06 12:46 691  
[ ]rcomp_1__929_25.min1.thm12017-02-06 12:46 758  
[ ]rcomp_1__932_25.min1.thm12017-02-06 12:46 758  
[ ]rcomp_1__934_8.min1.thm12017-02-06 12:46 659  
[ ]rcomp_1__935_58.min1.thm12017-02-06 12:46 1.3K 
[ ]rcomp_1__937_12.min1.thm12017-02-06 12:46 501  
[ ]rcomp_1__939_16.min1.thm12017-02-06 12:46 1.1K 
[ ]rcomp_1__940_12.min1.thm12017-02-06 12:46 700  
[ ]rcomp_1__942_18.min1.thm12017-02-06 12:46 1.3K 
[ ]rcomp_1__943_12.min1.thm12017-02-06 12:46 632  
[ ]rcomp_1__944_17.min1.thm12017-02-06 12:46 701  
[ ]rcomp_1__946_18.min1.thm12017-02-06 12:46 1.3K 
[ ]rcomp_1__947_17.min1.thm12017-02-06 12:46 1.1K 
[ ]rcomp_1__949_13.min1.thm12017-02-06 12:46 539  
[ ]rcomp_1__956_36.min1.thm12017-02-06 12:46 1.2K 
[ ]rcomp_1__957_52.min1.thm12017-02-06 12:46 1.7K 
[ ]rcomp_1__959_32.min1.thm12017-02-06 12:46 1.4K 
[ ]rcomp_1__961_13.min1.thm12017-02-06 12:46 632  
[ ]rcomp_1__962_52.min1.thm12017-02-06 12:46 1.3K 
[ ]rcomp_1__970_36.min1.thm12017-02-06 12:46 1.2K 
[ ]rcomp_1__971_52.min1.thm12017-02-06 12:46 1.7K 
[ ]rcomp_1__973_32.min1.thm12017-02-06 12:46 1.4K 
[ ]rcomp_1__975_13.min1.thm12017-02-06 12:46 762  
[ ]rcomp_1__976_52.min1.thm12017-02-06 12:46 1.3K 
[ ]rcomp_1__979_14.min1.thm12017-02-06 12:46 806  
[ ]rcomp_1__979_14.min1.thm1.tptp2017-02-06 16:47 720  
[ ]rcomp_1__996_22.min1.thm12017-02-06 12:46 766  
[ ]rcomp_1__997_17.min1.thm12017-02-06 12:46 354  
[ ]rcomp_1__997_17.min1.thm1.tptp2017-02-06 16:47 271  
[ ]rcomp_1__1000_17.min1.thm12017-02-06 12:46 378  
[ ]rcomp_1__1000_17.min1.thm1.tptp2017-02-06 16:47 312  
[ ]rcomp_1__1006_18.min1.thm12017-02-06 12:46 388  
[ ]rcomp_1__1007_19.min1.thm12017-02-06 12:46 1.0K 
[ ]rcomp_1__1012_20.min1.thm12017-02-06 12:46 3.4K 
[ ]rcomp_1__1013_25.min1.thm12017-02-06 12:46 3.0K 
[ ]rcomp_1__1016_39.min1.thm12017-02-06 12:46 504  
[ ]rcomp_1__1016_39.min1.thm1.tptp2017-02-06 16:47 437  
[ ]rcomp_1__1017_16.min1.thm12017-02-06 12:46 769  
[ ]rcomp_1__1017_16.min1.thm1.tptp2017-02-06 16:47 697  
[ ]rcomp_1__1030_42.min1.thm12017-02-06 12:46 768  
[ ]rcomp_1__1030_42.min1.thm1.tptp2017-02-06 16:47 691  
[ ]rcomp_1__1042_14.min1.thm12017-02-06 12:46 1.2K 
[ ]rcomp_1__1043_37.min1.thm12017-02-06 12:46 1.7K 
[ ]rcomp_1__1044_17.min1.thm12017-02-06 12:46 641  
[ ]rcomp_1__1044_17.min1.thm1.tptp2017-02-06 16:47 564  
[ ]rcomp_1__1045_19.min1.thm12017-02-06 12:46 481  
[ ]rcomp_1__1047_20.min1.thm12017-02-06 12:46 425  
[ ]rcomp_1__1047_20.min1.thm1.tptp2017-02-06 16:47 348  
[ ]rcomp_1__1053_12.min1.thm12017-02-06 12:46 517  
[ ]rcomp_1__1057_26.min1.thm12017-02-06 12:46 1.8K 
[ ]rcomp_1__1059_26.min1.thm12017-02-06 12:46 3.5K 
[ ]rcomp_1__1060_21.min1.thm12017-02-06 12:46 3.0K 
[ ]rcomp_1__1061_26.min1.thm12017-02-06 12:46 3.7K 
[ ]rcomp_1__1063_19.min1.thm12017-02-06 12:46 1.0K 
[ ]rcomp_1__1064_45.min1.thm12017-02-06 12:46 585  
[ ]rcomp_1__1064_45.min1.thm1.tptp2017-02-06 16:47 508  
[ ]rcomp_1__1077_12.min1.thm12017-02-06 12:46 517  
[ ]rcomp_1__1081_26.min1.thm12017-02-06 12:46 1.8K 
[ ]rcomp_1__1083_26.min1.thm12017-02-06 12:46 3.5K 
[ ]rcomp_1__1084_21.min1.thm12017-02-06 12:46 3.0K 
[ ]rcomp_1__1085_26.min1.thm12017-02-06 12:46 3.7K 
[ ]rcomp_1__1087_19.min1.thm12017-02-06 12:46 1.0K 
[ ]rcomp_1__1088_45.min1.thm12017-02-06 12:46 584  
[ ]rcomp_1__1088_45.min1.thm1.tptp2017-02-06 16:47 507  
[ ]rcomp_1__1090_26.min1.thm12017-02-06 12:46 2.3K 
[ ]rcomp_1__1091_19.min1.thm12017-02-06 12:46 3.1K 
[ ]rcomp_1__1097_39.min1.thm12017-02-06 12:46 2.9K 
[ ]rcomp_1__1108_13.min1.thm12017-02-06 12:46 628  
[ ]rcomp_1__1110_28.min1.thm12017-02-06 12:46 758  
[ ]rcomp_1__1112_16.min1.thm12017-02-06 12:46 552  
[ ]rcomp_1__1112_16.min1.thm1.tptp2017-02-06 16:47 464  
[ ]rcomp_1__1122_21.min1.thm12017-02-06 12:46 460  
[ ]rcomp_1__1126_23.min1.thm12017-02-06 12:46 1.0K 
[ ]rcomp_1__1128_13.min1.thm12017-02-06 12:46 1.5K 
[ ]rcomp_1__1134_10.min1.thm12017-02-06 12:46 807  
[ ]rcomp_1__1135_21.min1.thm12017-02-06 12:46 1.4K 
[ ]rcomp_1__1137_22.min1.thm12017-02-06 12:46 1.1K 
[ ]rcomp_1__1138_31.min1.thm12017-02-06 12:46 1.5K 
[ ]rcomp_1__1139_28.min1.thm12017-02-06 12:46 2.0K 
[ ]rcomp_1__1141_26.min1.thm12017-02-06 12:46 1.9K 
[ ]rcomp_1__1157_13.min1.thm12017-02-06 12:46 904  
[ ]rcomp_1__1161_42.min1.thm12017-02-06 12:46 1.4K 
[ ]rcomp_1__1162_53.min1.thm12017-02-06 12:46 1.6K 
[ ]rcomp_1__1163_38.min1.thm12017-02-06 12:46 1.0K 
[ ]rcomp_1__1178_13.min1.thm12017-02-06 12:46 904  
[ ]rcomp_1__1182_42.min1.thm12017-02-06 12:46 1.4K 
[ ]rcomp_1__1183_54.min1.thm12017-02-06 12:46 1.6K 
[ ]rcomp_1__1184_38.min1.thm12017-02-06 12:46 915  
[ ]rcomp_1__1199_11.min1.thm12017-02-06 12:46 186  
[ ]rcomp_1__1204_18.min1.thm12017-02-06 12:46 1.1K 
[ ]rcomp_1__1215_27.min1.thm12017-02-06 12:46 1.8K 
[ ]rcomp_1__1217_14.min1.thm12017-02-06 12:46 845  
[ ]rcomp_1__1218_22.min1.thm12017-02-06 12:46 1.8K 
[ ]rcomp_1__1219_19.min1.thm12017-02-06 12:46 845  
[ ]rcomp_1__1220_23.min1.thm12017-02-06 12:46 1.1K 
[ ]rcomp_1__1224_37.min1.thm12017-02-06 12:46 1.1K 
[ ]rcomp_1__1225_19.min1.thm12017-02-06 12:46 913  
[ ]rcomp_1__1228_14.min1.thm12017-02-06 12:46 913  
[ ]rcomp_1__1231_34.min1.thm12017-02-06 12:46 525  
[ ]rcomp_1__1233_18.min1.thm12017-02-06 12:46 1.9K 
[ ]rcomp_1__1252_59.min1.thm12017-02-06 12:46 905  
[ ]rcomp_1__1253_18.min1.thm12017-02-06 12:46 305  
[ ]rcomp_1__1253_18.min1.thm1.tptp2017-02-06 16:47 224  
[ ]rcomp_1__1254_24.min1.thm12017-02-06 12:46 888  
[ ]rcomp_1__1256_19.min1.thm12017-02-06 12:46 528  
[ ]rcomp_1__1268_18.min1.thm12017-02-06 12:46 905  
[ ]rcomp_1__1269_18.min1.thm12017-02-06 12:46 305  
[ ]rcomp_1__1269_18.min1.thm1.tptp2017-02-06 16:47 224  
[ ]rcomp_1__1270_23.min1.thm12017-02-06 12:46 949  
[ ]rcomp_1__1271_21.min1.thm12017-02-06 12:46 929  
[ ]rcomp_1__1278_26.min1.thm12017-02-06 12:46 945  
[ ]rcomp_1__1279_15.min1.thm12017-02-06 12:46 409  
[ ]rcomp_1__1280_21.min1.thm12017-02-06 12:46 1.2K 
[ ]rcomp_1__1282_19.min1.thm12017-02-06 12:46 614  
[ ]rcomp_1__1297_59.min1.thm12017-02-06 12:46 905  
[ ]rcomp_1__1298_18.min1.thm12017-02-06 12:46 305  
[ ]rcomp_1__1298_18.min1.thm1.tptp2017-02-06 16:47 224  
[ ]rcomp_1__1299_24.min1.thm12017-02-06 12:46 888  
[ ]rcomp_1__1301_19.min1.thm12017-02-06 12:46 528  
[ ]rcomp_1__1313_18.min1.thm12017-02-06 12:46 905  
[ ]rcomp_1__1314_18.min1.thm12017-02-06 12:46 305  
[ ]rcomp_1__1314_18.min1.thm1.tptp2017-02-06 16:47 224  
[ ]rcomp_1__1315_23.min1.thm12017-02-06 12:46 949  
[ ]rcomp_1__1316_21.min1.thm12017-02-06 12:46 929  
[ ]rcomp_1__1323_26.min1.thm12017-02-06 12:46 945  
[ ]rcomp_1__1324_15.min1.thm12017-02-06 12:46 409  
[ ]rcomp_1__1325_21.min1.thm12017-02-06 12:46 1.2K 
[ ]rcomp_1__1327_19.min1.thm12017-02-06 12:46 614  
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80