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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]brouwer2__690_29.min1.thm1.tptp2017-02-06 16:58 819  
[ ]brouwer2__1421_28.min1.thm1.tptp2017-02-06 16:58 738  
[ ]brouwer2__1565_28.min1.thm1.tptp2017-02-06 16:58 778  
[ ]cayley__59_18.min1.thm1.tptp2017-02-06 16:58 587  
[ ]cayley__112_18.min1.thm1.tptp2017-02-06 16:58 484  
[ ]jgraph_5__7642_31.min1.thm1.tptp2017-02-06 16:58 524  
[ ]jgraph_5__7798_31.min1.thm1.tptp2017-02-06 16:58 524  
[ ]jgraph_5__7954_31.min1.thm1.tptp2017-02-06 16:58 524  
[ ]jgraph_5__8142_31.min1.thm1.tptp2017-02-06 16:58 524  
[ ]jgraph_6__822_31.min1.thm1.tptp2017-02-06 16:58 524  
[ ]jgraph_6__983_31.min1.thm1.tptp2017-02-06 16:58 524  
[ ]jordan5a__1760_31.min1.thm1.tptp2017-02-06 16:58 540  
[ ]jordan5a__1862_31.min1.thm1.tptp2017-02-06 16:58 540  
[ ]jordan6__1744_29.min1.thm1.tptp2017-02-06 16:58 552  
[ ]jordan6__1747_29.min1.thm1.tptp2017-02-06 16:58 553  
[ ]jordan6__2056_32.min1.thm1.tptp2017-02-06 16:58 567  
[ ]mfold_1__1002_32.min1.thm1.tptp2017-02-06 16:58 527  
[ ]mfold_1__1142_33.min1.thm1.tptp2017-02-06 16:58 586  
[ ]mfold_1__1444_29.min1.thm1.tptp2017-02-06 16:58 487  
[ ]mfold_1__1621_36.min1.thm1.tptp2017-02-06 16:58 752  
[ ]mfold_1__1647_37.min1.thm1.tptp2017-02-06 16:58 753  
[ ]ndiff_4__2108_36.min1.thm1.tptp2017-02-06 16:58 424  
[ ]orders_1__551_29.min1.thm1.tptp2017-02-06 16:58 461  
[ ]orders_1__561_51.min1.thm1.tptp2017-02-06 16:58 500  
[ ]pdiff_1__719_36.min1.thm1.tptp2017-02-06 16:58 415  
[ ]polynom6__2362_35.min1.thm1.tptp2017-02-06 16:58 518  
[ ]scheme1__2220_7.min1.thm1.tptp2017-02-06 16:58 414  
[ ]scheme1__2261_9.min1.thm1.tptp2017-02-06 16:58 414  
[ ]topalg_2__432_33.min1.thm1.tptp2017-02-06 16:58 483  
[ ]topalg_2__492_33.min1.thm1.tptp2017-02-06 16:58 483  
[ ]topalg_5__1618_37.min1.thm1.tptp2017-02-06 16:58 698  
[ ]topdim_1__1271_36.min1.thm1.tptp2017-02-06 16:58 519  
[ ]topdim_1__1342_34.min1.thm1.tptp2017-02-06 16:58 515  
[ ]topreal5__384_29.min1.thm1.tptp2017-02-06 16:58 539  
[ ]topreal5__419_29.min1.thm1.tptp2017-02-06 16:58 539  
[ ]toprealb__842_33.min1.thm1.tptp2017-02-06 16:58 605  
[ ]waybel24__920_16.min1.thm1.tptp2017-02-06 16:58 551  
[ ]waybel26__2116_16.min1.thm1.tptp2017-02-06 16:58 352  
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80