detailed results (13300 total)

prover file res expected time
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409571/gensys_brn526.smt2 (content) unsat unsat 6.1s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409571/gensys_brn526.smt2 (content) unsat unsat 0.523s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409570/gensys_brn525.smt2 (content) sat sat 0.304s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409570/gensys_brn525.smt2 (content) sat sat 0.038s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409569/gensys_brn524.smt2 (content) sat sat 0.331s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409569/gensys_brn524.smt2 (content) sat sat 0.037s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409568/gensys_brn523.smt2 (content) sat sat 0.140s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409568/gensys_brn523.smt2 (content) sat sat 0.047s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409567/gensys_brn522.smt2 (content) sat sat 0.194s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409567/gensys_brn522.smt2 (content) sat sat 0.030s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409566/gensys_brn521.smt2 (content) unsat unsat 0.329s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409566/gensys_brn521.smt2 (content) unsat unsat 0.624s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409565/gensys_brn520.smt2 (content) sat sat 0.533s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409565/gensys_brn520.smt2 (content) sat sat 0.035s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409564/gensys_brn519.smt2 (content) unsat unsat 0.517s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409564/gensys_brn519.smt2 (content) unsat unsat 0.485s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409563/gensys_brn518.smt2 (content) sat sat 0.330s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409563/gensys_brn518.smt2 (content) sat sat 0.080s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409562/gensys_brn517.smt2 (content) sat sat 0.282s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409562/gensys_brn517.smt2 (content) sat sat 0.100s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409561/gensys_brn516.smt2 (content) unsat unsat 0.363s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409561/gensys_brn516.smt2 (content) unsat unsat 0.181s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409560/gensys_brn515.smt2 (content) sat sat 0.155s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409560/gensys_brn515.smt2 (content) sat sat 0.040s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409559/gensys_brn514.smt2 (content) sat sat 0.228s