detailed results (4326 total)

prover file res expected time
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl340.smt2 (content) unsat unsat 0.562s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl339.smt2 (content) unsat unsat 0.223s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl338.smt2 (content) unsat unsat 0.230s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl337.smt2 (content) unsat unsat 0.395s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl336.smt2 (content) unsat unsat 0.303s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl335.smt2 (content) unsat unsat 0.428s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl334.smt2 (content) unsat unsat 0.094s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl333.smt2 (content) unsat unsat 0.287s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl332.smt2 (content) unsat unsat 0.885s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl331.smt2 (content) unsat unsat 0.138s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl330.smt2 (content) unsat unsat 0.200s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl329.smt2 (content) unsat unsat 0.737s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl328.smt2 (content) unsat unsat 0.428s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl327.smt2 (content) unsat unsat 0.818s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl326.smt2 (content) unsat unsat 0.852s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl325.smt2 (content) unsat unsat 0.658s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl324.smt2 (content) unsat unsat 0.679s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl323.smt2 (content) unsat unsat 0.735s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl322.smt2 (content) unsat unsat 0.647s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl321.smt2 (content) unsat unsat 0.090s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl320.smt2 (content) unsat unsat 0.861s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl319.smt2 (content) unsat unsat 0.686s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl318.smt2 (content) unsat unsat 0.162s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl317.smt2 (content) unsat unsat 0.921s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl316.smt2 (content) unsat unsat 1.2s