detailed results (4328 total)

prover file res expected time
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn570.smt2 (content) unsat unsat 0.161s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn565.smt2 (content) unsat unsat 0.492s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn562.smt2 (content) unsat unsat 0.257s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn560.smt2 (content) unsat unsat 0.439s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn557.smt2 (content) unsat unsat 1.2s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn537.smt2 (content) unsat unsat 0.150s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn536.smt2 (content) unsat unsat 0.417s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn533.smt2 (content) unsat unsat 0.405s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn527.smt2 (content) unsat unsat 0.216s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn526.smt2 (content) unsat unsat 0.544s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn521.smt2 (content) unsat unsat 0.751s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn519.smt2 (content) unsat unsat 0.771s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn516.smt2 (content) unsat unsat 0.182s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn508.smt2 (content) unsat unsat 0.151s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn506.smt2 (content) unsat unsat 0.061s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn503.smt2 (content) unsat unsat 0.059s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn494.smt2 (content) unsat unsat 0.102s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn488.smt2 (content) unsat unsat 0.234s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn487.smt2 (content) unsat unsat 0.255s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn478.smt2 (content) unsat unsat 0.346s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn476.smt2 (content) unsat unsat 0.112s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn475.smt2 (content) unsat unsat 0.059s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn470.smt2 (content) unsat unsat 0.056s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn469.smt2 (content) unsat unsat 0.128s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn464.smt2 (content) unsat unsat 0.268s