detailed results (29828 total)

prover file res expected time
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1105.smt2 (content) sat unknown 0.056s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1105.smt2 (content) sat unknown 0.019s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1104.smt2 (content) unsat unknown 5.4s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1104.smt2 (content) unsat unknown 4.2s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1104.smt2 (content) unsat unknown 4.2s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1104.smt2 (content) unsat unknown 0.282s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1103.smt2 (content) unsat unknown 5.3s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1103.smt2 (content) unsat unknown 4.5s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1103.smt2 (content) unsat unknown 4.5s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1103.smt2 (content) unsat unknown 0.409s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1102.smt2 (content) sat unknown 0.136s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1102.smt2 (content) sat unknown 0.068s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1102.smt2 (content) sat unknown 0.069s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1102.smt2 (content) sat unknown 0.015s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1101.smt2 (content) sat unknown 0.117s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1101.smt2 (content) sat unknown 0.059s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1101.smt2 (content) sat unknown 0.054s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1101.smt2 (content) sat unknown 0.015s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1100.smt2 (content) sat unknown 0.089s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1100.smt2 (content) sat unknown 0.049s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1100.smt2 (content) sat unknown 0.053s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1100.smt2 (content) sat unknown 0.015s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn110.smt2 (content) sat unknown 0.377s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn110.smt2 (content) sat unknown 0.204s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn110.smt2 (content) sat unknown 0.205s