detailed results (482 total)

prover file res expected time
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410386/gensys_icl122.smt2 (content) timeout unsat 11s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410183/gensys_icl1035.smt2 (content) timeout unsat 11s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410181/gensys_icl1033.smt2 (content) timeout unsat 11s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410180/gensys_icl1032.smt2 (content) timeout unsat 11s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410179/gensys_icl1031.smt2 (content) timeout unsat 11s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410176/gensys_icl1029.smt2 (content) timeout unsat 11s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410172/gensys_icl1025.smt2 (content) timeout unsat 11s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410169/gensys_icl1022.smt2 (content) timeout unsat 11s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410168/gensys_icl1021.smt2 (content) timeout unsat 11s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410167/gensys_icl1020.smt2 (content) timeout unsat 11s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410153/gensys_icl1008.smt2 (content) timeout unsat 11s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410150/gensys_icl1005.smt2 (content) timeout unsat 11s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410149/gensys_icl1004.smt2 (content) timeout unsat 11s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410148/gensys_icl1003.smt2 (content) timeout unsat 11s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410145/gensys_icl1000.smt2 (content) timeout unsat 11s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410135/gensys_icl091.smt2 (content) timeout unsat 11s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410134/gensys_icl090.smt2 (content) timeout unsat 11s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410133/gensys_icl089.smt2 (content) timeout unsat 11s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410131/gensys_icl087.smt2 (content) timeout unsat 11s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410042/gensys_brn997.smt2 (content) timeout unsat 11s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409977/gensys_brn932.smt2 (content) timeout unsat 11s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409942/gensys_brn897.smt2 (content) timeout unsat 11s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409940/gensys_brn895.smt2 (content) timeout unsat 11s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409936/gensys_brn891.smt2 (content) timeout unsat 11s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409914/gensys_brn869.smt2 (content) timeout unsat 11s