detailed results (19166 total)

prover file res expected time
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411535/iso_brn1098.smt2 (content) sat sat 0.029s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411534/iso_brn1097.smt2 (content) unsat unsat 0.078s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411534/iso_brn1097.smt2 (content) unsat unsat 0.023s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411533/iso_brn1096.smt2 (content) sat sat 0.048s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411533/iso_brn1096.smt2 (content) sat sat 0.021s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411532/iso_brn1095.smt2 (content) sat sat 0.042s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411532/iso_brn1095.smt2 (content) sat sat 0.023s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411531/iso_brn1094.smt2 (content) unsat unsat 0.081s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411531/iso_brn1094.smt2 (content) unsat unsat 0.028s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411530/iso_brn1093.smt2 (content) unsat unsat 0.095s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411530/iso_brn1093.smt2 (content) unsat unsat 0.024s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411529/iso_brn1092.smt2 (content) unsat unsat 0.059s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411529/iso_brn1092.smt2 (content) unsat unsat 0.021s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411528/iso_brn1091.smt2 (content) sat sat 0.045s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411528/iso_brn1091.smt2 (content) sat sat 0.020s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411527/iso_brn1090.smt2 (content) sat sat 0.038s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411527/iso_brn1090.smt2 (content) sat sat 0.020s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411526/iso_brn109.smt2 (content) unsat unsat 0.145s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411526/iso_brn109.smt2 (content) unsat unsat 0.037s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411525/iso_brn1089.smt2 (content) sat sat 0.035s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411525/iso_brn1089.smt2 (content) sat sat 0.021s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411524/iso_brn1088.smt2 (content) sat sat 0.029s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411524/iso_brn1088.smt2 (content) sat sat 0.020s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411523/iso_brn1087.smt2 (content) sat sat 0.050s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411523/iso_brn1087.smt2 (content) sat sat 0.026s