detailed results (4327 total)

prover file res expected time
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1038.smt2 (content) unsat unsat 0.066s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1034.smt2 (content) unsat unsat 0.410s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1030.smt2 (content) unsat unsat 0.470s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1025.smt2 (content) unsat unsat 1.6s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1024.smt2 (content) unsat unsat 0.142s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1000.smt2 (content) unsat unsat 0.142s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn095.smt2 (content) unsat unsat 0.885s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn093.smt2 (content) unsat unsat 1.2s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn091.smt2 (content) unsat unsat 1.7s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn088.smt2 (content) unsat unsat 0.814s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn053.smt2 (content) unsat unsat 0.086s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn049.smt2 (content) unsat unsat 0.096s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn047.smt2 (content) unsat unsat 0.149s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn035.smt2 (content) unsat unsat 0.103s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn034.smt2 (content) unsat unsat 0.102s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn033.smt2 (content) unsat unsat 0.098s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn024.smt2 (content) unsat unsat 0.131s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn023.smt2 (content) unsat unsat 0.155s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn020.smt2 (content) unsat unsat 0.111s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn009.smt2 (content) unsat unsat 0.041s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn007.smt2 (content) unsat unsat 0.049s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/dead_dnd066.smt2 (content) unsat unsat 0.051s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/dead_dnd065.smt2 (content) unsat unsat 0.166s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/dead_dnd064.smt2 (content) unsat unsat 0.064s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/dead_dnd063.smt2 (content) unsat unsat 0.061s