detailed results (7457 total)

prover file res expected time
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl739.smt2 (content) unsat unsat 0.086s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl738.smt2 (content) unsat unsat 0.084s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl737.smt2 (content) unsat unsat 0.292s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl736.smt2 (content) unsat unsat 0.315s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl735.smt2 (content) unsat unsat 0.143s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl734.smt2 (content) unsat unsat 0.322s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl733.smt2 (content) unsat unsat 0.088s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl732.smt2 (content) unsat unsat 0.134s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl731.smt2 (content) unsat unsat 0.212s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl730.smt2 (content) unsat unsat 0.360s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl729.smt2 (content) unsat unsat 0.121s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl728.smt2 (content) unsat unsat 0.322s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl727.smt2 (content) unsat unsat 0.549s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl726.smt2 (content) unsat unsat 0.222s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl725.smt2 (content) unsat unsat 0.227s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl724.smt2 (content) unsat unsat 0.206s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl723.smt2 (content) unsat unsat 0.271s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl722.smt2 (content) unsat unsat 0.173s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl721.smt2 (content) unsat unsat 0.644s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl720.smt2 (content) unsat unsat 0.212s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl719.smt2 (content) unsat unsat 0.170s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl718.smt2 (content) unsat unsat 0.268s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl717.smt2 (content) unsat unsat 0.190s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl716.smt2 (content) unsat unsat 0.280s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl715.smt2 (content) unsat unsat 0.356s