This file has been automatically computed by the PLECTIX Compressor prototype.
SIMulator by PLectiX: simplx 4.321..10518_32
COMpressor by PLectiX: complx 4.321..10518
Git commit date is 2010-01-26 18:16:08
Timestamp:01/29/2010 (10:51:21)
CommandLine: complx egfr.ka --output-scheme egfr --do-ODE
InputFile:egfr.ka

Main menu

Session info

  • Command_line
  • Log
  • Xml session

    • Plot and Drawings

  • Contact map (Low resolution)
  • Contact map (High resolution)

    • Kappa rules

  • Rules
  • Precompiled-Kappa file
  • Precompiled-Kappa file (gathered)
  • Boolean encoding file
  • Boolean encoding file (gathered)

    • Analysis result

  • Contact map (Low resolution)
  • Contact map (High resolution)
  • Subviews

    • Influence_map

  • Influence map in txt
  • Influence map in dot

    • Compression

  • Qualitative decontextualization (pretty printed)
  • Qualitative decontextualization (in a kappa file)
  • Quantitative decontextualization (pretty printed)
  • Quantitative decontextualization (in a kappa file)

    • Refinement relation

  • DAG representation
  • Maximal refinement relation

    • Ordinary differential equations

  • Xml session (for ODE integration)
  • Main file (octave)
  • script
  • gnuplot file
  • Equations (octave)
  • Jacobian (octave)
  • Rules activity (octave)
  • Observable activity (octave)
  • Initial solution (octave)
  • System size (octave)

    • Command_line

    complx egfr.ka --output-scheme egfr --do-ODE

    Log

    Compilation(simplx) 0.008001 s.
    Second compilation(pretty printing) 0. s.
    Translation 0.004 s.
    Renaming 0. s.
    Boolean encoding of the initial system 0.004 s.
    Quotienting rules 0.004 s.
    Boolean encoding of the quotiented system 0. s.
    Low-res contact map 0. s.
    Reachability analysis 0.020002 s.
    Absract lenses computation 0.016 s.
    Quark computation 0. s.
    Influence map 0.004001 s.
    count automorphisms in lhs 0. s.
    Compression(qualitative) 0.056003 s.
    Compression(quantitative) 0.076005 s.
    High resolution contact map (txt) 0.008001 s.
    High resolution contact (dot) 0. s.
    High resolution contact map (ps) 0.016 s.
    High resolution contact map (jpg) 0.032002 s.
    Low resolution contact_map (txt) 0. s.
    Low resolution contact (dot) 0.004 s.
    Low resolution contact_map (ps) 0.020002 s.
    Low resolution contact_map (jpg) 0.032002 s.
    Translation 0.004 s.
    Renaming 0. s.
    Boolean encoding of the initial system 0.004 s.
    count automorphisms in lhs 0. s.
    ODE computation 0.16001 s.
    dumping fragments 0.144009 s.
    compute refinement relation closure 0.004 s.
    compute maximal refinement relation 0. s.
    compute dag-like refinement relation 0. s.
    dump_dag_refinement_relation 0.016 s.
    dump_maximal_refinement_relation 0.024002 s.
    marshalling 0.004 s.
    dump_xml 0.008001 s.

    Rules