detailed results (29828 total)

prover file res expected time
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn563.smt2 (content) sat unknown 0.230s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn563.smt2 (content) sat unknown 0.029s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn562.smt2 (content) unsat unknown 3.8s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn562.smt2 (content) unsat unknown 1.7s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn562.smt2 (content) unsat unknown 1.7s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn562.smt2 (content) unsat unknown 0.108s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn561.smt2 (content) sat unknown 0.225s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn561.smt2 (content) sat unknown 0.297s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn561.smt2 (content) sat unknown 0.292s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn561.smt2 (content) sat unknown 0.025s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn560.smt2 (content) unsat unknown 5.7s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn560.smt2 (content) unsat unknown 1.5s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn560.smt2 (content) unsat unknown 1.5s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn560.smt2 (content) unsat unknown 0.289s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn559.smt2 (content) sat unknown 0.375s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn559.smt2 (content) sat unknown 0.196s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn559.smt2 (content) sat unknown 0.192s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn559.smt2 (content) sat unknown 0.101s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn558.smt2 (content) sat unknown 0.536s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn558.smt2 (content) sat unknown 0.293s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn558.smt2 (content) sat unknown 0.285s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn558.smt2 (content) sat unknown 0.023s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn557.smt2 (content) timeout unknown 10s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn557.smt2 (content) unsat unknown 5.9s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn557.smt2 (content) unsat unknown 5.8s