z3
|
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl199.smt2
(content)
|
unsat
|
unsat
|
0.453s
|
z3
|
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl198.smt2
(content)
|
unsat
|
unsat
|
0.667s
|
z3
|
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl197.smt2
(content)
|
unsat
|
unsat
|
0.337s
|
z3
|
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl196.smt2
(content)
|
unsat
|
unsat
|
0.841s
|
z3
|
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl195.smt2
(content)
|
unsat
|
unsat
|
0.793s
|
z3
|
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl194.smt2
(content)
|
unsat
|
unsat
|
0.834s
|
z3
|
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl193.smt2
(content)
|
unsat
|
unsat
|
0.758s
|
z3
|
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl192.smt2
(content)
|
unsat
|
unsat
|
0.531s
|
z3
|
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl191.smt2
(content)
|
unsat
|
unsat
|
0.646s
|
z3
|
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl190.smt2
(content)
|
unsat
|
unsat
|
0.506s
|
z3
|
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl189.smt2
(content)
|
unsat
|
unsat
|
0.339s
|
z3
|
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl188.smt2
(content)
|
unsat
|
unsat
|
0.280s
|
z3
|
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl187.smt2
(content)
|
unsat
|
unsat
|
0.233s
|
z3
|
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl186.smt2
(content)
|
unsat
|
unsat
|
0.262s
|
z3
|
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl185.smt2
(content)
|
unsat
|
unsat
|
0.383s
|
z3
|
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl184.smt2
(content)
|
unsat
|
unsat
|
0.474s
|
z3
|
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl183.smt2
(content)
|
unsat
|
unsat
|
0.353s
|
z3
|
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl182.smt2
(content)
|
unsat
|
unsat
|
0.422s
|
z3
|
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl181.smt2
(content)
|
unsat
|
unsat
|
0.565s
|
z3
|
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl180.smt2
(content)
|
unsat
|
unsat
|
0.326s
|
z3
|
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl179.smt2
(content)
|
unsat
|
unsat
|
0.648s
|
z3
|
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl178.smt2
(content)
|
unsat
|
unsat
|
0.681s
|
z3
|
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl177.smt2
(content)
|
unsat
|
unsat
|
0.295s
|
z3
|
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl176.smt2
(content)
|
unsat
|
unsat
|
0.628s
|
z3
|
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl175.smt2
(content)
|
unsat
|
unsat
|
0.417s
|