detailed results (13300 total)

prover file res expected time
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/411159/gensys_icl831.smt2 (content) unsat unsat 2.3s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/411158/gensys_icl830.smt2 (content) timeout unsat 11s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/411158/gensys_icl830.smt2 (content) unsat unsat 0.289s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/411157/gensys_icl829.smt2 (content) timeout unsat 11s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/411157/gensys_icl829.smt2 (content) unsat unsat 0.447s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/411156/gensys_icl828.smt2 (content) timeout unsat 11s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/411156/gensys_icl828.smt2 (content) unsat unsat 1.2s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/411155/gensys_icl827.smt2 (content) unsat unsat 10.4s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/411155/gensys_icl827.smt2 (content) unsat unsat 0.802s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/411154/gensys_icl826.smt2 (content) unsat unsat 3.8s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/411154/gensys_icl826.smt2 (content) unsat unsat 0.337s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/411153/gensys_icl825.smt2 (content) unsat unsat 1.0s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/411153/gensys_icl825.smt2 (content) unsat unsat 0.135s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/411152/gensys_icl824.smt2 (content) unsat unsat 4.7s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/411152/gensys_icl824.smt2 (content) unsat unsat 0.460s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/411151/gensys_icl823.smt2 (content) timeout unsat 11s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/411151/gensys_icl823.smt2 (content) unsat unsat 0.817s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/411150/gensys_icl822.smt2 (content) unsat unsat 9.3s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/411150/gensys_icl822.smt2 (content) unsat unsat 0.580s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/411149/gensys_icl821.smt2 (content) unsat unsat 8.2s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/411149/gensys_icl821.smt2 (content) unsat unsat 0.615s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/411148/gensys_icl820.smt2 (content) timeout unsat 11s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/411148/gensys_icl820.smt2 (content) unsat unsat 1s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/411147/gensys_icl819.smt2 (content) unsat unsat 1.1s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/411147/gensys_icl819.smt2 (content) unsat unsat 0.125s