detailed results (19166 total)

prover file res expected time
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409960/gensys_brn915.smt2 (content) sat sat 0.029s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409959/gensys_brn914.smt2 (content) sat sat 0.098s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409959/gensys_brn914.smt2 (content) sat sat 0.034s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409958/gensys_brn913.smt2 (content) unsat unsat 0.563s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409958/gensys_brn913.smt2 (content) unsat unsat 0.095s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409957/gensys_brn912.smt2 (content) sat sat 0.085s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409957/gensys_brn912.smt2 (content) sat sat 0.054s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409956/gensys_brn911.smt2 (content) sat sat 0.230s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409956/gensys_brn911.smt2 (content) sat sat 0.042s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409955/gensys_brn910.smt2 (content) sat sat 0.290s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409955/gensys_brn910.smt2 (content) sat sat 0.032s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409954/gensys_brn909.smt2 (content) sat sat 0.162s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409954/gensys_brn909.smt2 (content) sat sat 0.028s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409953/gensys_brn908.smt2 (content) sat sat 0.071s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409953/gensys_brn908.smt2 (content) sat sat 0.036s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409952/gensys_brn907.smt2 (content) sat sat 0.152s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409952/gensys_brn907.smt2 (content) sat sat 0.028s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409951/gensys_brn906.smt2 (content) sat sat 0.200s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409951/gensys_brn906.smt2 (content) sat sat 0.044s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409950/gensys_brn905.smt2 (content) unsat unsat 6.1s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409950/gensys_brn905.smt2 (content) unsat unsat 0.719s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409949/gensys_brn904.smt2 (content) sat sat 0.331s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409949/gensys_brn904.smt2 (content) sat sat 0.030s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409948/gensys_brn903.smt2 (content) unsat unsat 0.438s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409948/gensys_brn903.smt2 (content) unsat unsat 0.381s