[[Concurrency Tool Comparison]]

== Summary Results Table ==

{| align=center | border=1
|- bgcolor="white" |
| colspan=5 align="center" | replicated (5,2)
|- bgcolor="lightblue"
! Tool
! Trials (successful)
! Time
! Transition (paths)
! Max Depth (error depth)
|-
| JPF "Randomized DFS"
| 100 (97) 0.97
| align="right"| 203.71s
| 716039.24 (0.00)
| 383.79 (360.53)
|- bgcolor="white" |
| colspan=5 align="center" | replicated (8,2)
|- bgcolor="lightblue"
! Tool
! Trials (successful)
! Time
! Transition (paths)
! Max Depth (error depth)
|-
| JPF "Randomized DFS"
| 100 (97) 0.97
| align="right"| 4.77s
| 1800.77 (0.00)
| 1799.77 (1799.77)
|-
| JPF Stateless Random Walk
| 10159 (9632) 0.95
| align="right"| 5.39s
| 134.49 (NA)
| 0.00 (NA)
|}

==Java Pathfinder==
===Stateless Random Walk===

{| align=center | border=1 | -bgcolor=grey
! Parameters !! Path Error Density
|- 
| 8,2 || 0.948
|}

===Stateful Randomized Depth-first search===

* 100 randomized depth-first search trial, where each trial is time-bounded at
one hour. A total of 100 computation hours dedicated in discovering the error. 

* 2 MB of RAM allocated on each machine

* The Error Discovering Trials is the number of trials that discovered an error
among the initially launched trials (100). 
{| align="center" | border=1
|- bgcolor="lightblue"
! Parameters
! Trials (successful)
! Time
! Transition (paths)
! Max Depth (error depth)
!  abs time (ms)
!  rel. time (ms)
!  search depth
!  errorDepth
!  new states
!  revisited states
!  end states
!  backtracks
!  processed states
!  restored states
!  total memory (kB)
!  max total memory
!  free memory (kB)
!  heap objects
!  max heap objects

|-
|(5,2)
| 100 (97) 97.00%
| align="right"| 203.71s
| 716039.24 (0.00)
| 383.79 (360.53)
| align="right" | 203712.19
| align="right" | 3288.24
| align="right" | 383.79
| align="right" | 360.53
| align="right" | 167602.51
| align="right" | 548436.73
| align="right" | 0.22
| align="right" | 715677.71
| align="right" | 167240.76
| align="right" | 0.00
| align="right" | 347472.49
| align="right" | 6990528.00
| align="right" | 109416.73
| align="right" | 726.43
| align="right" | 735.43
|-
|(8,2)
| 100 (97) 97.00%
| align="right"| 4.77s
| 1800.77 (0.00)
| 1799.77 (1799.77)
| align="right" | 4772.70
| align="right" | 4772.70
| align="right" | 1799.77
| align="right" | 1799.77
| align="right" | 1800.77
| align="right" | 0.00
| align="right" | 0.00
| align="right" | 0.00
| align="right" | 0.00
| align="right" | 0.00
| align="right" | 58443.22
| align="right" | 6990528.00
| align="right" | 0.00
| align="right" | 764.00
| align="right" | 805.82
|}


==CHESS==
{| align=center | border=1 |
|- bgcolor="lightblue"
! Parameters !! Time !!  Transitions !!  paths !!  Max Depth
|-
| 5, 2, 0, 10, 05 || 620 ||  103 ||  1 ||  103
|-
| 8, 2, 0, 10, 001 || 620 ||  157 ||  1 ||  157

|}