detailed results (4253 total)

prover file res expected time
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn956.smt2 (content) unsat unknown 0.071s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn954.smt2 (content) unsat unknown 0.293s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn949.smt2 (content) unsat unknown 0.295s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn945.smt2 (content) unsat unknown 0.137s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn935.smt2 (content) unsat unknown 0.063s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn933.smt2 (content) unsat unknown 0.241s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn932.smt2 (content) unsat unknown 0.394s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn919.smt2 (content) unsat unknown 0.039s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn913.smt2 (content) unsat unknown 0.063s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn905.smt2 (content) unsat unknown 0.494s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn903.smt2 (content) unsat unknown 0.260s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn900.smt2 (content) unsat unknown 0.258s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn897.smt2 (content) unsat unknown 0.603s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn895.smt2 (content) unsat unknown 0.497s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn891.smt2 (content) unsat unknown 0.626s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn880.smt2 (content) unsat unknown 0.624s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn878.smt2 (content) unsat unknown 0.076s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn876.smt2 (content) unsat unknown 0.059s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn875.smt2 (content) unsat unknown 0.109s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn869.smt2 (content) unsat unknown 1.3s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn868.smt2 (content) unsat unknown 0.189s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn863.smt2 (content) unsat unknown 0.351s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn851.smt2 (content) unsat unknown 0.811s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn849.smt2 (content) unsat unknown 0.438s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn838.smt2 (content) unsat unknown 1.1s