detailed results (13300 total)

prover file res expected time
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/loops6/408534/iso_brn098.smt2 (content) unsat unsat 0.053s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/loops6/408533/iso_brn097.smt2 (content) sat sat 0.498s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/loops6/408533/iso_brn097.smt2 (content) sat sat 0.051s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/loops6/408532/iso_brn096.smt2 (content) unsat unsat 0.370s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/loops6/408532/iso_brn096.smt2 (content) unsat unsat 0.095s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/loops6/408531/iso_brn095.smt2 (content) sat sat 0.401s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/loops6/408531/iso_brn095.smt2 (content) sat sat 0.061s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/loops6/408530/iso_brn094.smt2 (content) sat sat 0.475s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/loops6/408530/iso_brn094.smt2 (content) sat sat 0.084s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/loops6/408529/iso_brn093.smt2 (content) sat sat 0.312s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/loops6/408529/iso_brn093.smt2 (content) sat sat 0.051s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/loops6/408528/iso_brn092.smt2 (content) sat sat 0.555s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/loops6/408528/iso_brn092.smt2 (content) sat sat 0.060s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/loops6/408527/iso_brn091.smt2 (content) sat sat 0.426s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/loops6/408527/iso_brn091.smt2 (content) sat sat 0.039s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/loops6/408526/iso_brn090.smt2 (content) unsat unsat 0.367s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/loops6/408526/iso_brn090.smt2 (content) unsat unsat 0.041s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/loops6/408525/iso_brn089.smt2 (content) sat sat 0.284s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/loops6/408525/iso_brn089.smt2 (content) sat sat 0.053s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/loops6/408524/iso_brn088.smt2 (content) sat sat 0.240s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/loops6/408524/iso_brn088.smt2 (content) sat sat 0.045s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/loops6/408523/iso_brn087.smt2 (content) sat sat 0.389s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/loops6/408523/iso_brn087.smt2 (content) sat sat 0.046s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/loops6/408522/iso_brn086.smt2 (content) sat sat 0.454s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/loops6/408522/iso_brn086.smt2 (content) sat sat 0.050s