detailed results (14914 total)

prover file res expected time
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn694.smt2 (content) sat sat 0.239s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn694.smt2 (content) sat sat 0.046s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn693.smt2 (content) sat sat 0.951s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn693.smt2 (content) sat sat 0.083s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn692.smt2 (content) sat sat 0.619s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn692.smt2 (content) sat sat 0.051s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn691.smt2 (content) sat sat 0.381s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn691.smt2 (content) sat sat 0.035s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn690.smt2 (content) sat sat 0.277s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn690.smt2 (content) sat sat 0.060s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn689.smt2 (content) sat sat 0.155s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn689.smt2 (content) sat sat 0.043s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn688.smt2 (content) sat sat 0.209s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn688.smt2 (content) sat sat 0.049s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn687.smt2 (content) sat sat 1.3s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn687.smt2 (content) sat sat 0.057s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn686.smt2 (content) sat sat 0.813s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn686.smt2 (content) sat sat 0.088s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn685.smt2 (content) sat sat 0.180s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn685.smt2 (content) sat sat 0.105s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn684.smt2 (content) sat sat 0.113s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn684.smt2 (content) sat sat 0.032s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn683.smt2 (content) sat sat 0.232s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn683.smt2 (content) sat sat 0.060s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn682.smt2 (content) sat sat 0.365s