detailed results (13300 total)

prover file res expected time
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/loops6/408409/gensys_icl082.smt2 (content) unsat unsat 0.531s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/loops6/408408/gensys_icl081.smt2 (content) unsat unsat 2.0s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/loops6/408408/gensys_icl081.smt2 (content) unsat unsat 0.437s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/loops6/408407/gensys_icl080.smt2 (content) unsat unsat 0.581s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/loops6/408407/gensys_icl080.smt2 (content) unsat unsat 0.188s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/loops6/408406/gensys_icl079.smt2 (content) unsat unsat 0.909s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/loops6/408406/gensys_icl079.smt2 (content) unsat unsat 0.213s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/loops6/408405/gensys_icl078.smt2 (content) unsat unsat 0.667s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/loops6/408405/gensys_icl078.smt2 (content) unsat unsat 0.157s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/loops6/408404/gensys_icl077.smt2 (content) unsat unsat 1s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/loops6/408404/gensys_icl077.smt2 (content) unsat unsat 0.215s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/loops6/408403/gensys_icl076.smt2 (content) unsat unsat 0.540s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/loops6/408403/gensys_icl076.smt2 (content) unsat unsat 0.143s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/loops6/408402/gensys_icl075.smt2 (content) unsat unsat 1.5s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/loops6/408402/gensys_icl075.smt2 (content) unsat unsat 0.172s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/loops6/408401/gensys_icl074.smt2 (content) unsat unsat 1.9s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/loops6/408401/gensys_icl074.smt2 (content) unsat unsat 0.176s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/loops6/408400/gensys_icl073.smt2 (content) unsat unsat 1.8s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/loops6/408400/gensys_icl073.smt2 (content) unsat unsat 0.237s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/loops6/408399/gensys_icl072.smt2 (content) unsat unsat 3.4s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/loops6/408399/gensys_icl072.smt2 (content) unsat unsat 0.306s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/loops6/408398/gensys_icl071.smt2 (content) unsat unsat 2.5s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/loops6/408398/gensys_icl071.smt2 (content) unsat unsat 0.220s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/loops6/408397/gensys_icl070.smt2 (content) unsat unsat 1.7s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/loops6/408397/gensys_icl070.smt2 (content) unsat unsat 0.239s