detailed results (29828 total)

prover file res expected time
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg7/iso_brn_sk031.smt2 (content) unsat unknown 0.145s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg7/iso_brn_sk031.smt2 (content) unsat unknown 0.046s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg7/iso_brn_sk030.smt2 (content) sat unknown 0.639s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg7/iso_brn_sk030.smt2 (content) sat unknown 0.088s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg7/iso_brn_sk030.smt2 (content) sat unknown 0.086s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg7/iso_brn_sk030.smt2 (content) sat unknown 0.024s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg7/iso_brn_sk029.smt2 (content) sat unknown 0.467s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg7/iso_brn_sk029.smt2 (content) sat unknown 0.204s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg7/iso_brn_sk029.smt2 (content) sat unknown 0.202s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg7/iso_brn_sk029.smt2 (content) sat unknown 0.024s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg7/iso_brn_sk028.smt2 (content) unsat unknown 0.577s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg7/iso_brn_sk028.smt2 (content) unsat unknown 0.244s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg7/iso_brn_sk028.smt2 (content) unsat unknown 0.245s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg7/iso_brn_sk028.smt2 (content) unsat unknown 0.023s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg7/iso_brn_sk027.smt2 (content) unsat unknown 2.7s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg7/iso_brn_sk027.smt2 (content) unsat unknown 0.193s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg7/iso_brn_sk027.smt2 (content) unsat unknown 0.194s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg7/iso_brn_sk027.smt2 (content) unsat unknown 0.028s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg7/iso_brn_sk026.smt2 (content) unsat unknown 1s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg7/iso_brn_sk026.smt2 (content) unsat unknown 0.171s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg7/iso_brn_sk026.smt2 (content) unsat unknown 0.172s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg7/iso_brn_sk026.smt2 (content) unsat unknown 0.020s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg7/iso_brn_sk025.smt2 (content) unsat unknown 0.965s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg7/iso_brn_sk025.smt2 (content) unsat unknown 0.145s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg7/iso_brn_sk025.smt2 (content) unsat unknown 0.153s