detailed results (19166 total)

prover file res expected time
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409197/gensys_brn152.smt2 (content) sat sat 0.104s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409197/gensys_brn152.smt2 (content) sat sat 0.035s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409196/gensys_brn151.smt2 (content) sat sat 0.105s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409196/gensys_brn151.smt2 (content) sat sat 0.038s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409195/gensys_brn150.smt2 (content) sat sat 0.099s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409195/gensys_brn150.smt2 (content) sat sat 0.025s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409194/gensys_brn149.smt2 (content) sat sat 0.196s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409194/gensys_brn149.smt2 (content) sat sat 0.038s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409193/gensys_brn148.smt2 (content) sat sat 0.230s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409193/gensys_brn148.smt2 (content) sat sat 0.061s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409192/gensys_brn147.smt2 (content) sat sat 0.129s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409192/gensys_brn147.smt2 (content) sat sat 0.030s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409191/gensys_brn146.smt2 (content) sat sat 0.130s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409191/gensys_brn146.smt2 (content) sat sat 0.030s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409190/gensys_brn145.smt2 (content) sat sat 0.368s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409190/gensys_brn145.smt2 (content) sat sat 0.031s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409189/gensys_brn144.smt2 (content) sat sat 0.200s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409189/gensys_brn144.smt2 (content) sat sat 0.044s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409188/gensys_brn143.smt2 (content) sat sat 0.174s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409188/gensys_brn143.smt2 (content) sat sat 0.033s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409187/gensys_brn142.smt2 (content) sat sat 0.208s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409187/gensys_brn142.smt2 (content) sat sat 0.054s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409186/gensys_brn141.smt2 (content) sat sat 0.222s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409186/gensys_brn141.smt2 (content) sat sat 0.030s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409185/gensys_brn140.smt2 (content) sat sat 0.155s