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 11.0s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn769.smt2 (content) unsat unsat 0.456s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn768.smt2 (content) sat sat 0.580s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn768.smt2 (content) sat sat 0.078s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn767.smt2 (content) sat sat 0.431s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn767.smt2 (content) sat sat 0.074s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn766.smt2 (content) unsat unsat 6.1s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn766.smt2 (content) unsat unsat 0.412s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn765.smt2 (content) sat sat 0.197s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn765.smt2 (content) sat sat 0.052s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn764.smt2 (content) sat sat 0.531s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn764.smt2 (content) sat sat 0.065s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn763.smt2 (content) sat sat 0.269s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn763.smt2 (content) sat sat 0.075s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn762.smt2 (content) sat sat 0.554s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn762.smt2 (content) sat sat 0.065s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn761.smt2 (content) unsat unsat 4.3s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn761.smt2 (content) unsat unsat 0.644s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn760.smt2 (content) sat sat 0.423s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn760.smt2 (content) sat sat 0.059s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn759.smt2 (content) sat sat 0.339s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn759.smt2 (content) sat sat 0.071s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn758.smt2 (content) sat sat 0.269s
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.283s