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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]wellset1__38_55.min1.thm12017-02-06 12:45 469  
[ ]wellset1__39_17.min1.thm12017-02-06 12:45 1.1K 
[ ]wellset1__54_31.min1.thm12017-02-06 12:45 762  
[ ]wellset1__58_20.min1.thm12017-02-06 12:45 605  
[ ]wellset1__59_21.min1.thm12017-02-06 12:45 505  
[ ]wellset1__64_20.min1.thm12017-02-06 12:45 605  
[ ]wellset1__65_21.min1.thm12017-02-06 12:45 412  
[ ]wellset1__65_21.min1.thm1.tptp2017-02-06 16:46 350  
[ ]wellset1__67_19.min1.thm12017-02-06 12:45 916  
[ ]wellset1__74_24.min1.thm12017-02-06 12:45 1.0K 
[ ]wellset1__75_21.min1.thm12017-02-06 12:45 720  
[ ]wellset1__80_24.min1.thm12017-02-06 12:45 1.0K 
[ ]wellset1__81_21.min1.thm12017-02-06 12:45 720  
[ ]wellset1__84_19.min1.thm12017-02-06 12:45 690  
[ ]wellset1__86_17.min1.thm12017-02-06 12:45 562  
[ ]wellset1__93_54.min1.thm12017-02-06 12:45 269  
[ ]wellset1__105_27.min1.thm12017-02-06 12:45 566  
[ ]wellset1__106_31.min1.thm12017-02-06 12:45 295  
[ ]wellset1__106_31.min1.thm1.tptp2017-02-06 16:46 209  
[ ]wellset1__108_18.min1.thm12017-02-06 12:45 574  
[ ]wellset1__110_38.min1.thm12017-02-06 12:45 447  
[ ]wellset1__111_16.min1.thm12017-02-06 12:45 486  
[ ]wellset1__111_16.min1.thm1.tptp2017-02-06 16:46 427  
[ ]wellset1__123_19.min1.thm12017-02-06 12:45 428  
[ ]wellset1__124_35.min1.thm12017-02-06 12:45 399  
[ ]wellset1__126_44.min1.thm12017-02-06 12:45 1.0K 
[ ]wellset1__127_19.min1.thm12017-02-06 12:45 428  
[ ]wellset1__129_32.min1.thm12017-02-06 12:45 398  
[ ]wellset1__131_17.min1.thm12017-02-06 12:45 1.2K 
[ ]wellset1__142_23.min1.thm12017-02-06 12:45 428  
[ ]wellset1__144_36.min1.thm12017-02-06 12:45 399  
[ ]wellset1__147_24.min1.thm12017-02-06 12:45 629  
[ ]wellset1__174_31.min1.thm12017-02-06 12:45 762  
[ ]wellset1__176_60.min1.thm12017-02-06 12:45 1.2K 
[ ]wellset1__178_39.min1.thm12017-02-06 12:45 969  
[ ]wellset1__179_24.min1.thm12017-02-06 12:45 866  
[ ]wellset1__181_18.min1.thm12017-02-06 12:45 875  
[ ]wellset1__183_40.min1.thm12017-02-06 12:45 419  
[ ]wellset1__184_29.min1.thm12017-02-06 12:45 411  
[ ]wellset1__184_29.min1.thm1.tptp2017-02-06 16:46 347  
[ ]wellset1__193_27.min1.thm12017-02-06 12:45 632  
[ ]wellset1__198_27.min1.thm12017-02-06 12:45 632  
[ ]wellset1__207_23.min1.thm12017-02-06 12:45 815  
[ ]wellset1__208_23.min1.thm12017-02-06 12:45 1.0K 
[ ]wellset1__221_25.min1.thm12017-02-06 12:45 551  
[ ]wellset1__223_22.min1.thm12017-02-06 12:45 634  
[ ]wellset1__225_24.min1.thm12017-02-06 12:45 629  
[ ]wellset1__226_48.min1.thm12017-02-06 12:45 733  
[ ]wellset1__227_42.min1.thm12017-02-06 12:45 730  
[ ]wellset1__227_42.min1.thm1.tptp2017-02-06 16:46 657  
[ ]wellset1__228_24.min1.thm12017-02-06 12:45 733  
[ ]wellset1__229_22.min1.thm12017-02-06 12:45 634  
[ ]wellset1__231_24.min1.thm12017-02-06 12:45 629  
[ ]wellset1__232_24.min1.thm12017-02-06 12:45 627  
[ ]wellset1__234_33.min1.thm12017-02-06 12:45 925  
[ ]wellset1__235_24.min1.thm12017-02-06 12:45 628  
[ ]wellset1__236_38.min1.thm12017-02-06 12:45 927  
[ ]wellset1__237_73.min1.thm12017-02-06 12:45 710  
[ ]wellset1__239_52.min1.thm12017-02-06 12:45 930  
[ ]wellset1__240_34.min1.thm12017-02-06 12:45 709  
[ ]wellset1__241_23.min1.thm12017-02-06 12:45 868  
[ ]wellset1__243_21.min1.thm12017-02-06 12:45 445  
[ ]wellset1__243_21.min1.thm1.tptp2017-02-06 16:46 381  
[ ]wellset1__250_21.min1.thm12017-02-06 12:45 650  
[ ]wellset1__253_42.min1.thm12017-02-06 12:45 1.1K 
[ ]wellset1__262_26.min1.thm12017-02-06 12:45 571  
[ ]wellset1__262_26.min1.thm1.tptp2017-02-06 16:46 496  
[ ]wellset1__264_25.min1.thm12017-02-06 12:45 1.4K 
[ ]wellset1__265_27.min1.thm12017-02-06 12:45 433  
[ ]wellset1__265_27.min1.thm1.tptp2017-02-06 16:46 352  
[ ]wellset1__269_35.min1.thm12017-02-06 12:45 725  
[ ]wellset1__270_27.min1.thm12017-02-06 12:45 915  
[ ]wellset1__279_25.min1.thm12017-02-06 12:45 725  
[ ]wellset1__281_26.min1.thm12017-02-06 12:45 797  
[ ]wellset1__282_24.min1.thm12017-02-06 12:45 645  
[ ]wellset1__283_30.min1.thm12017-02-06 12:45 694  
[ ]wellset1__287_21.min1.thm12017-02-06 12:45 970  
[ ]wellset1__297_23.min1.thm12017-02-06 12:45 543  
[ ]wellset1__299_20.min1.thm12017-02-06 12:45 626  
[ ]wellset1__301_22.min1.thm12017-02-06 12:45 621  
[ ]wellset1__302_46.min1.thm12017-02-06 12:45 723  
[ ]wellset1__303_40.min1.thm12017-02-06 12:45 724  
[ ]wellset1__303_40.min1.thm1.tptp2017-02-06 16:46 651  
[ ]wellset1__304_22.min1.thm12017-02-06 12:45 723  
[ ]wellset1__305_20.min1.thm12017-02-06 12:45 626  
[ ]wellset1__307_22.min1.thm12017-02-06 12:45 621  
[ ]wellset1__308_22.min1.thm12017-02-06 12:45 621  
[ ]wellset1__310_31.min1.thm12017-02-06 12:45 912  
[ ]wellset1__311_22.min1.thm12017-02-06 12:45 622  
[ ]wellset1__312_36.min1.thm12017-02-06 12:45 913  
[ ]wellset1__313_71.min1.thm12017-02-06 12:45 700  
[ ]wellset1__315_50.min1.thm12017-02-06 12:45 918  
[ ]wellset1__316_32.min1.thm12017-02-06 12:45 700  
[ ]wellset1__317_21.min1.thm12017-02-06 12:45 850  
[ ]wellset1__324_21.min1.thm12017-02-06 12:45 650  
[ ]wellset1__327_42.min1.thm12017-02-06 12:45 1.1K 
[ ]wellset1__336_26.min1.thm12017-02-06 12:45 571  
[ ]wellset1__336_26.min1.thm1.tptp2017-02-06 16:46 496  
[ ]wellset1__338_25.min1.thm12017-02-06 12:45 1.4K 
[ ]wellset1__339_27.min1.thm12017-02-06 12:45 434  
[ ]wellset1__339_27.min1.thm1.tptp2017-02-06 16:46 353  
[ ]wellset1__343_35.min1.thm12017-02-06 12:45 725  
[ ]wellset1__344_27.min1.thm12017-02-06 12:45 915  
[ ]wellset1__353_25.min1.thm12017-02-06 12:45 725  
[ ]wellset1__355_26.min1.thm12017-02-06 12:45 797  
[ ]wellset1__356_24.min1.thm12017-02-06 12:45 645  
[ ]wellset1__357_30.min1.thm12017-02-06 12:45 694  
[ ]wellset1__361_21.min1.thm12017-02-06 12:45 970  
[ ]wellset1__367_24.min1.thm12017-02-06 12:45 478  
[ ]wellset1__367_24.min1.thm1.tptp2017-02-06 16:46 419  
[ ]wellset1__371_20.min1.thm12017-02-06 12:45 1.0K 
[ ]wellset1__374_24.min1.thm12017-02-06 12:45 478  
[ ]wellset1__374_24.min1.thm1.tptp2017-02-06 16:46 419  
[ ]wellset1__378_20.min1.thm12017-02-06 12:45 1.0K 
[ ]wellset1__379_28.min1.thm12017-02-06 12:45 1.0K 
[ ]wellset1__380_16.min1.thm12017-02-06 12:45 797  
[ ]wellset1__392_22.min1.thm12017-02-06 12:45 848  
[ ]wellset1__393_61.min1.thm12017-02-06 12:45 872  
[ ]wellset1__396_61.min1.thm12017-02-06 12:45 1.0K 
[ ]wellset1__397_27.min1.thm12017-02-06 12:45 709  
[ ]wellset1__398_25.min1.thm12017-02-06 12:45 1.8K 
[ ]wellset1__409_22.min1.thm12017-02-06 12:45 848  
[ ]wellset1__410_61.min1.thm12017-02-06 12:45 872  
[ ]wellset1__413_61.min1.thm12017-02-06 12:45 1.0K 
[ ]wellset1__414_27.min1.thm12017-02-06 12:45 785  
[ ]wellset1__415_25.min1.thm12017-02-06 12:45 1.8K 
[ ]wellset1__417_23.min1.thm12017-02-06 12:45 1.6K 
[ ]wellset1__432_59.min1.thm12017-02-06 12:45 770  
[ ]wellset1__433_18.min1.thm12017-02-06 12:45 788  
[ ]wellset1__435_25.min1.thm12017-02-06 12:45 567  
[ ]wellset1__435_25.min1.thm1.tptp2017-02-06 16:46 492  
[ ]wellset1__436_18.min1.thm12017-02-06 12:45 788  
[ ]wellset1__437_64.min1.thm12017-02-06 12:45 823  
[ ]wellset1__438_23.min1.thm12017-02-06 12:45 1.1K 
[ ]wellset1__440_21.min1.thm12017-02-06 12:45 1.0K 
[ ]wellset1__452_59.min1.thm12017-02-06 12:45 770  
[ ]wellset1__453_18.min1.thm12017-02-06 12:45 788  
[ ]wellset1__455_25.min1.thm12017-02-06 12:45 567  
[ ]wellset1__455_25.min1.thm1.tptp2017-02-06 16:46 492  
[ ]wellset1__456_18.min1.thm12017-02-06 12:45 788  
[ ]wellset1__457_64.min1.thm12017-02-06 12:45 823  
[ ]wellset1__458_23.min1.thm12017-02-06 12:45 1.1K 
[ ]wellset1__460_21.min1.thm12017-02-06 12:45 1.0K 
[ ]wellset1__462_19.min1.thm12017-02-06 12:45 1.1K 
[ ]wellset1__473_15.min1.thm12017-02-06 12:45 765  
[ ]wellset1__476_15.min1.thm12017-02-06 12:45 765  
[ ]wellset1__479_28.min1.thm12017-02-06 12:45 634  
[ ]wellset1__480_37.min1.thm12017-02-06 12:45 421  
[ ]wellset1__482_40.min1.thm12017-02-06 12:45 526  
[ ]wellset1__485_43.min1.thm12017-02-06 12:45 1.1K 
[ ]wellset1__486_21.min1.thm12017-02-06 12:45 1.5K 
[ ]wellset1__490_28.min1.thm12017-02-06 12:45 635  
[ ]wellset1__491_37.min1.thm12017-02-06 12:45 421  
[ ]wellset1__493_40.min1.thm12017-02-06 12:45 526  
[ ]wellset1__496_43.min1.thm12017-02-06 12:45 1.1K 
[ ]wellset1__497_21.min1.thm12017-02-06 12:45 1.5K 
[ ]wellset1__499_19.min1.thm12017-02-06 12:45 1.0K 
[ ]wellset1__502_37.min1.thm12017-02-06 12:45 855  
[ ]wellset1__510_32.min1.thm12017-02-06 12:45 772  
[ ]wellset1__515_16.min1.thm12017-02-06 12:45 710  
[ ]wellset1__516_71.min1.thm12017-02-06 12:45 1.4K 
[ ]wellset1__518_21.min1.thm12017-02-06 12:45 1.0K 
[ ]wellset1__524_16.min1.thm12017-02-06 12:45 710  
[ ]wellset1__525_71.min1.thm12017-02-06 12:45 1.4K 
[ ]wellset1__527_21.min1.thm12017-02-06 12:45 1.0K 
[ ]wellset1__529_19.min1.thm12017-02-06 12:45 1.1K 
[ ]wellset1__538_15.min1.thm12017-02-06 12:45 517  
[ ]wellset1__538_15.min1.thm1.tptp2017-02-06 16:46 454  
[ ]wellset1__539_21.min1.thm12017-02-06 12:45 474  
[ ]wellset1__539_21.min1.thm1.tptp2017-02-06 16:46 404  
[ ]wellset1__540_27.min1.thm12017-02-06 12:45 476  
[ ]wellset1__546_19.min1.thm12017-02-06 12:45 622  
[ ]wellset1__547_26.min1.thm12017-02-06 12:45 619  
[ ]wellset1__548_26.min1.thm12017-02-06 12:45 1.1K 
[ ]wellset1__550_19.min1.thm12017-02-06 12:45 1.0K 
[ ]wellset1__551_17.min1.thm12017-02-06 12:45 488  
[ ]wellset1__552_21.min1.thm12017-02-06 12:45 689  
[ ]wellset1__558_24.min1.thm12017-02-06 12:45 614  
[ ]wellset1__561_16.min1.thm12017-02-06 12:45 773  
[ ]wellset1__562_22.min1.thm12017-02-06 12:45 625  
[ ]wellset1__563_17.min1.thm12017-02-06 12:45 547  
[ ]wellset1__564_28.min1.thm12017-02-06 12:45 705  
[ ]wellset1__565_21.min1.thm12017-02-06 12:45 1.1K 
[ ]wellset1__568_19.min1.thm12017-02-06 12:45 1.0K 
[ ]wellset1__578_16.min1.thm12017-02-06 12:45 517  
[ ]wellset1__578_16.min1.thm1.tptp2017-02-06 16:46 454  
[ ]wellset1__581_16.min1.thm12017-02-06 12:45 517  
[ ]wellset1__581_16.min1.thm1.tptp2017-02-06 16:46 454  
[ ]wellset1__582_36.min1.thm12017-02-06 12:45 620  
[ ]wellset1__585_28.min1.thm12017-02-06 12:45 634  
[ ]wellset1__586_37.min1.thm12017-02-06 12:45 421  
[ ]wellset1__588_36.min1.thm12017-02-06 12:45 526  
[ ]wellset1__590_34.min1.thm12017-02-06 12:45 546  
[ ]wellset1__591_40.min1.thm12017-02-06 12:45 1.5K 
[ ]wellset1__592_21.min1.thm12017-02-06 12:45 1.2K 
[ ]wellset1__596_28.min1.thm12017-02-06 12:45 634  
[ ]wellset1__597_37.min1.thm12017-02-06 12:45 421  
[ ]wellset1__599_36.min1.thm12017-02-06 12:45 526  
[ ]wellset1__601_34.min1.thm12017-02-06 12:45 546  
[ ]wellset1__602_40.min1.thm12017-02-06 12:45 1.5K 
[ ]wellset1__603_21.min1.thm12017-02-06 12:45 1.2K 
[ ]wellset1__605_19.min1.thm12017-02-06 12:45 1.4K 
[ ]wellset1__608_34.min1.thm12017-02-06 12:45 877  
[ ]wellset1__616_19.min1.thm12017-02-06 12:45 691  
[ ]wellset1__619_15.min1.thm12017-02-06 12:45 549  
[ ]wellset1__619_15.min1.thm1.tptp2017-02-06 16:46 486  
[ ]wellset1__620_25.min1.thm12017-02-06 12:45 632  
[ ]wellset1__621_33.min1.thm12017-02-06 12:45 417  
[ ]wellset1__623_37.min1.thm12017-02-06 12:45 523  
[ ]wellset1__625_21.min1.thm12017-02-06 12:45 392  
[ ]wellset1__625_21.min1.thm1.tptp2017-02-06 16:46 318  
[ ]wellset1__626_14.min1.thm12017-02-06 12:45 877  
[ ]wellset1__629_26.min1.thm12017-02-06 12:45 906  
[ ]wellset1__633_20.min1.thm12017-02-06 12:45 506  
[ ]wellset1__637_15.min1.thm12017-02-06 12:45 614  
[ ]wellset1__638_19.min1.thm12017-02-06 12:45 705  
[ ]wellset1__641_16.min1.thm12017-02-06 12:45 939  
[ ]wellset1__642_22.min1.thm12017-02-06 12:45 792  
[ ]wellset1__643_13.min1.thm12017-02-06 12:45 552  
[ ]wellset1__644_28.min1.thm12017-02-06 12:45 800  
[ ]wellset1__646_22.min1.thm12017-02-06 12:45 1.8K 
[ ]wellset1__647_24.min1.thm12017-02-06 12:45 624  
[ ]wellset1__648_26.min1.thm12017-02-06 12:45 621  
[ ]wellset1__649_20.min1.thm12017-02-06 12:45 531  
[ ]wellset1__652_16.min1.thm12017-02-06 12:45 360  
[ ]wellset1__663_36.min1.thm12017-02-06 12:45 954  
[ ]wellset1__666_16.min1.thm12017-02-06 12:45 765  
[ ]wellset1__669_16.min1.thm12017-02-06 12:45 766  
[ ]wellset1__675_30.min1.thm12017-02-06 12:45 636  
[ ]wellset1__676_39.min1.thm12017-02-06 12:45 425  
[ ]wellset1__678_42.min1.thm12017-02-06 12:45 530  
[ ]wellset1__679_29.min1.thm12017-02-06 12:45 718  
[ ]wellset1__680_37.min1.thm12017-02-06 12:45 435  
[ ]wellset1__682_36.min1.thm12017-02-06 12:45 542  
[ ]wellset1__683_40.min1.thm12017-02-06 12:45 674  
[ ]wellset1__685_27.min1.thm12017-02-06 12:45 915  
[ ]wellset1__687_14.min1.thm12017-02-06 12:45 1.1K 
[ ]wellset1__688_23.min1.thm12017-02-06 12:45 785  
[ ]wellset1__689_23.min1.thm12017-02-06 12:45 780  
[ ]wellset1__691_37.min1.thm12017-02-06 12:45 1.0K 
[ ]wellset1__692_34.min1.thm12017-02-06 12:45 1.1K 
[ ]wellset1__693_21.min1.thm12017-02-06 12:45 1.3K 
[ ]wellset1__698_12.min1.thm12017-02-06 12:45 606  
[ ]wellset1__698_12.min1.thm1.tptp2017-02-06 16:46 540  
[ ]wellset1__699_21.min1.thm12017-02-06 12:45 613  
[ ]wellset1__700_25.min1.thm12017-02-06 12:45 634  
[ ]wellset1__701_33.min1.thm12017-02-06 12:45 419  
[ ]wellset1__703_35.min1.thm12017-02-06 12:45 524  
[ ]wellset1__704_34.min1.thm12017-02-06 12:45 672  
[ ]wellset1__705_22.min1.thm12017-02-06 12:45 1.1K 
[ ]wellset1__706_19.min1.thm12017-02-06 12:45 1.0K 
[ ]wellset1__709_35.min1.thm12017-02-06 12:45 1.0K 
[ ]wellset1__716_15.min1.thm12017-02-06 12:45 517  
[ ]wellset1__716_15.min1.thm1.tptp2017-02-06 16:46 454  
[ ]wellset1__717_25.min1.thm12017-02-06 12:45 632  
[ ]wellset1__718_33.min1.thm12017-02-06 12:45 417  
[ ]wellset1__719_37.min1.thm12017-02-06 12:45 522  
[ ]wellset1__721_19.min1.thm12017-02-06 12:45 681  
[ ]wellset1__722_19.min1.thm12017-02-06 12:45 474  
[ ]wellset1__722_19.min1.thm1.tptp2017-02-06 16:46 404  
[ ]wellset1__723_19.min1.thm12017-02-06 12:45 1.0K 
[ ]wellset1__728_52.min1.thm12017-02-06 12:45 314  
[ ]wellset1__729_42.min1.thm12017-02-06 12:45 533  
[ ]wellset1__730_69.min1.thm12017-02-06 12:45 920  
[ ]wellset1__731_51.min1.thm12017-02-06 12:45 1.3K 
[ ]wellset1__733_23.min1.thm12017-02-06 12:45 1.8K 
[ ]wellset1__734_25.min1.thm12017-02-06 12:45 558  
[ ]wellset1__734_25.min1.thm1.tptp2017-02-06 16:46 482  
[ ]wellset1__736_30.min1.thm12017-02-06 12:45 581  
[ ]wellset1__736_30.min1.thm1.tptp2017-02-06 16:46 505  
[ ]wellset1__745_55.min1.thm12017-02-06 12:45 1.1K 
[ ]wellset1__748_46.min1.thm12017-02-06 12:45 1.6K 
[ ]wellset1__749_45.min1.thm12017-02-06 12:45 1.2K 
[ ]wellset1__750_18.min1.thm12017-02-06 12:45 522  
[ ]wellset1__750_18.min1.thm1.tptp2017-02-06 16:46 443  
[ ]wellset1__756_37.min1.thm12017-02-06 12:45 849  
[ ]wellset1__757_46.min1.thm12017-02-06 12:45 1.6K 
[ ]wellset1__759_57.min1.thm12017-02-06 12:45 1.3K 
[ ]wellset1__760_62.min1.thm12017-02-06 12:45 955  
[ ]wellset1__761_64.min1.thm12017-02-06 12:45 862  
[ ]wellset1__762_18.min1.thm12017-02-06 12:45 627  
[ ]wellset1__762_18.min1.thm1.tptp2017-02-06 16:46 551  
[ ]wellset1__767_39.min1.thm12017-02-06 12:45 944  
[ ]wellset1__768_21.min1.thm12017-02-06 12:45 556  
[ ]wellset1__768_21.min1.thm1.tptp2017-02-06 16:46 491  
[ ]wellset1__772_60.min1.thm12017-02-06 12:45 1.5K 
[ ]wellset1__773_21.min1.thm12017-02-06 12:45 1.0K 
[ ]wellset1__785_17.min1.thm12017-02-06 12:45 598  
[ ]wellset1__789_29.min1.thm12017-02-06 12:45 824  
[ ]wellset1__790_25.min1.thm12017-02-06 12:45 770  
[ ]wellset1__795_29.min1.thm12017-02-06 12:45 903  
[ ]wellset1__796_25.min1.thm12017-02-06 12:45 770  
[ ]wellset1__798_23.min1.thm12017-02-06 12:45 1.2K 
[ ]wellset1__804_17.min1.thm12017-02-06 12:45 598  
[ ]wellset1__808_29.min1.thm12017-02-06 12:45 824  
[ ]wellset1__809_25.min1.thm12017-02-06 12:45 770  
[ ]wellset1__814_29.min1.thm12017-02-06 12:45 903  
[ ]wellset1__815_25.min1.thm12017-02-06 12:45 770  
[ ]wellset1__817_23.min1.thm12017-02-06 12:45 1.2K 
[ ]wellset1__822_40.min1.thm12017-02-06 12:45 946  
[ ]wellset1__823_23.min1.thm12017-02-06 12:45 929  
[ ]wellset1__825_21.min1.thm12017-02-06 12:45 1.2K 
[ ]wellset1__828_36.min1.thm12017-02-06 12:45 907  
[ ]wellset1__836_27.min1.thm12017-02-06 12:45 630  
[ ]wellset1__837_34.min1.thm12017-02-06 12:45 556  
[ ]wellset1__837_34.min1.thm1.tptp2017-02-06 16:46 475  
[ ]wellset1__839_21.min1.thm12017-02-06 12:45 837  
[ ]wellset1__840_22.min1.thm12017-02-06 12:45 630  
[ ]wellset1__841_34.min1.thm12017-02-06 12:45 556  
[ ]wellset1__841_34.min1.thm1.tptp2017-02-06 16:46 475  
[ ]wellset1__842_26.min1.thm12017-02-06 12:45 837  
[ ]wellset1__843_21.min1.thm12017-02-06 12:45 710  
[ ]wellset1__846_36.min1.thm12017-02-06 12:45 819  
[ ]wellset1__847_26.min1.thm12017-02-06 12:45 496  
[ ]wellset1__847_26.min1.thm1.tptp2017-02-06 16:46 417  
[ ]wellset1__856_31.min1.thm12017-02-06 12:45 882  
[ ]wellset1__859_24.min1.thm12017-02-06 12:45 924  
[ ]wellset1__860_25.min1.thm12017-02-06 12:45 908  
[ ]wellset1__861_49.min1.thm12017-02-06 12:45 844  
[ ]wellset1__862_21.min1.thm12017-02-06 12:45 1.2K 
[ ]wellset1__876_21.min1.thm12017-02-06 12:45 744  
[ ]wellset1__877_23.min1.thm12017-02-06 12:45 725  
[ ]wellset1__878_26.min1.thm12017-02-06 12:45 744  
[ ]wellset1__879_23.min1.thm12017-02-06 12:45 1.0K 
[ ]wellset1__886_21.min1.thm12017-02-06 12:45 744  
[ ]wellset1__887_23.min1.thm12017-02-06 12:45 725  
[ ]wellset1__888_26.min1.thm12017-02-06 12:45 744  
[ ]wellset1__889_23.min1.thm12017-02-06 12:45 1.0K 
[ ]wellset1__891_30.min1.thm12017-02-06 12:45 556  
[ ]wellset1__891_30.min1.thm1.tptp2017-02-06 16:46 475  
[ ]wellset1__892_21.min1.thm12017-02-06 12:45 909  
[ ]wellset1__895_40.min1.thm12017-02-06 12:45 885  
[ ]wellset1__904_27.min1.thm12017-02-06 12:45 644  
[ ]wellset1__906_21.min1.thm12017-02-06 12:45 748  
[ ]wellset1__907_15.min1.thm12017-02-06 12:45 509  
[ ]wellset1__908_23.min1.thm12017-02-06 12:45 716  
[ ]wellset1__914_26.min1.thm12017-02-06 12:45 632  
[ ]wellset1__916_22.min1.thm12017-02-06 12:45 676  
[ ]wellset1__917_15.min1.thm12017-02-06 12:45 565  
[ ]wellset1__918_23.min1.thm12017-02-06 12:45 728  
[ ]wellset1__920_21.min1.thm12017-02-06 12:45 664  
[ ]wellset1__934_25.min1.thm12017-02-06 12:45 306  
[ ]wellset1__938_30.min1.thm12017-02-06 12:45 1.0K 
[ ]wellset1__945_21.min1.thm12017-02-06 12:45 591  
[ ]wellset1__946_28.min1.thm12017-02-06 12:45 530  
[ ]wellset1__946_28.min1.thm1.tptp2017-02-06 16:46 468  
[ ]wellset1__947_30.min1.thm12017-02-06 12:45 662  
[ ]wellset1__948_32.min1.thm12017-02-06 12:45 651  
[ ]wellset1__949_26.min1.thm12017-02-06 12:45 674  
[ ]wellset1__950_27.min1.thm12017-02-06 12:45 806  
[ ]wellset1__952_31.min1.thm12017-02-06 12:45 535  
[ ]wellset1__952_31.min1.thm1.tptp2017-02-06 16:46 461  
[ ]wellset1__953_37.min1.thm12017-02-06 12:45 1.8K 
[ ]wellset1__955_31.min1.thm12017-02-06 12:45 554  
[ ]wellset1__956_19.min1.thm12017-02-06 12:45 558  
[ ]wellset1__957_25.min1.thm12017-02-06 12:45 476  
[ ]wellset1__957_25.min1.thm1.tptp2017-02-06 16:46 395  
[ ]wellset1__967_32.min1.thm12017-02-06 12:45 819  
[ ]wellset1__969_28.min1.thm12017-02-06 12:45 779  
[ ]wellset1__970_22.min1.thm12017-02-06 12:45 597  
[ ]wellset1__971_27.min1.thm12017-02-06 12:45 636  
[ ]wellset1__973_26.min1.thm12017-02-06 12:45 725  
[ ]wellset1__976_34.min1.thm12017-02-06 12:45 1.0K 
[ ]wellset1__977_24.min1.thm12017-02-06 12:45 660  
[ ]wellset1__978_37.min1.thm12017-02-06 12:45 948  
[ ]wellset1__979_36.min1.thm12017-02-06 12:45 578  
[ ]wellset1__980_25.min1.thm12017-02-06 12:45 699  
[ ]wellset1__982_23.min1.thm12017-02-06 12:45 801  
[ ]wellset1__989_37.min1.thm12017-02-06 12:45 754  
[ ]wellset1__991_22.min1.thm12017-02-06 12:45 1.2K 
[ ]wellset1__993_21.min1.thm12017-02-06 12:45 674  
[ ]wellset1__993_21.min1.thm1.tptp2017-02-06 16:46 610  
[ ]wellset1__1004_48.min1.thm12017-02-06 12:45 861  
[ ]wellset1__1007_29.min1.thm12017-02-06 12:45 658  
[ ]wellset1__1008_51.min1.thm12017-02-06 12:45 1.5K 
[ ]wellset1__1010_53.min1.thm12017-02-06 12:45 881  
[ ]wellset1__1011_20.min1.thm12017-02-06 12:45 523  
[ ]wellset1__1012_25.min1.thm12017-02-06 12:45 2.7K 
[ ]wellset1__1019_28.min1.thm12017-02-06 12:45 646  
[ ]wellset1__1020_34.min1.thm12017-02-06 12:45 605  
[ ]wellset1__1022_24.min1.thm12017-02-06 12:45 1.2K 
[ ]wellset1__1023_20.min1.thm12017-02-06 12:45 579  
[ ]wellset1__1024_25.min1.thm12017-02-06 12:45 749  
[ ]wellset1__1026_23.min1.thm12017-02-06 12:45 679  
[ ]wellset1__1032_28.min1.thm12017-02-06 12:45 803  
[ ]wellset1__1034_24.min1.thm12017-02-06 12:45 763  
[ ]wellset1__1035_19.min1.thm12017-02-06 12:45 581  
[ ]wellset1__1036_23.min1.thm12017-02-06 12:45 612  
[ ]wellset1__1042_28.min1.thm12017-02-06 12:45 836  
[ ]wellset1__1043_33.min1.thm12017-02-06 12:45 753  
[ ]wellset1__1044_28.min1.thm12017-02-06 12:45 1.2K 
[ ]wellset1__1045_23.min1.thm12017-02-06 12:45 1.0K 
[ ]wellset1__1048_34.min1.thm12017-02-06 12:45 561  
[ ]wellset1__1048_34.min1.thm1.tptp2017-02-06 16:46 480  
[ ]wellset1__1049_21.min1.thm12017-02-06 12:45 1.4K 
[ ]wellset1__1067_29.min1.thm12017-02-06 12:45 910  
[ ]wellset1__1068_25.min1.thm12017-02-06 12:45 685  
[ ]wellset1__1073_29.min1.thm12017-02-06 12:45 831  
[ ]wellset1__1074_25.min1.thm12017-02-06 12:45 685  
[ ]wellset1__1076_23.min1.thm12017-02-06 12:45 1.0K 
[ ]wellset1__1083_21.min1.thm12017-02-06 12:45 752  
[ ]wellset1__1084_23.min1.thm12017-02-06 12:45 732  
[ ]wellset1__1085_41.min1.thm12017-02-06 12:45 813  
[ ]wellset1__1086_26.min1.thm12017-02-06 12:45 1.2K 
[ ]wellset1__1087_23.min1.thm12017-02-06 12:45 678  
[ ]wellset1__1089_21.min1.thm12017-02-06 12:45 1.0K 
[ ]wellset1__1092_37.min1.thm12017-02-06 12:45 1.0K 
[ ]wellset1__1097_24.min1.thm12017-02-06 12:45 742  
[ ]wellset1__1099_23.min1.thm12017-02-06 12:45 862  
[ ]wellset1__1104_26.min1.thm12017-02-06 12:45 532  
[ ]wellset1__1105_23.min1.thm12017-02-06 12:45 678  
[ ]wellset1__1108_21.min1.thm12017-02-06 12:45 1.0K 
[ ]wellset1__1110_39.min1.thm12017-02-06 12:45 711  
[ ]wellset1__1111_35.min1.thm12017-02-06 12:45 917  
[ ]wellset1__1112_31.min1.thm12017-02-06 12:45 426  
[ ]wellset1__1113_19.min1.thm12017-02-06 12:45 1.2K 
[ ]wellset1__1114_31.min1.thm12017-02-06 12:45 484  
[ ]wellset1__1117_30.min1.thm12017-02-06 12:45 687  
[ ]wellset1__1118_31.min1.thm12017-02-06 12:45 857  
[ ]wellset1__1119_17.min1.thm12017-02-06 12:45 927  
[ ]wellset1__1135_27.min1.thm12017-02-06 12:45 1.0K 
[ ]wellset1__1144_16.min1.thm12017-02-06 12:45 1.0K 
[ ]wellset1__1166_13.min1.thm12017-02-06 12:45 409  
[ ]wellset1__1166_13.min1.thm1.tptp2017-02-06 16:46 354  
[ ]wellset1__1167_18.min1.thm12017-02-06 12:45 404  
[ ]wellset1__1167_18.min1.thm1.tptp2017-02-06 16:46 326  
[ ]wellset1__1168_19.min1.thm12017-02-06 12:45 816  
[ ]wellset1__1176_14.min1.thm12017-02-06 12:45 264  
[ ]wellset1__1177_25.min1.thm12017-02-06 12:45 464  
[ ]wellset1__1180_19.min1.thm12017-02-06 12:45 279  
[ ]wellset1__1183_45.min1.thm12017-02-06 12:45 462  
[ ]wellset1__1183_45.min1.thm1.tptp2017-02-06 16:46 383  
[ ]wellset1__1189_30.min1.thm12017-02-06 12:45 378  
[ ]wellset1__1189_30.min1.thm1.tptp2017-02-06 16:46 300  
[ ]wellset1__1198_22.min1.thm12017-02-06 12:45 750  
[ ]wellset1__1201_26.min1.thm12017-02-06 12:45 721  
[ ]wellset1__1204_21.min1.thm12017-02-06 12:45 1.0K 
[ ]wellset1__1205_14.min1.thm12017-02-06 12:45 363  
[ ]wellset1__1205_14.min1.thm1.tptp2017-02-06 16:46 298  
[ ]wellset1__1206_19.min1.thm12017-02-06 12:45 443  
[ ]wellset1__1209_15.min1.thm12017-02-06 12:45 623  
[ ]wellset1__1210_37.min1.thm12017-02-06 12:45 382  
[ ]wellset1__1210_37.min1.thm1.tptp2017-02-06 16:46 322  
[ ]wellset1__1211_24.min1.thm12017-02-06 12:45 403  
[ ]wellset1__1211_24.min1.thm1.tptp2017-02-06 16:46 339  
[ ]wellset1__1212_24.min1.thm12017-02-06 12:45 772  
[ ]wellset1__1213_21.min1.thm12017-02-06 12:45 499  
[ ]wellset1__1215_24.min1.thm12017-02-06 12:45 367  
[ ]wellset1__1215_24.min1.thm1.tptp2017-02-06 16:46 286  
[ ]wellset1__1216_19.min1.thm12017-02-06 12:45 476  
[ ]wellset1__1223_49.min1.thm12017-02-06 12:45 729  
[ ]wellset1__1234_45.min1.thm12017-02-06 12:45 660  
[ ]wellset1__1235_16.min1.thm12017-02-06 12:45 425  
[ ]wellset1__1235_16.min1.thm1.tptp2017-02-06 16:46 355  
[ ]wellset1__1237_63.min1.thm12017-02-06 12:45 618  
[ ]wellset1__1250_18.min1.thm12017-02-06 12:45 660  
[ ]wellset1__1252_32.min1.thm12017-02-06 12:45 1.0K 
[ ]wellset1__1253_19.min1.thm12017-02-06 12:45 853  
[ ]wellset1__1261_38.min1.thm12017-02-06 12:45 872  
[ ]wellset1__1262_19.min1.thm12017-02-06 12:45 861  
[ ]wellset1__1265_23.min1.thm12017-02-06 12:45 652  
[ ]wellset1__1269_52.min1.thm12017-02-06 12:45 793  
[ ]wellset1__1270_16.min1.thm12017-02-06 12:45 447  
[ ]wellset1__1270_16.min1.thm1.tptp2017-02-06 16:46 387  
[ ]wellset1__1272_35.min1.thm12017-02-06 12:45 559  
[ ]wellset1__1277_36.min1.thm12017-02-06 12:45 762  
[ ]wellset1__1281_33.min1.thm12017-02-06 12:45 757  
[ ]wellset1__1282_21.min1.thm12017-02-06 12:45 543  
[ ]wellset1__1287_33.min1.thm12017-02-06 12:45 757  
[ ]wellset1__1288_21.min1.thm12017-02-06 12:45 543  
[ ]wellset1__1290_19.min1.thm12017-02-06 12:45 832  
[ ]wellset1__1292_35.min1.thm12017-02-06 12:45 189  
[ ]wellset1__1293_60.min1.thm12017-02-06 12:45 217  
[ ]wellset1__1304_17.min1.thm12017-02-06 12:45 481  
[ ]wellset1__1306_19.min1.thm12017-02-06 12:45 521  
[ ]wellset1__1307_17.min1.thm12017-02-06 12:45 481  
[ ]wellset1__1308_19.min1.thm12017-02-06 12:45 465  
[ ]wellset1__1311_24.min1.thm12017-02-06 12:45 660  
[ ]wellset1__1317_30.min1.thm12017-02-06 12:45 588  
[ ]wellset1__1318_60.min1.thm12017-02-06 12:45 1.0K 
[ ]wellset1__1319_19.min1.thm12017-02-06 12:45 654  
[ ]wellset1__1322_23.min1.thm12017-02-06 12:45 523  
[ ]wellset1__1329_23.min1.thm12017-02-06 12:45 730  
[ ]wellset1__1331_39.min1.thm12017-02-06 12:45 852  
[ ]wellset1__1336_27.min1.thm12017-02-06 12:45 825  
[ ]wellset1__1339_18.min1.thm12017-02-06 12:45 604  
[ ]wellset1__1341_30.min1.thm12017-02-06 12:45 815  
[ ]wellset1__1342_23.min1.thm12017-02-06 12:45 1.2K 
[ ]wellset1__1348_27.min1.thm12017-02-06 12:45 825  
[ ]wellset1__1351_18.min1.thm12017-02-06 12:45 604  
[ ]wellset1__1353_30.min1.thm12017-02-06 12:45 815  
[ ]wellset1__1354_23.min1.thm12017-02-06 12:45 1.2K 
[ ]wellset1__1356_21.min1.thm12017-02-06 12:45 1.2K 
[ ]wellset1__1358_19.min1.thm12017-02-06 12:45 767  
[ ]wellset1__1361_20.min1.thm12017-02-06 12:45 481  
[ ]wellset1__1370_27.min1.thm12017-02-06 12:45 763  
[ ]wellset1__1373_23.min1.thm12017-02-06 12:45 924  
[ ]wellset1__1374_12.min1.thm12017-02-06 12:45 502  
[ ]wellset1__1375_21.min1.thm12017-02-06 12:45 1.4K 
[ ]wellset1__1382_27.min1.thm12017-02-06 12:45 845  
[ ]wellset1__1383_21.min1.thm12017-02-06 12:45 1.0K 
[ ]wellset1__1385_19.min1.thm12017-02-06 12:45 1.2K 
[ ]wellset1__1387_34.min1.thm12017-02-06 12:45 1.5K 
[ ]wellset1__1389_36.min1.thm12017-02-06 12:45 677  
[ ]wellset1__1390_29.min1.thm12017-02-06 12:45 836  
[ ]wellset1__1392_27.min1.thm12017-02-06 12:45 428  
[ ]wellset1__1399_55.min1.thm12017-02-06 12:45 889  
[ ]wellset1__1400_16.min1.thm12017-02-06 12:45 496  
[ ]wellset1__1400_16.min1.thm1.tptp2017-02-06 16:46 436  
[ ]wellset1__1402_36.min1.thm12017-02-06 12:45 561  
[ ]wellset1__1407_38.min1.thm12017-02-06 12:45 772  
[ ]wellset1__1411_33.min1.thm12017-02-06 12:45 813  
[ ]wellset1__1412_21.min1.thm12017-02-06 12:45 548  
[ ]wellset1__1417_33.min1.thm12017-02-06 12:45 813  
[ ]wellset1__1418_21.min1.thm12017-02-06 12:45 548  
[ ]wellset1__1420_19.min1.thm12017-02-06 12:45 851  
[ ]wellset1__1428_16.min1.thm12017-02-06 12:45 598  
[ ]wellset1__1429_34.min1.thm12017-02-06 12:45 469  
[ ]wellset1__1431_18.min1.thm12017-02-06 12:45 399  
[ ]wellset1__1431_18.min1.thm1.tptp2017-02-06 16:46 335  
[ ]wellset1__1432_16.min1.thm12017-02-06 12:45 557  
[ ]wellset1__1433_19.min1.thm12017-02-06 12:45 508  
[ ]wellset1__1436_25.min1.thm12017-02-06 12:45 1.2K 
[ ]wellset1__1443_25.min1.thm12017-02-06 12:45 822  
[ ]wellset1__1445_43.min1.thm12017-02-06 12:45 1.1K 
[ ]wellset1__1450_28.min1.thm12017-02-06 12:45 1.0K 
[ ]wellset1__1453_19.min1.thm12017-02-06 12:45 610  
[ ]wellset1__1455_30.min1.thm12017-02-06 12:45 817  
[ ]wellset1__1456_23.min1.thm12017-02-06 12:45 1.3K 
[ ]wellset1__1462_28.min1.thm12017-02-06 12:45 1.0K 
[ ]wellset1__1465_19.min1.thm12017-02-06 12:45 610  
[ ]wellset1__1467_30.min1.thm12017-02-06 12:45 817  
[ ]wellset1__1468_23.min1.thm12017-02-06 12:45 1.3K 
[ ]wellset1__1470_21.min1.thm12017-02-06 12:45 1.4K 
[ ]wellset1__1472_19.min1.thm12017-02-06 12:45 772  
[ ]wellset1__1475_21.min1.thm12017-02-06 12:45 484  
[ ]wellset1__1485_27.min1.thm12017-02-06 12:45 813  
[ ]wellset1__1488_26.min1.thm12017-02-06 12:45 1.0K 
[ ]wellset1__1489_12.min1.thm12017-02-06 12:45 502  
[ ]wellset1__1490_21.min1.thm12017-02-06 12:45 1.4K 
[ ]wellset1__1497_27.min1.thm12017-02-06 12:45 851  
[ ]wellset1__1498_21.min1.thm12017-02-06 12:45 1.1K 
[ ]wellset1__1500_19.min1.thm12017-02-06 12:45 1.4K 
[ ]wellset1__1503_41.min1.thm12017-02-06 12:45 865  
[ ]wellset1__1504_17.min1.thm12017-02-06 12:45 1.1K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80