Using a General-Purpose Benchmark Suite for Domain-Specific SMT-solving

Subfolders:

None

Why3ML reference verification file

foveoos11_challenge1.mlw (file (727 bytes))

Aggregated proportional method calls:

foveoos11_challenge1.json (Z3 : 16.3 kB, CVC4 : 17.5 kB)

Files:

SMT input file	Callgrind output	Call graph data
Z3 (8.5 kB) CVC4 (8.5 kB)	Z3 (1.5 MB) CVC4 (5.0 MB)	Z3 (111.8 kB) CVC4 (500.3 kB)