detailed results (13300 total)

prover file res expected time
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/411246/gensys_icl918.smt2 (content) unsat unsat 3.0s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/411246/gensys_icl918.smt2 (content) unsat unsat 0.393s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/411245/gensys_icl917.smt2 (content) unsat unsat 1.0s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/411245/gensys_icl917.smt2 (content) unsat unsat 0.226s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/411244/gensys_icl916.smt2 (content) unsat unsat 1.9s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/411244/gensys_icl916.smt2 (content) unsat unsat 0.159s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/411243/gensys_icl915.smt2 (content) unsat unsat 2s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/411243/gensys_icl915.smt2 (content) unsat unsat 0.214s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/411242/gensys_icl914.smt2 (content) unsat unsat 1.3s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/411242/gensys_icl914.smt2 (content) unsat unsat 0.387s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/411241/gensys_icl913.smt2 (content) unsat unsat 2s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/411241/gensys_icl913.smt2 (content) unsat unsat 0.120s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/411240/gensys_icl912.smt2 (content) unsat unsat 4.6s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/411240/gensys_icl912.smt2 (content) unsat unsat 0.466s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/411239/gensys_icl911.smt2 (content) unsat unsat 1.9s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/411239/gensys_icl911.smt2 (content) unsat unsat 0.193s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/411238/gensys_icl910.smt2 (content) unsat unsat 1.8s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/411238/gensys_icl910.smt2 (content) unsat unsat 0.170s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/411237/gensys_icl909.smt2 (content) unsat unsat 8.4s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/411237/gensys_icl909.smt2 (content) unsat unsat 0.861s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/411236/gensys_icl908.smt2 (content) unsat unsat 3.3s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/411236/gensys_icl908.smt2 (content) unsat unsat 0.261s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/411235/gensys_icl907.smt2 (content) unsat unsat 7.4s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/411235/gensys_icl907.smt2 (content) unsat unsat 0.411s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/411234/gensys_icl906.smt2 (content) unsat unsat 9.0s