detailed results (19166 total)

prover file res expected time
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412272/iso_brn617.smt2 (content) sat sat 0.080s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412272/iso_brn617.smt2 (content) sat sat 0.025s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412271/iso_brn616.smt2 (content) unsat unsat 0.089s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412271/iso_brn616.smt2 (content) unsat unsat 0.023s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412270/iso_brn615.smt2 (content) unsat unsat 0.128s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412270/iso_brn615.smt2 (content) unsat unsat 0.027s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412269/iso_brn614.smt2 (content) sat sat 0.130s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412269/iso_brn614.smt2 (content) sat sat 0.027s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412268/iso_brn613.smt2 (content) unsat unsat 0.197s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412268/iso_brn613.smt2 (content) unsat unsat 0.028s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412267/iso_brn612.smt2 (content) sat sat 0.192s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412267/iso_brn612.smt2 (content) sat sat 0.025s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412266/iso_brn611.smt2 (content) sat sat 0.174s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412266/iso_brn611.smt2 (content) sat sat 0.031s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412265/iso_brn610.smt2 (content) unsat unsat 0.211s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412265/iso_brn610.smt2 (content) unsat unsat 0.030s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412264/iso_brn609.smt2 (content) sat sat 0.159s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412264/iso_brn609.smt2 (content) sat sat 0.031s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412263/iso_brn608.smt2 (content) unsat unsat 0.186s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412263/iso_brn608.smt2 (content) unsat unsat 0.032s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412262/iso_brn607.smt2 (content) sat sat 0.086s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412262/iso_brn607.smt2 (content) sat sat 0.025s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412261/iso_brn606.smt2 (content) unsat unsat 0.183s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412261/iso_brn606.smt2 (content) unsat unsat 0.031s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412260/iso_brn605.smt2 (content) unsat unsat 0.170s