detailed results (14914 total)

prover file res expected time
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl736.smt2 (content) timeout unsat 12.0s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl736.smt2 (content) unsat unsat 1s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl735.smt2 (content) unsat unsat 3.6s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl735.smt2 (content) unsat unsat 0.267s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl734.smt2 (content) unsat unsat 10.7s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl734.smt2 (content) unsat unsat 0.232s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl733.smt2 (content) timeout unsat 14s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl733.smt2 (content) unsat unsat 0.340s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl732.smt2 (content) unsat unsat 2.2s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl732.smt2 (content) unsat unsat 0.142s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl731.smt2 (content) unsat unsat 10.5s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl731.smt2 (content) unsat unsat 0.923s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl730.smt2 (content) timeout unsat 11.7s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl730.smt2 (content) unsat unsat 0.333s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl729.smt2 (content) unsat unsat 10.1s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl729.smt2 (content) unsat unsat 0.188s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl728.smt2 (content) timeout unsat 14.2s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl728.smt2 (content) unsat unsat 0.467s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl727.smt2 (content) unsat unsat 5.3s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl727.smt2 (content) unsat unsat 0.321s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl726.smt2 (content) unsat unsat 11.3s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl726.smt2 (content) unsat unsat 0.710s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl725.smt2 (content) unsat unsat 9s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl725.smt2 (content) unsat unsat 0.647s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl724.smt2 (content) unsat unsat 11.2s