detailed results (19166 total)

prover file res expected time
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409910/gensys_brn865.smt2 (content) sat sat 0.041s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409909/gensys_brn864.smt2 (content) sat sat 0.195s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409909/gensys_brn864.smt2 (content) sat sat 0.070s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409908/gensys_brn863.smt2 (content) unsat unsat 5.0s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409908/gensys_brn863.smt2 (content) unsat unsat 0.539s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409907/gensys_brn862.smt2 (content) sat sat 0.285s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409907/gensys_brn862.smt2 (content) sat sat 0.045s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409906/gensys_brn861.smt2 (content) sat sat 0.245s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409906/gensys_brn861.smt2 (content) sat sat 0.035s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409905/gensys_brn860.smt2 (content) sat sat 0.196s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409905/gensys_brn860.smt2 (content) sat sat 0.031s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409904/gensys_brn859.smt2 (content) sat sat 0.646s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409904/gensys_brn859.smt2 (content) sat sat 0.041s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409903/gensys_brn858.smt2 (content) sat sat 0.208s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409903/gensys_brn858.smt2 (content) sat sat 0.054s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409902/gensys_brn857.smt2 (content) sat sat 0.311s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409902/gensys_brn857.smt2 (content) sat sat 0.040s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409901/gensys_brn856.smt2 (content) sat sat 0.321s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409901/gensys_brn856.smt2 (content) sat sat 0.044s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409900/gensys_brn855.smt2 (content) sat sat 0.540s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409900/gensys_brn855.smt2 (content) sat sat 0.039s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409899/gensys_brn854.smt2 (content) sat sat 0.208s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409899/gensys_brn854.smt2 (content) sat sat 0.038s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409898/gensys_brn853.smt2 (content) sat sat 0.404s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409898/gensys_brn853.smt2 (content) sat sat 0.070s