detailed results (14914 total)

prover file res expected time
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn1079.smt2 (content) unsat unsat 0.403s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn1079.smt2 (content) unsat unsat 0.051s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn1078.smt2 (content) unsat unsat 0.382s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn1078.smt2 (content) unsat unsat 0.034s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn1077.smt2 (content) sat sat 0.269s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn1077.smt2 (content) sat sat 0.047s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn1076.smt2 (content) sat sat 0.136s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn1076.smt2 (content) sat sat 0.041s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn1075.smt2 (content) unsat unsat 0.709s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn1075.smt2 (content) unsat unsat 0.104s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn1074.smt2 (content) sat sat 0.274s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn1074.smt2 (content) sat sat 0.071s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn1073.smt2 (content) sat sat 0.097s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn1073.smt2 (content) sat sat 0.033s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn1072.smt2 (content) sat sat 0.089s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn1072.smt2 (content) sat sat 0.033s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn1071.smt2 (content) sat sat 0.416s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn1071.smt2 (content) sat sat 0.048s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn1070.smt2 (content) unsat unsat 0.628s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn1070.smt2 (content) unsat unsat 0.067s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn107.smt2 (content) sat sat 0.172s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn107.smt2 (content) sat sat 0.043s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn1069.smt2 (content) unsat unsat 0.397s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn1069.smt2 (content) unsat unsat 0.034s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn1068.smt2 (content) unsat unsat 0.558s