detailed results (19166 total)

prover file res expected time
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412085/iso_brn430.smt2 (content) sat sat 0.022s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412084/iso_brn429.smt2 (content) sat sat 0.061s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412084/iso_brn429.smt2 (content) sat sat 0.022s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412083/iso_brn428.smt2 (content) sat sat 0.034s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412083/iso_brn428.smt2 (content) sat sat 0.022s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412082/iso_brn427.smt2 (content) sat sat 0.052s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412082/iso_brn427.smt2 (content) sat sat 0.024s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412081/iso_brn426.smt2 (content) sat sat 0.050s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412081/iso_brn426.smt2 (content) sat sat 0.022s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412080/iso_brn425.smt2 (content) sat sat 0.049s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412080/iso_brn425.smt2 (content) sat sat 0.023s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412079/iso_brn424.smt2 (content) unsat unsat 0.053s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412079/iso_brn424.smt2 (content) unsat unsat 0.021s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412078/iso_brn423.smt2 (content) sat sat 0.037s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412078/iso_brn423.smt2 (content) sat sat 0.020s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412077/iso_brn422.smt2 (content) sat sat 0.080s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412077/iso_brn422.smt2 (content) sat sat 0.019s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412076/iso_brn421.smt2 (content) sat sat 0.102s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412076/iso_brn421.smt2 (content) sat sat 0.026s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412075/iso_brn420.smt2 (content) sat sat 0.117s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412075/iso_brn420.smt2 (content) sat sat 0.023s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412074/iso_brn419.smt2 (content) unsat unsat 0.096s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412074/iso_brn419.smt2 (content) unsat unsat 0.024s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412073/iso_brn418.smt2 (content) sat sat 0.094s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412073/iso_brn418.smt2 (content) sat sat 0.026s