detailed results (13300 total)

prover file res expected time
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412084/iso_brn429.smt2 (content) sat sat 0.024s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412083/iso_brn428.smt2 (content) sat sat 0.037s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412083/iso_brn428.smt2 (content) sat sat 0.030s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412082/iso_brn427.smt2 (content) sat sat 0.059s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412082/iso_brn427.smt2 (content) sat sat 0.026s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412081/iso_brn426.smt2 (content) sat sat 0.055s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412081/iso_brn426.smt2 (content) sat sat 0.024s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412080/iso_brn425.smt2 (content) sat sat 0.057s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412080/iso_brn425.smt2 (content) sat sat 0.030s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412079/iso_brn424.smt2 (content) unsat unsat 0.066s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412079/iso_brn424.smt2 (content) unsat unsat 0.024s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412078/iso_brn423.smt2 (content) sat sat 0.043s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412078/iso_brn423.smt2 (content) sat sat 0.023s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412077/iso_brn422.smt2 (content) sat sat 0.103s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412077/iso_brn422.smt2 (content) sat sat 0.028s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412076/iso_brn421.smt2 (content) sat sat 0.154s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412076/iso_brn421.smt2 (content) sat sat 0.044s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412075/iso_brn420.smt2 (content) sat sat 0.135s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412075/iso_brn420.smt2 (content) sat sat 0.027s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412074/iso_brn419.smt2 (content) unsat unsat 0.145s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412074/iso_brn419.smt2 (content) unsat unsat 0.034s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412073/iso_brn418.smt2 (content) sat sat 0.082s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412073/iso_brn418.smt2 (content) sat sat 0.026s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412072/iso_brn417.smt2 (content) sat sat 0.057s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412072/iso_brn417.smt2 (content) sat sat 0.029s