detailed results (14914 total)

prover file res expected time
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn819.smt2 (content) unknown unsat 10.5s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn819.smt2 (content) unsat unsat 1.3s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn818.smt2 (content) sat sat 0.769s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn818.smt2 (content) sat sat 0.053s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn817.smt2 (content) sat sat 0.493s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn817.smt2 (content) sat sat 0.061s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn816.smt2 (content) sat sat 1.5s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn816.smt2 (content) sat sat 0.053s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn815.smt2 (content) sat sat 0.602s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn815.smt2 (content) sat sat 0.061s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn814.smt2 (content) sat sat 0.406s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn814.smt2 (content) sat sat 0.058s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn813.smt2 (content) unsat unsat 2.2s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn813.smt2 (content) unsat unsat 0.143s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn812.smt2 (content) sat sat 0.367s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn812.smt2 (content) sat sat 0.115s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn811.smt2 (content) sat sat 0.678s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn811.smt2 (content) sat sat 0.085s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn810.smt2 (content) sat sat 0.625s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn810.smt2 (content) sat sat 0.070s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn809.smt2 (content) sat sat 0.337s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn809.smt2 (content) sat sat 0.047s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn808.smt2 (content) sat sat 0.288s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn808.smt2 (content) sat sat 0.040s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn807.smt2 (content) unsat unsat 7.6s