detailed results (13300 total)

prover file res expected time
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410596/gensys_icl268.smt2 (content) unsat unsat 0.474s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410596/gensys_icl268.smt2 (content) unsat unsat 0.113s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410595/gensys_icl267.smt2 (content) unsat unsat 0.337s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410595/gensys_icl267.smt2 (content) unsat unsat 0.061s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410594/gensys_icl266.smt2 (content) unsat unsat 2.8s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410594/gensys_icl266.smt2 (content) unsat unsat 0.384s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410593/gensys_icl265.smt2 (content) unsat unsat 1.9s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410593/gensys_icl265.smt2 (content) unsat unsat 0.307s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410592/gensys_icl264.smt2 (content) unsat unsat 3.7s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410592/gensys_icl264.smt2 (content) unsat unsat 0.374s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410591/gensys_icl263.smt2 (content) unsat unsat 1.7s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410591/gensys_icl263.smt2 (content) unsat unsat 0.058s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410590/gensys_icl262.smt2 (content) unsat unsat 2.8s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410590/gensys_icl262.smt2 (content) unsat unsat 0.083s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410589/gensys_icl261.smt2 (content) unsat unsat 1.4s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410589/gensys_icl261.smt2 (content) unsat unsat 0.079s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410588/gensys_icl260.smt2 (content) unsat unsat 0.744s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410588/gensys_icl260.smt2 (content) unsat unsat 0.063s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410587/gensys_icl259.smt2 (content) unsat unsat 0.652s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410587/gensys_icl259.smt2 (content) unsat unsat 0.050s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410586/gensys_icl258.smt2 (content) unsat unsat 0.647s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410586/gensys_icl258.smt2 (content) unsat unsat 0.041s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410585/gensys_icl257.smt2 (content) unsat unsat 1.5s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410585/gensys_icl257.smt2 (content) unsat unsat 0.071s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410584/gensys_icl256.smt2 (content) unsat unsat 2.8s