detailed results (13300 total)

prover file res expected time
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409621/gensys_brn576.smt2 (content) sat sat 0.366s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409621/gensys_brn576.smt2 (content) sat sat 0.052s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409620/gensys_brn575.smt2 (content) sat sat 0.281s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409620/gensys_brn575.smt2 (content) sat sat 0.049s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409619/gensys_brn574.smt2 (content) sat sat 0.279s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409619/gensys_brn574.smt2 (content) sat sat 0.043s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409618/gensys_brn573.smt2 (content) unsat unsat 3.4s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409618/gensys_brn573.smt2 (content) unsat unsat 0.396s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409617/gensys_brn572.smt2 (content) sat sat 0.317s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409617/gensys_brn572.smt2 (content) sat sat 0.063s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409616/gensys_brn571.smt2 (content) sat sat 0.242s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409616/gensys_brn571.smt2 (content) sat sat 0.036s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409615/gensys_brn570.smt2 (content) unsat unsat 2.6s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409615/gensys_brn570.smt2 (content) unsat unsat 0.171s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409614/gensys_brn569.smt2 (content) sat sat 0.404s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409614/gensys_brn569.smt2 (content) sat sat 0.056s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409613/gensys_brn568.smt2 (content) sat sat 0.298s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409613/gensys_brn568.smt2 (content) sat sat 0.048s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409612/gensys_brn567.smt2 (content) sat sat 0.506s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409612/gensys_brn567.smt2 (content) sat sat 0.042s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409611/gensys_brn566.smt2 (content) sat sat 1.2s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409611/gensys_brn566.smt2 (content) sat sat 0.104s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409610/gensys_brn565.smt2 (content) timeout unsat 11s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409610/gensys_brn565.smt2 (content) unsat unsat 0.410s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409609/gensys_brn564.smt2 (content) sat sat 0.279s