detailed results (14914 total)

prover file res expected time
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl626.smt2 (content) unsat unsat 0.579s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl626.smt2 (content) unsat unsat 0.130s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl625.smt2 (content) unsat unsat 0.262s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl625.smt2 (content) unsat unsat 0.073s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl624.smt2 (content) unsat unsat 0.168s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl624.smt2 (content) unsat unsat 0.047s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl623.smt2 (content) unsat unsat 0.540s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl623.smt2 (content) unsat unsat 0.052s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl622.smt2 (content) unsat unsat 0.622s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl622.smt2 (content) unsat unsat 0.056s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl621.smt2 (content) unsat unsat 0.340s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl621.smt2 (content) unsat unsat 0.044s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl620.smt2 (content) unsat unsat 0.887s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl620.smt2 (content) unsat unsat 0.048s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl619.smt2 (content) unsat unsat 0.181s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl619.smt2 (content) unsat unsat 0.039s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl618.smt2 (content) unsat unsat 0.216s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl618.smt2 (content) unsat unsat 0.044s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl617.smt2 (content) unsat unsat 0.246s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl617.smt2 (content) unsat unsat 0.107s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl616.smt2 (content) unsat unsat 0.174s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl616.smt2 (content) unsat unsat 0.053s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl615.smt2 (content) unsat unsat 0.276s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl615.smt2 (content) unsat unsat 0.055s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl614.smt2 (content) unsat unsat 0.463s