detailed results (28749 total)

prover file res expected time
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408268/gensys_brn047.smt2 (content) sat sat 0.235s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408268/gensys_brn047.smt2 (content) sat sat 0.041s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408267/gensys_brn046.smt2 (content) sat sat 1.2s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408267/gensys_brn046.smt2 (content) sat sat 0.274s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408267/gensys_brn046.smt2 (content) sat sat 0.064s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408266/gensys_brn045.smt2 (content) sat sat 0.504s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408266/gensys_brn045.smt2 (content) sat sat 0.265s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408266/gensys_brn045.smt2 (content) sat sat 0.038s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408265/gensys_brn044.smt2 (content) sat sat 0.296s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408265/gensys_brn044.smt2 (content) sat sat 0.261s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408265/gensys_brn044.smt2 (content) sat sat 0.041s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408264/gensys_brn043.smt2 (content) sat sat 0.247s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408264/gensys_brn043.smt2 (content) sat sat 0.170s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408264/gensys_brn043.smt2 (content) sat sat 0.035s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408263/gensys_brn042.smt2 (content) sat sat 0.186s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408263/gensys_brn042.smt2 (content) sat sat 0.192s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408263/gensys_brn042.smt2 (content) sat sat 0.040s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408262/gensys_brn041.smt2 (content) sat sat 0.110s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408262/gensys_brn041.smt2 (content) sat sat 0.128s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408262/gensys_brn041.smt2 (content) sat sat 0.039s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408261/gensys_brn040.smt2 (content) unsat unsat 0.472s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408261/gensys_brn040.smt2 (content) unsat unsat 0.353s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408261/gensys_brn040.smt2 (content) unsat unsat 0.089s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408260/gensys_brn039.smt2 (content) sat sat 0.224s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408260/gensys_brn039.smt2 (content) sat sat 0.159s