detailed results (13300 total)

prover file res expected time
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/411534/iso_brn1097.smt2 (content) unsat unsat 0.026s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/411533/iso_brn1096.smt2 (content) sat sat 0.054s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/411533/iso_brn1096.smt2 (content) sat sat 0.029s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/411532/iso_brn1095.smt2 (content) sat sat 0.049s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/411532/iso_brn1095.smt2 (content) sat sat 0.026s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/411531/iso_brn1094.smt2 (content) unsat unsat 0.111s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/411531/iso_brn1094.smt2 (content) unsat unsat 0.042s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/411530/iso_brn1093.smt2 (content) unsat unsat 0.123s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/411530/iso_brn1093.smt2 (content) unsat unsat 0.033s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/411529/iso_brn1092.smt2 (content) unsat unsat 0.106s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/411529/iso_brn1092.smt2 (content) unsat unsat 0.035s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/411528/iso_brn1091.smt2 (content) sat sat 0.053s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/411528/iso_brn1091.smt2 (content) sat sat 0.023s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/411527/iso_brn1090.smt2 (content) sat sat 0.047s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/411527/iso_brn1090.smt2 (content) sat sat 0.033s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/411526/iso_brn109.smt2 (content) unsat unsat 0.186s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/411526/iso_brn109.smt2 (content) unsat unsat 0.051s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/411525/iso_brn1089.smt2 (content) sat sat 0.046s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/411525/iso_brn1089.smt2 (content) sat sat 0.028s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/411524/iso_brn1088.smt2 (content) sat sat 0.034s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/411524/iso_brn1088.smt2 (content) sat sat 0.023s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/411523/iso_brn1087.smt2 (content) sat sat 0.057s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/411523/iso_brn1087.smt2 (content) sat sat 0.025s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/411522/iso_brn1086.smt2 (content) unsat unsat 0.062s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/411522/iso_brn1086.smt2 (content) unsat unsat 0.027s