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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]prob_1__55_38.min1.thm12017-02-06 12:45 460  
[ ]prob_1__61_21.min1.thm12017-02-06 12:45 485  
[ ]prob_1__88_18.min1.thm12017-02-06 12:45 635  
[ ]prob_1__89_16.min1.thm12017-02-06 12:45 649  
[ ]prob_1__101_17.min1.thm12017-02-06 12:45 735  
[ ]prob_1__103_16.min1.thm12017-02-06 12:45 411  
[ ]prob_1__103_16.min1.thm1.tptp2017-02-06 16:47 341  
[ ]prob_1__113_15.min1.thm12017-02-06 12:45 534  
[ ]prob_1__134_26.min1.thm12017-02-06 12:45 385  
[ ]prob_1__134_26.min1.thm1.tptp2017-02-06 16:47 331  
[ ]prob_1__135_16.min1.thm12017-02-06 12:45 678  
[ ]prob_1__137_14.min1.thm12017-02-06 12:45 485  
[ ]prob_1__146_47.min1.thm12017-02-06 12:45 646  
[ ]prob_1__147_24.min1.thm12017-02-06 12:45 1.0K 
[ ]prob_1__148_25.min1.thm12017-02-06 12:45 1.0K 
[ ]prob_1__150_27.min1.thm12017-02-06 12:45 896  
[ ]prob_1__151_14.min1.thm12017-02-06 12:45 1.3K 
[ ]prob_1__158_13.min1.thm12017-02-06 12:45 710  
[ ]prob_1__159_16.min1.thm12017-02-06 12:45 552  
[ ]prob_1__161_19.min1.thm12017-02-06 12:45 748  
[ ]prob_1__162_12.min1.thm12017-02-06 12:45 766  
[ ]prob_1__163_17.min1.thm12017-02-06 12:45 1.0K 
[ ]prob_1__170_13.min1.thm12017-02-06 12:45 720  
[ ]prob_1__171_22.min1.thm12017-02-06 12:45 505  
[ ]prob_1__172_8.min1.thm12017-02-06 12:45 218  
[ ]prob_1__173_12.min1.thm12017-02-06 12:45 780  
[ ]prob_1__174_17.min1.thm12017-02-06 12:45 1.3K 
[ ]prob_1__184_17.min1.thm12017-02-06 12:45 780  
[ ]prob_1__185_22.min1.thm12017-02-06 12:45 1.0K 
[ ]prob_1__186_17.min1.thm12017-02-06 12:45 693  
[ ]prob_1__193_26.min1.thm12017-02-06 12:45 511  
[ ]prob_1__194_17.min1.thm12017-02-06 12:45 1.0K 
[ ]prob_1__203_42.min1.thm12017-02-06 12:45 416  
[ ]prob_1__203_42.min1.thm1.tptp2017-02-06 16:47 351  
[ ]prob_1__204_36.min1.thm12017-02-06 12:45 332  
[ ]prob_1__205_19.min1.thm12017-02-06 12:45 802  
[ ]prob_1__212_26.min1.thm12017-02-06 12:45 529  
[ ]prob_1__213_57.min1.thm12017-02-06 12:45 703  
[ ]prob_1__216_25.min1.thm12017-02-06 12:45 546  
[ ]prob_1__217_30.min1.thm12017-02-06 12:45 657  
[ ]prob_1__218_37.min1.thm12017-02-06 12:45 750  
[ ]prob_1__220_17.min1.thm12017-02-06 12:45 1.1K 
[ ]prob_1__224_29.min1.thm12017-02-06 12:45 649  
[ ]prob_1__229_21.min1.thm12017-02-06 12:45 735  
[ ]prob_1__230_40.min1.thm12017-02-06 12:45 428  
[ ]prob_1__230_40.min1.thm1.tptp2017-02-06 16:47 377  
[ ]prob_1__231_17.min1.thm12017-02-06 12:45 1.0K 
[ ]prob_1__251_15.min1.thm12017-02-06 12:45 970  
[ ]prob_1__252_37.min1.thm12017-02-06 12:45 1.9K 
[ ]prob_1__253_15.min1.thm12017-02-06 12:45 1.6K 
[ ]prob_1__256_17.min1.thm12017-02-06 12:45 518  
[ ]prob_1__262_14.min1.thm12017-02-06 12:45 941  
[ ]prob_1__277_20.min1.thm12017-02-06 12:45 435  
[ ]prob_1__277_20.min1.thm1.tptp2017-02-06 16:47 380  
[ ]prob_1__280_17.min1.thm12017-02-06 12:45 1.0K 
[ ]prob_1__281_17.min1.thm12017-02-06 12:45 1.3K 
[ ]prob_1__282_21.min1.thm12017-02-06 12:45 1.7K 
[ ]prob_1__288_14.min1.thm12017-02-06 12:45 874  
[ ]prob_1__289_25.min1.thm12017-02-06 12:45 1.3K 
[ ]prob_1__290_28.min1.thm12017-02-06 12:45 1.9K 
[ ]prob_1__291_21.min1.thm12017-02-06 12:45 594  
[ ]prob_1__294_14.min1.thm12017-02-06 12:45 1.3K 
[ ]prob_1__309_50.min1.thm12017-02-06 12:45 902  
[ ]prob_1__309_50.min1.thm1.tptp2017-02-06 16:47 851  
[ ]prob_1__311_16.min1.thm12017-02-06 12:45 532  
[ ]prob_1__322_41.min1.thm12017-02-06 12:45 861  
[ ]prob_1__323_25.min1.thm12017-02-06 12:45 618  
[ ]prob_1__323_25.min1.thm1.tptp2017-02-06 16:47 541  
[ ]prob_1__324_20.min1.thm12017-02-06 12:45 618  
[ ]prob_1__324_20.min1.thm1.tptp2017-02-06 16:47 541  
[ ]prob_1__325_18.min1.thm12017-02-06 12:45 2.0K 
[ ]prob_1__327_38.min1.thm12017-02-06 12:45 1.5K 
[ ]prob_1__336_24.min1.thm12017-02-06 12:45 1.7K 
[ ]prob_1__336_38.min1.thm12017-02-06 12:45 670  
[ ]prob_1__336_38.min1.thm1.tptp2017-02-06 16:47 593  
[ ]prob_1__344_13.min1.thm12017-02-06 12:45 1.2K 
[ ]prob_1__354_13.min1.thm12017-02-06 12:45 1.7K 
[ ]prob_1__355_16.min1.thm12017-02-06 12:45 528  
[ ]prob_1__366_35.min1.thm12017-02-06 12:45 568  
[ ]prob_1__366_35.min1.thm1.tptp2017-02-06 16:47 489  
[ ]prob_1__367_40.min1.thm12017-02-06 12:45 1.0K 
[ ]prob_1__368_21.min1.thm12017-02-06 12:45 729  
[ ]prob_1__373_16.min1.thm12017-02-06 12:45 461  
[ ]prob_1__373_16.min1.thm1.tptp2017-02-06 16:47 380  
[ ]prob_1__374_38.min1.thm12017-02-06 12:45 717  
[ ]prob_1__375_19.min1.thm12017-02-06 12:45 692  
[ ]prob_1__387_14.min1.thm12017-02-06 12:45 1.0K 
[ ]prob_1__436_37.min1.thm12017-02-06 12:45 875  
[ ]prob_1__447_15.min1.thm12017-02-06 12:45 552  
[ ]prob_1__472_52.min1.thm12017-02-06 12:45 684  
[ ]prob_1__474_23.min1.thm12017-02-06 12:45 761  
[ ]prob_1__476_18.min1.thm12017-02-06 12:45 768  
[ ]prob_1__477_31.min1.thm12017-02-06 12:45 908  
[ ]prob_1__480_17.min1.thm12017-02-06 12:45 560  
[ ]prob_1__480_17.min1.thm1.tptp2017-02-06 16:47 470  
[ ]prob_1__486_14.min1.thm12017-02-06 12:45 565  
[ ]prob_1__503_40.min1.thm12017-02-06 12:45 1.8K 
[ ]prob_1__523_21.min1.thm12017-02-06 12:45 913  
[ ]prob_1__530_57.min1.thm12017-02-06 12:45 1.0K 
[ ]prob_1__534_16.min1.thm12017-02-06 12:45 1.3K 
[ ]prob_1__540_48.min1.thm12017-02-06 12:45 1.0K 
[ ]prob_1__541_16.min1.thm12017-02-06 12:45 866  
[ ]prob_1__543_19.min1.thm12017-02-06 12:45 808  
[ ]prob_1__544_17.min1.thm12017-02-06 12:45 900  
[ ]prob_1__558_10.min1.thm12017-02-06 12:45 562  
[ ]prob_1__559_16.min1.thm12017-02-06 12:45 594  
[ ]prob_1__564_34.min1.thm12017-02-06 12:45 569  
[ ]prob_1__564_34.min1.thm1.tptp2017-02-06 16:47 531  
[ ]prob_1__570_52.min1.thm12017-02-06 12:45 1.0K 
[ ]prob_1__576_22.min1.thm12017-02-06 12:45 1.1K 
[ ]prob_1__579_21.min1.thm12017-02-06 12:45 928  
[ ]prob_1__582_57.min1.thm12017-02-06 12:45 1.4K 
[ ]prob_1__589_24.min1.thm12017-02-06 12:45 1.2K 
[ ]prob_1__590_16.min1.thm12017-02-06 12:45 332  
[ ]prob_1__590_16.min1.thm1.tptp2017-02-06 16:47 251  
[ ]prob_1__600_14.min1.thm12017-02-06 12:45 1.0K 
[ ]prob_1__611_14.min1.thm12017-02-06 12:45 1.8K 
[ ]prob_1__622_19.min1.thm12017-02-06 12:45 1.0K 
[ ]prob_1__626_23.min1.thm12017-02-06 12:45 1.6K 
[ ]prob_1__627_21.min1.thm12017-02-06 12:45 1.1K 
[ ]prob_1__629_16.min1.thm12017-02-06 12:45 436  
[ ]prob_1__636_15.min1.thm12017-02-06 12:45 372  
[ ]prob_1__637_31.min1.thm12017-02-06 12:45 1.1K 
[ ]prob_1__638_16.min1.thm12017-02-06 12:45 953  
[ ]prob_1__641_17.min1.thm12017-02-06 12:45 1.0K 
[ ]prob_1__665_21.min1.thm12017-02-06 12:45 610  
[ ]prob_1__667_23.min1.thm12017-02-06 12:45 234  
[ ]prob_1__671_33.min1.thm12017-02-06 12:45 489  
[ ]prob_1__671_33.min1.thm1.tptp2017-02-06 16:47 425  
[ ]prob_1__673_17.min1.thm12017-02-06 12:45 525  
[ ]prob_1__692_14.min1.thm12017-02-06 12:45 578  
[ ]prob_1__693_38.min1.thm12017-02-06 12:45 671  
[ ]prob_1__694_31.min1.thm12017-02-06 12:45 863  
[ ]prob_1__695_27.min1.thm12017-02-06 12:45 855  
[ ]prob_1__696_19.min1.thm12017-02-06 12:45 1.2K 
[ ]prob_1__698_48.min1.thm12017-02-06 12:45 1.3K 
[ ]prob_1__700_16.min1.thm12017-02-06 12:45 1.2K 
[ ]prob_1__706_22.min1.thm12017-02-06 12:45 808  
[ ]prob_1__707_27.min1.thm12017-02-06 12:45 1.2K 
[ ]prob_1__709_32.min1.thm12017-02-06 12:45 1.2K 
[ ]prob_1__710_13.min1.thm12017-02-06 12:45 1.3K 
[ ]prob_1__711_27.min1.thm12017-02-06 12:45 1.4K 
[ ]prob_1__745_32.min1.thm12017-02-06 12:45 2.3K 
[ ]prob_1__746_22.min1.thm12017-02-06 12:45 891  
[ ]prob_1__747_24.min1.thm12017-02-06 12:45 1.3K 
[ ]prob_1__752_47.min1.thm12017-02-06 12:45 1.3K 
[ ]prob_1__753_53.min1.thm12017-02-06 12:45 1.5K 
[ ]prob_1__754_47.min1.thm12017-02-06 12:45 1.3K 
[ ]prob_1__755_57.min1.thm12017-02-06 12:45 1.6K 
[ ]prob_1__756_57.min1.thm12017-02-06 12:45 1.4K 
[ ]prob_1__757_54.min1.thm12017-02-06 12:45 1.5K 
[ ]prob_1__774_52.min1.thm12017-02-06 12:45 2.0K 
[ ]prob_1__775_24.min1.thm12017-02-06 12:45 525  
[ ]prob_1__775_24.min1.thm1.tptp2017-02-06 16:47 444  
[ ]prob_1__776_32.min1.thm12017-02-06 12:45 1.5K 
[ ]prob_1__777_25.min1.thm12017-02-06 12:45 747  
[ ]prob_1__779_20.min1.thm12017-02-06 12:45 446  
[ ]prob_1__788_24.min1.thm12017-02-06 12:45 458  
[ ]prob_1__796_28.min1.thm12017-02-06 12:45 1.2K 
[ ]prob_1__797_51.min1.thm12017-02-06 12:45 2.0K 
[ ]prob_1__798_32.min1.thm12017-02-06 12:45 2.7K 
[ ]prob_1__799_25.min1.thm12017-02-06 12:45 757  
[ ]prob_1__801_20.min1.thm12017-02-06 12:45 534  
[ ]prob_1__805_28.min1.thm12017-02-06 12:45 837  
[ ]prob_1__808_32.min1.thm12017-02-06 12:45 313  
[ ]prob_1__817_24.min1.thm12017-02-06 12:45 552  
[ ]prob_1__817_24.min1.thm1.tptp2017-02-06 16:47 488  
[ ]prob_1__821_15.min1.thm12017-02-06 12:45 423  
[ ]prob_1__842_42.min1.thm12017-02-06 12:45 1.2K 
[ ]prob_1__844_60.min1.thm12017-02-06 12:45 605  
[ ]prob_1__845_24.min1.thm12017-02-06 12:45 1.8K 
[ ]prob_1__852_22.min1.thm12017-02-06 12:45 1.6K 
[ ]prob_1__857_52.min1.thm12017-02-06 12:45 1.2K 
[ ]prob_1__858_12.min1.thm12017-02-06 12:45 218  
[ ]prob_1__859_31.min1.thm12017-02-06 12:45 1.2K 
[ ]prob_1__861_11.min1.thm12017-02-06 12:45 1.6K 
[ ]prob_1__862_14.min1.thm12017-02-06 12:45 494  
[ ]prob_1__868_34.min1.thm12017-02-06 12:45 1.2K 
[ ]prob_1__877_21.min1.thm12017-02-06 12:45 1.2K 
[ ]prob_1__896_22.min1.thm12017-02-06 12:45 1.8K 
[ ]prob_1__903_23.min1.thm12017-02-06 12:45 1.2K 
[ ]prob_1__906_14.min1.thm12017-02-06 12:45 614  
[ ]prob_1__938_27.min1.thm12017-02-06 12:45 652  
[ ]prob_1__952_58.min1.thm12017-02-06 12:45 1.0K 
[ ]prob_1__953_16.min1.thm12017-02-06 12:45 465  
[ ]prob_1__955_19.min1.thm12017-02-06 12:45 1.2K 
[ ]prob_1__963_72.min1.thm12017-02-06 12:45 1.5K 
[ ]prob_1__965_22.min1.thm12017-02-06 12:45 881  
[ ]prob_1__967_19.min1.thm12017-02-06 12:45 1.2K 
[ ]prob_1__979_29.min1.thm12017-02-06 12:45 969  
[ ]prob_1__984_58.min1.thm12017-02-06 12:45 1.0K 
[ ]prob_1__992_58.min1.thm12017-02-06 12:45 1.0K 
[ ]prob_1__993_20.min1.thm12017-02-06 12:45 1.0K 
[ ]prob_1__1004_45.min1.thm12017-02-06 12:45 442  
[ ]prob_1__1005_13.min1.thm12017-02-06 12:45 1.2K 
[ ]prob_1__1006_19.min1.thm12017-02-06 12:45 568  
[ ]prob_1__1008_17.min1.thm12017-02-06 12:45 1.7K 
[ ]prob_1__1015_28.min1.thm12017-02-06 12:45 1.2K 
[ ]prob_1__1016_19.min1.thm12017-02-06 12:45 380  
[ ]prob_1__1016_19.min1.thm1.tptp2017-02-06 16:47 310  
[ ]prob_1__1030_32.min1.thm12017-02-06 12:45 778  
[ ]prob_1__1031_21.min1.thm12017-02-06 12:45 1.2K 
[ ]prob_1__1033_16.min1.thm12017-02-06 12:45 389  
[ ]prob_1__1033_16.min1.thm1.tptp2017-02-06 16:47 311  
[ ]prob_1__1047_56.min1.thm12017-02-06 12:45 407  
[ ]prob_1__1047_56.min1.thm1.tptp2017-02-06 16:47 344  
[ ]prob_1__1048_26.min1.thm12017-02-06 12:45 790  
[ ]prob_1__1050_16.min1.thm12017-02-06 12:45 443  
[ ]prob_1__1057_13.min1.thm12017-02-06 12:45 790  
[ ]prob_1__1072_13.min1.thm12017-02-06 12:45 239  
[ ]prob_1__1075_24.min1.thm12017-02-06 12:45 930  
[ ]prob_1__1076_30.min1.thm12017-02-06 12:45 585  
[ ]prob_1__1077_21.min1.thm12017-02-06 12:45 970  
[ ]prob_1__1078_27.min1.thm12017-02-06 12:45 884  
[ ]prob_1__1079_21.min1.thm12017-02-06 12:45 746  
[ ]prob_1__1083_22.min1.thm12017-02-06 12:45 1.0K 
[ ]prob_1__1084_21.min1.thm12017-02-06 12:45 575  
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80