detailed results (13300 total)

prover file res expected time
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/411259/gensys_icl931.smt2 (content) unsat unsat 0.132s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/411258/gensys_icl930.smt2 (content) unsat unsat 0.776s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/411258/gensys_icl930.smt2 (content) unsat unsat 0.102s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/411257/gensys_icl929.smt2 (content) unsat unsat 5.1s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/411257/gensys_icl929.smt2 (content) unsat unsat 0.220s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/411256/gensys_icl928.smt2 (content) unsat unsat 3.3s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/411256/gensys_icl928.smt2 (content) unsat unsat 0.202s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/411255/gensys_icl927.smt2 (content) unsat unsat 3.6s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/411255/gensys_icl927.smt2 (content) unsat unsat 0.234s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/411254/gensys_icl926.smt2 (content) unsat unsat 4.9s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/411254/gensys_icl926.smt2 (content) unsat unsat 0.307s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/411253/gensys_icl925.smt2 (content) unsat unsat 1.2s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/411253/gensys_icl925.smt2 (content) unsat unsat 0.132s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/411252/gensys_icl924.smt2 (content) unsat unsat 6.5s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/411252/gensys_icl924.smt2 (content) unsat unsat 0.614s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/411251/gensys_icl923.smt2 (content) unsat unsat 2.6s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/411251/gensys_icl923.smt2 (content) unsat unsat 0.452s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/411250/gensys_icl922.smt2 (content) unsat unsat 7s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/411250/gensys_icl922.smt2 (content) unsat unsat 0.710s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/411249/gensys_icl921.smt2 (content) unsat unsat 7s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/411249/gensys_icl921.smt2 (content) unsat unsat 0.425s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/411248/gensys_icl920.smt2 (content) unsat unsat 5.8s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/411248/gensys_icl920.smt2 (content) unsat unsat 0.629s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/411247/gensys_icl919.smt2 (content) unsat unsat 3.6s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/411247/gensys_icl919.smt2 (content) unsat unsat 0.414s