detailed results (4326 total)

prover file res expected time
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl1249.smt2 (content) unsat unsat 0.360s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl1248.smt2 (content) unsat unsat 0.412s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl1247.smt2 (content) unsat unsat 0.056s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl1246.smt2 (content) unsat unsat 0.112s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl1245.smt2 (content) unsat unsat 0.195s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl1244.smt2 (content) unsat unsat 0.159s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl1243.smt2 (content) unsat unsat 0.046s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl1242.smt2 (content) unsat unsat 0.048s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl1241.smt2 (content) unsat unsat 0.067s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl1240.smt2 (content) unsat unsat 0.036s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl124.smt2 (content) unsat unsat 0.649s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl1239.smt2 (content) unsat unsat 0.112s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl1238.smt2 (content) unsat unsat 0.042s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl1237.smt2 (content) unsat unsat 0.057s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl1236.smt2 (content) unsat unsat 0.061s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl1235.smt2 (content) unsat unsat 0.071s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl1234.smt2 (content) unsat unsat 0.466s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl1233.smt2 (content) unsat unsat 0.215s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl1232.smt2 (content) unsat unsat 0.448s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl1231.smt2 (content) unsat unsat 0.278s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl1230.smt2 (content) unsat unsat 0.159s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl123.smt2 (content) unsat unsat 0.292s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl1229.smt2 (content) unsat unsat 0.084s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl1228.smt2 (content) unsat unsat 0.080s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl1227.smt2 (content) unsat unsat 0.346s