detailed results (29828 total)

prover file res expected time
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl001.smt2 (content) unsat unknown 0.127s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl001.smt2 (content) unsat unknown 0.139s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl001.smt2 (content) unsat unknown 0.135s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl001.smt2 (content) unsat unknown 0.025s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn999.smt2 (content) sat unknown 0.323s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn999.smt2 (content) sat unknown 0.156s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn999.smt2 (content) sat unknown 0.159s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn999.smt2 (content) sat unknown 0.042s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn998.smt2 (content) timeout unknown 10s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn998.smt2 (content) unsat unknown 8.7s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn998.smt2 (content) unsat unknown 8.8s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn998.smt2 (content) unsat unknown 0.584s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn997.smt2 (content) timeout unknown 10s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn997.smt2 (content) unsat unknown 10.7s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn997.smt2 (content) unsat unknown 10.8s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn997.smt2 (content) unsat unknown 0.547s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn996.smt2 (content) sat unknown 1s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn996.smt2 (content) sat unknown 0.504s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn996.smt2 (content) sat unknown 0.508s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn996.smt2 (content) sat unknown 0.036s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn995.smt2 (content) sat unknown 0.472s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn995.smt2 (content) sat unknown 0.311s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn995.smt2 (content) sat unknown 0.319s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn995.smt2 (content) sat unknown 0.026s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn994.smt2 (content) sat unknown 0.291s