detailed results (14914 total)

prover file res expected time
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn544.smt2 (content) sat sat 0.575s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn544.smt2 (content) sat sat 0.054s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn543.smt2 (content) sat sat 0.264s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn543.smt2 (content) sat sat 0.049s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn542.smt2 (content) sat sat 0.267s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn542.smt2 (content) sat sat 0.056s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn541.smt2 (content) sat sat 1s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn541.smt2 (content) sat sat 0.059s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn540.smt2 (content) sat sat 3.3s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn540.smt2 (content) sat sat 0.046s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn539.smt2 (content) sat sat 3.4s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn539.smt2 (content) sat sat 0.074s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn538.smt2 (content) sat sat 0.379s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn538.smt2 (content) sat sat 0.048s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn537.smt2 (content) unsat unsat 2.5s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn537.smt2 (content) unsat unsat 0.150s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn536.smt2 (content) unknown unsat 11.9s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn536.smt2 (content) unsat unsat 0.417s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn535.smt2 (content) sat sat 2.0s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn535.smt2 (content) sat sat 0.064s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn534.smt2 (content) sat sat 0.886s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn534.smt2 (content) sat sat 0.059s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn533.smt2 (content) unsat unsat 4.4s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn533.smt2 (content) unsat unsat 0.405s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn532.smt2 (content) sat sat 0.298s