detailed results (13300 total)

prover file res expected time
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410984/gensys_icl656.smt2 (content) unsat unsat 1s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410983/gensys_icl655.smt2 (content) unsat unsat 1s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410983/gensys_icl655.smt2 (content) unsat unsat 0.181s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410982/gensys_icl654.smt2 (content) unsat unsat 2.4s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410982/gensys_icl654.smt2 (content) unsat unsat 0.284s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410981/gensys_icl653.smt2 (content) timeout unsat 11s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410981/gensys_icl653.smt2 (content) unsat unsat 2s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410980/gensys_icl652.smt2 (content) unsat unsat 2.6s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410980/gensys_icl652.smt2 (content) unsat unsat 0.445s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410979/gensys_icl651.smt2 (content) unsat unsat 10.3s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410979/gensys_icl651.smt2 (content) unsat unsat 0.846s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410978/gensys_icl650.smt2 (content) unsat unsat 3.9s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410978/gensys_icl650.smt2 (content) unsat unsat 0.436s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410977/gensys_icl649.smt2 (content) unsat unsat 5.2s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410977/gensys_icl649.smt2 (content) unsat unsat 0.531s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410976/gensys_icl648.smt2 (content) unsat unsat 4.2s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410976/gensys_icl648.smt2 (content) unsat unsat 0.451s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410975/gensys_icl647.smt2 (content) unsat unsat 4.5s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410975/gensys_icl647.smt2 (content) unsat unsat 0.565s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410974/gensys_icl646.smt2 (content) unsat unsat 2.9s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410974/gensys_icl646.smt2 (content) unsat unsat 0.505s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410973/gensys_icl645.smt2 (content) unsat unsat 2.4s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410973/gensys_icl645.smt2 (content) unsat unsat 0.252s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410972/gensys_icl644.smt2 (content) unsat unsat 4.8s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410972/gensys_icl644.smt2 (content) unsat unsat 0.507s