String Benchmark Results

The figures below compare the performance of Norn, Z3str3, Z3seq, and CVC4 on sets of string instances generated by StringFuzz. The full results are available here in CSV format. The experiments are conducted on an Intel® Core™ i7-7560U CPU @ 2.40GHz × 4 with 7.7 GiB Memory. See the SMT-LIB-like syntax supported by each solver here.