detailed results (4253 total)

prover file res expected time
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn732.smt2 (content) unsat unknown 0.524s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn727.smt2 (content) unsat unknown 0.076s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn723.smt2 (content) unsat unknown 0.602s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn722.smt2 (content) unsat unknown 0.374s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn712.smt2 (content) unsat unknown 0.162s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn710.smt2 (content) unsat unknown 0.093s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn705.smt2 (content) unsat unknown 0.394s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn700.smt2 (content) unsat unknown 0.147s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn697.smt2 (content) unsat unknown 0.125s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn696.smt2 (content) unsat unknown 1s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn647.smt2 (content) unsat unknown 0.149s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn638.smt2 (content) unsat unknown 0.263s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn634.smt2 (content) unsat unknown 0.465s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn624.smt2 (content) unsat unknown 0.364s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn622.smt2 (content) unsat unknown 0.463s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn597.smt2 (content) unsat unknown 0.136s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn593.smt2 (content) unsat unknown 0.548s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn591.smt2 (content) unsat unknown 0.585s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn573.smt2 (content) unsat unknown 0.253s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn570.smt2 (content) unsat unknown 0.119s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn565.smt2 (content) unsat unknown 0.244s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn562.smt2 (content) unsat unknown 0.108s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn560.smt2 (content) unsat unknown 0.289s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn557.smt2 (content) unsat unknown 0.368s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn537.smt2 (content) unsat unknown 0.092s