detailed results (3602 total)

prover file res expected time
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410051/gensys_icl007.smt2 (content) unsat unsat 0.186s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410050/gensys_icl006.smt2 (content) unsat unsat 0.447s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410049/gensys_icl005.smt2 (content) unsat unsat 0.384s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410048/gensys_icl004.smt2 (content) unsat unsat 0.101s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410047/gensys_icl003.smt2 (content) unsat unsat 0.083s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410046/gensys_icl002.smt2 (content) unsat unsat 0.069s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410045/gensys_icl001.smt2 (content) unsat unsat 0.204s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410043/gensys_brn998.smt2 (content) unsat unsat 10.4s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410019/gensys_brn974.smt2 (content) unsat unsat 1s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410018/gensys_brn973.smt2 (content) unsat unsat 6.2s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410014/gensys_brn969.smt2 (content) unsat unsat 6.3s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410007/gensys_brn962.smt2 (content) unsat unsat 5.7s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410006/gensys_brn961.smt2 (content) unsat unsat 1.9s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410004/gensys_brn959.smt2 (content) unsat unsat 3.4s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410002/gensys_brn957.smt2 (content) unsat unsat 2s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410001/gensys_brn956.smt2 (content) unsat unsat 1.4s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409999/gensys_brn954.smt2 (content) unsat unsat 4.7s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409994/gensys_brn949.smt2 (content) unsat unsat 6.5s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409990/gensys_brn945.smt2 (content) unsat unsat 1.7s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409980/gensys_brn935.smt2 (content) unsat unsat 0.993s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409978/gensys_brn933.smt2 (content) unsat unsat 6.9s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409964/gensys_brn919.smt2 (content) unsat unsat 0.784s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409958/gensys_brn913.smt2 (content) unsat unsat 0.664s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409950/gensys_brn905.smt2 (content) unsat unsat 6.0s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409948/gensys_brn903.smt2 (content) unsat unsat 0.592s