detailed results (19166 total)

prover file res expected time
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409622/gensys_brn577.smt2 (content) sat sat 0.241s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409622/gensys_brn577.smt2 (content) sat sat 0.029s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409621/gensys_brn576.smt2 (content) sat sat 0.307s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409621/gensys_brn576.smt2 (content) sat sat 0.036s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409620/gensys_brn575.smt2 (content) sat sat 0.236s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409620/gensys_brn575.smt2 (content) sat sat 0.030s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409619/gensys_brn574.smt2 (content) sat sat 0.223s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409619/gensys_brn574.smt2 (content) sat sat 0.026s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409618/gensys_brn573.smt2 (content) unsat unsat 2.8s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409618/gensys_brn573.smt2 (content) unsat unsat 0.389s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409617/gensys_brn572.smt2 (content) sat sat 0.288s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409617/gensys_brn572.smt2 (content) sat sat 0.037s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409616/gensys_brn571.smt2 (content) sat sat 0.199s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409616/gensys_brn571.smt2 (content) sat sat 0.070s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409615/gensys_brn570.smt2 (content) unsat unsat 2.2s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409615/gensys_brn570.smt2 (content) unsat unsat 0.182s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409614/gensys_brn569.smt2 (content) sat sat 0.328s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409614/gensys_brn569.smt2 (content) sat sat 0.045s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409613/gensys_brn568.smt2 (content) sat sat 0.248s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409613/gensys_brn568.smt2 (content) sat sat 0.074s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409612/gensys_brn567.smt2 (content) sat sat 0.448s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409612/gensys_brn567.smt2 (content) sat sat 0.072s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409611/gensys_brn566.smt2 (content) sat sat 1s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409611/gensys_brn566.smt2 (content) sat sat 0.079s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409610/gensys_brn565.smt2 (content) unsat unsat 10.8s