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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]goboard9__348_19.min1.thm12017-02-06 12:46 3.6K 
[ ]goboard9__198_25.min1.thm12017-02-06 12:46 845  
[ ]goboard9__1102_33.min1.thm12017-02-06 12:46 2.5K 
[ ]goboard9__1944_24.min1.thm12017-02-06 12:46 1.0K 
[ ]goboard9__466_29.min1.thm12017-02-06 12:46 750  
[ ]goboard9__167_25.min1.thm12017-02-06 12:46 845  
[ ]goboard9__495_18.min1.thm12017-02-06 12:46 1.2K 
[ ]goboard9__662_33.min1.thm12017-02-06 12:46 2.1K 
[ ]goboard9__557_64.min1.thm12017-02-06 12:46 685  
[ ]goboard9__922_46.min1.thm12017-02-06 12:46 1.5K 
[ ]goboard9__2021_26.min1.thm12017-02-06 12:46 1.3K 
[ ]goboard9__878_44.min1.thm12017-02-06 12:46 3.1K 
[ ]goboard9__481_20.min1.thm12017-02-06 12:46 1.9K 
[ ]goboard9__1163_25.min1.thm12017-02-06 12:46 1.9K 
[ ]goboard9__484_20.min1.thm12017-02-06 12:46 1.9K 
[ ]goboard9__678_6.min1.thm12017-02-06 12:46 3.3K 
[ ]goboard9__2131_29.min1.thm12017-02-06 12:46 3.4K 
[ ]goboard9__154_13.min1.thm12017-02-06 12:46 814  
[ ]goboard9__101_33.min1.thm12017-02-06 12:46 1.6K 
[ ]goboard9__155_11.min1.thm12017-02-06 12:46 814  
[ ]goboard9__784_31.min1.thm12017-02-06 12:46 3.0K 
[ ]goboard9__311_39.min1.thm12017-02-06 12:46 1.5K 
[ ]goboard9__274_27.min1.thm12017-02-06 12:46 2.3K 
[ ]goboard9__332_49.min1.thm12017-02-06 12:46 1.8K 
[ ]goboard9__511_18.min1.thm12017-02-06 12:46 1.2K 
[ ]goboard9__595_14.min1.thm12017-02-06 12:46 2.5K 
[ ]goboard9__554_18.min1.thm12017-02-06 12:46 1.9K 
[ ]goboard9__359_18.min1.thm12017-02-06 12:46 3.1K 
[ ]goboard9__1501_26.min1.thm12017-02-06 12:46 1.3K 
[ ]goboard9__1885_25.min1.thm12017-02-06 12:46 1.5K 
[ ]goboard9__908_29.min1.thm12017-02-06 12:46 1.6K 
[ ]goboard9__150_13.min1.thm12017-02-06 12:46 721  
[ ]goboard9__429_56.min1.thm12017-02-06 12:46 1.5K 
[ ]goboard9__382_43.min1.thm12017-02-06 12:46 2.0K 
[ ]goboard9__125_7.min1.thm12017-02-06 12:46 1.2K 
[ ]goboard9__233_27.min1.thm12017-02-06 12:46 1.2K 
[ ]goboard9__157_17.min1.thm12017-02-06 12:46 916  
[ ]goboard9__852_18.min1.thm12017-02-06 12:46 2.4K 
[ ]goboard9__201_24.min1.thm12017-02-06 12:46 1.3K 
[ ]goboard9__705_19.min1.thm12017-02-06 12:46 659  
[ ]goboard9__340_16.min1.thm12017-02-06 12:46 1.7K 
[ ]goboard9__96_30.min1.thm12017-02-06 12:46 1.2K 
[ ]goboard9__668_42.min1.thm12017-02-06 12:46 2.6K 
[ ]goboard9__855_26.min1.thm12017-02-06 12:46 2.5K 
[ ]goboard9__921_25.min1.thm12017-02-06 12:46 2.6K 
[ ]goboard9__119_45.min1.thm12017-02-06 12:46 951  
[ ]goboard9__339_24.min1.thm12017-02-06 12:46 1.9K 
[ ]goboard9__170_24.min1.thm12017-02-06 12:46 1.3K 
[ ]goboard9__294_29.min1.thm12017-02-06 12:46 721  
[ ]goboard9__1691_31.min1.thm12017-02-06 12:46 2.3K 
[ ]goboard9__489_23.min1.thm12017-02-06 12:46 2.4K 
[ ]goboard9__893_22.min1.thm12017-02-06 12:46 2.5K 
[ ]goboard9__701_19.min1.thm12017-02-06 12:46 659  
[ ]goboard9__867_26.min1.thm12017-02-06 12:46 1.5K 
[ ]goboard9__122_14.min1.thm12017-02-06 12:46 1.3K 
[ ]goboard9__613_18.min1.thm12017-02-06 12:46 1.8K 
[ ]goboard9__1959_26.min1.thm12017-02-06 12:46 1.3K 
[ ]goboard9__72_57.min1.thm12017-02-06 12:46 1.3K 
[ ]goboard9__2151_24.min1.thm12017-02-06 12:46 1.7K 
[ ]goboard9__663_29.min1.thm12017-02-06 12:46 2.0K 
[ ]goboard9__240_27.min1.thm12017-02-06 12:46 1.2K 
[ ]goboard9__242_52.min1.thm12017-02-06 12:46 792  
[ ]goboard9__421_20.min1.thm12017-02-06 12:46 1.9K 
[ ]goboard9__518_27.min1.thm12017-02-06 12:46 2.4K 
[ ]goboard9__634_28.min1.thm12017-02-06 12:46 831  
[ ]goboard9__151_11.min1.thm12017-02-06 12:46 721  
[ ]goboard9__1506_26.min1.thm12017-02-06 12:46 1.3K 
[ ]goboard9__165_15.min1.thm12017-02-06 12:46 847  
[ ]goboard9__485_62.min1.thm12017-02-06 12:46 1.1K 
[ ]goboard9__197_19.min1.thm12017-02-06 12:46 1.3K 
[ ]goboard9__868_33.min1.thm12017-02-06 12:46 759  
[ ]goboard9__282_19.min1.thm12017-02-06 12:46 2.5K 
[ ]goboard9__1181_21.min1.thm12017-02-06 12:46 1.4K 
[ ]goboard9__74_17.min1.thm12017-02-06 12:46 1.3K 
[ ]goboard9__430_16.min1.thm12017-02-06 12:46 3.7K 
[ ]goboard9__94_40.min1.thm12017-02-06 12:46 488  
[ ]goboard9__92_36.min1.thm12017-02-06 12:46 1.7K 
[ ]goboard9__292_14.min1.thm12017-02-06 12:46 855  
[ ]goboard9__182_48.min1.thm12017-02-06 12:46 1.6K 
[ ]goboard9__123_18.min1.thm12017-02-06 12:46 652  
[ ]goboard9__529_14.min1.thm12017-02-06 12:46 2.4K 
[ ]goboard9__669_19.min1.thm12017-02-06 12:46 787  
[ ]goboard9__98_22.min1.thm12017-02-06 12:46 1.1K 
[ ]goboard9__1167_33.min1.thm12017-02-06 12:46 2.5K 
[ ]goboard9__1135_25.min1.thm12017-02-06 12:46 1.5K 
[ ]goboard9__1642_24.min1.thm12017-02-06 12:46 1.0K 
[ ]goboard9__381_31.min1.thm12017-02-06 12:46 1.5K 
[ ]goboard9__255_19.min1.thm12017-02-06 12:46 925  
[ ]goboard9__647_16.min1.thm12017-02-06 12:46 1.1K 
[ ]goboard9__1565_24.min1.thm12017-02-06 12:46 1.0K 
[ ]goboard9__2129_17.min1.thm12017-02-06 12:46 2.2K 
[ ]goboard9__127_4.min1.thm12017-02-06 12:46 1.0K 
[ ]goboard9__254_20.min1.thm12017-02-06 12:46 563  
[ ]goboard9__416_24.min1.thm12017-02-06 12:46 3.3K 
[ ]goboard9__2121_22.min1.thm12017-02-06 12:46 1.6K 
[ ]goboard9__1161_21.min1.thm12017-02-06 12:46 1.4K 
[ ]goboard9__425_64.min1.thm12017-02-06 12:46 1.1K 
[ ]goboard9__1832_25.min1.thm12017-02-06 12:46 1.5K 
[ ]goboard9__253_48.min1.thm12017-02-06 12:46 1.2K 
[ ]goboard9__697_19.min1.thm12017-02-06 12:46 632  
[ ]goboard9__1688_21.min1.thm12017-02-06 12:46 1.4K 
[ ]goboard9__179_31.min1.thm12017-02-06 12:46 662  
[ ]goboard9__503_27.min1.thm12017-02-06 12:46 2.4K 
[ ]goboard9__293_21.min1.thm12017-02-06 12:46 1.0K 
[ ]goboard9__488_56.min1.thm12017-02-06 12:46 1.5K 
[ ]goboard9__196_15.min1.thm12017-02-06 12:46 847  
[ ]goboard9__1099_21.min1.thm12017-02-06 12:46 1.4K 
[ ]goboard9__60_17.min1.thm12017-02-06 12:46 1.5K 
[ ]goboard9__880_44.min1.thm12017-02-06 12:46 3.1K 
[ ]goboard9__696_57.min1.thm12017-02-06 12:46 1.4K 
[ ]goboard9__1844_26.min1.thm12017-02-06 12:46 1.3K 
[ ]goboard9__341_22.min1.thm12017-02-06 12:46 2.2K 
[ ]goboard9__1562_26.min1.thm12017-02-06 12:46 1.3K 
[ ]goboard9__904_27.min1.thm12017-02-06 12:46 2.0K 
[ ]goboard9__1831_24.min1.thm12017-02-06 12:46 1.0K 
[ ]goboard9__1122_29.min1.thm12017-02-06 12:46 1.9K 
[ ]goboard9__581_16.min1.thm12017-02-06 12:46 1.1K 
[ ]goboard9__56_63.min1.thm12017-02-06 12:46 1.0K 
[ ]goboard9__215_24.min1.thm12017-02-06 12:46 1.5K 
[ ]goboard9__684_19.min1.thm12017-02-06 12:46 927  
[ ]goboard9__88_26.min1.thm12017-02-06 12:46 938  
[ ]goboard9__620_18.min1.thm12017-02-06 12:46 1.9K 
[ ]goboard9__87_20.min1.thm12017-02-06 12:46 836  
[ ]goboard9__2141_50.min1.thm12017-02-06 12:46 900  
[ ]goboard9__238_22.min1.thm12017-02-06 12:46 1.1K 
[ ]goboard9__693_19.min1.thm12017-02-06 12:46 664  
[ ]goboard9__291_64.min1.thm12017-02-06 12:46 1.4K 
[ ]goboard9__2134_34.min1.thm12017-02-06 12:46 2.8K 
[ ]goboard9__473_13.min1.thm12017-02-06 12:46 1.8K 
[ ]goboard9__683_6.min1.thm12017-02-06 12:46 3.3K 
[ ]goboard9__1707_26.min1.thm12017-02-06 12:46 1.3K 
[ ]goboard9__917_23.min1.thm12017-02-06 12:46 2.5K 
[ ]goboard9__808_24.min1.thm12017-02-06 12:46 3.2K 
[ ]goboard9__879_44.min1.thm12017-02-06 12:46 3.1K 
[ ]goboard9__835_19.min1.thm12017-02-06 12:46 1.4K 
[ ]goboard9__2130_19.min1.thm12017-02-06 12:46 3.1K 
[ ]goboard9__95_22.min1.thm12017-02-06 12:46 680  
[ ]goboard9__857_26.min1.thm12017-02-06 12:46 2.5K 
[ ]goboard9__888_20.min1.thm12017-02-06 12:46 1.3K 
[ ]goboard9__397_22.min1.thm12017-02-06 12:46 1.7K 
[ ]goboard9__302_21.min1.thm12017-02-06 12:46 2.9K 
[ ]goboard9__911_24.min1.thm12017-02-06 12:46 844  
[ ]goboard9__674_19.min1.thm12017-02-06 12:46 895  
[ ]goboard9__853_26.min1.thm12017-02-06 12:46 2.5K 
[ ]goboard9__73_16.min1.thm12017-02-06 12:46 895  
[ ]goboard9__923_15.min1.thm12017-02-06 12:46 1.0K 
[ ]goboard9__419_14.min1.thm12017-02-06 12:46 2.4K 
[ ]goboard9__871_61.min1.thm12017-02-06 12:46 1.7K 
[ ]goboard9__1558_21.min1.thm12017-02-06 12:46 1.4K 
[ ]goboard9__243_15.min1.thm12017-02-06 12:46 566  
[ ]goboard9__679_19.min1.thm12017-02-06 12:46 927  
[ ]goboard9__269_17.min1.thm12017-02-06 12:46 1.8K 
[ ]goboard9__717_17.min1.thm12017-02-06 12:46 1.9K 
[ ]goboard9__920_25.min1.thm12017-02-06 12:46 2.6K 
[ ]goboard9__1643_26.min1.thm12017-02-06 12:46 1.3K 
[ ]goboard9__1882_21.min1.thm12017-02-06 12:46 1.4K 
[ ]goboard9__118_45.min1.thm12017-02-06 12:46 835  
[ ]goboard9__1505_24.min1.thm12017-02-06 12:46 1.0K 
[ ]goboard9__782_18.min1.thm12017-02-06 12:46 2.9K 
[ ]goboard9__410_24.min1.thm12017-02-06 12:46 3.3K 
[ ]goboard9__726_24.min1.thm12017-02-06 12:46 1.7K 
[ ]goboard9__1504_24.min1.thm12017-02-06 12:46 1.0K 
[ ]goboard9__1639_26.min1.thm12017-02-06 12:46 1.3K 
[ ]goboard9__279_27.min1.thm12017-02-06 12:46 2.3K 
[ ]goboard9__229_31.min1.thm12017-02-06 12:46 629  
[ ]goboard9__479_12.min1.thm12017-02-06 12:46 2.4K 
[ ]goboard9__267_17.min1.thm12017-02-06 12:46 833  
[ ]goboard9__231_22.min1.thm12017-02-06 12:46 1.1K 
[ ]goboard9__89_39.min1.thm12017-02-06 12:46 665  
[ ]goboard9__164_38.min1.thm12017-02-06 12:46 1.4K 
[ ]goboard9__2087_21.min1.thm12017-02-06 12:46 1.4K 
[ ]goboard9__295_21.min1.thm12017-02-06 12:46 1.6K 
[ ]goboard9__71_41.min1.thm12017-02-06 12:46 770  
[ ]goboard9__491_14.min1.thm12017-02-06 12:46 3.6K 
[ ]goboard9__510_27.min1.thm12017-02-06 12:46 2.4K 
[ ]goboard9__918_25.min1.thm12017-02-06 12:46 2.6K 
[ ]goboard9__424_20.min1.thm12017-02-06 12:46 1.9K 
[ ]goboard9__894_22.min1.thm12017-02-06 12:46 446  
[ ]goboard9__385_19.min1.thm12017-02-06 12:46 3.0K 
[ ]goboard9__407_15.min1.thm12017-02-06 12:46 1.8K 
[ ]goboard9__830_23.min1.thm12017-02-06 12:46 2.5K 
[ ]goboard9__426_29.min1.thm12017-02-06 12:46 753  
[ ]goboard9__1120_21.min1.thm12017-02-06 12:46 1.4K 
[ ]goboard9__819_8.min1.thm12017-02-06 12:46 561  
[ ]goboard9__828_18.min1.thm12017-02-06 12:46 1.0K 
[ ]goboard9__2159_33.min1.thm12017-02-06 12:46 836  
[ ]goboard9__86_13.min1.thm12017-02-06 12:46 375  
[ ]goboard9__873_44.min1.thm12017-02-06 12:46 2.8K 
[ ]goboard9__252_17.min1.thm12017-02-06 12:46 364  
[ ]goboard9__876_61.min1.thm12017-02-06 12:46 1.7K 
[ ]goboard9__59_4.min1.thm12017-02-06 12:46 1.0K 
[ ]goboard9__184_24.min1.thm12017-02-06 12:46 1.5K 
[ ]goboard9__689_19.min1.thm12017-02-06 12:46 895  
[ ]goboard9__1902_26.min1.thm12017-02-06 12:46 1.3K 
[ ]goboard9__117_14.min1.thm12017-02-06 12:46 294  
[ ]goboard9__547_18.min1.thm12017-02-06 12:46 1.8K 
[ ]goboard9__907_27.min1.thm12017-02-06 12:46 2.0K 
[ ]goboard9__902_18.min1.thm12017-02-06 12:46 2.4K 
[ ]goboard9__2113_20.min1.thm12017-02-06 12:46 438  
[ ]goboard9__116_14.min1.thm12017-02-06 12:46 385  
[ ]goboard9__318_19.min1.thm12017-02-06 12:46 2.9K 
[ ]goboard9__251_17.min1.thm12017-02-06 12:46 277  
[ ]goboard9__846_21.min1.thm12017-02-06 12:46 2.1K 
[ ]goboard9__2005_31.min1.thm12017-02-06 12:46 2.3K 
[ ]goboard9__71_33.min1.thm12017-02-06 12:46 872  
[ ]goboard9__856_18.min1.thm12017-02-06 12:46 2.4K 
[ ]goboard9__268_17.min1.thm12017-02-06 12:46 1.8K 
[ ]goboard9__795_24.min1.thm12017-02-06 12:46 3.2K 
[ ]goboard9__351_14.min1.thm12017-02-06 12:46 2.8K 
[ ]goboard9__1566_26.min1.thm12017-02-06 12:46 1.3K 
[ ]goboard9__195_38.min1.thm12017-02-06 12:46 1.4K 
[ ]goboard9__769_24.min1.thm12017-02-06 12:46 1.7K 
[ ]goboard9__454_24.min1.thm12017-02-06 12:46 1.7K 
[ ]goboard9__959_21.min1.thm12017-02-06 12:46 1.4K 
[ ]goboard9__210_31.min1.thm12017-02-06 12:46 662  
[ ]goboard9__333_49.min1.thm12017-02-06 12:46 1.8K 
[ ]goboard9__919_25.min1.thm12017-02-06 12:46 2.6K 
[ ]goboard9__236_31.min1.thm12017-02-06 12:46 629  
[ ]goboard9__455_15.min1.thm12017-02-06 12:46 900  
[ ]goboard9__2128_46.min1.thm12017-02-06 12:46 1.4K 
[ ]goboard9__213_48.min1.thm12017-02-06 12:46 1.6K 
[ ]goboard9__400_24.min1.thm12017-02-06 12:46 1.8K 
[ ]goboard9__785_32.min1.thm12017-02-06 12:46 3.0K 
[ ]goboard9__854_18.min1.thm12017-02-06 12:46 2.4K 
[ ]goboard9__1710_26.min1.thm12017-02-06 12:46 1.3K 
[ ]goboard9__93_32.min1.thm12017-02-06 12:46 1.6K 
[ ]goboard9__623_64.min1.thm12017-02-06 12:46 685  
[ ]goboard9__568_28.min1.thm12017-02-06 12:46 831  
[ ]goboard9__2142_17.min1.thm12017-02-06 12:46 2.3K 
[ ]goboard9__1886_31.min1.thm12017-02-06 12:46 2.3K 
[ ]goboard9__1999_21.min1.thm12017-02-06 12:46 1.4K 
[ ]goboard9__90_50.min1.thm12017-02-06 12:46 1.2K 
[ ]goboard9__1561_31.min1.thm12017-02-06 12:46 2.3K 
[ ]goboard9__99_24.min1.thm12017-02-06 12:46 1.4K 
[ ]goboard9__166_19.min1.thm12017-02-06 12:46 1.3K 
[ ]goboard9__466_29.min1.thm1.tptp2017-02-06 16:47 674  
[ ]goboard9__294_29.min1.thm1.tptp2017-02-06 16:47 646  
[ ]goboard9__705_19.min1.thm1.tptp2017-02-06 16:47 573  
[ ]goboard9__701_19.min1.thm1.tptp2017-02-06 16:47 573  
[ ]goboard9__868_33.min1.thm1.tptp2017-02-06 16:47 683  
[ ]goboard9__669_19.min1.thm1.tptp2017-02-06 16:47 701  
[ ]goboard9__697_19.min1.thm1.tptp2017-02-06 16:47 546  
[ ]goboard9__693_19.min1.thm1.tptp2017-02-06 16:47 578  
[ ]goboard9__911_24.min1.thm1.tptp2017-02-06 16:47 761  
[ ]goboard9__243_15.min1.thm1.tptp2017-02-06 16:47 491  
[ ]goboard9__267_17.min1.thm1.tptp2017-02-06 16:47 797  
[ ]goboard9__426_29.min1.thm1.tptp2017-02-06 16:47 677  
[ ]goboard9__2159_33.min1.thm1.tptp2017-02-06 16:47 759  
[ ]goboard9__86_13.min1.thm1.tptp2017-02-06 16:47 298  
[ ]goboard9__252_17.min1.thm1.tptp2017-02-06 16:47 314  
[ ]goboard9__117_14.min1.thm1.tptp2017-02-06 16:47 208  
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80