detailed results (19166 total)

prover file res expected time
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411972/iso_brn317.smt2 (content) unsat unsat 0.084s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411972/iso_brn317.smt2 (content) unsat unsat 0.024s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411971/iso_brn316.smt2 (content) unsat unsat 0.219s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411971/iso_brn316.smt2 (content) unsat unsat 0.028s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411970/iso_brn315.smt2 (content) unsat unsat 0.170s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411970/iso_brn315.smt2 (content) unsat unsat 0.031s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411969/iso_brn314.smt2 (content) unsat unsat 0.142s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411969/iso_brn314.smt2 (content) unsat unsat 0.028s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411968/iso_brn313.smt2 (content) unsat unsat 0.157s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411968/iso_brn313.smt2 (content) unsat unsat 0.029s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411967/iso_brn312.smt2 (content) sat sat 0.183s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411967/iso_brn312.smt2 (content) sat sat 0.027s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411966/iso_brn311.smt2 (content) sat sat 0.082s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411966/iso_brn311.smt2 (content) sat sat 0.027s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411965/iso_brn310.smt2 (content) sat sat 0.158s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411965/iso_brn310.smt2 (content) sat sat 0.027s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411964/iso_brn309.smt2 (content) unsat unsat 0.214s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411964/iso_brn309.smt2 (content) unsat unsat 0.032s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411963/iso_brn308.smt2 (content) sat sat 0.128s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411963/iso_brn308.smt2 (content) sat sat 0.027s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411962/iso_brn307.smt2 (content) unsat unsat 0.135s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411962/iso_brn307.smt2 (content) unsat unsat 0.027s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411961/iso_brn306.smt2 (content) sat sat 0.149s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411961/iso_brn306.smt2 (content) sat sat 0.026s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411960/iso_brn305.smt2 (content) unsat unsat 0.262s