detailed results (4327 total)

prover file res expected time
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn875.smt2 (content) unsat unsat 0.143s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn869.smt2 (content) unsat unsat 1.8s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn868.smt2 (content) unsat unsat 0.548s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn863.smt2 (content) unsat unsat 0.618s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn851.smt2 (content) unsat unsat 1.4s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn849.smt2 (content) unsat unsat 0.668s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn838.smt2 (content) unsat unsat 1.0s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn836.smt2 (content) unsat unsat 0.246s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn834.smt2 (content) unsat unsat 0.732s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn827.smt2 (content) unsat unsat 0.086s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn825.smt2 (content) unsat unsat 0.061s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn824.smt2 (content) unsat unsat 0.069s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn821.smt2 (content) unsat unsat 0.285s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn819.smt2 (content) unsat unsat 1.9s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn813.smt2 (content) unsat unsat 0.077s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn807.smt2 (content) unsat unsat 0.085s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn806.smt2 (content) unsat unsat 1.4s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn805.smt2 (content) unsat unsat 0.775s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn795.smt2 (content) unsat unsat 0.410s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn794.smt2 (content) unsat unsat 1s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn777.smt2 (content) unsat unsat 0.359s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn775.smt2 (content) unsat unsat 0.204s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn773.smt2 (content) unsat unsat 0.165s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn769.smt2 (content) unsat unsat 0.730s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn766.smt2 (content) unsat unsat 0.629s