detailed results (13300 total)

prover file res expected time
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410684/gensys_icl356.smt2 (content) unsat unsat 0.157s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410683/gensys_icl355.smt2 (content) unsat unsat 2.2s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410683/gensys_icl355.smt2 (content) unsat unsat 0.139s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410682/gensys_icl354.smt2 (content) unsat unsat 1.2s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410682/gensys_icl354.smt2 (content) unsat unsat 0.049s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410681/gensys_icl353.smt2 (content) unsat unsat 2.8s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410681/gensys_icl353.smt2 (content) unsat unsat 0.081s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410680/gensys_icl352.smt2 (content) unsat unsat 3.2s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410680/gensys_icl352.smt2 (content) unsat unsat 0.181s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410679/gensys_icl351.smt2 (content) unsat unsat 4.7s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410679/gensys_icl351.smt2 (content) unsat unsat 0.223s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410678/gensys_icl350.smt2 (content) unsat unsat 1.2s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410678/gensys_icl350.smt2 (content) unsat unsat 0.104s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410677/gensys_icl349.smt2 (content) unsat unsat 6.7s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410677/gensys_icl349.smt2 (content) unsat unsat 0.170s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410676/gensys_icl348.smt2 (content) unsat unsat 6.1s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410676/gensys_icl348.smt2 (content) unsat unsat 0.200s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410675/gensys_icl347.smt2 (content) unsat unsat 4.8s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410675/gensys_icl347.smt2 (content) unsat unsat 0.193s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410674/gensys_icl346.smt2 (content) unsat unsat 6.3s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410674/gensys_icl346.smt2 (content) unsat unsat 0.177s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410673/gensys_icl345.smt2 (content) unsat unsat 6.3s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410673/gensys_icl345.smt2 (content) unsat unsat 0.167s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410672/gensys_icl344.smt2 (content) unsat unsat 5.1s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410672/gensys_icl344.smt2 (content) unsat unsat 0.198s