detailed results (14914 total)

prover file res expected time
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl311.smt2 (content) unsat unsat 3.6s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl311.smt2 (content) unsat unsat 0.220s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl310.smt2 (content) unsat unsat 5.3s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl310.smt2 (content) unsat unsat 0.249s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl309.smt2 (content) unsat unsat 6s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl309.smt2 (content) unsat unsat 0.219s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl308.smt2 (content) unsat unsat 1.5s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl308.smt2 (content) unsat unsat 0.135s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl307.smt2 (content) unsat unsat 10.1s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl307.smt2 (content) unsat unsat 1.3s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl306.smt2 (content) timeout unsat 12.4s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl306.smt2 (content) unsat unsat 0.799s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl305.smt2 (content) timeout unsat 12.2s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl305.smt2 (content) unsat unsat 0.549s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl304.smt2 (content) timeout unsat 12.4s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl304.smt2 (content) unsat unsat 0.790s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl303.smt2 (content) timeout unsat 12.1s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl303.smt2 (content) unsat unsat 0.804s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl302.smt2 (content) unsat unsat 4.8s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl302.smt2 (content) unsat unsat 0.796s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl301.smt2 (content) unsat unsat 10s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl301.smt2 (content) unsat unsat 0.700s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl300.smt2 (content) timeout unsat 12.2s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl300.smt2 (content) unsat unsat 0.705s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl299.smt2 (content) unsat unsat 0.460s