detailed results (7457 total)

prover file res expected time
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn507.smt2 (content) sat unknown 0.014s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn506.smt2 (content) unsat unknown 0.031s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn505.smt2 (content) sat unknown 0.013s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn504.smt2 (content) sat unknown 0.021s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn503.smt2 (content) unsat unknown 0.030s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn502.smt2 (content) sat unknown 0.015s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn501.smt2 (content) sat unknown 0.016s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn500.smt2 (content) sat unknown 0.015s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn499.smt2 (content) sat unknown 0.015s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn498.smt2 (content) sat unknown 0.018s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn497.smt2 (content) sat unknown 0.015s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn496.smt2 (content) sat unknown 0.013s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn495.smt2 (content) sat unknown 0.014s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn494.smt2 (content) unsat unknown 0.047s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn493.smt2 (content) sat unknown 0.019s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn492.smt2 (content) sat unknown 0.019s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn491.smt2 (content) sat unknown 0.015s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn490.smt2 (content) sat unknown 0.018s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn489.smt2 (content) sat unknown 0.015s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn488.smt2 (content) unsat unknown 0.173s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn487.smt2 (content) unsat unknown 0.113s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn486.smt2 (content) sat unknown 0.014s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn485.smt2 (content) sat unknown 0.020s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn484.smt2 (content) sat unknown 0.017s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn483.smt2 (content) sat unknown 0.015s