detailed results (19166 total)

prover file res expected time
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412347/iso_brn692.smt2 (content) sat sat 0.157s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412347/iso_brn692.smt2 (content) sat sat 0.030s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412346/iso_brn691.smt2 (content) unsat unsat 0.110s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412346/iso_brn691.smt2 (content) unsat unsat 0.026s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412345/iso_brn690.smt2 (content) sat sat 0.087s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412345/iso_brn690.smt2 (content) sat sat 0.022s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412344/iso_brn689.smt2 (content) unsat unsat 0.149s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412344/iso_brn689.smt2 (content) unsat unsat 0.032s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412343/iso_brn688.smt2 (content) sat sat 0.060s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412343/iso_brn688.smt2 (content) sat sat 0.022s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412342/iso_brn687.smt2 (content) unsat unsat 0.246s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412342/iso_brn687.smt2 (content) unsat unsat 0.035s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412341/iso_brn686.smt2 (content) sat sat 0.127s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412341/iso_brn686.smt2 (content) sat sat 0.029s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412340/iso_brn685.smt2 (content) sat sat 0.192s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412340/iso_brn685.smt2 (content) sat sat 0.033s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412339/iso_brn684.smt2 (content) sat sat 0.073s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412339/iso_brn684.smt2 (content) sat sat 0.025s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412338/iso_brn683.smt2 (content) unsat unsat 0.102s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412338/iso_brn683.smt2 (content) unsat unsat 0.026s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412337/iso_brn682.smt2 (content) sat sat 0.104s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412337/iso_brn682.smt2 (content) sat sat 0.025s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412336/iso_brn681.smt2 (content) sat sat 0.160s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412336/iso_brn681.smt2 (content) sat sat 0.035s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412335/iso_brn680.smt2 (content) sat sat 0.130s