detailed results (13300 total)

prover file res expected time
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410796/gensys_icl468.smt2 (content) unsat unsat 2.9s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410796/gensys_icl468.smt2 (content) unsat unsat 0.099s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410795/gensys_icl467.smt2 (content) unsat unsat 1s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410795/gensys_icl467.smt2 (content) unsat unsat 0.063s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410794/gensys_icl466.smt2 (content) unsat unsat 1.6s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410794/gensys_icl466.smt2 (content) unsat unsat 0.087s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410793/gensys_icl465.smt2 (content) unsat unsat 0.459s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410793/gensys_icl465.smt2 (content) unsat unsat 0.044s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410792/gensys_icl464.smt2 (content) unsat unsat 0.818s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410792/gensys_icl464.smt2 (content) unsat unsat 0.056s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410791/gensys_icl463.smt2 (content) unsat unsat 1s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410791/gensys_icl463.smt2 (content) unsat unsat 0.051s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410790/gensys_icl462.smt2 (content) unsat unsat 0.772s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410790/gensys_icl462.smt2 (content) unsat unsat 0.043s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410789/gensys_icl461.smt2 (content) unsat unsat 1.9s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410789/gensys_icl461.smt2 (content) unsat unsat 0.046s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410788/gensys_icl460.smt2 (content) unsat unsat 1.2s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410788/gensys_icl460.smt2 (content) unsat unsat 0.042s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410787/gensys_icl459.smt2 (content) unsat unsat 2.8s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410787/gensys_icl459.smt2 (content) unsat unsat 0.342s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410786/gensys_icl458.smt2 (content) unsat unsat 6.2s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410786/gensys_icl458.smt2 (content) unsat unsat 0.392s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410785/gensys_icl457.smt2 (content) unsat unsat 5.9s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410785/gensys_icl457.smt2 (content) unsat unsat 0.611s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410784/gensys_icl456.smt2 (content) unsat unsat 4.7s