detailed results (14914 total)

prover file res expected time
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn769.smt2 (content) timeout unsat 18s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn769.smt2 (content) unsat unsat 1.6s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn768.smt2 (content) sat sat 0.668s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn768.smt2 (content) sat sat 0.052s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn767.smt2 (content) sat sat 0.583s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn767.smt2 (content) sat sat 0.054s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn766.smt2 (content) unsat unsat 12.2s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn766.smt2 (content) unsat unsat 0.718s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn765.smt2 (content) sat sat 0.392s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn765.smt2 (content) sat sat 0.073s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn764.smt2 (content) sat sat 1.1s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn764.smt2 (content) sat sat 0.078s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn763.smt2 (content) sat sat 0.743s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn763.smt2 (content) sat sat 0.045s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn762.smt2 (content) sat sat 0.491s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn762.smt2 (content) sat sat 0.039s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn761.smt2 (content) unsat unsat 8.9s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn761.smt2 (content) unsat unsat 1s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn760.smt2 (content) sat sat 0.924s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn760.smt2 (content) sat sat 0.115s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn759.smt2 (content) sat sat 0.391s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn759.smt2 (content) sat sat 0.046s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn758.smt2 (content) sat sat 0.282s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn758.smt2 (content) sat sat 0.052s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn757.smt2 (content) sat sat 0.267s