detailed results (14914 total)

prover file res expected time
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn419.smt2 (content) sat sat 1s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn419.smt2 (content) sat sat 0.050s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn418.smt2 (content) sat sat 0.769s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn418.smt2 (content) sat sat 0.077s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn417.smt2 (content) unsat unsat 0.773s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn417.smt2 (content) unsat unsat 0.113s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn416.smt2 (content) sat sat 0.107s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn416.smt2 (content) sat sat 0.037s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn415.smt2 (content) unknown unsat 10.0s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn415.smt2 (content) unsat unsat 0.403s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn414.smt2 (content) sat sat 0.158s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn414.smt2 (content) sat sat 0.083s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn413.smt2 (content) sat sat 0.481s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn413.smt2 (content) sat sat 0.075s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn412.smt2 (content) unknown unsat 11s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn412.smt2 (content) unsat unsat 0.599s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn411.smt2 (content) sat sat 0.208s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn411.smt2 (content) sat sat 0.085s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn410.smt2 (content) unsat unsat 0.451s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn410.smt2 (content) unsat unsat 0.096s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn409.smt2 (content) sat sat 0.158s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn409.smt2 (content) sat sat 0.060s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn408.smt2 (content) sat sat 0.621s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn408.smt2 (content) sat sat 0.050s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn407.smt2 (content) unsat unsat 1.7s