detailed results (13300 total)

prover file res expected time
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410846/gensys_icl518.smt2 (content) timeout unsat 11s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410846/gensys_icl518.smt2 (content) unsat unsat 0.642s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410845/gensys_icl517.smt2 (content) unsat unsat 8.6s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410845/gensys_icl517.smt2 (content) unsat unsat 0.692s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410844/gensys_icl516.smt2 (content) unsat unsat 1.3s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410844/gensys_icl516.smt2 (content) unsat unsat 0.094s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410843/gensys_icl515.smt2 (content) unsat unsat 8.9s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410843/gensys_icl515.smt2 (content) unsat unsat 0.659s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410842/gensys_icl514.smt2 (content) unsat unsat 4.5s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410842/gensys_icl514.smt2 (content) unsat unsat 0.552s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410841/gensys_icl513.smt2 (content) unsat unsat 0.770s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410841/gensys_icl513.smt2 (content) unsat unsat 0.103s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410840/gensys_icl512.smt2 (content) timeout unsat 11s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410840/gensys_icl512.smt2 (content) unsat unsat 0.756s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410839/gensys_icl511.smt2 (content) unsat unsat 4.0s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410839/gensys_icl511.smt2 (content) unsat unsat 0.477s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410838/gensys_icl510.smt2 (content) timeout unsat 11s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410838/gensys_icl510.smt2 (content) unsat unsat 0.840s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410837/gensys_icl509.smt2 (content) timeout unsat 11s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410837/gensys_icl509.smt2 (content) unsat unsat 0.772s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410836/gensys_icl508.smt2 (content) unsat unsat 3.1s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410836/gensys_icl508.smt2 (content) unsat unsat 0.314s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410835/gensys_icl507.smt2 (content) unsat unsat 3.3s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410835/gensys_icl507.smt2 (content) unsat unsat 0.310s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410834/gensys_icl506.smt2 (content) timeout unsat 11s