detailed results (13300 total)

prover file res expected time
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412271/iso_brn616.smt2 (content) unsat unsat 0.108s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412271/iso_brn616.smt2 (content) unsat unsat 0.027s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412270/iso_brn615.smt2 (content) unsat unsat 0.160s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412270/iso_brn615.smt2 (content) unsat unsat 0.031s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412269/iso_brn614.smt2 (content) sat sat 0.161s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412269/iso_brn614.smt2 (content) sat sat 0.030s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412268/iso_brn613.smt2 (content) unsat unsat 0.231s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412268/iso_brn613.smt2 (content) unsat unsat 0.030s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412267/iso_brn612.smt2 (content) sat sat 0.229s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412267/iso_brn612.smt2 (content) sat sat 0.048s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412266/iso_brn611.smt2 (content) sat sat 0.203s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412266/iso_brn611.smt2 (content) sat sat 0.027s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412265/iso_brn610.smt2 (content) unsat unsat 0.252s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412265/iso_brn610.smt2 (content) unsat unsat 0.035s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412264/iso_brn609.smt2 (content) sat sat 0.200s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412264/iso_brn609.smt2 (content) sat sat 0.028s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412263/iso_brn608.smt2 (content) unsat unsat 0.229s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412263/iso_brn608.smt2 (content) unsat unsat 0.033s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412262/iso_brn607.smt2 (content) sat sat 0.108s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412262/iso_brn607.smt2 (content) sat sat 0.036s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412261/iso_brn606.smt2 (content) unsat unsat 0.211s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412261/iso_brn606.smt2 (content) unsat unsat 0.048s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412260/iso_brn605.smt2 (content) unsat unsat 0.196s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412260/iso_brn605.smt2 (content) unsat unsat 0.033s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412259/iso_brn604.smt2 (content) sat sat 0.199s