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.208s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn117.smt2 (content) unsat unsat 0.044s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn1169.smt2 (content) sat sat 0.129s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn1169.smt2 (content) sat sat 0.043s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn1168.smt2 (content) unsat unsat 0.150s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn1168.smt2 (content) unsat unsat 0.046s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn1167.smt2 (content) sat sat 0.222s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn1167.smt2 (content) sat sat 0.049s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn1166.smt2 (content) sat sat 0.227s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn1166.smt2 (content) sat sat 0.040s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn1165.smt2 (content) sat sat 0.314s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn1165.smt2 (content) sat sat 0.043s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn1164.smt2 (content) sat sat 0.185s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn1164.smt2 (content) sat sat 0.043s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn1163.smt2 (content) sat sat 0.350s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn1163.smt2 (content) sat sat 0.075s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn1162.smt2 (content) sat sat 0.192s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn1162.smt2 (content) sat sat 0.062s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn1161.smt2 (content) sat sat 0.180s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn1161.smt2 (content) sat sat 0.048s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn1160.smt2 (content) sat sat 0.195s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn1160.smt2 (content) sat sat 0.042s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn116.smt2 (content) unsat unsat 0.270s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn116.smt2 (content) unsat unsat 0.045s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn1159.smt2 (content) sat sat 0.238s