schema=symcc-f428-environment-v1
hostname=cuda-ke
kernel=7.0.0-28-generic
architecture=x86_64
python=3.12.3
python_executable=/home/ubuntu/venv/symcc/bin/python3
pytest=pytest 9.1.1
llvm17=Ubuntu LLVM version 17.0.6
llvm18=Ubuntu LLVM version 18.1.3
cvc5=cvc5 1.3.4 [git f3b21c4 on branch HEAD]
cvc5_sha256=7562a8b0b835e3eaad5f1a7b4616cd762350cf567b6be03d7e8ee24fa5ced5ee
ethos_path=/home/ubuntu/.local/share/symcc-cpc-1.3.4/bin/ethos
ethos_sha256=7f73a7e8a584cabb9b50c3a57d6f222661f184cc323fb661a3ec78092c201c5d
cpc_signature_files=51
timezone=Asia/Shanghai