detailed results (13300 total)

prover file res expected time
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410546/gensys_icl218.smt2 (content) unsat unsat 1.2s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410546/gensys_icl218.smt2 (content) unsat unsat 0.088s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410545/gensys_icl217.smt2 (content) unsat unsat 1.2s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410545/gensys_icl217.smt2 (content) unsat unsat 0.092s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410544/gensys_icl216.smt2 (content) unsat unsat 0.277s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410544/gensys_icl216.smt2 (content) unsat unsat 0.047s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410543/gensys_icl215.smt2 (content) unsat unsat 0.777s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410543/gensys_icl215.smt2 (content) unsat unsat 0.084s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410542/gensys_icl214.smt2 (content) unsat unsat 0.555s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410542/gensys_icl214.smt2 (content) unsat unsat 0.085s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410541/gensys_icl213.smt2 (content) unsat unsat 0.608s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410541/gensys_icl213.smt2 (content) unsat unsat 0.072s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410540/gensys_icl212.smt2 (content) unsat unsat 0.214s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410540/gensys_icl212.smt2 (content) unsat unsat 0.067s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410539/gensys_icl211.smt2 (content) unsat unsat 0.820s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410539/gensys_icl211.smt2 (content) unsat unsat 0.130s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410538/gensys_icl210.smt2 (content) unsat unsat 0.647s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410538/gensys_icl210.smt2 (content) unsat unsat 0.103s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410537/gensys_icl209.smt2 (content) unsat unsat 0.875s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410537/gensys_icl209.smt2 (content) unsat unsat 0.091s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410536/gensys_icl208.smt2 (content) unsat unsat 0.912s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410536/gensys_icl208.smt2 (content) unsat unsat 0.083s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410535/gensys_icl207.smt2 (content) unsat unsat 0.776s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410535/gensys_icl207.smt2 (content) unsat unsat 0.078s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410534/gensys_icl206.smt2 (content) unsat unsat 1.2s