detailed results (14914 total)

prover file res expected time
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn1090.smt2 (content) sat sat 0.033s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn109.smt2 (content) unsat unsat 0.262s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn109.smt2 (content) unsat unsat 0.040s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn1089.smt2 (content) sat sat 0.074s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn1089.smt2 (content) sat sat 0.036s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn1088.smt2 (content) sat sat 0.037s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn1088.smt2 (content) sat sat 0.030s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn1087.smt2 (content) sat sat 0.081s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn1087.smt2 (content) sat sat 0.045s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn1086.smt2 (content) unsat unsat 0.065s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn1086.smt2 (content) unsat unsat 0.029s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn1085.smt2 (content) sat sat 0.059s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn1085.smt2 (content) sat sat 0.030s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn1084.smt2 (content) unsat unsat 0.071s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn1084.smt2 (content) unsat unsat 0.035s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn1083.smt2 (content) sat sat 0.105s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn1083.smt2 (content) sat sat 0.047s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn1082.smt2 (content) unsat unsat 0.114s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn1082.smt2 (content) unsat unsat 0.044s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn1081.smt2 (content) sat sat 0.120s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn1081.smt2 (content) sat sat 0.041s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn1080.smt2 (content) unsat unsat 0.392s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn1080.smt2 (content) unsat unsat 0.062s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn108.smt2 (content) sat sat 0.224s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn108.smt2 (content) sat sat 0.047s