detailed results (14914 total)

prover file res expected time
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn494.smt2 (content) unknown unsat 10.6s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn494.smt2 (content) unsat unsat 0.102s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn493.smt2 (content) sat sat 0.444s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn493.smt2 (content) sat sat 0.047s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn492.smt2 (content) sat sat 0.490s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn492.smt2 (content) sat sat 0.058s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn491.smt2 (content) sat sat 0.122s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn491.smt2 (content) sat sat 0.040s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn490.smt2 (content) sat sat 0.109s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn490.smt2 (content) sat sat 0.054s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn489.smt2 (content) sat sat 0.068s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn489.smt2 (content) sat sat 0.046s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn488.smt2 (content) unsat unsat 2.2s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn488.smt2 (content) unsat unsat 0.234s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn487.smt2 (content) unsat unsat 0.967s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn487.smt2 (content) unsat unsat 0.255s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn486.smt2 (content) sat sat 0.143s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn486.smt2 (content) sat sat 0.036s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn485.smt2 (content) sat sat 0.943s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn485.smt2 (content) sat sat 0.067s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn484.smt2 (content) sat sat 0.259s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn484.smt2 (content) sat sat 0.057s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn483.smt2 (content) sat sat 0.354s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn483.smt2 (content) sat sat 0.099s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn482.smt2 (content) sat sat 0.093s