detailed results (14914 total)

prover file res expected time
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn1156.smt2 (content) sat sat 0.118s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn1156.smt2 (content) sat sat 0.040s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn1155.smt2 (content) sat sat 0.106s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn1155.smt2 (content) sat sat 0.034s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn1154.smt2 (content) sat sat 0.089s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn1154.smt2 (content) sat sat 0.037s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn1153.smt2 (content) sat sat 0.094s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn1153.smt2 (content) sat sat 0.038s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn1152.smt2 (content) sat sat 0.115s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn1152.smt2 (content) sat sat 0.049s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn1151.smt2 (content) sat sat 0.077s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn1151.smt2 (content) sat sat 0.039s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn1150.smt2 (content) unsat unsat 9.3s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn1150.smt2 (content) unsat unsat 0.137s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn115.smt2 (content) unsat unsat 1.7s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn115.smt2 (content) unsat unsat 0.598s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn1149.smt2 (content) unsat unsat 7.1s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn1149.smt2 (content) unsat unsat 0.133s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn1148.smt2 (content) unsat unsat 6.2s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn1148.smt2 (content) unsat unsat 0.141s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn1147.smt2 (content) sat sat 0.183s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn1147.smt2 (content) sat sat 0.038s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn1146.smt2 (content) sat sat 0.198s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn1146.smt2 (content) sat sat 0.070s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn1145.smt2 (content) sat sat 0.305s