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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]matrprob__55_13.min1.thm12017-02-06 12:46 244  
[ ]matrprob__58_20.min1.thm12017-02-06 12:46 649  
[ ]matrprob__59_21.min1.thm12017-02-06 12:46 1.0K 
[ ]matrprob__60_34.min1.thm12017-02-06 12:46 865  
[ ]matrprob__61_18.min1.thm12017-02-06 12:46 524  
[ ]matrprob__65_24.min1.thm12017-02-06 12:46 1.2K 
[ ]matrprob__66_18.min1.thm12017-02-06 12:46 380  
[ ]matrprob__66_18.min1.thm1.tptp2017-02-06 16:47 297  
[ ]matrprob__76_21.min1.thm12017-02-06 12:46 723  
[ ]matrprob__77_19.min1.thm12017-02-06 12:46 1.0K 
[ ]matrprob__93_27.min1.thm12017-02-06 12:46 1.1K 
[ ]matrprob__94_26.min1.thm12017-02-06 12:46 1.2K 
[ ]matrprob__97_19.min1.thm12017-02-06 12:46 1.2K 
[ ]matrprob__98_21.min1.thm12017-02-06 12:46 503  
[ ]matrprob__99_25.min1.thm12017-02-06 12:46 865  
[ ]matrprob__106_17.min1.thm12017-02-06 12:46 1.8K 
[ ]matrprob__124_31.min1.thm12017-02-06 12:46 750  
[ ]matrprob__125_36.min1.thm12017-02-06 12:46 579  
[ ]matrprob__132_14.min1.thm12017-02-06 12:46 751  
[ ]matrprob__133_35.min1.thm12017-02-06 12:46 1.0K 
[ ]matrprob__134_31.min1.thm12017-02-06 12:46 1.0K 
[ ]matrprob__135_19.min1.thm12017-02-06 12:46 887  
[ ]matrprob__137_42.min1.thm12017-02-06 12:46 617  
[ ]matrprob__139_13.min1.thm12017-02-06 12:46 368  
[ ]matrprob__140_17.min1.thm12017-02-06 12:46 1.8K 
[ ]matrprob__157_29.min1.thm12017-02-06 12:46 2.8K 
[ ]matrprob__160_19.min1.thm12017-02-06 12:46 1.0K 
[ ]matrprob__168_13.min1.thm12017-02-06 12:46 1.3K 
[ ]matrprob__177_25.min1.thm12017-02-06 12:46 3.1K 
[ ]matrprob__181_30.min1.thm12017-02-06 12:46 2.9K 
[ ]matrprob__193_16.min1.thm12017-02-06 12:46 1.9K 
[ ]matrprob__195_14.min1.thm12017-02-06 12:46 613  
[ ]matrprob__216_23.min1.thm12017-02-06 12:46 2.3K 
[ ]matrprob__220_35.min1.thm12017-02-06 12:46 2.5K 
[ ]matrprob__224_26.min1.thm12017-02-06 12:46 1.9K 
[ ]matrprob__228_16.min1.thm12017-02-06 12:46 696  
[ ]matrprob__231_24.min1.thm12017-02-06 12:46 3.2K 
[ ]matrprob__232_40.min1.thm12017-02-06 12:46 1.9K 
[ ]matrprob__233_35.min1.thm12017-02-06 12:46 1.4K 
[ ]matrprob__236_16.min1.thm12017-02-06 12:46 2.3K 
[ ]matrprob__238_12.min1.thm12017-02-06 12:46 1.7K 
[ ]matrprob__240_14.min1.thm12017-02-06 12:46 432  
[ ]matrprob__249_11.min1.thm12017-02-06 12:46 210  
[ ]matrprob__252_15.min1.thm12017-02-06 12:46 1.1K 
[ ]matrprob__253_16.min1.thm12017-02-06 12:46 1.4K 
[ ]matrprob__257_22.min1.thm12017-02-06 12:46 1.3K 
[ ]matrprob__263_37.min1.thm12017-02-06 12:46 877  
[ ]matrprob__269_17.min1.thm12017-02-06 12:46 1.4K 
[ ]matrprob__290_43.min1.thm12017-02-06 12:46 801  
[ ]matrprob__292_17.min1.thm12017-02-06 12:46 343  
[ ]matrprob__295_23.min1.thm12017-02-06 12:46 687  
[ ]matrprob__299_27.min1.thm12017-02-06 12:46 914  
[ ]matrprob__303_23.min1.thm12017-02-06 12:46 758  
[ ]matrprob__306_18.min1.thm12017-02-06 12:46 595  
[ ]matrprob__306_18.min1.thm1.tptp2017-02-06 16:47 543  
[ ]matrprob__316_71.min1.thm12017-02-06 12:46 1.1K 
[ ]matrprob__316_71.min1.thm1.tptp2017-02-06 16:47 1.1K 
[ ]matrprob__317_24.min1.thm12017-02-06 12:46 2.2K 
[ ]matrprob__319_42.min1.thm12017-02-06 12:46 1.2K 
[ ]matrprob__322_37.min1.thm12017-02-06 12:46 869  
[ ]matrprob__324_75.min1.thm12017-02-06 12:46 2.3K 
[ ]matrprob__325_16.min1.thm12017-02-06 12:46 2.9K 
[ ]matrprob__340_11.min1.thm12017-02-06 12:46 2.3K 
[ ]matrprob__348_17.min1.thm12017-02-06 12:46 392  
[ ]matrprob__353_17.min1.thm12017-02-06 12:46 437  
[ ]matrprob__355_19.min1.thm12017-02-06 12:46 2.2K 
[ ]matrprob__366_18.min1.thm12017-02-06 12:46 1.6K 
[ ]matrprob__372_15.min1.thm12017-02-06 12:46 202  
[ ]matrprob__375_23.min1.thm12017-02-06 12:46 4.2K 
[ ]matrprob__379_25.min1.thm12017-02-06 12:46 2.2K 
[ ]matrprob__380_35.min1.thm12017-02-06 12:46 3.2K 
[ ]matrprob__381_29.min1.thm12017-02-06 12:46 910  
[ ]matrprob__386_19.min1.thm12017-02-06 12:46 1.8K 
[ ]matrprob__395_13.min1.thm12017-02-06 12:46 453  
[ ]matrprob__396_17.min1.thm12017-02-06 12:46 739  
[ ]matrprob__405_24.min1.thm12017-02-06 12:46 592  
[ ]matrprob__420_44.min1.thm12017-02-06 12:46 307  
[ ]matrprob__423_12.min1.thm12017-02-06 12:46 1.8K 
[ ]matrprob__430_24.min1.thm12017-02-06 12:46 2.5K 
[ ]matrprob__432_20.min1.thm12017-02-06 12:46 2.0K 
[ ]matrprob__434_37.min1.thm12017-02-06 12:46 873  
[ ]matrprob__436_18.min1.thm12017-02-06 12:46 1.7K 
[ ]matrprob__448_14.min1.thm12017-02-06 12:46 762  
[ ]matrprob__450_54.min1.thm12017-02-06 12:46 864  
[ ]matrprob__451_18.min1.thm12017-02-06 12:46 633  
[ ]matrprob__453_50.min1.thm12017-02-06 12:46 448  
[ ]matrprob__455_19.min1.thm12017-02-06 12:46 425  
[ ]matrprob__455_19.min1.thm1.tptp2017-02-06 16:47 361  
[ ]matrprob__457_10.min1.thm12017-02-06 12:46 509  
[ ]matrprob__458_17.min1.thm12017-02-06 12:46 1.2K 
[ ]matrprob__474_27.min1.thm12017-02-06 12:46 622  
[ ]matrprob__475_18.min1.thm12017-02-06 12:46 1.4K 
[ ]matrprob__487_62.min1.thm12017-02-06 12:46 706  
[ ]matrprob__488_16.min1.thm12017-02-06 12:46 392  
[ ]matrprob__490_14.min1.thm12017-02-06 12:46 572  
[ ]matrprob__490_14.min1.thm1.tptp2017-02-06 16:47 517  
[ ]matrprob__501_37.min1.thm12017-02-06 12:46 815  
[ ]matrprob__502_22.min1.thm12017-02-06 12:46 593  
[ ]matrprob__503_46.min1.thm12017-02-06 12:46 1.4K 
[ ]matrprob__508_15.min1.thm12017-02-06 12:46 902  
[ ]matrprob__510_17.min1.thm12017-02-06 12:46 811  
[ ]matrprob__522_23.min1.thm12017-02-06 12:46 1.5K 
[ ]matrprob__523_21.min1.thm12017-02-06 12:46 1.4K 
[ ]matrprob__524_22.min1.thm12017-02-06 12:46 1.2K 
[ ]matrprob__526_40.min1.thm12017-02-06 12:46 2.3K 
[ ]matrprob__539_14.min1.thm12017-02-06 12:46 536  
[ ]matrprob__552_26.min1.thm12017-02-06 12:46 1.2K 
[ ]matrprob__554_30.min1.thm12017-02-06 12:46 2.4K 
[ ]matrprob__556_31.min1.thm12017-02-06 12:46 1.8K 
[ ]matrprob__561_26.min1.thm12017-02-06 12:46 2.4K 
[ ]matrprob__564_17.min1.thm12017-02-06 12:46 1.2K 
[ ]matrprob__565_24.min1.thm12017-02-06 12:46 1.8K 
[ ]matrprob__581_29.min1.thm12017-02-06 12:46 1.7K 
[ ]matrprob__582_36.min1.thm12017-02-06 12:46 2.0K 
[ ]matrprob__601_36.min1.thm12017-02-06 12:46 2.4K 
[ ]matrprob__605_28.min1.thm12017-02-06 12:46 2.4K 
[ ]matrprob__606_20.min1.thm12017-02-06 12:46 1.2K 
[ ]matrprob__608_22.min1.thm12017-02-06 12:46 1.9K 
[ ]matrprob__611_40.min1.thm12017-02-06 12:46 2.4K 
[ ]matrprob__612_22.min1.thm12017-02-06 12:46 1.9K 
[ ]matrprob__613_29.min1.thm12017-02-06 12:46 2.0K 
[ ]matrprob__614_25.min1.thm12017-02-06 12:46 2.4K 
[ ]matrprob__624_49.min1.thm12017-02-06 12:46 492  
[ ]matrprob__625_16.min1.thm12017-02-06 12:46 1.0K 
[ ]matrprob__630_22.min1.thm12017-02-06 12:46 1.3K 
[ ]matrprob__631_19.min1.thm12017-02-06 12:46 1.9K 
[ ]matrprob__638_47.min1.thm12017-02-06 12:46 1.1K 
[ ]matrprob__659_22.min1.thm12017-02-06 12:46 1.3K 
[ ]matrprob__660_19.min1.thm12017-02-06 12:46 1.4K 
[ ]matrprob__667_47.min1.thm12017-02-06 12:46 1.1K 
[ ]matrprob__671_17.min1.thm12017-02-06 12:46 972  
[ ]matrprob__686_25.min1.thm12017-02-06 12:46 916  
[ ]matrprob__712_24.min1.thm12017-02-06 12:46 1.6K 
[ ]matrprob__721_22.min1.thm12017-02-06 12:46 1.6K 
[ ]matrprob__724_63.min1.thm12017-02-06 12:46 751  
[ ]matrprob__742_27.min1.thm12017-02-06 12:46 2.4K 
[ ]matrprob__757_29.min1.thm12017-02-06 12:46 2.4K 
[ ]matrprob__760_21.min1.thm12017-02-06 12:46 1.2K 
[ ]matrprob__762_29.min1.thm12017-02-06 12:46 2.4K 
[ ]matrprob__781_18.min1.thm12017-02-06 12:46 1.2K 
[ ]matrprob__793_27.min1.thm12017-02-06 12:46 1.2K 
[ ]matrprob__794_20.min1.thm12017-02-06 12:46 1.3K 
[ ]matrprob__814_27.min1.thm12017-02-06 12:46 841  
[ ]matrprob__819_17.min1.thm12017-02-06 12:46 1.2K 
[ ]matrprob__820_25.min1.thm12017-02-06 12:46 962  
[ ]matrprob__821_26.min1.thm12017-02-06 12:46 1.4K 
[ ]matrprob__838_26.min1.thm12017-02-06 12:46 1.4K 
[ ]matrprob__839_19.min1.thm12017-02-06 12:46 826  
[ ]matrprob__848_27.min1.thm12017-02-06 12:46 1.2K 
[ ]matrprob__854_33.min1.thm12017-02-06 12:46 760  
[ ]matrprob__855_21.min1.thm12017-02-06 12:46 903  
[ ]matrprob__867_25.min1.thm12017-02-06 12:46 731  
[ ]matrprob__868_28.min1.thm12017-02-06 12:46 623  
[ ]matrprob__868_28.min1.thm1.tptp2017-02-06 16:47 567  
[ ]matrprob__869_35.min1.thm12017-02-06 12:46 1.1K 
[ ]matrprob__876_34.min1.thm12017-02-06 12:46 1.8K 
[ ]matrprob__878_21.min1.thm12017-02-06 12:46 744  
[ ]matrprob__880_17.min1.thm12017-02-06 12:46 1.2K 
[ ]matrprob__881_26.min1.thm12017-02-06 12:46 2.2K 
[ ]matrprob__882_46.min1.thm12017-02-06 12:46 1.4K 
[ ]matrprob__886_34.min1.thm12017-02-06 12:46 1.3K 
[ ]matrprob__894_27.min1.thm12017-02-06 12:46 868  
[ ]matrprob__895_33.min1.thm12017-02-06 12:46 1.0K 
[ ]matrprob__901_27.min1.thm12017-02-06 12:46 1.5K 
[ ]matrprob__902_36.min1.thm12017-02-06 12:46 2.1K 
[ ]matrprob__904_24.min1.thm12017-02-06 12:46 1.1K 
[ ]matrprob__905_23.min1.thm12017-02-06 12:46 1.5K 
[ ]matrprob__906_40.min1.thm12017-02-06 12:46 1.1K 
[ ]matrprob__910_33.min1.thm12017-02-06 12:46 1.5K 
[ ]matrprob__918_11.min1.thm12017-02-06 12:46 1.2K 
[ ]matrprob__926_23.min1.thm12017-02-06 12:46 896  
[ ]matrprob__927_22.min1.thm12017-02-06 12:46 1.3K 
[ ]matrprob__928_17.min1.thm12017-02-06 12:46 782  
[ ]matrprob__938_21.min1.thm12017-02-06 12:46 944  
[ ]matrprob__939_19.min1.thm12017-02-06 12:46 1.0K 
[ ]matrprob__945_18.min1.thm12017-02-06 12:46 1.2K 
[ ]matrprob__946_28.min1.thm12017-02-06 12:46 1.4K 
[ ]matrprob__947_26.min1.thm12017-02-06 12:46 1.3K 
[ ]matrprob__953_23.min1.thm12017-02-06 12:46 2.0K 
[ ]matrprob__954_29.min1.thm12017-02-06 12:46 1.6K 
[ ]matrprob__956_21.min1.thm12017-02-06 12:46 2.0K 
[ ]matrprob__958_17.min1.thm12017-02-06 12:46 427  
[ ]matrprob__958_17.min1.thm1.tptp2017-02-06 16:47 345  
[ ]matrprob__985_30.min1.thm12017-02-06 12:46 1.8K 
[ ]matrprob__995_30.min1.thm12017-02-06 12:46 1.8K 
[ ]matrprob__996_30.min1.thm12017-02-06 12:46 1.8K 
[ ]matrprob__1001_25.min1.thm12017-02-06 12:46 436  
[ ]matrprob__1008_46.min1.thm12017-02-06 12:46 668  
[ ]matrprob__1011_25.min1.thm12017-02-06 12:46 3.4K 
[ ]matrprob__1012_29.min1.thm12017-02-06 12:46 1.8K 
[ ]matrprob__1013_33.min1.thm12017-02-06 12:46 1.9K 
[ ]matrprob__1022_56.min1.thm12017-02-06 12:46 2.0K 
[ ]matrprob__1024_30.min1.thm12017-02-06 12:46 1.3K 
[ ]matrprob__1025_26.min1.thm12017-02-06 12:46 1.3K 
[ ]matrprob__1030_32.min1.thm12017-02-06 12:46 953  
[ ]matrprob__1031_28.min1.thm12017-02-06 12:46 927  
[ ]matrprob__1046_23.min1.thm12017-02-06 12:46 454  
[ ]matrprob__1046_23.min1.thm1.tptp2017-02-06 16:47 392  
[ ]matrprob__1047_27.min1.thm12017-02-06 12:46 1.2K 
[ ]matrprob__1048_31.min1.thm12017-02-06 12:46 962  
[ ]matrprob__1050_22.min1.thm12017-02-06 12:46 1.4K 
[ ]matrprob__1051_18.min1.thm12017-02-06 12:46 548  
[ ]matrprob__1052_27.min1.thm12017-02-06 12:46 1.2K 
[ ]matrprob__1053_31.min1.thm12017-02-06 12:46 964  
[ ]matrprob__1055_22.min1.thm12017-02-06 12:46 1.4K 
[ ]matrprob__1075_24.min1.thm12017-02-06 12:46 843  
[ ]matrprob__1076_20.min1.thm12017-02-06 12:46 934  
[ ]matrprob__1079_4.min1.thm12017-02-06 12:46 1.0K 
[ ]matrprob__1101_36.min1.thm12017-02-06 12:46 1.5K 
[ ]matrprob__1102_28.min1.thm12017-02-06 12:46 1.4K 
[ ]matrprob__1103_16.min1.thm12017-02-06 12:46 274  
[ ]matrprob__1115_16.min1.thm12017-02-06 12:46 339  
[ ]matrprob__1115_16.min1.thm1.tptp2017-02-06 16:47 274  
[ ]matrprob__1118_22.min1.thm12017-02-06 12:46 2.6K 
[ ]matrprob__1122_15.min1.thm12017-02-06 12:46 225  
[ ]matrprob__1126_14.min1.thm12017-02-06 12:46 1.1K 
[ ]matrprob__1128_35.min1.thm12017-02-06 12:46 1.0K 
[ ]matrprob__1133_28.min1.thm12017-02-06 12:46 1.2K 
[ ]matrprob__1136_17.min1.thm12017-02-06 12:46 925  
[ ]matrprob__1139_24.min1.thm12017-02-06 12:46 964  
[ ]matrprob__1141_30.min1.thm12017-02-06 12:46 2.4K 
[ ]matrprob__1143_31.min1.thm12017-02-06 12:46 2.8K 
[ ]matrprob__1144_29.min1.thm12017-02-06 12:46 3.8K 
[ ]matrprob__1151_25.min1.thm12017-02-06 12:46 1.0K 
[ ]matrprob__1153_37.min1.thm12017-02-06 12:46 3.9K 
[ ]matrprob__1155_38.min1.thm12017-02-06 12:46 4.0K 
[ ]matrprob__1159_34.min1.thm12017-02-06 12:46 4.4K 
[ ]matrprob__1170_53.min1.thm12017-02-06 12:46 1.1K 
[ ]matrprob__1178_57.min1.thm12017-02-06 12:46 1.2K 
[ ]matrprob__1179_19.min1.thm12017-02-06 12:46 1.2K 
[ ]matrprob__1180_26.min1.thm12017-02-06 12:46 1.4K 
[ ]matrprob__1182_22.min1.thm12017-02-06 12:46 1.8K 
[ ]matrprob__1183_22.min1.thm12017-02-06 12:46 710  
[ ]matrprob__1184_26.min1.thm12017-02-06 12:46 1.5K 
[ ]matrprob__1185_18.min1.thm12017-02-06 12:46 505  
[ ]matrprob__1185_18.min1.thm1.tptp2017-02-06 16:47 423  
[ ]matrprob__1188_16.min1.thm12017-02-06 12:46 510  
[ ]matrprob__1188_16.min1.thm1.tptp2017-02-06 16:47 433  
[ ]matrprob__1198_26.min1.thm12017-02-06 12:46 1.1K 
[ ]matrprob__1202_49.min1.thm12017-02-06 12:46 878  
[ ]matrprob__1203_20.min1.thm12017-02-06 12:46 2.3K 
[ ]matrprob__1204_23.min1.thm12017-02-06 12:46 592  
[ ]matrprob__1208_58.min1.thm12017-02-06 12:46 3.9K 
[ ]matrprob__1209_54.min1.thm12017-02-06 12:46 1.6K 
[ ]matrprob__1212_65.min1.thm12017-02-06 12:46 2.2K 
[ ]matrprob__1216_29.min1.thm12017-02-06 12:46 2.6K 
[ ]matrprob__1217_24.min1.thm12017-02-06 12:46 2.8K 
[ ]matrprob__1223_50.min1.thm12017-02-06 12:46 867  
[ ]matrprob__1235_23.min1.thm12017-02-06 12:46 1.5K 
[ ]matrprob__1237_20.min1.thm12017-02-06 12:46 1.2K 
[ ]matrprob__1238_24.min1.thm12017-02-06 12:46 526  
[ ]matrprob__1239_23.min1.thm12017-02-06 12:46 926  
[ ]matrprob__1242_15.min1.thm12017-02-06 12:46 1.4K 
[ ]matrprob__1243_14.min1.thm12017-02-06 12:46 529  
[ ]matrprob__1243_14.min1.thm1.tptp2017-02-06 16:47 462  
[ ]matrprob__1250_36.min1.thm12017-02-06 12:46 1.0K 
[ ]matrprob__1251_18.min1.thm12017-02-06 12:46 480  
[ ]matrprob__1251_18.min1.thm1.tptp2017-02-06 16:47 407  
[ ]matrprob__1263_28.min1.thm12017-02-06 12:46 1.7K 
[ ]matrprob__1271_56.min1.thm12017-02-06 12:46 407  
[ ]matrprob__1271_56.min1.thm1.tptp2017-02-06 16:47 329  
[ ]matrprob__1273_14.min1.thm12017-02-06 12:46 432  
[ ]matrprob__1273_14.min1.thm1.tptp2017-02-06 16:47 350  
[ ]matrprob__1288_15.min1.thm12017-02-06 12:46 261  
[ ]matrprob__1291_25.min1.thm12017-02-06 12:46 1.8K 
[ ]matrprob__1295_24.min1.thm12017-02-06 12:46 650  
[ ]matrprob__1304_31.min1.thm12017-02-06 12:46 1.3K 
[ ]matrprob__1345_46.min1.thm12017-02-06 12:46 773  
[ ]matrprob__1346_17.min1.thm12017-02-06 12:46 695  
[ ]matrprob__1348_46.min1.thm12017-02-06 12:46 773  
[ ]matrprob__1349_17.min1.thm12017-02-06 12:46 786  
[ ]matrprob__1352_27.min1.thm12017-02-06 12:46 732  
[ ]matrprob__1353_17.min1.thm12017-02-06 12:46 667  
[ ]matrprob__1355_52.min1.thm12017-02-06 12:46 408  
[ ]matrprob__1355_52.min1.thm1.tptp2017-02-06 16:47 330  
[ ]matrprob__1384_44.min1.thm12017-02-06 12:46 883  
[ ]matrprob__1385_54.min1.thm12017-02-06 12:46 3.0K 
[ ]matrprob__1388_20.min1.thm12017-02-06 12:46 2.1K 
[ ]matrprob__1390_24.min1.thm12017-02-06 12:46 1.3K 
[ ]matrprob__1391_33.min1.thm12017-02-06 12:46 552  
[ ]matrprob__1397_16.min1.thm12017-02-06 12:46 511  
[ ]matrprob__1397_16.min1.thm1.tptp2017-02-06 16:47 438  
[ ]matrprob__1428_19.min1.thm12017-02-06 12:46 831  
[ ]matrprob__1441_14.min1.thm12017-02-06 12:46 403  
[ ]matrprob__1441_14.min1.thm1.tptp2017-02-06 16:47 330  
[ ]matrprob__1442_14.min1.thm12017-02-06 12:46 403  
[ ]matrprob__1442_14.min1.thm1.tptp2017-02-06 16:47 330  
[ ]matrprob__1458_26.min1.thm12017-02-06 12:46 1.5K 
[ ]matrprob__1461_24.min1.thm12017-02-06 12:46 1.3K 
[ ]matrprob__1462_25.min1.thm12017-02-06 12:46 1.2K 
[ ]matrprob__1478_26.min1.thm12017-02-06 12:46 431  
[ ]matrprob__1478_26.min1.thm1.tptp2017-02-06 16:47 358  
[ ]matrprob__1479_18.min1.thm12017-02-06 12:46 522  
[ ]matrprob__1480_22.min1.thm12017-02-06 12:46 431  
[ ]matrprob__1480_22.min1.thm1.tptp2017-02-06 16:47 358  
[ ]matrprob__1481_16.min1.thm12017-02-06 12:46 522  
[ ]matrprob__1487_27.min1.thm12017-02-06 12:46 491  
[ ]matrprob__1492_23.min1.thm12017-02-06 12:46 1.4K 
[ ]matrprob__1502_30.min1.thm12017-02-06 12:46 971  
[ ]matrprob__1513_47.min1.thm12017-02-06 12:46 698  
[ ]matrprob__1518_35.min1.thm12017-02-06 12:46 940  
[ ]matrprob__1520_38.min1.thm12017-02-06 12:46 897  
[ ]matrprob__1521_43.min1.thm12017-02-06 12:46 845  
[ ]matrprob__1525_26.min1.thm12017-02-06 12:46 889  
[ ]matrprob__1540_45.min1.thm12017-02-06 12:46 696  
[ ]matrprob__1548_34.min1.thm12017-02-06 12:46 1.0K 
[ ]matrprob__1550_39.min1.thm12017-02-06 12:46 1.2K 
[ ]matrprob__1551_44.min1.thm12017-02-06 12:46 843  
[ ]matrprob__1555_27.min1.thm12017-02-06 12:46 1.1K 
[ ]matrprob__1581_38.min1.thm12017-02-06 12:46 2.5K 
[ ]matrprob__1583_19.min1.thm12017-02-06 12:46 1.2K 
[ ]matrprob__1590_33.min1.thm12017-02-06 12:46 2.4K 
[ ]matrprob__1593_29.min1.thm12017-02-06 12:46 2.3K 
[ ]matrprob__1594_39.min1.thm12017-02-06 12:46 1.7K 
[ ]matrprob__1610_22.min1.thm12017-02-06 12:46 1.4K 
[ ]matrprob__1612_18.min1.thm12017-02-06 12:46 1.2K 
[ ]matrprob__1614_23.min1.thm12017-02-06 12:46 1.5K 
[ ]matrprob__1618_25.min1.thm12017-02-06 12:46 1.6K 
[ ]matrprob__1619_31.min1.thm12017-02-06 12:46 781  
[ ]matrprob__1642_19.min1.thm12017-02-06 12:46 2.3K 
[ ]matrprob__1644_15.min1.thm12017-02-06 12:46 2.3K 
[ ]matrprob__1647_26.min1.thm12017-02-06 12:46 2.2K 
[ ]matrprob__1648_31.min1.thm12017-02-06 12:46 1.7K 
[ ]matrprob__1652_31.min1.thm12017-02-06 12:46 2.0K 
[ ]matrprob__1655_39.min1.thm12017-02-06 12:46 909  
[ ]matrprob__1673_41.min1.thm12017-02-06 12:46 911  
[ ]matrprob__1676_41.min1.thm12017-02-06 12:46 1.2K 
[ ]matrprob__1679_45.min1.thm12017-02-06 12:46 1.4K 
[ ]matrprob__1680_21.min1.thm12017-02-06 12:46 1.4K 
[ ]matrprob__1696_23.min1.thm12017-02-06 12:46 1.3K 
[ ]matrprob__1697_25.min1.thm12017-02-06 12:46 913  
[ ]matrprob__1713_39.min1.thm12017-02-06 12:46 1.0K 
[ ]matrprob__1722_26.min1.thm12017-02-06 12:46 1.7K 
[ ]matrprob__1736_16.min1.thm12017-02-06 12:46 890  
[ ]matrprob__1760_21.min1.thm12017-02-06 12:46 937  
[ ]matrprob__1777_16.min1.thm12017-02-06 12:46 1.6K 
[ ]matrprob__1786_27.min1.thm12017-02-06 12:46 1.6K 
[ ]matrprob__1792_38.min1.thm12017-02-06 12:46 2.0K 
[ ]matrprob__1799_35.min1.thm12017-02-06 12:46 1.3K 
[ ]matrprob__1825_21.min1.thm12017-02-06 12:46 806  
[ ]matrprob__1839_26.min1.thm12017-02-06 12:46 836  
[ ]matrprob__1841_18.min1.thm12017-02-06 12:46 1.3K 
[ ]matrprob__1850_27.min1.thm12017-02-06 12:46 1.6K 
[ ]matrprob__1856_19.min1.thm12017-02-06 12:46 1.5K 
[ ]matrprob__1859_37.min1.thm12017-02-06 12:46 2.0K 
[ ]matrprob__1898_46.min1.thm12017-02-06 12:46 906  
[ ]matrprob__1899_36.min1.thm12017-02-06 12:46 1.2K 
[ ]matrprob__1912_46.min1.thm12017-02-06 12:46 906  
[ ]matrprob__1957_45.min1.thm12017-02-06 12:46 933  
[ ]matrprob__1962_13.min1.thm12017-02-06 12:46 717  
[ ]matrprob__1982_38.min1.thm12017-02-06 12:46 959  
[ ]matrprob__1983_32.min1.thm12017-02-06 12:46 1.6K 
[ ]matrprob__1987_26.min1.thm12017-02-06 12:46 732  
[ ]matrprob__1988_29.min1.thm12017-02-06 12:46 1.0K 
[ ]matrprob__1990_50.min1.thm12017-02-06 12:46 2.2K 
[ ]matrprob__1991_40.min1.thm12017-02-06 12:46 2.2K 
[ ]matrprob__1992_25.min1.thm12017-02-06 12:46 2.0K 
[ ]matrprob__1993_18.min1.thm12017-02-06 12:46 970  
[ ]matrprob__1996_20.min1.thm12017-02-06 12:46 2.4K 
[ ]matrprob__1998_10.min1.thm12017-02-06 12:46 252  
[ ]matrprob__2000_18.min1.thm12017-02-06 12:46 416  
[ ]matrprob__2002_19.min1.thm12017-02-06 12:46 2.5K 
[ ]matrprob__2009_22.min1.thm12017-02-06 12:46 1.2K 
[ ]matrprob__2010_19.min1.thm12017-02-06 12:46 2.5K 
[ ]matrprob__2012_17.min1.thm12017-02-06 12:46 810  
[ ]matrprob__2040_17.min1.thm12017-02-06 12:46 2.1K 
[ ]matrprob__2047_34.min1.thm12017-02-06 12:46 628  
[ ]matrprob__2048_17.min1.thm12017-02-06 12:46 1.8K 
[ ]matrprob__2074_14.min1.thm12017-02-06 12:46 395  
[ ]matrprob__2076_14.min1.thm12017-02-06 12:46 395  
[ ]matrprob__2085_17.min1.thm12017-02-06 12:46 1.1K 
[ ]matrprob__2087_17.min1.thm12017-02-06 12:46 1.1K 
[ ]matrprob__2088_47.min1.thm12017-02-06 12:46 1.1K 
[ ]matrprob__2089_40.min1.thm12017-02-06 12:46 1.0K 
[ ]matrprob__2094_14.min1.thm12017-02-06 12:46 2.0K 
[ ]matrprob__2096_25.min1.thm12017-02-06 12:46 1.1K 
[ ]matrprob__2097_18.min1.thm12017-02-06 12:46 1.1K 
[ ]matrprob__2098_23.min1.thm12017-02-06 12:46 1.4K 
[ ]matrprob__2100_27.min1.thm12017-02-06 12:46 3.4K 
[ ]matrprob__2101_46.min1.thm12017-02-06 12:46 640  
[ ]matrprob__2102_11.min1.thm12017-02-06 12:46 2.1K 
[ ]matrprob__2104_18.min1.thm12017-02-06 12:46 2.3K 
[ ]matrprob__2105_21.min1.thm12017-02-06 12:46 1.1K 
[ ]matrprob__2108_13.min1.thm12017-02-06 12:46 189  
[ ]matrprob__2112_19.min1.thm12017-02-06 12:46 1.6K 
[ ]matrprob__2114_15.min1.thm12017-02-06 12:46 1.3K 
[ ]matrprob__2123_22.min1.thm12017-02-06 12:46 1.3K 
[ ]matrprob__2124_28.min1.thm12017-02-06 12:46 2.0K 
[ ]matrprob__2125_27.min1.thm12017-02-06 12:46 3.1K 
[ ]matrprob__2126_28.min1.thm12017-02-06 12:46 1.2K 
[ ]matrprob__2128_23.min1.thm12017-02-06 12:46 955  
[ ]matrprob__2132_24.min1.thm12017-02-06 12:46 2.2K 
[ ]matrprob__2133_12.min1.thm12017-02-06 12:46 1.5K 
[ ]matrprob__2135_15.min1.thm12017-02-06 12:46 1.3K 
[ ]matrprob__2143_22.min1.thm12017-02-06 12:46 3.3K 
[ ]matrprob__2144_8.min1.thm12017-02-06 12:46 1.5K 
[ ]matrprob__2149_27.min1.thm12017-02-06 12:46 1.4K 
[ ]matrprob__2150_13.min1.thm12017-02-06 12:46 1.1K 
[ ]matrprob__2153_23.min1.thm12017-02-06 12:46 2.0K 
[ ]matrprob__2159_15.min1.thm12017-02-06 12:46 1.5K 
[ ]matrprob__2164_13.min1.thm12017-02-06 12:46 1.5K 
[ ]matrprob__2168_49.min1.thm12017-02-06 12:46 1.1K 
[ ]matrprob__2169_48.min1.thm12017-02-06 12:46 647  
[ ]matrprob__2170_16.min1.thm12017-02-06 12:46 2.0K 
[ ]matrprob__2172_26.min1.thm12017-02-06 12:46 1.1K 
[ ]matrprob__2173_20.min1.thm12017-02-06 12:46 1.1K 
[ ]matrprob__2175_21.min1.thm12017-02-06 12:46 1.4K 
[ ]matrprob__2176_13.min1.thm12017-02-06 12:46 2.1K 
[ ]matrprob__2178_19.min1.thm12017-02-06 12:46 2.7K 
[ ]matrprob__2179_22.min1.thm12017-02-06 12:46 1.5K 
[ ]matrprob__2182_15.min1.thm12017-02-06 12:46 191  
[ ]matrprob__2186_20.min1.thm12017-02-06 12:46 1.5K 
[ ]matrprob__2189_17.min1.thm12017-02-06 12:46 1.4K 
[ ]matrprob__2198_24.min1.thm12017-02-06 12:46 1.3K 
[ ]matrprob__2199_30.min1.thm12017-02-06 12:46 2.0K 
[ ]matrprob__2200_29.min1.thm12017-02-06 12:46 3.1K 
[ ]matrprob__2201_30.min1.thm12017-02-06 12:46 1.6K 
[ ]matrprob__2207_26.min1.thm12017-02-06 12:46 2.2K 
[ ]matrprob__2208_14.min1.thm12017-02-06 12:46 1.5K 
[ ]matrprob__2211_17.min1.thm12017-02-06 12:46 1.3K 
[ ]matrprob__2214_16.min1.thm12017-02-06 12:46 1.1K 
[ ]matrprob__2223_18.min1.thm12017-02-06 12:46 1.1K 
[ ]matrprob__2224_40.min1.thm12017-02-06 12:46 1.7K 
[ ]matrprob__2225_23.min1.thm12017-02-06 12:46 602  
[ ]matrprob__2227_18.min1.thm12017-02-06 12:46 1.8K 
[ ]matrprob__2230_18.min1.thm12017-02-06 12:46 3.1K 
[ ]matrprob__2231_16.min1.thm12017-02-06 12:46 1.2K 
[ ]matrprob__2238_21.min1.thm12017-02-06 12:46 2.8K 
[ ]matrprob__2242_17.min1.thm12017-02-06 12:46 611  
[ ]matrprob__2252_19.min1.thm12017-02-06 12:46 771  
[ ]matrprob__2254_22.min1.thm12017-02-06 12:46 1.0K 
[ ]matrprob__2255_16.min1.thm12017-02-06 12:46 1.1K 
[ ]matrprob__2256_23.min1.thm12017-02-06 12:46 1.3K 
[ ]matrprob__2257_19.min1.thm12017-02-06 12:46 1.7K 
[ ]matrprob__2268_12.min1.thm12017-02-06 12:46 2.4K 
[ ]matrprob__2269_12.min1.thm12017-02-06 12:46 2.5K 
[ ]matrprob__2271_36.min1.thm12017-02-06 12:46 879  
[ ]matrprob__2272_48.min1.thm12017-02-06 12:46 1.8K 
[ ]matrprob__2280_19.min1.thm12017-02-06 12:46 1.5K 
[ ]matrprob__2284_25.min1.thm12017-02-06 12:46 612  
[ ]matrprob__2285_11.min1.thm12017-02-06 12:46 746  
[ ]matrprob__2286_26.min1.thm12017-02-06 12:46 1.0K 
[ ]matrprob__2287_17.min1.thm12017-02-06 12:46 1.6K 
[ ]matrprob__2295_54.min1.thm12017-02-06 12:46 1.2K 
[ ]matrprob__2300_25.min1.thm12017-02-06 12:46 1.4K 
[ ]matrprob__2301_26.min1.thm12017-02-06 12:46 1.0K 
[ ]matrprob__2302_22.min1.thm12017-02-06 12:46 1.3K 
[ ]matrprob__2311_33.min1.thm12017-02-06 12:46 2.0K 
[ ]matrprob__2312_19.min1.thm12017-02-06 12:46 921  
[ ]matrprob__2325_21.min1.thm12017-02-06 12:46 1.3K 
[ ]matrprob__2326_30.min1.thm12017-02-06 12:46 1.0K 
[ ]matrprob__2328_21.min1.thm12017-02-06 12:46 1.4K 
[ ]matrprob__2329_26.min1.thm12017-02-06 12:46 598  
[ ]matrprob__2335_19.min1.thm12017-02-06 12:46 3.1K 
[ ]matrprob__2341_19.min1.thm12017-02-06 12:46 1.4K 
[ ]matrprob__2343_18.min1.thm12017-02-06 12:46 1.3K 
[ ]matrprob__2344_21.min1.thm12017-02-06 12:46 1.4K 
[ ]matrprob__2346_23.min1.thm12017-02-06 12:46 2.2K 
[ ]matrprob__2363_17.min1.thm12017-02-06 12:46 1.1K 
[ ]matrprob__2364_36.min1.thm12017-02-06 12:46 865  
[ ]matrprob__2369_14.min1.thm12017-02-06 12:46 2.0K 
[ ]matrprob__2371_25.min1.thm12017-02-06 12:46 1.1K 
[ ]matrprob__2372_18.min1.thm12017-02-06 12:46 1.1K 
[ ]matrprob__2373_23.min1.thm12017-02-06 12:46 1.4K 
[ ]matrprob__2375_27.min1.thm12017-02-06 12:46 3.3K 
[ ]matrprob__2376_51.min1.thm12017-02-06 12:46 832  
[ ]matrprob__2377_17.min1.thm12017-02-06 12:46 1.0K 
[ ]matrprob__2385_40.min1.thm12017-02-06 12:46 1.4K 
[ ]matrprob__2389_18.min1.thm12017-02-06 12:46 599  
[ ]matrprob__2390_22.min1.thm12017-02-06 12:46 1.1K 
[ ]matrprob__2391_19.min1.thm12017-02-06 12:46 2.2K 
[ ]matrprob__2392_19.min1.thm12017-02-06 12:46 2.5K 
[ ]matrprob__2394_46.min1.thm12017-02-06 12:46 640  
[ ]matrprob__2395_11.min1.thm12017-02-06 12:46 2.3K 
[ ]matrprob__2397_19.min1.thm12017-02-06 12:46 2.4K 
[ ]matrprob__2399_22.min1.thm12017-02-06 12:46 1.1K 
[ ]matrprob__2402_13.min1.thm12017-02-06 12:46 189  
[ ]matrprob__2406_18.min1.thm12017-02-06 12:46 1.5K 
[ ]matrprob__2408_14.min1.thm12017-02-06 12:46 1.4K 
[ ]matrprob__2417_22.min1.thm12017-02-06 12:46 1.3K 
[ ]matrprob__2418_28.min1.thm12017-02-06 12:46 2.0K 
[ ]matrprob__2419_27.min1.thm12017-02-06 12:46 3.3K 
[ ]matrprob__2420_28.min1.thm12017-02-06 12:46 1.2K 
[ ]matrprob__2422_23.min1.thm12017-02-06 12:46 953  
[ ]matrprob__2426_24.min1.thm12017-02-06 12:46 2.2K 
[ ]matrprob__2427_12.min1.thm12017-02-06 12:46 1.5K 
[ ]matrprob__2429_14.min1.thm12017-02-06 12:46 1.3K 
[ ]matrprob__2436_22.min1.thm12017-02-06 12:46 1.1K 
[ ]matrprob__2437_19.min1.thm12017-02-06 12:46 2.2K 
[ ]matrprob__2453_14.min1.thm12017-02-06 12:46 396  
[ ]matrprob__2457_14.min1.thm12017-02-06 12:46 396  
[ ]matrprob__2466_41.min1.thm12017-02-06 12:46 759  
[ ]matrprob__2468_16.min1.thm12017-02-06 12:46 1.1K 
[ ]matrprob__2469_23.min1.thm12017-02-06 12:46 1.3K 
[ ]matrprob__2470_19.min1.thm12017-02-06 12:46 1.7K 
[ ]matrprob__2479_55.min1.thm12017-02-06 12:46 1.2K 
[ ]matrprob__2494_19.min1.thm12017-02-06 12:46 1.4K 
[ ]matrprob__2496_17.min1.thm12017-02-06 12:46 1.3K 
[ ]matrprob__2497_21.min1.thm12017-02-06 12:46 1.4K 
[ ]matrprob__2499_23.min1.thm12017-02-06 12:46 2.2K 
[ ]matrprob__2516_56.min1.thm12017-02-06 12:46 1.3K 
[ ]matrprob__2532_28.min1.thm12017-02-06 12:46 692  
[ ]matrprob__2533_29.min1.thm12017-02-06 12:46 1.8K 
[ ]matrprob__2537_27.min1.thm12017-02-06 12:46 738  
[ ]matrprob__2543_28.min1.thm12017-02-06 12:46 692  
[ ]matrprob__2548_17.min1.thm12017-02-06 12:46 812  
[ ]matrprob__2559_25.min1.thm12017-02-06 12:46 907  
[ ]matrprob__2564_32.min1.thm12017-02-06 12:46 1.4K 
[ ]matrprob__2565_28.min1.thm12017-02-06 12:46 1.0K 
[ ]matrprob__2566_24.min1.thm12017-02-06 12:46 1.3K 
[ ]matrprob__2571_10.min1.thm12017-02-06 12:46 2.4K 
[ ]matrprob__2574_8.min1.thm12017-02-06 12:46 2.3K 
[ ]matrprob__2590_20.min1.thm12017-02-06 12:46 691  
[ ]matrprob__2590_20.min1.thm1.tptp2017-02-06 16:47 634  
[ ]matrprob__2591_55.min1.thm12017-02-06 12:46 1.2K 
[ ]matrprob__2597_23.min1.thm12017-02-06 12:46 1.5K 
[ ]matrprob__2598_24.min1.thm12017-02-06 12:46 1.3K 
[ ]matrprob__2604_20.min1.thm12017-02-06 12:46 525  
[ ]matrprob__2604_20.min1.thm1.tptp2017-02-06 16:47 451  
[ ]matrprob__2604_28.min1.thm12017-02-06 12:46 750  
[ ]matrprob__2605_16.min1.thm12017-02-06 12:46 691  
[ ]matrprob__2605_16.min1.thm1.tptp2017-02-06 16:47 634  
[ ]matrprob__2613_22.min1.thm12017-02-06 12:46 936  
[ ]matrprob__2614_55.min1.thm12017-02-06 12:46 1.2K 
[ ]matrprob__2620_25.min1.thm12017-02-06 12:46 1.5K 
[ ]matrprob__2623_21.min1.thm12017-02-06 12:46 1.9K 
[ ]matrprob__2625_17.min1.thm12017-02-06 12:46 936  
[ ]matrprob__2626_23.min1.thm12017-02-06 12:46 526  
[ ]matrprob__2626_23.min1.thm1.tptp2017-02-06 16:47 452  
[ ]matrprob__2627_13.min1.thm12017-02-06 12:46 750  
[ ]matrprob__2637_19.min1.thm12017-02-06 12:46 570  
[ ]matrprob__2638_30.min1.thm12017-02-06 12:46 2.2K 
[ ]matrprob__2640_22.min1.thm12017-02-06 12:46 713  
[ ]matrprob__2642_19.min1.thm12017-02-06 12:46 1.1K 
[ ]matrprob__2649_14.min1.thm12017-02-06 12:46 689  
[ ]matrprob__2649_14.min1.thm1.tptp2017-02-06 16:47 613  
[ ]matrprob__2661_27.min1.thm12017-02-06 12:46 844  
[ ]matrprob__2670_54.min1.thm12017-02-06 12:46 1.2K 
[ ]matrprob__2674_41.min1.thm12017-02-06 12:46 641  
[ ]matrprob__2674_41.min1.thm1.tptp2017-02-06 16:47 591  
[ ]matrprob__2683_12.min1.thm12017-02-06 12:46 2.5K 
[ ]matrprob__2685_25.min1.thm12017-02-06 12:46 795  
[ ]matrprob__2686_22.min1.thm12017-02-06 12:46 795  
[ ]matrprob__2696_18.min1.thm12017-02-06 12:46 1.6K 
[ ]matrprob__2707_11.min1.thm12017-02-06 12:46 530  
[ ]matrprob__2707_11.min1.thm1.tptp2017-02-06 16:47 471  
[ ]matrprob__2725_56.min1.thm12017-02-06 12:46 2.3K 
[ ]matrprob__2733_23.min1.thm12017-02-06 12:46 1.5K 
[ ]matrprob__2736_16.min1.thm12017-02-06 12:46 2.0K 
[ ]matrprob__2737_60.min1.thm12017-02-06 12:46 1.1K 
[ ]matrprob__2740_20.min1.thm12017-02-06 12:46 3.0K 
[ ]matrprob__2741_48.min1.thm12017-02-06 12:46 2.8K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80