detailed results (4326 total)

prover file res expected time
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn591.smt2 (content) unsat unsat 1s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn573.smt2 (content) unsat unsat 0.476s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn570.smt2 (content) unsat unsat 0.158s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn565.smt2 (content) unsat unsat 0.793s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn562.smt2 (content) unsat unsat 0.218s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn560.smt2 (content) unsat unsat 0.567s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn557.smt2 (content) unsat unsat 0.485s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn537.smt2 (content) unsat unsat 0.198s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn536.smt2 (content) unsat unsat 0.252s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn533.smt2 (content) unsat unsat 0.298s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn527.smt2 (content) unsat unsat 0.174s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn526.smt2 (content) unsat unsat 0.465s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn521.smt2 (content) unsat unsat 0.768s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn519.smt2 (content) unsat unsat 0.598s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn516.smt2 (content) unsat unsat 0.249s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn508.smt2 (content) unsat unsat 0.099s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn506.smt2 (content) unsat unsat 0.078s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn503.smt2 (content) unsat unsat 0.070s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn494.smt2 (content) unsat unsat 0.073s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn488.smt2 (content) unsat unsat 0.250s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn487.smt2 (content) unsat unsat 0.158s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn478.smt2 (content) unsat unsat 0.199s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn476.smt2 (content) unsat unsat 0.092s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn475.smt2 (content) unsat unsat 0.081s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn470.smt2 (content) unsat unsat 0.071s