Chiron Scale Artists PNG Graphs

• Graphs for Total Times
  • By Property
    • Original Dispatcher: 0   1   2   3   4   5   6   7   8   9
    • Decomposed Dispatcher: 0   1   2   3   4   5   6   7   8   9
    • Both Dispatchers: 0   1   2   3   4   5   6   7   8   9
    • INCA Only with Both Dispatchers: 0   1   2   3   4   5   6   7   8   9
    • INCA-Spin and Native Spin Only with Both Dispatchers: 0   1   2   3   4   5   6   7   8   9
    • INCA-SMV Only with Both Dispatchers: 0   1   2   3   4   5   6   7   8   9
    • FLAVERS Only with Both Dispatchers: 0   1   2   3   4   5   6   7   8   9
  • By Tool
    • Original Dispatcher INCA   INCA-Spin   INCA-SMV   INCA-NuSMV   Native Spin   FLAVERS
    • Decomposed Dispatcher: INCA   INCA-Spin   INCA-SMV   INCA-NuSMV   Native Spin   FLAVERS
• Graphs for Detailed Times
  • Original Dispatcher
    • INCA: 0a   1a   1b   2a   2b   3a   4a   5a   6a   7a   7b   8a   9a
    • INCA-Spin: 0a   1a   1b   2a   3a   4a   5a   6a   7a   7b   8a   9a
    • INCA-SMV: 0a   1a   1b   2a   3a   4a   5a   6a   7a   7b   8a   9a
    • Native Spin: 0a   1a   1b   2a   3a   4a   5a   6a   7a   7b   8a   9a
    • FLAVERS: 1a   1b   2a   3a   4a   5a   6a   7a   8a   9a
  • Decomposed Dispatcher
    • INCA: 0a   1a   1b   2a   2b   2c   2d   2e   3a   4a   5a   6a   7a   7b   8a   9a
    • INCA-Spin: 0a   1a   1b   2a   3a   4a   5a   6a   7a   7b   8a   9a
    • INCA-SMV: 0a   1a   1b   2a   3a   4a   5a   6a   7a   7b   8a   9a
    • Native Spin: 0a   1a   1b   2a   3a   4a   5a   6a   7a   7b   8a   9a
    • FLAVERS: 1a   1b   2a   3a   4a   5a   6a   7a   8a   9a