detailed results (29828 total)

prover file res expected time
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn097.smt2 (content) sat unknown 0.065s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn097.smt2 (content) sat unknown 0.064s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn097.smt2 (content) sat unknown 0.015s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn096.smt2 (content) sat unknown 0.073s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn096.smt2 (content) sat unknown 0.078s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn096.smt2 (content) sat unknown 0.081s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn096.smt2 (content) sat unknown 0.015s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn095.smt2 (content) timeout unknown 10.1s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn095.smt2 (content) unsat unknown 3.7s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn095.smt2 (content) unsat unknown 3.7s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn095.smt2 (content) unsat unknown 0.484s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn094.smt2 (content) sat unknown 0.536s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn094.smt2 (content) sat unknown 0.105s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn094.smt2 (content) sat unknown 0.104s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn094.smt2 (content) sat unknown 0.024s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn093.smt2 (content) timeout unknown 10s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn093.smt2 (content) timeout unknown 11s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn093.smt2 (content) timeout unknown 11s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn093.smt2 (content) unsat unknown 0.565s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn092.smt2 (content) sat unknown 0.177s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn092.smt2 (content) sat unknown 0.167s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn092.smt2 (content) sat unknown 0.168s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn092.smt2 (content) sat unknown 0.015s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn091.smt2 (content) timeout unknown 10s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn091.smt2 (content) unsat unknown 10s