detailed results (14914 total)

prover file res expected time
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn117.smt2 (content) unsat unsat 0.344s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn117.smt2 (content) unsat unsat 0.135s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn1169.smt2 (content) sat sat 0.092s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn1169.smt2 (content) sat sat 0.046s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn1168.smt2 (content) unsat unsat 0.163s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn1168.smt2 (content) unsat unsat 0.055s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn1167.smt2 (content) sat sat 0.194s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn1167.smt2 (content) sat sat 0.034s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn1166.smt2 (content) sat sat 0.296s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn1166.smt2 (content) sat sat 0.035s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn1165.smt2 (content) sat sat 0.137s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn1165.smt2 (content) sat sat 0.038s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn1164.smt2 (content) sat sat 0.330s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn1164.smt2 (content) sat sat 0.041s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn1163.smt2 (content) sat sat 0.214s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn1163.smt2 (content) sat sat 0.049s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn1162.smt2 (content) sat sat 0.292s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn1162.smt2 (content) sat sat 0.071s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn1161.smt2 (content) sat sat 0.283s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn1161.smt2 (content) sat sat 0.079s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn1160.smt2 (content) sat sat 0.430s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn1160.smt2 (content) sat sat 0.089s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn116.smt2 (content) unsat unsat 0.316s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn116.smt2 (content) unsat unsat 0.044s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn1159.smt2 (content) sat sat 0.119s