Index of /~mptp/7.13.01_4.181.1147/mptp/ilp0/pscomp_1

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]pscomp_1__62_56.min1.thm12017-02-06 12:44 2.1K 
[ ]pscomp_1__65_11.min1.thm12017-02-06 12:44 603  
[ ]pscomp_1__66_31.min1.thm12017-02-06 12:44 439  
[ ]pscomp_1__67_12.min1.thm12017-02-06 12:44 1.1K 
[ ]pscomp_1__68_17.min1.thm12017-02-06 12:44 1.0K 
[ ]pscomp_1__78_25.min1.thm12017-02-06 12:44 774  
[ ]pscomp_1__78_25.min1.thm1.tptp2017-02-06 16:47 707  
[ ]pscomp_1__100_53.min1.thm12017-02-06 12:44 1.3K 
[ ]pscomp_1__102_39.min1.thm12017-02-06 12:44 3.0K 
[ ]pscomp_1__103_34.min1.thm12017-02-06 12:44 2.4K 
[ ]pscomp_1__104_30.min1.thm12017-02-06 12:44 2.1K 
[ ]pscomp_1__113_11.min1.thm12017-02-06 12:44 754  
[ ]pscomp_1__116_11.min1.thm12017-02-06 12:44 754  
[ ]pscomp_1__144_56.min1.thm12017-02-06 12:44 1.5K 
[ ]pscomp_1__145_20.min1.thm12017-02-06 12:44 561  
[ ]pscomp_1__171_19.min1.thm12017-02-06 12:44 561  
[ ]pscomp_1__200_55.min1.thm12017-02-06 12:44 1.5K 
[ ]pscomp_1__201_19.min1.thm12017-02-06 12:44 573  
[ ]pscomp_1__227_19.min1.thm12017-02-06 12:44 573  
[ ]pscomp_1__238_18.min1.thm12017-02-06 12:44 1.6K 
[ ]pscomp_1__256_53.min1.thm12017-02-06 12:44 1.3K 
[ ]pscomp_1__258_16.min1.thm12017-02-06 12:44 1.5K 
[ ]pscomp_1__260_27.min1.thm12017-02-06 12:44 2.5K 
[ ]pscomp_1__262_13.min1.thm12017-02-06 12:44 221  
[ ]pscomp_1__266_19.min1.thm12017-02-06 12:44 806  
[ ]pscomp_1__268_21.min1.thm12017-02-06 12:44 937  
[ ]pscomp_1__269_18.min1.thm12017-02-06 12:44 1.7K 
[ ]pscomp_1__270_18.min1.thm12017-02-06 12:44 651  
[ ]pscomp_1__275_23.min1.thm12017-02-06 12:44 815  
[ ]pscomp_1__277_18.min1.thm12017-02-06 12:44 918  
[ ]pscomp_1__278_14.min1.thm12017-02-06 12:44 1.3K 
[ ]pscomp_1__279_18.min1.thm12017-02-06 12:44 1.3K 
[ ]pscomp_1__290_53.min1.thm12017-02-06 12:44 1.3K 
[ ]pscomp_1__292_16.min1.thm12017-02-06 12:44 1.5K 
[ ]pscomp_1__294_27.min1.thm12017-02-06 12:44 2.7K 
[ ]pscomp_1__296_13.min1.thm12017-02-06 12:44 221  
[ ]pscomp_1__300_19.min1.thm12017-02-06 12:44 806  
[ ]pscomp_1__302_21.min1.thm12017-02-06 12:44 937  
[ ]pscomp_1__303_18.min1.thm12017-02-06 12:44 1.9K 
[ ]pscomp_1__304_18.min1.thm12017-02-06 12:44 1.0K 
[ ]pscomp_1__309_23.min1.thm12017-02-06 12:44 815  
[ ]pscomp_1__311_18.min1.thm12017-02-06 12:44 918  
[ ]pscomp_1__312_14.min1.thm12017-02-06 12:44 1.5K 
[ ]pscomp_1__313_18.min1.thm12017-02-06 12:44 1.6K 
[ ]pscomp_1__329_24.min1.thm12017-02-06 12:44 472  
[ ]pscomp_1__331_23.min1.thm12017-02-06 12:44 1.4K 
[ ]pscomp_1__333_24.min1.thm12017-02-06 12:44 1.3K 
[ ]pscomp_1__334_45.min1.thm12017-02-06 12:44 1.6K 
[ ]pscomp_1__340_11.min1.thm12017-02-06 12:44 421  
[ ]pscomp_1__340_11.min1.thm1.tptp2017-02-06 16:47 347  
[ ]pscomp_1__342_20.min1.thm12017-02-06 12:44 700  
[ ]pscomp_1__344_21.min1.thm12017-02-06 12:44 763  
[ ]pscomp_1__346_22.min1.thm12017-02-06 12:44 1.3K 
[ ]pscomp_1__347_17.min1.thm12017-02-06 12:44 1.3K 
[ ]pscomp_1__358_20.min1.thm12017-02-06 12:44 440  
[ ]pscomp_1__371_23.min1.thm12017-02-06 12:44 686  
[ ]pscomp_1__383_13.min1.thm12017-02-06 12:44 583  
[ ]pscomp_1__384_25.min1.thm12017-02-06 12:44 649  
[ ]pscomp_1__385_62.min1.thm12017-02-06 12:44 724  
[ ]pscomp_1__387_19.min1.thm12017-02-06 12:44 511  
[ ]pscomp_1__420_27.min1.thm12017-02-06 12:44 2.5K 
[ ]pscomp_1__424_22.min1.thm12017-02-06 12:44 1.6K 
[ ]pscomp_1__428_25.min1.thm12017-02-06 12:44 711  
[ ]pscomp_1__434_28.min1.thm12017-02-06 12:44 2.3K 
[ ]pscomp_1__438_24.min1.thm12017-02-06 12:44 740  
[ ]pscomp_1__439_32.min1.thm12017-02-06 12:44 879  
[ ]pscomp_1__442_32.min1.thm12017-02-06 12:44 936  
[ ]pscomp_1__443_29.min1.thm12017-02-06 12:44 1.3K 
[ ]pscomp_1__444_35.min1.thm12017-02-06 12:44 759  
[ ]pscomp_1__446_31.min1.thm12017-02-06 12:44 941  
[ ]pscomp_1__466_29.min1.thm12017-02-06 12:44 822  
[ ]pscomp_1__467_26.min1.thm12017-02-06 12:44 2.7K 
[ ]pscomp_1__493_18.min1.thm12017-02-06 12:44 1.4K 
[ ]pscomp_1__495_36.min1.thm12017-02-06 12:44 418  
[ ]pscomp_1__496_15.min1.thm12017-02-06 12:44 773  
[ ]pscomp_1__514_18.min1.thm12017-02-06 12:44 1.4K 
[ ]pscomp_1__516_36.min1.thm12017-02-06 12:44 418  
[ ]pscomp_1__517_17.min1.thm12017-02-06 12:44 773  
[ ]pscomp_1__526_29.min1.thm12017-02-06 12:44 550  
[ ]pscomp_1__540_20.min1.thm12017-02-06 12:44 1.3K 
[ ]pscomp_1__551_14.min1.thm12017-02-06 12:44 830  
[ ]pscomp_1__567_28.min1.thm12017-02-06 12:44 952  
[ ]pscomp_1__569_26.min1.thm12017-02-06 12:44 1.3K 
[ ]pscomp_1__575_26.min1.thm12017-02-06 12:44 936  
[ ]pscomp_1__577_14.min1.thm12017-02-06 12:44 860  
[ ]pscomp_1__593_19.min1.thm12017-02-06 12:44 728  
[ ]pscomp_1__595_27.min1.thm12017-02-06 12:44 1.3K 
[ ]pscomp_1__598_23.min1.thm12017-02-06 12:44 952  
[ ]pscomp_1__602_45.min1.thm12017-02-06 12:44 565  
[ ]pscomp_1__607_26.min1.thm12017-02-06 12:44 797  
[ ]pscomp_1__609_35.min1.thm12017-02-06 12:44 1.4K 
[ ]pscomp_1__629_15.min1.thm12017-02-06 12:44 225  
[ ]pscomp_1__632_41.min1.thm12017-02-06 12:44 386  
[ ]pscomp_1__632_41.min1.thm1.tptp2017-02-06 16:47 305  
[ ]pscomp_1__634_20.min1.thm12017-02-06 12:44 1.1K 
[ ]pscomp_1__637_25.min1.thm12017-02-06 12:44 2.8K 
[ ]pscomp_1__642_19.min1.thm12017-02-06 12:44 358  
[ ]pscomp_1__642_19.min1.thm1.tptp2017-02-06 16:47 270  
[ ]pscomp_1__643_61.min1.thm12017-02-06 12:44 1.1K 
[ ]pscomp_1__643_61.min1.thm1.tptp2017-02-06 16:47 1.1K 
[ ]pscomp_1__648_50.min1.thm12017-02-06 12:44 1.1K 
[ ]pscomp_1__656_35.min1.thm12017-02-06 12:44 360  
[ ]pscomp_1__656_35.min1.thm1.tptp2017-02-06 16:47 282  
[ ]pscomp_1__657_16.min1.thm12017-02-06 12:44 2.1K 
[ ]pscomp_1__658_15.min1.thm12017-02-06 12:44 1.7K 
[ ]pscomp_1__678_23.min1.thm12017-02-06 12:44 768  
[ ]pscomp_1__679_43.min1.thm12017-02-06 12:44 774  
[ ]pscomp_1__680_45.min1.thm12017-02-06 12:44 1.4K 
[ ]pscomp_1__681_29.min1.thm12017-02-06 12:44 736  
[ ]pscomp_1__683_43.min1.thm12017-02-06 12:44 774  
[ ]pscomp_1__684_45.min1.thm12017-02-06 12:44 1.4K 
[ ]pscomp_1__685_17.min1.thm12017-02-06 12:44 738  
[ ]pscomp_1__711_37.min1.thm12017-02-06 12:44 2.2K 
[ ]pscomp_1__712_61.min1.thm12017-02-06 12:44 715  
[ ]pscomp_1__713_50.min1.thm12017-02-06 12:44 1.2K 
[ ]pscomp_1__735_28.min1.thm12017-02-06 12:44 797  
[ ]pscomp_1__737_23.min1.thm12017-02-06 12:44 455  
[ ]pscomp_1__737_23.min1.thm1.tptp2017-02-06 16:47 381  
[ ]pscomp_1__750_56.min1.thm12017-02-06 12:44 645  
[ ]pscomp_1__763_37.min1.thm12017-02-06 12:44 335  
[ ]pscomp_1__763_37.min1.thm1.tptp2017-02-06 16:47 252  
[ ]pscomp_1__769_20.min1.thm12017-02-06 12:44 528  
[ ]pscomp_1__774_26.min1.thm12017-02-06 12:44 1.7K 
[ ]pscomp_1__776_20.min1.thm12017-02-06 12:44 563  
[ ]pscomp_1__778_13.min1.thm12017-02-06 12:44 922  
[ ]pscomp_1__781_15.min1.thm12017-02-06 12:44 1.3K 
[ ]pscomp_1__782_37.min1.thm12017-02-06 12:44 870  
[ ]pscomp_1__785_18.min1.thm12017-02-06 12:44 1.5K 
[ ]pscomp_1__787_18.min1.thm12017-02-06 12:44 1.2K 
[ ]pscomp_1__788_31.min1.thm12017-02-06 12:44 408  
[ ]pscomp_1__791_24.min1.thm12017-02-06 12:44 2.1K 
[ ]pscomp_1__795_42.min1.thm12017-02-06 12:44 1.1K 
[ ]pscomp_1__804_35.min1.thm12017-02-06 12:44 2.2K 
[ ]pscomp_1__805_59.min1.thm12017-02-06 12:44 709  
[ ]pscomp_1__806_48.min1.thm12017-02-06 12:44 1.2K 
[ ]pscomp_1__812_18.min1.thm12017-02-06 12:44 520  
[ ]pscomp_1__837_26.min1.thm12017-02-06 12:44 779  
[ ]pscomp_1__839_21.min1.thm12017-02-06 12:44 439  
[ ]pscomp_1__839_21.min1.thm1.tptp2017-02-06 16:47 365  
[ ]pscomp_1__852_54.min1.thm12017-02-06 12:44 636  
[ ]pscomp_1__865_36.min1.thm12017-02-06 12:44 329  
[ ]pscomp_1__865_36.min1.thm1.tptp2017-02-06 16:47 246  
[ ]pscomp_1__867_24.min1.thm12017-02-06 12:44 1.6K 
[ ]pscomp_1__869_19.min1.thm12017-02-06 12:44 555  
[ ]pscomp_1__871_11.min1.thm12017-02-06 12:44 910  
[ ]pscomp_1__874_14.min1.thm12017-02-06 12:44 1.3K 
[ ]pscomp_1__875_35.min1.thm12017-02-06 12:44 856  
[ ]pscomp_1__878_17.min1.thm12017-02-06 12:44 1.5K 
[ ]pscomp_1__880_17.min1.thm12017-02-06 12:44 1.2K 
[ ]pscomp_1__881_29.min1.thm12017-02-06 12:44 403  
[ ]pscomp_1__884_22.min1.thm12017-02-06 12:44 2.1K 
[ ]pscomp_1__888_40.min1.thm12017-02-06 12:44 1.1K 
[ ]pscomp_1__901_15.min1.thm12017-02-06 12:44 344  
[ ]pscomp_1__913_25.min1.thm12017-02-06 12:44 905  
[ ]pscomp_1__914_69.min1.thm12017-02-06 12:44 755  
[ ]pscomp_1__914_69.min1.thm1.tptp2017-02-06 16:47 707  
[ ]pscomp_1__915_26.min1.thm12017-02-06 12:44 1.4K 
[ ]pscomp_1__916_70.min1.thm12017-02-06 12:44 1.2K 
[ ]pscomp_1__929_45.min1.thm12017-02-06 12:44 912  
[ ]pscomp_1__933_57.min1.thm12017-02-06 12:44 850  
[ ]pscomp_1__934_45.min1.thm12017-02-06 12:44 899  
[ ]pscomp_1__948_45.min1.thm12017-02-06 12:44 912  
[ ]pscomp_1__952_57.min1.thm12017-02-06 12:44 850  
[ ]pscomp_1__953_45.min1.thm12017-02-06 12:44 899  
[ ]pscomp_1__989_25.min1.thm12017-02-06 12:44 466  
[ ]pscomp_1__989_25.min1.thm1.tptp2017-02-06 16:47 389  
[ ]pscomp_1__990_19.min1.thm12017-02-06 12:44 466  
[ ]pscomp_1__990_19.min1.thm1.tptp2017-02-06 16:47 389  
[ ]pscomp_1__1010_25.min1.thm12017-02-06 12:44 466  
[ ]pscomp_1__1010_25.min1.thm1.tptp2017-02-06 16:47 389  
[ ]pscomp_1__1011_19.min1.thm12017-02-06 12:44 466  
[ ]pscomp_1__1011_19.min1.thm1.tptp2017-02-06 16:47 389  
[ ]pscomp_1__1028_27.min1.thm12017-02-06 12:44 2.0K 
[ ]pscomp_1__1030_48.min1.thm12017-02-06 12:44 952  
[ ]pscomp_1__1031_42.min1.thm12017-02-06 12:44 1.0K 
[ ]pscomp_1__1037_16.min1.thm12017-02-06 12:44 818  
[ ]pscomp_1__1041_14.min1.thm12017-02-06 12:44 589  
[ ]pscomp_1__1057_25.min1.thm12017-02-06 12:44 547  
[ ]pscomp_1__1057_25.min1.thm1.tptp2017-02-06 16:47 459  
[ ]pscomp_1__1066_26.min1.thm12017-02-06 12:44 835  
[ ]pscomp_1__1076_51.min1.thm12017-02-06 12:44 827  
[ ]pscomp_1__1096_27.min1.thm12017-02-06 12:44 2.0K 
[ ]pscomp_1__1098_48.min1.thm12017-02-06 12:44 952  
[ ]pscomp_1__1099_42.min1.thm12017-02-06 12:44 1.0K 
[ ]pscomp_1__1105_16.min1.thm12017-02-06 12:44 818  
[ ]pscomp_1__1109_14.min1.thm12017-02-06 12:44 589  
[ ]pscomp_1__1125_25.min1.thm12017-02-06 12:44 547  
[ ]pscomp_1__1125_25.min1.thm1.tptp2017-02-06 16:47 459  
[ ]pscomp_1__1134_26.min1.thm12017-02-06 12:44 835  
[ ]pscomp_1__1144_51.min1.thm12017-02-06 12:44 827  
[ ]pscomp_1__1169_20.min1.thm12017-02-06 12:44 2.0K 
[ ]pscomp_1__1173_33.min1.thm12017-02-06 12:44 423  
[ ]pscomp_1__1174_68.min1.thm12017-02-06 12:44 819  
[ ]pscomp_1__1174_68.min1.thm1.tptp2017-02-06 16:47 747  
[ ]pscomp_1__1186_22.min1.thm12017-02-06 12:44 1.3K 
[ ]pscomp_1__1207_20.min1.thm12017-02-06 12:44 2.0K 
[ ]pscomp_1__1211_33.min1.thm12017-02-06 12:44 423  
[ ]pscomp_1__1212_68.min1.thm12017-02-06 12:44 819  
[ ]pscomp_1__1212_68.min1.thm1.tptp2017-02-06 16:47 747  
[ ]pscomp_1__1224_22.min1.thm12017-02-06 12:44 1.3K 
[ ]pscomp_1__1239_13.min1.thm12017-02-06 12:44 810  
[ ]pscomp_1__1249_13.min1.thm12017-02-06 12:44 810  
[ ]pscomp_1__1274_54.min1.thm12017-02-06 12:44 1.2K 
[ ]pscomp_1__1275_26.min1.thm12017-02-06 12:44 939  
[ ]pscomp_1__1278_26.min1.thm12017-02-06 12:44 939  
[ ]pscomp_1__1291_11.min1.thm12017-02-06 12:44 1.0K 
[ ]pscomp_1__1294_11.min1.thm12017-02-06 12:44 850  
[ ]pscomp_1__1297_11.min1.thm12017-02-06 12:44 923  
[ ]pscomp_1__1300_11.min1.thm12017-02-06 12:44 850  
[ ]pscomp_1__1306_37.min1.thm12017-02-06 12:44 1.0K 
[ ]pscomp_1__1307_25.min1.thm12017-02-06 12:44 1.0K 
[ ]pscomp_1__1313_37.min1.thm12017-02-06 12:44 1.0K 
[ ]pscomp_1__1314_25.min1.thm12017-02-06 12:44 1.0K 
[ ]pscomp_1__1320_37.min1.thm12017-02-06 12:44 1.0K 
[ ]pscomp_1__1321_25.min1.thm12017-02-06 12:44 1.0K 
[ ]pscomp_1__1327_37.min1.thm12017-02-06 12:44 1.0K 
[ ]pscomp_1__1328_25.min1.thm12017-02-06 12:44 1.0K 
[ ]pscomp_1__1336_11.min1.thm12017-02-06 12:44 578  
[ ]pscomp_1__1336_11.min1.thm1.tptp2017-02-06 16:47 503  
[ ]pscomp_1__1340_11.min1.thm12017-02-06 12:44 578  
[ ]pscomp_1__1340_11.min1.thm1.tptp2017-02-06 16:47 503  
[ ]pscomp_1__1344_11.min1.thm12017-02-06 12:44 578  
[ ]pscomp_1__1344_11.min1.thm1.tptp2017-02-06 16:47 503  
[ ]pscomp_1__1348_11.min1.thm12017-02-06 12:44 578  
[ ]pscomp_1__1348_11.min1.thm1.tptp2017-02-06 16:47 503  
[ ]pscomp_1__1357_64.min1.thm12017-02-06 12:44 1.5K 
[ ]pscomp_1__1364_12.min1.thm12017-02-06 12:44 1.1K 
[ ]pscomp_1__1365_47.min1.thm12017-02-06 12:44 742  
[ ]pscomp_1__1367_64.min1.thm12017-02-06 12:44 1.5K 
[ ]pscomp_1__1376_64.min1.thm12017-02-06 12:44 1.5K 
[ ]pscomp_1__1383_13.min1.thm12017-02-06 12:44 1.1K 
[ ]pscomp_1__1384_47.min1.thm12017-02-06 12:44 742  
[ ]pscomp_1__1386_65.min1.thm12017-02-06 12:44 1.5K 
[ ]pscomp_1__1395_65.min1.thm12017-02-06 12:44 1.5K 
[ ]pscomp_1__1402_13.min1.thm12017-02-06 12:44 1.1K 
[ ]pscomp_1__1403_47.min1.thm12017-02-06 12:44 742  
[ ]pscomp_1__1405_65.min1.thm12017-02-06 12:44 1.5K 
[ ]pscomp_1__1414_65.min1.thm12017-02-06 12:44 1.5K 
[ ]pscomp_1__1421_13.min1.thm12017-02-06 12:44 1.1K 
[ ]pscomp_1__1422_47.min1.thm12017-02-06 12:44 742  
[ ]pscomp_1__1424_65.min1.thm12017-02-06 12:44 1.5K 
[ ]pscomp_1__1435_11.min1.thm12017-02-06 12:44 1.5K 
[ ]pscomp_1__1438_11.min1.thm12017-02-06 12:44 1.5K 
[ ]pscomp_1__1441_11.min1.thm12017-02-06 12:44 1.5K 
[ ]pscomp_1__1444_11.min1.thm12017-02-06 12:44 1.5K 
[ ]pscomp_1__1447_11.min1.thm12017-02-06 12:44 1.5K 
[ ]pscomp_1__1450_11.min1.thm12017-02-06 12:44 1.5K 
[ ]pscomp_1__1453_11.min1.thm12017-02-06 12:44 1.5K 
[ ]pscomp_1__1456_11.min1.thm12017-02-06 12:44 1.5K 
[ ]pscomp_1__1465_17.min1.thm12017-02-06 12:44 1.8K 
[ ]pscomp_1__1474_43.min1.thm12017-02-06 12:44 1.7K 
[ ]pscomp_1__1475_46.min1.thm12017-02-06 12:44 1.4K 
[ ]pscomp_1__1477_43.min1.thm12017-02-06 12:44 1.7K 
[ ]pscomp_1__1483_46.min1.thm12017-02-06 12:44 1.4K 
[ ]pscomp_1__1497_34.min1.thm12017-02-06 12:44 1.1K 
[ ]pscomp_1__1503_61.min1.thm12017-02-06 12:44 502  
[ ]pscomp_1__1503_61.min1.thm1.tptp2017-02-06 16:47 412  
[ ]pscomp_1__1506_4.min1.thm12017-02-06 12:44 2.5K 
[ ]pscomp_1__1517_24.min1.thm12017-02-06 12:44 1.0K 
[ ]pscomp_1__1518_32.min1.thm12017-02-06 12:44 796  
[ ]pscomp_1__1518_32.min1.thm1.tptp2017-02-06 16:47 730  
[ ]pscomp_1__1519_43.min1.thm12017-02-06 12:44 1.1K 
[ ]pscomp_1__1526_64.min1.thm12017-02-06 12:44 1.5K 
[ ]pscomp_1__1527_37.min1.thm12017-02-06 12:44 1.0K 
[ ]pscomp_1__1527_37.min1.thm1.tptp2017-02-06 16:47 929  
[ ]pscomp_1__1531_37.min1.thm12017-02-06 12:44 1.0K 
[ ]pscomp_1__1531_37.min1.thm1.tptp2017-02-06 16:47 929  
[ ]pscomp_1__1541_64.min1.thm12017-02-06 12:44 1.5K 
[ ]pscomp_1__1548_19.min1.thm12017-02-06 12:44 1.2K 
[ ]pscomp_1__1553_64.min1.thm12017-02-06 12:44 1.5K 
[ ]pscomp_1__1554_16.min1.thm12017-02-06 12:44 1.3K 
[ ]pscomp_1__1566_16.min1.thm12017-02-06 12:44 1.3K 
[ ]pscomp_1__1578_28.min1.thm12017-02-06 12:44 638  
[ ]pscomp_1__1578_28.min1.thm1.tptp2017-02-06 16:47 563  
[ ]pscomp_1__1592_27.min1.thm12017-02-06 12:44 1.0K 
[ ]pscomp_1__1593_39.min1.thm12017-02-06 12:44 1.0K 
[ ]pscomp_1__1593_39.min1.thm1.tptp2017-02-06 16:47 934  
[ ]pscomp_1__1596_26.min1.thm12017-02-06 12:44 1.5K 
[ ]pscomp_1__1597_38.min1.thm12017-02-06 12:44 801  
[ ]pscomp_1__1597_38.min1.thm1.tptp2017-02-06 16:47 735  
[ ]pscomp_1__1600_25.min1.thm12017-02-06 12:44 457  
[ ]pscomp_1__1600_25.min1.thm1.tptp2017-02-06 16:47 380  
[ ]pscomp_1__1603_26.min1.thm12017-02-06 12:44 636  
[ ]pscomp_1__1603_26.min1.thm1.tptp2017-02-06 16:47 561  
[ ]pscomp_1__1607_47.min1.thm12017-02-06 12:44 1.2K 
[ ]pscomp_1__1614_28.min1.thm12017-02-06 12:44 638  
[ ]pscomp_1__1614_28.min1.thm1.tptp2017-02-06 16:47 563  
[ ]pscomp_1__1628_27.min1.thm12017-02-06 12:44 1.0K 
[ ]pscomp_1__1629_39.min1.thm12017-02-06 12:44 1.0K 
[ ]pscomp_1__1629_39.min1.thm1.tptp2017-02-06 16:47 934  
[ ]pscomp_1__1632_26.min1.thm12017-02-06 12:44 1.5K 
[ ]pscomp_1__1633_38.min1.thm12017-02-06 12:44 801  
[ ]pscomp_1__1633_38.min1.thm1.tptp2017-02-06 16:47 735  
[ ]pscomp_1__1636_25.min1.thm12017-02-06 12:44 457  
[ ]pscomp_1__1636_25.min1.thm1.tptp2017-02-06 16:47 380  
[ ]pscomp_1__1639_26.min1.thm12017-02-06 12:44 636  
[ ]pscomp_1__1639_26.min1.thm1.tptp2017-02-06 16:47 561  
[ ]pscomp_1__1643_47.min1.thm12017-02-06 12:44 1.2K 
[ ]pscomp_1__1652_44.min1.thm12017-02-06 12:44 789  
[ ]pscomp_1__1654_17.min1.thm12017-02-06 12:44 903  
[ ]pscomp_1__1663_17.min1.thm12017-02-06 12:44 1.8K 
[ ]pscomp_1__1672_43.min1.thm12017-02-06 12:44 1.7K 
[ ]pscomp_1__1673_46.min1.thm12017-02-06 12:44 1.4K 
[ ]pscomp_1__1675_43.min1.thm12017-02-06 12:44 1.7K 
[ ]pscomp_1__1681_46.min1.thm12017-02-06 12:44 1.4K 
[ ]pscomp_1__1695_34.min1.thm12017-02-06 12:44 1.1K 
[ ]pscomp_1__1701_61.min1.thm12017-02-06 12:44 502  
[ ]pscomp_1__1701_61.min1.thm1.tptp2017-02-06 16:47 412  
[ ]pscomp_1__1704_4.min1.thm12017-02-06 12:44 2.5K 
[ ]pscomp_1__1715_24.min1.thm12017-02-06 12:44 1.0K 
[ ]pscomp_1__1716_32.min1.thm12017-02-06 12:44 796  
[ ]pscomp_1__1716_32.min1.thm1.tptp2017-02-06 16:47 730  
[ ]pscomp_1__1717_43.min1.thm12017-02-06 12:44 1.1K 
[ ]pscomp_1__1724_64.min1.thm12017-02-06 12:44 1.5K 
[ ]pscomp_1__1725_37.min1.thm12017-02-06 12:44 1.0K 
[ ]pscomp_1__1725_37.min1.thm1.tptp2017-02-06 16:47 929  
[ ]pscomp_1__1729_37.min1.thm12017-02-06 12:44 1.0K 
[ ]pscomp_1__1729_37.min1.thm1.tptp2017-02-06 16:47 929  
[ ]pscomp_1__1739_64.min1.thm12017-02-06 12:44 1.5K 
[ ]pscomp_1__1746_19.min1.thm12017-02-06 12:44 1.2K 
[ ]pscomp_1__1751_64.min1.thm12017-02-06 12:44 1.5K 
[ ]pscomp_1__1752_16.min1.thm12017-02-06 12:44 1.3K 
[ ]pscomp_1__1764_16.min1.thm12017-02-06 12:44 1.3K 
[ ]pscomp_1__1776_28.min1.thm12017-02-06 12:44 638  
[ ]pscomp_1__1776_28.min1.thm1.tptp2017-02-06 16:47 563  
[ ]pscomp_1__1790_27.min1.thm12017-02-06 12:44 1.0K 
[ ]pscomp_1__1791_39.min1.thm12017-02-06 12:44 1.0K 
[ ]pscomp_1__1791_39.min1.thm1.tptp2017-02-06 16:47 934  
[ ]pscomp_1__1794_26.min1.thm12017-02-06 12:44 1.5K 
[ ]pscomp_1__1795_38.min1.thm12017-02-06 12:44 801  
[ ]pscomp_1__1795_38.min1.thm1.tptp2017-02-06 16:47 735  
[ ]pscomp_1__1798_25.min1.thm12017-02-06 12:44 457  
[ ]pscomp_1__1798_25.min1.thm1.tptp2017-02-06 16:47 380  
[ ]pscomp_1__1801_26.min1.thm12017-02-06 12:44 636  
[ ]pscomp_1__1801_26.min1.thm1.tptp2017-02-06 16:47 561  
[ ]pscomp_1__1805_47.min1.thm12017-02-06 12:44 1.2K 
[ ]pscomp_1__1812_28.min1.thm12017-02-06 12:44 638  
[ ]pscomp_1__1812_28.min1.thm1.tptp2017-02-06 16:47 563  
[ ]pscomp_1__1826_27.min1.thm12017-02-06 12:44 1.0K 
[ ]pscomp_1__1827_39.min1.thm12017-02-06 12:44 1.0K 
[ ]pscomp_1__1827_39.min1.thm1.tptp2017-02-06 16:47 934  
[ ]pscomp_1__1831_38.min1.thm12017-02-06 12:44 801  
[ ]pscomp_1__1831_38.min1.thm1.tptp2017-02-06 16:47 735  
[ ]pscomp_1__1834_25.min1.thm12017-02-06 12:44 457  
[ ]pscomp_1__1834_25.min1.thm1.tptp2017-02-06 16:47 380  
[ ]pscomp_1__1837_26.min1.thm12017-02-06 12:44 636  
[ ]pscomp_1__1837_26.min1.thm1.tptp2017-02-06 16:47 561  
[ ]pscomp_1__1841_47.min1.thm12017-02-06 12:44 1.2K 
[ ]pscomp_1__1850_44.min1.thm12017-02-06 12:44 789  
[ ]pscomp_1__1852_17.min1.thm12017-02-06 12:44 903  
[ ]pscomp_1__1861_17.min1.thm12017-02-06 12:44 1.8K 
[ ]pscomp_1__1870_43.min1.thm12017-02-06 12:44 1.7K 
[ ]pscomp_1__1871_46.min1.thm12017-02-06 12:44 1.4K 
[ ]pscomp_1__1873_43.min1.thm12017-02-06 12:44 1.7K 
[ ]pscomp_1__1879_46.min1.thm12017-02-06 12:44 1.4K 
[ ]pscomp_1__1893_34.min1.thm12017-02-06 12:44 1.1K 
[ ]pscomp_1__1899_61.min1.thm12017-02-06 12:44 502  
[ ]pscomp_1__1899_61.min1.thm1.tptp2017-02-06 16:47 412  
[ ]pscomp_1__1902_4.min1.thm12017-02-06 12:44 2.5K 
[ ]pscomp_1__1913_24.min1.thm12017-02-06 12:44 1.0K 
[ ]pscomp_1__1914_32.min1.thm12017-02-06 12:44 796  
[ ]pscomp_1__1914_32.min1.thm1.tptp2017-02-06 16:47 730  
[ ]pscomp_1__1915_43.min1.thm12017-02-06 12:44 1.1K 
[ ]pscomp_1__1922_64.min1.thm12017-02-06 12:44 1.5K 
[ ]pscomp_1__1923_37.min1.thm12017-02-06 12:44 1.0K 
[ ]pscomp_1__1923_37.min1.thm1.tptp2017-02-06 16:47 929  
[ ]pscomp_1__1927_37.min1.thm12017-02-06 12:44 1.0K 
[ ]pscomp_1__1927_37.min1.thm1.tptp2017-02-06 16:47 929  
[ ]pscomp_1__1937_64.min1.thm12017-02-06 12:44 1.5K 
[ ]pscomp_1__1944_19.min1.thm12017-02-06 12:44 1.2K 
[ ]pscomp_1__1949_64.min1.thm12017-02-06 12:44 1.5K 
[ ]pscomp_1__1950_16.min1.thm12017-02-06 12:44 1.3K 
[ ]pscomp_1__1962_16.min1.thm12017-02-06 12:44 1.3K 
[ ]pscomp_1__1974_28.min1.thm12017-02-06 12:44 638  
[ ]pscomp_1__1974_28.min1.thm1.tptp2017-02-06 16:47 563  
[ ]pscomp_1__1988_27.min1.thm12017-02-06 12:44 1.0K 
[ ]pscomp_1__1989_39.min1.thm12017-02-06 12:44 1.0K 
[ ]pscomp_1__1989_39.min1.thm1.tptp2017-02-06 16:47 934  
[ ]pscomp_1__1992_26.min1.thm12017-02-06 12:44 1.5K 
[ ]pscomp_1__1993_38.min1.thm12017-02-06 12:44 801  
[ ]pscomp_1__1993_38.min1.thm1.tptp2017-02-06 16:47 735  
[ ]pscomp_1__1996_25.min1.thm12017-02-06 12:44 457  
[ ]pscomp_1__1996_25.min1.thm1.tptp2017-02-06 16:47 380  
[ ]pscomp_1__1999_26.min1.thm12017-02-06 12:44 636  
[ ]pscomp_1__1999_26.min1.thm1.tptp2017-02-06 16:47 561  
[ ]pscomp_1__2003_47.min1.thm12017-02-06 12:44 1.2K 
[ ]pscomp_1__2010_28.min1.thm12017-02-06 12:44 638  
[ ]pscomp_1__2010_28.min1.thm1.tptp2017-02-06 16:47 563  
[ ]pscomp_1__2024_27.min1.thm12017-02-06 12:44 1.0K 
[ ]pscomp_1__2025_39.min1.thm12017-02-06 12:44 1.0K 
[ ]pscomp_1__2025_39.min1.thm1.tptp2017-02-06 16:47 934  
[ ]pscomp_1__2029_38.min1.thm12017-02-06 12:44 801  
[ ]pscomp_1__2029_38.min1.thm1.tptp2017-02-06 16:47 735  
[ ]pscomp_1__2032_25.min1.thm12017-02-06 12:44 457  
[ ]pscomp_1__2032_25.min1.thm1.tptp2017-02-06 16:47 380  
[ ]pscomp_1__2035_26.min1.thm12017-02-06 12:44 636  
[ ]pscomp_1__2035_26.min1.thm1.tptp2017-02-06 16:47 561  
[ ]pscomp_1__2048_44.min1.thm12017-02-06 12:44 789  
[ ]pscomp_1__2050_17.min1.thm12017-02-06 12:44 903  
[ ]pscomp_1__2059_17.min1.thm12017-02-06 12:44 1.8K 
[ ]pscomp_1__2068_43.min1.thm12017-02-06 12:44 1.7K 
[ ]pscomp_1__2069_46.min1.thm12017-02-06 12:44 1.4K 
[ ]pscomp_1__2071_43.min1.thm12017-02-06 12:44 1.7K 
[ ]pscomp_1__2077_46.min1.thm12017-02-06 12:44 1.4K 
[ ]pscomp_1__2091_34.min1.thm12017-02-06 12:44 1.1K 
[ ]pscomp_1__2097_61.min1.thm12017-02-06 12:44 502  
[ ]pscomp_1__2097_61.min1.thm1.tptp2017-02-06 16:47 412  
[ ]pscomp_1__2100_4.min1.thm12017-02-06 12:44 2.5K 
[ ]pscomp_1__2111_24.min1.thm12017-02-06 12:44 1.0K 
[ ]pscomp_1__2112_32.min1.thm12017-02-06 12:44 796  
[ ]pscomp_1__2112_32.min1.thm1.tptp2017-02-06 16:47 730  
[ ]pscomp_1__2113_43.min1.thm12017-02-06 12:44 1.1K 
[ ]pscomp_1__2120_64.min1.thm12017-02-06 12:44 1.5K 
[ ]pscomp_1__2121_37.min1.thm12017-02-06 12:44 1.0K 
[ ]pscomp_1__2121_37.min1.thm1.tptp2017-02-06 16:47 929  
[ ]pscomp_1__2125_37.min1.thm12017-02-06 12:44 1.0K 
[ ]pscomp_1__2125_37.min1.thm1.tptp2017-02-06 16:47 929  
[ ]pscomp_1__2135_64.min1.thm12017-02-06 12:44 1.5K 
[ ]pscomp_1__2142_19.min1.thm12017-02-06 12:44 1.2K 
[ ]pscomp_1__2147_64.min1.thm12017-02-06 12:44 1.5K 
[ ]pscomp_1__2148_16.min1.thm12017-02-06 12:44 1.3K 
[ ]pscomp_1__2160_16.min1.thm12017-02-06 12:44 1.3K 
[ ]pscomp_1__2172_28.min1.thm12017-02-06 12:44 638  
[ ]pscomp_1__2172_28.min1.thm1.tptp2017-02-06 16:47 563  
[ ]pscomp_1__2186_27.min1.thm12017-02-06 12:44 1.0K 
[ ]pscomp_1__2187_39.min1.thm12017-02-06 12:44 1.0K 
[ ]pscomp_1__2187_39.min1.thm1.tptp2017-02-06 16:47 934  
[ ]pscomp_1__2190_26.min1.thm12017-02-06 12:44 1.5K 
[ ]pscomp_1__2191_38.min1.thm12017-02-06 12:44 801  
[ ]pscomp_1__2191_38.min1.thm1.tptp2017-02-06 16:47 735  
[ ]pscomp_1__2194_25.min1.thm12017-02-06 12:44 457  
[ ]pscomp_1__2194_25.min1.thm1.tptp2017-02-06 16:47 380  
[ ]pscomp_1__2197_26.min1.thm12017-02-06 12:44 636  
[ ]pscomp_1__2197_26.min1.thm1.tptp2017-02-06 16:47 561  
[ ]pscomp_1__2201_47.min1.thm12017-02-06 12:44 1.2K 
[ ]pscomp_1__2208_28.min1.thm12017-02-06 12:44 638  
[ ]pscomp_1__2208_28.min1.thm1.tptp2017-02-06 16:47 563  
[ ]pscomp_1__2222_27.min1.thm12017-02-06 12:44 1.0K 
[ ]pscomp_1__2223_39.min1.thm12017-02-06 12:44 1.0K 
[ ]pscomp_1__2223_39.min1.thm1.tptp2017-02-06 16:47 934  
[ ]pscomp_1__2226_26.min1.thm12017-02-06 12:44 1.5K 
[ ]pscomp_1__2227_38.min1.thm12017-02-06 12:44 801  
[ ]pscomp_1__2227_38.min1.thm1.tptp2017-02-06 16:47 735  
[ ]pscomp_1__2230_25.min1.thm12017-02-06 12:44 457  
[ ]pscomp_1__2230_25.min1.thm1.tptp2017-02-06 16:47 380  
[ ]pscomp_1__2231_26.min1.thm12017-02-06 12:44 1.1K 
[ ]pscomp_1__2233_26.min1.thm12017-02-06 12:44 636  
[ ]pscomp_1__2233_26.min1.thm1.tptp2017-02-06 16:47 561  
[ ]pscomp_1__2237_47.min1.thm12017-02-06 12:44 1.2K 
[ ]pscomp_1__2246_44.min1.thm12017-02-06 12:44 789  
[ ]pscomp_1__2248_17.min1.thm12017-02-06 12:44 903  
[ ]pscomp_1__2289_11.min1.thm12017-02-06 12:44 469  
[ ]pscomp_1__2291_11.min1.thm12017-02-06 12:44 469  
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80