detailed results (4326 total)

prover file res expected time
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn766.smt2 (content) unsat unsat 0.454s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn761.smt2 (content) unsat unsat 0.637s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn755.smt2 (content) unsat unsat 1s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn753.smt2 (content) unsat unsat 0.124s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn752.smt2 (content) unsat unsat 0.634s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn742.smt2 (content) unsat unsat 0.222s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn738.smt2 (content) unsat unsat 0.617s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn737.smt2 (content) unsat unsat 0.752s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn732.smt2 (content) unsat unsat 0.724s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn727.smt2 (content) unsat unsat 0.130s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn723.smt2 (content) unsat unsat 1s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn722.smt2 (content) unsat unsat 0.726s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn712.smt2 (content) unsat unsat 0.236s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn710.smt2 (content) unsat unsat 0.200s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn705.smt2 (content) unsat unsat 0.469s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn700.smt2 (content) unsat unsat 0.219s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn697.smt2 (content) unsat unsat 0.231s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn696.smt2 (content) unsat unsat 1.3s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn647.smt2 (content) unsat unsat 0.422s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn638.smt2 (content) unsat unsat 0.491s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn634.smt2 (content) unsat unsat 0.721s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn624.smt2 (content) unsat unsat 0.548s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn622.smt2 (content) unsat unsat 1s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn597.smt2 (content) unsat unsat 0.289s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn593.smt2 (content) unsat unsat 0.730s