detailed results (13300 total)

prover file res expected time
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410146/gensys_icl1001.smt2 (content) unsat unsat 4s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410146/gensys_icl1001.smt2 (content) unsat unsat 0.240s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410145/gensys_icl1000.smt2 (content) timeout unsat 11s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410145/gensys_icl1000.smt2 (content) unsat unsat 1.2s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410144/gensys_icl100.smt2 (content) unsat unsat 1.6s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410144/gensys_icl100.smt2 (content) unsat unsat 0.181s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410143/gensys_icl099.smt2 (content) unsat unsat 1.9s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410143/gensys_icl099.smt2 (content) unsat unsat 0.170s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410142/gensys_icl098.smt2 (content) unsat unsat 0.948s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410142/gensys_icl098.smt2 (content) unsat unsat 0.101s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410141/gensys_icl097.smt2 (content) unsat unsat 1.6s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410141/gensys_icl097.smt2 (content) unsat unsat 0.203s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410140/gensys_icl096.smt2 (content) unsat unsat 1.5s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410140/gensys_icl096.smt2 (content) unsat unsat 0.200s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410139/gensys_icl095.smt2 (content) unsat unsat 2.3s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410139/gensys_icl095.smt2 (content) unsat unsat 0.161s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410138/gensys_icl094.smt2 (content) unsat unsat 5.2s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410138/gensys_icl094.smt2 (content) unsat unsat 0.547s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410137/gensys_icl093.smt2 (content) unsat unsat 5.0s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410137/gensys_icl093.smt2 (content) unsat unsat 0.799s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410136/gensys_icl092.smt2 (content) unsat unsat 6.2s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410136/gensys_icl092.smt2 (content) unsat unsat 0.432s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410135/gensys_icl091.smt2 (content) timeout unsat 11s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410135/gensys_icl091.smt2 (content) unsat unsat 0.798s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410134/gensys_icl090.smt2 (content) timeout unsat 11s