detailed results (13300 total)

prover file res expected time
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410821/gensys_icl493.smt2 (content) unsat unsat 1.8s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410821/gensys_icl493.smt2 (content) unsat unsat 0.049s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410820/gensys_icl492.smt2 (content) unsat unsat 0.758s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410820/gensys_icl492.smt2 (content) unsat unsat 0.038s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410819/gensys_icl491.smt2 (content) unsat unsat 5.3s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410819/gensys_icl491.smt2 (content) unsat unsat 0.109s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410818/gensys_icl490.smt2 (content) unsat unsat 1.9s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410818/gensys_icl490.smt2 (content) unsat unsat 0.132s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410817/gensys_icl489.smt2 (content) unsat unsat 5.3s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410817/gensys_icl489.smt2 (content) unsat unsat 0.158s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410816/gensys_icl488.smt2 (content) unsat unsat 4.4s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410816/gensys_icl488.smt2 (content) unsat unsat 0.376s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410815/gensys_icl487.smt2 (content) unsat unsat 5.2s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410815/gensys_icl487.smt2 (content) unsat unsat 0.282s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410814/gensys_icl486.smt2 (content) unsat unsat 3.6s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410814/gensys_icl486.smt2 (content) unsat unsat 0.076s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410813/gensys_icl485.smt2 (content) unsat unsat 2.9s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410813/gensys_icl485.smt2 (content) unsat unsat 0.375s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410812/gensys_icl484.smt2 (content) unsat unsat 3.6s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410812/gensys_icl484.smt2 (content) unsat unsat 0.372s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410811/gensys_icl483.smt2 (content) unsat unsat 2.9s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410811/gensys_icl483.smt2 (content) unsat unsat 0.268s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410810/gensys_icl482.smt2 (content) unsat unsat 1.2s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410810/gensys_icl482.smt2 (content) unsat unsat 0.166s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410809/gensys_icl481.smt2 (content) unsat unsat 1.4s