Index of /~mptp/1147/MPTP2/ilp0/groupp_1

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]groupp_1__49_11.min1.thm12017-02-06 12:45 184  
[   ]groupp_1__52_13.min1.thm12017-02-06 12:45 178  
[   ]groupp_1__56_24.min1.thm12017-02-06 12:45 278  
[   ]groupp_1__56_24.min1.thm1.tptp2017-02-06 16:47 192  
[   ]groupp_1__57_25.min1.thm12017-02-06 12:45 884  
[   ]groupp_1__63_24.min1.thm12017-02-06 12:45 278  
[   ]groupp_1__63_24.min1.thm1.tptp2017-02-06 16:47 192  
[   ]groupp_1__64_25.min1.thm12017-02-06 12:45 884  
[   ]groupp_1__65_20.min1.thm12017-02-06 12:45 307  
[   ]groupp_1__65_20.min1.thm1.tptp2017-02-06 16:47 221  
[   ]groupp_1__70_12.min1.thm12017-02-06 12:45 417  
[   ]groupp_1__70_12.min1.thm1.tptp2017-02-06 16:47 352  
[   ]groupp_1__71_47.min1.thm12017-02-06 12:45 1.0K 
[   ]groupp_1__72_24.min1.thm12017-02-06 12:45 1.6K 
[   ]groupp_1__73_32.min1.thm12017-02-06 12:45 2.0K 
[   ]groupp_1__75_23.min1.thm12017-02-06 12:45 1.3K 
[   ]groupp_1__79_19.min1.thm12017-02-06 12:45 823  
[   ]groupp_1__80_19.min1.thm12017-02-06 12:45 1.1K 
[   ]groupp_1__81_28.min1.thm12017-02-06 12:45 442  
[   ]groupp_1__86_20.min1.thm12017-02-06 12:45 502  
[   ]groupp_1__87_20.min1.thm12017-02-06 12:45 1.5K 
[   ]groupp_1__93_19.min1.thm12017-02-06 12:45 915  
[   ]groupp_1__94_27.min1.thm12017-02-06 12:45 1.6K 
[   ]groupp_1__95_27.min1.thm12017-02-06 12:45 1.6K 
[   ]groupp_1__98_17.min1.thm12017-02-06 12:45 1.2K 
[   ]groupp_1__112_14.min1.thm12017-02-06 12:45 1.1K 
[   ]groupp_1__115_34.min1.thm12017-02-06 12:45 1.0K 
[   ]groupp_1__116_57.min1.thm12017-02-06 12:45 1.6K 
[   ]groupp_1__118_22.min1.thm12017-02-06 12:45 718  
[   ]groupp_1__120_16.min1.thm12017-02-06 12:45 356  
[   ]groupp_1__127_26.min1.thm12017-02-06 12:45 1.0K 
[   ]groupp_1__128_19.min1.thm12017-02-06 12:45 512  
[   ]groupp_1__128_19.min1.thm1.tptp2017-02-06 16:47 437  
[   ]groupp_1__129_14.min1.thm12017-02-06 12:45 376  
[   ]groupp_1__135_9.min1.thm12017-02-06 12:45 650  
[   ]groupp_1__136_17.min1.thm12017-02-06 12:45 1.2K 
[   ]groupp_1__142_21.min1.thm12017-02-06 12:45 679  
[   ]groupp_1__143_27.min1.thm12017-02-06 12:45 1.9K 
[   ]groupp_1__144_29.min1.thm12017-02-06 12:45 2.0K 
[   ]groupp_1__145_25.min1.thm12017-02-06 12:45 931  
[   ]groupp_1__146_29.min1.thm12017-02-06 12:45 2.1K 
[   ]groupp_1__147_32.min1.thm12017-02-06 12:45 2.0K 
[   ]groupp_1__148_17.min1.thm12017-02-06 12:45 2.2K 
[   ]groupp_1__154_42.min1.thm12017-02-06 12:45 2.0K 
[   ]groupp_1__155_37.min1.thm12017-02-06 12:45 765  
[   ]groupp_1__156_30.min1.thm12017-02-06 12:45 663  
[   ]groupp_1__157_33.min1.thm12017-02-06 12:45 2.2K 
[   ]groupp_1__158_56.min1.thm12017-02-06 12:45 2.3K 
[   ]groupp_1__159_35.min1.thm12017-02-06 12:45 1.1K 
[   ]groupp_1__160_36.min1.thm12017-02-06 12:45 2.8K 
[   ]groupp_1__161_17.min1.thm12017-02-06 12:45 2.3K 
[   ]groupp_1__177_24.min1.thm12017-02-06 12:45 963  
[   ]groupp_1__178_31.min1.thm12017-02-06 12:45 753  
[   ]groupp_1__179_25.min1.thm12017-02-06 12:45 801  
[   ]groupp_1__181_11.min1.thm12017-02-06 12:45 1.2K 
[   ]groupp_1__185_39.min1.thm12017-02-06 12:45 804  
[   ]groupp_1__185_39.min1.thm1.tptp2017-02-06 16:47 741  
[   ]groupp_1__189_20.min1.thm12017-02-06 12:45 945  
[   ]groupp_1__195_57.min1.thm12017-02-06 12:45 1.8K 
[   ]groupp_1__199_14.min1.thm12017-02-06 12:45 727  
[   ]groupp_1__215_26.min1.thm12017-02-06 12:45 1.4K 
[   ]groupp_1__216_27.min1.thm12017-02-06 12:45 729  
[   ]groupp_1__217_26.min1.thm12017-02-06 12:45 754  
[   ]groupp_1__219_11.min1.thm12017-02-06 12:45 1.1K 
[   ]groupp_1__224_29.min1.thm12017-02-06 12:45 2.4K 
[   ]groupp_1__226_46.min1.thm12017-02-06 12:45 2.4K 
[   ]groupp_1__228_40.min1.thm12017-02-06 12:45 1.9K 
[   ]groupp_1__229_16.min1.thm12017-02-06 12:45 635  
[   ]groupp_1__232_14.min1.thm12017-02-06 12:45 549  
[   ]groupp_1__242_15.min1.thm12017-02-06 12:45 780  
[   ]groupp_1__259_5.min1.thm12017-02-06 12:45 941  
[   ]groupp_1__261_30.min1.thm12017-02-06 12:45 1.1K 
[   ]groupp_1__265_52.min1.thm12017-02-06 12:45 1.3K 
[   ]groupp_1__267_22.min1.thm12017-02-06 12:45 667  
[   ]groupp_1__267_22.min1.thm1.tptp2017-02-06 16:47 604  
[   ]groupp_1__273_22.min1.thm12017-02-06 12:45 667  
[   ]groupp_1__273_22.min1.thm1.tptp2017-02-06 16:47 604  
[   ]groupp_1__286_50.min1.thm12017-02-06 12:45 1.7K 
[   ]groupp_1__289_16.min1.thm12017-02-06 12:45 422  
[   ]groupp_1__303_17.min1.thm12017-02-06 12:45 968  
[   ]groupp_1__315_49.min1.thm12017-02-06 12:45 943  
[   ]groupp_1__330_18.min1.thm12017-02-06 12:45 489  
[   ]groupp_1__330_18.min1.thm1.tptp2017-02-06 16:47 414  
[   ]groupp_1__331_15.min1.thm12017-02-06 12:45 453  
[   ]groupp_1__332_17.min1.thm12017-02-06 12:45 1.2K 
[   ]groupp_1__341_18.min1.thm12017-02-06 12:45 593  
[   ]groupp_1__352_20.min1.thm12017-02-06 12:45 894  
[   ]groupp_1__353_23.min1.thm12017-02-06 12:45 891  
[   ]groupp_1__354_17.min1.thm12017-02-06 12:45 1.3K 
[   ]groupp_1__363_28.min1.thm12017-02-06 12:45 1.3K 
[   ]groupp_1__364_19.min1.thm12017-02-06 12:45 966  
[   ]groupp_1__365_17.min1.thm12017-02-06 12:45 1.0K 
[   ]groupp_1__375_21.min1.thm12017-02-06 12:45 894  
[   ]groupp_1__376_28.min1.thm12017-02-06 12:45 1.0K 
[   ]groupp_1__377_19.min1.thm12017-02-06 12:45 1.4K 
[   ]groupp_1__388_21.min1.thm12017-02-06 12:45 924  
[   ]groupp_1__390_21.min1.thm12017-02-06 12:45 924  
[   ]groupp_1__391_50.min1.thm12017-02-06 12:45 1.3K 
[   ]groupp_1__392_52.min1.thm12017-02-06 12:45 1.7K 
[   ]groupp_1__393_44.min1.thm12017-02-06 12:45 1.0K 
[   ]groupp_1__394_30.min1.thm12017-02-06 12:45 966  
[   ]groupp_1__395_47.min1.thm12017-02-06 12:45 1.4K 
[   ]groupp_1__396_52.min1.thm12017-02-06 12:45 1.7K 
[   ]groupp_1__397_44.min1.thm12017-02-06 12:45 1.0K 
[   ]groupp_1__398_30.min1.thm12017-02-06 12:45 966  
[   ]groupp_1__402_42.min1.thm12017-02-06 12:45 3.3K 
[   ]groupp_1__404_16.min1.thm12017-02-06 12:45 523  
[   ]groupp_1__416_22.min1.thm12017-02-06 12:45 942  
[   ]groupp_1__419_17.min1.thm12017-02-06 12:45 1.0K 
[   ]groupp_1__434_21.min1.thm12017-02-06 12:45 968  
[   ]groupp_1__436_8.min1.thm12017-02-06 12:45 286  
[   ]groupp_1__438_21.min1.thm12017-02-06 12:45 1.7K 
[   ]groupp_1__439_19.min1.thm12017-02-06 12:45 1.1K 
[   ]groupp_1__440_17.min1.thm12017-02-06 12:45 1.0K 
[   ]groupp_1__451_22.min1.thm12017-02-06 12:45 942  
[   ]groupp_1__452_46.min1.thm12017-02-06 12:45 2.0K 
[   ]groupp_1__453_19.min1.thm12017-02-06 12:45 1.6K 
[   ]groupp_1__461_24.min1.thm12017-02-06 12:45 472  
[   ]groupp_1__461_24.min1.thm1.tptp2017-02-06 16:47 397  
[   ]groupp_1__462_14.min1.thm12017-02-06 12:45 483  
[   ]groupp_1__472_18.min1.thm12017-02-06 12:45 617  
[   ]groupp_1__483_15.min1.thm12017-02-06 12:45 1.6K 
[   ]groupp_1__484_14.min1.thm12017-02-06 12:45 424  
[   ]groupp_1__484_14.min1.thm1.tptp2017-02-06 16:47 338  
[   ]groupp_1__498_48.min1.thm12017-02-06 12:45 1.0K 
[   ]groupp_1__501_13.min1.thm12017-02-06 12:45 1.7K 
[   ]groupp_1__503_16.min1.thm12017-02-06 12:45 1.9K 
[   ]groupp_1__504_17.min1.thm12017-02-06 12:45 413  
[   ]groupp_1__504_17.min1.thm1.tptp2017-02-06 16:47 332  
[   ]groupp_1__505_41.min1.thm12017-02-06 12:45 953  
[   ]groupp_1__516_22.min1.thm12017-02-06 12:45 942  
[   ]groupp_1__517_32.min1.thm12017-02-06 12:45 2.5K 
[   ]groupp_1__518_28.min1.thm12017-02-06 12:45 1.4K 
[   ]groupp_1__520_21.min1.thm12017-02-06 12:45 3.7K 
[   ]groupp_1__522_26.min1.thm12017-02-06 12:45 815  
[   ]groupp_1__523_17.min1.thm12017-02-06 12:45 1.7K 
[   ]groupp_1__538_23.min1.thm12017-02-06 12:45 1.6K 
[   ]groupp_1__540_29.min1.thm12017-02-06 12:45 1.6K 
[   ]groupp_1__541_25.min1.thm12017-02-06 12:45 1.3K 
[   ]groupp_1__542_36.min1.thm12017-02-06 12:45 3.6K 
[   ]groupp_1__543_28.min1.thm12017-02-06 12:45 1.2K 
[   ]groupp_1__560_19.min1.thm12017-02-06 12:45 1.2K 
[   ]groupp_1__567_19.min1.thm12017-02-06 12:45 1.4K 
[   ]groupp_1__569_17.min1.thm12017-02-06 12:45 1.4K 
[   ]groupp_1__584_18.min1.thm12017-02-06 12:45 860  
[   ]groupp_1__586_31.min1.thm12017-02-06 12:45 1.5K 
[   ]groupp_1__590_17.min1.thm12017-02-06 12:45 1.2K 
[   ]groupp_1__592_34.min1.thm12017-02-06 12:45 1.5K 
[   ]groupp_1__595_21.min1.thm12017-02-06 12:45 964  
[   ]groupp_1__596_25.min1.thm12017-02-06 12:45 859  
[   ]groupp_1__601_21.min1.thm12017-02-06 12:45 966  
[   ]groupp_1__602_26.min1.thm12017-02-06 12:45 861  
[   ]groupp_1__604_57.min1.thm12017-02-06 12:45 1.4K 
[   ]groupp_1__606_31.min1.thm12017-02-06 12:45 1.7K 
[   ]groupp_1__607_40.min1.thm12017-02-06 12:45 778  
[   ]groupp_1__610_36.min1.thm12017-02-06 12:45 2.7K 
[   ]groupp_1__612_19.min1.thm12017-02-06 12:45 1.4K 
[   ]groupp_1__633_33.min1.thm12017-02-06 12:45 928  
[   ]groupp_1__639_48.min1.thm12017-02-06 12:45 1.4K 
[   ]groupp_1__645_19.min1.thm12017-02-06 12:45 1.3K 
[   ]groupp_1__648_17.min1.thm12017-02-06 12:45 728  
[   ]groupp_1__660_19.min1.thm12017-02-06 12:45 2.1K 
[   ]groupp_1__662_14.min1.thm12017-02-06 12:45 1.6K 
[   ]groupp_1__664_21.min1.thm12017-02-06 12:45 1.2K 
[   ]groupp_1__665_42.min1.thm12017-02-06 12:45 2.2K 
[   ]groupp_1__667_33.min1.thm12017-02-06 12:45 1.1K 
[   ]groupp_1__668_29.min1.thm12017-02-06 12:45 1.4K 
[   ]groupp_1__669_40.min1.thm12017-02-06 12:45 1.7K 
[   ]groupp_1__672_31.min1.thm12017-02-06 12:45 2.3K 
[   ]groupp_1__673_21.min1.thm12017-02-06 12:45 2.2K 
[   ]groupp_1__689_22.min1.thm12017-02-06 12:45 783  
[   ]groupp_1__690_20.min1.thm12017-02-06 12:45 1.0K 
[   ]groupp_1__701_14.min1.thm12017-02-06 12:45 753  
[   ]groupp_1__707_11.min1.thm12017-02-06 12:45 422  
[   ]groupp_1__707_11.min1.thm1.tptp2017-02-06 16:47 357  
[   ]groupp_1__708_18.min1.thm12017-02-06 12:45 876  
[   ]groupp_1__716_14.min1.thm12017-02-06 12:45 853  
[   ]groupp_1__727_35.min1.thm12017-02-06 12:45 1.4K 
[   ]groupp_1__739_22.min1.thm12017-02-06 12:45 1.4K 
[   ]groupp_1__740_17.min1.thm12017-02-06 12:45 483  
[   ]groupp_1__741_19.min1.thm12017-02-06 12:45 533  
[   ]groupp_1__741_19.min1.thm1.tptp2017-02-06 16:47 458  
[   ]groupp_1__751_25.min1.thm12017-02-06 12:45 1.4K 
[   ]groupp_1__752_20.min1.thm12017-02-06 12:45 480  
[   ]groupp_1__753_17.min1.thm12017-02-06 12:45 805  
[   ]groupp_1__767_19.min1.thm12017-02-06 12:45 1.4K 
[   ]groupp_1__768_21.min1.thm12017-02-06 12:45 858  
[   ]groupp_1__769_14.min1.thm12017-02-06 12:45 599  
[   ]groupp_1__793_14.min1.thm12017-02-06 12:45 568  
[   ]groupp_1__793_14.min1.thm1.tptp2017-02-06 16:47 523  
[   ]groupp_1__795_14.min1.thm12017-02-06 12:45 568  
[   ]groupp_1__795_14.min1.thm1.tptp2017-02-06 16:47 523  
[   ]groupp_1__802_35.min1.thm12017-02-06 12:45 801  
[   ]groupp_1__813_56.min1.thm12017-02-06 12:45 850  
[   ]groupp_1__826_46.min1.thm12017-02-06 12:45 1.0K 
[   ]groupp_1__828_41.min1.thm12017-02-06 12:45 1.7K 
[   ]groupp_1__845_17.min1.thm12017-02-06 12:45 941  
[   ]groupp_1__856_14.min1.thm12017-02-06 12:45 478  
[   ]groupp_1__858_22.min1.thm12017-02-06 12:45 930  
[   ]groupp_1__859_17.min1.thm12017-02-06 12:45 1.2K 
[   ]groupp_1__868_48.min1.thm12017-02-06 12:45 857  
[   ]groupp_1__881_31.min1.thm12017-02-06 12:45 1.6K 
[   ]groupp_1__882_14.min1.thm12017-02-06 12:45 424  
[   ]groupp_1__882_14.min1.thm1.tptp2017-02-06 16:47 338  
[   ]groupp_1__897_28.min1.thm12017-02-06 12:45 1.1K 
[   ]groupp_1__899_28.min1.thm12017-02-06 12:45 1.1K 
[   ]groupp_1__923_40.min1.thm12017-02-06 12:45 661  
[   ]groupp_1__924_33.min1.thm12017-02-06 12:45 1.0K 
[   ]groupp_1__925_60.min1.thm12017-02-06 12:45 793  
[   ]groupp_1__926_55.min1.thm12017-02-06 12:45 874  
[   ]groupp_1__927_48.min1.thm12017-02-06 12:45 661  
[   ]groupp_1__928_42.min1.thm12017-02-06 12:45 742  
[   ]groupp_1__930_11.min1.thm12017-02-06 12:45 1.0K 
[   ]groupp_1__930_11.min1.thm1.tptp2017-02-06 16:47 901  
[   ]groupp_1__938_58.min1.thm12017-02-06 12:45 1.0K 
[   ]groupp_1__938_58.min1.thm1.tptp2017-02-06 16:47 1.0K 
[   ]groupp_1__944_16.min1.thm12017-02-06 12:45 1.0K 
[   ]groupp_1__947_14.min1.thm12017-02-06 12:45 823  
[   ]groupp_1__961_17.min1.thm12017-02-06 12:45 1.9K 
[   ]groupp_1__962_14.min1.thm12017-02-06 12:45 1.5K 
[   ]groupp_1__986_30.min1.thm12017-02-06 12:45 1.4K 
[   ]groupp_1__996_49.min1.thm12017-02-06 12:45 1.4K 
[   ]groupp_1__997_45.min1.thm12017-02-06 12:45 1.6K 
[   ]groupp_1__1002_49.min1.thm12017-02-06 12:45 1.4K 
[   ]groupp_1__1009_25.min1.thm12017-02-06 12:45 1.0K 
[   ]groupp_1__1010_25.min1.thm12017-02-06 12:45 1.0K 
[   ]groupp_1__1014_46.min1.thm12017-02-06 12:45 1.5K 
[   ]groupp_1__1026_56.min1.thm12017-02-06 12:45 1.8K 
[   ]groupp_1__1027_51.min1.thm12017-02-06 12:45 1.7K 
[   ]groupp_1__1033_17.min1.thm12017-02-06 12:45 1.5K 
[   ]groupp_1__1053_34.min1.thm12017-02-06 12:45 1.4K 
[   ]groupp_1__1063_50.min1.thm12017-02-06 12:45 1.4K 
[   ]groupp_1__1064_45.min1.thm12017-02-06 12:45 1.6K 
[   ]groupp_1__1069_50.min1.thm12017-02-06 12:45 1.4K 
[   ]groupp_1__1070_45.min1.thm12017-02-06 12:45 1.6K 
[   ]groupp_1__1076_25.min1.thm12017-02-06 12:45 1.0K 
[   ]groupp_1__1077_25.min1.thm12017-02-06 12:45 1.0K 
[   ]groupp_1__1081_46.min1.thm12017-02-06 12:45 1.5K 
[   ]groupp_1__1093_56.min1.thm12017-02-06 12:45 1.8K 
[   ]groupp_1__1094_51.min1.thm12017-02-06 12:45 1.7K 
[   ]groupp_1__1100_17.min1.thm12017-02-06 12:45 1.6K 
[   ]groupp_1__1113_21.min1.thm12017-02-06 12:45 1.2K 
[   ]groupp_1__1118_26.min1.thm12017-02-06 12:45 2.0K 
[   ]groupp_1__1124_16.min1.thm12017-02-06 12:45 666  
[   ]groupp_1__1135_19.min1.thm12017-02-06 12:45 1.3K 
[   ]groupp_1__1136_36.min1.thm12017-02-06 12:45 1.6K 
[   ]groupp_1__1137_19.min1.thm12017-02-06 12:45 860  
[   ]groupp_1__1148_47.min1.thm12017-02-06 12:45 1.9K 
[   ]groupp_1__1149_18.min1.thm12017-02-06 12:45 2.1K 
[   ]groupp_1__1151_15.min1.thm12017-02-06 12:45 1.6K 
[   ]groupp_1__1152_20.min1.thm12017-02-06 12:45 2.1K 
[   ]groupp_1__1154_15.min1.thm12017-02-06 12:45 1.6K 
[   ]groupp_1__1156_19.min1.thm12017-02-06 12:45 2.3K 
[   ]groupp_1__1175_19.min1.thm12017-02-06 12:45 877  
[   ]groupp_1__1176_17.min1.thm12017-02-06 12:45 1.3K 
[   ]groupp_1__1186_21.min1.thm12017-02-06 12:45 848  
[   ]groupp_1__1187_17.min1.thm12017-02-06 12:45 1.1K 

Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80