detailed results (14914 total)

prover file res expected time
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn369.smt2 (content) sat sat 0.341s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn369.smt2 (content) sat sat 0.053s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn368.smt2 (content) unsat unsat 2.1s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn368.smt2 (content) unsat unsat 0.109s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn367.smt2 (content) unsat unsat 2.4s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn367.smt2 (content) unsat unsat 0.099s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn366.smt2 (content) sat sat 0.451s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn366.smt2 (content) sat sat 0.054s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn365.smt2 (content) unsat unsat 5.2s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn365.smt2 (content) unsat unsat 0.203s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn364.smt2 (content) sat sat 0.272s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn364.smt2 (content) sat sat 0.051s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn363.smt2 (content) sat sat 0.276s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn363.smt2 (content) sat sat 0.072s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn362.smt2 (content) sat sat 0.732s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn362.smt2 (content) sat sat 0.141s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn361.smt2 (content) sat sat 0.540s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn361.smt2 (content) sat sat 0.072s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn360.smt2 (content) unsat unsat 7s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn360.smt2 (content) unsat unsat 0.114s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn359.smt2 (content) sat sat 0.256s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn359.smt2 (content) sat sat 0.072s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn358.smt2 (content) sat sat 0.250s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn358.smt2 (content) sat sat 0.058s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn357.smt2 (content) sat sat 0.504s