Index of /~mptp/7.13.01_4.181.1147/MPTP2/ilp1/t1_boole

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]algspec1__496_32.min1.thm1.tptp2017-02-06 16:58 572  
[ ]bvfunc14__651_14.min1.thm1.tptp2017-02-06 16:58 318  
[ ]bvfunc14__896_16.min1.thm1.tptp2017-02-06 16:58 359  
[ ]cohsp_1__3767_25.min1.thm1.tptp2017-02-06 16:58 408  
[ ]cohsp_1__3771_16.min1.thm1.tptp2017-02-06 16:58 325  
[ ]facirc_2__169_47.min1.thm1.tptp2017-02-06 16:58 286  
[ ]fomodel2__101_10.min1.thm1.tptp2017-02-06 16:58 380  
[ ]goboard4__696_31.min1.thm1.tptp2017-02-06 16:58 545  
[ ]jordan12__2631_19.min1.thm1.tptp2017-02-06 16:58 317  
[ ]lexbfs__2105_17.min1.thm1.tptp2017-02-06 16:58 1.4K 
[ ]lexbfs__2135_17.min1.thm1.tptp2017-02-06 16:58 1.4K 
[ ]measure3__1572_15.min1.thm1.tptp2017-02-06 16:58 241  
[ ]mmlquery__1502_20.min1.thm1.tptp2017-02-06 16:58 417  
[ ]modelc_3__5056_14.min1.thm1.tptp2017-02-06 16:58 283  
[ ]openlatt__54_13.min1.thm1.tptp2017-02-06 16:58 374  
[ ]partfun1__1181_13.min1.thm1.tptp2017-02-06 16:58 263  
[ ]prob_4__936_12.min1.thm1.tptp2017-02-06 16:58 220  
[ ]prob_4__1681_15.min1.thm1.tptp2017-02-06 16:58 232  
[ ]prob_4__1803_35.min1.thm1.tptp2017-02-06 16:58 324  
[ ]rewrite2__1436_19.min1.thm1.tptp2017-02-06 16:58 317  
[ ]scmisort__1937_10.min1.thm1.tptp2017-02-06 16:58 313  
[ ]scmyciel__4554_10.min1.thm1.tptp2017-02-06 16:58 312  
[ ]setwiseo__1548_10.min1.thm1.tptp2017-02-06 16:58 271  
[ ]sppol_2__517_16.min1.thm1.tptp2017-02-06 16:58 354  
[ ]sprect_4__735_20.min1.thm1.tptp2017-02-06 16:58 1.1K 
[ ]sprect_4__968_22.min1.thm1.tptp2017-02-06 16:58 1.1K 
[ ]tmap_1__973_25.min1.thm1.tptp2017-02-06 16:58 477  
[ ]topreal2__254_18.min1.thm1.tptp2017-02-06 16:58 312  
[ ]topreal2__450_18.min1.thm1.tptp2017-02-06 16:58 312  
[ ]tsep_1__2639_33.min1.thm1.tptp2017-02-06 16:58 506  
[ ]tsep_1__2951_33.min1.thm1.tptp2017-02-06 16:58 506  
[ ]tsep_1__3234_33.min1.thm1.tptp2017-02-06 16:58 506  
[ ]tsep_1__3546_33.min1.thm1.tptp2017-02-06 16:58 506  
[ ]tsp_2__354_37.min1.thm1.tptp2017-02-06 16:58 525  
[ ]waybel19__909_43.min1.thm1.tptp2017-02-06 16:58 462  
[ ]waybel_6__2360_14.min1.thm1.tptp2017-02-06 16:58 227  
[ ]wellset1__750_18.min1.thm1.tptp2017-02-06 16:58 443  
[ ]xboole_1__746_19.min1.thm1.tptp2017-02-06 16:58 381  
[ ]xboole_1__1098_13.min1.thm1.tptp2017-02-06 16:58 323  
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80