detailed results (1 total)

proverfileresexpectedtime
sidekick-dev/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl609.smt2(content)errorunsat9.3s