detailed results (19166 total)

prover file res expected time
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409947/gensys_brn902.smt2 (content) sat sat 0.121s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409947/gensys_brn902.smt2 (content) sat sat 0.028s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409946/gensys_brn901.smt2 (content) sat sat 0.099s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409946/gensys_brn901.smt2 (content) sat sat 0.028s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409945/gensys_brn900.smt2 (content) unsat unsat 2.3s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409945/gensys_brn900.smt2 (content) unsat unsat 0.367s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409944/gensys_brn899.smt2 (content) sat sat 0.185s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409944/gensys_brn899.smt2 (content) sat sat 0.045s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409943/gensys_brn898.smt2 (content) sat sat 0.130s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409943/gensys_brn898.smt2 (content) sat sat 0.029s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409942/gensys_brn897.smt2 (content) timeout unsat 11s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409942/gensys_brn897.smt2 (content) unsat unsat 0.857s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409941/gensys_brn896.smt2 (content) sat sat 0.154s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409941/gensys_brn896.smt2 (content) sat sat 0.120s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409940/gensys_brn895.smt2 (content) timeout unsat 11s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409940/gensys_brn895.smt2 (content) unsat unsat 0.750s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409939/gensys_brn894.smt2 (content) sat sat 0.266s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409939/gensys_brn894.smt2 (content) sat sat 0.062s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409938/gensys_brn893.smt2 (content) sat sat 0.390s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409938/gensys_brn893.smt2 (content) sat sat 0.076s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409937/gensys_brn892.smt2 (content) sat sat 0.339s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409937/gensys_brn892.smt2 (content) sat sat 0.054s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409936/gensys_brn891.smt2 (content) timeout unsat 11s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409936/gensys_brn891.smt2 (content) unsat unsat 0.950s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409935/gensys_brn890.smt2 (content) sat sat 0.232s