Index of /~mptp/1147/mptp/ilp0/xtuple_0

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]xtuple_0__38_13.min1.thm12017-02-06 12:45 363  
[   ]xtuple_0__38_13.min1.thm1.tptp2017-02-06 16:46 298  
[   ]xtuple_0__46_21.min1.thm12017-02-06 12:45 383  
[   ]xtuple_0__46_21.min1.thm1.tptp2017-02-06 16:46 327  
[   ]xtuple_0__47_17.min1.thm12017-02-06 12:45 329  
[   ]xtuple_0__47_17.min1.thm1.tptp2017-02-06 16:46 264  
[   ]xtuple_0__54_16.min1.thm12017-02-06 12:45 338  
[   ]xtuple_0__54_16.min1.thm1.tptp2017-02-06 16:46 271  
[   ]xtuple_0__55_17.min1.thm12017-02-06 12:45 487  
[   ]xtuple_0__60_20.min1.thm12017-02-06 12:45 299  
[   ]xtuple_0__61_17.min1.thm12017-02-06 12:45 387  
[   ]xtuple_0__69_11.min1.thm12017-02-06 12:45 192  
[   ]xtuple_0__73_22.min1.thm12017-02-06 12:45 352  
[   ]xtuple_0__73_22.min1.thm1.tptp2017-02-06 16:46 281  
[   ]xtuple_0__74_23.min1.thm12017-02-06 12:45 695  
[   ]xtuple_0__75_21.min1.thm12017-02-06 12:45 359  
[   ]xtuple_0__75_21.min1.thm1.tptp2017-02-06 16:46 294  
[   ]xtuple_0__77_14.min1.thm12017-02-06 12:45 337  
[   ]xtuple_0__77_14.min1.thm1.tptp2017-02-06 16:46 272  
[   ]xtuple_0__78_24.min1.thm12017-02-06 12:45 638  
[   ]xtuple_0__79_18.min1.thm12017-02-06 12:45 608  
[   ]xtuple_0__83_40.min1.thm12017-02-06 12:45 614  
[   ]xtuple_0__84_20.min1.thm12017-02-06 12:45 295  
[   ]xtuple_0__85_30.min1.thm12017-02-06 12:45 518  
[   ]xtuple_0__86_18.min1.thm12017-02-06 12:45 531  
[   ]xtuple_0__94_18.min1.thm12017-02-06 12:45 498  
[   ]xtuple_0__100_18.min1.thm12017-02-06 12:45 481  
[   ]xtuple_0__108_18.min1.thm12017-02-06 12:45 453  
[   ]xtuple_0__109_13.min1.thm12017-02-06 12:45 453  
[   ]xtuple_0__116_18.min1.thm12017-02-06 12:45 481  
[   ]xtuple_0__124_18.min1.thm12017-02-06 12:45 453  
[   ]xtuple_0__125_12.min1.thm12017-02-06 12:45 453  
[   ]xtuple_0__131_16.min1.thm12017-02-06 12:45 487  
[   ]xtuple_0__133_16.min1.thm12017-02-06 12:45 487  
[   ]xtuple_0__141_13.min1.thm12017-02-06 12:45 208  
[   ]xtuple_0__150_18.min1.thm12017-02-06 12:45 509  
[   ]xtuple_0__151_31.min1.thm12017-02-06 12:45 622  
[   ]xtuple_0__152_12.min1.thm12017-02-06 12:45 569  
[   ]xtuple_0__161_31.min1.thm12017-02-06 12:45 711  
[   ]xtuple_0__162_15.min1.thm12017-02-06 12:45 696  
[   ]xtuple_0__171_11.min1.thm12017-02-06 12:45 131  
[   ]xtuple_0__181_13.min1.thm12017-02-06 12:45 582  
[   ]xtuple_0__189_27.min1.thm12017-02-06 12:45 753  
[   ]xtuple_0__190_17.min1.thm12017-02-06 12:45 886  
[   ]xtuple_0__198_13.min1.thm12017-02-06 12:45 243  
[   ]xtuple_0__204_15.min1.thm12017-02-06 12:45 614  
[   ]xtuple_0__211_12.min1.thm12017-02-06 12:45 131  
[   ]xtuple_0__213_12.min1.thm12017-02-06 12:45 131  
[   ]xtuple_0__225_41.min1.thm12017-02-06 12:45 479  
[   ]xtuple_0__225_41.min1.thm1.tptp2017-02-06 16:46 409  
[   ]xtuple_0__225_47.min1.thm12017-02-06 12:45 501  
[   ]xtuple_0__230_41.min1.thm12017-02-06 12:45 479  
[   ]xtuple_0__230_41.min1.thm1.tptp2017-02-06 16:46 409  
[   ]xtuple_0__230_47.min1.thm12017-02-06 12:45 576  
[   ]xtuple_0__235_39.min1.thm12017-02-06 12:45 386  
[   ]xtuple_0__235_45.min1.thm12017-02-06 12:45 488  
[   ]xtuple_0__244_21.min1.thm12017-02-06 12:45 631  
[   ]xtuple_0__245_67.min1.thm12017-02-06 12:45 957  
[   ]xtuple_0__246_18.min1.thm12017-02-06 12:45 1.1K 
[   ]xtuple_0__255_51.min1.thm12017-02-06 12:45 1.0K 
[   ]xtuple_0__256_15.min1.thm12017-02-06 12:45 1.1K 
[   ]xtuple_0__265_11.min1.thm12017-02-06 12:45 131  
[   ]xtuple_0__275_13.min1.thm12017-02-06 12:45 322  
[   ]xtuple_0__284_33.min1.thm12017-02-06 12:45 935  
[   ]xtuple_0__285_17.min1.thm12017-02-06 12:45 1.2K 
[   ]xtuple_0__294_13.min1.thm12017-02-06 12:45 273  
[   ]xtuple_0__302_15.min1.thm12017-02-06 12:45 689  
[   ]xtuple_0__309_12.min1.thm12017-02-06 12:45 131  
[   ]xtuple_0__311_11.min1.thm12017-02-06 12:45 131  
[   ]xtuple_0__323_49.min1.thm12017-02-06 12:45 827  
[   ]xtuple_0__324_27.min1.thm12017-02-06 12:45 683  
[   ]xtuple_0__325_15.min1.thm12017-02-06 12:45 572  
[   ]xtuple_0__330_49.min1.thm12017-02-06 12:45 902  
[   ]xtuple_0__331_27.min1.thm12017-02-06 12:45 683  
[   ]xtuple_0__332_15.min1.thm12017-02-06 12:45 647  
[   ]xtuple_0__337_47.min1.thm12017-02-06 12:45 962  
[   ]xtuple_0__338_15.min1.thm12017-02-06 12:45 607  
[   ]xtuple_0__343_45.min1.thm12017-02-06 12:45 707  
[   ]xtuple_0__344_15.min1.thm12017-02-06 12:45 519  
[   ]xtuple_0__353_24.min1.thm12017-02-06 12:45 364  
[   ]xtuple_0__353_24.min1.thm1.tptp2017-02-06 16:46 311  
[   ]xtuple_0__355_51.min1.thm12017-02-06 12:45 1.3K 
[   ]xtuple_0__356_18.min1.thm12017-02-06 12:45 1.2K 
[   ]xtuple_0__368_18.min1.thm12017-02-06 12:45 412  
[   ]xtuple_0__368_18.min1.thm1.tptp2017-02-06 16:46 362  
[   ]xtuple_0__370_21.min1.thm12017-02-06 12:45 632  
[   ]xtuple_0__371_15.min1.thm12017-02-06 12:45 270  
[   ]xtuple_0__372_30.min1.thm12017-02-06 12:45 502  
[   ]xtuple_0__379_20.min1.thm12017-02-06 12:45 428  
[   ]xtuple_0__379_20.min1.thm1.tptp2017-02-06 16:46 378  
[   ]xtuple_0__381_23.min1.thm12017-02-06 12:45 664  
[   ]xtuple_0__382_17.min1.thm12017-02-06 12:45 390  
[   ]xtuple_0__382_17.min1.thm1.tptp2017-02-06 16:46 340  
[   ]xtuple_0__383_30.min1.thm12017-02-06 12:45 621  
[   ]xtuple_0__400_45.min1.thm12017-02-06 12:45 623  
[   ]xtuple_0__403_25.min1.thm12017-02-06 12:45 529  
[   ]xtuple_0__404_18.min1.thm12017-02-06 12:45 682  
[   ]xtuple_0__414_39.min1.thm12017-02-06 12:45 571  
[   ]xtuple_0__415_34.min1.thm12017-02-06 12:45 720  
[   ]xtuple_0__417_19.min1.thm12017-02-06 12:45 374  
[   ]xtuple_0__417_19.min1.thm1.tptp2017-02-06 16:46 314  
[   ]xtuple_0__429_45.min1.thm12017-02-06 12:45 623  
[   ]xtuple_0__432_25.min1.thm12017-02-06 12:45 529  
[   ]xtuple_0__433_18.min1.thm12017-02-06 12:45 769  
[   ]xtuple_0__443_39.min1.thm12017-02-06 12:45 571  
[   ]xtuple_0__444_34.min1.thm12017-02-06 12:45 720  
[   ]xtuple_0__446_19.min1.thm12017-02-06 12:45 374  
[   ]xtuple_0__446_19.min1.thm1.tptp2017-02-06 16:46 314  
[   ]xtuple_0__457_17.min1.thm12017-02-06 12:45 589  
[   ]xtuple_0__458_15.min1.thm12017-02-06 12:45 573  
[   ]xtuple_0__459_16.min1.thm12017-02-06 12:45 509  
[   ]xtuple_0__469_17.min1.thm12017-02-06 12:45 591  
[   ]xtuple_0__470_15.min1.thm12017-02-06 12:45 573  
[   ]xtuple_0__471_16.min1.thm12017-02-06 12:45 511  
[   ]xtuple_0__478_11.min1.thm12017-02-06 12:45 131  
[   ]xtuple_0__481_11.min1.thm12017-02-06 12:45 131  
[   ]xtuple_0__491_28.min1.thm12017-02-06 12:45 372  
[   ]xtuple_0__491_28.min1.thm1.tptp2017-02-06 16:46 294  
[   ]xtuple_0__492_16.min1.thm12017-02-06 12:45 482  
[   ]xtuple_0__498_28.min1.thm12017-02-06 12:45 372  
[   ]xtuple_0__498_28.min1.thm1.tptp2017-02-06 16:46 294  
[   ]xtuple_0__499_16.min1.thm12017-02-06 12:45 485  
[   ]xtuple_0__506_23.min1.thm12017-02-06 12:45 685  
[   ]xtuple_0__508_21.min1.thm12017-02-06 12:45 643  
[   ]xtuple_0__510_15.min1.thm12017-02-06 12:45 539  
[   ]xtuple_0__517_27.min1.thm12017-02-06 12:45 741  
[   ]xtuple_0__518_17.min1.thm12017-02-06 12:45 605  
[   ]xtuple_0__525_23.min1.thm12017-02-06 12:45 687  
[   ]xtuple_0__527_21.min1.thm12017-02-06 12:45 643  
[   ]xtuple_0__529_15.min1.thm12017-02-06 12:45 539  
[   ]xtuple_0__536_27.min1.thm12017-02-06 12:45 741  
[   ]xtuple_0__537_17.min1.thm12017-02-06 12:45 607  
[   ]xtuple_0__544_11.min1.thm12017-02-06 12:45 131  
[   ]xtuple_0__547_11.min1.thm12017-02-06 12:45 131  
[   ]xtuple_0__558_32.min1.thm12017-02-06 12:45 459  
[   ]xtuple_0__559_16.min1.thm12017-02-06 12:45 567  
[   ]xtuple_0__565_32.min1.thm12017-02-06 12:45 459  
[   ]xtuple_0__566_16.min1.thm12017-02-06 12:45 570  
[   ]xtuple_0__573_26.min1.thm12017-02-06 12:45 769  
[   ]xtuple_0__575_29.min1.thm12017-02-06 12:45 739  
[   ]xtuple_0__577_28.min1.thm12017-02-06 12:45 697  
[   ]xtuple_0__587_29.min1.thm12017-02-06 12:45 846  
[   ]xtuple_0__588_16.min1.thm12017-02-06 12:45 689  
[   ]xtuple_0__595_26.min1.thm12017-02-06 12:45 771  
[   ]xtuple_0__597_29.min1.thm12017-02-06 12:45 739  
[   ]xtuple_0__599_28.min1.thm12017-02-06 12:45 697  
[   ]xtuple_0__609_29.min1.thm12017-02-06 12:45 846  
[   ]xtuple_0__610_16.min1.thm12017-02-06 12:45 691  
[   ]xtuple_0__619_63.min1.thm12017-02-06 12:45 949  
[   ]xtuple_0__620_15.min1.thm12017-02-06 12:45 1.0K 
[   ]xtuple_0__631_20.min1.thm12017-02-06 12:45 339  
[   ]xtuple_0__631_20.min1.thm1.tptp2017-02-06 16:46 262  
[   ]xtuple_0__643_20.min1.thm12017-02-06 12:45 341  
[   ]xtuple_0__643_20.min1.thm1.tptp2017-02-06 16:46 264  
[   ]xtuple_0__651_10.min1.thm12017-02-06 12:45 399  
[   ]xtuple_0__656_10.min1.thm12017-02-06 12:45 485  
[   ]xtuple_0__661_10.min1.thm12017-02-06 12:45 482  
[   ]xtuple_0__666_10.min1.thm12017-02-06 12:45 689  
[   ]xtuple_0__677_22.min1.thm12017-02-06 12:45 655  
[   ]xtuple_0__678_31.min1.thm12017-02-06 12:45 647  
[   ]xtuple_0__679_40.min1.thm12017-02-06 12:45 655  
[   ]xtuple_0__680_18.min1.thm12017-02-06 12:45 514  
[   ]xtuple_0__680_18.min1.thm1.tptp2017-02-06 16:46 452  
[   ]xtuple_0__682_31.min1.thm12017-02-06 12:45 492  
[   ]xtuple_0__683_30.min1.thm12017-02-06 12:45 399  
[   ]xtuple_0__683_30.min1.thm1.tptp2017-02-06 16:46 327  
[   ]xtuple_0__684_47.min1.thm12017-02-06 12:45 644  
[   ]xtuple_0__690_56.min1.thm12017-02-06 12:45 593  
[   ]xtuple_0__691_16.min1.thm12017-02-06 12:45 614  
[   ]xtuple_0__691_16.min1.thm1.tptp2017-02-06 16:46 543  
[   ]xtuple_0__700_22.min1.thm12017-02-06 12:45 449  
[   ]xtuple_0__700_22.min1.thm1.tptp2017-02-06 16:46 386  
[   ]xtuple_0__702_17.min1.thm12017-02-06 12:45 589  
[   ]xtuple_0__703_21.min1.thm12017-02-06 12:45 452  
[   ]xtuple_0__703_21.min1.thm1.tptp2017-02-06 16:46 388  
[   ]xtuple_0__704_24.min1.thm12017-02-06 12:45 515  
[   ]xtuple_0__705_24.min1.thm12017-02-06 12:45 668  
[   ]xtuple_0__706_16.min1.thm12017-02-06 12:45 567  
[   ]xtuple_0__713_7.min1.thm12017-02-06 12:45 535  
[   ]xtuple_0__714_57.min1.thm12017-02-06 12:45 902  
[   ]xtuple_0__715_16.min1.thm12017-02-06 12:45 737  
[   ]xtuple_0__726_22.min1.thm12017-02-06 12:45 657  
[   ]xtuple_0__727_31.min1.thm12017-02-06 12:45 647  
[   ]xtuple_0__728_40.min1.thm12017-02-06 12:45 658  
[   ]xtuple_0__729_18.min1.thm12017-02-06 12:45 518  
[   ]xtuple_0__729_18.min1.thm1.tptp2017-02-06 16:46 456  
[   ]xtuple_0__731_31.min1.thm12017-02-06 12:45 496  
[   ]xtuple_0__732_29.min1.thm12017-02-06 12:45 403  
[   ]xtuple_0__732_29.min1.thm1.tptp2017-02-06 16:46 331  
[   ]xtuple_0__733_45.min1.thm12017-02-06 12:45 651  
[   ]xtuple_0__742_22.min1.thm12017-02-06 12:45 649  
[   ]xtuple_0__743_15.min1.thm12017-02-06 12:45 652  
[   ]xtuple_0__745_19.min1.thm12017-02-06 12:45 511  
[   ]xtuple_0__746_15.min1.thm12017-02-06 12:45 559  
[   ]xtuple_0__747_22.min1.thm12017-02-06 12:45 511  
[   ]xtuple_0__748_17.min1.thm12017-02-06 12:45 539  
[   ]xtuple_0__757_22.min1.thm12017-02-06 12:45 452  
[   ]xtuple_0__757_22.min1.thm1.tptp2017-02-06 16:46 389  
[   ]xtuple_0__759_17.min1.thm12017-02-06 12:45 591  
[   ]xtuple_0__760_21.min1.thm12017-02-06 12:45 455  
[   ]xtuple_0__760_21.min1.thm1.tptp2017-02-06 16:46 391  
[   ]xtuple_0__761_24.min1.thm12017-02-06 12:45 517  
[   ]xtuple_0__762_24.min1.thm12017-02-06 12:45 668  
[   ]xtuple_0__763_17.min1.thm12017-02-06 12:45 569  
[   ]xtuple_0__770_8.min1.thm12017-02-06 12:45 544  
[   ]xtuple_0__771_57.min1.thm12017-02-06 12:45 912  
[   ]xtuple_0__772_17.min1.thm12017-02-06 12:45 747  
[   ]xtuple_0__778_52.min1.thm12017-02-06 12:45 469  
[   ]xtuple_0__778_52.min1.thm1.tptp2017-02-06 16:46 396  
[   ]xtuple_0__779_33.min1.thm12017-02-06 12:45 483  
[   ]xtuple_0__779_33.min1.thm1.tptp2017-02-06 16:46 410  
[   ]xtuple_0__786_9.min1.thm12017-02-06 12:45 682  
[   ]xtuple_0__787_16.min1.thm12017-02-06 12:45 703  
[   ]xtuple_0__796_24.min1.thm12017-02-06 12:45 534  
[   ]xtuple_0__798_19.min1.thm12017-02-06 12:45 783  
[   ]xtuple_0__799_23.min1.thm12017-02-06 12:45 537  
[   ]xtuple_0__800_26.min1.thm12017-02-06 12:45 798  
[   ]xtuple_0__801_26.min1.thm12017-02-06 12:45 909  
[   ]xtuple_0__802_16.min1.thm12017-02-06 12:45 850  
[   ]xtuple_0__809_44.min1.thm12017-02-06 12:45 626  
[   ]xtuple_0__809_44.min1.thm1.tptp2017-02-06 16:46 549  
[   ]xtuple_0__810_65.min1.thm12017-02-06 12:45 1.0K 
[   ]xtuple_0__811_16.min1.thm12017-02-06 12:45 829  
[   ]xtuple_0__817_52.min1.thm12017-02-06 12:45 471  
[   ]xtuple_0__817_52.min1.thm1.tptp2017-02-06 16:46 398  
[   ]xtuple_0__818_33.min1.thm12017-02-06 12:45 488  
[   ]xtuple_0__818_33.min1.thm1.tptp2017-02-06 16:46 415  
[   ]xtuple_0__825_5.min1.thm12017-02-06 12:45 683  
[   ]xtuple_0__826_16.min1.thm12017-02-06 12:45 704  
[   ]xtuple_0__835_24.min1.thm12017-02-06 12:45 535  
[   ]xtuple_0__837_19.min1.thm12017-02-06 12:45 784  
[   ]xtuple_0__838_23.min1.thm12017-02-06 12:45 538  
[   ]xtuple_0__839_26.min1.thm12017-02-06 12:45 799  
[   ]xtuple_0__840_26.min1.thm12017-02-06 12:45 909  
[   ]xtuple_0__841_16.min1.thm12017-02-06 12:45 851  
[   ]xtuple_0__848_44.min1.thm12017-02-06 12:45 627  
[   ]xtuple_0__848_44.min1.thm1.tptp2017-02-06 16:46 550  
[   ]xtuple_0__849_65.min1.thm12017-02-06 12:45 1.0K 
[   ]xtuple_0__850_16.min1.thm12017-02-06 12:45 830  
[   ]xtuple_0__856_56.min1.thm12017-02-06 12:45 557  
[   ]xtuple_0__857_33.min1.thm12017-02-06 12:45 568  
[   ]xtuple_0__864_5.min1.thm12017-02-06 12:45 765  
[   ]xtuple_0__865_16.min1.thm12017-02-06 12:45 786  
[   ]xtuple_0__874_24.min1.thm12017-02-06 12:45 617  
[   ]xtuple_0__876_24.min1.thm12017-02-06 12:45 599  
[   ]xtuple_0__877_23.min1.thm12017-02-06 12:45 620  
[   ]xtuple_0__878_31.min1.thm12017-02-06 12:45 621  
[   ]xtuple_0__879_31.min1.thm12017-02-06 12:45 672  
[   ]xtuple_0__880_16.min1.thm12017-02-06 12:45 673  
[   ]xtuple_0__887_44.min1.thm12017-02-06 12:45 709  
[   ]xtuple_0__888_65.min1.thm12017-02-06 12:45 1.1K 
[   ]xtuple_0__889_16.min1.thm12017-02-06 12:45 912  
[   ]xtuple_0__895_56.min1.thm12017-02-06 12:45 559  
[   ]xtuple_0__896_33.min1.thm12017-02-06 12:45 573  
[   ]xtuple_0__903_6.min1.thm12017-02-06 12:45 766  
[   ]xtuple_0__904_16.min1.thm12017-02-06 12:45 787  
[   ]xtuple_0__913_24.min1.thm12017-02-06 12:45 618  
[   ]xtuple_0__915_24.min1.thm12017-02-06 12:45 600  
[   ]xtuple_0__916_23.min1.thm12017-02-06 12:45 621  
[   ]xtuple_0__917_31.min1.thm12017-02-06 12:45 622  
[   ]xtuple_0__918_31.min1.thm12017-02-06 12:45 672  
[   ]xtuple_0__919_16.min1.thm12017-02-06 12:45 674  
[   ]xtuple_0__926_44.min1.thm12017-02-06 12:45 710  
[   ]xtuple_0__927_65.min1.thm12017-02-06 12:45 1.1K 
[   ]xtuple_0__928_16.min1.thm12017-02-06 12:45 913  

Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80