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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]sgraph1__41_37.min1.thm12017-02-06 12:44 689  
[ ]sgraph1__43_16.min1.thm12017-02-06 12:44 819  
[ ]sgraph1__68_10.min1.thm12017-02-06 12:44 699  
[ ]sgraph1__70_17.min1.thm12017-02-06 12:44 201  
[ ]sgraph1__73_26.min1.thm12017-02-06 12:44 353  
[ ]sgraph1__73_26.min1.thm1.tptp2017-02-06 16:47 288  
[ ]sgraph1__74_38.min1.thm12017-02-06 12:44 535  
[ ]sgraph1__79_30.min1.thm12017-02-06 12:44 1.5K 
[ ]sgraph1__80_40.min1.thm12017-02-06 12:44 463  
[ ]sgraph1__80_40.min1.thm1.tptp2017-02-06 16:47 401  
[ ]sgraph1__83_33.min1.thm12017-02-06 12:44 350  
[ ]sgraph1__86_29.min1.thm12017-02-06 12:44 521  
[ ]sgraph1__86_29.min1.thm1.tptp2017-02-06 16:47 457  
[ ]sgraph1__87_17.min1.thm12017-02-06 12:44 635  
[ ]sgraph1__88_31.min1.thm12017-02-06 12:44 734  
[ ]sgraph1__89_19.min1.thm12017-02-06 12:44 734  
[ ]sgraph1__110_10.min1.thm12017-02-06 12:46 699  
[ ]sgraph1__112_17.min1.thm12017-02-06 12:44 201  
[ ]sgraph1__115_26.min1.thm12017-02-06 12:44 353  
[ ]sgraph1__115_26.min1.thm1.tptp2017-02-06 16:47 288  
[ ]sgraph1__116_38.min1.thm12017-02-06 12:44 535  
[ ]sgraph1__121_30.min1.thm12017-02-06 12:44 1.5K 
[ ]sgraph1__122_40.min1.thm12017-02-06 12:44 463  
[ ]sgraph1__122_40.min1.thm1.tptp2017-02-06 16:47 401  
[ ]sgraph1__125_33.min1.thm12017-02-06 12:44 350  
[ ]sgraph1__127_30.min1.thm12017-02-06 12:44 521  
[ ]sgraph1__127_30.min1.thm1.tptp2017-02-06 16:47 457  
[ ]sgraph1__128_16.min1.thm12017-02-06 12:44 1.2K 
[ ]sgraph1__134_52.min1.thm12017-02-06 12:44 1.3K 
[ ]sgraph1__142_55.min1.thm12017-02-06 12:44 1.3K 
[ ]sgraph1__143_21.min1.thm12017-02-06 12:44 356  
[ ]sgraph1__146_14.min1.thm12017-02-06 12:44 1.2K 
[ ]sgraph1__157_43.min1.thm12017-02-06 12:44 697  
[ ]sgraph1__158_22.min1.thm12017-02-06 12:44 809  
[ ]sgraph1__159_32.min1.thm12017-02-06 12:44 1.4K 
[ ]sgraph1__162_34.min1.thm12017-02-06 12:44 421  
[ ]sgraph1__162_34.min1.thm1.tptp2017-02-06 16:47 357  
[ ]sgraph1__166_55.min1.thm12017-02-06 12:44 1.3K 
[ ]sgraph1__167_23.min1.thm12017-02-06 12:44 695  
[ ]sgraph1__169_37.min1.thm12017-02-06 12:44 421  
[ ]sgraph1__169_37.min1.thm1.tptp2017-02-06 16:47 357  
[ ]sgraph1__170_17.min1.thm12017-02-06 12:44 470  
[ ]sgraph1__185_8.min1.thm12017-02-06 12:44 1.2K 
[ ]sgraph1__186_11.min1.thm12017-02-06 12:44 1.0K 
[ ]sgraph1__187_23.min1.thm12017-02-06 12:44 837  
[ ]sgraph1__189_17.min1.thm12017-02-06 12:44 437  
[ ]sgraph1__189_17.min1.thm1.tptp2017-02-06 16:47 373  
[ ]sgraph1__202_34.min1.thm12017-02-06 12:46 1.7K 
[ ]sgraph1__204_50.min1.thm12017-02-06 12:44 1.2K 
[ ]sgraph1__205_19.min1.thm12017-02-06 12:44 1.6K 
[ ]sgraph1__206_58.min1.thm12017-02-06 12:44 587  
[ ]sgraph1__209_46.min1.thm12017-02-06 12:44 535  
[ ]sgraph1__209_46.min1.thm1.tptp2017-02-06 16:47 471  
[ ]sgraph1__210_42.min1.thm12017-02-06 12:44 720  
[ ]sgraph1__211_17.min1.thm12017-02-06 12:44 1.6K 
[ ]sgraph1__223_55.min1.thm12017-02-06 12:44 1.2K 
[ ]sgraph1__226_17.min1.thm12017-02-06 12:44 414  
[ ]sgraph1__241_18.min1.thm12017-02-06 12:44 479  
[ ]sgraph1__241_18.min1.thm1.tptp2017-02-06 16:47 417  
[ ]sgraph1__244_20.min1.thm12017-02-06 12:44 749  
[ ]sgraph1__248_23.min1.thm12017-02-06 12:44 433  
[ ]sgraph1__251_16.min1.thm12017-02-06 12:44 244  
[ ]sgraph1__253_14.min1.thm12017-02-06 12:44 421  
[ ]sgraph1__253_14.min1.thm1.tptp2017-02-06 16:47 343  
[ ]sgraph1__262_11.min1.thm12017-02-06 12:44 130  
[ ]sgraph1__267_50.min1.thm12017-02-06 12:46 490  
[ ]sgraph1__267_50.min1.thm1.tptp2017-02-06 16:47 449  
[ ]sgraph1__277_53.min1.thm12017-02-06 12:44 562  
[ ]sgraph1__278_46.min1.thm12017-02-06 12:44 354  
[ ]sgraph1__279_35.min1.thm12017-02-06 12:44 354  
[ ]sgraph1__282_15.min1.thm12017-02-06 12:44 719  
[ ]sgraph1__284_24.min1.thm12017-02-06 12:44 564  
[ ]sgraph1__285_25.min1.thm12017-02-06 12:44 867  
[ ]sgraph1__286_26.min1.thm12017-02-06 12:44 602  
[ ]sgraph1__295_14.min1.thm12017-02-06 12:44 532  
[ ]sgraph1__295_14.min1.thm1.tptp2017-02-06 16:47 482  
[ ]sgraph1__296_48.min1.thm12017-02-06 12:44 866  
[ ]sgraph1__300_16.min1.thm12017-02-06 12:44 333  
[ ]sgraph1__300_16.min1.thm1.tptp2017-02-06 16:47 251  
[ ]sgraph1__301_18.min1.thm12017-02-06 12:44 398  
[ ]sgraph1__303_14.min1.thm12017-02-06 12:44 560  
[ ]sgraph1__313_35.min1.thm12017-02-06 12:44 509  
[ ]sgraph1__313_35.min1.thm1.tptp2017-02-06 16:47 447  
[ ]sgraph1__314_23.min1.thm12017-02-06 12:44 468  
[ ]sgraph1__316_17.min1.thm12017-02-06 12:44 415  
[ ]sgraph1__316_17.min1.thm1.tptp2017-02-06 16:47 351  
[ ]sgraph1__328_22.min1.thm12017-02-06 12:46 582  
[ ]sgraph1__328_22.min1.thm1.tptp2017-02-06 16:47 532  
[ ]sgraph1__329_14.min1.thm12017-02-06 12:44 706  
[ ]sgraph1__332_36.min1.thm12017-02-06 12:44 466  
[ ]sgraph1__334_6.min1.thm12017-02-06 12:44 560  
[ ]sgraph1__334_6.min1.thm1.tptp2017-02-06 16:47 510  
[ ]sgraph1__339_19.min1.thm12017-02-06 12:44 494  
[ ]sgraph1__339_19.min1.thm1.tptp2017-02-06 16:47 410  
[ ]sgraph1__343_19.min1.thm12017-02-06 12:46 494  
[ ]sgraph1__343_19.min1.thm1.tptp2017-02-06 16:47 410  
[ ]sgraph1__347_36.min1.thm12017-02-06 12:44 466  
[ ]sgraph1__349_74.min1.thm12017-02-06 12:44 560  
[ ]sgraph1__349_74.min1.thm1.tptp2017-02-06 16:47 510  
[ ]sgraph1__367_14.min1.thm12017-02-06 12:44 562  
[ ]sgraph1__379_33.min1.thm12017-02-06 12:44 499  
[ ]sgraph1__379_33.min1.thm1.tptp2017-02-06 16:47 437  
[ ]sgraph1__381_30.min1.thm12017-02-06 12:44 594  
[ ]sgraph1__382_61.min1.thm12017-02-06 12:44 530  
[ ]sgraph1__382_61.min1.thm1.tptp2017-02-06 16:47 480  
[ ]sgraph1__383_17.min1.thm12017-02-06 12:44 1.6K 
[ ]sgraph1__387_61.min1.thm12017-02-06 12:46 428  
[ ]sgraph1__394_13.min1.thm12017-02-06 12:44 381  
[ ]sgraph1__395_48.min1.thm12017-02-06 12:44 323  
[ ]sgraph1__395_48.min1.thm1.tptp2017-02-06 16:47 239  
[ ]sgraph1__396_30.min1.thm12017-02-06 12:44 401  
[ ]sgraph1__396_30.min1.thm1.tptp2017-02-06 16:47 318  
[ ]sgraph1__398_20.min1.thm12017-02-06 12:44 379  
[ ]sgraph1__398_20.min1.thm1.tptp2017-02-06 16:47 302  
[ ]sgraph1__399_17.min1.thm12017-02-06 12:44 520  
[ ]sgraph1__401_11.min1.thm12017-02-06 12:44 335  
[ ]sgraph1__401_11.min1.thm1.tptp2017-02-06 16:47 267  
[ ]sgraph1__402_15.min1.thm12017-02-06 12:44 963  
[ ]sgraph1__403_17.min1.thm12017-02-06 12:44 1.7K 
[ ]sgraph1__417_16.min1.thm12017-02-06 12:44 571  
[ ]sgraph1__417_16.min1.thm1.tptp2017-02-06 16:47 521  
[ ]sgraph1__418_12.min1.thm12017-02-06 12:44 339  
[ ]sgraph1__418_12.min1.thm1.tptp2017-02-06 16:47 274  
[ ]sgraph1__419_13.min1.thm12017-02-06 12:44 339  
[ ]sgraph1__419_13.min1.thm1.tptp2017-02-06 16:47 274  
[ ]sgraph1__422_17.min1.thm12017-02-06 12:44 412  
[ ]sgraph1__461_11.min1.thm12017-02-06 12:44 130  
[ ]sgraph1__467_47.min1.thm12017-02-06 12:44 486  
[ ]sgraph1__469_3.min1.thm12017-02-06 12:44 662  
[ ]sgraph1__472_16.min1.thm12017-02-06 12:44 927  
[ ]sgraph1__473_14.min1.thm12017-02-06 12:44 552  
[ ]sgraph1__479_14.min1.thm12017-02-06 12:44 365  
[ ]sgraph1__479_14.min1.thm1.tptp2017-02-06 16:47 288  
[ ]sgraph1__490_18.min1.thm12017-02-06 12:44 427  
[ ]sgraph1__490_18.min1.thm1.tptp2017-02-06 16:47 352  
[ ]sgraph1__506_36.min1.thm12017-02-06 12:44 478  
[ ]sgraph1__509_37.min1.thm12017-02-06 12:44 848  
[ ]sgraph1__510_31.min1.thm12017-02-06 12:46 932  
[ ]sgraph1__511_13.min1.thm12017-02-06 12:44 589  
[ ]sgraph1__517_25.min1.thm12017-02-06 12:44 1.1K 
[ ]sgraph1__521_74.min1.thm12017-02-06 12:44 1.0K 
[ ]sgraph1__530_36.min1.thm12017-02-06 12:44 478  
[ ]sgraph1__533_37.min1.thm12017-02-06 12:44 848  
[ ]sgraph1__534_14.min1.thm12017-02-06 12:44 1.1K 
[ ]sgraph1__573_37.min1.thm12017-02-06 12:44 690  
[ ]sgraph1__574_48.min1.thm12017-02-06 12:44 821  
[ ]sgraph1__575_32.min1.thm12017-02-06 12:44 407  
[ ]sgraph1__575_32.min1.thm1.tptp2017-02-06 16:47 333  
[ ]sgraph1__576_11.min1.thm12017-02-06 12:44 188  
[ ]sgraph1__579_45.min1.thm12017-02-06 12:44 1.2K 
[ ]sgraph1__580_19.min1.thm12017-02-06 12:44 1.4K 
[ ]sgraph1__584_44.min1.thm12017-02-06 12:44 226  
[ ]sgraph1__589_33.min1.thm12017-02-06 12:44 553  
[ ]sgraph1__591_28.min1.thm12017-02-06 12:44 1.1K 
[ ]sgraph1__592_48.min1.thm12017-02-06 12:44 972  
[ ]sgraph1__595_37.min1.thm12017-02-06 12:44 2.2K 
[ ]sgraph1__596_24.min1.thm12017-02-06 12:44 1.5K 
[ ]sgraph1__598_15.min1.thm12017-02-06 12:44 536  
[ ]sgraph1__603_15.min1.thm12017-02-06 12:44 234  
[ ]sgraph1__609_36.min1.thm12017-02-06 12:44 734  
[ ]sgraph1__610_47.min1.thm12017-02-06 12:44 598  
[ ]sgraph1__614_64.min1.thm12017-02-06 12:44 345  
[ ]sgraph1__614_64.min1.thm1.tptp2017-02-06 16:47 265  
[ ]sgraph1__621_64.min1.thm12017-02-06 12:44 575  
[ ]sgraph1__623_39.min1.thm12017-02-06 12:46 628  
[ ]sgraph1__624_51.min1.thm12017-02-06 12:44 1.3K 
[ ]sgraph1__625_52.min1.thm12017-02-06 12:44 1.0K 
[ ]sgraph1__626_17.min1.thm12017-02-06 12:44 884  
[ ]sgraph1__630_12.min1.thm12017-02-06 12:44 2.3K 
[ ]sgraph1__631_31.min1.thm12017-02-06 12:44 2.4K 
[ ]sgraph1__637_40.min1.thm12017-02-06 12:44 683  
[ ]sgraph1__638_25.min1.thm12017-02-06 12:44 606  
[ ]sgraph1__643_78.min1.thm12017-02-06 12:44 695  
[ ]sgraph1__643_78.min1.thm1.tptp2017-02-06 16:47 649  
[ ]sgraph1__647_56.min1.thm12017-02-06 12:44 1.5K 
[ ]sgraph1__648_19.min1.thm12017-02-06 12:44 1.2K 
[ ]sgraph1__664_41.min1.thm12017-02-06 12:44 1.2K 
[ ]sgraph1__665_13.min1.thm12017-02-06 12:44 506  
[ ]sgraph1__680_37.min1.thm12017-02-06 12:44 764  
[ ]sgraph1__681_24.min1.thm12017-02-06 12:44 819  
[ ]sgraph1__682_33.min1.thm12017-02-06 12:44 690  
[ ]sgraph1__684_14.min1.thm12017-02-06 12:44 913  
[ ]sgraph1__699_37.min1.thm12017-02-06 12:44 764  
[ ]sgraph1__700_62.min1.thm12017-02-06 12:44 1.1K 
[ ]sgraph1__701_45.min1.thm12017-02-06 12:44 550  
[ ]sgraph1__701_45.min1.thm1.tptp2017-02-06 16:47 476  
[ ]sgraph1__702_41.min1.thm12017-02-06 12:44 1.1K 
[ ]sgraph1__709_18.min1.thm12017-02-06 12:44 539  
[ ]sgraph1__709_18.min1.thm1.tptp2017-02-06 16:47 477  
[ ]sgraph1__712_36.min1.thm12017-02-06 12:44 842  
[ ]sgraph1__717_20.min1.thm12017-02-06 12:44 405  
[ ]sgraph1__717_20.min1.thm1.tptp2017-02-06 16:47 340  
[ ]sgraph1__718_32.min1.thm12017-02-06 12:44 682  
[ ]sgraph1__719_39.min1.thm12017-02-06 12:44 911  
[ ]sgraph1__722_18.min1.thm12017-02-06 12:44 1.2K 
[ ]sgraph1__724_77.min1.thm12017-02-06 12:44 687  
[ ]sgraph1__724_77.min1.thm1.tptp2017-02-06 16:47 609  
[ ]sgraph1__725_47.min1.thm12017-02-06 12:44 761  
[ ]sgraph1__726_14.min1.thm12017-02-06 12:44 799  
[ ]sgraph1__752_72.min1.thm12017-02-06 12:44 343  
[ ]sgraph1__756_63.min1.thm12017-02-06 12:44 894  
[ ]sgraph1__777_25.min1.thm12017-02-06 12:44 515  
[ ]sgraph1__777_25.min1.thm1.tptp2017-02-06 16:47 441  
[ ]sgraph1__793_16.min1.thm12017-02-06 12:44 583  
[ ]sgraph1__793_16.min1.thm1.tptp2017-02-06 16:47 533  
[ ]sgraph1__794_32.min1.thm12017-02-06 12:44 560  
[ ]sgraph1__794_32.min1.thm1.tptp2017-02-06 16:47 486  
[ ]sgraph1__799_18.min1.thm12017-02-06 12:44 631  
[ ]sgraph1__799_18.min1.thm1.tptp2017-02-06 16:47 549  
[ ]sgraph1__804_54.min1.thm12017-02-06 12:44 1.2K 
[ ]sgraph1__807_17.min1.thm12017-02-06 12:44 359  
[ ]sgraph1__807_17.min1.thm1.tptp2017-02-06 16:47 278  
[ ]sgraph1__812_67.min1.thm12017-02-06 12:44 369  
[ ]sgraph1__812_67.min1.thm1.tptp2017-02-06 16:47 308  
[ ]sgraph1__827_11.min1.thm12017-02-06 12:44 417  
[ ]sgraph1__827_11.min1.thm1.tptp2017-02-06 16:47 342  
[ ]sgraph1__860_21.min1.thm12017-02-06 12:46 427  
[ ]sgraph1__860_21.min1.thm1.tptp2017-02-06 16:47 350  
[ ]sgraph1__862_34.min1.thm12017-02-06 12:44 482  
[ ]sgraph1__862_34.min1.thm1.tptp2017-02-06 16:47 408  
[ ]sgraph1__863_38.min1.thm12017-02-06 12:44 531  
[ ]sgraph1__865_18.min1.thm12017-02-06 12:44 531  
[ ]sgraph1__865_18.min1.thm1.tptp2017-02-06 16:47 469  
[ ]sgraph1__882_43.min1.thm12017-02-06 12:44 476  
[ ]sgraph1__882_43.min1.thm1.tptp2017-02-06 16:47 399  
[ ]sgraph1__883_21.min1.thm12017-02-06 12:44 476  
[ ]sgraph1__883_21.min1.thm1.tptp2017-02-06 16:47 399  
[ ]sgraph1__889_43.min1.thm12017-02-06 12:44 476  
[ ]sgraph1__889_43.min1.thm1.tptp2017-02-06 16:47 399  
[ ]sgraph1__890_21.min1.thm12017-02-06 12:44 476  
[ ]sgraph1__890_21.min1.thm1.tptp2017-02-06 16:47 399  
[ ]sgraph1__892_19.min1.thm12017-02-06 12:44 592  
[ ]sgraph1__915_22.min1.thm12017-02-06 12:44 910  
[ ]sgraph1__916_64.min1.thm12017-02-06 12:44 473  
[ ]sgraph1__922_49.min1.thm12017-02-06 12:44 554  
[ ]sgraph1__922_49.min1.thm1.tptp2017-02-06 16:47 480  
[ ]sgraph1__923_21.min1.thm12017-02-06 12:44 1.1K 
[ ]sgraph1__930_19.min1.thm12017-02-06 12:44 529  
[ ]sgraph1__930_19.min1.thm1.tptp2017-02-06 16:47 452  
[ ]sgraph1__932_33.min1.thm12017-02-06 12:44 479  
[ ]sgraph1__932_33.min1.thm1.tptp2017-02-06 16:47 405  
[ ]sgraph1__933_37.min1.thm12017-02-06 12:44 603  
[ ]sgraph1__957_23.min1.thm12017-02-06 12:44 631  
[ ]sgraph1__958_17.min1.thm12017-02-06 12:44 460  
[ ]sgraph1__959_29.min1.thm12017-02-06 12:44 570  
[ ]sgraph1__960_15.min1.thm12017-02-06 12:44 410  
[ ]sgraph1__960_15.min1.thm1.tptp2017-02-06 16:47 340  
[ ]sgraph1__961_34.min1.thm12017-02-06 12:44 733  
[ ]sgraph1__962_17.min1.thm12017-02-06 12:44 570  
[ ]sgraph1__965_38.min1.thm12017-02-06 12:44 461  
[ ]sgraph1__965_38.min1.thm1.tptp2017-02-06 16:47 384  
[ ]sgraph1__967_16.min1.thm12017-02-06 12:44 1.0K 
[ ]sgraph1__970_27.min1.thm12017-02-06 12:44 732  
[ ]sgraph1__971_17.min1.thm12017-02-06 12:44 460  
[ ]sgraph1__972_29.min1.thm12017-02-06 12:44 570  
[ ]sgraph1__973_19.min1.thm12017-02-06 12:46 436  
[ ]sgraph1__973_19.min1.thm1.tptp2017-02-06 16:47 366  
[ ]sgraph1__974_21.min1.thm12017-02-06 12:44 493  
[ ]sgraph1__975_28.min1.thm12017-02-06 12:44 867  
[ ]sgraph1__976_14.min1.thm12017-02-06 12:44 384  
[ ]sgraph1__976_14.min1.thm1.tptp2017-02-06 16:47 314  
[ ]sgraph1__987_28.min1.thm12017-02-06 12:44 768  
[ ]sgraph1__988_15.min1.thm12017-02-06 12:44 416  
[ ]sgraph1__988_15.min1.thm1.tptp2017-02-06 16:47 346  
[ ]sgraph1__989_37.min1.thm12017-02-06 12:44 484  
[ ]sgraph1__989_37.min1.thm1.tptp2017-02-06 16:47 398  
[ ]sgraph1__996_34.min1.thm12017-02-06 12:44 780  
[ ]sgraph1__997_51.min1.thm12017-02-06 12:46 556  
[ ]sgraph1__997_51.min1.thm1.tptp2017-02-06 16:47 482  
[ ]sgraph1__998_44.min1.thm12017-02-06 12:44 539  
[ ]sgraph1__1000_15.min1.thm12017-02-06 12:44 925  
[ ]sgraph1__1010_31.min1.thm12017-02-06 12:44 407  
[ ]sgraph1__1010_31.min1.thm1.tptp2017-02-06 16:47 330  
[ ]sgraph1__1011_15.min1.thm12017-02-06 12:44 395  
[ ]sgraph1__1011_15.min1.thm1.tptp2017-02-06 16:47 318  
[ ]sgraph1__1018_20.min1.thm12017-02-06 12:44 1.2K 
[ ]sgraph1__1019_20.min1.thm12017-02-06 12:44 505  
[ ]sgraph1__1023_24.min1.thm12017-02-06 12:44 546  
[ ]sgraph1__1028_42.min1.thm12017-02-06 12:44 290  
[ ]sgraph1__1029_24.min1.thm12017-02-06 12:44 473  
[ ]sgraph1__1034_13.min1.thm12017-02-06 12:44 358  
[ ]sgraph1__1036_21.min1.thm12017-02-06 12:44 795  
[ ]sgraph1__1037_21.min1.thm12017-02-06 12:46 880  
[ ]sgraph1__1045_19.min1.thm12017-02-06 12:44 307  
[ ]sgraph1__1046_35.min1.thm12017-02-06 12:46 627  
[ ]sgraph1__1047_25.min1.thm12017-02-06 12:44 566  
[ ]sgraph1__1048_21.min1.thm12017-02-06 12:44 832  
[ ]sgraph1__1052_17.min1.thm12017-02-06 12:44 1.0K 
[ ]sgraph1__1061_49.min1.thm12017-02-06 12:44 479  
[ ]sgraph1__1061_49.min1.thm1.tptp2017-02-06 16:47 405  
[ ]sgraph1__1071_6.min1.thm12017-02-06 12:44 1.1K 
[ ]sgraph1__1072_16.min1.thm12017-02-06 12:44 258  
[ ]sgraph1__1077_16.min1.thm12017-02-06 12:44 1.4K 
[ ]sgraph1__1078_10.min1.thm12017-02-06 12:44 348  
[ ]sgraph1__1078_10.min1.thm1.tptp2017-02-06 16:47 281  
[ ]sgraph1__1087_6.min1.thm12017-02-06 12:44 1.0K 
[ ]sgraph1__1088_16.min1.thm12017-02-06 12:44 360  
[ ]sgraph1__1090_18.min1.thm12017-02-06 12:44 427  
[ ]sgraph1__1091_17.min1.thm12017-02-06 12:44 845  
[ ]sgraph1__1106_24.min1.thm12017-02-06 12:44 530  
[ ]sgraph1__1120_22.min1.thm12017-02-06 12:44 569  
[ ]sgraph1__1121_39.min1.thm12017-02-06 12:44 431  
[ ]sgraph1__1132_46.min1.thm12017-02-06 12:44 442  
[ ]sgraph1__1140_25.min1.thm12017-02-06 12:46 1.0K 
[ ]sgraph1__1141_42.min1.thm12017-02-06 12:44 458  
[ ]sgraph1__1141_42.min1.thm1.tptp2017-02-06 16:47 384  
[ ]sgraph1__1142_70.min1.thm12017-02-06 12:44 1.3K 
[ ]sgraph1__1147_23.min1.thm12017-02-06 12:44 1.1K 
[ ]sgraph1__1154_23.min1.thm12017-02-06 12:44 1.1K 
[ ]sgraph1__1155_21.min1.thm12017-02-06 12:44 376  
[ ]sgraph1__1159_52.min1.thm12017-02-06 12:44 372  
[ ]sgraph1__1159_52.min1.thm1.tptp2017-02-06 16:47 312  
[ ]sgraph1__1161_20.min1.thm12017-02-06 12:44 399  
[ ]sgraph1__1161_20.min1.thm1.tptp2017-02-06 16:47 335  
[ ]sgraph1__1162_19.min1.thm12017-02-06 12:44 383  
[ ]sgraph1__1162_19.min1.thm1.tptp2017-02-06 16:47 319  
[ ]sgraph1__1163_26.min1.thm12017-02-06 12:44 581  
[ ]sgraph1__1166_23.min1.thm12017-02-06 12:46 341  
[ ]sgraph1__1166_23.min1.thm1.tptp2017-02-06 16:47 273  
[ ]sgraph1__1170_18.min1.thm12017-02-06 12:44 385  
[ ]sgraph1__1170_18.min1.thm1.tptp2017-02-06 16:47 311  
[ ]sgraph1__1171_33.min1.thm12017-02-06 12:44 1.2K 
[ ]sgraph1__1174_34.min1.thm12017-02-06 12:44 316  
[ ]sgraph1__1176_13.min1.thm12017-02-06 12:44 204  
[ ]sgraph1__1211_18.min1.thm12017-02-06 12:44 877  
[ ]sgraph1__1213_16.min1.thm12017-02-06 12:44 523  
[ ]sgraph1__1213_16.min1.thm1.tptp2017-02-06 16:47 445  
[ ]sgraph1__1264_15.min1.thm12017-02-06 12:44 735  
[ ]sgraph1__1266_15.min1.thm12017-02-06 12:44 1.0K 
[ ]sgraph1__1267_15.min1.thm12017-02-06 12:44 2.0K 
[ ]sgraph1__1274_25.min1.thm12017-02-06 12:44 1.0K 
[ ]sgraph1__1275_28.min1.thm12017-02-06 12:44 1.3K 
[ ]sgraph1__1276_56.min1.thm12017-02-06 12:44 671  
[ ]sgraph1__1278_16.min1.thm12017-02-06 12:44 465  
[ ]sgraph1__1278_16.min1.thm1.tptp2017-02-06 16:47 401  
[ ]sgraph1__1279_14.min1.thm12017-02-06 12:44 1.2K 
[ ]sgraph1__1280_26.min1.thm12017-02-06 12:44 1.8K 
[ ]sgraph1__1281_29.min1.thm12017-02-06 12:44 2.1K 
[ ]sgraph1__1285_64.min1.thm12017-02-06 12:44 1.4K 
[ ]sgraph1__1289_47.min1.thm12017-02-06 12:44 928  
[ ]sgraph1__1290_56.min1.thm12017-02-06 12:44 419  
[ ]sgraph1__1292_15.min1.thm12017-02-06 12:44 617  
[ ]sgraph1__1294_12.min1.thm12017-02-06 12:44 656  
[ ]sgraph1__1315_12.min1.thm12017-02-06 12:44 792  
[ ]sgraph1__1321_20.min1.thm12017-02-06 12:44 539  
[ ]sgraph1__1324_25.min1.thm12017-02-06 12:44 382  
[ ]sgraph1__1324_25.min1.thm1.tptp2017-02-06 16:47 296  
[ ]sgraph1__1328_25.min1.thm12017-02-06 12:44 382  
[ ]sgraph1__1328_25.min1.thm1.tptp2017-02-06 16:47 296  
[ ]sgraph1__1331_41.min1.thm12017-02-06 12:44 1.0K 
[ ]sgraph1__1333_39.min1.thm12017-02-06 12:44 453  
[ ]sgraph1__1333_39.min1.thm1.tptp2017-02-06 16:47 389  
[ ]sgraph1__1334_67.min1.thm12017-02-06 12:44 1.0K 
[ ]sgraph1__1337_27.min1.thm12017-02-06 12:44 1.2K 
[ ]sgraph1__1338_47.min1.thm12017-02-06 12:44 853  
[ ]sgraph1__1340_15.min1.thm12017-02-06 12:44 460  
[ ]sgraph1__1340_15.min1.thm1.tptp2017-02-06 16:47 380  
[ ]sgraph1__1342_12.min1.thm12017-02-06 12:44 562  
[ ]sgraph1__1350_13.min1.thm12017-02-06 12:44 427  
[ ]sgraph1__1350_13.min1.thm1.tptp2017-02-06 16:47 346  
[ ]sgraph1__1370_16.min1.thm12017-02-06 12:44 514  
[ ]sgraph1__1374_20.min1.thm12017-02-06 12:46 520  
[ ]sgraph1__1381_51.min1.thm12017-02-06 12:44 1.9K 
[ ]sgraph1__1385_51.min1.thm12017-02-06 12:44 2.0K 
[ ]sgraph1__1388_44.min1.thm12017-02-06 12:44 512  
[ ]sgraph1__1393_20.min1.thm12017-02-06 12:44 520  
[ ]sgraph1__1396_51.min1.thm12017-02-06 12:44 2.0K 
[ ]sgraph1__1404_51.min1.thm12017-02-06 12:46 1.9K 
[ ]sgraph1__1407_44.min1.thm12017-02-06 12:44 512  
[ ]sgraph1__1412_20.min1.thm12017-02-06 12:44 520  
[ ]sgraph1__1415_51.min1.thm12017-02-06 12:44 2.0K 
[ ]sgraph1__1419_51.min1.thm12017-02-06 12:44 2.0K 
[ ]sgraph1__1426_44.min1.thm12017-02-06 12:44 512  
[ ]sgraph1__1430_41.min1.thm12017-02-06 12:44 625  
[ ]sgraph1__1430_41.min1.thm1.tptp2017-02-06 16:47 561  
[ ]sgraph1__1435_16.min1.thm12017-02-06 12:44 1.9K 
[ ]sgraph1__1440_23.min1.thm12017-02-06 12:44 426  
[ ]sgraph1__1441_41.min1.thm12017-02-06 12:44 604  
[ ]sgraph1__1444_22.min1.thm12017-02-06 12:44 1.2K 
[ ]sgraph1__1453_22.min1.thm12017-02-06 12:44 1.2K 
[ ]sgraph1__1462_22.min1.thm12017-02-06 12:44 1.2K 
[ ]sgraph1__1465_43.min1.thm12017-02-06 12:44 625  
[ ]sgraph1__1465_43.min1.thm1.tptp2017-02-06 16:47 561  
[ ]sgraph1__1466_17.min1.thm12017-02-06 12:44 924  
[ ]sgraph1__1471_34.min1.thm12017-02-06 12:44 1.0K 
[ ]sgraph1__1486_60.min1.thm12017-02-06 12:44 1.3K 
[ ]sgraph1__1490_27.min1.thm12017-02-06 12:46 867  
[ ]sgraph1__1502_16.min1.thm12017-02-06 12:44 1.2K 
[ ]sgraph1__1504_17.min1.thm12017-02-06 12:44 849  
[ ]sgraph1__1505_16.min1.thm12017-02-06 12:44 514  
[ ]sgraph1__1529_16.min1.thm12017-02-06 12:44 1.1K 
[ ]sgraph1__1531_16.min1.thm12017-02-06 12:44 1.2K 
[ ]sgraph1__1533_20.min1.thm12017-02-06 12:44 849  
[ ]sgraph1__1536_12.min1.thm12017-02-06 12:44 1.2K 
[ ]sgraph1__1537_16.min1.thm12017-02-06 12:44 514  
[ ]sgraph1__1542_26.min1.thm12017-02-06 12:44 1.8K 
[ ]sgraph1__1544_31.min1.thm12017-02-06 12:44 1.5K 
[ ]sgraph1__1546_20.min1.thm12017-02-06 12:44 1.4K 
[ ]sgraph1__1560_59.min1.thm12017-02-06 12:44 830  
[ ]sgraph1__1564_17.min1.thm12017-02-06 12:44 1.3K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80