detailed results (14914 total)

prover file res expected time
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl551.smt2 (content) unsat unsat 0.290s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl551.smt2 (content) unsat unsat 0.092s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl550.smt2 (content) unsat unsat 0.173s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl550.smt2 (content) unsat unsat 0.052s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl549.smt2 (content) unsat unsat 0.427s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl549.smt2 (content) unsat unsat 0.065s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl548.smt2 (content) unsat unsat 0.270s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl548.smt2 (content) unsat unsat 0.055s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl547.smt2 (content) unsat unsat 0.352s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl547.smt2 (content) unsat unsat 0.080s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl546.smt2 (content) unsat unsat 0.203s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl546.smt2 (content) unsat unsat 0.065s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl545.smt2 (content) unsat unsat 0.346s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl545.smt2 (content) unsat unsat 0.052s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl544.smt2 (content) unsat unsat 0.318s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl544.smt2 (content) unsat unsat 0.062s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl543.smt2 (content) unsat unsat 0.212s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl543.smt2 (content) unsat unsat 0.044s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl542.smt2 (content) unsat unsat 0.281s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl542.smt2 (content) unsat unsat 0.083s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl541.smt2 (content) unsat unsat 0.390s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl541.smt2 (content) unsat unsat 0.067s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl540.smt2 (content) unsat unsat 0.362s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl540.smt2 (content) unsat unsat 0.047s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl539.smt2 (content) unsat unsat 0.226s