detailed results (4326 total)

prover file res expected time
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn469.smt2 (content) unsat unsat 0.059s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn464.smt2 (content) unsat unsat 0.167s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn462.smt2 (content) unsat unsat 0.145s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn453.smt2 (content) unsat unsat 0.552s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn448.smt2 (content) unsat unsat 0.087s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn447.smt2 (content) unsat unsat 0.087s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn444.smt2 (content) unsat unsat 0.288s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn442.smt2 (content) unsat unsat 0.447s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn436.smt2 (content) unsat unsat 0.990s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn435.smt2 (content) unsat unsat 0.452s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn434.smt2 (content) unsat unsat 0.503s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn433.smt2 (content) unsat unsat 0.742s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn428.smt2 (content) unsat unsat 0.042s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn427.smt2 (content) unsat unsat 0.053s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn425.smt2 (content) unsat unsat 0.080s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn421.smt2 (content) unsat unsat 1s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn420.smt2 (content) unsat unsat 0.536s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn417.smt2 (content) unsat unsat 0.113s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn415.smt2 (content) unsat unsat 0.390s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn412.smt2 (content) unsat unsat 0.802s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn410.smt2 (content) unsat unsat 0.108s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn407.smt2 (content) unsat unsat 0.115s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn406.smt2 (content) unsat unsat 0.123s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn396.smt2 (content) unsat unsat 0.114s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn395.smt2 (content) unsat unsat 0.247s