=======================================================================================================
Name             |#th|#cl|#SLOC|property|seed|abstract|       COUNTEREXAMPLE
                 |   |   |     |        |err |        | real      | default   | BFS        | heur    
=======================================================================================================
BoundedBuffer    | 5 | 5 | 127 |deadlock| n  | SIGNS  |n          |y(f):5303  |y(t):56     |y(t):56
                                             |        |           |mem:43.38MB|mem:159.71MB|mem:128.9MB
                                             |        |           |t:1:29.546s|t:7:29.740s |t:5:54.6s
                                             ----------------------------------------------------------
                                             | RANGE01|y:353      |y(f):5918  |y(t):56     |y(t):56
                                             |        |mem:19.46MB|mem:57.63MB|mem:53.58MB |mem:30.64MB
                                             |        |t:2:46.028s|t:3:51.031s|t:5:12.778s |t:1:23.848s
-------------------------------------------------------------------------------------------------------
NestedMonitor    | 3 | 6 | 214 |deadlock| n  | SIGNS  |y:22       |y(t):111   |y(t):22     |y(t):22
                                             |        |mem:1.93MB |mem:1.59MB |mem:711.13kB|mem:1.6MB
                                             |        |t:23.312s  |t:6.768s   |t:5.574s    |t:3.147s
-------------------------------------------------------------------------------------------------------
ReplicatedWorkers| 5 | 11| 954 | assert | y:1| SIGNS  |y:423      |y(t):423   |out of mem  |out of mem
                                             |        |mem:3.64MB |mem:3.62MB |            |
                                             |        |t:27.156s  |t:27.867s  |            |
-------------------------------------------------------------------------------------------------------
RAX              | 3 | 4 | 55  |deadlock| n  | SIGNS  |y:30       |y(f):103   |y(t):30     |y(t):30
                                             |        |mem:2.56MB |mem:2.37MB |mem:2.59MB  |mem:3.02MB
                                             |        |t:12.330s  |t:12.499s  |t:11.802s   |t:11.448s
                                             |        |----OLD----|----OLD----|------------------------
                                             |        |y:40       |y:74       | 
                                             |        |m:3806768Mb|m:3452048Mb|
                                             |        |t:8.57s    |t:6.878s   | 
                                             ----------------------------------------------------------
                                             | EvenOdd|n          |y(t):72    |y(t):30     |y(t):30
                                             |        |           |mem:2.89MB |mem:4.48MB  |mem:8.61MB
                                             |        |           |t:12.706s  |t:13.055s   |t:16.935s 
                                             |        |           |----OLD----|------------------------
                                             |        |           |y:128      |
                                             |        |           |m:2727752Mb|
                                             |        |           |t:5.292s   |
-------------------------------------------------------------------------------------------------------
Pipeline         | 5 | 5 | 103 | assert | y:1| SIGNS  |y:55       |y(t):55    |y(t):22     |y(t):22
                                             |        |mem:2.28MB |mem:67.13MB|mem:1.63MB  |mem:1.68MB
                                             |        |t:11.083s  |t:3:22.304s|t:10.857s   |t:10.930s
                                             |        |----OLD----|----OLD----|------------------------
                                             |        |y:69       |y:168      |
                                             |        |m:3844128Mb|m:3844128Mb|
                                             |        |t:10.791s  |t:10.791s  | 
-------------------------------------------------------------------------------------------------------
ReadersWriters   | 5 | 5 | 590 | assert | y:1| SIGNS  |y:70       |y(f):27056 |y(t):64     |y(t):64
                                             |        |mem:11.72MB|me:182.95MB|mem:91.01MB |mem:94.87MB
                                             |        |t:49.253s  |t:11:29.68s|t:4:17.499s |t:4:18.466s
                                             |        |----OLD----|----OLD----|------------------------
                                             |        |y:76       |y:179      |
                                             |        |m42529336Mb|m590809192M|
                                             |        |t:11:22:275|t:172:11:2 |
-------------------------------------------------------------------------------------------------------
DEOS             | 6 | 20| 1443| assert | n  | SIGNS  |y:192      |y(?):294   |
                                             |        |mem317.82MB|mem228.28MB|
                                             |        |t:19:38.559|t:11:59.578|
                                             |        |----OLD----|----OLD----|------------------------
                                             |        |y:312      |y:471      |
                                             |        |m:9160312Mb|m:7932440Mb|
                                             |        |t:0:15:205 |t:0:9:72   |
-------------------------------------------------------------------------------------------------------