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

Subfolders:

None

Why3ML reference verification file

vstte12_two_way_sort.mlw (file (1.1 kB))

Aggregated proportional method calls:

vstte12_two_way_sort.json (Z3 : 6.1 kB, CVC4 : 18.6 kB)

Files:

SMT input file	Callgrind output	Call graph data
Z3 (20.0 kB) CVC4 (20.0 kB)	Z3 (1.5 MB) CVC4 (5.5 MB)	Z3 (1.2 kB) CVC4 (446.2 kB)