detailed results (19166 total)

prover file res expected time
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412122/iso_brn467.smt2 (content) sat sat 0.049s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412122/iso_brn467.smt2 (content) sat sat 0.024s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412121/iso_brn466.smt2 (content) sat sat 0.060s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412121/iso_brn466.smt2 (content) sat sat 0.022s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412120/iso_brn465.smt2 (content) unsat unsat 0.105s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412120/iso_brn465.smt2 (content) unsat unsat 0.024s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412119/iso_brn464.smt2 (content) sat sat 0.085s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412119/iso_brn464.smt2 (content) sat sat 0.026s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412118/iso_brn463.smt2 (content) sat sat 0.079s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412118/iso_brn463.smt2 (content) sat sat 0.023s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412117/iso_brn462.smt2 (content) sat sat 0.067s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412117/iso_brn462.smt2 (content) sat sat 0.023s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412116/iso_brn461.smt2 (content) unsat unsat 0.133s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412116/iso_brn461.smt2 (content) unsat unsat 0.027s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412115/iso_brn460.smt2 (content) unsat unsat 0.098s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412115/iso_brn460.smt2 (content) unsat unsat 0.024s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412114/iso_brn459.smt2 (content) sat sat 0.064s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412114/iso_brn459.smt2 (content) sat sat 0.028s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412113/iso_brn458.smt2 (content) unsat unsat 0.071s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412113/iso_brn458.smt2 (content) unsat unsat 0.021s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412112/iso_brn457.smt2 (content) unsat unsat 0.055s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412112/iso_brn457.smt2 (content) unsat unsat 0.022s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412111/iso_brn456.smt2 (content) sat sat 0.052s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412111/iso_brn456.smt2 (content) sat sat 0.022s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412110/iso_brn455.smt2 (content) sat sat 0.064s