detailed results (14914 total)

prover file res expected time
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_brn1227.smt2 (content) sat sat 0.030s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_brn1226.smt2 (content) sat sat 0.154s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_brn1226.smt2 (content) sat sat 0.095s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_brn1225.smt2 (content) unsat unsat 0.058s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_brn1225.smt2 (content) unsat unsat 0.033s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_brn1224.smt2 (content) unsat unsat 0.106s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_brn1224.smt2 (content) unsat unsat 0.055s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_brn1223.smt2 (content) sat sat 0.105s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_brn1223.smt2 (content) sat sat 0.037s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_brn1222.smt2 (content) unsat unsat 0.186s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_brn1222.smt2 (content) unsat unsat 0.044s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_brn1221.smt2 (content) unsat unsat 0.107s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_brn1221.smt2 (content) unsat unsat 0.047s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_brn1220.smt2 (content) sat sat 0.180s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_brn1220.smt2 (content) sat sat 0.039s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_brn122.smt2 (content) sat sat 0.151s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_brn122.smt2 (content) sat sat 0.046s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_brn1219.smt2 (content) sat sat 0.153s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_brn1219.smt2 (content) sat sat 0.032s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_brn1218.smt2 (content) sat sat 0.114s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_brn1218.smt2 (content) sat sat 0.040s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_brn1217.smt2 (content) sat sat 0.092s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_brn1217.smt2 (content) sat sat 0.038s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_brn1216.smt2 (content) sat sat 0.135s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_brn1216.smt2 (content) sat sat 0.046s