detailed results (14914 total)

prover file res expected time
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn919.smt2 (content) unsat unsat 1.8s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn919.smt2 (content) unsat unsat 0.108s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn918.smt2 (content) sat sat 0.256s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn918.smt2 (content) sat sat 0.046s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn917.smt2 (content) sat sat 1.6s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn917.smt2 (content) sat sat 0.048s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn916.smt2 (content) sat sat 0.225s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn916.smt2 (content) sat sat 0.063s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn915.smt2 (content) sat sat 0.489s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn915.smt2 (content) sat sat 0.042s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn914.smt2 (content) sat sat 0.275s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn914.smt2 (content) sat sat 0.058s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn913.smt2 (content) unsat unsat 0.822s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn913.smt2 (content) unsat unsat 0.101s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn912.smt2 (content) sat sat 0.217s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn912.smt2 (content) sat sat 0.051s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn911.smt2 (content) sat sat 0.557s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn911.smt2 (content) sat sat 0.053s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn910.smt2 (content) sat sat 0.792s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn910.smt2 (content) sat sat 0.052s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn909.smt2 (content) sat sat 0.299s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn909.smt2 (content) sat sat 0.044s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn908.smt2 (content) sat sat 0.448s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn908.smt2 (content) sat sat 0.095s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn907.smt2 (content) sat sat 0.298s