detailed results (29828 total)

prover file res expected time
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn178.smt2 (content) sat unknown 0.056s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn178.smt2 (content) sat unknown 0.013s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn177.smt2 (content) sat unknown 0.060s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn177.smt2 (content) sat unknown 0.032s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn177.smt2 (content) sat unknown 0.031s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn177.smt2 (content) sat unknown 0.011s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn176.smt2 (content) sat unknown 0.029s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn176.smt2 (content) sat unknown 0.031s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn176.smt2 (content) sat unknown 0.033s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn176.smt2 (content) sat unknown 0.012s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn175.smt2 (content) sat unknown 0.026s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn175.smt2 (content) sat unknown 0.035s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn175.smt2 (content) sat unknown 0.027s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn175.smt2 (content) sat unknown 0.012s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn174.smt2 (content) sat unknown 0.027s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn174.smt2 (content) sat unknown 0.027s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn174.smt2 (content) sat unknown 0.027s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn174.smt2 (content) sat unknown 0.011s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn173.smt2 (content) sat unknown 0.032s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn173.smt2 (content) sat unknown 0.031s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn173.smt2 (content) sat unknown 0.032s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn173.smt2 (content) sat unknown 0.010s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn172.smt2 (content) unsat unknown 0.322s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn172.smt2 (content) unsat unknown 0.392s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn172.smt2 (content) unsat unknown 0.389s