detailed results (13300 total)

prover file res expected time
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/loops6/408484/iso_brn048.smt2 (content) sat sat 0.060s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/loops6/408483/iso_brn047.smt2 (content) sat sat 0.258s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/loops6/408483/iso_brn047.smt2 (content) sat sat 0.113s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/loops6/408482/iso_brn046.smt2 (content) unsat unsat 0.316s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/loops6/408482/iso_brn046.smt2 (content) unsat unsat 0.056s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/loops6/408481/iso_brn045.smt2 (content) unsat unsat 0.276s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/loops6/408481/iso_brn045.smt2 (content) unsat unsat 0.062s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/loops6/408480/iso_brn044.smt2 (content) unsat unsat 0.203s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/loops6/408480/iso_brn044.smt2 (content) unsat unsat 0.054s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/loops6/408479/iso_brn043.smt2 (content) sat sat 0.246s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/loops6/408479/iso_brn043.smt2 (content) sat sat 0.041s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/loops6/408478/iso_brn042.smt2 (content) sat sat 0.135s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/loops6/408478/iso_brn042.smt2 (content) sat sat 0.041s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/loops6/408477/iso_brn041.smt2 (content) sat sat 0.120s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/loops6/408477/iso_brn041.smt2 (content) sat sat 0.030s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/loops6/408476/iso_brn040.smt2 (content) sat sat 0.111s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/loops6/408476/iso_brn040.smt2 (content) sat sat 0.035s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/loops6/408475/iso_brn039.smt2 (content) sat sat 0.174s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/loops6/408475/iso_brn039.smt2 (content) sat sat 0.032s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/loops6/408474/iso_brn038.smt2 (content) unsat unsat 0.188s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/loops6/408474/iso_brn038.smt2 (content) unsat unsat 0.035s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/loops6/408473/iso_brn037.smt2 (content) sat sat 0.129s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/loops6/408473/iso_brn037.smt2 (content) sat sat 0.034s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/loops6/408472/iso_brn036.smt2 (content) sat sat 0.371s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/loops6/408472/iso_brn036.smt2 (content) sat sat 0.074s