detailed results (29828 total)

prover file res expected time
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg6/iso_brn007.smt2 (content) sat unknown 0.224s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg6/iso_brn007.smt2 (content) sat unknown 0.016s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg6/iso_brn006.smt2 (content) sat unknown 6.1s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg6/iso_brn006.smt2 (content) sat unknown 0.684s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg6/iso_brn006.smt2 (content) sat unknown 0.678s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg6/iso_brn006.smt2 (content) sat unknown 0.037s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg6/iso_brn005.smt2 (content) sat unknown 2.3s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg6/iso_brn005.smt2 (content) sat unknown 0.115s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg6/iso_brn005.smt2 (content) sat unknown 0.115s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg6/iso_brn005.smt2 (content) sat unknown 0.023s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg6/iso_brn004.smt2 (content) sat unknown 1.1s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg6/iso_brn004.smt2 (content) sat unknown 0.219s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg6/iso_brn004.smt2 (content) sat unknown 0.214s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg6/iso_brn004.smt2 (content) sat unknown 0.017s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg6/iso_brn003.smt2 (content) sat unknown 0.889s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg6/iso_brn003.smt2 (content) sat unknown 0.146s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg6/iso_brn003.smt2 (content) sat unknown 0.146s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg6/iso_brn003.smt2 (content) sat unknown 0.038s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg6/iso_brn002.smt2 (content) sat unknown 0.346s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg6/iso_brn002.smt2 (content) sat unknown 0.237s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg6/iso_brn002.smt2 (content) sat unknown 0.228s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg6/iso_brn002.smt2 (content) sat unknown 0.025s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg6/iso_brn001.smt2 (content) sat unknown 1.2s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg6/iso_brn001.smt2 (content) sat unknown 0.225s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg6/iso_brn001.smt2 (content) sat unknown 0.215s