detailed results (29828 total)

prover file res expected time
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/iso_brn047.smt2 (content) sat unknown 0.106s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/iso_brn047.smt2 (content) sat unknown 0.019s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/iso_brn046.smt2 (content) unsat unknown 0.194s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/iso_brn046.smt2 (content) unsat unknown 0.175s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/iso_brn046.smt2 (content) unsat unknown 0.177s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/iso_brn046.smt2 (content) unsat unknown 0.016s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/iso_brn045.smt2 (content) unsat unknown 0.221s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/iso_brn045.smt2 (content) unsat unknown 0.157s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/iso_brn045.smt2 (content) unsat unknown 0.157s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/iso_brn045.smt2 (content) unsat unknown 0.015s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/iso_brn044.smt2 (content) unsat unknown 0.162s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/iso_brn044.smt2 (content) unsat unknown 0.134s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/iso_brn044.smt2 (content) unsat unknown 0.134s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/iso_brn044.smt2 (content) unsat unknown 0.033s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/iso_brn043.smt2 (content) sat unknown 0.110s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/iso_brn043.smt2 (content) sat unknown 0.153s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/iso_brn043.smt2 (content) sat unknown 0.152s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/iso_brn043.smt2 (content) sat unknown 0.031s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/iso_brn042.smt2 (content) sat unknown 0.098s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/iso_brn042.smt2 (content) sat unknown 0.071s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/iso_brn042.smt2 (content) sat unknown 0.071s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/iso_brn042.smt2 (content) sat unknown 0.017s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/iso_brn041.smt2 (content) sat unknown 0.056s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/iso_brn041.smt2 (content) sat unknown 0.045s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/iso_brn041.smt2 (content) sat unknown 0.045s