detailed results (4328 total)

prover file res expected time
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn755.smt2 (content) unsat unsat 1.6s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn753.smt2 (content) unsat unsat 0.109s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn752.smt2 (content) unsat unsat 0.899s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn742.smt2 (content) unsat unsat 0.155s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn738.smt2 (content) unsat unsat 0.668s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn737.smt2 (content) unsat unsat 0.567s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn732.smt2 (content) unsat unsat 0.752s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn727.smt2 (content) unsat unsat 0.247s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn723.smt2 (content) unsat unsat 1s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn722.smt2 (content) unsat unsat 0.539s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn712.smt2 (content) unsat unsat 0.288s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn710.smt2 (content) unsat unsat 0.146s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn705.smt2 (content) unsat unsat 0.700s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn700.smt2 (content) unsat unsat 0.226s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn697.smt2 (content) unsat unsat 0.199s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn696.smt2 (content) unsat unsat 1.3s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn647.smt2 (content) unsat unsat 0.629s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn638.smt2 (content) unsat unsat 0.468s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn634.smt2 (content) unsat unsat 0.724s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn624.smt2 (content) unsat unsat 0.605s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn622.smt2 (content) unsat unsat 0.932s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn597.smt2 (content) unsat unsat 0.243s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn593.smt2 (content) unsat unsat 0.742s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn591.smt2 (content) unsat unsat 1s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn573.smt2 (content) unsat unsat 0.496s