detailed results (13300 total)

prover file res expected time
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412171/iso_brn516.smt2 (content) sat sat 0.133s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412171/iso_brn516.smt2 (content) sat sat 0.027s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412170/iso_brn515.smt2 (content) sat sat 0.117s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412170/iso_brn515.smt2 (content) sat sat 0.038s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412169/iso_brn514.smt2 (content) sat sat 0.092s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412169/iso_brn514.smt2 (content) sat sat 0.024s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412168/iso_brn513.smt2 (content) sat sat 0.062s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412168/iso_brn513.smt2 (content) sat sat 0.023s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412167/iso_brn512.smt2 (content) sat sat 0.069s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412167/iso_brn512.smt2 (content) sat sat 0.033s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412166/iso_brn511.smt2 (content) sat sat 0.043s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412166/iso_brn511.smt2 (content) sat sat 0.022s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412165/iso_brn510.smt2 (content) sat sat 0.035s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412165/iso_brn510.smt2 (content) sat sat 0.026s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412164/iso_brn509.smt2 (content) sat sat 0.042s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412164/iso_brn509.smt2 (content) sat sat 0.024s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412163/iso_brn508.smt2 (content) sat sat 0.066s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412163/iso_brn508.smt2 (content) sat sat 0.030s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412162/iso_brn507.smt2 (content) unsat unsat 0.108s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412162/iso_brn507.smt2 (content) unsat unsat 0.026s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412161/iso_brn506.smt2 (content) sat sat 0.079s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412161/iso_brn506.smt2 (content) sat sat 0.026s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412160/iso_brn505.smt2 (content) unsat unsat 0.070s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412160/iso_brn505.smt2 (content) unsat unsat 0.025s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412159/iso_brn504.smt2 (content) unsat unsat 0.142s