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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]ramsey_1__57_24.min1.thm12017-02-06 12:46 1.1K 
[ ]ramsey_1__75_36.min1.thm12017-02-06 12:46 538  
[ ]ramsey_1__86_17.min1.thm12017-02-06 12:46 628  
[ ]ramsey_1__87_51.min1.thm12017-02-06 12:46 1.1K 
[ ]ramsey_1__88_37.min1.thm12017-02-06 12:46 558  
[ ]ramsey_1__89_19.min1.thm12017-02-06 12:46 682  
[ ]ramsey_1__90_25.min1.thm12017-02-06 12:46 726  
[ ]ramsey_1__92_59.min1.thm12017-02-06 12:46 956  
[ ]ramsey_1__93_24.min1.thm12017-02-06 12:46 711  
[ ]ramsey_1__94_44.min1.thm12017-02-06 12:46 794  
[ ]ramsey_1__95_32.min1.thm12017-02-06 12:46 1.7K 
[ ]ramsey_1__96_25.min1.thm12017-02-06 12:46 897  
[ ]ramsey_1__97_18.min1.thm12017-02-06 12:46 722  
[ ]ramsey_1__99_46.min1.thm12017-02-06 12:46 465  
[ ]ramsey_1__99_46.min1.thm1.tptp2017-02-06 16:47 401  
[ ]ramsey_1__102_12.min1.thm12017-02-06 12:46 1.1K 
[ ]ramsey_1__104_18.min1.thm12017-02-06 12:46 633  
[ ]ramsey_1__115_67.min1.thm12017-02-06 12:46 396  
[ ]ramsey_1__115_67.min1.thm1.tptp2017-02-06 16:47 318  
[ ]ramsey_1__116_28.min1.thm12017-02-06 12:46 599  
[ ]ramsey_1__117_18.min1.thm12017-02-06 12:46 599  
[ ]ramsey_1__134_15.min1.thm12017-02-06 12:46 578  
[ ]ramsey_1__135_39.min1.thm12017-02-06 12:46 545  
[ ]ramsey_1__136_12.min1.thm12017-02-06 12:46 297  
[ ]ramsey_1__136_12.min1.thm1.tptp2017-02-06 16:47 215  
[ ]ramsey_1__137_19.min1.thm12017-02-06 12:46 752  
[ ]ramsey_1__139_17.min1.thm12017-02-06 12:46 477  
[ ]ramsey_1__139_17.min1.thm1.tptp2017-02-06 16:47 413  
[ ]ramsey_1__153_19.min1.thm12017-02-06 12:46 697  
[ ]ramsey_1__154_21.min1.thm12017-02-06 12:46 720  
[ ]ramsey_1__156_57.min1.thm12017-02-06 12:46 944  
[ ]ramsey_1__157_26.min1.thm12017-02-06 12:46 815  
[ ]ramsey_1__159_19.min1.thm12017-02-06 12:46 473  
[ ]ramsey_1__159_19.min1.thm1.tptp2017-02-06 16:47 409  
[ ]ramsey_1__160_30.min1.thm12017-02-06 12:46 570  
[ ]ramsey_1__161_29.min1.thm12017-02-06 12:46 576  
[ ]ramsey_1__162_27.min1.thm12017-02-06 12:46 678  
[ ]ramsey_1__163_26.min1.thm12017-02-06 12:46 1.1K 
[ ]ramsey_1__164_47.min1.thm12017-02-06 12:46 566  
[ ]ramsey_1__175_22.min1.thm12017-02-06 12:46 702  
[ ]ramsey_1__179_51.min1.thm12017-02-06 12:46 859  
[ ]ramsey_1__185_21.min1.thm12017-02-06 12:46 1.0K 
[ ]ramsey_1__186_19.min1.thm12017-02-06 12:46 1.4K 
[ ]ramsey_1__187_46.min1.thm12017-02-06 12:46 1.8K 
[ ]ramsey_1__188_34.min1.thm12017-02-06 12:46 1.3K 
[ ]ramsey_1__190_22.min1.thm12017-02-06 12:46 921  
[ ]ramsey_1__192_37.min1.thm12017-02-06 12:46 766  
[ ]ramsey_1__193_63.min1.thm12017-02-06 12:46 524  
[ ]ramsey_1__195_45.min1.thm12017-02-06 12:46 766  
[ ]ramsey_1__196_24.min1.thm12017-02-06 12:46 1.4K 
[ ]ramsey_1__208_45.min1.thm12017-02-06 12:46 1.2K 
[ ]ramsey_1__211_23.min1.thm12017-02-06 12:46 730  
[ ]ramsey_1__212_16.min1.thm12017-02-06 12:46 740  
[ ]ramsey_1__224_53.min1.thm12017-02-06 12:46 574  
[ ]ramsey_1__225_15.min1.thm12017-02-06 12:46 587  
[ ]ramsey_1__229_42.min1.thm12017-02-06 12:46 466  
[ ]ramsey_1__230_18.min1.thm12017-02-06 12:46 588  
[ ]ramsey_1__231_16.min1.thm12017-02-06 12:46 971  
[ ]ramsey_1__249_17.min1.thm12017-02-06 12:46 850  
[ ]ramsey_1__250_41.min1.thm12017-02-06 12:46 494  
[ ]ramsey_1__251_40.min1.thm12017-02-06 12:46 712  
[ ]ramsey_1__253_22.min1.thm12017-02-06 12:46 930  
[ ]ramsey_1__254_21.min1.thm12017-02-06 12:46 452  
[ ]ramsey_1__255_20.min1.thm12017-02-06 12:46 667  
[ ]ramsey_1__259_15.min1.thm12017-02-06 12:46 301  
[ ]ramsey_1__259_15.min1.thm1.tptp2017-02-06 16:47 221  
[ ]ramsey_1__260_39.min1.thm12017-02-06 12:46 351  
[ ]ramsey_1__260_39.min1.thm1.tptp2017-02-06 16:47 273  
[ ]ramsey_1__261_37.min1.thm12017-02-06 12:46 967  
[ ]ramsey_1__262_16.min1.thm12017-02-06 12:46 371  
[ ]ramsey_1__262_16.min1.thm1.tptp2017-02-06 16:47 285  
[ ]ramsey_1__271_30.min1.thm12017-02-06 12:46 825  
[ ]ramsey_1__272_17.min1.thm12017-02-06 12:46 540  
[ ]ramsey_1__280_29.min1.thm12017-02-06 12:46 390  
[ ]ramsey_1__280_29.min1.thm1.tptp2017-02-06 16:47 318  
[ ]ramsey_1__290_28.min1.thm12017-02-06 12:46 523  
[ ]ramsey_1__299_16.min1.thm12017-02-06 12:46 351  
[ ]ramsey_1__299_16.min1.thm1.tptp2017-02-06 16:47 269  
[ ]ramsey_1__306_16.min1.thm12017-02-06 12:46 434  
[ ]ramsey_1__328_12.min1.thm12017-02-06 12:46 246  
[ ]ramsey_1__330_42.min1.thm12017-02-06 12:46 689  
[ ]ramsey_1__331_71.min1.thm12017-02-06 12:46 377  
[ ]ramsey_1__331_71.min1.thm1.tptp2017-02-06 16:47 297  
[ ]ramsey_1__332_40.min1.thm12017-02-06 12:46 476  
[ ]ramsey_1__356_21.min1.thm12017-02-06 12:46 414  
[ ]ramsey_1__357_43.min1.thm12017-02-06 12:46 900  
[ ]ramsey_1__361_25.min1.thm12017-02-06 12:46 443  
[ ]ramsey_1__363_19.min1.thm12017-02-06 12:46 558  
[ ]ramsey_1__367_17.min1.thm12017-02-06 12:46 467  
[ ]ramsey_1__371_39.min1.thm12017-02-06 12:46 878  
[ ]ramsey_1__372_38.min1.thm12017-02-06 12:46 797  
[ ]ramsey_1__373_54.min1.thm12017-02-06 12:46 813  
[ ]ramsey_1__374_44.min1.thm12017-02-06 12:46 513  
[ ]ramsey_1__378_32.min1.thm12017-02-06 12:46 1.5K 
[ ]ramsey_1__381_30.min1.thm12017-02-06 12:46 2.1K 
[ ]ramsey_1__383_48.min1.thm12017-02-06 12:46 893  
[ ]ramsey_1__384_69.min1.thm12017-02-06 12:46 487  
[ ]ramsey_1__384_69.min1.thm1.tptp2017-02-06 16:47 412  
[ ]ramsey_1__390_67.min1.thm12017-02-06 12:46 923  
[ ]ramsey_1__390_67.min1.thm1.tptp2017-02-06 16:47 837  
[ ]ramsey_1__391_21.min1.thm12017-02-06 12:46 450  
[ ]ramsey_1__392_35.min1.thm12017-02-06 12:46 1.0K 
[ ]ramsey_1__397_73.min1.thm12017-02-06 12:46 851  
[ ]ramsey_1__397_73.min1.thm1.tptp2017-02-06 16:47 763  
[ ]ramsey_1__408_17.min1.thm12017-02-06 12:46 249  
[ ]ramsey_1__411_50.min1.thm12017-02-06 12:46 366  
[ ]ramsey_1__411_50.min1.thm1.tptp2017-02-06 16:47 288  
[ ]ramsey_1__412_18.min1.thm12017-02-06 12:46 455  
[ ]ramsey_1__413_69.min1.thm12017-02-06 12:46 913  
[ ]ramsey_1__424_33.min1.thm12017-02-06 12:46 660  
[ ]ramsey_1__425_25.min1.thm12017-02-06 12:46 828  
[ ]ramsey_1__426_49.min1.thm12017-02-06 12:46 372  
[ ]ramsey_1__426_49.min1.thm1.tptp2017-02-06 16:47 294  
[ ]ramsey_1__430_24.min1.thm12017-02-06 12:46 467  
[ ]ramsey_1__446_54.min1.thm12017-02-06 12:46 723  
[ ]ramsey_1__449_16.min1.thm12017-02-06 12:46 1.2K 
[ ]ramsey_1__457_28.min1.thm12017-02-06 12:46 643  
[ ]ramsey_1__460_36.min1.thm12017-02-06 12:46 374  
[ ]ramsey_1__460_36.min1.thm1.tptp2017-02-06 16:47 286  
[ ]ramsey_1__462_27.min1.thm12017-02-06 12:46 498  
[ ]ramsey_1__471_30.min1.thm12017-02-06 12:46 898  
[ ]ramsey_1__475_33.min1.thm12017-02-06 12:46 429  
[ ]ramsey_1__481_33.min1.thm12017-02-06 12:46 426  
[ ]ramsey_1__491_31.min1.thm12017-02-06 12:46 1.3K 
[ ]ramsey_1__492_43.min1.thm12017-02-06 12:46 1.6K 
[ ]ramsey_1__500_61.min1.thm12017-02-06 12:46 625  
[ ]ramsey_1__501_27.min1.thm12017-02-06 12:46 289  
[ ]ramsey_1__505_43.min1.thm12017-02-06 12:46 827  
[ ]ramsey_1__510_43.min1.thm12017-02-06 12:46 725  
[ ]ramsey_1__516_32.min1.thm12017-02-06 12:46 1.3K 
[ ]ramsey_1__518_78.min1.thm12017-02-06 12:46 1.9K 
[ ]ramsey_1__519_31.min1.thm12017-02-06 12:46 936  
[ ]ramsey_1__520_29.min1.thm12017-02-06 12:46 928  
[ ]ramsey_1__522_47.min1.thm12017-02-06 12:46 1.1K 
[ ]ramsey_1__528_29.min1.thm12017-02-06 12:46 1.7K 
[ ]ramsey_1__531_27.min1.thm12017-02-06 12:46 1.8K 
[ ]ramsey_1__537_47.min1.thm12017-02-06 12:46 299  
[ ]ramsey_1__537_47.min1.thm1.tptp2017-02-06 16:47 213  
[ ]ramsey_1__538_46.min1.thm12017-02-06 12:46 482  
[ ]ramsey_1__540_24.min1.thm12017-02-06 12:46 1.5K 
[ ]ramsey_1__551_38.min1.thm12017-02-06 12:46 358  
[ ]ramsey_1__552_41.min1.thm12017-02-06 12:46 941  
[ ]ramsey_1__553_45.min1.thm12017-02-06 12:46 1.6K 
[ ]ramsey_1__554_45.min1.thm12017-02-06 12:46 1.0K 
[ ]ramsey_1__555_49.min1.thm12017-02-06 12:46 1.5K 
[ ]ramsey_1__561_31.min1.thm12017-02-06 12:46 4.9K 
[ ]ramsey_1__562_30.min1.thm12017-02-06 12:46 5.2K 
[ ]ramsey_1__563_26.min1.thm12017-02-06 12:46 2.9K 
[ ]ramsey_1__564_34.min1.thm12017-02-06 12:46 4.7K 
[ ]ramsey_1__568_32.min1.thm12017-02-06 12:46 5.0K 
[ ]ramsey_1__572_20.min1.thm12017-02-06 12:46 2.3K 
[ ]ramsey_1__586_43.min1.thm12017-02-06 12:46 1.1K 
[ ]ramsey_1__587_42.min1.thm12017-02-06 12:46 941  
[ ]ramsey_1__588_46.min1.thm12017-02-06 12:46 1.8K 
[ ]ramsey_1__589_46.min1.thm12017-02-06 12:46 909  
[ ]ramsey_1__590_50.min1.thm12017-02-06 12:46 1.8K 
[ ]ramsey_1__602_32.min1.thm12017-02-06 12:46 2.0K 
[ ]ramsey_1__623_27.min1.thm12017-02-06 12:46 1.1K 
[ ]ramsey_1__623_27.min1.thm1.tptp2017-02-06 16:47 1.1K 
[ ]ramsey_1__630_21.min1.thm12017-02-06 12:46 750  
[ ]ramsey_1__632_18.min1.thm12017-02-06 12:46 613  
[ ]ramsey_1__634_29.min1.thm12017-02-06 12:46 851  
[ ]ramsey_1__646_26.min1.thm12017-02-06 12:46 1.4K 
[ ]ramsey_1__647_30.min1.thm12017-02-06 12:46 597  
[ ]ramsey_1__652_11.min1.thm12017-02-06 12:46 1.2K 
[ ]ramsey_1__661_35.min1.thm12017-02-06 12:46 614  
[ ]ramsey_1__679_18.min1.thm12017-02-06 12:46 2.0K 
[ ]ramsey_1__681_23.min1.thm12017-02-06 12:46 1.3K 
[ ]ramsey_1__697_74.min1.thm12017-02-06 12:46 1.4K 
[ ]ramsey_1__705_43.min1.thm12017-02-06 12:46 1.3K 
[ ]ramsey_1__706_24.min1.thm12017-02-06 12:46 1.1K 
[ ]ramsey_1__717_13.min1.thm12017-02-06 12:46 600  
[ ]ramsey_1__717_13.min1.thm1.tptp2017-02-06 16:47 539  
[ ]ramsey_1__718_19.min1.thm12017-02-06 12:46 1.9K 
[ ]ramsey_1__720_27.min1.thm12017-02-06 12:46 2.6K 
[ ]ramsey_1__722_31.min1.thm12017-02-06 12:46 1.4K 
[ ]ramsey_1__724_29.min1.thm12017-02-06 12:46 567  
[ ]ramsey_1__724_29.min1.thm1.tptp2017-02-06 16:47 503  
[ ]ramsey_1__726_69.min1.thm12017-02-06 12:46 616  
[ ]ramsey_1__726_69.min1.thm1.tptp2017-02-06 16:47 541  
[ ]ramsey_1__762_47.min1.thm12017-02-06 12:46 1.1K 
[ ]ramsey_1__764_47.min1.thm12017-02-06 12:46 1.1K 
[ ]ramsey_1__765_45.min1.thm12017-02-06 12:46 908  
[ ]ramsey_1__766_45.min1.thm12017-02-06 12:46 908  
[ ]ramsey_1__771_20.min1.thm12017-02-06 12:46 1.1K 
[ ]ramsey_1__785_20.min1.thm12017-02-06 12:46 888  
[ ]ramsey_1__797_24.min1.thm12017-02-06 12:46 667  
[ ]ramsey_1__800_19.min1.thm12017-02-06 12:46 457  
[ ]ramsey_1__800_19.min1.thm1.tptp2017-02-06 16:47 393  
[ ]ramsey_1__802_40.min1.thm12017-02-06 12:46 1.3K 
[ ]ramsey_1__803_40.min1.thm12017-02-06 12:46 1.1K 
[ ]ramsey_1__804_28.min1.thm12017-02-06 12:46 565  
[ ]ramsey_1__804_28.min1.thm1.tptp2017-02-06 16:47 500  
[ ]ramsey_1__814_15.min1.thm12017-02-06 12:46 604  
[ ]ramsey_1__814_15.min1.thm1.tptp2017-02-06 16:47 543  
[ ]ramsey_1__815_21.min1.thm12017-02-06 12:46 1.9K 
[ ]ramsey_1__816_32.min1.thm12017-02-06 12:46 1.2K 
[ ]ramsey_1__817_42.min1.thm12017-02-06 12:46 2.1K 
[ ]ramsey_1__825_45.min1.thm12017-02-06 12:46 1.1K 
[ ]ramsey_1__827_24.min1.thm12017-02-06 12:46 1.4K 
[ ]ramsey_1__829_16.min1.thm12017-02-06 12:46 1.2K 
[ ]ramsey_1__835_44.min1.thm12017-02-06 12:46 1.1K 
[ ]ramsey_1__842_48.min1.thm12017-02-06 12:46 340  
[ ]ramsey_1__842_48.min1.thm1.tptp2017-02-06 16:47 262  
[ ]ramsey_1__844_31.min1.thm12017-02-06 12:46 2.4K 
[ ]ramsey_1__849_15.min1.thm12017-02-06 12:46 1.1K 
[ ]ramsey_1__864_33.min1.thm12017-02-06 12:46 831  
[ ]ramsey_1__872_31.min1.thm12017-02-06 12:46 1.5K 
[ ]ramsey_1__873_27.min1.thm12017-02-06 12:46 1.5K 
[ ]ramsey_1__879_27.min1.thm12017-02-06 12:46 137  
[ ]ramsey_1__881_22.min1.thm12017-02-06 12:46 670  
[ ]ramsey_1__888_46.min1.thm12017-02-06 12:46 473  
[ ]ramsey_1__894_32.min1.thm12017-02-06 12:46 451  
[ ]ramsey_1__895_36.min1.thm12017-02-06 12:46 723  
[ ]ramsey_1__903_18.min1.thm12017-02-06 12:46 273  
[ ]ramsey_1__904_24.min1.thm12017-02-06 12:46 766  
[ ]ramsey_1__909_45.min1.thm12017-02-06 12:46 1.4K 
[ ]ramsey_1__910_26.min1.thm12017-02-06 12:46 1.2K 
[ ]ramsey_1__919_26.min1.thm12017-02-06 12:46 771  
[ ]ramsey_1__920_68.min1.thm12017-02-06 12:46 1.0K 
[ ]ramsey_1__924_27.min1.thm12017-02-06 12:46 1.3K 
[ ]ramsey_1__926_24.min1.thm12017-02-06 12:46 1.0K 
[ ]ramsey_1__927_38.min1.thm12017-02-06 12:46 2.1K 
[ ]ramsey_1__929_30.min1.thm12017-02-06 12:46 703  
[ ]ramsey_1__935_22.min1.thm12017-02-06 12:46 1.1K 
[ ]ramsey_1__936_21.min1.thm12017-02-06 12:46 1.2K 
[ ]ramsey_1__937_45.min1.thm12017-02-06 12:46 1.1K 
[ ]ramsey_1__938_18.min1.thm12017-02-06 12:46 963  
[ ]ramsey_1__941_43.min1.thm12017-02-06 12:46 1.2K 
[ ]ramsey_1__942_23.min1.thm12017-02-06 12:46 1.2K 
[ ]ramsey_1__946_27.min1.thm12017-02-06 12:46 964  
[ ]ramsey_1__956_20.min1.thm12017-02-06 12:46 875  
[ ]ramsey_1__959_17.min1.thm12017-02-06 12:46 683  
[ ]ramsey_1__961_19.min1.thm12017-02-06 12:46 516  
[ ]ramsey_1__971_22.min1.thm12017-02-06 12:46 1.0K 
[ ]ramsey_1__972_22.min1.thm12017-02-06 12:46 1.2K 
[ ]ramsey_1__973_21.min1.thm12017-02-06 12:46 917  
[ ]ramsey_1__974_42.min1.thm12017-02-06 12:46 1.2K 
[ ]ramsey_1__977_20.min1.thm12017-02-06 12:46 493  
[ ]ramsey_1__979_27.min1.thm12017-02-06 12:46 1.6K 
[ ]ramsey_1__981_44.min1.thm12017-02-06 12:46 1.2K 
[ ]ramsey_1__991_29.min1.thm12017-02-06 12:46 820  
[ ]ramsey_1__992_44.min1.thm12017-02-06 12:46 582  
[ ]ramsey_1__999_16.min1.thm12017-02-06 12:46 772  
[ ]ramsey_1__1004_48.min1.thm12017-02-06 12:46 1.2K 
[ ]ramsey_1__1005_26.min1.thm12017-02-06 12:46 604  
[ ]ramsey_1__1008_45.min1.thm12017-02-06 12:46 1.1K 
[ ]ramsey_1__1010_26.min1.thm12017-02-06 12:46 1.2K 
[ ]ramsey_1__1016_22.min1.thm12017-02-06 12:46 848  
[ ]ramsey_1__1024_21.min1.thm12017-02-06 12:46 312  
[ ]ramsey_1__1025_30.min1.thm12017-02-06 12:46 1.5K 
[ ]ramsey_1__1026_38.min1.thm12017-02-06 12:46 1.2K 
[ ]ramsey_1__1034_26.min1.thm12017-02-06 12:46 843  
[ ]ramsey_1__1036_35.min1.thm12017-02-06 12:46 961  
[ ]ramsey_1__1038_33.min1.thm12017-02-06 12:46 1.2K 
[ ]ramsey_1__1045_23.min1.thm12017-02-06 12:46 1.9K 
[ ]ramsey_1__1049_52.min1.thm12017-02-06 12:46 1.7K 
[ ]ramsey_1__1052_35.min1.thm12017-02-06 12:46 1.2K 
[ ]ramsey_1__1062_46.min1.thm12017-02-06 12:46 1.2K 
[ ]ramsey_1__1062_46.min1.thm1.tptp2017-02-06 16:47 1.2K 
[ ]ramsey_1__1064_23.min1.thm12017-02-06 12:46 1.7K 
[ ]ramsey_1__1075_10.min1.thm12017-02-06 12:46 240  
[ ]ramsey_1__1076_36.min1.thm12017-02-06 12:46 347  
[ ]ramsey_1__1076_36.min1.thm1.tptp2017-02-06 16:47 275  
[ ]ramsey_1__1083_25.min1.thm12017-02-06 12:46 472  
[ ]ramsey_1__1091_53.min1.thm12017-02-06 12:46 623  
[ ]ramsey_1__1091_53.min1.thm1.tptp2017-02-06 16:47 544  
[ ]ramsey_1__1096_12.min1.thm12017-02-06 12:46 341  
[ ]ramsey_1__1096_12.min1.thm1.tptp2017-02-06 16:47 276  
[ ]ramsey_1__1098_21.min1.thm12017-02-06 12:46 782  
[ ]ramsey_1__1107_35.min1.thm12017-02-06 12:46 258  
[ ]ramsey_1__1115_21.min1.thm12017-02-06 12:46 329  
[ ]ramsey_1__1115_21.min1.thm1.tptp2017-02-06 16:47 252  
[ ]ramsey_1__1118_37.min1.thm12017-02-06 12:46 363  
[ ]ramsey_1__1118_37.min1.thm1.tptp2017-02-06 16:47 286  
[ ]ramsey_1__1119_47.min1.thm12017-02-06 12:46 848  
[ ]ramsey_1__1120_30.min1.thm12017-02-06 12:46 892  
[ ]ramsey_1__1121_30.min1.thm12017-02-06 12:46 925  
[ ]ramsey_1__1126_72.min1.thm12017-02-06 12:46 322  
[ ]ramsey_1__1130_12.min1.thm12017-02-06 12:46 445  
[ ]ramsey_1__1130_12.min1.thm1.tptp2017-02-06 16:47 406  
[ ]ramsey_1__1134_33.min1.thm12017-02-06 12:46 1.3K 
[ ]ramsey_1__1142_26.min1.thm12017-02-06 12:46 741  
[ ]ramsey_1__1143_26.min1.thm12017-02-06 12:46 785  
[ ]ramsey_1__1146_22.min1.thm12017-02-06 12:46 794  
[ ]ramsey_1__1147_32.min1.thm12017-02-06 12:46 349  
[ ]ramsey_1__1147_32.min1.thm1.tptp2017-02-06 16:47 271  
[ ]ramsey_1__1149_16.min1.thm12017-02-06 12:46 1.1K 
[ ]ramsey_1__1161_35.min1.thm12017-02-06 12:46 1.3K 
[ ]ramsey_1__1169_18.min1.thm12017-02-06 12:46 2.7K 
[ ]ramsey_1__1172_21.min1.thm12017-02-06 12:46 3.2K 
[ ]ramsey_1__1173_23.min1.thm12017-02-06 12:46 3.0K 
[ ]ramsey_1__1179_32.min1.thm12017-02-06 12:46 622  
[ ]ramsey_1__1186_16.min1.thm12017-02-06 12:46 634  
[ ]ramsey_1__1186_16.min1.thm1.tptp2017-02-06 16:47 570  
[ ]ramsey_1__1188_38.min1.thm12017-02-06 12:46 452  
[ ]ramsey_1__1189_38.min1.thm12017-02-06 12:46 452  
[ ]ramsey_1__1192_8.min1.thm12017-02-06 12:46 1.2K 
[ ]ramsey_1__1194_35.min1.thm12017-02-06 12:46 717  
[ ]ramsey_1__1195_14.min1.thm12017-02-06 12:46 1.9K 
[ ]ramsey_1__1205_38.min1.thm12017-02-06 12:46 452  
[ ]ramsey_1__1206_38.min1.thm12017-02-06 12:46 452  
[ ]ramsey_1__1211_35.min1.thm12017-02-06 12:46 1.3K 
[ ]ramsey_1__1221_18.min1.thm12017-02-06 12:46 2.7K 
[ ]ramsey_1__1224_34.min1.thm12017-02-06 12:46 2.6K 
[ ]ramsey_1__1225_23.min1.thm12017-02-06 12:46 2.0K 
[ ]ramsey_1__1232_19.min1.thm12017-02-06 12:46 3.2K 
[ ]ramsey_1__1235_21.min1.thm12017-02-06 12:46 1.0K 
[ ]ramsey_1__1236_30.min1.thm12017-02-06 12:46 1.6K 
[ ]ramsey_1__1240_32.min1.thm12017-02-06 12:46 2.1K 
[ ]ramsey_1__1247_9.min1.thm12017-02-06 12:46 527  
[ ]ramsey_1__1249_35.min1.thm12017-02-06 12:46 2.2K 
[ ]ramsey_1__1250_14.min1.thm12017-02-06 12:46 2.0K 
[ ]ramsey_1__1266_22.min1.thm12017-02-06 12:46 1.2K 
[ ]ramsey_1__1269_16.min1.thm12017-02-06 12:46 801  
[ ]ramsey_1__1272_13.min1.thm12017-02-06 12:46 641  
[ ]ramsey_1__1273_33.min1.thm12017-02-06 12:46 910  
[ ]ramsey_1__1274_22.min1.thm12017-02-06 12:46 1.0K 
[ ]ramsey_1__1282_23.min1.thm12017-02-06 12:46 1.1K 
[ ]ramsey_1__1298_43.min1.thm12017-02-06 12:46 828  
[ ]ramsey_1__1301_6.min1.thm12017-02-06 12:46 1.1K 
[ ]ramsey_1__1304_21.min1.thm12017-02-06 12:46 438  
[ ]ramsey_1__1304_21.min1.thm1.tptp2017-02-06 16:47 387  
[ ]ramsey_1__1305_34.min1.thm12017-02-06 12:46 419  
[ ]ramsey_1__1306_27.min1.thm12017-02-06 12:46 549  
[ ]ramsey_1__1310_16.min1.thm12017-02-06 12:46 663  
[ ]ramsey_1__1311_40.min1.thm12017-02-06 12:46 755  
[ ]ramsey_1__1312_25.min1.thm12017-02-06 12:46 1.2K 
[ ]ramsey_1__1320_57.min1.thm12017-02-06 12:46 485  
[ ]ramsey_1__1325_19.min1.thm12017-02-06 12:46 1.0K 
[ ]ramsey_1__1331_51.min1.thm12017-02-06 12:46 1.0K 
[ ]ramsey_1__1333_21.min1.thm12017-02-06 12:46 478  
[ ]ramsey_1__1334_37.min1.thm12017-02-06 12:46 818  
[ ]ramsey_1__1336_28.min1.thm12017-02-06 12:46 1.1K 
[ ]ramsey_1__1337_24.min1.thm12017-02-06 12:46 711  
[ ]ramsey_1__1345_29.min1.thm12017-02-06 12:46 1.1K 
[ ]ramsey_1__1349_73.min1.thm12017-02-06 12:46 1.1K 
[ ]ramsey_1__1355_16.min1.thm12017-02-06 12:46 1.7K 
[ ]ramsey_1__1370_28.min1.thm12017-02-06 12:46 564  
[ ]ramsey_1__1374_17.min1.thm12017-02-06 12:46 579  
[ ]ramsey_1__1375_37.min1.thm12017-02-06 12:46 764  
[ ]ramsey_1__1380_45.min1.thm12017-02-06 12:46 2.4K 
[ ]ramsey_1__1382_23.min1.thm12017-02-06 12:46 222  
[ ]ramsey_1__1384_42.min1.thm12017-02-06 12:46 433  
[ ]ramsey_1__1386_33.min1.thm12017-02-06 12:46 846  
[ ]ramsey_1__1387_59.min1.thm12017-02-06 12:46 527  
[ ]ramsey_1__1388_61.min1.thm12017-02-06 12:46 1.2K 
[ ]ramsey_1__1396_66.min1.thm12017-02-06 12:46 1.4K 
[ ]ramsey_1__1397_40.min1.thm12017-02-06 12:46 1.8K 
[ ]ramsey_1__1413_39.min1.thm12017-02-06 12:46 433  
[ ]ramsey_1__1413_39.min1.thm1.tptp2017-02-06 16:47 369  
[ ]ramsey_1__1414_17.min1.thm12017-02-06 12:46 1.6K 
[ ]ramsey_1__1436_15.min1.thm12017-02-06 12:46 287  
[ ]ramsey_1__1439_23.min1.thm12017-02-06 12:46 578  
[ ]ramsey_1__1443_51.min1.thm12017-02-06 12:46 2.2K 
[ ]ramsey_1__1444_46.min1.thm12017-02-06 12:46 2.2K 
[ ]ramsey_1__1453_16.min1.thm12017-02-06 12:46 424  
[ ]ramsey_1__1457_35.min1.thm12017-02-06 12:46 668  
[ ]ramsey_1__1462_12.min1.thm12017-02-06 12:46 714  
[ ]ramsey_1__1463_19.min1.thm12017-02-06 12:46 444  
[ ]ramsey_1__1466_11.min1.thm12017-02-06 12:46 485  
[ ]ramsey_1__1466_11.min1.thm1.tptp2017-02-06 16:47 444  
[ ]ramsey_1__1467_14.min1.thm12017-02-06 12:46 567  
[ ]ramsey_1__1494_16.min1.thm12017-02-06 12:46 1.5K 
[ ]ramsey_1__1507_38.min1.thm12017-02-06 12:46 1.7K 
[ ]ramsey_1__1509_20.min1.thm12017-02-06 12:46 270  
[ ]ramsey_1__1514_52.min1.thm12017-02-06 12:46 1.5K 
[ ]ramsey_1__1518_15.min1.thm12017-02-06 12:46 245  
[ ]ramsey_1__1522_21.min1.thm12017-02-06 12:46 1.3K 
[ ]ramsey_1__1523_27.min1.thm12017-02-06 12:46 1.2K 
[ ]ramsey_1__1524_32.min1.thm12017-02-06 12:46 1.3K 
[ ]ramsey_1__1525_53.min1.thm12017-02-06 12:46 2.2K 
[ ]ramsey_1__1527_55.min1.thm12017-02-06 12:46 383  
[ ]ramsey_1__1527_55.min1.thm1.tptp2017-02-06 16:47 306  
[ ]ramsey_1__1529_51.min1.thm12017-02-06 12:46 1.1K 
[ ]ramsey_1__1531_51.min1.thm12017-02-06 12:46 1.0K 
[ ]ramsey_1__1532_63.min1.thm12017-02-06 12:46 559  
[ ]ramsey_1__1539_49.min1.thm12017-02-06 12:46 1.3K 
[ ]ramsey_1__1558_18.min1.thm12017-02-06 12:46 1.3K 
[ ]ramsey_1__1561_50.min1.thm12017-02-06 12:46 615  
[ ]ramsey_1__1562_40.min1.thm12017-02-06 12:46 360  
[ ]ramsey_1__1563_41.min1.thm12017-02-06 12:46 1.2K 
[ ]ramsey_1__1564_45.min1.thm12017-02-06 12:46 433  
[ ]ramsey_1__1564_45.min1.thm1.tptp2017-02-06 16:47 368  
[ ]ramsey_1__1568_23.min1.thm12017-02-06 12:46 603  
[ ]ramsey_1__1572_19.min1.thm12017-02-06 12:46 1.5K 
[ ]ramsey_1__1580_21.min1.thm12017-02-06 12:46 1.4K 
[ ]ramsey_1__1585_38.min1.thm12017-02-06 12:46 1.7K 
[ ]ramsey_1__1587_20.min1.thm12017-02-06 12:46 270  
[ ]ramsey_1__1592_52.min1.thm12017-02-06 12:46 1.5K 
[ ]ramsey_1__1596_15.min1.thm12017-02-06 12:46 245  
[ ]ramsey_1__1600_21.min1.thm12017-02-06 12:46 1.3K 
[ ]ramsey_1__1601_27.min1.thm12017-02-06 12:46 1.2K 
[ ]ramsey_1__1602_32.min1.thm12017-02-06 12:46 1.3K 
[ ]ramsey_1__1603_53.min1.thm12017-02-06 12:46 2.2K 
[ ]ramsey_1__1605_55.min1.thm12017-02-06 12:46 383  
[ ]ramsey_1__1605_55.min1.thm1.tptp2017-02-06 16:47 306  
[ ]ramsey_1__1607_51.min1.thm12017-02-06 12:46 1.1K 
[ ]ramsey_1__1609_51.min1.thm12017-02-06 12:46 1.0K 
[ ]ramsey_1__1610_63.min1.thm12017-02-06 12:46 559  
[ ]ramsey_1__1617_49.min1.thm12017-02-06 12:46 1.3K 
[ ]ramsey_1__1636_18.min1.thm12017-02-06 12:46 1.3K 
[ ]ramsey_1__1639_50.min1.thm12017-02-06 12:46 615  
[ ]ramsey_1__1640_40.min1.thm12017-02-06 12:46 360  
[ ]ramsey_1__1641_41.min1.thm12017-02-06 12:46 1.2K 
[ ]ramsey_1__1642_45.min1.thm12017-02-06 12:46 433  
[ ]ramsey_1__1642_45.min1.thm1.tptp2017-02-06 16:47 368  
[ ]ramsey_1__1646_23.min1.thm12017-02-06 12:46 603  
[ ]ramsey_1__1650_19.min1.thm12017-02-06 12:46 1.5K 
[ ]ramsey_1__1658_27.min1.thm12017-02-06 12:46 1.4K 
[ ]ramsey_1__1668_16.min1.thm12017-02-06 12:46 1.1K 
[ ]ramsey_1__1692_25.min1.thm12017-02-06 12:46 2.1K 
[ ]ramsey_1__1693_18.min1.thm12017-02-06 12:46 1.2K 
[ ]ramsey_1__1698_19.min1.thm12017-02-06 12:46 918  
[ ]ramsey_1__1700_15.min1.thm12017-02-06 12:46 1.3K 
[ ]ramsey_1__1703_52.min1.thm12017-02-06 12:46 1.5K 
[ ]ramsey_1__1713_22.min1.thm12017-02-06 12:46 850  
[ ]ramsey_1__1713_22.min1.thm1.tptp2017-02-06 16:47 788  
[ ]ramsey_1__1723_22.min1.thm12017-02-06 12:46 395  
[ ]ramsey_1__1723_22.min1.thm1.tptp2017-02-06 16:47 330  
[ ]ramsey_1__1724_37.min1.thm12017-02-06 12:46 390  
[ ]ramsey_1__1725_25.min1.thm12017-02-06 12:46 532  
[ ]ramsey_1__1727_63.min1.thm12017-02-06 12:46 1.0K 
[ ]ramsey_1__1730_33.min1.thm12017-02-06 12:46 2.5K 
[ ]ramsey_1__1741_22.min1.thm12017-02-06 12:46 395  
[ ]ramsey_1__1741_22.min1.thm1.tptp2017-02-06 16:47 330  
[ ]ramsey_1__1742_37.min1.thm12017-02-06 12:46 390  
[ ]ramsey_1__1743_25.min1.thm12017-02-06 12:46 532  
[ ]ramsey_1__1745_63.min1.thm12017-02-06 12:46 1.0K 
[ ]ramsey_1__1748_33.min1.thm12017-02-06 12:46 2.5K 
[ ]ramsey_1__1753_47.min1.thm12017-02-06 12:46 821  
[ ]ramsey_1__1754_24.min1.thm12017-02-06 12:46 847  
[ ]ramsey_1__1755_21.min1.thm12017-02-06 12:46 385  
[ ]ramsey_1__1755_21.min1.thm1.tptp2017-02-06 16:47 317  
[ ]ramsey_1__1757_26.min1.thm12017-02-06 12:46 468  
[ ]ramsey_1__1758_22.min1.thm12017-02-06 12:46 710  
[ ]ramsey_1__1759_37.min1.thm12017-02-06 12:46 674  
[ ]ramsey_1__1761_26.min1.thm12017-02-06 12:46 1.7K 
[ ]ramsey_1__1763_28.min1.thm12017-02-06 12:46 1.3K 
[ ]ramsey_1__1768_25.min1.thm12017-02-06 12:46 711  
[ ]ramsey_1__1768_25.min1.thm1.tptp2017-02-06 16:47 649  
[ ]ramsey_1__1773_25.min1.thm12017-02-06 12:46 804  
[ ]ramsey_1__1779_22.min1.thm12017-02-06 12:46 871  
[ ]ramsey_1__1780_17.min1.thm12017-02-06 12:46 796  
[ ]ramsey_1__1783_17.min1.thm12017-02-06 12:46 703  
[ ]ramsey_1__1783_17.min1.thm1.tptp2017-02-06 16:47 641  
[ ]ramsey_1__1787_21.min1.thm12017-02-06 12:46 576  
[ ]ramsey_1__1790_17.min1.thm12017-02-06 12:46 382  
[ ]ramsey_1__1790_17.min1.thm1.tptp2017-02-06 16:47 304  
[ ]ramsey_1__1792_42.min1.thm12017-02-06 12:46 1.2K 
[ ]ramsey_1__1793_25.min1.thm12017-02-06 12:46 648  
[ ]ramsey_1__1794_43.min1.thm12017-02-06 12:46 1.3K 
[ ]ramsey_1__1795_43.min1.thm12017-02-06 12:46 1.2K 
[ ]ramsey_1__1796_50.min1.thm12017-02-06 12:46 1.6K 
[ ]ramsey_1__1809_18.min1.thm12017-02-06 12:46 451  
[ ]ramsey_1__1813_17.min1.thm12017-02-06 12:46 648  
[ ]ramsey_1__1819_51.min1.thm12017-02-06 12:46 1.1K 
[ ]ramsey_1__1828_17.min1.thm12017-02-06 12:46 649  
[ ]ramsey_1__1829_44.min1.thm12017-02-06 12:46 624  
[ ]ramsey_1__1830_20.min1.thm12017-02-06 12:46 1.3K 
[ ]ramsey_1__1830_20.min1.thm1.tptp2017-02-06 16:47 1.2K 
[ ]ramsey_1__1839_21.min1.thm12017-02-06 12:46 903  
[ ]ramsey_1__1840_47.min1.thm12017-02-06 12:46 701  
[ ]ramsey_1__1841_68.min1.thm12017-02-06 12:46 584  
[ ]ramsey_1__1864_27.min1.thm12017-02-06 12:46 856  
[ ]ramsey_1__1867_31.min1.thm12017-02-06 12:46 1.0K 
[ ]ramsey_1__1868_27.min1.thm12017-02-06 12:46 496  
[ ]ramsey_1__1868_27.min1.thm1.tptp2017-02-06 16:47 440  
[ ]ramsey_1__1869_27.min1.thm12017-02-06 12:46 583  
[ ]ramsey_1__1870_26.min1.thm12017-02-06 12:46 1.2K 
[ ]ramsey_1__1873_28.min1.thm12017-02-06 12:46 1.2K 
[ ]ramsey_1__1877_51.min1.thm12017-02-06 12:46 1.5K 
[ ]ramsey_1__1888_32.min1.thm12017-02-06 12:46 1.2K 
[ ]ramsey_1__1892_28.min1.thm12017-02-06 12:46 964  
[ ]ramsey_1__1896_31.min1.thm12017-02-06 12:46 764  
[ ]ramsey_1__1903_26.min1.thm12017-02-06 12:46 553  
[ ]ramsey_1__1904_28.min1.thm12017-02-06 12:46 1.2K 
[ ]ramsey_1__1907_30.min1.thm12017-02-06 12:46 968  
[ ]ramsey_1__1910_33.min1.thm12017-02-06 12:46 1.1K 
[ ]ramsey_1__1920_57.min1.thm12017-02-06 12:46 734  
[ ]ramsey_1__1927_23.min1.thm12017-02-06 12:46 924  
[ ]ramsey_1__1930_33.min1.thm12017-02-06 12:46 374  
[ ]ramsey_1__1931_20.min1.thm12017-02-06 12:46 328  
[ ]ramsey_1__1933_61.min1.thm12017-02-06 12:46 1.0K 
[ ]ramsey_1__1943_17.min1.thm12017-02-06 12:46 648  
[ ]ramsey_1__1949_51.min1.thm12017-02-06 12:46 1.1K 
[ ]ramsey_1__1958_17.min1.thm12017-02-06 12:46 649  
[ ]ramsey_1__1959_44.min1.thm12017-02-06 12:46 624  
[ ]ramsey_1__1960_20.min1.thm12017-02-06 12:46 1.3K 
[ ]ramsey_1__1960_20.min1.thm1.tptp2017-02-06 16:47 1.2K 
[ ]ramsey_1__1969_21.min1.thm12017-02-06 12:46 903  
[ ]ramsey_1__1970_47.min1.thm12017-02-06 12:46 701  
[ ]ramsey_1__1971_68.min1.thm12017-02-06 12:46 584  
[ ]ramsey_1__1994_27.min1.thm12017-02-06 12:46 856  
[ ]ramsey_1__1997_31.min1.thm12017-02-06 12:46 1.0K 
[ ]ramsey_1__1998_27.min1.thm12017-02-06 12:46 496  
[ ]ramsey_1__1998_27.min1.thm1.tptp2017-02-06 16:47 440  
[ ]ramsey_1__1999_27.min1.thm12017-02-06 12:46 583  
[ ]ramsey_1__2000_26.min1.thm12017-02-06 12:46 1.2K 
[ ]ramsey_1__2003_28.min1.thm12017-02-06 12:46 1.2K 
[ ]ramsey_1__2008_51.min1.thm12017-02-06 12:46 1.5K 
[ ]ramsey_1__2019_32.min1.thm12017-02-06 12:46 1.2K 
[ ]ramsey_1__2023_28.min1.thm12017-02-06 12:46 964  
[ ]ramsey_1__2027_31.min1.thm12017-02-06 12:46 764  
[ ]ramsey_1__2034_26.min1.thm12017-02-06 12:46 553  
[ ]ramsey_1__2035_28.min1.thm12017-02-06 12:46 1.2K 
[ ]ramsey_1__2038_30.min1.thm12017-02-06 12:46 968  
[ ]ramsey_1__2041_33.min1.thm12017-02-06 12:46 1.1K 
[ ]ramsey_1__2051_57.min1.thm12017-02-06 12:46 734  
[ ]ramsey_1__2058_23.min1.thm12017-02-06 12:46 924  
[ ]ramsey_1__2061_33.min1.thm12017-02-06 12:46 374  
[ ]ramsey_1__2062_20.min1.thm12017-02-06 12:46 328  
[ ]ramsey_1__2064_61.min1.thm12017-02-06 12:46 1.0K 
[ ]ramsey_1__2073_43.min1.thm12017-02-06 12:46 2.4K 
[ ]ramsey_1__2086_11.min1.thm12017-02-06 12:46 203  
[ ]ramsey_1__2095_13.min1.thm12017-02-06 12:46 1.5K 
[ ]ramsey_1__2096_40.min1.thm12017-02-06 12:46 475  
[ ]ramsey_1__2099_12.min1.thm12017-02-06 12:46 817  
[ ]ramsey_1__2100_16.min1.thm12017-02-06 12:46 1.1K 
[ ]ramsey_1__2101_24.min1.thm12017-02-06 12:46 571  
[ ]ramsey_1__2102_17.min1.thm12017-02-06 12:46 477  
[ ]ramsey_1__2107_38.min1.thm12017-02-06 12:46 1.1K 
[ ]ramsey_1__2108_21.min1.thm12017-02-06 12:46 386  
[ ]ramsey_1__2108_21.min1.thm1.tptp2017-02-06 16:47 303  
[ ]ramsey_1__2110_19.min1.thm12017-02-06 12:46 773  
[ ]ramsey_1__2127_18.min1.thm12017-02-06 12:46 1.2K 
[ ]ramsey_1__2128_32.min1.thm12017-02-06 12:46 677  
[ ]ramsey_1__2129_32.min1.thm12017-02-06 12:46 1.2K 
[ ]ramsey_1__2130_28.min1.thm12017-02-06 12:46 701  
[ ]ramsey_1__2131_69.min1.thm12017-02-06 12:46 2.2K 
[ ]ramsey_1__2133_40.min1.thm12017-02-06 12:46 390  
[ ]ramsey_1__2133_40.min1.thm1.tptp2017-02-06 16:47 304  
[ ]ramsey_1__2134_27.min1.thm12017-02-06 12:46 1.5K 
[ ]ramsey_1__2135_36.min1.thm12017-02-06 12:46 1.0K 
[ ]ramsey_1__2139_22.min1.thm12017-02-06 12:46 603  
[ ]ramsey_1__2140_44.min1.thm12017-02-06 12:46 832  
[ ]ramsey_1__2147_23.min1.thm12017-02-06 12:46 679  
[ ]ramsey_1__2151_34.min1.thm12017-02-06 12:46 764  
[ ]ramsey_1__2152_60.min1.thm12017-02-06 12:46 534  
[ ]ramsey_1__2153_41.min1.thm12017-02-06 12:46 801  
[ ]ramsey_1__2156_46.min1.thm12017-02-06 12:46 2.1K 
[ ]ramsey_1__2162_68.min1.thm12017-02-06 12:46 653  
[ ]ramsey_1__2163_42.min1.thm12017-02-06 12:46 733  
[ ]ramsey_1__2164_41.min1.thm12017-02-06 12:46 1.4K 
[ ]ramsey_1__2182_41.min1.thm12017-02-06 12:46 439  
[ ]ramsey_1__2182_41.min1.thm1.tptp2017-02-06 16:47 375  
[ ]ramsey_1__2183_19.min1.thm12017-02-06 12:46 945  
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80