Index of /~mptp/7.13.01_4.181.1147/mptp/ilp1/d8_funcop_1

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]altcat_1__1298_16.min1.thm1.tptp2017-02-06 16:57 422  
[ ]euclid_7__3270_21.min1.thm1.tptp2017-02-06 16:57 539  
[ ]euclid_7__3286_23.min1.thm1.tptp2017-02-06 16:57 607  
[ ]extens_1__394_40.min1.thm1.tptp2017-02-06 16:57 424  
[ ]extens_1__399_42.min1.thm1.tptp2017-02-06 16:57 456  
[ ]extens_1__427_47.min1.thm1.tptp2017-02-06 16:57 469  
[ ]extens_1__432_54.min1.thm1.tptp2017-02-06 16:57 529  
[ ]extens_1__455_37.min1.thm1.tptp2017-02-06 16:57 434  
[ ]extens_1__462_44.min1.thm1.tptp2017-02-06 16:57 468  
[ ]extens_1__465_49.min1.thm1.tptp2017-02-06 16:57 529  
[ ]extens_1__481_45.min1.thm1.tptp2017-02-06 16:57 453  
[ ]extens_1__484_40.min1.thm1.tptp2017-02-06 16:57 453  
[ ]extens_1__494_47.min1.thm1.tptp2017-02-06 16:57 514  
[ ]extens_1__495_47.min1.thm1.tptp2017-02-06 16:57 514  
[ ]extens_1__511_36.min1.thm1.tptp2017-02-06 16:57 495  
[ ]extens_1__513_36.min1.thm1.tptp2017-02-06 16:57 495  
[ ]extens_1__594_47.min1.thm1.tptp2017-02-06 16:57 471  
[ ]extens_1__599_54.min1.thm1.tptp2017-02-06 16:57 533  
[ ]extens_1__622_67.min1.thm1.tptp2017-02-06 16:57 609  
[ ]extens_1__629_44.min1.thm1.tptp2017-02-06 16:57 467  
[ ]extens_1__632_49.min1.thm1.tptp2017-02-06 16:57 533  
[ ]extens_1__648_45.min1.thm1.tptp2017-02-06 16:57 453  
[ ]extens_1__651_40.min1.thm1.tptp2017-02-06 16:57 453  
[ ]extens_1__661_47.min1.thm1.tptp2017-02-06 16:57 517  
[ ]extens_1__662_47.min1.thm1.tptp2017-02-06 16:57 517  
[ ]extens_1__678_36.min1.thm1.tptp2017-02-06 16:57 446  
[ ]extens_1__680_36.min1.thm1.tptp2017-02-06 16:57 446  
[ ]extens_1__804_42.min1.thm1.tptp2017-02-06 16:57 498  
[ ]extens_1__809_44.min1.thm1.tptp2017-02-06 16:57 587  
[ ]extens_1__829_42.min1.thm1.tptp2017-02-06 16:57 498  
[ ]extens_1__834_44.min1.thm1.tptp2017-02-06 16:57 587  
[ ]extens_1__877_35.min1.thm1.tptp2017-02-06 16:57 484  
[ ]extens_1__881_35.min1.thm1.tptp2017-02-06 16:57 485  
[ ]extens_1__891_37.min1.thm1.tptp2017-02-06 16:57 573  
[ ]extens_1__892_37.min1.thm1.tptp2017-02-06 16:57 573  
[ ]extens_1__916_31.min1.thm1.tptp2017-02-06 16:57 477  
[ ]extens_1__918_31.min1.thm1.tptp2017-02-06 16:57 477  
[ ]mmlquery__1168_35.min1.thm1.tptp2017-02-06 16:57 462  
[ ]msalimit__444_19.min1.thm1.tptp2017-02-06 16:57 1.5K 
[ ]msalimit__855_40.min1.thm1.tptp2017-02-06 16:57 748  
[ ]pboole__1837_17.min1.thm1.tptp2017-02-06 16:57 430  
[ ]pboole__1905_23.min1.thm1.tptp2017-02-06 16:57 474  
[ ]pboole__1929_21.min1.thm1.tptp2017-02-06 16:57 462  
[ ]pralg_2__1228_29.min1.thm1.tptp2017-02-06 16:57 679  
[ ]pralg_2__1234_36.min1.thm1.tptp2017-02-06 16:57 691  
[ ]pralg_2__1343_31.min1.thm1.tptp2017-02-06 16:57 693  
[ ]pralg_2__1558_38.min1.thm1.tptp2017-02-06 16:57 705  
[ ]pralg_3__355_23.min1.thm1.tptp2017-02-06 16:57 629  
[ ]pralg_3__415_23.min1.thm1.tptp2017-02-06 16:57 629  
[ ]pralg_3__800_31.min1.thm1.tptp2017-02-06 16:57 641  
[ ]pralg_3__1272_35.min1.thm1.tptp2017-02-06 16:57 667  
[ ]pre_circ__773_33.min1.thm1.tptp2017-02-06 16:57 573  
[ ]pre_circ__789_15.min1.thm1.tptp2017-02-06 16:57 465  
[ ]pre_circ__850_25.min1.thm1.tptp2017-02-06 16:57 589  
[ ]pre_circ__887_17.min1.thm1.tptp2017-02-06 16:57 560  
[ ]prgcor_2__106_22.min1.thm1.tptp2017-02-06 16:57 511  
[ ]prgcor_2__112_40.min1.thm1.tptp2017-02-06 16:57 658  
[ ]topgen_3__2090_48.min1.thm1.tptp2017-02-06 16:57 747  
[ ]topgen_3__2117_77.min1.thm1.tptp2017-02-06 16:57 849  
[ ]triang_1__602_18.min1.thm1.tptp2017-02-06 16:57 387  
[ ]yellow15__167_17.min1.thm1.tptp2017-02-06 16:57 518  
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80