detailed results (29828 total)

prover file res expected time
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn644.smt2 (content) sat unknown 0.330s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn644.smt2 (content) sat unknown 0.325s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn644.smt2 (content) sat unknown 0.035s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn643.smt2 (content) sat unknown 0.584s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn643.smt2 (content) sat unknown 0.109s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn643.smt2 (content) sat unknown 0.106s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn643.smt2 (content) sat unknown 0.025s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn642.smt2 (content) sat unknown 0.457s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn642.smt2 (content) sat unknown 0.323s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn642.smt2 (content) sat unknown 0.321s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn642.smt2 (content) sat unknown 0.025s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn641.smt2 (content) sat unknown 0.349s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn641.smt2 (content) sat unknown 0.173s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn641.smt2 (content) sat unknown 0.169s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn641.smt2 (content) sat unknown 0.037s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn640.smt2 (content) sat unknown 0.229s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn640.smt2 (content) sat unknown 0.252s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn640.smt2 (content) sat unknown 0.263s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn640.smt2 (content) sat unknown 0.027s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn639.smt2 (content) sat unknown 0.301s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn639.smt2 (content) sat unknown 0.191s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn639.smt2 (content) sat unknown 0.196s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn639.smt2 (content) sat unknown 0.027s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn638.smt2 (content) timeout unknown 10s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn638.smt2 (content) unsat unknown 9.8s