Atlantic Prover Suite
Downloading PIE & PROOF
How to download PIE and PROOF files from your Atlantic queries
You’ll need your Query ID from the response of your submitted job to download the associated files.
1
Navigate to the query
As described in Query Status, find the query you want to download files for.
2
Download files
Open TRACE_GENERATION
section to get the PIE file or PROOF_GENERATION
section to get the PROOF file.
Proof file is currently not available for L1 queries. To download it, please send a query with result
set to PROOF_GENERATION
or PROOF_VERIFICATION_ON_L2
.