detailed results (14914 total)

prover file res expected time
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1088.smt2 (content) sat sat 0.084s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1088.smt2 (content) sat sat 0.047s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1087.smt2 (content) unsat unsat 2.1s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1087.smt2 (content) unsat unsat 0.158s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1086.smt2 (content) sat sat 0.163s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1086.smt2 (content) sat sat 0.046s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1085.smt2 (content) unsat unsat 1s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1085.smt2 (content) unsat unsat 0.105s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1084.smt2 (content) sat sat 0.246s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1084.smt2 (content) sat sat 0.073s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1083.smt2 (content) unsat unsat 0.355s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1083.smt2 (content) unsat unsat 0.065s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1082.smt2 (content) sat sat 0.157s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1082.smt2 (content) sat sat 0.055s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1081.smt2 (content) sat sat 0.479s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1081.smt2 (content) sat sat 0.115s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1080.smt2 (content) sat sat 0.792s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1080.smt2 (content) sat sat 0.067s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn108.smt2 (content) sat sat 1s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn108.smt2 (content) sat sat 0.090s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1079.smt2 (content) unknown sat 10.3s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1079.smt2 (content) sat sat 0.052s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1078.smt2 (content) sat sat 0.233s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1078.smt2 (content) sat sat 0.061s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1077.smt2 (content) sat sat 0.592s