detailed results (13300 total)

prover file res expected time
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/loops6/408496/iso_brn060.smt2 (content) sat sat 0.332s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/loops6/408496/iso_brn060.smt2 (content) sat sat 0.040s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/loops6/408495/iso_brn059.smt2 (content) sat sat 0.337s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/loops6/408495/iso_brn059.smt2 (content) sat sat 0.039s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/loops6/408494/iso_brn058.smt2 (content) sat sat 0.404s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/loops6/408494/iso_brn058.smt2 (content) sat sat 0.056s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/loops6/408493/iso_brn057.smt2 (content) sat sat 0.413s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/loops6/408493/iso_brn057.smt2 (content) sat sat 0.040s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/loops6/408492/iso_brn056.smt2 (content) sat sat 0.210s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/loops6/408492/iso_brn056.smt2 (content) sat sat 0.049s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/loops6/408491/iso_brn055.smt2 (content) sat sat 0.205s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/loops6/408491/iso_brn055.smt2 (content) sat sat 0.032s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/loops6/408490/iso_brn054.smt2 (content) sat sat 0.109s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/loops6/408490/iso_brn054.smt2 (content) sat sat 0.038s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/loops6/408489/iso_brn053.smt2 (content) unsat unsat 0.223s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/loops6/408489/iso_brn053.smt2 (content) unsat unsat 0.036s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/loops6/408488/iso_brn052.smt2 (content) sat sat 0.239s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/loops6/408488/iso_brn052.smt2 (content) sat sat 0.225s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/loops6/408487/iso_brn051.smt2 (content) sat sat 0.361s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/loops6/408487/iso_brn051.smt2 (content) sat sat 0.110s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/loops6/408486/iso_brn050.smt2 (content) sat sat 0.374s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/loops6/408486/iso_brn050.smt2 (content) sat sat 0.099s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/loops6/408485/iso_brn049.smt2 (content) unsat unsat 0.247s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/loops6/408485/iso_brn049.smt2 (content) unsat unsat 0.047s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/loops6/408484/iso_brn048.smt2 (content) sat sat 0.165s