detailed results (13300 total)

prover file res expected time
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/411046/gensys_icl718.smt2 (content) timeout unsat 11s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/411046/gensys_icl718.smt2 (content) unsat unsat 0.737s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/411045/gensys_icl717.smt2 (content) unsat unsat 2.2s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/411045/gensys_icl717.smt2 (content) unsat unsat 0.357s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/411044/gensys_icl716.smt2 (content) unsat unsat 2.2s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/411044/gensys_icl716.smt2 (content) unsat unsat 0.286s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/411043/gensys_icl715.smt2 (content) unsat unsat 2.8s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/411043/gensys_icl715.smt2 (content) unsat unsat 0.315s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/411042/gensys_icl714.smt2 (content) unsat unsat 0.609s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/411042/gensys_icl714.smt2 (content) unsat unsat 0.100s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/411041/gensys_icl713.smt2 (content) unsat unsat 2.8s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/411041/gensys_icl713.smt2 (content) unsat unsat 0.400s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/411040/gensys_icl712.smt2 (content) unsat unsat 4.3s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/411040/gensys_icl712.smt2 (content) unsat unsat 0.589s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/411039/gensys_icl711.smt2 (content) unsat unsat 4.8s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/411039/gensys_icl711.smt2 (content) unsat unsat 0.620s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/411038/gensys_icl710.smt2 (content) unsat unsat 0.568s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/411038/gensys_icl710.smt2 (content) unsat unsat 0.112s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/411037/gensys_icl709.smt2 (content) unsat unsat 2.2s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/411037/gensys_icl709.smt2 (content) unsat unsat 0.128s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/411036/gensys_icl708.smt2 (content) unsat unsat 1.4s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/411036/gensys_icl708.smt2 (content) unsat unsat 0.114s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/411035/gensys_icl707.smt2 (content) unsat unsat 8.4s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/411035/gensys_icl707.smt2 (content) unsat unsat 0.329s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/411034/gensys_icl706.smt2 (content) unsat unsat 0.772s