detailed results (14914 total)

prover file res expected time
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl314.smt2 (content) unsat unsat 0.041s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl313.smt2 (content) unsat unsat 0.104s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl313.smt2 (content) unsat unsat 0.038s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl312.smt2 (content) unsat unsat 0.195s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl312.smt2 (content) unsat unsat 0.048s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl311.smt2 (content) unsat unsat 0.135s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl311.smt2 (content) unsat unsat 0.040s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl310.smt2 (content) unsat unsat 0.154s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl310.smt2 (content) unsat unsat 0.049s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl309.smt2 (content) unsat unsat 0.129s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl309.smt2 (content) unsat unsat 0.033s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl308.smt2 (content) unsat unsat 0.179s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl308.smt2 (content) unsat unsat 0.041s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl307.smt2 (content) unsat unsat 0.562s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl307.smt2 (content) unsat unsat 0.097s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl306.smt2 (content) unsat unsat 0.460s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl306.smt2 (content) unsat unsat 0.053s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl305.smt2 (content) unsat unsat 0.466s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl305.smt2 (content) unsat unsat 0.035s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl304.smt2 (content) unsat unsat 0.246s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl304.smt2 (content) unsat unsat 0.045s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl303.smt2 (content) unsat unsat 0.252s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl303.smt2 (content) unsat unsat 0.041s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl302.smt2 (content) unsat unsat 0.447s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl302.smt2 (content) unsat unsat 0.124s