detailed results (14914 total)

prover file res expected time
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn1147.smt2 (content) unsat unsat 0.126s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn1147.smt2 (content) unsat unsat 0.033s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn1146.smt2 (content) sat sat 0.176s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn1146.smt2 (content) sat sat 0.039s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn1145.smt2 (content) sat sat 0.214s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn1145.smt2 (content) sat sat 0.038s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn1144.smt2 (content) unsat unsat 0.130s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn1144.smt2 (content) unsat unsat 0.037s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn1143.smt2 (content) unsat unsat 0.235s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn1143.smt2 (content) unsat unsat 0.074s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn1142.smt2 (content) sat sat 0.099s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn1142.smt2 (content) sat sat 0.035s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn1141.smt2 (content) unsat unsat 0.181s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn1141.smt2 (content) unsat unsat 0.033s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn1140.smt2 (content) unsat unsat 0.155s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn1140.smt2 (content) unsat unsat 0.047s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn114.smt2 (content) unsat unsat 0.282s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn114.smt2 (content) unsat unsat 0.052s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn1139.smt2 (content) unsat unsat 0.098s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn1139.smt2 (content) unsat unsat 0.038s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn1138.smt2 (content) sat sat 0.153s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn1138.smt2 (content) sat sat 0.045s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn1137.smt2 (content) unsat unsat 0.257s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn1137.smt2 (content) unsat unsat 0.066s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn1136.smt2 (content) sat sat 0.186s