detailed results (14914 total)

prover file res expected time
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn959.smt2 (content) sat sat 0.204s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn959.smt2 (content) sat sat 0.044s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn958.smt2 (content) sat sat 0.217s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn958.smt2 (content) sat sat 0.037s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn957.smt2 (content) sat sat 0.157s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn957.smt2 (content) sat sat 0.041s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn956.smt2 (content) sat sat 0.102s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn956.smt2 (content) sat sat 0.032s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn955.smt2 (content) sat sat 0.207s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn955.smt2 (content) sat sat 0.037s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn954.smt2 (content) sat sat 0.189s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn954.smt2 (content) sat sat 0.063s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn953.smt2 (content) sat sat 0.175s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn953.smt2 (content) sat sat 0.052s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn952.smt2 (content) sat sat 0.130s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn952.smt2 (content) sat sat 0.040s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn951.smt2 (content) unsat unsat 0.558s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn951.smt2 (content) unsat unsat 0.063s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn950.smt2 (content) sat sat 0.262s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn950.smt2 (content) sat sat 0.043s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn949.smt2 (content) sat sat 0.139s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn949.smt2 (content) sat sat 0.046s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn948.smt2 (content) unsat unsat 0.514s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn948.smt2 (content) unsat unsat 0.065s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn947.smt2 (content) unsat unsat 0.316s