detailed results (13300 total)

prover file res expected time
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410634/gensys_icl306.smt2 (content) unsat unsat 0.848s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410633/gensys_icl305.smt2 (content) unsat unsat 8.5s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410633/gensys_icl305.smt2 (content) unsat unsat 0.443s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410632/gensys_icl304.smt2 (content) unknown unsat 10.0s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410632/gensys_icl304.smt2 (content) unsat unsat 0.676s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410631/gensys_icl303.smt2 (content) timeout unsat 11s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410631/gensys_icl303.smt2 (content) unsat unsat 0.904s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410630/gensys_icl302.smt2 (content) unsat unsat 7.7s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410630/gensys_icl302.smt2 (content) unsat unsat 0.508s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410629/gensys_icl301.smt2 (content) unsat unsat 6.0s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410629/gensys_icl301.smt2 (content) unsat unsat 0.746s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410628/gensys_icl300.smt2 (content) timeout unsat 11s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410628/gensys_icl300.smt2 (content) unsat unsat 0.797s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410627/gensys_icl299.smt2 (content) unsat unsat 0.466s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410627/gensys_icl299.smt2 (content) unsat unsat 0.537s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410626/gensys_icl298.smt2 (content) unknown unsat 10.7s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410626/gensys_icl298.smt2 (content) unsat unsat 0.930s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410625/gensys_icl297.smt2 (content) unsat unsat 2s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410625/gensys_icl297.smt2 (content) unsat unsat 0.197s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410624/gensys_icl296.smt2 (content) unknown unsat 11s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410624/gensys_icl296.smt2 (content) unsat unsat 1.2s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410623/gensys_icl295.smt2 (content) unsat unsat 9.9s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410623/gensys_icl295.smt2 (content) unsat unsat 0.806s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410622/gensys_icl294.smt2 (content) unknown unsat 10.7s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410622/gensys_icl294.smt2 (content) unsat unsat 0.494s