detailed results (13300 total)

prover file res expected time
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410971/gensys_icl643.smt2 (content) unsat unsat 3.7s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410971/gensys_icl643.smt2 (content) unsat unsat 0.499s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410970/gensys_icl642.smt2 (content) unsat unsat 3.4s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410970/gensys_icl642.smt2 (content) unsat unsat 0.187s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410969/gensys_icl641.smt2 (content) timeout unsat 11s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410969/gensys_icl641.smt2 (content) unsat unsat 0.259s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410968/gensys_icl640.smt2 (content) timeout unsat 11s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410968/gensys_icl640.smt2 (content) unsat unsat 0.293s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410967/gensys_icl639.smt2 (content) unsat unsat 3.7s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410967/gensys_icl639.smt2 (content) unsat unsat 0.223s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410966/gensys_icl638.smt2 (content) timeout unsat 11s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410966/gensys_icl638.smt2 (content) unsat unsat 0.722s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410965/gensys_icl637.smt2 (content) timeout unsat 11s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410965/gensys_icl637.smt2 (content) unsat unsat 0.764s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410964/gensys_icl636.smt2 (content) unsat unsat 1.9s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410964/gensys_icl636.smt2 (content) unsat unsat 0.196s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410963/gensys_icl635.smt2 (content) unsat unsat 5.3s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410963/gensys_icl635.smt2 (content) unsat unsat 0.317s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410962/gensys_icl634.smt2 (content) timeout unsat 11s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410962/gensys_icl634.smt2 (content) unsat unsat 0.662s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410961/gensys_icl633.smt2 (content) unsat unsat 5.6s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410961/gensys_icl633.smt2 (content) unsat unsat 0.245s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410960/gensys_icl632.smt2 (content) timeout unsat 11s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410960/gensys_icl632.smt2 (content) unsat unsat 0.741s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410959/gensys_icl631.smt2 (content) timeout unsat 11s