Mayhem Summary

Statistics

# Experiments: 797

# Runs: 280,544

# Programs: 37,391 (997 with coverage information)

# Testcases: 207,206,508

# Crashes: 2,606,506

# Unique Crashes: 13,875

SMT Queries: 16,098,778,559

Queries Cached: 12,429,631,104

Symb ASMs : 73,173,355,712

Symb ILs: 150,806,222,495

Run time: 243,245,470s

Time checking SAT: 40,962,229s

Time in symb exec: 128,009,655s

Time in model: 31,588,947s

Recently Analyzed Programs

Latest Experiments