detailed results (13300 total)

prover file res expected time
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/loops6/408621/iso_icl079.smt2 (content) unsat unsat 0.227s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/loops6/408621/iso_icl079.smt2 (content) unsat unsat 0.052s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/loops6/408620/iso_icl078.smt2 (content) unsat unsat 0.409s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/loops6/408620/iso_icl078.smt2 (content) unsat unsat 0.056s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/loops6/408619/iso_icl077.smt2 (content) unsat unsat 0.192s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/loops6/408619/iso_icl077.smt2 (content) unsat unsat 0.048s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/loops6/408618/iso_icl076.smt2 (content) unsat unsat 0.448s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/loops6/408618/iso_icl076.smt2 (content) unsat unsat 0.043s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/loops6/408617/iso_icl075.smt2 (content) unsat unsat 1.8s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/loops6/408617/iso_icl075.smt2 (content) unsat unsat 0.096s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/loops6/408616/iso_icl074.smt2 (content) unsat unsat 1.2s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/loops6/408616/iso_icl074.smt2 (content) unsat unsat 0.075s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/loops6/408615/iso_icl073.smt2 (content) unsat unsat 1.5s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/loops6/408615/iso_icl073.smt2 (content) unsat unsat 0.079s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/loops6/408614/iso_icl072.smt2 (content) unsat unsat 0.954s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/loops6/408614/iso_icl072.smt2 (content) unsat unsat 0.105s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/loops6/408613/iso_icl071.smt2 (content) unsat unsat 1s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/loops6/408613/iso_icl071.smt2 (content) unsat unsat 0.099s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/loops6/408612/iso_icl070.smt2 (content) unsat unsat 1.7s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/loops6/408612/iso_icl070.smt2 (content) unsat unsat 0.075s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/loops6/408611/iso_icl069.smt2 (content) unsat unsat 0.745s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/loops6/408611/iso_icl069.smt2 (content) unsat unsat 0.088s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/loops6/408610/iso_icl068.smt2 (content) unsat unsat 1s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/loops6/408610/iso_icl068.smt2 (content) unsat unsat 0.071s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/loops6/408609/iso_icl067.smt2 (content) unsat unsat 1s