detailed results (14914 total)

prover file res expected time
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl551.smt2 (content) unsat unsat 0.192s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl551.smt2 (content) unsat unsat 0.043s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl550.smt2 (content) unsat unsat 0.240s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl550.smt2 (content) unsat unsat 0.044s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl549.smt2 (content) unsat unsat 0.530s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl549.smt2 (content) unsat unsat 0.064s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl548.smt2 (content) unsat unsat 0.386s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl548.smt2 (content) unsat unsat 0.062s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl547.smt2 (content) unsat unsat 0.263s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl547.smt2 (content) unsat unsat 0.053s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl546.smt2 (content) unsat unsat 0.236s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl546.smt2 (content) unsat unsat 0.046s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl545.smt2 (content) unsat unsat 0.510s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl545.smt2 (content) unsat unsat 0.103s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl544.smt2 (content) unsat unsat 0.427s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl544.smt2 (content) unsat unsat 0.056s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl543.smt2 (content) unsat unsat 0.311s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl543.smt2 (content) unsat unsat 0.048s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl542.smt2 (content) unsat unsat 0.449s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl542.smt2 (content) unsat unsat 0.073s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl541.smt2 (content) unsat unsat 0.771s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl541.smt2 (content) unsat unsat 0.053s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl540.smt2 (content) unsat unsat 0.750s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl540.smt2 (content) unsat unsat 0.066s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl539.smt2 (content) unsat unsat 0.231s