Published November 7, 2021 | Version v1
Dataset Open

ARCH-COMP 2021: Validation Data from the Falsification Category

Authors/Creators

  • 1. LMU Munich

Description

This artifact documents the results from the falsification category of the ARCH 2021 friendly competition.

Files

arch2021-falsification-traces.zip

Files (739.4 MB)

Name Size
md5:e988d03ca5e1f242a41d5ddc895b6c3d
739.4 MB Preview Download
md5:efd5f046b470eee8e5266fb53d540bef
1.9 kB Preview Download