detailed results (14914 total)

prover file res expected time
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn494.smt2 (content) unsat unsat 4.8s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn494.smt2 (content) unsat unsat 0.087s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn493.smt2 (content) sat sat 0.101s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn493.smt2 (content) sat sat 0.066s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn492.smt2 (content) sat sat 0.307s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn492.smt2 (content) sat sat 0.056s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn491.smt2 (content) sat sat 0.201s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn491.smt2 (content) sat sat 0.041s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn490.smt2 (content) sat sat 0.220s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn490.smt2 (content) sat sat 0.060s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn489.smt2 (content) sat sat 0.106s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn489.smt2 (content) sat sat 0.078s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn488.smt2 (content) unsat unsat 1.9s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn488.smt2 (content) unsat unsat 0.220s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn487.smt2 (content) unsat unsat 0.637s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn487.smt2 (content) unsat unsat 0.161s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn486.smt2 (content) sat sat 0.164s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn486.smt2 (content) sat sat 0.059s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn485.smt2 (content) sat sat 0.211s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn485.smt2 (content) sat sat 0.056s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn484.smt2 (content) sat sat 0.305s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn484.smt2 (content) sat sat 0.046s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn483.smt2 (content) sat sat 0.145s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn483.smt2 (content) sat sat 0.046s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn482.smt2 (content) sat sat 0.189s